Herbie run

Date:Thursday, May 23rd, 2024
Commit:f940d267 on brett-blog-post
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 (22.8%)

Results
37.3s275332×0valid
22.4s54690×1valid
8.7s16632×2valid
625.0ms202×5exit
615.0ms4168×0invalid
123.0ms951×0unsamplable
38.0ms98×3valid
Precisions
Click to see histograms. Total time spent on operations: 52.2s
ival-mult: 11.5s (22% of total)
ival-pow: 6.6s (12.6% of total)
...c/correct-round.rkt:121:19: 5.1s (9.8% of total)
ival-add: 5.0s (9.7% of total)
ival-div: 4.8s (9.2% of total)
ival-<=: 3.8s (7.2% of total)
ival-sub: 3.4s (6.6% of total)
ival-sin: 3.0s (5.8% of total)
backward-pass: 2.0s (3.9% of total)
ival-sqrt: 1.3s (2.4% of total)
ival-log: 942.0ms (1.8% of total)
ival-exp: 857.0ms (1.6% of total)
const: 714.0ms (1.4% of total)
ival-cos: 671.0ms (1.3% of total)
ival-neg: 626.0ms (1.2% of total)
ival-==: 468.0ms (0.9% of total)
ival-and: 419.0ms (0.8% of total)
ival-atan: 380.0ms (0.7% of total)
ival-fma: 320.0ms (0.6% of total)
ival-<: 108.0ms (0.2% of total)
ival-tan: 72.0ms (0.1% of total)
ival-pi: 39.0ms (0.1% of total)
ival-if: 16.0ms (0% of total)
ival-fabs: 7.0ms (0% of total)
Bogosity

simplify1.4min (21.6%)

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

soundness46.9s (12.1%)

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)

rewrite42.3s (10.9%)

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

localize37.2s (9.6%)

Results
11.7s30757×0valid
5.8s1267×5exit
5.4s4263×1valid
2.4s1217×2valid
1.2s1309×0invalid
176.0ms47×3valid
55.0ms9×4valid
32.0ms43×1invalid
Compiler

Compiled 32213 to 3566 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.3s
ival-mult: 3.7s (22.9% of total)
ival-pow: 2.5s (15.5% of total)
ival-div: 2.2s (13.7% of total)
ival-add: 1.7s (10.2% of total)
backward-pass: 1.5s (9.1% of total)
ival-sub: 1.1s (7% of total)
...c/correct-round.rkt:121:19: 667.0ms (4.1% of total)
ival-log1p: 566.0ms (3.5% of total)
ival-exp: 440.0ms (2.7% of total)
ival-sqrt: 408.0ms (2.5% of total)
ival-fma: 368.0ms (2.3% of total)
ival-expm1: 332.0ms (2% of total)
const: 133.0ms (0.8% of total)
ival-sin: 126.0ms (0.8% of total)
ival-neg: 119.0ms (0.7% of total)
ival-cos: 99.0ms (0.6% of total)
ival-cbrt: 63.0ms (0.4% of total)
ival-atan: 56.0ms (0.3% of total)
ival-hypot: 54.0ms (0.3% of total)
ival-tan: 40.0ms (0.2% of total)
ival-pi: 35.0ms (0.2% of total)
ival-log: 21.0ms (0.1% of total)
ival-e: 2.0ms (0% of total)

prune23.5s (6.1%)

Counts
106665 → 2127
Compiler

Compiled 74631 to 39341 computations (47.3% saved)

eval21.6s (5.6%)

Compiler

Compiled 2941410 to 407443 computations (86.1% saved)

preprocess10.3s (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.6s (2.2%)

Results
2.4s16124×0valid
1.9s3980×1valid
1.2s1384×2valid
23.0ms16×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.2s
ival-mult: 655.0ms (20.8% of total)
ival-sub: 457.0ms (14.5% of total)
ival-add: 445.0ms (14.1% of total)
ival-div: 324.0ms (10.3% of total)
ival-sin: 304.0ms (9.6% of total)
ival-pow: 272.0ms (8.6% of total)
backward-pass: 217.0ms (6.9% of total)
ival-log: 161.0ms (5.1% of total)
...c/correct-round.rkt:121:19: 86.0ms (2.7% of total)
ival-exp: 60.0ms (1.9% of total)
const: 46.0ms (1.5% of total)
ival-cos: 39.0ms (1.2% of total)
ival-neg: 28.0ms (0.9% of total)
ival-sqrt: 25.0ms (0.8% of total)
ival-fma: 19.0ms (0.6% of total)
ival-tan: 6.0ms (0.2% of total)
ival-atan: 5.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch7.6s (2%)

Algorithm
249×binary-search
17×left-value
Stop Event
10×predicate-same
239×narrow-enough
Results
3.7s25631×0valid
1.4s4963×1valid
252.0ms2229×0invalid
129.0ms286×2valid
13.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.2s (29.3% of total)
ival-pow: 656.0ms (16.1% of total)
ival-div: 579.0ms (14.2% of total)
ival-add: 576.0ms (14.1% of total)
const: 343.0ms (8.4% of total)
ival-sub: 325.0ms (8% of total)
ival-sqrt: 172.0ms (4.2% of total)
backward-pass: 98.0ms (2.4% of total)
ival-neg: 72.0ms (1.8% of total)
ival-exp: 59.0ms (1.4% of total)
ival-log: 7.0ms (0.2% of total)
...c/correct-round.rkt:121:19: 4.0ms (0.1% of total)

series6.6s (1.7%)

Counts
1584 → 26947
Calls

7164 calls:

TimeVariablePointExpression
139.0ms
eps
@-inf
(- (pow (+ x eps) 2) (pow x 2))
111.0ms
y
@0
(pow (* (pow y 18) 512) 1/9)
109.0ms
b
@inf
(neg b)
93.0ms
d
@inf
(+ c d)
91.0ms
x1
@0
(* (pow (sqrt (* 2 x1)) 2) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))

regimes5.4s (1.4%)

Counts
4413 → 554
Calls

96 calls:

628.0ms
x
463.0ms
b
323.0ms
a
286.0ms
y
242.0ms
v
Compiler

Compiled 4176 to 2605 computations (37.6% saved)

analyze5.3s (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.4s
ival-mult: 798.0ms (23.8% of total)
ival-<=: 536.0ms (16% of total)
ival-pow: 383.0ms (11.4% of total)
ival-add: 355.0ms (10.6% of total)
ival-div: 336.0ms (10% of total)
ival-sub: 268.0ms (8% of total)
ival-==: 144.0ms (4.3% of total)
ival-exp: 129.0ms (3.8% of total)
ival-sqrt: 109.0ms (3.2% of total)
ival-if: 59.0ms (1.8% of total)
ival-fabs: 54.0ms (1.6% of total)
...c/correct-round.rkt:121:19: 49.0ms (1.5% of total)
const: 45.0ms (1.3% of total)
ival-and: 30.0ms (0.9% of total)
ival-neg: 23.0ms (0.7% of total)
ival-<: 22.0ms (0.7% of total)
backward-pass: 7.0ms (0.2% of total)
ival-pi: 4.0ms (0.1% 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...