Linear.Projection:inverseInfinitePerspective from linear-1.19.1.3

Details

Time bar (total: 3.4s)

analyze0.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
100%99.8%0%0.2%0%0%0%1
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample2.8s (81%)

Results
2.0s6217×body256valid
786.0ms2039×body256infinite
Bogosity

preprocess225.0ms (6.5%)

Algorithm
egg-herbie
Rules
2346×fma-def
1214×fma-neg
714×unsub-neg
462×distribute-lft-in
392×distribute-rgt-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
029133
198133
2236133
3506133
4869133
51694133
62374133
73349133
83556133
93577133
103579133
114181133
124469133
134469133
144469133
154469133
164472133
044
144
Stop Event
unsound
saturated
Calls
Call 1
Inputs
0
1
2
3
Outputs
0
1
2
3
1
Call 2
Inputs
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
(*.f64 (-.f64 (*.f64 y x) (*.f64 z x)) t)
(*.f64 (-.f64 (*.f64 z y) (*.f64 x y)) t)
(*.f64 (-.f64 (*.f64 t y) (*.f64 z y)) x)
(*.f64 (-.f64 (*.f64 x z) (*.f64 y z)) t)
(*.f64 (-.f64 (*.f64 x t) (*.f64 z t)) y)
(*.f64 (-.f64 (*.f64 x y) (*.f64 t y)) z)
Outputs
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
(*.f64 (*.f64 y (-.f64 x z)) t)
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 (-.f64 (*.f64 y x) (*.f64 z x)) t)
(*.f64 t (*.f64 x (-.f64 y z)))
(*.f64 x (*.f64 (-.f64 y z) t))
(*.f64 x (*.f64 t (-.f64 y z)))
(*.f64 (-.f64 (*.f64 z y) (*.f64 x y)) t)
(*.f64 t (*.f64 y (-.f64 z x)))
(*.f64 y (*.f64 t (-.f64 z x)))
(*.f64 (-.f64 (*.f64 t y) (*.f64 z y)) x)
(*.f64 x (*.f64 y (-.f64 t z)))
(*.f64 (-.f64 (*.f64 x z) (*.f64 y z)) t)
(*.f64 t (*.f64 z (-.f64 x y)))
(*.f64 (*.f64 z t) (-.f64 x y))
(*.f64 (-.f64 (*.f64 x t) (*.f64 z t)) y)
(*.f64 (*.f64 y (-.f64 x z)) t)
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 (-.f64 (*.f64 x y) (*.f64 t y)) z)
(*.f64 z (*.f64 y (-.f64 x t)))
(*.f64 y (*.f64 z (-.f64 x t)))
Symmetry

(sort y t)

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify64.0ms (1.9%)

Algorithm
egg-herbie
Rules
2490×fma-def
214×associate-*r*
194×distribute-lft-in
186×distribute-rgt-in
172×unsub-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
12319
25019
311419
423319
534719
655519
789519
8166819
9236019
10241619
11242219
12242219
Stop Event
saturated
Counts
1 → 4
Calls
Call 1
Inputs
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
Outputs
(*.f64 (-.f64 (*.f64 x y) (*.f64 z y)) t)
(*.f64 (*.f64 y (-.f64 x z)) t)
(*.f64 y (*.f64 (-.f64 x z) t))
(*.f64 y (*.f64 t (-.f64 x z)))

eval1.0ms (0%)

Compiler

Compiled 34 to 15 computations (55.9% saved)

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New224
Fresh101
Picked000
Done000
Total325
Accurracy
99.8%
Counts
5 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
93.5%
(*.f64 (*.f64 y (-.f64 x z)) t)
90.5%
(*.f64 y (*.f64 (-.f64 x z) t))
93.5%
(*.f64 (*.f64 y (-.f64 x z)) t)
90.5%
(*.f64 y (*.f64 (-.f64 x z) t))
Compiler

Compiled 44 to 28 computations (36.4% saved)

localize116.0ms (3.4%)

Local Accuracy

