Herbie run

Date:Saturday, May 11th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024132
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: 8.9min)

sample2.3min (26.2%)

Results
1.0min434320×0valid
38.3s7639×5exit
13.3s29072×1valid
3.2s6848×2valid
774.0ms4417×0unsamplable
277.0ms503×0invalid
145.0ms382×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.6min
ival-sin: 28.6s (30.3% of total)
ival-mult: 22.0s (23.2% of total)
ival-add: 8.1s (8.5% of total)
...c/correct-round.rkt:119:19: 6.8s (7.2% of total)
ival-div: 5.3s (5.6% of total)
backward-pass: 3.3s (3.5% of total)
ival-sub: 3.2s (3.4% of total)
ival-exp: 3.2s (3.3% of total)
ival-log: 2.5s (2.6% of total)
ival-sqrt: 1.9s (2% of total)
ival-atan2: 1.4s (1.5% of total)
ival-cos: 1.3s (1.3% of total)
ival-pow: 1.2s (1.3% of total)
ival-asin: 1.2s (1.3% of total)
const: 725.0ms (0.8% of total)
ival->: 669.0ms (0.7% of total)
ival-<=: 532.0ms (0.6% of total)
ival-pi: 511.0ms (0.5% of total)
ival-neg: 509.0ms (0.5% of total)
ival->=: 451.0ms (0.5% of total)
ival-fabs: 405.0ms (0.4% of total)
ival-acosh: 323.0ms (0.3% of total)
ival-asinh: 233.0ms (0.2% of total)
ival-atanh: 180.0ms (0.2% of total)
ival-and: 82.0ms (0.1% of total)
Bogosity

simplify1.6min (18.3%)

Algorithm
434×egg-herbie
Rules
160970×fma-define
109861×fma-neg
95867×distribute-lft-in
93370×associate-*r*
84380×distribute-rgt-in
Stop Event
142×saturated
283×node limit
9×unsound
Counts
97641 → 93450

soundness1.1min (12.1%)

Rules
62475×log1p-expm1-u
60114×fma-define
48058×fma-neg
47252×associate-*r*
43429×expm1-log1p-u
Stop Event
19×saturated
37×fuel
208×node limit
10×unsound
20×done
Compiler

Compiled 50225 to 14428 computations (71.3% saved)

rewrite48.5s (9.1%)

Algorithm
187×batch-egg-rewrite
Rules
122608×log1p-expm1-u
87281×expm1-log1p-u
40314×pow1
39210×add-exp-log
37857×add-log-exp
Stop Event
180×node limit
7×unsound
Counts
2143 → 60462

localize44.1s (8.3%)

Results
16.3s37637×0valid
7.3s4523×1valid
2.9s4615×0invalid
2.3s619×5exit
2.2s1050×2valid
168.0ms119×1invalid
79.0ms19×3valid
28.0ms58×0unsamplable
Compiler

Compiled 45759 to 5192 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.3s
ival-mult: 4.2s (23% of total)
ival-pow: 2.1s (11.5% of total)
ival-add: 2.0s (10.7% of total)
ival-div: 1.8s (10% of total)
...c/correct-round.rkt:119:19: 1.1s (6.2% of total)
ival-log: 1.0s (5.7% of total)
backward-pass: 1.0s (5.5% of total)
ival-fma: 800.0ms (4.4% of total)
ival-sub: 708.0ms (3.9% of total)
ival-exp: 587.0ms (3.2% of total)
ival-sqrt: 473.0ms (2.6% of total)
ival-asin: 460.0ms (2.5% of total)
ival-sin: 457.0ms (2.5% of total)
ival-hypot: 400.0ms (2.2% of total)
ival-cos: 171.0ms (0.9% of total)
ival-acos: 156.0ms (0.9% of total)
ival-neg: 150.0ms (0.8% of total)
ival-cbrt: 148.0ms (0.8% of total)
const: 142.0ms (0.8% of total)
ival-copysign: 91.0ms (0.5% of total)
ival-log1p: 88.0ms (0.5% of total)
ival-atan2: 75.0ms (0.4% of total)
ival-fabs: 51.0ms (0.3% of total)
ival-pi: 38.0ms (0.2% of total)
ival-expm1: 21.0ms (0.1% of total)
ival-e: 14.0ms (0.1% of total)

prune35.1s (6.6%)

Counts
140216 → 3064
Compiler

Compiled 133494 to 69306 computations (48.1% saved)

eval29.9s (5.6%)

Compiler

Compiled 4257647 to 553510 computations (87% saved)

series18.4s (3.5%)

