Herbie run

Date:Saturday, March 16th, 2024
Commit:1bed614a on main
Hostname:nightly with Racket 8.11.1
Seed:2024076
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)

sample3.3min (30.6%)

Results
1.3min373909×256valid
16.5s71266×256infinite
6.5s10725×1024valid
1.2min7744×8192exit
2.7s7279×512valid
3.9s4380×512infinite
663.0ms4154×256unsamplable
1.5s1909×2048valid
568.0ms1043×4096valid
76.0ms574×256invalid
93.0ms84×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 46.1s, 37.0% of total-time
Operation ival-mult, time spent: 21.0s, 17.0% of total-time
Operation ival-add, time spent: 13.5s, 11.0% of total-time
Operation ival-div, time spent: 9.9s, 8.0% of total-time
Operation ival-sub, time spent: 8.4s, 7.0% of total-time
Operation ival-pow, time spent: 4.8s, 4.0% of total-time
Operation ival-log, time spent: 3.6s, 3.0% of total-time
Operation ival-sqrt, time spent: 3.0s, 2.0% of total-time
Operation ival-exp, time spent: 2.8s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-asin, time spent: 1.8s, 1.0% of total-time
Operation ival-cos, time spent: 1.8s, 1.0% of total-time
Operation ival-atan2, time spent: 1.4s, 1.0% of total-time
Operation ival->, time spent: 788.0ms, 1.0% of total-time
Operation ival-neg, time spent: 683.0ms, 1.0% of total-time
Operation ival-pi, time spent: 594.0ms, 0.0% of total-time
Operation ival-<=, time spent: 571.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 536.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 396.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 370.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 268.0ms, 0.0% of total-time
Operation ival->=, time spent: 194.0ms, 0.0% of total-time
Operation ival-and, time spent: 107.0ms, 0.0% of total-time
Bogosity

localize2.7min (25.1%)

Compiler