Found 4 expressions with local accuracy:

NewAccuracyProgram
100.0%
(*.f64 y (-.f64 x z))
93.5%
(*.f64 (*.f64 y (-.f64 x z)) t)
100.0%
(*.f64 (-.f64 x z) t)
90.5%
(*.f64 y (*.f64 (-.f64 x z) t))
Compiler

Compiled 43 to 10 computations (76.7% saved)

series11.0ms (0.3%)

Counts
4 → 156
Calls

42 calls:

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

rewrite79.0ms (2.3%)

Algorithm
batch-egg-rewrite
Rules
1158×log-prod
948×pow-prod-down
718×prod-diff
538×pow-prod-up
498×pow-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01164
123064
2284664
Stop Event
node limit
Counts
4 → 100
Calls
Call 1
Inputs
(*.f64 y (*.f64 (-.f64 x z) t))
(*.f64 (-.f64 x z) t)
(*.f64 (*.f64 y (-.f64 x z)) t)
(*.f64 y (-.f64 x z))
Outputs
(+.f64 0 (*.f64 y (*.f64 (-.f64 x z) t)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1)
(pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t)))))
(cbrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(exp.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 2))
(log1p.f64 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(+.f64 0 (*.f64 (-.f64 x z) t))
(+.f64 (*.f64 t x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 x t) (*.f64 (neg.f64 z) t))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (-.f64 x z) t))) 1)
(/.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) t) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) t) (+.f64 x z))
(pow.f64 (*.f64 (-.f64 x z) t) 1)
(pow.f64 (cbrt.f64 (*.f64 (-.f64 x z) t)) 3)
(pow.f64 (pow.f64 (*.f64 (-.f64 x z) t) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 (-.f64 x z) t) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (-.f64 x z) t)) 2)
(sqrt.f64 (pow.f64 (*.f64 (-.f64 x z) t) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 x z) t))))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 x z) t) 3))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 x z) t)))
(exp.f64 (log.f64 (*.f64 (-.f64 x z) t)))
(exp.f64 (*.f64 (log.f64 (*.f64 (-.f64 x z) t)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (-.f64 x z) t)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (-.f64 x z) t))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 (-.f64 x z) t))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (-.f64 x z) t))) 2))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 x z) t)))
(fma.f64 x t (*.f64 (neg.f64 z) t))
(fma.f64 t x (*.f64 t (neg.f64 z)))
(+.f64 0 (*.f64 y (*.f64 (-.f64 x z) t)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1)
(pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t)))))
(cbrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(exp.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 2))
(log1p.f64 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(+.f64 0 (*.f64 y (-.f64 x z)))
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))
(+.f64 (*.f64 x y) (*.f64 (neg.f64 z) y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (-.f64 x z)))) 1)
(/.f64 (*.f64 y (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 y (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) y) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) y) (+.f64 x z))
(pow.f64 (*.f64 y (-.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (-.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 y (-.f64 x z)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (-.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (-.f64 x z))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (-.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (-.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 y (-.f64 x z)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (-.f64 x z))))
(exp.f64 (log.f64 (*.f64 y (-.f64 x z))))
(exp.f64 (*.f64 (log.f64 (*.f64 y (-.f64 x z))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (-.f64 x z))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (-.f64 x z)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (-.f64 x z)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (-.f64 x z)))) 2))
(log1p.f64 (expm1.f64 (*.f64 y (-.f64 x z))))
(fma.f64 y x (*.f64 y (neg.f64 z)))
(fma.f64 x y (*.f64 (neg.f64 z) y))

simplify98.0ms (2.9%)

