Details

Time bar (total: 3.9s)

analyze993.0ms (25.5%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
6.2%93.6%0.2%8
9.4%90.4%0.2%9
17.9%81.9%0.2%10
20.3%79.5%0.2%11
30%69.8%0.2%12
34%65.7%0.3%13
39.4%60%0.6%14
Compiler

Compiled 16 to 11 computations (31.3% saved)

sample1.3s (32.7%)

Results
1.2s8256×body128valid
96.0ms711×body128invalid
Compiler

Compiled 32 to 22 computations (31.3% saved)

preprocess46.0ms (1.2%)

Algorithm
egg-herbie
Rules
783×div-sub_binary64
390×distribute-rgt-in_binary64
289×distribute-lft-in_binary64
270×associate-/l*_binary64
208×cancel-sign-sub-inv_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03391
111191
229191
360691
4117191
5259491
6462191
044
Stop Event
saturated
node limit
Calls
Call 1
Inputs
0
1
2
3
Outputs
0
1
2
3
Call 2
Inputs
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 (*.f64 y 2) (-.f64 (*.f64 x z) (*.f64 t z)))
(/.f64 (*.f64 z 2) (-.f64 (*.f64 y x) (*.f64 t x)))
(/.f64 (*.f64 t 2) (-.f64 (*.f64 y z) (*.f64 x z)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 z y) (*.f64 t y)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 t z) (*.f64 y z)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y t) (*.f64 z t)))
Outputs
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (/.f64 (*.f64 z (-.f64 y t)) 2))
(/.f64 2 (/.f64 (*.f64 z (-.f64 y t)) x))
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
(/.f64 x (*.f64 (-.f64 y t) (/.f64 z 2)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(/.f64 (*.f64 y 2) (-.f64 (*.f64 x z) (*.f64 t z)))
(/.f64 y (/.f64 (*.f64 z (-.f64 x t)) 2))
(/.f64 (*.f64 2 y) (*.f64 z (-.f64 x t)))
(*.f64 (/.f64 2 z) (/.f64 y (-.f64 x t)))
(*.f64 y (/.f64 (/.f64 2 z) (-.f64 x t)))
(/.f64 (*.f64 z 2) (-.f64 (*.f64 y x) (*.f64 t x)))
(/.f64 z (/.f64 (*.f64 x (-.f64 y t)) 2))
(*.f64 (/.f64 2 x) (/.f64 z (-.f64 y t)))
(*.f64 2 (/.f64 z (*.f64 x (-.f64 y t))))
(*.f64 z (/.f64 2 (*.f64 x (-.f64 y t))))
(/.f64 (*.f64 t 2) (-.f64 (*.f64 y z) (*.f64 x z)))
(/.f64 t (/.f64 (*.f64 z (-.f64 y x)) 2))
(*.f64 (/.f64 t z) (/.f64 2 (-.f64 y x)))
(/.f64 2 (/.f64 (-.f64 y x) (/.f64 t z)))
(*.f64 2 (/.f64 t (*.f64 z (-.f64 y x))))
(/.f64 2 (*.f64 (-.f64 y x) (/.f64 z t)))
(*.f64 t (/.f64 (/.f64 -2 z) (-.f64 x y)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 z y) (*.f64 t y)))
(/.f64 x (/.f64 (*.f64 y (-.f64 z t)) 2))
(/.f64 (/.f64 (*.f64 x 2) y) (-.f64 z t))
(*.f64 (/.f64 2 y) (/.f64 x (-.f64 z t)))
(/.f64 2 (*.f64 (-.f64 z t) (/.f64 y x)))
(*.f64 2 (/.f64 (/.f64 x y) (-.f64 z t)))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 t z) (*.f64 y z)))
(/.f64 x (/.f64 (*.f64 z (-.f64 t y)) 2))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 t y)))
(*.f64 x (/.f64 2 (*.f64 z (-.f64 t y))))
(/.f64 (*.f64 x (/.f64 2 z)) (-.f64 t y))
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y t) (*.f64 z t)))
(/.f64 x (/.f64 (*.f64 t (-.f64 y z)) 2))
(*.f64 (/.f64 x t) (/.f64 2 (-.f64 y z)))
(*.f64 2 (/.f64 (/.f64 x t) (-.f64 y z)))
(*.f64 x (/.f64 2 (*.f64 t (-.f64 y z))))
Compiler

Compiled 15 to 10 computations (33.3% saved)

simplify40.0ms (1%)

Algorithm
egg-herbie
Rules
1016×fma-neg_binary64
470×fma-def_binary64
265×associate-/l*_binary64
257×cancel-sign-sub-inv_binary64
254×div-sub_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
12413
25713
311413
421813
541413
680513
7139613
8276313
9422713
10490913
Stop Event
node limit
Counts
1 → 2
Calls
Call 1
Inputs
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
Outputs
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
(*.f64 (/.f64 x z) (/.f64 2 (-.f64 y t)))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 x (/.f64 (/.f64 2 z) (-.f64 y t)))
(*.f64 (/.f64 -2 z) (/.f64 x (-.f64 t y)))
(/.f64 (*.f64 2 (/.f64 x (-.f64 y t))) z)
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))

prune3.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
StatusErrorProgram
6.2b
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
9.0b
(/.f64 (*.f64 x 2) (-.f64 (*.f64 y z) (*.f64 t z)))
Compiler

