Details

Time bar (total: 4.0s)

analyze301.0ms (7.5%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
Compiler

Compiled 18 to 12 computations (33.3% saved)

sample1.5s (36.6%)

Results
1.5s8256×body256valid
Bogosity

preprocess114.0ms (2.8%)

Algorithm
egg-herbie
Rules
1302×rational_best_oopsla_all_46_json_45_simplify-49
1164×rational_best_oopsla_all_46_json_45_simplify-10
1080×rational_best_oopsla_all_46_json_45_simplify-23
1002×rational_best_oopsla_all_46_json_45_simplify-30
690×rational_best_oopsla_all_46_json_45_simplify-89
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
026164
146164
291164
3255164
41021164
53801164
66743164
033
133
Stop Event
unsound
node limit
Calls
Call 1
Inputs
0
1
2
Outputs
0
1
0
2
0
Call 2
Inputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 y y) (*.f64 x x)) (*.f64 z z)) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 z z) (*.f64 y y)) (*.f64 x x)) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 z z)) (*.f64 y y)) 3))
Outputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 z z))) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 y y) (*.f64 x x)) (*.f64 z z)) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 z z))) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 z z) (*.f64 y y)) (*.f64 x x)) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 z z))) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 z z)) (*.f64 y y)) 3))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 z z))) 3))
Symmetry

(sort x y z)

Compiler

Compiled 20 to 14 computations (30% saved)

simplify113.0ms (2.8%)

Algorithm
egg-herbie
Rules
1302×rational_best_oopsla_all_46_json_45_simplify-49
1164×rational_best_oopsla_all_46_json_45_simplify-10
1080×rational_best_oopsla_all_46_json_45_simplify-23
1002×rational_best_oopsla_all_46_json_45_simplify-30
686×rational_best_oopsla_all_46_json_45_simplify-89
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01441
13141
28041
324841
4101041
5379141
6672941
Stop Event
node limit
Counts
1 → 4
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
Outputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 z z) (*.f64 y y))) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 y y) (+.f64 (*.f64 x x) (*.f64 z z))) 3))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))

eval1.0ms (0%)

Compiler

Compiled 59 to 26 computations (55.9% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New314
Fresh011
Picked000
Done000
Total325
Error
38.3b
Counts
5 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
38.3b
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
Compiler

Compiled 17 to 11 computations (35.3% saved)

localize14.0ms (0.3%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 x x) (*.f64 y y))
0.3b
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)
35.3b
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
Compiler

Compiled 61 to 14 computations (77% saved)

series38.0ms (0.9%)

Counts
3 → 96
Calls

24 calls:

TimeVariablePointExpression
29.0ms
y
@0
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)
1.0ms
x
@0
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
1.0ms
x
@inf
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
1.0ms
y
@0
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
1.0ms
z
@0
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))

rewrite91.0ms (2.3%)