Algorithm
egg-herbie
Rules
1338×fma-def
1286×associate-+r+
1112×log-prod
824×unswap-sqr
478×*-commutative
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02124416
14564284
214194284
347014284
Stop Event
node limit
Counts
256 → 109
Calls
Call 1
Inputs
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 -1 (*.f64 t z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 -1 (*.f64 y z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 -1 (*.f64 y z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(+.f64 0 (*.f64 y (*.f64 (-.f64 x z) t)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1)
(pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t)))))
(cbrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(exp.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 2))
(log1p.f64 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(+.f64 0 (*.f64 (-.f64 x z) t))
(+.f64 (*.f64 t x) (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 x t) (*.f64 (neg.f64 z) t))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (-.f64 x z) t))) 1)
(/.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) t) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) t) (+.f64 x z))
(pow.f64 (*.f64 (-.f64 x z) t) 1)
(pow.f64 (cbrt.f64 (*.f64 (-.f64 x z) t)) 3)
(pow.f64 (pow.f64 (*.f64 (-.f64 x z) t) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 (-.f64 x z) t) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (-.f64 x z) t)) 2)
(sqrt.f64 (pow.f64 (*.f64 (-.f64 x z) t) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 x z) t))))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 x z) t) 3))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 x z) t)))
(exp.f64 (log.f64 (*.f64 (-.f64 x z) t)))
(exp.f64 (*.f64 (log.f64 (*.f64 (-.f64 x z) t)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (-.f64 x z) t)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (-.f64 x z) t))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 (-.f64 x z) t))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (-.f64 x z) t))) 2))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 x z) t)))
(fma.f64 x t (*.f64 (neg.f64 z) t))
(fma.f64 t x (*.f64 t (neg.f64 z)))
(+.f64 0 (*.f64 y (*.f64 (-.f64 x z) t)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1)
(pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t)))))
(cbrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(exp.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 2))
(log1p.f64 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(+.f64 0 (*.f64 y (-.f64 x z)))
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))
(+.f64 (*.f64 x y) (*.f64 (neg.f64 z) y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (-.f64 x z)))) 1)
(/.f64 (*.f64 y (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 y (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) y) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) y) (+.f64 x z))
(pow.f64 (*.f64 y (-.f64 x z)) 1)
(pow.f64 (cbrt.f64 (*.f64 y (-.f64 x z))) 3)
(pow.f64 (pow.f64 (*.f64 y (-.f64 x z)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 y (-.f64 x z)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 y (-.f64 x z))) 2)
(sqrt.f64 (pow.f64 (*.f64 y (-.f64 x z)) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (-.f64 x z)))))
(cbrt.f64 (pow.f64 (*.f64 y (-.f64 x z)) 3))
(expm1.f64 (log1p.f64 (*.f64 y (-.f64 x z))))
(exp.f64 (log.f64 (*.f64 y (-.f64 x z))))
(exp.f64 (*.f64 (log.f64 (*.f64 y (-.f64 x z))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (-.f64 x z))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (-.f64 x z)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (-.f64 x z)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (-.f64 x z)))) 2))
(log1p.f64 (expm1.f64 (*.f64 y (-.f64 x z))))
(fma.f64 y x (*.f64 y (neg.f64 z)))
(fma.f64 x y (*.f64 (neg.f64 z) y))
Outputs
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(neg.f64 (*.f64 y (*.f64 t z)))
(*.f64 (*.f64 t z) (neg.f64 y))
(*.f64 y (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t x))
(*.f64 t (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t x))
(*.f64 t (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t x))
(*.f64 t (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(neg.f64 (*.f64 y (*.f64 t z)))
(*.f64 (*.f64 t z) (neg.f64 y))
(*.f64 y (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(neg.f64 (*.f64 y (*.f64 t z)))
(*.f64 (*.f64 t z) (neg.f64 y))
(*.f64 y (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(*.f64 t x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(*.f64 t x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(*.f64 t x)
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(*.f64 -1 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(*.f64 -1 (*.f64 t z))
(*.f64 t (neg.f64 z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 t z)) (*.f64 t x))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 t (-.f64 x z))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(neg.f64 (*.f64 y (*.f64 t z)))
(*.f64 (*.f64 t z) (neg.f64 y))
(*.f64 y (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t x))
(*.f64 t (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t x))
(*.f64 t (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t x))
(*.f64 t (*.f64 y x))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 -1 (*.f64 y (*.f64 t z))) (*.f64 y (*.f64 t x)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(neg.f64 (*.f64 y (*.f64 t z)))
(*.f64 (*.f64 t z) (neg.f64 y))
(*.f64 y (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y (*.f64 t z)))
(neg.f64 (*.f64 y (*.f64 t z)))
(*.f64 (*.f64 t z) (neg.f64 y))
(*.f64 y (*.f64 t (neg.f64 z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (*.f64 y (*.f64 t x)) (*.f64 -1 (*.f64 y (*.f64 t z))))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 y (*.f64 t (-.f64 x z)))
(*.f64 -1 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(*.f64 y x)
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y x))
(*.f64 y (-.f64 x z))
(*.f64 -1 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(*.f64 -1 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 y x) (*.f64 -1 (*.f64 y z)))
(*.f64 y (-.f64 x z))
(+.f64 0 (*.f64 y (*.f64 (-.f64 x z) t)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(*.f64 y (*.f64 t (-.f64 x z)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 1)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2) 1/2)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3) 1/3)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 2)
(*.f64 y (*.f64 t (-.f64 x z)))
(sqrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2))
(*.f64 y (*.f64 t (-.f64 x z)))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))
(*.f64 y (*.f64 t (-.f64 x z)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t)))))
(*.f64 y (*.f64 t (-.f64 x z)))
(cbrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3))
(*.f64 y (*.f64 t (-.f64 x z)))
(expm1.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1) 1))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 3))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1/3))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 2))
(*.f64 y (*.f64 t (-.f64 x z)))
(log1p.f64 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 0 (*.f64 (-.f64 x z) t))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 t x) (*.f64 t (neg.f64 z)))
(*.f64 t (-.f64 x z))
(+.f64 (*.f64 x t) (*.f64 (neg.f64 z) t))
(*.f64 t (-.f64 x z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))))
(*.f64 t (-.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (-.f64 x z) t))) 1)
(*.f64 t (-.f64 x z))
(/.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (*.f64 z (+.f64 x z))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (*.f64 z (+.f64 x z)))) t)
(*.f64 t (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (/.f64 t (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (*.f64 t (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z))
(*.f64 t (-.f64 x z))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) t) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 t (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (*.f64 z (+.f64 x z))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (*.f64 z (+.f64 x z)))) t)
(*.f64 t (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (/.f64 t (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) t) (+.f64 x z))
(*.f64 t (-.f64 x z))
(pow.f64 (*.f64 (-.f64 x z) t) 1)
(*.f64 t (-.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 (-.f64 x z) t)) 3)
(*.f64 t (-.f64 x z))
(pow.f64 (pow.f64 (*.f64 (-.f64 x z) t) 2) 1/2)
(*.f64 t (-.f64 x z))
(pow.f64 (pow.f64 (*.f64 (-.f64 x z) t) 3) 1/3)
(*.f64 t (-.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 (-.f64 x z) t)) 2)
(*.f64 t (-.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 (-.f64 x z) t) 2))
(*.f64 t (-.f64 x z))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) t))
(*.f64 t (-.f64 x z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 x z) t))))
(*.f64 t (-.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 x z) t) 3))
(*.f64 t (-.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 x z) t)))
(*.f64 t (-.f64 x z))
(exp.f64 (log.f64 (*.f64 (-.f64 x z) t)))
(*.f64 t (-.f64 x z))
(exp.f64 (*.f64 (log.f64 (*.f64 (-.f64 x z) t)) 1))
(*.f64 t (-.f64 x z))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 (-.f64 x z) t)) 1) 1))
(*.f64 t (-.f64 x z))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 (-.f64 x z) t))) 3))
(*.f64 t (-.f64 x z))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 (-.f64 x z) t))) 1/3))
(*.f64 t (-.f64 x z))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 (-.f64 x z) t))) 2))
(*.f64 t (-.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 x z) t)))
(*.f64 t (-.f64 x z))
(fma.f64 x t (*.f64 (neg.f64 z) t))
(*.f64 t (-.f64 x z))
(fma.f64 t x (*.f64 t (neg.f64 z)))
(*.f64 t (-.f64 x z))
(+.f64 0 (*.f64 y (*.f64 (-.f64 x z) t)))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(*.f64 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))) 3)
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))))
(*.f64 y (*.f64 t (-.f64 x z)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 1)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2) 1/2)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3) 1/3)
(*.f64 y (*.f64 t (-.f64 x z)))
(pow.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 2)
(*.f64 y (*.f64 t (-.f64 x z)))
(sqrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 2))
(*.f64 y (*.f64 t (-.f64 x z)))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) (*.f64 y t)))
(*.f64 y (*.f64 t (-.f64 x z)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t)))))
(*.f64 y (*.f64 t (-.f64 x z)))
(cbrt.f64 (pow.f64 (*.f64 y (*.f64 (-.f64 x z) t)) 3))
(*.f64 y (*.f64 t (-.f64 x z)))
(expm1.f64 (log1p.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 1) 1))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 3))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 1/3))
(*.f64 y (*.f64 t (-.f64 x z)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t)))) 2))
(*.f64 y (*.f64 t (-.f64 x z)))
(log1p.f64 (expm1.f64 (*.f64 y (*.f64 (-.f64 x z) t))))
(*.f64 y (*.f64 t (-.f64 x z)))
(+.f64 0 (*.f64 y (-.f64 x z)))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 y x) (*.f64 y (neg.f64 z)))
(*.f64 y (-.f64 x z))
(+.f64 (*.f64 x y) (*.f64 (neg.f64 z) y))
(*.f64 y (-.f64 x z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y)) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))))
(*.f64 y (-.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (-.f64 x z)))) 1)
(*.f64 y (-.f64 x z))
(/.f64 (*.f64 y (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (*.f64 z (+.f64 x z))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (*.f64 z (+.f64 x z)))) y)
(*.f64 y (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (*.f64 y (-.f64 (*.f64 x x) (*.f64 z z))) (+.f64 x z))
(*.f64 y (-.f64 x z))
(/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) y) (fma.f64 x x (*.f64 z (+.f64 x z))))
(/.f64 (*.f64 y (-.f64 (pow.f64 x 3) (pow.f64 z 3))) (fma.f64 x x (*.f64 z (+.f64 x z))))
(*.f64 (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (*.f64 z (+.f64 x z)))) y)
(*.f64 y (/.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) (fma.f64 x x (*.f64 z (+.f64 x z)))))
(/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) y) (+.f64 x z))
(*.f64 y (-.f64 x z))
(pow.f64 (*.f64 y (-.f64 x z)) 1)
(*.f64 y (-.f64 x z))
(pow.f64 (cbrt.f64 (*.f64 y (-.f64 x z))) 3)
(*.f64 y (-.f64 x z))
(pow.f64 (pow.f64 (*.f64 y (-.f64 x z)) 2) 1/2)
(*.f64 y (-.f64 x z))
(pow.f64 (pow.f64 (*.f64 y (-.f64 x z)) 3) 1/3)
(*.f64 y (-.f64 x z))
(pow.f64 (sqrt.f64 (*.f64 y (-.f64 x z))) 2)
(*.f64 y (-.f64 x z))
(sqrt.f64 (pow.f64 (*.f64 y (-.f64 x z)) 2))
(*.f64 y (-.f64 x z))
(log.f64 (pow.f64 (exp.f64 (-.f64 x z)) y))
(*.f64 y (-.f64 x z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 y (-.f64 x z)))))
(*.f64 y (-.f64 x z))
(cbrt.f64 (pow.f64 (*.f64 y (-.f64 x z)) 3))
(*.f64 y (-.f64 x z))
(expm1.f64 (log1p.f64 (*.f64 y (-.f64 x z))))
(*.f64 y (-.f64 x z))
(exp.f64 (log.f64 (*.f64 y (-.f64 x z))))
(*.f64 y (-.f64 x z))
(exp.f64 (*.f64 (log.f64 (*.f64 y (-.f64 x z))) 1))
(*.f64 y (-.f64 x z))
(exp.f64 (*.f64 (*.f64 (log.f64 (*.f64 y (-.f64 x z))) 1) 1))
(*.f64 y (-.f64 x z))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 y (-.f64 x z)))) 3))
(*.f64 y (-.f64 x z))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (*.f64 y (-.f64 x z)))) 1/3))
(*.f64 y (-.f64 x z))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 y (-.f64 x z)))) 2))
(*.f64 y (-.f64 x z))
(log1p.f64 (expm1.f64 (*.f64 y (-.f64 x z))))
(*.f64 y (-.f64 x z))
(fma.f64 y x (*.f64 y (neg.f64 z)))
(*.f64 y (-.f64 x z))
(fma.f64 x y (*.f64 (neg.f64 z) y))
(*.f64 y (-.f64 x z))

