Herbie run

Date:Friday, April 5th, 2024
Commit:deef6326 on main
Hostname:nightly with Racket 8.11.1
Seed:2024096
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.8min)

sample1.8min (27.1%)

Results
37.4s282949×0valid
20.2s55242×1valid
20.7s23493×5exit
6.1s8561×2valid
349.0ms4145×0invalid
372.0ms953×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 16.8s (23.6% of total)
backward-pass: 9.1s (12.8% of total)
ival-add: 8.8s (12.3% of total)
ival-pow: 7.3s (10.3% of total)
<compiled-spec>: 5.7s (8% of total)
ival-div: 5.6s (7.9% of total)
ival-sub: 5.4s (7.5% of total)
ival-<=: 4.1s (5.7% of total)
ival-sin: 2.1s (3% of total)
const: 1.5s (2.1% of total)
ival-exp: 845.0ms (1.2% of total)
ival-log: 683.0ms (1% of total)
ival-cos: 665.0ms (0.9% of total)
ival-sqrt: 614.0ms (0.9% of total)
ival-neg: 502.0ms (0.7% of total)
ival-and: 463.0ms (0.7% of total)
ival-tan: 345.0ms (0.5% of total)
ival-==: 278.0ms (0.4% of total)
ival-<: 114.0ms (0.2% of total)
ival-atan: 104.0ms (0.1% of total)
ival-pi: 93.0ms (0.1% of total)
ival-fabs: 50.0ms (0.1% of total)
ival-if: 10.0ms (0% of total)
Bogosity

localize1.3min (19.3%)

Results
22.9s28128×256valid
16.6s1774×1024valid
8.1s1282×2048valid
1.5s1230×256invalid
5.8s956×512valid
173.0ms159×256unsamplable
878.0ms140×4096valid
3.5s123×8192exit
Compiler