Compiled 80 to 53 computations (33.8% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
5.9b
(/.f64 (/.f64 x z) (-.f64 y t))

series19.0ms (0.5%)

Counts
2 → 96
Calls

24 calls:

TimeVariablePointExpression
2.0ms
z
@0
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
2.0ms
y
@inf
(/.f64 (/.f64 x z) (-.f64 y t))
1.0ms
x
@inf
(/.f64 (/.f64 x z) (-.f64 y t))
1.0ms
x
@-inf
(/.f64 (/.f64 x z) (-.f64 y t))
1.0ms
y
@0
(/.f64 (/.f64 x z) (-.f64 y t))

rewrite54.0ms (1.4%)

Algorithm
batch-egg-rewrite
Rules
395×prod-diff_binary64
213×expm1-udef_binary64
213×log1p-udef_binary64
188×fma-def_binary64
119×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
122523
2328023
Stop Event
node limit
Counts
2 → 66
Calls
Call 1
Inputs
(/.f64 (/.f64 x z) (-.f64 y t))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 x (*.f64 z (-.f64 y t))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (/.f64 1 (*.f64 z (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (/.f64 1 z) (/.f64 1 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x z) (/.f64 1 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (*.f64 z (-.f64 y t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 x (*.f64 z (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))) (pow.f64 (cbrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))) 2) (cbrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (*.f64 (cbrt.f64 (/.f64 x z)) (/.f64 1 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))) (sqrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 x z)) (*.f64 (sqrt.f64 (/.f64 x z)) (/.f64 1 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (/.f64 x z)) (/.f64 1 (neg.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (-.f64 y t)) (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 x) 2) (-.f64 y t)) (/.f64 (cbrt.f64 x) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 x) (-.f64 y t)) (/.f64 (sqrt.f64 x) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x 1) (/.f64 (/.f64 1 z) (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) 1) (/.f64 (cbrt.f64 (/.f64 x z)) (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (/.f64 x z)) 1) (/.f64 (sqrt.f64 (/.f64 x z)) (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (cbrt.f64 (pow.f64 (-.f64 y t) 2))) (/.f64 (/.f64 1 z) (cbrt.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (pow.f64 (-.f64 y t) 2))) (/.f64 (/.f64 x z) (cbrt.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (cbrt.f64 (pow.f64 (-.f64 y t) 2))) (cbrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (/.f64 x z)) (cbrt.f64 (pow.f64 (-.f64 y t) 2))) (/.f64 (sqrt.f64 (/.f64 x z)) (cbrt.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (sqrt.f64 (-.f64 y t))) (/.f64 (/.f64 1 z) (sqrt.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 (-.f64 y t))) (/.f64 (/.f64 x z) (sqrt.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x z)) 2) (sqrt.f64 (-.f64 y t))) (/.f64 (cbrt.f64 (/.f64 x z)) (sqrt.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 x z) (-.f64 (pow.f64 y 3) (pow.f64 t 3))) (fma.f64 t (+.f64 y t) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 x z) (-.f64 (*.f64 y y) (*.f64 t t))) (+.f64 y t))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (*.f64 z (-.f64 y t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 x (*.f64 z (-.f64 y t))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 x (*.f64 z (-.f64 y t)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 y t) (/.f64 z x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (/.f64 x z) (neg.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 x (*.f64 z (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 x (*.f64 z (-.f64 y t))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 x (*.f64 z (-.f64 y t))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (-.f64 y t) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 x (*.f64 z (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 x (*.f64 z (-.f64 y t)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 x (*.f64 z (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 x (*.f64 z (-.f64 y t)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 y t) (*.f64 (/.f64 x z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (/.f64 x z) 2)) (neg.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (/.f64 x z) 2) 1) (-.f64 y t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (/.f64 x z) 2) (cbrt.f64 (pow.f64 (-.f64 y t) 2))) (cbrt.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (/.f64 x z) 2) (sqrt.f64 (-.f64 y t))) (sqrt.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (/.f64 x z)) 2) (neg.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 x) (*.f64 z (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (neg.f64 (/.f64 x z))) (neg.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (*.f64 (pow.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 x (*.f64 z (-.f64 y t)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 x (*.f64 z (-.f64 y t))) 2)))))))

simplify42.0ms (1.1%)

Algorithm
egg-herbie
Rules
812×times-frac_binary64
508×associate-/l*_binary64
457×fma-def_binary64
358×associate-/r*_binary64
265×associate-*l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0772208
12702010
211161839
Stop Event
node limit
Counts
162 → 103
Calls
Call 1
Inputs
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 x (*.f64 (-.f64 y t) z))
(*.f64 -1 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))))
(/.f64 x (*.f64 y z))
(+.f64 (/.f64 x (*.f64 y z)) (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))
(+.f64 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z)) (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(/.f64 x (*.f64 y z))
(+.f64 (/.f64 x (*.f64 y z)) (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))
(+.f64 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z)) (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(/.f64 x (*.f64 y z))
(+.f64 (/.f64 x (*.f64 y z)) (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))
(+.f64 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z)) (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(*.f64 -1 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))))
(*.f64 -1 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
Outputs
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (-.f64 (*.f64 y z) (*.f64 t z)))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(/.f64 x (*.f64 (-.f64 y t) z))
(/.f64 (/.f64 x z) (-.f64 y t))
(*.f64 -1 (/.f64 x (*.f64 t z)))
(neg.f64 (/.f64 x (*.f64 t z)))
(/.f64 (/.f64 (neg.f64 x) z) t)
(neg.f64 (/.f64 (/.f64 x t) z))
(neg.f64 (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))))
(neg.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -1 t) (/.f64 y (*.f64 t t))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))) (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z))))
(neg.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 y (*.f64 t t))))))
(neg.f64 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (+.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)))))
(neg.f64 (fma.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z) (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 y (*.f64 t t)))))))
(neg.f64 (fma.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z) (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z))))
(/.f64 x (*.f64 y z))
(+.f64 (/.f64 x (*.f64 y z)) (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)))
(fma.f64 (/.f64 t (*.f64 y y)) (/.f64 x z) (/.f64 x (*.f64 y z)))
(fma.f64 (/.f64 x (*.f64 y y)) (/.f64 t z) (/.f64 x (*.f64 y z)))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))
(fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z)))
(+.f64 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z)) (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))) (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)))
(+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))) (fma.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z) (/.f64 x (*.f64 y z))))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (pow.f64 t 3) (pow.f64 y 4)))))
(/.f64 x (*.f64 y z))
(+.f64 (/.f64 x (*.f64 y z)) (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)))
(fma.f64 (/.f64 t (*.f64 y y)) (/.f64 x z) (/.f64 x (*.f64 y z)))
(fma.f64 (/.f64 x (*.f64 y y)) (/.f64 t z) (/.f64 x (*.f64 y z)))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))
(fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z)))
(+.f64 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z)) (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))) (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)))
(+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))) (fma.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z) (/.f64 x (*.f64 y z))))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (pow.f64 t 3) (pow.f64 y 4)))))
(/.f64 x (*.f64 y z))
(+.f64 (/.f64 x (*.f64 y z)) (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)))
(fma.f64 (/.f64 t (*.f64 y y)) (/.f64 x z) (/.f64 x (*.f64 y z)))
(fma.f64 (/.f64 x (*.f64 y y)) (/.f64 t z) (/.f64 x (*.f64 y z)))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))
(+.f64 (/.f64 x (*.f64 y z)) (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))
(fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z)))
(+.f64 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z)) (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z)) (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (+.f64 (/.f64 x (*.f64 y z)) (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))) (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)))
(+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))) (fma.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z) (/.f64 x (*.f64 y z))))
(+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (pow.f64 t 3) (pow.f64 y 4)))))
(*.f64 -1 (/.f64 x (*.f64 t z)))
(neg.f64 (/.f64 x (*.f64 t z)))
(/.f64 (/.f64 (neg.f64 x) z) t)
(neg.f64 (/.f64 (/.f64 x t) z))
(neg.f64 (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))))
(neg.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -1 t) (/.f64 y (*.f64 t t))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))) (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z))))
(neg.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 y (*.f64 t t))))))
(neg.f64 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (+.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)))))
(neg.f64 (fma.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z) (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 y (*.f64 t t)))))))
(neg.f64 (fma.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z) (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z))))
(*.f64 -1 (/.f64 x (*.f64 t z)))
(neg.f64 (/.f64 x (*.f64 t z)))
(/.f64 (/.f64 (neg.f64 x) z) t)
(neg.f64 (/.f64 (/.f64 x t) z))
(neg.f64 (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))
(neg.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))))
(neg.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -1 t) (/.f64 y (*.f64 t t))))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))) (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z))))
(neg.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 y (*.f64 t t))))))
(neg.f64 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))
(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z)) (+.f64 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z)) (+.f64 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (+.f64 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)))))
(neg.f64 (fma.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z) (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 y (*.f64 t t)))))))
(neg.f64 (fma.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z) (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))
(*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))
(*.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 (/.f64 x (*.f64 t z)) -2)
(*.f64 (/.f64 -2 t) (/.f64 x z))
(*.f64 (/.f64 (/.f64 x t) z) -2)
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 y (*.f64 t t)))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)))))))
(-.f64 (*.f64 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3))) -2) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 y (*.f64 t t)))))))
(*.f64 2 (neg.f64 (fma.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z) (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 (/.f64 x y) (/.f64 2 z))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (fma.f64 (/.f64 t (*.f64 y y)) (/.f64 x z) (/.f64 x (*.f64 y z))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 t) (*.f64 y y))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 y z)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 y z)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(+.f64 (*.f64 2 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))) (*.f64 2 (fma.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z) (/.f64 x (*.f64 y z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (pow.f64 t 3) (pow.f64 y 4))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 (/.f64 x y) (/.f64 2 z))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (fma.f64 (/.f64 t (*.f64 y y)) (/.f64 x z) (/.f64 x (*.f64 y z))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 t) (*.f64 y y))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 y z)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 y z)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(+.f64 (*.f64 2 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))) (*.f64 2 (fma.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z) (/.f64 x (*.f64 y z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (pow.f64 t 3) (pow.f64 y 4))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 (/.f64 x y) (/.f64 2 z))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (fma.f64 (/.f64 t (*.f64 y y)) (/.f64 x z) (/.f64 x (*.f64 y z))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 t) (*.f64 y y))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 y z)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 y z)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(+.f64 (*.f64 2 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))) (*.f64 2 (fma.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z) (/.f64 x (*.f64 y z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (pow.f64 t 3) (pow.f64 y 4))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 (/.f64 x (*.f64 t z)) -2)
(*.f64 (/.f64 -2 t) (/.f64 x z))
(*.f64 (/.f64 (/.f64 x t) z) -2)
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 y (*.f64 t t)))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)))))))
(-.f64 (*.f64 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3))) -2) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 y (*.f64 t t)))))))
(*.f64 2 (neg.f64 (fma.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z) (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 (/.f64 x (*.f64 t z)) -2)
(*.f64 (/.f64 -2 t) (/.f64 x z))
(*.f64 (/.f64 (/.f64 x t) z) -2)
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z))))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 y (*.f64 t t)))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)))))))
(-.f64 (*.f64 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3))) -2) (*.f64 2 (+.f64 (/.f64 x (*.f64 t z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 y (*.f64 t t)))))))
(*.f64 2 (neg.f64 (fma.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z) (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 y t) 1) (/.f64 y (*.f64 t t))) (/.f64 (/.f64 x t) z)))))

