Herbie run

Date:Monday, May 20th, 2024
Commit:c2f4097e on main
Hostname:nightly with Racket 8.11.1
Seed:2024141
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)

simplify17.7s (21.5%)

Algorithm
70×egg-herbie
Rules
26827×fma-define
22392×fma-neg
14533×times-frac
13416×distribute-lft-in
12318×distribute-rgt-in
Stop Event
24×saturated
46×node limit
Counts
16610 → 15044

sample12.6s (15.3%)

Results
7.4s70164×0valid
1.7s4132×2valid
379.0ms1935×0invalid
1.0ms8×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.4s
ival-mult: 2.1s (32.5% of total)
ival-div: 1.7s (26.1% of total)
ival-sub: 781.0ms (12.3% of total)
ival-sqrt: 522.0ms (8.2% of total)
ival-neg: 261.0ms (4.1% of total)
ival-fabs: 203.0ms (3.2% of total)
ival-add: 202.0ms (3.2% of total)
ival-if: 137.0ms (2.2% of total)
ival->=: 121.0ms (1.9% of total)
ival-log: 116.0ms (1.8% of total)
const: 114.0ms (1.8% of total)
backward-pass: 108.0ms (1.7% of total)
ival-exp: 67.0ms (1.1% of total)
Bogosity

soundness11.8s (14.3%)

Rules
11985×fma-define
9176×fma-neg
7902×log1p-expm1-u
7790×times-frac
7767×*-commutative
Stop Event
3×saturated
36×node limit
5×fuel
4×done
Compiler

Compiled 9240 to 2535 computations (72.6% saved)

localize8.4s (10.2%)

Results
2.3s5717×0valid
2.1s611×2valid
622.0ms560×0invalid
546.0ms86×5exit
480.0ms531×1valid
191.0ms53×3valid
118.0ms378×0unsamplable
Compiler

Compiled 6440 to 758 computations (88.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4s
ival-mult: 589.0ms (17.5% of total)
backward-pass: 548.0ms (16.3% of total)
ival-div: 529.0ms (15.7% of total)
ival-sub: 496.0ms (14.8% of total)
ival-add: 253.0ms (7.5% of total)
ival-pow: 246.0ms (7.3% of total)
ival-fma: 214.0ms (6.4% of total)
ival-if: 147.0ms (4.4% of total)
ival-sqrt: 97.0ms (2.9% of total)
ival-log: 63.0ms (1.9% of total)
ival-exp: 55.0ms (1.6% of total)
ival-neg: 32.0ms (1% of total)
const: 25.0ms (0.7% of total)
ival-cbrt: 17.0ms (0.5% of total)
ival->=: 13.0ms (0.4% of total)
ival-log1p: 11.0ms (0.3% of total)
ival-fabs: 10.0ms (0.3% of total)
ival-hypot: 8.0ms (0.2% of total)
ival-e: 5.0ms (0.1% of total)
ival-expm1: 3.0ms (0.1% of total)

rewrite7.7s (9.4%)

Algorithm
30×batch-egg-rewrite
Rules
19150×log1p-expm1-u
12640×expm1-log1p-u
8298×pow1
7734×add-exp-log
7124×add-log-exp
Stop Event
30×node limit
Counts
312 → 9621

eval6.9s (8.4%)

Compiler

Compiled 804029 to 94694 computations (88.2% saved)

prune6.9s (8.4%)

Counts
23787 → 387
Compiler

Compiled 19372 to 10180 computations (47.4% saved)

series2.8s (3.4%)

Counts
312 → 6989
Calls

1800 calls:

TimeVariablePointExpression
132.0ms
a
@inf
(/ (- (neg b) (sqrt (+ (* -4 (* c a)) (pow b 2)))) (* c 2))
121.0ms
a
@inf
(- (neg b) (sqrt (- (* b b) (pow (cbrt (* c (* 4 a))) 3))))
120.0ms
c
@inf
(pow (cbrt (sqrt (+ (* c (* a -4)) (pow b 2)))) 3)
105.0ms
c
@0
(pow (* (* -4 c) a) 1/4)
95.0ms
c
@0
(/ (- b (pow (exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c)))))) 2)) (* a -2))

explain2.6s (3.1%)

Results
1.5s744×2valid
462.0ms3630×0valid
187.0ms220×1valid
9.0ms14×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.1s
ival-div: 539.0ms (50.4% of total)
ival-mult: 181.0ms (16.9% of total)
ival-sqrt: 130.0ms (12.2% of total)
backward-pass: 60.0ms (5.6% of total)
ival-sub: 47.0ms (4.4% of total)
ival-neg: 47.0ms (4.4% of total)
ival-add: 22.0ms (2.1% of total)
ival-if: 12.0ms (1.1% of total)
const: 8.0ms (0.7% of total)
ival-log: 7.0ms (0.7% of total)
ival->=: 6.0ms (0.6% of total)
ival-fabs: 6.0ms (0.6% of total)
ival-exp: 4.0ms (0.4% of total)

preprocess1.6s (1.9%)

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 3520 to 1206 computations (65.7% saved)

bsearch1.4s (1.7%)

Algorithm
54×binary-search
2×left-value
Stop Event
7×predicate-same
47×narrow-enough
Results
874.0ms6720×0valid
42.0ms337×0invalid
17.0ms80×2valid
Compiler

Compiled 14485 to 9792 computations (32.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 437.0ms
ival-mult: 118.0ms (27% of total)
ival-div: 101.0ms (23.1% of total)
ival-sub: 56.0ms (12.8% of total)
ival-add: 54.0ms (12.4% of total)
ival-sqrt: 25.0ms (5.7% of total)
ival-neg: 21.0ms (4.8% of total)
ival-fabs: 18.0ms (4.1% of total)
ival->=: 15.0ms (3.4% of total)
ival-if: 14.0ms (3.2% of total)
const: 11.0ms (2.5% of total)
backward-pass: 3.0ms (0.7% of total)

regimes1.2s (1.4%)

Counts
920 → 117
Calls

26 calls:

296.0ms
x
111.0ms
b
96.0ms
y
92.0ms
(-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))
78.0ms
(*.f64 x x)
Compiler

Compiled 646 to 428 computations (33.7% saved)

analyze890.0ms (1.1%)

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: 528.0ms
ival-mult: 180.0ms (34.1% of total)
ival-neg: 118.0ms (22.4% of total)
ival->=: 89.0ms (16.9% of total)
ival-div: 36.0ms (6.8% of total)
ival-sub: 32.0ms (6.1% of total)
ival-add: 21.0ms (4% of total)
ival-sqrt: 21.0ms (4% of total)
ival-if: 19.0ms (3.6% of total)
const: 7.0ms (1.3% of total)
ival-fabs: 3.0ms (0.6% of total)
ival-log: 1.0ms (0.2% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...