Time bar (total: 3.8s)
| 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 |
| 25% | 74.9% | 0.1% | 5 |
| 25% | 62.4% | 12.6% | 6 |
| 31.2% | 50% | 18.8% | 7 |
| 40.6% | 37.5% | 22% | 8 |
| 45.3% | 26.5% | 28.2% | 9 |
| 46.8% | 19.5% | 33.7% | 10 |
| 48.8% | 14% | 37.2% | 11 |
| 51.7% | 10.1% | 38.1% | 12 |
| 52.8% | 7.1% | 40.1% | 13 |
| 53.3% | 5.1% | 41.6% | 14 |
Compiled 22 to 12 computations (45.5% saved)
| 955.0ms | 8256× | body | 128 | valid |
| 53.0ms | 440× | body | 128 | invalid |
Compiled 65 to 35 computations (46.2% saved)
| 1× | egg-herbie |
| 680× | unsub-neg_binary64 |
| 594× | fma-neg_binary64 |
| 560× | sub-neg_binary64 |
| 520× | fma-def_binary64 |
| 399× | cancel-sign-sub-inv_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 26 |
| 1 | 30 | 25 |
| 2 | 71 | 23 |
| 3 | 194 | 16 |
| 4 | 573 | 14 |
| 5 | 1779 | 14 |
| 6 | 3048 | 14 |
| 7 | 4137 | 14 |
| 8 | 4615 | 14 |
| 9 | 4749 | 14 |
| 10 | 4784 | 14 |
| 11 | 4907 | 14 |
| 12 | 4998 | 14 |
3 alts after pruning (3 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 2 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 3 | 3 |
| Status | Error | Program |
| ▶ | 9.0b | (-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 9.0b | (*.f64 x.re (fma.f64 x.re x.re (*.f64 (*.f64 x.im x.im) -3))) |
Compiled 97 to 51 computations (47.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) |
| ✓ | 0.1b | (-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| ✓ | 0.2b | (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im) |
| ✓ | 8.4b | (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) |
4 calls:
| 14.0ms | (-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 10.0ms | (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) |
| 9.0ms | (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im) |
| 6.0ms | (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) |
| 2× | batch-egg-rewrite |
| 866× | fma-def_binary64 |
| 377× | egg-rr |
| 373× | fma-neg_binary64 |
| 214× | expm1-udef_binary64 |
| 214× | log1p-udef_binary64 |
4 calls:
| 90.0ms | (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) |
| 90.0ms | (-.f64 (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 90.0ms | (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im) |
| 90.0ms | (*.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)) x.re) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 60 |
| 1 | 264 | 50 |
| 2 | 3272 | 50 |
| 3 | 5045 | 50 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 825× | fma-def_binary64 |
| 674× | unswap-sqr_binary64 |
| 499× | fma-neg_binary64 |
| 483× | *-commutative_binary64 |
| 444× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 1053 |
| 1 | 58 | 1053 |
| 2 | 133 | 1017 |
| 3 | 385 | 1017 |
| 4 | 1334 | 1017 |
| 5 | 2629 | 1017 |
| 6 | 4971 | 1017 |
| 7 | 4956 | 1017 |
| 8 | 5000 | 1017 |
| 9 | 4906 | 1017 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 385 | 8 | 393 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 386 | 9 | 395 |
| Status | Error | Program |
| 28.7b | (-.f64 (pow.f64 (sqrt.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) 2) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 25.8b | (-.f64 (pow.f64 x.re 3) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 18.2b | (-.f64 (*.f64 (fma.f64 (+.f64 x.re x.im) (-.f64 x.re x.im) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x.im) 2)) (cbrt.f64 (pow.f64 x.im 4)) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 8.9b | (-.f64 (fma.f64 1 (pow.f64 x.re 3) (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re)) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 9.2b | (-.f64 (pow.f64 (cbrt.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) 3) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 18.5b | (-.f64 (*.f64 (fma.f64 (cbrt.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) 2) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x.im) 2)) (cbrt.f64 (pow.f64 x.im 4)) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 9.0b | (-.f64 (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 9.0b | (*.f64 x.re (fma.f64 x.re x.re (*.f64 (*.f64 x.im x.im) -3))) | |
| ▶ | 8.9b | (fma.f64 (*.f64 x.re (*.f64 x.im x.im)) -3 (pow.f64 x.re 3)) |
Compiled 11921 to 3879 computations (67.5% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (fma.f64 (*.f64 x.re (*.f64 x.im x.im)) -3 (pow.f64 x.re 3)) |
| ✓ | 9.6b | (*.f64 x.re (*.f64 x.im x.im)) |
2 calls:
| 11.0ms | (fma.f64 (*.f64 x.re (*.f64 x.im x.im)) -3 (pow.f64 x.re 3)) |
| 10.0ms | (*.f64 x.re (*.f64 x.im x.im)) |
| 2× | batch-egg-rewrite |
| 730× | log1p-expm1-u_binary64 |
| 730× | expm1-log1p-u_binary64 |
| 148× | log1p-udef_binary64 |
| 140× | prod-diff_binary64 |
| 87× | add-sqr-sqrt_binary64 |
2 calls:
| 41.0ms | (fma.f64 (*.f64 x.re (*.f64 x.im x.im)) -3 (pow.f64 x.re 3)) |
| 41.0ms | (*.f64 x.re (*.f64 x.im x.im)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 21 |
| 1 | 185 | 21 |
| 2 | 1917 | 21 |
| 3 | 4903 | 21 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 973× | fma-def_binary64 |
| 896× | fma-neg_binary64 |
| 593× | unswap-sqr_binary64 |
| 420× | distribute-rgt-neg-in_binary64 |
| 370× | distribute-lft-neg-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 498 |
| 1 | 35 | 498 |
| 2 | 79 | 462 |
| 3 | 200 | 462 |
| 4 | 527 | 462 |
| 5 | 865 | 462 |
| 6 | 1356 | 462 |
| 7 | 2113 | 462 |
| 8 | 3981 | 462 |
| 9 | 3970 | 462 |
| 10 | 4835 | 462 |
| 11 | 4898 | 462 |
| 12 | 4839 | 462 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 44 | 1 | 45 |
| Fresh | 0 | 8 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 44 | 10 | 54 |
| Status | Error | Program |
| 28.7b | (-.f64 (pow.f64 (sqrt.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) 2) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 25.8b | (-.f64 (pow.f64 x.re 3) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 18.2b | (-.f64 (*.f64 (fma.f64 (+.f64 x.re x.im) (-.f64 x.re x.im) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x.im) 2)) (cbrt.f64 (pow.f64 x.im 4)) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| ▶ | 8.9b | (-.f64 (fma.f64 1 (pow.f64 x.re 3) (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re)) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 9.0b | (*.f64 x.re (fma.f64 x.re x.re (*.f64 (*.f64 x.im x.im) -3))) | |
| 33.9b | (fma.f64 (pow.f64 (*.f64 x.im (sqrt.f64 x.re)) 2) -3 (pow.f64 x.re 3)) | |
| 9.2b | (-.f64 (pow.f64 (cbrt.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) 3) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 18.5b | (-.f64 (*.f64 (fma.f64 (cbrt.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) 2) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x.im) 2)) (cbrt.f64 (pow.f64 x.im 4)) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 9.0b | (-.f64 (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| ✓ | 8.9b | (fma.f64 (*.f64 x.re (*.f64 x.im x.im)) -3 (pow.f64 x.re 3)) |
Compiled 1084 to 597 computations (44.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) |
| ✓ | 0.1b | (-.f64 (fma.f64 1 (pow.f64 x.re 3) (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re)) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 0.2b | (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im) | |
| ✓ | 9.6b | (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re) |
3 calls:
| 17.0ms | (-.f64 (fma.f64 1 (pow.f64 x.re 3) (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re)) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 10.0ms | (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re) |
| 5.0ms | (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) |
| 2× | batch-egg-rewrite |
| 410× | fma-def_binary64 |
| 367× | fma-neg_binary64 |
| 216× | expm1-udef_binary64 |
| 216× | log1p-udef_binary64 |
| 192× | egg-rr |
3 calls:
| 98.0ms | (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) |
| 98.0ms | (-.f64 (fma.f64 1 (pow.f64 x.re 3) (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re)) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 98.0ms | (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 45 |
| 1 | 305 | 33 |
| 2 | 3147 | 29 |
| 3 | 4953 | 29 |
| 4 | 4982 | 29 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 1079× | fma-def_binary64 |
| 689× | fma-neg_binary64 |
| 593× | unswap-sqr_binary64 |
| 410× | distribute-rgt-neg-in_binary64 |
| 350× | distribute-lft-neg-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 714 |
| 1 | 47 | 714 |
| 2 | 105 | 678 |
| 3 | 245 | 678 |
| 4 | 596 | 678 |
| 5 | 957 | 678 |
| 6 | 1439 | 678 |
| 7 | 2218 | 678 |
| 8 | 4096 | 678 |
| 9 | 4535 | 678 |
| 10 | 4255 | 678 |
| 11 | 4645 | 678 |
| 12 | 4934 | 678 |
| 13 | 4778 | 678 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 227 | 0 | 227 |
| Fresh | 0 | 8 | 8 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 227 | 10 | 237 |
| Status | Error | Program |
| 28.7b | (-.f64 (pow.f64 (sqrt.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) 2) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 25.8b | (-.f64 (pow.f64 x.re 3) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 18.2b | (-.f64 (*.f64 (fma.f64 (+.f64 x.re x.im) (-.f64 x.re x.im) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x.im) 2)) (cbrt.f64 (pow.f64 x.im 4)) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| ✓ | 8.9b | (-.f64 (fma.f64 1 (pow.f64 x.re 3) (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re)) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 9.0b | (*.f64 x.re (fma.f64 x.re x.re (*.f64 (*.f64 x.im x.im) -3))) | |
| 33.9b | (fma.f64 (pow.f64 (*.f64 x.im (sqrt.f64 x.re)) 2) -3 (pow.f64 x.re 3)) | |
| 9.2b | (-.f64 (pow.f64 (cbrt.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) 3) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 18.5b | (-.f64 (*.f64 (fma.f64 (cbrt.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) 2) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x.im) 2)) (cbrt.f64 (pow.f64 x.im 4)) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| ▶ | 9.0b | (-.f64 (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| ✓ | 8.9b | (fma.f64 (*.f64 x.re (*.f64 x.im x.im)) -3 (pow.f64 x.re 3)) |
Compiled 5743 to 3134 computations (45.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (-.f64 (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 0.2b | (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im) | |
| ✓ | 8.4b | (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) |
| ✓ | 44.8b | (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im)) |
3 calls:
| 19.0ms | (-.f64 (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 13.0ms | (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) |
| 4.0ms | (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im)) |
| 2× | batch-egg-rewrite |
| 688× | fma-def_binary64 |
| 464× | fma-neg_binary64 |
| 210× | expm1-udef_binary64 |
| 210× | log1p-udef_binary64 |
| 166× | add-sqr-sqrt_binary64 |
3 calls:
| 88.0ms | (-.f64 (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 88.0ms | (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) |
| 88.0ms | (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 69 |
| 1 | 323 | 28 |
| 2 | 3259 | 28 |
| 3 | 4877 | 28 |
| 4 | 4718 | 28 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 781× | fma-neg_binary64 |
| 689× | fma-def_binary64 |
| 604× | unswap-sqr_binary64 |
| 452× | unsub-neg_binary64 |
| 435× | distribute-rgt-neg-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 615 |
| 1 | 47 | 615 |
| 2 | 104 | 579 |
| 3 | 254 | 579 |
| 4 | 629 | 579 |
| 5 | 1047 | 579 |
| 6 | 1781 | 579 |
| 7 | 2805 | 579 |
| 8 | 4547 | 579 |
| 9 | 4660 | 579 |
| 10 | 4903 | 579 |
| 11 | 4884 | 579 |
| 12 | 4999 | 579 |
| 13 | 4817 | 579 |
10 alts after pruning (7 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 162 | 0 | 162 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 162 | 10 | 172 |
| Status | Error | Program |
| 28.7b | (-.f64 (pow.f64 (sqrt.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) 2) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 25.8b | (-.f64 (pow.f64 x.re 3) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 18.2b | (-.f64 (*.f64 (fma.f64 (+.f64 x.re x.im) (-.f64 x.re x.im) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x.im) 2)) (cbrt.f64 (pow.f64 x.im 4)) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| ✓ | 8.9b | (-.f64 (fma.f64 1 (pow.f64 x.re 3) (*.f64 (neg.f64 (*.f64 x.im x.im)) x.re)) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| 9.0b | (*.f64 x.re (fma.f64 x.re x.re (*.f64 (*.f64 x.im x.im) -3))) | |
| 33.9b | (fma.f64 (pow.f64 (*.f64 x.im (sqrt.f64 x.re)) 2) -3 (pow.f64 x.re 3)) | |
| 9.2b | (-.f64 (pow.f64 (cbrt.f64 (*.f64 x.re (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) 3) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| 18.5b | (-.f64 (*.f64 (fma.f64 (cbrt.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) (pow.f64 (cbrt.f64 (-.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))) 2) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 x.im) 2)) (cbrt.f64 (pow.f64 x.im 4)) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) | |
| ✓ | 9.0b | (-.f64 (*.f64 (fma.f64 (-.f64 x.re x.im) (+.f64 x.re x.im) (fma.f64 x.im (neg.f64 x.im) (*.f64 x.im x.im))) x.re) (*.f64 (+.f64 (*.f64 x.re x.im) (*.f64 x.im x.re)) x.im)) |
| ✓ | 8.9b | (fma.f64 (*.f64 x.re (*.f64 x.im x.im)) -3 (pow.f64 x.re 3)) |
Compiled 3825 to 1338 computations (65% saved)
Total 0.8b remaining (22.3%)
Threshold costs 0.8b (22.3%)
Compiled 7179 to 3984 computations (44.5% saved)
Compiled 21 to 11 computations (47.6% saved)
| 1× | egg-herbie |
| 11× | *-commutative_binary64 |
| 9× | +-commutative_binary64 |
| 8× | sub-neg_binary64 |
| 6× | neg-sub0_binary64 |
| 6× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 26 | 63 |
| 1 | 40 | 63 |
| 2 | 56 | 63 |
| 3 | 72 | 63 |
| 4 | 80 | 63 |
| 5 | 83 | 63 |
| 6 | 84 | 63 |
| 7 | 84 | 63 |
Compiled 321 to 185 computations (42.4% saved)
Loading profile data...