Details

Time bar (total: 1.9s)

analyze52.0ms (2.8%)

Algorithm
1×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
25%25%74.9%0.1%0%0%0%5
37.5%37.5%62.4%0.1%0%0%0%6
56.3%56.2%43.7%0.1%0%0%0%7
64.5%62.4%34.3%0.1%3.1%0%0%8
75.4%71.8%23.4%0.1%4.7%0%0%9
80.7%74.9%18%0.1%7%0%0%10
86.8%79.6%12.1%0.1%8.2%0%0%11
89.8%81.2%9.2%0.1%9.6%0%0%12
Compiler

Compiled 8 to 6 computations (25% saved)

sample712.0ms (37.7%)

Results
676.0ms8256×body256valid
22.0ms282×body256infinite
Bogosity

preprocess135.0ms (7.1%)

Algorithm
2×egglog
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(/.f64 (*.f64 x y) 2)
(/.f64 (*.f64 y x) 2)
Outputs
(/.f64 (*.f64 x y) 2)
(*.f64 (*.f64 x y) 1/2)
(/.f64 (*.f64 y x) 2)
(*.f64 (*.f64 x y) 1/2)
Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify62.0ms (3.3%)

Algorithm
1×egglog
Counts
1 → 2
Calls
Call 1
Inputs
(/.f64 (*.f64 x y) 2)
Outputs
(/.f64 (*.f64 x y) 2)
(*.f64 (*.f64 x y) 1/2)

eval1.0ms (0.1%)

Compiler