Algorithm
batch-egg-rewrite
Rules
1984×rational_best_oopsla_all_46_json-2
1984×rational_best_oopsla_all_46_json-1
1984×rational_best_oopsla_all_46_json-4
1984×rational_best_oopsla_all_46_json-3
940×rational_best_oopsla_all_46_json_45_simplify-7
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01497
18997
226897
397997
4431797
Stop Event
node limit
Counts
3 → 99
Calls
Call 1
Inputs
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)
(+.f64 (*.f64 x x) (*.f64 y y))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 -1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 1 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 1 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 -1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 -1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 1 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (neg.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 x x) (*.f64 y (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 y y) (*.f64 x (neg.f64 x)))))) (#(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)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) 0))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 -1 (+.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 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 (/.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 x x) (*.f64 y y)) (*.f64 1 (*.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 (/.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))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.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 (*.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)) (*.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 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.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 (*.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 (+.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)) (+.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 (+.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))))))))) (#(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 (*.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 -1 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 1 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.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 *.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 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.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 *.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 x x) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.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 /.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 (*.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 neg.f64 (*.f64 -1 (+.f64 (*.f64 x x) (*.f64 y y))))))))

simplify271.0ms (6.7%)

Algorithm
egg-herbie
Rules
1514×rational_best_oopsla_all_46_json_45_simplify-72
1150×rational_best_oopsla_all_46_json_45_simplify-89
1008×rational_best_oopsla_all_46_json_45_simplify-23
978×rational_best_oopsla_all_46_json_45_simplify-24
968×rational_best_oopsla_all_46_json_45_simplify-35
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03748707
113538521
256208521
Stop Event
node limit
Counts
195 → 217
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))) (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 4))))))
(+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 6)))) (+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))) (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 4)))))))
(*.f64 (sqrt.f64 1/3) x)
(+.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)))
(+.f64 (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (sqrt.f64 1/3)) (pow.f64 x 3))) (+.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x))))
(+.f64 (*.f64 1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (sqrt.f64 1/3)) (pow.f64 x 5))) (+.f64 (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (sqrt.f64 1/3)) (pow.f64 x 3))) (+.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)))))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)) (*.f64 -1 (*.f64 (sqrt.f64 1/3) x)))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (sqrt.f64 1/3)) (pow.f64 x 3))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)) (*.f64 -1 (*.f64 (sqrt.f64 1/3) x))))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (sqrt.f64 1/3)) (pow.f64 x 3))) (+.f64 (*.f64 -1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (sqrt.f64 1/3)) (pow.f64 x 5))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)) (*.f64 -1 (*.f64 (sqrt.f64 1/3) x)))))
(*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (sqrt.f64 1/3))
(+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (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))) (sqrt.f64 1/3)))
(+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (*.f64 -1/8 (*.f64 (*.f64 (pow.f64 y 4) (sqrt.f64 1/3)) (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))) (sqrt.f64 1/3))))
(+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (*.f64 -1/8 (*.f64 (*.f64 (pow.f64 y 4) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))) (+.f64 (*.f64 1/16 (*.f64 (*.f64 (pow.f64 y 6) (sqrt.f64 1/3)) (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))) (sqrt.f64 1/3)))))
(*.f64 y (sqrt.f64 1/3))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 y 3)))))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (+.f64 (*.f64 1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (sqrt.f64 1/3)) (pow.f64 y 5))) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 y 3))))))
(*.f64 -1 (*.f64 y (sqrt.f64 1/3)))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (*.f64 -1 (*.f64 y (sqrt.f64 1/3))))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (+.f64 (*.f64 -1 (*.f64 y (sqrt.f64 1/3))) (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 y 3)))))
(+.f64 (*.f64 -1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (sqrt.f64 1/3)) (pow.f64 y 5))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (+.f64 (*.f64 -1 (*.f64 y (sqrt.f64 1/3))) (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 y 3))))))
(*.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (sqrt.f64 1/3))
(+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (sqrt.f64 1/3)))
(+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 (pow.f64 z 4) (sqrt.f64 1/3)))) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (sqrt.f64 1/3))))
(+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 (pow.f64 z 4) (sqrt.f64 1/3)))) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))) (+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (*.f64 (pow.f64 z 6) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (sqrt.f64 1/3)))))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)) (*.f64 z (sqrt.f64 1/3)))
(+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)) (+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 z 3)))))
(+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)) (+.f64 (*.f64 z (sqrt.f64 1/3)) (+.f64 (*.f64 1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (sqrt.f64 1/3)) (pow.f64 z 5))) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 z 3))))))
(*.f64 -1 (*.f64 z (sqrt.f64 1/3)))
(+.f64 (*.f64 -1 (*.f64 z (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 z 3))) (+.f64 (*.f64 -1 (*.f64 z (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z))))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 z 3))) (+.f64 (*.f64 -1 (*.f64 z (sqrt.f64 1/3))) (+.f64 (*.f64 -1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (sqrt.f64 1/3)) (pow.f64 z 5))) (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)))))
(*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))
(+.f64 (*.f64 1/3 (pow.f64 x 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))))
(+.f64 (*.f64 1/3 (pow.f64 x 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))))
(+.f64 (*.f64 1/3 (pow.f64 x 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))))
(*.f64 1/3 (pow.f64 x 2))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (pow.f64 x 2))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (pow.f64 y 2))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (pow.f64 y 2))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(*.f64 1/3 (pow.f64 z 2))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(*.f64 1/3 (pow.f64 z 2))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 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 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 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0)
(+.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) 0))
(+.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))
(+.f64 0 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(+.f64 (*.f64 0 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(-.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0)
(-.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) 0))
(-.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))
(-.f64 0 (*.f64 -1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 1)
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 1 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(*.f64 -1 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 -1 (*.f64 1 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 -1 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) -1)
(*.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(*.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 1)
(/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(neg.f64 (*.f64 -1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(+.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0)
(+.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0))
(+.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))
(+.f64 0 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(+.f64 (*.f64 0 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(-.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0)
(-.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0))
(-.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))
(-.f64 0 (*.f64 -1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 1)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(*.f64 -1 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(*.f64 -1 (*.f64 1 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 -1 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) -1)
(*.f64 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (neg.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(*.f64 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (neg.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(neg.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(-.f64 (*.f64 x x) (*.f64 y (neg.f64 y)))
(-.f64 (*.f64 y y) (*.f64 x (neg.f64 x)))
(-.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 0)
(-.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 0))
(-.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (+.f64 (*.f64 x x) (*.f64 y y))) 0))
(-.f64 0 (*.f64 -1 (+.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 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 (/.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 x x) (*.f64 y y)) (*.f64 1 (*.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 (/.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))))))
(*.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 (*.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)) (*.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 x x) (*.f64 y y)))))
(*.f64 (+.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 (*.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 (*.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)) (+.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 (+.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 (+.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 -1 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))
(*.f64 -1 (*.f64 1 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))
(*.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 (+.f64 (*.f64 x x) (*.f64 y y)) (/.f64 1 (+.f64 (*.f64 x x) (*.f64 y y)))) (+.f64 (*.f64 x x) (*.f64 y y)))
(*.f64 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))) -1)
(*.f64 (neg.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 (+.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 (neg.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 (*.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 (*.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)))))
(neg.f64 (*.f64 -1 (+.f64 (*.f64 x x) (*.f64 y y))))
Outputs
(*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))) (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 4))))))
(+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 x 4))))))
(+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))) (+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 x 4))))))
(+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 6)))) (+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))) (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 (sqrt.f64 1/3) (pow.f64 x 4)))))))
(+.f64 (+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 x 4)))))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (*.f64 1/16 (*.f64 (sqrt.f64 1/3) (pow.f64 x 6)))))
(+.f64 (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))) (*.f64 1/2 (*.f64 (sqrt.f64 1/3) (pow.f64 x 2)))) (+.f64 (*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (sqrt.f64 1/3)) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 x 4)))))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 5))) (*.f64 1/16 (*.f64 (sqrt.f64 1/3) (pow.f64 x 6)))))
(*.f64 (sqrt.f64 1/3) x)
(+.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)))
(+.f64 (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (sqrt.f64 1/3)) (pow.f64 x 3))) (+.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x))))
(+.f64 (*.f64 (sqrt.f64 1/3) x) (+.f64 (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3))) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x))))
(+.f64 (*.f64 (sqrt.f64 1/3) x) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)) (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3)))))
(+.f64 (*.f64 1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (sqrt.f64 1/3)) (pow.f64 x 5))) (+.f64 (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (sqrt.f64 1/3)) (pow.f64 x 3))) (+.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)))))
(+.f64 (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3))) (+.f64 (*.f64 1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3)) (pow.f64 x 5))) (+.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)))))
(+.f64 (*.f64 (sqrt.f64 1/3) x) (+.f64 (*.f64 1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3)) (pow.f64 x 5))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)) (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3))))))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (*.f64 -1 x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)) (*.f64 -1 (*.f64 (sqrt.f64 1/3) x)))
(+.f64 (*.f64 (sqrt.f64 1/3) (*.f64 -1 x)) (*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x) -1/2))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x) -1/2))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (sqrt.f64 1/3)) (pow.f64 x 3))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)) (*.f64 -1 (*.f64 (sqrt.f64 1/3) x))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x) -1/2) (+.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3)) 1/8) (*.f64 (sqrt.f64 1/3) (*.f64 -1 x))))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (+.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3)) 1/8) (*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x) -1/2)))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (+.f64 (*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x) -1/2) (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3)) 1/8)))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2) (sqrt.f64 1/3)) (pow.f64 x 3))) (+.f64 (*.f64 -1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3) (sqrt.f64 1/3)) (pow.f64 x 5))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x)) (*.f64 -1 (*.f64 (sqrt.f64 1/3) x)))))
(+.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3)) 1/8) (+.f64 (*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x) -1/2) (+.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3)) (pow.f64 x 5)) -1/16) (*.f64 (sqrt.f64 1/3) (*.f64 -1 x)))))
(+.f64 (*.f64 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) (sqrt.f64 1/3)) x) -1/2) (+.f64 (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 3)) (pow.f64 x 5)) -1/16) (+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 2)) (pow.f64 x 3)) 1/8))))
(*.f64 (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))) (sqrt.f64 1/3))
(*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (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))) (sqrt.f64 1/3)))
(+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))))
(+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (*.f64 -1/8 (*.f64 (*.f64 (pow.f64 y 4) (sqrt.f64 1/3)) (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))) (sqrt.f64 1/3))))
(+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) (*.f64 -1/8 (*.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 y 4)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)))))))
(+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) (+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (*.f64 (*.f64 (sqrt.f64 1/3) (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/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (*.f64 -1/8 (*.f64 (*.f64 (pow.f64 y 4) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))) (+.f64 (*.f64 1/16 (*.f64 (*.f64 (pow.f64 y 6) (sqrt.f64 1/3)) (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))) (sqrt.f64 1/3)))))
(+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (*.f64 1/16 (*.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 y 6)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5))))) (+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) (*.f64 -1/8 (*.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 y 4)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3))))))))
(+.f64 (*.f64 1/2 (*.f64 (*.f64 (pow.f64 y 2) (sqrt.f64 1/3)) (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))))) (+.f64 (+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))) (*.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 y 4)) (*.f64 -1/8 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)))))) (*.f64 1/16 (*.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 y 6)) (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 5)))))))
(*.f64 y (sqrt.f64 1/3))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 y 3)))))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)) (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3)))))
(+.f64 (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3))) (+.f64 (*.f64 y (sqrt.f64 1/3)) (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y))))
(+.f64 (+.f64 (*.f64 y (sqrt.f64 1/3)) (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y))) (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3))))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (+.f64 (*.f64 1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (sqrt.f64 1/3)) (pow.f64 y 5))) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 y 3))))))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)) (+.f64 (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3))) (*.f64 1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)) (pow.f64 y 5))))))
(+.f64 (*.f64 y (sqrt.f64 1/3)) (+.f64 (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)) (*.f64 1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)) (pow.f64 y 5))))))
(*.f64 -1 (*.f64 y (sqrt.f64 1/3)))
(*.f64 y (*.f64 -1 (sqrt.f64 1/3)))
(neg.f64 (*.f64 y (sqrt.f64 1/3)))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (*.f64 -1 (*.f64 y (sqrt.f64 1/3))))
(+.f64 (*.f64 y (*.f64 -1 (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)))
(+.f64 (neg.f64 (*.f64 y (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (+.f64 (*.f64 -1 (*.f64 y (sqrt.f64 1/3))) (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 y 3)))))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)) (+.f64 (*.f64 y (*.f64 -1 (sqrt.f64 1/3))) (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3)))))
(+.f64 (neg.f64 (*.f64 y (sqrt.f64 1/3))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)) (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3)))))
(+.f64 (*.f64 -1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3) (sqrt.f64 1/3)) (pow.f64 y 5))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (sqrt.f64 1/3)) y)) (+.f64 (*.f64 -1 (*.f64 y (sqrt.f64 1/3))) (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 y 3))))))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)) (+.f64 (*.f64 -1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)) (pow.f64 y 5))) (+.f64 (*.f64 y (*.f64 -1 (sqrt.f64 1/3))) (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3))))))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)) (+.f64 (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3))) (+.f64 (*.f64 -1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)) (pow.f64 y 5))) (neg.f64 (*.f64 y (sqrt.f64 1/3))))))
(+.f64 (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 z 2) (pow.f64 x 2))) y)) (+.f64 (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 2)) (pow.f64 y 3))) (+.f64 (neg.f64 (*.f64 y (sqrt.f64 1/3))) (*.f64 -1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) 3)) (pow.f64 y 5))))))
(*.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (sqrt.f64 1/3))
(*.f64 (sqrt.f64 1/3) (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)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (sqrt.f64 1/3)))
(+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 1/2 (*.f64 (pow.f64 z 2) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (sqrt.f64 1/3)))))
(+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))))
(+.f64 (*.f64 -1/8 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 (pow.f64 z 4) (sqrt.f64 1/3)))) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (sqrt.f64 1/3))))
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 z 2) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (sqrt.f64 1/3)))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 z 4)))) (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))))))
(+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 z 4)))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3))))))
(+.f64 (*.f64 (sqrt.f64 1/3) (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)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/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))) (*.f64 (pow.f64 z 4) (sqrt.f64 1/3)))) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))) (+.f64 (*.f64 1/16 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (*.f64 (pow.f64 z 6) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (sqrt.f64 1/3)))))
(+.f64 (*.f64 1/2 (*.f64 (pow.f64 z 2) (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (sqrt.f64 1/3)))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 z 4)))) (+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (*.f64 1/16 (*.f64 (sqrt.f64 1/3) (pow.f64 z 6)))))))
(+.f64 (+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (*.f64 1/16 (*.f64 (sqrt.f64 1/3) (pow.f64 z 6))))) (+.f64 (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 z 4)))) (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3))))))
(+.f64 (+.f64 (*.f64 (sqrt.f64 1/3) (sqrt.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 5))) (*.f64 1/16 (*.f64 (sqrt.f64 1/3) (pow.f64 z 6))))) (+.f64 (*.f64 1/2 (*.f64 (sqrt.f64 (/.f64 1 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))) (*.f64 (pow.f64 z 2) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 (/.f64 1 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3))) (*.f64 -1/8 (*.f64 (sqrt.f64 1/3) (pow.f64 z 4))))))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)) (*.f64 z (sqrt.f64 1/3)))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)))
(+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)) (+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 z 3)))))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)) (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2)) (pow.f64 z 3)))))
(+.f64 (*.f64 1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)) (+.f64 (*.f64 z (sqrt.f64 1/3)) (+.f64 (*.f64 1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (sqrt.f64 1/3)) (pow.f64 z 5))) (*.f64 -1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 z 3))))))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)) (+.f64 (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2)) (pow.f64 z 3))) (*.f64 1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3)) (pow.f64 z 5))))))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (+.f64 (*.f64 -1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2)) (pow.f64 z 3))) (+.f64 (*.f64 1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)) (*.f64 1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3)) (pow.f64 z 5))))))
(*.f64 -1 (*.f64 z (sqrt.f64 1/3)))
(*.f64 z (*.f64 -1 (sqrt.f64 1/3)))
(neg.f64 (*.f64 z (sqrt.f64 1/3)))
(+.f64 (*.f64 -1 (*.f64 z (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)))
(+.f64 (*.f64 z (*.f64 -1 (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)))
(+.f64 (neg.f64 (*.f64 z (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 z 3))) (+.f64 (*.f64 -1 (*.f64 z (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z))))
(+.f64 (*.f64 z (*.f64 -1 (sqrt.f64 1/3))) (+.f64 (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2)) (pow.f64 z 3))) (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z))))
(+.f64 (neg.f64 (*.f64 z (sqrt.f64 1/3))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)) (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2)) (pow.f64 z 3)))))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2) (sqrt.f64 1/3)) (pow.f64 z 3))) (+.f64 (*.f64 -1 (*.f64 z (sqrt.f64 1/3))) (+.f64 (*.f64 -1/16 (/.f64 (*.f64 (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3) (sqrt.f64 1/3)) (pow.f64 z 5))) (*.f64 -1/2 (/.f64 (*.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) (sqrt.f64 1/3)) z)))))
(+.f64 (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2)) (pow.f64 z 3))) (+.f64 (*.f64 -1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3)) (pow.f64 z 5))) (+.f64 (*.f64 z (*.f64 -1 (sqrt.f64 1/3))) (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)))))
(+.f64 (neg.f64 (*.f64 z (sqrt.f64 1/3))) (+.f64 (*.f64 -1/16 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 3)) (pow.f64 z 5))) (+.f64 (*.f64 -1/2 (/.f64 (*.f64 (sqrt.f64 1/3) (+.f64 (pow.f64 y 2) (pow.f64 x 2))) z)) (*.f64 1/8 (/.f64 (*.f64 (sqrt.f64 1/3) (pow.f64 (+.f64 (pow.f64 y 2) (pow.f64 x 2)) 2)) (pow.f64 z 3))))))
(*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2)))
(*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3)
(+.f64 (*.f64 1/3 (pow.f64 x 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 x 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 x 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (pow.f64 x 2))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (pow.f64 x 2))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 y 2))) (*.f64 1/3 (pow.f64 x 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2)))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (pow.f64 y 2))
(*.f64 (pow.f64 y 2) 1/3)
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (pow.f64 y 2))
(*.f64 (pow.f64 y 2) 1/3)
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (pow.f64 y 2)) (*.f64 1/3 (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2)))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (pow.f64 z 2))
(*.f64 (pow.f64 z 2) 1/3)
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(*.f64 1/3 (pow.f64 z 2))
(*.f64 (pow.f64 z 2) 1/3)
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 2) (pow.f64 x 2))))
(+.f64 (*.f64 1/3 (+.f64 (pow.f64 y 2) (pow.f64 x 2))) (*.f64 1/3 (pow.f64 z 2)))
(+.f64 (*.f64 (+.f64 (pow.f64 z 2) (pow.f64 y 2)) 1/3) (*.f64 1/3 (pow.f64 x 2)))
(*.f64 1/3 (+.f64 (+.f64 (pow.f64 z 2) (pow.f64 x 2)) (pow.f64 y 2)))
(*.f64 1/3 (+.f64 (pow.f64 y 2) (+.f64 (pow.f64 z 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 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 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0)
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(+.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) 0))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(+.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(+.f64 0 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(+.f64 (*.f64 0 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(-.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0)
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(-.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) 0))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(-.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(-.f64 0 (*.f64 -1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 1)
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 1 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 -1 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 -1 (*.f64 1 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 -1 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (*.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) -1)
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (*.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(*.f64 (neg.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))) (neg.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 1)
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(neg.f64 (*.f64 -1 (sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(sqrt.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(+.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0)
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(+.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(+.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(+.f64 0 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(+.f64 (*.f64 0 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(-.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0)
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(-.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 0))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(-.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) 0))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(-.f64 0 (*.f64 -1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) 1)
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 1 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (*.f64 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 -1 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 -1 (*.f64 1 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 -1 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (*.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) -1)
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (neg.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (*.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)) (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(*.f64 (neg.f64 (/.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3) (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3))) (neg.f64 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(neg.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)))
(/.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 y y) (*.f64 z z))) 3)
(-.f64 (*.f64 x x) (*.f64 y (neg.f64 y)))
(-.f64 (*.f64 y y) (*.f64 x (neg.f64 x)))
(-.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 0)
(+.f64 (*.f64 x x) (*.f64 y y))
(-.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 (+.f64 (*.f64 x x) (*.f64 y y)) 0))
(+.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))) 0))
(+.f64 (*.f64 x x) (*.f64 y y))
(-.f64 0 (*.f64 -1 (+.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 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 (/.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 x x) (*.f64 y y)) (*.f64 1 (*.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 (+.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))))))
(+.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 (*.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)) (*.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 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 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 x x) (*.f64 y y)) (*.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 (*.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 (+.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 (/.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 -1 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))))
(+.f64 (*.f64 x x) (*.f64 y y))
(*.f64 -1 (*.f64 1 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y)))))
(+.f64 (*.f64 x x) (*.f64 y y))
(*.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))
(*.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 (neg.f64 (+.f64 (*.f64 x x) (*.f64 y y))) -1)
(+.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (neg.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))
(*.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 x x) (*.f64 y y)))
(+.f64 (*.f64 x x) (*.f64 y y))
(*.f64 (neg.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))
(/.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 (*.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))
(neg.f64 (*.f64 -1 (+.f64 (*.f64 x x) (*.f64 y y))))
(+.f64 (*.f64 x x) (*.f64 y y))

