Herbie run

Date:Saturday, May 18th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024139
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce: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: 1.6hr)

sample23.4min (24.2%)

Results
9.0min3839768×0valid
3.6min58809×5exit
3.1min483591×1valid
1.4min129887×2valid
33.8s145291×0precondition
30.6s172900×0invalid
30.4s19227×3valid
17.1s61782×0unsamplable
9.8s2312×4valid
8.0s26637×1invalid
1.5s2859×2invalid
42.0ms60×1unsamplable
34.0ms1×4unsamplable
28.0ms28×3invalid
22.0ms8×5valid
Precisions
Click to see histograms. Total time spent on operations: 14.8min
ival-mult: 2.7min (18.4% of total)
ival-pow: 2.7min (18.3% of total)
ival-div: 1.2min (8% of total)
ival-sin: 1.2min (8% of total)
ival-add: 1.0min (7.1% of total)
ival-sub: 58.6s (6.6% of total)
backward-pass: 41.5s (4.7% of total)
ival-cos: 38.4s (4.3% of total)
...c/correct-round.rkt:121:19: 38.0s (4.3% of total)
ival-exp: 34.3s (3.9% of total)
ival-log: 30.2s (3.4% of total)
ival-sqrt: 23.7s (2.7% of total)
ival-<=: 21.3s (2.4% of total)
ival-tan: 19.1s (2.1% of total)
ival-neg: 8.7s (1% of total)
const: 7.8s (0.9% of total)
ival-fabs: 6.1s (0.7% of total)
ival-<: 5.4s (0.6% of total)
ival-and: 3.4s (0.4% of total)
ival-pi: 2.8s (0.3% of total)
ival-acos: 2.6s (0.3% of total)
ival->: 2.0s (0.2% of total)
ival-atan2: 2.0s (0.2% of total)
ival-asin: 1.9s (0.2% of total)
ival-atan: 1.4s (0.2% of total)
ival-fmod: 953.0ms (0.1% of total)
ival->=: 903.0ms (0.1% of total)
ival-sinh: 751.0ms (0.1% of total)
ival-==: 750.0ms (0.1% of total)
ival-floor: 748.0ms (0.1% of total)
ival-fmin: 623.0ms (0.1% of total)
ival-cbrt: 605.0ms (0.1% of total)
ival-asinh: 476.0ms (0.1% of total)
ival-fma: 473.0ms (0.1% of total)
ival-if: 454.0ms (0.1% of total)
ival-cosh: 393.0ms (0% of total)
ival-log2: 338.0ms (0% of total)
ival-acosh: 306.0ms (0% of total)
ival-hypot: 300.0ms (0% of total)
ival-fmax: 300.0ms (0% of total)
ival-atanh: 233.0ms (0% of total)
ival-tanh: 217.0ms (0% of total)
ival-or: 63.0ms (0% of total)
Bogosity

simplify18.6min (19.3%)

Algorithm
4356×egg-herbie
Rules
1660943×fma-define
1255081×fma-neg
900049×distribute-lft-in
857781×times-frac
803089×distribute-rgt-in
Stop Event
1438×saturated
2891×node limit
27×unsound
Counts
1153946 → 996681

soundness11.4min (11.8%)

Rules
675262×fma-define
494321×fma-neg
480458×log1p-expm1-u
402943×times-frac
393224×associate-*r*
Stop Event
165×saturated
358×fuel
1940×node limit
24×unsound
183×done
Compiler

Compiled 453973 to 132467 computations (70.8% saved)

rewrite8.1min (8.4%)

Algorithm
1887×batch-egg-rewrite
Rules
1194812×log1p-expm1-u
898541×expm1-log1p-u
424450×pow1
408471×add-exp-log
393297×add-log-exp
Stop Event
1×saturated
1871×node limit
15×unsound
Counts
21943 → 663030

localize7.8min (8.1%)

Results
2.7min393876×0valid
1.2min9921×5exit
1.1min46763×1valid
26.0s13163×2valid
16.8s25483×0invalid
8.4s1890×3valid
1.5s653×1invalid
970.0ms1641×0unsamplable
934.0ms112×4valid
83.0ms54×1unsamplable
45.0ms5×5valid
12.0ms6×2invalid
3.0ms1×3invalid
Compiler