eval20.0ms (0.6%)

Compiler

Compiled 1263 to 424 computations (66.4% saved)

prune38.0ms (1.1%)

Pruning

14 alts after pruning (12 fresh and 2 done)

PrunedKeptTotal
New9712109
Fresh000
Picked022
Done000
Total9714111
Accurracy
99.9%
Counts
111 → 14
Alt Table
Click to see full alt table
StatusAccuracyProgram
50.5%
(pow.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 2)
89.6%
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
47.6%
(*.f64 (pow.f64 (sqrt.f64 (*.f64 y (-.f64 x z))) 2) t)
60.1%
(*.f64 (/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) y) (+.f64 x z)) t)
93.5%
(*.f64 (*.f64 y (-.f64 x z)) t)
49.8%
(*.f64 (*.f64 y (neg.f64 z)) t)
57.2%
(*.f64 (*.f64 y x) t)
48.9%
(*.f64 (*.f64 t z) (neg.f64 y))
63.0%
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y (-.f64 x z)) 3)) t)
32.9%
(*.f64 y (/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) t) (fma.f64 x x (*.f64 z (+.f64 x z)))))
56.5%
(*.f64 y (/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) t) (+.f64 x z)))
88.6%
(*.f64 y (+.f64 (*.f64 x t) (*.f64 (neg.f64 z) t)))
90.5%
(*.f64 y (*.f64 (-.f64 x z) t))
55.1%
(*.f64 y (*.f64 t x))
50.5%
(pow.f64 (sqrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 2)
89.6%
(pow.f64 (cbrt.f64 (*.f64 y (*.f64 (-.f64 x z) t))) 3)
47.6%
(*.f64 (pow.f64 (sqrt.f64 (*.f64 y (-.f64 x z))) 2) t)
60.1%
(*.f64 (/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) y) (+.f64 x z)) t)
93.5%
(*.f64 (*.f64 y (-.f64 x z)) t)
49.8%
(*.f64 (*.f64 y (neg.f64 z)) t)
57.2%
(*.f64 (*.f64 y x) t)
48.9%
(*.f64 (*.f64 t z) (neg.f64 y))
63.0%
(*.f64 (cbrt.f64 (pow.f64 (*.f64 y (-.f64 x z)) 3)) t)
32.9%
(*.f64 y (/.f64 (*.f64 (-.f64 (pow.f64 x 3) (pow.f64 z 3)) t) (fma.f64 x x (*.f64 z (+.f64 x z)))))
56.5%
(*.f64 y (/.f64 (*.f64 (-.f64 (*.f64 x x) (*.f64 z z)) t) (+.f64 x z)))
88.6%
(*.f64 y (+.f64 (*.f64 x t) (*.f64 (neg.f64 z) t)))
90.5%
(*.f64 y (*.f64 (-.f64 x z) t))
55.1%
(*.f64 y (*.f64 t x))
Compiler

Compiled 724 to 476 computations (34.3% saved)

localize0.0ms (0%)

Compiler

Compiled 156 to 29 computations (81.4% saved)

end0.0ms (0%)

Profiling

Loading profile data...