Herbie run

Date:Friday, March 29th, 2024
Commit:815bfa57 on platforms-nightlies
Hostname:nightly with Racket 8.11.1
Seed:2024089
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.5min)

sample3.2min (30.8%)

Results
1.3min373467×256valid
14.9s72137×256infinite
5.8s10373×1024valid
1.2min7691×8192exit
2.7s7104×512valid
3.5s4425×512infinite
507.0ms4095×256unsamplable
1.3s1959×2048valid
954.0ms1046×4096valid
71.0ms501×256invalid
88.0ms82×1024infinite
Precisions
Click to see histograms. Total time spent on operations: 2.1min
Operation ival-sin, time spent: 47.2s, 38.0% of total-time
Operation ival-mult, time spent: 22.2s, 18.0% of total-time
Operation ival-add, time spent: 12.1s, 10.0% of total-time
Operation ival-div, time spent: 8.8s, 7.0% of total-time
Operation ival-sub, time spent: 7.7s, 6.0% of total-time
Operation ival-pow, time spent: 5.6s, 5.0% of total-time
Operation ival-log, time spent: 3.1s, 2.0% of total-time
Operation ival-sqrt, time spent: 2.8s, 2.0% of total-time
Operation ival-exp, time spent: 2.7s, 2.0% of total-time
Operation const, time spent: 2.2s, 2.0% of total-time
Operation ival-atan2, time spent: 1.6s, 1.0% of total-time
Operation ival-asin, time spent: 1.4s, 1.0% of total-time
Operation ival-cos, time spent: 1.4s, 1.0% of total-time
Operation ival-pi, time spent: 1.1s, 1.0% of total-time
Operation ival-<=, time spent: 776.0ms, 1.0% of total-time
Operation ival->, time spent: 733.0ms, 1.0% of total-time
Operation ival-asinh, time spent: 539.0ms, 0.0% of total-time
Operation ival-acosh, time spent: 470.0ms, 0.0% of total-time
Operation ival-neg, time spent: 372.0ms, 0.0% of total-time
Operation ival-atanh, time spent: 336.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 243.0ms, 0.0% of total-time
Operation ival->=, time spent: 165.0ms, 0.0% of total-time
Operation ival-and, time spent: 107.0ms, 0.0% of total-time
Bogosity

localize2.5min (23.8%)

Compiler