Compiled 45268 to 25693 computations (43.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0min
Operation ival-asin, time spent: 22.7s, 19.0% of total-time
Operation ival-mult, time spent: 20.2s, 16.0% of total-time
Operation ival-pow, time spent: 18.7s, 15.0% of total-time
Operation composed, time spent: 13.2s, 11.0% of total-time
Operation ival-add, time spent: 11.0s, 9.0% of total-time
Operation ival-log, time spent: 9.3s, 8.0% of total-time
Operation ival-div, time spent: 8.0s, 7.0% of total-time
Operation ival-sub, time spent: 6.5s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.0s, 2.0% of total-time
Operation const, time spent: 2.6s, 2.0% of total-time
Operation ival-exp, time spent: 2.1s, 2.0% of total-time
Operation ival-sin, time spent: 1.0s, 1.0% of total-time
Operation ival-cos, time spent: 935.0ms, 1.0% of total-time
Operation ival-acos, time spent: 895.0ms, 1.0% of total-time
Operation ival-cbrt, time spent: 813.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 525.0ms, 0.0% of total-time
Operation ival-neg, time spent: 416.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 188.0ms, 0.0% of total-time
Operation ival-pi, time spent: 98.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 84.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval1.1min (10.2%)

Compiler

Compiled 2908265 to 1869331 computations (35.7% saved)

simplify44.4s (6.9%)

Algorithm
210×egg-herbie
Rules
57594×fma-define
45101×distribute-lft-in
42105×associate-*r*
40958×fma-neg
40631×*-commutative
Stop Event
57×saturated
32×fuel
148×node limit
5×unsound
25×done
Counts
61583 → 58067
Compiler

Compiled 9741 to 6097 computations (37.4% saved)

soundness39.0s (6.1%)

Rules
53027×fma-define
41570×fma-neg
39350×log1p-expm1-u
33598×associate-*r*
32309×distribute-lft-in
Stop Event
20×saturated
152×node limit
8×unsound
Compiler

Compiled 30282 to 17997 computations (40.6% saved)

preprocess38.4s (6%)

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 44733 to 23840 computations (46.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0s
Operation ival-mult, time spent: 3.4s, 26.0% of total-time
Operation ival-sub, time spent: 2.4s, 18.0% of total-time
Operation ival-add, time spent: 2.3s, 18.0% of total-time
Operation ival-div, time spent: 1.7s, 13.0% of total-time
Operation ival-log, time spent: 781.0ms, 6.0% of total-time
Operation const, time spent: 492.0ms, 4.0% of total-time
Operation ival-pow, time spent: 417.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 306.0ms, 2.0% of total-time
Operation ival-exp, time spent: 291.0ms, 2.0% of total-time
Operation ival-asin, time spent: 240.0ms, 2.0% of total-time
Operation composed, time spent: 219.0ms, 2.0% of total-time
Operation ival-sin, time spent: 171.0ms, 1.0% of total-time
Operation ival-neg, time spent: 130.0ms, 1.0% of total-time
Operation ival-cos, time spent: 110.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 75.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 31.0ms, 0.0% of total-time
Operation ival-pi, time spent: 28.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time

rewrite32.8s (5.1%)

Algorithm
153×batch-egg-rewrite
Rules
101262×log1p-expm1-u
74064×expm1-log1p-u
32561×pow1
30926×add-exp-log
29004×add-log-exp
Stop Event
145×node limit
8×unsound
Counts
1177 → 37725

prune22.0s (3.4%)

Counts
88248 → 2631
Compiler

Compiled 117950 to 83998 computations (28.8% saved)

bsearch14.1s (2.2%)

Algorithm
296×binary-search
29×left-value
Stop Event
12×predicate-same
284×narrow-enough
Results
6.5s22537×256valid
1.7s7177×256infinite
3.1s3501×512infinite
487.0ms693×512valid
199.0ms342×2048valid
102.0ms256×1024valid
135.0ms117×1024infinite
8.0ms17×4096valid
Compiler

Compiled 70799 to 48724 computations (31.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.9s
Operation ival-mult, time spent: 2.6s, 33.0% of total-time
Operation ival-add, time spent: 924.0ms, 12.0% of total-time
Operation ival-log, time spent: 915.0ms, 12.0% of total-time
Operation ival-sin, time spent: 730.0ms, 9.0% of total-time
Operation ival-sub, time spent: 671.0ms, 8.0% of total-time
Operation ival-cos, time spent: 544.0ms, 7.0% of total-time
Operation ival-atan2, time spent: 380.0ms, 5.0% of total-time
Operation ival-sqrt, time spent: 358.0ms, 5.0% of total-time
Operation ival-exp, time spent: 321.0ms, 4.0% of total-time
Operation ival-div, time spent: 225.0ms, 3.0% of total-time
Operation const, time spent: 90.0ms, 1.0% of total-time
Operation ival-asin, time spent: 54.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 25.0ms, 0.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 16.0ms, 0.0% of total-time
Operation ival-pi, time spent: 3.0ms, 0.0% of total-time
Operation ival-pow, time spent: 3.0ms, 0.0% of total-time

regimes12.0s (1.9%)

Counts
5793 → 664
Calls

124 calls:

2.1s
y.re
1.1s
x.im
914.0ms
im
860.0ms
y.im
704.0ms
x
Compiler

Compiled 5688 to 3806 computations (33.1% saved)

series11.5s (1.8%)

Counts
1177 → 23858
Calls

5994 calls:

TimeVariablePointExpression
235.0ms
d3
@-inf
(+ (* d1 (- d4 d3)) (* d1 (- d2 d1)))
179.0ms
y.im
@-inf
(pow (exp y.im) (atan2 x.im x.re))
161.0ms
x.im
@-inf
(cbrt (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))
154.0ms
x.im
@0
(pow (exp y.im) (atan2 x.im x.re))
127.0ms
u1
@inf
(pow (* -2 (log u1)) 1/4)

analyze4.6s (0.7%)

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 1007 computations (35.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1s
Operation ival-mult, time spent: 990.0ms, 32.0% of total-time
Operation ival-div, time spent: 414.0ms, 13.0% of total-time
Operation ival-add, time spent: 396.0ms, 13.0% of total-time
Operation ival-log, time spent: 309.0ms, 10.0% of total-time
Operation ival-sub, time spent: 287.0ms, 9.0% of total-time
Operation ival-atan2, time spent: 207.0ms, 7.0% of total-time
Operation ival-sqrt, time spent: 184.0ms, 6.0% of total-time
Operation ival-pow, time spent: 76.0ms, 2.0% of total-time
Operation ival-exp, time spent: 68.0ms, 2.0% of total-time
Operation ival-sin, time spent: 68.0ms, 2.0% of total-time
Operation const, time spent: 63.0ms, 2.0% of total-time
Operation ival-cos, time spent: 22.0ms, 1.0% of total-time
Operation ival-pi, time spent: 21.0ms, 1.0% of total-time
Operation ival-<=, time spent: 13.0ms, 0.0% of total-time
Operation ival->, 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...