Herbie run

Date:Sunday, June 9th, 2024
Commit:7e8e04d8 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024161
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: 17.5min)

sample4.1min (23.2%)

Results
56.4s434437×0valid
32.5s7677×5exit
11.2s29211×1valid
3.4s6670×2valid
2.3s7547×0unsamplable
170.0ms405×3valid
42.0ms508×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.4min
ival-sin: 22.6s (27.5% of total)
ival-mult: 20.8s (25.2% of total)
ival-add: 6.9s (8.4% of total)
...c/correct-round.rkt:119:19: 6.3s (7.7% of total)
ival-div: 4.6s (5.6% of total)
backward-pass: 4.3s (5.3% of total)
ival-exp: 2.5s (3.1% of total)
ival-sub: 2.4s (3% of total)
ival-sqrt: 1.9s (2.4% of total)
ival-log: 1.9s (2.3% of total)
ival-cos: 1.1s (1.4% of total)
ival-pow: 1.1s (1.3% of total)
ival-asin: 1.0s (1.3% of total)
const: 851.0ms (1% of total)
ival-atan2: 763.0ms (0.9% of total)
ival-pi: 573.0ms (0.7% of total)
ival->: 496.0ms (0.6% of total)
ival-neg: 457.0ms (0.6% of total)
ival-asinh: 286.0ms (0.3% of total)
ival-acosh: 250.0ms (0.3% of total)
ival-fabs: 249.0ms (0.3% of total)
ival-<=: 247.0ms (0.3% of total)
ival-atanh: 168.0ms (0.2% of total)
ival->=: 156.0ms (0.2% of total)
ival-and: 122.0ms (0.1% of total)
Bogosity

soundness3.6min (20.6%)

Rules
895792×*-lowering-*.f32
895792×*-lowering-*.f64
513916×+-lowering-+.f32
513916×+-lowering-+.f64
371032×/-lowering-/.f32
Stop Event
18×saturated
260×iter limit
38×fuel
235×node limit
18×done
Compiler

Compiled 40536 to 20565 computations (49.3% saved)

simplify2.9min (16.7%)

Algorithm
450×egg-herbie
Rules
1074130×*-lowering-*.f32
1074130×*-lowering-*.f64
663192×+-lowering-+.f32
663192×+-lowering-+.f64
362160×fma-lowering-fma.f64
Stop Event
394×iter limit
160×saturated
290×node limit
Counts
51396 → 51396

localize2.5min (14%)

Results
1.3min1180×2valid
19.0s38785×0valid
18.6s2945×5exit
3.9s3219×1valid
2.7s3884×0invalid
253.0ms304×0unsamplable
111.0ms96×1invalid
39.0ms6×4valid
20.0ms13×3valid
Compiler

