2.273 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.034 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (+ x (* (- y z) (/ (- t x) (- a z))))
0.034 * * [simplify]: Extracting # 0 : cost  0
0.034 * * [simplify]: Extracting # 1 : cost  0
0.034 * * [simplify]: Extracting # 2 : cost  0
0.034 * * [simplify]: Extracting # 3 : cost  0
0.034 * * [simplify]: Extracting # 4 : cost  0
0.034 * * [simplify]: Extracting # 5 : cost  0
0.034 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: iteration  1 :  23  enodes  (cost  13 )
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: iteration  2 :  46  enodes  (cost  12 )
0.049 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: iteration  3 :  128  enodes  (cost  12 )
0.121 * * [simplify]: Extracting # 0 : cost  0
0.122 * * [simplify]: Extracting # 1 : cost  0
0.123 * * [simplify]: Extracting # 2 : cost  0
0.124 * * [simplify]: iteration  4 :  360  enodes  (cost  12 )
0.340 * * [simplify]: Extracting # 0 : cost  0
0.341 * * [simplify]: Extracting # 1 : cost  0
0.342 * * [simplify]: Extracting # 2 : cost  0
0.344 * * [simplify]: iteration  5 :  877  enodes  (cost  12 )
1.443 * * [simplify]: Extracting # 0 : cost  0
1.445 * * [simplify]: Extracting # 1 : cost  0
1.446 * * [simplify]: Extracting # 2 : cost  0
1.447 * * [simplify]: Extracting # 3 : cost  0
1.449 * * [simplify]: iteration  6 :  2016  enodes  (cost  12 )
3.555 * * [simplify]: Extracting # 0 : cost  0
3.562 * * [simplify]: Extracting # 1 : cost  0
3.568 * * [simplify]: Extracting # 2 : cost  0
3.573 * * [simplify]: Extracting # 3 : cost  0
3.578 * * [simplify]: iteration  7 :  3586  enodes  (cost  12 )
6.861 * * [simplify]: Extracting # 0 : cost  0
6.866 * * [simplify]: Extracting # 1 : cost  0
6.869 * * [simplify]: Extracting # 2 : cost  0
6.872 * * [simplify]: Extracting # 3 : cost  0
6.875 * * [simplify]: iteration done:  5000  enodes  (cost  12 )
6.875 * [simplify]: Simplified to:
  (fma (/ (- t x) (- a z)) (- y z) x)
