Herbie run

Date:Tuesday, April 9th, 2024
Commit:ec545773 on artem-tuning-cleanup-128start-5ampl
Hostname:nightly with Racket 8.11.1
Seed:2024100
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: 9.7min)

sample2.9min (30.3%)

Results
55.0s440433×0valid
11.1s25220×1valid
1.3min7650×5exit
2.7s4959×2valid
627.0ms4750×0unsamplable
48.0ms499×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.1min
ival-sin: 53.8s (42% of total)
ival-mult: 18.9s (14.7% of total)
backward-pass: 11.6s (9.1% of total)
ival-add: 9.9s (7.7% of total)
ival-sub: 8.0s (6.2% of total)
ival-div: 7.1s (5.6% of total)
ival-exp: 2.9s (2.2% of total)
ival-log: 2.4s (1.9% of total)
ival-sqrt: 2.2s (1.7% of total)
ival-pow: 2.0s (1.5% of total)
const: 1.7s (1.3% of total)
ival-cos: 1.4s (1.1% of total)
ival->: 1.2s (0.9% of total)
ival-asin: 1.2s (0.9% of total)
ival-atan2: 962.0ms (0.8% of total)
ival-<=: 636.0ms (0.5% of total)
ival-pi: 552.0ms (0.4% of total)
ival-neg: 478.0ms (0.4% of total)
ival->=: 306.0ms (0.2% of total)
ival-acosh: 282.0ms (0.2% of total)
ival-asinh: 246.0ms (0.2% of total)
ival-fabs: 227.0ms (0.2% of total)
ival-atanh: 192.0ms (0.1% of total)
ival-and: 88.0ms (0.1% of total)
Bogosity

localize1.9min (19.1%)

Results
36.7s36816×0valid
4.3s4680×0invalid
14.4s2994×1valid
13.4s1180×2valid
16.2s1150×5exit
104.0ms126×0unsamplable
149.0ms80×3valid
191.0ms78×1invalid
Compiler