eval239.0ms (5.9%)

Compiler

Compiled 8089 to 4309 computations (46.7% saved)

prune77.0ms (1.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New2152217
Fresh000
Picked011
Done000
Total2153218
Error
0.6b
Counts
218 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
29.2b
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
33.4b
(*.f64 z (sqrt.f64 1/3))
38.3b
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
Compiler

Compiled 32 to 24 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.3b
(*.f64 z (sqrt.f64 1/3))
Compiler

Compiled 11 to 9 computations (18.2% saved)

series2.0ms (0%)

Counts
1 → 0
Calls

3 calls:

TimeVariablePointExpression
1.0ms
z
@0
(*.f64 z (sqrt.f64 1/3))
0.0ms
z
@inf
(*.f64 z (sqrt.f64 1/3))
0.0ms
z
@-inf
(*.f64 z (sqrt.f64 1/3))

rewrite68.0ms (1.7%)

Algorithm
batch-egg-rewrite
Rules
1336×rational_best_oopsla_all_46_json-2
1336×rational_best_oopsla_all_46_json-1
1336×rational_best_oopsla_all_46_json-4
1336×rational_best_oopsla_all_46_json-3
1094×rational_best_oopsla_all_46_json_45_simplify-72
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0711
14211
212711
353411
4266511
Stop Event
node limit
Counts
1 → 24
Calls
Call 1
Inputs
(*.f64 z (sqrt.f64 1/3))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (sqrt.f64 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 z (sqrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))) (*.f64 z (sqrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) z))) (*.f64 z (sqrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))) (*.f64 z (sqrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))) (*.f64 z (sqrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 z (sqrt.f64 1/3)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 z (neg.f64 (sqrt.f64 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))) (*.f64 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))) (*.f64 z (neg.f64 (sqrt.f64 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 z z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (/.f64 z z) (/.f64 z z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 z z)) (*.f64 (sqrt.f64 1/3) (/.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))) (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (/.f64 (sqrt.f64 1/3) z)) (*.f64 z (/.f64 (sqrt.f64 1/3) z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))) (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z))) (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 z (neg.f64 (sqrt.f64 1/3))))))))

