Herbie run

Date:Wednesday, March 20th, 2024
Commit:1eca1223 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024080
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: 10.7min)

sample2.9min (27.6%)

Results
1.2min368606×0valid
14.3s71267×0infinite
8.7s20127×1valid
54.4s8996×5exit
3.8s5719×2valid
1.2s5622×0unsamplable
3.3s4938×1infinite
243.0ms565×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-sin, time spent: 26.0s, 25.0% of total-time
Operation ival-mult, time spent: 19.1s, 18.0% of total-time
Operation ival-add, time spent: 11.5s, 11.0% of total-time
Operation backward-pass, time spent: 11.5s, 11.0% of total-time
Operation ival-sub, time spent: 8.6s, 8.0% of total-time
Operation ival-div, time spent: 7.9s, 8.0% of total-time
Operation ival-exp, time spent: 2.7s, 3.0% of total-time
Operation ival-log, time spent: 2.2s, 2.0% of total-time
Operation ival-pow, time spent: 2.2s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.0s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-asin, time spent: 1.5s, 1.0% of total-time
Operation ival-cos, time spent: 1.4s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival->, time spent: 868.0ms, 1.0% of total-time
Operation ival-<=, time spent: 843.0ms, 1.0% of total-time
Operation ival-pi, time spent: 726.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 412.0ms, 0.0% of total-time
Operation ival-neg, time spent: 353.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 291.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 236.0ms, 0.0% of total-time
Operation ival->=, time spent: 191.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 165.0ms, 0.0% of total-time
Operation ival-and, time spent: 93.0ms, 0.0% of total-time
Bogosity

localize2.6min (24.2%)

Compiler

