Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1, B

Time bar (total: 2.4s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 11 to 8 computations (27.3% saved)

sample932.0ms (38.9%)

Results
793.0ms7224×body256valid
123.0ms1032×body256infinite
Bogosity

preprocess65.0ms (2.7%)

Algorithm
1×egg-herbie
Rules
2186×fma-def
166×associate-*r*
130×unsub-neg
126×distribute-lft-in
120×distribute-rgt-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
027145
173129
2165129
3385129
4790129
51333129
61781129
72086129
82090129
92090129
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 x 3) y) z)
(-.f64 (*.f64 (*.f64 (neg.f64 x) 3) y) z)
(-.f64 (*.f64 (*.f64 x 3) (neg.f64 y)) z)
(-.f64 (*.f64 (*.f64 x 3) y) (neg.f64 z))
(-.f64 (*.f64 (*.f64 y 3) x) z)
(-.f64 (*.f64 (*.f64 z 3) y) x)
(-.f64 (*.f64 (*.f64 x 3) z) y)
Outputs
(-.f64 (*.f64 (*.f64 x 3) y) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(fma.f64 x (*.f64 3 y) (neg.f64 z))
(-.f64 (*.f64 x (*.f64 3 y)) z)
(-.f64 (*.f64 (*.f64 (neg.f64 x) 3) y) z)
(-.f64 (*.f64 y (*.f64 3 (neg.f64 x))) z)
(-.f64 (*.f64 x (*.f64 -3 y)) z)
(-.f64 (*.f64 -3 (*.f64 x y)) z)
(neg.f64 (fma.f64 x (*.f64 3 y) z))
(-.f64 (*.f64 (*.f64 x 3) (neg.f64 y)) z)
(-.f64 (*.f64 y (*.f64 3 (neg.f64 x))) z)
(-.f64 (*.f64 x (*.f64 -3 y)) z)
(-.f64 (*.f64 -3 (*.f64 x y)) z)
(neg.f64 (fma.f64 x (*.f64 3 y) z))
(-.f64 (*.f64 (*.f64 x 3) y) (neg.f64 z))
(-.f64 (*.f64 x (*.f64 3 y)) (neg.f64 z))
(fma.f64 x (*.f64 3 y) z)
(-.f64 (*.f64 (*.f64 y 3) x) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(fma.f64 x (*.f64 3 y) (neg.f64 z))
(-.f64 (*.f64 (*.f64 x 3) y) z)
(-.f64 (*.f64 x (*.f64 3 y)) z)
(-.f64 (*.f64 (*.f64 z 3) y) x)
(-.f64 (*.f64 y (*.f64 3 z)) x)
(-.f64 (*.f64 3 (*.f64 z y)) x)
(fma.f64 y (*.f64 3 z) (neg.f64 x))
(-.f64 (*.f64 (*.f64 x 3) z) y)
(-.f64 (*.f64 x (*.f64 3 z)) y)
(-.f64 (*.f64 3 (*.f64 x z)) y)
Symmetry

(sort x y)

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify26.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
598×fma-def
98×distribute-lft-neg-in
60×unsub-neg
52×cancel-sign-sub-inv
48×distribute-rgt-neg-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
11819
23219
34519
47919
512419
623719
741319
857419
969719
1074719
1174919
Stop Event
1×saturated
Counts
1 → 4
Calls
Call 1
Inputs
(-.f64 (*.f64 (*.f64 x 3) y) z)
Outputs
(-.f64 (*.f64 (*.f64 x 3) y) z)
(fma.f64 (*.f64 x 3) y (neg.f64 z))
(fma.f64 x (*.f64 3 y) (neg.f64 z))
(neg.f64 (fma.f64 x (*.f64 y -3) z))

eval1.0ms (0%)

Compiler

Compiled 31 to 18 computations (41.9% saved)

prune2.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New224
Fresh011
Picked000
Done000
Total235
Accurracy
99.9%
Counts
5 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.8%
(fma.f64 x (*.f64 3 y) (neg.f64 z))
▶99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
▶99.8%
(fma.f64 x (*.f64 3 y) (neg.f64 z))
▶99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
Compiler

Compiled 40 to 28 computations (30% saved)

localize53.0ms (2.2%)

Local Accuracy

Found 2 expressions with local accuracy:

NewAccuracyProgram
✓99.8%
(fma.f64 x (*.f64 3 y) (neg.f64 z))
✓99.7%
(*.f64 (*.f64 x 3) y)
Compiler

Compiled 39 to 21 computations (46.2% saved)

series6.0ms (0.2%)

Counts
2 → 60
Calls

15 calls:

TimeVariablePointExpression
1.0ms
y
@0
(*.f64 (*.f64 x 3) y)
1.0ms
y
@0
(fma.f64 x (*.f64 3 y) (neg.f64 z))
1.0ms
x
@inf
(*.f64 (*.f64 x 3) y)
1.0ms
x
@0
(*.f64 (*.f64 x 3) y)
0.0ms
y
@inf
(*.f64 (*.f64 x 3) y)

rewrite97.0ms (4.1%)

Algorithm
1×batch-egg-rewrite
Rules
1180×log-prod
806×prod-diff
758×pow-prod-down
582×pow-prod-up
500×pow-exp
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01332
126028
2307228
Stop Event
1×node limit
Counts
2 → 170
Calls
Call 1
Inputs
(*.f64 (*.f64 x 3) y)
(fma.f64 x (*.f64 3 y) (neg.f64 z))
Outputs
(+.f64 0 (*.f64 x (*.f64 3 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 y)))) 1)
(pow.f64 (*.f64 x (*.f64 3 y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 3)
(pow.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) 2)
(pow.f64 (*.f64 (cbrt.f64 (*.f64 3 y)) (cbrt.f64 x)) 3)
(pow.f64 (*.f64 (pow.f64 (*.f64 3 y) 3) (pow.f64 x 3)) 1/3)
(pow.f64 (*.f64 (sqrt.f64 (*.f64 3 y)) (sqrt.f64 x)) 2)
(sqrt.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 y))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (*.f64 3 y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (*.f64 3 y)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 y))))
(+.f64 (*.f64 x (*.f64 3 y)) z)
(+.f64 z (*.f64 x (*.f64 3 y)))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 -1 z z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 1 z z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 z 1 z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (neg.f64 (sqrt.f64 z))) (sqrt.f64 z) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 z -1 z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (sqrt.f64 z)) (neg.f64 (sqrt.f64 z)) z))
(+.f64 0 (fma.f64 x (*.f64 3 y) z))
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))))
(-.f64 (*.f64 x (*.f64 3 y)) z)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x (*.f64 3 y) z))) 1)
(-.f64 (fma.f64 x (*.f64 3 y) 0) z)
(*.f64 (fma.f64 x (*.f64 3 y) z) 1)
(*.f64 1 (fma.f64 x (*.f64 3 y) z))
(*.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 2) (cbrt.f64 (fma.f64 x (*.f64 3 y) z)))
(*.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z)) (sqrt.f64 (fma.f64 x (*.f64 3 y) z)))
(/.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3) (pow.f64 z 3)) (+.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) (-.f64 (*.f64 z z) (*.f64 (*.f64 x (*.f64 3 y)) z))))
(/.f64 (-.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) (*.f64 z z)) (fma.f64 x (*.f64 3 y) z))
(pow.f64 (fma.f64 x (*.f64 3 y) z) 1)
(pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 3)
(pow.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 2))
(log.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (*.f64 3 y) z))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y) (+.f64 1 (expm1.f64 z))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (exp.f64 z)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (+.f64 1 (expm1.f64 z))))
(log.f64 (*.f64 (exp.f64 z) (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (pow.f64 (pow.f64 (exp.f64 x) 3) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y))))))
(log.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y) (+.f64 1 (expm1.f64 z))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (exp.f64 z)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (+.f64 1 (expm1.f64 z))))
(cbrt.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 3))
(expm1.f64 (log1p.f64 (fma.f64 x (*.f64 3 y) z)))
(exp.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x (*.f64 3 y) z))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x (*.f64 3 y) z)))

