Time bar (total: 5.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% | 74.9% | 25.1% | 6 |
| 6.2% | 68.6% | 25.1% | 7 |
| 10.1% | 64.7% | 25.1% | 8 |
| 17.2% | 32.8% | 50.1% | 9 |
| 23% | 26.9% | 50.1% | 10 |
| 26.8% | 23.1% | 50.1% | 11 |
| 31.6% | 18.3% | 50.1% | 12 |
| 35.2% | 14.7% | 50.1% | 13 |
| 37.5% | 12.4% | 50.1% | 14 |
Compiled 16 to 11 computations (31.3% saved)
| 1× | intervals |
| 19.0ms | 256× | body | 128 | valid |
Compiled 34 to 24 computations (29.4% saved)
| 1× | egg-herbie |
| 782× | fma-neg_binary64 |
| 610× | unsub-neg_binary64 |
| 567× | distribute-rgt-in_binary64 |
| 442× | sub-neg_binary64 |
| 412× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 18 |
| 1 | 25 | 18 |
| 2 | 75 | 16 |
| 3 | 253 | 16 |
| 4 | 654 | 16 |
| 5 | 1767 | 16 |
| 6 | 2167 | 16 |
| 7 | 2284 | 16 |
| 8 | 2375 | 16 |
| 9 | 2374 | 16 |
| 10 | 2391 | 16 |
| 11 | 2701 | 16 |
| 12 | 3417 | 16 |
| 13 | 4877 | 16 |
| 14 | 4713 | 16 |
| 15 | 4967 | 16 |
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 |
| 0.1b | (-.f64 y (-.f64 (fma.f64 (+.f64 y 1/2) (log.f64 y) z) x)) | |
| ▶ | 0.1b | (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z) |
Compiled 84 to 53 computations (36.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) |
| ✓ | 0.0b | (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z) |
| ✓ | 0.1b | (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) |
| ✓ | 0.1b | (*.f64 (+.f64 y 1/2) (log.f64 y)) |
4 calls:
| 153.0ms | (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z) |
| 90.0ms | (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) |
| 79.0ms | (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) |
| 10.0ms | (*.f64 (+.f64 y 1/2) (log.f64 y)) |
| 1× | rewrite-expression-head |
| 40× | *-un-lft-identity_binary64 |
| 27× | add-sqr-sqrt_binary64 |
| 23× | add-cube-cbrt_binary64 |
| 20× | add-log-exp_binary64 |
| 18× | prod-diff_binary64 |
4 calls:
| 142.0ms | (*.f64 (+.f64 y 1/2) (log.f64 y)) |
| 7.0ms | (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z) |
| 5.0ms | (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) |
| 3.0ms | (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) |
| 1× | egg-herbie |
| 374× | fma-neg_binary64 |
| 307× | associate--l+_binary64 |
| 299× | cancel-sign-sub-inv_binary64 |
| 275× | exp-sum_binary64 |
| 242× | exp-diff_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 242 | 3418 |
| 1 | 609 | 3074 |
| 2 | 2022 | 2997 |
| 3 | 4350 | 2997 |
| 4 | 4873 | 2997 |
8 alts after pruning (8 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 211 | 8 | 219 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 213 | 8 | 221 |
| Status | Error | Program |
| ▶ | 0.1b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 24.4b | (-.f64 (/.f64 (-.f64 (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))) (*.f64 y y)) (-.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)) z) | |
| 13.9b | (-.f64 (+.f64 (-.f64 x (/.f64 (*.f64 (log.f64 y) (fma.f64 y y -1/4)) (-.f64 y 1/2))) y) z) | |
| 35.8b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))) (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))))) y) z) | |
| 30.2b | (-.f64 (/.f64 (+.f64 (pow.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) 3) (pow.f64 y 3)) (+.f64 (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))) (-.f64 (*.f64 y y) (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)))) z) | |
| 0.9b | (-.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x)) (cbrt.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x))) (cbrt.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x))) z) | |
| 32.9b | (-.f64 (+.f64 (expm1.f64 (log1p.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))))) y) z) | |
| 0.2b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))) y) z) |
Compiled 4815 to 2597 computations (46.1% saved)
Found 3 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) |
| ✓ | 0.0b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| ✓ | 0.2b | (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) |
3 calls:
| 95.0ms | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 51.0ms | (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) |
| 9.0ms | (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) |
| 1× | rewrite-expression-head |
| 28× | *-un-lft-identity_binary64 |
| 15× | add-sqr-sqrt_binary64 |
| 13× | add-cube-cbrt_binary64 |
| 12× | prod-diff_binary64 |
| 10× | add-log-exp_binary64 |
3 calls:
| 7.0ms | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 2.0ms | (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) |
| 0.0ms | (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) |
| 1× | egg-herbie |
| 605× | fma-neg_binary64 |
| 603× | fma-def_binary64 |
| 350× | distribute-rgt-in_binary64 |
| 341× | associate-*l*_binary64 |
| 318× | distribute-lft-in_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 148 | 2390 |
| 1 | 363 | 2232 |
| 2 | 1108 | 2071 |
| 3 | 4562 | 2071 |
| 4 | 5037 | 2071 |
8 alts after pruning (7 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 109 | 2 | 111 |
| Fresh | 2 | 5 | 7 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 111 | 8 | 119 |
| Status | Error | Program |
| ✓ | 0.1b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 24.4b | (-.f64 (/.f64 (-.f64 (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))) (*.f64 y y)) (-.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)) z) | |
| 28.6b | (-.f64 (+.f64 (expm1.f64 (log1p.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y))) x) z) | |
| ▶ | 0.2b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))))) y) z) |
| 13.9b | (-.f64 (+.f64 (-.f64 x (/.f64 (*.f64 (log.f64 y) (fma.f64 y y -1/4)) (-.f64 y 1/2))) y) z) | |
| 35.8b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))) (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))))) y) z) | |
| 30.2b | (-.f64 (/.f64 (+.f64 (pow.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) 3) (pow.f64 y 3)) (+.f64 (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))) (-.f64 (*.f64 y y) (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)))) z) | |
| 0.6b | (-.f64 (fma.f64 (*.f64 (cbrt.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y)) (cbrt.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y))) (cbrt.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y)) x) z) |
Compiled 2637 to 1387 computations (47.4% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.1b | (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))) |
| ✓ | 0.1b | (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) |
| ✓ | 0.2b | (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y)))) |
| ✓ | 0.6b | (cbrt.f64 y) |
4 calls:
| 286.0ms | (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y)))) |
| 166.0ms | (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) |
| 153.0ms | (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))) |
| 32.0ms | (cbrt.f64 y) |
| 1× | rewrite-expression-head |
| 72× | log-prod_binary64 |
| 60× | distribute-lft-in_binary64 |
| 60× | distribute-rgt-in_binary64 |
| 39× | cbrt-prod_binary64 |
| 36× | *-un-lft-identity_binary64 |
4 calls:
| 12.0ms | (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y)))) |
| 6.0ms | (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) |
| 6.0ms | (*.f64 (+.f64 1/2 y) (log.f64 (cbrt.f64 y))) |
| 1.0ms | (cbrt.f64 y) |
| 1× | egg-herbie |
| 707× | fma-neg_binary64 |
| 346× | associate-*l*_binary64 |
| 337× | associate-*r*_binary64 |
| 279× | distribute-rgt-out_binary64 |
| 242× | fma-def_binary64 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 250 | 3870 |
| 1 | 648 | 3338 |
| 2 | 2606 | 3114 |
| 3 | 4519 | 3114 |
| 4 | 4899 | 3114 |
7 alts after pruning (6 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 291 | 2 | 293 |
| Fresh | 2 | 4 | 6 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 1 | 1 |
| Total | 294 | 7 | 301 |
| Status | Error | Program |
| 0.2b | (-.f64 (+.f64 (-.f64 x (*.f64 (log.f64 (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))) (+.f64 3/2 (*.f64 y 3)))) y) z) | |
| 28.6b | (-.f64 (+.f64 (expm1.f64 (log1p.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y))) x) z) | |
| 13.9b | (-.f64 (+.f64 (-.f64 x (/.f64 (*.f64 (log.f64 y) (fma.f64 y y -1/4)) (-.f64 y 1/2))) y) z) | |
| 35.8b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))) (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))))) y) z) | |
| ✓ | 0.1b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| ▶ | 0.2b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (pow.f64 y 1/3))))) y) z) |
| 30.2b | (-.f64 (/.f64 (+.f64 (pow.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) 3) (pow.f64 y 3)) (+.f64 (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))) (-.f64 (*.f64 y y) (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)))) z) |
Compiled 9172 to 5119 computations (44.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.1b | (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) | |
| ✓ | 0.2b | (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (pow.f64 y 1/3)))) |
| 0.6b | (cbrt.f64 y) | |
| ✓ | 4.9b | (pow.f64 y 1/3) |
2 calls:
| 326.0ms | (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (pow.f64 y 1/3)))) |
| 23.0ms | (pow.f64 y 1/3) |
| 1× | rewrite-expression-head |
| 38× | log-prod_binary64 |
| 31× | distribute-lft-in_binary64 |
| 31× | distribute-rgt-in_binary64 |
| 24× | associate-+l+_binary64 |
| 16× | *-un-lft-identity_binary64 |
2 calls:
| 12.0ms | (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (pow.f64 y 1/3)))) |
| 1.0ms | (pow.f64 y 1/3) |
| 1× | egg-herbie |
| 400× | associate-+l+_binary64 |
| 243× | fma-def_binary64 |
| 242× | log-prod_binary64 |
| 240× | distribute-rgt-out_binary64 |
| 233× | cancel-sign-sub-inv_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 221 | 2183 |
| 1 | 587 | 1860 |
| 2 | 2229 | 1337 |
| 3 | 4624 | 1323 |
| 4 | 4933 | 1323 |
| 5 | 4999 | 1323 |
| 6 | 4977 | 1323 |
7 alts after pruning (5 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 240 | 0 | 240 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 240 | 7 | 247 |
| Status | Error | Program |
| 0.2b | (-.f64 (+.f64 (-.f64 x (*.f64 (log.f64 (*.f64 (cbrt.f64 (neg.f64 y)) (cbrt.f64 -1))) (+.f64 3/2 (*.f64 y 3)))) y) z) | |
| 28.6b | (-.f64 (+.f64 (expm1.f64 (log1p.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y))) x) z) | |
| 13.9b | (-.f64 (+.f64 (-.f64 x (/.f64 (*.f64 (log.f64 y) (fma.f64 y y -1/4)) (-.f64 y 1/2))) y) z) | |
| 35.8b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))) (sqrt.f64 (*.f64 (+.f64 y 1/2) (log.f64 y))))) y) z) | |
| ✓ | 0.1b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| ✓ | 0.2b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 (+.f64 1/2 y) (*.f64 2 (log.f64 (cbrt.f64 y)))) (*.f64 (+.f64 1/2 y) (log.f64 (pow.f64 y 1/3))))) y) z) |
| 30.2b | (-.f64 (/.f64 (+.f64 (pow.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) 3) (pow.f64 y 3)) (+.f64 (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))) (-.f64 (*.f64 y y) (*.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)))) z) |
Compiled 7614 to 4833 computations (36.5% saved)
Total 0.1b remaining (80.9%)
Threshold costs 0.1b (80.9%)
Compiled 16562 to 11107 computations (32.9% saved)
| 1× | egg-herbie |
| 6× | +-commutative_binary64 |
| 4× | sub-neg_binary64 |
| 2× | *-commutative_binary64 |
| 2× | neg-sub0_binary64 |
| 2× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 16 |
| 1 | 18 | 16 |
| 2 | 25 | 16 |
| 3 | 29 | 16 |
| 4 | 31 | 16 |
| 5 | 31 | 16 |
Compiled 14 to 9 computations (35.7% saved)
| 1× | intervals |
| 501.0ms | 8000× | body | 128 | valid |
| 2.0ms | 34× | body | 128 | invalid |
Compiled 208 to 141 computations (32.2% saved)
Loading profile data...