Time bar (total: 10.5s)
| 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)
| 1× | intervals |
| 62.0ms | 91× | body | 1024 | invalid |
| 36.0ms | 243× | body | 128 | valid |
| 15.0ms | 36× | body | 512 | invalid |
| 4.0ms | 5× | body | 1024 | valid |
| 3.0ms | 12× | body | 256 | invalid |
| 3.0ms | 23× | body | 128 | invalid |
| 2.0ms | 5× | body | 512 | valid |
| 1.0ms | 1× | body | 2048 | valid |
| 1.0ms | 1× | body | 2048 | invalid |
| 1.0ms | 2× | body | 256 | valid |
Compiled 87 to 43 computations (50.6% saved)
| 1× | egg-herbie |
| 892× | unswap-sqr_binary64 |
| 461× | associate-/l*_binary64 |
| 323× | associate-/r*_binary64 |
| 296× | associate-*l/_binary64 |
| 286× | associate-*r/_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 20 | 40 |
| 1 | 39 | 38 |
| 2 | 70 | 38 |
| 3 | 118 | 38 |
| 4 | 263 | 38 |
| 5 | 996 | 38 |
| 6 | 3043 | 38 |
| 7 | 4085 | 38 |
| 8 | 4541 | 38 |
| 9 | 4866 | 38 |
| 10 | 4932 | 38 |
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 |
| ▶ | 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.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))))) |
| 33.8b | (*.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 96 computations (53.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) |
| ✓ | 1.4b | (*.f64 y.re (atan2.f64 x.im x.re)) |
| ✓ | 1.9b | (*.f64 (atan2.f64 x.im x.re) y.im) |
| ✓ | 31.5b | (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:
| 591.0ms | (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) |
| 112.0ms | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) |
| 7.0ms | (*.f64 (atan2.f64 x.im x.re) y.im) |
| 7.0ms | (*.f64 y.re (atan2.f64 x.im x.re)) |
| 1× | rewrite-expression-head |
| 28× | add-sqr-sqrt_binary64 |
| 24× | *-un-lft-identity_binary64 |
| 24× | add-cube-cbrt_binary64 |
| 21× | times-frac_binary64 |
| 12× | unpow-prod-down_binary64 |
4 calls:
| 5.0ms | (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) |
| 3.0ms | (*.f64 y.re (atan2.f64 x.im x.re)) |
| 3.0ms | (*.f64 (atan2.f64 x.im x.re) y.im) |
| 1.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 |
| 723× | times-frac_binary64 |
| 676× | fma-def_binary64 |
| 672× | associate-/l*_binary64 |
| 276× | *-commutative_binary64 |
| 164× | cancel-sign-sub-inv_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 704 | 9231 |
| 1 | 2205 | 8440 |
| 2 | 4490 | 8380 |
| 3 | 4964 | 8380 |
| 4 | 4875 | 8380 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 263 | 8 | 271 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 265 | 8 | 273 |
| Status | Error | Program |
| 17.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (-.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 1/2 (*.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 (*.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (*.f64 (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.im (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))) | |
| 8.4b | (*.f64 (expm1.f64 (log1p.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.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))))) | |
| 8.6b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.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 (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 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))) | |
| 36.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.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))))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log1p.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.6b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (*.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))))) |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (*.f64 (atan2.f64 x.im x.re) (*.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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))))) |
Compiled 15251 to 4826 computations (68.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) |
| 1.4b | (*.f64 y.re (atan2.f64 x.im x.re)) | |
| 1.9b | (*.f64 (atan2.f64 x.im x.re) y.im) | |
| 31.5b | (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re)))) |
1 calls:
| 677.0ms | (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) |
| 1× | rewrite-expression-head |
| 5× | add-sqr-sqrt_binary64 |
| 4× | associate-*l*_binary64 |
| 4× | pow1_binary64 |
| 3× | associate-*r*_binary64 |
| 3× | *-un-lft-identity_binary64 |
1 calls:
| 3.0ms | (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) |
| 1× | egg-herbie |
| 583× | associate-/r/_binary64 |
| 506× | associate-/l/_binary64 |
| 259× | times-frac_binary64 |
| 249× | fma-def_binary64 |
| 217× | distribute-rgt-neg-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 119 | 1306 |
| 1 | 335 | 1108 |
| 2 | 828 | 1108 |
| 3 | 2818 | 1087 |
| 4 | 5391 | 1087 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 200 | 1 | 201 |
| Fresh | 1 | 6 | 7 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 202 | 7 | 209 |
| Status | Error | Program |
| 17.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (-.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 1/2 (*.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 (*.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (*.f64 (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.im (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))) | |
| 8.4b | (*.f64 (expm1.f64 (log1p.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.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))))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.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 (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 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))) | |
| 36.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.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))))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log1p.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.8b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re)))) |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (*.f64 (atan2.f64 x.im x.re) (*.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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))))) |
Compiled 10048 to 3282 computations (67.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.3b | (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) | |
| 1.4b | (*.f64 y.re (atan2.f64 x.im x.re)) | |
| 1.9b | (*.f64 (atan2.f64 x.im x.re) y.im) | |
| ✓ | 16.9b | (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) |
1 calls:
| 18.0ms | (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) |
| 1× | rewrite-expression-head |
| 1× | *-un-lft-identity_binary64 |
| 1× | add-sqr-sqrt_binary64 |
| 1× | add-cube-cbrt_binary64 |
| 1× | add-cbrt-cube_binary64 |
| 1× | add-exp-log_binary64 |
1 calls:
| 1.0ms | (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) |
| 1× | egg-herbie |
| 707× | distribute-rgt-neg-in_binary64 |
| 572× | distribute-lft-neg-in_binary64 |
| 501× | neg-mul-1_binary64 |
| 460× | fma-def_binary64 |
| 391× | cancel-sign-sub-inv_binary64 |
Useful iterations: 6 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 40 | 242 |
| 1 | 91 | 219 |
| 2 | 235 | 215 |
| 3 | 945 | 213 |
| 4 | 2500 | 207 |
| 5 | 3875 | 204 |
| 6 | 4774 | 195 |
| 7 | 4997 | 195 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 145 | 1 | 146 |
| Fresh | 1 | 5 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 147 | 6 | 153 |
| Status | Error | Program |
| ▶ | 3.8b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))) |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log1p.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) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.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 (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 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))) | |
| 36.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.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))))) | |
| 17.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (-.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 1/2 (*.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 (*.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (*.f64 (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.im (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (*.f64 (atan2.f64 x.im x.re) (*.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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))))) |
Compiled 4708 to 1500 computations (68.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.3b | (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) | |
| 1.4b | (*.f64 y.re (atan2.f64 x.im x.re)) | |
| 1.9b | (*.f64 (atan2.f64 x.im x.re) y.im) | |
| 16.9b | (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 146 | 0 | 146 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 146 | 6 | 152 |
| Status | Error | Program |
| ✓ | 3.8b | (*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (hypot.f64 x.re x.im)) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (cbrt.f64 (pow.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) 3))) |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (expm1.f64 (log1p.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) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (*.f64 (*.f64 (cbrt.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 (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 (cos.f64 (fma.f64 (log.f64 (hypot.f64 x.re x.im)) y.im (*.f64 y.re (atan2.f64 x.im x.re))))))) | |
| 36.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.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))))) | |
| 17.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (atan2.f64 x.im x.re) y.im))) (-.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (fma.f64 1/2 (*.f64 (cos.f64 (*.f64 y.re (atan2.f64 x.im x.re))) (*.f64 (*.f64 y.im y.im) (pow.f64 (log.f64 (hypot.f64 x.im x.re)) 2))) (*.f64 (log.f64 (hypot.f64 x.im x.re)) (*.f64 y.im (sin.f64 (*.f64 y.re (atan2.f64 x.im x.re)))))))) | |
| 8.4b | (*.f64 (/.f64 (pow.f64 (hypot.f64 x.re x.im) y.re) (exp.f64 (*.f64 (*.f64 (atan2.f64 x.im x.re) (*.f64 (cbrt.f64 y.im) (cbrt.f64 y.im))) (cbrt.f64 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))))) |
Compiled 4911 to 1828 computations (62.8% saved)
Total 0.4b remaining (12.3%)
Threshold costs 0.4b (12.3%)
Compiled 14772 to 8600 computations (41.8% saved)
| 1× | egg-herbie |
| 7× | *-commutative_binary64 |
| 4× | +-commutative_binary64 |
| 4× | sub-neg_binary64 |
| 3× | neg-sub0_binary64 |
| 3× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 40 |
| 1 | 25 | 40 |
| 2 | 35 | 40 |
| 3 | 41 | 40 |
| 4 | 45 | 40 |
| 5 | 46 | 40 |
| 6 | 46 | 40 |
Compiled 30 to 15 computations (50% saved)
| 1× | intervals |
| 1.6s | 2386× | body | 1024 | invalid |
| 1.1s | 7598× | body | 128 | valid |
| 442.0ms | 1013× | body | 512 | invalid |
| 130.0ms | 450× | body | 256 | invalid |
| 104.0ms | 153× | body | 1024 | valid |
| 88.0ms | 604× | body | 128 | invalid |
| 65.0ms | 156× | body | 512 | valid |
| 34.0ms | 30× | body | 2048 | invalid |
| 23.0ms | 82× | body | 256 | valid |
| 15.0ms | 11× | body | 2048 | valid |
Compiled 311 to 150 computations (51.8% saved)
Loading profile data...