Herbie run

Date:Saturday, May 18th, 2024
Commit:d3db2084 on platforms
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: 15.8min)

sample4.4min (27.7%)

Results
2.3min434413×0valid
41.5s7762×5exit
10.8s28931×1valid
3.1s6863×2valid
895.0ms4960×0unsamplable
172.0ms426×3valid
42.0ms544×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.4min
ival-sin: 1.1min (44.5% of total)
ival-add: 23.9s (16.9% of total)
ival-mult: 23.3s (16.4% of total)
...c/correct-round.rkt:119:19: 5.7s (4% of total)
ival-div: 4.1s (2.9% of total)
ival-exp: 2.9s (2% of total)
backward-pass: 2.8s (2% of total)
ival-cos: 2.6s (1.8% of total)
ival-sub: 2.6s (1.8% of total)
ival-log: 2.2s (1.5% of total)
ival-sqrt: 1.8s (1.3% of total)
ival-asin: 1.1s (0.8% of total)
ival-pow: 991.0ms (0.7% of total)
ival-pi: 786.0ms (0.6% of total)
ival-atan2: 781.0ms (0.6% of total)
const: 736.0ms (0.5% of total)
ival->: 660.0ms (0.5% of total)
ival-<=: 369.0ms (0.3% of total)
ival-neg: 329.0ms (0.2% of total)
ival-acosh: 317.0ms (0.2% of total)
ival-fabs: 255.0ms (0.2% of total)
ival-asinh: 226.0ms (0.2% of total)
ival-atanh: 161.0ms (0.1% of total)
ival->=: 141.0ms (0.1% of total)
ival-and: 80.0ms (0.1% of total)
Bogosity

soundness3.3min (20.7%)

Rules
891662×*-lowering-*.f32
891662×*-lowering-*.f64
529124×+-lowering-+.f32
529124×+-lowering-+.f64
380224×/-lowering-/.f32
Stop Event
17×saturated
260×iter limit
41×fuel
234×node limit
1×unsound
16×done
Compiler

Compiled 42231 to 21287 computations (49.6% saved)

localize2.4min (14.9%)

Results
1.7min2540×5exit
19.5s40786×0valid
4.9s3370×1valid
2.0s4339×0invalid
474.0ms369×2valid
176.0ms260×0unsamplable
45.0ms23×1unsamplable
35.0ms18×3valid
10.0ms7×4valid
Compiler

