Time bar (total: 11.9s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 6.2% | 93.6% | 0.2% | 8 |
| 25% | 74.9% | 0.2% | 9 |
| 28.1% | 71.7% | 0.2% | 10 |
| 29.6% | 70.2% | 0.2% | 11 |
| 53% | 46.8% | 0.2% | 12 |
| 71.3% | 28.5% | 0.2% | 13 |
| 71.7% | 28.1% | 0.2% | 14 |
Compiled 20 to 12 computations (40% saved)
| 1.1s | 8256× | body | 128 | valid |
| 63.0ms | 506× | body | 128 | invalid |
Compiled 59 to 35 computations (40.7% saved)
| 1× | egg-herbie |
| 1070× | fma-neg_binary64 |
| 881× | fma-def_binary64 |
| 768× | times-frac_binary64 |
| 551× | cancel-sign-sub-inv_binary64 |
| 514× | unsub-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 20 |
| 1 | 25 | 20 |
| 2 | 47 | 20 |
| 3 | 78 | 20 |
| 4 | 149 | 20 |
| 5 | 228 | 20 |
| 6 | 324 | 20 |
| 7 | 500 | 20 |
| 8 | 694 | 20 |
| 9 | 867 | 20 |
| 10 | 999 | 20 |
| 11 | 2422 | 20 |
| 12 | 3920 | 20 |
| 13 | 4950 | 20 |
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 |
| ▶ | 27.4b | (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
Compiled 69 to 33 computations (52.2% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (fma.f64 y.re y.re (*.f64 y.im y.im)) |
| ✓ | 0.9b | (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) |
| ✓ | 27.0b | (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
3 calls:
| 83.0ms | (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
| 8.0ms | (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) |
| 6.0ms | (fma.f64 y.re y.re (*.f64 y.im y.im)) |
| 2× | batch-egg-rewrite |
| 449× | fma-def_binary64 |
| 252× | egg-rr |
| 239× | fma-neg_binary64 |
| 227× | expm1-udef_binary64 |
| 227× | log1p-udef_binary64 |
3 calls:
| 81.0ms | (fma.f64 y.re y.re (*.f64 y.im y.im)) |
| 81.0ms | (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) |
| 81.0ms | (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 38 |
| 1 | 244 | 36 |
| 2 | 3323 | 36 |
| 3 | 5042 | 36 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 995× | fma-neg_binary64 |
| 650× | fma-def_binary64 |
| 555× | associate-*l/_binary64 |
| 469× | cancel-sign-sub-inv_binary64 |
| 432× | associate-/r/_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 51 | 1926 |
| 1 | 132 | 1806 |
| 2 | 376 | 1767 |
| 3 | 1612 | 1722 |
| 4 | 4958 | 1722 |
| 5 | 5505 | 1722 |
9 alts after pruning (9 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 277 | 9 | 286 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 278 | 9 | 287 |
| Status | Error | Program |
| 37.0b | (/.f64 x.im y.re) | |
| 27.4b | (/.f64 (fma.f64 x.im y.re (fma.f64 x.re (neg.f64 y.im) (fma.f64 x.re (neg.f64 y.im) (*.f64 x.re y.im)))) (fma.f64 y.re y.re (*.f64 y.im y.im))) | |
| 28.9b | (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (expm1.f64 (log1p.f64 (pow.f64 (hypot.f64 y.re y.im) 2)))) | |
| 18.5b | (*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))) 2) (hypot.f64 y.re y.im)) (/.f64 (cbrt.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))) (hypot.f64 y.re y.im))) | |
| 37.0b | (-.f64 (*.f64 (/.f64 y.re (*.f64 y.im y.im)) (+.f64 x.im (/.f64 (*.f64 x.re y.re) y.im))) (/.f64 x.re y.im)) | |
| ▶ | 15.5b | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2)))) |
| 37.0b | (neg.f64 (/.f64 x.re y.im)) | |
| 41.6b | (pow.f64 (/.f64 (sqrt.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))) (hypot.f64 y.re y.im)) 2) | |
| 17.9b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (hypot.f64 y.re y.im))) |
Compiled 6964 to 1811 computations (74% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 x.im (hypot.f64 y.re y.im)) |
| ✓ | 0.0b | (/.f64 y.re (hypot.f64 y.re y.im)) |
| ✓ | 0.6b | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2)))) |
| ✓ | 17.9b | (/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2)) |
4 calls:
| 233.0ms | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2)))) |
| 91.0ms | (/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2)) |
| 67.0ms | (/.f64 x.im (hypot.f64 y.re y.im)) |
| 17.0ms | (/.f64 y.re (hypot.f64 y.re y.im)) |
| 2× | batch-egg-rewrite |
| 598× | prod-diff_binary64 |
| 594× | egg-rr |
| 254× | log1p-udef_binary64 |
| 152× | add-sqr-sqrt_binary64 |
| 142× | log1p-expm1-u_binary64 |
4 calls:
| 221.0ms | (/.f64 x.im (hypot.f64 y.re y.im)) |
| 221.0ms | (/.f64 y.re (hypot.f64 y.re y.im)) |
| 221.0ms | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2)))) |
| 221.0ms | (/.f64 (*.f64 x.re y.im) (pow.f64 (hypot.f64 y.re y.im) 2)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 58 |
| 1 | 303 | 55 |
| 2 | 3692 | 55 |
| 3 | 5297 | 55 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 869× | times-frac_binary64 |
| 612× | associate-/l*_binary64 |
| 418× | fma-def_binary64 |
| 392× | cancel-sign-sub-inv_binary64 |
| 206× | fma-neg_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 158 | 3852 |
| 1 | 470 | 3682 |
| 2 | 1539 | 3554 |
| 3 | 4966 | 3554 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 696 | 3 | 699 |
| Fresh | 5 | 3 | 8 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 702 | 6 | 708 |
| Status | Error | Program |
| 27.4b | (/.f64 (fma.f64 x.im y.re (fma.f64 x.re (neg.f64 y.im) (fma.f64 x.re (neg.f64 y.im) (*.f64 x.re y.im)))) (fma.f64 y.re y.re (*.f64 y.im y.im))) | |
| ▶ | 1.2b | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (*.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 y.im (hypot.f64 y.re y.im))))) |
| 18.5b | (*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))) 2) (hypot.f64 y.re y.im)) (/.f64 (cbrt.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im))) (hypot.f64 y.re y.im))) | |
| 17.9b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (/.f64 (-.f64 (*.f64 x.im y.re) (*.f64 x.re y.im)) (hypot.f64 y.re y.im))) | |
| 13.9b | (+.f64 (fma.f64 (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (pow.f64 (cbrt.f64 (/.f64 y.re (hypot.f64 y.re y.im))) 2)) (cbrt.f64 (/.f64 y.re (hypot.f64 y.re y.im))) (neg.f64 (*.f64 (*.f64 y.im (pow.f64 (hypot.f64 y.re y.im) -2)) x.re))) (fma.f64 (neg.f64 (*.f64 y.im (pow.f64 (hypot.f64 y.re y.im) -2))) x.re (*.f64 (*.f64 y.im (pow.f64 (hypot.f64 y.re y.im) -2)) x.re))) | |
| 14.1b | (+.f64 (fma.f64 (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (pow.f64 (cbrt.f64 (/.f64 y.re (hypot.f64 y.re y.im))) 2)) (cbrt.f64 (/.f64 y.re (hypot.f64 y.re y.im))) (neg.f64 (*.f64 (/.f64 1 (/.f64 (pow.f64 (hypot.f64 y.re y.im) 2) y.im)) x.re))) (fma.f64 (neg.f64 (/.f64 1 (/.f64 (pow.f64 (hypot.f64 y.re y.im) 2) y.im))) x.re (*.f64 (/.f64 1 (/.f64 (pow.f64 (hypot.f64 y.re y.im) 2) y.im)) x.re))) |
Compiled 35658 to 13080 computations (63.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 y.im (hypot.f64 y.re y.im)) |
| 0.0b | (/.f64 y.re (hypot.f64 y.re y.im)) | |
| ✓ | 0.6b | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (*.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 y.im (hypot.f64 y.re y.im))))) |
| ✓ | 0.7b | (*.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 y.im (hypot.f64 y.re y.im))) |
3 calls:
| 214.0ms | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (*.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 y.im (hypot.f64 y.re y.im))))) |
| 84.0ms | (*.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 y.im (hypot.f64 y.re y.im))) |
| 22.0ms | (/.f64 y.im (hypot.f64 y.re y.im)) |
| 2× | batch-egg-rewrite |
| 691× | prod-diff_binary64 |
| 651× | egg-rr |
| 148× | add-sqr-sqrt_binary64 |
| 137× | log1p-expm1-u_binary64 |
| 137× | expm1-log1p-u_binary64 |
3 calls:
| 220.0ms | (/.f64 y.im (hypot.f64 y.re y.im)) |
| 220.0ms | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (*.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 y.im (hypot.f64 y.re y.im))))) |
| 220.0ms | (*.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 y.im (hypot.f64 y.re y.im))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 57 |
| 1 | 289 | 48 |
| 2 | 3842 | 48 |
| 3 | 5238 | 48 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 813× | fma-neg_binary64 |
| 639× | times-frac_binary64 |
| 404× | associate-/l*_binary64 |
| 311× | associate-/r*_binary64 |
| 286× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 117 | 2912 |
| 1 | 337 | 2778 |
| 2 | 1065 | 2666 |
| 3 | 4687 | 2666 |
| 4 | 5324 | 2666 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 782 | 4 | 786 |
| Fresh | 4 | 1 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 787 | 5 | 792 |
| Status | Error | Program |
| 27.4b | (/.f64 (fma.f64 x.im y.re (fma.f64 x.re (neg.f64 y.im) (fma.f64 x.re (neg.f64 y.im) (*.f64 x.re y.im)))) (fma.f64 y.re y.re (*.f64 y.im y.im))) | |
| 2.3b | (+.f64 (fma.f64 (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (pow.f64 (cbrt.f64 (/.f64 y.re (hypot.f64 y.re y.im))) 2)) (cbrt.f64 (/.f64 y.re (hypot.f64 y.re y.im))) (neg.f64 (*.f64 (/.f64 (/.f64 y.im (hypot.f64 y.re y.im)) (hypot.f64 y.re y.im)) (/.f64 x.re 1)))) (fma.f64 (neg.f64 (/.f64 (/.f64 y.im (hypot.f64 y.re y.im)) (hypot.f64 y.re y.im))) (/.f64 x.re 1) (*.f64 (/.f64 (/.f64 y.im (hypot.f64 y.re y.im)) (hypot.f64 y.re y.im)) (/.f64 x.re 1)))) | |
| ▶ | 0.3b | (+.f64 (fma.f64 (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) y.re) (/.f64 1 (hypot.f64 y.re y.im)) (neg.f64 (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im)))))) (fma.f64 (neg.f64 (/.f64 1 (hypot.f64 y.re y.im))) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))) (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im)))))) |
| 1.3b | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (/.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 (hypot.f64 y.re y.im) y.im)))) | |
| 3.9b | (+.f64 (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (*.f64 (/.f64 y.im (sqrt.f64 (hypot.f64 y.re y.im))) (/.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im)))))) (fma.f64 (neg.f64 (/.f64 y.im (sqrt.f64 (hypot.f64 y.re y.im)))) (/.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) (*.f64 (/.f64 y.im (sqrt.f64 (hypot.f64 y.re y.im))) (/.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im)))))) |
Compiled 43467 to 11601 computations (73.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.4b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im)))) |
| ✓ | 1.1b | (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))) |
| ✓ | 8.7b | (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) y.re) |
| ✓ | 38.2b | (fma.f64 (neg.f64 (/.f64 1 (hypot.f64 y.re y.im))) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))) (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))))) |
4 calls:
| 702.0ms | (fma.f64 (neg.f64 (/.f64 1 (hypot.f64 y.re y.im))) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))) (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))))) |
| 87.0ms | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im)))) |
| 80.0ms | (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))) |
| 73.0ms | (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) y.re) |
| 2× | batch-egg-rewrite |
| 259× | expm1-udef_binary64 |
| 259× | log1p-udef_binary64 |
| 240× | log-pow_binary64 |
| 155× | add-sqr-sqrt_binary64 |
| 147× | associate-*r*_binary64 |
4 calls:
| 78.0ms | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im)))) |
| 78.0ms | (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))) |
| 78.0ms | (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) y.re) |
| 78.0ms | (fma.f64 (neg.f64 (/.f64 1 (hypot.f64 y.re y.im))) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))) (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 71 |
| 1 | 314 | 61 |
| 2 | 3770 | 61 |
| 3 | 5062 | 61 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 658× | associate-/l*_binary64 |
| 542× | fma-neg_binary64 |
| 537× | associate-/r*_binary64 |
| 366× | fma-def_binary64 |
| 301× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 150 | 3260 |
| 1 | 458 | 3128 |
| 2 | 1566 | 3031 |
| 3 | 4714 | 3031 |
| 4 | 5061 | 3031 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 386 | 0 | 386 |
| Fresh | 0 | 4 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 386 | 5 | 391 |
| Status | Error | Program |
| 27.4b | (/.f64 (fma.f64 x.im y.re (fma.f64 x.re (neg.f64 y.im) (fma.f64 x.re (neg.f64 y.im) (*.f64 x.re y.im)))) (fma.f64 y.re y.re (*.f64 y.im y.im))) | |
| 2.3b | (+.f64 (fma.f64 (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (pow.f64 (cbrt.f64 (/.f64 y.re (hypot.f64 y.re y.im))) 2)) (cbrt.f64 (/.f64 y.re (hypot.f64 y.re y.im))) (neg.f64 (*.f64 (/.f64 (/.f64 y.im (hypot.f64 y.re y.im)) (hypot.f64 y.re y.im)) (/.f64 x.re 1)))) (fma.f64 (neg.f64 (/.f64 (/.f64 y.im (hypot.f64 y.re y.im)) (hypot.f64 y.re y.im))) (/.f64 x.re 1) (*.f64 (/.f64 (/.f64 y.im (hypot.f64 y.re y.im)) (hypot.f64 y.re y.im)) (/.f64 x.re 1)))) | |
| ✓ | 0.3b | (+.f64 (fma.f64 (*.f64 (/.f64 x.im (hypot.f64 y.re y.im)) y.re) (/.f64 1 (hypot.f64 y.re y.im)) (neg.f64 (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im)))))) (fma.f64 (neg.f64 (/.f64 1 (hypot.f64 y.re y.im))) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im))) (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (*.f64 x.re (/.f64 y.im (hypot.f64 y.re y.im)))))) |
| 1.3b | (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (/.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (/.f64 (hypot.f64 y.re y.im) y.im)))) | |
| 3.9b | (+.f64 (fma.f64 (/.f64 x.im (hypot.f64 y.re y.im)) (/.f64 y.re (hypot.f64 y.re y.im)) (neg.f64 (*.f64 (/.f64 y.im (sqrt.f64 (hypot.f64 y.re y.im))) (/.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im)))))) (fma.f64 (neg.f64 (/.f64 y.im (sqrt.f64 (hypot.f64 y.re y.im)))) (/.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) (*.f64 (/.f64 y.im (sqrt.f64 (hypot.f64 y.re y.im))) (/.f64 (/.f64 x.re (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im)))))) |
Compiled 23789 to 8248 computations (65.3% saved)
Total 0.7b remaining (81.4%)
Threshold costs 0.7b (81.4%)
Compiled 98898 to 48324 computations (51.1% saved)
| 1× | egg-herbie |
| 31× | distribute-rgt-neg-in_binary64 |
| 23× | cancel-sign-sub-inv_binary64 |
| 20× | distribute-lft-neg-in_binary64 |
| 16× | neg-sub0_binary64 |
| 15× | distribute-lft-neg-out_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 82 |
| 1 | 39 | 80 |
| 2 | 52 | 77 |
| 3 | 64 | 77 |
| 4 | 94 | 77 |
| 5 | 111 | 77 |
| 6 | 135 | 77 |
| 7 | 154 | 77 |
| 8 | 160 | 77 |
| 9 | 156 | 77 |
Compiled 359 to 133 computations (63% saved)
Loading profile data...