Herbie run

Date:Tuesday, April 9th, 2024
Commit:ec545773 on artem-tuning-cleanup-128start-5ampl
Hostname:nightly with Racket 8.11.1
Seed:2024100
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.0min)

localize14.4s (23.6%)

Results
2.6s4286×0valid
3.5s625×1valid
725.0ms585×0invalid
3.4s324×2valid
908.0ms49×3valid
251.0ms19×5exit
Compiler

Compiled 5909 to 3143 computations (46.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.4s
ival-mult: 2.6s (28.1% of total)
backward-pass: 1.3s (14.2% of total)
ival-pow: 1.1s (12.2% of total)
ival-div: 910.0ms (9.7% of total)
ival-fma: 904.0ms (9.6% of total)
ival-sub: 757.0ms (8.1% of total)
ival-sqrt: 607.0ms (6.5% of total)
ival-add: 290.0ms (3.1% of total)
const: 214.0ms (2.3% of total)
ival->=: 156.0ms (1.7% of total)
ival-hypot: 101.0ms (1.1% of total)
ival-if: 87.0ms (0.9% of total)
ival-log: 49.0ms (0.5% of total)
ival-neg: 46.0ms (0.5% of total)
ival-exp: 37.0ms (0.4% of total)
ival-cbrt: 35.0ms (0.4% of total)
ival-log1p: 32.0ms (0.3% of total)
ival-fabs: 31.0ms (0.3% of total)
ival-expm1: 23.0ms (0.2% of total)
ival-e: 2.0ms (0% of total)

sample13.2s (21.7%)

Results
7.5s70233×0valid
1.1s4071×2valid
381.0ms1946×0invalid
Precisions
Click to see histograms. Total time spent on operations: 6.2s
ival-mult: 1.7s (27.4% of total)
ival-div: 1.2s (18.6% of total)
ival-sub: 945.0ms (15.2% of total)
ival-sqrt: 745.0ms (12% of total)
ival->=: 326.0ms (5.3% of total)
ival-neg: 309.0ms (5% of total)
ival-add: 236.0ms (3.8% of total)
ival-fabs: 156.0ms (2.5% of total)
backward-pass: 145.0ms (2.3% of total)
const: 143.0ms (2.3% of total)
ival-if: 142.0ms (2.3% of total)
ival-log: 128.0ms (2.1% of total)
ival-exp: 73.0ms (1.2% of total)
Bogosity

eval7.5s (12.3%)

Compiler

Compiled 644877 to 421377 computations (34.7% saved)

simplify4.8s (7.9%)

Algorithm
28×egg-herbie
Rules
6482×fma-define
5847×*-commutative
5591×times-frac
5200×associate-*r*
5100×distribute-lft-in
Stop Event
9×saturated
19×node limit
Counts
7239 → 7717

prune4.6s (7.5%)

Counts
14835 → 325
Compiler

Compiled 19408 to 13209 computations (31.9% saved)

soundness4.5s (7.4%)

Rules
5133×fma-define
4889×log1p-expm1-u
4408×fma-neg
4076×distribute-lft-in
3635×distribute-rgt-in
Stop Event
2×saturated
18×node limit
3×fuel
6×done
Compiler

Compiled 4570 to 2703 computations (40.9% saved)

rewrite4.2s (6.9%)

Algorithm
19×batch-egg-rewrite
Rules
11898×log1p-expm1-u
7408×expm1-log1p-u
4452×add-exp-log
4277×pow1
4010×add-log-exp
Stop Event
19×node limit
Counts
126 → 4075

explain2.7s (4.5%)

Results
634.0ms3668×0valid
729.0ms476×1valid
546.0ms454×2valid
22.0ms10×3valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-mult: 507.0ms (37.2% of total)
backward-pass: 200.0ms (14.7% of total)
ival-sqrt: 182.0ms (13.3% of total)
ival-sub: 174.0ms (12.8% of total)
ival-div: 133.0ms (9.7% of total)
ival-add: 50.0ms (3.7% of total)
const: 32.0ms (2.3% of total)
ival->=: 27.0ms (2% of total)
ival-neg: 21.0ms (1.5% of total)
ival-log: 15.0ms (1.1% of total)
ival-if: 14.0ms (1% of total)
ival-fabs: 6.0ms (0.4% of total)
ival-exp: 4.0ms (0.3% of total)

preprocess1.5s (2.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 2834 to 1696 computations (40.2% saved)

regimes1.2s (2%)

Counts
454 → 74
Calls

26 calls:

212.0ms
c
188.0ms
x
177.0ms
a
163.0ms
b
123.0ms
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))
Compiler

Compiled 474 to 327 computations (31% saved)

series950.0ms (1.6%)

Counts
126 → 3164
Calls

783 calls:

TimeVariablePointExpression
70.0ms
c
@0
(cbrt (/ c b))
29.0ms
b
@0
(/ (+ (neg b) (sqrt (- (* b b) (* (* 4 a) c)))) (* 2 a))
12.0ms
c
@inf
(cbrt (/ c b))
9.0ms
b
@0
(sqrt (+ (* c (* a -4)) (* b b)))
9.0ms
b
@-inf
(/ (* 2 c) (- (neg b) (pow (pow (- (pow b 2) (* 4 (* c a))) 1/4) 2)))

analyze632.0ms (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 110 computations (31.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 383.0ms
ival-mult: 171.0ms (44.7% of total)
ival-sub: 46.0ms (12% of total)
ival-sqrt: 44.0ms (11.5% of total)
ival-div: 36.0ms (9.4% of total)
ival->=: 24.0ms (6.3% of total)
ival-add: 19.0ms (5% of total)
ival-neg: 16.0ms (4.2% of total)
ival-if: 15.0ms (3.9% of total)
const: 8.0ms (2.1% of total)
ival-fabs: 4.0ms (1% of total)
backward-pass: 1.0ms (0.3% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

bsearch613.0ms (1%)

Algorithm
34×binary-search
Stop Event
9×predicate-same
25×narrow-enough
Results
373.0ms3632×0valid
31.0ms234×0invalid
Compiler

Compiled 9117 to 6462 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 273.0ms
ival-mult: 83.0ms (30.4% of total)
ival-div: 52.0ms (19% of total)
ival-sub: 35.0ms (12.8% of total)
ival-add: 31.0ms (11.4% of total)
ival-sqrt: 25.0ms (9.2% of total)
ival-neg: 12.0ms (4.4% of total)
ival->=: 10.0ms (3.7% of total)
ival-fabs: 8.0ms (2.9% of total)
ival-if: 8.0ms (2.9% of total)
const: 7.0ms (2.6% of total)
backward-pass: 1.0ms (0.4% of total)

end0.0ms (0%)

Profiling

Loading profile data...