Time bar (total: 5.7s)
| 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.0s | 8256× | body | 128 | valid |
| 56.0ms | 475× | body | 128 | invalid |
Compiled 59 to 35 computations (40.7% saved)
| 1× | egg-herbie |
| 6× | fma-def_binary64 |
| 2× | +-commutative_binary64 |
| 2× | *-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 18 |
| 1 | 18 | 18 |
| 2 | 22 | 18 |
| 1× | saturated |
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.6b | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
Compiled 66 to 32 computations (51.5% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (fma.f64 x.re y.re (*.f64 x.im y.im)) |
| ✓ | 27.1b | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
2 calls:
| 69.0ms | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
| 11.0ms | (fma.f64 x.re y.re (*.f64 x.im y.im)) |
| 1× | batch-egg-rewrite |
| 512× | log-prod_binary64 |
| 271× | prod-diff_binary64 |
| 186× | expm1-udef_binary64 |
| 186× | log1p-udef_binary64 |
| 174× | log-pow_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 26 |
| 1 | 203 | 25 |
| 2 | 2589 | 25 |
| 1× | node limit |
2 calls:
| 49.0ms | (fma.f64 x.re y.re (*.f64 x.im y.im)) |
| 49.0ms | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
| 1× | egg-herbie |
| 608× | associate-*l/_binary64 |
| 519× | fma-def_binary64 |
| 455× | associate-/r/_binary64 |
| 341× | fma-neg_binary64 |
| 284× | associate-/l/_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 41 | 1626 |
| 1 | 114 | 1542 |
| 2 | 358 | 1458 |
| 3 | 1827 | 1410 |
| 1× | node limit |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 83 | 7 | 90 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 83 | 8 | 91 |
| Status | Error | Program |
| 24.4b | (fma.f64 x.im (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re)) | |
| 28.0b | (*.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (*.f64 x.im y.im))) 2) (*.f64 (cbrt.f64 (fma.f64 x.re y.re (*.f64 x.im y.im))) (/.f64 1 (pow.f64 (hypot.f64 y.re y.im) 2)))) | |
| ✓ | 27.6b | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (fma.f64 y.re y.re (*.f64 y.im y.im))) |
| 34.8b | (/.f64 x.re y.re) | |
| 34.5b | (fma.f64 y.re (/.f64 x.re (*.f64 y.im y.im)) (/.f64 x.im y.im)) | |
| ▶ | 18.8b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im))) |
| 37.3b | (/.f64 x.im y.im) | |
| 28.0b | (*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x.re y.re (*.f64 x.im y.im))) 2) 1) (/.f64 (cbrt.f64 (fma.f64 x.re y.re (*.f64 x.im y.im))) (pow.f64 (hypot.f64 y.re y.im) 2))) |
Compiled 1915 to 675 computations (64.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 1 (hypot.f64 y.re y.im)) |
| ✓ | 0.2b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im))) |
| 0.3b | (fma.f64 x.re y.re (*.f64 x.im y.im)) | |
| ✓ | 17.6b | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) |
3 calls:
| 98.0ms | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) |
| 89.0ms | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im))) |
| 13.0ms | (/.f64 1 (hypot.f64 y.re y.im)) |
| 1× | batch-egg-rewrite |
| 614× | log-prod_binary64 |
| 254× | prod-diff_binary64 |
| 213× | expm1-udef_binary64 |
| 213× | log1p-udef_binary64 |
| 200× | log-pow_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 41 |
| 1 | 246 | 38 |
| 2 | 3155 | 38 |
| 1× | node limit |
3 calls:
| 62.0ms | (/.f64 1 (hypot.f64 y.re y.im)) |
| 62.0ms | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im))) |
| 62.0ms | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) |
| 1× | egg-herbie |
| 600× | times-frac_binary64 |
| 438× | associate-/l*_binary64 |
| 334× | associate-/r*_binary64 |
| 329× | fma-def_binary64 |
| 322× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 119 | 3272 |
| 1 | 379 | 2866 |
| 2 | 1332 | 2666 |
| 1× | node limit |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 235 | 7 | 242 |
| Fresh | 5 | 1 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 1 | 0 | 1 |
| Total | 242 | 8 | 250 |
| Status | Error | Program |
| 24.4b | (fma.f64 x.im (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re)) | |
| ▶ | 18.9b | (/.f64 (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) (sqrt.f64 (hypot.f64 y.re y.im))) |
| 46.2b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (fma.f64 (/.f64 y.im y.re) x.im x.re)) | |
| 42.2b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (fma.f64 (/.f64 x.re y.im) y.re x.im)) | |
| 31.8b | (fma.f64 (/.f64 y.im y.re) (/.f64 x.im y.re) (/.f64 x.re y.re)) | |
| 32.2b | (fma.f64 (/.f64 y.re y.im) (/.f64 x.re y.im) (/.f64 x.im y.im)) | |
| 43.5b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (-.f64 (*.f64 1/2 (*.f64 (/.f64 x.re y.re) (*.f64 (/.f64 y.im y.re) y.im))) (fma.f64 (/.f64 y.im y.re) x.im x.re))) | |
| 27.1b | (+.f64 0 (*.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (pow.f64 (hypot.f64 y.re y.im) -2))) |
Compiled 5556 to 2071 computations (62.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.3b | (fma.f64 x.re y.re (*.f64 x.im y.im)) | |
| ✓ | 0.3b | (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) |
| ✓ | 0.3b | (/.f64 (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) (sqrt.f64 (hypot.f64 y.re y.im))) |
| 17.6b | (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) |
2 calls:
| 180.0ms | (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) |
| 96.0ms | (/.f64 (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) (sqrt.f64 (hypot.f64 y.re y.im))) |
| 1× | batch-egg-rewrite |
| 302× | prod-diff_binary64 |
| 234× | expm1-udef_binary64 |
| 234× | log1p-udef_binary64 |
| 130× | add-sqr-sqrt_binary64 |
| 121× | log1p-expm1-u_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 42 |
| 1 | 257 | 34 |
| 2 | 3630 | 34 |
| 1× | node limit |
2 calls:
| 65.0ms | (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) |
| 65.0ms | (/.f64 (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) (sqrt.f64 (hypot.f64 y.re y.im))) |
| 1× | egg-herbie |
| 843× | fma-neg_binary64 |
| 361× | associate-*r*_binary64 |
| 339× | associate-*l*_binary64 |
| 291× | cancel-sign-sub-inv_binary64 |
| 269× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 98 | 3222 |
| 1 | 278 | 2436 |
| 2 | 935 | 2315 |
| 3 | 4195 | 2315 |
| 1× | node limit |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 249 | 1 | 250 |
| Fresh | 0 | 7 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 249 | 9 | 258 |
| Status | Error | Program |
| ▶ | 24.4b | (fma.f64 x.im (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re)) |
| ✓ | 18.9b | (/.f64 (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) (sqrt.f64 (hypot.f64 y.re y.im))) |
| 46.2b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (fma.f64 (/.f64 y.im y.re) x.im x.re)) | |
| 46.3b | (/.f64 (/.f64 (fma.f64 (/.f64 y.im y.re) x.im x.re) (sqrt.f64 (hypot.f64 y.re y.im))) (sqrt.f64 (hypot.f64 y.re y.im))) | |
| 42.2b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (fma.f64 (/.f64 x.re y.im) y.re x.im)) | |
| 31.8b | (fma.f64 (/.f64 y.im y.re) (/.f64 x.im y.re) (/.f64 x.re y.re)) | |
| 32.2b | (fma.f64 (/.f64 y.re y.im) (/.f64 x.re y.im) (/.f64 x.im y.im)) | |
| 43.5b | (*.f64 (/.f64 1 (hypot.f64 y.re y.im)) (-.f64 (*.f64 1/2 (*.f64 (/.f64 x.re y.re) (*.f64 (/.f64 y.im y.re) y.im))) (fma.f64 (/.f64 y.im y.re) x.im x.re))) | |
| 27.1b | (+.f64 0 (*.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (pow.f64 (hypot.f64 y.re y.im) -2))) |
Compiled 6659 to 2168 computations (67.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 1.3b | (fma.f64 x.im (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re)) |
| ✓ | 2.6b | (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re) |
| ✓ | 17.3b | (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) |
| ✓ | 19.2b | (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) |
4 calls:
| 120.0ms | (fma.f64 x.im (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re)) |
| 63.0ms | (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re) |
| 14.0ms | (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) |
| 12.0ms | (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) |
| 1× | batch-egg-rewrite |
| 359× | prod-diff_binary64 |
| 210× | expm1-udef_binary64 |
| 210× | log1p-udef_binary64 |
| 195× | log-pow_binary64 |
| 117× | egg-rr |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 64 |
| 1 | 229 | 59 |
| 2 | 3067 | 59 |
| 1× | node limit |
4 calls:
| 56.0ms | (fma.f64 x.im (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re)) |
| 56.0ms | (*.f64 (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) x.re) |
| 56.0ms | (/.f64 y.re (fma.f64 y.im y.im (*.f64 y.re y.re))) |
| 56.0ms | (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) |
| 1× | egg-herbie |
| 443× | times-frac_binary64 |
| 364× | associate-/l*_binary64 |
| 310× | sub-neg_binary64 |
| 301× | associate-/r*_binary64 |
| 279× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 110 | 3318 |
| 1 | 281 | 3210 |
| 2 | 891 | 3069 |
| 3 | 4633 | 3069 |
| 1× | node limit |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 180 | 3 | 183 |
| Fresh | 3 | 4 | 7 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 184 | 8 | 192 |
| Status | Error | Program |
| 31.8b | (fma.f64 (/.f64 y.im y.re) (/.f64 x.im y.re) (/.f64 x.re y.re)) | |
| 25.9b | (+.f64 (*.f64 (/.f64 y.re (pow.f64 (hypot.f64 y.im y.re) 2)) x.re) (/.f64 (*.f64 x.im y.im) (pow.f64 (hypot.f64 y.im y.re) 2))) | |
| 14.1b | (fma.f64 x.im (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) (*.f64 (*.f64 (/.f64 1 (hypot.f64 y.im y.re)) (/.f64 y.re (hypot.f64 y.im y.re))) x.re)) | |
| 27.1b | (+.f64 0 (*.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (pow.f64 (hypot.f64 y.re y.im) -2))) | |
| ✓ | 18.9b | (/.f64 (/.f64 (/.f64 (fma.f64 x.re y.re (*.f64 x.im y.im)) (hypot.f64 y.re y.im)) (sqrt.f64 (hypot.f64 y.re y.im))) (sqrt.f64 (hypot.f64 y.re y.im))) |
| 46.3b | (/.f64 (/.f64 (fma.f64 (/.f64 y.im y.re) x.im x.re) (sqrt.f64 (hypot.f64 y.re y.im))) (sqrt.f64 (hypot.f64 y.re y.im))) | |
| 32.2b | (fma.f64 (/.f64 y.re y.im) (/.f64 x.re y.im) (/.f64 x.im y.im)) | |
| 14.6b | (fma.f64 x.im (/.f64 y.im (fma.f64 y.im y.im (*.f64 y.re y.re))) (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 y.re) 2) (hypot.f64 y.im y.re)) (/.f64 (cbrt.f64 y.re) (hypot.f64 y.im y.re))) x.re)) |
Compiled 4713 to 1885 computations (60% saved)
Total 6.0b remaining (98.5%)
Threshold costs 0b (0%)
Compiled 16378 to 9554 computations (41.7% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 7 | 6.562056014661816e+146 | 1.3431863955885362e+149 | 2.8787453566117075e+148 |
| 5 | 4.99906880909566e-176 | 1.908895327455839e-175 | 1.642430271924372e-175 |
| 7 | -1.2099652610369252e-134 | -2.478227783215375e-136 | -6.458426761032663e-136 |
| 7 | -5.736318420317651e+152 | -4.5476779251414906e+150 | -5.165129542917535e+152 |
Compiled 5 to 4 computations (20% saved)
| 1× | egg-herbie |
| 2× | *-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 36 | 132 |
| 1 | 40 | 132 |
| 1× | saturated |
Compiled 363 to 171 computations (52.9% saved)
Loading profile data...