Compiled 463716 to 49225 computations (89.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5min
ival-mult: 43.3s (20.4% of total)
ival-pow: 30.5s (14.4% of total)
ival-div: 25.2s (11.9% of total)
backward-pass: 16.4s (7.8% of total)
ival-sin: 12.5s (5.9% of total)
ival-add: 12.5s (5.9% of total)
ival-cos: 10.8s (5.1% of total)
ival-sub: 8.3s (3.9% of total)
ival-log: 6.9s (3.3% of total)
...c/correct-round.rkt:121:19: 6.5s (3.1% of total)
ival-tan: 6.3s (3% of total)
ival-fma: 5.4s (2.6% of total)
ival-sqrt: 4.8s (2.2% of total)
ival-exp: 4.0s (1.9% of total)
ival-expm1: 3.2s (1.5% of total)
ival-log1p: 2.9s (1.4% of total)
ival-neg: 2.1s (1% of total)
ival-hypot: 1.9s (0.9% of total)
ival-cbrt: 1.5s (0.7% of total)
const: 1.4s (0.6% of total)
ival-atan2: 1.1s (0.5% of total)
ival-asin: 634.0ms (0.3% of total)
ival-atan: 625.0ms (0.3% of total)
ival-fmod: 575.0ms (0.3% of total)
ival-acos: 562.0ms (0.3% of total)
ival-pi: 280.0ms (0.1% of total)
ival-fabs: 279.0ms (0.1% of total)
ival-if: 261.0ms (0.1% of total)
ival-fmax: 214.0ms (0.1% of total)
ival-log2: 148.0ms (0.1% of total)
ival-floor: 113.0ms (0.1% of total)
ival-sinh: 102.0ms (0% of total)
ival-e: 100.0ms (0% of total)
ival-cosh: 83.0ms (0% of total)
ival-copysign: 63.0ms (0% of total)
ival->=: 57.0ms (0% of total)
ival->: 34.0ms (0% of total)
ival-tanh: 15.0ms (0% of total)
ival-<: 14.0ms (0% of total)

prune6.3min (6.6%)

Counts
1462858 → 40241
Compiler

Compiled 1952754 to 986911 computations (49.5% saved)

eval5.1min (5.3%)

Compiler

Compiled 49052854 to 5608198 computations (88.6% saved)

regimes4.0min (4.1%)

Counts
112260 → 9175
Calls

1213 calls:

19.1s
x
13.7s
y
11.5s
z
9.2s
a
9.1s
t
Compiler

Compiled 100728 to 73371 computations (27.2% saved)

series3.3min (3.5%)

Counts
21943 → 490916
Calls

119457 calls:

TimeVariablePointExpression
471.0ms
z
@0
(* x (/ (log y) z))
463.0ms
w
@0
(pow (fmax (+ (* (floor w) (* (floor w) (pow dX.u 2))) (pow (* (floor h) dX.v) 2)) (+ (* (floor w) (* (floor w) (pow dY.u 2))) (* (floor h) (* (floor h) (pow dY.v 2))))) 1/4)
462.0ms
l
@0
(* (sqrt 2) (/ t (sqrt (+ (* (+ x 1) (/ (+ (* 2 (* t t)) (* l l)) (+ x -1))) (neg (* l l))))))
456.0ms
x
@0
(log (+ x x))
426.0ms
y
@0
(* x (log y))

bsearch2.4min (2.5%)

Algorithm
4095×binary-search
613×left-value
Stop Event
126×predicate-same
3965×narrow-enough
4×predicate-failed
Results
1.4min461739×0valid
16.4s30529×1valid
3.6s5370×2valid
2.5s18299×0invalid
959.0ms858×3valid
74.0ms279×1invalid
57.0ms140×2invalid
49.0ms32×4valid
39.0ms315×0unsamplable
Compiler

Compiled 970938 to 692204 computations (28.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 26.0s (34.5% of total)
ival-sub: 10.5s (13.9% of total)
ival-add: 7.8s (10.3% of total)
ival-div: 7.4s (9.8% of total)
ival-sin: 4.5s (6% of total)
ival-cos: 4.2s (5.6% of total)
ival-pow: 3.2s (4.3% of total)
...c/correct-round.rkt:121:19: 2.3s (3.1% of total)
ival-log: 1.8s (2.4% of total)
backward-pass: 1.6s (2.1% of total)
ival-sqrt: 1.5s (2% of total)
ival-neg: 1.2s (1.7% of total)
ival-exp: 1.1s (1.4% of total)
const: 738.0ms (1% of total)
ival-tan: 586.0ms (0.8% of total)
ival-atan: 175.0ms (0.2% of total)
ival-atan2: 170.0ms (0.2% of total)
ival-acos: 163.0ms (0.2% of total)
ival-fabs: 140.0ms (0.2% of total)
ival-pi: 79.0ms (0.1% of total)
ival-hypot: 56.0ms (0.1% of total)
ival-tanh: 23.0ms (0% of total)
ival-cbrt: 19.0ms (0% of total)
ival->=: 17.0ms (0% of total)
ival-if: 16.0ms (0% of total)
ival-fmod: 14.0ms (0% of total)
ival-copysign: 13.0ms (0% of total)
ival-asin: 12.0ms (0% of total)
ival-cosh: 10.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)

preprocess2.4min (2.4%)

Algorithm
542×egg-herbie
Rules
254384×fma-define
252110×fma-neg
118944×unsub-neg
101039×sub-neg
94642×distribute-lft-in
Stop Event
294×saturated
248×node limit
Compiler

Compiled 375270 to 139938 computations (62.7% saved)

analyze1.9min (2%)

Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
38.9%32.9%51.6%15.6%0%0%0%1
44.8%37.5%46.2%15.6%0%0.7%0%2
54%44.1%37.5%15.7%0%2.6%0%3
60.9%49.1%31.6%15.8%0%3.6%0%4
67.1%53.8%26.4%15.8%0%4%0%5
71%56.7%23.1%15.8%0%4.3%0%6
75%59.4%19.8%15.9%0%4.8%0.1%7
77%60.7%18.1%15.9%0%5.2%0.1%8
79.6%62.5%16%15.9%0%5.4%0.1%9
81.1%63.5%14.8%16%0%5.7%0.1%10
83.4%65.1%13%16%0%5.8%0.1%11
84.5%65.8%12.1%16%0%6%0.1%12
Compiler

Compiled 13446 to 7366 computations (45.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 19.6s (28.8% of total)
ival-div: 6.3s (9.3% of total)
...c/correct-round.rkt:121:19: 5.5s (8.1% of total)
ival-<=: 5.1s (7.4% of total)
ival-pow: 4.8s (7.1% of total)
ival-add: 4.8s (7% of total)
ival-sub: 4.1s (6.1% of total)
ival-sqrt: 2.3s (3.4% of total)
ival-cos: 2.2s (3.3% of total)
ival-sin: 2.2s (3.2% of total)
ival-fabs: 1.6s (2.3% of total)
ival-neg: 1.2s (1.8% of total)
ival-floor: 1.0s (1.5% of total)
ival-exp: 859.0ms (1.3% of total)
ival-and: 812.0ms (1.2% of total)
ival-log: 735.0ms (1.1% of total)
ival-tan: 573.0ms (0.8% of total)
const: 564.0ms (0.8% of total)
ival-if: 498.0ms (0.7% of total)
ival-<: 452.0ms (0.7% of total)
ival-fmax: 401.0ms (0.6% of total)
ival-==: 395.0ms (0.6% of total)
ival-pi: 385.0ms (0.6% of total)
ival-atan2: 339.0ms (0.5% of total)
ival-log2: 271.0ms (0.4% of total)
ival->: 168.0ms (0.2% of total)
ival-acos: 145.0ms (0.2% of total)
backward-pass: 127.0ms (0.2% of total)
ival-fmod: 112.0ms (0.2% of total)
ival-atan: 111.0ms (0.2% of total)
ival->=: 106.0ms (0.2% of total)
ival-asin: 78.0ms (0.1% of total)
ival-sinh: 50.0ms (0.1% of total)
ival-cosh: 41.0ms (0.1% of total)
ival-or: 30.0ms (0% of total)
ival-cbrt: 17.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival-fmin: 6.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival-hypot: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

explain1.7min (1.8%)

Results
37.8s230804×0valid
17.4s34650×1valid
8.3s10384×2valid
2.2s1422×3valid
531.0ms134×4valid
267.0ms110×5exit
Compiler

Compiled 97157 to 18586 computations (80.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 37.7s
ival-mult: 8.4s (22.2% of total)
ival-div: 3.6s (9.5% of total)
ival-add: 3.3s (8.7% of total)
ival-sub: 3.1s (8.1% of total)
ival-log: 2.8s (7.4% of total)
ival-cos: 2.7s (7.3% of total)
ival-sin: 2.5s (6.5% of total)
backward-pass: 2.1s (5.5% of total)
ival-pow: 1.9s (5.2% of total)
ival-exp: 1.6s (4.3% of total)
ival-tan: 1.2s (3.3% of total)
ival-sqrt: 1.2s (3% of total)
...c/correct-round.rkt:121:19: 917.0ms (2.4% of total)
const: 474.0ms (1.3% of total)
ival-neg: 424.0ms (1.1% of total)
ival-sinh: 289.0ms (0.8% of total)
ival-pi: 246.0ms (0.7% of total)
ival-fma: 143.0ms (0.4% of total)
ival-atan2: 137.0ms (0.4% of total)
ival-fabs: 126.0ms (0.3% of total)
ival-atan: 117.0ms (0.3% of total)
ival-asin: 92.0ms (0.2% of total)
ival-acos: 82.0ms (0.2% of total)
ival-cbrt: 70.0ms (0.2% of total)
ival-fmod: 69.0ms (0.2% of total)
ival-floor: 48.0ms (0.1% of total)
ival-if: 28.0ms (0.1% of total)
ival-fmax: 22.0ms (0.1% of total)
ival-hypot: 21.0ms (0.1% of total)
ival->=: 17.0ms (0% of total)
ival-log2: 15.0ms (0% of total)
ival-copysign: 14.0ms (0% of total)
ival-cosh: 13.0ms (0% of total)
ival-log1p: 9.0ms (0% of total)
ival-tanh: 8.0ms (0% of total)
ival->: 5.0ms (0% of total)
ival-<: 2.0ms (0% of total)

end5.0ms (0%)

Profiling

Loading profile data...