Compiled 12 to 7 computations (41.7% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New112
Fresh011
Picked000
Done000
Total123
Error
0.0b
Counts
3 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0.0b
(/.f64 (*.f64 x y) 2)
Compiler

Compiled 7 to 5 computations (28.6% saved)

localize7.0ms (0.4%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(/.f64 (*.f64 x y) 2)
Compiler

Compiled 13 to 6 computations (53.8% saved)

series10.0ms (0.5%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
y
@0
(/.f64 (*.f64 x y) 2)
1.0ms
x
@0
(/.f64 (*.f64 x y) 2)
1.0ms
x
@inf
(/.f64 (*.f64 x y) 2)
1.0ms
y
@inf
(/.f64 (*.f64 x y) 2)
0.0ms
y
@-inf
(/.f64 (*.f64 x y) 2)
Compiler

Compiled 615 to 260 computations (57.7% saved)

rewrite154.0ms (8.2%)

Algorithm
1×batch-egg-rewrite
Rules
175×egg-rr
Counts
1 → 175
Calls
Call 1
Inputs
(/.f64 (*.f64 x y) 2)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 y 0) (/.f64 x (/.f64 2 y)) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 y (/.f64 2 x)) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 x y) 0) (pow.f64 (/.f64 2 (*.f64 x y)) -1) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (*.f64 x y)) (/.f64 2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 0) (/.f64 (cbrt.f64 y) (/.f64 2 (*.f64 (cbrt.f64 (*.f64 y y)) x))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 1 0) (*.f64 (*.f64 x y) 1/2) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (*.f64 x x)) 0) (/.f64 (*.f64 y (cbrt.f64 x)) (/.f64 2 (cbrt.f64 (*.f64 x x)))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 0) (/.f64 (cbrt.f64 x) (/.f64 (/.f64 2 y) (cbrt.f64 (*.f64 x x)))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (*.f64 y y)) 0) (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 (/.f64 8 (*.f64 y y)))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (*.f64 x y)) 0) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (/.f64 2 (cbrt.f64 (*.f64 x y)))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (*.f64 x y)) 0) (pow.f64 (/.f64 2 (*.f64 x y)) -1) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) 0) (/.f64 (cbrt.f64 (*.f64 x y)) (/.f64 2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 x y) 0) (/.f64 -1 (/.f64 -2 (*.f64 x y))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (neg.f64 y) (/.f64 -2 x)) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 y) 0) (/.f64 x (/.f64 2 y)) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (/.f64 -2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (neg.f64 x) 0) (/.f64 y (/.f64 2 x)) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) 0) (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (/.f64 -2 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2))) (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (*.f64 (*.f64 x y) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (cbrt.f64 1/2)) (/.f64 y (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 1/2)) (*.f64 y (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (cbrt.f64 1/2)) (/.f64 x (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (sqrt.f64 1/2)) (*.f64 x (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (sqrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x x)) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 y (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 (*.f64 x x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 y) 2) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 4)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (cbrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (sqrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 y y)) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (cbrt.f64 y)) 1) (/.f64 (cbrt.f64 (*.f64 y y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 x) 2) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 4)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (cbrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (sqrt.f64 2)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (neg.f64 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 1) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (neg.f64 (cbrt.f64 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 (*.f64 x y)) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (sqrt.f64 2)) (/.f64 (*.f64 x y) (neg.f64 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 -1 (cbrt.f64 2)) (/.f64 (*.f64 x y) (neg.f64 (cbrt.f64 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (cbrt.f64 -2)) (/.f64 (neg.f64 y) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 y) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x -1) (/.f64 (neg.f64 y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (neg.f64 y) (sqrt.f64 2)) (/.f64 x (neg.f64 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (neg.f64 y) 1) (/.f64 x -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (neg.f64 y) (cbrt.f64 2)) (/.f64 x (neg.f64 (cbrt.f64 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (neg.f64 x) (sqrt.f64 2)) (/.f64 y (neg.f64 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (neg.f64 x) 1) (/.f64 y -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (neg.f64 x) (cbrt.f64 2)) (/.f64 y (neg.f64 (cbrt.f64 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (cbrt.f64 -2)) (/.f64 (neg.f64 x) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 x) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y -1) (/.f64 (neg.f64 x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 -2)) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 x y)) -1) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (pow.f64 (*.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x 1/2) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (*.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 y 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 1/2) (*.f64 (*.f64 x y) (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 1/2) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)) (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 y (cbrt.f64 4)) (*.f64 x (cbrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (cbrt.f64 4)) (*.f64 y (cbrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2) (cbrt.f64 (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (cbrt.f64 y)) (*.f64 (cbrt.f64 (*.f64 y y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (*.f64 y (cbrt.f64 x))) (cbrt.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 x x)) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (cbrt.f64 (*.f64 x y))) (cbrt.f64 (pow.f64 (*.f64 x y) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (*.f64 x (cbrt.f64 y))) (cbrt.f64 (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 x y))) (cbrt.f64 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x 1/2) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x 1/2) (cbrt.f64 y)) (cbrt.f64 (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 x x)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (cbrt.f64 y)) (*.f64 (cbrt.f64 (*.f64 y y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (*.f64 (cbrt.f64 (*.f64 x y)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (cbrt.f64 1/2) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 1/2) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 1/4) (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y y)) (*.f64 (cbrt.f64 y) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 x 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) 2) (cbrt.f64 (*.f64 (*.f64 x y) 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 x y))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x y))) 2) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 y) (*.f64 x -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (neg.f64 y) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (*.f64 (neg.f64 x) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 x) (*.f64 y -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (*.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (*.f64 y 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (sqrt.f64 1/2)) (*.f64 (*.f64 x (sqrt.f64 1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 1/2) (*.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (cbrt.f64 1/2)) (*.f64 (/.f64 y (cbrt.f64 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (cbrt.f64 1/2)) (*.f64 (/.f64 x (cbrt.f64 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x (sqrt.f64 1/2)) (*.f64 (*.f64 y (sqrt.f64 1/2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (/.f64 1 (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 y (cbrt.f64 x)) 2) (cbrt.f64 (*.f64 x x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 4)) (*.f64 (*.f64 x y) (cbrt.f64 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (cbrt.f64 y)) 2) (cbrt.f64 (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (/.f64 (cbrt.f64 (*.f64 x y)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 x) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 -2)) (/.f64 (neg.f64 (*.f64 x y)) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 1/2) (/.f64 (*.f64 x y) (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) (cbrt.f64 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (*.f64 (*.f64 x y) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 x y) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (*.f64 x y) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 x y) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (sqrt.f64 2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (neg.f64 (sqrt.f64 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 1) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) -2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (neg.f64 (cbrt.f64 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 x y)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 (*.f64 x y) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (*.f64 x y)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (neg.f64 (*.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 x y))) (cbrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (neg.f64 (*.f64 x y)))) (cbrt.f64 -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))) (cbrt.f64 -2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (*.f64 x y)) (cbrt.f64 2)) (neg.f64 (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2))) (neg.f64 (cbrt.f64 4)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (sqrt.f64 1/2)) x) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x (sqrt.f64 1/2)) y) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 1/2) (*.f64 x y)) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (sqrt.f64 1/2) (*.f64 x y)) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 y (cbrt.f64 1/2)) x) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x (cbrt.f64 1/2)) y) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) 1) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (neg.f64 (*.f64 x y)) (sqrt.f64 2)) (neg.f64 (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1) (sqrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) 1) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2))) (neg.f64 (sqrt.f64 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) (cbrt.f64 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 (cbrt.f64 4))) (pow.f64 (cbrt.f64 (cbrt.f64 4)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (*.f64 x y) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x y) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x y)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 x y) 1/2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (*.f64 x y) -1/2))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (*.f64 (*.f64 (*.f64 x y) -1/2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 3))))))

simplify649.0ms (34.4%)