simplify122.0ms (3%)

Algorithm
egg-herbie
Rules
1502×rational_best_oopsla_all_46_json_45_simplify-72
1316×rational_best_oopsla_all_46_json_45_simplify-10
902×rational_best_oopsla_all_46_json_45_simplify-49
808×rational_best_oopsla_all_46_json_45_simplify-7
646×rational_best_oopsla_all_46_json_45_simplify-89
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055264
1171264
2718264
33324264
47502264
Stop Event
node limit
Counts
24 → 25
Calls
Call 1
Inputs
(+.f64 (*.f64 z (sqrt.f64 1/3)) 0)
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) z))))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))
(+.f64 0 (*.f64 z (sqrt.f64 1/3)))
(+.f64 (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))) (*.f64 z (sqrt.f64 1/3)))
(+.f64 (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) z))) (*.f64 z (sqrt.f64 1/3)))
(+.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))) (*.f64 z (sqrt.f64 1/3)))
(+.f64 (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))) (*.f64 z (sqrt.f64 1/3)))
(-.f64 (*.f64 z (sqrt.f64 1/3)) 0)
(-.f64 0 (*.f64 z (neg.f64 (sqrt.f64 1/3))))
(-.f64 (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))) (*.f64 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))) (*.f64 z (neg.f64 (sqrt.f64 1/3)))))
(/.f64 (*.f64 z (sqrt.f64 1/3)) 1)
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 z z))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (/.f64 z z) (/.f64 z z)))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 z z)) (*.f64 (sqrt.f64 1/3) (/.f64 z z))))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))) (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (/.f64 (sqrt.f64 1/3) z)) (*.f64 z (/.f64 (sqrt.f64 1/3) z))))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))) (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z))) (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))))
(neg.f64 (*.f64 z (neg.f64 (sqrt.f64 1/3))))
Outputs
(+.f64 (*.f64 z (sqrt.f64 1/3)) 0)
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) z))))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))
(*.f64 z (sqrt.f64 1/3))
(+.f64 0 (*.f64 z (sqrt.f64 1/3)))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))) (*.f64 z (sqrt.f64 1/3)))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) z))) (*.f64 z (sqrt.f64 1/3)))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))) (*.f64 z (sqrt.f64 1/3)))
(*.f64 z (sqrt.f64 1/3))
(+.f64 (*.f64 0 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))) (*.f64 z (sqrt.f64 1/3)))
(*.f64 z (sqrt.f64 1/3))
(-.f64 (*.f64 z (sqrt.f64 1/3)) 0)
(*.f64 z (sqrt.f64 1/3))
(-.f64 0 (*.f64 z (neg.f64 (sqrt.f64 1/3))))
(*.f64 z (sqrt.f64 1/3))
(-.f64 (*.f64 0 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))) (*.f64 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))) (*.f64 z (neg.f64 (sqrt.f64 1/3)))))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) 1)
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 z z))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (/.f64 z z) (/.f64 z z)))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 z z)) (*.f64 (sqrt.f64 1/3) (/.f64 z z))))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))) (*.f64 z (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 z (/.f64 (sqrt.f64 1/3) z)) (*.f64 z (/.f64 (sqrt.f64 1/3) z))))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3))) (/.f64 (*.f64 z (sqrt.f64 1/3)) (*.f64 z (sqrt.f64 1/3)))))
(*.f64 z (sqrt.f64 1/3))
(/.f64 (*.f64 z (sqrt.f64 1/3)) (/.f64 (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z))) (*.f64 (sqrt.f64 1/3) (*.f64 (/.f64 z z) (/.f64 z z)))))
(*.f64 z (sqrt.f64 1/3))
(neg.f64 (*.f64 z (neg.f64 (sqrt.f64 1/3))))
(*.f64 z (sqrt.f64 1/3))

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
0.4b
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
Compiler

