Time bar (total: 2.9s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 0% | 100% | 0 |
| 0% | 0% | 100% | 1 |
Compiled 17 to 11 computations (35.3% saved)
| 760.0ms | 8256× | body | 128 | valid |
Compiled 34 to 22 computations (35.3% saved)
| 2× | egg-herbie |
| 922× | fma-neg_binary64 |
| 610× | times-frac_binary64 |
| 428× | div-sub_binary64 |
| 255× | distribute-rgt-in_binary64 |
| 236× | sub-neg_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 40 |
| 1 | 35 | 40 |
| 2 | 57 | 40 |
| 3 | 100 | 40 |
| 4 | 221 | 40 |
| 5 | 493 | 40 |
| 6 | 1108 | 40 |
| 7 | 2991 | 40 |
| 0 | 3 | 3 |
| 1× | saturated |
| 1× | node limit |
Compiled 10 to 6 computations (40% saved)
| 1× | egg-herbie |
| 649× | fma-neg_binary64 |
| 496× | div-sub_binary64 |
| 481× | fma-def_binary64 |
| 322× | times-frac_binary64 |
| 160× | associate-/l/_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 13 | 10 |
| 2 | 21 | 10 |
| 3 | 37 | 10 |
| 4 | 72 | 10 |
| 5 | 127 | 10 |
| 6 | 265 | 10 |
| 7 | 547 | 10 |
| 8 | 1353 | 10 |
| 9 | 2750 | 10 |
| 10 | 3664 | 10 |
| 11 | 4026 | 10 |
| 12 | 4151 | 10 |
| 13 | 4178 | 10 |
| 14 | 4188 | 10 |
| 15 | 4196 | 10 |
| 16 | 4196 | 10 |
| 1× | saturated |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 2 | 3 |
| Status | Error | Program |
| ▶ | 62.0b | (/.f64 (-.f64 x lo) (-.f64 hi lo)) |
Compiled 37 to 21 computations (43.2% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 62.0b | (/.f64 (-.f64 x lo) (-.f64 hi lo)) |
9 calls:
| 3.0ms | (/.f64 (-.f64 x lo) (-.f64 hi lo)) | hi | -inf |
| 2.0ms | (/.f64 (-.f64 x lo) (-.f64 hi lo)) | hi | 0 |
| 2.0ms | (/.f64 (-.f64 x lo) (-.f64 hi lo)) | hi | inf |
| 2.0ms | (/.f64 (-.f64 x lo) (-.f64 hi lo)) | lo | 0 |
| 2.0ms | (/.f64 (-.f64 x lo) (-.f64 hi lo)) | x | -inf |
| 1× | batch-egg-rewrite |
| 952× | prod-diff_binary64 |
| 233× | egg-rr |
| 166× | expm1-udef_binary64 |
| 166× | log1p-udef_binary64 |
| 90× | add-sqr-sqrt_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 167 | 10 |
| 2 | 2654 | 10 |
| 1× | node limit |
| 1× | egg-herbie |
| 722× | sub-neg_binary64 |
| 402× | associate--l+_binary64 |
| 330× | fma-def_binary64 |
| 327× | associate--r+_binary64 |
| 299× | associate-+l+_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 78 | 1093 |
| 1 | 236 | 1075 |
| 2 | 863 | 919 |
| 3 | 4691 | 913 |
| 1× | node limit |
4 alts after pruning (4 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 261 | 4 | 265 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 262 | 4 | 266 |
| Status | Error | Program |
| 51.9b | (-.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 1 (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (/.f64 x lo)) | |
| 57.6b | (+.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 (pow.f64 (/.f64 hi lo) 3) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (-.f64 1 (/.f64 x lo))) | |
| ▶ | 51.9b | (+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)))) |
| 51.9b | (+.f64 (*.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi))) (-.f64 (/.f64 (-.f64 x lo) hi) (fma.f64 (/.f64 lo hi) (/.f64 lo hi) (pow.f64 (/.f64 lo hi) 3)))) |
Compiled 12683 to 3428 computations (73% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)) |
| ✓ | 0.2b | (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))) |
| ✓ | 0.5b | (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) |
| ✓ | 0.5b | (+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)))) |
36 calls:
| 16.0ms | (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo))) | x | -inf |
| 11.0ms | (+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)))) | x | 0 |
| 10.0ms | (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)) | x | inf |
| 10.0ms | (+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)))) | x | inf |
| 10.0ms | (+.f64 (/.f64 hi lo) (+.f64 1 (-.f64 (*.f64 (/.f64 hi lo) (-.f64 (/.f64 hi lo) (/.f64 x lo))) (/.f64 x lo)))) | x | -inf |
| 1× | batch-egg-rewrite |
| 190× | egg-rr |
| 151× | add-sqr-sqrt_binary64 |
| 146× | log1p-expm1-u_binary64 |
| 146× | expm1-log1p-u_binary64 |
| 145× | add-cbrt-cube_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 82 |
| 1 | 293 | 73 |
| 1× | node limit |
| 1× | egg-herbie |
| 551× | fma-def_binary64 |
| 309× | sub-neg_binary64 |
| 251× | fma-neg_binary64 |
| 239× | times-frac_binary64 |
| 181× | associate-/l*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 42 | 2804 |
| 1 | 115 | 2483 |
| 2 | 279 | 2359 |
| 3 | 887 | 2179 |
| 4 | 3812 | 2179 |
| 1× | node limit |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 221 | 4 | 225 |
| Fresh | 1 | 2 | 3 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 223 | 6 | 229 |
| Status | Error | Program |
| 57.6b | (+.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 (pow.f64 (/.f64 hi lo) 3) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (-.f64 1 (/.f64 x lo))) | |
| 57.5b | (+.f64 (/.f64 hi lo) (fma.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x) (/.f64 (neg.f64 x) lo))) | |
| ▶ | 51.6b | (*.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x)) |
| 57.5b | (*.f64 (/.f64 hi lo) (-.f64 1 (/.f64 (-.f64 x hi) lo))) | |
| 51.6b | (*.f64 hi (/.f64 (/.f64 hi lo) lo)) | |
| 51.9b | (+.f64 (*.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi))) (-.f64 (/.f64 (-.f64 x lo) hi) (fma.f64 (/.f64 lo hi) (/.f64 lo hi) (pow.f64 (/.f64 lo hi) 3)))) |
Compiled 6723 to 2008 computations (70.1% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 (/.f64 hi lo) lo) |
| ✓ | 1.0b | (*.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x)) |
15 calls:
| 8.0ms | (/.f64 (/.f64 hi lo) lo) | hi | -inf |
| 6.0ms | (/.f64 (/.f64 hi lo) lo) | hi | inf |
| 6.0ms | (*.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x)) | x | 0 |
| 6.0ms | (/.f64 (/.f64 hi lo) lo) | hi | 0 |
| 5.0ms | (*.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x)) | hi | inf |
| 1× | batch-egg-rewrite |
| 395× | prod-diff_binary64 |
| 198× | fma-def_binary64 |
| 195× | log-div_binary64 |
| 174× | expm1-udef_binary64 |
| 174× | log1p-udef_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 20 |
| 1 | 182 | 20 |
| 2 | 2837 | 20 |
| 1× | node limit |
| 1× | egg-herbie |
| 705× | associate-/l/_binary64 |
| 678× | associate-*l/_binary64 |
| 458× | associate-/r/_binary64 |
| 251× | fma-def_binary64 |
| 203× | times-frac_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 894 |
| 1 | 38 | 624 |
| 2 | 98 | 624 |
| 3 | 325 | 624 |
| 4 | 1672 | 624 |
| 1× | node limit |
17 alts after pruning (17 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 95 | 13 | 108 |
| Fresh | 1 | 4 | 5 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 97 | 17 | 114 |
| Status | Error | Program |
| 51.6b | (cbrt.f64 (pow.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x))) 3)) | |
| 57.5b | (*.f64 (/.f64 hi lo) (-.f64 1 (/.f64 (-.f64 x hi) lo))) | |
| 54.6b | (*.f64 (pow.f64 (*.f64 lo (/.f64 lo hi)) -1) (-.f64 hi x)) | |
| 51.6b | (pow.f64 (cbrt.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x)))) 3) | |
| 51.6b | (*.f64 (pow.f64 (/.f64 (sqrt.f64 hi) lo) 2) (-.f64 hi x)) | |
| 54.7b | (/.f64 (/.f64 (*.f64 (/.f64 hi lo) (-.f64 hi x)) (pow.f64 (cbrt.f64 lo) 2)) (cbrt.f64 lo)) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 hi) 2) lo) (/.f64 (cbrt.f64 hi) lo)) (-.f64 hi x)) | |
| 51.9b | (+.f64 (*.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi))) (-.f64 (/.f64 (-.f64 x lo) hi) (fma.f64 (/.f64 lo hi) (/.f64 lo hi) (pow.f64 (/.f64 lo hi) 3)))) | |
| 51.6b | (*.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (*.f64 (cbrt.f64 (/.f64 hi lo)) (/.f64 1 lo))) (-.f64 hi x)) | |
| 51.6b | (*.f64 (*.f64 (/.f64 hi lo) (/.f64 1 lo)) (-.f64 hi x)) | |
| 57.6b | (+.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 (pow.f64 (/.f64 hi lo) 3) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (-.f64 1 (/.f64 x lo))) | |
| 54.7b | (fma.f64 (*.f64 (/.f64 hi lo) hi) (/.f64 1 lo) (*.f64 (neg.f64 x) (/.f64 hi (*.f64 lo lo)))) | |
| 51.6b | (fma.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (*.f64 (neg.f64 x) (/.f64 hi (*.f64 lo lo)))) | |
| 57.5b | (+.f64 (/.f64 hi lo) (fma.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x) (/.f64 (neg.f64 x) lo))) | |
| 51.6b | (expm1.f64 (log1p.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x))))) | |
| 51.6b | (*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (/.f64 hi lo) (cbrt.f64 lo))) (-.f64 hi x)) | |
| ▶ | 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) |
Compiled 2274 to 866 computations (61.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) |
| ✓ | 0.5b | (cbrt.f64 (/.f64 hi lo)) |
| ✓ | 0.5b | (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) |
| ✓ | 1.0b | (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) |
27 calls:
| 53.0ms | (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) | hi | -inf |
| 52.0ms | (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) | lo | -inf |
| 49.0ms | (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) | lo | -inf |
| 34.0ms | (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) | hi | -inf |
| 19.0ms | (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) | hi | -inf |
| 1× | batch-egg-rewrite |
| 410× | prod-diff_binary64 |
| 238× | log1p-udef_binary64 |
| 147× | egg-rr |
| 137× | add-sqr-sqrt_binary64 |
| 131× | log1p-expm1-u_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 35 |
| 1 | 310 | 35 |
| 2 | 3933 | 35 |
| 1× | node limit |
| 1× | egg-herbie |
| 705× | associate-/l/_binary64 |
| 678× | associate-*l/_binary64 |
| 458× | associate-/r/_binary64 |
| 251× | fma-def_binary64 |
| 203× | times-frac_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 894 |
| 1 | 38 | 624 |
| 2 | 98 | 624 |
| 3 | 325 | 624 |
| 4 | 1672 | 624 |
| 1× | node limit |
22 alts after pruning (22 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 181 | 8 | 189 |
| Fresh | 2 | 14 | 16 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 184 | 22 | 206 |
| Status | Error | Program |
| 51.6b | (*.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (*.f64 (cbrt.f64 (/.f64 hi lo)) (/.f64 1 lo))) (-.f64 hi x)) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 hi lo))) 3) lo)) (-.f64 hi x)) | |
| 57.6b | (+.f64 (+.f64 (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo)) (-.f64 (pow.f64 (/.f64 hi lo) 3) (*.f64 (/.f64 x lo) (*.f64 (+.f64 1 (/.f64 hi lo)) (/.f64 hi lo))))) (-.f64 1 (/.f64 x lo))) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 4))) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) | |
| 54.7b | (fma.f64 (*.f64 (/.f64 hi lo) hi) (/.f64 1 lo) (*.f64 (neg.f64 x) (/.f64 hi (*.f64 lo lo)))) | |
| 51.6b | (/.f64 (*.f64 (/.f64 (cbrt.f64 (/.f64 hi lo)) lo) (-.f64 hi x)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) -2)) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (/.f64 1 (cbrt.f64 (/.f64 lo hi))) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) | |
| 57.5b | (+.f64 (/.f64 hi lo) (fma.f64 (/.f64 (/.f64 hi lo) lo) (-.f64 hi x) (/.f64 (neg.f64 x) lo))) | |
| 51.6b | (expm1.f64 (log1p.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x))))) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (*.f64 (cbrt.f64 hi) (/.f64 1 (cbrt.f64 lo))) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) | |
| 54.6b | (*.f64 (pow.f64 (*.f64 lo (/.f64 lo hi)) -1) (-.f64 hi x)) | |
| 51.6b | (pow.f64 (cbrt.f64 (/.f64 (/.f64 hi lo) (/.f64 lo (-.f64 hi x)))) 3) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) 1) (/.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 hi lo))) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2))) lo)) (-.f64 hi x)) | |
| 51.6b | (*.f64 (*.f64 (/.f64 1 (pow.f64 (cbrt.f64 lo) 2)) (/.f64 (/.f64 hi lo) (cbrt.f64 lo))) (-.f64 hi x)) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (/.f64 hi lo)))) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (cbrt.f64 hi) 2) lo) (/.f64 (cbrt.f64 hi) lo)) (-.f64 hi x)) | |
| 51.9b | (+.f64 (*.f64 (/.f64 x hi) (*.f64 (+.f64 (/.f64 lo hi) 1) (/.f64 lo hi))) (-.f64 (/.f64 (-.f64 x lo) hi) (fma.f64 (/.f64 lo hi) (/.f64 lo hi) (pow.f64 (/.f64 lo hi) 3)))) | |
| 51.6b | (*.f64 (*.f64 (/.f64 hi lo) (/.f64 1 lo)) (-.f64 hi x)) | |
| 51.6b | (fma.f64 (*.f64 (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2)) (pow.f64 (cbrt.f64 (/.f64 hi lo)) 2) (*.f64 (neg.f64 x) (/.f64 hi (*.f64 lo lo)))) | |
| 57.5b | (*.f64 (/.f64 hi lo) (-.f64 1 (/.f64 (-.f64 x hi) lo))) | |
| 54.7b | (/.f64 (/.f64 (*.f64 (/.f64 hi lo) (-.f64 hi x)) (pow.f64 (cbrt.f64 lo) 2)) (cbrt.f64 lo)) | |
| 51.6b | (*.f64 (*.f64 (/.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 hi lo))) 3) 2) 1) (/.f64 (cbrt.f64 (/.f64 hi lo)) lo)) (-.f64 hi x)) |
Compiled 4095 to 1624 computations (60.3% saved)
Total 0.9b remaining (1.7%)
Threshold costs 0.9b (1.7%)
Compiled 5930 to 3608 computations (39.2% saved)
| 1× | egg-herbie |
| 3× | *-commutative_binary64 |
| 2× | +-commutative_binary64 |
| 2× | sub-neg_binary64 |
| 1× | /-rgt-identity_binary64 |
| 1× | neg-sub0_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 17 | 29 |
| 1 | 24 | 29 |
| 2 | 28 | 29 |
| 3 | 30 | 29 |
| 4 | 31 | 29 |
| 1× | saturated |
| 1× | fuel |
Compiled 542 to 327 computations (39.7% saved)
Loading profile data...