Herbie run

Date:Friday, March 15th, 2024
Commit:099d23a3 on artem-minus-and-trig-tuning
Hostname:nightly with Racket 8.11.1
Seed:2024075
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.6min)

sample2.9min (27.3%)

Results
1.2min368245×0valid
13.4s72429×0infinite
8.5s19486×1valid
53.2s9392×5exit
1.9s5596×0unsamplable
3.7s5527×2valid
3.6s4962×1infinite
66.0ms526×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.7min
Operation ival-sin, time spent: 26.5s, 26.0% of total-time
Operation ival-mult, time spent: 20.1s, 20.0% of total-time
Operation ival-add, time spent: 10.8s, 10.0% of total-time
Operation backward-pass, time spent: 10.7s, 10.0% of total-time
Operation ival-sub, time spent: 7.9s, 8.0% of total-time
Operation ival-div, time spent: 7.0s, 7.0% of total-time
Operation ival-exp, time spent: 3.7s, 4.0% of total-time
Operation ival-log, time spent: 2.4s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.3s, 2.0% of total-time
Operation ival-pow, time spent: 2.1s, 2.0% of total-time
Operation const, time spent: 1.8s, 2.0% of total-time
Operation ival-cos, time spent: 1.3s, 1.0% of total-time
Operation ival-asin, time spent: 1.3s, 1.0% of total-time
Operation ival-atan2, time spent: 1.2s, 1.0% of total-time
Operation ival->, time spent: 984.0ms, 1.0% of total-time
Operation ival-pi, time spent: 658.0ms, 1.0% of total-time
Operation ival-neg, time spent: 556.0ms, 1.0% of total-time
Operation ival-<=, time spent: 512.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 317.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 265.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 231.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 207.0ms, 0.0% of total-time
Operation ival->=, time spent: 198.0ms, 0.0% of total-time
Operation ival-and, time spent: 93.0ms, 0.0% of total-time
Bogosity

localize2.7min (25.6%)

Compiler

