Time bar (total: 4.6s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 100% | 0% | 0 |
| 100% | 0% | 0% | 1 |
Compiled 9 to 7 computations (22.2% saved)
| 569.0ms | 2158× | body | 1024 | valid |
| 353.0ms | 4314× | body | 128 | valid |
| 201.0ms | 1020× | body | 512 | valid |
| 75.0ms | 547× | body | 256 | valid |
| 75.0ms | 217× | body | 2048 | valid |
Compiled 26 to 20 computations (23.1% saved)
| 1× | egg-herbie |
| 39× | fma-def_binary64 |
| 32× | fma-neg_binary64 |
| 14× | cancel-sign-sub-inv_binary64 |
| 12× | sub-neg_binary64 |
| 10× | distribute-rgt-in_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 11 |
| 1 | 12 | 11 |
| 2 | 16 | 11 |
| 3 | 23 | 11 |
| 4 | 30 | 11 |
| 5 | 47 | 11 |
| 6 | 72 | 11 |
| 7 | 92 | 11 |
| 8 | 109 | 11 |
| 9 | 119 | 11 |
| 10 | 123 | 11 |
| 11 | 125 | 11 |
| 12 | 111 | 11 |
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 1 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 0 | 2 | 2 |
| Status | Error | Program |
| ▶ | 31.3b | (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) |
Compiled 24 to 18 computations (25% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (cbrt.f64 (+.f64 x 1)) |
| ✓ | 0.6b | (cbrt.f64 x) |
| ✓ | 3.0b | (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) |
3 calls:
| 34.0ms | (cbrt.f64 x) |
| 9.0ms | (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) |
| 4.0ms | (cbrt.f64 (+.f64 x 1)) |
| 2× | batch-egg-rewrite |
| 731× | log1p-expm1-u_binary64 |
| 731× | expm1-log1p-u_binary64 |
| 698× | prod-diff_binary64 |
| 133× | egg-rr |
| 72× | add-sqr-sqrt_binary64 |
3 calls:
| 54.0ms | (cbrt.f64 (+.f64 x 1)) |
| 54.0ms | (cbrt.f64 x) |
| 54.0ms | (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 20 |
| 1 | 147 | 20 |
| 2 | 1806 | 20 |
| 3 | 5734 | 20 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 420× | cancel-sign-sub-inv_binary64 |
| 382× | fma-neg_binary64 |
| 357× | associate-*l*_binary64 |
| 339× | associate-*r*_binary64 |
| 287× | fma-def_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 80 | 815 |
| 1 | 252 | 797 |
| 2 | 646 | 621 |
| 3 | 1832 | 505 |
| 4 | 4653 | 477 |
| 5 | 4961 | 477 |
| 6 | 4918 | 477 |
7 alts after pruning (7 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 171 | 7 | 178 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 172 | 7 | 179 |
| Status | Error | Program |
| 31.7b | (fma.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x))) | |
| 31.6b | (-.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2)) (cbrt.f64 x)) | |
| 31.4b | (+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x))) (fma.f64 -1 (cbrt.f64 x) (cbrt.f64 x))) | |
| 47.7b | (+.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x))) | |
| 31.3b | (/.f64 (+.f64 (+.f64 x 1) (pow.f64 (neg.f64 (cbrt.f64 x)) 3)) (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (-.f64 (*.f64 (neg.f64 (cbrt.f64 x)) (neg.f64 (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (cbrt.f64 x)))))) | |
| 47.6b | (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x)))))) | |
| ▶ | 30.5b | (/.f64 (-.f64 (+.f64 x 1) x) (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) |
Compiled 3725 to 2393 computations (35.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.3b | (cbrt.f64 (+.f64 x 1)) | |
| ✓ | 0.3b | (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) |
| 0.6b | (cbrt.f64 x) | |
| ✓ | 2.2b | (-.f64 (+.f64 x 1) x) |
2 calls:
| 8.0ms | (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) |
| 1.0ms | (-.f64 (+.f64 x 1) x) |
| 2× | batch-egg-rewrite |
| 802× | log1p-expm1-u_binary64 |
| 802× | expm1-log1p-u_binary64 |
| 615× | prod-diff_binary64 |
| 124× | egg-rr |
| 82× | add-sqr-sqrt_binary64 |
2 calls:
| 52.0ms | (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) |
| 52.0ms | (-.f64 (+.f64 x 1) x) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 16 |
| 1 | 175 | 16 |
| 2 | 1977 | 16 |
| 3 | 5930 | 16 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 903× | fma-def_binary64 |
| 808× | times-frac_binary64 |
| 453× | associate-/l*_binary64 |
| 418× | fma-neg_binary64 |
| 167× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 56 | 395 |
| 1 | 160 | 387 |
| 2 | 409 | 267 |
| 3 | 1336 | 212 |
| 4 | 4837 | 212 |
| 5 | 5037 | 212 |
5 alts after pruning (5 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 278 | 3 | 281 |
| Fresh | 4 | 2 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 283 | 5 | 288 |
| Status | Error | Program |
| 31.7b | (fma.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x))) | |
| 30.5b | (/.f64 (-.f64 (+.f64 x 1) x) (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (*.f64 (pow.f64 (cbrt.f64 (*.f64 x x)) 1/3) (cbrt.f64 (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) | |
| 31.8b | (/.f64 (+.f64 (fma.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 4)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2) (cbrt.f64 (+.f64 x 1))) (neg.f64 x)) (fma.f64 (neg.f64 (cbrt.f64 x)) (pow.f64 (cbrt.f64 x) 2) x)) (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) | |
| ▶ | 0.6b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) |
| 47.6b | (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x)))))) |
Compiled 9705 to 6517 computations (32.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.3b | (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) |
| 0.3b | (cbrt.f64 (+.f64 x 1)) | |
| 0.3b | (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) | |
| 0.6b | (cbrt.f64 x) |
1 calls:
| 26.0ms | (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) |
| 2× | batch-egg-rewrite |
| 904× | prod-diff_binary64 |
| 840× | expm1-log1p-u_binary64 |
| 82× | add-sqr-sqrt_binary64 |
| 79× | log1p-expm1-u_binary64 |
| 77× | add-cbrt-cube_binary64 |
1 calls:
| 45.0ms | (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 16 |
| 1 | 169 | 16 |
| 2 | 2094 | 16 |
| 3 | 5294 | 16 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 656× | fma-neg_binary64 |
| 546× | cancel-sign-sub-inv_binary64 |
| 429× | fma-def_binary64 |
| 413× | unswap-sqr_binary64 |
| 265× | associate-*l*_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 87 | 583 |
| 1 | 257 | 522 |
| 2 | 706 | 445 |
| 3 | 2411 | 390 |
| 4 | 4641 | 376 |
| 5 | 4873 | 376 |
| 6 | 4972 | 376 |
| 7 | 4933 | 376 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 221 | 5 | 226 |
| Fresh | 2 | 2 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 223 | 8 | 231 |
| Status | Error | Program |
| 31.7b | (fma.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x))) | |
| ▶ | 0.7b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) |
| 17.4b | (/.f64 1 (+.f64 (pow.f64 (/.f64 (cbrt.f64 (fma.f64 x x -1)) (cbrt.f64 (-.f64 x 1))) 2) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) | |
| ✓ | 0.6b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) |
| 0.7b | (/.f64 1 (+.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3) 2) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) | |
| 0.7b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x 1))))) 3))) | |
| 8.3b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (/.f64 (*.f64 (+.f64 x (+.f64 x 1)) (cbrt.f64 x)) (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (cbrt.f64 x) (-.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x 1)))))))) | |
| 47.6b | (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x)))))) |
Compiled 6545 to 4763 computations (27.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.3b | (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) | |
| ✓ | 0.6b | (cbrt.f64 (cbrt.f64 x)) |
| 0.6b | (cbrt.f64 x) | |
| ✓ | 0.7b | (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) |
2 calls:
| 317.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) |
| 311.0ms | (cbrt.f64 (cbrt.f64 x)) |
| 2× | batch-egg-rewrite |
| 674× | log1p-udef_binary64 |
| 387× | log1p-expm1-u_binary64 |
| 387× | expm1-log1p-u_binary64 |
| 340× | unpow-prod-down_binary64 |
| 325× | pow1_binary64 |
2 calls:
| 74.0ms | (cbrt.f64 (cbrt.f64 x)) |
| 74.0ms | (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 8 |
| 1 | 103 | 8 |
| 2 | 1039 | 8 |
| 3 | 4559 | 8 |
| 4 | 5480 | 8 |
| 0 | 0 | 0 |
| 1 | 0 | 0 |
| 1× | egg-herbie |
| 1253× | sqr-pow_binary64 |
| 1010× | unswap-sqr_binary64 |
| 605× | cube-prod_binary64 |
| 456× | unpow3_binary64 |
| 450× | cube-mult_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 228 |
| 1 | 36 | 228 |
| 2 | 70 | 228 |
| 3 | 150 | 228 |
| 4 | 429 | 184 |
| 5 | 685 | 184 |
| 6 | 1449 | 184 |
| 7 | 1592 | 184 |
| 8 | 1795 | 184 |
| 9 | 2039 | 184 |
| 10 | 2357 | 184 |
| 11 | 2625 | 184 |
| 12 | 2833 | 184 |
| 13 | 3178 | 184 |
| 14 | 3547 | 184 |
| 15 | 3843 | 184 |
| 16 | 4146 | 184 |
| 17 | 4388 | 184 |
| 18 | 4533 | 184 |
| 19 | 5400 | 184 |
10 alts after pruning (9 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 181 | 4 | 185 |
| Fresh | 1 | 5 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 183 | 10 | 193 |
| Status | Error | Program |
| 0.7b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (pow.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x 1))))) 3))) | |
| 0.8b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 (cbrt.f64 x)))) 2) (cbrt.f64 (cbrt.f64 (cbrt.f64 x)))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) | |
| 31.7b | (fma.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x))) | |
| 17.4b | (/.f64 1 (+.f64 (pow.f64 (/.f64 (cbrt.f64 (fma.f64 x x -1)) (cbrt.f64 (-.f64 x 1))) 2) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) | |
| ✓ | 0.6b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (cbrt.f64 x) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) |
| 0.8b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)) 3) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) | |
| 0.8b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (+.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))))) | |
| 8.3b | (/.f64 1 (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (/.f64 (*.f64 (+.f64 x (+.f64 x 1)) (cbrt.f64 x)) (+.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2) (*.f64 (cbrt.f64 x) (-.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 x 1)))))))) | |
| 47.6b | (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (*.f64 1/3 (cbrt.f64 (/.f64 1 (*.f64 x x)))))) | |
| 0.8b | (/.f64 1 (+.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))) |
Compiled 5299 to 3804 computations (28.2% saved)
Total 0.4b remaining (68.9%)
Threshold costs 0.4b (68.9%)
Compiled 11742 to 9005 computations (23.3% saved)
| 1× | egg-herbie |
| 3× | +-commutative_binary64 |
| 1× | *-commutative_binary64 |
| 1× | 1-exp_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 30 |
| 1 | 18 | 30 |
| 2 | 17 | 30 |
Compiled 307 to 233 computations (24.1% saved)
Loading profile data...