Algorithm
1×egglog
Counts
199 → 191
Calls
Call 1
Inputs
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(*.f64 1/2 (*.f64 y x))
(if (!=.f64 y 0) (/.f64 x (/.f64 2 y)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 x 0) (/.f64 y (/.f64 2 x)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (*.f64 x y) 0) (pow.f64 (/.f64 2 (*.f64 x y)) -1) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (*.f64 x y)) (/.f64 2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 0) (/.f64 (cbrt.f64 y) (/.f64 2 (*.f64 (cbrt.f64 (*.f64 y y)) x))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 1 0) (*.f64 (*.f64 x y) 1/2) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (*.f64 x x)) 0) (/.f64 (*.f64 y (cbrt.f64 x)) (/.f64 2 (cbrt.f64 (*.f64 x x)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 0) (/.f64 (cbrt.f64 x) (/.f64 (/.f64 2 y) (cbrt.f64 (*.f64 x x)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (*.f64 y y)) 0) (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 (/.f64 8 (*.f64 y y)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (*.f64 x y)) 0) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (/.f64 2 (cbrt.f64 (*.f64 x y)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (neg.f64 (*.f64 x y)) 0) (pow.f64 (/.f64 2 (*.f64 x y)) -1) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) 0) (/.f64 (cbrt.f64 (*.f64 x y)) (/.f64 2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (*.f64 x y) 0) (/.f64 -1 (/.f64 -2 (*.f64 x y))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 x 0) (/.f64 (neg.f64 y) (/.f64 -2 x)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (neg.f64 y) 0) (/.f64 x (/.f64 2 y)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (/.f64 -2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (neg.f64 x) 0) (/.f64 y (/.f64 2 x)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) 0) (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (/.f64 -2 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2))) (*.f64 (*.f64 x y) 1/2))
(-.f64 0 (*.f64 (*.f64 x y) -1/2))
(*.f64 (*.f64 x (cbrt.f64 1/2)) (/.f64 y (cbrt.f64 4)))
(*.f64 (*.f64 x (sqrt.f64 1/2)) (*.f64 y (sqrt.f64 1/2)))
(*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)))
(*.f64 (*.f64 y (cbrt.f64 1/2)) (/.f64 x (cbrt.f64 4)))
(*.f64 (*.f64 y (sqrt.f64 1/2)) (*.f64 x (sqrt.f64 1/2)))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (sqrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x x)) (sqrt.f64 2)))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 2)))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 (*.f64 x x)) 2))
(*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (sqrt.f64 2)))
(*.f64 (/.f64 (cbrt.f64 y) 2) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 1))
(*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (cbrt.f64 4)))
(*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 4)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (cbrt.f64 2)))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (sqrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 y y)) (sqrt.f64 2)))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 2)))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) 1) (/.f64 (cbrt.f64 (*.f64 y y)) 2))
(*.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (sqrt.f64 2)))
(*.f64 (/.f64 (cbrt.f64 x) 2) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 1))
(*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (cbrt.f64 4)))
(*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 4)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (cbrt.f64 2)))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (sqrt.f64 2)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (neg.f64 (sqrt.f64 2))))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 1) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) -2))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (neg.f64 (cbrt.f64 4))))
(*.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)))
(*.f64 (/.f64 1 (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 (*.f64 x y)) (sqrt.f64 2)))
(*.f64 (/.f64 -1 (sqrt.f64 2)) (/.f64 (*.f64 x y) (neg.f64 (sqrt.f64 2))))
(*.f64 (/.f64 -1 (cbrt.f64 2)) (/.f64 (*.f64 x y) (neg.f64 (cbrt.f64 4))))
(*.f64 (/.f64 x (cbrt.f64 -2)) (/.f64 (neg.f64 y) (cbrt.f64 4)))
(*.f64 (/.f64 x (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 y) (sqrt.f64 2)))
(*.f64 (/.f64 x -1) (/.f64 (neg.f64 y) 2))
(*.f64 (/.f64 (neg.f64 y) (sqrt.f64 2)) (/.f64 x (neg.f64 (sqrt.f64 2))))
(*.f64 (/.f64 (neg.f64 y) 1) (/.f64 x -2))
(*.f64 (/.f64 (neg.f64 y) (cbrt.f64 2)) (/.f64 x (neg.f64 (cbrt.f64 4))))
(*.f64 (/.f64 (neg.f64 x) (sqrt.f64 2)) (/.f64 y (neg.f64 (sqrt.f64 2))))
(*.f64 (/.f64 (neg.f64 x) 1) (/.f64 y -2))
(*.f64 (/.f64 (neg.f64 x) (cbrt.f64 2)) (/.f64 y (neg.f64 (cbrt.f64 4))))
(*.f64 (/.f64 y (cbrt.f64 -2)) (/.f64 (neg.f64 x) (cbrt.f64 4)))
(*.f64 (/.f64 y (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 x) (sqrt.f64 2)))
(*.f64 (/.f64 y -1) (/.f64 (neg.f64 x) 2))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 -2)) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (cbrt.f64 4)))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (sqrt.f64 2)))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) -1) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) 2))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (pow.f64 (*.f64 x y) 2)))
(*.f64 (*.f64 x 1/2) y)
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2))
(*.f64 x (*.f64 y 1/2))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 x y) (sqrt.f64 1/2)))
(*.f64 (*.f64 y 1/2) x)
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)) (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)))
(*.f64 (/.f64 y (cbrt.f64 4)) (*.f64 x (cbrt.f64 1/2)))
(*.f64 (/.f64 x (cbrt.f64 4)) (*.f64 y (cbrt.f64 1/2)))
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2) (cbrt.f64 (*.f64 x y)))
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 1/2))
(*.f64 (*.f64 1/2 (cbrt.f64 y)) (*.f64 (cbrt.f64 (*.f64 y y)) x))
(*.f64 (*.f64 1/2 (*.f64 y (cbrt.f64 x))) (cbrt.f64 (*.f64 x x)))
(*.f64 (*.f64 1/2 (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 x x)) y))
(*.f64 (*.f64 1/2 (cbrt.f64 (*.f64 x y))) (cbrt.f64 (pow.f64 (*.f64 x y) 2)))
(*.f64 (*.f64 1/2 (*.f64 x (cbrt.f64 y))) (cbrt.f64 (*.f64 y y)))
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2))
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 x y))) (cbrt.f64 1/2))
(*.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 1/4))
(*.f64 (*.f64 (*.f64 x 1/2) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))
(*.f64 (*.f64 (*.f64 x 1/2) (cbrt.f64 y)) (cbrt.f64 (*.f64 y y)))
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) 2))
(*.f64 (cbrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 1/2))
(*.f64 (*.f64 y (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 x x)) 1/2))
(*.f64 (cbrt.f64 x) (*.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 1/2))
(*.f64 (*.f64 x (cbrt.f64 y)) (*.f64 (cbrt.f64 (*.f64 y y)) 1/2))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (*.f64 (cbrt.f64 (*.f64 x y)) 1/2))
(*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))))
(*.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (cbrt.f64 1/2) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))))
(*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 1/2) (*.f64 x y)))
(*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 1/4) (*.f64 x y)))
(*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 (cbrt.f64 y) (*.f64 x 1/2)))
(*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 x 1/2)))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) 2) (cbrt.f64 (*.f64 (*.f64 x y) 1/2))))
(*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x y))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x y))) 2) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))
(*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))
(*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))
(*.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) -1/2))
(*.f64 (neg.f64 y) (*.f64 x -1/2))
(*.f64 x (*.f64 (neg.f64 y) -1/2))
(*.f64 y (*.f64 (neg.f64 x) -1/2))
(*.f64 (neg.f64 x) (*.f64 y -1/2))
(*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (*.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) -1/2))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (*.f64 y 1/2)))
(*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y 1/2)))
(*.f64 (*.f64 y (sqrt.f64 1/2)) (*.f64 (*.f64 x (sqrt.f64 1/2)) 1))
(*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)) 1))
(*.f64 (cbrt.f64 1/2) (*.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) 1))
(*.f64 (*.f64 x (cbrt.f64 1/2)) (*.f64 (/.f64 y (cbrt.f64 4)) 1))
(*.f64 (*.f64 y (cbrt.f64 1/2)) (*.f64 (/.f64 x (cbrt.f64 4)) 1))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1))
(*.f64 (*.f64 x (sqrt.f64 1/2)) (*.f64 (*.f64 y (sqrt.f64 1/2)) 1))
(*.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (/.f64 1 (cbrt.f64 4)))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) 2) (cbrt.f64 (*.f64 x x)))
(*.f64 (cbrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 2))
(*.f64 (/.f64 1 (cbrt.f64 4)) (*.f64 (*.f64 x y) (cbrt.f64 1/2)))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) 2) (cbrt.f64 (*.f64 y y)))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (/.f64 (cbrt.f64 (*.f64 x y)) 2))
(*.f64 (cbrt.f64 x) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 2))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 4)))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 4)))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 4)))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 2)))
(*.f64 (/.f64 1 (cbrt.f64 -2)) (/.f64 (neg.f64 (*.f64 x y)) (cbrt.f64 4)))
(*.f64 (cbrt.f64 1/2) (/.f64 (*.f64 x y) (cbrt.f64 4)))
(*.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) (cbrt.f64 1/2))
(*.f64 -1 (*.f64 (*.f64 x y) -1/2))
(*.f64 (*.f64 x y) 1/2)
(*.f64 1/2 (*.f64 x y))
(*.f64 1 (*.f64 (*.f64 x y) 1/2))
(*.f64 (*.f64 (*.f64 x y) 1/2) 1)
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (sqrt.f64 2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (neg.f64 (sqrt.f64 2))))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 1) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) -2))
(*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (sqrt.f64 2)))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (neg.f64 (cbrt.f64 4))))
(*.f64 (cbrt.f64 (*.f64 x y)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) 2))
(*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) -1/2))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 (*.f64 x y) 1/2)))
(*.f64 (neg.f64 (*.f64 x y)) -1/2)
(*.f64 -1/2 (neg.f64 (*.f64 x y)))
(/.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 x y))) (cbrt.f64 2))
(/.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (neg.f64 (*.f64 x y)))) (cbrt.f64 -2))
(/.f64 (*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))) (cbrt.f64 -2))
(/.f64 (/.f64 (neg.f64 (*.f64 x y)) (cbrt.f64 2)) (neg.f64 (cbrt.f64 4)))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 2))
(/.f64 (neg.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2))) (neg.f64 (cbrt.f64 4)))
(/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 2))
(/.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 4))
(/.f64 (*.f64 (*.f64 y (sqrt.f64 1/2)) x) (sqrt.f64 2))
(/.f64 (*.f64 (*.f64 x (sqrt.f64 1/2)) y) (sqrt.f64 2))
(/.f64 (*.f64 (cbrt.f64 1/2) (*.f64 x y)) (cbrt.f64 4))
(/.f64 (*.f64 (sqrt.f64 1/2) (*.f64 x y)) (sqrt.f64 2))
(/.f64 (*.f64 (*.f64 y (cbrt.f64 1/2)) x) (cbrt.f64 4))
(/.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (sqrt.f64 2))
(/.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (cbrt.f64 4))
(/.f64 (*.f64 (*.f64 x (cbrt.f64 1/2)) y) (cbrt.f64 4))
(/.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1) (sqrt.f64 2))
(/.f64 (*.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) 1) (cbrt.f64 4))
(/.f64 (/.f64 (neg.f64 (*.f64 x y)) (sqrt.f64 2)) (neg.f64 (sqrt.f64 2)))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1) (sqrt.f64 2))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) 1) (cbrt.f64 4))
(/.f64 (neg.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2))) (neg.f64 (sqrt.f64 2)))
(/.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) (cbrt.f64 2))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 (cbrt.f64 4))) (pow.f64 (cbrt.f64 (cbrt.f64 4)) 2))
(/.f64 (*.f64 (*.f64 x y) 1/2) 1)
(/.f64 (*.f64 x y) 2)
(/.f64 (neg.f64 (*.f64 x y)) -2)
(pow.f64 (*.f64 (*.f64 x y) 1/2) 1)
(pow.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 3) 1/3)
(pow.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) 3)
(neg.f64 (*.f64 (*.f64 x y) -1/2))
(neg.f64 (*.f64 (*.f64 (*.f64 x y) -1/2) 1))
(cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 3))
Outputs
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 y x))
(*.f64 y (*.f64 x 1/2))
(if (!=.f64 y 0) (/.f64 x (/.f64 2 y)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 y 0) (/.f64 x (/.f64 2 y)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 x 0) (/.f64 y (/.f64 2 x)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 x 0) (/.f64 y (/.f64 2 x)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (*.f64 x y) 0) (pow.f64 (/.f64 2 (*.f64 x y)) -1) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (*.f64 y x) 0) (/.f64 1/2 (/.f64 (/.f64 1 y) x)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (*.f64 x y)) (/.f64 2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 y x) 2)) 0) (cbrt.f64 (/.f64 (*.f64 y x) (/.f64 8 (pow.f64 (*.f64 y x) 2)))) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 0) (/.f64 (cbrt.f64 y) (/.f64 2 (*.f64 (cbrt.f64 (*.f64 y y)) x))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 0) (/.f64 (cbrt.f64 y) (/.f64 2 (*.f64 (cbrt.f64 (*.f64 y y)) x))) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 1 0) (*.f64 (*.f64 x y) 1/2) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 1 0) (*.f64 y (*.f64 x 1/2)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (cbrt.f64 (*.f64 x x)) 0) (/.f64 (*.f64 y (cbrt.f64 x)) (/.f64 2 (cbrt.f64 (*.f64 x x)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (*.f64 x x)) 0) (/.f64 (*.f64 y (cbrt.f64 x)) (cbrt.f64 (/.f64 8 (*.f64 x x)))) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 0) (/.f64 (cbrt.f64 x) (/.f64 (/.f64 2 y) (cbrt.f64 (*.f64 x x)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 0) (/.f64 (cbrt.f64 x) (/.f64 (/.f64 2 y) (cbrt.f64 (*.f64 x x)))) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (cbrt.f64 (*.f64 y y)) 0) (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 (/.f64 8 (*.f64 y y)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (*.f64 y y)) 0) (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 (/.f64 8 (*.f64 y y)))) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (cbrt.f64 (*.f64 x y)) 0) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (/.f64 2 (cbrt.f64 (*.f64 x y)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (*.f64 y x)) 0) (cbrt.f64 (/.f64 (pow.f64 (*.f64 y x) 2) (/.f64 8 (*.f64 y x)))) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (neg.f64 (*.f64 x y)) 0) (pow.f64 (/.f64 2 (*.f64 x y)) -1) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (neg.f64 (*.f64 y x)) 0) (/.f64 1/2 (/.f64 (/.f64 1 y) x)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) 0) (/.f64 (cbrt.f64 (*.f64 x y)) (/.f64 2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (neg.f64 (pow.f64 (*.f64 y x) 2))) 0) (cbrt.f64 (/.f64 (*.f64 y x) (/.f64 8 (pow.f64 (*.f64 y x) 2)))) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (*.f64 x y) 0) (/.f64 -1 (/.f64 -2 (*.f64 x y))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (*.f64 y x) 0) (/.f64 1/2 (/.f64 (/.f64 1 y) x)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 x 0) (/.f64 (neg.f64 y) (/.f64 -2 x)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 x 0) (/.f64 y (/.f64 2 x)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (neg.f64 y) 0) (/.f64 x (/.f64 2 y)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (neg.f64 y) 0) (/.f64 x (/.f64 2 y)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 0) (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (/.f64 -2 (cbrt.f64 (pow.f64 (*.f64 x y) 2)))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 y x) 2)) 0) (cbrt.f64 (/.f64 (*.f64 y x) (/.f64 8 (pow.f64 (*.f64 y x) 2)))) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (neg.f64 x) 0) (/.f64 y (/.f64 2 x)) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (neg.f64 x) 0) (/.f64 y (/.f64 2 x)) (*.f64 y (*.f64 x 1/2)))
(if (!=.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) 0) (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (/.f64 -2 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2))) (*.f64 (*.f64 x y) 1/2))
(if (!=.f64 (cbrt.f64 (pow.f64 (*.f64 y x) 2)) 0) (cbrt.f64 (/.f64 (*.f64 y x) (/.f64 8 (pow.f64 (*.f64 y x) 2)))) (*.f64 y (*.f64 x 1/2)))
(-.f64 0 (*.f64 (*.f64 x y) -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 x (cbrt.f64 1/2)) (/.f64 y (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 x (sqrt.f64 1/2)) (*.f64 y (sqrt.f64 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 y (cbrt.f64 1/2)) (/.f64 x (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 y (sqrt.f64 1/2)) (*.f64 x (sqrt.f64 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (sqrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x x)) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) 1) (/.f64 (cbrt.f64 (*.f64 x x)) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 y) (sqrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 y) 2) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 y) (cbrt.f64 4)) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) (cbrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (sqrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 y y)) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) 1) (/.f64 (cbrt.f64 (*.f64 y y)) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 x) (sqrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 x) 2) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 2)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 x) (cbrt.f64 4)) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) (cbrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (sqrt.f64 2)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (neg.f64 (sqrt.f64 2))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 1) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) -2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 2)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (neg.f64 (cbrt.f64 4))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 1 (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 (*.f64 x y)) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 -1 (sqrt.f64 2)) (/.f64 (*.f64 x y) (neg.f64 (sqrt.f64 2))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 -1 (cbrt.f64 2)) (/.f64 (*.f64 x y) (neg.f64 (cbrt.f64 4))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 x (cbrt.f64 -2)) (/.f64 (neg.f64 y) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 x (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 y) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 x -1) (/.f64 (neg.f64 y) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (neg.f64 y) (sqrt.f64 2)) (/.f64 x (neg.f64 (sqrt.f64 2))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (neg.f64 y) 1) (/.f64 x -2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (neg.f64 y) (cbrt.f64 2)) (/.f64 x (neg.f64 (cbrt.f64 4))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (neg.f64 x) (sqrt.f64 2)) (/.f64 y (neg.f64 (sqrt.f64 2))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (neg.f64 x) 1) (/.f64 y -2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (neg.f64 x) (cbrt.f64 2)) (/.f64 y (neg.f64 (cbrt.f64 4))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 y (cbrt.f64 -2)) (/.f64 (neg.f64 x) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 y (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 x) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 y -1) (/.f64 (neg.f64 x) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 -2)) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (neg.f64 (sqrt.f64 2))) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) -1) (/.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) 2) (cbrt.f64 (pow.f64 (*.f64 x y) 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 x 1/2) y)
(*.f64 y (*.f64 x 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 x (*.f64 y 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 x y) (sqrt.f64 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 y 1/2) x)
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)) (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 y (cbrt.f64 4)) (*.f64 x (cbrt.f64 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 x (cbrt.f64 4)) (*.f64 y (cbrt.f64 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2) (cbrt.f64 (*.f64 x y)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 1/2 (cbrt.f64 y)) (*.f64 (cbrt.f64 (*.f64 y y)) x))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 1/2 (*.f64 y (cbrt.f64 x))) (cbrt.f64 (*.f64 x x)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 1/2 (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 x x)) y))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 1/2 (cbrt.f64 (*.f64 x y))) (cbrt.f64 (pow.f64 (*.f64 x y) 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 1/2 (*.f64 x (cbrt.f64 y))) (cbrt.f64 (*.f64 y y)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 x y))) (cbrt.f64 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 1/4))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (*.f64 x 1/2) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (*.f64 x 1/2) (cbrt.f64 y)) (cbrt.f64 (*.f64 y y)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 y (cbrt.f64 x)) (*.f64 (cbrt.f64 (*.f64 x x)) 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 x) (*.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 x (cbrt.f64 y)) (*.f64 (cbrt.f64 (*.f64 y y)) 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (*.f64 (cbrt.f64 (*.f64 x y)) 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (cbrt.f64 1/2) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (sqrt.f64 1/2) (*.f64 (sqrt.f64 1/2) (*.f64 x y)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 1/2) (*.f64 (cbrt.f64 1/4) (*.f64 x y)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 (cbrt.f64 y) (*.f64 x 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 x 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) (*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2))) 2) 2) (cbrt.f64 (*.f64 (*.f64 x y) 1/2))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x y))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x y))) 2) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) 1/2)))
(*.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 x (*.f64 (pow.f64 (*.f64 y x) 2) 1/8))))
(*.f64 (cbrt.f64 (*.f64 x y)) (*.f64 (neg.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2))) -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (neg.f64 y) (*.f64 x -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 x (*.f64 (neg.f64 y) -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 y (*.f64 (neg.f64 x) -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (neg.f64 x) (*.f64 y -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (*.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 (cbrt.f64 x) (*.f64 y 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 x) (*.f64 (cbrt.f64 (*.f64 x x)) (*.f64 y 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 y (sqrt.f64 1/2)) (*.f64 (*.f64 x (sqrt.f64 1/2)) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (sqrt.f64 1/2)) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 1/2) (*.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 x (cbrt.f64 1/2)) (*.f64 (/.f64 y (cbrt.f64 4)) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 y (cbrt.f64 1/2)) (*.f64 (/.f64 x (cbrt.f64 4)) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (sqrt.f64 1/2) (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 x (sqrt.f64 1/2)) (*.f64 (*.f64 y (sqrt.f64 1/2)) 1))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (/.f64 1 (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) 2) (cbrt.f64 (*.f64 x x)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 y) (/.f64 (*.f64 (cbrt.f64 (*.f64 y y)) x) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 1 (cbrt.f64 4)) (*.f64 (*.f64 x y) (cbrt.f64 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) 2) (cbrt.f64 (*.f64 y y)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (/.f64 (cbrt.f64 (*.f64 x y)) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 x) (/.f64 (*.f64 (cbrt.f64 (*.f64 x x)) y) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 y (cbrt.f64 x)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 x (cbrt.f64 y)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 y y)) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 2)) (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (*.f64 x y)) (cbrt.f64 4)) (/.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) (cbrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 1 (cbrt.f64 -2)) (/.f64 (neg.f64 (*.f64 x y)) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 1/2) (/.f64 (*.f64 x y) (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) (cbrt.f64 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 -1 (*.f64 (*.f64 x y) -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 x y) 1/2)
(*.f64 y (*.f64 x 1/2))
(*.f64 1/2 (*.f64 x y))
(*.f64 y (*.f64 x 1/2))
(*.f64 1 (*.f64 (*.f64 x y) 1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (*.f64 x y) 1/2) 1)
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (sqrt.f64 2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (neg.f64 (sqrt.f64 2))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 1) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) -2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (/.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 2)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) (neg.f64 (cbrt.f64 4))))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (*.f64 x y)) (/.f64 (pow.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) 2) 2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 x y) 2)) -1/2))
(*.f64 y (*.f64 x 1/2))
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 (*.f64 x y) 1/2)))
(*.f64 y (*.f64 x 1/2))
(*.f64 (neg.f64 (*.f64 x y)) -1/2)
(*.f64 y (*.f64 x 1/2))
(*.f64 -1/2 (neg.f64 (*.f64 x y)))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (*.f64 x y))) (cbrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2)) (cbrt.f64 (neg.f64 (*.f64 x y)))) (cbrt.f64 -2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (cbrt.f64 (neg.f64 (*.f64 x y))) (cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 2))) (cbrt.f64 -2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (/.f64 (neg.f64 (*.f64 x y)) (cbrt.f64 2)) (neg.f64 (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 (sqrt.f64 2))) (sqrt.f64 (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (cbrt.f64 (sqrt.f64 2))) (cbrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (neg.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2))) (neg.f64 (cbrt.f64 4)))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) (sqrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 4))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 y (sqrt.f64 1/2)) x) (sqrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 x (sqrt.f64 1/2)) y) (sqrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (cbrt.f64 1/2) (*.f64 x y)) (cbrt.f64 4))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (sqrt.f64 1/2) (*.f64 x y)) (sqrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 y (cbrt.f64 1/2)) x) (cbrt.f64 4))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 x y)) (sqrt.f64 1/2)) (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (sqrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) (cbrt.f64 (pow.f64 (*.f64 x y) 2))) (cbrt.f64 4))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 x (cbrt.f64 1/2)) y) (cbrt.f64 4))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1) (sqrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) 1) (cbrt.f64 4))
(*.f64 y (*.f64 x 1/2))
(/.f64 (/.f64 (neg.f64 (*.f64 x y)) (sqrt.f64 2)) (neg.f64 (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2)) 1) (sqrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) 1) (cbrt.f64 4))
(*.f64 y (*.f64 x 1/2))
(/.f64 (neg.f64 (*.f64 (*.f64 x y) (sqrt.f64 1/2))) (neg.f64 (sqrt.f64 2)))
(*.f64 y (*.f64 x 1/2))
(/.f64 (/.f64 (*.f64 x y) (cbrt.f64 4)) (cbrt.f64 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (/.f64 (*.f64 (*.f64 x y) (cbrt.f64 1/2)) (cbrt.f64 (cbrt.f64 4))) (pow.f64 (cbrt.f64 (cbrt.f64 4)) 2))
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 (*.f64 x y) 1/2) 1)
(*.f64 y (*.f64 x 1/2))
(/.f64 (*.f64 x y) 2)
(*.f64 y (*.f64 x 1/2))
(/.f64 (neg.f64 (*.f64 x y)) -2)
(*.f64 y (*.f64 x 1/2))
(pow.f64 (*.f64 (*.f64 x y) 1/2) 1)
(*.f64 y (*.f64 x 1/2))
(pow.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 3) 1/3)
(*.f64 y (*.f64 x 1/2))
(pow.f64 (cbrt.f64 (*.f64 (*.f64 x y) 1/2)) 3)
(*.f64 y (*.f64 x 1/2))
(neg.f64 (*.f64 (*.f64 x y) -1/2))
(*.f64 y (*.f64 x 1/2))
(neg.f64 (*.f64 (*.f64 (*.f64 x y) -1/2) 1))
(*.f64 y (*.f64 x 1/2))
(cbrt.f64 (pow.f64 (*.f64 (*.f64 x y) 1/2) 3))
(*.f64 y (*.f64 x 1/2))