Compiled 52058 to 31157 computations (40.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-mult, time spent: 21.4s, 19.0% of total-time
Operation composed, time spent: 13.4s, 12.0% of total-time
Operation ival-pow, time spent: 13.3s, 12.0% of total-time
Operation ival-add, time spent: 12.1s, 11.0% of total-time
Operation ival-div, time spent: 10.9s, 10.0% of total-time
Operation ival-asin, time spent: 9.5s, 8.0% of total-time
Operation ival-sub, time spent: 9.2s, 8.0% of total-time
Operation ival-log, time spent: 8.3s, 7.0% of total-time
Operation ival-sqrt, time spent: 4.0s, 4.0% of total-time
Operation ival-exp, time spent: 2.6s, 2.0% of total-time
Operation const, time spent: 2.5s, 2.0% of total-time
Operation ival-acos, time spent: 1.6s, 1.0% of total-time
Operation ival-cos, time spent: 1.1s, 1.0% of total-time
Operation ival-sin, time spent: 918.0ms, 1.0% of total-time
Operation ival-neg, time spent: 311.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 216.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 196.0ms, 0.0% of total-time
Operation ival-pi, time spent: 188.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 101.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 58.0ms, 0.0% of total-time

eval1.1min (10.7%)

Compiler

Compiled 2922581 to 1925056 computations (34.1% saved)

simplify47.6s (7.4%)

Algorithm
222×egg-herbie
Rules
59988×fma-define
49419×distribute-lft-in
47081×fma-neg
45325×associate-*r*
44736×distribute-rgt-in
Stop Event
57×saturated
160×node limit
37×fuel
5×unsound
20×done
Counts
65405 → 61312
Compiler

Compiled 12255 to 7893 computations (35.6% saved)

soundness44.3s (6.9%)

Rules
59446×fma-define
46022×fma-neg
44124×log1p-expm1-u
40565×associate-*r*
37111×distribute-lft-in
Stop Event
19×saturated
176×node limit
7×unsound
Compiler

Compiled 38281 to 24123 computations (37% saved)

preprocess39.9s (6.2%)

Algorithm
57×egg-herbie
Rules
20546×fma-neg
20224×fma-define
10466×unsub-neg
9196×sub-neg
8861×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 49311 to 27088 computations (45.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.6s
Operation ival-mult, time spent: 2.6s, 23.0% of total-time
Operation ival-add, time spent: 2.0s, 18.0% of total-time
Operation ival-sub, time spent: 2.0s, 17.0% of total-time
Operation ival-div, time spent: 1.8s, 16.0% of total-time
Operation ival-log, time spent: 549.0ms, 5.0% of total-time
Operation ival-pow, time spent: 487.0ms, 4.0% of total-time
Operation const, time spent: 402.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 321.0ms, 3.0% of total-time
Operation ival-asin, time spent: 301.0ms, 3.0% of total-time
Operation ival-exp, time spent: 267.0ms, 2.0% of total-time
Operation composed, time spent: 258.0ms, 2.0% of total-time
Operation ival-sin, time spent: 195.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 158.0ms, 1.0% of total-time
Operation ival-cos, time spent: 94.0ms, 1.0% of total-time
Operation ival-pi, time spent: 56.0ms, 0.0% of total-time
Operation ival-neg, time spent: 43.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 25.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 12.0ms, 0.0% of total-time

rewrite33.4s (5.2%)

Algorithm
165×batch-egg-rewrite
Rules
111299×log1p-expm1-u
85939×expm1-log1p-u
35794×pow1
33226×add-exp-log
31055×add-log-exp
Stop Event
158×node limit
7×unsound
Counts
1310 → 40273

regimes23.3s (3.6%)

Counts
6788 → 819
Calls

132 calls:

3.0s
y.im
3.0s
y.re
1.8s
x
1.7s
im
1.5s
x.im
Compiler

Compiled 6224 to 4213 computations (32.3% saved)

prune23.1s (3.6%)

Counts
89361 → 2805
Compiler

Compiled 134535 to 96411 computations (28.3% saved)

bsearch13.1s (2%)

Algorithm
384×binary-search
48×left-value
Stop Event
13×predicate-same
371×narrow-enough
Results
7.2s35482×0valid
1.2s5406×0infinite
1.3s1404×1infinite
382.0ms1246×1valid
486.0ms638×2valid
760.0ms264×5exit
Compiler

Compiled 87220 to 60585 computations (30.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 6.1s
Operation ival-mult, time spent: 2.4s, 39.0% of total-time
Operation ival-sin, time spent: 735.0ms, 12.0% of total-time
Operation ival-add, time spent: 621.0ms, 10.0% of total-time
Operation ival-div, time spent: 417.0ms, 7.0% of total-time
Operation ival-sub, time spent: 392.0ms, 6.0% of total-time
Operation backward-pass, time spent: 290.0ms, 5.0% of total-time
Operation ival-log, time spent: 248.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 215.0ms, 4.0% of total-time
Operation ival-exp, time spent: 202.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 160.0ms, 3.0% of total-time
Operation ival-cos, time spent: 156.0ms, 3.0% of total-time
Operation const, time spent: 89.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 86.0ms, 1.0% of total-time
Operation ival-asin, time spent: 29.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 21.0ms, 0.0% of total-time
Operation ival-neg, time spent: 15.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

series11.2s (1.7%)

Counts
1310 → 25132
Calls

6558 calls:

TimeVariablePointExpression
362.0ms
beta
@-inf
(+ (/ (* (- beta alpha) (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta)))) (+ alpha (+ beta (+ (* 2 i) 2)))) 1)
249.0ms
y.re
@-inf
(+ x.im (* x.re (/ y.re y.im)))
204.0ms
x
@-inf
(+ (fabs x) (sqrt (+ (* 1 1) (* x x))))
162.0ms
re
@-inf
(log (+ 1 (* (exp re) (cos im))))
122.0ms
y.im
@-inf
(/ (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (pow (exp y.im) (atan2 x.im x.re)))

analyze3.9s (0.6%)

Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.6%48%38.3%13.7%0%0%0%1
64.1%54.2%30.4%13.7%0%1.7%0%2
72%59%23%13.7%0%4.3%0%3
77.8%62.3%17.8%13.7%0%6.2%0%4
83.7%67%13%13.7%0%6.3%0%5
85.9%68.4%11.2%13.7%0%6.6%0%6
88.3%70.3%9.3%13.7%0%6.6%0%7
90%71.6%8%13.7%0%6.8%0%8
91.2%72.5%7%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1558 to 994 computations (36.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1s
Operation ival-mult, time spent: 740.0ms, 35.0% of total-time
Operation ival-add, time spent: 350.0ms, 16.0% of total-time
Operation ival-sub, time spent: 234.0ms, 11.0% of total-time
Operation ival-log, time spent: 171.0ms, 8.0% of total-time
Operation ival-div, time spent: 123.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 120.0ms, 6.0% of total-time
Operation ival-pow, time spent: 73.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 73.0ms, 3.0% of total-time
Operation ival-exp, time spent: 64.0ms, 3.0% of total-time
Operation ival-neg, time spent: 57.0ms, 3.0% of total-time
Operation const, time spent: 46.0ms, 2.0% of total-time
Operation ival-sin, time spent: 29.0ms, 1.0% of total-time
Operation ival-cos, time spent: 16.0ms, 1.0% of total-time
Operation ival-<=, time spent: 14.0ms, 1.0% of total-time
Operation ival-pi, time spent: 11.0ms, 1.0% of total-time
Operation ival->, time spent: 11.0ms, 1.0% of total-time
Operation ival-and, time spent: 2.0ms, 0.0% of total-time
Operation ival-asin, time spent: 1.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 1.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 0.0ms, 0.0% of total-time
Operation ival->=, time spent: 0.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 0.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 0.0ms, 0.0% of total-time

end21.0ms (0%)

Profiling

Loading profile data...