Herbie run

Date:Friday, April 19th, 2024
Commit:a62871db on main
Hostname:nightly with Racket 8.11.1
Seed:2024110
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: 11.9min)

localize2.8min (23.8%)

Algorithm
703×egg-herbie
Rules
187234×fma-define
101621×fma-neg
83122×associate-*r*
81899×distribute-lft-in
72787×distribute-rgt-in
Stop Event
508×saturated
195×node limit
Results
31.9s38027×0valid
38.4s4626×1valid
4.1s4021×0invalid
10.8s1149×2valid
9.7s891×5exit
138.0ms131×0unsamplable
485.0ms51×3valid
Compiler

Compiled 44743 to 24967 computations (44.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3min
ival-mult: 16.7s (21.7% of total)
ival-add: 9.8s (12.7% of total)
backward-pass: 9.4s (12.2% of total)
ival-pow: 9.0s (11.7% of total)
ival-div: 7.2s (9.4% of total)
ival-sub: 7.0s (9.1% of total)
ival-fma: 3.5s (4.5% of total)
ival-sqrt: 3.4s (4.4% of total)
ival-asin: 2.1s (2.7% of total)
const: 1.7s (2.2% of total)
ival-log: 1.6s (2% of total)
ival-exp: 1.4s (1.9% of total)
ival-acos: 983.0ms (1.3% of total)
ival-hypot: 718.0ms (0.9% of total)
ival-log1p: 501.0ms (0.7% of total)
ival-neg: 475.0ms (0.6% of total)
ival-sin: 361.0ms (0.5% of total)
ival-cos: 351.0ms (0.5% of total)
ival-cbrt: 333.0ms (0.4% of total)
ival-atan2: 120.0ms (0.2% of total)
ival-pi: 100.0ms (0.1% of total)
ival-copysign: 81.0ms (0.1% of total)
ival-expm1: 80.0ms (0.1% of total)
ival-fabs: 67.0ms (0.1% of total)

sample2.6min (21.5%)

Results
1.0min439216×0valid
12.3s25708×1valid
44.6s7644×5exit
3.2s5708×2valid
920.0ms5304×0unsamplable
46.0ms507×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-sin: 27.0s (26.5% of total)
ival-mult: 21.2s (20.8% of total)
ival-add: 9.5s (9.4% of total)
backward-pass: 9.5s (9.3% of total)
ival-sub: 7.8s (7.6% of total)
ival-div: 7.2s (7.1% of total)
ival-exp: 3.6s (3.5% of total)
ival-log: 2.9s (2.8% of total)
ival-sqrt: 2.0s (1.9% of total)
ival-cos: 1.6s (1.6% of total)
ival-asin: 1.4s (1.4% of total)
const: 1.4s (1.3% of total)
ival-atan2: 1.2s (1.2% of total)
ival-pow: 1.2s (1.2% of total)
ival-pi: 1.1s (1.1% of total)
ival->: 659.0ms (0.6% of total)
ival-<=: 634.0ms (0.6% of total)
ival-acosh: 458.0ms (0.4% of total)
ival-asinh: 385.0ms (0.4% of total)
ival-atanh: 354.0ms (0.3% of total)
ival-neg: 244.0ms (0.2% of total)
ival-fabs: 244.0ms (0.2% of total)
ival->=: 154.0ms (0.2% of total)
ival-and: 84.0ms (0.1% of total)
Bogosity

simplify1.3min (10.5%)

Algorithm
244×egg-herbie
Rules
69801×fma-define
55874×associate-*r*
51379×fma-neg
51054×distribute-lft-in
50836×*-commutative
Stop Event
58×saturated
175×node limit
11×unsound
Counts
95321 → 91119

eval1.2min (10.3%)

Compiler

Compiled 4395056 to 2691501 computations (38.8% saved)

soundness55.0s (7.7%)

Rules
59471×fma-define
58598×log1p-expm1-u
45532×associate-*r*
45323×fma-neg
42532×expm1-log1p-u
Stop Event
20×saturated
195×node limit
37×fuel
12×unsound
20×done
Compiler

Compiled 43904 to 24665 computations (43.8% saved)

rewrite49.1s (6.9%)

Algorithm
187×batch-egg-rewrite
Rules
124475×log1p-expm1-u
88653×expm1-log1p-u
41217×pow1
39654×add-exp-log
37336×add-log-exp
Stop Event
180×node limit
7×unsound
Counts
2124 → 59512

prune44.3s (6.2%)

Counts
137654 → 2989
Compiler

Compiled 123041 to 86026 computations (30.1% saved)

explain23.9s (3.3%)

Results
7.7s25770×0valid
8.0s2858×1valid
464.0ms546×2valid
10.0ms10×5exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0s
ival-add: 2.6s (19.7% of total)
ival-mult: 2.5s (18.9% of total)
ival-sub: 2.4s (18.7% of total)
ival-div: 2.0s (15.7% of total)
backward-pass: 1.3s (10.2% of total)
ival-log: 451.0ms (3.5% of total)
const: 354.0ms (2.7% of total)
ival-pow: 293.0ms (2.3% of total)
ival-sqrt: 283.0ms (2.2% of total)
ival-exp: 205.0ms (1.6% of total)
ival-atan2: 147.0ms (1.1% of total)
ival-sin: 127.0ms (1% of total)
ival-asin: 85.0ms (0.7% of total)
ival-cos: 82.0ms (0.6% of total)
ival-neg: 50.0ms (0.4% of total)
ival-pi: 29.0ms (0.2% of total)
ival-fabs: 24.0ms (0.2% of total)
ival-log1p: 19.0ms (0.1% of total)
ival-copysign: 18.0ms (0.1% of total)

regimes19.3s (2.7%)

Counts
9016 → 920
Calls

132 calls:

3.2s
y.re
2.1s
y.im
2.1s
im
1.2s
re
977.0ms
x.im
Compiler

Compiled 6299 to 4280 computations (32.1% saved)

series19.0s (2.7%)

Counts
2124 → 35809
Calls

9378 calls:

TimeVariablePointExpression
492.0ms
im
@inf
(log (pow base (/ 1 (atan2 im re))))
452.0ms
y.im
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)
358.0ms
x
@-inf
(log (* x 2))
352.0ms
base
@-inf
(/ (* 2 (log (sqrt im))) (log base))
237.0ms
u1
@0
(+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2)