prune76.0ms (2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New976103
Fresh101
Picked011
Done000
Total987105
Error
0.0b
Counts
105 → 7
Alt Table
StatusErrorProgram
6.2b
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
7.4b
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
30.9b
(*.f64 (/.f64 x y) (/.f64 2 z))
6.3b
(*.f64 2 (*.f64 (/.f64 x z) (/.f64 1 (-.f64 y t))))
7.1b
(*.f64 2 (*.f64 x (*.f64 (/.f64 1 z) (/.f64 1 (-.f64 y t)))))
32.3b
(*.f64 (/.f64 (/.f64 x t) z) -2)
6.1b
(/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))
Compiler

Compiled 1850 to 855 computations (53.8% saved)

localize8.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.7b
(/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))
5.4b
(*.f64 (-.f64 y t) (/.f64 z x))

series12.0ms (0.3%)

Counts
2 → 96
Calls

24 calls:

TimeVariablePointExpression
2.0ms
y
@0
(*.f64 (-.f64 y t) (/.f64 z x))
1.0ms
y
@-inf
(*.f64 (-.f64 y t) (/.f64 z x))
1.0ms
y
@inf
(*.f64 (-.f64 y t) (/.f64 z x))
1.0ms
t
@inf
(*.f64 (-.f64 y t) (/.f64 z x))
1.0ms
x
@-inf
(*.f64 (-.f64 y t) (/.f64 z x))

rewrite54.0ms (1.4%)

