Herbie run

Date:Friday, May 24th, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024145
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.3min)

simplify17.2s (22.1%)

Algorithm
70×egg-herbie
Rules
24705×fma-define
24530×fma-neg
14060×times-frac
13485×distribute-lft-in
10989×distribute-rgt-in
Stop Event
27×saturated
43×node limit
Counts
14719 → 13908

sample14.0s (17.9%)

Results
7.8s70148×0valid
1.5s4149×2valid
301.0ms1948×0invalid
1.0ms7×1valid
Precisions
Click to see histograms. Total time spent on operations: 6.6s
ival-mult: 2.3s (34% of total)
ival-div: 1.0s (15.8% of total)
ival-sub: 875.0ms (13.2% of total)
ival-sqrt: 646.0ms (9.8% of total)
ival-add: 467.0ms (7.1% of total)
ival-neg: 296.0ms (4.5% of total)
ival-if: 194.0ms (2.9% of total)
ival->=: 182.0ms (2.7% of total)
backward-pass: 154.0ms (2.3% of total)
ival-fabs: 148.0ms (2.2% of total)
ival-log: 137.0ms (2.1% of total)
const: 115.0ms (1.7% of total)
ival-exp: 112.0ms (1.7% of total)
Bogosity

soundness10.1s (12.9%)

Rules
11164×fma-define
9860×fma-neg
9627×times-frac
7123×*-commutative
6313×distribute-lft-in
Stop Event
3×saturated
36×node limit
4×fuel
5×done
Compiler

Compiled 8410 to 2416 computations (71.3% saved)

localize9.9s (12.8%)

Results
2.6s6181×0valid
2.3s261×5exit
2.0s649×2valid
1.2s549×1valid
244.0ms246×0invalid
152.0ms50×3valid
Compiler

Compiled 5880 to 705 computations (88% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.8s
backward-pass: 689.0ms (18% of total)
ival-pow: 618.0ms (16.2% of total)
ival-mult: 607.0ms (15.9% of total)
ival-sub: 526.0ms (13.8% of total)
ival-div: 379.0ms (9.9% of total)
ival-add: 225.0ms (5.9% of total)
ival-if: 156.0ms (4.1% of total)
ival-log1p: 122.0ms (3.2% of total)
...c/correct-round.rkt:121:19: 117.0ms (3.1% of total)
ival-sqrt: 106.0ms (2.8% of total)
ival-fma: 103.0ms (2.7% of total)
ival-e: 47.0ms (1.2% of total)
ival-neg: 35.0ms (0.9% of total)
ival-cbrt: 27.0ms (0.7% of total)
const: 25.0ms (0.7% of total)
ival->=: 13.0ms (0.3% of total)
ival-fabs: 10.0ms (0.3% of total)
ival-exp: 9.0ms (0.2% of total)
ival-log: 6.0ms (0.2% of total)

rewrite7.2s (9.2%)

Algorithm
30×batch-egg-rewrite
Rules
17376×log1p-expm1-u
14158×expm1-log1p-u
8021×pow1
7479×add-exp-log
6845×add-log-exp
Stop Event
30×node limit
Counts
281 → 8358

prune5.7s (7.3%)

Counts
22186 → 391
Compiler

Compiled 18914 to 9916 computations (47.6% saved)

eval5.4s (6.9%)

Compiler

Compiled 738807 to 88129 computations (88.1% saved)

series2.3s (3%)

Counts
281 → 6361
Calls

1617 calls:

TimeVariablePointExpression
160.0ms
x
@0
(log x)
132.0ms
a
@-inf
(* a -4)
119.0ms
c
@-inf
(if (>= b 0) (* -1/2 (/ (+ b (sqrt (+ (* c (* a -4)) (* b b)))) a)) (pow (cbrt (* c (/ 2 (+ b (sqrt (+ (* c (* a -4)) (pow b 2))))))) 3))
105.0ms
c
@-inf
(sqrt (- (* b b) (* (* 4 a) c)))
70.0ms
a
@inf
(+ (neg b) (sqrt (- (* b b) (* (* 4 a) c))))

preprocess1.7s (2.2%)

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 3502 to 1136 computations (67.6% saved)

explain1.4s (1.8%)

Results
493.0ms706×2valid
435.0ms3686×0valid
72.0ms202×1valid
9.0ms14×3valid
Compiler

Compiled 1140 to 282 computations (75.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 599.0ms
ival-div: 175.0ms (29.2% of total)
ival-mult: 86.0ms (14.4% of total)
ival-neg: 67.0ms (11.2% of total)
ival-log: 55.0ms (9.2% of total)
backward-pass: 53.0ms (8.8% of total)
ival-sub: 46.0ms (7.7% of total)
ival-sqrt: 41.0ms (6.8% of total)
ival-add: 41.0ms (6.8% of total)
ival-if: 11.0ms (1.8% of total)
const: 8.0ms (1.3% of total)
ival->=: 6.0ms (1% of total)
ival-fabs: 6.0ms (1% of total)
ival-exp: 4.0ms (0.7% of total)

regimes1.0s (1.3%)

Counts
927 → 109
Calls

26 calls:

168.0ms
x
156.0ms
(fabs.f64 (-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z)))
151.0ms
b
125.0ms
c
75.0ms
a
Compiler

Compiled 603 to 399 computations (33.8% saved)

bsearch1.0s (1.3%)

Algorithm
45×binary-search
3×left-value
Stop Event
9×predicate-same
36×narrow-enough
Results
670.0ms5296×0valid
31.0ms245×0invalid
22.0ms96×2valid
Compiler

Compiled 11188 to 7531 computations (32.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 489.0ms
ival-mult: 190.0ms (38.8% of total)
ival-div: 136.0ms (27.8% of total)
ival-add: 41.0ms (8.4% of total)
ival-sub: 40.0ms (8.2% of total)
ival-fabs: 28.0ms (5.7% of total)
ival-sqrt: 15.0ms (3.1% of total)
ival-neg: 12.0ms (2.5% of total)
const: 8.0ms (1.6% of total)
ival-if: 8.0ms (1.6% of total)
ival->=: 8.0ms (1.6% of total)
backward-pass: 3.0ms (0.6% of total)

analyze966.0ms (1.2%)

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: 650.0ms
ival-sqrt: 280.0ms (43.1% of total)
ival-mult: 128.0ms (19.7% of total)
ival-add: 70.0ms (10.8% of total)
ival-sub: 41.0ms (6.3% of total)
ival-neg: 38.0ms (5.8% of total)
ival-div: 32.0ms (4.9% of total)
ival-if: 32.0ms (4.9% of total)
ival->=: 18.0ms (2.8% of total)
const: 6.0ms (0.9% of total)
ival-fabs: 4.0ms (0.6% 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...