Details

Time bar (total: 5.6s)

analyze1.6s (27.8%)

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
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
3.1%96.6%0.2%11
4.7%95.1%0.2%12
8.2%91.6%0.2%13
10.5%88.2%1.3%14
Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.5s (26.9%)

Results
1.1s8256×body128valid
356.0ms2635×body128invalid

preprocess35.0ms (0.6%)

Algorithm
egg-herbie
Rules
504×fma-def_binary64
380×distribute-rgt-in_binary64
345×div-sub_binary64
302×unsub-neg_binary64
282×fma-neg_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
046143
1101143
2207121
3512121
41221121
53304121
055
Stop Event
saturated
node limit
Calls
Call 1
Inputs
0
1
2
3
4
Outputs
0
1
2
3
4
Call 2
Inputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
(+.f64 y (/.f64 (*.f64 x (-.f64 z t)) a))
(+.f64 z (/.f64 (*.f64 y (-.f64 x t)) a))
(+.f64 t (/.f64 (*.f64 y (-.f64 z x)) a))
(+.f64 a (/.f64 (*.f64 y (-.f64 z t)) x))
(+.f64 x (/.f64 (*.f64 z (-.f64 y t)) a))
(+.f64 x (/.f64 (*.f64 t (-.f64 z y)) a))
(+.f64 x (/.f64 (*.f64 a (-.f64 z t)) y))
(+.f64 x (/.f64 (*.f64 y (-.f64 t z)) a))
(+.f64 x (/.f64 (*.f64 y (-.f64 a t)) z))
(+.f64 x (/.f64 (*.f64 y (-.f64 z a)) t))
Outputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 y (/.f64 (*.f64 x (-.f64 z t)) a))
(+.f64 y (/.f64 x (/.f64 a (-.f64 z t))))
(+.f64 y (*.f64 (/.f64 x a) (-.f64 z t)))
(fma.f64 (/.f64 x a) (-.f64 z t) y)
(fma.f64 (-.f64 z t) (/.f64 x a) y)
(+.f64 z (/.f64 (*.f64 y (-.f64 x t)) a))
(+.f64 z (*.f64 (/.f64 y a) (-.f64 x t)))
(fma.f64 (/.f64 y a) (-.f64 x t) z)
(fma.f64 (-.f64 x t) (/.f64 y a) z)
(fma.f64 y (/.f64 (-.f64 x t) a) z)
(+.f64 t (/.f64 (*.f64 y (-.f64 z x)) a))
(+.f64 t (/.f64 y (/.f64 a (-.f64 z x))))
(+.f64 t (*.f64 (/.f64 y a) (-.f64 z x)))
(fma.f64 (/.f64 y a) (-.f64 z x) t)
(fma.f64 (-.f64 z x) (/.f64 y a) t)
(+.f64 a (/.f64 (*.f64 y (-.f64 z t)) x))
(+.f64 a (*.f64 (/.f64 y x) (-.f64 z t)))
(fma.f64 (/.f64 y x) (-.f64 z t) a)
(fma.f64 (-.f64 z t) (/.f64 y x) a)
(+.f64 x (/.f64 (*.f64 z (-.f64 y t)) a))
(+.f64 x (/.f64 z (/.f64 a (-.f64 y t))))
(fma.f64 (/.f64 z a) (-.f64 y t) x)
(fma.f64 (/.f64 (-.f64 y t) a) z x)
(fma.f64 z (/.f64 (-.f64 y t) a) x)
(+.f64 x (/.f64 (*.f64 t (-.f64 z y)) a))
(+.f64 x (*.f64 (/.f64 t a) (-.f64 z y)))
(fma.f64 (/.f64 t a) (-.f64 z y) x)
(fma.f64 (-.f64 z y) (/.f64 t a) x)
(fma.f64 t (/.f64 (-.f64 z y) a) x)
(+.f64 x (/.f64 (*.f64 a (-.f64 z t)) y))
(+.f64 x (/.f64 (*.f64 (-.f64 z t) a) y))
(+.f64 x (*.f64 (/.f64 a y) (-.f64 z t)))
(fma.f64 (/.f64 a y) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 a y) x)
(+.f64 x (/.f64 (*.f64 y (-.f64 t z)) a))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 t z)))
(fma.f64 (/.f64 y a) (-.f64 t z) x)
(fma.f64 (-.f64 t z) (/.f64 y a) x)
(+.f64 x (/.f64 (*.f64 y (-.f64 a t)) z))
(+.f64 x (*.f64 (/.f64 y z) (-.f64 a t)))
(fma.f64 (/.f64 y z) (-.f64 a t) x)
(fma.f64 (/.f64 (-.f64 a t) z) y x)
(fma.f64 y (/.f64 (-.f64 a t) z) x)
(+.f64 x (/.f64 (*.f64 y (-.f64 z a)) t))
(+.f64 x (/.f64 y (/.f64 t (-.f64 z a))))
(+.f64 x (*.f64 (/.f64 y t) (-.f64 z a)))
(fma.f64 (/.f64 y t) (-.f64 z a) x)
(fma.f64 (-.f64 z a) (/.f64 y t) x)
(fma.f64 y (/.f64 (-.f64 z a) t) x)
Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify45.0ms (0.8%)

