Herbie run

Date:Thursday, May 23rd, 2024
Commit:7841f259 on main
Hostname:nightly with Racket 8.11.1
Seed:2024144
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: 6.5min)

sample1.5min (23%)

Results
39.8s275332×0valid
21.4s54690×1valid
9.2s16632×2valid
771.0ms4168×0invalid
366.0ms202×5exit
188.0ms951×0unsamplable
98.0ms98×3valid
Precisions
Click to see histograms. Total time spent on operations: 54.3s
ival-mult: 13.1s (24.1% of total)
ival-pow: 5.9s (10.9% of total)
ival-add: 5.7s (10.5% of total)
ival-div: 5.2s (9.6% of total)
ival-sub: 4.5s (8.3% of total)
ival-<=: 4.4s (8.2% of total)
...c/correct-round.rkt:121:19: 3.7s (6.8% of total)
ival-sin: 3.2s (6% of total)
backward-pass: 1.9s (3.4% of total)
ival-exp: 1.1s (2% of total)
ival-log: 941.0ms (1.7% of total)
ival-cos: 830.0ms (1.5% of total)
ival-sqrt: 744.0ms (1.4% of total)
const: 705.0ms (1.3% of total)
ival-neg: 513.0ms (0.9% of total)
ival-pi: 484.0ms (0.9% of total)
ival-and: 449.0ms (0.8% of total)
ival-==: 303.0ms (0.6% of total)
ival-fma: 245.0ms (0.5% of total)
ival-<: 119.0ms (0.2% of total)
ival-atan: 78.0ms (0.1% of total)
ival-tan: 74.0ms (0.1% of total)
ival-if: 9.0ms (0% of total)
ival-fabs: 6.0ms (0% of total)
Bogosity

simplify1.4min (21.3%)

Algorithm
340×egg-herbie
Rules
111478×fma-define
93894×fma-neg
66260×distribute-lft-in
57997×distribute-rgt-in
52926×associate-*r*
Stop Event
121×saturated
217×node limit
2×unsound
Counts
76410 → 72225

soundness45.6s (11.7%)

Rules
41268×log1p-expm1-u
41066×fma-define
33686×fma-neg
33311×expm1-log1p-u
23452×distribute-lft-in
Stop Event
8×saturated
145×node limit
28×fuel
2×unsound
14×done
Compiler

Compiled 26954 to 8245 computations (69.4% saved)

rewrite43.5s (11.2%)

Algorithm
146×batch-egg-rewrite
Rules
86956×log1p-expm1-u
69024×expm1-log1p-u
31320×pow1
30212×add-exp-log
28967×add-log-exp
Stop Event
145×node limit
1×unsound
Counts
1584 → 49463

localize35.3s (9.1%)

Results
10.9s30757×0valid
6.3s1267×5exit
5.6s4263×1valid
1.9s1217×2valid
1.0s1309×0invalid
257.0ms47×3valid
54.0ms9×4valid
35.0ms43×1invalid
Compiler

Compiled 32213 to 3566 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.3s
ival-mult: 3.4s (22.3% of total)
ival-pow: 2.2s (14.3% of total)
ival-div: 2.0s (13.1% of total)
backward-pass: 1.8s (12% of total)
ival-add: 1.6s (10.2% of total)
ival-sub: 1.0s (6.6% of total)
...c/correct-round.rkt:121:19: 830.0ms (5.4% of total)
ival-log1p: 479.0ms (3.1% of total)
ival-exp: 443.0ms (2.9% of total)
ival-expm1: 358.0ms (2.3% of total)
ival-fma: 308.0ms (2% of total)
ival-cbrt: 157.0ms (1% of total)
ival-sqrt: 133.0ms (0.9% of total)
const: 129.0ms (0.8% of total)
ival-neg: 112.0ms (0.7% of total)
ival-cos: 96.0ms (0.6% of total)
ival-sin: 77.0ms (0.5% of total)
ival-hypot: 60.0ms (0.4% of total)
ival-tan: 40.0ms (0.3% of total)
ival-atan: 31.0ms (0.2% of total)
ival-log: 20.0ms (0.1% of total)
ival-pi: 8.0ms (0.1% of total)
ival-e: 2.0ms (0% of total)

prune24.3s (6.2%)

