Herbie run

Date:Thursday, May 2nd, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024123
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.2min)

simplify16.9s (22.8%)

Algorithm
71×egg-herbie
Rules
23918×fma-define
19768×fma-neg
13059×times-frac
11367×distribute-lft-in
10642×distribute-rgt-in
Stop Event
29×saturated
42×node limit
Counts
15778 → 15259

sample11.0s (14.8%)

Results
6.3s70194×0valid
1.6s4101×2valid
269.0ms1812×0invalid
1.0ms9×1valid
Precisions
Click to see histograms. Total time spent on operations: 5.5s
ival-mult: 1.4s (25.2% of total)
ival-div: 1.3s (24.1% of total)
ival-sub: 894.0ms (16.2% of total)
ival-sqrt: 672.0ms (12.2% of total)
ival-neg: 236.0ms (4.3% of total)
ival-add: 217.0ms (3.9% of total)
ival->=: 155.0ms (2.8% of total)
ival-if: 121.0ms (2.2% of total)
backward-pass: 116.0ms (2.1% of total)
ival-fabs: 115.0ms (2.1% of total)
const: 109.0ms (2% of total)
ival-log: 102.0ms (1.8% of total)
ival-exp: 63.0ms (1.1% of total)
Bogosity

soundness9.2s (12.3%)

Rules
10876×fma-define
9347×fma-neg
6702×log1p-expm1-u
6567×times-frac
5079×distribute-lft-in
Stop Event
3×saturated
31×node limit
5×fuel
4×done
Compiler

Compiled 6527 to 1889 computations (71.1% saved)

localize8.2s (11.1%)

Results
3.0s6700×0valid
1.4s457×2valid
653.0ms199×5exit
484.0ms499×0invalid
357.0ms221×1valid
224.0ms48×3valid
149.0ms57×1invalid
125.0ms11×2invalid
Compiler

Compiled 6475 to 750 computations (88.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.6s
ival-div: 1.4s (38.2% of total)
ival-mult: 447.0ms (12.4% of total)
ival-pow: 385.0ms (10.6% of total)
backward-pass: 313.0ms (8.7% of total)
ival-fma: 234.0ms (6.5% of total)
ival-sub: 217.0ms (6% of total)
ival-add: 164.0ms (4.5% of total)
ival-sqrt: 132.0ms (3.7% of total)
ival-exp: 86.0ms (2.4% of total)
ival-if: 84.0ms (2.3% of total)
ival-log: 34.0ms (0.9% of total)
ival-neg: 31.0ms (0.9% of total)
const: 25.0ms (0.7% of total)
ival-hypot: 23.0ms (0.6% of total)
ival-fabs: 17.0ms (0.5% of total)
ival->=: 14.0ms (0.4% of total)
...c/correct-round.rkt:119:19: 13.0ms (0.4% of total)
ival-cbrt: 8.0ms (0.2% of total)
ival-e: 6.0ms (0.2% of total)

rewrite7.7s (10.4%)

Algorithm
30×batch-egg-rewrite
Rules
16714×log1p-expm1-u
12795×expm1-log1p-u
8556×pow1
8271×add-exp-log
7039×add-log-exp
Stop Event
30×node limit
Counts
292 → 9125

eval6.6s (8.8%)

Compiler

Compiled 872545 to 96196 computations (89% saved)

prune6.0s (8%)

Counts
24309 → 370
Compiler

Compiled 19347 to 10116 computations (47.7% saved)

series2.5s (3.4%)

Counts
292 → 6653
Calls

1713 calls:

TimeVariablePointExpression
221.0ms
c
@0
(* 2 c)
156.0ms
y
@0
(/ (* x (+ 1 (- (/ 4 x) z))) y)
108.0ms
b
@0
(/ 1 (/ (+ b (sqrt (+ (* c (* a -4)) (pow b 2)))) (* c 2)))
63.0ms
a
@inf
(pow (+ (* c (* a -4)) (pow b 2)) 1/4)
63.0ms
c
@0
(* c (/ -2 (+ b (pow (exp (* 1/4 (+ (log (* 4 c)) (* -1 (log (/ -1 a)))))) 2))))

explain2.0s (2.8%)

Results
826.0ms686×2valid
588.0ms3738×0valid
76.0ms176×1valid
5.0ms8×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 855.0ms
ival-sub: 270.0ms (31.6% of total)
ival-div: 240.0ms (28.1% of total)
ival-mult: 182.0ms (21.3% of total)
backward-pass: 47.0ms (5.5% of total)
ival-sqrt: 35.0ms (4.1% of total)
ival-neg: 19.0ms (2.2% of total)
ival-add: 17.0ms (2% of total)
ival-if: 11.0ms (1.3% of total)
ival->=: 9.0ms (1.1% of total)
const: 8.0ms (0.9% of total)
ival-fabs: 6.0ms (0.7% of total)
ival-log: 6.0ms (0.7% 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 3168 to 1118 computations (64.7% saved)

bsearch1.1s (1.5%)

Algorithm
47×binary-search
3×left-value
Stop Event
4×predicate-same
43×narrow-enough
Results
557.0ms6000×0valid
202.0ms80×2valid
32.0ms264×0invalid
Compiler

Compiled 13453 to 8827 computations (34.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 371.0ms
ival-mult: 114.0ms (30.7% of total)
ival-div: 77.0ms (20.8% of total)
ival-sub: 44.0ms (11.9% of total)
ival-add: 35.0ms (9.4% of total)
ival-sqrt: 25.0ms (6.7% of total)
ival-neg: 21.0ms (5.7% of total)
ival->=: 16.0ms (4.3% of total)
ival-fabs: 14.0ms (3.8% of total)
ival-if: 12.0ms (3.2% of total)
const: 9.0ms (2.4% of total)
backward-pass: 4.0ms (1.1% of total)

regimes825.0ms (1.1%)

Counts
703 → 108
Calls

26 calls:

173.0ms
b
143.0ms
x
64.0ms
a
46.0ms
c
46.0ms
z
Compiler

Compiled 540 to 355 computations (34.3% saved)

analyze774.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 97 computations (39.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 448.0ms
ival-mult: 239.0ms (53.3% of total)
ival->=: 53.0ms (11.8% of total)
ival-sub: 34.0ms (7.6% of total)
ival-div: 33.0ms (7.4% of total)
ival-sqrt: 21.0ms (4.7% of total)
ival-add: 20.0ms (4.5% of total)
ival-neg: 17.0ms (3.8% of total)
ival-if: 15.0ms (3.3% of total)
ival-fabs: 9.0ms (2% of total)
const: 6.0ms (1.3% 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...