Algorithm
egg-herbie
Rules
944×fma-def_binary64
719×fma-neg_binary64
235×cancel-sign-sub-inv_binary64
165×distribute-rgt-in_binary64
116×distribute-lft-in_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01013
11613
23111
36511
415111
531511
654611
797311
8185411
9273611
10357211
11374811
12379311
13383811
14383811
Stop Event
saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
Outputs
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
(+.f64 x (/.f64 y (/.f64 a (-.f64 z t))))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)

eval1.0ms (0%)

Compiler

Compiled 22 to 11 computations (50% saved)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.1b
Counts
3 → 2
Alt Table
Click to see full alt table
StatusErrorProgram
6.7b
(fma.f64 y (/.f64 (-.f64 z t) a) x)
4.1b
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
Compiler

Compiled 54 to 34 computations (37% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
0.0b
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
0.0b
(*.f64 y (-.f64 z t))
5.1b
(/.f64 (*.f64 y (-.f64 z t)) a)

series21.0ms (0.4%)

Counts
3 → 120
Calls

36 calls:

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

rewrite65.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
370×fma-def_binary64
218×expm1-udef_binary64
218×log1p-udef_binary64
199×fma-neg_binary64
180×log-pow_binary64
Iterations

Useful iterations: 2 (0.0ms)

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

simplify143.0ms (2.5%)

Algorithm
egg-herbie
Rules
951×fma-neg_binary64
590×fma-def_binary64
288×cancel-sign-sub-inv_binary64
147×distribute-rgt-in_binary64
107×distribute-lft-in_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0311327
1651150
21171058
32211058
44041058
56521058
611491058
718031058
828071058
935841058
1036791058
1136931058
1236981058
1337021058
Stop Event
saturated
Counts
252 → 157
Calls
Call 1
Inputs
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 (-.f64 z t) y)
(*.f64 -1 (*.f64 y t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y z)
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y z)
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y z)
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 -1 (*.f64 y t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 -1 (*.f64 y t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
x
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
x
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
Outputs
(*.f64 -1 (/.f64 (*.f64 y t) a))
(/.f64 (neg.f64 (*.f64 y t)) a)
(/.f64 (*.f64 y (neg.f64 t)) a)
(*.f64 (/.f64 y a) (neg.f64 t))
(*.f64 (neg.f64 t) (/.f64 y a))
(*.f64 t (/.f64 (neg.f64 y) a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 (/.f64 y a) z)
(*.f64 y (/.f64 z a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 (/.f64 y a) z)
(*.f64 y (/.f64 z a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 (/.f64 y a) z)
(*.f64 y (/.f64 z a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(/.f64 (neg.f64 (*.f64 y t)) a)
(/.f64 (*.f64 y (neg.f64 t)) a)
(*.f64 (/.f64 y a) (neg.f64 t))
(*.f64 (neg.f64 t) (/.f64 y a))
(*.f64 t (/.f64 (neg.f64 y) a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(/.f64 (neg.f64 (*.f64 y t)) a)
(/.f64 (*.f64 y (neg.f64 t)) a)
(*.f64 (/.f64 y a) (neg.f64 t))
(*.f64 (neg.f64 t) (/.f64 y a))
(*.f64 t (/.f64 (neg.f64 y) a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 (-.f64 z t) y)
(*.f64 y (-.f64 z t))
(*.f64 -1 (*.f64 y t))
(neg.f64 (*.f64 y t))
(*.f64 y (neg.f64 t))
(*.f64 t (neg.f64 y))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(*.f64 y z)
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(*.f64 y z)
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(*.f64 y z)
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 -1 (*.f64 y t)) (*.f64 y z))
(*.f64 y (-.f64 z t))
(*.f64 -1 (*.f64 y t))
(neg.f64 (*.f64 y t))
(*.f64 y (neg.f64 t))
(*.f64 t (neg.f64 y))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(*.f64 -1 (*.f64 y t))
(neg.f64 (*.f64 y t))
(*.f64 y (neg.f64 t))
(*.f64 t (neg.f64 y))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t)))
(*.f64 y (-.f64 z t))
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
x
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y)
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
(fma.f64 -1 (/.f64 y (/.f64 a t)) x)
(-.f64 x (*.f64 (/.f64 y a) t))
(-.f64 x (*.f64 t (/.f64 y a)))
(fma.f64 t (/.f64 (neg.f64 y) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 (/.f64 y a) z)
(*.f64 y (/.f64 z a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 (/.f64 y a) z)
(*.f64 y (/.f64 z a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) x)
(+.f64 (/.f64 y (/.f64 a z)) x)
(+.f64 (*.f64 (/.f64 y a) z) x)
(fma.f64 (/.f64 y a) z x)
(fma.f64 z (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(*.f64 -1 (/.f64 (*.f64 y t) a))
(/.f64 (neg.f64 (*.f64 y t)) a)
(/.f64 (*.f64 y (neg.f64 t)) a)
(*.f64 (/.f64 y a) (neg.f64 t))
(*.f64 (neg.f64 t) (/.f64 y a))
(*.f64 t (/.f64 (neg.f64 y) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(*.f64 -1 (/.f64 (*.f64 y t) a))
(/.f64 (neg.f64 (*.f64 y t)) a)
(/.f64 (*.f64 y (neg.f64 t)) a)
(*.f64 (/.f64 y a) (neg.f64 t))
(*.f64 (neg.f64 t) (/.f64 y a))
(*.f64 t (/.f64 (neg.f64 y) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (neg.f64 (*.f64 y t)) a) (/.f64 y (/.f64 a z)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(*.f64 (-.f64 z t) (/.f64 y a))
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
x
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 y (/.f64 a (-.f64 z t))) x)
(+.f64 (*.f64 (/.f64 y a) (-.f64 z t)) x)
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 (-.f64 z t) (/.f64 y a) x)

eval84.0ms (1.5%)

Compiler

Compiled 2227 to 638 computations (71.4% saved)

prune409.0ms (7.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New1534157
Fresh101
Picked101
Done000
Total1554159
Error
0b
Counts
159 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
4.1b
(+.f64 x (+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a))))
6.7b
(fma.f64 y (*.f64 (-.f64 z t) (/.f64 1 a)) x)
6.0b
(+.f64 x (pow.f64 (/.f64 (/.f64 a (-.f64 z t)) y) -1))
2.0b
(fma.f64 (-.f64 z t) (/.f64 y a) x)
Compiler

Compiled 128 to 84 computations (34.4% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
1.8b
(fma.f64 (-.f64 z t) (/.f64 y a) x)

series8.0ms (0.1%)

Counts
1 → 60
Calls

15 calls:

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

rewrite42.0ms (0.7%)

Algorithm
batch-egg-rewrite
Rules
499×log-prod_binary64
446×prod-diff_binary64
200×fma-def_binary64
188×expm1-udef_binary64
188×log1p-udef_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify78.0ms (1.4%)

Algorithm
egg-herbie
Rules
890×fma-neg_binary64
542×fma-def_binary64
252×cancel-sign-sub-inv_binary64
135×distribute-rgt-in_binary64
90×distribute-lft-in_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0271010
156694
2106590
3203590
4380590
5613590
61062590
71679590
82632590
93354590
103449590
113463590
123468590
133472590
Stop Event
saturated
Counts
89 → 46
Calls
Call 1
Inputs
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
x
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
x
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
Outputs
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
(fma.f64 -1 (/.f64 y (/.f64 a t)) x)
(-.f64 x (*.f64 (/.f64 y a) t))
(-.f64 x (/.f64 (*.f64 y t) a))
(-.f64 x (*.f64 y (/.f64 t a)))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 y (/.f64 z a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 y (/.f64 z a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) x)
(+.f64 x (/.f64 y (/.f64 a z)))
(fma.f64 (/.f64 y a) z x)
(fma.f64 y (/.f64 z a) x)
(fma.f64 z (/.f64 y a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 y (/.f64 a t)))
(/.f64 (neg.f64 y) (/.f64 a t))
(*.f64 y (/.f64 (neg.f64 t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 y (/.f64 a t)))
(/.f64 (neg.f64 y) (/.f64 a t))
(*.f64 y (/.f64 (neg.f64 t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y)
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 (-.f64 (/.f64 z a) (/.f64 t a)) y) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y (-.f64 z t)) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(/.f64 (*.f64 y (-.f64 z t)) a)
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 (-.f64 z t) y) a) x)
(+.f64 (fma.f64 -1 (/.f64 y (/.f64 a t)) x) (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 y (/.f64 (-.f64 z t) a) x)

eval8.0ms (0.1%)

Compiler

Compiled 563 to 133 computations (76.4% saved)

prune35.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New45146
Fresh123
Picked011
Done000
Total46450
Error
0b
Counts
50 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
6.7b
(fma.f64 y (*.f64 (-.f64 z t) (/.f64 1 a)) x)
6.0b
(+.f64 x (pow.f64 (/.f64 (/.f64 a (-.f64 z t)) y) -1))
4.1b
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
2.0b
(fma.f64 (-.f64 z t) (/.f64 y a) x)
Compiler

Compiled 115 to 76 computations (33.9% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
0.0b
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
4.2b
(/.f64 (*.f64 y z) a)
6.1b
(/.f64 (*.f64 y t) a)

series24.0ms (0.4%)

Counts
4 → 39
Calls

45 calls:

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

rewrite88.0ms (1.6%)

Algorithm
batch-egg-rewrite
Rules
271×log1p-udef_binary64
163×add-sqr-sqrt_binary64
161×*-un-lft-identity_binary64
161×pow1_binary64
150×add-cbrt-cube_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify62.0ms (1.1%)

Algorithm
egg-herbie
Rules
730×fma-neg_binary64
692×fma-def_binary64
232×cancel-sign-sub-inv_binary64
153×distribute-rgt-in_binary64
129×unsub-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
034354
196337
2245311
3486287
41019287
51941287
62972287
73565287
83659287
93677287
103681287
113681287
Stop Event
saturated
Counts
232 → 211
Calls
Call 1
Inputs
x
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a)))
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a)))))
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
(/.f64 (*.f64 y z) a)
(/.f64 (*.f64 y z) a)
(/.f64 (+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t))) a)
x
x
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(+.f64 (/.f64 (*.f64 y z) a) x)
(*.f64 -1 (/.f64 (*.f64 y t) a))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
x
x
x
(*.f64 -1 (/.f64 (*.f64 y t) a))
(*.f64 -1 (/.f64 (*.f64 y t) a))
x
(*.f64 -1 (/.f64 (*.f64 y t) a))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(*.f64 -1 (/.f64 (*.f64 y t) a))
x
x
(*.f64 -1 (/.f64 (*.f64 y t) a))
x
x
Outputs
x
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a)))
(*.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)))
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a)))))
(*.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)))
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
(fma.f64 -1 (/.f64 (*.f64 y t) a) x)
(-.f64 x (*.f64 y (/.f64 t a)))
(-.f64 x (*.f64 t (/.f64 y a)))
(fma.f64 (/.f64 t a) (neg.f64 y) x)
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 y (/.f64 z a))
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 y (/.f64 z a))
(/.f64 (+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t))) a)
(*.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)))
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
x
x
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) x)
(+.f64 x (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 y (/.f64 z a)))
(fma.f64 (/.f64 y a) z x)
(fma.f64 z (/.f64 y a) x)
(fma.f64 y (/.f64 z a) x)
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 (*.f64 y t) a))
(*.f64 y (/.f64 (neg.f64 t) a))
(*.f64 t (neg.f64 (/.f64 y a)))
(*.f64 (/.f64 t a) (neg.f64 y))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 (*.f64 y t) a))
(*.f64 y (/.f64 (neg.f64 t) a))
(*.f64 t (neg.f64 (/.f64 y a)))
(*.f64 (/.f64 t a) (neg.f64 y))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(*.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)))
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
x
x
x
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 (*.f64 y t) a))
(*.f64 y (/.f64 (neg.f64 t) a))
(*.f64 t (neg.f64 (/.f64 y a)))
(*.f64 (/.f64 t a) (neg.f64 y))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 (*.f64 y t) a))
(*.f64 y (/.f64 (neg.f64 t) a))
(*.f64 t (neg.f64 (/.f64 y a)))
(*.f64 (/.f64 t a) (neg.f64 y))
x
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 (*.f64 y t) a))
(*.f64 y (/.f64 (neg.f64 t) a))
(*.f64 t (neg.f64 (/.f64 y a)))
(*.f64 (/.f64 t a) (neg.f64 y))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 (*.f64 y t) a))
(*.f64 y (/.f64 (neg.f64 t) a))
(*.f64 t (neg.f64 (/.f64 y a)))
(*.f64 (/.f64 t a) (neg.f64 y))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 (*.f64 y t) a))
(*.f64 y (/.f64 (neg.f64 t) a))
(*.f64 t (neg.f64 (/.f64 y a)))
(*.f64 (/.f64 t a) (neg.f64 y))
x
x
(*.f64 -1 (/.f64 (*.f64 y t) a))
(neg.f64 (/.f64 (*.f64 y t) a))
(*.f64 y (/.f64 (neg.f64 t) a))
(*.f64 t (neg.f64 (/.f64 y a)))
(*.f64 (/.f64 t a) (neg.f64 y))
x
x

