Time bar (total: 6.1s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 74.9% | 25% | 0.1% | 3 |
| 87.4% | 12.5% | 0.1% | 4 |
| 93.7% | 6.2% | 0.1% | 5 |
| 96.8% | 3.1% | 0.1% | 6 |
| 98.3% | 1.6% | 0.1% | 7 |
| 99.1% | 0.8% | 0.1% | 8 |
| 99.5% | 0.4% | 0.1% | 9 |
| 99.7% | 0.2% | 0.1% | 10 |
| 99.8% | 0.1% | 0.1% | 11 |
| 99.9% | 0% | 0.1% | 12 |
| 99.9% | 0% | 0.1% | 13 |
| 99.9% | 0% | 0.1% | 14 |
Compiled 15 to 11 computations (26.7% saved)
| 1× | intervals |
| 23.0ms | 256× | body | 128 | valid |
Compiled 31 to 23 computations (25.8% saved)
| 1× | egg-herbie |
| 2× | hypot-def_binary64 |
| 2× | fma-def_binary64 |
| 1× | +-commutative_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 11 |
| 1 | 14 | 11 |
| 2 | 16 | 11 |
| 3 | 16 | 11 |
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 |
| ▶ | 0.6b | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) |
Compiled 39 to 29 computations (25.6% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (hypot.f64 re im) |
| ✓ | 0.6b | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) |
| 1× | rewrite-expression-head |
| 16× | times-frac_binary64 |
| 12× | *-un-lft-identity_binary64 |
| 12× | add-sqr-sqrt_binary64 |
| 12× | add-cube-cbrt_binary64 |
| 12× | pow1_binary64 |
2 calls:
| 3.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) |
| 0.0ms | (hypot.f64 re im) |
2 calls:
| 39.0ms | (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) |
| 12.0ms | (hypot.f64 re im) |
| 1× | egg-herbie |
| 783× | times-frac_binary64 |
| 715× | fma-neg_binary64 |
| 436× | associate-/r*_binary64 |
| 404× | associate-/l*_binary64 |
| 347× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 182 | 2237 |
| 1 | 472 | 2152 |
| 2 | 1292 | 2092 |
| 3 | 4552 | 2092 |
| 4 | 5054 | 2092 |
15 alts after pruning (15 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 139 | 15 | 154 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 140 | 15 | 155 |
| Status | Error | Program |
| 16.9b | (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (/.f64 (log.f64 10) (sqrt.f64 (log.f64 (hypot.f64 re im))))) | |
| 17.2b | (exp.f64 (log.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 0.6b | (/.f64 1 (/.f64 (log.f64 10) (log.f64 (hypot.f64 re im)))) | |
| 17.2b | (expm1.f64 (log1p.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 16.9b | (*.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| 31.8b | (neg.f64 (/.f64 (log.f64 (/.f64 -1 re)) (log.f64 10))) | |
| 1.2b | (*.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| 0.6b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))) | |
| 16.9b | (*.f64 (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 0.7b | (cbrt.f64 (/.f64 (*.f64 (*.f64 (log.f64 (hypot.f64 re im)) (log.f64 (hypot.f64 re im))) (log.f64 (hypot.f64 re im))) (*.f64 (*.f64 (log.f64 10) (log.f64 10)) (log.f64 10)))) | |
| 1.2b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| ▶ | 0.6b | (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)))) (log.f64 10)) |
| 0.7b | (cbrt.f64 (*.f64 (*.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 1.3b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (sqrt.f64 (log.f64 10))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (sqrt.f64 (log.f64 10)))) | |
| 1.4b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (*.f64 (cbrt.f64 (log.f64 10)) (cbrt.f64 (log.f64 10)))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 10)))) |
Compiled 2776 to 1889 computations (32% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.6b | (cbrt.f64 (hypot.f64 re im)) | |
| 0.6b | (cbrt.f64 (hypot.f64 re im)) | |
| ✓ | 0.6b | (cbrt.f64 (hypot.f64 re im)) |
| ✓ | 0.6b | (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)))) (log.f64 10)) |
| 1× | rewrite-expression-head |
| 121× | pow1_binary64 |
| 94× | log-pow_binary64 |
| 72× | times-frac_binary64 |
| 46× | pow1/3_binary64 |
| 45× | pow-prod-up_binary64 |
2 calls:
| 9.0ms | (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)))) (log.f64 10)) |
| 1.0ms | (cbrt.f64 (hypot.f64 re im)) |
2 calls:
| 39.0ms | (/.f64 (log.f64 (*.f64 (*.f64 (cbrt.f64 (hypot.f64 re im)) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)))) (log.f64 10)) |
| 35.0ms | (cbrt.f64 (hypot.f64 re im)) |
| 1× | egg-herbie |
| 606× | fma-neg_binary64 |
| 582× | fma-def_binary64 |
| 569× | associate-*l*_binary64 |
| 315× | times-frac_binary64 |
| 264× | associate-/r*_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 263 | 3882 |
| 1 | 652 | 3777 |
| 2 | 1764 | 3709 |
| 3 | 4986 | 3709 |
| 4 | 5389 | 3709 |
17 alts after pruning (17 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 494 | 5 | 499 |
| Fresh | 2 | 12 | 14 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 497 | 17 | 514 |
| Status | Error | Program |
| 0.6b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))) | |
| ▶ | 0.6b | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))) |
| 16.9b | (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (/.f64 (log.f64 10) (sqrt.f64 (log.f64 (hypot.f64 re im))))) | |
| 17.2b | (exp.f64 (log.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 17.2b | (expm1.f64 (log1p.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 0.8b | (*.f64 1/3 (/.f64 (*.f64 3 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| 0.6b | (/.f64 1 (/.f64 (log.f64 10) (log.f64 (hypot.f64 re im)))) | |
| 1.3b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (sqrt.f64 (log.f64 10))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (sqrt.f64 (log.f64 10)))) | |
| 0.6b | (/.f64 (log.f64 (*.f64 (*.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)))) (log.f64 10)) | |
| 1.2b | (*.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| 39.8b | (/.f64 1/3 (/.f64 (log.f64 10) (log.f64 (*.f64 (*.f64 (hypot.f64 re im) (hypot.f64 re im)) (hypot.f64 re im))))) | |
| 16.9b | (*.f64 (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (sqrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 0.7b | (cbrt.f64 (/.f64 (*.f64 (*.f64 (log.f64 (hypot.f64 re im)) (log.f64 (hypot.f64 re im))) (log.f64 (hypot.f64 re im))) (*.f64 (*.f64 (log.f64 10) (log.f64 10)) (log.f64 10)))) | |
| 1.2b | (*.f64 (*.f64 (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) (cbrt.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 0.7b | (cbrt.f64 (*.f64 (*.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 16.9b | (*.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| 0.6b | (*.f64 3 (/.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))) (log.f64 10))) |
Compiled 7958 to 4454 computations (44% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (hypot.f64 re im) | |
| ✓ | 0.2b | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))) |
| 0.6b | (cbrt.f64 (hypot.f64 re im)) | |
| ✓ | 0.6b | (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))) |
| 1× | rewrite-expression-head |
| 172× | times-frac_binary64 |
| 78× | *-un-lft-identity_binary64 |
| 78× | add-sqr-sqrt_binary64 |
| 78× | add-cube-cbrt_binary64 |
| 68× | log-pow_binary64 |
2 calls:
| 6.0ms | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))) |
| 4.0ms | (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))) |
2 calls:
| 93.0ms | (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))) |
| 69.0ms | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))) |
| 1× | egg-herbie |
| 475× | fma-def_binary64 |
| 447× | times-frac_binary64 |
| 383× | associate-/r*_binary64 |
| 330× | associate-/l*_binary64 |
| 268× | associate-*l/_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 469 | 7496 |
| 1 | 1398 | 7274 |
| 2 | 4881 | 7274 |
| 3 | 5110 | 7274 |
15 alts after pruning (15 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 658 | 9 | 667 |
| Fresh | 10 | 6 | 16 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 669 | 15 | 684 |
| Status | Error | Program |
| 0.6b | (/.f64 3 (/.f64 (/.f64 (log.f64 10) 1/3) (log.f64 (hypot.f64 re im)))) | |
| 39.8b | (/.f64 1/3 (/.f64 (log.f64 10) (log.f64 (*.f64 (*.f64 (hypot.f64 re im) (hypot.f64 re im)) (hypot.f64 re im))))) | |
| 0.6b | (cbrt.f64 (/.f64 27 (pow.f64 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))) 3))) | |
| 1.3b | (/.f64 3 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))))) (/.f64 (log.f64 10) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))))))) | |
| 1.3b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (cbrt.f64 (log.f64 (hypot.f64 re im)))) (sqrt.f64 (log.f64 10))) (/.f64 (cbrt.f64 (log.f64 (hypot.f64 re im))) (sqrt.f64 (log.f64 10)))) | |
| 0.6b | (/.f64 (log.f64 (*.f64 (*.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)))) (log.f64 10)) | |
| 0.7b | (/.f64 3 (cbrt.f64 (pow.f64 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))) 3))) | |
| ▶ | 0.6b | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im))))))) |
| 0.6b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))) | |
| 0.6b | (*.f64 3 (/.f64 1 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))))) | |
| 1.4b | (/.f64 3 (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 10)) (cbrt.f64 (log.f64 10))) (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))))) (/.f64 (cbrt.f64 (log.f64 10)) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))))))) | |
| 0.7b | (cbrt.f64 (*.f64 (*.f64 (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)) (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (log.f64 10)))) | |
| 1.3b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))))) (sqrt.f64 (log.f64 10))) (/.f64 3 (/.f64 (sqrt.f64 (log.f64 10)) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))))))) | |
| 16.9b | (*.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| 16.8b | (/.f64 3 (*.f64 (sqrt.f64 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))) (sqrt.f64 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))))) |
Compiled 10471 to 7374 computations (29.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im))))))) |
| 0.6b | (cbrt.f64 (hypot.f64 re im)) | |
| ✓ | 0.6b | (/.f64 (log.f64 10) (log.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))))) |
| ✓ | 3.2b | (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))) |
| 1× | rewrite-expression-head |
| 140× | times-frac_binary64 |
| 70× | *-un-lft-identity_binary64 |
| 70× | add-sqr-sqrt_binary64 |
| 70× | add-cube-cbrt_binary64 |
| 45× | pow1_binary64 |
3 calls:
| 5.0ms | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im))))))) |
| 3.0ms | (/.f64 (log.f64 10) (log.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))))) |
| 0.0ms | (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))) |
3 calls:
| 431.0ms | (/.f64 (log.f64 10) (log.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))))) |
| 254.0ms | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im))))))) |
| 90.0ms | (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))) |
| 1× | egg-herbie |
| 695× | fma-def_binary64 |
| 475× | *-commutative_binary64 |
| 239× | associate-*r*_binary64 |
| 168× | sqr-pow_binary64 |
| 152× | associate-/l*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 1149 | 17127 |
| 1 | 3802 | 15108 |
| 2 | 4995 | 15108 |
| 3 | 4941 | 15108 |
15 alts after pruning (14 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 934 | 2 | 936 |
| Fresh | 2 | 12 | 14 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 936 | 15 | 951 |
| Status | Error | Program |
| 0.6b | (/.f64 3 (/.f64 (/.f64 (log.f64 10) 1/3) (log.f64 (hypot.f64 re im)))) | |
| 39.8b | (/.f64 1/3 (/.f64 (log.f64 10) (log.f64 (*.f64 (*.f64 (hypot.f64 re im) (hypot.f64 re im)) (hypot.f64 re im))))) | |
| 0.6b | (cbrt.f64 (/.f64 27 (pow.f64 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))) 3))) | |
| 1.3b | (/.f64 3 (*.f64 (/.f64 1 (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))))) (/.f64 (log.f64 10) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))))))) | |
| 0.6b | (/.f64 (log.f64 (*.f64 (*.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (hypot.f64 re im))) (cbrt.f64 (hypot.f64 re im)))) (log.f64 10)) | |
| 0.7b | (/.f64 3 (cbrt.f64 (pow.f64 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))) 3))) | |
| ✓ | 0.6b | (/.f64 3 (/.f64 (log.f64 10) (log.f64 (expm1.f64 (log1p.f64 (cbrt.f64 (hypot.f64 re im))))))) |
| 17.2b | (expm1.f64 (log1p.f64 (/.f64 3 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))))) | |
| 0.6b | (*.f64 (/.f64 1 (sqrt.f64 (log.f64 10))) (/.f64 (log.f64 (hypot.f64 re im)) (sqrt.f64 (log.f64 10)))) | |
| 0.6b | (*.f64 3 (/.f64 1 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im)))))) | |
| 1.4b | (/.f64 3 (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 10)) (cbrt.f64 (log.f64 10))) (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))))) (/.f64 (cbrt.f64 (log.f64 10)) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))))))) | |
| 0.7b | (/.f64 3 (cbrt.f64 (/.f64 (pow.f64 (log.f64 10) 3) (pow.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))) 3)))) | |
| 1.3b | (*.f64 (/.f64 (*.f64 (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im)))) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))))) (sqrt.f64 (log.f64 10))) (/.f64 3 (/.f64 (sqrt.f64 (log.f64 10)) (cbrt.f64 (log.f64 (cbrt.f64 (hypot.f64 re im))))))) | |
| 16.9b | (*.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (/.f64 (sqrt.f64 (log.f64 (hypot.f64 re im))) (log.f64 10))) | |
| 16.8b | (/.f64 3 (*.f64 (sqrt.f64 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))) (sqrt.f64 (/.f64 (log.f64 10) (log.f64 (cbrt.f64 (hypot.f64 re im))))))) |
Compiled 24347 to 19226 computations (21% saved)
Total 0.5b remaining (91.9%)
Threshold costs 0.5b (91.9%)
Compiled 27050 to 19507 computations (27.9% saved)
| 1× | egg-herbie |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 23 |
| 1 | 14 | 23 |
| 2 | 13 | 23 |
(sort re im)
Compiled 48 to 42 computations (12.5% saved)
| 1× | intervals |
| 682.0ms | 8000× | body | 128 | valid |
Compiled 328 to 232 computations (29.3% saved)
Loading profile data...