simplify146.0ms (6.1%)

Algorithm
1×egg-herbie
Rules
982×distribute-lft-in
982×unswap-sqr
912×distribute-rgt-in
450×fma-neg
404×log-prod
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
04254494
110423940
231643844
Stop Event
1×node limit
Counts
230 → 197
Calls
Call 1
Inputs
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 -1 z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(*.f64 -1 z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(*.f64 -1 z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(*.f64 -1 z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(+.f64 0 (*.f64 x (*.f64 3 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 y)))) 1)
(pow.f64 (*.f64 x (*.f64 3 y)) 1)
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 3)
(pow.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) 2)
(pow.f64 (*.f64 (cbrt.f64 (*.f64 3 y)) (cbrt.f64 x)) 3)
(pow.f64 (*.f64 (pow.f64 (*.f64 3 y) 3) (pow.f64 x 3)) 1/3)
(pow.f64 (*.f64 (sqrt.f64 (*.f64 3 y)) (sqrt.f64 x)) 2)
(sqrt.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 y))))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 y))))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 y))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 y))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 y)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (*.f64 3 y)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (*.f64 3 y)))) 2))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 y))))
(+.f64 (*.f64 x (*.f64 3 y)) z)
(+.f64 z (*.f64 x (*.f64 3 y)))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 -1 z z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 1 z z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 z 1 z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (neg.f64 (sqrt.f64 z))) (sqrt.f64 z) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 z -1 z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (sqrt.f64 z)) (neg.f64 (sqrt.f64 z)) z))
(+.f64 0 (fma.f64 x (*.f64 3 y) z))
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))))
(-.f64 (*.f64 x (*.f64 3 y)) z)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x (*.f64 3 y) z))) 1)
(-.f64 (fma.f64 x (*.f64 3 y) 0) z)
(*.f64 (fma.f64 x (*.f64 3 y) z) 1)
(*.f64 1 (fma.f64 x (*.f64 3 y) z))
(*.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 2) (cbrt.f64 (fma.f64 x (*.f64 3 y) z)))
(*.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z)) (sqrt.f64 (fma.f64 x (*.f64 3 y) z)))
(/.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3) (pow.f64 z 3)) (+.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) (-.f64 (*.f64 z z) (*.f64 (*.f64 x (*.f64 3 y)) z))))
(/.f64 (-.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) (*.f64 z z)) (fma.f64 x (*.f64 3 y) z))
(pow.f64 (fma.f64 x (*.f64 3 y) z) 1)
(pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 3)
(pow.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z)) 2)
(sqrt.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 2))
(log.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (*.f64 3 y) z))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y) (+.f64 1 (expm1.f64 z))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (exp.f64 z)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (+.f64 1 (expm1.f64 z))))
(log.f64 (*.f64 (exp.f64 z) (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (pow.f64 (pow.f64 (exp.f64 x) 3) y)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y))))))
(log.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y) (+.f64 1 (expm1.f64 z))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (exp.f64 z)))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (+.f64 1 (expm1.f64 z))))
(cbrt.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 3))
(expm1.f64 (log1p.f64 (fma.f64 x (*.f64 3 y) z)))
(exp.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)))
(exp.f64 (*.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x (*.f64 3 y) z))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z))) 2))
(log1p.f64 (expm1.f64 (fma.f64 x (*.f64 3 y) z)))
Outputs
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(*.f64 -1 z)
(neg.f64 z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 -1 z)
(neg.f64 z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 3 (*.f64 y x))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 -1 z) (*.f64 3 (*.f64 y x)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 -1 z)
(neg.f64 z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 -1 z)
(neg.f64 z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) (*.f64 -1 z))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(+.f64 0 (*.f64 x (*.f64 3 y)))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y)))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) (*.f64 3 y)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 x (*.f64 3 y)))) 1)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(pow.f64 (*.f64 x (*.f64 3 y)) 1)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 3)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(pow.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) 1/2)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(pow.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3) 1/3)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(pow.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) 2)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(pow.f64 (*.f64 (cbrt.f64 (*.f64 3 y)) (cbrt.f64 x)) 3)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(pow.f64 (*.f64 (pow.f64 (*.f64 3 y) 3) (pow.f64 x 3)) 1/3)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(pow.f64 (*.f64 (sqrt.f64 (*.f64 3 y)) (sqrt.f64 x)) 2)
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(sqrt.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(log.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(cbrt.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(expm1.f64 (log1p.f64 (*.f64 x (*.f64 3 y))))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(exp.f64 (log.f64 (*.f64 x (*.f64 3 y))))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(exp.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 y))) 1))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 x (*.f64 3 y))) 1) 1))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 x (*.f64 3 y)))) 3))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 x (*.f64 3 y)))) 1/3))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 x (*.f64 3 y)))) 2))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(log1p.f64 (expm1.f64 (*.f64 x (*.f64 3 y))))
(*.f64 (*.f64 3 x) y)
(*.f64 y (*.f64 3 x))
(+.f64 (*.f64 x (*.f64 3 y)) z)
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 z (*.f64 x (*.f64 3 y)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 -1 z z))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 1 z z))
(+.f64 (+.f64 z z) (fma.f64 3 (*.f64 y x) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 z 1 z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 1 z z))
(+.f64 (+.f64 z z) (fma.f64 3 (*.f64 y x) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) z))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2) z))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z) z))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (neg.f64 (sqrt.f64 z))) (sqrt.f64 z) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 1 z z))
(+.f64 (+.f64 z z) (fma.f64 3 (*.f64 y x) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 z -1 z))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 (neg.f64 (sqrt.f64 z)) (neg.f64 (sqrt.f64 z)) z))
(+.f64 (fma.f64 x (*.f64 3 y) z) (fma.f64 1 z z))
(+.f64 (+.f64 z z) (fma.f64 3 (*.f64 y x) z))
(+.f64 0 (fma.f64 x (*.f64 3 y) z))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 x (*.f64 3 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 3 (*.f64 x y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x 3) y (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 y (*.f64 x 3) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (*.f64 3 y)) 1 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 3 y) x (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 1 (*.f64 x (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 (pow.f64 (cbrt.f64 z) 2) (neg.f64 (cbrt.f64 z)))) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) (*.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (-.f64 z z) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) z))
(fma.f64 y (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (cbrt.f64 (*.f64 3 x))) z)
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 (pow.f64 (cbrt.f64 z) 2) (neg.f64 (cbrt.f64 z)))) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) (*.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (-.f64 z z) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) z))
(fma.f64 y (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (cbrt.f64 (*.f64 3 x))) z)
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 (pow.f64 (cbrt.f64 z) 2) (neg.f64 (cbrt.f64 z)))) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) (*.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (-.f64 z z) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) z))
(fma.f64 y (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (cbrt.f64 (*.f64 3 x))) z)
(+.f64 (fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) 9)) (*.f64 (cbrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 (pow.f64 (cbrt.f64 z) 2) (neg.f64 (cbrt.f64 z)))) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) (*.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (-.f64 z z) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) z))
(fma.f64 y (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (cbrt.f64 (*.f64 3 x))) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 y) 2) (*.f64 (cbrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 x) 2) (*.f64 (cbrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (*.f64 x (*.f64 3 y))) 2) (cbrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x 3)) (*.f64 (sqrt.f64 (*.f64 x 3)) y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 x) (*.f64 (sqrt.f64 x) (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (sqrt.f64 (*.f64 x (*.f64 3 y))) (sqrt.f64 (*.f64 x (*.f64 3 y))) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x y) 3 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (pow.f64 (cbrt.f64 (*.f64 3 y)) 2)) (cbrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 x (sqrt.f64 (*.f64 3 y))) (sqrt.f64 (*.f64 3 y)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 (*.f64 x 3) (sqrt.f64 y)) (sqrt.f64 y) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 y x) 3 (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 (pow.f64 (cbrt.f64 z) 2) (neg.f64 (cbrt.f64 z)))) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) (*.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (-.f64 z z) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) z))
(fma.f64 y (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (cbrt.f64 (*.f64 3 x))) z)
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 (pow.f64 (cbrt.f64 z) 2) (neg.f64 (cbrt.f64 z)))) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) (*.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (-.f64 z z) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) z))
(fma.f64 y (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (cbrt.f64 (*.f64 3 x))) z)
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(+.f64 (fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 (pow.f64 (cbrt.f64 z) 2) (neg.f64 (cbrt.f64 z)))) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) (*.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (-.f64 z z) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) z))
(fma.f64 y (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (cbrt.f64 (*.f64 3 x))) z)
(+.f64 (fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 x x) 9))) (cbrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(+.f64 (fma.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2) (*.f64 (pow.f64 (cbrt.f64 z) 2) (neg.f64 (cbrt.f64 z)))) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) (*.f64 (cbrt.f64 z) (pow.f64 (cbrt.f64 z) 2))))
(+.f64 (-.f64 z z) (fma.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (*.f64 y (cbrt.f64 (*.f64 3 x))) z))
(fma.f64 y (*.f64 (cbrt.f64 (*.f64 x (*.f64 x 9))) (cbrt.f64 (*.f64 3 x))) z)
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2)))) (fma.f64 (neg.f64 (neg.f64 (cbrt.f64 z))) (pow.f64 (cbrt.f64 z) 2) (*.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) 2))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (neg.f64 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (neg.f64 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2))))) (fma.f64 (neg.f64 (cbrt.f64 z)) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)) (*.f64 (cbrt.f64 z) (*.f64 -1 (pow.f64 (cbrt.f64 z) 2)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (fma.f64 (*.f64 y (sqrt.f64 (*.f64 x 3))) (sqrt.f64 (*.f64 x 3)) (neg.f64 (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z))))) (fma.f64 (neg.f64 (sqrt.f64 z)) (*.f64 -1 (sqrt.f64 z)) (*.f64 (sqrt.f64 z) (*.f64 -1 (sqrt.f64 z)))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 3 (*.f64 y x) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 3 (*.f64 y x) z)))))
(-.f64 (*.f64 x (*.f64 3 y)) z)
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 x (*.f64 3 y) z))) 1)
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(-.f64 (fma.f64 x (*.f64 3 y) 0) z)
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(*.f64 (fma.f64 x (*.f64 3 y) z) 1)
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(*.f64 1 (fma.f64 x (*.f64 3 y) z))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(*.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 2))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 2) (cbrt.f64 (fma.f64 x (*.f64 3 y) z)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(*.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z)) (sqrt.f64 (fma.f64 x (*.f64 3 y) z)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(/.f64 (+.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 3) (pow.f64 z 3)) (+.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) (-.f64 (*.f64 z z) (*.f64 (*.f64 x (*.f64 3 y)) z))))
(/.f64 (+.f64 (pow.f64 (*.f64 (*.f64 3 x) y) 3) (pow.f64 z 3)) (+.f64 (pow.f64 (*.f64 (*.f64 3 x) y) 2) (*.f64 z (-.f64 z (*.f64 (*.f64 3 x) y)))))
(/.f64 (+.f64 (pow.f64 (*.f64 y (*.f64 3 x)) 3) (pow.f64 z 3)) (fma.f64 z (+.f64 z (*.f64 (*.f64 y x) -3)) (pow.f64 (*.f64 y (*.f64 3 x)) 2)))
(/.f64 (+.f64 (pow.f64 (*.f64 y (*.f64 3 x)) 3) (pow.f64 z 3)) (fma.f64 z (+.f64 z (*.f64 y (*.f64 x -3))) (pow.f64 (*.f64 y (*.f64 3 x)) 2)))
(/.f64 (-.f64 (pow.f64 (*.f64 x (*.f64 3 y)) 2) (*.f64 z z)) (fma.f64 x (*.f64 3 y) z))
(/.f64 (-.f64 (pow.f64 (*.f64 (*.f64 3 x) y) 2) (*.f64 z z)) (fma.f64 x (*.f64 3 y) z))
(/.f64 (-.f64 (pow.f64 (*.f64 y (*.f64 3 x)) 2) (*.f64 z z)) (fma.f64 3 (*.f64 y x) z))
(pow.f64 (fma.f64 x (*.f64 3 y) z) 1)
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(pow.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z)) 3)
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(pow.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 2) 1/2)
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(pow.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 3) 1/3)
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(pow.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z)) 2)
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(sqrt.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 2))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (exp.f64 (fma.f64 x (*.f64 3 y) z)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 x (*.f64 3 y) z))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y) (+.f64 1 (expm1.f64 z))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (exp.f64 z)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (+.f64 1 (expm1.f64 z))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (*.f64 (exp.f64 z) (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y))))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (pow.f64 (pow.f64 (exp.f64 x) 3) y)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y))))))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log.f64 (/.f64 (pow.f64 (pow.f64 (exp.f64 x) 3) y) (+.f64 1 (expm1.f64 z))))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (exp.f64 z)))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(log.f64 (/.f64 (+.f64 1 (expm1.f64 (*.f64 x (*.f64 3 y)))) (+.f64 1 (expm1.f64 z))))
(-.f64 (*.f64 (*.f64 3 x) y) z)
(-.f64 (*.f64 y (*.f64 3 x)) z)
(cbrt.f64 (pow.f64 (fma.f64 x (*.f64 3 y) z) 3))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(expm1.f64 (log1p.f64 (fma.f64 x (*.f64 3 y) z)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(exp.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(exp.f64 (*.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)) 1))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 x (*.f64 3 y) z)) 1) 1))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 x (*.f64 3 y) z))) 3))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 x (*.f64 3 y) z))) 1/3))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 x (*.f64 3 y) z))) 2))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)
(log1p.f64 (expm1.f64 (fma.f64 x (*.f64 3 y) z)))
(fma.f64 x (*.f64 3 y) z)
(fma.f64 3 (*.f64 y x) z)

