Details

Time bar (total: 3.7s)

analyze1.1s (28.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
6.2%93.6%0.2%9
10.9%88.9%0.2%10
13.3%85.8%1%11
17.9%79.3%2.7%12
25.5%70.3%4.1%13
31.7%63.9%4.5%14
Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.3s (34.3%)

Results
977.0ms8256×body128valid
259.0ms2274×body128invalid
Compiler

Compiled 28 to 18 computations (35.7% saved)

preprocess40.0ms (1.1%)

Algorithm
egg-herbie
Rules
505×unsub-neg_binary64
463×div-sub_binary64
427×fma-def_binary64
325×sub-neg_binary64
271×distribute-rgt-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03177
17677
220577
349077
4103477
5221177
6401177
044
Stop Event
saturated
node limit
Calls
Call 1
Inputs
0
1
2
3
Outputs
0
1
2
3
Call 2
Inputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(+.f64 (*.f64 (/.f64 y x) (-.f64 z t)) t)
(+.f64 (*.f64 (/.f64 z y) (-.f64 x t)) t)
(+.f64 (*.f64 (/.f64 t y) (-.f64 z x)) x)
(+.f64 (*.f64 (/.f64 x z) (-.f64 y t)) t)
(+.f64 (*.f64 (/.f64 x t) (-.f64 z y)) y)
(+.f64 (*.f64 (/.f64 x y) (-.f64 t z)) z)
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(+.f64 (*.f64 (/.f64 y x) (-.f64 z t)) t)
(fma.f64 (/.f64 y x) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 y x) t)
(+.f64 (*.f64 (/.f64 z y) (-.f64 x t)) t)
(fma.f64 (/.f64 z y) (-.f64 x t) t)
(fma.f64 (/.f64 (-.f64 x t) y) z t)
(+.f64 (*.f64 (/.f64 t y) (-.f64 z x)) x)
(fma.f64 (/.f64 t y) (-.f64 z x) x)
(+.f64 (*.f64 (/.f64 x z) (-.f64 y t)) t)
(fma.f64 (/.f64 x z) (-.f64 y t) t)
(+.f64 (*.f64 (/.f64 x t) (-.f64 z y)) y)
(fma.f64 (/.f64 x t) (-.f64 z y) y)
(+.f64 (*.f64 (/.f64 x y) (-.f64 t z)) z)
(fma.f64 (/.f64 x y) (-.f64 t z) z)
Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify51.0ms (1.4%)

Algorithm
egg-herbie
Rules
936×fma-def_binary64
721×fma-neg_binary64
220×cancel-sign-sub-inv_binary64
144×distribute-rgt-in_binary64
107×div-sub_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0911
11611
23811
38411
417811
531611
654211
7101511
8198911
9298811
10363011
11366811
12369811
13370311
14370311
Stop Event
saturated
Counts
1 → 2
Calls
Call 1
Inputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Outputs
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.0b
Counts
3 → 2
Alt Table
StatusErrorProgram
4.8b
(fma.f64 x (/.f64 (-.f64 z t) y) t)
2.7b
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Compiler

