Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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: 2.1hr)

sample27.2min (21.4%)

Results
12.1min3448872×256valid
1.8min536793×256infinite
40.1s182172×256invalid
1.4min164334×1024valid
1.1min152329×512valid
35.1s145758×256precondition
1.5min84759×2048valid
5.0min50282×8192exit
10.0s37121×256unsamplable
8.7s11326×512infinite
7.5s10200×1024invalid
14.8s8156×4096valid
3.5s5845×512invalid
2.9s2013×1024infinite
5.8s1414×2048infinite
1.6s1288×2048invalid
7.0s1221×4096infinite
1.1s777×8192valid
6.0ms6×512unsamplable
7.0ms4×1024unsamplable
Precisions
Click to see histograms. Total time spent on operations: 15.4min
Operation ival-pow, time spent: 3.5min, 23.0% of total-time
Operation ival-mult, time spent: 2.7min, 17.0% of total-time
Operation ival-div, time spent: 1.4min, 9.0% of total-time
Operation ival-sin, time spent: 1.4min, 9.0% of total-time
Operation ival-sub, time spent: 1.1min, 7.0% of total-time
Operation ival-add, time spent: 1.0min, 7.0% of total-time
Operation ival-exp, time spent: 42.1s, 5.0% of total-time
Operation ival-log, time spent: 41.0s, 4.0% of total-time
Operation ival-cos, time spent: 34.2s, 4.0% of total-time
Operation ival-tan, time spent: 30.9s, 3.0% of total-time
Operation ival-sqrt, time spent: 21.5s, 2.0% of total-time
Operation ival-<=, time spent: 21.1s, 2.0% of total-time
Operation const, time spent: 16.5s, 2.0% of total-time
Operation ival-fabs, time spent: 7.7s, 1.0% of total-time
Operation ival-neg, time spent: 7.1s, 1.0% of total-time
Operation ival-<, time spent: 6.2s, 1.0% of total-time
Operation ival-and, time spent: 4.5s, 0.0% of total-time
Operation ival-pi, time spent: 3.0s, 0.0% of total-time
Operation ival-acos, time spent: 2.8s, 0.0% of total-time
Operation ival-atan, time spent: 2.7s, 0.0% of total-time
Operation ival->, time spent: 2.4s, 0.0% of total-time
Operation ival-sinh, time spent: 2.2s, 0.0% of total-time
Operation ival-atan2, time spent: 2.1s, 0.0% of total-time
Operation ival-asin, time spent: 1.8s, 0.0% of total-time
Operation composed, time spent: 1.8s, 0.0% of total-time
Operation ival-fmin, time spent: 1.2s, 0.0% of total-time
Operation ival-fmod, time spent: 936.0ms, 0.0% of total-time
Operation ival-floor, time spent: 736.0ms, 0.0% of total-time
Operation ival-==, time spent: 729.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 666.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 627.0ms, 0.0% of total-time
Operation ival->=, time spent: 548.0ms, 0.0% of total-time
Operation ival-if, time spent: 477.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 403.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 351.0ms, 0.0% of total-time
Operation ival-log2, time spent: 327.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 263.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 217.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 113.0ms, 0.0% of total-time
Operation ival-or, time spent: 88.0ms, 0.0% of total-time
Bogosity

analyze21.5min (16.9%)

Algorithm
544×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.7%33.4%50.8%15.6%0%0.2%0%1
45.7%38.2%45.3%15.6%0%0.9%0%2
54.7%44.5%36.8%15.8%0%2.9%0%3
61.3%49.3%31.1%15.8%0%3.8%0%4
67.5%53.9%26%15.8%0%4.2%0%5
71.3%56.8%22.8%15.9%0%4.5%0%6
75.2%59.4%19.6%15.9%0%5%0.1%7
77.2%60.7%17.9%15.9%0%5.3%0.1%8
79.8%62.5%15.8%16%0%5.6%0.1%9
81.3%63.5%14.6%16%0%5.9%0.1%10
83.6%65.1%12.8%16%0%6%0.1%11
84.7%65.7%11.9%16%0%6.2%0.1%12
Results
Compiler

