Herbie run

Date:Monday, October 14th, 2024
Commit:2.0 on release
Hostname:nightly with Racket 8.10
Seed:2024288
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: 1.4min)

soundness20.2s (24.2%)

Rules
120656×*-lowering-*.f32
120656×*-lowering-*.f64
61920×+-lowering-+.f32
61920×+-lowering-+.f64
61856×/-lowering-/.f64
Stop Event
4×saturated
42×iter limit
35×node limit
6×fuel
1×unsound
3×done
Compiler

Compiled 6005 to 3189 computations (46.9% saved)

simplify13.8s (16.5%)

Algorithm
73×egg-herbie
Rules
146198×*-lowering-*.f32
146198×*-lowering-*.f64
78478×+-lowering-+.f32
78478×+-lowering-+.f64
56228×fma-lowering-fma.f64
Stop Event
60×iter limit
33×saturated
44×node limit
Counts
8524 → 8524

sample11.4s (13.7%)

Results
6.7s70088×0valid
1.4s4208×2valid
671.0ms1930×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.7s
ival-div: 1.4s (23.9% of total)
ival-mult: 1.2s (21.3% of total)
ival-sub: 805.0ms (14% of total)
ival-sqrt: 776.0ms (13.5% of total)
ival-add: 309.0ms (5.4% of total)
ival-neg: 251.0ms (4.4% of total)
backward-pass: 225.0ms (3.9% of total)
ival->=: 194.0ms (3.4% of total)
ival-fabs: 138.0ms (2.4% of total)
const: 132.0ms (2.3% of total)
ival-if: 115.0ms (2% of total)
ival-log: 108.0ms (1.9% of total)
ival-exp: 92.0ms (1.6% of total)
Bogosity

rewrite10.8s (12.9%)

Algorithm
32×batch-egg-rewrite
Rules
88526×*-lowering-*.f32
88526×*-lowering-*.f64
79336×/-lowering-/.f64
79336×/-lowering-/.f32
41646×fma-lowering-fma.f64
Stop Event
4×saturated
33×iter limit
29×node limit
1×unsound
Counts
380 → 17196

localize6.9s (8.3%)

Results
2.4s6848×0valid
1.5s641×2valid
696.0ms357×1valid
218.0ms57×3valid
218.0ms289×0invalid
Compiler

Compiled 7391 to 772 computations (89.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.8s
ival-mult: 550.0ms (30.4% of total)
ival-div: 408.0ms (22.5% of total)
backward-pass: 295.0ms (16.3% of total)
ival-add: 178.0ms (9.8% of total)
ival-sub: 117.0ms (6.5% of total)
ival-if: 71.0ms (3.9% of total)
ival-sqrt: 70.0ms (3.9% of total)
ival-fabs: 29.0ms (1.6% of total)
const: 28.0ms (1.5% of total)
...c/correct-round.rkt:119:19: 22.0ms (1.2% of total)
ival-neg: 13.0ms (0.7% of total)
ival->=: 11.0ms (0.6% of total)
ival-exp: 10.0ms (0.6% of total)
ival-log: 7.0ms (0.4% of total)

eval6.4s (7.6%)

Compiler

Compiled 1235326 to 81343 computations (93.4% saved)

prune5.3s (6.4%)

Counts
34128 → 522
Compiler

Compiled 25757 to 11402 computations (55.7% saved)

preprocess1.9s (2.3%)

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 4092 to 1172 computations (71.4% saved)

explain1.8s (2.1%)

Results
583.0ms3676×0valid
510.0ms716×2valid
104.0ms204×1valid
11.0ms12×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 504.0ms
ival-mult: 124.0ms (24.6% of total)
ival-div: 103.0ms (20.5% of total)
backward-pass: 60.0ms (11.9% of total)
ival-sub: 53.0ms (10.5% of total)
ival-sqrt: 52.0ms (10.3% of total)
ival-if: 36.0ms (7.1% of total)
ival-neg: 21.0ms (4.2% of total)
ival-add: 18.0ms (3.6% of total)
const: 10.0ms (2% of total)
ival-exp: 8.0ms (1.6% of total)
ival-fabs: 7.0ms (1.4% of total)
ival-log: 6.0ms (1.2% of total)
ival->=: 5.0ms (1% of total)

regimes1.7s (2.1%)

Counts
1463 → 131
Calls

26 calls:

352.0ms
b
260.0ms
x
230.0ms
a
127.0ms
(*.f64 x x)
79.0ms
c
Compiler

Compiled 599 to 388 computations (35.2% saved)

bsearch1.7s (2%)

Algorithm
56×binary-search
10×left-value
Stop Event
13×predicate-same
43×narrow-enough
Results
738.0ms6304×0valid
29.0ms175×0invalid
Compiler

Compiled 13434 to 8752 computations (34.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 470.0ms
ival-add: 123.0ms (26.2% of total)
ival-mult: 118.0ms (25.1% of total)
ival-div: 80.0ms (17% of total)
ival-sub: 50.0ms (10.6% of total)
ival-neg: 22.0ms (4.7% of total)
ival->=: 19.0ms (4% of total)
ival-sqrt: 18.0ms (3.8% of total)
ival-fabs: 13.0ms (2.8% of total)
ival-if: 13.0ms (2.8% of total)
const: 11.0ms (2.3% of total)
backward-pass: 3.0ms (0.6% of total)
ival-exp: 2.0ms (0.4% of total)

series978.0ms (1.2%)

Counts
380 → 8524
Calls

1680 calls:

TimeVariablePointExpression
95.0ms
x
@-inf
(log x)
71.0ms
x
@0
(* (* x x) (+ 1 (* (* x x) (+ 1/2 (* 1/6 (* x x))))))
32.0ms
x
@-inf
(+ (* x x) (- 1/4 (* x -1/2)))
31.0ms
a
@0
(/ (* c -2) (+ b (sqrt (+ (* b b) (* a (* c -4))))))
28.0ms
x
@0
(log x)

analyze695.0ms (0.8%)

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: 296.0ms
ival-mult: 97.0ms (32.7% of total)
ival-sqrt: 54.0ms (18.2% of total)
ival-div: 33.0ms (11.1% of total)
ival-sub: 32.0ms (10.8% of total)
ival-add: 20.0ms (6.7% of total)
ival-neg: 19.0ms (6.4% of total)
ival-if: 18.0ms (6.1% of total)
ival->=: 10.0ms (3.4% of total)
const: 7.0ms (2.4% of total)
ival-fabs: 3.0ms (1% of total)
backward-pass: 2.0ms (0.7% of total)
ival-log: 1.0ms (0.3% of total)
ival-exp: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...