Compiled 14 to 10 computations (28.6% saved)

series1.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
1.0ms
x
@0
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
0.0ms
x
@inf
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
0.0ms
x
@-inf
(*.f64 (sqrt.f64 1/3) (neg.f64 x))

rewrite66.0ms (1.6%)

Algorithm
batch-egg-rewrite
Rules
1544×rational_best_oopsla_all_46_json-2
1544×rational_best_oopsla_all_46_json-1
1544×rational_best_oopsla_all_46_json-4
1544×rational_best_oopsla_all_46_json-3
1210×rational_best_oopsla_all_46_json_45_simplify-72
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
15115
215715
367815
4317915
Stop Event
node limit
Counts
1 → 27
Calls
Call 1
Inputs
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (neg.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (*.f64 (sqrt.f64 1/3) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 0 (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (neg.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (-.f64 0 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (sqrt.f64 1/3) x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))) (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)) (*.f64 (sqrt.f64 1/3) x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))) (*.f64 (sqrt.f64 1/3) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 x x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3))) (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))) (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)) (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 x x)) (*.f64 (sqrt.f64 1/3) (/.f64 x x))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/3) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (sqrt.f64 1/3) x))))))

simplify129.0ms (3.2%)

Algorithm
egg-herbie
Rules
1392×rational_best_oopsla_all_46_json_45_simplify-10
1050×rational_best_oopsla_all_46_json_45_simplify-49
1008×rational_best_oopsla_all_46_json_45_simplify-7
712×rational_best_oopsla_all_46_json_45_simplify-89
542×rational_best_oopsla_all_46_json_45_simplify-30
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
063677
1196677
2805677
33600677
47230677
Stop Event
node limit
Counts
39 → 32
Calls
Call 1
Inputs
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 0)
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (neg.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))))
(+.f64 0 (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(+.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(+.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(+.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(+.f64 (*.f64 0 (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (neg.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(-.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 0)
(-.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (-.f64 0 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x)))))
(-.f64 0 (*.f64 (sqrt.f64 1/3) x))
(-.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))) (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)) (*.f64 (sqrt.f64 1/3) x)))
(-.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))) (*.f64 (sqrt.f64 1/3) x))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 1)
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 x x))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3))) (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))) (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))))))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)) (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 x x)) (*.f64 (sqrt.f64 1/3) (/.f64 x x))))
(/.f64 (*.f64 (sqrt.f64 1/3) x) -1)
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
Outputs
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(*.f64 -1 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 0)
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 0 (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (neg.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 0 (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(+.f64 (*.f64 0 (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (neg.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))) (*.f64 (sqrt.f64 1/3) (neg.f64 x)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(-.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 0)
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(-.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (-.f64 0 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x)))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(-.f64 0 (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(-.f64 (*.f64 0 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))) (*.f64 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)) (*.f64 (sqrt.f64 1/3) x)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(-.f64 (*.f64 0 (*.f64 (sqrt.f64 1/3) (/.f64 x x))) (*.f64 (sqrt.f64 1/3) x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) 1)
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 x x))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3))) (*.f64 (sqrt.f64 1/3) (/.f64 (neg.f64 x) (sqrt.f64 1/3)))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))) (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (*.f64 x (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))))))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))) (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))))))
(/.f64 (*.f64 x (neg.f64 (sqrt.f64 1/3))) (/.f64 (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)))) (*.f64 x (*.f64 (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3)) (/.f64 (sqrt.f64 1/3) (sqrt.f64 1/3))))))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x)) (/.f64 (*.f64 (sqrt.f64 1/3) x) (*.f64 (sqrt.f64 1/3) x))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (/.f64 (*.f64 (sqrt.f64 1/3) (/.f64 x x)) (*.f64 (sqrt.f64 1/3) (/.f64 x x))))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(/.f64 (*.f64 (sqrt.f64 1/3) x) -1)
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))
(neg.f64 (*.f64 (sqrt.f64 1/3) x))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 x (neg.f64 (sqrt.f64 1/3)))