Compiled 71 to 40 computations (43.7% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series17.0ms (0.5%)

Counts
2 → 96
Calls

24 calls:

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

rewrite66.0ms (1.8%)

Algorithm
batch-egg-rewrite
Rules
360×fma-def_binary64
201×fma-neg_binary64
200×expm1-udef_binary64
200×log1p-udef_binary64
164×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0921
120621
2314021
Stop Event
node limit
Counts
2 → 103
Calls
Call 1
Inputs
(*.f64 (/.f64 x y) (-.f64 z t))
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z (/.f64 x y)) (*.f64 (neg.f64 t) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (/.f64 x y) z) (*.f64 (/.f64 x y) (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (/.f64 x y) (-.f64 z t)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 x (/.f64 y (-.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 z t) (/.f64 y x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 y (*.f64 x (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (*.f64 (/.f64 y x) (fma.f64 t (+.f64 z t) (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (*.f64 (/.f64 y x) (+.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 z t)) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (*.f64 x (-.f64 z t))) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (*.f64 y (fma.f64 t (+.f64 z t) (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) (-.f64 (pow.f64 z 3) (pow.f64 t 3))) (*.f64 (neg.f64 y) (fma.f64 t (+.f64 z t) (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.f64 (*.f64 z z) (*.f64 t t))) (*.f64 y (+.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) (-.f64 (*.f64 z z) (*.f64 t t))) (*.f64 (neg.f64 y) (+.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) x) (*.f64 (fma.f64 t (+.f64 z t) (*.f64 z z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) x) (*.f64 (+.f64 z t) y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) 1) (*.f64 (fma.f64 t (+.f64 z t) (*.f64 z z)) (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) 1) (*.f64 (+.f64 z t) (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (neg.f64 x)) (*.f64 (fma.f64 t (+.f64 z t) (*.f64 z z)) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 z z) (*.f64 t t)) (neg.f64 x)) (*.f64 (+.f64 z t) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x (-.f64 z t)) 1) y)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x (-.f64 z t)) (pow.f64 (cbrt.f64 y) 2)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (*.f64 x (-.f64 z t)) (sqrt.f64 y)) (sqrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (neg.f64 x) (-.f64 z t)) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) (/.f64 x 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)) (/.f64 x y)) (+.f64 z t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (/.f64 x 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 (/.f64 x y) (-.f64 (*.f64 z z) (*.f64 t t))) (+.f64 z t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 z t) (neg.f64 x)) (neg.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (-.f64 z t)) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 x y) (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (/.f64 x y) (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x y) z (*.f64 (/.f64 x y) (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (/.f64 x y) (*.f64 (neg.f64 t) (/.f64 x y)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (/.f64 x y) (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (/.f64 x y) (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2) (fma.f64 (/.f64 x y) (-.f64 z t) (neg.f64 t))) (/.f64 (*.f64 t t) (fma.f64 (/.f64 x y) (-.f64 z t) (neg.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (/.f64 x y) (-.f64 z t) t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) 2) (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 t 3) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3)) (/.f64 1 (fma.f64 t (-.f64 t (*.f64 (/.f64 x y) (-.f64 z t))) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2) (*.f64 t t)) (/.f64 1 (fma.f64 (/.f64 x y) (-.f64 z t) (neg.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 t (-.f64 t (*.f64 (/.f64 x y) (-.f64 z t))) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2)) (+.f64 (pow.f64 t 3) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 (/.f64 x y) (-.f64 z t) (neg.f64 t)) (-.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2) (*.f64 t t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 t 3) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3)) (fma.f64 t (-.f64 t (*.f64 (/.f64 x y) (-.f64 z t))) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 t 3) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3)) (fma.f64 t t (-.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2) (*.f64 (/.f64 x y) (*.f64 (-.f64 z t) t)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2) (*.f64 t t)) (fma.f64 (/.f64 x y) (-.f64 z t) (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 t 3) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 3))) (neg.f64 (fma.f64 t (-.f64 t (*.f64 (/.f64 x y) (-.f64 z t))) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2) (*.f64 t t))) (neg.f64 (fma.f64 (/.f64 x y) (-.f64 z t) (neg.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 t t) (pow.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 2)) (-.f64 t (*.f64 (/.f64 x y) (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 t)) (pow.f64 (exp.f64 (-.f64 z t)) (/.f64 x y))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 t) (+.f64 1 (expm1.f64 (*.f64 (/.f64 x y) (-.f64 z t))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 t)) (+.f64 1 (expm1.f64 (*.f64 (/.f64 x y) (-.f64 z t))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 x y) (-.f64 z t)))) (exp.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (pow.f64 (exp.f64 (-.f64 z t)) (/.f64 x y)) (+.f64 1 (expm1.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (*.f64 (/.f64 x y) (-.f64 z t)))) (+.f64 1 (expm1.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 (/.f64 1 y) (-.f64 z t)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x y) (-.f64 z t) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 t 1 (*.f64 (/.f64 x y) (-.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 z t) (/.f64 x y) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (/.f64 x y) (-.f64 z t)) 1 t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 t (*.f64 (/.f64 x y) (-.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (/.f64 x y) (-.f64 z t)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 2) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) 2) (cbrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 t) (pow.f64 (cbrt.f64 t) 2) (*.f64 (/.f64 x y) (-.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 t) 2) (cbrt.f64 t) (*.f64 (/.f64 x y) (-.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (-.f64 z t) 2)) (*.f64 (cbrt.f64 (-.f64 z t)) (/.f64 x y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (/.f64 x y) 2)) (*.f64 (cbrt.f64 (/.f64 x y)) (-.f64 z t)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) (sqrt.f64 (*.f64 (/.f64 x y) (-.f64 z t))) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 t) (sqrt.f64 t) (*.f64 (/.f64 x y) (-.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (-.f64 z t)) (*.f64 (sqrt.f64 (-.f64 z t)) (/.f64 x y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 x y)) (*.f64 (sqrt.f64 (/.f64 x y)) (-.f64 z t)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 x (-.f64 z t)) (/.f64 1 y) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (sqrt.f64 y)) (/.f64 (-.f64 z t) (sqrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x 1) (/.f64 (-.f64 z t) y) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (pow.f64 (cbrt.f64 y) 2)) (/.f64 (-.f64 z t) (cbrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (/.f64 x y) (cbrt.f64 (pow.f64 (-.f64 z t) 2))) (cbrt.f64 (-.f64 z t)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (/.f64 x y) (sqrt.f64 (-.f64 z t))) (sqrt.f64 (-.f64 z t)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (-.f64 z t) (cbrt.f64 (pow.f64 (/.f64 x y) 2))) (cbrt.f64 (/.f64 x y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (-.f64 z t) (sqrt.f64 (/.f64 x y))) (sqrt.f64 (/.f64 x y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (/.f64 x y) (-.f64 z t) t)) 1))))))