eval64.0ms (1.1%)

Compiler

Compiled 4754 to 1375 computations (71.1% saved)

prune586.0ms (10.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New2101211
Fresh112
Picked011
Done011
Total2114215
Error
0b
Counts
215 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
4.1b
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
5.8b
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (*.f64 y (*.f64 t (/.f64 1 a)))) x))
6.0b
(+.f64 x (pow.f64 (/.f64 (/.f64 a (-.f64 z t)) y) -1))
2.0b
(fma.f64 (-.f64 z t) (/.f64 y a) x)
Compiler

Compiled 109 to 73 computations (33% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (*.f64 y (*.f64 t (/.f64 1 a)))) x))
0.3b
(*.f64 t (/.f64 1 a))
4.2b
(/.f64 (*.f64 y z) a)
5.6b
(*.f64 y (*.f64 t (/.f64 1 a)))

series10.0ms (0.2%)

Counts
3 → 120
Calls

30 calls:

TimeVariablePointExpression
0.0ms
a
@-inf
(*.f64 t (/.f64 1 a))
0.0ms
a
@0
(*.f64 t (/.f64 1 a))
0.0ms
t
@-inf
(*.f64 t (/.f64 1 a))
0.0ms
t
@inf
(*.f64 t (/.f64 1 a))
0.0ms
t
@0
(*.f64 t (/.f64 1 a))

