0.598 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.088 * * * [progress]: [2/2] Setting up program.
0.092 * [progress]: [Phase 2 of 3] Improving.
0.094 * [simplify]: Simplifying:
  (+ x (* y (- z x)))
0.095 * * [simplify]: Extracting # 0 : cost  0
0.095 * * [simplify]: Extracting # 1 : cost  0
0.095 * * [simplify]: Extracting # 2 : cost  0
0.095 * * [simplify]: Extracting # 3 : cost  0
0.095 * * [simplify]: Extracting # 4 : cost  0
0.095 * * [simplify]: Extracting # 5 : cost  0
0.095 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.099 * * [simplify]: Extracting # 0 : cost  0
0.099 * * [simplify]: Extracting # 1 : cost  0
0.099 * * [simplify]: Extracting # 2 : cost  0
0.099 * * [simplify]: iteration  1 :  10  enodes  (cost  7 )
0.101 * * [simplify]: Extracting # 0 : cost  0
0.101 * * [simplify]: Extracting # 1 : cost  0
0.101 * * [simplify]: Extracting # 2 : cost  0
0.101 * * [simplify]: iteration  2 :  19  enodes  (cost  6 )
0.106 * * [simplify]: Extracting # 0 : cost  0
0.106 * * [simplify]: Extracting # 1 : cost  0
0.106 * * [simplify]: Extracting # 2 : cost  0
0.106 * * [simplify]: iteration  3 :  35  enodes  (cost  6 )
0.112 * * [simplify]: Extracting # 0 : cost  0
0.112 * * [simplify]: Extracting # 1 : cost  0
0.112 * * [simplify]: Extracting # 2 : cost  0
0.113 * * [simplify]: iteration  4 :  52  enodes  (cost  6 )
0.122 * * [simplify]: Extracting # 0 : cost  0
0.122 * * [simplify]: Extracting # 1 : cost  0
0.123 * * [simplify]: Extracting # 2 : cost  0
0.123 * * [simplify]: Extracting # 3 : cost  0
0.123 * * [simplify]: Extracting # 4 : cost  0
0.123 * * [simplify]: iteration  5 :  69  enodes  (cost  6 )
0.167 * * [simplify]: Extracting # 0 : cost  0
0.167 * * [simplify]: Extracting # 1 : cost  0
0.167 * * [simplify]: Extracting # 2 : cost  0
0.168 * * [simplify]: iteration  6 :  83  enodes  (cost  6 )
0.183 * * [simplify]: Extracting # 0 : cost  0
0.183 * * [simplify]: Extracting # 1 : cost  0
0.183 * * [simplify]: Extracting # 2 : cost  0
0.183 * * [simplify]: Extracting # 3 : cost  0
0.183 * * [simplify]: iteration  7 :  104  enodes  (cost  6 )
0.240 * * [simplify]: Extracting # 0 : cost  0
0.240 * * [simplify]: Extracting # 1 : cost  0
0.240 * * [simplify]: Extracting # 2 : cost  0
0.241 * * [simplify]: iteration  8 :  140  enodes  (cost  6 )
0.289 * * [simplify]: Extracting # 0 : cost  0
0.289 * * [simplify]: Extracting # 1 : cost  0
0.289 * * [simplify]: Extracting # 2 : cost  0
0.290 * * [simplify]: iteration  9 :  178  enodes  (cost  6 )
0.345 * * [simplify]: Extracting # 0 : cost  0
0.346 * * [simplify]: Extracting # 1 : cost  0
0.346 * * [simplify]: Extracting # 2 : cost  0
0.346 * * [simplify]: iteration  10 :  227  enodes  (cost  6 )
0.389 * * [simplify]: Extracting # 0 : cost  0
0.389 * * [simplify]: Extracting # 1 : cost  0
0.389 * * [simplify]: Extracting # 2 : cost  0
0.389 * * [simplify]: iteration  11 :  253  enodes  (cost  6 )
0.436 * * [simplify]: Extracting # 0 : cost  0
0.437 * * [simplify]: Extracting # 1 : cost  0
0.437 * * [simplify]: Extracting # 2 : cost  0
0.437 * * [simplify]: iteration  12 :  269  enodes  (cost  6 )
0.488 * * [simplify]: Extracting # 0 : cost  0
0.488 * * [simplify]: Extracting # 1 : cost  0
0.488 * * [simplify]: Extracting # 2 : cost  0
0.489 * * [simplify]: iteration  13 :  291  enodes  (cost  6 )
0.548 * * [simplify]: Extracting # 0 : cost  0
0.549 * * [simplify]: Extracting # 1 : cost  0
0.549 * * [simplify]: Extracting # 2 : cost  0
0.549 * * [simplify]: Extracting # 3 : cost  0
0.549 * * [simplify]: iteration  14 :  312  enodes  (cost  6 )
0.656 * * [simplify]: Extracting # 0 : cost  0
0.656 * * [simplify]: Extracting # 1 : cost  0
0.656 * * [simplify]: Extracting # 2 : cost  0
0.656 * * [simplify]: iteration  15 :  341  enodes  (cost  6 )
0.824 * * [simplify]: Extracting # 0 : cost  0
0.825 * * [simplify]: Extracting # 1 : cost  0
0.825 * * [simplify]: Extracting # 2 : cost  0
0.826 * * [simplify]: iteration  16 :  429  enodes  (cost  6 )
1.037 * * [simplify]: Extracting # 0 : cost  0
1.038 * * [simplify]: Extracting # 1 : cost  0
1.038 * * [simplify]: Extracting # 2 : cost  0
1.039 * * [simplify]: iteration  17 :  505  enodes  (cost  6 )
1.369 * * [simplify]: Extracting # 0 : cost  0
1.370 * * [simplify]: Extracting # 1 : cost  0
1.371 * * [simplify]: Extracting # 2 : cost  0
1.372 * * [simplify]: iteration  18 :  616  enodes  (cost  6 )
1.624 * * [simplify]: Extracting # 0 : cost  0
1.625 * * [simplify]: Extracting # 1 : cost  0
1.625 * * [simplify]: Extracting # 2 : cost  0
1.625 * * [simplify]: iteration  19 :  678  enodes  (cost  6 )
2.037 * * [simplify]: Extracting # 0 : cost  0
2.038 * * [simplify]: Extracting # 1 : cost  0
2.038 * * [simplify]: iteration  20 :  760  enodes  (cost  6 )
2.370 * * [simplify]: Extracting # 0 : cost  0
2.370 * * [simplify]: iteration  21 :  770  enodes  (cost  6 )
2.792 * * [simplify]: Extracting # 0 : cost  0
2.793 * * [simplify]: iteration  22 :  772  enodes  (cost  6 )
3.161 * * [simplify]: Extracting # 0 : cost  0
3.162 * * [simplify]: iteration done:  772  enodes  (cost  6 )
3.162 * [simplify]: Simplified to:
  (fma (- z x) y x)