Algorithm
batch-egg-rewrite
Rules
386×prod-diff_binary64
212×expm1-udef_binary64
212×log1p-udef_binary64
190×fma-def_binary64
119×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
122623
2322423
Stop Event
node limit
Counts
2 → 71
Calls
Call 1
Inputs
(*.f64 (-.f64 y t) (/.f64 z x))
(/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (/.f64 z x)) (*.f64 (neg.f64 t) (/.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 z x) y) (*.f64 (/.f64 z x) (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (-.f64 y t) (/.f64 z x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 y t) (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 x (*.f64 (-.f64 y t) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (*.f64 (/.f64 x z) (fma.f64 t (+.f64 y t) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (*.f64 (/.f64 x z) (+.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y t) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (-.f64 y t) z)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) z) (*.f64 (fma.f64 t (+.f64 y t) (*.f64 y y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) z) (*.f64 (+.f64 y t) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) 1) (*.f64 (fma.f64 t (+.f64 y t) (*.f64 y y)) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) 1) (*.f64 (+.f64 y t) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (neg.f64 z)) (*.f64 (fma.f64 t (+.f64 y t) (*.f64 y y)) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (neg.f64 z)) (*.f64 (+.f64 y t) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 t 3))) (*.f64 x (fma.f64 t (+.f64 y t) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 z) (-.f64 (pow.f64 y 3) (pow.f64 t 3))) (*.f64 (neg.f64 x) (fma.f64 t (+.f64 y t) (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 (*.f64 y y) (*.f64 t t))) (*.f64 x (+.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 z) (-.f64 (*.f64 y y) (*.f64 t t))) (*.f64 (neg.f64 x) (+.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 y t) z) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 y t) z) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (-.f64 y t) z) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 t 3)) (/.f64 z x)) (fma.f64 t (+.f64 y t) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 y y) (*.f64 t t)) (/.f64 z x)) (+.f64 y t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 z) (-.f64 y t)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 y t) (neg.f64 z)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 z x) (-.f64 (pow.f64 y 3) (pow.f64 t 3))) (fma.f64 t (+.f64 y t) (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 z x) (-.f64 (*.f64 y y) (*.f64 t t))) (+.f64 y t))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 y t) (/.f64 z x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (-.f64 y t) (/.f64 z x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (-.f64 y t) (/.f64 z x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (-.f64 y t) (/.f64 z x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (-.f64 y t) (/.f64 z x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (-.f64 y t)) (/.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 y t) (/.f64 z x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (-.f64 y t) (/.f64 z x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (-.f64 y t) 3) (pow.f64 (/.f64 z x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 z x) 3) (pow.f64 (-.f64 y t) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (-.f64 y t) (/.f64 z x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (-.f64 y t) (/.f64 z x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (-.f64 y t) (/.f64 z x))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (/.f64 z x) (*.f64 (neg.f64 t) (/.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 z x) y (*.f64 (/.f64 z x) (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (-.f64 y t) (/.f64 z x))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))) (cbrt.f64 (/.f64 4 (pow.f64 (*.f64 (-.f64 y t) (/.f64 z x)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 4 (pow.f64 (*.f64 (-.f64 y t) (/.f64 z x)) 2))) (cbrt.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))) (sqrt.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2 (/.f64 1 (*.f64 (-.f64 y t) (neg.f64 (/.f64 z x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 x z) (-.f64 y t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (-.f64 y t)) (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (*.f64 (-.f64 y t) z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 2 (-.f64 y t)) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 2 (-.f64 y t)) 1) (/.f64 x z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 2 (-.f64 y t)) (neg.f64 z)) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 z x) (/.f64 2 (-.f64 y t))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 4 (pow.f64 (*.f64 (-.f64 y t) (/.f64 z x)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) (/.f64 (/.f64 x z) (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))))))))

simplify40.0ms (1%)

Algorithm
egg-herbie
Rules
806×times-frac_binary64
511×associate-/l*_binary64
351×fma-def_binary64
344×associate-/r*_binary64
236×associate-*l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0741658
12581586
210141508
Stop Event
node limit
Counts
167 → 98
Calls
Call 1
Inputs
(*.f64 -1 (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (*.f64 y z) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (*.f64 y z) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (*.f64 y z) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
Outputs
(*.f64 -1 (/.f64 (*.f64 t z) x))
(neg.f64 (/.f64 t (/.f64 x z)))
(/.f64 (*.f64 z (neg.f64 t)) x)
(*.f64 (/.f64 t x) (neg.f64 z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 y z) x)
(/.f64 y (/.f64 x z))
(/.f64 z (/.f64 x y))
(*.f64 (/.f64 y x) z)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 y z) x)
(/.f64 y (/.f64 x z))
(/.f64 z (/.f64 x y))
(*.f64 (/.f64 y x) z)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 y z) x)
(/.f64 y (/.f64 x z))
(/.f64 z (/.f64 x y))
(*.f64 (/.f64 y x) z)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(neg.f64 (/.f64 t (/.f64 x z)))
(/.f64 (*.f64 z (neg.f64 t)) x)
(*.f64 (/.f64 t x) (neg.f64 z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(neg.f64 (/.f64 t (/.f64 x z)))
(/.f64 (*.f64 z (neg.f64 t)) x)
(*.f64 (/.f64 t x) (neg.f64 z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 (/.f64 (-.f64 y t) x) z)
(*.f64 z (/.f64 (-.f64 y t) x))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(neg.f64 (/.f64 (*.f64 z (-.f64 t y)) x))
(/.f64 (neg.f64 (*.f64 z (-.f64 t y))) x)
(/.f64 (neg.f64 z) (/.f64 x (-.f64 t y)))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(neg.f64 (/.f64 (*.f64 z (-.f64 t y)) x))
(/.f64 (neg.f64 (*.f64 z (-.f64 t y))) x)
(/.f64 (neg.f64 z) (/.f64 x (-.f64 t y)))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(neg.f64 (/.f64 (*.f64 z (-.f64 t y)) x))
(/.f64 (neg.f64 (*.f64 z (-.f64 t y))) x)
(/.f64 (neg.f64 z) (/.f64 x (-.f64 t y)))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(neg.f64 (/.f64 (*.f64 z (-.f64 t y)) x))
(/.f64 (neg.f64 (*.f64 z (-.f64 t y))) x)
(/.f64 (neg.f64 z) (/.f64 x (-.f64 t y)))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 -2 (/.f64 (/.f64 x z) t))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))
(*.f64 -2 (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t)))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (/.f64 (*.f64 x (*.f64 y y)) (*.f64 z (pow.f64 t 3))) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (*.f64 2 (+.f64 (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t)) (/.f64 x (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (/.f64 y (/.f64 (pow.f64 t 3) y)) (fma.f64 (/.f64 x z) (/.f64 y (*.f64 t t)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (/.f64 (*.f64 x (*.f64 y y)) (*.f64 z (pow.f64 t 3))) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (/.f64 x (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))) (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (/.f64 (pow.f64 y 3) (pow.f64 t 4))) (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t))))))
(+.f64 (*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t))))) (*.f64 -2 (*.f64 (/.f64 x z) (+.f64 (/.f64 y (/.f64 (pow.f64 t 3) y)) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(/.f64 (*.f64 2 x) (*.f64 z y))
(*.f64 (/.f64 2 z) (/.f64 x y))
(*.f64 2 (/.f64 (/.f64 x z) y))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 (/.f64 t y)) y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (/.f64 x z) y)))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 y 4) (/.f64 x z))) (*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))))
(*.f64 2 (+.f64 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (/.f64 x z) y)) (/.f64 (pow.f64 t 3) (*.f64 (/.f64 z x) (pow.f64 y 4)))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(/.f64 (*.f64 2 x) (*.f64 z y))
(*.f64 (/.f64 2 z) (/.f64 x y))
(*.f64 2 (/.f64 (/.f64 x z) y))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 (/.f64 t y)) y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (/.f64 x z) y)))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 y 4) (/.f64 x z))) (*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))))
(*.f64 2 (+.f64 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (/.f64 x z) y)) (/.f64 (pow.f64 t 3) (*.f64 (/.f64 z x) (pow.f64 y 4)))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(/.f64 (*.f64 2 x) (*.f64 z y))
(*.f64 (/.f64 2 z) (/.f64 x y))
(*.f64 2 (/.f64 (/.f64 x z) y))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 (/.f64 t y)) y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (/.f64 x z) y)))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (/.f64 (pow.f64 t 3) (/.f64 (pow.f64 y 4) (/.f64 x z))) (*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))))
(*.f64 2 (+.f64 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 (/.f64 x z) y)) (/.f64 (pow.f64 t 3) (*.f64 (/.f64 z x) (pow.f64 y 4)))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 -2 (/.f64 (/.f64 x z) t))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))
(*.f64 -2 (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t)))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (/.f64 (*.f64 x (*.f64 y y)) (*.f64 z (pow.f64 t 3))) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (*.f64 2 (+.f64 (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t)) (/.f64 x (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (/.f64 y (/.f64 (pow.f64 t 3) y)) (fma.f64 (/.f64 x z) (/.f64 y (*.f64 t t)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (/.f64 (*.f64 x (*.f64 y y)) (*.f64 z (pow.f64 t 3))) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (/.f64 x (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))) (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (/.f64 (pow.f64 y 3) (pow.f64 t 4))) (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t))))))
(+.f64 (*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t))))) (*.f64 -2 (*.f64 (/.f64 x z) (+.f64 (/.f64 y (/.f64 (pow.f64 t 3) y)) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 -2 (/.f64 (/.f64 x z) t))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))
(*.f64 -2 (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t)))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (/.f64 (*.f64 x (*.f64 y y)) (*.f64 z (pow.f64 t 3))) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (*.f64 2 (+.f64 (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t)) (/.f64 x (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (/.f64 y (/.f64 (pow.f64 t 3) y)) (fma.f64 (/.f64 x z) (/.f64 y (*.f64 t t)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (/.f64 (*.f64 x (*.f64 y y)) (*.f64 z (pow.f64 t 3))) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (/.f64 x (/.f64 (*.f64 z (pow.f64 t 3)) (*.f64 y y))) (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (/.f64 (pow.f64 y 3) (pow.f64 t 4))) (fma.f64 (/.f64 (/.f64 y t) t) (/.f64 x z) (/.f64 (/.f64 x z) t))))))
(+.f64 (*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t))))) (*.f64 -2 (*.f64 (/.f64 x z) (+.f64 (/.f64 y (/.f64 (pow.f64 t 3) y)) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))

prune67.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New95398
Fresh235
Picked101
Done011
Total987105
Error
0.0b
Counts
105 → 7
Alt Table
StatusErrorProgram
6.2b
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
7.4b
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
30.9b
(*.f64 (/.f64 x y) (/.f64 2 z))
6.3b
(*.f64 (/.f64 2 (-.f64 y t)) (/.f64 x z))
32.3b
(*.f64 (/.f64 (/.f64 x t) z) -2)
5.8b
(/.f64 2 (*.f64 z (/.f64 (-.f64 y t) x)))
7.5b
(*.f64 (/.f64 2 (*.f64 (-.f64 y t) z)) x)
Compiler

Compiled 1647 to 751 computations (54.4% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.7b
(/.f64 2 (*.f64 z (/.f64 (-.f64 y t) x)))
5.3b
(*.f64 z (/.f64 (-.f64 y t) x))

series9.0ms (0.2%)

Counts
2 → 96
Calls

24 calls:

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

rewrite49.0ms (1.3%)

Algorithm
batch-egg-rewrite
Rules
550×prod-diff_binary64
216×expm1-udef_binary64
216×log1p-udef_binary64
121×add-sqr-sqrt_binary64
117×*-un-lft-identity_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
122923
2333523
Stop Event
node limit
Counts
2 → 51
Calls
Call 1
Inputs
(*.f64 z (/.f64 (-.f64 y t) x))
(/.f64 2 (*.f64 z (/.f64 (-.f64 y t) x)))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 z (/.f64 (-.f64 y t) x)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 z (/.f64 x (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 x (*.f64 z (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (-.f64 y t)) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 z (-.f64 y t))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 z (-.f64 y t)) 1) x)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 z (-.f64 y t)) (pow.f64 (cbrt.f64 x) 2)) (cbrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 z (-.f64 y t)) (sqrt.f64 x)) (sqrt.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 (-.f64 y t)) z) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 z (neg.f64 (-.f64 y t))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 z (/.f64 (-.f64 y t) x)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 z (/.f64 (-.f64 y t) x)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 z (/.f64 (-.f64 y t) x))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 z (/.f64 (-.f64 y t) x))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 z (/.f64 (-.f64 y t) x)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 z) (/.f64 (-.f64 y t) x)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 z (/.f64 (-.f64 y t) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 z (/.f64 (-.f64 y t) x)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 z 3) (pow.f64 (/.f64 (-.f64 y t) x) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 (-.f64 y t) x) 3) (pow.f64 z 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 z (/.f64 (-.f64 y t) x))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 z (/.f64 (-.f64 y t) x))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 z (/.f64 (-.f64 y t) x))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 z (/.f64 (-.f64 y t) x))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (/.f64 (/.f64 x (-.f64 y t)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))) (cbrt.f64 (pow.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))) 2)) (cbrt.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))) (sqrt.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2 (/.f64 1 (*.f64 (/.f64 (-.f64 y t) x) (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 x (-.f64 y t)) z) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 2 (*.f64 z (-.f64 y t))) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 2 z) (-.f64 y t)) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 2 z) 1) (/.f64 x (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 2 z) (neg.f64 (-.f64 y t))) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (/.f64 (-.f64 y t) x) (/.f64 2 z)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 2) (/.f64 (/.f64 x (-.f64 y t)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 2 z) (/.f64 x (-.f64 y t)))))))))

