Herbie run

Date:Friday, April 19th, 2024
Commit:0226cf0a on fix-register-compiler
Hostname:nightly with Racket 8.11.1
Seed:2024110
Parameters:256 points for 4 iterations
Flags:
reduce: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.6min)

localize17.3s (17.8%)

Algorithm
95×egg-herbie
Rules
41266×fma-neg
37026×fma-define
12376×times-frac
11522×div-sub
9884×unsub-neg
Stop Event
79×saturated
16×node limit
Results
1.8s6215×0valid
1.5s669×1valid
380.0ms365×0invalid
659.0ms238×2valid
569.0ms125×5exit
63.0ms44×1invalid
101.0ms24×3valid
Compiler

Compiled 5999 to 716 computations (88.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
backward-pass: 502.0ms (20.1% of total)
ival-mult: 439.0ms (17.6% of total)
ival-div: 418.0ms (16.8% of total)
ival-pow: 349.0ms (14% of total)
ival-sub: 228.0ms (9.1% of total)
ival-sqrt: 94.0ms (3.8% of total)
ival-add: 87.0ms (3.5% of total)
ival-if: 74.0ms (3% of total)
ival-fma: 69.0ms (2.8% of total)
ival->=: 68.0ms (2.7% of total)
ival-neg: 40.0ms (1.6% of total)
ival-cbrt: 31.0ms (1.2% of total)
ival-exp: 27.0ms (1.1% of total)
const: 26.0ms (1% of total)
ival-log: 18.0ms (0.7% of total)
ival-fabs: 12.0ms (0.5% of total)
ival-log1p: 11.0ms (0.4% of total)
ival-expm1: 3.0ms (0.1% of total)

sample14.7s (15.2%)

Results
8.2s70173×0valid
1.6s4127×2valid
701.0ms1961×0invalid
1.0ms4×1valid
Precisions
Click to see histograms. Total time spent on operations: 7.5s
ival-mult: 2.5s (33.1% of total)
ival-sub: 1.3s (16.7% of total)
ival-div: 1.2s (16.1% of total)
ival-neg: 588.0ms (7.8% of total)
ival-sqrt: 561.0ms (7.4% of total)
ival-add: 301.0ms (4% of total)
ival-exp: 294.0ms (3.9% of total)
ival-if: 179.0ms (2.4% of total)
ival-fabs: 174.0ms (2.3% of total)
backward-pass: 132.0ms (1.8% of total)
const: 119.0ms (1.6% of total)
ival-log: 119.0ms (1.6% of total)
ival->=: 106.0ms (1.4% of total)
Bogosity

prune14.4s (14.9%)

Counts
23618 → 355
Compiler

Compiled 16126 to 8617 computations (46.6% saved)

simplify13.9s (14.4%)

Algorithm
38×egg-herbie
Rules
11463×fma-define
8903×fma-neg
8730×times-frac
8665×distribute-lft-in
7873×*-commutative
Stop Event
9×saturated
29×node limit
Counts
15408 → 14077

soundness9.5s (9.8%)

Rules
10766×fma-define
8158×fma-neg
7067×times-frac
5701×distribute-lft-in
5264×log1p-expm1-u
Stop Event
3×saturated
4×fuel
28×node limit
5×done
Compiler

Compiled 7029 to 1901 computations (73% saved)

rewrite9.1s (9.4%)

Algorithm
29×batch-egg-rewrite
Rules
18677×log1p-expm1-u
11870×expm1-log1p-u
7229×pow1
7003×add-exp-log
6411×add-log-exp
Stop Event
29×node limit
Counts
282 → 9320

eval6.7s (6.9%)

Compiler

Compiled 845595 to 91954 computations (89.1% saved)

regimes2.8s (2.9%)

Counts
962 → 138
Calls

26 calls:

517.0ms
z
438.0ms
(-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))
303.0ms
b
274.0ms
x
223.0ms
a
Compiler

Compiled 632 to 419 computations (33.7% saved)

explain2.4s (2.5%)

Results
839.0ms3714×0valid
704.0ms482×1valid
176.0ms406×2valid
4.0ms6×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 904.0ms
ival-mult: 214.0ms (23.7% of total)
ival-sub: 210.0ms (23.2% of total)
ival-add: 142.0ms (15.7% of total)
ival-sqrt: 133.0ms (14.7% of total)
ival-div: 88.0ms (9.7% of total)
backward-pass: 46.0ms (5.1% of total)
ival-neg: 22.0ms (2.4% of total)
ival-if: 13.0ms (1.4% of total)
const: 9.0ms (1% of total)
ival-log: 9.0ms (1% of total)
ival->=: 6.0ms (0.7% of total)
ival-fabs: 6.0ms (0.7% of total)
ival-exp: 4.0ms (0.4% of total)

series2.2s (2.3%)

Counts
282 → 6088
Calls

1614 calls:

TimeVariablePointExpression
247.0ms
a
@-inf
(/ (fabs (- b a)) 2)
96.0ms
n
@-inf
(/ f (- n f))
65.0ms
x
@0
(/ (- (* x z) (+ x 4)) y)
59.0ms
a
@inf
(/ (- b (sqrt (+ (* c (* a -4)) (* b b)))) (* a -2))
49.0ms
c
@inf
(if (>= b 0) (* -1/2 (/ (pow (sqrt (+ b (sqrt (+ (* c (* a -4)) (pow b 2))))) 2) a)) (* c (/ 2 (- (sqrt (+ (* c (* a -4)) (* b b))) b))))

bsearch1.5s (1.6%)

Algorithm
64×binary-search
17×left-value
Stop Event
14×predicate-same
50×narrow-enough
Results
782.0ms7648×0valid
98.0ms845×0invalid
4.0ms16×2valid
Compiler

Compiled 15739 to 11036 computations (29.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 611.0ms
ival-mult: 243.0ms (39.8% of total)
ival-div: 113.0ms (18.5% of total)
ival-sub: 65.0ms (10.6% of total)
ival-add: 58.0ms (9.5% of total)
ival-neg: 30.0ms (4.9% of total)
ival-sqrt: 27.0ms (4.4% of total)
ival-if: 21.0ms (3.4% of total)
ival-fabs: 19.0ms (3.1% of total)
ival->=: 18.0ms (2.9% of total)
const: 13.0ms (2.1% of total)
backward-pass: 3.0ms (0.5% of total)

preprocess1.5s (1.5%)

Algorithm
9×egg-herbie
Rules
3285×fma-neg
2821×fma-define
1502×times-frac
1470×div-sub
1170×sub-neg
Stop Event
5×saturated
4×node limit
Compiler

Compiled 4248 to 1130 computations (73.4% saved)

analyze776.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: 106.0ms (35.8% of total)
ival-div: 56.0ms (18.9% of total)
ival-sub: 33.0ms (11.1% of total)
ival-sqrt: 22.0ms (7.4% of total)
ival-add: 19.0ms (6.4% of total)
ival->=: 17.0ms (5.7% of total)
ival-if: 16.0ms (5.4% of total)
ival-neg: 16.0ms (5.4% of total)
const: 6.0ms (2% of total)
ival-fabs: 4.0ms (1.4% of total)
backward-pass: 1.0ms (0.3% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...