eval46.0ms (1.1%)

Compiler

Compiled 834 to 635 computations (23.9% saved)

prune9.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New57057
Fresh000
Picked011
Done022
Total57360
Error
0.6b
Counts
60 → 3
Alt Table
Click to see full alt table
StatusErrorProgram
29.2b
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
33.4b
(*.f64 z (sqrt.f64 1/3))
38.3b
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
Compiler

Compiled 32 to 24 computations (25% saved)

regimes205.0ms (5.1%)

Counts
3 → 4
Calls
Call 1
Inputs
(*.f64 z (sqrt.f64 1/3))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
Outputs
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 z (sqrt.f64 1/3))
Calls

10 calls:

75.0ms
(+.f64 (*.f64 x x) (*.f64 y y))
38.0ms
x
22.0ms
y
17.0ms
z
12.0ms
(*.f64 y y)
Results
ErrorSegmentsBranch
10.1b3x
13.1b6y
7.9b4z
18.3b2(sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3))
18.3b2(/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)
18.3b2(+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z))
13.6b6(+.f64 (*.f64 x x) (*.f64 y y))
10.8b3(*.f64 x x)
25.7b4(*.f64 y y)
8.2b4(*.f64 z z)
Compiler

Compiled 113 to 74 computations (34.5% saved)

