Herbie run

Date:Saturday, May 11th, 2024
Commit:66dd3019 on main
Hostname:nightly with Racket 8.11.1
Seed:2024132
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.3min)

sample1.5min (23.1%)

Results
38.1s275614×0valid
21.4s54495×1valid
8.5s16552×2valid
936.0ms4157×0invalid
748.0ms202×5exit
279.0ms91×3valid
205.0ms927×0unsamplable
Precisions
Click to see histograms. Total time spent on operations: 52.7s
ival-mult: 12.4s (23.6% of total)
ival-pow: 7.3s (13.8% of total)
ival-add: 5.8s (11% of total)
ival-sub: 4.5s (8.5% of total)
ival-<=: 4.0s (7.6% of total)
ival-div: 3.9s (7.5% of total)
...c/correct-round.rkt:119:19: 3.7s (7.1% of total)
ival-sin: 2.8s (5.2% of total)
backward-pass: 1.9s (3.7% of total)
ival-log: 958.0ms (1.8% of total)
ival-exp: 931.0ms (1.8% of total)
ival-cos: 783.0ms (1.5% of total)
const: 746.0ms (1.4% of total)
ival-neg: 617.0ms (1.2% of total)
ival-sqrt: 571.0ms (1.1% of total)
ival-and: 430.0ms (0.8% of total)
ival-==: 414.0ms (0.8% of total)
ival-fma: 319.0ms (0.6% of total)
ival-<: 230.0ms (0.4% of total)
ival-tan: 116.0ms (0.2% of total)
ival-atan: 78.0ms (0.1% of total)
ival-fabs: 45.0ms (0.1% of total)
ival-pi: 44.0ms (0.1% of total)
ival-if: 8.0ms (0% of total)
Bogosity

simplify1.2min (18.9%)

Algorithm
334×egg-herbie
Rules
115460×fma-define
95344×fma-neg
72071×distribute-lft-in
61436×distribute-rgt-in
56366×times-frac
Stop Event
110×saturated
224×node limit
Counts
77571 → 76031

soundness42.8s (11.3%)

Rules
39585×fma-define
33145×log1p-expm1-u
33119×fma-neg
29141×expm1-log1p-u
25972×distribute-lft-in
Stop Event
8×saturated
139×node limit
25×fuel
17×done
Compiler

Compiled 31037 to 9149 computations (70.5% saved)

localize41.3s (10.9%)

Results
10.7s29912×0valid
5.5s1121×5exit
4.6s3943×1valid
3.4s1804×2valid
501.0ms98×3valid
372.0ms1195×0invalid
25.0ms71×0unsamplable
Compiler