Counts
2143 → 37179
Calls

9561 calls:

TimeVariablePointExpression
330.0ms
x
@0
(log (* x 2))
183.0ms
im
@-inf
(log (/ (atan2 im re) (log base)))
167.0ms
im
@0
(log (/ (atan2 im re) (log base)))
160.0ms
u1
@-inf
(sqrt (* 1/6 (* (sqrt (* -2 (log u1))) (cos (* 2 (* (PI) u2))))))
143.0ms
x
@-inf
(log (+ (* (PI) 1/2) (* (asin (sqrt (- 1/2 (* x 1/2)))) -2)))

regimes14.8s (2.8%)

Counts
9184 → 811
Calls

132 calls:

1.2s
im
1.2s
x.im
1.1s
y.im
1.0s
y.re
986.0ms
re
Compiler

Compiled 6504 to 4081 computations (37.3% saved)

preprocess13.0s (2.4%)

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 30586 to 11900 computations (61.1% saved)

explain11.6s (2.2%)

Results
4.1s25532×0valid
1.6s2964×1valid
380.0ms658×2valid
14.0ms26×3valid
2.0ms2×5exit
1.0ms2×4valid
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-mult: 1.1s (32.6% of total)
ival-add: 372.0ms (11.4% of total)
...c/correct-round.rkt:119:19: 328.0ms (10% of total)
ival-div: 307.0ms (9.4% of total)
ival-log: 183.0ms (5.6% of total)
backward-pass: 168.0ms (5.1% of total)
ival-sub: 147.0ms (4.5% of total)
ival-exp: 145.0ms (4.4% of total)
ival-sqrt: 119.0ms (3.6% of total)
ival-sin: 78.0ms (2.4% of total)
ival-asin: 65.0ms (2% of total)
ival-cos: 64.0ms (2% of total)
const: 52.0ms (1.6% of total)
ival-atan2: 46.0ms (1.4% of total)
ival-pow: 40.0ms (1.2% of total)
ival-fabs: 29.0ms (0.9% of total)
ival-pi: 19.0ms (0.6% of total)
ival-copysign: 17.0ms (0.5% of total)
ival-neg: 15.0ms (0.5% of total)
ival-log1p: 8.0ms (0.2% of total)

bsearch11.6s (2.2%)

Algorithm
347×binary-search
33×left-value
Stop Event
8×predicate-same
339×narrow-enough
Results
6.2s36718×0valid
2.4s2850×1valid
133.0ms218×2valid
2.0ms6×3valid
Compiler

Compiled 73351 to 49337 computations (32.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 2.1s (32.8% of total)
ival-add: 1.2s (18.8% of total)
ival-cos: 564.0ms (8.8% of total)
ival-exp: 398.0ms (6.2% of total)
ival-sub: 290.0ms (4.5% of total)
ival-sqrt: 256.0ms (4% of total)
ival-log: 252.0ms (3.9% of total)
ival-neg: 242.0ms (3.8% of total)
ival-sin: 225.0ms (3.5% of total)
backward-pass: 202.0ms (3.2% of total)
ival-div: 191.0ms (3% of total)
ival-atan2: 175.0ms (2.7% of total)
...c/correct-round.rkt:119:19: 164.0ms (2.6% of total)
ival-copysign: 58.0ms (0.9% of total)
const: 50.0ms (0.8% of total)
ival-fabs: 26.0ms (0.4% of total)
ival-pi: 2.0ms (0% of total)

analyze3.8s (0.7%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
53.4%46.1%40.2%13.7%0%0%0%1
62.8%53.1%31.4%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%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 790 computations (49.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 694.0ms (27.2% of total)
ival-log: 679.0ms (26.6% of total)
ival-add: 269.0ms (10.5% of total)
...c/correct-round.rkt:119:19: 193.0ms (7.6% of total)
ival-div: 175.0ms (6.9% of total)
ival-sqrt: 124.0ms (4.9% of total)
ival-pow: 96.0ms (3.8% of total)
ival-atan2: 82.0ms (3.2% of total)
ival-sub: 79.0ms (3.1% of total)
ival-exp: 56.0ms (2.2% of total)
ival-sin: 23.0ms (0.9% of total)
const: 21.0ms (0.8% of total)
ival-cos: 15.0ms (0.6% of total)
ival->: 12.0ms (0.5% of total)
ival-<=: 10.0ms (0.4% of total)
ival-pi: 9.0ms (0.4% of total)
ival-neg: 7.0ms (0.3% of total)
backward-pass: 6.0ms (0.2% 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...