rewrite41.0ms (0.7%)

Algorithm
batch-egg-rewrite
Rules
176×add-sqr-sqrt_binary64
173×*-un-lft-identity_binary64
173×pow1_binary64
162×add-cbrt-cube_binary64
161×add-exp-log_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify107.0ms (1.9%)

Algorithm
egg-herbie
Rules
730×fma-neg_binary64
704×fma-def_binary64
230×cancel-sign-sub-inv_binary64
153×distribute-rgt-in_binary64
131×unsub-neg_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0351137
1991087
22481028
3492938
41021938
51948938
62992938
73578938
83672938
93690938
103694938
113694938
Stop Event
saturated
Counts
221 → 121
Calls
Call 1
Inputs
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 (*.f64 y t) a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
x
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a)))
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a)))))
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(/.f64 (*.f64 y z) a)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(/.f64 (+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t))) a)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
x
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
x
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(+.f64 (/.f64 (*.f64 y z) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(*.f64 -1 (/.f64 (*.f64 y t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
x
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
x
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
Outputs
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 (*.f64 y t) a)
(/.f64 y (/.f64 a t))
(*.f64 y (/.f64 t a))
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
(/.f64 t a)
x
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a)))
(*.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)))
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 y (+.f64 (*.f64 -1 (/.f64 t a)) (/.f64 z a))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a)))))
(*.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)))
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (*.f64 y (+.f64 (/.f64 t a) (*.f64 -1 (/.f64 z a))))) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x)
(fma.f64 -1 (/.f64 y (/.f64 a t)) x)
(-.f64 x (/.f64 (*.f64 y t) a))
(-.f64 x (*.f64 y (/.f64 t a)))
(fma.f64 (/.f64 t a) (neg.f64 y) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 y (/.f64 z a))
(*.f64 z (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(/.f64 (*.f64 y z) a)
(/.f64 y (/.f64 a z))
(*.f64 y (/.f64 z a))
(*.f64 z (/.f64 y a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(/.f64 (+.f64 (*.f64 y z) (*.f64 -1 (*.f64 y t))) a)
(*.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)))
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (*.f64 -1 (/.f64 (+.f64 (*.f64 -1 (*.f64 y z)) (*.f64 y t)) a)) x)
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) x)
(+.f64 x (/.f64 y (/.f64 a z)))
(+.f64 x (*.f64 y (/.f64 z a)))
(fma.f64 y (/.f64 z a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 -1 (/.f64 (*.f64 y t) a))
(/.f64 (neg.f64 (*.f64 y t)) a)
(*.f64 (/.f64 t a) (neg.f64 y))
(*.f64 y (/.f64 (neg.f64 t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(*.f64 -1 (/.f64 (*.f64 y t) a))
(/.f64 (neg.f64 (*.f64 y t)) a)
(*.f64 (/.f64 t a) (neg.f64 y))
(*.f64 y (/.f64 (neg.f64 t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a)))
(*.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)))
(*.f64 y (-.f64 (/.f64 z a) (/.f64 t a)))
(*.f64 (/.f64 y a) (-.f64 z t))
(*.f64 y (/.f64 (-.f64 z t) a))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
x
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(fma.f64 y (fma.f64 -1 (/.f64 t a) (/.f64 z a)) x)
(fma.f64 y (-.f64 (/.f64 z a) (/.f64 t a)) x)
(+.f64 x (*.f64 (/.f64 y a) (-.f64 z t)))
(fma.f64 (/.f64 y a) (-.f64 z t) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)

eval58.0ms (1%)

Compiler

Compiled 3725 to 1285 computations (65.5% saved)

prune337.0ms (6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New1630163
Fresh011
Picked011
Done022
Total1634167
Error
0b
Counts
167 → 4
Alt Table
Click to see full alt table
StatusErrorProgram
4.1b
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
5.8b
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (*.f64 y (*.f64 t (/.f64 1 a)))) x))
6.0b
(+.f64 x (pow.f64 (/.f64 (/.f64 a (-.f64 z t)) y) -1))
2.0b
(fma.f64 (-.f64 z t) (/.f64 y a) x)
Compiler

