Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 10.4min)

localize2.4min (22.9%)

Compiler

Compiled 110816 to 27705 computations (75% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0min
Operation ival-mult, time spent: 15.1s, 25.0% of total-time
Operation ival-pow, time spent: 11.2s, 18.0% of total-time
Operation ival-div, time spent: 5.9s, 10.0% of total-time
Operation composed, time spent: 4.4s, 7.0% of total-time
Operation ival-add, time spent: 4.3s, 7.0% of total-time
Operation ival-sub, time spent: 3.1s, 5.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 5.0% of total-time
Operation ival-sin, time spent: 2.4s, 4.0% of total-time
Operation ival-log, time spent: 1.9s, 3.0% of total-time
Operation ival-tan, time spent: 1.9s, 3.0% of total-time
Operation ival-exp, time spent: 1.5s, 2.0% of total-time
Operation const, time spent: 1.4s, 2.0% of total-time
Operation ival-cos, time spent: 960.0ms, 2.0% of total-time
Operation ival-fmax, time spent: 658.0ms, 1.0% of total-time
Operation ival-atan, time spent: 637.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 534.0ms, 1.0% of total-time
Operation ival-neg, time spent: 513.0ms, 1.0% of total-time
Operation ival-asin, time spent: 377.0ms, 1.0% of total-time
Operation ival-sinh, time spent: 371.0ms, 1.0% of total-time
Operation ival-log2, time spent: 153.0ms, 0.0% of total-time
Operation ival-pi, time spent: 119.0ms, 0.0% of total-time
Operation ival->, time spent: 111.0ms, 0.0% of total-time
Operation ival->=, time spent: 95.0ms, 0.0% of total-time
Operation ival-floor, time spent: 83.0ms, 0.0% of total-time
Operation ival-if, time spent: 52.0ms, 0.0% of total-time
Operation ival-<, time spent: 36.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 34.0ms, 0.0% of total-time
Operation ival-e, time spent: 9.0ms, 0.0% of total-time
Operation ival-acos, time spent: 8.0ms, 0.0% of total-time

sample2.1min (19.9%)

Results
1.8min247680×256valid
2.5s8417×256invalid
1.0s2043×256precondition
Precisions
Click to see histograms. Total time spent on operations: 55.8s
Operation ival-mult, time spent: 13.4s, 24.0% of total-time
Operation ival-<=, time spent: 10.9s, 20.0% of total-time
Operation ival-div, time spent: 5.3s, 9.0% of total-time
Operation ival-sub, time spent: 2.9s, 5.0% of total-time
Operation ival-sin, time spent: 2.9s, 5.0% of total-time
Operation ival-add, time spent: 2.4s, 4.0% of total-time
Operation ival-log, time spent: 2.1s, 4.0% of total-time
Operation ival-fabs, time spent: 1.9s, 3.0% of total-time
Operation ival-and, time spent: 1.8s, 3.0% of total-time
Operation ival-sqrt, time spent: 1.7s, 3.0% of total-time
Operation const, time spent: 1.6s, 3.0% of total-time
Operation ival-cos, time spent: 1.5s, 3.0% of total-time
Operation ival-tan, time spent: 1.5s, 3.0% of total-time
Operation ival-exp, time spent: 907.0ms, 2.0% of total-time
Operation ival-floor, time spent: 869.0ms, 2.0% of total-time
Operation ival-pi, time spent: 784.0ms, 1.0% of total-time
Operation ival-atan, time spent: 759.0ms, 1.0% of total-time
Operation ival-neg, time spent: 651.0ms, 1.0% of total-time
Operation ival-log2, time spent: 458.0ms, 1.0% of total-time
Operation ival-<, time spent: 335.0ms, 1.0% of total-time
Operation ival->, time spent: 285.0ms, 1.0% of total-time
Operation ival-asin, time spent: 282.0ms, 1.0% of total-time
Operation ival-==, time spent: 252.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 133.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 112.0ms, 0.0% of total-time
Operation ival->=, time spent: 88.0ms, 0.0% of total-time
Operation ival-if, time spent: 58.0ms, 0.0% of total-time
Bogosity

eval1.4min (13.5%)

Compiler

Compiled 9556651 to 2286386 computations (76.1% saved)

simplify57.0s (9.1%)

Algorithm
146×egg-herbie
Rules
47090×fma-define
36905×*-commutative
33406×times-frac
32293×associate-*r*
31374×distribute-lft-in
Stop Event
30×saturated
116×node limit
30×fuel
Counts
65542 → 52287
Compiler

Compiled 9661 to 5147 computations (46.7% saved)

soundness45.0s (7.2%)

Rules
45899×fma-define
30727×times-frac
30366×associate-*r*
28191×log1p-expm1-u
26959×*-commutative
Stop Event
7×saturated
138×node limit
Compiler

Compiled 35227 to 17724 computations (49.7% saved)

analyze40.9s (6.6%)

Algorithm
30×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%2.6%97.4%0%0%0%0
0.2%0%2.6%97.4%0%0%0%1
9.3%0.2%2.4%97.4%0%0%0%2
43.2%1.1%1.5%97.4%0%0%0%3
48.1%1.3%1.4%97.4%0%0%0%4
65.1%1.7%0.9%97.4%0%0%0%5
70.3%1.8%0.8%97.4%0%0%0%6
79.1%2%0.5%97.4%0%0%0%7
81.1%2.1%0.5%97.4%0%0.1%0%8
86.1%2.2%0.4%97.4%0%0.1%0%9
87.6%2.2%0.3%97.4%0%0.1%0%10
91.9%2.3%0.2%97.4%0%0.1%0%11
92.6%2.3%0.2%97.4%0%0.1%0%12
Compiler

Compiled 2668 to 1270 computations (52.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.7s
Operation ival-mult, time spent: 3.8s, 27.0% of total-time
Operation ival-<=, time spent: 2.6s, 19.0% of total-time
Operation ival-div, time spent: 1.7s, 13.0% of total-time
Operation ival-fabs, time spent: 1.1s, 8.0% of total-time
Operation ival-floor, time spent: 575.0ms, 4.0% of total-time
Operation ival-and, time spent: 525.0ms, 4.0% of total-time
Operation ival-add, time spent: 490.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 357.0ms, 3.0% of total-time
Operation const, time spent: 344.0ms, 3.0% of total-time
Operation ival-sub, time spent: 340.0ms, 2.0% of total-time
Operation ival-if, time spent: 272.0ms, 2.0% of total-time
Operation ival-==, time spent: 249.0ms, 2.0% of total-time
Operation ival-log, time spent: 237.0ms, 2.0% of total-time
Operation ival-log2, time spent: 202.0ms, 1.0% of total-time
Operation ival->, time spent: 181.0ms, 1.0% of total-time
Operation ival-sin, time spent: 154.0ms, 1.0% of total-time
Operation ival-tan, time spent: 150.0ms, 1.0% of total-time
Operation ival-cos, time spent: 136.0ms, 1.0% of total-time
Operation ival-fmax, time spent: 131.0ms, 1.0% of total-time
Operation ival-<, time spent: 87.0ms, 1.0% of total-time
Operation ival-atan, time spent: 49.0ms, 0.0% of total-time
Operation ival-exp, time spent: 34.0ms, 0.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-neg, time spent: 22.0ms, 0.0% of total-time
Operation ival-asin, time spent: 20.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 0.0ms, 0.0% of total-time

preprocess31.4s (5%)

Algorithm
30×egg-herbie
Rules
15315×fma-define
10891×fma-neg
7946×unsub-neg
7353×distribute-lft-neg-in
5929×distribute-rgt-neg-in
Stop Event
11×saturated
19×node limit
Compiler

Compiled 59094 to 25824 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.1s
Operation ival-mult, time spent: 2.4s, 30.0% of total-time
Operation ival-tan, time spent: 1.0s, 13.0% of total-time
Operation ival-div, time spent: 752.0ms, 9.0% of total-time
Operation ival-cos, time spent: 701.0ms, 9.0% of total-time
Operation ival-sin, time spent: 695.0ms, 9.0% of total-time
Operation ival-sub, time spent: 529.0ms, 7.0% of total-time
Operation ival-add, time spent: 497.0ms, 6.0% of total-time
Operation ival-atan, time spent: 482.0ms, 6.0% of total-time
Operation ival-log, time spent: 284.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 204.0ms, 3.0% of total-time
Operation const, time spent: 161.0ms, 2.0% of total-time
Operation ival-exp, time spent: 93.0ms, 1.0% of total-time
Operation ival-neg, time spent: 51.0ms, 1.0% of total-time
Operation ival-pi, time spent: 43.0ms, 1.0% of total-time
Operation ival-floor, time spent: 39.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 30.0ms, 0.0% of total-time
Operation ival-log2, time spent: 19.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 12.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 10.0ms, 0.0% of total-time
Operation ival-asin, time spent: 10.0ms, 0.0% of total-time
Operation ival->=, time spent: 7.0ms, 0.0% of total-time
Operation ival->, time spent: 7.0ms, 0.0% of total-time
Operation ival-if, time spent: 4.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

regimes29.7s (4.8%)

Counts
7108 → 334
Calls

145 calls:

1.2s
s
1.0s
dY.u
988.0ms
v
838.0ms
(*.f32 uy #s(literal 2 binary32))
828.0ms
x
Compiler

Compiled 12541 to 8324 computations (33.6% saved)

prune28.7s (4.6%)

Counts
99430 → 3592
Compiler

Compiled 255854 to 139617 computations (45.4% saved)

rewrite24.3s (3.9%)

Algorithm
116×batch-egg-rewrite
Rules
63406×log1p-expm1-u
47733×expm1-log1p-u
31537×pow1
31443×add-exp-log
30437×add-log-exp
Stop Event
116×node limit
Counts
1309 → 32543

series15.3s (2.4%)

Counts
1309 → 32999
Calls

7635 calls:

TimeVariablePointExpression
483.0ms
dX.u
@0
(pow (fmax (pow (sqrt (+ (* (* dX.u (floor w)) (* dX.u (floor w))) (* (* dX.v (floor h)) (* dX.v (floor h))))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) 3/4)
303.0ms
w
@inf
(pow (fmax (pow (sqrt (+ (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))))) 2) (pow (* (floor d) dY.w) 2)) 1/4)
282.0ms
w
@inf
(pow (fmax (pow (sqrt (+ (* (* (floor d) dX.w) (* (floor d) dX.w)) (* (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))))))) 2) (pow (sqrt (+ (* (* (floor d) dY.w) (* (floor d) dY.w)) (* (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))))) 2)) 1/4)
268.0ms
u1
@inf
(cbrt (sqrt u1))
264.0ms
dY.v
@0
(* (fmax (pow (sqrt (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)))) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)) (/ 1 (fabs (- (* (floor w) (* dX.u (* (floor h) dY.v))) (* (floor h) (* dX.v (* (floor w) dY.u)))))))

bsearch33.0ms (0%)

Algorithm
33×binary-search
29×left-value
Stop Event
33×narrow-enough
Compiler

Compiled 2458 to 1466 computations (40.4% saved)

end10.0ms (0%)

Profiling

Loading profile data...