Counts
106665 → 2127
Compiler

Compiled 74631 to 39341 computations (47.3% saved)

eval23.2s (6%)

Compiler

Compiled 2941410 to 407443 computations (86.1% saved)

preprocess10.6s (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 18750 to 7110 computations (62.1% saved)

explain8.8s (2.2%)

Results
2.6s16124×0valid
1.6s3980×1valid
1.1s1384×2valid
19.0ms16×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-mult: 657.0ms (22.6% of total)
ival-div: 450.0ms (15.5% of total)
ival-sub: 346.0ms (11.9% of total)
backward-pass: 314.0ms (10.8% of total)
ival-pow: 292.0ms (10.1% of total)
ival-add: 245.0ms (8.4% of total)
ival-cos: 112.0ms (3.9% of total)
ival-log: 112.0ms (3.9% of total)
ival-sin: 102.0ms (3.5% of total)
ival-sqrt: 70.0ms (2.4% of total)
ival-exp: 49.0ms (1.7% of total)
...c/correct-round.rkt:121:19: 48.0ms (1.7% of total)
const: 45.0ms (1.5% of total)
ival-neg: 32.0ms (1.1% of total)
ival-fma: 19.0ms (0.7% of total)
ival-atan: 5.0ms (0.2% of total)
ival-tan: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch7.8s (2%)

Algorithm
249×binary-search
17×left-value
Stop Event
10×predicate-same
239×narrow-enough
Results
3.7s25631×0valid
1.4s4963×1valid
196.0ms286×2valid
181.0ms2229×0invalid
10.0ms86×0unsamplable
Compiler

Compiled 56911 to 38087 computations (33.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.1s
ival-mult: 1.3s (32.3% of total)
ival-pow: 692.0ms (17% of total)
ival-add: 570.0ms (14% of total)
ival-div: 506.0ms (12.4% of total)
ival-sub: 425.0ms (10.4% of total)
ival-exp: 132.0ms (3.2% of total)
backward-pass: 123.0ms (3% of total)
ival-log: 123.0ms (3% of total)
ival-neg: 90.0ms (2.2% of total)
const: 57.0ms (1.4% of total)
ival-sqrt: 38.0ms (0.9% of total)
...c/correct-round.rkt:121:19: 6.0ms (0.1% of total)

series6.9s (1.8%)

Counts
1584 → 26947
Calls

7164 calls:

TimeVariablePointExpression
128.0ms
c
@-inf
(/ (+ (/ (neg (pow b 2)) b) (sqrt (- (* b b) (* (* 4 a) c)))) (* a 2))
128.0ms
x
@-inf
(/ 1 (sqrt (+ 1 (* 2 x))))
118.0ms
x
@-inf
(* (pow eps 4) (+ eps (* 5 x)))
116.0ms
x2
@-inf
(* x1 x2)
99.0ms
b
@0
(pow (+ (* a (* c -4)) (pow b 2)) 3/2)

regimes5.7s (1.5%)

Counts
4413 → 554
Calls

96 calls:

597.0ms
x
499.0ms
b
365.0ms
a
320.0ms
t
223.0ms
c
Compiler

Compiled 4176 to 2605 computations (37.6% saved)

analyze5.6s (1.4%)

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: 790.0ms (23.7% of total)
ival-add: 433.0ms (13% of total)
ival-<=: 429.0ms (12.9% of total)
ival-pow: 401.0ms (12.1% of total)
ival-div: 363.0ms (10.9% of total)
ival-sub: 283.0ms (8.5% of total)
ival-sqrt: 144.0ms (4.3% of total)
ival-exp: 91.0ms (2.7% of total)
ival-if: 88.0ms (2.6% of total)
ival-fabs: 62.0ms (1.9% of total)
ival-==: 58.0ms (1.7% of total)
...c/correct-round.rkt:121:19: 47.0ms (1.4% of total)
const: 45.0ms (1.4% of total)
ival-and: 29.0ms (0.9% of total)
ival-neg: 24.0ms (0.7% of total)
ival-<: 23.0ms (0.7% of total)
backward-pass: 7.0ms (0.2% of total)
ival-pi: 6.0ms (0.2% of total)
ival-cos: 2.0ms (0.1% of total)
ival-log: 1.0ms (0% of total)
ival-atan: 0.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...