simplify96.0ms (2.6%)

Algorithm
egg-herbie
Rules
855×fma-def_binary64
722×fma-neg_binary64
222×cancel-sign-sub-inv_binary64
151×distribute-rgt-in_binary64
127×unsub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0371020
1951020
2225948
3531948
41100948
52085948
63275948
73792948
83819948
93849948
103854948
113854948
Stop Event
saturated
Counts
199 → 120
Calls
Call 1
Inputs
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 (-.f64 (/.f64 t y) (/.f64 z y)) x))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 (-.f64 1 (/.f64 x y)) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 (-.f64 (/.f64 x y) 1) t))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
Outputs
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(neg.f64 (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 t (neg.f64 x)) y)
(/.f64 x (/.f64 y (neg.f64 t)))
(/.f64 (*.f64 x (neg.f64 t)) y)
(*.f64 t (/.f64 (neg.f64 x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(neg.f64 (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 t (neg.f64 x)) y)
(/.f64 x (/.f64 y (neg.f64 t)))
(/.f64 (*.f64 x (neg.f64 t)) y)
(*.f64 t (/.f64 (neg.f64 x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(neg.f64 (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 t (neg.f64 x)) y)
(/.f64 x (/.f64 y (neg.f64 t)))
(/.f64 (*.f64 x (neg.f64 t)) y)
(*.f64 t (/.f64 (neg.f64 x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(*.f64 -1 (*.f64 (-.f64 (/.f64 t y) (/.f64 z y)) x))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 x (/.f64 (-.f64 z t) y))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 t (/.f64 x (/.f64 y t)))
(-.f64 t (*.f64 t (/.f64 x y)))
(fma.f64 (/.f64 x y) (neg.f64 t) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(*.f64 (-.f64 1 (/.f64 x y)) t)
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 t (/.f64 x (/.f64 y t)))
(-.f64 t (*.f64 t (/.f64 x y)))
(fma.f64 (/.f64 x y) (neg.f64 t) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(*.f64 -1 (*.f64 (-.f64 (/.f64 x y) 1) t))
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 t (/.f64 x (/.f64 y t)))
(-.f64 t (*.f64 t (/.f64 x y)))
(fma.f64 (/.f64 x y) (neg.f64 t) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)

prune67.0ms (1.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1182120
Fresh011
Picked011
Done000
Total1184122
Error
0b
Counts
122 → 4
Alt Table
StatusErrorProgram
7.9b
(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
4.8b
(fma.f64 x (/.f64 (-.f64 z t) y) t)
2.7b
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
2.4b
(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
Compiler

Compiled 1859 to 553 computations (70.3% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

NewErrorProgram
0.0b
(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
6.0b
(/.f64 (-.f64 z t) (/.f64 y x))

series7.0ms (0.2%)

Counts
2 → 96
Calls

24 calls:

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

rewrite67.0ms (1.8%)

Algorithm
batch-egg-rewrite
Rules
400×fma-def_binary64
297×fma-neg_binary64
210×expm1-udef_binary64
210×log1p-udef_binary64
118×add-sqr-sqrt_binary64
Iterations

Useful iterations: 1 (0.0ms)

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

simplify89.0ms (2.4%)

Algorithm
egg-herbie
Rules
855×fma-def_binary64
745×fma-neg_binary64
219×cancel-sign-sub-inv_binary64
151×distribute-rgt-in_binary64
127×unsub-neg_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0371020
1951020
2225948
3530948
41099948
52083948
63294948
73809948
83836948
93866948
103871948
113871948
Stop Event
saturated
Counts
239 → 159
Calls
Call 1
Inputs
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (*.f64 (-.f64 z t) x) y)
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 (-.f64 1 (/.f64 x y)) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 (-.f64 (/.f64 x y) 1) t))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 (-.f64 (/.f64 t y) (/.f64 z y)) x))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
Outputs
(*.f64 -1 (/.f64 (*.f64 t x) y))
(neg.f64 (/.f64 t (/.f64 y x)))
(/.f64 (*.f64 t (neg.f64 x)) y)
(*.f64 t (/.f64 (neg.f64 x) y))
(*.f64 (/.f64 x y) (neg.f64 t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(neg.f64 (/.f64 t (/.f64 y x)))
(/.f64 (*.f64 t (neg.f64 x)) y)
(*.f64 t (/.f64 (neg.f64 x) y))
(*.f64 (/.f64 x y) (neg.f64 t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(neg.f64 (/.f64 t (/.f64 y x)))
(/.f64 (*.f64 t (neg.f64 x)) y)
(*.f64 t (/.f64 (neg.f64 x) y))
(*.f64 (/.f64 x y) (neg.f64 t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(/.f64 (*.f64 (-.f64 z t) x) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 t (/.f64 t (/.f64 y x)))
(*.f64 t (-.f64 1 (/.f64 x y)))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(*.f64 (-.f64 1 (/.f64 x y)) t)
(-.f64 t (/.f64 t (/.f64 y x)))
(-.f64 t (/.f64 (*.f64 t x) y))
(*.f64 t (-.f64 1 (/.f64 x y)))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(*.f64 -1 (*.f64 (-.f64 (/.f64 x y) 1) t))
(-.f64 t (/.f64 t (/.f64 y x)))
(-.f64 t (/.f64 (*.f64 t x) y))
(*.f64 t (-.f64 1 (/.f64 x y)))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(*.f64 -1 (*.f64 (-.f64 (/.f64 t y) (/.f64 z y)) x))
(/.f64 (-.f64 z t) (/.f64 y x))
(*.f64 (/.f64 (-.f64 z t) y) x)
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 (-.f64 z t) (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (-.f64 z t) (/.f64 y x)))
(+.f64 t (*.f64 (/.f64 (-.f64 z t) y) x))
(fma.f64 (/.f64 (-.f64 z t) y) x t)
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 (-.f64 z t) (/.f64 x y) t)

prune85.0ms (2.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New1590159
Fresh022
Picked011
Done011
Total1594163
Error
0b
Counts
163 → 4
Alt Table
StatusErrorProgram
7.9b
(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
4.8b
(fma.f64 x (/.f64 (-.f64 z t) y) t)
2.7b
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
2.4b
(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
Compiler

Compiled 2593 to 696 computations (73.2% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series7.0ms (0.2%)

Counts
1 → 48
Calls

12 calls:

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

rewrite45.0ms (1.2%)

Algorithm
batch-egg-rewrite
Rules
610×prod-diff_binary64
211×fma-def_binary64
174×expm1-udef_binary64
174×log1p-udef_binary64
144×log-pow_binary64
Iterations

Useful iterations: 0 (0.0ms)

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

simplify68.0ms (1.9%)

Algorithm
egg-herbie
Rules
685×fma-neg_binary64
624×fma-def_binary64
169×cancel-sign-sub-inv_binary64
155×distribute-rgt-in_binary64
101×associate-/l*_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
029561
170561
2166552
3387480
4841480
51520480
62454480
73086480
83159480
93221480
103352480
113352480
Stop Event
saturated
Counts
74 → 39
Calls
Call 1
Inputs
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 (-.f64 (/.f64 t y) (/.f64 z y)) x))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 (-.f64 1 (/.f64 x y)) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 (-.f64 (/.f64 x y) 1) t))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
Outputs
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
(*.f64 x (-.f64 (/.f64 z y) (/.f64 t y)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (*.f64 x (-.f64 z t)) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 -1 (*.f64 (-.f64 (/.f64 t y) (/.f64 z y)) x))
(*.f64 x (-.f64 (/.f64 z y) (/.f64 t y)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (*.f64 x (-.f64 z t)) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 t (/.f64 t (/.f64 y x)))
(-.f64 t (*.f64 (/.f64 t y) x))
(-.f64 t (*.f64 t (/.f64 x y)))
(fma.f64 t (/.f64 (neg.f64 x) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(/.f64 x (/.f64 y z))
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(/.f64 x (/.f64 y z))
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(/.f64 x (/.f64 y z))
(*.f64 x (/.f64 z y))
(*.f64 z (/.f64 x y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 (-.f64 1 (/.f64 x y)) t)
(-.f64 t (/.f64 t (/.f64 y x)))
(-.f64 t (*.f64 (/.f64 t y) x))
(-.f64 t (*.f64 t (/.f64 x y)))
(fma.f64 t (/.f64 (neg.f64 x) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 -1 (*.f64 (-.f64 (/.f64 x y) 1) t))
(-.f64 t (/.f64 t (/.f64 y x)))
(-.f64 t (*.f64 (/.f64 t y) x))
(-.f64 t (*.f64 t (/.f64 x y)))
(fma.f64 t (/.f64 (neg.f64 x) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(*.f64 x (-.f64 (/.f64 z y) (/.f64 t y)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (*.f64 x (-.f64 z t)) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)

prune22.0ms (0.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

PrunedKeptTotal
New39039
Fresh011
Picked011
Done022
Total39443
Error
0b
Counts
43 → 4
Alt Table
StatusErrorProgram
7.9b
(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
4.8b
(fma.f64 x (/.f64 (-.f64 z t) y) t)
2.7b
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
2.4b
(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
Compiler

Compiled 529 to 157 computations (70.3% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series9.0ms (0.3%)

Counts
3 → 104
Calls

33 calls:

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

rewrite68.0ms (1.9%)

Algorithm
batch-egg-rewrite
Rules
347×fma-def_binary64
202×fma-neg_binary64
200×expm1-udef_binary64
200×log1p-udef_binary64
164×log-pow_binary64
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
0930
120530
2316628
Stop Event
node limit
Counts
3 → 133
Calls
Call 1
Inputs
(/.f64 (*.f64 (-.f64 z t) x) y)
(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
(*.f64 (-.f64 z t) x)
Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 x (/.f64 y (-.f64 z t))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 z (/.f64 y x)) (/.f64 t (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 z t) (/.f64 1 (/.f64 y x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 z t) (*.f64 x (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 x (*.f64 (-.f64 z t) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 z t) x) (/.f64 1 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (/.f64 y (-.f64 z t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 x (/.f64 y (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) (pow.f64 (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) 2) (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 2) (*.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) (sqrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) (*.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) (/.f64 1 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 z t) (neg.f64 x)) (/.f64 1 (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 y) (*.f64 (-.f64 z t) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 z t) 1) (/.f64 x y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x 1) (/.f64 (-.f64 z t) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 z t) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) 1) (/.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 z t) (cbrt.f64 (*.f64 y y))) (/.f64 x (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (cbrt.f64 (*.f64 y y))) (/.f64 (-.f64 z t) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (*.f64 y y))) (/.f64 (*.f64 (-.f64 z t) x) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 2) (cbrt.f64 (*.f64 y y))) (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) (cbrt.f64 (*.f64 y y))) (/.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) (cbrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 z t) (sqrt.f64 y)) (/.f64 x (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 x (sqrt.f64 y)) (/.f64 (-.f64 z t) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (*.f64 (-.f64 z t) x) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) (sqrt.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 y (*.f64 (-.f64 z t) x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (*.f64 (-.f64 z t) x) (neg.f64 y)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 x (/.f64 y (-.f64 z t))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 x (/.f64 y (-.f64 z t)))) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2) (-.f64 (/.f64 x (/.f64 y (-.f64 z t))) t)) (/.f64 (*.f64 t t) (-.f64 (/.f64 x (/.f64 y (-.f64 z t))) t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (/.f64 (-.f64 z t) y) x t))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)) 2) (cbrt.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)) (sqrt.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (pow.f64 t 3) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3)) (/.f64 1 (fma.f64 t (-.f64 t (/.f64 x (/.f64 y (-.f64 z t)))) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2) (*.f64 t t)) (/.f64 1 (-.f64 (/.f64 x (/.f64 y (-.f64 z t))) t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 t (-.f64 t (/.f64 x (/.f64 y (-.f64 z t)))) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2)) (+.f64 (pow.f64 t 3) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (/.f64 x (/.f64 y (-.f64 z t))) t) (-.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2) (*.f64 t t))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 t 3) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3)) (fma.f64 t (-.f64 t (/.f64 x (/.f64 y (-.f64 z t)))) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 t 3) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3)) (fma.f64 t t (-.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2) (*.f64 t (/.f64 x (/.f64 y (-.f64 z t)))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2) (*.f64 t t)) (-.f64 (/.f64 x (/.f64 y (-.f64 z t))) t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 t 3) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 3))) (neg.f64 (fma.f64 t (-.f64 t (/.f64 x (/.f64 y (-.f64 z t)))) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2) (*.f64 t t))) (neg.f64 (-.f64 (/.f64 x (/.f64 y (-.f64 z t))) t)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 t t) (pow.f64 (/.f64 x (/.f64 y (-.f64 z t))) 2)) (-.f64 t (/.f64 x (/.f64 y (-.f64 z t)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 t)) (exp.f64 (/.f64 x (/.f64 y (-.f64 z t))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 t) (+.f64 1 (expm1.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 t)) (+.f64 1 (expm1.f64 (/.f64 x (/.f64 y (-.f64 z t)))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (/.f64 x (/.f64 y (-.f64 z t))))) (exp.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (exp.f64 (/.f64 x (/.f64 y (-.f64 z t)))) (+.f64 1 (expm1.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (*.f64 (+.f64 1 (expm1.f64 (/.f64 x (/.f64 y (-.f64 z t))))) (+.f64 1 (expm1.f64 t))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 t 1 (/.f64 x (/.f64 y (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 z t) (/.f64 1 (/.f64 y x)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (-.f64 z t) (*.f64 x (/.f64 1 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x (*.f64 (-.f64 z t) (/.f64 1 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (-.f64 z t) x) (/.f64 1 y) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (/.f64 y (-.f64 z t))) 1 t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 t (/.f64 x (/.f64 y (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (/.f64 x (/.f64 y (-.f64 z t))) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) (pow.f64 (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) 2) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) 2) (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 2) (*.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) (/.f64 1 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 t) (pow.f64 (cbrt.f64 t) 2) (/.f64 x (/.f64 y (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 t) 2) (cbrt.f64 t) (/.f64 x (/.f64 y (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) (sqrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) (*.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) (/.f64 1 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 t) (sqrt.f64 t) (/.f64 x (/.f64 y (-.f64 z t))))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (-.f64 z t) (neg.f64 x)) (/.f64 1 (neg.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 y) (*.f64 (-.f64 z t) x) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 z t) 1) (/.f64 x y) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x 1) (/.f64 (-.f64 z t) y) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 z t) y) x t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 2) 1) (/.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) y) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) 1) (/.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) y) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 z t) (cbrt.f64 (*.f64 y y))) (/.f64 x (cbrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (cbrt.f64 (*.f64 y y))) (/.f64 (-.f64 z t) (cbrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (cbrt.f64 (*.f64 y y))) (/.f64 (*.f64 (-.f64 z t) x) (cbrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 2) (cbrt.f64 (*.f64 y y))) (cbrt.f64 (/.f64 x (/.f64 y (-.f64 z t)))) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) (cbrt.f64 (*.f64 y y))) (/.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) (cbrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (-.f64 z t) (sqrt.f64 y)) (/.f64 x (sqrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 x (sqrt.f64 y)) (/.f64 (-.f64 z t) (sqrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (*.f64 (-.f64 z t) x) (sqrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (/.f64 (pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 2) (sqrt.f64 y)) (/.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) (sqrt.f64 y)) t)))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (fma.f64 (/.f64 (-.f64 z t) y) x t)) 1))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 z x) (*.f64 (neg.f64 t) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x z) (*.f64 x (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (*.f64 (-.f64 z t) x))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (pow.f64 z 3) (pow.f64 t 3)) x) (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)) x) (+.f64 z t))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 x (-.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 x (-.f64 (*.f64 z z) (*.f64 t t))) (+.f64 z t))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 z t) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (-.f64 z t) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (-.f64 z t) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (*.f64 (-.f64 z t) x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (*.f64 (-.f64 z t) x) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 x) (-.f64 z t)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 z t) x))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (-.f64 z t) x) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 (-.f64 z t) 3) (pow.f64 x 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (*.f64 (pow.f64 x 3) (pow.f64 (-.f64 z t) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (*.f64 (-.f64 z t) x)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z x (*.f64 (neg.f64 t) x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x z (*.f64 x (neg.f64 t)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (-.f64 z t) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (*.f64 (-.f64 z t) x)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (*.f64 (-.f64 z t) x)) 1))))))