Compiled 71 to 47 computations (33.8% saved)

regimes139.0ms (2.5%)

Accuracy

Total -12.5b remaining (-3636.2%)

Threshold costs -12.5b (-3636.2%)

Counts
8 → 3
Calls
Call 1
Inputs
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (*.f64 y (*.f64 t (/.f64 1 a)))) x))
(+.f64 (/.f64 (*.f64 y z) a) (+.f64 (*.f64 -1 (/.f64 (*.f64 y t) a)) x))
(+.f64 x (+.f64 (/.f64 (*.f64 y z) a) (*.f64 -1 (/.f64 (*.f64 y t) a))))
(fma.f64 y (*.f64 (-.f64 z t) (/.f64 1 a)) x)
(+.f64 x (pow.f64 (/.f64 (/.f64 a (-.f64 z t)) y) -1))
(fma.f64 (-.f64 z t) (/.f64 y a) x)
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
Outputs
(fma.f64 y (/.f64 (-.f64 z t) a) x)
(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
(fma.f64 y (*.f64 (-.f64 z t) (/.f64 1 a)) x)
Results
TimeErrorSegmentsBranch
6.0ms2.0b1x
16.0ms0.6b3y
5.0ms2.0b1z
6.0ms2.0b1t
16.0ms0.6b3a
17.0ms0.3b3(+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a))
49.0ms0.3b3(/.f64 (*.f64 y (-.f64 z t)) a)
15.0ms0.3b3(*.f64 y (-.f64 z t))
5.0ms2.0b1(-.f64 z t)
Compiler

