Herbie run

Date:Wednesday, February 28th, 2024
Commit:699b9765 on main
Hostname:nightly with Racket 8.11.1
Seed:2024059
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)

sample3.3min (33.7%)

Results
1.3min372073×256valid
15.7s73388×256infinite
6.3s10495×1024valid
1.2min7602×8192exit
2.7s7184×512valid
776.0ms4608×256unsamplable
3.7s4512×512infinite
1.0s1833×2048valid
720.0ms1042×4096valid
62.0ms479×256invalid
258.0ms84×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 48.4s, 38.0% of total-time
Operation ival-mult, time spent: 21.1s, 17.0% of total-time
Operation ival-add, time spent: 12.0s, 10.0% of total-time
Operation ival-sub, time spent: 9.3s, 7.0% of total-time
Operation ival-div, time spent: 9.3s, 7.0% of total-time
Operation ival-pow, time spent: 5.3s, 4.0% of total-time
Operation ival-log, time spent: 3.1s, 2.0% of total-time
Operation ival-exp, time spent: 2.9s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.6s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-cos, time spent: 1.8s, 1.0% of total-time
Operation ival-atan2, time spent: 1.6s, 1.0% of total-time
Operation ival-asin, time spent: 1.3s, 1.0% of total-time
Operation ival->, time spent: 1.0s, 1.0% of total-time
Operation ival-pi, time spent: 941.0ms, 1.0% of total-time
Operation ival-<=, time spent: 725.0ms, 1.0% of total-time
Operation ival-atanh, time spent: 614.0ms, 0.0% of total-time
Operation ival-asinh, time spent: 573.0ms, 0.0% of total-time
Operation ival-neg, time spent: 435.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 404.0ms, 0.0% of total-time
Operation ival->=, time spent: 156.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 132.0ms, 0.0% of total-time
Operation ival-and, time spent: 107.0ms, 0.0% of total-time
Bogosity

localize1.8min (18.5%)

Compiler

Compiled 42227 to 22897 computations (45.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2min
Operation ival-mult, time spent: 16.1s, 22.0% of total-time
Operation ival-add, time spent: 10.0s, 13.0% of total-time
Operation composed, time spent: 9.4s, 13.0% of total-time
Operation ival-pow, time spent: 9.0s, 12.0% of total-time
Operation ival-div, time spent: 7.0s, 9.0% of total-time
Operation ival-asin, time spent: 4.4s, 6.0% of total-time
Operation ival-log, time spent: 4.2s, 6.0% of total-time
Operation ival-sub, time spent: 3.9s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.1s, 4.0% of total-time
Operation const, time spent: 2.0s, 3.0% of total-time
Operation ival-exp, time spent: 1.3s, 2.0% of total-time
Operation ival-acos, time spent: 1.3s, 2.0% of total-time
Operation ival-cos, time spent: 709.0ms, 1.0% of total-time
Operation ival-sin, time spent: 611.0ms, 1.0% of total-time
Operation ival-neg, time spent: 350.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 338.0ms, 0.0% of total-time
Operation ival-cbrt, time spent: 278.0ms, 0.0% of total-time
Operation ival-pi, time spent: 132.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 104.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 42.0ms, 0.0% of total-time
Operation ival-e, time spent: 10.0ms, 0.0% of total-time

eval56.6s (9.7%)

Compiler

Compiled 2461723 to 1553205 computations (36.9% saved)

simplify44.8s (7.7%)

Algorithm
215×egg-herbie
Rules
107631×fma-define
91388×fma-neg
86973×associate-*r*
81519×distribute-lft-in
77814×*-commutative
Stop Event
57×saturated
152×node limit
34×fuel
6×unsound
23×done
Counts
61821 → 56414
Compiler

Compiled 8090 to 5190 computations (35.8% saved)

soundness39.7s (6.8%)

Rules
99395×fma-define
83132×fma-neg
71845×associate-*r*
59682×distribute-lft-in
56837×associate-*l*
Stop Event
20×saturated
159×node limit
8×unsound
Compiler

Compiled 29033 to 16954 computations (41.6% saved)

preprocess37.9s (6.5%)

Algorithm
57×egg-herbie
Rules
40033×fma-neg
38663×fma-define
19396×unsub-neg
17401×distribute-lft-in
16736×sub-neg
Stop Event
32×saturated
25×node limit
Compiler

Compiled 40359 to 21970 computations (45.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0s
Operation ival-mult, time spent: 3.1s, 28.0% of total-time
Operation ival-add, time spent: 1.9s, 17.0% of total-time
Operation ival-div, time spent: 1.8s, 17.0% of total-time
Operation ival-sub, time spent: 1.4s, 13.0% of total-time
Operation ival-log, time spent: 650.0ms, 6.0% of total-time
Operation const, time spent: 482.0ms, 4.0% of total-time
Operation ival-pow, time spent: 328.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 285.0ms, 3.0% of total-time
Operation ival-exp, time spent: 260.0ms, 2.0% of total-time
Operation composed, time spent: 239.0ms, 2.0% of total-time
Operation ival-asin, time spent: 219.0ms, 2.0% of total-time
Operation ival-sin, time spent: 131.0ms, 1.0% of total-time
Operation ival-cos, time spent: 103.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 74.0ms, 1.0% of total-time
Operation ival-neg, time spent: 43.0ms, 0.0% of total-time
Operation ival-pi, time spent: 29.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 13.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 8.0ms, 0.0% of total-time

rewrite34.2s (5.9%)

Algorithm
158×batch-egg-rewrite
Rules
112136×log1p-expm1-u
81952×expm1-log1p-u
49125×log-prod
40266×prod-diff
38534×fma-define
Stop Event
149×node limit
9×unsound
Counts
1199 → 38134

prune20.7s (3.5%)

Counts
79566 → 2643
Compiler

Compiled 105369 to 72326 computations (31.4% saved)

regimes19.3s (3.3%)

Counts
4682 → 641
Calls

130 calls:

1.9s
im
1.6s
y.re
1.5s
re
1.5s
y.im
1.3s
x.re
Compiler

Compiled 5455 to 3661 computations (32.9% saved)

series11.7s (2%)

Counts
1199 → 23687
Calls

5967 calls:

TimeVariablePointExpression
268.0ms
alpha
@inf
(+ alpha (+ (* 2 i) beta))
241.0ms
wj
@inf
(/ (- wj (* (- 1 wj) x)) (+ wj 1))
182.0ms
y.im
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)
161.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)))
153.0ms
x.re
@inf
(cos (+ (* (log (neg x.re)) y.im) (* (atan2 x.im x.re) y.re)))