simplify37.0ms (0.9%)

Algorithm
egg-herbie
Rules
806×times-frac_binary64
510×associate-/l*_binary64
351×fma-def_binary64
346×associate-/r*_binary64
236×associate-*l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0741658
12581586
210141508
Stop Event
node limit
Counts
147 → 80
Calls
Call 1
Inputs
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(*.f64 -1 (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (*.f64 y z) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (*.f64 y z) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (*.f64 y z) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
Outputs
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(neg.f64 (/.f64 t (/.f64 x z)))
(/.f64 (neg.f64 t) (/.f64 x z))
(/.f64 (*.f64 z (neg.f64 t)) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 y z) x)
(/.f64 y (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 y z) x)
(/.f64 y (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 y z) x)
(/.f64 y (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(neg.f64 (/.f64 t (/.f64 x z)))
(/.f64 (neg.f64 t) (/.f64 x z))
(/.f64 (*.f64 z (neg.f64 t)) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 -1 (/.f64 (*.f64 t z) x))
(neg.f64 (/.f64 t (/.f64 x z)))
(/.f64 (neg.f64 t) (/.f64 x z))
(/.f64 (*.f64 z (neg.f64 t)) x)
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(-.f64 (/.f64 (*.f64 y z) x) (/.f64 (*.f64 t z) x))
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (*.f64 (-.f64 y t) z) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(/.f64 (-.f64 (*.f64 y z) (*.f64 t z)) x)
(/.f64 (-.f64 y t) (/.f64 x z))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(neg.f64 (/.f64 (*.f64 z (-.f64 t y)) x))
(/.f64 (neg.f64 (*.f64 z (-.f64 t y))) x)
(/.f64 (neg.f64 z) (/.f64 x (-.f64 t y)))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(neg.f64 (/.f64 (*.f64 z (-.f64 t y)) x))
(/.f64 (neg.f64 (*.f64 z (-.f64 t y))) x)
(/.f64 (neg.f64 z) (/.f64 x (-.f64 t y)))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(neg.f64 (/.f64 (*.f64 z (-.f64 t y)) x))
(/.f64 (neg.f64 (*.f64 z (-.f64 t y))) x)
(/.f64 (neg.f64 z) (/.f64 x (-.f64 t y)))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t z) (*.f64 y z)) x))
(neg.f64 (/.f64 (*.f64 z (-.f64 t y)) x))
(/.f64 (neg.f64 (*.f64 z (-.f64 t y))) x)
(/.f64 (neg.f64 z) (/.f64 x (-.f64 t y)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 -2 (/.f64 (/.f64 x t) z))
(*.f64 (/.f64 x t) (/.f64 -2 z))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z)))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 y (/.f64 (/.f64 z (/.f64 x (pow.f64 t 3))) y)) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (*.f64 (/.f64 y (pow.f64 t 3)) y) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z))))))
(-.f64 (*.f64 -2 (/.f64 y (/.f64 (/.f64 z (/.f64 x (pow.f64 t 3))) y))) (*.f64 2 (+.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))) (*.f64 (/.f64 x z) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (*.f64 (/.f64 y (pow.f64 t 3)) y) (/.f64 (pow.f64 y 3) (pow.f64 t 4)))) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 2 (/.f64 (/.f64 x y) z))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 (/.f64 x y) z) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 t) (*.f64 y y))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 (/.f64 x y) z) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (/.f64 (pow.f64 t 3) (/.f64 (*.f64 z (pow.f64 y 4)) x)) (fma.f64 2 (/.f64 (/.f64 x y) z) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (/.f64 x (/.f64 (*.f64 z (pow.f64 y 4)) (pow.f64 t 3))) (*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))))
(fma.f64 2 (*.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y)))) (*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 (pow.f64 t 3)) (pow.f64 y 4)))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 2 (/.f64 (/.f64 x y) z))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 (/.f64 x y) z) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 t) (*.f64 y y))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 (/.f64 x y) z) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (/.f64 (pow.f64 t 3) (/.f64 (*.f64 z (pow.f64 y 4)) x)) (fma.f64 2 (/.f64 (/.f64 x y) z) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (/.f64 x (/.f64 (*.f64 z (pow.f64 y 4)) (pow.f64 t 3))) (*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))))
(fma.f64 2 (*.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y)))) (*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 (pow.f64 t 3)) (pow.f64 y 4)))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 2 (/.f64 (/.f64 x y) z))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 (/.f64 x y) z) (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 t) (*.f64 y y))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 (/.f64 x y) z) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3))))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 y z))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (/.f64 (pow.f64 t 3) (/.f64 (*.f64 z (pow.f64 y 4)) x)) (fma.f64 2 (/.f64 (/.f64 x y) z) (*.f64 2 (+.f64 (*.f64 (/.f64 t (*.f64 y y)) (/.f64 x z)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (/.f64 x (/.f64 (*.f64 z (pow.f64 y 4)) (pow.f64 t 3))) (*.f64 2 (+.f64 (/.f64 x (*.f64 y z)) (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 (*.f64 t t) (pow.f64 y 3)))))))
(fma.f64 2 (*.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y)))) (*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (/.f64 (*.f64 2 (pow.f64 t 3)) (pow.f64 y 4)))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 -2 (/.f64 (/.f64 x t) z))
(*.f64 (/.f64 x t) (/.f64 -2 z))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z)))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 y (/.f64 (/.f64 z (/.f64 x (pow.f64 t 3))) y)) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (*.f64 (/.f64 y (pow.f64 t 3)) y) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z))))))
(-.f64 (*.f64 -2 (/.f64 y (/.f64 (/.f64 z (/.f64 x (pow.f64 t 3))) y))) (*.f64 2 (+.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))) (*.f64 (/.f64 x z) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (*.f64 (/.f64 y (pow.f64 t 3)) y) (/.f64 (pow.f64 y 3) (pow.f64 t 4)))) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(*.f64 -2 (/.f64 (/.f64 x t) z))
(*.f64 (/.f64 x t) (/.f64 -2 z))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (*.f64 2 (/.f64 y (*.f64 t t)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z)))))
(neg.f64 (*.f64 2 (+.f64 (/.f64 y (/.f64 (/.f64 z (/.f64 x (pow.f64 t 3))) y)) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (*.f64 (/.f64 y (pow.f64 t 3)) y) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 (/.f64 x t) z))))))
(-.f64 (*.f64 -2 (/.f64 y (/.f64 (/.f64 z (/.f64 x (pow.f64 t 3))) y))) (*.f64 2 (+.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))) (*.f64 (/.f64 x z) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (*.f64 (/.f64 y (pow.f64 t 3)) y) (/.f64 (pow.f64 y 3) (pow.f64 t 4)))) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(/.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))

