Time bar (total: 1.8s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 4 |
| 25% | 25% | 74.9% | 0.1% | 0% | 0% | 0% | 5 |
| 28.6% | 25% | 62.4% | 0.1% | 12.5% | 0% | 0% | 6 |
| 38.1% | 25% | 40.6% | 0.1% | 34.3% | 0% | 0% | 7 |
| 43.2% | 25% | 32.8% | 0.1% | 42.1% | 0% | 0% | 8 |
| 51.6% | 25% | 23.4% | 0.1% | 51.5% | 0% | 0% | 9 |
| 61% | 28.1% | 18% | 0.1% | 53.9% | 0% | 0% | 10 |
| 73.3% | 31.6% | 11.5% | 0.1% | 56.8% | 0% | 0% | 11 |
| 79% | 33.4% | 8.9% | 0.1% | 57.7% | 0% | 0% | 12 |
Compiled 10 to 8 computations (20% saved)
| 899.0ms | 8256× | body | 256 | valid |
| 78.0ms | 695× | body | 256 | infinite |
| 2× | egg-herbie |
| 1160× | distribute-lft-in |
| 1064× | associate-+r- |
| 1016× | distribute-rgt-in |
| 932× | associate-+l- |
| 872× | distribute-neg-in |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 9 | 38 |
| 1 | 20 | 38 |
| 2 | 52 | 38 |
| 3 | 185 | 38 |
| 4 | 408 | 38 |
| 5 | 1390 | 38 |
| 6 | 5060 | 38 |
| 0 | 2 | 2 |
| 1× | saturated |
| 1× | node limit |
| Inputs |
|---|
0 |
1 |
| Outputs |
|---|
0 |
1 |
| Inputs |
|---|
(-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
(-.f64 (pow.f64 y 4) (pow.f64 x 4)) |
| Outputs |
|---|
(-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
(-.f64 (pow.f64 y 4) (pow.f64 x 4)) |
Compiled 11 to 9 computations (18.2% saved)
| 1× | egg-herbie |
| 1510× | distribute-lft-neg-in |
| 1182× | distribute-rgt-neg-in |
| 724× | associate-+l- |
| 710× | associate--r+ |
| 670× | *-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 8 | 19 |
| 1 | 17 | 19 |
| 2 | 39 | 19 |
| 3 | 125 | 19 |
| 4 | 266 | 19 |
| 5 | 809 | 19 |
| 6 | 2267 | 19 |
| 7 | 4271 | 19 |
| 1× | node limit |
| Inputs |
|---|
(-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
| Outputs |
|---|
(-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
Compiled 9 to 7 computations (22.2% saved)
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 | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
Compiled 9 to 7 computations (22.2% saved)
Found 1 expressions with local accuracy:
| New | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (pow.f64 y 4) |
Compiled 18 to 12 computations (33.3% saved)
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | y | @ | -inf | (pow.f64 y 4) |
| 0.0ms | y | @ | inf | (pow.f64 y 4) |
| 0.0ms | y | @ | 0 | (pow.f64 y 4) |
| 1× | batch-egg-rewrite |
| 1006× | associate-*r* |
| 868× | add-sqr-sqrt |
| 854× | *-un-lft-identity |
| 808× | pow1 |
| 802× | add-cube-cbrt |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 7 |
| 1 | 105 | 7 |
| 2 | 1155 | 7 |
| 1× | node limit |
| Inputs |
|---|
(pow.f64 y 4) |
| Outputs |
|---|
((-.f64 (+.f64 (pow.f64 y 4) 1) 1) (*.f64 (pow.f64 y 4) 1) (*.f64 1 (pow.f64 y 4)) (*.f64 (*.f64 y (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 8))) (*.f64 (cbrt.f64 (pow.f64 y 8)) (*.f64 y (cbrt.f64 y))) (*.f64 (pow.f64 y 3) y) (*.f64 (*.f64 y y) (*.f64 y y)) (*.f64 (*.f64 (sqrt.f64 y) (*.f64 y y)) (*.f64 y (sqrt.f64 y))) (*.f64 (pow.f64 (sqrt.f64 y) 4) (pow.f64 (sqrt.f64 y) 4)) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) 2) 4) (pow.f64 (cbrt.f64 y) 4)) (*.f64 (pow.f64 (cbrt.f64 y) 4) (pow.f64 (pow.f64 (cbrt.f64 y) 2) 4)) (*.f64 (*.f64 (*.f64 y y) (*.f64 y (cbrt.f64 y))) (pow.f64 (cbrt.f64 y) 2)) (*.f64 (*.f64 (*.f64 y (cbrt.f64 y)) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (*.f64 (*.f64 (*.f64 y (cbrt.f64 y)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 y 8))) (cbrt.f64 (cbrt.f64 (pow.f64 y 8))))) (cbrt.f64 (cbrt.f64 (pow.f64 y 8)))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 y) 2)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (cbrt.f64 (cbrt.f64 (pow.f64 y 8)))) (cbrt.f64 (*.f64 y (cbrt.f64 y)))) (*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (cbrt.f64 (*.f64 y (cbrt.f64 y))))) (cbrt.f64 (*.f64 y (cbrt.f64 y)))) (*.f64 (*.f64 (*.f64 y y) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) (*.f64 (*.f64 (*.f64 y y) (*.f64 y (sqrt.f64 y))) (sqrt.f64 y)) (*.f64 (*.f64 (*.f64 y y) (*.f64 y (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 y)) (*.f64 (*.f64 (*.f64 y y) (pow.f64 (pow.f64 (cbrt.f64 y) 2) 2)) (pow.f64 (cbrt.f64 y) 2)) (sqrt.f64 (pow.f64 y 8)) (log.f64 (exp.f64 (pow.f64 y 4))) (cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) (expm1.f64 (log1p.f64 (pow.f64 y 4))) (exp.f64 (*.f64 4 (log.f64 y))) (log1p.f64 (expm1.f64 (pow.f64 y 4)))) |
| 1× | egg-herbie |
| 1164× | associate-/l* |
| 890× | *-commutative |
| 846× | associate-*r* |
| 824× | associate-/r* |
| 782× | fma-def |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 77 | 534 |
| 1 | 199 | 420 |
| 2 | 608 | 420 |
| 3 | 2049 | 410 |
| 4 | 5023 | 410 |
| 1× | node limit |
| Inputs |
|---|
(-.f64 (+.f64 (pow.f64 y 4) 1) 1) |
(*.f64 (pow.f64 y 4) 1) |
(*.f64 1 (pow.f64 y 4)) |
(*.f64 (*.f64 y (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 8))) |
(*.f64 (cbrt.f64 (pow.f64 y 8)) (*.f64 y (cbrt.f64 y))) |
(*.f64 (pow.f64 y 3) y) |
(*.f64 (*.f64 y y) (*.f64 y y)) |
(*.f64 (*.f64 (sqrt.f64 y) (*.f64 y y)) (*.f64 y (sqrt.f64 y))) |
(*.f64 (pow.f64 (sqrt.f64 y) 4) (pow.f64 (sqrt.f64 y) 4)) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) 2) 4) (pow.f64 (cbrt.f64 y) 4)) |
(*.f64 (pow.f64 (cbrt.f64 y) 4) (pow.f64 (pow.f64 (cbrt.f64 y) 2) 4)) |
(*.f64 (*.f64 (*.f64 y y) (*.f64 y (cbrt.f64 y))) (pow.f64 (cbrt.f64 y) 2)) |
(*.f64 (*.f64 (*.f64 y (cbrt.f64 y)) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (*.f64 (*.f64 y (cbrt.f64 y)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 y 8))) (cbrt.f64 (cbrt.f64 (pow.f64 y 8))))) (cbrt.f64 (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 y) 2)) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (cbrt.f64 (cbrt.f64 (pow.f64 y 8)))) (cbrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (cbrt.f64 (*.f64 y (cbrt.f64 y))))) (cbrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 (*.f64 (*.f64 y y) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 (*.f64 (*.f64 y y) (*.f64 y (sqrt.f64 y))) (sqrt.f64 y)) |
(*.f64 (*.f64 (*.f64 y y) (*.f64 y (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 y)) |
(*.f64 (*.f64 (*.f64 y y) (pow.f64 (pow.f64 (cbrt.f64 y) 2) 2)) (pow.f64 (cbrt.f64 y) 2)) |
(sqrt.f64 (pow.f64 y 8)) |
(log.f64 (exp.f64 (pow.f64 y 4))) |
(cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) |
(expm1.f64 (log1p.f64 (pow.f64 y 4))) |
(exp.f64 (*.f64 4 (log.f64 y))) |
(log1p.f64 (expm1.f64 (pow.f64 y 4))) |
| Outputs |
|---|
(-.f64 (+.f64 (pow.f64 y 4) 1) 1) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (pow.f64 y 4) 1) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 1 (pow.f64 y 4)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (*.f64 y (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 8))) |
(*.f64 y (*.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (cbrt.f64 (pow.f64 y 8)) (*.f64 y (cbrt.f64 y))) |
(*.f64 y (*.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (pow.f64 y 3) y) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (*.f64 y y) (*.f64 y y)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (*.f64 (sqrt.f64 y) (*.f64 y y)) (*.f64 y (sqrt.f64 y))) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (pow.f64 (sqrt.f64 y) 4) (pow.f64 (sqrt.f64 y) 4)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) 2) 4) (pow.f64 (cbrt.f64 y) 4)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (pow.f64 (cbrt.f64 y) 4) (pow.f64 (pow.f64 (cbrt.f64 y) 2) 4)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (*.f64 (*.f64 y y) (*.f64 y (cbrt.f64 y))) (pow.f64 (cbrt.f64 y) 2)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (*.f64 (*.f64 y (cbrt.f64 y)) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 y (*.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (*.f64 (*.f64 y (cbrt.f64 y)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 y 8))) (cbrt.f64 (cbrt.f64 (pow.f64 y 8))))) (cbrt.f64 (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 y (*.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (pow.f64 (cbrt.f64 y) 2)) (pow.f64 (cbrt.f64 y) 2)) |
(*.f64 y (*.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 y (*.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (cbrt.f64 (cbrt.f64 (pow.f64 y 8)))) (cbrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 (cbrt.f64 (pow.f64 y 8)) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 y 8))) (cbrt.f64 (*.f64 y (cbrt.f64 y))))) |
(*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 y 8))) (*.f64 (cbrt.f64 (pow.f64 y 8)) (cbrt.f64 (*.f64 y (cbrt.f64 y))))) |
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 y 8))) 4) (cbrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 (*.f64 (cbrt.f64 (pow.f64 y 8)) (*.f64 (cbrt.f64 (*.f64 y (cbrt.f64 y))) (cbrt.f64 (*.f64 y (cbrt.f64 y))))) (cbrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 y (*.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 y 8)))) |
(*.f64 (*.f64 (*.f64 y y) (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (sqrt.f64 (*.f64 y (cbrt.f64 y)))) |
(*.f64 (*.f64 y y) (*.f64 (sqrt.f64 (cbrt.f64 (pow.f64 y 8))) (sqrt.f64 (*.f64 y (cbrt.f64 y))))) |
(*.f64 y (*.f64 (*.f64 y (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (sqrt.f64 (*.f64 y (cbrt.f64 y))))) |
(*.f64 (*.f64 y (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (*.f64 y (fabs.f64 (pow.f64 (cbrt.f64 y) 2)))) |
(*.f64 (*.f64 y (sqrt.f64 (cbrt.f64 (pow.f64 y 8)))) (*.f64 y (sqrt.f64 (*.f64 y (cbrt.f64 y))))) |
(*.f64 (*.f64 (*.f64 y y) (*.f64 y (sqrt.f64 y))) (sqrt.f64 y)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (*.f64 (*.f64 y y) (*.f64 y (pow.f64 (cbrt.f64 y) 2))) (cbrt.f64 y)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(*.f64 (*.f64 (*.f64 y y) (pow.f64 (pow.f64 (cbrt.f64 y) 2) 2)) (pow.f64 (cbrt.f64 y) 2)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(sqrt.f64 (pow.f64 y 8)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(log.f64 (exp.f64 (pow.f64 y 4))) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(expm1.f64 (log1p.f64 (pow.f64 y 4))) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(exp.f64 (*.f64 4 (log.f64 y))) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
(log1p.f64 (expm1.f64 (pow.f64 y 4))) |
(+.f64 (pow.f64 y 4) 0) |
(pow.f64 y 4) |
Compiled 568 to 339 computations (40.3% saved)
3 alts after pruning (2 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 36 | 2 | 38 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 36 | 3 | 39 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
| ▶ | 99.8% | (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 y 3) y)) |
| ▶ | 99.7% | (-.f64 (pow.f64 x 4) (*.f64 (*.f64 y y) (*.f64 y y))) |
Compiled 33 to 22 computations (33.3% saved)
Found 1 expressions with local accuracy:
| New | Accuracy | Program |
|---|---|---|
| ✓ | 99.6% | (*.f64 (*.f64 y y) (*.f64 y y)) |
Compiled 29 to 10 computations (65.5% saved)
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | y | @ | inf | (*.f64 (*.f64 y y) (*.f64 y y)) |
| 0.0ms | y | @ | 0 | (*.f64 (*.f64 y y) (*.f64 y y)) |
| 0.0ms | y | @ | -inf | (*.f64 (*.f64 y y) (*.f64 y y)) |
| 1× | batch-egg-rewrite |
| 862× | add-sqr-sqrt |
| 850× | *-un-lft-identity |
| 796× | pow1 |
| 788× | add-cube-cbrt |
| 780× | add-cbrt-cube |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 13 |
| 1 | 101 | 7 |
| 2 | 1245 | 7 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (*.f64 y y) (*.f64 y y)) |
| Outputs |
|---|
((-.f64 (+.f64 (pow.f64 y 4) 1) 1) (pow.f64 y 4) (pow.f64 (*.f64 y y) 2) (pow.f64 (pow.f64 y 4) 1) (pow.f64 (*.f64 y (cbrt.f64 y)) 3) (pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) (sqrt.f64 (pow.f64 (*.f64 y y) 4)) (log.f64 (exp.f64 (pow.f64 y 4))) (cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) (expm1.f64 (log1p.f64 (pow.f64 y 4))) (exp.f64 (*.f64 (log.f64 y) 4)) (log1p.f64 (expm1.f64 (pow.f64 y 4)))) |
| 1× | egg-herbie |
| 938× | *-commutative |
| 898× | distribute-lft-in |
| 814× | distribute-rgt-in |
| 660× | fma-def |
| 474× | distribute-lft-out |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 168 |
| 1 | 75 | 168 |
| 2 | 246 | 168 |
| 3 | 1302 | 168 |
| 4 | 5059 | 168 |
| 1× | node limit |
| Inputs |
|---|
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(-.f64 (+.f64 (pow.f64 y 4) 1) 1) |
(pow.f64 y 4) |
(pow.f64 (*.f64 y y) 2) |
(pow.f64 (pow.f64 y 4) 1) |
(pow.f64 (*.f64 y (cbrt.f64 y)) 3) |
(pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) |
(sqrt.f64 (pow.f64 (*.f64 y y) 4)) |
(log.f64 (exp.f64 (pow.f64 y 4))) |
(cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) |
(expm1.f64 (log1p.f64 (pow.f64 y 4))) |
(exp.f64 (*.f64 (log.f64 y) 4)) |
(log1p.f64 (expm1.f64 (pow.f64 y 4))) |
| Outputs |
|---|
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(-.f64 (+.f64 (pow.f64 y 4) 1) 1) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 (*.f64 y y) 2) |
(pow.f64 y 4) |
(pow.f64 (pow.f64 y 4) 1) |
(pow.f64 y 4) |
(pow.f64 (*.f64 y (cbrt.f64 y)) 3) |
(pow.f64 y 4) |
(pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) |
(pow.f64 y 4) |
(sqrt.f64 (pow.f64 (*.f64 y y) 4)) |
(pow.f64 y 4) |
(log.f64 (exp.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
(cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) |
(pow.f64 y 4) |
(expm1.f64 (log1p.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
(exp.f64 (*.f64 (log.f64 y) 4)) |
(pow.f64 y 4) |
(log1p.f64 (expm1.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
Found 2 expressions with local accuracy:
| New | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (pow.f64 y 3) |
| ✓ | 99.8% | (*.f64 (pow.f64 y 3) y) |
Compiled 26 to 17 computations (34.6% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | y | @ | -inf | (pow.f64 y 3) |
| 0.0ms | y | @ | inf | (pow.f64 y 3) |
| 0.0ms | y | @ | 0 | (pow.f64 y 3) |
| 0.0ms | y | @ | 0 | (*.f64 (pow.f64 y 3) y) |
| 0.0ms | y | @ | inf | (*.f64 (pow.f64 y 3) y) |
| 1× | batch-egg-rewrite |
| 1072× | add-sqr-sqrt |
| 1048× | *-un-lft-identity |
| 992× | pow1 |
| 992× | add-cube-cbrt |
| 982× | add-cbrt-cube |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 14 |
| 1 | 131 | 14 |
| 2 | 1464 | 14 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (pow.f64 y 3) y) |
(pow.f64 y 3) |
| Outputs |
|---|
((-.f64 (+.f64 1 (pow.f64 y 4)) 1) (pow.f64 y 4) (pow.f64 (pow.f64 y 4) 1) (pow.f64 (*.f64 y (cbrt.f64 y)) 3) (pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) (pow.f64 (*.f64 y y) 2) (sqrt.f64 (pow.f64 y 8)) (log.f64 (exp.f64 (pow.f64 y 4))) (cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) (expm1.f64 (log1p.f64 (pow.f64 y 4))) (exp.f64 (*.f64 (log.f64 y) 4)) (log1p.f64 (expm1.f64 (pow.f64 y 4)))) |
((-.f64 (+.f64 1 (pow.f64 y 3)) 1) (*.f64 y (*.f64 y y)) (*.f64 (pow.f64 y 3) 1) (*.f64 1 (pow.f64 y 3)) (*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 y y))) (*.f64 (pow.f64 y 3/2) (pow.f64 y 3/2)) (*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 y y))) (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 y y) 1) y) (*.f64 (*.f64 (*.f64 y y) (sqrt.f64 y)) (sqrt.f64 y)) (*.f64 (*.f64 (*.f64 y y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)) (*.f64 (pow.f64 (sqrt.f64 y) 3) (pow.f64 (sqrt.f64 y) 3)) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) 2) 3) y) (sqrt.f64 (pow.f64 y 6)) (log.f64 (exp.f64 (pow.f64 y 3))) (cbrt.f64 (*.f64 (pow.f64 y 8) y)) (expm1.f64 (log1p.f64 (pow.f64 y 3))) (exp.f64 (*.f64 3 (log.f64 y))) (log1p.f64 (expm1.f64 (pow.f64 y 3)))) |
| 1× | egg-herbie |
| 1094× | associate-*r* |
| 950× | fma-def |
| 912× | associate-*l* |
| 844× | distribute-lft-in |
| 840× | distribute-rgt-in |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 72 | 521 |
| 1 | 170 | 413 |
| 2 | 582 | 305 |
| 3 | 2977 | 305 |
| 1× | node limit |
| Inputs |
|---|
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(-.f64 (+.f64 1 (pow.f64 y 4)) 1) |
(pow.f64 y 4) |
(pow.f64 (pow.f64 y 4) 1) |
(pow.f64 (*.f64 y (cbrt.f64 y)) 3) |
(pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) |
(pow.f64 (*.f64 y y) 2) |
(sqrt.f64 (pow.f64 y 8)) |
(log.f64 (exp.f64 (pow.f64 y 4))) |
(cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) |
(expm1.f64 (log1p.f64 (pow.f64 y 4))) |
(exp.f64 (*.f64 (log.f64 y) 4)) |
(log1p.f64 (expm1.f64 (pow.f64 y 4))) |
(-.f64 (+.f64 1 (pow.f64 y 3)) 1) |
(*.f64 y (*.f64 y y)) |
(*.f64 (pow.f64 y 3) 1) |
(*.f64 1 (pow.f64 y 3)) |
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 y y))) |
(*.f64 (pow.f64 y 3/2) (pow.f64 y 3/2)) |
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 y y))) |
(*.f64 (*.f64 y y) y) |
(*.f64 (*.f64 (*.f64 y y) 1) y) |
(*.f64 (*.f64 (*.f64 y y) (sqrt.f64 y)) (sqrt.f64 y)) |
(*.f64 (*.f64 (*.f64 y y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)) |
(*.f64 (pow.f64 (sqrt.f64 y) 3) (pow.f64 (sqrt.f64 y) 3)) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) 2) 3) y) |
(sqrt.f64 (pow.f64 y 6)) |
(log.f64 (exp.f64 (pow.f64 y 3))) |
(cbrt.f64 (*.f64 (pow.f64 y 8) y)) |
(expm1.f64 (log1p.f64 (pow.f64 y 3))) |
(exp.f64 (*.f64 3 (log.f64 y))) |
(log1p.f64 (expm1.f64 (pow.f64 y 3))) |
| Outputs |
|---|
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(-.f64 (+.f64 1 (pow.f64 y 4)) 1) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 (pow.f64 y 4) 1) |
(pow.f64 y 4) |
(pow.f64 (*.f64 y (cbrt.f64 y)) 3) |
(pow.f64 y 4) |
(pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) |
(pow.f64 y 4) |
(pow.f64 (*.f64 y y) 2) |
(pow.f64 y 4) |
(sqrt.f64 (pow.f64 y 8)) |
(pow.f64 y 4) |
(log.f64 (exp.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
(cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) |
(pow.f64 y 4) |
(expm1.f64 (log1p.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
(exp.f64 (*.f64 (log.f64 y) 4)) |
(pow.f64 y 4) |
(log1p.f64 (expm1.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
(-.f64 (+.f64 1 (pow.f64 y 3)) 1) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 y (*.f64 y y)) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (pow.f64 y 3) 1) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 1 (pow.f64 y 3)) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 y y))) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (pow.f64 y 3/2) (pow.f64 y 3/2)) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 y y))) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (*.f64 y y) y) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (*.f64 (*.f64 y y) 1) y) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (*.f64 (*.f64 y y) (sqrt.f64 y)) (sqrt.f64 y)) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (*.f64 (*.f64 y y) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y)) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (pow.f64 (sqrt.f64 y) 3) (pow.f64 (sqrt.f64 y) 3)) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 y) 2) 3) y) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(sqrt.f64 (pow.f64 y 6)) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(log.f64 (exp.f64 (pow.f64 y 3))) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(cbrt.f64 (*.f64 (pow.f64 y 8) y)) |
(cbrt.f64 (pow.f64 y 9)) |
(expm1.f64 (log1p.f64 (pow.f64 y 3))) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(exp.f64 (*.f64 3 (log.f64 y))) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
(log1p.f64 (expm1.f64 (pow.f64 y 3))) |
(+.f64 (+.f64 1 (pow.f64 y 3)) -1) |
(+.f64 (pow.f64 y 3) 0) |
(pow.f64 y 3) |
Compiled 511 to 344 computations (32.7% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 46 | 1 | 47 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 46 | 4 | 50 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
| ✓ | 99.8% | (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 y 3) y)) |
| ▶ | 99.8% | (-.f64 (pow.f64 x 4) (*.f64 (*.f64 (*.f64 y y) y) y)) |
| ✓ | 99.7% | (-.f64 (pow.f64 x 4) (*.f64 (*.f64 y y) (*.f64 y y))) |
Compiled 46 to 30 computations (34.8% saved)
Found 2 expressions with local accuracy:
| New | Accuracy | Program |
|---|---|---|
| ✓ | 99.8% | (*.f64 (*.f64 (*.f64 y y) y) y) |
| ✓ | 99.7% | (*.f64 (*.f64 y y) y) |
Compiled 34 to 11 computations (67.6% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | y | @ | inf | (*.f64 (*.f64 y y) y) |
| 0.0ms | y | @ | -inf | (*.f64 (*.f64 y y) y) |
| 0.0ms | y | @ | 0 | (*.f64 (*.f64 y y) y) |
| 0.0ms | y | @ | 0 | (*.f64 (*.f64 (*.f64 y y) y) y) |
| 0.0ms | y | @ | inf | (*.f64 (*.f64 (*.f64 y y) y) y) |
| 1× | batch-egg-rewrite |
| 982× | add-sqr-sqrt |
| 964× | *-un-lft-identity |
| 904× | pow1 |
| 900× | add-cube-cbrt |
| 892× | add-cbrt-cube |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 20 |
| 1 | 121 | 14 |
| 2 | 1416 | 14 |
| 1× | node limit |
| Inputs |
|---|
(*.f64 (*.f64 y y) y) |
(*.f64 (*.f64 (*.f64 y y) y) y) |
| Outputs |
|---|
((-.f64 (+.f64 1 (pow.f64 y 3)) 1) (pow.f64 y 3) (pow.f64 (pow.f64 y 3) 1) (pow.f64 (pow.f64 y 3/2) 2) (pow.f64 (pow.f64 (pow.f64 y 3) 3) 1/3) (sqrt.f64 (pow.f64 y 6)) (log.f64 (exp.f64 (pow.f64 y 3))) (cbrt.f64 (pow.f64 (pow.f64 y 3) 3)) (expm1.f64 (log1p.f64 (pow.f64 y 3))) (exp.f64 (*.f64 (log.f64 y) 3)) (log1p.f64 (expm1.f64 (pow.f64 y 3)))) |
((-.f64 (+.f64 1 (pow.f64 y 4)) 1) (pow.f64 y 4) (pow.f64 (*.f64 y y) 2) (pow.f64 (pow.f64 y 4) 1) (pow.f64 (*.f64 y (cbrt.f64 y)) 3) (pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) (sqrt.f64 (pow.f64 (pow.f64 y 4) 2)) (log.f64 (exp.f64 (pow.f64 y 4))) (cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) (expm1.f64 (log1p.f64 (pow.f64 y 4))) (exp.f64 (log.f64 (pow.f64 y 4))) (log1p.f64 (expm1.f64 (pow.f64 y 4)))) |
| 1× | egg-herbie |
| 1054× | log-prod |
| 1048× | distribute-rgt-in |
| 1020× | distribute-lft-in |
| 758× | associate-*r* |
| 638× | associate-*l* |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 53 | 329 |
| 1 | 119 | 329 |
| 2 | 476 | 329 |
| 3 | 2560 | 329 |
| 1× | node limit |
| Inputs |
|---|
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(-.f64 (+.f64 1 (pow.f64 y 3)) 1) |
(pow.f64 y 3) |
(pow.f64 (pow.f64 y 3) 1) |
(pow.f64 (pow.f64 y 3/2) 2) |
(pow.f64 (pow.f64 (pow.f64 y 3) 3) 1/3) |
(sqrt.f64 (pow.f64 y 6)) |
(log.f64 (exp.f64 (pow.f64 y 3))) |
(cbrt.f64 (pow.f64 (pow.f64 y 3) 3)) |
(expm1.f64 (log1p.f64 (pow.f64 y 3))) |
(exp.f64 (*.f64 (log.f64 y) 3)) |
(log1p.f64 (expm1.f64 (pow.f64 y 3))) |
(-.f64 (+.f64 1 (pow.f64 y 4)) 1) |
(pow.f64 y 4) |
(pow.f64 (*.f64 y y) 2) |
(pow.f64 (pow.f64 y 4) 1) |
(pow.f64 (*.f64 y (cbrt.f64 y)) 3) |
(pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) |
(sqrt.f64 (pow.f64 (pow.f64 y 4) 2)) |
(log.f64 (exp.f64 (pow.f64 y 4))) |
(cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) |
(expm1.f64 (log1p.f64 (pow.f64 y 4))) |
(exp.f64 (log.f64 (pow.f64 y 4))) |
(log1p.f64 (expm1.f64 (pow.f64 y 4))) |
| Outputs |
|---|
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(-.f64 (+.f64 1 (pow.f64 y 3)) 1) |
(pow.f64 y 3) |
(pow.f64 y 3) |
(pow.f64 (pow.f64 y 3) 1) |
(pow.f64 y 3) |
(pow.f64 (pow.f64 y 3/2) 2) |
(pow.f64 y 3) |
(pow.f64 (pow.f64 (pow.f64 y 3) 3) 1/3) |
(pow.f64 y 3) |
(sqrt.f64 (pow.f64 y 6)) |
(pow.f64 y 3) |
(log.f64 (exp.f64 (pow.f64 y 3))) |
(pow.f64 y 3) |
(cbrt.f64 (pow.f64 (pow.f64 y 3) 3)) |
(pow.f64 y 3) |
(expm1.f64 (log1p.f64 (pow.f64 y 3))) |
(pow.f64 y 3) |
(exp.f64 (*.f64 (log.f64 y) 3)) |
(pow.f64 y 3) |
(log1p.f64 (expm1.f64 (pow.f64 y 3))) |
(pow.f64 y 3) |
(-.f64 (+.f64 1 (pow.f64 y 4)) 1) |
(pow.f64 y 4) |
(pow.f64 y 4) |
(pow.f64 (*.f64 y y) 2) |
(pow.f64 y 4) |
(pow.f64 (pow.f64 y 4) 1) |
(pow.f64 y 4) |
(pow.f64 (*.f64 y (cbrt.f64 y)) 3) |
(pow.f64 y 4) |
(pow.f64 (pow.f64 (pow.f64 y 4) 3) 1/3) |
(pow.f64 y 4) |
(sqrt.f64 (pow.f64 (pow.f64 y 4) 2)) |
(pow.f64 y 4) |
(log.f64 (exp.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
(cbrt.f64 (pow.f64 (pow.f64 y 4) 3)) |
(pow.f64 y 4) |
(expm1.f64 (log1p.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
(exp.f64 (log.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
(log1p.f64 (expm1.f64 (pow.f64 y 4))) |
(pow.f64 y 4) |
Compiled 238 to 179 computations (24.8% saved)
4 alts after pruning (0 fresh and 4 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 23 | 0 | 23 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 3 | 3 |
| Total | 23 | 4 | 27 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
| ✓ | 99.8% | (-.f64 (pow.f64 x 4) (*.f64 (pow.f64 y 3) y)) |
| ✓ | 99.8% | (-.f64 (pow.f64 x 4) (*.f64 (*.f64 (*.f64 y y) y) y)) |
| ✓ | 99.7% | (-.f64 (pow.f64 x 4) (*.f64 (*.f64 y y) (*.f64 y y))) |
Compiled 46 to 30 computations (34.8% saved)
| Inputs |
|---|
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 y y) (*.f64 y y))) |
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 (*.f64 y y) y) y)) |
(-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
(-.f64 (pow.f64 x 4) (*.f64 (pow.f64 y 3) y)) |
| Outputs |
|---|
(-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
5 calls:
| 4.0ms | y |
| 4.0ms | x |
| 3.0ms | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
| 2.0ms | (pow.f64 y 4) |
| 2.0ms | (pow.f64 x 4) |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | x |
| 100.0% | 1 | y |
| 100.0% | 1 | (-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
| 100.0% | 1 | (pow.f64 x 4) |
| 100.0% | 1 | (pow.f64 y 4) |
Compiled 65 to 42 computations (35.4% saved)
Total -0.1b remaining (-71.1%)
Threshold costs -0.1b (-71.1%)
| Inputs |
|---|
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 y y) (*.f64 y y))) |
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 (*.f64 y y) y) y)) |
| Outputs |
|---|
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 (*.f64 y y) y) y)) |
3 calls:
| 3.0ms | y |
| 3.0ms | x |
| 2.0ms | (pow.f64 x 4) |
| Accuracy | Segments | Branch |
|---|---|---|
| 99.8% | 1 | x |
| 99.8% | 1 | y |
| 99.8% | 1 | (pow.f64 x 4) |
Compiled 35 to 20 computations (42.9% saved)
| 1× | egg-herbie |
| 22× | +-commutative |
| 20× | *-commutative |
| 12× | distribute-lft-neg-in |
| 12× | neg-mul-1 |
| 12× | cancel-sign-sub-inv |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 81 |
| 1 | 29 | 81 |
| 2 | 57 | 81 |
| 3 | 69 | 81 |
| 4 | 76 | 81 |
| 5 | 77 | 81 |
| 1× | done |
| 1× | saturated |
| Inputs |
|---|
(-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 (*.f64 y y) y) y)) |
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 y y) (*.f64 y y))) |
| Outputs |
|---|
(-.f64 (pow.f64 x 4) (pow.f64 y 4)) |
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 (*.f64 y y) y) y)) |
(-.f64 (pow.f64 x 4) (*.f64 y (*.f64 y (*.f64 y y)))) |
(-.f64 (pow.f64 x 4) (*.f64 (*.f64 y y) (*.f64 y y))) |
Compiled 35 to 22 computations (37.1% saved)
Compiled 31 to 17 computations (45.2% saved)
Loading profile data...