Herbie run

Date:Thursday, June 6th, 2024
Commit:b2854467 on platforms
Hostname:nightly with Racket 8.11.1
Seed:2024158
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: 3.4min)

soundness1.6min (47.5%)

Rules
138986×*-lowering-*.f32
138986×*-lowering-*.f64
70414×+-lowering-+.f32
70414×+-lowering-+.f64
62666×/-lowering-/.f64
Stop Event
3×saturated
43×iter limit
39×node limit
6×fuel
3×done
Compiler

Compiled 5203 to 2750 computations (47.1% saved)

regimes26.0s (12.7%)

Counts
1340 → 120
Calls

26 calls:

279.0ms
b
185.0ms
a
148.0ms
(*.f64 x x)
139.0ms
x
97.0ms
(-.f64 #s(literal 1 binary64) (*.f64 x x))
Compiler

Compiled 714 to 465 computations (34.9% saved)

eval25.3s (12.3%)

Compiler

Compiled 1108098 to 76922 computations (93.1% saved)

simplify15.6s (7.6%)

Algorithm
75×egg-herbie
Rules
165750×*-lowering-*.f32
165750×*-lowering-*.f64
79370×+-lowering-+.f32
79370×+-lowering-+.f64
55800×fma-lowering-fma.f64
Stop Event
62×iter limit
30×saturated
49×node limit
Counts
9188 → 9188

sample11.2s (5.5%)

Results
6.9s70154×0valid
1.2s4133×2valid
290.0ms1993×0invalid
2.0ms17×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.3s
ival-mult: 1.6s (29.5% of total)
ival-div: 931.0ms (17.4% of total)
ival-sub: 682.0ms (12.8% of total)
ival-neg: 481.0ms (9% of total)
ival-sqrt: 476.0ms (8.9% of total)
ival-add: 260.0ms (4.9% of total)
backward-pass: 175.0ms (3.3% of total)
ival->=: 159.0ms (3% of total)
ival-fabs: 149.0ms (2.8% of total)
ival-if: 127.0ms (2.4% of total)
ival-log: 124.0ms (2.3% of total)
const: 118.0ms (2.2% of total)
ival-exp: 82.0ms (1.5% of total)
Bogosity

rewrite10.2s (5%)

Algorithm
33×batch-egg-rewrite
Rules
85418×*-lowering-*.f32
85418×*-lowering-*.f64
80930×/-lowering-/.f64
80930×/-lowering-/.f32
37580×+-lowering-+.f32
Stop Event
4×saturated
35×iter limit
31×node limit
Counts
422 → 19155

localize7.5s (3.7%)

Results
2.5s6845×0valid
1.7s709×2valid
650.0ms370×1valid
150.0ms33×3valid
143.0ms80×1invalid
108.0ms151×0invalid
100.0ms260×0unsamplable
Compiler

Compiled 7148 to 777 computations (89.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-div: 523.0ms (26.8% of total)
ival-mult: 496.0ms (25.4% of total)
backward-pass: 284.0ms (14.6% of total)
ival-add: 158.0ms (8.1% of total)
ival-sub: 156.0ms (8% of total)
ival-sqrt: 96.0ms (4.9% of total)
ival-if: 81.0ms (4.2% of total)
ival-fabs: 37.0ms (1.9% of total)
ival-exp: 34.0ms (1.7% of total)
const: 26.0ms (1.3% of total)
ival-pow: 19.0ms (1% of total)
ival->=: 19.0ms (1% of total)
ival-log: 10.0ms (0.5% of total)
ival-e: 4.0ms (0.2% of total)
...c/correct-round.rkt:119:19: 4.0ms (0.2% of total)
ival-neg: 1.0ms (0.1% of total)

prune5.7s (2.8%)

Counts
35928 → 571
Compiler

Compiled 26720 to 12351 computations (53.8% saved)

preprocess1.7s (0.8%)

Algorithm
18×egg-herbie
Rules
16228×fnmadd-define
15232×sum3-define
12914×fnmsub-define
12628×fmsub-define
12420×fmm-def
Stop Event
10×saturated
9×iter limit
8×node limit
Compiler

Compiled 3916 to 1160 computations (70.4% saved)

explain1.7s (0.8%)

Results
624.0ms3658×0valid
496.0ms726×2valid
123.0ms220×1valid
4.0ms4×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 504.0ms
ival-mult: 104.0ms (20.7% of total)
backward-pass: 79.0ms (15.7% of total)
ival-div: 74.0ms (14.7% of total)
ival-sub: 57.0ms (11.3% of total)
ival-sqrt: 43.0ms (8.5% of total)
ival-log: 41.0ms (8.1% of total)
ival-if: 29.0ms (5.8% of total)
ival-add: 22.0ms (4.4% of total)
ival-neg: 20.0ms (4% of total)
ival->=: 11.0ms (2.2% of total)
const: 9.0ms (1.8% of total)
ival-fabs: 9.0ms (1.8% of total)
ival-exp: 4.0ms (0.8% of total)

bsearch1.2s (0.6%)

Algorithm
45×binary-search
9×left-value
Stop Event
4×predicate-same
41×narrow-enough
Results
708.0ms5376×0valid
75.0ms530×0invalid
Compiler

Compiled 11480 to 7666 computations (33.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 467.0ms
ival-mult: 140.0ms (30% of total)
ival-div: 91.0ms (19.5% of total)
ival-sub: 71.0ms (15.2% of total)
ival-add: 39.0ms (8.3% of total)
ival->=: 32.0ms (6.8% of total)
ival-neg: 26.0ms (5.6% of total)
ival-sqrt: 24.0ms (5.1% of total)
ival-if: 20.0ms (4.3% of total)
const: 10.0ms (2.1% of total)
ival-fabs: 9.0ms (1.9% of total)
ival-exp: 3.0ms (0.6% of total)
backward-pass: 2.0ms (0.4% of total)

series898.0ms (0.4%)

Counts
422 → 9188
Calls

1794 calls:

TimeVariablePointExpression
54.0ms
a
@0
(/ (* (* b b) 4) (* 2 a))
51.0ms
x
@0
(pow (* (* (+ x -1) (+ x -1)) (* x x)) 1/4)
34.0ms
b
@0
(/ (- (sqrt (+ (* b b) (* a (* c -4)))) b) (* 2 a))
31.0ms
b
@-inf
(sqrt (+ (* b b) (* c (* a -4))))
26.0ms
x
@0
(log x)

analyze657.0ms (0.3%)

Algorithm
9×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
22.2%22.2%77.7%0.1%0%0%0%1
29.4%27.8%66.6%0.1%0%5.6%0%2
50%44.4%44.4%0.1%0%11.1%0%3
59.7%51.3%34.7%0.1%0%13.9%0%4
67.2%56.9%27.7%0.1%0%15.3%0%5
74.4%62.4%21.5%0.1%0%16%0%6
78.9%64.9%17.3%0.1%0%17.7%0%7
80.8%66.3%15.8%0.1%0%17.9%0%8
85.9%69.9%11.5%0.1%0%18.5%0%9
88%70.7%9.7%0.1%0%19.6%0%10
90%72.1%8%0.1%0%19.8%0%11
92.3%73.5%6.2%0.1%0%20.3%0%12
Compiler

Compiled 161 to 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 313.0ms
ival-mult: 123.0ms (39.3% of total)
ival-add: 38.0ms (12.2% of total)
ival-sub: 38.0ms (12.2% of total)
ival-div: 33.0ms (10.6% of total)
ival-sqrt: 21.0ms (6.7% of total)
ival-neg: 17.0ms (5.4% of total)
ival-if: 15.0ms (4.8% of total)
ival->=: 15.0ms (4.8% of total)
const: 7.0ms (2.2% of total)
ival-fabs: 4.0ms (1.3% of total)
backward-pass: 2.0ms (0.6% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...