eval77.0ms (3.2%)

Compiler

Compiled 4730 to 2630 computations (44.4% saved)

prune76.0ms (3.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1934197
Fresh000
Picked112
Done000
Total1945199
Accurracy
100.0%
Counts
199 → 5
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶51.3%
(fma.f64 3 (*.f64 y x) z)
✓99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
▶99.8%
(-.f64 (*.f64 x (*.f64 3 y)) z)
▶99.8%
(-.f64 (*.f64 3 (*.f64 y x)) z)
▶49.6%
(neg.f64 z)
▶51.3%
(fma.f64 3 (*.f64 y x) z)
✓99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
▶99.8%
(-.f64 (*.f64 x (*.f64 3 y)) z)
▶99.8%
(-.f64 (*.f64 3 (*.f64 y x)) z)
▶49.6%
(neg.f64 z)
Compiler

Compiled 88 to 62 computations (29.5% saved)

localize79.0ms (3.3%)

Local Accuracy

Found 3 expressions with local accuracy:

NewAccuracyProgram
✓99.9%
(fma.f64 3 (*.f64 y x) z)
✓99.7%
(*.f64 x (*.f64 3 y))
✓99.6%
(*.f64 3 (*.f64 y x))
Compiler

Compiled 58 to 25 computations (56.9% saved)

series2.0ms (0.1%)

Counts
3 → 60
Calls

21 calls:

TimeVariablePointExpression
0.0ms
z
@0
(fma.f64 3 (*.f64 y x) z)
0.0ms
y
@-inf
(fma.f64 3 (*.f64 y x) z)
0.0ms
x
@-inf
(fma.f64 3 (*.f64 y x) z)
0.0ms
z
@-inf
(fma.f64 3 (*.f64 y x) z)
0.0ms
y
@0
(fma.f64 3 (*.f64 y x) z)

rewrite77.0ms (3.2%)

Algorithm
1×batch-egg-rewrite
Rules
1120×log-prod
768×prod-exp
746×pow-prod-down
582×prod-diff
536×pow-prod-up
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01241
124141
2261941
Stop Event
1×node limit
Counts
3 → 94
Calls
Call 1
Inputs
(*.f64 3 (*.f64 y x))
(*.f64 x (*.f64 3 y))
(fma.f64 3 (*.f64 y x) z)
Outputs
(+.f64 0 (*.f64 3 (*.f64 y x)))
(+.f64 (log.f64 (pow.f64 (exp.f64 x) (+.f64 y y))) (*.f64 y x))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3 (*.f64 y x)))) 1)
(pow.f64 (*.f64 3 (*.f64 y x)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 3)
(pow.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) 1/2)
(pow.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 y x))) 2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 y x))))
(exp.f64 (log.f64 (*.f64 3 (*.f64 y x))))
(exp.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 3 (*.f64 y x)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 3 (*.f64 y x)))) 2))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (*.f64 3 x))))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (*.f64 3 y))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(exp.f64 (+.f64 (log.f64 (*.f64 3 y)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (log.f64 (*.f64 3 x)) (*.f64 (log.f64 y) 1)))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 y x))))
(+.f64 0 (*.f64 3 (*.f64 y x)))
(+.f64 (log.f64 (pow.f64 (exp.f64 x) (+.f64 y y))) (*.f64 y x))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3 (*.f64 y x)))) 1)
(pow.f64 (*.f64 3 (*.f64 y x)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 3)
(pow.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) 1/2)
(pow.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 y x))) 2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 y x))))
(exp.f64 (log.f64 (*.f64 3 (*.f64 y x))))
(exp.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 3 (*.f64 y x)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 3 (*.f64 y x)))) 2))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (*.f64 3 x))))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (*.f64 3 y))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(exp.f64 (+.f64 (log.f64 (*.f64 3 y)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (log.f64 (*.f64 3 x)) (*.f64 (log.f64 y) 1)))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 y x))))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 z (*.f64 3 (*.f64 y x)))
(+.f64 0 (fma.f64 y (*.f64 3 x) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 y (*.f64 3 x) z))) 1)
(*.f64 (fma.f64 y (*.f64 3 x) z) 1)
(*.f64 1 (fma.f64 y (*.f64 3 x) z))
(*.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) (pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 2) (cbrt.f64 (fma.f64 y (*.f64 3 x) z)))
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z)) (sqrt.f64 (fma.f64 y (*.f64 3 x) z)))
(/.f64 (+.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) (pow.f64 z 3)) (fma.f64 (pow.f64 (*.f64 y x) 2) 9 (-.f64 (*.f64 z z) (*.f64 (*.f64 3 (*.f64 y x)) z))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) (*.f64 z z)) (-.f64 (*.f64 3 (*.f64 y x)) z))
(pow.f64 (fma.f64 y (*.f64 3 x) z) 1)
(pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 3)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z)) 2)
(sqrt.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 2))
(log.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 y (*.f64 3 x) z))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x) (+.f64 1 (expm1.f64 z))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))) (exp.f64 z)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))) (+.f64 1 (expm1.f64 z))))
(log.f64 (*.f64 (exp.f64 z) (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (pow.f64 (pow.f64 (exp.f64 3) y) x)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x))))))
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 3))
(expm1.f64 (log1p.f64 (fma.f64 y (*.f64 3 x) z)))
(exp.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)))
(exp.f64 (*.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 y (*.f64 3 x) z))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z))) 2))
(log1p.f64 (expm1.f64 (fma.f64 y (*.f64 3 x) z)))

