Time bar (total: 4.1s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 49.9% | 49.9% | 0.1% | 3 |
| 49.9% | 49.9% | 0.1% | 4 |
| 49.9% | 49.9% | 0.1% | 5 |
| 49.9% | 25% | 25.1% | 6 |
| 49.9% | 25% | 25.1% | 7 |
| 49.9% | 25% | 25.1% | 8 |
| 49.9% | 12.5% | 37.6% | 9 |
| 49.9% | 12.5% | 37.6% | 10 |
| 49.9% | 12.5% | 37.6% | 11 |
| 49.9% | 6.2% | 43.8% | 12 |
| 49.9% | 6.2% | 43.8% | 13 |
| 49.9% | 6.2% | 43.8% | 14 |
Compiled 16 to 11 computations (31.3% saved)
| 801.0ms | 8254× | body | 128 | valid |
| 106.0ms | 1115× | body | 128 | invalid |
| 0.0ms | 1× | body | 1024 | valid |
| 0.0ms | 1× | body | 512 | valid |
Compiled 47 to 32 computations (31.9% 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:
| 151.0ms | (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z) |
| 91.0ms | (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) |
| 77.0ms | (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) |
| 8.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:
| 7.0ms | (-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z) |
| 5.0ms | (*.f64 (+.f64 y 1/2) (log.f64 y)) |
| 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 |
6 alts after pruning (6 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 213 | 6 | 219 |
| Fresh | 1 | 0 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 215 | 6 | 221 |
| Status | Error | Program |
| 0.5b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (cbrt.f64 (+.f64 y 1/2)) (cbrt.f64 (+.f64 y 1/2))) (*.f64 (cbrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) | |
| 0.1b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) y) z) | |
| 27.7b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (sqrt.f64 (+.f64 y 1/2)) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (sqrt.f64 (log.f64 y))))) y) z) | |
| ▶ | 0.1b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 0.5b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (+.f64 y 1/2) (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y)))) y) z) | |
| 0.3b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) |
Compiled 4619 to 2479 computations (46.3% 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.1b | (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) |
3 calls:
| 79.0ms | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 44.0ms | (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) |
| 8.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:
| 10.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 |
6 alts after pruning (5 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 111 | 0 | 111 |
| Fresh | 0 | 5 | 5 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 111 | 6 | 117 |
| Status | Error | Program |
| 0.5b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (cbrt.f64 (+.f64 y 1/2)) (cbrt.f64 (+.f64 y 1/2))) (*.f64 (cbrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) | |
| ▶ | 0.1b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) y) z) |
| 27.7b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (sqrt.f64 (+.f64 y 1/2)) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (sqrt.f64 (log.f64 y))))) y) z) | |
| ✓ | 0.1b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 0.5b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (+.f64 y 1/2) (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y)))) y) z) | |
| 0.3b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) |
Compiled 2453 to 1277 computations (47.9% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) |
| ✓ | 0.0b | (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y))) |
| ✓ | 0.1b | (+.f64 (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) y) |
| ✓ | 0.2b | (*.f64 y (log.f64 y)) |
4 calls:
| 92.0ms | (+.f64 (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) y) |
| 79.0ms | (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) |
| 32.0ms | (*.f64 y (log.f64 y)) |
| 11.0ms | (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y))) |
| 1× | rewrite-expression-head |
| 39× | *-un-lft-identity_binary64 |
| 36× | add-sqr-sqrt_binary64 |
| 30× | add-cube-cbrt_binary64 |
| 24× | prod-diff_binary64 |
| 23× | associate-+l+_binary64 |
4 calls:
| 8.0ms | (+.f64 (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) y) |
| 5.0ms | (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) |
| 4.0ms | (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y))) |
| 3.0ms | (*.f64 y (log.f64 y)) |
| 1× | egg-herbie |
| 352× | fma-neg_binary64 |
| 342× | associate-+l+_binary64 |
| 331× | cancel-sign-sub-inv_binary64 |
| 183× | exp-sum_binary64 |
| 179× | associate-*l*_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 230 | 2443 |
| 1 | 542 | 2207 |
| 2 | 1997 | 2115 |
| 3 | 4357 | 2097 |
| 4 | 4894 | 2097 |
6 alts after pruning (4 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 223 | 1 | 224 |
| Fresh | 1 | 3 | 4 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 224 | 6 | 230 |
| Status | Error | Program |
| 0.4b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 y) (log.f64 y))) (*.f64 1/2 (log.f64 y)))) y) z) | |
| 27.7b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (sqrt.f64 (+.f64 y 1/2)) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (sqrt.f64 (log.f64 y))))) y) z) | |
| ✓ | 0.1b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 0.5b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (+.f64 y 1/2) (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y)))) y) z) | |
| ▶ | 0.3b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) |
| ✓ | 0.1b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) y) z) |
Compiled 5994 to 2810 computations (53.1% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) |
| ✓ | 0.1b | (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) |
| ✓ | 0.3b | (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y))) |
| ✓ | 0.4b | (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)) |
4 calls:
| 145.0ms | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) |
| 77.0ms | (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) |
| 24.0ms | (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)) |
| 12.0ms | (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y))) |
| 1× | rewrite-expression-head |
| 45× | *-un-lft-identity_binary64 |
| 32× | add-sqr-sqrt_binary64 |
| 26× | add-cube-cbrt_binary64 |
| 18× | log-prod_binary64 |
| 18× | add-log-exp_binary64 |
4 calls:
| 10.0ms | (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y))) |
| 6.0ms | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) |
| 6.0ms | (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)) |
| 4.0ms | (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) |
| 1× | egg-herbie |
| 412× | associate-+l+_binary64 |
| 267× | cancel-sign-sub-inv_binary64 |
| 256× | associate--l+_binary64 |
| 200× | fma-neg_binary64 |
| 189× | sub-neg_binary64 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 288 | 3857 |
| 1 | 667 | 3520 |
| 2 | 2105 | 3430 |
| 3 | 4934 | 3420 |
| 4 | 5012 | 3420 |
6 alts after pruning (3 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 236 | 0 | 236 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 236 | 6 | 242 |
| Status | Error | Program |
| 0.4b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 (*.f64 (cbrt.f64 y) (cbrt.f64 y)) (*.f64 (cbrt.f64 y) (log.f64 y))) (*.f64 1/2 (log.f64 y)))) y) z) | |
| 27.7b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (sqrt.f64 (+.f64 y 1/2)) (sqrt.f64 (log.f64 y))) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (sqrt.f64 (log.f64 y))))) y) z) | |
| ✓ | 0.1b | (-.f64 (+.f64 (fma.f64 (log.f64 y) (-.f64 -1/2 y) y) x) z) |
| 0.5b | (-.f64 (+.f64 (-.f64 x (*.f64 (*.f64 (+.f64 y 1/2) (*.f64 (cbrt.f64 (log.f64 y)) (cbrt.f64 (log.f64 y)))) (cbrt.f64 (log.f64 y)))) y) z) | |
| ✓ | 0.3b | (-.f64 (+.f64 (-.f64 x (*.f64 (sqrt.f64 (+.f64 y 1/2)) (*.f64 (sqrt.f64 (+.f64 y 1/2)) (log.f64 y)))) y) z) |
| ✓ | 0.1b | (-.f64 (+.f64 (-.f64 x (+.f64 (*.f64 y (log.f64 y)) (*.f64 1/2 (log.f64 y)))) y) z) |
Compiled 6385 to 3894 computations (39% saved)
Total 0.1b remaining (76.6%)
Threshold costs 0.1b (76.6%)
Compiled 8607 to 5788 computations (32.8% saved)
| 1× | egg-herbie |
| 5× | +-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 | 10 | 16 |
| 1 | 15 | 16 |
| 2 | 23 | 16 |
| 3 | 27 | 16 |
| 4 | 29 | 16 |
| 5 | 29 | 16 |
Compiled 156 to 97 computations (37.8% saved)
Loading profile data...