Herbie run

Date:Thursday, May 16th, 2024
Commit:9db37a23 on report-cost-multi-alts
Hostname:nightly with Racket 8.11.1
Seed:2024137
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.3min)

simplify14.0s (18.1%)

Algorithm
40×egg-herbie
Rules
12533×fma-define
9986×fma-neg
9315×times-frac
8963×*-commutative
7946×distribute-lft-in
Stop Event
8×saturated
32×node limit
Counts
16057 → 15106

sample12.3s (15.9%)

Results
7.2s70196×0valid
1.4s4103×2valid
234.0ms1975×0invalid
1.0ms5×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.2s
ival-mult: 1.6s (25.7% of total)
ival-div: 1.4s (22.5% of total)
ival-sub: 878.0ms (14.1% of total)
ival-neg: 598.0ms (9.6% of total)
ival-sqrt: 422.0ms (6.8% of total)
ival-if: 339.0ms (5.5% of total)
ival-add: 232.0ms (3.7% of total)
ival-fabs: 156.0ms (2.5% of total)
ival-exp: 135.0ms (2.2% of total)
ival->=: 128.0ms (2.1% of total)
const: 115.0ms (1.8% of total)
backward-pass: 109.0ms (1.8% of total)
ival-log: 107.0ms (1.7% of total)
Bogosity

localize10.7s (13.8%)

Algorithm
32×egg-herbie
Rules
12038×fma-define
11525×fma-neg
5184×div-sub
4371×times-frac
3429×distribute-lft-neg-in
Stop Event
23×saturated
9×node limit
Results
2.1s6656×0valid
874.0ms694×0invalid
1.3s479×2valid
593.0ms276×1valid
393.0ms44×5exit
139.0ms43×3valid
Compiler

Compiled 6932 to 772 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.5s
ival-div: 496.0ms (20% of total)
ival-mult: 353.0ms (14.3% of total)
ival-if: 283.0ms (11.4% of total)
ival-sqrt: 267.0ms (10.8% of total)
ival-sub: 248.0ms (10% of total)
ival-pow: 197.0ms (8% of total)
backward-pass: 195.0ms (7.9% of total)
ival-fma: 110.0ms (4.4% of total)
ival-add: 96.0ms (3.9% of total)
ival-exp: 54.0ms (2.2% of total)
ival-log: 39.0ms (1.6% of total)
ival-hypot: 37.0ms (1.5% of total)
ival-neg: 30.0ms (1.2% of total)
const: 26.0ms (1.1% of total)
ival-fabs: 15.0ms (0.6% of total)
ival->=: 13.0ms (0.5% of total)
ival-log1p: 8.0ms (0.3% of total)
ival-e: 4.0ms (0.2% of total)
ival-expm1: 4.0ms (0.2% of total)

soundness10.3s (13.3%)

Rules
10415×fma-define
9243×fma-neg
6921×log1p-expm1-u
6619×times-frac
6355×distribute-lft-in
Stop Event
3×saturated
35×node limit
4×fuel
5×done
Compiler

Compiled 7481 to 2052 computations (72.6% saved)

rewrite8.1s (10.4%)

Algorithm
31×batch-egg-rewrite
Rules
17623×log1p-expm1-u
15279×expm1-log1p-u
8710×pow1
7942×add-exp-log
7083×add-log-exp
Stop Event
31×node limit
Counts
294 → 9693

prune6.4s (8.2%)

Counts
25413 → 412
Compiler

Compiled 22998 to 11813 computations (48.6% saved)

eval5.9s (7.6%)

Compiler

Compiled 888426 to 99403 computations (88.8% saved)

series2.9s (3.7%)

Counts
294 → 6364
Calls

1653 calls:

TimeVariablePointExpression
151.0ms
c
@0
(exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c))))))
131.0ms
b
@inf
(if (>= b 0) (/ 1 (/ 1 (* c (/ -2 (+ b (sqrt (+ (* (sqrt (* c (* a -4))) (sqrt (* c (* a -4)))) (* b b)))))))) (/ (- b (sqrt (+ (* c (* a -4)) (* b b)))) (* a -2)))
124.0ms
c
@inf
(/ (* 2 c) (+ (neg b) (pow (exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c)))))) 2)))
123.0ms
c
@0
(/ (exp (log (* c 2))) (* 2 (+ (* a (/ c b)) (neg b))))
116.0ms
x
@0
(log x)

explain1.7s (2.2%)

Results
358.0ms3702×0valid
787.0ms682×2valid
76.0ms218×1valid
4.0ms6×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 785.0ms
ival-mult: 315.0ms (40.1% of total)
ival-sqrt: 165.0ms (21% of total)
ival-sub: 109.0ms (13.9% of total)
ival-div: 75.0ms (9.5% of total)
backward-pass: 42.0ms (5.3% of total)
ival-neg: 19.0ms (2.4% of total)
ival-add: 18.0ms (2.3% of total)
ival-if: 11.0ms (1.4% of total)
const: 8.0ms (1% of total)
ival->=: 6.0ms (0.8% of total)
ival-fabs: 6.0ms (0.8% of total)
ival-log: 6.0ms (0.8% of total)
ival-exp: 4.0ms (0.5% of total)

preprocess1.6s (2.1%)

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 3696 to 1220 computations (67% saved)

bsearch1.4s (1.8%)

Algorithm
50×binary-search
6×left-value
Stop Event
8×predicate-same
42×narrow-enough
Results
576.0ms5440×0valid
37.0ms317×0invalid
75.0ms96×2valid
Compiler

Compiled 12577 to 8412 computations (33.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 443.0ms
ival-mult: 208.0ms (46.9% of total)
ival-div: 74.0ms (16.7% of total)
ival-sub: 41.0ms (9.3% of total)
ival-add: 30.0ms (6.8% of total)
ival-sqrt: 20.0ms (4.5% of total)
ival-neg: 18.0ms (4.1% of total)
ival-fabs: 13.0ms (2.9% of total)
ival->=: 12.0ms (2.7% of total)
ival-if: 11.0ms (2.5% of total)
const: 9.0ms (2% of total)
backward-pass: 4.0ms (0.9% of total)
ival-exp: 2.0ms (0.5% of total)

regimes1.1s (1.4%)

Counts
902 → 118
Calls

26 calls:

213.0ms
(-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))
199.0ms
x
112.0ms
z
87.0ms
b
60.0ms
a
Compiler

Compiled 626 to 413 computations (34% saved)

analyze984.0ms (1.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: 497.0ms
ival-mult: 315.0ms (63.4% of total)
ival-sub: 38.0ms (7.7% of total)
ival-div: 35.0ms (7% of total)
ival->=: 22.0ms (4.4% of total)
ival-sqrt: 20.0ms (4% of total)
ival-add: 18.0ms (3.6% of total)
ival-if: 16.0ms (3.2% of total)
ival-neg: 15.0ms (3% of total)
ival-fabs: 9.0ms (1.8% of total)
const: 6.0ms (1.2% of total)
backward-pass: 1.0ms (0.2% of total)
ival-exp: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...