simplify74.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
1322×fma-def
836×log-prod
648×distribute-lft-in
612×times-frac
606×distribute-rgt-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01682236
13892200
212602200
355562200
Stop Event
1×node limit
Counts
154 → 77
Calls
Call 1
Inputs
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
z
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
z
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
z
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
z
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 0 (*.f64 3 (*.f64 y x)))
(+.f64 (log.f64 (pow.f64 (exp.f64 x) (+.f64 y y))) (*.f64 y x))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3 (*.f64 y x)))) 1)
(pow.f64 (*.f64 3 (*.f64 y x)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 3)
(pow.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) 1/2)
(pow.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 y x))) 2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 y x))))
(exp.f64 (log.f64 (*.f64 3 (*.f64 y x))))
(exp.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 3 (*.f64 y x)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 3 (*.f64 y x)))) 2))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (*.f64 3 x))))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (*.f64 3 y))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(exp.f64 (+.f64 (log.f64 (*.f64 3 y)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (log.f64 (*.f64 3 x)) (*.f64 (log.f64 y) 1)))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 y x))))
(+.f64 0 (*.f64 3 (*.f64 y x)))
(+.f64 (log.f64 (pow.f64 (exp.f64 x) (+.f64 y y))) (*.f64 y x))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3 (*.f64 y x)))) 1)
(pow.f64 (*.f64 3 (*.f64 y x)) 1)
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 3)
(pow.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) 1/2)
(pow.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 y x))) 2)
(sqrt.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 y x))))
(exp.f64 (log.f64 (*.f64 3 (*.f64 y x))))
(exp.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 3 (*.f64 y x)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 3 (*.f64 y x)))) 2))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (*.f64 3 x))))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (*.f64 3 y))))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(exp.f64 (+.f64 (log.f64 (*.f64 3 y)) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (log.f64 x)))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (*.f64 (log.f64 x) 1)))
(exp.f64 (+.f64 (log.f64 (*.f64 3 x)) (*.f64 (log.f64 y) 1)))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 y x))))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(+.f64 z (*.f64 3 (*.f64 y x)))
(+.f64 0 (fma.f64 y (*.f64 3 x) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 y (*.f64 3 x) z))) 1)
(*.f64 (fma.f64 y (*.f64 3 x) z) 1)
(*.f64 1 (fma.f64 y (*.f64 3 x) z))
(*.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) (pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 2))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 2) (cbrt.f64 (fma.f64 y (*.f64 3 x) z)))
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z)) (sqrt.f64 (fma.f64 y (*.f64 3 x) z)))
(/.f64 (+.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) (pow.f64 z 3)) (fma.f64 (pow.f64 (*.f64 y x) 2) 9 (-.f64 (*.f64 z z) (*.f64 (*.f64 3 (*.f64 y x)) z))))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) (*.f64 z z)) (-.f64 (*.f64 3 (*.f64 y x)) z))
(pow.f64 (fma.f64 y (*.f64 3 x) z) 1)
(pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 3)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 2) 1/2)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z)) 2)
(sqrt.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 2))
(log.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 y (*.f64 3 x) z))))
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x) (+.f64 1 (expm1.f64 z))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))) (exp.f64 z)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))) (+.f64 1 (expm1.f64 z))))
(log.f64 (*.f64 (exp.f64 z) (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x))))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (pow.f64 (pow.f64 (exp.f64 3) y) x)))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x))))))
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 3))
(expm1.f64 (log1p.f64 (fma.f64 y (*.f64 3 x) z)))
(exp.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)))
(exp.f64 (*.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 y (*.f64 3 x) z))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z))) 2))
(log1p.f64 (expm1.f64 (fma.f64 y (*.f64 3 x) z)))
Outputs
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
(*.f64 3 (*.f64 y x))
z
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
z
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
z
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
z
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 0 (*.f64 3 (*.f64 y x)))
(*.f64 3 (*.f64 y x))
(+.f64 (log.f64 (pow.f64 (exp.f64 x) (+.f64 y y))) (*.f64 y x))
(*.f64 3 (*.f64 y x))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(*.f64 3 (*.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3 (*.f64 y x)))) 1)
(*.f64 3 (*.f64 y x))
(pow.f64 (*.f64 3 (*.f64 y x)) 1)
(*.f64 3 (*.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 3)
(*.f64 3 (*.f64 y x))
(pow.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) 1/2)
(*.f64 3 (*.f64 y x))
(pow.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) 1/3)
(*.f64 3 (*.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 y x))) 2)
(*.f64 3 (*.f64 y x))
(sqrt.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9))
(*.f64 3 (*.f64 y x))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(*.f64 3 (*.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))))
(*.f64 3 (*.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3))
(*.f64 3 (*.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 y x))))
(*.f64 3 (*.f64 y x))
(exp.f64 (log.f64 (*.f64 3 (*.f64 y x))))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1) 1))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 3 (*.f64 y x)))) 3))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3)) 1/3))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 3 (*.f64 y x)))) 2))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (*.f64 3 x))))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (*.f64 3 y))))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (log.f64 (*.f64 3 y)) (*.f64 (log.f64 x) 1)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (log.f64 x)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (*.f64 (log.f64 x) 1)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (log.f64 (*.f64 3 x)) (*.f64 (log.f64 y) 1)))
(*.f64 3 (*.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 y x))))
(*.f64 3 (*.f64 y x))
(+.f64 0 (*.f64 3 (*.f64 y x)))
(*.f64 3 (*.f64 y x))
(+.f64 (log.f64 (pow.f64 (exp.f64 x) (+.f64 y y))) (*.f64 y x))
(*.f64 3 (*.f64 y x))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))) (log.f64 (sqrt.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))))
(*.f64 3 (*.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (*.f64 3 (*.f64 y x)))) 1)
(*.f64 3 (*.f64 y x))
(pow.f64 (*.f64 3 (*.f64 y x)) 1)
(*.f64 3 (*.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 3 (*.f64 y x))) 3)
(*.f64 3 (*.f64 y x))
(pow.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) 1/2)
(*.f64 3 (*.f64 y x))
(pow.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) 1/3)
(*.f64 3 (*.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 3 (*.f64 y x))) 2)
(*.f64 3 (*.f64 y x))
(sqrt.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9))
(*.f64 3 (*.f64 y x))
(log.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x))
(*.f64 3 (*.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))))
(*.f64 3 (*.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3))
(*.f64 3 (*.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 3 (*.f64 y x))))
(*.f64 3 (*.f64 y x))
(exp.f64 (log.f64 (*.f64 3 (*.f64 y x))))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 3 (*.f64 y x))) 1) 1))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 3 (*.f64 y x)))) 3))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3)) 1/3))
(*.f64 3 (*.f64 y x))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 3 (*.f64 y x)))) 2))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 y) 1) (log.f64 (*.f64 3 x))))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (log.f64 x) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (log.f64 (*.f64 3 y))))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 x) 1) (*.f64 (log.f64 (*.f64 3 y)) 1)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (log.f64 (*.f64 3 y)) (*.f64 (log.f64 x) 1)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (log.f64 x)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (*.f64 (log.f64 (*.f64 3 y)) 1) (*.f64 (log.f64 x) 1)))
(*.f64 3 (*.f64 y x))
(exp.f64 (+.f64 (log.f64 (*.f64 3 x)) (*.f64 (log.f64 y) 1)))
(*.f64 3 (*.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 3 (*.f64 y x))))
(*.f64 3 (*.f64 y x))
(+.f64 (*.f64 3 (*.f64 y x)) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 z (*.f64 3 (*.f64 y x)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 0 (fma.f64 y (*.f64 3 x) z))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z))) 2)) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z))))) (log.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 3 (*.f64 y x) z)))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))) (log.f64 (sqrt.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(-.f64 (exp.f64 (log1p.f64 (fma.f64 y (*.f64 3 x) z))) 1)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 (fma.f64 y (*.f64 3 x) z) 1)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 1 (fma.f64 y (*.f64 3 x) z))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) (pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 2))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 2) (cbrt.f64 (fma.f64 y (*.f64 3 x) z)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(*.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z)) (sqrt.f64 (fma.f64 y (*.f64 3 x) z)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(/.f64 (+.f64 (pow.f64 (*.f64 3 (*.f64 y x)) 3) (pow.f64 z 3)) (fma.f64 (pow.f64 (*.f64 y x) 2) 9 (-.f64 (*.f64 z z) (*.f64 (*.f64 3 (*.f64 y x)) z))))
(/.f64 (+.f64 (*.f64 27 (pow.f64 (*.f64 y x) 3)) (pow.f64 z 3)) (fma.f64 (pow.f64 (*.f64 y x) 2) 9 (*.f64 z (-.f64 z (*.f64 3 (*.f64 y x))))))
(/.f64 (fma.f64 27 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) (fma.f64 (pow.f64 (*.f64 y x) 2) 9 (*.f64 z (+.f64 z (*.f64 (*.f64 y x) -3)))))
(/.f64 (fma.f64 27 (pow.f64 (*.f64 y x) 3) (pow.f64 z 3)) (fma.f64 z (+.f64 z (*.f64 x (*.f64 y -3))) (*.f64 (pow.f64 (*.f64 y x) 2) 9)))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) (*.f64 z z)) (-.f64 (*.f64 3 (*.f64 y x)) z))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) (*.f64 z z)) (fma.f64 3 (*.f64 y x) (neg.f64 z)))
(/.f64 (-.f64 (*.f64 (pow.f64 (*.f64 y x) 2) 9) (*.f64 z z)) (fma.f64 y (*.f64 3 x) (neg.f64 z)))
(pow.f64 (fma.f64 y (*.f64 3 x) z) 1)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(pow.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z)) 3)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 2) 1/2)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 3) 1/3)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(pow.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z)) 2)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(sqrt.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 2))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log.f64 (exp.f64 (fma.f64 y (*.f64 3 x) z)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 y (*.f64 3 x) z))))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log.f64 (*.f64 (pow.f64 (pow.f64 (exp.f64 3) y) x) (+.f64 1 (expm1.f64 z))))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))) (exp.f64 z)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x)))) (+.f64 1 (expm1.f64 z))))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log.f64 (*.f64 (exp.f64 z) (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x))))))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (pow.f64 (pow.f64 (exp.f64 3) y) x)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 z)) (+.f64 1 (expm1.f64 (*.f64 3 (*.f64 y x))))))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 3 x) z) 3))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(expm1.f64 (log1p.f64 (fma.f64 y (*.f64 3 x) z)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(exp.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(exp.f64 (*.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)) 1))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(exp.f64 (*.f64 (*.f64 (log.f64 (fma.f64 y (*.f64 3 x) z)) 1) 1))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 y (*.f64 3 x) z))) 3))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(exp.f64 (*.f64 (*.f64 3 (log.f64 (fma.f64 y (*.f64 3 x) z))) 1/3))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 y (*.f64 3 x) z))) 2))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)
(log1p.f64 (expm1.f64 (fma.f64 y (*.f64 3 x) z)))
(fma.f64 3 (*.f64 y x) z)
(fma.f64 y (*.f64 3 x) z)