bsearch14.4s (2%)

Algorithm
443×binary-search
38×left-value
Stop Event
22×predicate-same
421×narrow-enough
Results
7.2s45106×0valid
2.9s6265×1valid
197.0ms485×2valid
Compiler

Compiled 92280 to 66413 computations (28% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-mult: 2.3s (32.2% of total)
ival-add: 941.0ms (13% of total)
ival-sqrt: 681.0ms (9.4% of total)
ival-log: 651.0ms (9% of total)
ival-sin: 598.0ms (8.2% of total)
ival-exp: 466.0ms (6.4% of total)
ival-sub: 403.0ms (5.5% of total)
backward-pass: 267.0ms (3.7% of total)
ival-cos: 260.0ms (3.6% of total)
ival-div: 259.0ms (3.6% of total)
ival-atan2: 251.0ms (3.5% of total)
const: 83.0ms (1.1% of total)
ival-neg: 32.0ms (0.4% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-copysign: 9.0ms (0.1% of total)
ival-asin: 8.0ms (0.1% of total)
ival-pi: 1.0ms (0% of total)

preprocess13.8s (1.9%)

Algorithm
57×egg-herbie
Rules
20546×fma-neg
20224×fma-define
10466×unsub-neg
9196×sub-neg
8861×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 35324 to 19806 computations (43.9% saved)

analyze3.5s (0.5%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64%54.1%30.5%13.7%0%1.7%0%2
71.8%58.9%23.1%13.7%0%4.3%0%3
77.7%62.2%17.8%13.7%0%6.2%0%4
83.7%66.9%13%13.7%0%6.3%0%5
85.8%68.4%11.3%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 600.0ms (27.5% of total)
ival-add: 389.0ms (17.9% of total)
ival-sub: 254.0ms (11.7% of total)
ival-div: 220.0ms (10.1% of total)
ival-sqrt: 190.0ms (8.7% of total)
ival-log: 151.0ms (6.9% of total)
ival-pow: 108.0ms (5% of total)
ival-atan2: 75.0ms (3.4% of total)
ival-exp: 57.0ms (2.6% of total)
const: 43.0ms (2% of total)
ival-sin: 25.0ms (1.1% of total)
ival-cos: 15.0ms (0.7% of total)
ival->: 15.0ms (0.7% of total)
ival-<=: 12.0ms (0.6% of total)
ival-neg: 8.0ms (0.4% of total)
backward-pass: 7.0ms (0.3% of total)
ival-pi: 7.0ms (0.3% of total)
ival-and: 2.0ms (0.1% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...