Herbie run

Date:Monday, March 11th, 2024
Commit:d14d36a1 on main
Hostname:nightly with Racket 8.11.1
Seed:2024071
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: 11.0min)

sample3.5min (32.1%)

Results
1.5min372255×256valid
15.0s73072×256infinite
5.7s10488×1024valid
1.2min7836×8192exit
2.5s7161×512valid
4.4s4506×512infinite
841.0ms4003×256unsamplable
1.1s1937×2048valid
679.0ms1066×4096valid
65.0ms509×256invalid
113.0ms108×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.2min
Operation ival-sin, time spent: 50.5s, 38.0% of total-time
Operation ival-mult, time spent: 21.0s, 16.0% of total-time
Operation ival-div, time spent: 15.6s, 12.0% of total-time
Operation ival-add, time spent: 11.0s, 8.0% of total-time
Operation ival-sub, time spent: 9.5s, 7.0% of total-time
Operation ival-pow, time spent: 5.7s, 4.0% of total-time
Operation ival-log, time spent: 4.0s, 3.0% of total-time
Operation ival-sqrt, time spent: 2.9s, 2.0% of total-time
Operation ival-exp, time spent: 2.4s, 2.0% of total-time
Operation ival-cos, time spent: 2.1s, 2.0% of total-time
Operation const, time spent: 2.1s, 2.0% of total-time
Operation ival-asin, 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: 916.0ms, 1.0% of total-time
Operation ival->, time spent: 858.0ms, 1.0% of total-time
Operation ival-pi, time spent: 746.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 666.0ms, 0.0% of total-time
Operation ival-neg, time spent: 483.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 351.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 340.0ms, 0.0% of total-time
Operation ival->=, time spent: 273.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 263.0ms, 0.0% of total-time
Operation ival-and, time spent: 106.0ms, 0.0% of total-time
Bogosity

localize2.2min (20.1%)

Compiler