bsearch9.7s (1.7%)

Algorithm
274×binary-search
31×left-value
Stop Event
12×predicate-same
262×narrow-enough
Results
5.4s22816×256valid
1.3s7118×256infinite
1.0s1018×512infinite
128.0ms300×512valid
165.0ms256×1024valid
166.0ms214×2048valid
45.0ms40×1024infinite
15.0ms30×4096valid
Compiler

Compiled 55661 to 39447 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.5s
Operation ival-mult, time spent: 1.5s, 34.0% of total-time
Operation ival-add, time spent: 526.0ms, 12.0% of total-time
Operation ival-log, time spent: 390.0ms, 9.0% of total-time
Operation ival-exp, time spent: 364.0ms, 8.0% of total-time
Operation ival-cos, time spent: 348.0ms, 8.0% of total-time
Operation ival-div, time spent: 276.0ms, 6.0% of total-time
Operation ival-sin, time spent: 247.0ms, 6.0% of total-time
Operation ival-atan2, time spent: 242.0ms, 5.0% of total-time
Operation ival-sub, time spent: 199.0ms, 4.0% of total-time
Operation ival-sqrt, time spent: 171.0ms, 4.0% of total-time
Operation const, time spent: 87.0ms, 2.0% of total-time
Operation ival-asin, time spent: 61.0ms, 1.0% of total-time
Operation ival-neg, time spent: 18.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 7.0ms, 0.0% of total-time
Operation ival-pi, time spent: 5.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 4.0ms, 0.0% of total-time

analyze4.5s (0.8%)

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: 1.0s, 33.0% of total-time
Operation ival-add, time spent: 405.0ms, 13.0% of total-time
Operation ival-sub, time spent: 370.0ms, 12.0% of total-time
Operation ival-log, time spent: 309.0ms, 10.0% of total-time
Operation ival-atan2, time spent: 197.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 196.0ms, 6.0% of total-time
Operation ival-div, time spent: 131.0ms, 4.0% of total-time
Operation ival-pow, time spent: 127.0ms, 4.0% of total-time
Operation ival-exp, time spent: 120.0ms, 4.0% of total-time
Operation const, time spent: 64.0ms, 2.0% of total-time
Operation ival-sin, time spent: 56.0ms, 2.0% of total-time
Operation ival-cos, time spent: 40.0ms, 1.0% of total-time
Operation ival-pi, time spent: 15.0ms, 0.0% of total-time
Operation ival-<=, time spent: 14.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

end14.0ms (0%)

Profiling

Loading profile data...