Time bar (total: 7.9s)
| 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 |
| 0% | 99.9% | 0.1% | 7 |
| 0% | 99.9% | 0.1% | 8 |
| 0% | 96.7% | 3.3% | 9 |
| 16.4% | 74.9% | 8.7% | 10 |
| 17.6% | 71.8% | 10.7% | 11 |
| 26.3% | 59.5% | 14.2% | 12 |
| 30.7% | 45.7% | 23.5% | 13 |
| 31.7% | 43.5% | 24.7% | 14 |
Compiled 33 to 25 computations (24.2% saved)
| 1.5s | 8256× | body | 128 | valid |
| 953.0ms | 4908× | body | 128 | invalid |
Compiled 98 to 74 computations (24.5% saved)
| 1× | egg-herbie |
| 721× | fma-neg_binary64 |
| 464× | div-sub_binary64 |
| 380× | associate-*l*_binary64 |
| 365× | associate-*r*_binary64 |
| 276× | neg-mul-1_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 23 | 43 |
| 1 | 59 | 43 |
| 2 | 163 | 37 |
| 3 | 607 | 35 |
| 4 | 2744 | 33 |
| 5 | 4748 | 33 |
| 6 | 4938 | 33 |
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 |
| 13.3b | (-.f64 (-.f64 (+.f64 3 (/.f64 2 (*.f64 r r))) (/.f64 (*.f64 (*.f64 1/8 (-.f64 3 (*.f64 2 v))) (*.f64 (*.f64 (*.f64 w w) r) r)) (-.f64 1 v))) 9/2) | |
| ▶ | 9.7b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) |
Compiled 171 to 121 computations (29.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) |
| ✓ | 0.4b | (/.f64 2 (*.f64 r r)) |
| ✓ | 1.5b | (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) |
| ✓ | 11.1b | (*.f64 r (*.f64 w w)) |
4 calls:
| 46.0ms | (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) |
| 38.0ms | (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) |
| 8.0ms | (*.f64 r (*.f64 w w)) |
| 2.0ms | (/.f64 2 (*.f64 r r)) |
| 1× | batch-egg-rewrite |
| 324× | log1p-udef_binary64 |
| 186× | add-sqr-sqrt_binary64 |
| 177× | log1p-expm1-u_binary64 |
| 177× | expm1-log1p-u_binary64 |
| 176× | add-log-exp_binary64 |
4 calls:
| 71.0ms | (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) |
| 71.0ms | (/.f64 2 (*.f64 r r)) |
| 71.0ms | (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) |
| 71.0ms | (*.f64 r (*.f64 w w)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 58 |
| 1 | 386 | 58 |
| 2 | 4540 | 58 |
| 3 | 5269 | 58 |
| 1× | egg-herbie |
| 716× | fma-def_binary64 |
| 627× | associate-*l*_binary64 |
| 497× | associate-*r*_binary64 |
| 314× | associate-/l*_binary64 |
| 248× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 100 | 2804 |
| 1 | 335 | 2526 |
| 2 | 1161 | 1968 |
| 3 | 5240 | 1968 |
11 alts after pruning (11 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 122 | 11 | 133 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 124 | 11 | 135 |
| Status | Error | Program |
| 12.9b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (/.f64 (*.f64 (-.f64 (*.f64 3/8 (pow.f64 w 2)) (*.f64 1/4 (*.f64 v (pow.f64 w 2)))) r) (-.f64 1 v)) 3/2)) | |
| 15.9b | (-.f64 (/.f64 2 (*.f64 r r)) (+.f64 3/2 (*.f64 (*.f64 r r) (/.f64 (*.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))))) | |
| 9.9b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (pow.f64 (cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2)) | |
| 9.8b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (pow.f64 (cbrt.f64 (*.f64 r (*.f64 w w))) 3) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) | |
| ▶ | 9.6b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) |
| 14.8b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (/.f64 (*.f64 w w) (-.f64 1 v)) (*.f64 r (fma.f64 v -1/4 3/8))) 3/2)) | |
| 10.0b | (-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2)) | |
| 18.6b | (-.f64 (/.f64 2 (*.f64 r r)) 3/2) | |
| 29.9b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) | |
| 18.6b | (-.f64 (/.f64 2 (*.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3))) | |
| 16.0b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (fma.f64 v 1/8 3/8))) 3/2)) |
Compiled 4272 to 2580 computations (39.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) |
| 0.1b | (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) | |
| 1.5b | (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) | |
| 11.1b | (*.f64 r (*.f64 w w)) |
1 calls:
| 2.0ms | (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) |
| 1× | batch-egg-rewrite |
| 831× | log1p-expm1-u_binary64 |
| 831× | expm1-log1p-u_binary64 |
| 150× | prod-diff_binary64 |
| 84× | add-sqr-sqrt_binary64 |
| 79× | add-cbrt-cube_binary64 |
1 calls:
| 43.0ms | (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 11 |
| 1 | 172 | 11 |
| 2 | 2062 | 11 |
| 3 | 5253 | 11 |
| 1× | egg-herbie |
| 577× | div-sub_binary64 |
| 516× | fma-neg_binary64 |
| 467× | times-frac_binary64 |
| 446× | cancel-sign-sub-inv_binary64 |
| 413× | fma-def_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 31 | 138 |
| 1 | 92 | 134 |
| 2 | 234 | 131 |
| 3 | 579 | 126 |
| 4 | 1651 | 122 |
| 5 | 4211 | 122 |
| 6 | 4694 | 122 |
| 7 | 5299 | 122 |
10 alts after pruning (10 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 153 | 5 | 158 |
| Fresh | 5 | 5 | 10 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 159 | 10 | 169 |
| Status | Error | Program |
| 9.8b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (log.f64 (exp.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 3/2)) | |
| 16.0b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (fma.f64 v 1/8 3/8))) 3/2)) | |
| 15.9b | (-.f64 (/.f64 2 (*.f64 r r)) (+.f64 3/2 (*.f64 (*.f64 r r) (/.f64 (*.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))))) | |
| 10.0b | (-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2)) | |
| ▶ | 9.6b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) |
| 29.9b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) | |
| 9.9b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (pow.f64 (cbrt.f64 (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)))) 3) 3/2)) | |
| 18.6b | (-.f64 (/.f64 2 (*.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3))) | |
| 18.5b | (-.f64 (*.f64 2 (pow.f64 r -2)) 3/2) | |
| 9.7b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) 3/2)) |
Compiled 4960 to 3294 computations (33.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) | |
| ✓ | 0.1b | (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) |
| ✓ | 1.5b | (fma.f64 r (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) |
| ✓ | 11.1b | (*.f64 (*.f64 w w) r) |
3 calls:
| 102.0ms | (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) |
| 47.0ms | (fma.f64 r (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) |
| 7.0ms | (*.f64 (*.f64 w w) r) |
| 1× | batch-egg-rewrite |
| 274× | expm1-udef_binary64 |
| 273× | log1p-udef_binary64 |
| 156× | add-sqr-sqrt_binary64 |
| 150× | prod-diff_binary64 |
| 147× | log1p-expm1-u_binary64 |
3 calls:
| 192.0ms | (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) |
| 192.0ms | (fma.f64 r (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) |
| 192.0ms | (*.f64 (*.f64 w w) r) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 15 | 51 |
| 1 | 318 | 51 |
| 2 | 3803 | 51 |
| 3 | 4989 | 51 |
| 4 | 4895 | 51 |
| 1× | egg-herbie |
| 716× | fma-def_binary64 |
| 627× | associate-*l*_binary64 |
| 497× | associate-*r*_binary64 |
| 314× | associate-/l*_binary64 |
| 248× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 99 | 2576 |
| 1 | 334 | 2442 |
| 2 | 1158 | 1884 |
| 3 | 5233 | 1884 |
9 alts after pruning (8 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 156 | 1 | 157 |
| Fresh | 2 | 7 | 9 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 158 | 9 | 167 |
| Status | Error | Program |
| ✓ | 9.6b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) |
| 29.9b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (pow.f64 (*.f64 w (sqrt.f64 (*.f64 r (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 2) 3/2)) | |
| 9.8b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (log.f64 (exp.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 3/2)) | |
| 16.0b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (fma.f64 v 1/8 3/8))) 3/2)) | |
| 15.9b | (-.f64 (/.f64 2 (*.f64 r r)) (+.f64 3/2 (*.f64 (*.f64 r r) (/.f64 (*.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))))) | |
| 10.0b | (-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2)) | |
| 18.6b | (-.f64 (/.f64 2 (*.f64 r r)) (cbrt.f64 (pow.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2) 3))) | |
| 18.5b | (-.f64 (*.f64 2 (pow.f64 r -2)) 3/2) | |
| ▶ | 9.7b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) 3/2)) |
Compiled 4850 to 3218 computations (33.6% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) |
| ✓ | 0.5b | (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3)) |
| ✓ | 1.5b | (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) 3/2) |
| 11.1b | (*.f64 r (*.f64 w w)) |
3 calls:
| 186.0ms | (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) 3/2) |
| 38.0ms | (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) |
| 2.0ms | (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3)) |
| 1× | batch-egg-rewrite |
| 298× | log1p-udef_binary64 |
| 171× | add-sqr-sqrt_binary64 |
| 166× | log1p-expm1-u_binary64 |
| 166× | expm1-log1p-u_binary64 |
| 161× | add-cbrt-cube_binary64 |
3 calls:
| 68.0ms | (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) |
| 68.0ms | (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3)) |
| 68.0ms | (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) 3/2) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 18 | 55 |
| 1 | 363 | 55 |
| 2 | 4162 | 55 |
| 3 | 4800 | 55 |
| 1× | egg-herbie |
| 808× | fma-def_binary64 |
| 643× | associate-*l*_binary64 |
| 320× | associate-/l*_binary64 |
| 297× | fma-neg_binary64 |
| 254× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 120 | 2690 |
| 1 | 399 | 2400 |
| 2 | 1334 | 1841 |
| 3 | 4990 | 1841 |
| 4 | 5160 | 1841 |
10 alts after pruning (8 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 165 | 2 | 167 |
| Fresh | 1 | 6 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 166 | 10 | 176 |
| Status | Error | Program |
| ✓ | 9.6b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 (*.f64 w w) r) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) |
| 29.9b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (pow.f64 (*.f64 w (sqrt.f64 (*.f64 r (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 2) 3/2)) | |
| ✓ | 9.7b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) 3/2)) |
| 26.6b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (fma.f64 w (*.f64 (*.f64 w r) 1/4) (*.f64 -1/8 (fma.f64 (/.f64 (*.f64 w w) v) (/.f64 r v) (*.f64 (/.f64 (*.f64 w w) v) (+.f64 r (/.f64 r (*.f64 v v))))))) 3/2)) | |
| 9.8b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (log.f64 (exp.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))))) 3/2)) | |
| 16.0b | (-.f64 (/.f64 2 (*.f64 r r)) (fma.f64 r (*.f64 w (*.f64 (*.f64 w r) (fma.f64 v 1/8 3/8))) 3/2)) | |
| 15.9b | (-.f64 (/.f64 2 (*.f64 r r)) (+.f64 3/2 (*.f64 (*.f64 r r) (/.f64 (*.f64 w w) (/.f64 (-.f64 1 v) (fma.f64 v -1/4 3/8)))))) | |
| 10.0b | (-.f64 (/.f64 2 (*.f64 r r)) (pow.f64 (sqrt.f64 (fma.f64 r (*.f64 (*.f64 r (*.f64 w w)) (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v))) 3/2)) 2)) | |
| 29.9b | (-.f64 (*.f64 2 (pow.f64 r -2)) (fma.f64 r (*.f64 (pow.f64 (*.f64 w (sqrt.f64 r)) 2) (cbrt.f64 (pow.f64 (/.f64 (fma.f64 v -1/4 3/8) (-.f64 1 v)) 3))) 3/2)) | |
| 18.5b | (-.f64 (*.f64 2 (pow.f64 r -2)) 3/2) |
Compiled 5055 to 3354 computations (33.6% saved)
Total 2.7b remaining (62.7%)
Threshold costs 0b (0%)
Compiled 12320 to 9022 computations (26.8% saved)
| Iters | Range | Point | |
|---|---|---|---|
| 1 | -4.72196167779232e-154 | 7.3053804877496215e-149 | -4.72196167779232e-154 |
| 6 | -6.095156488141736e-38 | -1.3720966542300381e-38 | -1.391648850866366e-38 |
Compiled 4 to 3 computations (25% saved)
| 1× | egg-herbie |
| 8× | *-commutative_binary64 |
| 7× | +-commutative_binary64 |
| 7× | sub-neg_binary64 |
| 3× | neg-sub0_binary64 |
| 3× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 34 | 90 |
| 1 | 50 | 90 |
| 2 | 61 | 90 |
| 3 | 67 | 90 |
| 4 | 70 | 90 |
| 5 | 68 | 90 |
Compiled 401 to 292 computations (27.2% saved)
Loading profile data...