eval19.0ms (0.8%)

Compiler

Compiled 941 to 595 computations (36.8% saved)

prune16.0ms (0.7%)

Pruning

6 alts after pruning (1 fresh and 5 done)

PrunedKeptTotal
New76177
Fresh000
Picked044
Done011
Total76682
Accurracy
100.0%
Counts
82 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓51.3%
(fma.f64 3 (*.f64 y x) z)
✓99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓99.8%
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓99.8%
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓49.6%
(neg.f64 z)
2.3%
z
✓51.3%
(fma.f64 3 (*.f64 y x) z)
✓99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓99.8%
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓99.8%
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓49.6%
(neg.f64 z)
2.3%
z
Compiler

Compiled 96 to 68 computations (29.2% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune36.0ms (1.5%)

Pruning

6 alts after pruning (1 fresh and 5 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done055
Total066
Accurracy
100.0%
Counts
6 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓51.3%
(fma.f64 3 (*.f64 y x) z)
✓99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓99.8%
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓99.8%
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓49.6%
(neg.f64 z)
2.3%
z
✓51.3%
(fma.f64 3 (*.f64 y x) z)
✓99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓99.8%
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓99.8%
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓49.6%
(neg.f64 z)
2.3%
z
Compiler

Compiled 96 to 68 computations (29.2% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler

Compiled 3 to 3 computations (0% saved)

prune4.0ms (0.1%)

Pruning

6 alts after pruning (1 fresh and 5 done)

PrunedKeptTotal
New000
Fresh011
Picked000
Done055
Total066
Accurracy
100.0%
Counts
6 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓51.3%
(fma.f64 3 (*.f64 y x) z)
✓99.8%
(-.f64 (*.f64 (*.f64 x 3) y) z)
✓99.8%
(-.f64 (*.f64 x (*.f64 3 y)) z)
✓99.8%
(-.f64 (*.f64 3 (*.f64 y x)) z)
✓49.6%
(neg.f64 z)
2.3%
z
Compiler

Compiled 88 to 55 computations (37.5% saved)

regimes60.0ms (2.5%)

Counts
7 → 1
Calls
Call 1
Inputs
z
(neg.f64 z)
(-.f64 (*.f64 3 (*.f64 y x)) z)
(-.f64 (*.f64 x (*.f64 3 y)) z)
(-.f64 (*.f64 (*.f64 x 3) y) z)
(fma.f64 3 (*.f64 y x) z)
(fma.f64 x (*.f64 3 y) (neg.f64 z))
Outputs
(-.f64 (*.f64 3 (*.f64 y x)) z)
Calls

6 calls:

29.0ms
z
8.0ms
x
7.0ms
(*.f64 x 3)
5.0ms
y
5.0ms
(-.f64 (*.f64 (*.f64 x 3) y) z)
Results
AccuracySegmentsBranch
99.8%1x
99.8%1y
99.8%1z
99.8%1(-.f64 (*.f64 (*.f64 x 3) y) z)
99.8%1(*.f64 (*.f64 x 3) y)
99.8%1(*.f64 x 3)
Compiler

Compiled 76 to 48 computations (36.8% saved)

regimes11.0ms (0.5%)

Counts
2 → 1
Calls
Call 1
Inputs
z
(neg.f64 z)
Outputs
(neg.f64 z)
Calls

3 calls:

4.0ms
y
3.0ms
z
3.0ms
x
Results
AccuracySegmentsBranch
49.6%1x
49.6%1y
49.6%1z
Compiler

Compiled 18 to 13 computations (27.8% saved)

regimes9.0ms (0.4%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
z
Outputs
z
Calls

3 calls:

3.0ms
y
3.0ms
z
3.0ms
x
Results
AccuracySegmentsBranch
2.3%1x
2.3%1y
2.3%1z
Compiler

Compiled 16 to 12 computations (25% saved)

simplify5.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
6×*-commutative
4×sub-neg
4×+-commutative
2×neg-mul-1
2×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01125
11825
22125
32225
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(-.f64 (*.f64 3 (*.f64 y x)) z)
(neg.f64 z)
z
Outputs
(-.f64 (*.f64 3 (*.f64 y x)) z)
(neg.f64 z)
z
Compiler

Compiled 19 to 14 computations (26.3% saved)

soundness481.0ms (20.1%)

Rules
1180×log-prod
982×distribute-lft-in
982×unswap-sqr
982×distribute-lft-in
982×unswap-sqr
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0919
11819
23219
34519
47919
512419
623719
741319
857419
969719
1074719
1174919
01332
126028
2307228
04254494
110423940
231643844
04254494
110423940
231643844
Stop Event
1×node limit
1×node limit
1×node limit
1×saturated
Compiler

Compiled 146 to 83 computations (43.2% saved)

end0.0ms (0%)

preprocess38.0ms (1.6%)

Remove

(sort x y)

Compiler

Compiled 86 to 58 computations (32.6% saved)

Profiling

Loading profile data...