prune48.0ms (1.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New79180
Fresh145
Picked011
Done011
Total80787
Error
0b
Counts
87 → 7
Alt Table
StatusErrorProgram
6.2b
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
7.4b
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
6.3b
(*.f64 (/.f64 2 (-.f64 y t)) (/.f64 x z))
30.9b
(*.f64 2 (/.f64 (/.f64 x y) z))
32.3b
(*.f64 (/.f64 (/.f64 x t) z) -2)
5.8b
(/.f64 2 (*.f64 z (/.f64 (-.f64 y t) x)))
7.5b
(*.f64 (/.f64 2 (*.f64 (-.f64 y t) z)) x)
Compiler

Compiled 1274 to 635 computations (50.2% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
6.1b
(*.f64 (/.f64 2 (-.f64 y t)) (/.f64 x z))

series4.0ms (0.1%)

Counts
1 → 48
Calls

12 calls:

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

rewrite46.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
386×prod-diff_binary64
216×expm1-udef_binary64
216×log1p-udef_binary64
191×fma-def_binary64
121×add-sqr-sqrt_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
122913
2331913
Stop Event
node limit
Counts
1 → 54
Calls
Call 1
Inputs
(*.f64 (/.f64 2 (-.f64 y t)) (/.f64 x z))
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (*.f64 (/.f64 z x) (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (/.f64 (*.f64 (-.f64 y t) z) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 2 (/.f64 (-.f64 y t) (/.f64 x z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 2 (-.f64 y t)) (/.f64 z x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 (*.f64 (-.f64 y t) 1/2) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (*.f64 z (*.f64 (-.f64 y t) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 x z) (*.f64 (-.f64 y t) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (*.f64 (*.f64 (-.f64 y t) 1/2) (/.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (*.f64 (/.f64 z x) (*.f64 (-.f64 y t) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (*.f64 (-.f64 y t) z) (*.f64 2 x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 y t) (*.f64 2 (/.f64 x z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 z (*.f64 (/.f64 2 (-.f64 y t)) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 x) (*.f64 (*.f64 (-.f64 y t) 1/2) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (*.f64 (neg.f64 (-.f64 y t)) (/.f64 z x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -2 (*.f64 (/.f64 z x) (neg.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 x) (*.f64 (-.f64 y t) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (/.f64 x z)) (-.f64 y t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 2 (-.f64 y t)) x) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 x)) (neg.f64 (*.f64 (-.f64 y t) z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 2 (/.f64 x z))) (neg.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 (/.f64 2 (-.f64 y t)) x)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2 x) (*.f64 (neg.f64 (-.f64 y t)) z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (neg.f64 x)) (*.f64 (-.f64 y t) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2 (neg.f64 x)) (*.f64 (neg.f64 (-.f64 y t)) (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) 2) (*.f64 (neg.f64 z) (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) 1) (*.f64 (neg.f64 z) (*.f64 (-.f64 y t) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x -2) (*.f64 z (neg.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) -2) (*.f64 (neg.f64 z) (neg.f64 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 2 (/.f64 x z)) 1) (-.f64 y t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 2 (/.f64 x z)) (pow.f64 (cbrt.f64 (-.f64 y t)) 2)) (cbrt.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 2 (/.f64 x z)) (sqrt.f64 (-.f64 y t))) (sqrt.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (/.f64 2 (-.f64 y t)) x) 1) z)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (/.f64 2 (-.f64 y t)) x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 (/.f64 2 (-.f64 y t)) x) (sqrt.f64 z)) (sqrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -2 (/.f64 x z)) (neg.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) (/.f64 2 (-.f64 y t))) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 2 (-.f64 y t)) (neg.f64 x)) (neg.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x z) -2) (neg.f64 (-.f64 y t)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (/.f64 x z)) (/.f64 2 (-.f64 y t))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 2 (-.f64 y t)) 3) (pow.f64 (/.f64 x z) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (/.f64 x z) 3) (pow.f64 (/.f64 2 (-.f64 y t)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 2 (*.f64 (-.f64 y t) (/.f64 z x)))))))))

