Time bar (total: 5.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 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 5 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 6 |
| 12.5% | 12.5% | 87.4% | 0.1% | 0% | 0% | 0% | 7 |
| 18.8% | 18.7% | 81.1% | 0.1% | 0% | 0% | 0% | 8 |
| 28.1% | 28.1% | 71.8% | 0.1% | 0% | 0% | 0% | 9 |
| 42.2% | 42.1% | 57.7% | 0.1% | 0% | 0% | 0% | 10 |
| 49.2% | 49.1% | 50.7% | 0.1% | 0% | 0% | 0% | 11 |
| 57.4% | 57.3% | 42.5% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 16 to 10 computations (37.5% saved)
| 1.6s | 8256× | body | 256 | valid |
| 2× | egg-herbie |
| 14× | rational_best-simplify-1 |
| 8× | rational_best-simplify-130 |
| 6× | rational_best-simplify-74 |
| 4× | rational_best-simplify-43 |
| 2× | swap-x-y |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 21 | 140 |
| 1 | 30 | 140 |
| 2 | 33 | 140 |
| 3 | 34 | 140 |
| 0 | 3 | 3 |
| 1 | 3 | 3 |
| 1× | unsound |
| 1× | saturated |
| Inputs |
|---|
0 |
1 |
2 |
| Outputs |
|---|
0 |
1 |
0 |
2 |
0 |
| Inputs |
|---|
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 y y) (*.f64 x x)) (*.f64 z z))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 z z) (*.f64 y y)) (*.f64 x x))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 z z)) (*.f64 y y))) |
| Outputs |
|---|
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 y y) (*.f64 x x)) (*.f64 z z))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 z z) (*.f64 y y)) (*.f64 x x))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 z z)) (*.f64 y y))) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(sort x y z)
Compiled 18 to 12 computations (33.3% saved)
| 1× | egg-herbie |
| 12× | rational_best-simplify-1 |
| 8× | rational_best-simplify-130 |
| 6× | rational_best-simplify-74 |
| 4× | rational_best-simplify-43 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 35 |
| 1 | 17 | 35 |
| 2 | 22 | 35 |
| 3 | 29 | 35 |
| 1× | saturated |
| Inputs |
|---|
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| Outputs |
|---|
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
Compiled 27 to 12 computations (55.6% saved)
2 alts after pruning (2 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 1 | 2 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 2 | 3 |
| Status | Error | Program |
|---|---|---|
| ▶ | 39.0b | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
Compiled 15 to 9 computations (40% saved)
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (+.f64 (*.f64 x x) (*.f64 y y)) |
| ✓ | 36.1b | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
Compiled 45 to 9 computations (80% saved)
15 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | y | @ | 0 | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| 1.0ms | x | @ | 0 | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| 1.0ms | z | @ | 0 | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| 1.0ms | x | @ | inf | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| 0.0ms | x | @ | 0 | (+.f64 (*.f64 x x) (*.f64 y y)) |
| 1× | batch-egg-rewrite |
| 796× | rational_best-simplify-54 |
| 794× | rational_best-simplify-44 |
| 700× | rational_best-5 |
| 698× | rational_best-4 |
| 698× | rational_best-2 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 12 | 54 |
| 1 | 103 | 54 |
| 2 | 354 | 54 |
| 3 | 1498 | 54 |
| 4 | 7684 | 54 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (*.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (neg.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (/.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))))))))) (#(struct:change #<rule egg-rr> (2) ((x fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))))))) |
| 1× | egg-herbie |
| 1106× | rational_best-simplify-2 |
| 900× | rational_best-simplify-132 |
| 778× | rational_best-simplify-129 |
| 732× | rational_best-simplify-80 |
| 688× | rational_best-simplify-1 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 288 | 4962 |
| 1 | 588 | 4938 |
| 2 | 1551 | 4920 |
| 3 | 3159 | 4920 |
| 4 | 4882 | 4920 |
| 1× | node limit |
| Inputs |
|---|
(sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (pow.f64 x 2)))) |
(+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (pow.f64 x 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (pow.f64 x 2))))) |
(+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (pow.f64 x 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (pow.f64 x 6))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (pow.f64 x 2)))))) |
x |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) x) |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) x)) |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5))) x))) |
(*.f64 -1 x) |
(+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (*.f64 -1 x)) |
(+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1 x) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))))) |
(+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1 x) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5)))))) |
(sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) |
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) |
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))))) |
(+.f64 (*.f64 1/16 (*.f64 (pow.f64 y 6) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5))))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)))))))) |
y |
(+.f64 y (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) |
(+.f64 y (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))))) |
(+.f64 y (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5))) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3)))))) |
(*.f64 -1 y) |
(+.f64 (*.f64 -1 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) |
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (+.f64 (*.f64 -1 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)))) |
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (+.f64 (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5))) (+.f64 (*.f64 -1 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))))) |
(sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (pow.f64 z 2))) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (pow.f64 z 2))) (+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (pow.f64 z 2))) (+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (pow.f64 z 6)))))) |
z |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) z) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) z)) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5))) z))) |
(*.f64 -1 z) |
(+.f64 (*.f64 -1 z) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(+.f64 (*.f64 -1 z) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(+.f64 (*.f64 -1 z) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5)))))) |
(pow.f64 y 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 x 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 x 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 x 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 y 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 y 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 0) |
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) |
(-.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 0) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))) |
(*.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) |
(*.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) |
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(*.f64 (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) |
(*.f64 (/.f64 1 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))) |
(*.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (*.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))) |
(*.f64 (/.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(*.f64 (/.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1) |
(/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(/.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 2) 2) |
(pow.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1) |
(-.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 0) |
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1) |
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))))) |
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))) |
(*.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) |
(*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y))) |
(*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(*.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) |
(*.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y))) |
(*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(*.f64 (/.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))) |
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(*.f64 (/.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1) |
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(/.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 2) 2) |
(pow.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1) |
(fabs.f64 (+.f64 (*.f64 x x) (*.f64 y y))) |
(fabs.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))) |
(fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (neg.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))) |
(fabs.f64 (/.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))) |
(fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y))))) |
(fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
| Outputs |
|---|
(sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (pow.f64 x 2)))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (pow.f64 x 2)))) |
(+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (pow.f64 x 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (pow.f64 x 2))))) |
(+.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (pow.f64 x 2)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (pow.f64 x 4)))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (pow.f64 x 4))))) |
(+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (pow.f64 x 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (pow.f64 x 6))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (pow.f64 x 2)))))) |
(+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (pow.f64 x 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (*.f64 1/16 (pow.f64 x 6)))))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (+.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (*.f64 1/16 (pow.f64 x 6)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (pow.f64 x 4))))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (pow.f64 x 4))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (*.f64 1/16 (pow.f64 x 6)))))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (pow.f64 x 2))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (pow.f64 x 4))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (*.f64 1/16 (pow.f64 x 6)))))) |
x |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) x) |
(+.f64 x (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x))) |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) x)) |
(+.f64 x (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)))) |
(+.f64 x (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))))) |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5))) x))) |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) (+.f64 x (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5)))))) |
(+.f64 (+.f64 x (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5)))) (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))))) |
(+.f64 (+.f64 x (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5))))) |
(*.f64 -1 x) |
(*.f64 x -1) |
(neg.f64 x) |
(+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (*.f64 -1 x)) |
(+.f64 (*.f64 x -1) (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2)) |
(+.f64 (neg.f64 x) (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2)) |
(+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1 x) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))))) |
(+.f64 (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2) (+.f64 (*.f64 x -1) (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3)) 1/8))) |
(+.f64 (neg.f64 x) (+.f64 (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3)) 1/8) (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2))) |
(+.f64 (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2) (+.f64 (neg.f64 x) (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3)) 1/8))) |
(+.f64 (neg.f64 x) (+.f64 (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2) (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3)) 1/8))) |
(+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x)) (+.f64 (*.f64 -1 x) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3))) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5)))))) |
(+.f64 (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2) (+.f64 (*.f64 x -1) (+.f64 (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3)) 1/8) (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5)) -1/16)))) |
(+.f64 (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2) (+.f64 (+.f64 (neg.f64 x) (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3)) 1/8)) (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5)) -1/16))) |
(+.f64 (neg.f64 x) (+.f64 (*.f64 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) x) -1/2) (+.f64 (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (pow.f64 x 3)) 1/8) (*.f64 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (pow.f64 x 5)) -1/16)))) |
(sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) |
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 (pow.f64 y 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) (*.f64 1/2 (pow.f64 y 2)))) |
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))))) |
(+.f64 (*.f64 (pow.f64 y 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))))) |
(+.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) (*.f64 1/2 (pow.f64 y 2)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))) (*.f64 -1/8 (pow.f64 y 4)))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (+.f64 (*.f64 (pow.f64 y 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (+.f64 (*.f64 (pow.f64 y 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (*.f64 (pow.f64 y 4) (*.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))))) |
(+.f64 (*.f64 1/16 (*.f64 (pow.f64 y 6) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5))))) (+.f64 (*.f64 1/2 (*.f64 (pow.f64 y 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)))))))) |
(+.f64 (+.f64 (*.f64 (pow.f64 y 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))))) (*.f64 1/16 (*.f64 (pow.f64 y 6) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5)))))) |
(+.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) (*.f64 1/2 (pow.f64 y 2)))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))) (*.f64 -1/8 (pow.f64 y 4))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5))) (*.f64 1/16 (pow.f64 y 6))))) |
(+.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (*.f64 (pow.f64 y 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))))) (+.f64 (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))) (*.f64 1/16 (*.f64 (pow.f64 y 6) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5))))))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (+.f64 (*.f64 (pow.f64 y 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (*.f64 -1/8 (*.f64 (pow.f64 y 4) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))) (*.f64 1/16 (*.f64 (pow.f64 y 6) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5)))))))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5))) (*.f64 1/16 (pow.f64 y 6))) (+.f64 (*.f64 (pow.f64 y 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (*.f64 (pow.f64 y 4) (*.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)))))))) |
y |
(+.f64 y (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) |
(+.f64 y (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))))) |
(+.f64 y (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5))) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3)))))) |
(+.f64 y (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5)))))) |
(+.f64 (+.f64 y (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5))))) |
(+.f64 y (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5)))))) |
(*.f64 -1 y) |
(*.f64 y -1) |
(neg.f64 y) |
(+.f64 (*.f64 -1 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) |
(+.f64 (*.f64 y -1) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) |
(+.f64 (neg.f64 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) |
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (+.f64 (*.f64 -1 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)))) |
(+.f64 (+.f64 (*.f64 y -1) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3)))) |
(+.f64 (neg.f64 y) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))))) |
(+.f64 (+.f64 (neg.f64 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3)))) |
(+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (+.f64 (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5))) (+.f64 (*.f64 -1 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))))) |
(+.f64 (+.f64 (*.f64 y -1) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) (+.f64 (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5))) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))))) |
(+.f64 (+.f64 (neg.f64 y) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y))) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5))))) |
(+.f64 (neg.f64 y) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3))) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5)))))) |
(+.f64 (+.f64 (neg.f64 y) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (pow.f64 y 3)))) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) y)) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (pow.f64 y 5))))) |
(sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (pow.f64 z 2))) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/2 (*.f64 (pow.f64 z 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) 1/2))) |
(+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (pow.f64 z 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) |
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (pow.f64 z 2))) (+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 z 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))))) |
(+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) 1/2)))) |
(+.f64 (*.f64 (pow.f64 z 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))))) |
(+.f64 (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (pow.f64 z 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4)))) |
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (pow.f64 z 2))) (+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (pow.f64 z 6)))))) |
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 z 2) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (pow.f64 z 6)))))) |
(+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) 1/2)) (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (pow.f64 z 6))) (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4)))))) |
(+.f64 (*.f64 (pow.f64 z 2) (*.f64 1/2 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (+.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (pow.f64 z 4))) (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (pow.f64 z 6)))))) |
z |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) z) |
(+.f64 z (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) z)) |
(+.f64 z (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))))) |
(+.f64 (+.f64 z (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3)))) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (+.f64 (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5))) z))) |
(+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (+.f64 z (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5)))))) |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (+.f64 (+.f64 z (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5)))) (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))))) |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (+.f64 (*.f64 -1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 z (*.f64 1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5)))))) |
(*.f64 -1 z) |
(*.f64 z -1) |
(neg.f64 z) |
(+.f64 (*.f64 -1 z) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(+.f64 (*.f64 z -1) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(+.f64 (neg.f64 z) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(+.f64 (*.f64 -1 z) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(+.f64 (*.f64 z -1) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))))) |
(+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (+.f64 (neg.f64 z) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))))) |
(+.f64 (neg.f64 z) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))))) |
(+.f64 (*.f64 -1 z) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5)))))) |
(+.f64 (*.f64 z -1) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5)))))) |
(+.f64 (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3)))) (+.f64 (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5))) (neg.f64 z))) |
(+.f64 (neg.f64 z) (+.f64 (*.f64 -1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (+.f64 (*.f64 1/8 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (pow.f64 z 3))) (*.f64 -1/16 (/.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (pow.f64 z 5)))))) |
(pow.f64 y 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 x 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 x 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 x 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 y 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 y 2) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(+.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 0) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(+.f64 0 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(-.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 0) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (/.f64 1 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (/.f64 (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (*.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (/.f64 (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(*.f64 (/.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 1 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))))) (sqrt.f64 (*.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (/.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))))) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(/.f64 (*.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 2) 2) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(pow.f64 (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) 1) |
(sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z)))) |
(-.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 0) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (/.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(*.f64 (/.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(/.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 2) 2) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(pow.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 1) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (+.f64 (*.f64 x x) (*.f64 y y))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (neg.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (/.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y)))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (*.f64 (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(+.f64 (*.f64 x x) (*.f64 y y)) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (*.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))) (+.f64 (*.f64 x x) (*.f64 y y))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (fabs.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y))) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
(fabs.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))))) (+.f64 (*.f64 x x) (*.f64 y y))))) |
(fabs.f64 (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y)))))))) |
Compiled 6217 to 3271 computations (47.4% saved)
4 alts after pruning (3 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 179 | 3 | 182 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 179 | 4 | 183 |
| Status | Error | Program |
|---|---|---|
| ▶ | 39.5b | (+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) z) |
| ✓ | 39.0b | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| ▶ | 27.2b | (neg.f64 x) |
| 34.7b | z |
Compiled 40 to 28 computations (30% saved)
Compiled 6 to 4 computations (33.3% saved)
Found 3 expressions with local error:
| New | Error | Program |
|---|---|---|
| ✓ | 0.0b | (pow.f64 x 2) |
| ✓ | 0.0b | (+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
| ✓ | 7.7b | (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) |
Compiled 54 to 37 computations (31.5% saved)
18 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | z | @ | 0 | (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) |
| 0.0ms | y | @ | -inf | (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) |
| 0.0ms | y | @ | inf | (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) |
| 0.0ms | x | @ | inf | (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) |
| 0.0ms | z | @ | inf | (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) |
| 1× | batch-egg-rewrite |
| 968× | rational_best-simplify-57 |
| 782× | rational_best-simplify-80 |
| 638× | rational_best-simplify-43 |
| 548× | rational_best-simplify-78 |
| 502× | rational_best-5 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 10 | 51 |
| 1 | 82 | 51 |
| 2 | 267 | 51 |
| 3 | 1091 | 51 |
| 4 | 4680 | 51 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) |
(+.f64 (pow.f64 y 2) (pow.f64 x 2)) |
(pow.f64 x 2) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) (*.f64 (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))))) |
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) (*.f64 (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))))) |
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 x 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 x 2) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 2) (/.f64 (pow.f64 x 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 x 2) (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 x x) 2) (/.f64 1 (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (pow.f64 x 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (*.f64 (pow.f64 x 2) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (/.f64 (pow.f64 x 2) (pow.f64 x 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) (*.f64 (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 x 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 x 2) (/.f64 (pow.f64 x 2) (pow.f64 x 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (pow.f64 x 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (pow.f64 x 2)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (pow.f64 x 2))))))) |
| 1× | egg-herbie |
| 1404× | rational_best-simplify-54 |
| 1104× | rational_best-simplify-2 |
| 754× | rational_best-simplify-80 |
| 750× | rational_best-simplify-24 |
| 728× | rational_best-simplify-78 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 151 | 2147 |
| 1 | 321 | 2147 |
| 2 | 1233 | 2147 |
| 3 | 3970 | 2147 |
| 4 | 7148 | 2147 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (pow.f64 x 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 y 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 y 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 y 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(pow.f64 x 2) |
(pow.f64 y 2) |
(pow.f64 y 2) |
(pow.f64 y 2) |
(pow.f64 x 2) |
(pow.f64 x 2) |
(+.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 0) |
(+.f64 0 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(-.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 0) |
(-.f64 0 (neg.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 1) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(*.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(*.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(*.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(*.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(*.f64 (/.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(*.f64 (/.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) (*.f64 (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) |
(*.f64 (/.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(*.f64 (/.f64 (/.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(pow.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 1) |
(neg.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(-.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 0) |
(-.f64 0 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1) |
(*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(*.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(*.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(*.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(*.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) |
(*.f64 (/.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(*.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(*.f64 (/.f64 (/.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) (*.f64 (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) |
(*.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(*.f64 (/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1) |
(/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(/.f64 (*.f64 2 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) 2) |
(/.f64 (*.f64 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) 2) -2) |
(pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1) |
(neg.f64 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) 0) |
(+.f64 0 (pow.f64 x 2)) |
(-.f64 (pow.f64 x 2) 0) |
(-.f64 0 (neg.f64 (pow.f64 x 2))) |
(*.f64 (pow.f64 x 2) 1) |
(*.f64 (pow.f64 x 2) (/.f64 (pow.f64 x 2) (pow.f64 x 2))) |
(*.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2)))) |
(*.f64 (pow.f64 x 2) (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2)))) |
(*.f64 1 (pow.f64 x 2)) |
(*.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2)) |
(*.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) |
(*.f64 (pow.f64 (*.f64 x x) 2) (/.f64 1 (pow.f64 x 2))) |
(*.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2)) |
(*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (pow.f64 x 2)) |
(*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (*.f64 (pow.f64 x 2) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (/.f64 (pow.f64 x 2) (pow.f64 x 2))))) |
(*.f64 (/.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) |
(*.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) |
(*.f64 (/.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) |
(*.f64 (/.f64 (/.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) (*.f64 (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2))) |
(*.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) |
(*.f64 (/.f64 (/.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) |
(/.f64 (pow.f64 x 2) 1) |
(/.f64 (pow.f64 x 2) (/.f64 (pow.f64 x 2) (pow.f64 x 2))) |
(/.f64 (*.f64 2 (pow.f64 x 2)) 2) |
(/.f64 (*.f64 (neg.f64 (pow.f64 x 2)) 2) -2) |
(neg.f64 (neg.f64 (pow.f64 x 2))) |
| Outputs |
|---|
(/.f64 (pow.f64 x 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(/.f64 (pow.f64 y 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(/.f64 (pow.f64 y 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(/.f64 (pow.f64 y 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(+.f64 (/.f64 (pow.f64 y 2) z) (/.f64 (pow.f64 x 2) z)) |
(+.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 y 2) z)) |
(pow.f64 x 2) |
(pow.f64 y 2) |
(pow.f64 y 2) |
(pow.f64 y 2) |
(pow.f64 x 2) |
(pow.f64 x 2) |
(+.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 0) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(+.f64 0 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(-.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 0) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(-.f64 0 (neg.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 1) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z))) (/.f64 (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z)) (/.f64 (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z))))) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z))) (*.f64 (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) (*.f64 (/.f64 (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z)) (/.f64 (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) (/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z))))) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) (*.f64 (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (/.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(pow.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z) 1) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(neg.f64 (neg.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z))) |
(/.f64 (+.f64 (pow.f64 x 2) (pow.f64 y 2)) z) |
(-.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 0) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(-.f64 0 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (*.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 (/.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) (*.f64 (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 (/.f64 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2))))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(/.f64 (*.f64 2 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) 2) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(/.f64 (*.f64 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) 2) -2) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 1) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(neg.f64 (neg.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) |
(+.f64 (pow.f64 x 2) (pow.f64 y 2)) |
(+.f64 (pow.f64 x 2) 0) |
(pow.f64 x 2) |
(+.f64 0 (pow.f64 x 2)) |
(pow.f64 x 2) |
(-.f64 (pow.f64 x 2) 0) |
(pow.f64 x 2) |
(-.f64 0 (neg.f64 (pow.f64 x 2))) |
(pow.f64 x 2) |
(*.f64 (pow.f64 x 2) 1) |
(pow.f64 x 2) |
(*.f64 (pow.f64 x 2) (/.f64 (pow.f64 x 2) (pow.f64 x 2))) |
(pow.f64 x 2) |
(*.f64 (pow.f64 x 2) (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2)))) |
(pow.f64 x 2) |
(*.f64 (pow.f64 x 2) (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2)))) |
(pow.f64 x 2) |
(*.f64 1 (pow.f64 x 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) |
(pow.f64 x 2) |
(*.f64 (pow.f64 (*.f64 x x) 2) (/.f64 1 (pow.f64 x 2))) |
(pow.f64 x 2) |
(*.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (pow.f64 x 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (*.f64 (pow.f64 x 2) (*.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (/.f64 (pow.f64 x 2) (pow.f64 x 2))))) |
(pow.f64 x 2) |
(*.f64 (/.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 (/.f64 (/.f64 1 (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) (*.f64 (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2))) |
(pow.f64 x 2) |
(*.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) (pow.f64 x 2)) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 (/.f64 (*.f64 (pow.f64 x 2) (/.f64 1 (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) (pow.f64 (*.f64 (*.f64 x x) (*.f64 x x)) 2)) |
(pow.f64 x 2) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) (pow.f64 x 2))) (pow.f64 x 2)) (pow.f64 (*.f64 x x) 2)) |
(pow.f64 x 2) |
(/.f64 (pow.f64 x 2) 1) |
(pow.f64 x 2) |
(/.f64 (pow.f64 x 2) (/.f64 (pow.f64 x 2) (pow.f64 x 2))) |
(pow.f64 x 2) |
(/.f64 (*.f64 2 (pow.f64 x 2)) 2) |
(pow.f64 x 2) |
(/.f64 (*.f64 (neg.f64 (pow.f64 x 2)) 2) -2) |
(pow.f64 x 2) |
(neg.f64 (neg.f64 (pow.f64 x 2))) |
(pow.f64 x 2) |
Compiled 2895 to 2062 computations (28.8% saved)
4 alts after pruning (2 fresh and 2 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 86 | 1 | 87 |
| Fresh | 0 | 1 | 1 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 2 | 2 |
| Total | 87 | 4 | 91 |
| Status | Error | Program |
|---|---|---|
| ▶ | 37.6b | (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) z)) z) |
| ✓ | 39.0b | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| ✓ | 27.2b | (neg.f64 x) |
| 34.7b | z |
Compiled 36 to 25 computations (30.6% saved)
Found 2 expressions with local error:
| New | Error | Program |
|---|---|---|
| 0.0b | (pow.f64 x 2) | |
| ✓ | 6.0b | (/.f64 (pow.f64 x 2) z) |
Compiled 31 to 21 computations (32.3% saved)
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 44.0ms | z | @ | 0 | (/.f64 (pow.f64 x 2) z) |
| 0.0ms | x | @ | inf | (/.f64 (pow.f64 x 2) z) |
| 0.0ms | z | @ | inf | (/.f64 (pow.f64 x 2) z) |
| 0.0ms | x | @ | 0 | (/.f64 (pow.f64 x 2) z) |
| 0.0ms | z | @ | -inf | (/.f64 (pow.f64 x 2) z) |
| 1× | batch-egg-rewrite |
| 1562× | rational_best-5 |
| 1560× | rational_best-4 |
| 1560× | rational_best-2 |
| 1560× | rational_best-3 |
| 1560× | rational_best-1 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 13 |
| 1 | 57 | 13 |
| 2 | 185 | 13 |
| 3 | 738 | 13 |
| 4 | 3143 | 13 |
| 1× | node limit |
| Inputs |
|---|
(/.f64 (pow.f64 x 2) z) |
| Outputs |
|---|
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (pow.f64 x 2) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (pow.f64 x 2) z))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 x 2) z) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (neg.f64 (/.f64 (pow.f64 x 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 x 2) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 x 2) z) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (pow.f64 x 2) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 1 (/.f64 (pow.f64 x 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (pow.f64 x 2) z) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (neg.f64 (/.f64 (pow.f64 x 2) z))))))) |
| 1× | egg-herbie |
| 1524× | rational_best-simplify-2 |
| 1430× | rational_best-simplify-132 |
| 1056× | rational_best-simplify-44 |
| 502× | rational_best-simplify-57 |
| 490× | rational_best-simplify-80 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 53 | 351 |
| 1 | 104 | 351 |
| 2 | 285 | 351 |
| 3 | 1846 | 351 |
| 4 | 3894 | 351 |
| 5 | 7211 | 351 |
| 1× | node limit |
| Inputs |
|---|
(+.f64 (/.f64 (pow.f64 x 2) z) 0) |
(+.f64 0 (/.f64 (pow.f64 x 2) z)) |
(-.f64 (/.f64 (pow.f64 x 2) z) 0) |
(-.f64 0 (neg.f64 (/.f64 (pow.f64 x 2) z))) |
(*.f64 (/.f64 (pow.f64 x 2) z) 1) |
(*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) |
(*.f64 (/.f64 (pow.f64 x 2) z) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z)))) |
(*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(*.f64 1 (/.f64 (pow.f64 x 2) z)) |
(*.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)) |
(*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 1 (/.f64 (pow.f64 x 2) z))) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z))) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z))) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))) |
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(*.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) |
(*.f64 (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) |
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))) |
(pow.f64 (/.f64 (pow.f64 x 2) z) 1) |
(neg.f64 (neg.f64 (/.f64 (pow.f64 x 2) z))) |
| Outputs |
|---|
(+.f64 (/.f64 (pow.f64 x 2) z) 0) |
(/.f64 (pow.f64 x 2) z) |
(+.f64 0 (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(-.f64 (/.f64 (pow.f64 x 2) z) 0) |
(/.f64 (pow.f64 x 2) z) |
(-.f64 0 (neg.f64 (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 (pow.f64 x 2) z) 1) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 (pow.f64 x 2) z) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z)))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 1 (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 1 (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (/.f64 (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) (/.f64 1 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 (/.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (/.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 1 (/.f64 (pow.f64 x 2) z))) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
(*.f64 (*.f64 (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)))) (/.f64 (/.f64 (/.f64 1 (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))) (*.f64 (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z)) (*.f64 (/.f64 (pow.f64 x 2) z) (/.f64 (pow.f64 x 2) z))))) |
(/.f64 (pow.f64 x 2) z) |
(pow.f64 (/.f64 (pow.f64 x 2) z) 1) |
(/.f64 (pow.f64 x 2) z) |
(neg.f64 (neg.f64 (/.f64 (pow.f64 x 2) z))) |
(/.f64 (pow.f64 x 2) z) |
Compiled 1343 to 909 computations (32.3% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 55 | 0 | 55 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 2 | 2 |
| Total | 55 | 4 | 59 |
| Status | Error | Program |
|---|---|---|
| ✓ | 37.6b | (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) z)) z) |
| ✓ | 39.0b | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| ✓ | 27.2b | (neg.f64 x) |
| 34.7b | z |
Compiled 36 to 25 computations (30.6% saved)
Compiled 3 to 3 computations (0% saved)
4 alts after pruning (1 fresh and 3 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 3 | 3 |
| Total | 0 | 4 | 4 |
| Status | Error | Program |
|---|---|---|
| ✓ | 37.6b | (+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) z)) z) |
| ✓ | 39.0b | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| ✓ | 27.2b | (neg.f64 x) |
| 34.7b | z |
Compiled 36 to 25 computations (30.6% saved)
| Inputs |
|---|
z |
(neg.f64 x) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) z)) z) |
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
(+.f64 (*.f64 1/2 (/.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) z)) z) |
| Outputs |
|---|
z |
(neg.f64 x) |
z |
(sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
z |
(neg.f64 x) |
9 calls:
| 208.0ms | y |
| 155.0ms | (*.f64 z z) |
| 95.0ms | x |
| 80.0ms | (*.f64 x x) |
| 70.0ms | (*.f64 y y) |
| Error | Segments | Branch |
|---|---|---|
| 9.7b | 4 | x |
| 11.8b | 4 | y |
| 10.9b | 2 | z |
| 17.5b | 2 | (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) |
| 17.5b | 2 | (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) |
| 14.0b | 4 | (+.f64 (*.f64 x x) (*.f64 y y)) |
| 9.2b | 6 | (*.f64 x x) |
| 24.3b | 5 | (*.f64 y y) |
| 11.4b | 2 | (*.f64 z z) |
Compiled 109 to 69 computations (36.7% saved)
| 5× | left-value |
| Time | Left | Right |
|---|---|---|
| 0.0ms | 4.254843184639916e+104 | 4.446784226507388e+107 |
| 0.0ms | 3.1419045401718922e+91 | 1.1412158949174101e+95 |
| 0.0ms | 5.664476901775316e+63 | 7.260710910223234e+63 |
| 0.0ms | 1.6317044981650322e-38 | 6.903705759520489e-37 |
| 0.0ms | 4.0360298277363744e-58 | 1.7935309212887739e-56 |
Compiled 21 to 14 computations (33.3% saved)
Total -52.8b remaining (-544.1%)
Threshold costs -52.8b (-544.1%)
| Inputs |
|---|
z |
(neg.f64 x) |
(+.f64 (*.f64 1/2 (/.f64 (pow.f64 x 2) z)) z) |
| Outputs |
|---|
(neg.f64 x) |
z |
(neg.f64 x) |
z |
3 calls:
| 263.0ms | x |
| 20.0ms | y |
| 6.0ms | z |
| Error | Segments | Branch |
|---|---|---|
| 9.7b | 4 | x |
| 12.9b | 2 | y |
| 10.9b | 2 | z |
Compiled 27 to 19 computations (29.6% saved)
| 3× | binary-search |
| Time | Left | Right |
|---|---|---|
| 161.0ms | -1.3392277331689237e-28 | -2.0089872642046227e-29 |
| 44.0ms | -8.308854168608623e-19 | -1.2773818920608795e-19 |
| 4.0ms | -8.52098052469505e+31 | -7.526271920263921e+31 |
| 205.0ms | 224× | body | 256 | valid |
Compiled 175 to 140 computations (20% saved)
| 1× | egg-herbie |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 40 | 163 |
| 1× | fuel |
| 1× | saturated |
| Inputs |
|---|
(if (<=.f64 (*.f64 x x) 7067388259113537/14134776518227074636666380005943348126619871175004951664972849610340958208) z (if (<=.f64 (*.f64 x x) 1915619426082361/95780971304118053647396689196894323976171195136475136) (neg.f64 x) (if (<=.f64 (*.f64 x x) 5999999999999999981772350323636089413439063955979487715052748800) z (if (<=.f64 (*.f64 x x) 50000000000000002168864848730959303664514666247596965589588689466805840644484055547066187776) (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) (if (<=.f64 (*.f64 x x) 499999999999999969129150412640989270163513682236062239147208106269435745912299856818410263751954127650816) z (neg.f64 x)))))) |
(if (<=.f64 x -84999999999999994653318693519360) (neg.f64 x) (if (<=.f64 x -5399988732876221/41538374868278621028243970633760768) z (if (<=.f64 x -2899096875808981/22300745198530623141535718272648361505980416) (neg.f64 x) z))) |
z |
| Outputs |
|---|
(if (<=.f64 (*.f64 x x) 7067388259113537/14134776518227074636666380005943348126619871175004951664972849610340958208) z (if (<=.f64 (*.f64 x x) 1915619426082361/95780971304118053647396689196894323976171195136475136) (neg.f64 x) (if (<=.f64 (*.f64 x x) 5999999999999999981772350323636089413439063955979487715052748800) z (if (<=.f64 (*.f64 x x) 50000000000000002168864848730959303664514666247596965589588689466805840644484055547066187776) (sqrt.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))) (if (<=.f64 (*.f64 x x) 499999999999999969129150412640989270163513682236062239147208106269435745912299856818410263751954127650816) z (neg.f64 x)))))) |
(if (<=.f64 x -84999999999999994653318693519360) (neg.f64 x) (if (<=.f64 x -5399988732876221/41538374868278621028243970633760768) z (if (<=.f64 x -2899096875808981/22300745198530623141535718272648361505980416) (neg.f64 x) z))) |
z |
Compiled 77 to 41 computations (46.8% saved)
| 1× | egg-herbie |
| 1106× | rational_best-simplify-2 |
| 900× | rational_best-simplify-132 |
| 778× | rational_best-simplify-129 |
| 732× | rational_best-simplify-80 |
| 688× | rational_best-simplify-1 |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 288 | 4962 |
| 1 | 588 | 4938 |
| 2 | 1551 | 4920 |
| 3 | 3159 | 4920 |
| 4 | 4882 | 4920 |
| 1× | node limit |
Compiled 11 to 8 computations (27.3% saved)
Compiled 175 to 84 computations (52% saved)
Loading profile data...