Compiled 172 to 97 computations (43.6% saved)

bsearch0.0ms (0%)

Algorithm
left-value
Steps
TimePointRange
0.0ms
1e+149
∈ [
7.740957426895767e+148
,
4.187979794861434e+149
]
0.0ms
-5e+198
∈ [
-8.545106506519505e+198
,
-7.600774559571502e+196
]
Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify3.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
02362
13062
23462
33662
43762
Stop Event
saturated
Calls
Call 1
Inputs
(if (<=.f64 (*.f64 y (-.f64 z t)) -5000000000000000486031202442672326724878364240237470927923828819955650261110669617194088753258003880396378339073836923076302170214215142647864457235610681184975154073244321423156615667780219280818176) (fma.f64 y (/.f64 (-.f64 z t) a) x) (if (<=.f64 (*.f64 y (-.f64 z t)) 100000000000000004897672657515052057957222700353074388874504237459016826359338475616123152924727646379311306468151027676205343291866258521710227619840) (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)) (fma.f64 y (*.f64 (-.f64 z t) (/.f64 1 a)) x)))
Outputs
(if (<=.f64 (*.f64 y (-.f64 z t)) -5000000000000000486031202442672326724878364240237470927923828819955650261110669617194088753258003880396378339073836923076302170214215142647864457235610681184975154073244321423156615667780219280818176) (fma.f64 y (/.f64 (-.f64 z t) a) x) (if (<=.f64 (*.f64 y (-.f64 z t)) 100000000000000004897672657515052057957222700353074388874504237459016826359338475616123152924727646379311306468151027676205343291866258521710227619840) (+.f64 x (/.f64 (*.f64 y (-.f64 z t)) a)) (fma.f64 y (*.f64 (-.f64 z t) (/.f64 1 a)) x)))

end25.0ms (0.4%)

Stop Event
fuel
Compiler

Compiled 96 to 42 computations (56.3% saved)

Profiling

Loading profile data...