Compiled 48515 to 28373 computations (41.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.5min
Operation ival-mult, time spent: 18.0s, 20.0% of total-time
Operation ival-pow, time spent: 12.5s, 14.0% of total-time
Operation ival-add, time spent: 10.7s, 12.0% of total-time
Operation composed, time spent: 9.5s, 11.0% of total-time
Operation ival-div, time spent: 8.3s, 9.0% of total-time
Operation ival-asin, time spent: 7.4s, 8.0% of total-time
Operation ival-sub, time spent: 5.4s, 6.0% of total-time
Operation ival-log, time spent: 4.4s, 5.0% of total-time
Operation ival-sqrt, time spent: 3.4s, 4.0% of total-time
Operation const, time spent: 2.5s, 3.0% of total-time
Operation ival-exp, time spent: 1.8s, 2.0% of total-time
Operation ival-acos, time spent: 1.1s, 1.0% of total-time
Operation ival-sin, time spent: 1.1s, 1.0% of total-time
Operation ival-cbrt, time spent: 785.0ms, 1.0% of total-time
Operation ival-cos, time spent: 722.0ms, 1.0% of total-time
Operation ival-neg, time spent: 340.0ms, 0.0% of total-time
Operation ival-atan2, time spent: 313.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 102.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 71.0ms, 0.0% of total-time
Operation ival-pi, time spent: 64.0ms, 0.0% of total-time
Operation ival-e, time spent: 12.0ms, 0.0% of total-time

eval1.1min (10%)

Compiler

Compiled 3105207 to 2028872 computations (34.7% saved)

simplify49.7s (7.5%)

Algorithm
222×egg-herbie
Rules
62593×fma-define
49658×distribute-lft-in
47857×fma-neg
45309×distribute-rgt-in
44230×associate-*r*
Stop Event
58×saturated
159×node limit
35×fuel
5×unsound
22×done
Counts
65016 → 58995
Compiler

Compiled 10109 to 6600 computations (34.7% saved)

soundness47.9s (7.3%)

Rules
55034×fma-define
42371×fma-neg
41194×log1p-expm1-u
38198×associate-*r*
34322×distribute-lft-in
Stop Event
19×saturated
165×node limit
6×unsound
Compiler

Compiled 36151 to 22685 computations (37.2% saved)

preprocess44.2s (6.7%)

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 46181 to 25014 computations (45.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.6s
Operation ival-mult, time spent: 3.1s, 26.0% of total-time
Operation ival-add, time spent: 1.9s, 16.0% of total-time
Operation ival-div, time spent: 1.8s, 16.0% of total-time
Operation ival-sub, time spent: 1.5s, 13.0% of total-time
Operation ival-log, time spent: 976.0ms, 8.0% of total-time
Operation const, time spent: 470.0ms, 4.0% of total-time
Operation ival-pow, time spent: 354.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 319.0ms, 3.0% of total-time
Operation ival-exp, time spent: 281.0ms, 2.0% of total-time
Operation ival-asin, time spent: 252.0ms, 2.0% of total-time
Operation composed, time spent: 217.0ms, 2.0% of total-time
Operation ival-cos, time spent: 180.0ms, 2.0% of total-time
Operation ival-sin, time spent: 108.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 77.0ms, 1.0% of total-time
Operation ival-neg, time spent: 54.0ms, 0.0% of total-time
Operation ival-pi, time spent: 30.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 23.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 14.0ms, 0.0% of total-time

rewrite33.2s (5%)

Algorithm
165×batch-egg-rewrite
Rules
103411×log1p-expm1-u
82307×expm1-log1p-u
37361×pow1
34667×add-exp-log
31393×add-log-exp
Stop Event
155×node limit
10×unsound
Counts
1273 → 39583

prune22.9s (3.5%)

Counts
85031 → 2690
Compiler

Compiled 128910 to 93605 computations (27.4% saved)

regimes20.7s (3.1%)

Counts
5927 → 721
Calls

132 calls:

2.7s
y.im
2.3s
y.re
1.7s
im
1.4s
re
1.4s
x
Compiler

Compiled 5756 to 3862 computations (32.9% saved)

bsearch11.9s (1.8%)

Algorithm
320×binary-search
39×left-value
Stop Event
12×predicate-same
308×narrow-enough
Results
6.8s26570×256valid
1.4s6507×256infinite
1.5s1712×512infinite
203.0ms511×1024valid
212.0ms440×512valid
79.0ms189×2048valid
106.0ms96×1024infinite
41.0ms71×4096valid
Compiler

Compiled 66397 to 46625 computations (29.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.5s
Operation ival-mult, time spent: 2.0s, 37.0% of total-time
Operation ival-add, time spent: 952.0ms, 17.0% of total-time
Operation ival-log, time spent: 568.0ms, 10.0% of total-time
Operation ival-sin, time spent: 408.0ms, 7.0% of total-time
Operation ival-div, time spent: 303.0ms, 6.0% of total-time
Operation ival-sqrt, time spent: 252.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 251.0ms, 5.0% of total-time
Operation ival-sub, time spent: 220.0ms, 4.0% of total-time
Operation ival-exp, time spent: 218.0ms, 4.0% of total-time
Operation ival-cos, time spent: 132.0ms, 2.0% of total-time
Operation const, time spent: 88.0ms, 2.0% of total-time
Operation ival-neg, time spent: 21.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 18.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 10.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

series11.6s (1.8%)

Counts
1273 → 25433
Calls

6501 calls:

TimeVariablePointExpression
215.0ms
y.im
@-inf
(pow (exp y.im) (atan2 x.im x.re))
174.0ms
y.re
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re)
143.0ms
x
@-inf
(+ (* (- -31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 x) 1))) (+ (* 3275911/10000000 x) 1))) (+ (* 3275911/10000000 x) 1))) (+ (* 3275911/10000000 x) 1))) (/ (exp (pow x 2)) (+ (* 3275911/10000000 x) 1))) 1)
142.0ms
x.re
@inf
(- (* x.re (* x.im (* x.re 3))) (pow x.im 3))
142.0ms
y.re
@inf
(* (sin (* y.im (log x.re))) (pow x.re y.re))

analyze7.0s (1.1%)

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: 5.1s
Operation ival-mult, time spent: 1.1s, 22.0% of total-time
Operation ival-sin, time spent: 902.0ms, 18.0% of total-time
Operation ival-cos, time spent: 745.0ms, 15.0% of total-time
Operation ival-sub, time spent: 523.0ms, 10.0% of total-time
Operation ival-add, time spent: 436.0ms, 9.0% of total-time
Operation ival-sqrt, time spent: 425.0ms, 8.0% of total-time
Operation ival-log, time spent: 317.0ms, 6.0% of total-time
Operation ival-div, time spent: 190.0ms, 4.0% of total-time
Operation ival-atan2, time spent: 187.0ms, 4.0% of total-time
Operation ival-pow, time spent: 88.0ms, 2.0% of total-time
Operation ival-exp, time spent: 67.0ms, 1.0% of total-time
Operation const, time spent: 58.0ms, 1.0% of total-time
Operation ival-pi, time spent: 14.0ms, 0.0% of total-time
Operation ival-<=, time spent: 12.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

end25.0ms (0%)

Profiling

Loading profile data...