simplify93.0ms (2.6%)

Algorithm
egg-herbie
Rules
898×fma-def_binary64
748×fma-neg_binary64
231×cancel-sign-sub-inv_binary64
131×unsub-neg_binary64
127×distribute-rgt-in_binary64
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
0351016
1941016
22231016
3524944
41101944
52096944
63326944
73773944
83800944
93830944
103835944
113835944
Stop Event
saturated
Counts
237 → 156
Calls
Call 1
Inputs
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 z x) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 (-.f64 1 (/.f64 x y)) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 (-.f64 (/.f64 x y) 1) t))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 (-.f64 (/.f64 t y) (/.f64 z y)) x))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(*.f64 -1 (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 z x)
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 z x)
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 z x)
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 -1 (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 -1 (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
(-.f64 (*.f64 z x) (*.f64 t x))
Outputs
(*.f64 -1 (/.f64 (*.f64 t x) y))
(/.f64 (neg.f64 (*.f64 t x)) y)
(/.f64 (*.f64 x (neg.f64 t)) y)
(*.f64 x (/.f64 (neg.f64 t) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(/.f64 (neg.f64 (*.f64 t x)) y)
(/.f64 (*.f64 x (neg.f64 t)) y)
(*.f64 x (/.f64 (neg.f64 t) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 -1 (/.f64 (*.f64 t x) y))
(/.f64 (neg.f64 (*.f64 t x)) y)
(/.f64 (*.f64 x (neg.f64 t)) y)
(*.f64 x (/.f64 (neg.f64 t) y))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (/.f64 (*.f64 z x) y) (/.f64 (*.f64 t x) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(*.f64 -1 (/.f64 (-.f64 (*.f64 t x) (*.f64 z x)) y))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 t (/.f64 t (/.f64 y x)))
(-.f64 t (*.f64 t (/.f64 x y)))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(/.f64 (*.f64 z x) y)
(/.f64 z (/.f64 y x))
(*.f64 (/.f64 z y) x)
(*.f64 x (/.f64 z y))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 (-.f64 1 (/.f64 x y)) t)
(-.f64 t (/.f64 t (/.f64 y x)))
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 t (*.f64 t (/.f64 x y)))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 -1 (*.f64 (-.f64 (/.f64 x y) 1) t))
(-.f64 t (/.f64 t (/.f64 y x)))
(-.f64 t (/.f64 (*.f64 t x) y))
(-.f64 t (*.f64 t (/.f64 x y)))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 (-.f64 (/.f64 z y) (/.f64 t y)) x)
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 -1 (*.f64 (-.f64 (/.f64 t y) (/.f64 z y)) x))
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(/.f64 (-.f64 (*.f64 z x) (*.f64 t x)) y)
(/.f64 (*.f64 x (-.f64 z t)) y)
(/.f64 x (/.f64 y (-.f64 z t)))
(*.f64 (/.f64 x y) (-.f64 z t))
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
t
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(-.f64 (+.f64 t (/.f64 (*.f64 z x) y)) (/.f64 (*.f64 t x) y))
(+.f64 t (/.f64 (*.f64 x (-.f64 z t)) y))
(+.f64 t (/.f64 x (/.f64 y (-.f64 z t))))
(+.f64 t (*.f64 (/.f64 x y) (-.f64 z t)))
(fma.f64 (/.f64 x y) (-.f64 z t) t)
(fma.f64 x (/.f64 (-.f64 z t) y) t)
(*.f64 -1 (*.f64 t x))
(neg.f64 (*.f64 t x))
(*.f64 x (neg.f64 t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(*.f64 z x)
(*.f64 x z)
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(*.f64 z x)
(*.f64 x z)
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(*.f64 z x)
(*.f64 x z)
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(*.f64 -1 (*.f64 t x))
(neg.f64 (*.f64 t x))
(*.f64 x (neg.f64 t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(*.f64 -1 (*.f64 t x))
(neg.f64 (*.f64 t x))
(*.f64 x (neg.f64 t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))
(-.f64 (*.f64 z x) (*.f64 t x))
(*.f64 x (-.f64 z t))

prune77.0ms (2.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New1560156
Fresh000
Picked011
Done033
Total1564160
Error
0b
Counts
160 → 4
Alt Table
StatusErrorProgram
7.9b
(+.f64 (/.f64 (*.f64 (-.f64 z t) x) y) t)
4.8b
(fma.f64 x (/.f64 (-.f64 z t) y) t)
2.7b
(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
2.4b
(+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t)
Compiler

Compiled 2268 to 656 computations (71.1% saved)

regimes233.0ms (6.4%)

Accuracy

Total 2.1b remaining (99.4%)

Threshold costs 0b (0%)

Counts
25 → 3
Compiler

Compiled 231 to 94 computations (59.3% saved)

bsearch39.0ms (1.1%)

Algorithm
binary-search
Calls

2 calls:

22.0ms
t
17.0ms
t
Steps
ItersPointRange
6.2e-126
∈ [
7.546969385016622e-128
,
2.639341427291604e-117
]
-1.5e-56
∈ [
-9.70220491227418e-55
,
-9.166997691692594e-57
]
Compiler

Compiled 5 to 4 computations (20% saved)

simplify3.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
02047
12347
22847
33047
43147
Stop Event
saturated
Calls
Call 1
Inputs
(if (<=.f64 t -6625676492918941/441711766194596082395824375185729628956870974218904739530401550323154944) (+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t) (if (<=.f64 t 1181325745358835/190536410541747572716161940294993060653600960856016305594430966774009505543198585212421026798308836130360530463953040948208494609331560382464) (fma.f64 x (/.f64 (-.f64 z t) y) t) (fma.f64 (/.f64 x y) (-.f64 z t) t)))
Outputs
(if (<=.f64 t -6625676492918941/441711766194596082395824375185729628956870974218904739530401550323154944) (+.f64 (/.f64 (-.f64 z t) (/.f64 y x)) t) (if (<=.f64 t 1181325745358835/190536410541747572716161940294993060653600960856016305594430966774009505543198585212421026798308836130360530463953040948208494609331560382464) (fma.f64 x (/.f64 (-.f64 z t) y) t) (fma.f64 (/.f64 x y) (-.f64 z t) t)))
(if (<=.f64 t -6625676492918941/441711766194596082395824375185729628956870974218904739530401550323154944) (+.f64 t (/.f64 (-.f64 z t) (/.f64 y x))) (if (<=.f64 t 1181325745358835/190536410541747572716161940294993060653600960856016305594430966774009505543198585212421026798308836130360530463953040948208494609331560382464) (fma.f64 x (/.f64 (-.f64 z t) y) t) (fma.f64 (/.f64 x y) (-.f64 z t) t)))

end67.0ms (1.8%)

Stop Event
done
Compiler

Compiled 125 to 67 computations (46.4% saved)

Profiling

Loading profile data...