simplify30.0ms (0.8%)

Algorithm
egg-herbie
Rules
806×times-frac_binary64
497×associate-/l*_binary64
343×associate-/r*_binary64
326×fma-def_binary64
233×associate-*l/_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0641182
12281110
29381032
Stop Event
node limit
Counts
102 → 73
Calls
Call 1
Inputs
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
Outputs
(*.f64 -2 (/.f64 x (*.f64 t z)))
(/.f64 (*.f64 -2 x) (*.f64 t z))
(*.f64 (/.f64 -2 z) (/.f64 x t))
(*.f64 (/.f64 x t) (/.f64 -2 z))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (/.f64 (*.f64 2 y) (*.f64 t t))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3))) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3)) (fma.f64 (/.f64 x z) (/.f64 y (*.f64 t t)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))))
(-.f64 (*.f64 -2 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3)))) (*.f64 2 (+.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)))))
(+.f64 (*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (/.f64 (*.f64 2 y) (*.f64 t t)))) (*.f64 -2 (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 2 (/.f64 x (*.f64 z y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 2 z) (+.f64 (/.f64 t (/.f64 y (/.f64 x y))) (/.f64 x y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 t (/.f64 (pow.f64 y 3) t)))) (/.f64 x (*.f64 z y))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 z y))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (*.f64 (/.f64 x z) (/.f64 (pow.f64 t 3) (pow.f64 y 4))) (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 t (/.f64 (pow.f64 y 3) t)))) (/.f64 x (*.f64 z y)))))
(fma.f64 2 (*.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y)))) (*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (*.f64 2 (/.f64 (pow.f64 t 3) (pow.f64 y 4))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 2 (/.f64 x (*.f64 z y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 2 z) (+.f64 (/.f64 t (/.f64 y (/.f64 x y))) (/.f64 x y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 t (/.f64 (pow.f64 y 3) t)))) (/.f64 x (*.f64 z y))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 z y))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (*.f64 (/.f64 x z) (/.f64 (pow.f64 t 3) (pow.f64 y 4))) (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 t (/.f64 (pow.f64 y 3) t)))) (/.f64 x (*.f64 z y)))))
(fma.f64 2 (*.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y)))) (*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (*.f64 2 (/.f64 (pow.f64 t 3) (pow.f64 y 4))))))
(*.f64 2 (/.f64 x (*.f64 y z)))
(*.f64 2 (/.f64 x (*.f64 z y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x))))
(*.f64 2 (+.f64 (/.f64 x (*.f64 z y)) (*.f64 (/.f64 x z) (/.f64 t (*.f64 y y)))))
(*.f64 (/.f64 2 z) (+.f64 (/.f64 t (/.f64 y (/.f64 x y))) (/.f64 x y)))
(+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z)))))
(fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z)))))
(*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 t (/.f64 (pow.f64 y 3) t)))) (/.f64 x (*.f64 z y))))
(*.f64 2 (fma.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y))) (/.f64 x (*.f64 z y))))
(+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 t 3) x) (*.f64 (pow.f64 y 4) z))) (+.f64 (*.f64 2 (/.f64 x (*.f64 y z))) (+.f64 (*.f64 2 (/.f64 (*.f64 t x) (*.f64 (pow.f64 y 2) z))) (*.f64 2 (/.f64 (*.f64 (pow.f64 t 2) x) (*.f64 (pow.f64 y 3) z))))))
(fma.f64 2 (*.f64 (/.f64 (pow.f64 t 3) (pow.f64 y 4)) (/.f64 x z)) (fma.f64 2 (/.f64 x (*.f64 z y)) (*.f64 2 (+.f64 (/.f64 t (/.f64 (*.f64 z (*.f64 y y)) x)) (*.f64 (/.f64 (*.f64 t t) (pow.f64 y 3)) (/.f64 x z))))))
(fma.f64 2 (*.f64 (/.f64 x z) (/.f64 (pow.f64 t 3) (pow.f64 y 4))) (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (+.f64 (/.f64 t (*.f64 y y)) (/.f64 t (/.f64 (pow.f64 y 3) t)))) (/.f64 x (*.f64 z y)))))
(fma.f64 2 (*.f64 (/.f64 x z) (*.f64 (+.f64 (/.f64 t y) 1) (/.f64 t (*.f64 y y)))) (*.f64 (/.f64 x z) (+.f64 (/.f64 2 y) (*.f64 2 (/.f64 (pow.f64 t 3) (pow.f64 y 4))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(/.f64 (*.f64 -2 x) (*.f64 t z))
(*.f64 (/.f64 -2 z) (/.f64 x t))
(*.f64 (/.f64 x t) (/.f64 -2 z))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (/.f64 (*.f64 2 y) (*.f64 t t))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3))) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3)) (fma.f64 (/.f64 x z) (/.f64 y (*.f64 t t)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))))
(-.f64 (*.f64 -2 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3)))) (*.f64 2 (+.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)))))
(+.f64 (*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (/.f64 (*.f64 2 y) (*.f64 t t)))) (*.f64 -2 (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(*.f64 -2 (/.f64 x (*.f64 t z)))
(/.f64 (*.f64 -2 x) (*.f64 t z))
(*.f64 (/.f64 -2 z) (/.f64 x t))
(*.f64 (/.f64 x t) (/.f64 -2 z))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))
(*.f64 -2 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))
(*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (/.f64 (*.f64 2 y) (*.f64 t t))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z))))))
(neg.f64 (*.f64 2 (+.f64 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3))) (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))))))
(*.f64 -2 (fma.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3)) (fma.f64 (/.f64 x z) (/.f64 y (*.f64 t t)) (/.f64 x (*.f64 t z)))))
(neg.f64 (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 2) x) (*.f64 (pow.f64 t 3) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 (pow.f64 y 3) x) (*.f64 (pow.f64 t 4) z))) (+.f64 (*.f64 2 (/.f64 (*.f64 y x) (*.f64 (pow.f64 t 2) z))) (*.f64 2 (/.f64 x (*.f64 t z)))))))
(neg.f64 (fma.f64 2 (*.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 x z)) (fma.f64 2 (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)) (*.f64 2 (+.f64 (*.f64 (/.f64 y (*.f64 t t)) (/.f64 x z)) (/.f64 x (*.f64 t z)))))))
(-.f64 (*.f64 -2 (*.f64 (/.f64 x z) (/.f64 (*.f64 y y) (pow.f64 t 3)))) (*.f64 2 (+.f64 (fma.f64 (/.f64 y (*.f64 t t)) (/.f64 x z) (/.f64 x (*.f64 t z))) (*.f64 (/.f64 (pow.f64 y 3) (pow.f64 t 4)) (/.f64 x z)))))
(+.f64 (*.f64 (/.f64 x z) (-.f64 (/.f64 -2 t) (/.f64 (*.f64 2 y) (*.f64 t t)))) (*.f64 -2 (*.f64 (/.f64 x z) (+.f64 (/.f64 (*.f64 y y) (pow.f64 t 3)) (/.f64 (pow.f64 y 3) (pow.f64 t 4))))))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (-.f64 (*.f64 y z) (*.f64 t z))))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))
(*.f64 2 (/.f64 x (*.f64 (-.f64 y t) z)))
(*.f64 2 (/.f64 x (*.f64 z (-.f64 y t))))
(/.f64 (/.f64 (*.f64 x 2) z) (-.f64 y t))
(*.f64 (/.f64 x (-.f64 y t)) (/.f64 2 z))