6.878 * * [progress]: iteration 1 / 4
6.878 * * * [progress]: picking best candidate
6.882 * * * * [pick]: Picked  #<alt (λ (x y z t a) (fma (/ (- t x) (- a z)) (- y z) x))>
6.882 * * * [progress]: localizing error
6.916 * * * [progress]: generating rewritten candidates
6.916 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
6.917 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
6.954 * * * [progress]: generating series expansions
6.954 * * * * [progress]: [ 1 / 2 ] generating series at (2)
6.954 * [backup-simplify]: Simplify (fma (/ (- t x) (- a z)) (- y z) x) into (fma (/ (- t x) (- a z)) (- y z) x)
6.954 * [approximate]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in (t x a z y) around 0
6.954 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in y
6.954 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
6.954 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in y
6.954 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in y
6.954 * [taylor]: Taking taylor expansion of (- t x) in y
6.954 * [taylor]: Taking taylor expansion of t in y
6.954 * [backup-simplify]: Simplify t into t
6.954 * [taylor]: Taking taylor expansion of x in y
6.954 * [backup-simplify]: Simplify x into x
6.954 * [taylor]: Taking taylor expansion of (- a z) in y
6.954 * [taylor]: Taking taylor expansion of a in y
6.954 * [backup-simplify]: Simplify a into a
6.954 * [taylor]: Taking taylor expansion of z in y
6.954 * [backup-simplify]: Simplify z into z
6.954 * [backup-simplify]: Simplify (- x) into (- x)
6.954 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
6.954 * [backup-simplify]: Simplify (- z) into (- z)
6.954 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
6.954 * [backup-simplify]: Simplify (/ (- t x) (- a z)) into (/ (- t x) (- a z))
6.954 * [taylor]: Taking taylor expansion of (- y z) in y
6.955 * [taylor]: Taking taylor expansion of y in y
6.955 * [backup-simplify]: Simplify 0 into 0
6.955 * [backup-simplify]: Simplify 1 into 1
6.955 * [taylor]: Taking taylor expansion of z in y
6.955 * [backup-simplify]: Simplify z into z
6.955 * [taylor]: Taking taylor expansion of x in y
6.955 * [backup-simplify]: Simplify x into x
6.955 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in z
6.955 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
6.955 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in z
6.955 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in z
6.955 * [taylor]: Taking taylor expansion of (- t x) in z
6.955 * [taylor]: Taking taylor expansion of t in z
6.955 * [backup-simplify]: Simplify t into t
6.955 * [taylor]: Taking taylor expansion of x in z
6.955 * [backup-simplify]: Simplify x into x
6.955 * [taylor]: Taking taylor expansion of (- a z) in z
6.955 * [taylor]: Taking taylor expansion of a in z
6.955 * [backup-simplify]: Simplify a into a
6.955 * [taylor]: Taking taylor expansion of z in z
6.955 * [backup-simplify]: Simplify 0 into 0
6.955 * [backup-simplify]: Simplify 1 into 1
6.955 * [backup-simplify]: Simplify (- x) into (- x)
6.955 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
6.956 * [backup-simplify]: Simplify (- 0) into 0
6.956 * [backup-simplify]: Simplify (+ a 0) into a
6.956 * [backup-simplify]: Simplify (/ (- t x) a) into (/ (- t x) a)
6.956 * [taylor]: Taking taylor expansion of (- y z) in z
6.956 * [taylor]: Taking taylor expansion of y in z
6.956 * [backup-simplify]: Simplify y into y
6.956 * [taylor]: Taking taylor expansion of z in z
6.956 * [backup-simplify]: Simplify 0 into 0
6.956 * [backup-simplify]: Simplify 1 into 1
6.956 * [taylor]: Taking taylor expansion of x in z
6.956 * [backup-simplify]: Simplify x into x
6.956 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in a
6.956 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
6.956 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in a
6.956 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in a
6.956 * [taylor]: Taking taylor expansion of (- t x) in a
6.956 * [taylor]: Taking taylor expansion of t in a
6.956 * [backup-simplify]: Simplify t into t
6.956 * [taylor]: Taking taylor expansion of x in a
6.956 * [backup-simplify]: Simplify x into x
6.956 * [taylor]: Taking taylor expansion of (- a z) in a
6.956 * [taylor]: Taking taylor expansion of a in a
6.956 * [backup-simplify]: Simplify 0 into 0
6.956 * [backup-simplify]: Simplify 1 into 1
6.956 * [taylor]: Taking taylor expansion of z in a
6.956 * [backup-simplify]: Simplify z into z
6.956 * [backup-simplify]: Simplify (- x) into (- x)
6.956 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
6.956 * [backup-simplify]: Simplify (- z) into (- z)
6.956 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.956 * [backup-simplify]: Simplify (/ (- t x) (- z)) into (* -1 (/ (- t x) z))
6.956 * [taylor]: Taking taylor expansion of (- y z) in a
6.956 * [taylor]: Taking taylor expansion of y in a
6.956 * [backup-simplify]: Simplify y into y
6.956 * [taylor]: Taking taylor expansion of z in a
6.956 * [backup-simplify]: Simplify z into z
6.956 * [taylor]: Taking taylor expansion of x in a
6.956 * [backup-simplify]: Simplify x into x
6.956 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in x
6.957 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
6.957 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in x
6.957 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in x
6.957 * [taylor]: Taking taylor expansion of (- t x) in x
6.957 * [taylor]: Taking taylor expansion of t in x
6.957 * [backup-simplify]: Simplify t into t
6.957 * [taylor]: Taking taylor expansion of x in x
6.957 * [backup-simplify]: Simplify 0 into 0
6.957 * [backup-simplify]: Simplify 1 into 1
6.957 * [taylor]: Taking taylor expansion of (- a z) in x
6.957 * [taylor]: Taking taylor expansion of a in x
6.957 * [backup-simplify]: Simplify a into a
6.957 * [taylor]: Taking taylor expansion of z in x
6.957 * [backup-simplify]: Simplify z into z
6.957 * [backup-simplify]: Simplify (- 0) into 0
6.957 * [backup-simplify]: Simplify (+ t 0) into t
6.957 * [backup-simplify]: Simplify (- z) into (- z)
6.957 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
6.957 * [backup-simplify]: Simplify (/ t (- a z)) into (/ t (- a z))
6.957 * [taylor]: Taking taylor expansion of (- y z) in x
6.957 * [taylor]: Taking taylor expansion of y in x
6.957 * [backup-simplify]: Simplify y into y
6.957 * [taylor]: Taking taylor expansion of z in x
6.957 * [backup-simplify]: Simplify z into z
6.957 * [taylor]: Taking taylor expansion of x in x
6.957 * [backup-simplify]: Simplify 0 into 0
6.957 * [backup-simplify]: Simplify 1 into 1
6.957 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in t
6.957 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
6.957 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in t
6.957 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in t
6.957 * [taylor]: Taking taylor expansion of (- t x) in t
6.957 * [taylor]: Taking taylor expansion of t in t
6.957 * [backup-simplify]: Simplify 0 into 0
6.958 * [backup-simplify]: Simplify 1 into 1
6.958 * [taylor]: Taking taylor expansion of x in t
6.958 * [backup-simplify]: Simplify x into x
6.958 * [taylor]: Taking taylor expansion of (- a z) in t
6.958 * [taylor]: Taking taylor expansion of a in t
6.958 * [backup-simplify]: Simplify a into a
6.958 * [taylor]: Taking taylor expansion of z in t
6.958 * [backup-simplify]: Simplify z into z
6.958 * [backup-simplify]: Simplify (- x) into (- x)
6.958 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
6.958 * [backup-simplify]: Simplify (- z) into (- z)
6.958 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
6.958 * [backup-simplify]: Simplify (/ (- x) (- a z)) into (* -1 (/ x (- a z)))
6.958 * [taylor]: Taking taylor expansion of (- y z) in t
6.958 * [taylor]: Taking taylor expansion of y in t
6.958 * [backup-simplify]: Simplify y into y
6.958 * [taylor]: Taking taylor expansion of z in t
6.958 * [backup-simplify]: Simplify z into z
6.958 * [taylor]: Taking taylor expansion of x in t
6.958 * [backup-simplify]: Simplify x into x
6.958 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in t
6.958 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
6.958 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in t
6.958 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in t
6.958 * [taylor]: Taking taylor expansion of (- t x) in t
6.958 * [taylor]: Taking taylor expansion of t in t
6.958 * [backup-simplify]: Simplify 0 into 0
6.958 * [backup-simplify]: Simplify 1 into 1
6.958 * [taylor]: Taking taylor expansion of x in t
6.958 * [backup-simplify]: Simplify x into x
6.958 * [taylor]: Taking taylor expansion of (- a z) in t
6.958 * [taylor]: Taking taylor expansion of a in t
6.958 * [backup-simplify]: Simplify a into a
6.958 * [taylor]: Taking taylor expansion of z in t
6.958 * [backup-simplify]: Simplify z into z
6.958 * [backup-simplify]: Simplify (- x) into (- x)
6.958 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
6.958 * [backup-simplify]: Simplify (- z) into (- z)
6.958 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
6.958 * [backup-simplify]: Simplify (/ (- x) (- a z)) into (* -1 (/ x (- a z)))
6.958 * [taylor]: Taking taylor expansion of (- y z) in t
6.958 * [taylor]: Taking taylor expansion of y in t
6.958 * [backup-simplify]: Simplify y into y
6.958 * [taylor]: Taking taylor expansion of z in t
6.958 * [backup-simplify]: Simplify z into z
6.958 * [taylor]: Taking taylor expansion of x in t
6.959 * [backup-simplify]: Simplify x into x
6.959 * [backup-simplify]: Simplify (- z) into (- z)
6.959 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
6.959 * [backup-simplify]: Simplify (* (* -1 (/ x (- a z))) (- y z)) into (* -1 (/ (* (- y z) x) (- a z)))
6.959 * [backup-simplify]: Simplify (+ (* -1 (/ (* (- y z) x) (- a z))) x) into (- (+ (/ (* x z) (- a z)) x) (/ (* x y) (- a z)))
6.959 * [taylor]: Taking taylor expansion of (- (+ (/ (* x z) (- a z)) x) (/ (* x y) (- a z))) in x
6.959 * [taylor]: Taking taylor expansion of (+ (/ (* x z) (- a z)) x) in x
6.959 * [taylor]: Taking taylor expansion of (/ (* x z) (- a z)) in x
6.959 * [taylor]: Taking taylor expansion of (* x z) in x
6.959 * [taylor]: Taking taylor expansion of x in x
6.959 * [backup-simplify]: Simplify 0 into 0
6.959 * [backup-simplify]: Simplify 1 into 1
6.959 * [taylor]: Taking taylor expansion of z in x
6.959 * [backup-simplify]: Simplify z into z
6.959 * [taylor]: Taking taylor expansion of (- a z) in x
6.959 * [taylor]: Taking taylor expansion of a in x
6.959 * [backup-simplify]: Simplify a into a
6.959 * [taylor]: Taking taylor expansion of z in x
6.959 * [backup-simplify]: Simplify z into z
6.959 * [backup-simplify]: Simplify (* 0 z) into 0
6.959 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
6.960 * [backup-simplify]: Simplify (- z) into (- z)
6.960 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
6.960 * [backup-simplify]: Simplify (/ z (- a z)) into (/ z (- a z))
6.960 * [taylor]: Taking taylor expansion of x in x
6.960 * [backup-simplify]: Simplify 0 into 0
6.960 * [backup-simplify]: Simplify 1 into 1
6.960 * [taylor]: Taking taylor expansion of (/ (* x y) (- a z)) in x
6.960 * [taylor]: Taking taylor expansion of (* x y) in x
6.960 * [taylor]: Taking taylor expansion of x in x
6.960 * [backup-simplify]: Simplify 0 into 0
6.960 * [backup-simplify]: Simplify 1 into 1
6.960 * [taylor]: Taking taylor expansion of y in x
6.960 * [backup-simplify]: Simplify y into y
6.960 * [taylor]: Taking taylor expansion of (- a z) in x
6.960 * [taylor]: Taking taylor expansion of a in x
6.960 * [backup-simplify]: Simplify a into a
6.960 * [taylor]: Taking taylor expansion of z in x
6.960 * [backup-simplify]: Simplify z into z
6.960 * [backup-simplify]: Simplify (* 0 y) into 0
6.960 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
6.960 * [backup-simplify]: Simplify (- z) into (- z)
6.960 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
6.960 * [backup-simplify]: Simplify (/ y (- a z)) into (/ y (- a z))
6.960 * [backup-simplify]: Simplify (+ 0 0) into 0
6.961 * [backup-simplify]: Simplify (+ 0 0) into 0
6.961 * [taylor]: Taking taylor expansion of 0 in a
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [taylor]: Taking taylor expansion of 0 in z
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [taylor]: Taking taylor expansion of 0 in y
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [backup-simplify]: Simplify 0 into 0
6.961 * [backup-simplify]: Simplify (- 0) into 0
6.961 * [backup-simplify]: Simplify (+ 0 0) into 0
6.962 * [backup-simplify]: Simplify (- 0) into 0
6.962 * [backup-simplify]: Simplify (+ 1 0) into 1
6.962 * [backup-simplify]: Simplify (- 0) into 0
6.962 * [backup-simplify]: Simplify (+ 0 0) into 0
6.962 * [backup-simplify]: Simplify (- (/ 1 (- a z)) (+ (* (* -1 (/ x (- a z))) (/ 0 (- a z))))) into (/ 1 (- a z))
6.963 * [backup-simplify]: Simplify (+ (* (* -1 (/ x (- a z))) 0) (* (/ 1 (- a z)) (- y z))) into (- (/ y (- a z)) (/ z (- a z)))
6.963 * [backup-simplify]: Simplify (+ (- (/ y (- a z)) (/ z (- a z))) 0) into (- (/ y (- a z)) (/ z (- a z)))
6.963 * [taylor]: Taking taylor expansion of (- (/ y (- a z)) (/ z (- a z))) in x
6.963 * [taylor]: Taking taylor expansion of (/ y (- a z)) in x
6.963 * [taylor]: Taking taylor expansion of y in x
6.963 * [backup-simplify]: Simplify y into y
6.963 * [taylor]: Taking taylor expansion of (- a z) in x
6.963 * [taylor]: Taking taylor expansion of a in x
6.963 * [backup-simplify]: Simplify a into a
6.963 * [taylor]: Taking taylor expansion of z in x
6.963 * [backup-simplify]: Simplify z into z
6.963 * [backup-simplify]: Simplify (- z) into (- z)
6.963 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
6.963 * [backup-simplify]: Simplify (/ y (- a z)) into (/ y (- a z))
6.963 * [taylor]: Taking taylor expansion of (/ z (- a z)) in x
6.963 * [taylor]: Taking taylor expansion of z in x
6.963 * [backup-simplify]: Simplify z into z
6.963 * [taylor]: Taking taylor expansion of (- a z) in x
6.963 * [taylor]: Taking taylor expansion of a in x
6.963 * [backup-simplify]: Simplify a into a
6.963 * [taylor]: Taking taylor expansion of z in x
6.963 * [backup-simplify]: Simplify z into z
6.963 * [backup-simplify]: Simplify (- z) into (- z)
6.963 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
6.963 * [backup-simplify]: Simplify (/ z (- a z)) into (/ z (- a z))
6.963 * [backup-simplify]: Simplify (- (/ z (- a z))) into (- (/ z (- a z)))
6.963 * [backup-simplify]: Simplify (+ (/ y (- a z)) (- (/ z (- a z)))) into (- (/ y (- a z)) (/ z (- a z)))
6.963 * [taylor]: Taking taylor expansion of (- (/ y (- a z)) (/ z (- a z))) in a
6.964 * [taylor]: Taking taylor expansion of (/ y (- a z)) in a
6.964 * [taylor]: Taking taylor expansion of y in a
6.964 * [backup-simplify]: Simplify y into y
6.964 * [taylor]: Taking taylor expansion of (- a z) in a
6.964 * [taylor]: Taking taylor expansion of a in a
6.964 * [backup-simplify]: Simplify 0 into 0
6.964 * [backup-simplify]: Simplify 1 into 1
6.964 * [taylor]: Taking taylor expansion of z in a
6.964 * [backup-simplify]: Simplify z into z
6.964 * [backup-simplify]: Simplify (- z) into (- z)
6.964 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.964 * [backup-simplify]: Simplify (/ y (- z)) into (* -1 (/ y z))
6.964 * [taylor]: Taking taylor expansion of (/ z (- a z)) in a
6.964 * [taylor]: Taking taylor expansion of z in a
6.964 * [backup-simplify]: Simplify z into z
6.964 * [taylor]: Taking taylor expansion of (- a z) in a
6.964 * [taylor]: Taking taylor expansion of a in a
6.964 * [backup-simplify]: Simplify 0 into 0
6.964 * [backup-simplify]: Simplify 1 into 1
6.964 * [taylor]: Taking taylor expansion of z in a
6.964 * [backup-simplify]: Simplify z into z
6.964 * [backup-simplify]: Simplify (- z) into (- z)
6.964 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.964 * [backup-simplify]: Simplify (/ z (- z)) into -1
6.964 * [backup-simplify]: Simplify (- -1) into 1
6.964 * [backup-simplify]: Simplify (+ (* -1 (/ y z)) 1) into (- 1 (/ y z))
6.964 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in z
6.964 * [taylor]: Taking taylor expansion of 1 in z
6.964 * [backup-simplify]: Simplify 1 into 1
6.964 * [taylor]: Taking taylor expansion of (/ y z) in z
6.964 * [taylor]: Taking taylor expansion of y in z
6.964 * [backup-simplify]: Simplify y into y
6.964 * [taylor]: Taking taylor expansion of z in z
6.964 * [backup-simplify]: Simplify 0 into 0
6.964 * [backup-simplify]: Simplify 1 into 1
6.965 * [backup-simplify]: Simplify (/ y 1) into y
6.965 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.965 * [backup-simplify]: Simplify (- 0) into 0
6.965 * [backup-simplify]: Simplify (+ 1 0) into 1
6.966 * [taylor]: Taking taylor expansion of 1 in y
6.966 * [backup-simplify]: Simplify 1 into 1
6.966 * [backup-simplify]: Simplify 1 into 1
6.966 * [backup-simplify]: Simplify (+ (/ z (- a z)) 1) into (+ (/ z (- a z)) 1)
6.966 * [backup-simplify]: Simplify (- (/ y (- a z))) into (- (/ y (- a z)))
6.966 * [backup-simplify]: Simplify (+ (+ (/ z (- a z)) 1) (- (/ y (- a z)))) into (- (+ (/ z (- a z)) 1) (/ y (- a z)))
6.966 * [taylor]: Taking taylor expansion of (- (+ (/ z (- a z)) 1) (/ y (- a z))) in a
6.966 * [taylor]: Taking taylor expansion of (+ (/ z (- a z)) 1) in a
6.966 * [taylor]: Taking taylor expansion of (/ z (- a z)) in a
6.966 * [taylor]: Taking taylor expansion of z in a
6.966 * [backup-simplify]: Simplify z into z
6.966 * [taylor]: Taking taylor expansion of (- a z) in a
6.966 * [taylor]: Taking taylor expansion of a in a
6.966 * [backup-simplify]: Simplify 0 into 0
6.966 * [backup-simplify]: Simplify 1 into 1
6.966 * [taylor]: Taking taylor expansion of z in a
6.966 * [backup-simplify]: Simplify z into z
6.966 * [backup-simplify]: Simplify (- z) into (- z)
6.966 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.966 * [backup-simplify]: Simplify (/ z (- z)) into -1
6.966 * [taylor]: Taking taylor expansion of 1 in a
6.966 * [backup-simplify]: Simplify 1 into 1
6.966 * [taylor]: Taking taylor expansion of (/ y (- a z)) in a
6.966 * [taylor]: Taking taylor expansion of y in a
6.966 * [backup-simplify]: Simplify y into y
6.966 * [taylor]: Taking taylor expansion of (- a z) in a
6.966 * [taylor]: Taking taylor expansion of a in a
6.966 * [backup-simplify]: Simplify 0 into 0
6.966 * [backup-simplify]: Simplify 1 into 1
6.966 * [taylor]: Taking taylor expansion of z in a
6.966 * [backup-simplify]: Simplify z into z
6.966 * [backup-simplify]: Simplify (- z) into (- z)
6.966 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
6.966 * [backup-simplify]: Simplify (/ y (- z)) into (* -1 (/ y z))
6.967 * [backup-simplify]: Simplify (+ -1 1) into 0
6.967 * [backup-simplify]: Simplify (- (* -1 (/ y z))) into (/ y z)
6.967 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z)
6.967 * [taylor]: Taking taylor expansion of (/ y z) in z
6.967 * [taylor]: Taking taylor expansion of y in z
6.967 * [backup-simplify]: Simplify y into y
6.967 * [taylor]: Taking taylor expansion of z in z
6.967 * [backup-simplify]: Simplify 0 into 0
6.967 * [backup-simplify]: Simplify 1 into 1
6.967 * [backup-simplify]: Simplify (/ y 1) into y
6.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
6.968 * [taylor]: Taking taylor expansion of 0 in y
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [taylor]: Taking taylor expansion of 0 in z
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [taylor]: Taking taylor expansion of 0 in y
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [taylor]: Taking taylor expansion of 0 in y
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify 0 into 0
6.968 * [backup-simplify]: Simplify (- 0) into 0
6.968 * [backup-simplify]: Simplify (+ 0 0) into 0
6.968 * [backup-simplify]: Simplify (- 0) into 0
6.969 * [backup-simplify]: Simplify (+ 0 0) into 0
6.969 * [backup-simplify]: Simplify (- 0) into 0
6.969 * [backup-simplify]: Simplify (+ 0 0) into 0
6.969 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (* -1 (/ x (- a z))) (/ 0 (- a z))) (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0
6.970 * [backup-simplify]: Simplify (+ (* (* -1 (/ x (- a z))) 0) (+ (* (/ 1 (- a z)) 0) (* 0 (- y z)))) into 0
6.970 * [backup-simplify]: Simplify (+ 0 0) into 0
6.970 * [taylor]: Taking taylor expansion of 0 in x
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [taylor]: Taking taylor expansion of 0 in a
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [taylor]: Taking taylor expansion of 0 in z
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [taylor]: Taking taylor expansion of 0 in y
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify 0 into 0
6.970 * [backup-simplify]: Simplify (- 0) into 0
6.970 * [backup-simplify]: Simplify (+ 0 0) into 0
6.971 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ y (- a z)) (/ 0 (- a z))))) into 0
6.971 * [backup-simplify]: Simplify (- 0) into 0
6.971 * [backup-simplify]: Simplify (+ 0 0) into 0
6.971 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ z (- a z)) (/ 0 (- a z))))) into 0
6.971 * [backup-simplify]: Simplify (- 0) into 0
6.972 * [backup-simplify]: Simplify (+ 0 0) into 0
6.972 * [taylor]: Taking taylor expansion of 0 in a
6.972 * [backup-simplify]: Simplify 0 into 0
6.972 * [taylor]: Taking taylor expansion of 0 in z
6.972 * [backup-simplify]: Simplify 0 into 0
6.972 * [taylor]: Taking taylor expansion of 0 in y
6.972 * [backup-simplify]: Simplify 0 into 0
6.972 * [backup-simplify]: Simplify 0 into 0
6.972 * [backup-simplify]: Simplify (* 1 (* 1 (* 1 (* 1 (* 1 t))))) into t
6.972 * [backup-simplify]: Simplify (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) into (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x))
6.972 * [approximate]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in (t x a z y) around 0
6.972 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in y
6.972 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
6.972 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in y
6.972 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in y
6.972 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
6.972 * [taylor]: Taking taylor expansion of (/ 1 t) in y
6.972 * [taylor]: Taking taylor expansion of t in y
6.972 * [backup-simplify]: Simplify t into t
6.972 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
6.972 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.972 * [taylor]: Taking taylor expansion of x in y
6.973 * [backup-simplify]: Simplify x into x
6.973 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.973 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y
6.973 * [taylor]: Taking taylor expansion of (/ 1 a) in y
6.973 * [taylor]: Taking taylor expansion of a in y
6.973 * [backup-simplify]: Simplify a into a
6.973 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.973 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.973 * [taylor]: Taking taylor expansion of z in y
6.973 * [backup-simplify]: Simplify z into z
6.973 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.973 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.973 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
6.973 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.973 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
6.973 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) into (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z)))
6.973 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
6.973 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.973 * [taylor]: Taking taylor expansion of y in y
6.973 * [backup-simplify]: Simplify 0 into 0
6.973 * [backup-simplify]: Simplify 1 into 1
6.974 * [backup-simplify]: Simplify (/ 1 1) into 1
6.974 * [taylor]: Taking taylor expansion of (/ 1 z) in y
6.974 * [taylor]: Taking taylor expansion of z in y
6.974 * [backup-simplify]: Simplify z into z
6.974 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.974 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.974 * [taylor]: Taking taylor expansion of x in y
6.974 * [backup-simplify]: Simplify x into x
6.974 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.974 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in z
6.975 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
6.975 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in z
6.975 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in z
6.975 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
6.975 * [taylor]: Taking taylor expansion of (/ 1 t) in z
6.975 * [taylor]: Taking taylor expansion of t in z
6.975 * [backup-simplify]: Simplify t into t
6.975 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
6.975 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.975 * [taylor]: Taking taylor expansion of x in z
6.975 * [backup-simplify]: Simplify x into x
6.975 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.975 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z
6.975 * [taylor]: Taking taylor expansion of (/ 1 a) in z
6.975 * [taylor]: Taking taylor expansion of a in z
6.975 * [backup-simplify]: Simplify a into a
6.975 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.975 * [taylor]: Taking taylor expansion of z in z
6.975 * [backup-simplify]: Simplify 0 into 0
6.975 * [backup-simplify]: Simplify 1 into 1
6.976 * [backup-simplify]: Simplify (/ 1 1) into 1
6.976 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.976 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
6.976 * [backup-simplify]: Simplify (- 1) into -1
6.977 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.977 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) -1) into (* -1 (- (/ 1 t) (/ 1 x)))
6.977 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
6.977 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.977 * [taylor]: Taking taylor expansion of y in z
6.977 * [backup-simplify]: Simplify y into y
6.977 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.977 * [taylor]: Taking taylor expansion of z in z
6.977 * [backup-simplify]: Simplify 0 into 0
6.977 * [backup-simplify]: Simplify 1 into 1
6.978 * [backup-simplify]: Simplify (/ 1 1) into 1
6.978 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.978 * [taylor]: Taking taylor expansion of x in z
6.978 * [backup-simplify]: Simplify x into x
6.978 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.978 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in a
6.978 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
6.978 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in a
6.978 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in a
6.978 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in a
6.978 * [taylor]: Taking taylor expansion of (/ 1 t) in a
6.978 * [taylor]: Taking taylor expansion of t in a
6.978 * [backup-simplify]: Simplify t into t
6.978 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
6.978 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.979 * [taylor]: Taking taylor expansion of x in a
6.979 * [backup-simplify]: Simplify x into x
6.979 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.979 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a
6.979 * [taylor]: Taking taylor expansion of (/ 1 a) in a
6.979 * [taylor]: Taking taylor expansion of a in a
6.979 * [backup-simplify]: Simplify 0 into 0
6.979 * [backup-simplify]: Simplify 1 into 1
6.979 * [backup-simplify]: Simplify (/ 1 1) into 1
6.979 * [taylor]: Taking taylor expansion of (/ 1 z) in a
6.979 * [taylor]: Taking taylor expansion of z in a
6.979 * [backup-simplify]: Simplify z into z
6.979 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.979 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.980 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
6.980 * [backup-simplify]: Simplify (+ 1 0) into 1
6.980 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) 1) into (- (/ 1 t) (/ 1 x))
6.980 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in a
6.980 * [taylor]: Taking taylor expansion of (/ 1 y) in a
6.980 * [taylor]: Taking taylor expansion of y in a
6.980 * [backup-simplify]: Simplify y into y
6.980 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.980 * [taylor]: Taking taylor expansion of (/ 1 z) in a
6.980 * [taylor]: Taking taylor expansion of z in a
6.980 * [backup-simplify]: Simplify z into z
6.981 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.981 * [taylor]: Taking taylor expansion of (/ 1 x) in a
6.981 * [taylor]: Taking taylor expansion of x in a
6.981 * [backup-simplify]: Simplify x into x
6.981 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.981 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in x
6.981 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
6.981 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in x
6.981 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in x
6.981 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
6.981 * [taylor]: Taking taylor expansion of (/ 1 t) in x
6.981 * [taylor]: Taking taylor expansion of t in x
6.981 * [backup-simplify]: Simplify t into t
6.981 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
6.981 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.981 * [taylor]: Taking taylor expansion of x in x
6.981 * [backup-simplify]: Simplify 0 into 0
6.981 * [backup-simplify]: Simplify 1 into 1
6.982 * [backup-simplify]: Simplify (/ 1 1) into 1
6.982 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
6.982 * [taylor]: Taking taylor expansion of (/ 1 a) in x
6.982 * [taylor]: Taking taylor expansion of a in x
6.982 * [backup-simplify]: Simplify a into a
6.982 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.982 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.982 * [taylor]: Taking taylor expansion of z in x
6.982 * [backup-simplify]: Simplify z into z
6.982 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.982 * [backup-simplify]: Simplify (- 1) into -1
6.983 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.983 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.983 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
6.983 * [backup-simplify]: Simplify (/ -1 (- (/ 1 a) (/ 1 z))) into (/ -1 (- (/ 1 a) (/ 1 z)))
6.983 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
6.983 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.983 * [taylor]: Taking taylor expansion of y in x
6.983 * [backup-simplify]: Simplify y into y
6.983 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.984 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.984 * [taylor]: Taking taylor expansion of z in x
6.984 * [backup-simplify]: Simplify z into z
6.984 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.984 * [taylor]: Taking taylor expansion of x in x
6.984 * [backup-simplify]: Simplify 0 into 0
6.984 * [backup-simplify]: Simplify 1 into 1
6.984 * [backup-simplify]: Simplify (/ 1 1) into 1
6.984 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in t
6.984 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
6.984 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in t
6.984 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in t
6.985 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
6.985 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.985 * [taylor]: Taking taylor expansion of t in t
6.985 * [backup-simplify]: Simplify 0 into 0
6.985 * [backup-simplify]: Simplify 1 into 1
6.985 * [backup-simplify]: Simplify (/ 1 1) into 1
6.985 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.985 * [taylor]: Taking taylor expansion of x in t
6.985 * [backup-simplify]: Simplify x into x
6.985 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.985 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t
6.985 * [taylor]: Taking taylor expansion of (/ 1 a) in t
6.985 * [taylor]: Taking taylor expansion of a in t
6.985 * [backup-simplify]: Simplify a into a
6.985 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.985 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.985 * [taylor]: Taking taylor expansion of z in t
6.985 * [backup-simplify]: Simplify z into z
6.986 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.986 * [backup-simplify]: Simplify (+ 1 0) into 1
6.986 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.986 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
6.986 * [backup-simplify]: Simplify (/ 1 (- (/ 1 a) (/ 1 z))) into (/ 1 (- (/ 1 a) (/ 1 z)))
6.986 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
6.986 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.987 * [taylor]: Taking taylor expansion of y in t
6.987 * [backup-simplify]: Simplify y into y
6.987 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.987 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.987 * [taylor]: Taking taylor expansion of z in t
6.987 * [backup-simplify]: Simplify z into z
6.987 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.987 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.987 * [taylor]: Taking taylor expansion of x in t
6.987 * [backup-simplify]: Simplify x into x
6.987 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.987 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in t
6.987 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
6.987 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in t
6.987 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in t
6.987 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
6.987 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.987 * [taylor]: Taking taylor expansion of t in t
6.987 * [backup-simplify]: Simplify 0 into 0
6.987 * [backup-simplify]: Simplify 1 into 1
6.988 * [backup-simplify]: Simplify (/ 1 1) into 1
6.988 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.988 * [taylor]: Taking taylor expansion of x in t
6.988 * [backup-simplify]: Simplify x into x
6.988 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.988 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t
6.988 * [taylor]: Taking taylor expansion of (/ 1 a) in t
6.988 * [taylor]: Taking taylor expansion of a in t
6.988 * [backup-simplify]: Simplify a into a
6.988 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.988 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.988 * [taylor]: Taking taylor expansion of z in t
6.988 * [backup-simplify]: Simplify z into z
6.988 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.989 * [backup-simplify]: Simplify (+ 1 0) into 1
6.989 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.989 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
6.989 * [backup-simplify]: Simplify (/ 1 (- (/ 1 a) (/ 1 z))) into (/ 1 (- (/ 1 a) (/ 1 z)))
6.989 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
6.989 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.989 * [taylor]: Taking taylor expansion of y in t
6.989 * [backup-simplify]: Simplify y into y
6.989 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
6.989 * [taylor]: Taking taylor expansion of (/ 1 z) in t
6.989 * [taylor]: Taking taylor expansion of z in t
6.989 * [backup-simplify]: Simplify z into z
6.989 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.990 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.990 * [taylor]: Taking taylor expansion of x in t
6.990 * [backup-simplify]: Simplify x into x
6.990 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
6.990 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.990 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
6.990 * [backup-simplify]: Simplify (* (/ 1 (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) into (/ (- (/ 1 y) (/ 1 z)) (- (/ 1 a) (/ 1 z)))
6.991 * [backup-simplify]: Simplify (+ (/ (- (/ 1 y) (/ 1 z)) (- (/ 1 a) (/ 1 z))) 0) into (- (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (/ 1 (* z (- (/ 1 a) (/ 1 z)))))
6.991 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (/ 1 (* z (- (/ 1 a) (/ 1 z))))) in x
6.991 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 a) (/ 1 z)))) in x
6.991 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in x
6.991 * [taylor]: Taking taylor expansion of y in x
6.991 * [backup-simplify]: Simplify y into y
6.991 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
6.991 * [taylor]: Taking taylor expansion of (/ 1 a) in x
6.991 * [taylor]: Taking taylor expansion of a in x
6.991 * [backup-simplify]: Simplify a into a
6.991 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.991 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.991 * [taylor]: Taking taylor expansion of z in x
6.991 * [backup-simplify]: Simplify z into z
6.991 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.991 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.991 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
6.992 * [backup-simplify]: Simplify (* y (- (/ 1 a) (/ 1 z))) into (* y (- (/ 1 a) (/ 1 z)))
6.992 * [backup-simplify]: Simplify (/ 1 (* y (- (/ 1 a) (/ 1 z)))) into (/ 1 (* y (- (/ 1 a) (/ 1 z))))
6.992 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (/ 1 a) (/ 1 z)))) in x
6.992 * [taylor]: Taking taylor expansion of (* z (- (/ 1 a) (/ 1 z))) in x
6.992 * [taylor]: Taking taylor expansion of z in x
6.992 * [backup-simplify]: Simplify z into z
6.992 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
6.992 * [taylor]: Taking taylor expansion of (/ 1 a) in x
6.992 * [taylor]: Taking taylor expansion of a in x
6.992 * [backup-simplify]: Simplify a into a
6.992 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.992 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.992 * [taylor]: Taking taylor expansion of z in x
6.992 * [backup-simplify]: Simplify z into z
6.992 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.992 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.992 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
6.993 * [backup-simplify]: Simplify (* z (- (/ 1 a) (/ 1 z))) into (* z (- (/ 1 a) (/ 1 z)))
6.993 * [backup-simplify]: Simplify (/ 1 (* z (- (/ 1 a) (/ 1 z)))) into (/ 1 (* z (- (/ 1 a) (/ 1 z))))
6.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
6.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.993 * [backup-simplify]: Simplify (- 0) into 0
6.994 * [backup-simplify]: Simplify (+ 0 0) into 0
6.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.994 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
6.994 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
6.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
6.994 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.995 * [backup-simplify]: Simplify (- 0) into 0
6.995 * [backup-simplify]: Simplify (+ 0 0) into 0
6.995 * [backup-simplify]: Simplify (- (/ (- (/ 1 x)) (- (/ 1 a) (/ 1 z))) (+ (* (/ 1 (- (/ 1 a) (/ 1 z))) (/ 0 (- (/ 1 a) (/ 1 z)))))) into (- (/ 1 (* x (- (/ 1 a) (/ 1 z)))))
6.995 * [backup-simplify]: Simplify (+ (* (/ 1 (- (/ 1 a) (/ 1 z))) 0) (* (- (/ 1 (* x (- (/ 1 a) (/ 1 z))))) (- (/ 1 y) (/ 1 z)))) into (- (/ 1 (* x (* z (- (/ 1 a) (/ 1 z))))) (/ 1 (* x (* y (- (/ 1 a) (/ 1 z))))))
6.996 * [backup-simplify]: Simplify (+ (- (/ 1 (* x (* z (- (/ 1 a) (/ 1 z))))) (/ 1 (* x (* y (- (/ 1 a) (/ 1 z)))))) (/ 1 x)) into (- (+ (/ 1 x) (/ 1 (* x (* z (- (/ 1 a) (/ 1 z)))))) (/ 1 (* x (* y (- (/ 1 a) (/ 1 z))))))
6.996 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x (* z (- (/ 1 a) (/ 1 z)))))) (/ 1 (* x (* y (- (/ 1 a) (/ 1 z)))))) in x
6.996 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x (* z (- (/ 1 a) (/ 1 z)))))) in x
6.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.996 * [taylor]: Taking taylor expansion of x in x
6.996 * [backup-simplify]: Simplify 0 into 0
6.996 * [backup-simplify]: Simplify 1 into 1
6.996 * [backup-simplify]: Simplify (/ 1 1) into 1
6.996 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z (- (/ 1 a) (/ 1 z))))) in x
6.996 * [taylor]: Taking taylor expansion of (* x (* z (- (/ 1 a) (/ 1 z)))) in x
6.996 * [taylor]: Taking taylor expansion of x in x
6.996 * [backup-simplify]: Simplify 0 into 0
6.996 * [backup-simplify]: Simplify 1 into 1
6.996 * [taylor]: Taking taylor expansion of (* z (- (/ 1 a) (/ 1 z))) in x
6.996 * [taylor]: Taking taylor expansion of z in x
6.996 * [backup-simplify]: Simplify z into z
6.996 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
6.996 * [taylor]: Taking taylor expansion of (/ 1 a) in x
6.996 * [taylor]: Taking taylor expansion of a in x
6.996 * [backup-simplify]: Simplify a into a
6.996 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.996 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.996 * [taylor]: Taking taylor expansion of z in x
6.996 * [backup-simplify]: Simplify z into z
6.996 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.996 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.997 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
6.997 * [backup-simplify]: Simplify (* z (- (/ 1 a) (/ 1 z))) into (* z (- (/ 1 a) (/ 1 z)))
6.997 * [backup-simplify]: Simplify (* 0 (* z (- (/ 1 a) (/ 1 z)))) into 0
6.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
6.997 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.997 * [backup-simplify]: Simplify (- 0) into 0
6.997 * [backup-simplify]: Simplify (+ 0 0) into 0
6.997 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (- (/ 1 a) (/ 1 z)))) into 0
6.998 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* z (- (/ 1 a) (/ 1 z))))) into (- (/ z a) 1)
6.998 * [backup-simplify]: Simplify (/ 1 (- (/ z a) 1)) into (/ 1 (- (/ z a) 1))
6.998 * [taylor]: Taking taylor expansion of (/ 1 (* x (* y (- (/ 1 a) (/ 1 z))))) in x
6.998 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 a) (/ 1 z)))) in x
6.998 * [taylor]: Taking taylor expansion of x in x
6.998 * [backup-simplify]: Simplify 0 into 0
6.998 * [backup-simplify]: Simplify 1 into 1
6.998 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in x
6.998 * [taylor]: Taking taylor expansion of y in x
6.998 * [backup-simplify]: Simplify y into y
6.998 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
6.998 * [taylor]: Taking taylor expansion of (/ 1 a) in x
6.998 * [taylor]: Taking taylor expansion of a in x
6.998 * [backup-simplify]: Simplify a into a
6.998 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
6.998 * [taylor]: Taking taylor expansion of (/ 1 z) in x
6.998 * [taylor]: Taking taylor expansion of z in x
6.998 * [backup-simplify]: Simplify z into z
6.998 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
6.998 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
6.998 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
6.998 * [backup-simplify]: Simplify (* y (- (/ 1 a) (/ 1 z))) into (* y (- (/ 1 a) (/ 1 z)))
6.998 * [backup-simplify]: Simplify (* 0 (* y (- (/ 1 a) (/ 1 z)))) into 0
6.999 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
6.999 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
6.999 * [backup-simplify]: Simplify (- 0) into 0
6.999 * [backup-simplify]: Simplify (+ 0 0) into 0
6.999 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 a) (/ 1 z)))) into 0
7.000 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (- (/ 1 a) (/ 1 z))))) into (- (/ y a) (/ y z))
7.000 * [backup-simplify]: Simplify (/ 1 (- (/ y a) (/ y z))) into (/ 1 (- (/ y a) (/ y z)))
7.000 * [backup-simplify]: Simplify (+ 1 (/ 1 (- (/ z a) 1))) into (+ (/ 1 (- (/ z a) 1)) 1)
7.000 * [backup-simplify]: Simplify (- (/ 1 (- (/ y a) (/ y z)))) into (- (/ 1 (- (/ y a) (/ y z))))
7.000 * [backup-simplify]: Simplify (+ (+ (/ 1 (- (/ z a) 1)) 1) (- (/ 1 (- (/ y a) (/ y z))))) into (- (+ (/ 1 (- (/ z a) 1)) 1) (/ 1 (- (/ y a) (/ y z))))
7.000 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (- (/ z a) 1)) 1) (/ 1 (- (/ y a) (/ y z)))) in a
7.000 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (/ z a) 1)) 1) in a
7.000 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z a) 1)) in a
7.000 * [taylor]: Taking taylor expansion of (- (/ z a) 1) in a
7.000 * [taylor]: Taking taylor expansion of (/ z a) in a
7.000 * [taylor]: Taking taylor expansion of z in a
7.000 * [backup-simplify]: Simplify z into z
7.000 * [taylor]: Taking taylor expansion of a in a
7.000 * [backup-simplify]: Simplify 0 into 0
7.000 * [backup-simplify]: Simplify 1 into 1
7.000 * [backup-simplify]: Simplify (/ z 1) into z
7.000 * [taylor]: Taking taylor expansion of 1 in a
7.000 * [backup-simplify]: Simplify 1 into 1
7.000 * [backup-simplify]: Simplify (+ z 0) into z
7.000 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.000 * [taylor]: Taking taylor expansion of 1 in a
7.000 * [backup-simplify]: Simplify 1 into 1
7.000 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y a) (/ y z))) in a
7.000 * [taylor]: Taking taylor expansion of (- (/ y a) (/ y z)) in a
7.000 * [taylor]: Taking taylor expansion of (/ y a) in a
7.000 * [taylor]: Taking taylor expansion of y in a
7.000 * [backup-simplify]: Simplify y into y
7.000 * [taylor]: Taking taylor expansion of a in a
7.000 * [backup-simplify]: Simplify 0 into 0
7.000 * [backup-simplify]: Simplify 1 into 1
7.001 * [backup-simplify]: Simplify (/ y 1) into y
7.001 * [taylor]: Taking taylor expansion of (/ y z) in a
7.001 * [taylor]: Taking taylor expansion of y in a
7.001 * [backup-simplify]: Simplify y into y
7.001 * [taylor]: Taking taylor expansion of z in a
7.001 * [backup-simplify]: Simplify z into z
7.001 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.001 * [backup-simplify]: Simplify (+ y 0) into y
7.001 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.001 * [backup-simplify]: Simplify (+ 0 1) into 1
7.001 * [backup-simplify]: Simplify (+ 1 0) into 1
7.001 * [taylor]: Taking taylor expansion of 1 in z
7.001 * [backup-simplify]: Simplify 1 into 1
7.001 * [taylor]: Taking taylor expansion of 1 in y
7.001 * [backup-simplify]: Simplify 1 into 1
7.001 * [backup-simplify]: Simplify (- (/ 1 (* z (- (/ 1 a) (/ 1 z))))) into (- (/ 1 (* z (- (/ 1 a) (/ 1 z)))))
7.002 * [backup-simplify]: Simplify (+ (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (- (/ 1 (* z (- (/ 1 a) (/ 1 z)))))) into (- (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (/ 1 (* z (- (/ 1 a) (/ 1 z)))))
7.002 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (/ 1 (* z (- (/ 1 a) (/ 1 z))))) in a
7.002 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 a) (/ 1 z)))) in a
7.002 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in a
7.002 * [taylor]: Taking taylor expansion of y in a
7.002 * [backup-simplify]: Simplify y into y
7.002 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a
7.002 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.002 * [taylor]: Taking taylor expansion of a in a
7.002 * [backup-simplify]: Simplify 0 into 0
7.002 * [backup-simplify]: Simplify 1 into 1
7.002 * [backup-simplify]: Simplify (/ 1 1) into 1
7.002 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.002 * [taylor]: Taking taylor expansion of z in a
7.002 * [backup-simplify]: Simplify z into z
7.002 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.002 * [backup-simplify]: Simplify (+ 1 0) into 1
7.002 * [backup-simplify]: Simplify (* y 1) into y
7.002 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.003 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (/ 1 a) (/ 1 z)))) in a
7.003 * [taylor]: Taking taylor expansion of (* z (- (/ 1 a) (/ 1 z))) in a
7.003 * [taylor]: Taking taylor expansion of z in a
7.003 * [backup-simplify]: Simplify z into z
7.003 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a
7.003 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.003 * [taylor]: Taking taylor expansion of a in a
7.003 * [backup-simplify]: Simplify 0 into 0
7.003 * [backup-simplify]: Simplify 1 into 1
7.003 * [backup-simplify]: Simplify (/ 1 1) into 1
7.003 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.003 * [taylor]: Taking taylor expansion of z in a
7.003 * [backup-simplify]: Simplify z into z
7.003 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.003 * [backup-simplify]: Simplify (+ 1 0) into 1
7.003 * [backup-simplify]: Simplify (* z 1) into z
7.003 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.004 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.004 * [backup-simplify]: Simplify (- 0) into 0
7.004 * [backup-simplify]: Simplify (+ 0 0) into 0
7.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.005 * [backup-simplify]: Simplify (- 0) into 0
7.005 * [backup-simplify]: Simplify (+ 0 0) into 0
7.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.005 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.006 * [backup-simplify]: Simplify (- 0) into 0
7.006 * [backup-simplify]: Simplify (+ 0 0) into 0
7.006 * [backup-simplify]: Simplify (- (/ 0 (- (/ 1 a) (/ 1 z))) (+ (* (/ 1 (- (/ 1 a) (/ 1 z))) (/ 0 (- (/ 1 a) (/ 1 z)))) (* (- (/ 1 (* x (- (/ 1 a) (/ 1 z))))) (/ 0 (- (/ 1 a) (/ 1 z)))))) into 0
7.007 * [backup-simplify]: Simplify (+ (* (/ 1 (- (/ 1 a) (/ 1 z))) 0) (+ (* (- (/ 1 (* x (- (/ 1 a) (/ 1 z))))) 0) (* 0 (- (/ 1 y) (/ 1 z))))) into 0
7.007 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.007 * [backup-simplify]: Simplify (+ 0 0) into 0
7.007 * [taylor]: Taking taylor expansion of 0 in x
7.007 * [backup-simplify]: Simplify 0 into 0
7.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.008 * [backup-simplify]: Simplify (- 0) into 0
7.008 * [backup-simplify]: Simplify (+ 0 0) into 0
7.008 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (- (/ 1 a) (/ 1 z))))) into 0
7.009 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* z (- (/ 1 a) (/ 1 z)))))) into 0
7.009 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (/ z a) 1)) (/ 0 (- (/ z a) 1))))) into 0
7.010 * [backup-simplify]: Simplify (+ 0 0) into 0
7.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.010 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.010 * [backup-simplify]: Simplify (- 0) into 0
7.010 * [backup-simplify]: Simplify (+ 0 0) into 0
7.011 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 a) (/ 1 z))))) into 0
7.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (- (/ 1 a) (/ 1 z)))))) into 0
7.011 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (/ y a) (/ y z))) (/ 0 (- (/ y a) (/ y z)))))) into 0
7.012 * [backup-simplify]: Simplify (- 0) into 0
7.012 * [backup-simplify]: Simplify (+ 0 0) into 0
7.012 * [taylor]: Taking taylor expansion of 0 in a
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [taylor]: Taking taylor expansion of 0 in z
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [taylor]: Taking taylor expansion of 0 in y
7.012 * [backup-simplify]: Simplify 0 into 0
7.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.012 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.012 * [backup-simplify]: Simplify (- 0) into 0
7.013 * [backup-simplify]: Simplify (+ 0 0) into 0
7.013 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 a) (/ 1 z)))) into 0
7.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (/ 0 (* y (- (/ 1 a) (/ 1 z))))))) into 0
7.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.013 * [backup-simplify]: Simplify (- 0) into 0
7.014 * [backup-simplify]: Simplify (+ 0 0) into 0
7.014 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (- (/ 1 a) (/ 1 z)))) into 0
7.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z (- (/ 1 a) (/ 1 z)))) (/ 0 (* z (- (/ 1 a) (/ 1 z))))))) into 0
7.014 * [backup-simplify]: Simplify (- 0) into 0
7.014 * [backup-simplify]: Simplify (+ 0 0) into 0
7.014 * [taylor]: Taking taylor expansion of 0 in a
7.015 * [backup-simplify]: Simplify 0 into 0
7.015 * [taylor]: Taking taylor expansion of 0 in z
7.015 * [backup-simplify]: Simplify 0 into 0
7.015 * [taylor]: Taking taylor expansion of 0 in y
7.015 * [backup-simplify]: Simplify 0 into 0
7.015 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.015 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.015 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
7.015 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
7.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.015 * [taylor]: Taking taylor expansion of z in z
7.015 * [backup-simplify]: Simplify 0 into 0
7.015 * [backup-simplify]: Simplify 1 into 1
7.358 * [backup-simplify]: Simplify (/ 1 1) into 1
7.358 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.358 * [taylor]: Taking taylor expansion of y in z
7.358 * [backup-simplify]: Simplify y into y
7.358 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.359 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.359 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
7.359 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.359 * [taylor]: Taking taylor expansion of y in y
7.359 * [backup-simplify]: Simplify 0 into 0
7.359 * [backup-simplify]: Simplify 1 into 1
7.359 * [backup-simplify]: Simplify (/ 1 1) into 1
7.359 * [backup-simplify]: Simplify (- 1) into -1
7.359 * [backup-simplify]: Simplify -1 into -1
7.359 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.359 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
7.360 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
7.360 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.360 * [taylor]: Taking taylor expansion of y in z
7.360 * [backup-simplify]: Simplify y into y
7.360 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.360 * [taylor]: Taking taylor expansion of z in z
7.360 * [backup-simplify]: Simplify 0 into 0
7.360 * [backup-simplify]: Simplify 1 into 1
7.360 * [backup-simplify]: Simplify (/ 1 1) into 1
7.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.361 * [backup-simplify]: Simplify (- 0) into 0
7.361 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.361 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.361 * [taylor]: Taking taylor expansion of y in y
7.361 * [backup-simplify]: Simplify 0 into 0
7.361 * [backup-simplify]: Simplify 1 into 1
7.361 * [backup-simplify]: Simplify (/ 1 1) into 1
7.361 * [backup-simplify]: Simplify 1 into 1
7.361 * [taylor]: Taking taylor expansion of 0 in y
7.361 * [backup-simplify]: Simplify 0 into 0
7.361 * [backup-simplify]: Simplify 1 into 1
7.362 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 x)) 1))))) (+ (* 1 (* (/ 1 (/ 1 y)) (* 1 (* (/ 1 a) (* 1 (/ 1 (/ 1 t))))))) (* -1 (* (/ 1 (/ 1 y)) (* 1 (* (/ 1 a) (* (/ 1 (/ 1 x)) 1))))))) into (- (+ x (/ (* t y) a)) (/ (* x y) a))
7.362 * [backup-simplify]: Simplify (fma (/ (- (/ 1 (- t)) (/ 1 (- x))) (- (/ 1 (- a)) (/ 1 (- z)))) (- (/ 1 (- y)) (/ 1 (- z))) (/ 1 (- x))) into (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x))
7.362 * [approximate]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in (t x a z y) around 0
7.362 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in y
7.362 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.362 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in y
7.362 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in y
7.362 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
7.362 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.362 * [taylor]: Taking taylor expansion of x in y
7.362 * [backup-simplify]: Simplify x into x
7.362 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.362 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.362 * [taylor]: Taking taylor expansion of t in y
7.362 * [backup-simplify]: Simplify t into t
7.362 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.362 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y
7.362 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.362 * [taylor]: Taking taylor expansion of z in y
7.362 * [backup-simplify]: Simplify z into z
7.362 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.362 * [taylor]: Taking taylor expansion of (/ 1 a) in y
7.362 * [taylor]: Taking taylor expansion of a in y
7.362 * [backup-simplify]: Simplify a into a
7.363 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.363 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
7.363 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
7.363 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.363 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.363 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) into (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a)))
7.363 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
7.363 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.363 * [taylor]: Taking taylor expansion of z in y
7.363 * [backup-simplify]: Simplify z into z
7.363 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.363 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.363 * [taylor]: Taking taylor expansion of y in y
7.363 * [backup-simplify]: Simplify 0 into 0
7.363 * [backup-simplify]: Simplify 1 into 1
7.363 * [backup-simplify]: Simplify (/ 1 1) into 1
7.363 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.363 * [taylor]: Taking taylor expansion of -1 in y
7.363 * [backup-simplify]: Simplify -1 into -1
7.363 * [taylor]: Taking taylor expansion of x in y
7.363 * [backup-simplify]: Simplify x into x
7.363 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.364 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in z
7.364 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.364 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in z
7.364 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z
7.364 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
7.364 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.364 * [taylor]: Taking taylor expansion of x in z
7.364 * [backup-simplify]: Simplify x into x
7.364 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.364 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.364 * [taylor]: Taking taylor expansion of t in z
7.364 * [backup-simplify]: Simplify t into t
7.364 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.364 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z
7.364 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.364 * [taylor]: Taking taylor expansion of z in z
7.364 * [backup-simplify]: Simplify 0 into 0
7.364 * [backup-simplify]: Simplify 1 into 1
7.364 * [backup-simplify]: Simplify (/ 1 1) into 1
7.364 * [taylor]: Taking taylor expansion of (/ 1 a) in z
7.364 * [taylor]: Taking taylor expansion of a in z
7.364 * [backup-simplify]: Simplify a into a
7.364 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.364 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
7.364 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
7.365 * [backup-simplify]: Simplify (+ 1 0) into 1
7.365 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 t)) 1) into (- (/ 1 x) (/ 1 t))
7.365 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
7.365 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.365 * [taylor]: Taking taylor expansion of z in z
7.365 * [backup-simplify]: Simplify 0 into 0
7.365 * [backup-simplify]: Simplify 1 into 1
7.365 * [backup-simplify]: Simplify (/ 1 1) into 1
7.365 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.365 * [taylor]: Taking taylor expansion of y in z
7.365 * [backup-simplify]: Simplify y into y
7.365 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.365 * [taylor]: Taking taylor expansion of (/ -1 x) in z
7.365 * [taylor]: Taking taylor expansion of -1 in z
7.365 * [backup-simplify]: Simplify -1 into -1
7.365 * [taylor]: Taking taylor expansion of x in z
7.365 * [backup-simplify]: Simplify x into x
7.366 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.366 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in a
7.366 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.366 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in a
7.366 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in a
7.366 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in a
7.366 * [taylor]: Taking taylor expansion of (/ 1 x) in a
7.366 * [taylor]: Taking taylor expansion of x in a
7.366 * [backup-simplify]: Simplify x into x
7.366 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.366 * [taylor]: Taking taylor expansion of (/ 1 t) in a
7.366 * [taylor]: Taking taylor expansion of t in a
7.366 * [backup-simplify]: Simplify t into t
7.366 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.366 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a
7.366 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.366 * [taylor]: Taking taylor expansion of z in a
7.366 * [backup-simplify]: Simplify z into z
7.366 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.366 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.366 * [taylor]: Taking taylor expansion of a in a
7.366 * [backup-simplify]: Simplify 0 into 0
7.366 * [backup-simplify]: Simplify 1 into 1
7.367 * [backup-simplify]: Simplify (/ 1 1) into 1
7.367 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
7.367 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
7.367 * [backup-simplify]: Simplify (- 1) into -1
7.368 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.368 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 t)) -1) into (* -1 (- (/ 1 x) (/ 1 t)))
7.368 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in a
7.368 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.368 * [taylor]: Taking taylor expansion of z in a
7.368 * [backup-simplify]: Simplify z into z
7.368 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.368 * [taylor]: Taking taylor expansion of (/ 1 y) in a
7.368 * [taylor]: Taking taylor expansion of y in a
7.368 * [backup-simplify]: Simplify y into y
7.368 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.368 * [taylor]: Taking taylor expansion of (/ -1 x) in a
7.369 * [taylor]: Taking taylor expansion of -1 in a
7.369 * [backup-simplify]: Simplify -1 into -1
7.369 * [taylor]: Taking taylor expansion of x in a
7.369 * [backup-simplify]: Simplify x into x
7.369 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.369 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in x
7.369 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.369 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in x
7.369 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in x
7.369 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
7.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.369 * [taylor]: Taking taylor expansion of x in x
7.369 * [backup-simplify]: Simplify 0 into 0
7.369 * [backup-simplify]: Simplify 1 into 1
7.369 * [backup-simplify]: Simplify (/ 1 1) into 1
7.370 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.370 * [taylor]: Taking taylor expansion of t in x
7.370 * [backup-simplify]: Simplify t into t
7.370 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.370 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.370 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.370 * [taylor]: Taking taylor expansion of z in x
7.370 * [backup-simplify]: Simplify z into z
7.370 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.370 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.370 * [taylor]: Taking taylor expansion of a in x
7.370 * [backup-simplify]: Simplify a into a
7.370 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.370 * [backup-simplify]: Simplify (+ 1 0) into 1
7.371 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.371 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.371 * [backup-simplify]: Simplify (/ 1 (- (/ 1 z) (/ 1 a))) into (/ 1 (- (/ 1 z) (/ 1 a)))
7.371 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
7.371 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.371 * [taylor]: Taking taylor expansion of z in x
7.371 * [backup-simplify]: Simplify z into z
7.371 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.371 * [taylor]: Taking taylor expansion of y in x
7.371 * [backup-simplify]: Simplify y into y
7.371 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.371 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.371 * [taylor]: Taking taylor expansion of -1 in x
7.371 * [backup-simplify]: Simplify -1 into -1
7.371 * [taylor]: Taking taylor expansion of x in x
7.371 * [backup-simplify]: Simplify 0 into 0
7.371 * [backup-simplify]: Simplify 1 into 1
7.372 * [backup-simplify]: Simplify (/ -1 1) into -1
7.372 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in t
7.372 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.372 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in t
7.372 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in t
7.372 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
7.372 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.372 * [taylor]: Taking taylor expansion of x in t
7.372 * [backup-simplify]: Simplify x into x
7.372 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.372 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.372 * [taylor]: Taking taylor expansion of t in t
7.372 * [backup-simplify]: Simplify 0 into 0
7.372 * [backup-simplify]: Simplify 1 into 1
7.373 * [backup-simplify]: Simplify (/ 1 1) into 1
7.373 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t
7.373 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.373 * [taylor]: Taking taylor expansion of z in t
7.373 * [backup-simplify]: Simplify z into z
7.373 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.373 * [taylor]: Taking taylor expansion of (/ 1 a) in t
7.373 * [taylor]: Taking taylor expansion of a in t
7.373 * [backup-simplify]: Simplify a into a
7.373 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.373 * [backup-simplify]: Simplify (- 1) into -1
7.374 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.374 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.374 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.375 * [backup-simplify]: Simplify (/ -1 (- (/ 1 z) (/ 1 a))) into (/ -1 (- (/ 1 z) (/ 1 a)))
7.375 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
7.375 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.375 * [taylor]: Taking taylor expansion of z in t
7.375 * [backup-simplify]: Simplify z into z
7.375 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.375 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.375 * [taylor]: Taking taylor expansion of y in t
7.375 * [backup-simplify]: Simplify y into y
7.375 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.375 * [taylor]: Taking taylor expansion of (/ -1 x) in t
7.375 * [taylor]: Taking taylor expansion of -1 in t
7.375 * [backup-simplify]: Simplify -1 into -1
7.375 * [taylor]: Taking taylor expansion of x in t
7.375 * [backup-simplify]: Simplify x into x
7.375 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.375 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in t
7.375 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.375 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in t
7.375 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in t
7.376 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
7.376 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.376 * [taylor]: Taking taylor expansion of x in t
7.376 * [backup-simplify]: Simplify x into x
7.376 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.376 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.376 * [taylor]: Taking taylor expansion of t in t
7.376 * [backup-simplify]: Simplify 0 into 0
7.376 * [backup-simplify]: Simplify 1 into 1
7.376 * [backup-simplify]: Simplify (/ 1 1) into 1
7.376 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t
7.376 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.376 * [taylor]: Taking taylor expansion of z in t
7.376 * [backup-simplify]: Simplify z into z
7.376 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.376 * [taylor]: Taking taylor expansion of (/ 1 a) in t
7.376 * [taylor]: Taking taylor expansion of a in t
7.376 * [backup-simplify]: Simplify a into a
7.377 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.377 * [backup-simplify]: Simplify (- 1) into -1
7.377 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.377 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.378 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.378 * [backup-simplify]: Simplify (/ -1 (- (/ 1 z) (/ 1 a))) into (/ -1 (- (/ 1 z) (/ 1 a)))
7.378 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
7.378 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.378 * [taylor]: Taking taylor expansion of z in t
7.378 * [backup-simplify]: Simplify z into z
7.378 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.378 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.378 * [taylor]: Taking taylor expansion of y in t
7.378 * [backup-simplify]: Simplify y into y
7.378 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.378 * [taylor]: Taking taylor expansion of (/ -1 x) in t
7.378 * [taylor]: Taking taylor expansion of -1 in t
7.378 * [backup-simplify]: Simplify -1 into -1
7.378 * [taylor]: Taking taylor expansion of x in t
7.378 * [backup-simplify]: Simplify x into x
7.378 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.378 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.379 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
7.379 * [backup-simplify]: Simplify (* (/ -1 (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) into (* -1 (/ (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 a))))
7.379 * [backup-simplify]: Simplify (+ (* -1 (/ (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 a)))) 0) into (- (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (/ 1 (* (- (/ 1 z) (/ 1 a)) z)))
7.379 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (/ 1 (* (- (/ 1 z) (/ 1 a)) z))) in x
7.379 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in x
7.379 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in x
7.379 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.379 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.380 * [taylor]: Taking taylor expansion of z in x
7.380 * [backup-simplify]: Simplify z into z
7.380 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.380 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.380 * [taylor]: Taking taylor expansion of a in x
7.380 * [backup-simplify]: Simplify a into a
7.380 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.380 * [taylor]: Taking taylor expansion of y in x
7.380 * [backup-simplify]: Simplify y into y
7.380 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.380 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.380 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 a)) y) into (* (- (/ 1 z) (/ 1 a)) y)
7.380 * [backup-simplify]: Simplify (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) into (/ 1 (* (- (/ 1 z) (/ 1 a)) y))
7.380 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) in x
7.380 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) z) in x
7.380 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.381 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.381 * [taylor]: Taking taylor expansion of z in x
7.381 * [backup-simplify]: Simplify z into z
7.381 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.381 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.381 * [taylor]: Taking taylor expansion of a in x
7.381 * [backup-simplify]: Simplify a into a
7.381 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.381 * [taylor]: Taking taylor expansion of z in x
7.381 * [backup-simplify]: Simplify z into z
7.381 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.381 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.381 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 a)) z) into (* (- (/ 1 z) (/ 1 a)) z)
7.381 * [backup-simplify]: Simplify (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) into (/ 1 (* (- (/ 1 z) (/ 1 a)) z))
7.382 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.382 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.382 * [backup-simplify]: Simplify (- 0) into 0
7.383 * [backup-simplify]: Simplify (+ 0 0) into 0
7.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.384 * [backup-simplify]: Simplify (- 0) into 0
7.384 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
7.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.384 * [backup-simplify]: Simplify (- 0) into 0
7.385 * [backup-simplify]: Simplify (+ 0 0) into 0
7.385 * [backup-simplify]: Simplify (- (/ (/ 1 x) (- (/ 1 z) (/ 1 a))) (+ (* (/ -1 (- (/ 1 z) (/ 1 a))) (/ 0 (- (/ 1 z) (/ 1 a)))))) into (/ 1 (* x (- (/ 1 z) (/ 1 a))))
7.386 * [backup-simplify]: Simplify (+ (* (/ -1 (- (/ 1 z) (/ 1 a))) 0) (* (/ 1 (* x (- (/ 1 z) (/ 1 a)))) (- (/ 1 z) (/ 1 y)))) into (- (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) z))) (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y))))
7.386 * [backup-simplify]: Simplify (+ (- (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) z))) (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y)))) (/ -1 x)) into (- (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) z))) (+ (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y))) (/ 1 x)))
7.386 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) z))) (+ (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y))) (/ 1 x))) in x
7.386 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) z))) in x
7.386 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 a)) z)) in x
7.386 * [taylor]: Taking taylor expansion of x in x
7.386 * [backup-simplify]: Simplify 0 into 0
7.386 * [backup-simplify]: Simplify 1 into 1
7.386 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) z) in x
7.386 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.386 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.386 * [taylor]: Taking taylor expansion of z in x
7.386 * [backup-simplify]: Simplify z into z
7.386 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.386 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.387 * [taylor]: Taking taylor expansion of a in x
7.387 * [backup-simplify]: Simplify a into a
7.387 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.387 * [taylor]: Taking taylor expansion of z in x
7.387 * [backup-simplify]: Simplify z into z
7.387 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.387 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.387 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 a)) z) into (* (- (/ 1 z) (/ 1 a)) z)
7.387 * [backup-simplify]: Simplify (* 0 (* (- (/ 1 z) (/ 1 a)) z)) into 0
7.387 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.387 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.388 * [backup-simplify]: Simplify (- 0) into 0
7.388 * [backup-simplify]: Simplify (+ 0 0) into 0
7.388 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (* 0 z)) into 0
7.389 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (- (/ 1 z) (/ 1 a)) z))) into (- 1 (/ z a))
7.389 * [backup-simplify]: Simplify (/ 1 (- 1 (/ z a))) into (/ 1 (- 1 (/ z a)))
7.389 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y))) (/ 1 x)) in x
7.389 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y))) in x
7.389 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 a)) y)) in x
7.389 * [taylor]: Taking taylor expansion of x in x
7.389 * [backup-simplify]: Simplify 0 into 0
7.389 * [backup-simplify]: Simplify 1 into 1
7.389 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in x
7.389 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.389 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.389 * [taylor]: Taking taylor expansion of z in x
7.389 * [backup-simplify]: Simplify z into z
7.389 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.389 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.389 * [taylor]: Taking taylor expansion of a in x
7.390 * [backup-simplify]: Simplify a into a
7.390 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.390 * [taylor]: Taking taylor expansion of y in x
7.390 * [backup-simplify]: Simplify y into y
7.390 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.390 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.390 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 a)) y) into (* (- (/ 1 z) (/ 1 a)) y)
7.390 * [backup-simplify]: Simplify (* 0 (* (- (/ 1 z) (/ 1 a)) y)) into 0
7.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.391 * [backup-simplify]: Simplify (- 0) into 0
7.391 * [backup-simplify]: Simplify (+ 0 0) into 0
7.391 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (* 0 y)) into 0
7.392 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (- (/ 1 z) (/ 1 a)) y))) into (- (/ y z) (/ y a))
7.392 * [backup-simplify]: Simplify (/ 1 (- (/ y z) (/ y a))) into (/ 1 (- (/ y z) (/ y a)))
7.392 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.392 * [taylor]: Taking taylor expansion of x in x
7.392 * [backup-simplify]: Simplify 0 into 0
7.392 * [backup-simplify]: Simplify 1 into 1
7.392 * [backup-simplify]: Simplify (/ 1 1) into 1
7.393 * [backup-simplify]: Simplify (+ (/ 1 (- (/ y z) (/ y a))) 1) into (+ (/ 1 (- (/ y z) (/ y a))) 1)
7.393 * [backup-simplify]: Simplify (- (+ (/ 1 (- (/ y z) (/ y a))) 1)) into (- (+ (/ 1 (- (/ y z) (/ y a))) 1))
7.393 * [backup-simplify]: Simplify (+ (/ 1 (- 1 (/ z a))) (- (+ (/ 1 (- (/ y z) (/ y a))) 1))) into (- (/ 1 (- 1 (/ z a))) (+ (/ 1 (- (/ y z) (/ y a))) 1))
7.393 * [taylor]: Taking taylor expansion of (- (/ 1 (- 1 (/ z a))) (+ (/ 1 (- (/ y z) (/ y a))) 1)) in a
7.393 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ z a))) in a
7.393 * [taylor]: Taking taylor expansion of (- 1 (/ z a)) in a
7.393 * [taylor]: Taking taylor expansion of 1 in a
7.393 * [backup-simplify]: Simplify 1 into 1
7.393 * [taylor]: Taking taylor expansion of (/ z a) in a
7.393 * [taylor]: Taking taylor expansion of z in a
7.393 * [backup-simplify]: Simplify z into z
7.393 * [taylor]: Taking taylor expansion of a in a
7.393 * [backup-simplify]: Simplify 0 into 0
7.393 * [backup-simplify]: Simplify 1 into 1
7.393 * [backup-simplify]: Simplify (/ z 1) into z
7.393 * [backup-simplify]: Simplify (- z) into (- z)
7.393 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.393 * [backup-simplify]: Simplify (/ 1 (- z)) into (/ -1 z)
7.393 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (/ y z) (/ y a))) 1) in a
7.393 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (/ y a))) in a
7.393 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y a)) in a
7.393 * [taylor]: Taking taylor expansion of (/ y z) in a
7.393 * [taylor]: Taking taylor expansion of y in a
7.393 * [backup-simplify]: Simplify y into y
7.394 * [taylor]: Taking taylor expansion of z in a
7.394 * [backup-simplify]: Simplify z into z
7.394 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.394 * [taylor]: Taking taylor expansion of (/ y a) in a
7.394 * [taylor]: Taking taylor expansion of y in a
7.394 * [backup-simplify]: Simplify y into y
7.394 * [taylor]: Taking taylor expansion of a in a
7.394 * [backup-simplify]: Simplify 0 into 0
7.394 * [backup-simplify]: Simplify 1 into 1
7.394 * [backup-simplify]: Simplify (/ y 1) into y
7.394 * [backup-simplify]: Simplify (- y) into (- y)
7.394 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
7.394 * [backup-simplify]: Simplify (/ 1 (- y)) into (/ -1 y)
7.394 * [taylor]: Taking taylor expansion of 1 in a
7.394 * [backup-simplify]: Simplify 1 into 1
7.394 * [backup-simplify]: Simplify (+ 0 1) into 1
7.394 * [backup-simplify]: Simplify (- 1) into -1
7.395 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.395 * [taylor]: Taking taylor expansion of -1 in z
7.395 * [backup-simplify]: Simplify -1 into -1
7.395 * [taylor]: Taking taylor expansion of -1 in y
7.395 * [backup-simplify]: Simplify -1 into -1
7.395 * [backup-simplify]: Simplify (- (/ 1 (* (- (/ 1 z) (/ 1 a)) z))) into (- (/ 1 (* (- (/ 1 z) (/ 1 a)) z)))
7.395 * [backup-simplify]: Simplify (+ (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (- (/ 1 (* (- (/ 1 z) (/ 1 a)) z)))) into (- (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (/ 1 (* (- (/ 1 z) (/ 1 a)) z)))
7.395 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (/ 1 (* (- (/ 1 z) (/ 1 a)) z))) in a
7.395 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in a
7.395 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in a
7.395 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a
7.395 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.395 * [taylor]: Taking taylor expansion of z in a
7.395 * [backup-simplify]: Simplify z into z
7.395 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.395 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.395 * [taylor]: Taking taylor expansion of a in a
7.395 * [backup-simplify]: Simplify 0 into 0
7.395 * [backup-simplify]: Simplify 1 into 1
7.396 * [backup-simplify]: Simplify (/ 1 1) into 1
7.396 * [taylor]: Taking taylor expansion of y in a
7.396 * [backup-simplify]: Simplify y into y
7.396 * [backup-simplify]: Simplify (- 1) into -1
7.396 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.396 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
7.396 * [backup-simplify]: Simplify (/ 1 (* -1 y)) into (/ -1 y)
7.396 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) in a
7.396 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) z) in a
7.396 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a
7.396 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.396 * [taylor]: Taking taylor expansion of z in a
7.396 * [backup-simplify]: Simplify z into z
7.396 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.396 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.396 * [taylor]: Taking taylor expansion of a in a
7.396 * [backup-simplify]: Simplify 0 into 0
7.396 * [backup-simplify]: Simplify 1 into 1
7.397 * [backup-simplify]: Simplify (/ 1 1) into 1
7.397 * [taylor]: Taking taylor expansion of z in a
7.397 * [backup-simplify]: Simplify z into z
7.397 * [backup-simplify]: Simplify (- 1) into -1
7.397 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.397 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
7.397 * [backup-simplify]: Simplify (/ 1 (* -1 z)) into (/ -1 z)
7.397 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.398 * [backup-simplify]: Simplify (- 0) into 0
7.398 * [backup-simplify]: Simplify (+ 0 0) into 0
7.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.399 * [backup-simplify]: Simplify (- 0) into 0
7.399 * [backup-simplify]: Simplify (+ 0 0) into 0
7.399 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.399 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.400 * [backup-simplify]: Simplify (- 0) into 0
7.400 * [backup-simplify]: Simplify (+ 0 0) into 0
7.400 * [backup-simplify]: Simplify (- (/ 0 (- (/ 1 z) (/ 1 a))) (+ (* (/ -1 (- (/ 1 z) (/ 1 a))) (/ 0 (- (/ 1 z) (/ 1 a)))) (* (/ 1 (* x (- (/ 1 z) (/ 1 a)))) (/ 0 (- (/ 1 z) (/ 1 a)))))) into 0
7.400 * [backup-simplify]: Simplify (+ (* (/ -1 (- (/ 1 z) (/ 1 a))) 0) (+ (* (/ 1 (* x (- (/ 1 z) (/ 1 a)))) 0) (* 0 (- (/ 1 z) (/ 1 y))))) into 0
7.401 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
7.401 * [backup-simplify]: Simplify (+ 0 0) into 0
7.401 * [taylor]: Taking taylor expansion of 0 in x
7.401 * [backup-simplify]: Simplify 0 into 0
7.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.401 * [backup-simplify]: Simplify (- 0) into 0
7.401 * [backup-simplify]: Simplify (+ 0 0) into 0
7.402 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (+ (* 0 0) (* 0 z))) into 0
7.402 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* (- (/ 1 z) (/ 1 a)) z)))) into 0
7.403 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ z a))) (/ 0 (- 1 (/ z a)))))) into 0
7.403 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.403 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.403 * [backup-simplify]: Simplify (- 0) into 0
7.403 * [backup-simplify]: Simplify (+ 0 0) into 0
7.404 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (+ (* 0 0) (* 0 y))) into 0
7.404 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* (- (/ 1 z) (/ 1 a)) y)))) into 0
7.404 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (/ y z) (/ y a))) (/ 0 (- (/ y z) (/ y a)))))) into 0
7.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.405 * [backup-simplify]: Simplify (+ 0 0) into 0
7.405 * [backup-simplify]: Simplify (- 0) into 0
7.405 * [backup-simplify]: Simplify (+ 0 0) into 0
7.405 * [taylor]: Taking taylor expansion of 0 in a
7.405 * [backup-simplify]: Simplify 0 into 0
7.405 * [taylor]: Taking taylor expansion of 0 in z
7.405 * [backup-simplify]: Simplify 0 into 0
7.405 * [taylor]: Taking taylor expansion of 0 in y
7.405 * [backup-simplify]: Simplify 0 into 0
7.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.406 * [backup-simplify]: Simplify (- 0) into 0
7.406 * [backup-simplify]: Simplify (+ 0 0) into 0
7.406 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (* 0 y)) into 0
7.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (/ 0 (* (- (/ 1 z) (/ 1 a)) y))))) into 0
7.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.407 * [backup-simplify]: Simplify (- 0) into 0
7.407 * [backup-simplify]: Simplify (+ 0 0) into 0
7.407 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (* 0 z)) into 0
7.408 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) (/ 0 (* (- (/ 1 z) (/ 1 a)) z))))) into 0
7.408 * [backup-simplify]: Simplify (- 0) into 0
7.408 * [backup-simplify]: Simplify (+ 0 0) into 0
7.408 * [taylor]: Taking taylor expansion of 0 in a
7.408 * [backup-simplify]: Simplify 0 into 0
7.409 * [taylor]: Taking taylor expansion of 0 in z
7.409 * [backup-simplify]: Simplify 0 into 0
7.409 * [taylor]: Taking taylor expansion of 0 in y
7.409 * [backup-simplify]: Simplify 0 into 0
7.409 * [backup-simplify]: Simplify (+ (/ -1 y) 0) into (- (/ 1 y))
7.409 * [backup-simplify]: Simplify (- (- (/ 1 y))) into (/ 1 y)
7.409 * [backup-simplify]: Simplify (+ (/ -1 z) (/ 1 y)) into (- (/ 1 y) (/ 1 z))
7.409 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
7.409 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.409 * [taylor]: Taking taylor expansion of y in z
7.409 * [backup-simplify]: Simplify y into y
7.409 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.409 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.409 * [taylor]: Taking taylor expansion of z in z
7.409 * [backup-simplify]: Simplify 0 into 0
7.409 * [backup-simplify]: Simplify 1 into 1
7.409 * [backup-simplify]: Simplify (/ 1 1) into 1
7.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.410 * [backup-simplify]: Simplify (- 0) into 0
7.410 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.410 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.410 * [taylor]: Taking taylor expansion of y in y
7.410 * [backup-simplify]: Simplify 0 into 0
7.410 * [backup-simplify]: Simplify 1 into 1
7.410 * [backup-simplify]: Simplify (/ 1 1) into 1
7.410 * [backup-simplify]: Simplify 1 into 1
7.410 * [backup-simplify]: Simplify (- (/ -1 z)) into (/ 1 z)
7.410 * [backup-simplify]: Simplify (+ (/ -1 y) (/ 1 z)) into (- (/ 1 z) (/ 1 y))
7.411 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
7.411 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.411 * [taylor]: Taking taylor expansion of z in z
7.411 * [backup-simplify]: Simplify 0 into 0
7.411 * [backup-simplify]: Simplify 1 into 1
7.411 * [backup-simplify]: Simplify (/ 1 1) into 1
7.411 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.411 * [taylor]: Taking taylor expansion of y in z
7.411 * [backup-simplify]: Simplify y into y
7.411 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.411 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.412 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
7.412 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.412 * [taylor]: Taking taylor expansion of y in y
7.412 * [backup-simplify]: Simplify 0 into 0
7.412 * [backup-simplify]: Simplify 1 into 1
7.412 * [backup-simplify]: Simplify (/ 1 1) into 1
7.412 * [backup-simplify]: Simplify (- 1) into -1
7.412 * [backup-simplify]: Simplify -1 into -1
7.412 * [taylor]: Taking taylor expansion of 0 in y
7.412 * [backup-simplify]: Simplify 0 into 0
7.412 * [backup-simplify]: Simplify -1 into -1
7.413 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* 1 (* 1 (* (/ 1 (/ 1 (- x))) 1))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) (* 1 (* (/ 1 (- a)) (* 1 (/ 1 (/ 1 (- t)))))))) (* 1 (* (/ 1 (/ 1 (- y))) (* 1 (* (/ 1 (- a)) (* (/ 1 (/ 1 (- x))) 1))))))) into (- (+ x (/ (* t y) a)) (/ (* x y) a))
7.413 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.413 * [backup-simplify]: Simplify (/ (- t x) (- a z)) into (/ (- t x) (- a z))
7.413 * [approximate]: Taking taylor expansion of (/ (- t x) (- a z)) in (t x a z) around 0
7.413 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in z
7.413 * [taylor]: Taking taylor expansion of (- t x) in z
7.413 * [taylor]: Taking taylor expansion of t in z
7.413 * [backup-simplify]: Simplify t into t
7.413 * [taylor]: Taking taylor expansion of x in z
7.413 * [backup-simplify]: Simplify x into x
7.413 * [taylor]: Taking taylor expansion of (- a z) in z
7.413 * [taylor]: Taking taylor expansion of a in z
7.413 * [backup-simplify]: Simplify a into a
7.413 * [taylor]: Taking taylor expansion of z in z
7.413 * [backup-simplify]: Simplify 0 into 0
7.413 * [backup-simplify]: Simplify 1 into 1
7.413 * [backup-simplify]: Simplify (- x) into (- x)
7.413 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
7.413 * [backup-simplify]: Simplify (- 0) into 0
7.414 * [backup-simplify]: Simplify (+ a 0) into a
7.414 * [backup-simplify]: Simplify (/ (- t x) a) into (/ (- t x) a)
7.414 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in a
7.414 * [taylor]: Taking taylor expansion of (- t x) in a
7.414 * [taylor]: Taking taylor expansion of t in a
7.414 * [backup-simplify]: Simplify t into t
7.414 * [taylor]: Taking taylor expansion of x in a
7.414 * [backup-simplify]: Simplify x into x
7.414 * [taylor]: Taking taylor expansion of (- a z) in a
7.414 * [taylor]: Taking taylor expansion of a in a
7.414 * [backup-simplify]: Simplify 0 into 0
7.414 * [backup-simplify]: Simplify 1 into 1
7.414 * [taylor]: Taking taylor expansion of z in a
7.414 * [backup-simplify]: Simplify z into z
7.414 * [backup-simplify]: Simplify (- x) into (- x)
7.414 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
7.414 * [backup-simplify]: Simplify (- z) into (- z)
7.414 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.414 * [backup-simplify]: Simplify (/ (- t x) (- z)) into (* -1 (/ (- t x) z))
7.414 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in x
7.414 * [taylor]: Taking taylor expansion of (- t x) in x
7.414 * [taylor]: Taking taylor expansion of t in x
7.414 * [backup-simplify]: Simplify t into t
7.414 * [taylor]: Taking taylor expansion of x in x
7.414 * [backup-simplify]: Simplify 0 into 0
7.414 * [backup-simplify]: Simplify 1 into 1
7.414 * [taylor]: Taking taylor expansion of (- a z) in x
7.414 * [taylor]: Taking taylor expansion of a in x
7.414 * [backup-simplify]: Simplify a into a
7.414 * [taylor]: Taking taylor expansion of z in x
7.414 * [backup-simplify]: Simplify z into z
7.414 * [backup-simplify]: Simplify (- 0) into 0
7.414 * [backup-simplify]: Simplify (+ t 0) into t
7.414 * [backup-simplify]: Simplify (- z) into (- z)
7.414 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.415 * [backup-simplify]: Simplify (/ t (- a z)) into (/ t (- a z))
7.415 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in t
7.415 * [taylor]: Taking taylor expansion of (- t x) in t
7.415 * [taylor]: Taking taylor expansion of t in t
7.415 * [backup-simplify]: Simplify 0 into 0
7.415 * [backup-simplify]: Simplify 1 into 1
7.415 * [taylor]: Taking taylor expansion of x in t
7.415 * [backup-simplify]: Simplify x into x
7.415 * [taylor]: Taking taylor expansion of (- a z) in t
7.415 * [taylor]: Taking taylor expansion of a in t
7.415 * [backup-simplify]: Simplify a into a
7.415 * [taylor]: Taking taylor expansion of z in t
7.415 * [backup-simplify]: Simplify z into z
7.415 * [backup-simplify]: Simplify (- x) into (- x)
7.415 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
7.415 * [backup-simplify]: Simplify (- z) into (- z)
7.415 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.415 * [backup-simplify]: Simplify (/ (- x) (- a z)) into (* -1 (/ x (- a z)))
7.415 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in t
7.415 * [taylor]: Taking taylor expansion of (- t x) in t
7.415 * [taylor]: Taking taylor expansion of t in t
7.415 * [backup-simplify]: Simplify 0 into 0
7.415 * [backup-simplify]: Simplify 1 into 1
7.415 * [taylor]: Taking taylor expansion of x in t
7.415 * [backup-simplify]: Simplify x into x
7.415 * [taylor]: Taking taylor expansion of (- a z) in t
7.415 * [taylor]: Taking taylor expansion of a in t
7.415 * [backup-simplify]: Simplify a into a
7.415 * [taylor]: Taking taylor expansion of z in t
7.415 * [backup-simplify]: Simplify z into z
7.415 * [backup-simplify]: Simplify (- x) into (- x)
7.415 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
7.415 * [backup-simplify]: Simplify (- z) into (- z)
7.415 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.415 * [backup-simplify]: Simplify (/ (- x) (- a z)) into (* -1 (/ x (- a z)))
7.415 * [taylor]: Taking taylor expansion of (* -1 (/ x (- a z))) in x
7.415 * [taylor]: Taking taylor expansion of -1 in x
7.415 * [backup-simplify]: Simplify -1 into -1
7.415 * [taylor]: Taking taylor expansion of (/ x (- a z)) in x
7.415 * [taylor]: Taking taylor expansion of x in x
7.415 * [backup-simplify]: Simplify 0 into 0
7.415 * [backup-simplify]: Simplify 1 into 1
7.415 * [taylor]: Taking taylor expansion of (- a z) in x
7.415 * [taylor]: Taking taylor expansion of a in x
7.415 * [backup-simplify]: Simplify a into a
7.415 * [taylor]: Taking taylor expansion of z in x
7.416 * [backup-simplify]: Simplify z into z
7.416 * [backup-simplify]: Simplify (- z) into (- z)
7.416 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.416 * [backup-simplify]: Simplify (/ 1 (- a z)) into (/ 1 (- a z))
7.416 * [backup-simplify]: Simplify (- 0) into 0
7.416 * [backup-simplify]: Simplify (+ 1 0) into 1
7.416 * [backup-simplify]: Simplify (- 0) into 0
7.417 * [backup-simplify]: Simplify (+ 0 0) into 0
7.417 * [backup-simplify]: Simplify (- (/ 1 (- a z)) (+ (* (* -1 (/ x (- a z))) (/ 0 (- a z))))) into (/ 1 (- a z))
7.417 * [taylor]: Taking taylor expansion of (/ 1 (- a z)) in x
7.417 * [taylor]: Taking taylor expansion of (- a z) in x
7.417 * [taylor]: Taking taylor expansion of a in x
7.417 * [backup-simplify]: Simplify a into a
7.417 * [taylor]: Taking taylor expansion of z in x
7.417 * [backup-simplify]: Simplify z into z
7.417 * [backup-simplify]: Simplify (- z) into (- z)
7.417 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.417 * [backup-simplify]: Simplify (/ 1 (- a z)) into (/ 1 (- a z))
7.417 * [taylor]: Taking taylor expansion of (/ 1 (- a z)) in a
7.417 * [taylor]: Taking taylor expansion of (- a z) in a
7.417 * [taylor]: Taking taylor expansion of a in a
7.417 * [backup-simplify]: Simplify 0 into 0
7.417 * [backup-simplify]: Simplify 1 into 1
7.417 * [taylor]: Taking taylor expansion of z in a
7.417 * [backup-simplify]: Simplify z into z
7.417 * [backup-simplify]: Simplify (- z) into (- z)
7.417 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.417 * [backup-simplify]: Simplify (/ 1 (- z)) into (/ -1 z)
7.417 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.417 * [taylor]: Taking taylor expansion of -1 in z
7.417 * [backup-simplify]: Simplify -1 into -1
7.417 * [taylor]: Taking taylor expansion of z in z
7.417 * [backup-simplify]: Simplify 0 into 0
7.417 * [backup-simplify]: Simplify 1 into 1
7.418 * [backup-simplify]: Simplify (/ -1 1) into -1
7.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.418 * [backup-simplify]: Simplify 0 into 0
7.418 * [backup-simplify]: Simplify (* -1 (/ 1 (- a z))) into (/ -1 (- a z))
7.418 * [taylor]: Taking taylor expansion of (/ -1 (- a z)) in a
7.418 * [taylor]: Taking taylor expansion of -1 in a
7.418 * [backup-simplify]: Simplify -1 into -1
7.418 * [taylor]: Taking taylor expansion of (- a z) in a
7.418 * [taylor]: Taking taylor expansion of a in a
7.418 * [backup-simplify]: Simplify 0 into 0
7.418 * [backup-simplify]: Simplify 1 into 1
7.418 * [taylor]: Taking taylor expansion of z in a
7.418 * [backup-simplify]: Simplify z into z
7.418 * [backup-simplify]: Simplify (- z) into (- z)
7.419 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.419 * [backup-simplify]: Simplify (/ -1 (- z)) into (/ 1 z)
7.419 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.419 * [taylor]: Taking taylor expansion of z in z
7.419 * [backup-simplify]: Simplify 0 into 0
7.419 * [backup-simplify]: Simplify 1 into 1
7.419 * [backup-simplify]: Simplify (/ 1 1) into 1
7.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.419 * [backup-simplify]: Simplify 0 into 0
7.420 * [backup-simplify]: Simplify (- 0) into 0
7.420 * [backup-simplify]: Simplify (+ 0 0) into 0
7.420 * [backup-simplify]: Simplify (- 0) into 0
7.420 * [backup-simplify]: Simplify (+ 0 0) into 0
7.421 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (* -1 (/ x (- a z))) (/ 0 (- a z))) (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0
7.421 * [taylor]: Taking taylor expansion of 0 in x
7.421 * [backup-simplify]: Simplify 0 into 0
7.421 * [taylor]: Taking taylor expansion of 0 in a
7.421 * [backup-simplify]: Simplify 0 into 0
7.421 * [taylor]: Taking taylor expansion of 0 in z
7.421 * [backup-simplify]: Simplify 0 into 0
7.421 * [backup-simplify]: Simplify 0 into 0
7.421 * [backup-simplify]: Simplify (- 0) into 0
7.421 * [backup-simplify]: Simplify (+ 0 0) into 0
7.421 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0
7.421 * [taylor]: Taking taylor expansion of 0 in a
7.421 * [backup-simplify]: Simplify 0 into 0
7.421 * [taylor]: Taking taylor expansion of 0 in z
7.421 * [backup-simplify]: Simplify 0 into 0
7.421 * [backup-simplify]: Simplify 0 into 0
7.422 * [backup-simplify]: Simplify (- 0) into 0
7.422 * [backup-simplify]: Simplify (+ 0 0) into 0
7.422 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0
7.423 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (- a z)))) into 0
7.423 * [taylor]: Taking taylor expansion of 0 in a
7.423 * [backup-simplify]: Simplify 0 into 0
7.423 * [taylor]: Taking taylor expansion of 0 in z
7.423 * [backup-simplify]: Simplify 0 into 0
7.423 * [backup-simplify]: Simplify 0 into 0
7.423 * [backup-simplify]: Simplify (- 0) into 0
7.424 * [backup-simplify]: Simplify (+ 1 0) into 1