eval47.0ms (2.5%)

Compiler

Compiled 2557 to 1414 computations (44.7% saved)

prune27.0ms (1.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New1901191
Fresh000
Picked101
Done000
Total1911192
Error
0b
Counts
192 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
▶0b
(*.f64 (*.f64 x 1/2) y)
Compiler

Compiled 7 to 5 computations (28.6% saved)

localize5.0ms (0.3%)

Compiler

Compiled 13 to 8 computations (38.5% saved)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
0b
Counts
1 → 1
Alt Table
Click to see full alt table
StatusErrorProgram
✓0b
(*.f64 (*.f64 x 1/2) y)
Compiler

Compiled 7 to 5 computations (28.6% saved)

regimes11.0ms (0.6%)

Accuracy

Total -0.0b remaining (-∞%)

Threshold costs -0.0b (-∞%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 (*.f64 x 1/2) y)
(/.f64 (*.f64 x y) 2)
Outputs
(*.f64 (*.f64 x 1/2) y)
Calls

4 calls:

3.0ms
y
3.0ms
(/.f64 (*.f64 x y) 2)
2.0ms
(*.f64 x y)
2.0ms
x
Results
ErrorSegmentsBranch
0b1x
0b1y
0b1(/.f64 (*.f64 x y) 2)
0b1(*.f64 x y)
Compiler

Compiled 30 to 20 computations (33.3% saved)

simplify0.0ms (0%)

Stop Event
1×done
Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness0.0ms (0%)

end11.0ms (0.6%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

Profiling

Loading profile data...