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: 6.3min)

sample1.4min (22.2%)

Results
33.6s275567×0valid
20.1s54734×1valid
8.8s16360×2valid
563.0ms4239×0invalid
225.0ms1018×0unsamplable
986.0ms202×5exit
27.0ms91×3valid
Precisions
Click to see histograms. Total time spent on operations: 48.5s
ival-mult: 12.5s (25.7% of total)
ival-pow: 8.7s (17.9% of total)
ival-add: 4.6s (9.4% of total)
ival-sub: 3.7s (7.6% of total)
ival-div: 3.6s (7.4% of total)
ival-<=: 3.2s (6.7% of total)
ival-sin: 3.1s (6.4% of total)
backward-pass: 2.4s (4.9% of total)
ival-neg: 1.1s (2.2% of total)
ival-log: 942.0ms (1.9% of total)
ival-exp: 918.0ms (1.9% of total)
ival-cos: 881.0ms (1.8% of total)
const: 793.0ms (1.6% of total)
ival-sqrt: 532.0ms (1.1% of total)
ival-and: 408.0ms (0.8% of total)
ival-==: 386.0ms (0.8% of total)
ival-fma: 382.0ms (0.8% of total)
ival-pi: 154.0ms (0.3% of total)
ival-<: 136.0ms (0.3% of total)
ival-tan: 117.0ms (0.2% of total)
ival-atan: 79.0ms (0.2% of total)
ival-if: 9.0ms (0% of total)
ival-fabs: 5.0ms (0% of total)
Bogosity

simplify1.1min (17.7%)

Algorithm
186×egg-herbie
Rules
46086×fma-define
40665×fma-neg
38608×distribute-lft-in
37500×times-frac
35103×*-commutative
Stop Event
45×saturated
140×node limit
1×unsound
Counts
76124 → 71312

soundness50.9s (13.5%)

Rules
42102×fma-define
35936×log1p-expm1-u
31195×fma-neg
29157×expm1-log1p-u
27136×times-frac
Stop Event
7×saturated
147×node limit
27×fuel
1×unsound
15×done
Compiler

Compiled 27422 to 8398 computations (69.4% saved)

localize46.2s (12.3%)

Algorithm
150×egg-herbie
Rules
59556×fma-define
42846×fma-neg
27678×distribute-lft-in
24595×times-frac
23871×distribute-rgt-in
Stop Event
71×saturated
79×node limit
Results
10.9s31812×0valid
4.0s3425×1valid
2.5s1280×2valid
6.2s1138×5exit
209.0ms477×0invalid
87.0ms211×0unsamplable
256.0ms56×3valid
5.0ms1×4valid
Compiler

Compiled 30124 to 3415 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0s
ival-mult: 2.7s (20.9% of total)
backward-pass: 1.8s (13.8% of total)
ival-pow: 1.8s (13.5% of total)
ival-div: 1.7s (13.4% of total)
ival-add: 1.5s (11.8% of total)
ival-sub: 850.0ms (6.5% of total)
ival-log1p: 681.0ms (5.2% of total)
ival-expm1: 491.0ms (3.8% of total)
ival-fma: 332.0ms (2.6% of total)
ival-sqrt: 209.0ms (1.6% of total)
ival-neg: 175.0ms (1.3% of total)
ival-sin: 145.0ms (1.1% of total)
ival-exp: 139.0ms (1.1% of total)
const: 137.0ms (1.1% of total)
ival-cbrt: 98.0ms (0.8% of total)
ival-hypot: 92.0ms (0.7% of total)
ival-cos: 45.0ms (0.3% of total)
ival-atan: 32.0ms (0.2% of total)
ival-tan: 15.0ms (0.1% of total)
ival-log: 10.0ms (0.1% of total)
ival-pi: 5.0ms (0% of total)
ival-fabs: 4.0ms (0% of total)

rewrite36.0s (9.6%)

Algorithm
144×batch-egg-rewrite
Rules
81438×log1p-expm1-u
63189×expm1-log1p-u
32184×pow1
28831×add-exp-log
27452×add-log-exp
Stop Event
144×node limit
Counts
1527 → 49831

prune25.0s (6.6%)

Counts
104760 → 2139
Compiler

Compiled 77824 to 40693 computations (47.7% saved)

eval21.7s (5.8%)

Compiler

Compiled 2816085 to 389637 computations (86.2% saved)

preprocess10.0s (2.7%)

Algorithm
42×egg-herbie
Rules
18568×fma-define
18480×fma-neg
9939×unsub-neg
9280×sub-neg
7631×distribute-rgt-in
Stop Event
20×saturated
22×node limit
Compiler