prune44.0ms (1.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New73073
Fresh044
Picked011
Done022
Total73780
Error
0b
Counts
80 → 7
Alt Table
StatusErrorProgram
6.2b
(*.f64 2 (/.f64 (/.f64 x z) (-.f64 y t)))
7.4b
(/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t)))
6.3b
(*.f64 (/.f64 2 (-.f64 y t)) (/.f64 x z))
30.9b
(*.f64 2 (/.f64 (/.f64 x y) z))
32.3b
(*.f64 (/.f64 (/.f64 x t) z) -2)
5.8b
(/.f64 2 (*.f64 z (/.f64 (-.f64 y t) x)))
7.5b
(*.f64 (/.f64 2 (*.f64 (-.f64 y t) z)) x)
Compiler

Compiled 1103 to 535 computations (51.5% saved)

regimes790.0ms (20.3%)

Accuracy

Total 0.5b remaining (97.3%)

Threshold costs 0.5b (97.3%)

Counts
48 → 5
Compiler

Compiled 565 to 274 computations (51.5% saved)

bsearch1.0ms (0%)

Algorithm
left-value
Calls

4 calls:

0.0ms
(-.f64 (*.f64 y z) (*.f64 t z))
0.0ms
(-.f64 (*.f64 y z) (*.f64 t z))
0.0ms
(-.f64 (*.f64 y z) (*.f64 t z))
0.0ms
(-.f64 (*.f64 y z) (*.f64 t z))
Steps
ItersPointRange
1e+203
∈ [
6.58252010744255e+202
,
3.488421977688034e+204
]
5e-291
∈ [
3.761567437474446e-291
,
9.559276982093066e-291
]
-1e-213
∈ [
-1.2105765946870308e-213
,
-2.245165833621188e-222
]
-2e+172
∈ [
-2.1228411968541958e+172
,
-2.236702956438597e+171
]
Compiler

Compiled 11 to 7 computations (36.4% saved)

simplify5.0ms (0.1%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
+-commutative_binary64
sub-neg_binary64
neg-sub0_binary64
neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
029125
140125
253125
359125
463125
564125
Stop Event
saturated
Calls
Call 1
Inputs
(if (<=.f64 (-.f64 (*.f64 y z) (*.f64 t z)) -20000000000000001653743257142116047352872553930304470672653068617665342788622713458745463328244347793434385285046531376697860133668799545398951154360213100458157779359629312) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t)) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 t z)) -1516130949512411/1516130949512411069481425281701662651618052751090524034315480505884815383482789928057498446121725076123523174508917063677901933636830873429144811792032403456254350562520361235888930942999607856274670897650113739014543795755679744) (/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t))) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 t z)) 3511119404027961/702223880805592151456759840151962786569522257399338504974336254522393264865238137237142489540654437582500444843247630303354647534431314931612685275935445798350655833690880801860555545317367555154113605281582053784524026102900245630757473088050106395169337932361665227499793929447186391815763110662594625536) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t)) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 t z)) 99999999999999998876910787506329447650934459829549922997503484884029261182361866844442696946000689845185920534555642245481492613075738123641525387194542623914743194966239051177873087980216425864602058752) (/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t))) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t))))))
Outputs
(if (<=.f64 (-.f64 (*.f64 y z) (*.f64 t z)) -20000000000000001653743257142116047352872553930304470672653068617665342788622713458745463328244347793434385285046531376697860133668799545398951154360213100458157779359629312) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t)) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 t z)) -1516130949512411/1516130949512411069481425281701662651618052751090524034315480505884815383482789928057498446121725076123523174508917063677901933636830873429144811792032403456254350562520361235888930942999607856274670897650113739014543795755679744) (/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t))) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 t z)) 3511119404027961/702223880805592151456759840151962786569522257399338504974336254522393264865238137237142489540654437582500444843247630303354647534431314931612685275935445798350655833690880801860555545317367555154113605281582053784524026102900245630757473088050106395169337932361665227499793929447186391815763110662594625536) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t)) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 t z)) 99999999999999998876910787506329447650934459829549922997503484884029261182361866844442696946000689845185920534555642245481492613075738123641525387194542623914743194966239051177873087980216425864602058752) (/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t))) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t))))))
(if (<=.f64 (-.f64 (*.f64 y z) (*.f64 z t)) -20000000000000001653743257142116047352872553930304470672653068617665342788622713458745463328244347793434385285046531376697860133668799545398951154360213100458157779359629312) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t)) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 z t)) -1516130949512411/1516130949512411069481425281701662651618052751090524034315480505884815383482789928057498446121725076123523174508917063677901933636830873429144811792032403456254350562520361235888930942999607856274670897650113739014543795755679744) (/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t))) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 z t)) 3511119404027961/702223880805592151456759840151962786569522257399338504974336254522393264865238137237142489540654437582500444843247630303354647534431314931612685275935445798350655833690880801860555545317367555154113605281582053784524026102900245630757473088050106395169337932361665227499793929447186391815763110662594625536) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t)) (if (<=.f64 (-.f64 (*.f64 y z) (*.f64 z t)) 99999999999999998876910787506329447650934459829549922997503484884029261182361866844442696946000689845185920534555642245481492613075738123641525387194542623914743194966239051177873087980216425864602058752) (/.f64 (*.f64 x 2) (*.f64 z (-.f64 y t))) (/.f64 (*.f64 (/.f64 x z) 2) (-.f64 y t))))))

end91.0ms (2.3%)

Stop Event
fuel
Compiler

Compiled 265 to 135 computations (49.1% saved)

Profiling

Loading profile data...