Compiled 64416 to 6018 computations (90.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.7min
ival-asin: 32.0s (32% of total)
ival-div: 19.9s (20% of total)
ival-acos: 16.7s (16.7% of total)
backward-pass: 7.6s (7.6% of total)
ival-add: 7.5s (7.5% of total)
ival-mult: 5.1s (5.1% of total)
ival-pow: 4.5s (4.5% of total)
...c/correct-round.rkt:119:19: 1.6s (1.6% of total)
ival-log: 1.3s (1.3% of total)
compiled-spec: 699.0ms (0.7% of total)
ival-sub: 695.0ms (0.7% of total)
ival-sqrt: 439.0ms (0.4% of total)
ival-atan2: 383.0ms (0.4% of total)
ival-sin: 364.0ms (0.4% of total)
ival-exp: 318.0ms (0.3% of total)
ival-cos: 279.0ms (0.3% of total)
const: 170.0ms (0.2% of total)
ival-copysign: 115.0ms (0.1% of total)
ival-fabs: 83.0ms (0.1% of total)
ival-pi: 80.0ms (0.1% of total)
ival-neg: 78.0ms (0.1% of total)
ival-cosh: 16.0ms (0% of total)

simplify1.6min (10.1%)

Algorithm
461×egg-herbie
Rules
1133450×*-lowering-*.f32
1133450×*-lowering-*.f64
727152×+-lowering-+.f32
727152×+-lowering-+.f64
383230×fma-lowering-fma.f64
Stop Event
406×iter limit
156×saturated
303×node limit
2×unsound
Counts
55308 → 55308

rewrite1.4min (9.1%)

Algorithm
202×batch-egg-rewrite
Rules
638690×*-lowering-*.f32
638690×*-lowering-*.f64
464846×/-lowering-/.f32
464846×/-lowering-/.f64
275630×+-lowering-+.f32
Stop Event
6×saturated
218×iter limit
193×node limit
3×unsound
Counts
3016 → 108782

prune41.0s (4.3%)

Counts
208694 → 3638
Compiler

Compiled 208350 to 92189 computations (55.8% saved)

eval34.0s (3.6%)

Compiler

Compiled 7990548 to 524393 computations (93.4% saved)

explain32.4s (3.4%)

Results
11.2s24844×0valid
2.1s3640×1valid
268.0ms574×2valid
59.0ms102×5exit
11.0ms24×3valid
Compiler

Compiled 13779 to 2169 computations (84.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 954.0ms (27.8% of total)
ival-add: 460.0ms (13.4% of total)
...c/correct-round.rkt:119:19: 325.0ms (9.5% of total)
ival-log: 239.0ms (7% of total)
ival-div: 233.0ms (6.8% of total)
backward-pass: 192.0ms (5.6% of total)
ival-sub: 167.0ms (4.9% of total)
ival-exp: 128.0ms (3.7% of total)
ival-sqrt: 127.0ms (3.7% of total)
ival-asin: 117.0ms (3.4% of total)
ival-sin: 94.0ms (2.7% of total)
compiled-spec: 85.0ms (2.5% of total)
ival-cos: 82.0ms (2.4% of total)
const: 54.0ms (1.6% of total)
ival-atan2: 52.0ms (1.5% of total)
ival-pow: 43.0ms (1.3% of total)
ival-fabs: 24.0ms (0.7% of total)
ival-pi: 21.0ms (0.6% of total)
ival-neg: 19.0ms (0.6% of total)
ival-copysign: 13.0ms (0.4% of total)

preprocess19.9s (2.1%)

Algorithm
114×egg-herbie
Rules
64184×fnmadd-define
62100×fma-define
60778×sum3-define
55710×fmsub-define
51030×*-lowering-*.f32
Stop Event
66×saturated
57×iter limit
48×node limit
Compiler

Compiled 43976 to 13616 computations (69% saved)

regimes13.5s (1.4%)

Counts
12274 → 1026
Calls

132 calls:

1.5s
im
1.4s
re
893.0ms
x
564.0ms
y.re
493.0ms
y.im
Compiler

Compiled 6321 to 3982 computations (37% saved)

bsearch12.2s (1.3%)

Algorithm
500×binary-search
27×left-value
Stop Event
29×predicate-same
471×narrow-enough
Results
6.4s52068×0valid
1.7s4091×1valid
130.0ms382×2valid
7.0ms19×3valid
Compiler

Compiled 125605 to 80365 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-mult: 1.9s (32.5% of total)
ival-add: 633.0ms (11.1% of total)
ival-sin: 593.0ms (10.4% of total)
ival-cos: 496.0ms (8.7% of total)
ival-exp: 484.0ms (8.5% of total)
ival-log: 314.0ms (5.5% of total)
ival-sqrt: 264.0ms (4.6% of total)
ival-sub: 256.0ms (4.5% of total)
ival-div: 177.0ms (3.1% of total)
ival-atan2: 165.0ms (2.9% of total)
...c/correct-round.rkt:119:19: 154.0ms (2.7% of total)
backward-pass: 115.0ms (2% of total)
const: 72.0ms (1.3% of total)
ival-copysign: 56.0ms (1% of total)
ival-neg: 43.0ms (0.8% of total)
ival-fabs: 28.0ms (0.5% of total)

series9.7s (1%)

Counts
3016 → 55308
Calls

10809 calls:

TimeVariablePointExpression
160.0ms
base
@-inf
(log (/ 1 (log base)))
117.0ms
x
@0
(log (+ x x))
97.0ms
x
@0
(log (+ 1 (fabs x)))
95.0ms
y.re
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
89.0ms
y.im
@inf
(/ (* y.im (log (neg x.re))) (exp (* y.im (atan2 x.im x.re))))

analyze3.5s (0.4%)

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.3s
ival-mult: 590.0ms (25.2% of total)
ival-sqrt: 385.0ms (16.4% of total)
ival-add: 343.0ms (14.6% of total)
...c/correct-round.rkt:119:19: 222.0ms (9.5% of total)
ival-log: 139.0ms (5.9% of total)
ival-div: 134.0ms (5.7% of total)
ival-pow: 109.0ms (4.7% of total)
ival-atan2: 89.0ms (3.8% of total)
ival-sub: 73.0ms (3.1% of total)
ival->: 59.0ms (2.5% of total)
ival-exp: 58.0ms (2.5% of total)
ival-cos: 33.0ms (1.4% of total)
ival-<=: 33.0ms (1.4% of total)
ival-sin: 26.0ms (1.1% of total)
const: 21.0ms (0.9% of total)
ival-pi: 10.0ms (0.4% of total)
ival-neg: 8.0ms (0.3% of total)
backward-pass: 6.0ms (0.3% of total)
ival-and: 2.0ms (0.1% of total)
ival-atanh: 2.0ms (0.1% of total)
ival-asin: 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...