Time bar (total: 7.8s)
| 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 |
| 25% | 74.9% | 0.1% | 5 |
| 31.2% | 68.7% | 0.1% | 6 |
| 67.1% | 32.8% | 0.1% | 7 |
| 71% | 28.9% | 0.1% | 8 |
| 82.3% | 17.6% | 0.1% | 9 |
| 84.9% | 15% | 0.1% | 10 |
| 90.8% | 9.1% | 0.1% | 11 |
| 92.2% | 7.7% | 0.1% | 12 |
| 95.3% | 4.6% | 0.1% | 13 |
| 96% | 3.9% | 0.1% | 14 |
Compiled 14 to 11 computations (21.4% saved)
| 672.0ms | 6507× | body | 128 | valid |
| 208.0ms | 631× | body | 1024 | valid |
| 174.0ms | 719× | body | 512 | valid |
| 67.0ms | 396× | body | 256 | valid |
| 1.0ms | 3× | body | 2048 | valid |
Compiled 41 to 32 computations (22% saved)
| 1× | egg-herbie |
| 1996× | fma-def_binary64 |
| 1626× | fma-neg_binary64 |
| 1098× | div-sub_binary64 |
| 733× | sub-neg_binary64 |
| 664× | associate-/l*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 16 |
| 1 | 19 | 16 |
| 2 | 43 | 16 |
| 3 | 102 | 14 |
| 4 | 274 | 14 |
| 5 | 652 | 14 |
| 6 | 1272 | 14 |
| 7 | 1697 | 14 |
| 8 | 2416 | 14 |
| 9 | 2933 | 14 |
| 10 | 3278 | 14 |
| 11 | 3461 | 14 |
| 12 | 1980 | 14 |
| 13 | 1996 | 14 |
| 14 | 2659 | 14 |
| 15 | 2539 | 14 |
| 16 | 2497 | 14 |
| 17 | 2531 | 14 |
| 18 | 2531 | 14 |
| 19 | 4723 | 14 |
| 20 | 4903 | 14 |
| 21 | 5942 | 14 |
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 |
| 19.0b | (-.f64 1 (/.f64 (*.f64 (-.f64 1 x) y) (+.f64 y 1))) | |
| ▶ | 10.2b | (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1) |
Compiled 73 to 55 computations (24.7% saved)
Found 2 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (/.f64 (+.f64 x -1) (+.f64 1 y)) |
| ✓ | 10.2b | (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1) |
2 calls:
| 13.0ms | (/.f64 (+.f64 x -1) (+.f64 1 y)) |
| 9.0ms | (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1) |
| 1× | rewrite-expression-head |
| 35× | *-un-lft-identity_binary64 |
| 20× | times-frac_binary64 |
| 18× | add-sqr-sqrt_binary64 |
| 13× | add-cube-cbrt_binary64 |
| 11× | distribute-lft-out_binary64 |
2 calls:
| 5.0ms | (/.f64 (+.f64 x -1) (+.f64 1 y)) |
| 0.0ms | (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1) |
| 1× | egg-herbie |
| 780× | fma-neg_binary64 |
| 491× | associate--l+_binary64 |
| 425× | associate--r+_binary64 |
| 390× | associate-+l+_binary64 |
| 315× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 160 | 2086 |
| 1 | 416 | 1897 |
| 2 | 1275 | 1850 |
| 3 | 4701 | 1850 |
| 4 | 5402 | 1850 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 98 | 4 | 102 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 99 | 5 | 104 |
| Status | Error | Program |
| ▶ | 10.2b | (-.f64 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (/.f64 y (+.f64 1 y))) |
| 36.5b | (-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y)))) | |
| 23.2b | (*.f64 (sqrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)) (sqrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1))) | |
| 10.8b | (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1)) (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1))) (cbrt.f64 (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1))) | |
| ✓ | 10.2b | (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1) |
Compiled 2024 to 1394 computations (31.1% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (fma.f64 (/.f64 y (+.f64 1 y)) x 1) |
| ✓ | 0.0b | (/.f64 y (+.f64 1 y)) |
| ✓ | 2.3b | (-.f64 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (/.f64 y (+.f64 1 y))) |
3 calls:
| 11.0ms | (fma.f64 (/.f64 y (+.f64 1 y)) x 1) |
| 10.0ms | (-.f64 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (/.f64 y (+.f64 1 y))) |
| 2.0ms | (/.f64 y (+.f64 1 y)) |
| 1× | rewrite-expression-head |
| 97× | *-un-lft-identity_binary64 |
| 68× | add-sqr-sqrt_binary64 |
| 63× | add-cube-cbrt_binary64 |
| 61× | times-frac_binary64 |
| 54× | prod-diff_binary64 |
3 calls:
| 8.0ms | (-.f64 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (/.f64 y (+.f64 1 y))) |
| 3.0ms | (/.f64 y (+.f64 1 y)) |
| 0.0ms | (fma.f64 (/.f64 y (+.f64 1 y)) x 1) |
| 1× | egg-herbie |
| 640× | fma-neg_binary64 |
| 469× | times-frac_binary64 |
| 314× | distribute-rgt-in_binary64 |
| 243× | cancel-sign-sub-inv_binary64 |
| 197× | sub-neg_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 282 | 5709 |
| 1 | 732 | 3867 |
| 2 | 2128 | 3329 |
| 3 | 4237 | 3329 |
| 4 | 4997 | 3329 |
| 5 | 4985 | 3329 |
| 6 | 4806 | 3329 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 253 | 2 | 255 |
| Fresh | 2 | 1 | 3 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 256 | 4 | 260 |
| Status | Error | Program |
| 36.5b | (-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y)))) | |
| 17.9b | (+.f64 (fma.f64 1 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (neg.f64 (*.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 y y) (*.f64 1 y))) (/.f64 y (+.f64 (pow.f64 1 3) (pow.f64 y 3)))))) (fma.f64 (neg.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 y y) (*.f64 1 y)))) (/.f64 y (+.f64 (pow.f64 1 3) (pow.f64 y 3))) (*.f64 (+.f64 (*.f64 1 1) (-.f64 (*.f64 y y) (*.f64 1 y))) (/.f64 y (+.f64 (pow.f64 1 3) (pow.f64 y 3)))))) | |
| ▶ | 10.6b | (+.f64 (fma.f64 1 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (neg.f64 (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) (fma.f64 (neg.f64 (-.f64 1 y)) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) |
| ✓ | 10.2b | (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1) |
Compiled 7706 to 5099 computations (33.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))) |
| ✓ | 2.8b | (fma.f64 1 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (neg.f64 (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) |
| ✓ | 11.7b | (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) |
| ✓ | 28.3b | (fma.f64 (neg.f64 (-.f64 1 y)) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))))) |
4 calls:
| 41.0ms | (fma.f64 1 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (neg.f64 (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) |
| 10.0ms | (fma.f64 (neg.f64 (-.f64 1 y)) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))))) |
| 3.0ms | (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) |
| 2.0ms | (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))) |
| 1× | rewrite-expression-head |
| 30× | add-sqr-sqrt_binary64 |
| 25× | times-frac_binary64 |
| 25× | *-un-lft-identity_binary64 |
| 22× | add-cube-cbrt_binary64 |
| 18× | associate-*r*_binary64 |
4 calls:
| 11.0ms | (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))) |
| 9.0ms | (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) |
| 0.0ms | (fma.f64 1 (fma.f64 (/.f64 y (+.f64 1 y)) x 1) (neg.f64 (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) |
| 0.0ms | (fma.f64 (neg.f64 (-.f64 1 y)) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))))) |
| 1× | egg-herbie |
| 608× | fma-def_binary64 |
| 361× | fma-neg_binary64 |
| 357× | associate-/l*_binary64 |
| 341× | distribute-rgt-in_binary64 |
| 287× | times-frac_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 224 | 3307 |
| 1 | 532 | 2909 |
| 2 | 1905 | 2525 |
| 3 | 4680 | 2525 |
| 4 | 4870 | 2525 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 472 | 2 | 474 |
| Fresh | 1 | 1 | 2 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 474 | 4 | 478 |
| Status | Error | Program |
| ▶ | 26.5b | (+.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 (+.f64 y -1) (-.f64 (/.f64 1 y) y)) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) 3)) (fma.f64 (neg.f64 (-.f64 1 y)) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) |
| 36.5b | (-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y)))) | |
| ✓ | 10.2b | (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1) |
| 38.5b | (+.f64 (-.f64 (+.f64 1 (/.f64 (pow.f64 y 2) (-.f64 1 (pow.f64 y 2)))) (/.f64 y (-.f64 1 (pow.f64 y 2)))) (fma.f64 (neg.f64 (-.f64 1 y)) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) |
Compiled 27916 to 18218 computations (34.7% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 2.3b | (+.f64 (/.f64 (+.f64 y -1) (-.f64 (/.f64 1 y) y)) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) |
| 11.7b | (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) | |
| ✓ | 15.4b | (cbrt.f64 (pow.f64 (+.f64 (/.f64 (+.f64 y -1) (-.f64 (/.f64 1 y) y)) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) 3)) |
| 28.3b | (fma.f64 (neg.f64 (-.f64 1 y)) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))))) |
2 calls:
| 22.0ms | (+.f64 (/.f64 (+.f64 y -1) (-.f64 (/.f64 1 y) y)) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) |
| 21.0ms | (cbrt.f64 (pow.f64 (+.f64 (/.f64 (+.f64 y -1) (-.f64 (/.f64 1 y) y)) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) 3)) |
| 1× | rewrite-expression-head |
| 62× | add-sqr-sqrt_binary64 |
| 61× | *-un-lft-identity_binary64 |
| 50× | times-frac_binary64 |
| 46× | fma-def_binary64 |
| 19× | add-cube-cbrt_binary64 |
2 calls:
| 18.0ms | (+.f64 (/.f64 (+.f64 y -1) (-.f64 (/.f64 1 y) y)) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) |
| 18.0ms | (cbrt.f64 (pow.f64 (+.f64 (/.f64 (+.f64 y -1) (-.f64 (/.f64 1 y) y)) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) 3)) |
| 1× | egg-herbie |
| 381× | associate-*l*_binary64 |
| 326× | distribute-rgt-in_binary64 |
| 311× | associate-*r*_binary64 |
| 309× | fma-neg_binary64 |
| 300× | distribute-lft-in_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 115 | 3046 |
| 1 | 297 | 2829 |
| 2 | 973 | 2819 |
| 3 | 4332 | 2813 |
| 4 | 4978 | 2813 |
| 5 | 4963 | 2813 |
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 269 | 2 | 271 |
| Fresh | 1 | 1 | 2 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 271 | 4 | 275 |
| Status | Error | Program |
| 60.7b | (+.f64 (cbrt.f64 (pow.f64 (fma.f64 (/.f64 (sqrt.f64 (+.f64 y -1)) (+.f64 (sqrt.f64 (/.f64 1 y)) (sqrt.f64 y))) (/.f64 (sqrt.f64 (+.f64 y -1)) (-.f64 (sqrt.f64 (/.f64 1 y)) (sqrt.f64 y))) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) 3)) (fma.f64 (neg.f64 (-.f64 1 y)) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) | |
| 36.5b | (-.f64 (+.f64 (+.f64 x (/.f64 x (*.f64 y y))) (/.f64 1 (pow.f64 y 3))) (+.f64 (/.f64 x (pow.f64 y 3)) (+.f64 (/.f64 1 (*.f64 y y)) (/.f64 (+.f64 x -1) y)))) | |
| ✓ | 10.2b | (fma.f64 y (/.f64 (+.f64 x -1) (+.f64 1 y)) 1) |
| 30.8b | (+.f64 (cbrt.f64 (pow.f64 (+.f64 (/.f64 (+.f64 y -1) (-.f64 (/.f64 1 y) y)) (fma.f64 x (/.f64 y (+.f64 y 1)) 1)) 3)) (fma.f64 (neg.f64 (-.f64 1 y)) (*.f64 (/.f64 y (-.f64 (pow.f64 (*.f64 1 1) 3) (pow.f64 (*.f64 y y) 3))) (+.f64 (*.f64 (*.f64 1 1) (*.f64 1 1)) (+.f64 (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 1 1) (*.f64 y y))))) (*.f64 (-.f64 1 y) (/.f64 y (-.f64 (*.f64 1 1) (*.f64 y y)))))) |
Compiled 15674 to 10517 computations (32.9% saved)
Total 0.1b remaining (81.2%)
Threshold costs 0.1b (81.2%)
Compiled 73182 to 51758 computations (29.3% saved)
Compiled 11 to 8 computations (27.3% saved)
| 1× | egg-herbie |
| 63× | cancel-sign-sub-inv_binary64 |
| 55× | distribute-rgt-neg-in_binary64 |
| 37× | distribute-lft-neg-in_binary64 |
| 37× | neg-sub0_binary64 |
| 37× | neg-mul-1_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 48 | 209 |
| 1 | 82 | 209 |
| 2 | 111 | 205 |
| 3 | 138 | 205 |
| 4 | 173 | 205 |
| 5 | 215 | 205 |
| 6 | 256 | 205 |
| 7 | 289 | 205 |
| 8 | 317 | 205 |
| 9 | 344 | 205 |
| 10 | 358 | 205 |
| 11 | 368 | 205 |
| 12 | 375 | 205 |
| 13 | 377 | 205 |
| 14 | 372 | 205 |
Compiled 472 to 310 computations (34.3% saved)
Loading profile data...