Compiled 57096 to 5405 computations (90.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 59.1s
backward-pass: 23.1s (39.1% of total)
ival-pow: 18.1s (30.7% of total)
ival-mult: 4.7s (7.9% of total)
ival-div: 2.8s (4.8% of total)
...c/correct-round.rkt:119:19: 2.4s (4% of total)
ival-add: 2.3s (3.9% of total)
ival-log: 1.1s (1.9% of total)
compiled-spec: 886.0ms (1.5% of total)
ival-sub: 525.0ms (0.9% of total)
ival-exp: 520.0ms (0.9% of total)
ival-cos: 468.0ms (0.8% of total)
ival-atan2: 368.0ms (0.6% of total)
ival-sin: 367.0ms (0.6% of total)
ival-sqrt: 351.0ms (0.6% of total)
ival-asin: 328.0ms (0.6% of total)
ival-acos: 224.0ms (0.4% of total)
const: 171.0ms (0.3% of total)
ival-fabs: 128.0ms (0.2% of total)
ival-copysign: 98.0ms (0.2% of total)
ival-neg: 45.0ms (0.1% of total)
ival-pi: 44.0ms (0.1% of total)
ival-cosh: 18.0ms (0% of total)

rewrite1.8min (10%)

Algorithm
197×batch-egg-rewrite
Rules
624172×*-lowering-*.f32
624172×*-lowering-*.f64
452034×/-lowering-/.f32
452034×/-lowering-/.f64
268322×+-lowering-+.f32
Stop Event
6×saturated
214×iter limit
189×node limit
2×unsound
Counts
2803 → 101272

eval1.1min (6.3%)

Compiler

Compiled 7436500 to 472518 computations (93.6% saved)

prune29.8s (2.8%)

Counts
194504 → 3646
Compiler

Compiled 197895 to 86704 computations (56.2% saved)

regimes15.2s (1.4%)

Counts
13014 → 988
Calls

130 calls:

1.8s
re
1.5s
im
909.0ms
x
655.0ms
y.re
426.0ms
y.im
Compiler

Compiled 6596 to 4169 computations (36.8% saved)

bsearch13.2s (1.3%)

Algorithm
455×binary-search
34×left-value
Stop Event
11×predicate-same
444×narrow-enough
Results
7.0s50438×0valid
2.3s4891×1valid
208.0ms484×2valid
25.0ms59×3valid
Compiler

Compiled 116419 to 76130 computations (34.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 2.2s (33.9% of total)
ival-add: 807.0ms (12.5% of total)
ival-sin: 475.0ms (7.3% of total)
ival-exp: 474.0ms (7.3% of total)
ival-log: 423.0ms (6.5% of total)
ival-cos: 333.0ms (5.1% of total)
ival-div: 308.0ms (4.8% of total)
ival-sub: 284.0ms (4.4% of total)
ival-atan2: 274.0ms (4.2% of total)
...c/correct-round.rkt:119:19: 271.0ms (4.2% of total)
ival-sqrt: 265.0ms (4.1% of total)
backward-pass: 207.0ms (3.2% of total)
const: 81.0ms (1.3% of total)
ival-copysign: 26.0ms (0.4% of total)
ival-neg: 24.0ms (0.4% of total)
ival-fabs: 22.0ms (0.3% of total)

preprocess12.9s (1.2%)

Algorithm
112×egg-herbie
Rules
64076×fnmadd-define
61750×fma-define
59546×sum3-define
55566×fmsub-define
47460×*-lowering-*.f32
Stop Event
66×saturated
56×iter limit
46×node limit
Compiler

Compiled 42940 to 12936 computations (69.9% saved)

explain12.3s (1.2%)

Results
5.4s24742×0valid
2.1s3192×1valid
408.0ms580×2valid
88.0ms118×5exit
28.0ms40×3valid
Compiler

Compiled 11865 to 1987 computations (83.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5s
ival-mult: 859.0ms (24.5% of total)
ival-add: 714.0ms (20.3% of total)
ival-log: 456.0ms (13% of total)
backward-pass: 208.0ms (5.9% of total)
ival-div: 196.0ms (5.6% of total)
...c/correct-round.rkt:119:19: 195.0ms (5.6% of total)
ival-sub: 120.0ms (3.4% of total)
ival-sqrt: 119.0ms (3.4% of total)
ival-exp: 118.0ms (3.4% of total)
compiled-spec: 102.0ms (2.9% of total)
ival-cos: 92.0ms (2.6% of total)
ival-sin: 71.0ms (2% of total)
ival-asin: 66.0ms (1.9% of total)
const: 56.0ms (1.6% of total)
ival-atan2: 50.0ms (1.4% of total)
ival-fabs: 33.0ms (0.9% of total)
ival-pi: 16.0ms (0.5% of total)
ival-copysign: 14.0ms (0.4% of total)
ival-pow: 13.0ms (0.4% of total)
ival-neg: 10.0ms (0.3% of total)

series9.5s (0.9%)

Counts
2803 → 51396
Calls

10008 calls:

TimeVariablePointExpression
265.0ms
d3
@inf
(+ d2 d3)
137.0ms
x.re
@-inf
(* (- x.re x.im) x.im)
96.0ms
x
@0
(/ (- (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 4) (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 2))) (/ 1 (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (+ 1 (* (fabs x) 3275911/10000000)))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 2)))) (- (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (exp (* x x)) (+ -1 (* (fabs x) -3275911/10000000)))) 1))
95.0ms
re
@inf
(* re (* re (+ -1/4 (* (* re re) (+ 1/48 (* (* re re) -1/1440))))))
66.0ms
x
@0
(log (+ x x))

analyze3.5s (0.3%)

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.0s
ival-mult: 609.0ms (30.2% of total)
ival-add: 274.0ms (13.6% of total)
ival-log: 248.0ms (12.3% of total)
...c/correct-round.rkt:119:19: 191.0ms (9.5% of total)
ival-sqrt: 143.0ms (7.1% of total)
ival-div: 142.0ms (7% of total)
ival-atan2: 86.0ms (4.3% of total)
ival-sub: 77.0ms (3.8% of total)
ival-exp: 63.0ms (3.1% of total)
ival-pow: 63.0ms (3.1% of total)
ival-sin: 27.0ms (1.3% of total)
const: 25.0ms (1.2% of total)
ival-cos: 19.0ms (0.9% of total)
ival->: 12.0ms (0.6% of total)
ival-pi: 9.0ms (0.4% of total)
ival-<=: 9.0ms (0.4% of total)
backward-pass: 7.0ms (0.3% of total)
ival-neg: 7.0ms (0.3% of total)
ival-and: 3.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...