Compiled 51361 to 28821 computations (43.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 13.0s (18.4% of total)
ival-pow: 9.5s (13.5% of total)
backward-pass: 8.2s (11.6% of total)
ival-add: 6.9s (9.8% of total)
ival-div: 6.7s (9.5% of total)
ival-fma: 6.2s (8.8% of total)
ival-sub: 4.0s (5.7% of total)
ival-log: 2.5s (3.5% of total)
ival-sqrt: 2.4s (3.5% of total)
ival-asin: 2.4s (3.4% of total)
ival-acos: 2.2s (3.1% of total)
const: 1.9s (2.7% of total)
ival-exp: 670.0ms (1% of total)
ival-hypot: 663.0ms (0.9% of total)
ival-sin: 640.0ms (0.9% of total)
ival-cos: 559.0ms (0.8% of total)
ival-cbrt: 470.0ms (0.7% of total)
ival-log1p: 463.0ms (0.7% of total)
ival-atan2: 427.0ms (0.6% of total)
ival-neg: 280.0ms (0.4% of total)
ival-expm1: 165.0ms (0.2% of total)
ival-pi: 100.0ms (0.1% of total)
ival-copysign: 76.0ms (0.1% of total)
ival-fabs: 73.0ms (0.1% of total)

simplify56.7s (9.7%)

Algorithm
225×egg-herbie
Rules
60077×fma-define
49150×fma-neg
48310×*-commutative
47654×times-frac
47203×associate-*r*
Stop Event
57×saturated
160×node limit
8×unsound
Counts
73418 → 67825

eval52.2s (9%)

Compiler

Compiled 3551121 to 2250997 computations (36.6% saved)

soundness47.3s (8.1%)

Rules
56419×fma-define
51062×log1p-expm1-u
46269×fma-neg
41276×associate-*r*
37908×expm1-log1p-u
Stop Event
18×saturated
34×fuel
184×node limit
7×unsound
23×done
Compiler

Compiled 47859 to 28402 computations (40.7% saved)

rewrite37.3s (6.4%)

Algorithm
168×batch-egg-rewrite
Rules
113616×log1p-expm1-u
83572×expm1-log1p-u
35585×pow1
34804×add-exp-log
33306×add-log-exp
Stop Event
161×node limit
7×unsound
Counts
1407 → 44991

prune27.8s (4.8%)

Counts
99272 → 2947
Compiler

Compiled 142346 to 97789 computations (31.3% saved)

explain18.6s (3.2%)

Results
7.7s26106×0valid
4.8s2728×1valid
609.0ms342×2valid
9.0ms8×5exit
Compiler

Compiled 13779 to 6602 computations (52.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.1s
ival-mult: 2.9s (28.5% of total)
ival-add: 1.5s (15.1% of total)
ival-div: 1.5s (14.7% of total)
backward-pass: 1.3s (12.8% of total)
ival-sub: 944.0ms (9.3% of total)
ival-log: 366.0ms (3.6% of total)
const: 342.0ms (3.4% of total)
ival-sqrt: 320.0ms (3.2% of total)
ival-exp: 222.0ms (2.2% of total)
ival-pow: 183.0ms (1.8% of total)
ival-atan2: 113.0ms (1.1% of total)
ival-fabs: 103.0ms (1% of total)
ival-asin: 98.0ms (1% of total)
ival-cos: 81.0ms (0.8% of total)
ival-sin: 78.0ms (0.8% of total)
ival-neg: 30.0ms (0.3% of total)
ival-pi: 19.0ms (0.2% of total)
ival-log1p: 17.0ms (0.2% of total)
ival-copysign: 11.0ms (0.1% of total)

regimes14.7s (2.5%)

Counts
6288 → 754
Calls

129 calls:

1.5s
y.im
1.5s
y.re
1.4s
x.im
1.3s
x.re
961.0ms
x
Compiler

Compiled 5605 to 3815 computations (31.9% saved)

series12.7s (2.2%)

Counts
1407 → 28427
Calls

7215 calls:

TimeVariablePointExpression
258.0ms
wj
@-inf
(pow (- wj (/ (- wj (* x (- 1 wj))) (+ wj 1))) 3)
135.0ms
x.im
@-inf
(/ (- x.im (* x.re (/ y.im y.re))) y.re)
130.0ms
base
@inf
(log (pow base (/ 1 (log (sqrt (+ (* re re) (* im im)))))))
117.0ms
re
@0
(/ 1 (log (pow base (/ 1 (log (sqrt (+ (* re re) (* im im))))))))
116.0ms
re
@inf
(/ (log 1/10) (log (sqrt (+ (* im im) (* re re)))))

bsearch12.3s (2.1%)

Algorithm
356×binary-search
36×left-value
Stop Event
20×predicate-same
336×narrow-enough
Results
5.7s36790×0valid
2.2s4406×1valid
502.0ms484×2valid
Compiler

Compiled 86708 to 59134 computations (31.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
ival-mult: 2.2s (37.2% of total)
ival-add: 839.0ms (14.3% of total)
ival-sqrt: 418.0ms (7.1% of total)
ival-log: 412.0ms (7% of total)
ival-sub: 372.0ms (6.3% of total)
ival-exp: 317.0ms (5.4% of total)
ival-sin: 314.0ms (5.4% of total)
backward-pass: 247.0ms (4.2% of total)
ival-cos: 229.0ms (3.9% of total)
ival-div: 227.0ms (3.9% of total)
ival-atan2: 173.0ms (3% of total)
const: 80.0ms (1.4% of total)
ival-fabs: 23.0ms (0.4% of total)
ival-neg: 17.0ms (0.3% of total)
ival-copysign: 11.0ms (0.2% of total)
ival-pow: 3.0ms (0.1% of total)
ival-pi: 2.0ms (0% of total)

preprocess11.7s (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 30960 to 17140 computations (44.6% saved)

analyze3.5s (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.2s
ival-mult: 593.0ms (27.3% of total)
ival-add: 410.0ms (18.9% of total)
ival-div: 271.0ms (12.5% of total)
ival-sub: 232.0ms (10.7% of total)
ival-log: 158.0ms (7.3% of total)
ival-sqrt: 143.0ms (6.6% of total)
ival-pow: 89.0ms (4.1% of total)
ival-atan2: 76.0ms (3.5% of total)
ival-exp: 57.0ms (2.6% of total)
const: 41.0ms (1.9% of total)
ival-<=: 28.0ms (1.3% of total)
ival-sin: 24.0ms (1.1% of total)
ival-cos: 15.0ms (0.7% of total)
ival->: 10.0ms (0.5% of total)
ival-pi: 8.0ms (0.4% of total)
ival-neg: 8.0ms (0.4% of total)
backward-pass: 4.0ms (0.2% of total)
ival-and: 1.0ms (0% of total)
ival-asin: 1.0ms (0% of total)
ival-atanh: 1.0ms (0% of total)
ival-asinh: 0.0ms (0% of total)
ival->=: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-acosh: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...