Time bar (total: 8.1s)
| 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 |
| 12.5% | 87.4% | 0.1% | 5 |
| 18.7% | 81.1% | 0.1% | 6 |
| 21.8% | 71.8% | 6.4% | 7 |
| 31.2% | 62.4% | 6.4% | 8 |
| 35.9% | 55.4% | 8.7% | 9 |
| 37.8% | 48.8% | 13.4% | 10 |
| 42.7% | 42.3% | 15% | 11 |
| 47.7% | 34.2% | 18.1% | 12 |
| 49.1% | 30.4% | 20.5% | 13 |
| 51.9% | 25.8% | 22.3% | 14 |
Compiled 21 to 15 computations (28.6% saved)
| 1.1s | 5359× | body | 128 | valid |
| 664.0ms | 1158× | body | 2048 | valid |
| 318.0ms | 739× | body | 1024 | valid |
| 266.0ms | 431× | body | 4096 | valid |
| 146.0ms | 1093× | body | 128 | invalid |
| 133.0ms | 389× | body | 512 | valid |
| 46.0ms | 180× | body | 256 | valid |
Compiled 62 to 44 computations (29% saved)
| 1× | egg-herbie |
| 2079× | fma-neg_binary64 |
| 1006× | fma-def_binary64 |
| 919× | div-sub_binary64 |
| 626× | distribute-rgt-in_binary64 |
| 435× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 26 |
| 1 | 38 | 24 |
| 2 | 95 | 24 |
| 3 | 227 | 22 |
| 4 | 357 | 22 |
| 5 | 614 | 22 |
| 6 | 1103 | 22 |
| 7 | 1373 | 22 |
| 8 | 1636 | 22 |
| 9 | 2330 | 22 |
| 10 | 3187 | 22 |
| 11 | 2880 | 22 |
| 12 | 2827 | 22 |
| 13 | 2896 | 22 |
| 14 | 2922 | 22 |
| 15 | 3797 | 22 |
| 16 | 4824 | 22 |
| 17 | 5240 | 22 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 34.0b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) |
Compiled 71 to 46 computations (35.2% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a) |
| ✓ | 0.9b | (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| ✓ | 23.8b | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
3 calls:
| 43.0ms | (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a) |
| 35.0ms | (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| 28.0ms | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
| 1× | rewrite-expression-head |
| 24× | *-un-lft-identity_binary64 |
| 15× | add-sqr-sqrt_binary64 |
| 14× | add-cube-cbrt_binary64 |
| 12× | times-frac_binary64 |
| 5× | distribute-lft-out_binary64 |
3 calls:
| 5.0ms | (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a) |
| 3.0ms | (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) |
| 1.0ms | (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))) |
| 1× | egg-herbie |
| 820× | times-frac_binary64 |
| 539× | associate-/l*_binary64 |
| 458× | fma-def_binary64 |
| 246× | fma-neg_binary64 |
| 189× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 188 | 3311 |
| 1 | 510 | 3170 |
| 2 | 1534 | 3008 |
| 3 | 4840 | 3008 |
| 4 | 4954 | 3008 |
14 alts after pruning (13 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 156 | 13 | 169 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 156 | 14 | 170 |
| Status | Error | Program |
| 56.5b | (*.f64 -1/2 (/.f64 (+.f64 b (neg.f64 b)) a)) | |
| 37.8b | (*.f64 -1/2 (/.f64 (+.f64 b (exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) a)) | |
| 32.5b | (*.f64 -1/2 (*.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a))) | |
| 43.7b | (*.f64 -1/2 (*.f64 2 (/.f64 c b))) | |
| 50.1b | (*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (sqrt.f64 a)) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (sqrt.f64 a)))) | |
| ✓ | 34.0b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) |
| 32.8b | (*.f64 -1/2 (*.f64 (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (*.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) (cbrt.f64 a)))) | |
| 43.5b | (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) | |
| 48.2b | (*.f64 -1/2 (*.f64 (sqrt.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) a)) (sqrt.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) a)))) | |
| 43.2b | (*.f64 -1/2 (/.f64 (+.f64 b b) a)) | |
| ▶ | 32.4b | (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))))) |
| 49.1b | (*.f64 -1/2 (exp.f64 (log.f64 (/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) a)))) | |
| 45.4b | (*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)) | |
| 34.5b | (*.f64 -1/2 (/.f64 (+.f64 b (*.f64 (fabs.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))) a)) |
Compiled 4970 to 3026 computations (39.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| ✓ | 0.1b | (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) |
| ✓ | 0.2b | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) |
| ✓ | 16.6b | (sqrt.f64 (*.f64 a (*.f64 c -4))) |
4 calls:
| 183.0ms | (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) |
| 136.0ms | (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| 82.0ms | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) |
| 14.0ms | (sqrt.f64 (*.f64 a (*.f64 c -4))) |
| 1× | rewrite-expression-head |
| 114× | times-frac_binary64 |
| 99× | *-un-lft-identity_binary64 |
| 65× | add-sqr-sqrt_binary64 |
| 65× | add-cube-cbrt_binary64 |
| 22× | associate-/r*_binary64 |
4 calls:
| 7.0ms | (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| 3.0ms | (/.f64 a (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) |
| 3.0ms | (sqrt.f64 (*.f64 a (*.f64 c -4))) |
| 2.0ms | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) |
| 1× | egg-herbie |
| 502× | associate-*l/_binary64 |
| 496× | fma-def_binary64 |
| 478× | fma-neg_binary64 |
| 422× | associate-/r/_binary64 |
| 308× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 261 | 6252 |
| 1 | 644 | 5816 |
| 2 | 2163 | 5690 |
| 3 | 4938 | 5684 |
| 4 | 5187 | 5684 |
11 alts after pruning (10 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 285 | 6 | 291 |
| Fresh | 8 | 4 | 12 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 294 | 11 | 305 |
| Status | Error | Program |
| 32.4b | (*.f64 -1/2 (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) | |
| 32.4b | (*.f64 -1/2 (/.f64 1 (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))) | |
| 43.7b | (*.f64 -1/2 (*.f64 2 (/.f64 c b))) | |
| ✓ | 34.0b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) |
| 43.5b | (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) | |
| 48.2b | (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -4)))))))) | |
| 43.2b | (*.f64 -1/2 (/.f64 (+.f64 b b) a)) | |
| ▶ | 32.4b | (*.f64 -1/2 (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))))) |
| 32.5b | (*.f64 -1/2 (/.f64 1 (/.f64 (/.f64 a (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))) | |
| 45.4b | (*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)) | |
| 43.6b | (*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (*.f64 (/.f64 b (*.f64 -4 c)) -2)))) |
Compiled 9123 to 6038 computations (33.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) |
| ✓ | 0.2b | (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| 0.2b | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) | |
| 16.6b | (sqrt.f64 (*.f64 a (*.f64 c -4))) |
2 calls:
| 172.0ms | (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) |
| 115.0ms | (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| 1× | rewrite-expression-head |
| 585× | times-frac_binary64 |
| 348× | *-un-lft-identity_binary64 |
| 256× | add-sqr-sqrt_binary64 |
| 256× | add-cube-cbrt_binary64 |
| 46× | distribute-lft-out_binary64 |
2 calls:
| 11.0ms | (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| 4.0ms | (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) |
| 1× | egg-herbie |
| 651× | associate-/l*_binary64 |
| 385× | fma-def_binary64 |
| 322× | associate-/l/_binary64 |
| 236× | associate-/r/_binary64 |
| 211× | distribute-rgt-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 268 | 14663 |
| 1 | 711 | 13409 |
| 2 | 2122 | 13279 |
| 3 | 4661 | 13275 |
| 4 | 4998 | 13275 |
| 5 | 4942 | 13275 |
12 alts after pruning (11 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 462 | 2 | 464 |
| Fresh | 0 | 9 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 463 | 12 | 475 |
| Status | Error | Program |
| 32.4b | (*.f64 -1/2 (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) | |
| ▶ | 32.4b | (*.f64 -1/2 (/.f64 1 (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))) |
| 49.7b | (*.f64 -1/2 (/.f64 (/.f64 1 a) (fma.f64 (/.f64 b (*.f64 -4 (*.f64 a c))) -2 (/.f64 -1/2 b)))) | |
| 48.2b | (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -4)))))))) | |
| 43.7b | (*.f64 -1/2 (*.f64 2 (/.f64 c b))) | |
| ✓ | 34.0b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) |
| 43.5b | (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) | |
| 43.2b | (*.f64 -1/2 (/.f64 (+.f64 b b) a)) | |
| 48.2b | (*.f64 -1/2 (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 -4 c)))))))) | |
| 32.5b | (*.f64 -1/2 (/.f64 1 (/.f64 (/.f64 a (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))) | |
| 45.4b | (*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)) | |
| 43.6b | (*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (*.f64 (/.f64 b (*.f64 -4 c)) -2)))) |
Compiled 16956 to 11874 computations (30% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| ✓ | 0.1b | (/.f64 1 (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))))) |
| 0.2b | (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))) | |
| 16.6b | (sqrt.f64 (*.f64 a (*.f64 c -4))) |
2 calls:
| 183.0ms | (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| 110.0ms | (/.f64 1 (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))))) |
| 1× | rewrite-expression-head |
| 46× | add-exp-log_binary64 |
| 20× | *-un-lft-identity_binary64 |
| 20× | add-sqr-sqrt_binary64 |
| 18× | associate-*r*_binary64 |
| 18× | div-exp_binary64 |
2 calls:
| 8.0ms | (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))) |
| 8.0ms | (/.f64 1 (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))))) |
| 1× | egg-herbie |
| 696× | fma-neg_binary64 |
| 329× | associate-*l/_binary64 |
| 305× | fma-def_binary64 |
| 285× | associate-*r/_binary64 |
| 227× | sub-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 199 | 3082 |
| 1 | 522 | 2599 |
| 2 | 1782 | 2579 |
| 3 | 4002 | 2575 |
| 4 | 4949 | 2575 |
12 alts after pruning (10 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 230 | 0 | 230 |
| Fresh | 0 | 10 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 230 | 12 | 242 |
| Status | Error | Program |
| 32.4b | (*.f64 -1/2 (*.f64 (/.f64 1 a) (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) | |
| ✓ | 32.4b | (*.f64 -1/2 (/.f64 1 (*.f64 a (/.f64 1 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))) |
| 49.7b | (*.f64 -1/2 (/.f64 (/.f64 1 a) (fma.f64 (/.f64 b (*.f64 -4 (*.f64 a c))) -2 (/.f64 -1/2 b)))) | |
| 48.2b | (*.f64 -1/2 (/.f64 1 (/.f64 a (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 c -4)))))))) | |
| 43.7b | (*.f64 -1/2 (*.f64 2 (/.f64 c b))) | |
| ✓ | 34.0b | (*.f64 -1/2 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))) a)) |
| 43.5b | (*.f64 -1/2 (*.f64 2 (-.f64 (/.f64 b a) (/.f64 c b)))) | |
| 43.2b | (*.f64 -1/2 (/.f64 (+.f64 b b) a)) | |
| 48.2b | (*.f64 -1/2 (/.f64 (/.f64 1 a) (/.f64 1 (+.f64 b (hypot.f64 b (*.f64 (sqrt.f64 a) (sqrt.f64 (*.f64 -4 c)))))))) | |
| 32.5b | (*.f64 -1/2 (/.f64 1 (/.f64 (/.f64 a (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 -4 (*.f64 c a))))))) (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4))))))))) | |
| 45.4b | (*.f64 -1/2 (/.f64 (/.f64 (-.f64 (*.f64 b b) (fma.f64 a (*.f64 c -4) (*.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (*.f64 a (*.f64 c -4)))))) a)) | |
| 43.6b | (*.f64 -1/2 (/.f64 1 (fma.f64 -1/2 (/.f64 a b) (*.f64 (/.f64 b (*.f64 -4 c)) -2)))) |
Compiled 6816 to 4661 computations (31.6% saved)
Total 7.6b remaining (72.9%)
Threshold costs 0b (0%)
Compiled 11568 to 8134 computations (29.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 3.752089695048035e+93 | 8.567713446312838e+95 | 5.799761191344333e+95 |
| 7 | -4.340950814285089e-30 | -1.3387037076683125e-31 | -1.5513227110811959e-31 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 8× | *-commutative_binary64 |
| 4× | +-commutative_binary64 |
| 3× | sub-neg_binary64 |
| 2× | neg-sub0_binary64 |
| 2× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 28 | 60 |
| 1 | 37 | 60 |
| 2 | 44 | 60 |
| 3 | 48 | 60 |
| 4 | 51 | 60 |
| 5 | 52 | 60 |
| 6 | 52 | 60 |
Compiled 324 to 229 computations (29.3% saved)
Loading profile data...