Time bar (total: 14.4s)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 0% | 99.8% | 0.2% | 7 |
| 6.2% | 93.6% | 0.2% | 8 |
| 6.2% | 93.6% | 0.2% | 9 |
| 10.1% | 89.7% | 0.2% | 10 |
| 32% | 67.8% | 0.2% | 11 |
| 39.4% | 60.4% | 0.2% | 12 |
| 40.2% | 59.6% | 0.2% | 13 |
| 47.5% | 52.3% | 0.2% | 14 |
Compiled 20 to 13 computations (35% saved)
| 1.2s | 8027× | body | 128 | valid |
| 132.0ms | 607× | body | 128 | invalid |
| 34.0ms | 80× | body | 1024 | valid |
| 27.0ms | 88× | body | 512 | valid |
| 14.0ms | 60× | body | 256 | valid |
| 1.0ms | 1× | body | 2048 | valid |
Compiled 59 to 38 computations (35.6% saved)
| 1× | egg-herbie |
| 509× | fma-neg_binary64 |
| 396× | distribute-rgt-in_binary64 |
| 366× | distribute-lft-in_binary64 |
| 289× | fma-def_binary64 |
| 260× | associate-*l*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 13 | 23 |
| 1 | 55 | 21 |
| 2 | 153 | 21 |
| 3 | 362 | 21 |
| 4 | 1315 | 21 |
| 5 | 4639 | 21 |
| 6 | 5067 | 21 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 1 | 0 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 2 | 1 | 3 |
| Status | Error | Program |
| ▶ | 4.6b | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
Compiled 69 to 35 computations (49.3% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.0b | (tanh.f64 (/.f64 x y)) |
| ✓ | 0.0b | (tanh.f64 (/.f64 t y)) |
| ✓ | 0.0b | (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) |
| ✓ | 4.3b | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
4 calls:
| 217.0ms | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
| 158.0ms | (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) |
| 94.0ms | (tanh.f64 (/.f64 t y)) |
| 55.0ms | (tanh.f64 (/.f64 x y)) |
| 1× | rewrite-expression-head |
| 14× | *-un-lft-identity_binary64 |
| 14× | add-sqr-sqrt_binary64 |
| 12× | add-cube-cbrt_binary64 |
| 9× | frac-sub_binary64 |
| 9× | prod-diff_binary64 |
4 calls:
| 5.0ms | (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) |
| 1.0ms | (tanh.f64 (/.f64 x y)) |
| 1.0ms | (tanh.f64 (/.f64 t y)) |
| 0.0ms | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
| 1× | egg-herbie |
| 750× | times-frac_binary64 |
| 231× | fma-neg_binary64 |
| 202× | fma-def_binary64 |
| 174× | distribute-rgt-in_binary64 |
| 173× | distribute-lft-in_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 330 | 12435 |
| 1 | 1006 | 7805 |
| 2 | 3497 | 7805 |
| 3 | 5159 | 7805 |
5 alts after pruning (4 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 169 | 4 | 173 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 169 | 5 | 174 |
| Status | Error | Program |
| 45.7b | (-.f64 (fma.f64 1/3 (/.f64 (*.f64 z (pow.f64 x 3)) (*.f64 y y)) (fma.f64 z t x)) (fma.f64 x z (*.f64 1/3 (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))))) | |
| 25.8b | (-.f64 (fma.f64 z t x) (*.f64 x z)) | |
| ▶ | 16.9b | (fma.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) x) |
| 34.5b | (*.f64 (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x))) | |
| ✓ | 4.6b | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
Compiled 6819 to 2194 computations (67.8% saved)
Found 4 expressions with local error:
| New | Error | Program |
| ✓ | 0.2b | (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) |
| ✓ | 0.2b | (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) |
| ✓ | 4.3b | (fma.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) x) |
| ✓ | 9.3b | (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) |
4 calls:
| 2.1s | (fma.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) x) |
| 1.2s | (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) |
| 248.0ms | (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) |
| 155.0ms | (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) |
| 1× | rewrite-expression-head |
| 540× | frac-times_binary64 |
| 492× | tanh-def-a_binary64 |
| 492× | tanh-def-b_binary64 |
| 492× | tanh-def-c_binary64 |
| 450× | frac-sub_binary64 |
4 calls:
| 33.0ms | (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) |
| 17.0ms | (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) |
| 4.0ms | (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) |
| 0.0ms | (fma.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) x) |
| 1× | egg-herbie |
| 293× | sub-neg_binary64 |
| 282× | fma-def_binary64 |
| 230× | cancel-sign-sub-inv_binary64 |
| 229× | fma-neg_binary64 |
| 165× | times-frac_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 2295 | 112648 |
| 1 | 4995 | 112648 |
5 alts after pruning (3 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 868 | 0 | 868 |
| Fresh | 0 | 3 | 3 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 868 | 5 | 873 |
| Status | Error | Program |
| 45.7b | (-.f64 (fma.f64 1/3 (/.f64 (*.f64 z (pow.f64 x 3)) (*.f64 y y)) (fma.f64 z t x)) (fma.f64 x z (*.f64 1/3 (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))))) | |
| ▶ | 25.8b | (-.f64 (fma.f64 z t x) (*.f64 x z)) |
| ✓ | 16.9b | (fma.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) x) |
| 34.5b | (*.f64 (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x))) | |
| ✓ | 4.6b | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
Compiled 113558 to 42130 computations (62.9% saved)
Found 1 expressions with local error:
| New | Error | Program |
| ✓ | 0.9b | (-.f64 (fma.f64 z t x) (*.f64 x z)) |
1 calls:
| 7.0ms | (-.f64 (fma.f64 z t x) (*.f64 x z)) |
| 1× | rewrite-expression-head |
| 3× | add-log-exp_binary64 |
| 3× | fma-neg_binary64 |
| 3× | *-un-lft-identity_binary64 |
| 3× | add-sqr-sqrt_binary64 |
| 3× | prod-diff_binary64 |
1 calls:
| 2.0ms | (-.f64 (fma.f64 z t x) (*.f64 x z)) |
| 1× | egg-herbie |
| 625× | fma-neg_binary64 |
| 539× | associate-+l+_binary64 |
| 512× | associate-+r+_binary64 |
| 301× | *-commutative_binary64 |
| 241× | neg-sub0_binary64 |
Useful iterations: 4 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 60 | 695 |
| 1 | 142 | 615 |
| 2 | 415 | 596 |
| 3 | 1618 | 595 |
| 4 | 3553 | 508 |
| 5 | 4678 | 508 |
| 6 | 4933 | 508 |
6 alts after pruning (3 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 41 | 1 | 42 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 41 | 6 | 47 |
| Status | Error | Program |
| 50.4b | (cbrt.f64 (pow.f64 (fma.f64 z (-.f64 t x) x) 3)) | |
| 45.7b | (-.f64 (fma.f64 1/3 (/.f64 (*.f64 z (pow.f64 x 3)) (*.f64 y y)) (fma.f64 z t x)) (fma.f64 x z (*.f64 1/3 (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))))) | |
| ✓ | 25.8b | (-.f64 (fma.f64 z t x) (*.f64 x z)) |
| ✓ | 16.9b | (fma.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) x) |
| ▶ | 34.5b | (*.f64 (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x))) |
| ✓ | 4.6b | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
Compiled 785 to 242 computations (69.2% saved)
Found 4 expressions with local error:
| New | Error | Program |
| 0.0b | (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) | |
| ✓ | 0.0b | (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) |
| ✓ | 0.3b | (*.f64 (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x))) |
| 4.3b | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
2 calls:
| 2.6s | (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) |
| 212.0ms | (*.f64 (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x))) |
| 1× | rewrite-expression-head |
| 28× | add-sqr-sqrt_binary64 |
| 21× | sqrt-prod_binary64 |
| 18× | pow1_binary64 |
| 11× | *-un-lft-identity_binary64 |
| 11× | add-cube-cbrt_binary64 |
2 calls:
| 5.0ms | (*.f64 (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x))) |
| 1.0ms | (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) |
| 1× | egg-herbie |
| 842× | fma-def_binary64 |
| 724× | times-frac_binary64 |
| 294× | *-commutative_binary64 |
| 172× | +-commutative_binary64 |
| 150× | associate-*r*_binary64 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 723 | 20232 |
| 1 | 2313 | 18361 |
| 2 | 5056 | 18361 |
6 alts after pruning (2 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 452 | 0 | 452 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 452 | 6 | 458 |
| Status | Error | Program |
| 50.4b | (cbrt.f64 (pow.f64 (fma.f64 z (-.f64 t x) x) 3)) | |
| 45.7b | (-.f64 (fma.f64 1/3 (/.f64 (*.f64 z (pow.f64 x 3)) (*.f64 y y)) (fma.f64 z t x)) (fma.f64 x z (*.f64 1/3 (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))))) | |
| ✓ | 25.8b | (-.f64 (fma.f64 z t x) (*.f64 x z)) |
| ✓ | 16.9b | (fma.f64 (*.f64 y z) (/.f64 (-.f64 (*.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 t y))) (*.f64 (tanh.f64 (/.f64 x y)) (tanh.f64 (/.f64 x y)))) (+.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y)))) x) |
| ✓ | 34.5b | (*.f64 (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x)) (sqrt.f64 (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x))) |
| ✓ | 4.6b | (fma.f64 (*.f64 y z) (-.f64 (tanh.f64 (/.f64 t y)) (tanh.f64 (/.f64 x y))) x) |
Compiled 50327 to 16472 computations (67.3% saved)
Total 0.7b remaining (76.8%)
Threshold costs 0.7b (76.8%)
Compiled 4038 to 2301 computations (43% saved)
Compiled 19 to 12 computations (36.8% saved)
| 1× | egg-herbie |
| 6× | +-commutative_binary64 |
| 4× | *-commutative_binary64 |
| 4× | sub-neg_binary64 |
| 2× | neg-sub0_binary64 |
| 2× | neg-mul-1_binary64 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 25 | 93 |
| 1 | 33 | 93 |
| 2 | 40 | 93 |
| 3 | 44 | 93 |
| 4 | 46 | 93 |
| 5 | 46 | 93 |
Compiled 282 to 117 computations (58.5% saved)
Loading profile data...