bsearch76.0ms (1.9%)

Algorithm
binary-search
Steps
TimeLeftRight
6.0ms
1.5669513222525092e+38
1.866804140026489e+38
54.0ms
3950539102338.805
16958036377137.152
16.0ms
1.5840942719694403e-34
2.393427373577693e-32
Results
71.0ms256×body256valid
Compiler

Compiled 425 to 321 computations (24.5% saved)

regimes73.0ms (1.8%)

Accuracy

Total -53.3b remaining (-654.5%)

Threshold costs -53.3b (-654.5%)

Counts
2 → 4
Calls
Call 1
Inputs
(*.f64 z (sqrt.f64 1/3))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
Outputs
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 z (sqrt.f64 1/3))
(*.f64 (sqrt.f64 1/3) (neg.f64 x))
(*.f64 z (sqrt.f64 1/3))
Calls

3 calls:

49.0ms
y
14.0ms
z
8.0ms
x
Results
ErrorSegmentsBranch
12.9b2x
13.1b6y
8.1b4z
Compiler

Compiled 24 to 19 computations (20.8% saved)

bsearch109.0ms (2.7%)

Algorithm
binary-search
Steps
TimeLeftRight
6.0ms
1.5669513222525092e+38
1.866804140026489e+38
85.0ms
42690569264.373085
3950539102338.805
18.0ms
4.661873162911377e-28
3.1968787309289278e-24
Results
105.0ms288×body256valid
Compiler