Compiled 13437 to 8705 computations (35.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 20.3min
Operation ival-cos, time spent: 9.3min, 46.0% of total-time
Operation ival-sin, time spent: 9.3min, 46.0% of total-time
Operation ival-mult, time spent: 23.0s, 2.0% of total-time
Operation ival-tan, time spent: 15.0s, 1.0% of total-time
Operation ival-<=, time spent: 14.4s, 1.0% of total-time
Operation ival-add, time spent: 11.5s, 1.0% of total-time
Operation ival-div, time spent: 8.9s, 1.0% of total-time
Operation ival-sub, time spent: 7.4s, 1.0% of total-time
Operation ival-pow, time spent: 6.1s, 0.0% of total-time
Operation ival-sqrt, time spent: 3.9s, 0.0% of total-time
Operation ival-fabs, time spent: 2.2s, 0.0% of total-time
Operation const, time spent: 2.0s, 0.0% of total-time
Operation ival-log, time spent: 1.1s, 0.0% of total-time
Operation ival-and, time spent: 993.0ms, 0.0% of total-time
Operation ival-==, time spent: 905.0ms, 0.0% of total-time
Operation ival-exp, time spent: 901.0ms, 0.0% of total-time
Operation ival-if, time spent: 865.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 626.0ms, 0.0% of total-time
Operation ival-floor, time spent: 609.0ms, 0.0% of total-time
Operation ival-neg, time spent: 550.0ms, 0.0% of total-time
Operation ival-<, time spent: 438.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 319.0ms, 0.0% of total-time
Operation ival-log2, time spent: 293.0ms, 0.0% of total-time
Operation ival-pi, time spent: 211.0ms, 0.0% of total-time
Operation ival-acos, time spent: 200.0ms, 0.0% of total-time
Operation ival->, time spent: 196.0ms, 0.0% of total-time
Operation ival-or, time spent: 180.0ms, 0.0% of total-time
Operation ival-atan, time spent: 148.0ms, 0.0% of total-time
Operation ival-asin, time spent: 108.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 45.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 22.0ms, 0.0% of total-time
Operation ival->=, time spent: 21.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 18.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 15.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 8.0ms, 0.0% of total-time
Operation ival-fmin, time spent: 6.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ...c/syntax/syntax.rkt:188:8, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time
Operation composed, time spent: 0.0ms, 0.0% of total-time

localize19.5min (15.3%)

Results
Compiler

Compiled 408833 to 186601 computations (54.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.9min
Operation ival-mult, time spent: 2.6min, 20.0% of total-time
Operation ival-pow, time spent: 1.8min, 14.0% of total-time
Operation ival-sin, time spent: 1.6min, 12.0% of total-time
Operation ival-div, time spent: 1.2min, 9.0% of total-time
Operation composed, time spent: 1.1min, 9.0% of total-time
Operation ival-add, time spent: 1.1min, 8.0% of total-time
Operation ival-tan, time spent: 35.6s, 5.0% of total-time
Operation ival-sub, time spent: 34.3s, 4.0% of total-time
Operation ival-log, time spent: 30.6s, 4.0% of total-time
Operation ival-cos, time spent: 20.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 20.6s, 3.0% of total-time
Operation ival-exp, time spent: 16.1s, 2.0% of total-time
Operation const, time spent: 15.5s, 2.0% of total-time
Operation ival-atan, time spent: 13.7s, 2.0% of total-time
Operation ival-asin, time spent: 11.1s, 1.0% of total-time
Operation ival-cbrt, time spent: 5.1s, 1.0% of total-time
Operation ival-acos, time spent: 3.9s, 1.0% of total-time
Operation ival-neg, time spent: 3.5s, 0.0% of total-time
Operation ival-atan2, time spent: 1.1s, 0.0% of total-time
Operation ival-fmax, time spent: 846.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 619.0ms, 0.0% of total-time
Operation ival-pi, time spent: 500.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 488.0ms, 0.0% of total-time
Operation ival->=, time spent: 409.0ms, 0.0% of total-time
Operation ival-if, time spent: 387.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 334.0ms, 0.0% of total-time
Operation ival-log2, time spent: 226.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 138.0ms, 0.0% of total-time
Operation ival-e, time spent: 134.0ms, 0.0% of total-time
Operation ival-floor, time spent: 98.0ms, 0.0% of total-time
Operation ival->, time spent: 88.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 71.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 21.0ms, 0.0% of total-time
Operation ival-<, time spent: 17.0ms, 0.0% of total-time

eval10.9min (8.5%)

Compiler

Compiled 31650580 to 17033572 computations (46.2% saved)

simplify9.4min (7.4%)

Algorithm
2246×egg-herbie
Rules
688890×fma-define
494558×fma-neg
489552×*-commutative
489080×distribute-lft-in
486089×associate-*r*
Stop Event
535×saturated
334×fuel
1683×node limit
28×unsound
199×done
Counts
792803 → 691396
Compiler

Compiled 125702 to 79870 computations (36.5% saved)

regimes8.7min (6.8%)

Counts
85599 → 9277
Calls

1174 calls:

53.1s
x
48.5s
z
46.2s
y
33.7s
t
32.3s
a
Compiler

Compiled 87177 to 65702 computations (24.6% saved)

soundness8.5min (6.6%)

Rules
631298×fma-define
458731×fma-neg
433493×log1p-expm1-u
397003×associate-*r*
355449×times-frac
Stop Event
163×saturated
1734×node limit
24×unsound
Compiler

Compiled 300498 to 174520 computations (41.9% saved)

rewrite6.1min (4.8%)

Algorithm
1713×batch-egg-rewrite
Rules
1114634×log1p-expm1-u
831741×expm1-log1p-u
365134×pow1
350662×add-exp-log
335546×add-log-exp
Stop Event
1697×node limit
16×unsound
Counts
13521 → 452293

preprocess5.7min (4.5%)

Algorithm
534×egg-herbie
Rules
250089×fma-define
249977×fma-neg
117926×unsub-neg
98965×sub-neg
93630×distribute-lft-in
Stop Event
291×saturated
243×node limit
Compiler

Compiled 478559 to 260365 computations (45.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 22.5s, 26.0% of total-time
Operation ival-div, time spent: 10.6s, 12.0% of total-time
Operation ival-add, time spent: 9.1s, 10.0% of total-time
Operation ival-sub, time spent: 8.7s, 10.0% of total-time
Operation ival-pow, time spent: 6.0s, 7.0% of total-time
Operation ival-sin, time spent: 5.7s, 6.0% of total-time
Operation ival-log, time spent: 5.4s, 6.0% of total-time
Operation ival-cos, time spent: 5.0s, 6.0% of total-time
Operation ival-tan, time spent: 3.7s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 4.0% of total-time
Operation ival-exp, time spent: 2.5s, 3.0% of total-time
Operation const, time spent: 2.4s, 3.0% of total-time
Operation ival-atan, time spent: 655.0ms, 1.0% of total-time
Operation ival-neg, time spent: 542.0ms, 1.0% of total-time
Operation composed, time spent: 486.0ms, 1.0% of total-time
Operation ival-asin, time spent: 271.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 178.0ms, 0.0% of total-time
Operation ival-acos, time spent: 165.0ms, 0.0% of total-time
Operation ival-pi, time spent: 159.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 143.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 97.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 90.0ms, 0.0% of total-time
Operation ival-if, time spent: 88.0ms, 0.0% of total-time
Operation ival-floor, time spent: 43.0ms, 0.0% of total-time
Operation ival->=, time spent: 39.0ms, 0.0% of total-time
Operation ival-fmod, time spent: 37.0ms, 0.0% of total-time
Operation ival-log2, time spent: 28.0ms, 0.0% of total-time
Operation ival-fmax, time spent: 25.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 14.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 11.0ms, 0.0% of total-time
Operation ival->, time spent: 6.0ms, 0.0% of total-time
Operation ival-<, time spent: 4.0ms, 0.0% of total-time

prune4.9min (3.8%)

Counts
1009549 → 34210
Compiler

Compiled 1469271 to 981633 computations (33.2% saved)

bsearch3.1min (2.4%)

Algorithm
588×left-value
4650×binary-search
Stop Event
114×predicate-same
4536×narrow-enough
Results
1.6min431074×256valid
39.2s113807×256infinite
4.4s20908×256invalid
7.3s11578×512valid
4.6s6476×1024valid
1.9s2494×2048valid
1.7s2038×512infinite
1.8s1338×4096valid
307.0ms368×1024infinite
56.0ms139×512invalid
80.0ms131×1024invalid
273.0ms117×8192valid
19.0ms117×256unsamplable
133.0ms88×2048invalid
5.0ms6×2048infinite
Compiler

Compiled 1137266 to 845516 computations (25.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
Operation ival-mult, time spent: 30.4s, 38.0% of total-time
Operation ival-sub, time spent: 11.8s, 15.0% of total-time
Operation ival-add, time spent: 9.9s, 12.0% of total-time
Operation ival-div, time spent: 8.5s, 11.0% of total-time
Operation ival-pow, time spent: 4.0s, 5.0% of total-time
Operation ival-sin, time spent: 3.3s, 4.0% of total-time
Operation ival-cos, time spent: 2.7s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.3s, 3.0% of total-time
Operation ival-log, time spent: 1.8s, 2.0% of total-time
Operation const, time spent: 1.5s, 2.0% of total-time
Operation ival-exp, time spent: 1.1s, 1.0% of total-time
Operation ival-neg, time spent: 555.0ms, 1.0% of total-time
Operation ival-tan, time spent: 517.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 437.0ms, 1.0% of total-time
Operation ival-atan, time spent: 303.0ms, 0.0% of total-time
Operation ival-acos, time spent: 275.0ms, 0.0% of total-time
Operation ival-pi, time spent: 83.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 49.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 37.0ms, 0.0% of total-time
Operation ival-sinh, time spent: 26.0ms, 0.0% of total-time
Operation ival-tanh, time spent: 17.0ms, 0.0% of total-time
Operation composed, time spent: 14.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 10.0ms, 0.0% of total-time
Operation ival-if, time spent: 8.0ms, 0.0% of total-time
Operation ival->=, time spent: 7.0ms, 0.0% of total-time
Operation ival-asin, time spent: 3.0ms, 0.0% of total-time
Operation ival-cosh, time spent: 3.0ms, 0.0% of total-time

series2.0min (1.6%)

Counts
13521 → 340510
Calls

82722 calls:

TimeVariablePointExpression
817.0ms
w
@inf
(log (fmax (pow (* dX.u (floor w)) 2) (pow (sqrt (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)))) 2)))
345.0ms
y
@-inf
(- a (* (/ (- a x) z) (- (+ y -1) t)))
304.0ms
z
@0
(log (* x z))
299.0ms
y
@0
(* (pow x 1/4) y)
295.0ms
d
@inf
(log (fmax (pow (* dX.u (floor w)) 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)))

end278.0ms (0%)

Profiling

Loading profile data...