
Time bar (total: 1.3s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 100% | 0% | 0% | 0% | 0% | 0 |
| 100% | 100% | 0% | 0% | 0% | 0% | 0% | 1 |
Compiled 7 to 6 computations (14.3% saved)
| 574.0ms | 8256× | body | 256 | valid |
| 1× | egg-herbie |
| 80× | fma-def |
| 24× | distribute-lft-neg-in |
| 18× | sub-neg |
| 16× | cancel-sign-sub-inv |
| 12× | associate-+l- |
| 256× | No Errors |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 52 |
| 1 | 25 | 48 |
| 2 | 49 | 40 |
| 3 | 76 | 40 |
| 4 | 125 | 40 |
| 5 | 156 | 40 |
| 6 | 166 | 40 |
| 7 | 173 | 40 |
| 8 | 181 | 40 |
| 9 | 186 | 40 |
| 10 | 187 | 40 |
| 1× | saturated |
| Inputs |
|---|
(-.f64 x (/.f64 1 3)) |
(-.f64 x (/.f64 1 3)) |
(-.f64 (neg.f64 x) (/.f64 1 3)) |
(neg.f64 (-.f64 (neg.f64 x) (/.f64 1 3))) |
| Outputs |
|---|
(-.f64 x (/.f64 1 3)) |
(+.f64 x -1/3) |
(-.f64 x (/.f64 1 3)) |
(+.f64 x -1/3) |
(-.f64 (neg.f64 x) (/.f64 1 3)) |
(+.f64 (neg.f64 x) -1/3) |
(fma.f64 -1 x -1/3) |
(-.f64 -1/3 x) |
(neg.f64 (-.f64 (neg.f64 x) (/.f64 1 3))) |
(neg.f64 (+.f64 (neg.f64 x) -1/3)) |
(neg.f64 (fma.f64 -1 x -1/3)) |
(+.f64 x 1/3) |
Compiled 19 to 16 computations (15.8% saved)
Compiled 4 to 3 computations (25% saved)
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 100.0% | (+.f64 x -1/3) |
| ▶ | 100.0% | (+.f64 x -1/3) |
Compiled 8 to 6 computations (25% saved)
Found 1 expressions with local error:
| New | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (+.f64 x -1/3) |
Compiled 7 to 5 computations (28.6% saved)
3 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 0.0ms | x | @ | inf | (+.f64 x -1/3) |
| 0.0ms | x | @ | 0 | (+.f64 x -1/3) |
| 0.0ms | x | @ | -inf | (+.f64 x -1/3) |
| 1× | batch-egg-rewrite |
| 928× | frac-times |
| 334× | unpow-prod-down |
| 284× | log1p-expm1-u |
| 284× | expm1-log1p-u |
| 267× | add-exp-log |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 10 |
| 1 | 60 | 10 |
| 2 | 745 | 10 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 x -1/3) |
| Outputs |
|---|
(-.f64 (+.f64 1 (+.f64 x -1/3)) 1) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(-.f64 (/.f64 1/9 (-.f64 -1/3 x)) (/.f64 (pow.f64 x 2) (-.f64 -1/3 x))) |
(*.f64 (+.f64 x -1/3) 1) |
(*.f64 (+.f64 x -1/3) (log.f64 (E.f64))) |
(*.f64 1 (+.f64 x -1/3)) |
(*.f64 (cbrt.f64 (+.f64 x -1/3)) (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2)) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (sqrt.f64 (+.f64 x -1/3)) (sqrt.f64 (+.f64 x -1/3))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(*.f64 (pow.f64 (+.f64 x -1/3) 1/4) (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3/2))) |
(*.f64 (pow.f64 1 1/3) (+.f64 x -1/3)) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x -1/3) 5/2) 1/3) (pow.f64 (+.f64 x -1/3) 1/6)) |
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x -1/3) 5/2)) (pow.f64 (+.f64 x -1/3) 1/6)) |
(*.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3/2)) (pow.f64 (+.f64 x -1/3) 1/4)) |
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 5)) (pow.f64 (+.f64 x -1/3) 1/6)) |
(/.f64 1 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27))) |
(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x -1/3)))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27)) (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27)) (neg.f64 (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x -1/3))))) |
(/.f64 (neg.f64 (fma.f64 x x -1/9)) (neg.f64 (+.f64 x 1/3))) |
(/.f64 (-.f64 1/9 (pow.f64 x 2)) (-.f64 -1/3 x)) |
(/.f64 -1 (neg.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27)))) |
(/.f64 -1 (neg.f64 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))) |
(/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (+.f64 (pow.f64 x 3) -1/27))) (cbrt.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (fma.f64 x x -1/9))) (cbrt.f64 (+.f64 x 1/3))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 x 1/3)))) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -1/9) (+.f64 (pow.f64 x 3) -1/27))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 x -1/3) (+.f64 (pow.f64 x 3) -1/27))) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 x -1/3) (fma.f64 x x -1/9))) (sqrt.f64 (+.f64 x 1/3))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 x -1/3))) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -1/9) (+.f64 x -1/3))) (sqrt.f64 (+.f64 x 1/3))) |
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) (+.f64 x 1/3)) (*.f64 (+.f64 x 1/3) 1/9)) (pow.f64 (+.f64 x 1/3) 2)) |
(/.f64 (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27))) (*.f64 (sqrt.f64 (+.f64 x 1/3)) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3)))))) |
(/.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27)) (sqrt.f64 (fma.f64 x x -1/9))) (*.f64 (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3)))) (sqrt.f64 (+.f64 x 1/3)))) |
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) -1/19683) 1) (*.f64 (+.f64 (pow.f64 x 6) (-.f64 1/729 (*.f64 (pow.f64 x 3) -1/27))) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) 1/729) 1) (*.f64 (-.f64 (pow.f64 x 3) -1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) 1/729) 1) (*.f64 (+.f64 (pow.f64 x 4) (+.f64 1/81 (*.f64 (pow.f64 x 2) 1/9))) (+.f64 x 1/3))) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 4) 1/81) 1) (*.f64 (fma.f64 x x 1/9) (+.f64 x 1/3))) |
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27))) (neg.f64 (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))))) |
(/.f64 (neg.f64 (neg.f64 (fma.f64 x x -1/9))) (neg.f64 (neg.f64 (+.f64 x 1/3)))) |
(/.f64 (neg.f64 (-.f64 1/9 (pow.f64 x 2))) (neg.f64 (-.f64 -1/3 x))) |
(pow.f64 (+.f64 x -1/3) 1) |
(pow.f64 (cbrt.f64 (+.f64 x -1/3)) 3) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 2) 1/2) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 3) 1/3) |
(pow.f64 (sqrt.f64 (+.f64 x -1/3)) 2) |
(pow.f64 (E.f64) (log.f64 (+.f64 x -1/3))) |
(pow.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27)) -1) |
(pow.f64 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)) -1) |
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x -1/3)) 2))) (cbrt.f64 (log.f64 (+.f64 x -1/3)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x -1/3)))) (sqrt.f64 (log.f64 (+.f64 x -1/3)))) |
(sqrt.f64 (pow.f64 (+.f64 x -1/3) 2)) |
(fabs.f64 (+.f64 x -1/3)) |
(log.f64 (exp.f64 (+.f64 x -1/3))) |
(cbrt.f64 (pow.f64 (+.f64 x -1/3) 3)) |
(expm1.f64 (log1p.f64 (+.f64 x -1/3))) |
(exp.f64 (log.f64 (+.f64 x -1/3))) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3)) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x -1/3))) 2)) |
(log1p.f64 (expm1.f64 (+.f64 x -1/3))) |
(fma.f64 x 1 -1/3) |
(fma.f64 1 x -1/3) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) -1/3) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) -1/3) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) -1/3) |
| 1× | egg-herbie |
| 1142× | times-frac |
| 1066× | fma-neg |
| 986× | fma-def |
| 672× | unswap-sqr |
| 578× | *-commutative |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 234 | 2902 |
| 1 | 581 | 2756 |
| 2 | 2153 | 2464 |
| 3 | 7724 | 2464 |
| 1× | node limit |
| Inputs |
|---|
-1/3 |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
x |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
x |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
(-.f64 (+.f64 1 (+.f64 x -1/3)) 1) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(-.f64 (/.f64 1/9 (-.f64 -1/3 x)) (/.f64 (pow.f64 x 2) (-.f64 -1/3 x))) |
(*.f64 (+.f64 x -1/3) 1) |
(*.f64 (+.f64 x -1/3) (log.f64 (E.f64))) |
(*.f64 1 (+.f64 x -1/3)) |
(*.f64 (cbrt.f64 (+.f64 x -1/3)) (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2)) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (sqrt.f64 (+.f64 x -1/3)) (sqrt.f64 (+.f64 x -1/3))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(*.f64 (pow.f64 (+.f64 x -1/3) 1/4) (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3/2))) |
(*.f64 (pow.f64 1 1/3) (+.f64 x -1/3)) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x -1/3) 5/2) 1/3) (pow.f64 (+.f64 x -1/3) 1/6)) |
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x -1/3) 5/2)) (pow.f64 (+.f64 x -1/3) 1/6)) |
(*.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3/2)) (pow.f64 (+.f64 x -1/3) 1/4)) |
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 5)) (pow.f64 (+.f64 x -1/3) 1/6)) |
(/.f64 1 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27))) |
(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x -1/3)))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27)) (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27)) (neg.f64 (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x -1/3))))) |
(/.f64 (neg.f64 (fma.f64 x x -1/9)) (neg.f64 (+.f64 x 1/3))) |
(/.f64 (-.f64 1/9 (pow.f64 x 2)) (-.f64 -1/3 x)) |
(/.f64 -1 (neg.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27)))) |
(/.f64 -1 (neg.f64 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))) |
(/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (+.f64 (pow.f64 x 3) -1/27))) (cbrt.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (fma.f64 x x -1/9))) (cbrt.f64 (+.f64 x 1/3))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 x 1/3)))) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -1/9) (+.f64 (pow.f64 x 3) -1/27))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 x -1/3) (+.f64 (pow.f64 x 3) -1/27))) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 x -1/3) (fma.f64 x x -1/9))) (sqrt.f64 (+.f64 x 1/3))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 x -1/3))) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -1/9) (+.f64 x -1/3))) (sqrt.f64 (+.f64 x 1/3))) |
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) (+.f64 x 1/3)) (*.f64 (+.f64 x 1/3) 1/9)) (pow.f64 (+.f64 x 1/3) 2)) |
(/.f64 (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27))) (*.f64 (sqrt.f64 (+.f64 x 1/3)) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3)))))) |
(/.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27)) (sqrt.f64 (fma.f64 x x -1/9))) (*.f64 (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3)))) (sqrt.f64 (+.f64 x 1/3)))) |
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) -1/19683) 1) (*.f64 (+.f64 (pow.f64 x 6) (-.f64 1/729 (*.f64 (pow.f64 x 3) -1/27))) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) 1/729) 1) (*.f64 (-.f64 (pow.f64 x 3) -1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) 1/729) 1) (*.f64 (+.f64 (pow.f64 x 4) (+.f64 1/81 (*.f64 (pow.f64 x 2) 1/9))) (+.f64 x 1/3))) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 4) 1/81) 1) (*.f64 (fma.f64 x x 1/9) (+.f64 x 1/3))) |
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27))) (neg.f64 (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))))) |
(/.f64 (neg.f64 (neg.f64 (fma.f64 x x -1/9))) (neg.f64 (neg.f64 (+.f64 x 1/3)))) |
(/.f64 (neg.f64 (-.f64 1/9 (pow.f64 x 2))) (neg.f64 (-.f64 -1/3 x))) |
(pow.f64 (+.f64 x -1/3) 1) |
(pow.f64 (cbrt.f64 (+.f64 x -1/3)) 3) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 2) 1/2) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 3) 1/3) |
(pow.f64 (sqrt.f64 (+.f64 x -1/3)) 2) |
(pow.f64 (E.f64) (log.f64 (+.f64 x -1/3))) |
(pow.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27)) -1) |
(pow.f64 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)) -1) |
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x -1/3)) 2))) (cbrt.f64 (log.f64 (+.f64 x -1/3)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x -1/3)))) (sqrt.f64 (log.f64 (+.f64 x -1/3)))) |
(sqrt.f64 (pow.f64 (+.f64 x -1/3) 2)) |
(fabs.f64 (+.f64 x -1/3)) |
(log.f64 (exp.f64 (+.f64 x -1/3))) |
(cbrt.f64 (pow.f64 (+.f64 x -1/3) 3)) |
(expm1.f64 (log1p.f64 (+.f64 x -1/3))) |
(exp.f64 (log.f64 (+.f64 x -1/3))) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3)) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x -1/3))) 2)) |
(log1p.f64 (expm1.f64 (+.f64 x -1/3))) |
(fma.f64 x 1 -1/3) |
(fma.f64 1 x -1/3) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) -1/3) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) -1/3) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) -1/3) |
| Outputs |
|---|
-1/3 |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
x |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
x |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 (+.f64 1 (+.f64 x -1/3)) 1) |
(+.f64 -1/3 x) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(-.f64 (/.f64 1/9 (-.f64 -1/3 x)) (/.f64 (pow.f64 x 2) (-.f64 -1/3 x))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (+.f64 x -1/3) 1) |
(+.f64 -1/3 x) |
(*.f64 (+.f64 x -1/3) (log.f64 (E.f64))) |
(+.f64 -1/3 x) |
(*.f64 1 (+.f64 x -1/3)) |
(+.f64 -1/3 x) |
(*.f64 (cbrt.f64 (+.f64 x -1/3)) (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2)) |
(+.f64 -1/3 x) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2) (cbrt.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(*.f64 (sqrt.f64 (+.f64 x -1/3)) (sqrt.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (pow.f64 (+.f64 x -1/3) 1/4) (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3/2))) |
(*.f64 (pow.f64 (+.f64 -1/3 x) 1/4) (sqrt.f64 (pow.f64 (+.f64 -1/3 x) 3/2))) |
(*.f64 (pow.f64 (+.f64 -1/3 x) 1/4) (pow.f64 (+.f64 -1/3 x) 3/4)) |
(*.f64 (pow.f64 1 1/3) (+.f64 x -1/3)) |
(+.f64 -1/3 x) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 -1/3 x) (cbrt.f64 (+.f64 -1/3 x))) 2)) (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x)))) |
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 -1/3 x)) 4) 2)) (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x)))) |
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 -1/3 x)) 8)) (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x)))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x -1/3) 5/2) 1/3) (pow.f64 (+.f64 x -1/3) 1/6)) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 -1/3 x) 5/2)) (pow.f64 (+.f64 -1/3 x) 1/6)) |
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2)) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (+.f64 -1/3 x) (cbrt.f64 (+.f64 -1/3 x))) 2)) (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x)))) |
(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 -1/3 x)) 4) 2)) (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x)))) |
(*.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 -1/3 x)) 8)) (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x -1/3) 5/2)) (pow.f64 (+.f64 x -1/3) 1/6)) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 -1/3 x) 5/2)) (pow.f64 (+.f64 -1/3 x) 1/6)) |
(*.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3/2)) (pow.f64 (+.f64 x -1/3) 1/4)) |
(*.f64 (pow.f64 (+.f64 -1/3 x) 1/4) (sqrt.f64 (pow.f64 (+.f64 -1/3 x) 3/2))) |
(*.f64 (pow.f64 (+.f64 -1/3 x) 1/4) (pow.f64 (+.f64 -1/3 x) 3/4)) |
(*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 5)) (pow.f64 (+.f64 x -1/3) 1/6)) |
(*.f64 (pow.f64 (+.f64 -1/3 x) 1/6) (sqrt.f64 (pow.f64 (cbrt.f64 (+.f64 -1/3 x)) 5))) |
(*.f64 (pow.f64 (+.f64 -1/3 x) 1/6) (pow.f64 (cbrt.f64 (+.f64 -1/3 x)) 5/2)) |
(/.f64 1 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(/.f64 1 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x -1/3)))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27)) (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27)) (neg.f64 (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x -1/3))))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(/.f64 (neg.f64 (fma.f64 x x -1/9)) (neg.f64 (+.f64 x 1/3))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(/.f64 (-.f64 1/9 (pow.f64 x 2)) (-.f64 -1/3 x)) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(/.f64 -1 (neg.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27)))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(/.f64 -1 (neg.f64 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (+.f64 (pow.f64 x 3) -1/27))) (cbrt.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (cbrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (pow.f64 (+.f64 -1/3 x) 2))) (cbrt.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (cbrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (pow.f64 (+.f64 -1/3 x) 2))) (cbrt.f64 (+.f64 1/9 (*.f64 x (-.f64 x -1/3))))) |
(/.f64 (cbrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (pow.f64 (+.f64 -1/3 x) 2))) (cbrt.f64 (fma.f64 x (+.f64 x 1/3) 1/9))) |
(/.f64 (cbrt.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (fma.f64 x x -1/9))) (cbrt.f64 (+.f64 x 1/3))) |
(/.f64 (cbrt.f64 (*.f64 (fma.f64 x x -1/9) (pow.f64 (+.f64 -1/3 x) 2))) (cbrt.f64 (+.f64 x 1/3))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 x 1/3)))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (fma.f64 x (+.f64 x 1/3) 1/9)))) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -1/9) (+.f64 (pow.f64 x 3) -1/27))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x x -1/9))) (sqrt.f64 (*.f64 (+.f64 x 1/3) (fma.f64 x (+.f64 x 1/3) 1/9)))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 x -1/3) (+.f64 (pow.f64 x 3) -1/27))) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 -1/3 x) (+.f64 (pow.f64 x 3) -1/27))) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 -1/3 x))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 -1/3 x) (+.f64 (pow.f64 x 3) -1/27))) (hypot.f64 x (sqrt.f64 (fma.f64 x 1/3 1/9)))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 x -1/3) (fma.f64 x x -1/9))) (sqrt.f64 (+.f64 x 1/3))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 -1/3 x) (fma.f64 x x -1/9))) (sqrt.f64 (+.f64 x 1/3))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 x -1/3))) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 -1/3 x) (+.f64 (pow.f64 x 3) -1/27))) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 -1/3 x))))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 -1/3 x) (+.f64 (pow.f64 x 3) -1/27))) (hypot.f64 x (sqrt.f64 (fma.f64 x 1/3 1/9)))) |
(/.f64 (sqrt.f64 (*.f64 (fma.f64 x x -1/9) (+.f64 x -1/3))) (sqrt.f64 (+.f64 x 1/3))) |
(/.f64 (sqrt.f64 (*.f64 (+.f64 -1/3 x) (fma.f64 x x -1/9))) (sqrt.f64 (+.f64 x 1/3))) |
(/.f64 (-.f64 (*.f64 (pow.f64 x 2) (+.f64 x 1/3)) (*.f64 (+.f64 x 1/3) 1/9)) (pow.f64 (+.f64 x 1/3) 2)) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(/.f64 (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27))) (*.f64 (sqrt.f64 (+.f64 x 1/3)) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3)))))) |
(*.f64 (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27)) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 -1/3 x))))) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27)) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (*.f64 (hypot.f64 x (sqrt.f64 (fma.f64 x 1/3 1/9))) (sqrt.f64 (+.f64 x 1/3))))) |
(/.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27)) (sqrt.f64 (fma.f64 x x -1/9))) (*.f64 (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 x -1/3)))) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (/.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27)) (hypot.f64 x (sqrt.f64 (-.f64 1/9 (*.f64 -1/3 x))))) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (sqrt.f64 (+.f64 (pow.f64 x 3) -1/27)) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (*.f64 (hypot.f64 x (sqrt.f64 (fma.f64 x 1/3 1/9))) (sqrt.f64 (+.f64 x 1/3))))) |
(/.f64 (*.f64 (+.f64 (pow.f64 x 9) -1/19683) 1) (*.f64 (+.f64 (pow.f64 x 6) (-.f64 1/729 (*.f64 (pow.f64 x 3) -1/27))) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 9) -1/19683) (*.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)) (+.f64 (pow.f64 x 6) (-.f64 1/729 (*.f64 (pow.f64 x 3) -1/27))))) |
(/.f64 (/.f64 (+.f64 (pow.f64 x 9) -1/19683) (+.f64 (pow.f64 x 6) (+.f64 1/729 (*.f64 (pow.f64 x 3) 1/27)))) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 9) -1/19683) (*.f64 (fma.f64 x (+.f64 x 1/3) 1/9) (+.f64 1/729 (fma.f64 (pow.f64 x 3) 1/27 (pow.f64 x 6))))) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) 1/729) 1) (*.f64 (-.f64 (pow.f64 x 3) -1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)))) |
(/.f64 (/.f64 (+.f64 (pow.f64 x 6) -1/729) (+.f64 (pow.f64 x 3) 1/27)) (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x))) |
(/.f64 (/.f64 (+.f64 (pow.f64 x 6) -1/729) (+.f64 (pow.f64 x 3) 1/27)) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 6) -1/729) (*.f64 (fma.f64 x (+.f64 x 1/3) 1/9) (+.f64 (pow.f64 x 3) 1/27))) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 6) 1/729) 1) (*.f64 (+.f64 (pow.f64 x 4) (+.f64 1/81 (*.f64 (pow.f64 x 2) 1/9))) (+.f64 x 1/3))) |
(/.f64 (+.f64 (pow.f64 x 6) -1/729) (*.f64 (+.f64 x 1/3) (+.f64 (pow.f64 x 4) (+.f64 1/81 (*.f64 (pow.f64 x 2) 1/9))))) |
(/.f64 (/.f64 (+.f64 (pow.f64 x 6) -1/729) (+.f64 (pow.f64 x 4) (fma.f64 (pow.f64 x 2) 1/9 1/81))) (+.f64 x 1/3)) |
(/.f64 (*.f64 (-.f64 (pow.f64 x 4) 1/81) 1) (*.f64 (fma.f64 x x 1/9) (+.f64 x 1/3))) |
(/.f64 (/.f64 (+.f64 (pow.f64 x 4) -1/81) (fma.f64 x x 1/9)) (+.f64 x 1/3)) |
(/.f64 (+.f64 (pow.f64 x 4) -1/81) (*.f64 (+.f64 x 1/3) (fma.f64 x x 1/9))) |
(/.f64 (neg.f64 (neg.f64 (+.f64 (pow.f64 x 3) -1/27))) (neg.f64 (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3))))) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(/.f64 (neg.f64 (neg.f64 (fma.f64 x x -1/9))) (neg.f64 (neg.f64 (+.f64 x 1/3)))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(/.f64 (neg.f64 (-.f64 1/9 (pow.f64 x 2))) (neg.f64 (-.f64 -1/3 x))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(pow.f64 (+.f64 x -1/3) 1) |
(+.f64 -1/3 x) |
(pow.f64 (cbrt.f64 (+.f64 x -1/3)) 3) |
(+.f64 -1/3 x) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 2) 1/2) |
(+.f64 -1/3 x) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 3) 1/3) |
(+.f64 -1/3 x) |
(pow.f64 (sqrt.f64 (+.f64 x -1/3)) 2) |
(+.f64 -1/3 x) |
(pow.f64 (E.f64) (log.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(pow.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x -1/3)) (+.f64 (pow.f64 x 3) -1/27)) -1) |
(*.f64 (+.f64 (pow.f64 x 3) -1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (+.f64 1/9 (*.f64 x (-.f64 x -1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) -1/27) (fma.f64 x (+.f64 x 1/3) 1/9)) |
(pow.f64 (/.f64 (+.f64 x 1/3) (fma.f64 x x -1/9)) -1) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 1/9 (+.f64 x 1/3))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 x 1/3)) (/.f64 -1/9 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 x -1/3)) 2))) (cbrt.f64 (log.f64 (+.f64 x -1/3)))) |
(pow.f64 (exp.f64 (cbrt.f64 (pow.f64 (log.f64 (+.f64 -1/3 x)) 2))) (cbrt.f64 (log.f64 (+.f64 -1/3 x)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x -1/3)))) (sqrt.f64 (log.f64 (+.f64 x -1/3)))) |
(+.f64 -1/3 x) |
(sqrt.f64 (pow.f64 (+.f64 x -1/3) 2)) |
(+.f64 -1/3 x) |
(fabs.f64 (+.f64 x -1/3)) |
(+.f64 -1/3 x) |
(log.f64 (exp.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(cbrt.f64 (pow.f64 (+.f64 x -1/3) 3)) |
(+.f64 -1/3 x) |
(expm1.f64 (log1p.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(exp.f64 (log.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(+.f64 -1/3 x) |
(exp.f64 (*.f64 (log.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3)) |
(+.f64 -1/3 x) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x -1/3))) 2)) |
(+.f64 -1/3 x) |
(log1p.f64 (expm1.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(fma.f64 x 1 -1/3) |
(+.f64 -1/3 x) |
(fma.f64 1 x -1/3) |
(+.f64 -1/3 x) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) -1/3) |
(+.f64 -1/3 x) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) -1/3) |
(+.f64 -1/3 x) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) -1/3) |
(+.f64 -1/3 x) |
Compiled 1523 to 1184 computations (22.3% saved)
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 109 | 3 | 112 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 109 | 4 | 113 |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 71.1% | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| ✓ | 100.0% | (+.f64 x -1/3) |
| 55.0% | x | |
| 46.7% | -1/3 | |
| ▶ | 71.1% | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| ✓ | 100.0% | (+.f64 x -1/3) |
| 55.0% | x | |
| 46.7% | -1/3 |
Compiled 34 to 24 computations (29.4% saved)
Found 2 expressions with local error:
| New | Accuracy | Program |
|---|---|---|
| ✓ | 100.0% | (+.f64 x 1/3) |
| ✓ | 71.1% | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
Compiled 20 to 13 computations (35% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | x | @ | -inf | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| 1.0ms | x | @ | 0 | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| 0.0ms | x | @ | inf | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| 0.0ms | x | @ | 0 | (+.f64 x 1/3) |
| 0.0ms | x | @ | inf | (+.f64 x 1/3) |
| 1× | batch-egg-rewrite |
| 748× | unpow-prod-down |
| 546× | log1p-expm1-u |
| 546× | expm1-log1p-u |
| 508× | log-prod |
| 462× | pow1 |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 11 | 40 |
| 1 | 108 | 20 |
| 2 | 1490 | 20 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(+.f64 x 1/3) |
| Outputs |
|---|
(+.f64 x -1/3) |
(+.f64 0 (+.f64 x -1/3)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (+.f64 x -1/3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (+.f64 x -1/3))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (+.f64 x -1/3)))) (log.f64 (sqrt.f64 (exp.f64 (+.f64 x -1/3))))) |
(-.f64 x 1/3) |
(-.f64 (+.f64 1 (+.f64 x -1/3)) 1) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(*.f64 1 (+.f64 x -1/3)) |
(*.f64 (cbrt.f64 (+.f64 x -1/3)) (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2)) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (*.f64 (cbrt.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (sqrt.f64 (+.f64 x -1/3)) (sqrt.f64 (+.f64 x -1/3))) |
(*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (neg.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 -1/3 (neg.f64 x)))) |
(*.f64 (/.f64 1 (+.f64 x 1/3)) (fma.f64 x x -1/9)) |
(*.f64 (/.f64 1 (+.f64 x 1/3)) (pow.f64 (/.f64 1 (fma.f64 x x -1/9)) -1)) |
(*.f64 (+.f64 x -1/3) 1) |
(*.f64 (+.f64 x -1/3) (log.f64 (E.f64))) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1/3)) -2) (/.f64 (fma.f64 x x -1/9) (cbrt.f64 (+.f64 x 1/3)))) |
(*.f64 (pow.f64 (+.f64 x 1/3) -1/2) (/.f64 (fma.f64 x x -1/9) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 x x -1/9)) (+.f64 x 1/3))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (sqrt.f64 (+.f64 x 1/3))) (/.f64 (cbrt.f64 (fma.f64 x x -1/9)) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) 1) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (+.f64 x 1/3))) |
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (+.f64 x 1/3)))) |
(*.f64 (/.f64 (fma.f64 x x -1/9) (+.f64 (pow.f64 x 3) 1/27)) (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3))) |
(*.f64 (pow.f64 1 1/3) (+.f64 x -1/3)) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x -1/3))) 2) 3) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x -1/3))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3)) |
(*.f64 (pow.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (fma.f64 x x -1/9)) 1/3) (cbrt.f64 (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x -1/3) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 x -1/3)))) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 1 (+.f64 x -1/3))) 2) -1) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) -2) -1) (pow.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x -1/9) -1/2) -1) (pow.f64 (/.f64 (+.f64 x 1/3) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (fma.f64 x x -1/9)) -1)) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (sqrt.f64 (fma.f64 x x -1/9))) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (fma.f64 x x -1/9)) -1)) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(pow.f64 (cbrt.f64 (+.f64 x -1/3)) 3) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 2) 1/2) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 3) 1/3) |
(pow.f64 (sqrt.f64 (+.f64 x -1/3)) 2) |
(pow.f64 (/.f64 1 (+.f64 x -1/3)) -1) |
(pow.f64 (+.f64 x -1/3) 1) |
(pow.f64 (E.f64) (log.f64 (+.f64 x -1/3))) |
(pow.f64 (/.f64 (pow.f64 (fma.f64 x x -1/9) 3) (pow.f64 (+.f64 x 1/3) 3)) 1/3) |
(pow.f64 (/.f64 (/.f64 1 (+.f64 x -1/3)) 1) -1) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (+.f64 x -1/3))) 2)) (cbrt.f64 (log.f64 (+.f64 x -1/3)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x -1/3)))) (sqrt.f64 (log.f64 (+.f64 x -1/3)))) |
(neg.f64 (/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 (neg.f64 x)))) |
(sqrt.f64 (pow.f64 (+.f64 x -1/3) 2)) |
(log.f64 (exp.f64 (+.f64 x -1/3))) |
(cbrt.f64 (pow.f64 (+.f64 x -1/3) 3)) |
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 x x -1/9) 3) (pow.f64 (+.f64 x 1/3) 3))) |
(expm1.f64 (log1p.f64 (+.f64 x -1/3))) |
(exp.f64 (log.f64 (+.f64 x -1/3))) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (+.f64 x -1/3))) 1/3)) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x -1/3))) 2)) |
(exp.f64 (*.f64 (neg.f64 (log.f64 (+.f64 x -1/3))) -1)) |
(log1p.f64 (expm1.f64 (+.f64 x -1/3))) |
(fma.f64 x 1 -1/3) |
(fma.f64 1 x -1/3) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) -1/3) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) -1/3) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) -1/3) |
(-.f64 (+.f64 1 (+.f64 x 1/3)) 1) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x -1/3))) |
(*.f64 (+.f64 x 1/3) 1) |
(*.f64 (+.f64 x 1/3) (log.f64 (E.f64))) |
(*.f64 1 (+.f64 x 1/3)) |
(*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (+.f64 x 1/3))) |
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3))) |
(*.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(*.f64 (pow.f64 1 1/3) (+.f64 x 1/3)) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 3) (cbrt.f64 (+.f64 x 1/3))) |
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1/3))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1/3))) 3)) |
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x 1/3) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x 1/3) 3)) 1/3)) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (+.f64 x 1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x 1/3) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 x 1/3)))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) |
(/.f64 1 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)) (+.f64 (pow.f64 x 3) 1/27))) |
(/.f64 1 (/.f64 (+.f64 x -1/3) (fma.f64 x x -1/9))) |
(/.f64 (neg.f64 (fma.f64 x x -1/9)) (neg.f64 (+.f64 x -1/3))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x 1/3)))) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) 1/27)) (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(/.f64 (-.f64 1/9 (pow.f64 x 2)) (-.f64 1/3 x)) |
(pow.f64 (+.f64 x 1/3) 1) |
(pow.f64 (cbrt.f64 (+.f64 x 1/3)) 3) |
(pow.f64 (pow.f64 (+.f64 x 1/3) 2) 1/2) |
(pow.f64 (pow.f64 (+.f64 x 1/3) 3) 1/3) |
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2) |
(pow.f64 (E.f64) (log.f64 (+.f64 x 1/3))) |
(pow.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)) (+.f64 (pow.f64 x 3) 1/27)) -1) |
(pow.f64 (/.f64 (+.f64 x -1/3) (fma.f64 x x -1/9)) -1) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (+.f64 x 1/3))) 2)) (cbrt.f64 (log.f64 (+.f64 x 1/3)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x 1/3)))) (sqrt.f64 (log.f64 (+.f64 x 1/3)))) |
(sqrt.f64 (pow.f64 (+.f64 x 1/3) 2)) |
(log.f64 (exp.f64 (+.f64 x 1/3))) |
(cbrt.f64 (pow.f64 (+.f64 x 1/3) 3)) |
(expm1.f64 (log1p.f64 (+.f64 x 1/3))) |
(exp.f64 (log.f64 (+.f64 x 1/3))) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x 1/3))) 3)) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (+.f64 x 1/3))) 1/3)) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x 1/3))) 2)) |
(log1p.f64 (expm1.f64 (+.f64 x 1/3))) |
(fma.f64 x 1 1/3) |
(fma.f64 1 x 1/3) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) 1/3) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) 1/3) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) 1/3) |
| 1× | egg-herbie |
| 1256× | associate-/l* |
| 984× | fma-def |
| 874× | distribute-lft-in |
| 832× | distribute-rgt-in |
| 732× | associate-*r/ |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 309 | 3583 |
| 1 | 758 | 3281 |
| 2 | 2454 | 3095 |
| 1× | node limit |
| Inputs |
|---|
-1/3 |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
x |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
x |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
(-.f64 x 1/3) |
1/3 |
(+.f64 1/3 x) |
(+.f64 1/3 x) |
(+.f64 1/3 x) |
x |
(+.f64 1/3 x) |
(+.f64 1/3 x) |
(+.f64 1/3 x) |
x |
(+.f64 1/3 x) |
(+.f64 1/3 x) |
(+.f64 1/3 x) |
(+.f64 x -1/3) |
(+.f64 0 (+.f64 x -1/3)) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (+.f64 x -1/3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (+.f64 x -1/3))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (+.f64 x -1/3)))) (log.f64 (sqrt.f64 (exp.f64 (+.f64 x -1/3))))) |
(-.f64 x 1/3) |
(-.f64 (+.f64 1 (+.f64 x -1/3)) 1) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(*.f64 1 (+.f64 x -1/3)) |
(*.f64 (cbrt.f64 (+.f64 x -1/3)) (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2)) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (*.f64 (cbrt.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (sqrt.f64 (+.f64 x -1/3)) (sqrt.f64 (+.f64 x -1/3))) |
(*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (neg.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 -1/3 (neg.f64 x)))) |
(*.f64 (/.f64 1 (+.f64 x 1/3)) (fma.f64 x x -1/9)) |
(*.f64 (/.f64 1 (+.f64 x 1/3)) (pow.f64 (/.f64 1 (fma.f64 x x -1/9)) -1)) |
(*.f64 (+.f64 x -1/3) 1) |
(*.f64 (+.f64 x -1/3) (log.f64 (E.f64))) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1/3)) -2) (/.f64 (fma.f64 x x -1/9) (cbrt.f64 (+.f64 x 1/3)))) |
(*.f64 (pow.f64 (+.f64 x 1/3) -1/2) (/.f64 (fma.f64 x x -1/9) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 x x -1/9)) (+.f64 x 1/3))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (sqrt.f64 (+.f64 x 1/3))) (/.f64 (cbrt.f64 (fma.f64 x x -1/9)) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) 1) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (+.f64 x 1/3))) |
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (+.f64 x 1/3)))) |
(*.f64 (/.f64 (fma.f64 x x -1/9) (+.f64 (pow.f64 x 3) 1/27)) (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3))) |
(*.f64 (pow.f64 1 1/3) (+.f64 x -1/3)) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x -1/3))) 2) 3) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x -1/3))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3)) |
(*.f64 (pow.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (fma.f64 x x -1/9)) 1/3) (cbrt.f64 (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x -1/3) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 x -1/3)))) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 1 (+.f64 x -1/3))) 2) -1) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) -2) -1) (pow.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x -1/9) -1/2) -1) (pow.f64 (/.f64 (+.f64 x 1/3) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (fma.f64 x x -1/9)) -1)) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (sqrt.f64 (fma.f64 x x -1/9))) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (fma.f64 x x -1/9)) -1)) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(pow.f64 (cbrt.f64 (+.f64 x -1/3)) 3) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 2) 1/2) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 3) 1/3) |
(pow.f64 (sqrt.f64 (+.f64 x -1/3)) 2) |
(pow.f64 (/.f64 1 (+.f64 x -1/3)) -1) |
(pow.f64 (+.f64 x -1/3) 1) |
(pow.f64 (E.f64) (log.f64 (+.f64 x -1/3))) |
(pow.f64 (/.f64 (pow.f64 (fma.f64 x x -1/9) 3) (pow.f64 (+.f64 x 1/3) 3)) 1/3) |
(pow.f64 (/.f64 (/.f64 1 (+.f64 x -1/3)) 1) -1) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (+.f64 x -1/3))) 2)) (cbrt.f64 (log.f64 (+.f64 x -1/3)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x -1/3)))) (sqrt.f64 (log.f64 (+.f64 x -1/3)))) |
(neg.f64 (/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 (neg.f64 x)))) |
(sqrt.f64 (pow.f64 (+.f64 x -1/3) 2)) |
(log.f64 (exp.f64 (+.f64 x -1/3))) |
(cbrt.f64 (pow.f64 (+.f64 x -1/3) 3)) |
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 x x -1/9) 3) (pow.f64 (+.f64 x 1/3) 3))) |
(expm1.f64 (log1p.f64 (+.f64 x -1/3))) |
(exp.f64 (log.f64 (+.f64 x -1/3))) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (+.f64 x -1/3))) 1/3)) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x -1/3))) 2)) |
(exp.f64 (*.f64 (neg.f64 (log.f64 (+.f64 x -1/3))) -1)) |
(log1p.f64 (expm1.f64 (+.f64 x -1/3))) |
(fma.f64 x 1 -1/3) |
(fma.f64 1 x -1/3) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) -1/3) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) -1/3) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) -1/3) |
(-.f64 (+.f64 1 (+.f64 x 1/3)) 1) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x -1/3))) |
(*.f64 (+.f64 x 1/3) 1) |
(*.f64 (+.f64 x 1/3) (log.f64 (E.f64))) |
(*.f64 1 (+.f64 x 1/3)) |
(*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (+.f64 x 1/3))) |
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3))) |
(*.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(*.f64 (pow.f64 1 1/3) (+.f64 x 1/3)) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 3) (cbrt.f64 (+.f64 x 1/3))) |
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1/3))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1/3))) 3)) |
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x 1/3) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x 1/3) 3)) 1/3)) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (+.f64 x 1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x 1/3) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 x 1/3)))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) |
(/.f64 1 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)) (+.f64 (pow.f64 x 3) 1/27))) |
(/.f64 1 (/.f64 (+.f64 x -1/3) (fma.f64 x x -1/9))) |
(/.f64 (neg.f64 (fma.f64 x x -1/9)) (neg.f64 (+.f64 x -1/3))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x 1/3)))) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) 1/27)) (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(/.f64 (-.f64 1/9 (pow.f64 x 2)) (-.f64 1/3 x)) |
(pow.f64 (+.f64 x 1/3) 1) |
(pow.f64 (cbrt.f64 (+.f64 x 1/3)) 3) |
(pow.f64 (pow.f64 (+.f64 x 1/3) 2) 1/2) |
(pow.f64 (pow.f64 (+.f64 x 1/3) 3) 1/3) |
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2) |
(pow.f64 (E.f64) (log.f64 (+.f64 x 1/3))) |
(pow.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)) (+.f64 (pow.f64 x 3) 1/27)) -1) |
(pow.f64 (/.f64 (+.f64 x -1/3) (fma.f64 x x -1/9)) -1) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (+.f64 x 1/3))) 2)) (cbrt.f64 (log.f64 (+.f64 x 1/3)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x 1/3)))) (sqrt.f64 (log.f64 (+.f64 x 1/3)))) |
(sqrt.f64 (pow.f64 (+.f64 x 1/3) 2)) |
(log.f64 (exp.f64 (+.f64 x 1/3))) |
(cbrt.f64 (pow.f64 (+.f64 x 1/3) 3)) |
(expm1.f64 (log1p.f64 (+.f64 x 1/3))) |
(exp.f64 (log.f64 (+.f64 x 1/3))) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x 1/3))) 3)) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (+.f64 x 1/3))) 1/3)) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x 1/3))) 2)) |
(log1p.f64 (expm1.f64 (+.f64 x 1/3))) |
(fma.f64 x 1 1/3) |
(fma.f64 1 x 1/3) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) 1/3) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) 1/3) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) 1/3) |
| Outputs |
|---|
-1/3 |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
x |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
x |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
1/3 |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
x |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
x |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
(+.f64 1/3 x) |
(+.f64 x 1/3) |
(+.f64 x -1/3) |
(+.f64 -1/3 x) |
(+.f64 0 (+.f64 x -1/3)) |
(+.f64 -1/3 x) |
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (+.f64 x -1/3))) 2)) (log.f64 (cbrt.f64 (exp.f64 (+.f64 x -1/3))))) |
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (+.f64 -1/3 x))))) (log.f64 (cbrt.f64 (exp.f64 (+.f64 -1/3 x))))) |
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (+.f64 -1/3 x))))) |
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (+.f64 x -1/3)))) (log.f64 (sqrt.f64 (exp.f64 (+.f64 x -1/3))))) |
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (+.f64 -1/3 x))))) |
(-.f64 x 1/3) |
(+.f64 -1/3 x) |
(-.f64 (+.f64 1 (+.f64 x -1/3)) 1) |
(+.f64 -1/3 x) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 1 (+.f64 x -1/3)) |
(+.f64 -1/3 x) |
(*.f64 (cbrt.f64 (+.f64 x -1/3)) (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2)) |
(+.f64 -1/3 x) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x -1/3)) 2) (cbrt.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (*.f64 (cbrt.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (sqrt.f64 (+.f64 x -1/3)) (sqrt.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (neg.f64 (fma.f64 x x -1/9)) (/.f64 1 (+.f64 -1/3 (neg.f64 x)))) |
(*.f64 (neg.f64 (fma.f64 x x -1/9)) (/.f64 1 (-.f64 -1/3 x))) |
(/.f64 (-.f64 1/9 (pow.f64 x 2)) (-.f64 -1/3 x)) |
(*.f64 (/.f64 1 (+.f64 x 1/3)) (fma.f64 x x -1/9)) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (/.f64 1 (+.f64 x 1/3)) (pow.f64 (/.f64 1 (fma.f64 x x -1/9)) -1)) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (+.f64 x -1/3) 1) |
(+.f64 -1/3 x) |
(*.f64 (+.f64 x -1/3) (log.f64 (E.f64))) |
(+.f64 -1/3 x) |
(*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1/3)) -2) (/.f64 (fma.f64 x x -1/9) (cbrt.f64 (+.f64 x 1/3)))) |
(/.f64 (*.f64 (fma.f64 x x -1/9) (pow.f64 (cbrt.f64 (+.f64 x 1/3)) -2)) (cbrt.f64 (+.f64 x 1/3))) |
(*.f64 (pow.f64 (+.f64 x 1/3) -1/2) (/.f64 (fma.f64 x x -1/9) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) 1) (/.f64 (cbrt.f64 (fma.f64 x x -1/9)) (+.f64 x 1/3))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (cbrt.f64 (+.f64 -1/3 x)) (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)))) |
(/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (+.f64 -1/3 x)))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (sqrt.f64 (+.f64 x 1/3))) (/.f64 (cbrt.f64 (fma.f64 x x -1/9)) (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) 1) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (+.f64 x 1/3))) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (+.f64 x 1/3)))) |
(/.f64 (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (+.f64 x 1/3)))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(/.f64 (/.f64 (fma.f64 x x -1/9) (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(*.f64 (/.f64 (fma.f64 x x -1/9) (+.f64 (pow.f64 x 3) 1/27)) (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3))) |
(*.f64 (/.f64 (fma.f64 x x -1/9) (+.f64 (pow.f64 x 3) 1/27)) (+.f64 1/9 (*.f64 x (+.f64 -1/3 x)))) |
(*.f64 (/.f64 (fma.f64 x x -1/9) (+.f64 (pow.f64 x 3) 1/27)) (fma.f64 x (+.f64 -1/3 x) 1/9)) |
(*.f64 (pow.f64 1 1/3) (+.f64 x -1/3)) |
(+.f64 -1/3 x) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x -1/3))) 2) 3) (cbrt.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x -1/3))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(+.f64 -1/3 x) |
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x -1/3) 3)) 1/3)) |
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 -1/3 x) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 -1/3 x) 3)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 -1/3 x) 3/2)) (cbrt.f64 (pow.f64 (+.f64 -1/3 x) 3/2))) |
(*.f64 (pow.f64 (*.f64 (pow.f64 (+.f64 x -1/3) 2) (fma.f64 x x -1/9)) 1/3) (cbrt.f64 (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (cbrt.f64 (*.f64 (fma.f64 x x -1/9) (pow.f64 (+.f64 -1/3 x) 2))) (cbrt.f64 (/.f64 1 (+.f64 x 1/3)))) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x -1/3) (cbrt.f64 (+.f64 x -1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x -1/3)))) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x))) (cbrt.f64 (pow.f64 (*.f64 (+.f64 -1/3 x) (cbrt.f64 (+.f64 -1/3 x))) 2))) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 -1/3 x)) 4) 2))) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 -1/3 x))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 -1/3 x)) 8))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x -1/3) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 x -1/3)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 -1/3 x) 5/2)) (cbrt.f64 (sqrt.f64 (+.f64 -1/3 x)))) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 1 (+.f64 x -1/3))) 2) -1) (cbrt.f64 (+.f64 x -1/3))) |
(*.f64 (cbrt.f64 (+.f64 -1/3 x)) (/.f64 1 (pow.f64 (cbrt.f64 (/.f64 1 (+.f64 -1/3 x))) 2))) |
(/.f64 (cbrt.f64 (+.f64 -1/3 x)) (pow.f64 (cbrt.f64 (/.f64 1 (+.f64 -1/3 x))) 2)) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) -2) -1) (pow.f64 (/.f64 (+.f64 x 1/3) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (pow.f64 (pow.f64 (fma.f64 x x -1/9) -1/2) -1) (pow.f64 (/.f64 (+.f64 x 1/3) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (/.f64 1 (pow.f64 (fma.f64 x x -1/9) -1/2)) (/.f64 1 (/.f64 (+.f64 x 1/3) (sqrt.f64 (fma.f64 x x -1/9))))) |
(/.f64 (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (+.f64 x 1/3)) (pow.f64 (fma.f64 x x -1/9) -1/2)) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (fma.f64 x x -1/9)) -1)) |
(/.f64 (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (+.f64 x 1/3)))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(/.f64 (/.f64 (fma.f64 x x -1/9) (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (/.f64 1 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2))) (/.f64 1 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (fma.f64 x x -1/9))))) |
(/.f64 (*.f64 (*.f64 (/.f64 1 (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (fma.f64 x x -1/9))) 1) (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2))) |
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) (/.f64 (cbrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (+.f64 x 1/3)))) |
(*.f64 (pow.f64 (/.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (sqrt.f64 (fma.f64 x x -1/9))) -1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(/.f64 (*.f64 (sqrt.f64 (fma.f64 x x -1/9)) (/.f64 (sqrt.f64 (fma.f64 x x -1/9)) (cbrt.f64 (+.f64 x 1/3)))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(/.f64 (/.f64 (fma.f64 x x -1/9) (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (fma.f64 x x -1/9)) -1)) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (pow.f64 (cbrt.f64 (fma.f64 x x -1/9)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (cbrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (fma.f64 x x -1/9))) -1)) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x 1/3))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
(pow.f64 (cbrt.f64 (+.f64 x -1/3)) 3) |
(+.f64 -1/3 x) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 2) 1/2) |
(+.f64 -1/3 x) |
(pow.f64 (pow.f64 (+.f64 x -1/3) 3) 1/3) |
(+.f64 -1/3 x) |
(pow.f64 (sqrt.f64 (+.f64 x -1/3)) 2) |
(+.f64 -1/3 x) |
(pow.f64 (/.f64 1 (+.f64 x -1/3)) -1) |
(+.f64 -1/3 x) |
(pow.f64 (+.f64 x -1/3) 1) |
(+.f64 -1/3 x) |
(pow.f64 (E.f64) (log.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(pow.f64 (/.f64 (pow.f64 (fma.f64 x x -1/9) 3) (pow.f64 (+.f64 x 1/3) 3)) 1/3) |
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 x x -1/9) 3) (pow.f64 (+.f64 x 1/3) 3))) |
(pow.f64 (/.f64 (/.f64 1 (+.f64 x -1/3)) 1) -1) |
(+.f64 -1/3 x) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (+.f64 x -1/3))) 2)) (cbrt.f64 (log.f64 (+.f64 x -1/3)))) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (+.f64 -1/3 x))) 2)) (cbrt.f64 (log.f64 (+.f64 -1/3 x)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x -1/3)))) (sqrt.f64 (log.f64 (+.f64 x -1/3)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 -1/3 x)))) (sqrt.f64 (log.f64 (+.f64 -1/3 x)))) |
(neg.f64 (/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 (neg.f64 x)))) |
(*.f64 (neg.f64 (fma.f64 x x -1/9)) (/.f64 1 (-.f64 -1/3 x))) |
(/.f64 (-.f64 1/9 (pow.f64 x 2)) (-.f64 -1/3 x)) |
(sqrt.f64 (pow.f64 (+.f64 x -1/3) 2)) |
(+.f64 -1/3 x) |
(log.f64 (exp.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(cbrt.f64 (pow.f64 (+.f64 x -1/3) 3)) |
(+.f64 -1/3 x) |
(cbrt.f64 (/.f64 (pow.f64 (fma.f64 x x -1/9) 3) (pow.f64 (+.f64 x 1/3) 3))) |
(expm1.f64 (log1p.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(exp.f64 (log.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x -1/3))) 3)) |
(+.f64 -1/3 x) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (+.f64 x -1/3))) 1/3)) |
(+.f64 -1/3 x) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x -1/3))) 2)) |
(+.f64 -1/3 x) |
(exp.f64 (*.f64 (neg.f64 (log.f64 (+.f64 x -1/3))) -1)) |
(+.f64 -1/3 x) |
(log1p.f64 (expm1.f64 (+.f64 x -1/3))) |
(+.f64 -1/3 x) |
(fma.f64 x 1 -1/3) |
(+.f64 -1/3 x) |
(fma.f64 1 x -1/3) |
(+.f64 -1/3 x) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) -1/3) |
(+.f64 -1/3 x) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) -1/3) |
(+.f64 -1/3 x) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) -1/3) |
(+.f64 -1/3 x) |
(-.f64 (+.f64 1 (+.f64 x 1/3)) 1) |
(+.f64 x 1/3) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 x -1/3)) (/.f64 1/9 (+.f64 x -1/3))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 1/9 (+.f64 -1/3 x))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 -1/9 (+.f64 -1/3 x))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 x)) |
(*.f64 (fma.f64 x x -1/9) (/.f64 1 (+.f64 x -1/3))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 1/9 (+.f64 -1/3 x))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 -1/9 (+.f64 -1/3 x))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 x)) |
(*.f64 (+.f64 x 1/3) 1) |
(+.f64 x 1/3) |
(*.f64 (+.f64 x 1/3) (log.f64 (E.f64))) |
(+.f64 x 1/3) |
(*.f64 1 (+.f64 x 1/3)) |
(+.f64 x 1/3) |
(*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2)) (cbrt.f64 (+.f64 x 1/3))) |
(*.f64 (cbrt.f64 (+.f64 x 1/3)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 2))) |
(*.f64 (sqrt.f64 (+.f64 x 1/3)) (sqrt.f64 (+.f64 x 1/3))) |
(+.f64 x 1/3) |
(*.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (fma.f64 x (+.f64 -1/3 x) 1/9)) |
(*.f64 (pow.f64 1 1/3) (+.f64 x 1/3)) |
(+.f64 x 1/3) |
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) 2) 3) (cbrt.f64 (+.f64 x 1/3))) |
(+.f64 x 1/3) |
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1/3))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1/3))) 3)) |
(+.f64 x 1/3) |
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x 1/3) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (+.f64 x 1/3) 3)) 1/3)) |
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 x 1/3) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (+.f64 x 1/3) 3)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 3/2)) (cbrt.f64 (pow.f64 (+.f64 x 1/3) 3/2))) |
(*.f64 (pow.f64 (pow.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (+.f64 x 1/3))) 2) 1/3) (cbrt.f64 (cbrt.f64 (+.f64 x 1/3)))) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (pow.f64 (*.f64 (+.f64 x 1/3) (cbrt.f64 (+.f64 x 1/3))) 2))) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 x 1/3)) 4) 2))) |
(*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1/3))) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1/3)) 8))) |
(*.f64 (pow.f64 (pow.f64 (+.f64 x 1/3) 5/2) 1/3) (cbrt.f64 (sqrt.f64 (+.f64 x 1/3)))) |
(*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1/3) 5/2)) (cbrt.f64 (sqrt.f64 (+.f64 x 1/3)))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x -1/3)) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 1/9 (+.f64 -1/3 x))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 -1/9 (+.f64 -1/3 x))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 x)) |
(/.f64 1 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)) (+.f64 (pow.f64 x 3) 1/27))) |
(*.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (fma.f64 x (+.f64 -1/3 x) 1/9)) |
(/.f64 1 (/.f64 (+.f64 x -1/3) (fma.f64 x x -1/9))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 1/9 (+.f64 -1/3 x))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 -1/9 (+.f64 -1/3 x))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 x)) |
(/.f64 (neg.f64 (fma.f64 x x -1/9)) (neg.f64 (+.f64 x -1/3))) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 1/9 (+.f64 -1/3 x))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 -1/9 (+.f64 -1/3 x))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 x)) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3))) |
(*.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (fma.f64 x (+.f64 -1/3 x) 1/9)) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (-.f64 (pow.f64 x 2) (*.f64 x 1/3)))) |
(*.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (fma.f64 x (+.f64 -1/3 x) 1/9)) |
(/.f64 (neg.f64 (+.f64 (pow.f64 x 3) 1/27)) (neg.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(*.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (fma.f64 x (+.f64 -1/3 x) 1/9)) |
(/.f64 (-.f64 1/9 (pow.f64 x 2)) (-.f64 1/3 x)) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 1/9 (+.f64 -1/3 x))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 -1/9 (+.f64 -1/3 x))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 x)) |
(pow.f64 (+.f64 x 1/3) 1) |
(+.f64 x 1/3) |
(pow.f64 (cbrt.f64 (+.f64 x 1/3)) 3) |
(+.f64 x 1/3) |
(pow.f64 (pow.f64 (+.f64 x 1/3) 2) 1/2) |
(+.f64 x 1/3) |
(pow.f64 (pow.f64 (+.f64 x 1/3) 3) 1/3) |
(+.f64 x 1/3) |
(pow.f64 (sqrt.f64 (+.f64 x 1/3)) 2) |
(+.f64 x 1/3) |
(pow.f64 (E.f64) (log.f64 (+.f64 x 1/3))) |
(+.f64 x 1/3) |
(pow.f64 (/.f64 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)) (+.f64 (pow.f64 x 3) 1/27)) -1) |
(*.f64 (+.f64 (pow.f64 x 3) 1/27) (/.f64 1 (-.f64 (fma.f64 x x 1/9) (*.f64 x 1/3)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (+.f64 1/9 (*.f64 x (+.f64 -1/3 x)))) |
(/.f64 (+.f64 (pow.f64 x 3) 1/27) (fma.f64 x (+.f64 -1/3 x) 1/9)) |
(pow.f64 (/.f64 (+.f64 x -1/3) (fma.f64 x x -1/9)) -1) |
(-.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 1/9 (+.f64 -1/3 x))) |
(+.f64 (/.f64 (pow.f64 x 2) (+.f64 -1/3 x)) (/.f64 -1/9 (+.f64 -1/3 x))) |
(/.f64 (fma.f64 x x -1/9) (+.f64 -1/3 x)) |
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (+.f64 x 1/3))) 2)) (cbrt.f64 (log.f64 (+.f64 x 1/3)))) |
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (+.f64 x 1/3)))) (sqrt.f64 (log.f64 (+.f64 x 1/3)))) |
(sqrt.f64 (pow.f64 (+.f64 x 1/3) 2)) |
(+.f64 x 1/3) |
(log.f64 (exp.f64 (+.f64 x 1/3))) |
(+.f64 x 1/3) |
(cbrt.f64 (pow.f64 (+.f64 x 1/3) 3)) |
(+.f64 x 1/3) |
(expm1.f64 (log1p.f64 (+.f64 x 1/3))) |
(+.f64 x 1/3) |
(exp.f64 (log.f64 (+.f64 x 1/3))) |
(+.f64 x 1/3) |
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (+.f64 x 1/3))) 3)) |
(+.f64 x 1/3) |
(exp.f64 (*.f64 (*.f64 3 (log.f64 (+.f64 x 1/3))) 1/3)) |
(+.f64 x 1/3) |
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 x 1/3))) 2)) |
(+.f64 x 1/3) |
(log1p.f64 (expm1.f64 (+.f64 x 1/3))) |
(+.f64 x 1/3) |
(fma.f64 x 1 1/3) |
(+.f64 x 1/3) |
(fma.f64 1 x 1/3) |
(+.f64 x 1/3) |
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) 1/3) |
(+.f64 x 1/3) |
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) 1/3) |
(+.f64 x 1/3) |
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) 1/3) |
(+.f64 x 1/3) |
Compiled 2227 to 1689 computations (24.2% saved)
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 164 | 0 | 164 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 1 | 1 |
| Total | 164 | 4 | 168 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 71.1% | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| ✓ | 100.0% | (+.f64 x -1/3) |
| 55.0% | x | |
| 46.7% | -1/3 | |
| ✓ | 71.1% | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| ✓ | 100.0% | (+.f64 x -1/3) |
| 55.0% | x | |
| 46.7% | -1/3 |
Compiled 34 to 24 computations (29.4% saved)
Compiled 1 to 1 computations (0% saved)
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 2 | 2 |
| Total | 0 | 4 | 4 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 71.1% | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| ✓ | 100.0% | (+.f64 x -1/3) |
| 55.0% | x | |
| 46.7% | -1/3 | |
| ✓ | 71.1% | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| ✓ | 100.0% | (+.f64 x -1/3) |
| 55.0% | x | |
| 46.7% | -1/3 |
Compiled 34 to 24 computations (29.4% saved)
Compiled 1 to 1 computations (0% saved)
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 2 | 2 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 2 | 2 |
| Total | 0 | 4 | 4 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 71.1% | (/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| ✓ | 100.0% | (+.f64 x -1/3) |
| 55.0% | x | |
| 46.7% | -1/3 |
Compiled 36 to 25 computations (30.6% saved)
| Inputs |
|---|
-1/3 |
x |
(+.f64 x -1/3) |
(-.f64 x (/.f64 1 3)) |
(/.f64 (fma.f64 x x -1/9) (+.f64 x 1/3)) |
| Outputs |
|---|
(+.f64 x -1/3) |
2 calls:
| 4.0ms | x |
| 3.0ms | (-.f64 x (/.f64 1 3)) |
| Accuracy | Segments | Branch |
|---|---|---|
| 100.0% | 1 | x |
| 100.0% | 1 | (-.f64 x (/.f64 1 3)) |
Compiled 27 to 19 computations (29.6% saved)
| Inputs |
|---|
-1/3 |
x |
| Outputs |
|---|
x |
-1/3 |
x |
1 calls:
| 10.0ms | x |
| Accuracy | Segments | Branch |
|---|---|---|
| 98.3% | 3 | x |
Compiled 5 to 3 computations (40% saved)
Total -0.0b remaining (-0%)
Threshold costs -0b (-0%)
| Inputs |
|---|
-1/3 |
| Outputs |
|---|
-1/3 |
1 calls:
| 3.0ms | x |
| Accuracy | Segments | Branch |
|---|---|---|
| 46.7% | 1 | x |
Compiled 4 to 3 computations (25% saved)
| 2× | binary-search |
| 1× | narrow-enough |
| 1× | narrow-enough |
| Time | Left | Right |
|---|---|---|
| 13.0ms | 0.11441742599818004 | 8930263.387301289 |
| 15.0ms | -9020.499750439489 | -5.183156198342234e-19 |
| 25.0ms | 320× | body | 256 | valid |
Compiled 130 to 108 computations (16.9% saved)
| 1× | egg-herbie |
| 2× | +-commutative |
| 2× | if-if-or-not |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 16 | 44 |
| 1 | 22 | 44 |
| 1× | fuel |
| 1× | saturated |
| Inputs |
|---|
(+.f64 x -1/3) |
(if (<=.f64 x -5944751508129055/18014398509481984) x (if (<=.f64 x 6124895493223875/18014398509481984) -1/3 x)) |
-1/3 |
| Outputs |
|---|
(+.f64 x -1/3) |
(if (<=.f64 x -5944751508129055/18014398509481984) x (if (<=.f64 x 6124895493223875/18014398509481984) -1/3 x)) |
-1/3 |
Compiled 18 to 13 computations (27.8% saved)
| 80× | fma-def |
| 24× | distribute-lft-neg-in |
| 18× | sub-neg |
| 16× | cancel-sign-sub-inv |
| 12× | associate-+l- |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 52 |
| 1 | 25 | 48 |
| 2 | 49 | 40 |
| 3 | 76 | 40 |
| 4 | 125 | 40 |
| 5 | 156 | 40 |
| 6 | 166 | 40 |
| 7 | 173 | 40 |
| 8 | 181 | 40 |
| 9 | 186 | 40 |
| 10 | 187 | 40 |
| 1× | saturated |
Compiled 19 to 15 computations (21.1% saved)
Compiled 44 to 32 computations (27.3% saved)
Loading profile data...