Compiled 21386 to 7402 computations (65.4% saved)

bsearch9.2s (2.5%)

Algorithm
279×binary-search
16×left-value
Stop Event
19×predicate-same
260×narrow-enough
Results
4.6s28477×0valid
1.5s5230×1valid
135.0ms1332×0invalid
220.0ms453×2valid
Compiler

Compiled 78856 to 49610 computations (37.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.8s
ival-mult: 1.6s (32.5% of total)
ival-add: 836.0ms (17.3% of total)
ival-pow: 710.0ms (14.7% of total)
ival-div: 582.0ms (12.1% of total)
ival-sub: 475.0ms (9.8% of total)
ival-exp: 333.0ms (6.9% of total)
ival-neg: 110.0ms (2.3% of total)
backward-pass: 103.0ms (2.1% of total)
const: 70.0ms (1.4% of total)
ival-sqrt: 40.0ms (0.8% of total)
ival-pi: 0.0ms (0% of total)

explain8.6s (2.3%)

Results
2.5s16248×0valid
2.0s3940×1valid
1.0s1310×2valid
8.0ms6×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.0s
ival-mult: 631.0ms (21.3% of total)
ival-pow: 403.0ms (13.6% of total)
ival-sub: 372.0ms (12.5% of total)
backward-pass: 346.0ms (11.7% of total)
ival-add: 333.0ms (11.2% of total)
ival-div: 329.0ms (11.1% of total)
ival-sin: 233.0ms (7.8% of total)
ival-log: 110.0ms (3.7% of total)
const: 47.0ms (1.6% of total)
ival-exp: 43.0ms (1.4% of total)
ival-cos: 37.0ms (1.2% of total)
ival-neg: 27.0ms (0.9% of total)
ival-sqrt: 25.0ms (0.8% of total)
ival-fma: 18.0ms (0.6% of total)
ival-tan: 7.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)
ival-pi: 3.0ms (0.1% of total)

series7.7s (2%)

Counts
1527 → 26293
Calls

7101 calls:

TimeVariablePointExpression
276.0ms
x
@inf
(* 1/3 x)
229.0ms
c
@-inf
(- (sqrt (+ (* a (* c -4)) (pow b 2))) b)
177.0ms
i
@0
(- (pow (/ i n) n) 1)
174.0ms
x
@0
(* x (+ 1 (* 1/2 x)))
153.0ms
a
@inf
(* a d)

regimes6.2s (1.6%)

Counts
4747 → 582
Calls

96 calls:

620.0ms
x
395.0ms
b
388.0ms
x1
327.0ms
t
309.0ms
c
Compiler

Compiled 4138 to 2577 computations (37.7% saved)

analyze5.0s (1.3%)

Algorithm
43×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%54.5%45.5%0%0%0%0
21.4%11.7%42.9%45.5%0%0%0%1
35.2%19.2%35.3%45.5%0%0%0%2
47.6%25.7%28.3%45.5%0%0.6%0%3
57.1%30.5%22.8%45.5%0%1.2%0%4
70.9%37.5%15.4%45.6%0%1.5%0%5
72.8%38.4%14.4%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2%0%7
81.4%42.5%9.7%45.7%0%2.1%0%8
84.1%43.8%8.3%45.7%0%2.2%0%9
86.2%44.6%7.2%45.7%0%2.5%0%10
88.2%45.6%6.1%45.7%0%2.5%0.1%11
89.1%45.9%5.6%45.7%0%2.6%0.1%12
Compiler

Compiled 1441 to 688 computations (52.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.3s
ival-mult: 1.2s (35.5% of total)
ival-div: 477.0ms (14.3% of total)
ival-pow: 372.0ms (11.2% of total)
ival-add: 366.0ms (11% of total)
ival-sub: 262.0ms (7.9% of total)
ival-fabs: 157.0ms (4.7% of total)
ival-sqrt: 109.0ms (3.3% of total)
ival-exp: 90.0ms (2.7% of total)
ival-<=: 84.0ms (2.5% of total)
ival-if: 57.0ms (1.7% of total)
ival-==: 49.0ms (1.5% of total)
const: 41.0ms (1.2% of total)
ival-neg: 31.0ms (0.9% of total)
ival-<: 26.0ms (0.8% of total)
ival-and: 16.0ms (0.5% of total)
backward-pass: 8.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% of total)
ival-atan: 1.0ms (0% of total)
ival-cos: 1.0ms (0% of total)
ival-log: 1.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-fma: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...