Time bar (total: 23.4s)
| 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 |
| 0% | 99.9% | 0.1% | 5 |
| 0% | 99.9% | 0.1% | 6 |
| 23.4% | 51.5% | 25.1% | 7 |
| 24.2% | 50.7% | 25.1% | 8 |
| 24.6% | 50.3% | 25.1% | 9 |
| 36.9% | 25.5% | 37.6% | 10 |
| 37.2% | 25.3% | 37.6% | 11 |
| 37.3% | 25.1% | 37.6% | 12 |
| 43.5% | 12.7% | 43.8% | 13 |
| 43.6% | 12.6% | 43.8% | 14 |
Compiled 32 to 21 computations (34.4% saved)
| 1× | intervals |
| 30.0ms | 256× | body | 128 | valid |
| 4.0ms | 37× | body | 128 | nan |
Compiled 66 to 44 computations (33.3% saved)
| 1× | egg-herbie |
| 1042× | fma-def_binary64 |
| 693× | fma-neg_binary64 |
| 662× | cube-prod_binary64 |
| 522× | pow-sqr_binary64 |
| 453× | associate-/l*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 19 | 20 |
| 1 | 35 | 19 |
| 2 | 57 | 12 |
| 3 | 80 | 9 |
| 4 | 89 | 9 |
| 5 | 216 | 9 |
| 6 | 486 | 9 |
| 7 | 978 | 9 |
| 8 | 1296 | 9 |
| 9 | 1996 | 9 |
| 10 | 2287 | 9 |
| 11 | 3311 | 9 |
| 12 | 4367 | 9 |
| 13 | 4644 | 9 |
| 14 | 4721 | 9 |
| 15 | 4986 | 9 |
| 16 | 4826 | 9 |
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 |
| ▶ | 0.3b | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 31.6b | (/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) |
Compiled 117 to 73 computations (37.6% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 1× | rewrite-expression-head |
| 12× | times-frac_binary64 |
| 10× | *-un-lft-identity_binary64 |
| 10× | add-sqr-sqrt_binary64 |
| 10× | add-cube-cbrt_binary64 |
| 5× | pow1_binary64 |
1 calls:
| 3.0ms | (/.f64 (atan2.f64 im re) (log.f64 base)) |
1 calls:
| 1.5s | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 1× | egg-herbie |
| 763× | fma-neg_binary64 |
| 574× | neg-mul-1_binary64 |
| 543× | neg-sub0_binary64 |
| 429× | sub-neg_binary64 |
| 336× | div-sub_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 65 | 663 |
| 1 | 108 | 615 |
| 2 | 213 | 585 |
| 3 | 384 | 585 |
| 4 | 1312 | 585 |
| 5 | 2948 | 585 |
| 6 | 3524 | 585 |
| 7 | 4593 | 585 |
| 8 | 4969 | 585 |
13 alts after pruning (13 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 48 | 12 | 60 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 49 | 13 | 62 |
| Status | Error | Program |
| 33.4b | (/.f64 (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 base))) (sqrt.f64 (log.f64 base))) | |
| 6.7b | (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 base)) 3)) | |
| 0.3b | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) | |
| 0.9b | (/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re))) | |
| ▶ | 0.3b | (expm1.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) |
| 1.2b | (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (atan2.f64 im re) (cbrt.f64 (log.f64 base)))) | |
| 37.7b | (*.f64 (/.f64 (sqrt.f64 (atan2.f64 im re)) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (sqrt.f64 (atan2.f64 im re)) (cbrt.f64 (log.f64 base)))) | |
| 31.6b | (/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) | |
| 1.7b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (atan2.f64 im re))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (log.f64 base)))) | |
| 1.7b | (*.f64 (*.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (atan2.f64 im re))) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 base))) | |
| 31.4b | (*.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) | |
| 1.4b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) | |
| 1.7b | (/.f64 (*.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (atan2.f64 im re))) (/.f64 (log.f64 base) (cbrt.f64 (atan2.f64 im re)))) |
Compiled 955 to 374 computations (60.8% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) |
| ✓ | 0.2b | (expm1.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) |
| 0.3b | (/.f64 (atan2.f64 im re) (log.f64 base)) |
| 1× | rewrite-expression-head |
| 3× | expm1-log1p-u_binary64 |
| 2× | *-un-lft-identity_binary64 |
| 2× | add-sqr-sqrt_binary64 |
| 2× | add-cube-cbrt_binary64 |
| 2× | add-cbrt-cube_binary64 |
2 calls:
| 1.0ms | (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) |
| 1.0ms | (expm1.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) |
2 calls:
| 4.6s | (expm1.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) |
| 4.5s | (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) |
| 1× | egg-herbie |
| 920× | fma-def_binary64 |
| 384× | unsub-neg_binary64 |
| 366× | times-frac_binary64 |
| 320× | distribute-rgt-in_binary64 |
| 270× | distribute-lft-in_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 48 | 1027 |
| 1 | 66 | 985 |
| 2 | 141 | 985 |
| 3 | 393 | 985 |
| 4 | 1323 | 985 |
| 5 | 3716 | 985 |
| 6 | 4462 | 985 |
| 7 | 4919 | 985 |
| 8 | 4918 | 985 |
15 alts after pruning (15 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 233 | 4 | 237 |
| Fresh | 1 | 11 | 12 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 235 | 15 | 250 |
| Status | Error | Program |
| 31.4b | (expm1.f64 (*.f64 (sqrt.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) (sqrt.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))))) | |
| ▶ | 0.3b | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 0.9b | (expm1.f64 (log1p.f64 (/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re))))) | |
| 1.4b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) | |
| 33.4b | (/.f64 (/.f64 (atan2.f64 im re) (sqrt.f64 (log.f64 base))) (sqrt.f64 (log.f64 base))) | |
| 6.7b | (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 base)) 3)) | |
| 6.8b | (expm1.f64 (cbrt.f64 (pow.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 3))) | |
| 1.2b | (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (atan2.f64 im re) (cbrt.f64 (log.f64 base)))) | |
| 37.7b | (*.f64 (/.f64 (sqrt.f64 (atan2.f64 im re)) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (sqrt.f64 (atan2.f64 im re)) (cbrt.f64 (log.f64 base)))) | |
| 31.6b | (/.f64 (-.f64 (*.f64 (atan2.f64 im re) (log.f64 base)) (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 re re) (*.f64 im im)))) 0)) (+.f64 (*.f64 (log.f64 base) (log.f64 base)) (*.f64 0 0))) | |
| 14.9b | (expm1.f64 (log.f64 (+.f64 1 (/.f64 (atan2.f64 im re) (log.f64 base))))) | |
| 1.7b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (atan2.f64 im re))) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (log.f64 base)))) | |
| 1.7b | (*.f64 (*.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (atan2.f64 im re))) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 base))) | |
| 31.4b | (*.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) | |
| 1.7b | (/.f64 (*.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (atan2.f64 im re))) (/.f64 (log.f64 base) (cbrt.f64 (atan2.f64 im re)))) |
Compiled 1536 to 601 computations (60.9% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (/.f64 1 (log.f64 base)) |
| ✓ | 0.3b | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 1× | rewrite-expression-head |
| 27× | add-sqr-sqrt_binary64 |
| 26× | times-frac_binary64 |
| 21× | *-un-lft-identity_binary64 |
| 20× | add-cube-cbrt_binary64 |
| 16× | associate-*r*_binary64 |
2 calls:
| 16.0ms | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 5.0ms | (/.f64 1 (log.f64 base)) |
2 calls:
| 1.9s | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 473.0ms | (/.f64 1 (log.f64 base)) |
| 1× | egg-herbie |
| 460× | unsub-neg_binary64 |
| 434× | div-sub_binary64 |
| 409× | sub-neg_binary64 |
| 351× | associate-*r/_binary64 |
| 251× | times-frac_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 80 | 1290 |
| 1 | 145 | 1159 |
| 2 | 320 | 1159 |
| 3 | 749 | 1159 |
| 4 | 1828 | 1159 |
| 5 | 3850 | 1159 |
| 6 | 4946 | 1159 |
15 alts after pruning (14 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 191 | 5 | 196 |
| Fresh | 5 | 9 | 14 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 196 | 15 | 211 |
| Status | Error | Program |
| 31.4b | (expm1.f64 (*.f64 (sqrt.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) (sqrt.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))))) | |
| ✓ | 0.3b | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 1.2b | (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (atan2.f64 im re) (cbrt.f64 (log.f64 base)))) | |
| 1.2b | (*.f64 (/.f64 (atan2.f64 im re) (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 1 (cbrt.f64 (log.f64 base)))) | |
| 0.9b | (expm1.f64 (log1p.f64 (/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re))))) | |
| 1.4b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) | |
| 6.7b | (cbrt.f64 (pow.f64 (/.f64 (atan2.f64 im re) (log.f64 base)) 3)) | |
| ▶ | 0.7b | (*.f64 (atan2.f64 im re) (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))))) |
| 33.6b | (*.f64 (atan2.f64 im re) (exp.f64 (neg.f64 (log.f64 (log.f64 base))))) | |
| 6.8b | (cbrt.f64 (*.f64 (*.f64 (*.f64 (atan2.f64 im re) (atan2.f64 im re)) (atan2.f64 im re)) (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))))) | |
| 6.8b | (expm1.f64 (cbrt.f64 (pow.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) 3))) | |
| 14.9b | (expm1.f64 (log.f64 (+.f64 1 (/.f64 (atan2.f64 im re) (log.f64 base))))) | |
| 1.7b | (*.f64 (*.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (atan2.f64 im re))) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 base))) | |
| 31.4b | (*.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) | |
| 0.8b | (*.f64 (atan2.f64 im re) (cbrt.f64 (/.f64 (*.f64 (*.f64 1 1) 1) (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base))))) |
Compiled 1873 to 890 computations (52.5% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (atan2.f64 im re) (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))))) |
| ✓ | 0.4b | (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))) |
| ✓ | 0.5b | (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) |
| ✓ | 0.6b | (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base)))) |
| 1× | rewrite-expression-head |
| 295× | add-exp-log_binary64 |
| 149× | prod-exp_binary64 |
| 114× | div-exp_binary64 |
| 86× | times-frac_binary64 |
| 82× | pow1_binary64 |
4 calls:
| 36.0ms | (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))) |
| 25.0ms | (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) |
| 20.0ms | (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base)))) |
| 9.0ms | (*.f64 (atan2.f64 im re) (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))))) |
4 calls:
| 1.6s | (*.f64 (atan2.f64 im re) (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))))) |
| 491.0ms | (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))) |
| 471.0ms | (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) |
| 461.0ms | (cbrt.f64 (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base)))) |
| 1× | egg-herbie |
| 620× | unswap-sqr_binary64 |
| 496× | fma-def_binary64 |
| 492× | times-frac_binary64 |
| 321× | log-prod_binary64 |
| 288× | associate-/l*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 211 | 5682 |
| 1 | 330 | 4021 |
| 2 | 813 | 3580 |
| 3 | 2204 | 3449 |
| 4 | 3929 | 3353 |
| 5 | 4963 | 3353 |
| 6 | 4949 | 3353 |
14 alts after pruning (13 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 700 | 5 | 705 |
| Fresh | 5 | 8 | 13 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 706 | 14 | 720 |
| Status | Error | Program |
| 31.4b | (expm1.f64 (*.f64 (sqrt.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) (sqrt.f64 (log1p.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))))) | |
| ✓ | 0.3b | (*.f64 (atan2.f64 im re) (/.f64 1 (log.f64 base))) |
| 33.8b | (*.f64 (atan2.f64 im re) (cbrt.f64 (exp.f64 (*.f64 (log.f64 (log.f64 base)) -3)))) | |
| 0.8b | (*.f64 (atan2.f64 im re) (cbrt.f64 (pow.f64 (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base)) -1))) | |
| 1.0b | (/.f64 (*.f64 (atan2.f64 im re) (cbrt.f64 (/.f64 1 (log.f64 base)))) (cbrt.f64 (*.f64 (log.f64 base) (log.f64 base)))) | |
| 1.7b | (*.f64 (*.f64 (cbrt.f64 (atan2.f64 im re)) (cbrt.f64 (atan2.f64 im re))) (/.f64 (cbrt.f64 (atan2.f64 im re)) (log.f64 base))) | |
| 0.9b | (expm1.f64 (log1p.f64 (/.f64 1 (/.f64 (log.f64 base) (atan2.f64 im re))))) | |
| 1.4b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) (cbrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) | |
| 33.6b | (*.f64 (atan2.f64 im re) (exp.f64 (neg.f64 (log.f64 (log.f64 base))))) | |
| 6.8b | (cbrt.f64 (*.f64 (*.f64 (*.f64 (atan2.f64 im re) (atan2.f64 im re)) (atan2.f64 im re)) (*.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))) (/.f64 1 (log.f64 base))))) | |
| 1.2b | (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (log.f64 base)) (cbrt.f64 (log.f64 base)))) (/.f64 (atan2.f64 im re) (cbrt.f64 (log.f64 base)))) | |
| 0.8b | (/.f64 (*.f64 (atan2.f64 im re) (cbrt.f64 (*.f64 (/.f64 1 (log.f64 base)) (/.f64 1 (log.f64 base))))) (cbrt.f64 (log.f64 base))) | |
| 0.6b | (/.f64 (atan2.f64 im re) (cbrt.f64 (*.f64 (*.f64 (log.f64 base) (log.f64 base)) (log.f64 base)))) | |
| 31.4b | (*.f64 (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base))) (sqrt.f64 (/.f64 (atan2.f64 im re) (log.f64 base)))) |
Compiled 8590 to 4567 computations (46.8% saved)
Total 0.3b remaining (86.5%)
Threshold costs 0.3b (86.5%)
Compiled 13436 to 9246 computations (31.2% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 9 |
| 1 | 7 | 9 |
Compiled 9 to 6 computations (33.3% saved)
| 1× | intervals |
| 1.8s | 8000× | body | 128 | valid |
| 216.0ms | 1081× | body | 128 | nan |
Compiled 303 to 178 computations (41.3% saved)
Loading profile data...