Compiled 32193 to 3548 computations (89% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.3s
ival-mult: 3.3s (21.3% of total)
ival-pow: 2.1s (13.7% of total)
ival-div: 2.0s (13.2% of total)
backward-pass: 2.0s (12.9% of total)
ival-add: 1.4s (8.9% of total)
...c/correct-round.rkt:119:19: 761.0ms (5% of total)
ival-sub: 645.0ms (4.2% of total)
ival-log1p: 499.0ms (3.3% of total)
ival-expm1: 467.0ms (3% of total)
ival-fma: 429.0ms (2.8% of total)
ival-sin: 408.0ms (2.7% of total)
ival-neg: 273.0ms (1.8% of total)
ival-tan: 213.0ms (1.4% of total)
ival-atan: 179.0ms (1.2% of total)
ival-exp: 154.0ms (1% of total)
ival-hypot: 134.0ms (0.9% of total)
const: 129.0ms (0.8% of total)
ival-sqrt: 117.0ms (0.8% of total)
ival-cos: 97.0ms (0.6% of total)
ival-cbrt: 39.0ms (0.3% of total)
ival-log: 36.0ms (0.2% of total)
ival-pi: 5.0ms (0% of total)
ival-e: 4.0ms (0% of total)
ival-fabs: 2.0ms (0% of total)

rewrite36.3s (9.6%)

Algorithm
143×batch-egg-rewrite
Rules
78664×log1p-expm1-u
65423×expm1-log1p-u
31147×pow1
29625×add-exp-log
28249×add-log-exp
Stop Event
142×node limit
1×unsound
Counts
1582 → 50160

prune26.9s (7.1%)

Counts
112945 → 2167
Compiler

Compiled 75716 to 39767 computations (47.5% saved)

eval23.7s (6.3%)

Compiler

Compiled 3105593 to 431224 computations (86.1% saved)

preprocess9.7s (2.6%)

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 21208 to 8230 computations (61.2% saved)

explain9.2s (2.4%)

Results
3.0s16162×0valid
2.0s3924×1valid
668.0ms1400×2valid
28.0ms18×3valid
Compiler

Compiled 7687 to 1404 computations (81.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-mult: 902.0ms (30.9% of total)
ival-div: 408.0ms (14% of total)
ival-pow: 300.0ms (10.3% of total)
ival-add: 275.0ms (9.4% of total)
backward-pass: 261.0ms (8.9% of total)
ival-sub: 188.0ms (6.4% of total)
...c/correct-round.rkt:119:19: 109.0ms (3.7% of total)
ival-sin: 102.0ms (3.5% of total)
ival-neg: 93.0ms (3.2% of total)
ival-cos: 83.0ms (2.8% of total)
const: 47.0ms (1.6% of total)
ival-log: 45.0ms (1.5% of total)
ival-exp: 44.0ms (1.5% of total)
ival-sqrt: 30.0ms (1% of total)
ival-fma: 17.0ms (0.6% of total)
ival-tan: 8.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-pi: 2.0ms (0.1% of total)

bsearch8.7s (2.3%)

Algorithm
262×binary-search
30×left-value
Stop Event
14×predicate-same
248×narrow-enough
Results
3.8s25676×0valid
1.9s6416×1valid
293.0ms500×2valid
167.0ms2223×0invalid
99.0ms350×0unsamplable
Compiler

Compiled 60019 to 41138 computations (31.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.7s
ival-mult: 1.5s (32.1% of total)
ival-pow: 997.0ms (21.4% of total)
ival-sub: 704.0ms (15.1% of total)
ival-div: 559.0ms (12% of total)
ival-add: 482.0ms (10.3% of total)
backward-pass: 125.0ms (2.7% of total)
ival-exp: 114.0ms (2.4% of total)
ival-neg: 88.0ms (1.9% of total)
const: 65.0ms (1.4% of total)
ival-sqrt: 32.0ms (0.7% of total)
ival-pi: 3.0ms (0.1% of total)
ival-log: 1.0ms (0% of total)

series7.4s (2%)

Counts
1582 → 27411
Calls

7437 calls:

TimeVariablePointExpression
126.0ms
eps
@-inf
(pow (exp (+ 1 eps)) (neg x))
109.0ms
x1
@0
(/ (+ 1 (* -2 (+ 1 (* 3 (- (* 2 x2) 3))))) x1)
103.0ms
x
@0
(log x)
97.0ms
y
@0
(pow (pow y 6) 1/3)
95.0ms
b
@inf
(sqrt (- (pow b 2) (* a (* c 4))))

regimes7.0s (1.9%)

Counts
4970 → 591
Calls

96 calls:

756.0ms
x
687.0ms
b
383.0ms
d
365.0ms
a
355.0ms
c
Compiler

Compiled 4276 to 2700 computations (36.9% saved)

analyze6.0s (1.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
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.5s
ival-mult: 783.0ms (22.5% of total)
ival-pow: 680.0ms (19.5% of total)
ival-div: 554.0ms (15.9% of total)
ival-sub: 322.0ms (9.2% of total)
ival-add: 295.0ms (8.5% of total)
ival-<=: 214.0ms (6.1% of total)
ival-exp: 121.0ms (3.5% of total)
ival-sqrt: 103.0ms (3% of total)
...c/correct-round.rkt:119:19: 89.0ms (2.6% of total)
ival-==: 62.0ms (1.8% of total)
ival-if: 59.0ms (1.7% of total)
ival-fabs: 52.0ms (1.5% of total)
const: 47.0ms (1.3% of total)
ival-<: 32.0ms (0.9% of total)
ival-and: 29.0ms (0.8% of total)
ival-neg: 23.0ms (0.7% of total)
backward-pass: 10.0ms (0.3% of total)
ival-pi: 6.0ms (0.2% of total)
ival-cos: 2.0ms (0.1% 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)
ival-log: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...