Compiled 329 to 286 computations (13.1% saved)

simplify5.0ms (0.1%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
040199
Stop Event
done
saturated
Calls
Call 1
Inputs
(if (<=.f64 z 6942132777321789/365375409332725729550921208179070754913983135744) (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (if (<=.f64 z 7200000000000) (sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)) (if (<=.f64 z 179999999999999984614178123333712740352) (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 z (sqrt.f64 1/3)))))
(if (<=.f64 z 3811162509514511/1361129467683753853853498429727072845824) (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (if (<=.f64 z 44000000000) (*.f64 z (sqrt.f64 1/3)) (if (<=.f64 z 169999999999999998061923293023115935744) (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 z (sqrt.f64 1/3)))))
(*.f64 z (sqrt.f64 1/3))
Outputs
(if (<=.f64 z 6942132777321789/365375409332725729550921208179070754913983135744) (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (if (<=.f64 z 7200000000000) (sqrt.f64 (/.f64 (+.f64 (+.f64 (*.f64 x x) (*.f64 y y)) (*.f64 z z)) 3)) (if (<=.f64 z 179999999999999984614178123333712740352) (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 z (sqrt.f64 1/3)))))
(if (<=.f64 z 3811162509514511/1361129467683753853853498429727072845824) (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (if (<=.f64 z 44000000000) (*.f64 z (sqrt.f64 1/3)) (if (<=.f64 z 169999999999999998061923293023115935744) (*.f64 (sqrt.f64 1/3) (neg.f64 x)) (*.f64 z (sqrt.f64 1/3)))))
(*.f64 z (sqrt.f64 1/3))
Compiler

Compiled 83 to 61 computations (26.5% saved)

soundness251.0ms (6.2%)

Algorithm
egg-herbie
Rules
1514×rational_best_oopsla_all_46_json_45_simplify-72
1150×rational_best_oopsla_all_46_json_45_simplify-89
1008×rational_best_oopsla_all_46_json_45_simplify-23
978×rational_best_oopsla_all_46_json_45_simplify-24
968×rational_best_oopsla_all_46_json_45_simplify-35
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
03748707
113538521
256208521
Stop Event
node limit
Compiler

Compiled 26 to 22 computations (15.4% saved)

end117.0ms (2.9%)

Compiler

Compiled 163 to 114 computations (30.1% saved)

Profiling

Loading profile data...