Compiled 44962 to 25254 computations (43.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9min
Operation ival-mult, time spent: 20.0s, 18.0% of total-time
Operation ival-asin, time spent: 17.2s, 15.0% of total-time
Operation ival-pow, time spent: 14.2s, 13.0% of total-time
Operation composed, time spent: 13.1s, 12.0% of total-time
Operation ival-add, time spent: 10.5s, 9.0% of total-time
Operation ival-div, time spent: 7.0s, 6.0% of total-time
Operation ival-sub, time spent: 5.8s, 5.0% of total-time
Operation ival-log, time spent: 5.1s, 5.0% of total-time
Operation ival-exp, time spent: 4.5s, 4.0% of total-time
Operation ival-acos, time spent: 4.3s, 4.0% of total-time
Operation ival-sqrt, time spent: 3.3s, 3.0% of total-time
Operation const, time spent: 2.4s, 2.0% of total-time
Operation ival-sin, time spent: 2.2s, 2.0% of total-time
Operation ival-cbrt, time spent: 637.0ms, 1.0% of total-time
Operation ival-cos, time spent: 637.0ms, 1.0% of total-time
Operation ival-atan2, time spent: 533.0ms, 0.0% of total-time
Operation ival-neg, time spent: 418.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 238.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 77.0ms, 0.0% of total-time
Operation ival-pi, time spent: 63.0ms, 0.0% of total-time
Operation ival-e, time spent: 3.0ms, 0.0% of total-time

eval58.2s (9.3%)

Compiler

Compiled 2579173 to 1641704 computations (36.3% saved)

simplify47.9s (7.6%)

Algorithm
223×egg-herbie
Rules
61111×fma-define
48261×associate-*r*
47731×distribute-lft-in
47680×fmm-def
44130×*-commutative
Stop Event
57×saturated
158×node limit
32×fuel
8×unsound
25×done
Counts
66245 → 61039
Compiler

Compiled 9526 to 6042 computations (36.6% saved)

soundness40.4s (6.4%)

Rules
53119×fma-define
43180×log1p-expm1-u
41879×fmm-def
39528×associate-*r*
32629×distribute-lft-in
Stop Event
20×saturated
165×node limit
8×unsound
Compiler

Compiled 33589 to 18872 computations (43.8% saved)

preprocess39.2s (6.2%)

Algorithm
57×egg-herbie
Rules
20513×fmm-def
20193×fma-define
9595×unsub-neg
9128×sub-neg
8864×distribute-lft-in
Stop Event
32×saturated
25×node limit
Compiler

Compiled 43719 to 23546 computations (46.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.1s
Operation ival-mult, time spent: 2.9s, 24.0% of total-time
Operation ival-add, time spent: 2.0s, 17.0% of total-time
Operation ival-div, time spent: 1.9s, 16.0% of total-time
Operation ival-sub, time spent: 1.7s, 14.0% of total-time
Operation ival-log, time spent: 824.0ms, 7.0% of total-time
Operation composed, time spent: 494.0ms, 4.0% of total-time
Operation const, time spent: 481.0ms, 4.0% of total-time
Operation ival-pow, time spent: 402.0ms, 3.0% of total-time
Operation ival-sqrt, time spent: 325.0ms, 3.0% of total-time
Operation ival-exp, time spent: 265.0ms, 2.0% of total-time
Operation ival-asin, time spent: 233.0ms, 2.0% of total-time
Operation ival-atan2, time spent: 143.0ms, 1.0% of total-time
Operation ival-sin, time spent: 121.0ms, 1.0% of total-time
Operation ival-cos, time spent: 108.0ms, 1.0% of total-time
Operation ival-neg, time spent: 40.0ms, 0.0% of total-time
Operation ival-pi, time spent: 32.0ms, 0.0% of total-time
Operation ival-fabs, time spent: 28.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 13.0ms, 0.0% of total-time

rewrite36.7s (5.8%)

Algorithm
166×batch-egg-rewrite
Rules
113345×log1p-expm1-u
84644×expm1-log1p-u
34235×pow1
31354×add-exp-log
30876×log-prod
Stop Event
159×node limit
7×unsound
Counts
1286 → 41055

prune21.8s (3.5%)

Counts
82288 → 2707
Compiler

Compiled 117406 to 81778 computations (30.3% saved)

regimes13.7s (2.2%)

Counts
5957 → 751
Calls

132 calls:

1.7s
y.re
1.3s
x
1.3s
im
1.2s
y.im
968.0ms
x.im
Compiler

Compiled 5749 to 3913 computations (31.9% saved)

bsearch12.4s (2%)

Algorithm
360×binary-search
28×left-value
Stop Event
16×predicate-same
344×narrow-enough
Results
7.5s30539×256valid
1.8s8709×256infinite
1.2s1581×512infinite
189.0ms388×512valid
150.0ms229×2048valid
76.0ms82×1024valid
12.0ms23×4096valid
1.0ms1×1024infinite
Compiler

Compiled 76762 to 53452 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.9s
Operation ival-mult, time spent: 2.2s, 37.0% of total-time
Operation ival-add, time spent: 664.0ms, 11.0% of total-time
Operation ival-sqrt, time spent: 540.0ms, 9.0% of total-time
Operation ival-sin, time spent: 493.0ms, 8.0% of total-time
Operation ival-log, time spent: 479.0ms, 8.0% of total-time
Operation ival-div, time spent: 343.0ms, 6.0% of total-time
Operation ival-sub, time spent: 326.0ms, 6.0% of total-time
Operation ival-exp, time spent: 314.0ms, 5.0% of total-time
Operation ival-atan2, time spent: 200.0ms, 3.0% of total-time
Operation ival-cos, time spent: 146.0ms, 2.0% of total-time
Operation const, time spent: 100.0ms, 2.0% of total-time
Operation ival-asin, time spent: 53.0ms, 1.0% of total-time
Operation ival-fabs, time spent: 35.0ms, 1.0% of total-time
Operation ival-neg, time spent: 23.0ms, 0.0% of total-time
Operation ival-copysign, time spent: 15.0ms, 0.0% of total-time
Operation ival-pi, time spent: 6.0ms, 0.0% of total-time

series11.0s (1.7%)

Counts
1286 → 25190
Calls

6420 calls:

TimeVariablePointExpression
250.0ms
base
@0
(* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (log base)))
203.0ms
y.im
@-inf
(/ (* x.im y.im) (+ (* y.re y.re) (* y.im y.im)))
201.0ms
x.re
@0
(sin (+ (* y.im (log x.im)) (* y.re (atan2 x.im x.re))))
173.0ms
im
@-inf
(log (/ (atan2 im re) (log base)))
154.0ms
y.im
@0
(* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im)

analyze4.2s (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: 2.7s
Operation ival-mult, time spent: 814.0ms, 30.0% of total-time
Operation ival-add, time spent: 325.0ms, 12.0% of total-time
Operation ival-log, time spent: 287.0ms, 11.0% of total-time
Operation ival-sub, time spent: 278.0ms, 10.0% of total-time
Operation ival-sqrt, time spent: 244.0ms, 9.0% of total-time
Operation ival-atan2, time spent: 207.0ms, 8.0% of total-time
Operation ival-div, time spent: 157.0ms, 6.0% of total-time
Operation ival-pow, time spent: 126.0ms, 5.0% of total-time
Operation ival-sin, time spent: 77.0ms, 3.0% of total-time
Operation const, time spent: 65.0ms, 2.0% of total-time
Operation ival-exp, time spent: 59.0ms, 2.0% of total-time
Operation ival-cos, time spent: 24.0ms, 1.0% of total-time
Operation ival-pi, 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-neg, time spent: 8.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

end18.0ms (0%)

Profiling

Loading profile data...