Time bar (total: 12.8s)
| 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 |
| 9.4% | 90.4% | 0.2% | 6 |
| 17.2% | 82.7% | 0.2% | 7 |
| 19.5% | 80.3% | 0.2% | 8 |
| 30.8% | 69% | 0.2% | 9 |
| 35.5% | 64.3% | 0.2% | 10 |
| 42.4% | 57.4% | 0.2% | 11 |
| 47.1% | 52.7% | 0.2% | 12 |
| 48.9% | 50.8% | 0.3% | 13 |
| 50% | 49.7% | 0.4% | 14 |
Compiled 42 to 20 computations (52.4% saved)
| 2.3s | 2484× | body | 1024 | invalid |
| 1.9s | 7818× | body | 128 | valid |
| 702.0ms | 1016× | body | 512 | invalid |
| 180.0ms | 189× | body | 1024 | valid |
| 167.0ms | 399× | body | 256 | invalid |
| 142.0ms | 595× | body | 128 | invalid |
| 94.0ms | 141× | body | 512 | valid |
| 48.0ms | 34× | body | 2048 | invalid |
| 37.0ms | 22× | body | 2048 | valid |
| 35.0ms | 86× | body | 256 | valid |
Compiled 125 to 59 computations (52.8% saved)
| 1× | egg-herbie |
| 892× | unswap-sqr_binary64 |
| 451× | associate-/l*_binary64 |
| 320× | associate-/r*_binary64 |
| 273× | associate-*l/_binary64 |
| 263× | associate-*r/_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 40 |
| 1 | 39 | 38 |
| 2 | 76 | 38 |
| 3 | 126 | 38 |
| 4 | 286 | 38 |
| 5 | 1096 | 38 |
| 6 | 4141 | 38 |
| 1× | node limit |
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 |
| ▶ | 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) |
| 32.0b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) |
Compiled 206 to 97 computations (52.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.5b | (*.f64 y.re (atan2.f64 x.im x.re)) |
| ✓ | 0.5b | (exp.f64 (atan2.f64 x.im x.re)) |
| ✓ | 0.5b | (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im) |
| ✓ | 33.2b | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) |
4 calls:
| 399.0ms | (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im) |
| 80.0ms | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) |
| 6.0ms | (*.f64 y.re (atan2.f64 x.im x.re)) |
| 4.0ms | (exp.f64 (atan2.f64 x.im x.re)) |
| 1× | batch-egg-rewrite |
| 609× | log-prod_binary64 |
| 253× | prod-diff_binary64 |
| 232× | expm1-udef_binary64 |
| 232× | log1p-udef_binary64 |
| 230× | log-pow_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 40 |
| 1 | 256 | 40 |
| 2 | 3055 | 40 |
| 1× | node limit |
4 calls:
| 55.0ms | (*.f64 y.re (atan2.f64 x.im x.re)) |
| 55.0ms | (exp.f64 (atan2.f64 x.im x.re)) |
| 55.0ms | (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im) |
| 55.0ms | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) |
| 1× | egg-herbie |
| 714× | fma-def_binary64 |
| 370× | associate-*r*_binary64 |
| 225× | *-commutative_binary64 |
| 218× | associate-*l*_binary64 |
| 218× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 315 | 3589 |
| 1 | 1022 | 3343 |
| 2 | 4475 | 3327 |
| 1× | node limit |
12 alts after pruning (12 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 139 | 11 | 150 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 140 | 12 | 152 |
| Status | Error | Program |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 10.7b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (fma.f64 (*.f64 y.im y.im) (*.f64 (pow.f64 (atan2.f64 x.im x.re) 2) 1/2) (fma.f64 y.im (atan2.f64 x.im x.re) 1))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) | |
| 8.1b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))))) | |
| 8.0b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) | |
| 35.8b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im)))) | |
| 35.9b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 7.6b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) y.im)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 32.0b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) | |
| ▶ | 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))) |
| 15.6b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (-.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 y.im (*.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) (*.f64 1/2 (*.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 y.im (*.f64 y.im (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2)))))))) |
Compiled 8314 to 2798 computations (66.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.5b | (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im) | |
| ✓ | 0.6b | (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3) |
| ✓ | 6.8b | (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) |
| ✓ | 33.1b | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))) |
3 calls:
| 712.0ms | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))) |
| 655.0ms | (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3) |
| 575.0ms | (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) |
| 1× | batch-egg-rewrite |
| 586× | log-prod_binary64 |
| 349× | prod-diff_binary64 |
| 227× | expm1-udef_binary64 |
| 227× | log1p-udef_binary64 |
| 214× | log-pow_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 34 |
| 1 | 276 | 34 |
| 2 | 3037 | 34 |
| 1× | node limit |
3 calls:
| 50.0ms | (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3) |
| 50.0ms | (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) |
| 50.0ms | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))) |
| 1× | egg-herbie |
| 603× | fma-def_binary64 |
| 321× | associate-*r*_binary64 |
| 219× | sub-neg_binary64 |
| 218× | times-frac_binary64 |
| 208× | *-commutative_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 317 | 4479 |
| 1 | 1002 | 4161 |
| 2 | 4300 | 4113 |
| 1× | node limit |
12 alts after pruning (11 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 184 | 1 | 185 |
| Fresh | 1 | 10 | 11 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 185 | 12 | 197 |
| Status | Error | Program |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 10.7b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (fma.f64 (*.f64 y.im y.im) (*.f64 (pow.f64 (atan2.f64 x.im x.re) 2) 1/2) (fma.f64 y.im (atan2.f64 x.im x.re) 1))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| ▶ | 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) |
| 8.1b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))))) | |
| 8.0b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) | |
| 35.8b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 (log.f64 (/.f64 -1 x.im)) y.im)))) | |
| 15.6b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (-.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 y.im (*.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) (*.f64 1/2 (*.f64 (*.f64 y.im y.im) (*.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))))))) | |
| 35.9b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 7.6b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) y.im)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 32.0b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) | |
| ✓ | 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))) |
Compiled 9515 to 3187 computations (66.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.5b | (*.f64 y.re (atan2.f64 x.im x.re)) | |
| 0.5b | (exp.f64 (atan2.f64 x.im x.re)) | |
| 0.5b | (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im) | |
| 33.2b | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) |
12 alts after pruning (10 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 146 | 4 | 150 |
| Fresh | 4 | 6 | 10 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 150 | 12 | 162 |
| Status | Error | Program |
| ✓ | 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) |
| 8.1b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))))) | |
| ▶ | 7.6b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))) |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) | |
| ✓ | 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))) |
| 35.8b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (/.f64 -1 x.im))))) 3))) | |
| 8.0b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) | |
| 10.7b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (fma.f64 (*.f64 y.im y.im) (*.f64 (pow.f64 (atan2.f64 x.im x.re) 2) 1/2) (fma.f64 y.im (atan2.f64 x.im x.re) 1))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) | |
| 15.6b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (-.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 y.im (*.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) (*.f64 1/2 (*.f64 (*.f64 y.im y.im) (*.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))))))) | |
| 35.9b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) | |
| 32.0b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) |
Compiled 8724 to 3236 computations (62.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.5b | (*.f64 y.re (atan2.f64 x.im x.re)) | |
| 0.5b | (exp.f64 (atan2.f64 x.im x.re)) | |
| 0.5b | (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im) | |
| 33.2b | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) |
14 alts after pruning (12 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 147 | 3 | 150 |
| Fresh | 0 | 9 | 9 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 148 | 14 | 162 |
| Status | Error | Program |
| ✓ | 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) |
| 8.1b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) | |
| 8.9b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))) (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)))))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))) | |
| 23.1b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (sqrt.f64 (pow.f64 (+.f64 (*.f64 (cos.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (cos.f64 1)) (*.f64 (sin.f64 (exp.f64 (log1p.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))))) (sin.f64 1))) 2))) | |
| 32.0b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))) | |
| ✓ | 7.2b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (pow.f64 (cbrt.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3)))) |
| 35.8b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (-.f64 (*.f64 y.re (atan2.f64 x.im x.re)) (*.f64 y.im (log.f64 (/.f64 -1 x.im))))) 3))) | |
| 8.0b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) | |
| 10.7b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (fma.f64 (*.f64 y.im y.im) (*.f64 (pow.f64 (atan2.f64 x.im x.re) 2) 1/2) (fma.f64 y.im (atan2.f64 x.im x.re) 1))) (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))) (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) (log.f64 (cbrt.f64 (exp.f64 (exp.f64 (atan2.f64 x.im x.re)))))) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) | |
| 15.6b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (-.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 y.im (*.f64 (log.f64 (hypot.f64 x.im x.re)) (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) (*.f64 1/2 (*.f64 (*.f64 y.im y.im) (*.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))))))) | |
| 6.9b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 y.im (atan2.f64 x.im x.re)))) (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 2))) | |
| 35.9b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (pow.f64 (exp.f64 (atan2.f64 x.im x.re)) y.im)) (cbrt.f64 (pow.f64 (cos.f64 (fma.f64 (log.f64 x.im) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) 3))) |
Compiled 8411 to 3083 computations (63.3% saved)
Total 1.7b remaining (28%)
Threshold costs 0b (0%)
Compiled 15647 to 8420 computations (46.2% saved)
Compiled 41 to 19 computations (53.7% saved)
| 1× | egg-herbie |
| 9× | *-commutative_binary64 |
| 6× | +-commutative_binary64 |
| 4× | sub-neg_binary64 |
| 3× | neg-sub0_binary64 |
| 3× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 36 | 164 |
| 1 | 49 | 164 |
| 2 | 60 | 164 |
| 3 | 66 | 164 |
| 4 | 70 | 164 |
| 5 | 71 | 164 |
| 1× | saturated |
Compiled 813 to 359 computations (55.8% saved)
Loading profile data...