Herbie run

Date:Saturday, April 20th, 2024
Commit:2fe50def on faster-localize-cost
Hostname:nightly with Racket 8.11.1
Seed:2024111
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.4min)

localize20.4s (25.1%)

Algorithm
31×egg-herbie
Rules
13180×fma-define
12760×fma-neg
5547×div-sub
4414×distribute-lft-neg-in
4229×times-frac
Stop Event
21×saturated
10×node limit
Results
3.7s6182×0valid
3.7s638×1valid
1.5s588×0invalid
3.8s494×2valid
427.0ms32×3valid
2.0ms2×5exit
Compiler

Compiled 6402 to 3395 computations (47% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.1s
ival-mult: 2.7s (26.7% of total)
ival-div: 1.4s (13.9% of total)
backward-pass: 1.3s (12.5% of total)
ival-pow: 1.2s (12% of total)
ival-sqrt: 1.0s (9.9% of total)
ival-fma: 800.0ms (7.9% of total)
ival-sub: 700.0ms (6.9% of total)
ival-add: 424.0ms (4.2% of total)
const: 181.0ms (1.8% of total)
ival->=: 130.0ms (1.3% of total)
ival-if: 78.0ms (0.8% of total)
ival-log: 64.0ms (0.6% of total)
ival-log1p: 48.0ms (0.5% of total)
ival-neg: 34.0ms (0.3% of total)
ival-cbrt: 26.0ms (0.3% of total)
ival-exp: 21.0ms (0.2% of total)
ival-expm1: 17.0ms (0.2% of total)
ival-fabs: 16.0ms (0.2% of total)
ival-e: 5.0ms (0% of total)

sample15.8s (19.4%)

Results
9.5s70238×0valid
1.1s4066×2valid
803.0ms1882×0invalid
Precisions
Click to see histograms. Total time spent on operations: 8.6s
ival-mult: 2.9s (33.5% of total)
ival-div: 2.0s (23.5% of total)
ival-sqrt: 894.0ms (10.5% of total)
ival-sub: 880.0ms (10.3% of total)
ival-add: 576.0ms (6.7% of total)
ival-neg: 292.0ms (3.4% of total)
const: 176.0ms (2.1% of total)
ival-exp: 160.0ms (1.9% of total)
ival->=: 159.0ms (1.9% of total)
ival-log: 149.0ms (1.7% of total)
ival-if: 131.0ms (1.5% of total)
backward-pass: 130.0ms (1.5% of total)
ival-fabs: 130.0ms (1.5% of total)
Bogosity

simplify8.8s (10.8%)

Algorithm
39×egg-herbie
Rules
14212×fma-define
11916×fma-neg
9601×distribute-lft-in
8790×distribute-rgt-in
7669×associate-*r*
Stop Event
9×saturated
30×node limit
Counts
8510 → 8706

eval8.4s (10.4%)

Compiler

Compiled 390817 to 249385 computations (36.2% saved)

soundness7.6s (9.3%)

Rules
10629×fma-define
10373×fma-neg
7818×log1p-expm1-u
6894×associate-*r*
6118×distribute-lft-in
Stop Event
3×saturated
4×fuel
32×node limit
5×done
Compiler

Compiled 7718 to 4275 computations (44.6% saved)

rewrite6.7s (8.3%)

Algorithm
30×batch-egg-rewrite
Rules
20284×log1p-expm1-u
14055×expm1-log1p-u
7257×pow1
6695×add-exp-log
6160×unpow-prod-down
Stop Event
30×node limit
Counts
144 → 5360

prune4.1s (5%)

Counts
12113 → 326
Compiler

Compiled 15386 to 10183 computations (33.8% saved)

explain2.3s (2.9%)

Results
606.0ms3694×0valid
611.0ms468×2valid
461.0ms438×1valid
15.0ms8×3valid
Compiler

Compiled 1140 to 615 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult: 382.0ms (32.5% of total)
ival-sub: 207.0ms (17.6% of total)
ival-sqrt: 195.0ms (16.6% of total)
backward-pass: 125.0ms (10.6% of total)
ival-div: 121.0ms (10.3% of total)
ival-add: 50.0ms (4.3% of total)
const: 25.0ms (2.1% of total)
ival-neg: 23.0ms (2% of total)
ival-log: 13.0ms (1.1% of total)
ival->=: 12.0ms (1% of total)
ival-if: 11.0ms (0.9% of total)
ival-fabs: 6.0ms (0.5% of total)
ival-exp: 4.0ms (0.3% of total)

series2.0s (2.5%)

Counts
144 → 3150
Calls

804 calls:

TimeVariablePointExpression
267.0ms
c
@0
(/ (sqrt (- (pow b 6) (pow (* 4 (* a c)) 3))) (sqrt (+ (pow b 4) (* (* 4 (* a c)) (+ (* c (* 4 a)) (pow b 2))))))
90.0ms
x
@0
(log x)
87.0ms
a
@inf
(pow (+ (* c (* a -4)) (pow b 2)) 1/4)
75.0ms
a
@inf
(/ (- b (pow (exp (* 1/4 (+ (log (* 4 a)) (* -1 (log (/ -1 c)))))) 2)) (* a -2))
55.0ms
a
@0
(/ (sqrt (- (pow b 6) (* 64 (pow (* a c) 3)))) (sqrt (+ (pow b 4) (* (* 4 (* a c)) (+ (* c (* 4 a)) (pow b 2))))))

preprocess1.6s (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 3988 to 2240 computations (43.8% saved)

regimes1.5s (1.8%)

Counts
702 → 146
Calls

26 calls:

357.0ms
x
153.0ms
z
150.0ms
b
143.0ms
y
125.0ms
(-.f64 (/.f64 (+.f64 x #s(literal 4 binary64)) y) (*.f64 (/.f64 x y) z))
Compiler

Compiled 596 to 413 computations (30.7% saved)

bsearch1.3s (1.6%)

Algorithm
85×binary-search
2×left-value
Stop Event
8×predicate-same
77×narrow-enough
Results
787.0ms9392×0valid
23.0ms96×2valid
13.0ms93×0invalid
Compiler

Compiled 17050 to 11979 computations (29.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 497.0ms
ival-div: 128.0ms (25.7% of total)
ival-mult: 116.0ms (23.3% of total)
ival-sub: 75.0ms (15.1% of total)
ival-add: 60.0ms (12.1% of total)
ival-sqrt: 31.0ms (6.2% of total)
ival-fabs: 27.0ms (5.4% of total)
ival-neg: 23.0ms (4.6% of total)
const: 13.0ms (2.6% of total)
ival->=: 9.0ms (1.8% of total)
ival-if: 8.0ms (1.6% of total)
backward-pass: 6.0ms (1.2% of total)
ival-exp: 1.0ms (0.2% of total)

analyze712.0ms (0.9%)

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: 430.0ms
ival-mult: 201.0ms (46.8% of total)
ival-sub: 45.0ms (10.5% of total)
ival-sqrt: 39.0ms (9.1% of total)
ival-div: 38.0ms (8.8% of total)
ival->=: 37.0ms (8.6% of total)
ival-add: 21.0ms (4.9% of total)
ival-if: 18.0ms (4.2% of total)
ival-neg: 17.0ms (4% of total)
const: 8.0ms (1.9% of total)
ival-fabs: 3.0ms (0.7% 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...