Time bar (total: 8.9s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 0% | 99.9% | 0.1% | 4 |
| 50% | 50% | 0.1% | 5 |
| 50% | 50% | 0.1% | 6 |
| 50% | 37.5% | 12.6% | 7 |
| 50% | 37.5% | 12.6% | 8 |
| 50% | 31.2% | 18.8% | 9 |
| 50% | 31.2% | 18.8% | 10 |
| 50% | 28.1% | 22% | 11 |
| 50% | 28.1% | 22% | 12 |
| 50% | 26.5% | 23.5% | 13 |
| 50% | 26.5% | 23.5% | 14 |
Compiled 15 to 12 computations (20% saved)
| 3.2s | 4969× | body | 1024 | valid |
| 1.1s | 2020× | body | 1024 | invalid |
| 701.0ms | 1737× | body | 512 | valid |
| 420.0ms | 441× | body | 2048 | valid |
| 358.0ms | 1049× | body | 512 | invalid |
| 199.0ms | 688× | body | 256 | valid |
| 126.0ms | 509× | body | 256 | invalid |
| 106.0ms | 691× | body | 128 | invalid |
| 64.0ms | 421× | body | 128 | valid |
Compiled 30 to 24 computations (20% saved)
| 2× | egg-herbie |
| 692× | fma-def_binary64 |
| 564× | times-frac_binary64 |
| 454× | fma-neg_binary64 |
| 227× | associate-/l*_binary64 |
| 166× | distribute-rgt-neg-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 36 |
| 1 | 40 | 36 |
| 2 | 95 | 36 |
| 3 | 255 | 36 |
| 4 | 539 | 34 |
| 5 | 912 | 34 |
| 6 | 1812 | 34 |
| 7 | 3751 | 34 |
| 0 | 2 | 2 |
| 1× | saturated |
| 1× | node limit |
Compiled 14 to 11 computations (21.4% saved)
| 1× | egg-herbie |
| 623× | associate-/l*_binary64 |
| 462× | times-frac_binary64 |
| 358× | fma-neg_binary64 |
| 346× | fma-def_binary64 |
| 322× | cancel-sign-sub-inv_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 18 |
| 1 | 23 | 18 |
| 2 | 52 | 18 |
| 3 | 132 | 18 |
| 4 | 281 | 17 |
| 5 | 473 | 17 |
| 6 | 929 | 17 |
| 7 | 2376 | 17 |
| 1× | node limit |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 2 | 3 |
| Status | Error | Program |
| ▶ | 57.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) |
Compiled 53 to 38 computations (28.3% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) |
| ✓ | 5.8b | (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im)) |
9 calls:
| 3.0ms | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) | im | inf |
| 3.0ms | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) | im | -inf |
| 2.0ms | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) | re | 0 |
| 2.0ms | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) | re | inf |
| 2.0ms | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) | re | -inf |
| 1× | batch-egg-rewrite |
| 313× | prod-diff_binary64 |
| 198× | fma-def_binary64 |
| 178× | expm1-udef_binary64 |
| 178× | log1p-udef_binary64 |
| 152× | log-pow_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 28 |
| 1 | 252 | 24 |
| 2 | 3364 | 20 |
| 1× | node limit |
| 1× | egg-herbie |
| 575× | fma-def_binary64 |
| 428× | sub-neg_binary64 |
| 236× | associate-*l*_binary64 |
| 222× | associate-*r*_binary64 |
| 191× | associate--r+_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 95 | 753 |
| 1 | 285 | 735 |
| 2 | 975 | 706 |
| 3 | 4287 | 706 |
| 1× | node limit |
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 136 | 2 | 138 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 136 | 3 | 139 |
| Status | Error | Program |
| ✓ | 57.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) |
| 44.7b | (sqrt.f64 (pow.f64 (*.f64 (*.f64 2 (sinh.f64 im)) (*.f64 1/2 (cos.f64 re))) 2)) | |
| ▶ | 1.3b | (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
Compiled 2651 to 1454 computations (45.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5))) |
| ✓ | 0.0b | (*.f64 (cos.f64 re) (pow.f64 im 3)) |
| ✓ | 0.1b | (*.f64 (cos.f64 re) im) |
| ✓ | 0.1b | (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) |
24 calls:
| 4.0ms | (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5))) | re | inf |
| 4.0ms | (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5))) | re | -inf |
| 4.0ms | (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5))) | im | 0 |
| 4.0ms | (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) | re | inf |
| 3.0ms | (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) | re | -inf |
| 1× | batch-egg-rewrite |
| 715× | log-prod_binary64 |
| 260× | expm1-udef_binary64 |
| 260× | log1p-udef_binary64 |
| 228× | log-pow_binary64 |
| 150× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 39 |
| 1 | 314 | 39 |
| 2 | 3574 | 39 |
| 1× | node limit |
| 1× | egg-herbie |
| 498× | associate-*l*_binary64 |
| 484× | associate-*r*_binary64 |
| 422× | fma-def_binary64 |
| 352× | unswap-sqr_binary64 |
| 346× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 67 | 394 |
| 1 | 208 | 347 |
| 2 | 816 | 291 |
| 3 | 4260 | 291 |
| 1× | node limit |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 92 | 4 | 96 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 92 | 7 | 99 |
| Status | Error | Program |
| 34.7b | (neg.f64 (+.f64 (pow.f64 (sqrt.f64 (*.f64 (cos.f64 re) im)) 2) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| ▶ | 2.5b | (neg.f64 (+.f64 (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 3) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
| 27.5b | (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 (pow.f64 im 5) (-.f64 (fma.f64 (pow.f64 re 4) 1/2880 1/120) (fma.f64 (pow.f64 re 6) 1/86400 (*.f64 re (*.f64 re 1/240)))))))) | |
| ✓ | 57.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) |
| 44.7b | (sqrt.f64 (pow.f64 (*.f64 (*.f64 2 (sinh.f64 im)) (*.f64 1/2 (cos.f64 re))) 2)) | |
| ✓ | 1.3b | (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
| 42.3b | (neg.f64 (+.f64 (cbrt.f64 (*.f64 (pow.f64 (cos.f64 re) 3) (pow.f64 im 3))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
Compiled 3138 to 2015 computations (35.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (*.f64 (cos.f64 re) im) | |
| 0.1b | (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) | |
| ✓ | 0.6b | (cbrt.f64 (*.f64 (cos.f64 re) im)) |
| ✓ | 0.7b | (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 3) |
12 calls:
| 29.0ms | (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 3) | re | -inf |
| 28.0ms | (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 3) | re | inf |
| 25.0ms | (cbrt.f64 (*.f64 (cos.f64 re) im)) | re | -inf |
| 24.0ms | (cbrt.f64 (*.f64 (cos.f64 re) im)) | re | inf |
| 18.0ms | (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 3) | im | -inf |
| 1× | batch-egg-rewrite |
| 596× | log1p-expm1-u_binary64 |
| 596× | expm1-log1p-u_binary64 |
| 319× | log-prod_binary64 |
| 121× | expm1-udef_binary64 |
| 121× | log1p-udef_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 14 |
| 1 | 159 | 14 |
| 2 | 1674 | 14 |
| 1× | node limit |
| 1× | egg-herbie |
| 535× | fma-neg_binary64 |
| 356× | *-commutative_binary64 |
| 330× | distribute-lft-neg-in_binary64 |
| 329× | distribute-rgt-neg-in_binary64 |
| 191× | associate-*r*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 43 | 272 |
| 1 | 124 | 265 |
| 2 | 409 | 248 |
| 3 | 1837 | 244 |
| 4 | 4903 | 244 |
| 1× | node limit |
10 alts after pruning (7 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 122 | 5 | 127 |
| Fresh | 2 | 2 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 124 | 10 | 134 |
| Status | Error | Program |
| ▶ | 1.8b | (neg.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (cbrt.f64 (cos.f64 re)) im)) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
| 34.7b | (neg.f64 (+.f64 (pow.f64 (sqrt.f64 (*.f64 (cos.f64 re) im)) 2) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| 2.6b | (neg.f64 (+.f64 (*.f64 (cbrt.f64 (cos.f64 re)) (*.f64 (cbrt.f64 im) (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| ✓ | 2.5b | (neg.f64 (+.f64 (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 3) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
| 2.9b | (neg.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cos.f64 re) im))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cos.f64 re) im))) (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| ✓ | 57.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) |
| 44.7b | (sqrt.f64 (pow.f64 (*.f64 (*.f64 2 (sinh.f64 im)) (*.f64 1/2 (cos.f64 re))) 2)) | |
| 36.9b | (neg.f64 (+.f64 (*.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 im) (cos.f64 re))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| ✓ | 1.3b | (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
| 2.6b | (neg.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 im) 2) (*.f64 (cbrt.f64 im) (cos.f64 re))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
Compiled 4492 to 2779 computations (38.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) | |
| ✓ | 0.2b | (*.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (cbrt.f64 (cos.f64 re)) im)) |
| ✓ | 0.2b | (pow.f64 (cbrt.f64 (cos.f64 re)) 2) |
| ✓ | 0.3b | (cbrt.f64 (cos.f64 re)) |
12 calls:
| 53.0ms | (cbrt.f64 (cos.f64 re)) | re | -inf |
| 49.0ms | (cbrt.f64 (cos.f64 re)) | re | inf |
| 23.0ms | (pow.f64 (cbrt.f64 (cos.f64 re)) 2) | re | inf |
| 22.0ms | (pow.f64 (cbrt.f64 (cos.f64 re)) 2) | re | -inf |
| 3.0ms | (*.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (cbrt.f64 (cos.f64 re)) im)) | im | -inf |
| 1× | batch-egg-rewrite |
| 708× | log1p-expm1-u_binary64 |
| 708× | expm1-log1p-u_binary64 |
| 147× | expm1-udef_binary64 |
| 147× | log1p-udef_binary64 |
| 85× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 19 |
| 1 | 179 | 19 |
| 2 | 2038 | 19 |
| 1× | node limit |
| 1× | egg-herbie |
| 663× | cancel-sign-sub-inv_binary64 |
| 422× | fma-neg_binary64 |
| 403× | sub-neg_binary64 |
| 255× | *-commutative_binary64 |
| 211× | distribute-rgt-neg-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 55 | 398 |
| 1 | 154 | 397 |
| 2 | 432 | 385 |
| 3 | 1637 | 383 |
| 4 | 4680 | 383 |
| 1× | node limit |
12 alts after pruning (9 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 131 | 3 | 134 |
| Fresh | 0 | 6 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 3 | 3 |
| Total | 132 | 12 | 144 |
| Status | Error | Program |
| 2.6b | (neg.f64 (+.f64 (*.f64 (cbrt.f64 (cos.f64 re)) (*.f64 (cbrt.f64 im) (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| ✓ | 2.5b | (neg.f64 (+.f64 (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 3) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
| 44.7b | (sqrt.f64 (pow.f64 (*.f64 (*.f64 2 (sinh.f64 im)) (*.f64 1/2 (cos.f64 re))) 2)) | |
| 1.8b | (neg.f64 (+.f64 (*.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2))) 1) (*.f64 (cbrt.f64 (cos.f64 re)) im)) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| ✓ | 1.3b | (neg.f64 (+.f64 (*.f64 (cos.f64 re) im) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
| 16.6b | (neg.f64 (+.f64 (*.f64 (pow.f64 (exp.f64 (*.f64 (log.f64 (cos.f64 re)) 1/3)) 2) (*.f64 (cbrt.f64 (cos.f64 re)) im)) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| 34.7b | (neg.f64 (+.f64 (pow.f64 (sqrt.f64 (*.f64 (cos.f64 re) im)) 2) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| 2.9b | (neg.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cos.f64 re) im))) 2) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (cos.f64 re) im))) (pow.f64 (cbrt.f64 (*.f64 (cos.f64 re) im)) 2))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| ✓ | 57.0b | (*.f64 (*.f64 1/2 (cos.f64 re)) (-.f64 (exp.f64 (-.f64 0 im)) (exp.f64 im))) |
| 16.7b | (neg.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 re)) 2) (*.f64 (pow.f64 (pow.f64 (cos.f64 re) 1/6) 2) im)) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| 36.9b | (neg.f64 (+.f64 (*.f64 (sqrt.f64 im) (*.f64 (sqrt.f64 im) (cos.f64 re))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) | |
| 2.6b | (neg.f64 (+.f64 (*.f64 (pow.f64 (cbrt.f64 im) 2) (*.f64 (cbrt.f64 im) (cos.f64 re))) (+.f64 (*.f64 1/6 (*.f64 (cos.f64 re) (pow.f64 im 3))) (*.f64 1/120 (*.f64 (cos.f64 re) (pow.f64 im 5)))))) |
Compiled 4892 to 2937 computations (40% saved)
Total 0.7b remaining (94%)
Threshold costs 0.7b (94%)
Compiled 13559 to 9456 computations (30.3% saved)
| 1× | egg-herbie |
| 16× | *-commutative_binary64 |
| 13× | +-commutative_binary64 |
| 11× | sub-neg_binary64 |
| 11× | neg-sub0_binary64 |
| 11× | neg-mul-1_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 36 |
| 1 | 32 | 36 |
| 2 | 50 | 34 |
| 3 | 80 | 34 |
| 4 | 104 | 34 |
| 5 | 116 | 34 |
| 6 | 122 | 34 |
| 7 | 124 | 34 |
| 1× | saturated |
| 1× | fuel |
Compiled 402 to 276 computations (31.3% saved)
Loading profile data...