Compiled 28937 to 17109 computations (40.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 53.6s
ival-mult: 17.5s (32.7% of total)
ival-pow: 8.3s (15.4% of total)
ival-add: 7.3s (13.7% of total)
ival-div: 7.3s (13.7% of total)
<compiled-spec>: 4.5s (8.5% of total)
ival-sub: 4.1s (7.6% of total)
const: 1.2s (2.2% of total)
ival-exp: 1.1s (2.1% of total)
ival-log: 768.0ms (1.4% of total)
ival-sqrt: 474.0ms (0.9% of total)
ival-tan: 274.0ms (0.5% of total)
ival-cbrt: 234.0ms (0.4% of total)
ival-sin: 131.0ms (0.2% of total)
ival-cos: 127.0ms (0.2% of total)
ival-atan: 121.0ms (0.2% of total)
ival-neg: 116.0ms (0.2% of total)
ival-e: 5.0ms (0% of total)
ival-pi: 5.0ms (0% of total)

eval39.1s (9.6%)

Compiler

Compiled 2498387 to 1658761 computations (33.6% saved)

simplify38.9s (9.6%)

Algorithm
166×egg-herbie
Rules
45456×fma-define
40213×distribute-lft-in
35962×distribute-rgt-in
35082×fma-neg
32756×associate-*r*
Stop Event
42×saturated
124×node limit
Counts
54162 → 51346

soundness29.7s (7.3%)

Rules
39208×fma-define
30468×log1p-expm1-u
27957×fma-neg
27730×distribute-lft-in
25464×distribute-rgt-in
Stop Event
6×saturated
129×node limit
23×fuel
19×done
Compiler

Compiled 30262 to 18423 computations (39.1% saved)

rewrite26.5s (6.5%)

Algorithm
124×batch-egg-rewrite
Rules
74472×log1p-expm1-u
58490×expm1-log1p-u
25054×pow1
24256×add-exp-log
23669×add-log-exp
Stop Event
124×node limit
Counts
947 → 34316

prune20.4s (5%)

Counts
75906 → 1905
Compiler

Compiled 78163 to 53289 computations (31.8% saved)

explain18.6s (4.6%)

Results
6.1s18160×256valid
4.1s1558×1024valid
1.3s878×512valid
2.5s860×2048valid
53.0ms48×4096valid
Compiler

Compiled 7687 to 4921 computations (36% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.7s
ival-mult: 3.8s (32.7% of total)
ival-div: 2.2s (19.1% of total)
ival-pow: 1.8s (15.6% of total)
ival-add: 1.4s (12% of total)
ival-sub: 905.0ms (7.8% of total)
ival-tan: 369.0ms (3.2% of total)
ival-sin: 341.0ms (2.9% of total)
const: 256.0ms (2.2% of total)
ival-neg: 155.0ms (1.3% of total)
ival-exp: 117.0ms (1% of total)
ival-cos: 95.0ms (0.8% of total)
ival-sqrt: 69.0ms (0.6% of total)
ival-log: 58.0ms (0.5% of total)
ival-atan: 25.0ms (0.2% of total)
<compiled-spec>: 13.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

bsearch11.1s (2.7%)

Algorithm
270×binary-search
19×left-value
Stop Event
32×predicate-same
238×narrow-enough
Results
6.2s27403×0valid
1.1s3262×1valid
116.0ms1598×0invalid
379.0ms295×2valid
80.0ms47×0unsamplable
Compiler

Compiled 70646 to 50708 computations (28.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.5s
ival-mult: 2.5s (39.2% of total)
ival-div: 1.2s (19.2% of total)
ival-add: 1.1s (17.5% of total)
ival-sub: 584.0ms (9% of total)
ival-pow: 423.0ms (6.5% of total)
backward-pass: 178.0ms (2.7% of total)
const: 147.0ms (2.3% of total)
ival-exp: 110.0ms (1.7% of total)
ival-neg: 94.0ms (1.4% of total)
ival-sqrt: 26.0ms (0.4% of total)
ival-log: 2.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

analyze10.7s (2.6%)

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
48.1%25.7%27.7%45.5%0%1.2%0%3
57.5%30.5%22.6%45.5%0%1.5%0%4
71.1%37.5%15.3%45.6%0%1.7%0%5
72.9%38.4%14.3%45.6%0%1.7%0%6
77.8%40.7%11.6%45.6%0%2.1%0%7
81.5%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 1017 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-add: 1.6s (21.4% of total)
ival-mult: 1.2s (16.4% of total)
ival-div: 963.0ms (13.2% of total)
ival-sqrt: 951.0ms (13% of total)
ival-pow: 943.0ms (12.9% of total)
ival-sub: 795.0ms (10.9% of total)
ival-fabs: 367.0ms (5% of total)
const: 147.0ms (2% of total)
ival-exp: 102.0ms (1.4% of total)
ival-<=: 96.0ms (1.3% of total)
ival-if: 57.0ms (0.8% of total)
ival-==: 52.0ms (0.7% of total)
ival-neg: 27.0ms (0.4% of total)
ival-<: 21.0ms (0.3% of total)
ival-and: 15.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)
<compiled-spec>: 0.0ms (0% of total)
ival-tan: 0.0ms (0% of total)
ival-sin: 0.0ms (0% of total)

preprocess10.1s (2.5%)

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 22432 to 14064 computations (37.3% saved)

regimes8.1s (2%)

Counts
3924 → 550
Calls

94 calls:

666.0ms
x
632.0ms
b
575.0ms
a
529.0ms
x1
497.0ms
c
Compiler

Compiled 3840 to 2722 computations (29.1% saved)

series4.9s (1.2%)

Counts
947 → 19846
Calls

5013 calls:

TimeVariablePointExpression
158.0ms
e
@-inf
(+ d (+ b e))
119.0ms
d
@inf
(/ d (+ (* a (/ c d)) b))
115.0ms
a
@inf
(* (+ a b) (+ a b))
75.0ms
eps
@inf
(+ (* eps eps) (* eps (* x 2)))
74.0ms
t
@-inf
(pow (cbrt (/ 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 t)) 3)

end0.0ms (0%)

Profiling

Loading profile data...