Compiled 52155 to 29996 computations (42.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-mult, time spent: 20.6s, 18.0% of total-time
Operation ival-add, time spent: 16.2s, 14.0% of total-time
Operation ival-pow, time spent: 14.0s, 12.0% of total-time
Operation ival-div, time spent: 14.0s, 12.0% of total-time
Operation composed, time spent: 10.8s, 9.0% of total-time
Operation ival-sub, time spent: 10.0s, 9.0% of total-time
Operation ival-log, time spent: 8.5s, 7.0% of total-time
Operation ival-asin, time spent: 7.6s, 7.0% of total-time
Operation const, time spent: 2.9s, 2.0% of total-time
Operation ival-exp, time spent: 2.8s, 2.0% of total-time
Operation ival-cos, time spent: 2.8s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.7s, 2.0% of total-time
Operation ival-acos, time spent: 2.2s, 2.0% of total-time
Operation ival-sin, time spent: 580.0ms, 0.0% of total-time
Operation ival-neg, time spent: 282.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 221.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 157.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 153.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 145.0ms, 0.0% of total-time
Operation ival-pi, time spent: 66.0ms, 0.0% of total-time

eval1.1min (10.2%)

Compiler

Compiled 2850210 to 1865581 computations (34.5% saved)

simplify48.9s (7.7%)

Algorithm
220×egg-herbie
Rules
60179×fma-define
49578×fma-neg
44494×distribute-lft-in
43754×times-frac
42356×*-commutative
Stop Event
57×saturated
159×node limit
35×fuel
4×unsound
22×done
Counts
62085 → 59112
Compiler

Compiled 10221 to 6747 computations (34% saved)

soundness42.3s (6.6%)

Rules
53594×fma-define
47525×log1p-expm1-u
42205×fma-neg
39057×expm1-log1p-u
34515×distribute-lft-in
Stop Event
18×saturated
173×node limit
8×unsound
Compiler

Compiled 45970 to 29130 computations (36.6% saved)

preprocess38.6s (6.1%)

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 45851 to 25500 computations (44.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.8s
Operation ival-mult, time spent: 2.4s, 20.0% of total-time
Operation ival-sub, time spent: 2.4s, 20.0% of total-time
Operation ival-add, time spent: 2.2s, 19.0% of total-time
Operation ival-div, time spent: 2.0s, 17.0% of total-time
Operation ival-log, time spent: 558.0ms, 5.0% of total-time
Operation const, time spent: 395.0ms, 3.0% of total-time
Operation ival-asin, time spent: 381.0ms, 3.0% of total-time
Operation ival-pow, time spent: 376.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 291.0ms, 2.0% of total-time
Operation ival-exp, time spent: 240.0ms, 2.0% of total-time
Operation composed, time spent: 213.0ms, 2.0% of total-time
Operation ival-cos, time spent: 118.0ms, 1.0% of total-time
Operation ival-sin, time spent: 118.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 74.0ms, 1.0% of total-time
Operation ival-neg, time spent: 40.0ms, 0.0% of total-time
Operation ival-pi, time spent: 31.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 25.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 15.0ms, 0.0% of total-time

rewrite34.2s (5.4%)

Algorithm
163×batch-egg-rewrite
Rules
105928×log1p-expm1-u
86133×expm1-log1p-u
35548×pow1
34624×add-exp-log
33438×prod-diff
Stop Event
155×node limit
8×unsound
Counts
1228 → 38045

prune22.8s (3.6%)

Counts
84625 → 2770
Compiler

Compiled 134458 to 95596 computations (28.9% saved)

regimes21.5s (3.4%)

Counts
6125 → 692
Calls

132 calls:

2.5s
y.re
1.7s
im
1.7s
y.im
1.7s
x.re
1.5s
x.im
Compiler

Compiled 6297 to 4273 computations (32.1% saved)

series12.3s (1.9%)

Counts
1228 → 24040
Calls

6225 calls:

TimeVariablePointExpression
355.0ms
beta
@inf
(/ (* (- beta alpha) (/ (+ alpha beta) (+ (* 2 i) (+ alpha beta)))) (+ alpha (+ beta (+ (* 2 i) 2))))
347.0ms
re
@0
(cbrt (/ im (sqrt re)))
186.0ms
u2
@inf
(+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2)
186.0ms
re
@inf
(/ 1 (log (pow base (/ 1 (atan2 im re)))))
141.0ms
u1
@0
(pow (* (log u1) -1/18) 1/4)

bsearch10.4s (1.6%)

Algorithm
298×binary-search
39×left-value
Stop Event
9×predicate-same
289×narrow-enough
Results
5.1s25487×0valid
1.0s6173×0infinite
596.0ms1799×1valid
856.0ms1442×1infinite
283.0ms491×2valid
1.1s335×5exit
Compiler

Compiled 64458 to 45464 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.3s
Operation ival-mult, time spent: 1.5s, 29.0% of total-time
Operation ival-sin, time spent: 957.0ms, 18.0% of total-time
Operation ival-add, time spent: 696.0ms, 13.0% of total-time
Operation ival-sub, time spent: 391.0ms, 7.0% of total-time
Operation ival-div, time spent: 389.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 307.0ms, 6.0% of total-time
Operation backward-pass, time spent: 252.0ms, 5.0% of total-time
Operation ival-exp, time spent: 194.0ms, 4.0% of total-time
Operation ival-log, time spent: 176.0ms, 3.0% of total-time
Operation ival-atan2, time spent: 124.0ms, 2.0% of total-time
Operation ival-cos, time spent: 107.0ms, 2.0% of total-time
Operation const, time spent: 85.0ms, 2.0% of total-time
Operation ival-asin, time spent: 22.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 22.0ms, 0.0% of total-time
Operation ival-neg, time spent: 17.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time
Operation ival-pi, time spent: 4.0ms, 0.0% of total-time
Operation ival-pow, time spent: 4.0ms, 0.0% of total-time

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.6s
Operation ival-mult, time spent: 928.0ms, 36.0% of total-time
Operation ival-add, time spent: 454.0ms, 18.0% of total-time
Operation ival-sub, time spent: 345.0ms, 13.0% of total-time
Operation ival-log, time spent: 214.0ms, 8.0% of total-time
Operation ival-sqrt, time spent: 133.0ms, 5.0% of total-time
Operation ival-div, time spent: 128.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 92.0ms, 4.0% of total-time
Operation ival-pow, time spent: 77.0ms, 3.0% of total-time
Operation ival-exp, time spent: 61.0ms, 2.0% of total-time
Operation const, time spent: 48.0ms, 2.0% of total-time
Operation ival-sin, time spent: 30.0ms, 1.0% of total-time
Operation ival-cos, time spent: 15.0ms, 1.0% of total-time
Operation ival->, time spent: 12.0ms, 0.0% of total-time
Operation ival-<=, time spent: 12.0ms, 0.0% of total-time
Operation ival-pi, time spent: 11.0ms, 0.0% of total-time
Operation ival-neg, time spent: 7.0ms, 0.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

end15.0ms (0%)

Profiling

Loading profile data...