3.167 * * [progress]: iteration 1 / 4
3.167 * * * [progress]: picking best candidate
3.169 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- z x) y x))>
3.169 * * * [progress]: localizing error
3.177 * * * [progress]: generating rewritten candidates
3.177 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
3.181 * * * [progress]: generating series expansions
3.181 * * * * [progress]: [ 1 / 1 ] generating series at (2)
3.184 * [backup-simplify]: Simplify (fma (- z x) y x) into (fma (- z x) y x)
3.184 * [approximate]: Taking taylor expansion of (fma (- z x) y x) in (z x y) around 0
3.185 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in y
3.186 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
3.186 * [taylor]: Taking taylor expansion of (* (- z x) y) in y
3.186 * [taylor]: Taking taylor expansion of (- z x) in y
3.187 * [taylor]: Taking taylor expansion of z in y
3.187 * [backup-simplify]: Simplify z into z
3.187 * [taylor]: Taking taylor expansion of x in y
3.187 * [backup-simplify]: Simplify x into x
3.187 * [taylor]: Taking taylor expansion of y in y
3.187 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify 1 into 1
3.187 * [taylor]: Taking taylor expansion of x in y
3.187 * [backup-simplify]: Simplify x into x
3.187 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in x
3.187 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
3.187 * [taylor]: Taking taylor expansion of (* (- z x) y) in x
3.187 * [taylor]: Taking taylor expansion of (- z x) in x
3.187 * [taylor]: Taking taylor expansion of z in x
3.187 * [backup-simplify]: Simplify z into z
3.187 * [taylor]: Taking taylor expansion of x in x
3.187 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify 1 into 1
3.187 * [taylor]: Taking taylor expansion of y in x
3.187 * [backup-simplify]: Simplify y into y
3.187 * [taylor]: Taking taylor expansion of x in x
3.187 * [backup-simplify]: Simplify 0 into 0
3.187 * [backup-simplify]: Simplify 1 into 1
3.187 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
3.188 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
3.188 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
3.188 * [taylor]: Taking taylor expansion of (- z x) in z
3.188 * [taylor]: Taking taylor expansion of z in z
3.188 * [backup-simplify]: Simplify 0 into 0
3.188 * [backup-simplify]: Simplify 1 into 1
3.188 * [taylor]: Taking taylor expansion of x in z
3.188 * [backup-simplify]: Simplify x into x
3.188 * [taylor]: Taking taylor expansion of y in z
3.188 * [backup-simplify]: Simplify y into y
3.188 * [taylor]: Taking taylor expansion of x in z
3.188 * [backup-simplify]: Simplify x into x
3.188 * [taylor]: Taking taylor expansion of (fma (- z x) y x) in z
3.188 * [taylor]: Rewrote expression to (+ (* (- z x) y) x)
3.188 * [taylor]: Taking taylor expansion of (* (- z x) y) in z
3.188 * [taylor]: Taking taylor expansion of (- z x) in z
3.188 * [taylor]: Taking taylor expansion of z in z
3.188 * [backup-simplify]: Simplify 0 into 0
3.188 * [backup-simplify]: Simplify 1 into 1
3.188 * [taylor]: Taking taylor expansion of x in z
3.188 * [backup-simplify]: Simplify x into x
3.188 * [taylor]: Taking taylor expansion of y in z
3.188 * [backup-simplify]: Simplify y into y
3.188 * [taylor]: Taking taylor expansion of x in z
3.188 * [backup-simplify]: Simplify x into x
3.189 * [backup-simplify]: Simplify (- x) into (- x)
3.189 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
3.191 * [backup-simplify]: Simplify (* (- x) y) into (* -1 (* x y))
3.192 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
3.192 * [taylor]: Taking taylor expansion of (- x (* x y)) in x
3.192 * [taylor]: Taking taylor expansion of x in x
3.192 * [backup-simplify]: Simplify 0 into 0
3.192 * [backup-simplify]: Simplify 1 into 1
3.192 * [taylor]: Taking taylor expansion of (* x y) in x
3.192 * [taylor]: Taking taylor expansion of x in x
3.192 * [backup-simplify]: Simplify 0 into 0
3.192 * [backup-simplify]: Simplify 1 into 1
3.192 * [taylor]: Taking taylor expansion of y in x
3.193 * [backup-simplify]: Simplify y into y
3.193 * [backup-simplify]: Simplify (* 0 y) into 0
3.193 * [backup-simplify]: Simplify (- 0) into 0
3.194 * [backup-simplify]: Simplify (+ 0 0) into 0
3.194 * [taylor]: Taking taylor expansion of 0 in y
3.194 * [backup-simplify]: Simplify 0 into 0
3.194 * [backup-simplify]: Simplify 0 into 0
3.195 * [backup-simplify]: Simplify (- 0) into 0
3.195 * [backup-simplify]: Simplify (+ 1 0) into 1
3.195 * [backup-simplify]: Simplify (+ (* (- x) 0) (* 1 y)) into y
3.195 * [backup-simplify]: Simplify (+ y 0) into y
3.195 * [taylor]: Taking taylor expansion of y in x
3.195 * [backup-simplify]: Simplify y into y
3.195 * [taylor]: Taking taylor expansion of y in y
3.195 * [backup-simplify]: Simplify 0 into 0
3.195 * [backup-simplify]: Simplify 1 into 1
3.195 * [backup-simplify]: Simplify 0 into 0
3.196 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.196 * [backup-simplify]: Simplify (- y) into (- y)
3.196 * [backup-simplify]: Simplify (+ 1 (- y)) into (- 1 y)
3.196 * [taylor]: Taking taylor expansion of (- 1 y) in y
3.196 * [taylor]: Taking taylor expansion of 1 in y
3.196 * [backup-simplify]: Simplify 1 into 1
3.196 * [taylor]: Taking taylor expansion of y in y
3.196 * [backup-simplify]: Simplify 0 into 0
3.196 * [backup-simplify]: Simplify 1 into 1
3.197 * [backup-simplify]: Simplify (- 0) into 0
3.197 * [backup-simplify]: Simplify (+ 1 0) into 1
3.197 * [backup-simplify]: Simplify 1 into 1
3.197 * [backup-simplify]: Simplify 0 into 0
3.198 * [backup-simplify]: Simplify (- 0) into 0
3.198 * [backup-simplify]: Simplify (+ 0 0) into 0
3.199 * [backup-simplify]: Simplify (+ (* (- x) 0) (+ (* 1 0) (* 0 y))) into 0
3.199 * [backup-simplify]: Simplify (+ 0 0) into 0
3.199 * [taylor]: Taking taylor expansion of 0 in x
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [taylor]: Taking taylor expansion of 0 in y
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [taylor]: Taking taylor expansion of 0 in y
3.199 * [backup-simplify]: Simplify 0 into 0
3.199 * [backup-simplify]: Simplify 0 into 0
3.200 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.200 * [backup-simplify]: Simplify (- 0) into 0
3.201 * [backup-simplify]: Simplify (+ 0 0) into 0
3.201 * [taylor]: Taking taylor expansion of 0 in y
3.201 * [backup-simplify]: Simplify 0 into 0
3.201 * [backup-simplify]: Simplify 0 into 0
3.201 * [backup-simplify]: Simplify 1 into 1
3.201 * [backup-simplify]: Simplify (- 1) into -1
3.201 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.201 * [backup-simplify]: Simplify -1 into -1
3.202 * [backup-simplify]: Simplify (+ (* -1 (* y (* x 1))) (+ (* 1 (* y (* 1 z))) (* 1 (* 1 (* x 1))))) into (- (+ (* z y) x) (* x y))
3.202 * [backup-simplify]: Simplify (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) into (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x))
3.202 * [approximate]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in (z x y) around 0
3.202 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in y
3.202 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
3.202 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in y
3.202 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
3.202 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.202 * [taylor]: Taking taylor expansion of z in y
3.202 * [backup-simplify]: Simplify z into z
3.203 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.203 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.203 * [taylor]: Taking taylor expansion of x in y
3.203 * [backup-simplify]: Simplify x into x
3.203 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.203 * [taylor]: Taking taylor expansion of y in y
3.203 * [backup-simplify]: Simplify 0 into 0
3.203 * [backup-simplify]: Simplify 1 into 1
3.203 * [backup-simplify]: Simplify (/ 1 1) into 1
3.203 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.203 * [taylor]: Taking taylor expansion of x in y
3.203 * [backup-simplify]: Simplify x into x
3.203 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.203 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in x
3.203 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
3.203 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in x
3.203 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
3.203 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.203 * [taylor]: Taking taylor expansion of z in x
3.203 * [backup-simplify]: Simplify z into z
3.203 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.203 * [taylor]: Taking taylor expansion of x in x
3.203 * [backup-simplify]: Simplify 0 into 0
3.203 * [backup-simplify]: Simplify 1 into 1
3.204 * [backup-simplify]: Simplify (/ 1 1) into 1
3.204 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.204 * [taylor]: Taking taylor expansion of y in x
3.204 * [backup-simplify]: Simplify y into y
3.204 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.204 * [taylor]: Taking taylor expansion of x in x
3.204 * [backup-simplify]: Simplify 0 into 0
3.204 * [backup-simplify]: Simplify 1 into 1
3.204 * [backup-simplify]: Simplify (/ 1 1) into 1
3.204 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
3.204 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
3.204 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
3.204 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
3.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.204 * [taylor]: Taking taylor expansion of z in z
3.204 * [backup-simplify]: Simplify 0 into 0
3.204 * [backup-simplify]: Simplify 1 into 1
3.205 * [backup-simplify]: Simplify (/ 1 1) into 1
3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.205 * [taylor]: Taking taylor expansion of x in z
3.205 * [backup-simplify]: Simplify x into x
3.205 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.205 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.205 * [taylor]: Taking taylor expansion of y in z
3.205 * [backup-simplify]: Simplify y into y
3.205 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.205 * [taylor]: Taking taylor expansion of x in z
3.205 * [backup-simplify]: Simplify x into x
3.205 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.205 * [taylor]: Taking taylor expansion of (fma (- (/ 1 z) (/ 1 x)) (/ 1 y) (/ 1 x)) in z
3.205 * [taylor]: Rewrote expression to (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) (/ 1 x))
3.205 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 x)) (/ 1 y)) in z
3.205 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
3.205 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.205 * [taylor]: Taking taylor expansion of z in z
3.205 * [backup-simplify]: Simplify 0 into 0
3.205 * [backup-simplify]: Simplify 1 into 1
3.205 * [backup-simplify]: Simplify (/ 1 1) into 1
3.205 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.205 * [taylor]: Taking taylor expansion of x in z
3.205 * [backup-simplify]: Simplify x into x
3.205 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.205 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.206 * [taylor]: Taking taylor expansion of y in z
3.206 * [backup-simplify]: Simplify y into y
3.206 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.206 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.206 * [taylor]: Taking taylor expansion of x in z
3.206 * [backup-simplify]: Simplify x into x
3.206 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.206 * [backup-simplify]: Simplify (+ 1 0) into 1
3.206 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y)
3.206 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.206 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.206 * [taylor]: Taking taylor expansion of y in x
3.206 * [backup-simplify]: Simplify y into y
3.206 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.206 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.207 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.207 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
3.207 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
3.207 * [backup-simplify]: Simplify (+ (* 1 0) (* (- (/ 1 x)) (/ 1 y))) into (- (/ 1 (* x y)))
3.208 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ 1 x)) into (- (/ 1 x) (/ 1 (* x y)))
3.208 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x y))) in x
3.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.208 * [taylor]: Taking taylor expansion of x in x
3.208 * [backup-simplify]: Simplify 0 into 0
3.208 * [backup-simplify]: Simplify 1 into 1
3.208 * [backup-simplify]: Simplify (/ 1 1) into 1
3.208 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.208 * [taylor]: Taking taylor expansion of (* x y) in x
3.208 * [taylor]: Taking taylor expansion of x in x
3.208 * [backup-simplify]: Simplify 0 into 0
3.208 * [backup-simplify]: Simplify 1 into 1
3.208 * [taylor]: Taking taylor expansion of y in x
3.208 * [backup-simplify]: Simplify y into y
3.208 * [backup-simplify]: Simplify (* 0 y) into 0
3.208 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.208 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.208 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
3.208 * [backup-simplify]: Simplify (+ 1 (- (/ 1 y))) into (- 1 (/ 1 y))
3.208 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y
3.209 * [taylor]: Taking taylor expansion of 1 in y
3.209 * [backup-simplify]: Simplify 1 into 1
3.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.209 * [taylor]: Taking taylor expansion of y in y
3.209 * [backup-simplify]: Simplify 0 into 0
3.209 * [backup-simplify]: Simplify 1 into 1
3.209 * [backup-simplify]: Simplify (/ 1 1) into 1
3.209 * [backup-simplify]: Simplify (- 1) into -1
3.209 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.209 * [backup-simplify]: Simplify -1 into -1
3.209 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.209 * [taylor]: Taking taylor expansion of y in y
3.209 * [backup-simplify]: Simplify 0 into 0
3.209 * [backup-simplify]: Simplify 1 into 1
3.210 * [backup-simplify]: Simplify (/ 1 1) into 1
3.210 * [backup-simplify]: Simplify 1 into 1
3.210 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.210 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.210 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.211 * [backup-simplify]: Simplify (- 0) into 0
3.211 * [backup-simplify]: Simplify (+ 0 0) into 0
3.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (* 0 (/ 1 y)))) into 0
3.211 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.212 * [backup-simplify]: Simplify (+ 0 0) into 0
3.212 * [taylor]: Taking taylor expansion of 0 in x
3.212 * [backup-simplify]: Simplify 0 into 0
3.212 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.213 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.213 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.213 * [backup-simplify]: Simplify (- 0) into 0
3.214 * [backup-simplify]: Simplify (+ 0 0) into 0
3.214 * [taylor]: Taking taylor expansion of 0 in y
3.214 * [backup-simplify]: Simplify 0 into 0
3.214 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.214 * [taylor]: Taking taylor expansion of 0 in y
3.214 * [backup-simplify]: Simplify 0 into 0
3.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.215 * [backup-simplify]: Simplify (- 0) into 0
3.216 * [backup-simplify]: Simplify (+ 1 0) into 1
3.216 * [backup-simplify]: Simplify 1 into 1
3.216 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 y)) (* (/ 1 (/ 1 x)) 1))))) into (- (+ (* z y) x) (* x y))
3.216 * [backup-simplify]: Simplify (fma (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))) into (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x))
3.216 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in (z x y) around 0
3.216 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in y
3.216 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
3.216 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in y
3.216 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
3.216 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.217 * [taylor]: Taking taylor expansion of x in y
3.217 * [backup-simplify]: Simplify x into x
3.217 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.217 * [taylor]: Taking taylor expansion of (/ 1 z) in y
3.217 * [taylor]: Taking taylor expansion of z in y
3.217 * [backup-simplify]: Simplify z into z
3.217 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.217 * [taylor]: Taking taylor expansion of (/ -1 y) in y
3.217 * [taylor]: Taking taylor expansion of -1 in y
3.217 * [backup-simplify]: Simplify -1 into -1
3.217 * [taylor]: Taking taylor expansion of y in y
3.217 * [backup-simplify]: Simplify 0 into 0
3.217 * [backup-simplify]: Simplify 1 into 1
3.217 * [backup-simplify]: Simplify (/ -1 1) into -1
3.217 * [taylor]: Taking taylor expansion of (/ -1 x) in y
3.217 * [taylor]: Taking taylor expansion of -1 in y
3.217 * [backup-simplify]: Simplify -1 into -1
3.217 * [taylor]: Taking taylor expansion of x in y
3.217 * [backup-simplify]: Simplify x into x
3.217 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.217 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in x
3.217 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
3.217 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in x
3.217 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.218 * [taylor]: Taking taylor expansion of x in x
3.218 * [backup-simplify]: Simplify 0 into 0
3.218 * [backup-simplify]: Simplify 1 into 1
3.218 * [backup-simplify]: Simplify (/ 1 1) into 1
3.218 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.218 * [taylor]: Taking taylor expansion of z in x
3.218 * [backup-simplify]: Simplify z into z
3.218 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.218 * [taylor]: Taking taylor expansion of (/ -1 y) in x
3.218 * [taylor]: Taking taylor expansion of -1 in x
3.218 * [backup-simplify]: Simplify -1 into -1
3.218 * [taylor]: Taking taylor expansion of y in x
3.218 * [backup-simplify]: Simplify y into y
3.218 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.218 * [taylor]: Taking taylor expansion of -1 in x
3.218 * [backup-simplify]: Simplify -1 into -1
3.218 * [taylor]: Taking taylor expansion of x in x
3.218 * [backup-simplify]: Simplify 0 into 0
3.218 * [backup-simplify]: Simplify 1 into 1
3.218 * [backup-simplify]: Simplify (/ -1 1) into -1
3.218 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
3.219 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
3.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
3.219 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
3.219 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.219 * [taylor]: Taking taylor expansion of x in z
3.219 * [backup-simplify]: Simplify x into x
3.219 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.219 * [taylor]: Taking taylor expansion of z in z
3.219 * [backup-simplify]: Simplify 0 into 0
3.219 * [backup-simplify]: Simplify 1 into 1
3.219 * [backup-simplify]: Simplify (/ 1 1) into 1
3.219 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.219 * [taylor]: Taking taylor expansion of -1 in z
3.219 * [backup-simplify]: Simplify -1 into -1
3.219 * [taylor]: Taking taylor expansion of y in z
3.219 * [backup-simplify]: Simplify y into y
3.219 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.219 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.219 * [taylor]: Taking taylor expansion of -1 in z
3.219 * [backup-simplify]: Simplify -1 into -1
3.219 * [taylor]: Taking taylor expansion of x in z
3.219 * [backup-simplify]: Simplify x into x
3.219 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.219 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 z)) (/ -1 y) (/ -1 x)) in z
3.219 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) (/ -1 x))
3.219 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 z)) (/ -1 y)) in z
3.219 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
3.219 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.220 * [taylor]: Taking taylor expansion of x in z
3.220 * [backup-simplify]: Simplify x into x
3.220 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.220 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.220 * [taylor]: Taking taylor expansion of z in z
3.220 * [backup-simplify]: Simplify 0 into 0
3.220 * [backup-simplify]: Simplify 1 into 1
3.220 * [backup-simplify]: Simplify (/ 1 1) into 1
3.220 * [taylor]: Taking taylor expansion of (/ -1 y) in z
3.220 * [taylor]: Taking taylor expansion of -1 in z
3.220 * [backup-simplify]: Simplify -1 into -1
3.220 * [taylor]: Taking taylor expansion of y in z
3.220 * [backup-simplify]: Simplify y into y
3.220 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
3.220 * [taylor]: Taking taylor expansion of (/ -1 x) in z
3.220 * [taylor]: Taking taylor expansion of -1 in z
3.220 * [backup-simplify]: Simplify -1 into -1
3.220 * [taylor]: Taking taylor expansion of x in z
3.220 * [backup-simplify]: Simplify x into x
3.220 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
3.220 * [backup-simplify]: Simplify (- 1) into -1
3.221 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.221 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y)
3.221 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.221 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.221 * [taylor]: Taking taylor expansion of y in x
3.221 * [backup-simplify]: Simplify y into y
3.221 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.221 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0
3.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.222 * [backup-simplify]: Simplify (- 0) into 0
3.222 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
3.222 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 x) (/ -1 y))) into (- (/ 1 (* x y)))
3.222 * [backup-simplify]: Simplify (+ (- (/ 1 (* x y))) (/ -1 x)) into (- (+ (/ 1 x) (/ 1 (* x y))))
3.222 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x y)))) in x
3.222 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
3.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.222 * [taylor]: Taking taylor expansion of x in x
3.223 * [backup-simplify]: Simplify 0 into 0
3.223 * [backup-simplify]: Simplify 1 into 1
3.223 * [backup-simplify]: Simplify (/ 1 1) into 1
3.223 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
3.223 * [taylor]: Taking taylor expansion of (* x y) in x
3.223 * [taylor]: Taking taylor expansion of x in x
3.223 * [backup-simplify]: Simplify 0 into 0
3.223 * [backup-simplify]: Simplify 1 into 1
3.223 * [taylor]: Taking taylor expansion of y in x
3.223 * [backup-simplify]: Simplify y into y
3.223 * [backup-simplify]: Simplify (* 0 y) into 0
3.232 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
3.232 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.233 * [backup-simplify]: Simplify (+ 1 (/ 1 y)) into (+ (/ 1 y) 1)
3.233 * [backup-simplify]: Simplify (- (+ (/ 1 y) 1)) into (- (+ (/ 1 y) 1))
3.233 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y
3.233 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
3.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.233 * [taylor]: Taking taylor expansion of y in y
3.233 * [backup-simplify]: Simplify 0 into 0
3.233 * [backup-simplify]: Simplify 1 into 1
3.234 * [backup-simplify]: Simplify (/ 1 1) into 1
3.234 * [taylor]: Taking taylor expansion of 1 in y
3.234 * [backup-simplify]: Simplify 1 into 1
3.234 * [backup-simplify]: Simplify (+ 1 0) into 1
3.234 * [backup-simplify]: Simplify (- 1) into -1
3.235 * [backup-simplify]: Simplify -1 into -1
3.235 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.235 * [taylor]: Taking taylor expansion of y in y
3.235 * [backup-simplify]: Simplify 0 into 0
3.235 * [backup-simplify]: Simplify 1 into 1
3.235 * [backup-simplify]: Simplify (/ 1 1) into 1
3.235 * [backup-simplify]: Simplify 1 into 1
3.235 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.236 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
3.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.237 * [backup-simplify]: Simplify (- 0) into 0
3.237 * [backup-simplify]: Simplify (+ 0 0) into 0
3.238 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 x) 0) (* 0 (/ -1 y)))) into 0
3.238 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
3.238 * [backup-simplify]: Simplify (+ 0 0) into 0
3.238 * [taylor]: Taking taylor expansion of 0 in x
3.238 * [backup-simplify]: Simplify 0 into 0
3.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.240 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
3.240 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.240 * [backup-simplify]: Simplify (+ 0 0) into 0
3.241 * [backup-simplify]: Simplify (- 0) into 0
3.241 * [taylor]: Taking taylor expansion of 0 in y
3.241 * [backup-simplify]: Simplify 0 into 0
3.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.241 * [taylor]: Taking taylor expansion of 0 in y
3.241 * [backup-simplify]: Simplify 0 into 0
3.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.242 * [backup-simplify]: Simplify (+ 0 1) into 1
3.243 * [backup-simplify]: Simplify (- 1) into -1
3.243 * [backup-simplify]: Simplify -1 into -1
3.243 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- x))) 1))) (+ (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- y))) (* (/ 1 (/ 1 (- x))) 1))))) into (- (+ (* z y) x) (* x y))
3.244 * * * [progress]: simplifying candidates
3.245 * [simplify]: Simplifying:
  (expm1 (fma (- z x) y x))
  (log1p (fma (- z x) y x))
  (* (- z x) y)
  (log (fma (- z x) y x))
  (exp (fma (- z x) y x))
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (* (* (fma (- z x) y x) (fma (- z x) y x)) (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
3.245 * * [simplify]: Extracting # 0 : cost  0
3.245 * * [simplify]: Extracting # 1 : cost  0
3.245 * * [simplify]: Extracting # 2 : cost  0
3.245 * * [simplify]: Extracting # 3 : cost  0
3.245 * * [simplify]: Extracting # 4 : cost  0
3.246 * * [simplify]: Extracting # 5 : cost  0
3.246 * * [simplify]: iteration  0 :  19  enodes  (cost  116 )
3.252 * * [simplify]: Extracting # 0 : cost  0
3.252 * * [simplify]: Extracting # 1 : cost  0
3.253 * * [simplify]: Extracting # 2 : cost  0
3.253 * * [simplify]: iteration  1 :  32  enodes  (cost  113 )
3.258 * * [simplify]: Extracting # 0 : cost  0
3.258 * * [simplify]: Extracting # 1 : cost  0
3.258 * * [simplify]: Extracting # 2 : cost  0
3.259 * * [simplify]: iteration  2 :  67  enodes  (cost  95 )
3.279 * * [simplify]: Extracting # 0 : cost  0
3.279 * * [simplify]: Extracting # 1 : cost  0
3.279 * * [simplify]: Extracting # 2 : cost  0
3.279 * * [simplify]: Extracting # 3 : cost  0
3.280 * * [simplify]: Extracting # 4 : cost  0
3.280 * * [simplify]: iteration  3 :  243  enodes  (cost  95 )
3.630 * * [simplify]: Extracting # 0 : cost  0
3.633 * * [simplify]: Extracting # 1 : cost  0
3.636 * * [simplify]: Extracting # 2 : cost  0
3.638 * * [simplify]: Extracting # 3 : cost  0
3.641 * * [simplify]: Extracting # 4 : cost  0
3.643 * * [simplify]: Extracting # 5 : cost  0
3.646 * * [simplify]: iteration  4 :  1485  enodes  (cost  95 )
4.479 * * [simplify]: Extracting # 0 : cost  0
4.484 * * [simplify]: Extracting # 1 : cost  0
4.490 * * [simplify]: Extracting # 2 : cost  0
4.496 * * [simplify]: Extracting # 3 : cost  0
4.502 * * [simplify]: Extracting # 4 : cost  0
4.518 * * [simplify]: iteration done:  5000  enodes  (cost  95 )
4.519 * [simplify]: Simplified to:
  (expm1 (fma (- z x) y x))
  (log1p (fma (- z x) y x))
  (* (- z x) y)
  (log (fma (- z x) y x))
  (exp (fma (- z x) y x))
  (* (cbrt (fma (- z x) y x)) (cbrt (fma (- z x) y x)))
  (cbrt (fma (- z x) y x))
  (pow (fma y (- z x) x) 3)
  (sqrt (fma (- z x) y x))
  (sqrt (fma (- z x) y x))
  (fma y (- z x) x)
  (fma y (- z x) x)
  (fma y (- z x) x)
4.519 * * * [progress]: adding candidates to table
4.547 * * [progress]: iteration 2 / 4
4.547 * * * [progress]: picking best candidate
4.550 * * * * [pick]: Picked  #<alt (λ (x y z) (cbrt (pow (fma y (- z x) x) 3)))>
4.550 * * * [progress]: localizing error
4.568 * * * [progress]: generating rewritten candidates
4.568 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
4.574 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
4.580 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
4.583 * * * [progress]: generating series expansions
4.583 * * * * [progress]: [ 1 / 3 ] generating series at (2)
4.584 * [backup-simplify]: Simplify (cbrt (pow (fma y (- z x) x) 3)) into (fma y (- z x) x)
4.584 * [approximate]: Taking taylor expansion of (fma y (- z x) x) in (y z x) around 0
4.584 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in x
4.584 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.584 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
4.584 * [taylor]: Taking taylor expansion of y in x
4.584 * [backup-simplify]: Simplify y into y
4.584 * [taylor]: Taking taylor expansion of (- z x) in x
4.584 * [taylor]: Taking taylor expansion of z in x
4.584 * [backup-simplify]: Simplify z into z
4.584 * [taylor]: Taking taylor expansion of x in x
4.584 * [backup-simplify]: Simplify 0 into 0
4.584 * [backup-simplify]: Simplify 1 into 1
4.584 * [taylor]: Taking taylor expansion of x in x
4.584 * [backup-simplify]: Simplify 0 into 0
4.584 * [backup-simplify]: Simplify 1 into 1
4.584 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in z
4.584 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.584 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
4.584 * [taylor]: Taking taylor expansion of y in z
4.585 * [backup-simplify]: Simplify y into y
4.585 * [taylor]: Taking taylor expansion of (- z x) in z
4.585 * [taylor]: Taking taylor expansion of z in z
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify 1 into 1
4.585 * [taylor]: Taking taylor expansion of x in z
4.585 * [backup-simplify]: Simplify x into x
4.585 * [taylor]: Taking taylor expansion of x in z
4.585 * [backup-simplify]: Simplify x into x
4.585 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in y
4.585 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.585 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
4.585 * [taylor]: Taking taylor expansion of y in y
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify 1 into 1
4.585 * [taylor]: Taking taylor expansion of (- z x) in y
4.585 * [taylor]: Taking taylor expansion of z in y
4.585 * [backup-simplify]: Simplify z into z
4.585 * [taylor]: Taking taylor expansion of x in y
4.585 * [backup-simplify]: Simplify x into x
4.585 * [taylor]: Taking taylor expansion of x in y
4.585 * [backup-simplify]: Simplify x into x
4.585 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in y
4.585 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.585 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
4.585 * [taylor]: Taking taylor expansion of y in y
4.585 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify 1 into 1
4.585 * [taylor]: Taking taylor expansion of (- z x) in y
4.585 * [taylor]: Taking taylor expansion of z in y
4.585 * [backup-simplify]: Simplify z into z
4.585 * [taylor]: Taking taylor expansion of x in y
4.585 * [backup-simplify]: Simplify x into x
4.585 * [taylor]: Taking taylor expansion of x in y
4.585 * [backup-simplify]: Simplify x into x
4.585 * [backup-simplify]: Simplify (- x) into (- x)
4.585 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
4.585 * [backup-simplify]: Simplify (* 0 (- z x)) into 0
4.585 * [backup-simplify]: Simplify (+ 0 x) into x
4.586 * [taylor]: Taking taylor expansion of x in z
4.586 * [backup-simplify]: Simplify x into x
4.586 * [taylor]: Taking taylor expansion of x in x
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify 1 into 1
4.586 * [backup-simplify]: Simplify 0 into 0
4.586 * [backup-simplify]: Simplify (- 0) into 0
4.586 * [backup-simplify]: Simplify (+ 0 0) into 0
4.587 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z x))) into (- z x)
4.587 * [backup-simplify]: Simplify (+ (- z x) 0) into (- z x)
4.587 * [taylor]: Taking taylor expansion of (- z x) in z
4.587 * [taylor]: Taking taylor expansion of z in z
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify 1 into 1
4.587 * [taylor]: Taking taylor expansion of x in z
4.587 * [backup-simplify]: Simplify x into x
4.587 * [backup-simplify]: Simplify (- x) into (- x)
4.587 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
4.587 * [taylor]: Taking taylor expansion of (- x) in x
4.587 * [taylor]: Taking taylor expansion of x in x
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify 1 into 1
4.587 * [backup-simplify]: Simplify (- 0) into 0
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [taylor]: Taking taylor expansion of 0 in x
4.587 * [backup-simplify]: Simplify 0 into 0
4.588 * [backup-simplify]: Simplify 0 into 0
4.588 * [backup-simplify]: Simplify 1 into 1
4.588 * [backup-simplify]: Simplify (- 0) into 0
4.588 * [backup-simplify]: Simplify (+ 0 0) into 0
4.589 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- z x)))) into 0
4.589 * [backup-simplify]: Simplify (+ 0 0) into 0
4.589 * [taylor]: Taking taylor expansion of 0 in z
4.589 * [backup-simplify]: Simplify 0 into 0
4.589 * [taylor]: Taking taylor expansion of 0 in x
4.589 * [backup-simplify]: Simplify 0 into 0
4.589 * [backup-simplify]: Simplify 0 into 0
4.589 * [backup-simplify]: Simplify (- 0) into 0
4.589 * [backup-simplify]: Simplify (+ 1 0) into 1
4.590 * [taylor]: Taking taylor expansion of 1 in x
4.590 * [backup-simplify]: Simplify 1 into 1
4.590 * [backup-simplify]: Simplify 1 into 1
4.590 * [taylor]: Taking taylor expansion of 0 in x
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify (- 1) into -1
4.590 * [backup-simplify]: Simplify -1 into -1
4.590 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (+ (* 1 (* 1 (* z y))) (* 1 (* x (* 1 1))))) into (- (+ (* z y) x) (* x y))
4.591 * [backup-simplify]: Simplify (cbrt (pow (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 3)) into (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x))
4.591 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y z x) around 0
4.591 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x
4.591 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.591 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in x
4.591 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.591 * [taylor]: Taking taylor expansion of y in x
4.591 * [backup-simplify]: Simplify y into y
4.591 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.591 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.591 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.591 * [taylor]: Taking taylor expansion of z in x
4.591 * [backup-simplify]: Simplify z into z
4.591 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.591 * [taylor]: Taking taylor expansion of x in x
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify 1 into 1
4.591 * [backup-simplify]: Simplify (/ 1 1) into 1
4.591 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.591 * [taylor]: Taking taylor expansion of x in x
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify 1 into 1
4.592 * [backup-simplify]: Simplify (/ 1 1) into 1
4.592 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z
4.592 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.592 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in z
4.592 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.592 * [taylor]: Taking taylor expansion of y in z
4.592 * [backup-simplify]: Simplify y into y
4.592 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.592 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.592 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.592 * [taylor]: Taking taylor expansion of z in z
4.592 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify 1 into 1
4.592 * [backup-simplify]: Simplify (/ 1 1) into 1
4.592 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.592 * [taylor]: Taking taylor expansion of x in z
4.592 * [backup-simplify]: Simplify x into x
4.592 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.592 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.592 * [taylor]: Taking taylor expansion of x in z
4.593 * [backup-simplify]: Simplify x into x
4.593 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.593 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y
4.593 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.593 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in y
4.593 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.593 * [taylor]: Taking taylor expansion of y in y
4.593 * [backup-simplify]: Simplify 0 into 0
4.593 * [backup-simplify]: Simplify 1 into 1
4.593 * [backup-simplify]: Simplify (/ 1 1) into 1
4.593 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.593 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.593 * [taylor]: Taking taylor expansion of z in y
4.593 * [backup-simplify]: Simplify z into z
4.593 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.593 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.593 * [taylor]: Taking taylor expansion of x in y
4.593 * [backup-simplify]: Simplify x into x
4.593 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.593 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.593 * [taylor]: Taking taylor expansion of x in y
4.593 * [backup-simplify]: Simplify x into x
4.599 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.599 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y
4.600 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.600 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in y
4.600 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.600 * [taylor]: Taking taylor expansion of y in y
4.600 * [backup-simplify]: Simplify 0 into 0
4.600 * [backup-simplify]: Simplify 1 into 1
4.601 * [backup-simplify]: Simplify (/ 1 1) into 1
4.601 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.601 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.601 * [taylor]: Taking taylor expansion of z in y
4.601 * [backup-simplify]: Simplify z into z
4.601 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.601 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.601 * [taylor]: Taking taylor expansion of x in y
4.601 * [backup-simplify]: Simplify x into x
4.601 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.601 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.601 * [taylor]: Taking taylor expansion of x in y
4.601 * [backup-simplify]: Simplify x into x
4.601 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.601 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.601 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.601 * [backup-simplify]: Simplify (* 1 (- (/ 1 z) (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.601 * [backup-simplify]: Simplify (+ (- (/ 1 z) (/ 1 x)) 0) into (- (/ 1 z) (/ 1 x))
4.601 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.601 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.601 * [taylor]: Taking taylor expansion of z in z
4.601 * [backup-simplify]: Simplify 0 into 0
4.601 * [backup-simplify]: Simplify 1 into 1
4.602 * [backup-simplify]: Simplify (/ 1 1) into 1
4.602 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.602 * [taylor]: Taking taylor expansion of x in z
4.602 * [backup-simplify]: Simplify x into x
4.602 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.602 * [backup-simplify]: Simplify (+ 1 0) into 1
4.602 * [taylor]: Taking taylor expansion of 1 in x
4.602 * [backup-simplify]: Simplify 1 into 1
4.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.603 * [backup-simplify]: Simplify (- 0) into 0
4.603 * [backup-simplify]: Simplify (+ 0 0) into 0
4.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.604 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
4.604 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
4.604 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.604 * [taylor]: Taking taylor expansion of x in z
4.604 * [backup-simplify]: Simplify x into x
4.604 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.604 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.604 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
4.604 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.604 * [taylor]: Taking taylor expansion of x in x
4.604 * [backup-simplify]: Simplify 0 into 0
4.604 * [backup-simplify]: Simplify 1 into 1
4.605 * [backup-simplify]: Simplify (/ 1 1) into 1
4.605 * [backup-simplify]: Simplify (- 1) into -1
4.605 * [backup-simplify]: Simplify -1 into -1
4.605 * [backup-simplify]: Simplify 1 into 1
4.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.605 * [backup-simplify]: Simplify (- 0) into 0
4.606 * [backup-simplify]: Simplify (+ 0 0) into 0
4.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.607 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
4.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.607 * [backup-simplify]: Simplify (+ 0 0) into 0
4.607 * [taylor]: Taking taylor expansion of 0 in z
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.607 * [taylor]: Taking taylor expansion of x in x
4.607 * [backup-simplify]: Simplify 0 into 0
4.608 * [backup-simplify]: Simplify 1 into 1
4.608 * [backup-simplify]: Simplify (/ 1 1) into 1
4.608 * [backup-simplify]: Simplify 1 into 1
4.608 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y))))))) into (- (+ (* z y) x) (* x y))
4.609 * [backup-simplify]: Simplify (cbrt (pow (fma (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- x))) 3)) into (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x))
4.609 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y z x) around 0
4.609 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x
4.609 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.609 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in x
4.609 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.609 * [taylor]: Taking taylor expansion of -1 in x
4.609 * [backup-simplify]: Simplify -1 into -1
4.609 * [taylor]: Taking taylor expansion of y in x
4.609 * [backup-simplify]: Simplify y into y
4.609 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.609 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.609 * [taylor]: Taking taylor expansion of x in x
4.609 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify 1 into 1
4.609 * [backup-simplify]: Simplify (/ 1 1) into 1
4.609 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.609 * [taylor]: Taking taylor expansion of z in x
4.609 * [backup-simplify]: Simplify z into z
4.609 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.609 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.610 * [taylor]: Taking taylor expansion of -1 in x
4.610 * [backup-simplify]: Simplify -1 into -1
4.610 * [taylor]: Taking taylor expansion of x in x
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 1 into 1
4.610 * [backup-simplify]: Simplify (/ -1 1) into -1
4.610 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z
4.610 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.610 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in z
4.610 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.610 * [taylor]: Taking taylor expansion of -1 in z
4.610 * [backup-simplify]: Simplify -1 into -1
4.610 * [taylor]: Taking taylor expansion of y in z
4.610 * [backup-simplify]: Simplify y into y
4.610 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.610 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.610 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.610 * [taylor]: Taking taylor expansion of x in z
4.610 * [backup-simplify]: Simplify x into x
4.610 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.610 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.610 * [taylor]: Taking taylor expansion of z in z
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify 1 into 1
4.611 * [backup-simplify]: Simplify (/ 1 1) into 1
4.611 * [taylor]: Taking taylor expansion of (/ -1 x) in z
4.611 * [taylor]: Taking taylor expansion of -1 in z
4.611 * [backup-simplify]: Simplify -1 into -1
4.611 * [taylor]: Taking taylor expansion of x in z
4.611 * [backup-simplify]: Simplify x into x
4.611 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.611 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y
4.611 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.611 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in y
4.611 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.611 * [taylor]: Taking taylor expansion of -1 in y
4.611 * [backup-simplify]: Simplify -1 into -1
4.611 * [taylor]: Taking taylor expansion of y in y
4.611 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify 1 into 1
4.611 * [backup-simplify]: Simplify (/ -1 1) into -1
4.611 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.611 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.611 * [taylor]: Taking taylor expansion of x in y
4.611 * [backup-simplify]: Simplify x into x
4.611 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.611 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.611 * [taylor]: Taking taylor expansion of z in y
4.611 * [backup-simplify]: Simplify z into z
4.611 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.611 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.612 * [taylor]: Taking taylor expansion of -1 in y
4.612 * [backup-simplify]: Simplify -1 into -1
4.612 * [taylor]: Taking taylor expansion of x in y
4.612 * [backup-simplify]: Simplify x into x
4.612 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.612 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y
4.612 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.612 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in y
4.612 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.612 * [taylor]: Taking taylor expansion of -1 in y
4.612 * [backup-simplify]: Simplify -1 into -1
4.612 * [taylor]: Taking taylor expansion of y in y
4.612 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify 1 into 1
4.612 * [backup-simplify]: Simplify (/ -1 1) into -1
4.612 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.612 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.612 * [taylor]: Taking taylor expansion of x in y
4.612 * [backup-simplify]: Simplify x into x
4.612 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.612 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.612 * [taylor]: Taking taylor expansion of z in y
4.612 * [backup-simplify]: Simplify z into z
4.612 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.612 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.612 * [taylor]: Taking taylor expansion of -1 in y
4.612 * [backup-simplify]: Simplify -1 into -1
4.612 * [taylor]: Taking taylor expansion of x in y
4.612 * [backup-simplify]: Simplify x into x
4.612 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.613 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.613 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
4.613 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z)))
4.613 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 z))) 0) into (- (/ 1 z) (/ 1 x))
4.613 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.613 * [taylor]: Taking taylor expansion of z in z
4.613 * [backup-simplify]: Simplify 0 into 0
4.613 * [backup-simplify]: Simplify 1 into 1
4.613 * [backup-simplify]: Simplify (/ 1 1) into 1
4.613 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.613 * [taylor]: Taking taylor expansion of x in z
4.613 * [backup-simplify]: Simplify x into x
4.613 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.614 * [backup-simplify]: Simplify (+ 1 0) into 1
4.614 * [taylor]: Taking taylor expansion of 1 in x
4.614 * [backup-simplify]: Simplify 1 into 1
4.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.614 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.614 * [backup-simplify]: Simplify (- 0) into 0
4.614 * [backup-simplify]: Simplify (+ 0 0) into 0
4.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.615 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0
4.615 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
4.615 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
4.615 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.615 * [taylor]: Taking taylor expansion of x in z
4.615 * [backup-simplify]: Simplify x into x
4.615 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.616 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.616 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
4.616 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.616 * [taylor]: Taking taylor expansion of x in x
4.616 * [backup-simplify]: Simplify 0 into 0
4.616 * [backup-simplify]: Simplify 1 into 1
4.616 * [backup-simplify]: Simplify (/ 1 1) into 1
4.616 * [backup-simplify]: Simplify (- 1) into -1
4.616 * [backup-simplify]: Simplify -1 into -1
4.617 * [backup-simplify]: Simplify 1 into 1
4.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.617 * [backup-simplify]: Simplify (- 0) into 0
4.617 * [backup-simplify]: Simplify (+ 0 0) into 0
4.618 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.618 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
4.618 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.619 * [backup-simplify]: Simplify (+ 0 0) into 0
4.619 * [taylor]: Taking taylor expansion of 0 in z
4.619 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.619 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.619 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.619 * [taylor]: Taking taylor expansion of x in x
4.619 * [backup-simplify]: Simplify 0 into 0
4.619 * [backup-simplify]: Simplify 1 into 1
4.619 * [backup-simplify]: Simplify (/ 1 1) into 1
4.619 * [backup-simplify]: Simplify (- 1) into -1
4.619 * [backup-simplify]: Simplify -1 into -1
4.620 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y)))))))) into (- (+ (* z y) x) (* x y))
4.620 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
4.620 * [backup-simplify]: Simplify (pow (fma y (- z x) x) 3) into (pow (fma y (- z x) x) 3)
4.620 * [approximate]: Taking taylor expansion of (pow (fma y (- z x) x) 3) in (y z x) around 0
4.620 * [taylor]: Taking taylor expansion of (pow (fma y (- z x) x) 3) in x
4.620 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in x
4.621 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.621 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
4.621 * [taylor]: Taking taylor expansion of y in x
4.621 * [backup-simplify]: Simplify y into y
4.621 * [taylor]: Taking taylor expansion of (- z x) in x
4.621 * [taylor]: Taking taylor expansion of z in x
4.621 * [backup-simplify]: Simplify z into z
4.621 * [taylor]: Taking taylor expansion of x in x
4.621 * [backup-simplify]: Simplify 0 into 0
4.621 * [backup-simplify]: Simplify 1 into 1
4.621 * [taylor]: Taking taylor expansion of x in x
4.621 * [backup-simplify]: Simplify 0 into 0
4.621 * [backup-simplify]: Simplify 1 into 1
4.621 * [backup-simplify]: Simplify (- 0) into 0
4.621 * [backup-simplify]: Simplify (+ z 0) into z
4.621 * [backup-simplify]: Simplify (* y z) into (* z y)
4.621 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
4.622 * [taylor]: Taking taylor expansion of (pow (fma y (- z x) x) 3) in z
4.622 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in z
4.622 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.622 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
4.622 * [taylor]: Taking taylor expansion of y in z
4.622 * [backup-simplify]: Simplify y into y
4.622 * [taylor]: Taking taylor expansion of (- z x) in z
4.622 * [taylor]: Taking taylor expansion of z in z
4.622 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify 1 into 1
4.622 * [taylor]: Taking taylor expansion of x in z
4.622 * [backup-simplify]: Simplify x into x
4.622 * [taylor]: Taking taylor expansion of x in z
4.622 * [backup-simplify]: Simplify x into x
4.622 * [backup-simplify]: Simplify (- x) into (- x)
4.622 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
4.623 * [backup-simplify]: Simplify (* y (- x)) into (* -1 (* x y))
4.623 * [backup-simplify]: Simplify (+ (* -1 (* x y)) x) into (- x (* x y))
4.623 * [taylor]: Taking taylor expansion of (pow (fma y (- z x) x) 3) in y
4.623 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in y
4.623 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.623 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
4.623 * [taylor]: Taking taylor expansion of y in y
4.623 * [backup-simplify]: Simplify 0 into 0
4.623 * [backup-simplify]: Simplify 1 into 1
4.623 * [taylor]: Taking taylor expansion of (- z x) in y
4.623 * [taylor]: Taking taylor expansion of z in y
4.623 * [backup-simplify]: Simplify z into z
4.623 * [taylor]: Taking taylor expansion of x in y
4.623 * [backup-simplify]: Simplify x into x
4.623 * [taylor]: Taking taylor expansion of x in y
4.623 * [backup-simplify]: Simplify x into x
4.623 * [backup-simplify]: Simplify (- x) into (- x)
4.623 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
4.623 * [backup-simplify]: Simplify (* 0 (- z x)) into 0
4.623 * [backup-simplify]: Simplify (+ 0 x) into x
4.624 * [taylor]: Taking taylor expansion of (pow (fma y (- z x) x) 3) in y
4.624 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in y
4.624 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.624 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
4.624 * [taylor]: Taking taylor expansion of y in y
4.624 * [backup-simplify]: Simplify 0 into 0
4.624 * [backup-simplify]: Simplify 1 into 1
4.624 * [taylor]: Taking taylor expansion of (- z x) in y
4.624 * [taylor]: Taking taylor expansion of z in y
4.624 * [backup-simplify]: Simplify z into z
4.624 * [taylor]: Taking taylor expansion of x in y
4.624 * [backup-simplify]: Simplify x into x
4.624 * [taylor]: Taking taylor expansion of x in y
4.624 * [backup-simplify]: Simplify x into x
4.624 * [backup-simplify]: Simplify (- x) into (- x)
4.624 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
4.624 * [backup-simplify]: Simplify (* 0 (- z x)) into 0
4.624 * [backup-simplify]: Simplify (+ 0 x) into x
4.625 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.625 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.625 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.625 * [taylor]: Taking taylor expansion of x in z
4.625 * [backup-simplify]: Simplify x into x
4.625 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.625 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.625 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.625 * [taylor]: Taking taylor expansion of x in x
4.625 * [backup-simplify]: Simplify 0 into 0
4.625 * [backup-simplify]: Simplify 1 into 1
4.626 * [backup-simplify]: Simplify (- 0) into 0
4.626 * [backup-simplify]: Simplify (+ 0 0) into 0
4.627 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z x))) into (- z x)
4.627 * [backup-simplify]: Simplify (+ (- z x) 0) into (- z x)
4.627 * [backup-simplify]: Simplify (+ (* x (- z x)) (* (- z x) x)) into (- (* 2 (* x z)) (* 2 (pow x 2)))
4.628 * [backup-simplify]: Simplify (+ (* x (- (* 2 (* x z)) (* 2 (pow x 2)))) (* (- z x) (pow x 2))) into (- (* 3 (* (pow x 2) z)) (* 3 (pow x 3)))
4.628 * [taylor]: Taking taylor expansion of (- (* 3 (* (pow x 2) z)) (* 3 (pow x 3))) in z
4.628 * [taylor]: Taking taylor expansion of (* 3 (* (pow x 2) z)) in z
4.628 * [taylor]: Taking taylor expansion of 3 in z
4.628 * [backup-simplify]: Simplify 3 into 3
4.628 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in z
4.628 * [taylor]: Taking taylor expansion of (pow x 2) in z
4.628 * [taylor]: Taking taylor expansion of x in z
4.628 * [backup-simplify]: Simplify x into x
4.628 * [taylor]: Taking taylor expansion of z in z
4.628 * [backup-simplify]: Simplify 0 into 0
4.628 * [backup-simplify]: Simplify 1 into 1
4.628 * [taylor]: Taking taylor expansion of (* 3 (pow x 3)) in z
4.628 * [taylor]: Taking taylor expansion of 3 in z
4.628 * [backup-simplify]: Simplify 3 into 3
4.628 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.628 * [taylor]: Taking taylor expansion of x in z
4.628 * [backup-simplify]: Simplify x into x
4.628 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.629 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
4.629 * [backup-simplify]: Simplify (* 3 0) into 0
4.629 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.629 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.629 * [backup-simplify]: Simplify (* 3 (pow x 3)) into (* 3 (pow x 3))
4.630 * [backup-simplify]: Simplify (- (* 3 (pow x 3))) into (- (* 3 (pow x 3)))
4.630 * [backup-simplify]: Simplify (+ 0 (- (* 3 (pow x 3)))) into (- (* 3 (pow x 3)))
4.630 * [taylor]: Taking taylor expansion of (- (* 3 (pow x 3))) in x
4.630 * [taylor]: Taking taylor expansion of (* 3 (pow x 3)) in x
4.630 * [taylor]: Taking taylor expansion of 3 in x
4.630 * [backup-simplify]: Simplify 3 into 3
4.630 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.631 * [taylor]: Taking taylor expansion of x in x
4.631 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify 1 into 1
4.631 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.631 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
4.631 * [taylor]: Taking taylor expansion of 0 in x
4.631 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify 0 into 0
4.631 * [backup-simplify]: Simplify (- 0) into 0
4.632 * [backup-simplify]: Simplify (+ 0 0) into 0
4.633 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- z x)))) into 0
4.633 * [backup-simplify]: Simplify (+ 0 0) into 0
4.633 * [backup-simplify]: Simplify (+ (* x 0) (+ (* (- z x) (- z x)) (* 0 x))) into (- (+ (pow x 2) (pow z 2)) (* 2 (* x z)))
4.635 * [backup-simplify]: Simplify (+ (* x (- (+ (pow x 2) (pow z 2)) (* 2 (* x z)))) (+ (* (- z x) (- (* 2 (* x z)) (* 2 (pow x 2)))) (* 0 (pow x 2)))) into (- (+ (* 3 (pow x 3)) (* 3 (* x (pow z 2)))) (* 6 (* (pow x 2) z)))
4.635 * [taylor]: Taking taylor expansion of (- (+ (* 3 (pow x 3)) (* 3 (* x (pow z 2)))) (* 6 (* (pow x 2) z))) in z
4.635 * [taylor]: Taking taylor expansion of (+ (* 3 (pow x 3)) (* 3 (* x (pow z 2)))) in z
4.635 * [taylor]: Taking taylor expansion of (* 3 (pow x 3)) in z
4.635 * [taylor]: Taking taylor expansion of 3 in z
4.635 * [backup-simplify]: Simplify 3 into 3
4.635 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.635 * [taylor]: Taking taylor expansion of x in z
4.635 * [backup-simplify]: Simplify x into x
4.635 * [taylor]: Taking taylor expansion of (* 3 (* x (pow z 2))) in z
4.635 * [taylor]: Taking taylor expansion of 3 in z
4.635 * [backup-simplify]: Simplify 3 into 3
4.635 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
4.635 * [taylor]: Taking taylor expansion of x in z
4.635 * [backup-simplify]: Simplify x into x
4.635 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.635 * [taylor]: Taking taylor expansion of z in z
4.635 * [backup-simplify]: Simplify 0 into 0
4.635 * [backup-simplify]: Simplify 1 into 1
4.635 * [taylor]: Taking taylor expansion of (* 6 (* (pow x 2) z)) in z
4.635 * [taylor]: Taking taylor expansion of 6 in z
4.635 * [backup-simplify]: Simplify 6 into 6
4.635 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in z
4.636 * [taylor]: Taking taylor expansion of (pow x 2) in z
4.636 * [taylor]: Taking taylor expansion of x in z
4.636 * [backup-simplify]: Simplify x into x
4.636 * [taylor]: Taking taylor expansion of z in z
4.636 * [backup-simplify]: Simplify 0 into 0
4.636 * [backup-simplify]: Simplify 1 into 1
4.636 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.636 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.636 * [backup-simplify]: Simplify (* 3 (pow x 3)) into (* 3 (pow x 3))
4.636 * [backup-simplify]: Simplify (+ (* 3 (pow x 3)) 0) into (* 3 (pow x 3))
4.636 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.636 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
4.637 * [backup-simplify]: Simplify (* 6 0) into 0
4.638 * [backup-simplify]: Simplify (- 0) into 0
4.638 * [backup-simplify]: Simplify (+ (* 3 (pow x 3)) 0) into (* 3 (pow x 3))
4.638 * [taylor]: Taking taylor expansion of (* 3 (pow x 3)) in x
4.638 * [taylor]: Taking taylor expansion of 3 in x
4.638 * [backup-simplify]: Simplify 3 into 3
4.638 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.638 * [taylor]: Taking taylor expansion of x in x
4.638 * [backup-simplify]: Simplify 0 into 0
4.638 * [backup-simplify]: Simplify 1 into 1
4.638 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.639 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
4.639 * [backup-simplify]: Simplify (+ (* 3 (pow x 2)) (* 0 0)) into (* 3 (pow x 2))
4.639 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.640 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
4.640 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow x 3))) into 0
4.641 * [backup-simplify]: Simplify (- 0) into 0
4.641 * [backup-simplify]: Simplify (+ (* 3 (pow x 2)) 0) into (* 3 (pow x 2))
4.641 * [taylor]: Taking taylor expansion of (* 3 (pow x 2)) in x
4.641 * [taylor]: Taking taylor expansion of 3 in x
4.641 * [backup-simplify]: Simplify 3 into 3
4.641 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.641 * [taylor]: Taking taylor expansion of x in x
4.641 * [backup-simplify]: Simplify 0 into 0
4.641 * [backup-simplify]: Simplify 1 into 1
4.642 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
4.642 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
4.642 * [taylor]: Taking taylor expansion of 0 in x
4.642 * [backup-simplify]: Simplify 0 into 0
4.642 * [backup-simplify]: Simplify 0 into 0
4.642 * [backup-simplify]: Simplify 0 into 0
4.643 * [backup-simplify]: Simplify (- 0) into 0
4.643 * [backup-simplify]: Simplify (+ 0 0) into 0
4.645 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- z x))))) into 0
4.645 * [backup-simplify]: Simplify (+ 0 0) into 0
4.645 * [backup-simplify]: Simplify (+ (* x 0) (+ (* (- z x) 0) (+ (* 0 (- z x)) (* 0 x)))) into 0
4.647 * [backup-simplify]: Simplify (+ (* x 0) (+ (* (- z x) (- (+ (pow x 2) (pow z 2)) (* 2 (* x z)))) (+ (* 0 (- (* 2 (* x z)) (* 2 (pow x 2)))) (* 0 (pow x 2))))) into (- (+ (* 3 (* (pow x 2) z)) (pow z 3)) (+ (pow x 3) (* 3 (* x (pow z 2)))))
4.647 * [taylor]: Taking taylor expansion of (- (+ (* 3 (* (pow x 2) z)) (pow z 3)) (+ (pow x 3) (* 3 (* x (pow z 2))))) in z
4.647 * [taylor]: Taking taylor expansion of (+ (* 3 (* (pow x 2) z)) (pow z 3)) in z
4.647 * [taylor]: Taking taylor expansion of (* 3 (* (pow x 2) z)) in z
4.647 * [taylor]: Taking taylor expansion of 3 in z
4.647 * [backup-simplify]: Simplify 3 into 3
4.647 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in z
4.647 * [taylor]: Taking taylor expansion of (pow x 2) in z
4.647 * [taylor]: Taking taylor expansion of x in z
4.647 * [backup-simplify]: Simplify x into x
4.647 * [taylor]: Taking taylor expansion of z in z
4.647 * [backup-simplify]: Simplify 0 into 0
4.647 * [backup-simplify]: Simplify 1 into 1
4.647 * [taylor]: Taking taylor expansion of (pow z 3) in z
4.647 * [taylor]: Taking taylor expansion of z in z
4.647 * [backup-simplify]: Simplify 0 into 0
4.647 * [backup-simplify]: Simplify 1 into 1
4.647 * [taylor]: Taking taylor expansion of (+ (pow x 3) (* 3 (* x (pow z 2)))) in z
4.647 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.647 * [taylor]: Taking taylor expansion of x in z
4.647 * [backup-simplify]: Simplify x into x
4.647 * [taylor]: Taking taylor expansion of (* 3 (* x (pow z 2))) in z
4.647 * [taylor]: Taking taylor expansion of 3 in z
4.647 * [backup-simplify]: Simplify 3 into 3
4.647 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
4.648 * [taylor]: Taking taylor expansion of x in z
4.648 * [backup-simplify]: Simplify x into x
4.648 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.648 * [taylor]: Taking taylor expansion of z in z
4.648 * [backup-simplify]: Simplify 0 into 0
4.648 * [backup-simplify]: Simplify 1 into 1
4.648 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.648 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
4.648 * [backup-simplify]: Simplify (* 3 0) into 0
4.649 * [backup-simplify]: Simplify (+ 0 0) into 0
4.649 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.649 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.649 * [backup-simplify]: Simplify (+ (pow x 3) 0) into (pow x 3)
4.649 * [backup-simplify]: Simplify (- (pow x 3)) into (- (pow x 3))
4.649 * [backup-simplify]: Simplify (+ 0 (- (pow x 3))) into (- (pow x 3))
4.649 * [taylor]: Taking taylor expansion of (- (pow x 3)) in x
4.649 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.649 * [taylor]: Taking taylor expansion of x in x
4.649 * [backup-simplify]: Simplify 0 into 0
4.649 * [backup-simplify]: Simplify 1 into 1
4.649 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.649 * [backup-simplify]: Simplify (+ (* x 0) (* 0 (pow x 2))) into 0
4.650 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (pow x 3))) into 0
4.650 * [backup-simplify]: Simplify (+ 0 0) into 0
4.650 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.650 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
4.651 * [backup-simplify]: Simplify (+ (* 6 (pow x 2)) (* 0 0)) into (* 6 (pow x 2))
4.651 * [backup-simplify]: Simplify (- (* 6 (pow x 2))) into (- (* 6 (pow x 2)))
4.651 * [backup-simplify]: Simplify (+ 0 (- (* 6 (pow x 2)))) into (- (* 6 (pow x 2)))
4.651 * [taylor]: Taking taylor expansion of (- (* 6 (pow x 2))) in x
4.651 * [taylor]: Taking taylor expansion of (* 6 (pow x 2)) in x
4.651 * [taylor]: Taking taylor expansion of 6 in x
4.651 * [backup-simplify]: Simplify 6 into 6
4.651 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.651 * [taylor]: Taking taylor expansion of x in x
4.651 * [backup-simplify]: Simplify 0 into 0
4.651 * [backup-simplify]: Simplify 1 into 1
4.651 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
4.652 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 1) (* 0 0))) into 0
4.652 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 (pow x 2)) (* 0 0))) into 0
4.653 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0
4.653 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 (pow x 2)))) into 0
4.654 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 (pow x 3)))) into 0
4.654 * [backup-simplify]: Simplify (- 0) into 0
4.654 * [backup-simplify]: Simplify (+ 0 0) into 0
4.654 * [taylor]: Taking taylor expansion of 0 in x
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 0 into 0
4.655 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0
4.655 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow x 2))))) into 0
4.655 * [taylor]: Taking taylor expansion of 0 in x
4.655 * [backup-simplify]: Simplify 0 into 0
4.655 * [backup-simplify]: Simplify 0 into 0
4.655 * [backup-simplify]: Simplify 0 into 0
4.655 * [backup-simplify]: Simplify 0 into 0
4.656 * [backup-simplify]: Simplify (pow (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 3) into (pow (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 3)
4.656 * [approximate]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 3) in (y z x) around 0
4.656 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 3) in x
4.656 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x
4.656 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.656 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in x
4.656 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.656 * [taylor]: Taking taylor expansion of y in x
4.656 * [backup-simplify]: Simplify y into y
4.656 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.656 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.656 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.656 * [taylor]: Taking taylor expansion of z in x
4.656 * [backup-simplify]: Simplify z into z
4.656 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.656 * [taylor]: Taking taylor expansion of x in x
4.656 * [backup-simplify]: Simplify 0 into 0
4.656 * [backup-simplify]: Simplify 1 into 1
4.656 * [backup-simplify]: Simplify (/ 1 1) into 1
4.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.656 * [taylor]: Taking taylor expansion of x in x
4.657 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify 1 into 1
4.657 * [backup-simplify]: Simplify (/ 1 1) into 1
4.657 * [backup-simplify]: Simplify (- 1) into -1
4.657 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.657 * [backup-simplify]: Simplify (* (/ 1 y) -1) into (/ -1 y)
4.657 * [backup-simplify]: Simplify (+ (/ -1 y) 1) into (- 1 (/ 1 y))
4.657 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 3) in z
4.657 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z
4.658 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.658 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in z
4.658 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.658 * [taylor]: Taking taylor expansion of y in z
4.658 * [backup-simplify]: Simplify y into y
4.658 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.658 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.658 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.658 * [taylor]: Taking taylor expansion of z in z
4.658 * [backup-simplify]: Simplify 0 into 0
4.658 * [backup-simplify]: Simplify 1 into 1
4.658 * [backup-simplify]: Simplify (/ 1 1) into 1
4.658 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.658 * [taylor]: Taking taylor expansion of x in z
4.658 * [backup-simplify]: Simplify x into x
4.658 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.658 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.658 * [taylor]: Taking taylor expansion of x in z
4.658 * [backup-simplify]: Simplify x into x
4.658 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.658 * [backup-simplify]: Simplify (+ 1 0) into 1
4.659 * [backup-simplify]: Simplify (* (/ 1 y) 1) into (/ 1 y)
4.659 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.659 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 3) in y
4.659 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y
4.659 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.659 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in y
4.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.659 * [taylor]: Taking taylor expansion of y in y
4.659 * [backup-simplify]: Simplify 0 into 0
4.659 * [backup-simplify]: Simplify 1 into 1
4.659 * [backup-simplify]: Simplify (/ 1 1) into 1
4.659 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.659 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.659 * [taylor]: Taking taylor expansion of z in y
4.659 * [backup-simplify]: Simplify z into z
4.659 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.659 * [taylor]: Taking taylor expansion of x in y
4.659 * [backup-simplify]: Simplify x into x
4.659 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.659 * [taylor]: Taking taylor expansion of x in y
4.659 * [backup-simplify]: Simplify x into x
4.659 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.659 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.660 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.660 * [backup-simplify]: Simplify (* 1 (- (/ 1 z) (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.660 * [backup-simplify]: Simplify (+ (- (/ 1 z) (/ 1 x)) 0) into (- (/ 1 z) (/ 1 x))
4.660 * [taylor]: Taking taylor expansion of (pow (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) 3) in y
4.660 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y
4.660 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.660 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in y
4.660 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.660 * [taylor]: Taking taylor expansion of y in y
4.660 * [backup-simplify]: Simplify 0 into 0
4.660 * [backup-simplify]: Simplify 1 into 1
4.660 * [backup-simplify]: Simplify (/ 1 1) into 1
4.660 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.660 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.660 * [taylor]: Taking taylor expansion of z in y
4.660 * [backup-simplify]: Simplify z into z
4.660 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.660 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.660 * [taylor]: Taking taylor expansion of x in y
4.660 * [backup-simplify]: Simplify x into x
4.661 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.661 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.661 * [taylor]: Taking taylor expansion of x in y
4.661 * [backup-simplify]: Simplify x into x
4.661 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.661 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.661 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.661 * [backup-simplify]: Simplify (* 1 (- (/ 1 z) (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.661 * [backup-simplify]: Simplify (+ (- (/ 1 z) (/ 1 x)) 0) into (- (/ 1 z) (/ 1 x))
4.661 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 x)) (- (/ 1 z) (/ 1 x))) into (pow (- (/ 1 z) (/ 1 x)) 2)
4.661 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 x)) (pow (- (/ 1 z) (/ 1 x)) 2)) into (pow (- (/ 1 z) (/ 1 x)) 3)
4.661 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 3) in z
4.661 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.661 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.661 * [taylor]: Taking taylor expansion of z in z
4.661 * [backup-simplify]: Simplify 0 into 0
4.661 * [backup-simplify]: Simplify 1 into 1
4.662 * [backup-simplify]: Simplify (/ 1 1) into 1
4.662 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.662 * [taylor]: Taking taylor expansion of x in z
4.662 * [backup-simplify]: Simplify x into x
4.662 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.662 * [backup-simplify]: Simplify (+ 1 0) into 1
4.662 * [backup-simplify]: Simplify (* 1 1) into 1
4.663 * [backup-simplify]: Simplify (* 1 1) into 1
4.663 * [taylor]: Taking taylor expansion of 1 in x
4.663 * [backup-simplify]: Simplify 1 into 1
4.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.663 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.663 * [backup-simplify]: Simplify (- 0) into 0
4.663 * [backup-simplify]: Simplify (+ 0 0) into 0
4.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.664 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
4.664 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
4.664 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 x)) (* (/ 1 x) (- (/ 1 z) (/ 1 x)))) into (- (* 2 (/ 1 (* x z))) (* 2 (/ 1 (pow x 2))))
4.665 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) (- (* 2 (/ 1 (* x z))) (* 2 (/ 1 (pow x 2))))) (* (/ 1 x) (pow (- (/ 1 z) (/ 1 x)) 2))) into (- (+ (* 3 (/ 1 (* x (pow z 2)))) (* 3 (/ 1 (pow x 3)))) (* 6 (/ 1 (* (pow x 2) z))))
4.665 * [taylor]: Taking taylor expansion of (- (+ (* 3 (/ 1 (* x (pow z 2)))) (* 3 (/ 1 (pow x 3)))) (* 6 (/ 1 (* (pow x 2) z)))) in z
4.665 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (* x (pow z 2)))) (* 3 (/ 1 (pow x 3)))) in z
4.665 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x (pow z 2)))) in z
4.665 * [taylor]: Taking taylor expansion of 3 in z
4.665 * [backup-simplify]: Simplify 3 into 3
4.665 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in z
4.665 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
4.665 * [taylor]: Taking taylor expansion of x in z
4.665 * [backup-simplify]: Simplify x into x
4.665 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.665 * [taylor]: Taking taylor expansion of z in z
4.665 * [backup-simplify]: Simplify 0 into 0
4.665 * [backup-simplify]: Simplify 1 into 1
4.666 * [backup-simplify]: Simplify (* 1 1) into 1
4.666 * [backup-simplify]: Simplify (* x 1) into x
4.666 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.666 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 3))) in z
4.666 * [taylor]: Taking taylor expansion of 3 in z
4.666 * [backup-simplify]: Simplify 3 into 3
4.666 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
4.666 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.666 * [taylor]: Taking taylor expansion of x in z
4.666 * [backup-simplify]: Simplify x into x
4.666 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.666 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.666 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
4.666 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow x 2) z))) in z
4.666 * [taylor]: Taking taylor expansion of 6 in z
4.666 * [backup-simplify]: Simplify 6 into 6
4.666 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) z)) in z
4.666 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in z
4.666 * [taylor]: Taking taylor expansion of (pow x 2) in z
4.666 * [taylor]: Taking taylor expansion of x in z
4.666 * [backup-simplify]: Simplify x into x
4.666 * [taylor]: Taking taylor expansion of z in z
4.666 * [backup-simplify]: Simplify 0 into 0
4.666 * [backup-simplify]: Simplify 1 into 1
4.667 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.667 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
4.667 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.667 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
4.667 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.668 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.668 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.668 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
4.668 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 x))) (* (- (/ 1 x)) 1)) into (- (* 2 (/ 1 x)))
4.668 * [backup-simplify]: Simplify (+ (* 1 (- (* 2 (/ 1 x)))) (* (- (/ 1 x)) 1)) into (- (* 3 (/ 1 x)))
4.668 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x
4.668 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
4.668 * [taylor]: Taking taylor expansion of 3 in x
4.668 * [backup-simplify]: Simplify 3 into 3
4.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.668 * [taylor]: Taking taylor expansion of x in x
4.668 * [backup-simplify]: Simplify 0 into 0
4.668 * [backup-simplify]: Simplify 1 into 1
4.669 * [backup-simplify]: Simplify (/ 1 1) into 1
4.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.669 * [backup-simplify]: Simplify (- 0) into 0
4.669 * [backup-simplify]: Simplify (+ 0 0) into 0
4.670 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
4.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.671 * [backup-simplify]: Simplify (+ 0 0) into 0
4.671 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) 0) (+ (* (/ 1 x) (/ 1 x)) (* 0 (- (/ 1 z) (/ 1 x))))) into (/ 1 (pow x 2))
4.672 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 (pow x 2))) (+ (* (/ 1 x) (- (* 2 (/ 1 (* x z))) (* 2 (/ 1 (pow x 2))))) (* 0 (pow (- (/ 1 z) (/ 1 x)) 2)))) into (- (* 3 (/ 1 (* (pow x 2) z))) (* 3 (/ 1 (pow x 3))))
4.672 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x 2) z))) (* 3 (/ 1 (pow x 3)))) in z
4.672 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x 2) z))) in z
4.672 * [taylor]: Taking taylor expansion of 3 in z
4.672 * [backup-simplify]: Simplify 3 into 3
4.672 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) z)) in z
4.672 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in z
4.672 * [taylor]: Taking taylor expansion of (pow x 2) in z
4.672 * [taylor]: Taking taylor expansion of x in z
4.672 * [backup-simplify]: Simplify x into x
4.672 * [taylor]: Taking taylor expansion of z in z
4.672 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify 1 into 1
4.672 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.672 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
4.672 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.673 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
4.673 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.673 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 3))) in z
4.673 * [taylor]: Taking taylor expansion of 3 in z
4.673 * [backup-simplify]: Simplify 3 into 3
4.673 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
4.673 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.673 * [taylor]: Taking taylor expansion of x in z
4.673 * [backup-simplify]: Simplify x into x
4.673 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.673 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.673 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
4.673 * [backup-simplify]: Simplify (* 3 (/ 1 x)) into (/ 3 x)
4.673 * [backup-simplify]: Simplify (+ (/ 3 x) 0) into (* 3 (/ 1 x))
4.673 * [backup-simplify]: Simplify (+ (* 3 (/ 1 x)) 0) into (* 3 (/ 1 x))
4.673 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
4.673 * [taylor]: Taking taylor expansion of 3 in x
4.673 * [backup-simplify]: Simplify 3 into 3
4.673 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.673 * [taylor]: Taking taylor expansion of x in x
4.673 * [backup-simplify]: Simplify 0 into 0
4.673 * [backup-simplify]: Simplify 1 into 1
4.674 * [backup-simplify]: Simplify (/ 1 1) into 1
4.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.674 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.674 * [backup-simplify]: Simplify (- 0) into 0
4.675 * [backup-simplify]: Simplify (+ 0 0) into 0
4.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) (- (/ 1 x))) (* 0 1))) into (/ 1 (pow x 2))
4.676 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow x 2))) (+ (* (- (/ 1 x)) (- (* 2 (/ 1 x)))) (* 0 1))) into (* 3 (/ 1 (pow x 2)))
4.676 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 2))) in x
4.676 * [taylor]: Taking taylor expansion of 3 in x
4.676 * [backup-simplify]: Simplify 3 into 3
4.676 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.676 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.676 * [taylor]: Taking taylor expansion of x in x
4.676 * [backup-simplify]: Simplify 0 into 0
4.676 * [backup-simplify]: Simplify 1 into 1
4.676 * [backup-simplify]: Simplify (* 1 1) into 1
4.676 * [backup-simplify]: Simplify (/ 1 1) into 1
4.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.677 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.677 * [backup-simplify]: Simplify (- 0) into 0
4.677 * [backup-simplify]: Simplify (+ 0 0) into 0
4.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
4.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.679 * [backup-simplify]: Simplify (+ 0 0) into 0
4.679 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) 0) (+ (* (/ 1 x) 0) (+ (* 0 (/ 1 x)) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
4.680 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) 0) (+ (* (/ 1 x) (/ 1 (pow x 2))) (+ (* 0 (- (* 2 (/ 1 (* x z))) (* 2 (/ 1 (pow x 2))))) (* 0 (pow (- (/ 1 z) (/ 1 x)) 2))))) into (/ 1 (pow x 3))
4.680 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
4.680 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.680 * [taylor]: Taking taylor expansion of x in z
4.680 * [backup-simplify]: Simplify x into x
4.680 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.680 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.680 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
4.680 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.681 * [backup-simplify]: Simplify (+ (* x 0) (* 0 1)) into 0
4.681 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.681 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 x))) into 0
4.681 * [backup-simplify]: Simplify (+ 0 0) into 0
4.682 * [backup-simplify]: Simplify (* 6 (/ 1 (pow x 2))) into (/ 6 (pow x 2))
4.682 * [backup-simplify]: Simplify (- (/ 6 (pow x 2))) into (- (* 6 (/ 1 (pow x 2))))
4.682 * [backup-simplify]: Simplify (+ 0 (- (* 6 (/ 1 (pow x 2))))) into (- (* 6 (/ 1 (pow x 2))))
4.682 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 (pow x 2)))) in x
4.682 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow x 2))) in x
4.682 * [taylor]: Taking taylor expansion of 6 in x
4.682 * [backup-simplify]: Simplify 6 into 6
4.682 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.682 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.682 * [taylor]: Taking taylor expansion of x in x
4.682 * [backup-simplify]: Simplify 0 into 0
4.682 * [backup-simplify]: Simplify 1 into 1
4.682 * [backup-simplify]: Simplify (* 1 1) into 1
4.682 * [backup-simplify]: Simplify (/ 1 1) into 1
4.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.683 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.683 * [backup-simplify]: Simplify (- 0) into 0
4.684 * [backup-simplify]: Simplify (+ 0 0) into 0
4.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0
4.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) (/ 1 (pow x 2))) (+ (* 0 (- (* 2 (/ 1 x)))) (* 0 1)))) into (- (/ 1 (pow x 3)))
4.685 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3))) in x
4.685 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
4.685 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.685 * [taylor]: Taking taylor expansion of x in x
4.685 * [backup-simplify]: Simplify 0 into 0
4.685 * [backup-simplify]: Simplify 1 into 1
4.685 * [backup-simplify]: Simplify (* 1 1) into 1
4.686 * [backup-simplify]: Simplify (* 1 1) into 1
4.686 * [backup-simplify]: Simplify (/ 1 1) into 1
4.686 * [backup-simplify]: Simplify (- 1) into -1
4.686 * [backup-simplify]: Simplify -1 into -1
4.686 * [backup-simplify]: Simplify (* 3 1) into 3
4.686 * [backup-simplify]: Simplify 3 into 3
4.687 * [backup-simplify]: Simplify (* 3 1) into 3
4.687 * [backup-simplify]: Simplify (- 3) into -3
4.687 * [backup-simplify]: Simplify -3 into -3
4.688 * [backup-simplify]: Simplify (+ (* -3 (* (/ 1 (/ 1 x)) (* (pow (/ 1 z) -2) (pow (/ 1 y) -3)))) (+ (* 3 (* (pow (/ 1 x) -2) (* (/ 1 (/ 1 z)) (pow (/ 1 y) -3)))) (* -1 (pow (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))) 3)))) into (- (* 3 (* (pow x 2) (* z (pow y 3)))) (+ (* 3 (* x (* (pow z 2) (pow y 3)))) (* (pow x 3) (pow y 3))))
4.688 * [backup-simplify]: Simplify (pow (fma (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- x))) 3) into (pow (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 3)
4.688 * [approximate]: Taking taylor expansion of (pow (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 3) in (y z x) around 0
4.688 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 3) in x
4.688 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x
4.688 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.688 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in x
4.688 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.688 * [taylor]: Taking taylor expansion of -1 in x
4.688 * [backup-simplify]: Simplify -1 into -1
4.688 * [taylor]: Taking taylor expansion of y in x
4.688 * [backup-simplify]: Simplify y into y
4.688 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.688 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.688 * [taylor]: Taking taylor expansion of x in x
4.688 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify 1 into 1
4.689 * [backup-simplify]: Simplify (/ 1 1) into 1
4.689 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.689 * [taylor]: Taking taylor expansion of z in x
4.689 * [backup-simplify]: Simplify z into z
4.689 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.689 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.689 * [taylor]: Taking taylor expansion of -1 in x
4.689 * [backup-simplify]: Simplify -1 into -1
4.689 * [taylor]: Taking taylor expansion of x in x
4.689 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify 1 into 1
4.689 * [backup-simplify]: Simplify (/ -1 1) into -1
4.690 * [backup-simplify]: Simplify (+ 1 0) into 1
4.690 * [backup-simplify]: Simplify (* (/ -1 y) 1) into (/ -1 y)
4.690 * [backup-simplify]: Simplify (+ (/ -1 y) -1) into (- (+ (/ 1 y) 1))
4.690 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 3) in z
4.690 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z
4.690 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.690 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in z
4.690 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.690 * [taylor]: Taking taylor expansion of -1 in z
4.690 * [backup-simplify]: Simplify -1 into -1
4.690 * [taylor]: Taking taylor expansion of y in z
4.690 * [backup-simplify]: Simplify y into y
4.690 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.690 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.690 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.690 * [taylor]: Taking taylor expansion of x in z
4.690 * [backup-simplify]: Simplify x into x
4.690 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.690 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.690 * [taylor]: Taking taylor expansion of z in z
4.690 * [backup-simplify]: Simplify 0 into 0
4.690 * [backup-simplify]: Simplify 1 into 1
4.690 * [backup-simplify]: Simplify (/ 1 1) into 1
4.690 * [taylor]: Taking taylor expansion of (/ -1 x) in z
4.690 * [taylor]: Taking taylor expansion of -1 in z
4.690 * [backup-simplify]: Simplify -1 into -1
4.690 * [taylor]: Taking taylor expansion of x in z
4.690 * [backup-simplify]: Simplify x into x
4.691 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.691 * [backup-simplify]: Simplify (- 1) into -1
4.691 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.691 * [backup-simplify]: Simplify (* (/ -1 y) -1) into (/ 1 y)
4.691 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
4.691 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 3) in y
4.691 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y
4.691 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.691 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in y
4.691 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.691 * [taylor]: Taking taylor expansion of -1 in y
4.691 * [backup-simplify]: Simplify -1 into -1
4.691 * [taylor]: Taking taylor expansion of y in y
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify 1 into 1
4.692 * [backup-simplify]: Simplify (/ -1 1) into -1
4.692 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.692 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.692 * [taylor]: Taking taylor expansion of x in y
4.692 * [backup-simplify]: Simplify x into x
4.692 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.692 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.692 * [taylor]: Taking taylor expansion of z in y
4.692 * [backup-simplify]: Simplify z into z
4.692 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.692 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.692 * [taylor]: Taking taylor expansion of -1 in y
4.692 * [backup-simplify]: Simplify -1 into -1
4.692 * [taylor]: Taking taylor expansion of x in y
4.692 * [backup-simplify]: Simplify x into x
4.692 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.692 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.692 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
4.692 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z)))
4.693 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 z))) 0) into (- (/ 1 z) (/ 1 x))
4.693 * [taylor]: Taking taylor expansion of (pow (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) 3) in y
4.693 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y
4.693 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.693 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in y
4.693 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.693 * [taylor]: Taking taylor expansion of -1 in y
4.693 * [backup-simplify]: Simplify -1 into -1
4.693 * [taylor]: Taking taylor expansion of y in y
4.693 * [backup-simplify]: Simplify 0 into 0
4.693 * [backup-simplify]: Simplify 1 into 1
4.694 * [backup-simplify]: Simplify (/ -1 1) into -1
4.694 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.694 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.694 * [taylor]: Taking taylor expansion of x in y
4.694 * [backup-simplify]: Simplify x into x
4.694 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.694 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.694 * [taylor]: Taking taylor expansion of z in y
4.694 * [backup-simplify]: Simplify z into z
4.694 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.694 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.694 * [taylor]: Taking taylor expansion of -1 in y
4.694 * [backup-simplify]: Simplify -1 into -1
4.694 * [taylor]: Taking taylor expansion of x in y
4.694 * [backup-simplify]: Simplify x into x
4.694 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.694 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.694 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
4.694 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z)))
4.695 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 z))) 0) into (- (/ 1 z) (/ 1 x))
4.695 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 x)) (- (/ 1 z) (/ 1 x))) into (pow (- (/ 1 z) (/ 1 x)) 2)
4.695 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 x)) (pow (- (/ 1 z) (/ 1 x)) 2)) into (pow (- (/ 1 z) (/ 1 x)) 3)
4.695 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 x)) 3) in z
4.695 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.696 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.696 * [taylor]: Taking taylor expansion of z in z
4.696 * [backup-simplify]: Simplify 0 into 0
4.696 * [backup-simplify]: Simplify 1 into 1
4.696 * [backup-simplify]: Simplify (/ 1 1) into 1
4.696 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.696 * [taylor]: Taking taylor expansion of x in z
4.696 * [backup-simplify]: Simplify x into x
4.696 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.697 * [backup-simplify]: Simplify (+ 1 0) into 1
4.697 * [backup-simplify]: Simplify (* 1 1) into 1
4.698 * [backup-simplify]: Simplify (* 1 1) into 1
4.698 * [taylor]: Taking taylor expansion of 1 in x
4.698 * [backup-simplify]: Simplify 1 into 1
4.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.698 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.698 * [backup-simplify]: Simplify (- 0) into 0
4.699 * [backup-simplify]: Simplify (+ 0 0) into 0
4.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.700 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0
4.700 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
4.701 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) (- (/ 1 x))) (* (- (/ 1 x)) (- (/ 1 z) (/ 1 x)))) into (- (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 (* x z))))
4.702 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) (- (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 (* x z))))) (* (- (/ 1 x)) (pow (- (/ 1 z) (/ 1 x)) 2))) into (- (* 6 (/ 1 (* (pow x 2) z))) (+ (* 3 (/ 1 (* x (pow z 2)))) (* 3 (/ 1 (pow x 3)))))
4.702 * [taylor]: Taking taylor expansion of (- (* 6 (/ 1 (* (pow x 2) z))) (+ (* 3 (/ 1 (* x (pow z 2)))) (* 3 (/ 1 (pow x 3))))) in z
4.702 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (* (pow x 2) z))) in z
4.702 * [taylor]: Taking taylor expansion of 6 in z
4.702 * [backup-simplify]: Simplify 6 into 6
4.702 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) z)) in z
4.702 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in z
4.703 * [taylor]: Taking taylor expansion of (pow x 2) in z
4.703 * [taylor]: Taking taylor expansion of x in z
4.703 * [backup-simplify]: Simplify x into x
4.703 * [taylor]: Taking taylor expansion of z in z
4.703 * [backup-simplify]: Simplify 0 into 0
4.703 * [backup-simplify]: Simplify 1 into 1
4.703 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.703 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
4.703 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.704 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
4.704 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.704 * [taylor]: Taking taylor expansion of (+ (* 3 (/ 1 (* x (pow z 2)))) (* 3 (/ 1 (pow x 3)))) in z
4.704 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* x (pow z 2)))) in z
4.704 * [taylor]: Taking taylor expansion of 3 in z
4.704 * [backup-simplify]: Simplify 3 into 3
4.704 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow z 2))) in z
4.704 * [taylor]: Taking taylor expansion of (* x (pow z 2)) in z
4.704 * [taylor]: Taking taylor expansion of x in z
4.704 * [backup-simplify]: Simplify x into x
4.704 * [taylor]: Taking taylor expansion of (pow z 2) in z
4.704 * [taylor]: Taking taylor expansion of z in z
4.704 * [backup-simplify]: Simplify 0 into 0
4.704 * [backup-simplify]: Simplify 1 into 1
4.704 * [backup-simplify]: Simplify (* 1 1) into 1
4.704 * [backup-simplify]: Simplify (* x 1) into x
4.705 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.705 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 3))) in z
4.705 * [taylor]: Taking taylor expansion of 3 in z
4.705 * [backup-simplify]: Simplify 3 into 3
4.705 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
4.705 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.705 * [taylor]: Taking taylor expansion of x in z
4.705 * [backup-simplify]: Simplify x into x
4.705 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.705 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.705 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
4.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.706 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.706 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
4.706 * [backup-simplify]: Simplify (+ (* 1 (- (/ 1 x))) (* (- (/ 1 x)) 1)) into (- (* 2 (/ 1 x)))
4.706 * [backup-simplify]: Simplify (+ (* 1 (- (* 2 (/ 1 x)))) (* (- (/ 1 x)) 1)) into (- (* 3 (/ 1 x)))
4.706 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x
4.707 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
4.707 * [taylor]: Taking taylor expansion of 3 in x
4.707 * [backup-simplify]: Simplify 3 into 3
4.707 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.707 * [taylor]: Taking taylor expansion of x in x
4.707 * [backup-simplify]: Simplify 0 into 0
4.707 * [backup-simplify]: Simplify 1 into 1
4.707 * [backup-simplify]: Simplify (/ 1 1) into 1
4.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.708 * [backup-simplify]: Simplify (- 0) into 0
4.708 * [backup-simplify]: Simplify (+ 0 0) into 0
4.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.709 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
4.710 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.710 * [backup-simplify]: Simplify (+ 0 0) into 0
4.710 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) 0) (+ (* (- (/ 1 x)) (- (/ 1 x))) (* 0 (- (/ 1 z) (/ 1 x))))) into (/ 1 (pow x 2))
4.711 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) (/ 1 (pow x 2))) (+ (* (- (/ 1 x)) (- (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 (* x z))))) (* 0 (pow (- (/ 1 z) (/ 1 x)) 2)))) into (- (* 3 (/ 1 (* (pow x 2) z))) (* 3 (/ 1 (pow x 3))))
4.711 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 (* (pow x 2) z))) (* 3 (/ 1 (pow x 3)))) in z
4.711 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow x 2) z))) in z
4.711 * [taylor]: Taking taylor expansion of 3 in z
4.711 * [backup-simplify]: Simplify 3 into 3
4.711 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) z)) in z
4.711 * [taylor]: Taking taylor expansion of (* (pow x 2) z) in z
4.711 * [taylor]: Taking taylor expansion of (pow x 2) in z
4.711 * [taylor]: Taking taylor expansion of x in z
4.711 * [backup-simplify]: Simplify x into x
4.711 * [taylor]: Taking taylor expansion of z in z
4.711 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify 1 into 1
4.711 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.711 * [backup-simplify]: Simplify (* (pow x 2) 0) into 0
4.711 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0
4.712 * [backup-simplify]: Simplify (+ (* (pow x 2) 1) (* 0 0)) into (pow x 2)
4.712 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2))
4.712 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 3))) in z
4.712 * [taylor]: Taking taylor expansion of 3 in z
4.712 * [backup-simplify]: Simplify 3 into 3
4.712 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
4.712 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.712 * [taylor]: Taking taylor expansion of x in z
4.712 * [backup-simplify]: Simplify x into x
4.712 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.712 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.712 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
4.712 * [backup-simplify]: Simplify (* 3 (/ 1 x)) into (/ 3 x)
4.712 * [backup-simplify]: Simplify (+ (/ 3 x) 0) into (* 3 (/ 1 x))
4.712 * [backup-simplify]: Simplify (- (* 3 (/ 1 x))) into (- (* 3 (/ 1 x)))
4.712 * [backup-simplify]: Simplify (+ 0 (- (* 3 (/ 1 x)))) into (- (* 3 (/ 1 x)))
4.712 * [taylor]: Taking taylor expansion of (- (* 3 (/ 1 x))) in x
4.712 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x
4.712 * [taylor]: Taking taylor expansion of 3 in x
4.712 * [backup-simplify]: Simplify 3 into 3
4.712 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.712 * [taylor]: Taking taylor expansion of x in x
4.712 * [backup-simplify]: Simplify 0 into 0
4.712 * [backup-simplify]: Simplify 1 into 1
4.713 * [backup-simplify]: Simplify (/ 1 1) into 1
4.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.713 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.714 * [backup-simplify]: Simplify (- 0) into 0
4.714 * [backup-simplify]: Simplify (+ 0 0) into 0
4.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) (- (/ 1 x))) (* 0 1))) into (/ 1 (pow x 2))
4.715 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (pow x 2))) (+ (* (- (/ 1 x)) (- (* 2 (/ 1 x)))) (* 0 1))) into (* 3 (/ 1 (pow x 2)))
4.715 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (pow x 2))) in x
4.715 * [taylor]: Taking taylor expansion of 3 in x
4.715 * [backup-simplify]: Simplify 3 into 3
4.715 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.715 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.715 * [taylor]: Taking taylor expansion of x in x
4.715 * [backup-simplify]: Simplify 0 into 0
4.715 * [backup-simplify]: Simplify 1 into 1
4.715 * [backup-simplify]: Simplify (* 1 1) into 1
4.716 * [backup-simplify]: Simplify (/ 1 1) into 1
4.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.716 * [backup-simplify]: Simplify (- 0) into 0
4.716 * [backup-simplify]: Simplify (+ 0 0) into 0
4.717 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.718 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0
4.718 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.718 * [backup-simplify]: Simplify (+ 0 0) into 0
4.718 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 (- (/ 1 x))) (* 0 (- (/ 1 z) (/ 1 x)))))) into 0
4.719 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 x)) 0) (+ (* (- (/ 1 x)) (/ 1 (pow x 2))) (+ (* 0 (- (* 2 (/ 1 (pow x 2))) (* 2 (/ 1 (* x z))))) (* 0 (pow (- (/ 1 z) (/ 1 x)) 2))))) into (- (/ 1 (pow x 3)))
4.719 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3))) in z
4.719 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in z
4.719 * [taylor]: Taking taylor expansion of (pow x 3) in z
4.719 * [taylor]: Taking taylor expansion of x in z
4.719 * [backup-simplify]: Simplify x into x
4.719 * [backup-simplify]: Simplify (* x x) into (pow x 2)
4.719 * [backup-simplify]: Simplify (* x (pow x 2)) into (pow x 3)
4.719 * [backup-simplify]: Simplify (/ 1 (pow x 3)) into (/ 1 (pow x 3))
4.719 * [backup-simplify]: Simplify (* 6 (/ 1 (pow x 2))) into (/ 6 (pow x 2))
4.724 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.725 * [backup-simplify]: Simplify (+ (* x 0) (* 0 1)) into 0
4.725 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.725 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 (/ 1 x))) into 0
4.725 * [backup-simplify]: Simplify (+ 0 0) into 0
4.726 * [backup-simplify]: Simplify (- 0) into 0
4.726 * [backup-simplify]: Simplify (+ (/ 6 (pow x 2)) 0) into (* 6 (/ 1 (pow x 2)))
4.726 * [taylor]: Taking taylor expansion of (* 6 (/ 1 (pow x 2))) in x
4.726 * [taylor]: Taking taylor expansion of 6 in x
4.726 * [backup-simplify]: Simplify 6 into 6
4.726 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.726 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.726 * [taylor]: Taking taylor expansion of x in x
4.726 * [backup-simplify]: Simplify 0 into 0
4.726 * [backup-simplify]: Simplify 1 into 1
4.726 * [backup-simplify]: Simplify (* 1 1) into 1
4.726 * [backup-simplify]: Simplify (/ 1 1) into 1
4.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.727 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.727 * [backup-simplify]: Simplify (- 0) into 0
4.728 * [backup-simplify]: Simplify (+ 0 0) into 0
4.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) 0) (+ (* 0 (- (/ 1 x))) (* 0 1)))) into 0
4.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 x)) (/ 1 (pow x 2))) (+ (* 0 (- (* 2 (/ 1 x)))) (* 0 1)))) into (- (/ 1 (pow x 3)))
4.729 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 3))) in x
4.729 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
4.729 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.729 * [taylor]: Taking taylor expansion of x in x
4.729 * [backup-simplify]: Simplify 0 into 0
4.729 * [backup-simplify]: Simplify 1 into 1
4.729 * [backup-simplify]: Simplify (* 1 1) into 1
4.730 * [backup-simplify]: Simplify (* 1 1) into 1
4.730 * [backup-simplify]: Simplify (/ 1 1) into 1
4.730 * [backup-simplify]: Simplify (- 1) into -1
4.730 * [backup-simplify]: Simplify -1 into -1
4.730 * [backup-simplify]: Simplify (* 3 1) into 3
4.730 * [backup-simplify]: Simplify 3 into 3
4.731 * [backup-simplify]: Simplify (* 3 1) into 3
4.731 * [backup-simplify]: Simplify (- 3) into -3
4.731 * [backup-simplify]: Simplify -3 into -3
4.732 * [backup-simplify]: Simplify (+ (* -3 (* (/ 1 (/ 1 (- x))) (* (pow (/ 1 (- z)) -2) (pow (/ 1 (- y)) -3)))) (+ (* 3 (* (pow (/ 1 (- x)) -2) (* (/ 1 (/ 1 (- z))) (pow (/ 1 (- y)) -3)))) (* -1 (pow (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))) 3)))) into (- (* 3 (* (pow x 2) (* z (pow y 3)))) (+ (* 3 (* x (* (pow z 2) (pow y 3)))) (* (pow x 3) (pow y 3))))
4.732 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
4.732 * [backup-simplify]: Simplify (fma y (- z x) x) into (fma y (- z x) x)
4.732 * [approximate]: Taking taylor expansion of (fma y (- z x) x) in (y z x) around 0
4.732 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in x
4.732 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.732 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
4.732 * [taylor]: Taking taylor expansion of y in x
4.732 * [backup-simplify]: Simplify y into y
4.732 * [taylor]: Taking taylor expansion of (- z x) in x
4.732 * [taylor]: Taking taylor expansion of z in x
4.732 * [backup-simplify]: Simplify z into z
4.732 * [taylor]: Taking taylor expansion of x in x
4.732 * [backup-simplify]: Simplify 0 into 0
4.732 * [backup-simplify]: Simplify 1 into 1
4.732 * [taylor]: Taking taylor expansion of x in x
4.732 * [backup-simplify]: Simplify 0 into 0
4.732 * [backup-simplify]: Simplify 1 into 1
4.732 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in z
4.733 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.733 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
4.733 * [taylor]: Taking taylor expansion of y in z
4.733 * [backup-simplify]: Simplify y into y
4.733 * [taylor]: Taking taylor expansion of (- z x) in z
4.733 * [taylor]: Taking taylor expansion of z in z
4.733 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify 1 into 1
4.733 * [taylor]: Taking taylor expansion of x in z
4.733 * [backup-simplify]: Simplify x into x
4.733 * [taylor]: Taking taylor expansion of x in z
4.733 * [backup-simplify]: Simplify x into x
4.733 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in y
4.733 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.733 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
4.733 * [taylor]: Taking taylor expansion of y in y
4.733 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify 1 into 1
4.733 * [taylor]: Taking taylor expansion of (- z x) in y
4.733 * [taylor]: Taking taylor expansion of z in y
4.733 * [backup-simplify]: Simplify z into z
4.733 * [taylor]: Taking taylor expansion of x in y
4.733 * [backup-simplify]: Simplify x into x
4.733 * [taylor]: Taking taylor expansion of x in y
4.733 * [backup-simplify]: Simplify x into x
4.733 * [taylor]: Taking taylor expansion of (fma y (- z x) x) in y
4.733 * [taylor]: Rewrote expression to (+ (* y (- z x)) x)
4.733 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
4.733 * [taylor]: Taking taylor expansion of y in y
4.733 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify 1 into 1
4.733 * [taylor]: Taking taylor expansion of (- z x) in y
4.733 * [taylor]: Taking taylor expansion of z in y
4.733 * [backup-simplify]: Simplify z into z
4.733 * [taylor]: Taking taylor expansion of x in y
4.733 * [backup-simplify]: Simplify x into x
4.733 * [taylor]: Taking taylor expansion of x in y
4.733 * [backup-simplify]: Simplify x into x
4.733 * [backup-simplify]: Simplify (- x) into (- x)
4.733 * [backup-simplify]: Simplify (+ z (- x)) into (- z x)
4.734 * [backup-simplify]: Simplify (* 0 (- z x)) into 0
4.734 * [backup-simplify]: Simplify (+ 0 x) into x
4.734 * [taylor]: Taking taylor expansion of x in z
4.734 * [backup-simplify]: Simplify x into x
4.734 * [taylor]: Taking taylor expansion of x in x
4.734 * [backup-simplify]: Simplify 0 into 0
4.734 * [backup-simplify]: Simplify 1 into 1
4.734 * [backup-simplify]: Simplify 0 into 0
4.734 * [backup-simplify]: Simplify (- 0) into 0
4.734 * [backup-simplify]: Simplify (+ 0 0) into 0
4.734 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z x))) into (- z x)
4.734 * [backup-simplify]: Simplify (+ (- z x) 0) into (- z x)
4.734 * [taylor]: Taking taylor expansion of (- z x) in z
4.735 * [taylor]: Taking taylor expansion of z in z
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify 1 into 1
4.735 * [taylor]: Taking taylor expansion of x in z
4.735 * [backup-simplify]: Simplify x into x
4.735 * [backup-simplify]: Simplify (- x) into (- x)
4.735 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
4.735 * [taylor]: Taking taylor expansion of (- x) in x
4.735 * [taylor]: Taking taylor expansion of x in x
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify 1 into 1
4.735 * [backup-simplify]: Simplify (- 0) into 0
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [taylor]: Taking taylor expansion of 0 in x
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify 0 into 0
4.735 * [backup-simplify]: Simplify 1 into 1
4.735 * [backup-simplify]: Simplify (- 0) into 0
4.736 * [backup-simplify]: Simplify (+ 0 0) into 0
4.736 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- z x)))) into 0
4.736 * [backup-simplify]: Simplify (+ 0 0) into 0
4.736 * [taylor]: Taking taylor expansion of 0 in z
4.736 * [backup-simplify]: Simplify 0 into 0
4.736 * [taylor]: Taking taylor expansion of 0 in x
4.736 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.737 * [backup-simplify]: Simplify (- 0) into 0
4.737 * [backup-simplify]: Simplify (+ 1 0) into 1
4.737 * [taylor]: Taking taylor expansion of 1 in x
4.737 * [backup-simplify]: Simplify 1 into 1
4.737 * [backup-simplify]: Simplify 1 into 1
4.737 * [taylor]: Taking taylor expansion of 0 in x
4.738 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify (- 1) into -1
4.738 * [backup-simplify]: Simplify -1 into -1
4.739 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (+ (* 1 (* 1 (* z y))) (* 1 (* x (* 1 1))))) into (- (+ (* z y) x) (* x y))
4.739 * [backup-simplify]: Simplify (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) into (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x))
4.739 * [approximate]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in (y z x) around 0
4.739 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in x
4.739 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.739 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in x
4.739 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.739 * [taylor]: Taking taylor expansion of y in x
4.739 * [backup-simplify]: Simplify y into y
4.739 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.739 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
4.739 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.739 * [taylor]: Taking taylor expansion of z in x
4.740 * [backup-simplify]: Simplify z into z
4.740 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.740 * [taylor]: Taking taylor expansion of x in x
4.740 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify 1 into 1
4.740 * [backup-simplify]: Simplify (/ 1 1) into 1
4.740 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.740 * [taylor]: Taking taylor expansion of x in x
4.740 * [backup-simplify]: Simplify 0 into 0
4.740 * [backup-simplify]: Simplify 1 into 1
4.741 * [backup-simplify]: Simplify (/ 1 1) into 1
4.741 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in z
4.741 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.741 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in z
4.741 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.741 * [taylor]: Taking taylor expansion of y in z
4.741 * [backup-simplify]: Simplify y into y
4.741 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
4.741 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.741 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.741 * [taylor]: Taking taylor expansion of z in z
4.741 * [backup-simplify]: Simplify 0 into 0
4.741 * [backup-simplify]: Simplify 1 into 1
4.741 * [backup-simplify]: Simplify (/ 1 1) into 1
4.741 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.742 * [taylor]: Taking taylor expansion of x in z
4.742 * [backup-simplify]: Simplify x into x
4.742 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.742 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.742 * [taylor]: Taking taylor expansion of x in z
4.742 * [backup-simplify]: Simplify x into x
4.742 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.742 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y
4.742 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.742 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in y
4.742 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.742 * [taylor]: Taking taylor expansion of y in y
4.742 * [backup-simplify]: Simplify 0 into 0
4.742 * [backup-simplify]: Simplify 1 into 1
4.742 * [backup-simplify]: Simplify (/ 1 1) into 1
4.743 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.743 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.743 * [taylor]: Taking taylor expansion of z in y
4.743 * [backup-simplify]: Simplify z into z
4.743 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.743 * [taylor]: Taking taylor expansion of x in y
4.743 * [backup-simplify]: Simplify x into x
4.743 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.743 * [taylor]: Taking taylor expansion of x in y
4.743 * [backup-simplify]: Simplify x into x
4.743 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.743 * [taylor]: Taking taylor expansion of (fma (/ 1 y) (- (/ 1 z) (/ 1 x)) (/ 1 x)) in y
4.743 * [taylor]: Rewrote expression to (+ (* (/ 1 y) (- (/ 1 z) (/ 1 x))) (/ 1 x))
4.743 * [taylor]: Taking taylor expansion of (* (/ 1 y) (- (/ 1 z) (/ 1 x))) in y
4.743 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.743 * [taylor]: Taking taylor expansion of y in y
4.743 * [backup-simplify]: Simplify 0 into 0
4.743 * [backup-simplify]: Simplify 1 into 1
4.744 * [backup-simplify]: Simplify (/ 1 1) into 1
4.744 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
4.744 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.744 * [taylor]: Taking taylor expansion of z in y
4.744 * [backup-simplify]: Simplify z into z
4.744 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.744 * [taylor]: Taking taylor expansion of x in y
4.744 * [backup-simplify]: Simplify x into x
4.744 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.744 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.744 * [taylor]: Taking taylor expansion of x in y
4.744 * [backup-simplify]: Simplify x into x
4.744 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.744 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.745 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.745 * [backup-simplify]: Simplify (* 1 (- (/ 1 z) (/ 1 x))) into (- (/ 1 z) (/ 1 x))
4.745 * [backup-simplify]: Simplify (+ (- (/ 1 z) (/ 1 x)) 0) into (- (/ 1 z) (/ 1 x))
4.745 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.745 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.745 * [taylor]: Taking taylor expansion of z in z
4.745 * [backup-simplify]: Simplify 0 into 0
4.745 * [backup-simplify]: Simplify 1 into 1
4.745 * [backup-simplify]: Simplify (/ 1 1) into 1
4.745 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.745 * [taylor]: Taking taylor expansion of x in z
4.746 * [backup-simplify]: Simplify x into x
4.746 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.746 * [backup-simplify]: Simplify (+ 1 0) into 1
4.746 * [taylor]: Taking taylor expansion of 1 in x
4.746 * [backup-simplify]: Simplify 1 into 1
4.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.746 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.747 * [backup-simplify]: Simplify (- 0) into 0
4.747 * [backup-simplify]: Simplify (+ 0 0) into 0
4.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.749 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 z) (/ 1 x)))) into 0
4.749 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x)
4.749 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.749 * [taylor]: Taking taylor expansion of x in z
4.749 * [backup-simplify]: Simplify x into x
4.749 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.750 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.750 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
4.750 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.750 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.750 * [taylor]: Taking taylor expansion of x in x
4.750 * [backup-simplify]: Simplify 0 into 0
4.750 * [backup-simplify]: Simplify 1 into 1
4.751 * [backup-simplify]: Simplify (/ 1 1) into 1
4.751 * [backup-simplify]: Simplify (- 1) into -1
4.751 * [backup-simplify]: Simplify -1 into -1
4.751 * [backup-simplify]: Simplify 1 into 1
4.751 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.751 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.752 * [backup-simplify]: Simplify (- 0) into 0
4.752 * [backup-simplify]: Simplify (+ 0 0) into 0
4.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 x))))) into 0
4.753 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.754 * [backup-simplify]: Simplify (+ 0 0) into 0
4.754 * [taylor]: Taking taylor expansion of 0 in z
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.754 * [taylor]: Taking taylor expansion of x in x
4.754 * [backup-simplify]: Simplify 0 into 0
4.754 * [backup-simplify]: Simplify 1 into 1
4.754 * [backup-simplify]: Simplify (/ 1 1) into 1
4.754 * [backup-simplify]: Simplify 1 into 1
4.754 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y))))))) into (- (+ (* z y) x) (* x y))
4.755 * [backup-simplify]: Simplify (fma (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x))
4.755 * [approximate]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in (y z x) around 0
4.755 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in x
4.755 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.755 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in x
4.755 * [taylor]: Taking taylor expansion of (/ -1 y) in x
4.755 * [taylor]: Taking taylor expansion of -1 in x
4.755 * [backup-simplify]: Simplify -1 into -1
4.755 * [taylor]: Taking taylor expansion of y in x
4.755 * [backup-simplify]: Simplify y into y
4.755 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.755 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
4.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.755 * [taylor]: Taking taylor expansion of x in x
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify 1 into 1
4.755 * [backup-simplify]: Simplify (/ 1 1) into 1
4.755 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.755 * [taylor]: Taking taylor expansion of z in x
4.755 * [backup-simplify]: Simplify z into z
4.755 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.755 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.756 * [taylor]: Taking taylor expansion of -1 in x
4.756 * [backup-simplify]: Simplify -1 into -1
4.756 * [taylor]: Taking taylor expansion of x in x
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 1 into 1
4.756 * [backup-simplify]: Simplify (/ -1 1) into -1
4.756 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in z
4.756 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.756 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in z
4.756 * [taylor]: Taking taylor expansion of (/ -1 y) in z
4.756 * [taylor]: Taking taylor expansion of -1 in z
4.756 * [backup-simplify]: Simplify -1 into -1
4.756 * [taylor]: Taking taylor expansion of y in z
4.756 * [backup-simplify]: Simplify y into y
4.756 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y)
4.756 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
4.756 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.756 * [taylor]: Taking taylor expansion of x in z
4.756 * [backup-simplify]: Simplify x into x
4.756 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.756 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.756 * [taylor]: Taking taylor expansion of z in z
4.756 * [backup-simplify]: Simplify 0 into 0
4.756 * [backup-simplify]: Simplify 1 into 1
4.757 * [backup-simplify]: Simplify (/ 1 1) into 1
4.757 * [taylor]: Taking taylor expansion of (/ -1 x) in z
4.757 * [taylor]: Taking taylor expansion of -1 in z
4.757 * [backup-simplify]: Simplify -1 into -1
4.757 * [taylor]: Taking taylor expansion of x in z
4.757 * [backup-simplify]: Simplify x into x
4.757 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.757 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y
4.757 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.757 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in y
4.757 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.757 * [taylor]: Taking taylor expansion of -1 in y
4.757 * [backup-simplify]: Simplify -1 into -1
4.757 * [taylor]: Taking taylor expansion of y in y
4.757 * [backup-simplify]: Simplify 0 into 0
4.757 * [backup-simplify]: Simplify 1 into 1
4.757 * [backup-simplify]: Simplify (/ -1 1) into -1
4.757 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.757 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.757 * [taylor]: Taking taylor expansion of x in y
4.757 * [backup-simplify]: Simplify x into x
4.757 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.757 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.757 * [taylor]: Taking taylor expansion of z in y
4.757 * [backup-simplify]: Simplify z into z
4.757 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.757 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.758 * [taylor]: Taking taylor expansion of -1 in y
4.758 * [backup-simplify]: Simplify -1 into -1
4.758 * [taylor]: Taking taylor expansion of x in y
4.758 * [backup-simplify]: Simplify x into x
4.758 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.758 * [taylor]: Taking taylor expansion of (fma (/ -1 y) (- (/ 1 x) (/ 1 z)) (/ -1 x)) in y
4.758 * [taylor]: Rewrote expression to (+ (* (/ -1 y) (- (/ 1 x) (/ 1 z))) (/ -1 x))
4.758 * [taylor]: Taking taylor expansion of (* (/ -1 y) (- (/ 1 x) (/ 1 z))) in y
4.758 * [taylor]: Taking taylor expansion of (/ -1 y) in y
4.758 * [taylor]: Taking taylor expansion of -1 in y
4.758 * [backup-simplify]: Simplify -1 into -1
4.758 * [taylor]: Taking taylor expansion of y in y
4.758 * [backup-simplify]: Simplify 0 into 0
4.758 * [backup-simplify]: Simplify 1 into 1
4.758 * [backup-simplify]: Simplify (/ -1 1) into -1
4.758 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
4.758 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.758 * [taylor]: Taking taylor expansion of x in y
4.758 * [backup-simplify]: Simplify x into x
4.758 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.758 * [taylor]: Taking taylor expansion of (/ 1 z) in y
4.758 * [taylor]: Taking taylor expansion of z in y
4.758 * [backup-simplify]: Simplify z into z
4.758 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
4.758 * [taylor]: Taking taylor expansion of (/ -1 x) in y
4.758 * [taylor]: Taking taylor expansion of -1 in y
4.758 * [backup-simplify]: Simplify -1 into -1
4.758 * [taylor]: Taking taylor expansion of x in y
4.758 * [backup-simplify]: Simplify x into x
4.758 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
4.759 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
4.759 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
4.759 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z)))
4.759 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 z))) 0) into (- (/ 1 z) (/ 1 x))
4.759 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
4.759 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.759 * [taylor]: Taking taylor expansion of z in z
4.759 * [backup-simplify]: Simplify 0 into 0
4.759 * [backup-simplify]: Simplify 1 into 1
4.759 * [backup-simplify]: Simplify (/ 1 1) into 1
4.759 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.759 * [taylor]: Taking taylor expansion of x in z
4.759 * [backup-simplify]: Simplify x into x
4.759 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.760 * [backup-simplify]: Simplify (+ 1 0) into 1
4.760 * [taylor]: Taking taylor expansion of 1 in x
4.760 * [backup-simplify]: Simplify 1 into 1
4.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
4.760 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
4.760 * [backup-simplify]: Simplify (- 0) into 0
4.760 * [backup-simplify]: Simplify (+ 0 0) into 0
4.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.761 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0
4.761 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x))
4.761 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z
4.761 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.761 * [taylor]: Taking taylor expansion of x in z
4.761 * [backup-simplify]: Simplify x into x
4.761 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
4.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.762 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.762 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
4.762 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.762 * [taylor]: Taking taylor expansion of x in x
4.762 * [backup-simplify]: Simplify 0 into 0
4.762 * [backup-simplify]: Simplify 1 into 1
4.762 * [backup-simplify]: Simplify (/ 1 1) into 1
4.762 * [backup-simplify]: Simplify (- 1) into -1
4.763 * [backup-simplify]: Simplify -1 into -1
4.763 * [backup-simplify]: Simplify 1 into 1
4.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
4.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
4.763 * [backup-simplify]: Simplify (- 0) into 0
4.763 * [backup-simplify]: Simplify (+ 0 0) into 0
4.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.764 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0
4.765 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
4.765 * [backup-simplify]: Simplify (+ 0 0) into 0
4.765 * [taylor]: Taking taylor expansion of 0 in z
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
4.765 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
4.765 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.765 * [taylor]: Taking taylor expansion of x in x
4.765 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify 1 into 1
4.765 * [backup-simplify]: Simplify (/ 1 1) into 1
4.765 * [backup-simplify]: Simplify (- 1) into -1
4.765 * [backup-simplify]: Simplify -1 into -1
4.766 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y)))))))) into (- (+ (* z y) x) (* x y))
4.766 * * * [progress]: simplifying candidates
4.767 * [simplify]: Simplifying:
  (expm1 (cbrt (pow (fma y (- z x) x) 3)))
  (log1p (cbrt (pow (fma y (- z x) x) 3)))
  (log (cbrt (pow (fma y (- z x) x) 3)))
  (exp (cbrt (pow (fma y (- z x) x) 3)))
  (cbrt (pow (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x))) 3))
  (cbrt (pow (cbrt (fma y (- z x) x)) 3))
  (cbrt (pow (sqrt (fma y (- z x) x)) 3))
  (cbrt (pow (sqrt (fma y (- z x) x)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (fma y (- z x) x) 3))
  (cbrt (* (fma y (- z x) x) (fma y (- z x) x)))
  (cbrt (fma y (- z x) x))
  (cbrt (* (cbrt (pow (fma y (- z x) x) 3)) (cbrt (pow (fma y (- z x) x) 3))))
  (cbrt (cbrt (pow (fma y (- z x) x) 3)))
  (cbrt (pow (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x))) 3))
  (cbrt (pow (cbrt (fma y (- z x) x)) 3))
  (cbrt (pow (sqrt (fma y (- z x) x)) 3))
  (cbrt (pow (sqrt (fma y (- z x) x)) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (fma y (- z x) x) 3))
  (cbrt (fma y (- z x) x))
  (cbrt (* (fma y (- z x) x) (fma y (- z x) x)))
  (cbrt (sqrt (pow (fma y (- z x) x) 3)))
  (cbrt (sqrt (pow (fma y (- z x) x) 3)))
  (cbrt 1)
  (cbrt (pow (fma y (- z x) x) 3))
  (cbrt (pow (fma y (- z x) x) (/ 3 2)))
  (cbrt (pow (fma y (- z x) x) (/ 3 2)))
  (* (cbrt (cbrt (pow (fma y (- z x) x) 3))) (cbrt (cbrt (pow (fma y (- z x) x) 3))))
  (cbrt (cbrt (pow (fma y (- z x) x) 3)))
  (* (* (cbrt (pow (fma y (- z x) x) 3)) (cbrt (pow (fma y (- z x) x) 3))) (cbrt (pow (fma y (- z x) x) 3)))
  (sqrt (cbrt (pow (fma y (- z x) x) 3)))
  (sqrt (cbrt (pow (fma y (- z x) x) 3)))
  (expm1 (pow (fma y (- z x) x) 3))
  (log1p (pow (fma y (- z x) x) 3))
  (* (log (fma y (- z x) x)) 3)
  (* (log (fma y (- z x) x)) 3)
  (* 1 3)
  (pow (fma y (- z x) x) (* (cbrt 3) (cbrt 3)))
  (pow (fma y (- z x) x) (sqrt 3))
  (pow (fma y (- z x) x) 1)
  (pow (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x))) 3)
  (pow (cbrt (fma y (- z x) x)) 3)
  (pow (sqrt (fma y (- z x) x)) 3)
  (pow (sqrt (fma y (- z x) x)) 3)
  (pow 1 3)
  (pow (fma y (- z x) x) 3)
  (* (fma y (- z x) x) (fma y (- z x) x))
  (log (pow (fma y (- z x) x) 3))
  (exp (pow (fma y (- z x) x) 3))
  (* (cbrt (pow (fma y (- z x) x) 3)) (cbrt (pow (fma y (- z x) x) 3)))
  (cbrt (pow (fma y (- z x) x) 3))
  (* (* (pow (fma y (- z x) x) 3) (pow (fma y (- z x) x) 3)) (pow (fma y (- z x) x) 3))
  (pow (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x))) 3)
  (pow (cbrt (fma y (- z x) x)) 3)
  (pow (sqrt (fma y (- z x) x)) 3)
  (pow (sqrt (fma y (- z x) x)) 3)
  (pow 1 3)
  (pow (fma y (- z x) x) 3)
  (* (fma y (- z x) x) (fma y (- z x) x))
  (sqrt (pow (fma y (- z x) x) 3))
  (sqrt (pow (fma y (- z x) x) 3))
  (pow (fma y (- z x) x) (/ 3 2))
  (pow (fma y (- z x) x) (/ 3 2))
  (expm1 (fma y (- z x) x))
  (log1p (fma y (- z x) x))
  (* y (- z x))
  (log (fma y (- z x) x))
  (exp (fma y (- z x) x))
  (* (cbrt (fma y (- z x) x)) (cbrt (fma y (- z x) x)))
  (cbrt (fma y (- z x) x))
  (* (* (fma y (- z x) x) (fma y (- z x) x)) (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  0
  (- (* 3 (* (pow x 2) (* z (pow y 3)))) (+ (* 3 (* x (* (pow z 2) (pow y 3)))) (* (pow x 3) (pow y 3))))
  (- (* 3 (* (pow x 2) (* z (pow y 3)))) (+ (* 3 (* x (* (pow z 2) (pow y 3)))) (* (pow x 3) (pow y 3))))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
  (- (+ (* z y) x) (* x y))
4.769 * * [simplify]: Extracting # 0 : cost  0
4.769 * * [simplify]: Extracting # 1 : cost  0
4.769 * * [simplify]: Extracting # 2 : cost  0
4.769 * * [simplify]: Extracting # 3 : cost  0
4.769 * * [simplify]: Extracting # 4 : cost  0
4.769 * * [simplify]: Extracting # 5 : cost  0
4.769 * * [simplify]: Extracting # 6 : cost  0
4.769 * * [simplify]: Extracting # 7 : cost  0
4.769 * * [simplify]: iteration  0 :  77  enodes  (cost  887 )
4.797 * * [simplify]: Extracting # 0 : cost  0
4.797 * * [simplify]: Extracting # 1 : cost  0
4.798 * * [simplify]: Extracting # 2 : cost  0
4.798 * * [simplify]: Extracting # 3 : cost  0
4.798 * * [simplify]: Extracting # 4 : cost  0
4.799 * * [simplify]: iteration  1 :  170  enodes  (cost  718 )
4.886 * * [simplify]: Extracting # 0 : cost  0
4.887 * * [simplify]: Extracting # 1 : cost  0
4.888 * * [simplify]: Extracting # 2 : cost  0
4.889 * * [simplify]: Extracting # 3 : cost  0
4.890 * * [simplify]: Extracting # 4 : cost  0
4.891 * * [simplify]: iteration  2 :  519  enodes  (cost  637 )
5.790 * * [simplify]: Extracting # 0 : cost  0
5.794 * * [simplify]: Extracting # 1 : cost  0
5.798 * * [simplify]: Extracting # 2 : cost  0
5.803 * * [simplify]: Extracting # 3 : cost  0
5.818 * * [simplify]: Extracting # 4 : cost  0
5.826 * * [simplify]: Extracting # 5 : cost  0
5.833 * * [simplify]: iteration  3 :  3605  enodes  (cost  621 )
8.313 * * [simplify]: Extracting # 0 : cost  0
8.319 * * [simplify]: Extracting # 1 : cost  0
8.325 * * [simplify]: Extracting # 2 : cost  0
8.332 * * [simplify]: Extracting # 3 : cost  0
8.343 * * [simplify]: Extracting # 4 : cost  0
8.362 * * [simplify]: Extracting # 5 : cost  0
8.373 * * [simplify]: iteration done:  5000  enodes  (cost  621 )
8.374 * [simplify]: Simplified to:
  (expm1 (fma y (- z x) x))
  (log1p (fma y (- z x) x))
  (log (fma y (- z x) x))
  (exp (fma y (- z x) x))
  (cbrt (pow (fma y (- z x) x) 2))
  (cbrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  1
  (fma y (- z x) x)
  (cbrt (pow (fma y (- z x) x) 2))
  (cbrt (fma y (- z x) x))
  (cbrt (pow (fma y (- z x) x) 2))
  (cbrt (fma y (- z x) x))
  (cbrt (pow (fma y (- z x) x) 2))
  (cbrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  1
  (fma y (- z x) x)
  (cbrt (fma y (- z x) x))
  (cbrt (pow (fma y (- z x) x) 2))
  (cbrt (sqrt (pow (fma y (- z x) x) 3)))
  (cbrt (sqrt (pow (fma y (- z x) x) 3)))
  1
  (fma y (- z x) x)
  (sqrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (cbrt (pow (fma y (- z x) x) 2))
  (cbrt (fma y (- z x) x))
  (pow (fma y (- z x) x) 3)
  (sqrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (expm1 (pow (fma y (- z x) x) 3))
  (log1p (pow (fma y (- z x) x) 3))
  (* (log (fma y (- z x) x)) 3)
  (* (log (fma y (- z x) x)) 3)
  3
  (pow (fma y (- z x) x) (* (cbrt 3) (cbrt 3)))
  (pow (fma y (- z x) x) (sqrt 3))
  (fma y (- z x) x)
  (pow (fma y (- z x) x) 2)
  (fma y (- z x) x)
  (pow (fma y (- z x) x) 3/2)
  (pow (fma y (- z x) x) 3/2)
  1
  (pow (fma y (- z x) x) 3)
  (pow (fma y (- z x) x) 2)
  (* (log (fma y (- z x) x)) 3)
  (exp (pow (fma y (- z x) x) 3))
  (pow (fma y (- z x) x) 2)
  (fma y (- z x) x)
  (pow (pow (fma y (- z x) x) 3) 3)
  (pow (fma y (- z x) x) 2)
  (fma y (- z x) x)
  (pow (fma y (- z x) x) 3/2)
  (pow (fma y (- z x) x) 3/2)
  1
  (pow (fma y (- z x) x) 3)
  (pow (fma y (- z x) x) 2)
  (sqrt (pow (fma y (- z x) x) 3))
  (sqrt (pow (fma y (- z x) x) 3))
  (pow (fma y (- z x) x) 3/2)
  (pow (fma y (- z x) x) 3/2)
  (expm1 (fma y (- z x) x))
  (log1p (fma y (- z x) x))
  (* (- z x) y)
  (log (fma y (- z x) x))
  (exp (fma y (- z x) x))
  (cbrt (pow (fma y (- z x) x) 2))
  (cbrt (fma y (- z x) x))
  (pow (fma y (- z x) x) 3)
  (sqrt (fma y (- z x) x))
  (sqrt (fma y (- z x) x))
  (fma y (- z x) x)
  (fma y (- z x) x)
  (fma y (- z x) x)
  0
  (- (* (* (pow y 3) 3) (- (* (pow x 2) z) (* x (pow z 2)))) (* (pow x 3) (pow y 3)))
  (- (* (* (pow y 3) 3) (- (* (pow x 2) z) (* x (pow z 2)))) (* (pow x 3) (pow y 3)))
  (fma y (- z x) x)
  (fma y (- z x) x)
  (fma y (- z x) x)
8.375 * * * [progress]: adding candidates to table
8.556 * [progress]: [Phase 3 of 3] Extracting.
8.556 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (fma (- z x) y x))> #<alt (λ (x y z) (cbrt (pow (fma y (- z x) x) 3)))>)
8.557 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
8.557 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (fma (- z x) y x))> #<alt (λ (x y z) (cbrt (pow (fma y (- z x) x) 3)))>)
8.581 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (fma (- z x) y x))> #<alt (λ (x y z) (cbrt (pow (fma y (- z x) x) 3)))>)
8.599 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (fma (- z x) y x))> #<alt (λ (x y z) (cbrt (pow (fma y (- z x) x) 3)))>)
8.616 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
8.617 * [simplify]: Simplifying:
  (fma (- z x) y x)
8.617 * * [simplify]: Extracting # 0 : cost  0
8.617 * * [simplify]: Extracting # 1 : cost  0
8.617 * * [simplify]: Extracting # 2 : cost  0
8.617 * * [simplify]: Extracting # 3 : cost  0
8.617 * * [simplify]: Extracting # 4 : cost  0
8.617 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
8.617 * * [simplify]: Extracting # 0 : cost  0
8.617 * * [simplify]: iteration done:  5  enodes  (cost  6 )
8.617 * [simplify]: Simplified to:
  (fma (- z x) y x)
9.765 * [regime-testing]: Baseline error score: 0.006625828228528566
9.769 * [regime-testing]: Oracle error score: 0.006125765720715089
9.777 * [regime-testing]: End program error score: 0.006625828228528566