1.419 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (+ x (* (- y z) (/ (- t x) (- a z))))
0.033 * * [simplify]: Extracting # 0 : cost  0
0.033 * * [simplify]: Extracting # 1 : cost  0
0.033 * * [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.035 * * [simplify]: Extracting # 0 : cost  0
0.035 * * [simplify]: Extracting # 1 : cost  0
0.035 * * [simplify]: Extracting # 2 : cost  0
0.035 * * [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.048 * * [simplify]: Extracting # 0 : cost  0
0.048 * * [simplify]: Extracting # 1 : cost  0
0.048 * * [simplify]: Extracting # 2 : cost  0
0.048 * * [simplify]: iteration  3 :  128  enodes  (cost  12 )
0.097 * * [simplify]: Extracting # 0 : cost  0
0.097 * * [simplify]: Extracting # 1 : cost  0
0.098 * * [simplify]: Extracting # 2 : cost  0
0.098 * * [simplify]: iteration  4 :  360  enodes  (cost  12 )
0.297 * * [simplify]: Extracting # 0 : cost  0
0.298 * * [simplify]: Extracting # 1 : cost  0
0.299 * * [simplify]: Extracting # 2 : cost  0
0.300 * * [simplify]: iteration  5 :  877  enodes  (cost  12 )
1.362 * * [simplify]: Extracting # 0 : cost  0
1.365 * * [simplify]: Extracting # 1 : cost  0
1.366 * * [simplify]: Extracting # 2 : cost  0
1.368 * * [simplify]: Extracting # 3 : cost  0
1.369 * * [simplify]: iteration  6 :  2016  enodes  (cost  12 )
3.668 * * [simplify]: Extracting # 0 : cost  0
3.672 * * [simplify]: Extracting # 1 : cost  0
3.675 * * [simplify]: Extracting # 2 : cost  0
3.677 * * [simplify]: Extracting # 3 : cost  0
3.680 * * [simplify]: iteration  7 :  3586  enodes  (cost  12 )
7.038 * * [simplify]: Extracting # 0 : cost  0
7.048 * * [simplify]: Extracting # 1 : cost  0
7.054 * * [simplify]: Extracting # 2 : cost  0
7.057 * * [simplify]: Extracting # 3 : cost  0
7.060 * * [simplify]: iteration done:  5000  enodes  (cost  12 )
7.060 * [simplify]: Simplified to:
  (fma (/ (- t x) (- a z)) (- y z) x)
7.063 * * [progress]: iteration 1 / 4
7.063 * * * [progress]: picking best candidate
7.067 * * * * [pick]: Picked  #<alt (λ (x y z t a) (fma (/ (- t x) (- a z)) (- y z) x))>
7.067 * * * [progress]: localizing error
7.078 * * * [progress]: generating rewritten candidates
7.078 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
7.079 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
7.118 * * * [progress]: generating series expansions
7.119 * * * * [progress]: [ 1 / 2 ] generating series at (2)
7.119 * [backup-simplify]: Simplify (fma (/ (- t x) (- a z)) (- y z) x) into (fma (/ (- t x) (- a z)) (- y z) x)
7.119 * [approximate]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in (t x a z y) around 0
7.119 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in y
7.119 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
7.119 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in y
7.119 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in y
7.119 * [taylor]: Taking taylor expansion of (- t x) in y
7.119 * [taylor]: Taking taylor expansion of t in y
7.119 * [backup-simplify]: Simplify t into t
7.119 * [taylor]: Taking taylor expansion of x in y
7.119 * [backup-simplify]: Simplify x into x
7.119 * [taylor]: Taking taylor expansion of (- a z) in y
7.119 * [taylor]: Taking taylor expansion of a in y
7.119 * [backup-simplify]: Simplify a into a
7.119 * [taylor]: Taking taylor expansion of z in y
7.119 * [backup-simplify]: Simplify z into z
7.119 * [backup-simplify]: Simplify (- x) into (- x)
7.119 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
7.119 * [backup-simplify]: Simplify (- z) into (- z)
7.119 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.120 * [backup-simplify]: Simplify (/ (- t x) (- a z)) into (/ (- t x) (- a z))
7.120 * [taylor]: Taking taylor expansion of (- y z) in y
7.120 * [taylor]: Taking taylor expansion of y in y
7.120 * [backup-simplify]: Simplify 0 into 0
7.120 * [backup-simplify]: Simplify 1 into 1
7.120 * [taylor]: Taking taylor expansion of z in y
7.120 * [backup-simplify]: Simplify z into z
7.120 * [taylor]: Taking taylor expansion of x in y
7.120 * [backup-simplify]: Simplify x into x
7.120 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in z
7.120 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
7.120 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in z
7.120 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in z
7.120 * [taylor]: Taking taylor expansion of (- t x) in z
7.120 * [taylor]: Taking taylor expansion of t in z
7.120 * [backup-simplify]: Simplify t into t
7.120 * [taylor]: Taking taylor expansion of x in z
7.120 * [backup-simplify]: Simplify x into x
7.120 * [taylor]: Taking taylor expansion of (- a z) in z
7.120 * [taylor]: Taking taylor expansion of a in z
7.120 * [backup-simplify]: Simplify a into a
7.120 * [taylor]: Taking taylor expansion of z in z
7.120 * [backup-simplify]: Simplify 0 into 0
7.120 * [backup-simplify]: Simplify 1 into 1
7.120 * [backup-simplify]: Simplify (- x) into (- x)
7.120 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
7.121 * [backup-simplify]: Simplify (- 0) into 0
7.121 * [backup-simplify]: Simplify (+ a 0) into a
7.121 * [backup-simplify]: Simplify (/ (- t x) a) into (/ (- t x) a)
7.121 * [taylor]: Taking taylor expansion of (- y z) in z
7.121 * [taylor]: Taking taylor expansion of y in z
7.121 * [backup-simplify]: Simplify y into y
7.121 * [taylor]: Taking taylor expansion of z in z
7.121 * [backup-simplify]: Simplify 0 into 0
7.121 * [backup-simplify]: Simplify 1 into 1
7.121 * [taylor]: Taking taylor expansion of x in z
7.121 * [backup-simplify]: Simplify x into x
7.121 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in a
7.121 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
7.121 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in a
7.121 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in a
7.121 * [taylor]: Taking taylor expansion of (- t x) in a
7.121 * [taylor]: Taking taylor expansion of t in a
7.121 * [backup-simplify]: Simplify t into t
7.121 * [taylor]: Taking taylor expansion of x in a
7.121 * [backup-simplify]: Simplify x into x
7.121 * [taylor]: Taking taylor expansion of (- a z) in a
7.121 * [taylor]: Taking taylor expansion of a in a
7.121 * [backup-simplify]: Simplify 0 into 0
7.121 * [backup-simplify]: Simplify 1 into 1
7.121 * [taylor]: Taking taylor expansion of z in a
7.121 * [backup-simplify]: Simplify z into z
7.121 * [backup-simplify]: Simplify (- x) into (- x)
7.121 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
7.121 * [backup-simplify]: Simplify (- z) into (- z)
7.121 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.121 * [backup-simplify]: Simplify (/ (- t x) (- z)) into (* -1 (/ (- t x) z))
7.121 * [taylor]: Taking taylor expansion of (- y z) in a
7.121 * [taylor]: Taking taylor expansion of y in a
7.121 * [backup-simplify]: Simplify y into y
7.121 * [taylor]: Taking taylor expansion of z in a
7.121 * [backup-simplify]: Simplify z into z
7.121 * [taylor]: Taking taylor expansion of x in a
7.121 * [backup-simplify]: Simplify x into x
7.121 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in x
7.121 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
7.121 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in x
7.122 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in x
7.122 * [taylor]: Taking taylor expansion of (- t x) in x
7.122 * [taylor]: Taking taylor expansion of t in x
7.122 * [backup-simplify]: Simplify t into t
7.122 * [taylor]: Taking taylor expansion of x in x
7.122 * [backup-simplify]: Simplify 0 into 0
7.122 * [backup-simplify]: Simplify 1 into 1
7.122 * [taylor]: Taking taylor expansion of (- a z) in x
7.122 * [taylor]: Taking taylor expansion of a in x
7.122 * [backup-simplify]: Simplify a into a
7.122 * [taylor]: Taking taylor expansion of z in x
7.122 * [backup-simplify]: Simplify z into z
7.122 * [backup-simplify]: Simplify (- 0) into 0
7.122 * [backup-simplify]: Simplify (+ t 0) into t
7.122 * [backup-simplify]: Simplify (- z) into (- z)
7.122 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.122 * [backup-simplify]: Simplify (/ t (- a z)) into (/ t (- a z))
7.122 * [taylor]: Taking taylor expansion of (- y z) in x
7.122 * [taylor]: Taking taylor expansion of y in x
7.122 * [backup-simplify]: Simplify y into y
7.122 * [taylor]: Taking taylor expansion of z in x
7.122 * [backup-simplify]: Simplify z into z
7.122 * [taylor]: Taking taylor expansion of x in x
7.122 * [backup-simplify]: Simplify 0 into 0
7.122 * [backup-simplify]: Simplify 1 into 1
7.122 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in t
7.122 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
7.122 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in t
7.122 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in t
7.122 * [taylor]: Taking taylor expansion of (- t x) in t
7.122 * [taylor]: Taking taylor expansion of t in t
7.122 * [backup-simplify]: Simplify 0 into 0
7.122 * [backup-simplify]: Simplify 1 into 1
7.123 * [taylor]: Taking taylor expansion of x in t
7.123 * [backup-simplify]: Simplify x into x
7.123 * [taylor]: Taking taylor expansion of (- a z) in t
7.123 * [taylor]: Taking taylor expansion of a in t
7.123 * [backup-simplify]: Simplify a into a
7.123 * [taylor]: Taking taylor expansion of z in t
7.123 * [backup-simplify]: Simplify z into z
7.123 * [backup-simplify]: Simplify (- x) into (- x)
7.123 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
7.123 * [backup-simplify]: Simplify (- z) into (- z)
7.123 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.123 * [backup-simplify]: Simplify (/ (- x) (- a z)) into (* -1 (/ x (- a z)))
7.123 * [taylor]: Taking taylor expansion of (- y z) in t
7.123 * [taylor]: Taking taylor expansion of y in t
7.123 * [backup-simplify]: Simplify y into y
7.123 * [taylor]: Taking taylor expansion of z in t
7.123 * [backup-simplify]: Simplify z into z
7.123 * [taylor]: Taking taylor expansion of x in t
7.123 * [backup-simplify]: Simplify x into x
7.123 * [taylor]: Taking taylor expansion of (fma (/ (- t x) (- a z)) (- y z) x) in t
7.123 * [taylor]: Rewrote expression to (+ (* (/ (- t x) (- a z)) (- y z)) x)
7.123 * [taylor]: Taking taylor expansion of (* (/ (- t x) (- a z)) (- y z)) in t
7.123 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in t
7.123 * [taylor]: Taking taylor expansion of (- t x) in t
7.123 * [taylor]: Taking taylor expansion of t in t
7.123 * [backup-simplify]: Simplify 0 into 0
7.123 * [backup-simplify]: Simplify 1 into 1
7.123 * [taylor]: Taking taylor expansion of x in t
7.123 * [backup-simplify]: Simplify x into x
7.123 * [taylor]: Taking taylor expansion of (- a z) in t
7.123 * [taylor]: Taking taylor expansion of a in t
7.123 * [backup-simplify]: Simplify a into a
7.123 * [taylor]: Taking taylor expansion of z in t
7.123 * [backup-simplify]: Simplify z into z
7.123 * [backup-simplify]: Simplify (- x) into (- x)
7.123 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
7.123 * [backup-simplify]: Simplify (- z) into (- z)
7.123 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.123 * [backup-simplify]: Simplify (/ (- x) (- a z)) into (* -1 (/ x (- a z)))
7.123 * [taylor]: Taking taylor expansion of (- y z) in t
7.123 * [taylor]: Taking taylor expansion of y in t
7.123 * [backup-simplify]: Simplify y into y
7.123 * [taylor]: Taking taylor expansion of z in t
7.123 * [backup-simplify]: Simplify z into z
7.123 * [taylor]: Taking taylor expansion of x in t
7.124 * [backup-simplify]: Simplify x into x
7.124 * [backup-simplify]: Simplify (- z) into (- z)
7.124 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
7.124 * [backup-simplify]: Simplify (* (* -1 (/ x (- a z))) (- y z)) into (* -1 (/ (* (- y z) x) (- a z)))
7.124 * [backup-simplify]: Simplify (+ (* -1 (/ (* (- y z) x) (- a z))) x) into (- (+ (/ (* x z) (- a z)) x) (/ (* x y) (- a z)))
7.124 * [taylor]: Taking taylor expansion of (- (+ (/ (* x z) (- a z)) x) (/ (* x y) (- a z))) in x
7.124 * [taylor]: Taking taylor expansion of (+ (/ (* x z) (- a z)) x) in x
7.124 * [taylor]: Taking taylor expansion of (/ (* x z) (- a z)) in x
7.124 * [taylor]: Taking taylor expansion of (* x z) in x
7.124 * [taylor]: Taking taylor expansion of x in x
7.124 * [backup-simplify]: Simplify 0 into 0
7.124 * [backup-simplify]: Simplify 1 into 1
7.124 * [taylor]: Taking taylor expansion of z in x
7.124 * [backup-simplify]: Simplify z into z
7.124 * [taylor]: Taking taylor expansion of (- a z) in x
7.124 * [taylor]: Taking taylor expansion of a in x
7.124 * [backup-simplify]: Simplify a into a
7.124 * [taylor]: Taking taylor expansion of z in x
7.124 * [backup-simplify]: Simplify z into z
7.124 * [backup-simplify]: Simplify (* 0 z) into 0
7.124 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
7.124 * [backup-simplify]: Simplify (- z) into (- z)
7.125 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.125 * [backup-simplify]: Simplify (/ z (- a z)) into (/ z (- a z))
7.125 * [taylor]: Taking taylor expansion of x in x
7.125 * [backup-simplify]: Simplify 0 into 0
7.125 * [backup-simplify]: Simplify 1 into 1
7.125 * [taylor]: Taking taylor expansion of (/ (* x y) (- a z)) in x
7.125 * [taylor]: Taking taylor expansion of (* x y) in x
7.125 * [taylor]: Taking taylor expansion of x in x
7.125 * [backup-simplify]: Simplify 0 into 0
7.125 * [backup-simplify]: Simplify 1 into 1
7.125 * [taylor]: Taking taylor expansion of y in x
7.125 * [backup-simplify]: Simplify y into y
7.125 * [taylor]: Taking taylor expansion of (- a z) in x
7.125 * [taylor]: Taking taylor expansion of a in x
7.125 * [backup-simplify]: Simplify a into a
7.125 * [taylor]: Taking taylor expansion of z in x
7.125 * [backup-simplify]: Simplify z into z
7.125 * [backup-simplify]: Simplify (* 0 y) into 0
7.125 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
7.125 * [backup-simplify]: Simplify (- z) into (- z)
7.125 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.125 * [backup-simplify]: Simplify (/ y (- a z)) into (/ y (- a z))
7.126 * [backup-simplify]: Simplify (+ 0 0) into 0
7.126 * [backup-simplify]: Simplify (+ 0 0) into 0
7.126 * [taylor]: Taking taylor expansion of 0 in a
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [taylor]: Taking taylor expansion of 0 in z
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [taylor]: Taking taylor expansion of 0 in y
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [backup-simplify]: Simplify (- 0) into 0
7.126 * [backup-simplify]: Simplify (+ 0 0) into 0
7.127 * [backup-simplify]: Simplify (- 0) into 0
7.127 * [backup-simplify]: Simplify (+ 1 0) into 1
7.127 * [backup-simplify]: Simplify (- 0) into 0
7.127 * [backup-simplify]: Simplify (+ 0 0) into 0
7.128 * [backup-simplify]: Simplify (- (/ 1 (- a z)) (+ (* (* -1 (/ x (- a z))) (/ 0 (- a z))))) into (/ 1 (- a z))
7.128 * [backup-simplify]: Simplify (+ (* (* -1 (/ x (- a z))) 0) (* (/ 1 (- a z)) (- y z))) into (- (/ y (- a z)) (/ z (- a z)))
7.128 * [backup-simplify]: Simplify (+ (- (/ y (- a z)) (/ z (- a z))) 0) into (- (/ y (- a z)) (/ z (- a z)))
7.128 * [taylor]: Taking taylor expansion of (- (/ y (- a z)) (/ z (- a z))) in x
7.128 * [taylor]: Taking taylor expansion of (/ y (- a z)) in x
7.128 * [taylor]: Taking taylor expansion of y in x
7.128 * [backup-simplify]: Simplify y into y
7.128 * [taylor]: Taking taylor expansion of (- a z) in x
7.128 * [taylor]: Taking taylor expansion of a in x
7.128 * [backup-simplify]: Simplify a into a
7.128 * [taylor]: Taking taylor expansion of z in x
7.128 * [backup-simplify]: Simplify z into z
7.128 * [backup-simplify]: Simplify (- z) into (- z)
7.128 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.128 * [backup-simplify]: Simplify (/ y (- a z)) into (/ y (- a z))
7.128 * [taylor]: Taking taylor expansion of (/ z (- a z)) in x
7.128 * [taylor]: Taking taylor expansion of z in x
7.128 * [backup-simplify]: Simplify z into z
7.128 * [taylor]: Taking taylor expansion of (- a z) in x
7.128 * [taylor]: Taking taylor expansion of a in x
7.128 * [backup-simplify]: Simplify a into a
7.128 * [taylor]: Taking taylor expansion of z in x
7.128 * [backup-simplify]: Simplify z into z
7.128 * [backup-simplify]: Simplify (- z) into (- z)
7.128 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.128 * [backup-simplify]: Simplify (/ z (- a z)) into (/ z (- a z))
7.129 * [backup-simplify]: Simplify (- (/ z (- a z))) into (- (/ z (- a z)))
7.129 * [backup-simplify]: Simplify (+ (/ y (- a z)) (- (/ z (- a z)))) into (- (/ y (- a z)) (/ z (- a z)))
7.129 * [taylor]: Taking taylor expansion of (- (/ y (- a z)) (/ z (- a z))) in a
7.129 * [taylor]: Taking taylor expansion of (/ y (- a z)) in a
7.129 * [taylor]: Taking taylor expansion of y in a
7.129 * [backup-simplify]: Simplify y into y
7.129 * [taylor]: Taking taylor expansion of (- a z) in a
7.129 * [taylor]: Taking taylor expansion of a in a
7.129 * [backup-simplify]: Simplify 0 into 0
7.129 * [backup-simplify]: Simplify 1 into 1
7.129 * [taylor]: Taking taylor expansion of z in a
7.129 * [backup-simplify]: Simplify z into z
7.129 * [backup-simplify]: Simplify (- z) into (- z)
7.129 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.129 * [backup-simplify]: Simplify (/ y (- z)) into (* -1 (/ y z))
7.129 * [taylor]: Taking taylor expansion of (/ z (- a z)) in a
7.129 * [taylor]: Taking taylor expansion of z in a
7.129 * [backup-simplify]: Simplify z into z
7.129 * [taylor]: Taking taylor expansion of (- a z) in a
7.129 * [taylor]: Taking taylor expansion of a in a
7.129 * [backup-simplify]: Simplify 0 into 0
7.129 * [backup-simplify]: Simplify 1 into 1
7.129 * [taylor]: Taking taylor expansion of z in a
7.129 * [backup-simplify]: Simplify z into z
7.129 * [backup-simplify]: Simplify (- z) into (- z)
7.129 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.129 * [backup-simplify]: Simplify (/ z (- z)) into -1
7.129 * [backup-simplify]: Simplify (- -1) into 1
7.129 * [backup-simplify]: Simplify (+ (* -1 (/ y z)) 1) into (- 1 (/ y z))
7.129 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in z
7.130 * [taylor]: Taking taylor expansion of 1 in z
7.130 * [backup-simplify]: Simplify 1 into 1
7.130 * [taylor]: Taking taylor expansion of (/ y z) in z
7.130 * [taylor]: Taking taylor expansion of y in z
7.130 * [backup-simplify]: Simplify y into y
7.130 * [taylor]: Taking taylor expansion of z in z
7.130 * [backup-simplify]: Simplify 0 into 0
7.130 * [backup-simplify]: Simplify 1 into 1
7.130 * [backup-simplify]: Simplify (/ y 1) into y
7.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
7.131 * [backup-simplify]: Simplify (- 0) into 0
7.131 * [backup-simplify]: Simplify (+ 1 0) into 1
7.131 * [taylor]: Taking taylor expansion of 1 in y
7.131 * [backup-simplify]: Simplify 1 into 1
7.131 * [backup-simplify]: Simplify 1 into 1
7.131 * [backup-simplify]: Simplify (+ (/ z (- a z)) 1) into (+ (/ z (- a z)) 1)
7.132 * [backup-simplify]: Simplify (- (/ y (- a z))) into (- (/ y (- a z)))
7.132 * [backup-simplify]: Simplify (+ (+ (/ z (- a z)) 1) (- (/ y (- a z)))) into (- (+ (/ z (- a z)) 1) (/ y (- a z)))
7.132 * [taylor]: Taking taylor expansion of (- (+ (/ z (- a z)) 1) (/ y (- a z))) in a
7.132 * [taylor]: Taking taylor expansion of (+ (/ z (- a z)) 1) in a
7.132 * [taylor]: Taking taylor expansion of (/ z (- a z)) in a
7.132 * [taylor]: Taking taylor expansion of z in a
7.132 * [backup-simplify]: Simplify z into z
7.132 * [taylor]: Taking taylor expansion of (- a z) in a
7.132 * [taylor]: Taking taylor expansion of a in a
7.132 * [backup-simplify]: Simplify 0 into 0
7.132 * [backup-simplify]: Simplify 1 into 1
7.132 * [taylor]: Taking taylor expansion of z in a
7.132 * [backup-simplify]: Simplify z into z
7.132 * [backup-simplify]: Simplify (- z) into (- z)
7.132 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.132 * [backup-simplify]: Simplify (/ z (- z)) into -1
7.132 * [taylor]: Taking taylor expansion of 1 in a
7.132 * [backup-simplify]: Simplify 1 into 1
7.132 * [taylor]: Taking taylor expansion of (/ y (- a z)) in a
7.132 * [taylor]: Taking taylor expansion of y in a
7.132 * [backup-simplify]: Simplify y into y
7.133 * [taylor]: Taking taylor expansion of (- a z) in a
7.133 * [taylor]: Taking taylor expansion of a in a
7.133 * [backup-simplify]: Simplify 0 into 0
7.133 * [backup-simplify]: Simplify 1 into 1
7.133 * [taylor]: Taking taylor expansion of z in a
7.133 * [backup-simplify]: Simplify z into z
7.133 * [backup-simplify]: Simplify (- z) into (- z)
7.133 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.133 * [backup-simplify]: Simplify (/ y (- z)) into (* -1 (/ y z))
7.133 * [backup-simplify]: Simplify (+ -1 1) into 0
7.133 * [backup-simplify]: Simplify (- (* -1 (/ y z))) into (/ y z)
7.134 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z)
7.134 * [taylor]: Taking taylor expansion of (/ y z) in z
7.134 * [taylor]: Taking taylor expansion of y in z
7.134 * [backup-simplify]: Simplify y into y
7.134 * [taylor]: Taking taylor expansion of z in z
7.134 * [backup-simplify]: Simplify 0 into 0
7.134 * [backup-simplify]: Simplify 1 into 1
7.134 * [backup-simplify]: Simplify (/ y 1) into y
7.135 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
7.135 * [taylor]: Taking taylor expansion of 0 in y
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [taylor]: Taking taylor expansion of 0 in z
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [taylor]: Taking taylor expansion of 0 in y
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [taylor]: Taking taylor expansion of 0 in y
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify (- 0) into 0
7.136 * [backup-simplify]: Simplify (+ 0 0) into 0
7.136 * [backup-simplify]: Simplify (- 0) into 0
7.136 * [backup-simplify]: Simplify (+ 0 0) into 0
7.137 * [backup-simplify]: Simplify (- 0) into 0
7.137 * [backup-simplify]: Simplify (+ 0 0) into 0
7.138 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (* -1 (/ x (- a z))) (/ 0 (- a z))) (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0
7.138 * [backup-simplify]: Simplify (+ (* (* -1 (/ x (- a z))) 0) (+ (* (/ 1 (- a z)) 0) (* 0 (- y z)))) into 0
7.138 * [backup-simplify]: Simplify (+ 0 0) into 0
7.138 * [taylor]: Taking taylor expansion of 0 in x
7.138 * [backup-simplify]: Simplify 0 into 0
7.138 * [taylor]: Taking taylor expansion of 0 in a
7.138 * [backup-simplify]: Simplify 0 into 0
7.138 * [taylor]: Taking taylor expansion of 0 in z
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [taylor]: Taking taylor expansion of 0 in y
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify 0 into 0
7.139 * [backup-simplify]: Simplify (- 0) into 0
7.139 * [backup-simplify]: Simplify (+ 0 0) into 0
7.140 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ y (- a z)) (/ 0 (- a z))))) into 0
7.140 * [backup-simplify]: Simplify (- 0) into 0
7.140 * [backup-simplify]: Simplify (+ 0 0) into 0
7.141 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ z (- a z)) (/ 0 (- a z))))) into 0
7.141 * [backup-simplify]: Simplify (- 0) into 0
7.141 * [backup-simplify]: Simplify (+ 0 0) into 0
7.141 * [taylor]: Taking taylor expansion of 0 in a
7.142 * [backup-simplify]: Simplify 0 into 0
7.142 * [taylor]: Taking taylor expansion of 0 in z
7.142 * [backup-simplify]: Simplify 0 into 0
7.142 * [taylor]: Taking taylor expansion of 0 in y
7.142 * [backup-simplify]: Simplify 0 into 0
7.142 * [backup-simplify]: Simplify 0 into 0
7.142 * [backup-simplify]: Simplify (* 1 (* 1 (* 1 (* 1 (* 1 t))))) into t
7.142 * [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))
7.142 * [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
7.142 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in y
7.143 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
7.143 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in y
7.143 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in y
7.143 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y
7.143 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.143 * [taylor]: Taking taylor expansion of t in y
7.143 * [backup-simplify]: Simplify t into t
7.143 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.143 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.143 * [taylor]: Taking taylor expansion of x in y
7.143 * [backup-simplify]: Simplify x into x
7.143 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.143 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in y
7.143 * [taylor]: Taking taylor expansion of (/ 1 a) in y
7.143 * [taylor]: Taking taylor expansion of a in y
7.143 * [backup-simplify]: Simplify a into a
7.143 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.143 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.143 * [taylor]: Taking taylor expansion of z in y
7.143 * [backup-simplify]: Simplify z into z
7.143 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.143 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.143 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
7.144 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.144 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
7.144 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) into (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z)))
7.144 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y
7.144 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.144 * [taylor]: Taking taylor expansion of y in y
7.144 * [backup-simplify]: Simplify 0 into 0
7.144 * [backup-simplify]: Simplify 1 into 1
7.144 * [backup-simplify]: Simplify (/ 1 1) into 1
7.145 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.145 * [taylor]: Taking taylor expansion of z in y
7.145 * [backup-simplify]: Simplify z into z
7.145 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.145 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.145 * [taylor]: Taking taylor expansion of x in y
7.145 * [backup-simplify]: Simplify x into x
7.145 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.145 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in z
7.145 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
7.145 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in z
7.145 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in z
7.145 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z
7.145 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.145 * [taylor]: Taking taylor expansion of t in z
7.145 * [backup-simplify]: Simplify t into t
7.145 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.145 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.145 * [taylor]: Taking taylor expansion of x in z
7.145 * [backup-simplify]: Simplify x into x
7.145 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.145 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in z
7.145 * [taylor]: Taking taylor expansion of (/ 1 a) in z
7.145 * [taylor]: Taking taylor expansion of a in z
7.146 * [backup-simplify]: Simplify a into a
7.146 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.146 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.146 * [taylor]: Taking taylor expansion of z in z
7.146 * [backup-simplify]: Simplify 0 into 0
7.146 * [backup-simplify]: Simplify 1 into 1
7.146 * [backup-simplify]: Simplify (/ 1 1) into 1
7.146 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.146 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
7.146 * [backup-simplify]: Simplify (- 1) into -1
7.147 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.147 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) -1) into (* -1 (- (/ 1 t) (/ 1 x)))
7.147 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
7.147 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.147 * [taylor]: Taking taylor expansion of y in z
7.147 * [backup-simplify]: Simplify y into y
7.147 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.147 * [taylor]: Taking taylor expansion of z in z
7.147 * [backup-simplify]: Simplify 0 into 0
7.147 * [backup-simplify]: Simplify 1 into 1
7.147 * [backup-simplify]: Simplify (/ 1 1) into 1
7.147 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.147 * [taylor]: Taking taylor expansion of x in z
7.147 * [backup-simplify]: Simplify x into x
7.147 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.147 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in a
7.147 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
7.147 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in a
7.147 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in a
7.147 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in a
7.147 * [taylor]: Taking taylor expansion of (/ 1 t) in a
7.147 * [taylor]: Taking taylor expansion of t in a
7.148 * [backup-simplify]: Simplify t into t
7.148 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.148 * [taylor]: Taking taylor expansion of (/ 1 x) in a
7.148 * [taylor]: Taking taylor expansion of x in a
7.148 * [backup-simplify]: Simplify x into x
7.148 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.148 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a
7.148 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.148 * [taylor]: Taking taylor expansion of a in a
7.148 * [backup-simplify]: Simplify 0 into 0
7.148 * [backup-simplify]: Simplify 1 into 1
7.148 * [backup-simplify]: Simplify (/ 1 1) into 1
7.148 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.148 * [taylor]: Taking taylor expansion of z in a
7.148 * [backup-simplify]: Simplify z into z
7.148 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.148 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.148 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 x))) into (- (/ 1 t) (/ 1 x))
7.148 * [backup-simplify]: Simplify (+ 1 0) into 1
7.149 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 x)) 1) into (- (/ 1 t) (/ 1 x))
7.149 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in a
7.149 * [taylor]: Taking taylor expansion of (/ 1 y) in a
7.149 * [taylor]: Taking taylor expansion of y in a
7.149 * [backup-simplify]: Simplify y into y
7.149 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.149 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.149 * [taylor]: Taking taylor expansion of z in a
7.149 * [backup-simplify]: Simplify z into z
7.149 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.149 * [taylor]: Taking taylor expansion of (/ 1 x) in a
7.149 * [taylor]: Taking taylor expansion of x in a
7.149 * [backup-simplify]: Simplify x into x
7.149 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.149 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in x
7.149 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
7.149 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in x
7.149 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in x
7.149 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x
7.149 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.149 * [taylor]: Taking taylor expansion of t in x
7.149 * [backup-simplify]: Simplify t into t
7.149 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.149 * [taylor]: Taking taylor expansion of x in x
7.149 * [backup-simplify]: Simplify 0 into 0
7.149 * [backup-simplify]: Simplify 1 into 1
7.149 * [backup-simplify]: Simplify (/ 1 1) into 1
7.149 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
7.149 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.149 * [taylor]: Taking taylor expansion of a in x
7.150 * [backup-simplify]: Simplify a into a
7.150 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.150 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.150 * [taylor]: Taking taylor expansion of z in x
7.150 * [backup-simplify]: Simplify z into z
7.150 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.150 * [backup-simplify]: Simplify (- 1) into -1
7.150 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.150 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.150 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
7.150 * [backup-simplify]: Simplify (/ -1 (- (/ 1 a) (/ 1 z))) into (/ -1 (- (/ 1 a) (/ 1 z)))
7.150 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x
7.150 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.150 * [taylor]: Taking taylor expansion of y in x
7.150 * [backup-simplify]: Simplify y into y
7.150 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.151 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.151 * [taylor]: Taking taylor expansion of z in x
7.151 * [backup-simplify]: Simplify z into z
7.151 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.151 * [taylor]: Taking taylor expansion of x in x
7.151 * [backup-simplify]: Simplify 0 into 0
7.151 * [backup-simplify]: Simplify 1 into 1
7.151 * [backup-simplify]: Simplify (/ 1 1) into 1
7.151 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in t
7.151 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
7.151 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in t
7.151 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in t
7.151 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
7.151 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.151 * [taylor]: Taking taylor expansion of t in t
7.151 * [backup-simplify]: Simplify 0 into 0
7.151 * [backup-simplify]: Simplify 1 into 1
7.151 * [backup-simplify]: Simplify (/ 1 1) into 1
7.151 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.151 * [taylor]: Taking taylor expansion of x in t
7.151 * [backup-simplify]: Simplify x into x
7.152 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.152 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t
7.152 * [taylor]: Taking taylor expansion of (/ 1 a) in t
7.152 * [taylor]: Taking taylor expansion of a in t
7.152 * [backup-simplify]: Simplify a into a
7.152 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.152 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.152 * [taylor]: Taking taylor expansion of z in t
7.152 * [backup-simplify]: Simplify z into z
7.152 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.152 * [backup-simplify]: Simplify (+ 1 0) into 1
7.152 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.152 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
7.152 * [backup-simplify]: Simplify (/ 1 (- (/ 1 a) (/ 1 z))) into (/ 1 (- (/ 1 a) (/ 1 z)))
7.152 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
7.152 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.152 * [taylor]: Taking taylor expansion of y in t
7.152 * [backup-simplify]: Simplify y into y
7.152 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.152 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.152 * [taylor]: Taking taylor expansion of z in t
7.152 * [backup-simplify]: Simplify z into z
7.152 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.152 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.152 * [taylor]: Taking taylor expansion of x in t
7.152 * [backup-simplify]: Simplify x into x
7.152 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.153 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z)) (/ 1 x)) in t
7.153 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) (/ 1 x))
7.153 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) in t
7.153 * [taylor]: Taking taylor expansion of (/ (- (/ 1 t) (/ 1 x)) (- (/ 1 a) (/ 1 z))) in t
7.153 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t
7.153 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.153 * [taylor]: Taking taylor expansion of t in t
7.153 * [backup-simplify]: Simplify 0 into 0
7.153 * [backup-simplify]: Simplify 1 into 1
7.153 * [backup-simplify]: Simplify (/ 1 1) into 1
7.153 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.153 * [taylor]: Taking taylor expansion of x in t
7.153 * [backup-simplify]: Simplify x into x
7.153 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.153 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in t
7.153 * [taylor]: Taking taylor expansion of (/ 1 a) in t
7.153 * [taylor]: Taking taylor expansion of a in t
7.153 * [backup-simplify]: Simplify a into a
7.153 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.153 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.153 * [taylor]: Taking taylor expansion of z in t
7.153 * [backup-simplify]: Simplify z into z
7.153 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.154 * [backup-simplify]: Simplify (+ 1 0) into 1
7.154 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.154 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
7.154 * [backup-simplify]: Simplify (/ 1 (- (/ 1 a) (/ 1 z))) into (/ 1 (- (/ 1 a) (/ 1 z)))
7.154 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t
7.154 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.154 * [taylor]: Taking taylor expansion of y in t
7.154 * [backup-simplify]: Simplify y into y
7.154 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.154 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.154 * [taylor]: Taking taylor expansion of z in t
7.154 * [backup-simplify]: Simplify z into z
7.154 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.154 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.154 * [taylor]: Taking taylor expansion of x in t
7.154 * [backup-simplify]: Simplify x into x
7.154 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.154 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.154 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
7.154 * [backup-simplify]: Simplify (* (/ 1 (- (/ 1 a) (/ 1 z))) (- (/ 1 y) (/ 1 z))) into (/ (- (/ 1 y) (/ 1 z)) (- (/ 1 a) (/ 1 z)))
7.155 * [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)))))
7.155 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (/ 1 (* z (- (/ 1 a) (/ 1 z))))) in x
7.155 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 a) (/ 1 z)))) in x
7.155 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in x
7.155 * [taylor]: Taking taylor expansion of y in x
7.155 * [backup-simplify]: Simplify y into y
7.155 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
7.155 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.155 * [taylor]: Taking taylor expansion of a in x
7.155 * [backup-simplify]: Simplify a into a
7.155 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.155 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.155 * [taylor]: Taking taylor expansion of z in x
7.155 * [backup-simplify]: Simplify z into z
7.155 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.155 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.155 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
7.155 * [backup-simplify]: Simplify (* y (- (/ 1 a) (/ 1 z))) into (* y (- (/ 1 a) (/ 1 z)))
7.155 * [backup-simplify]: Simplify (/ 1 (* y (- (/ 1 a) (/ 1 z)))) into (/ 1 (* y (- (/ 1 a) (/ 1 z))))
7.155 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (/ 1 a) (/ 1 z)))) in x
7.155 * [taylor]: Taking taylor expansion of (* z (- (/ 1 a) (/ 1 z))) in x
7.155 * [taylor]: Taking taylor expansion of z in x
7.155 * [backup-simplify]: Simplify z into z
7.155 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
7.155 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.155 * [taylor]: Taking taylor expansion of a in x
7.155 * [backup-simplify]: Simplify a into a
7.155 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.155 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.155 * [taylor]: Taking taylor expansion of z in x
7.155 * [backup-simplify]: Simplify z into z
7.155 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.155 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.155 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
7.156 * [backup-simplify]: Simplify (* z (- (/ 1 a) (/ 1 z))) into (* z (- (/ 1 a) (/ 1 z)))
7.156 * [backup-simplify]: Simplify (/ 1 (* z (- (/ 1 a) (/ 1 z)))) into (/ 1 (* z (- (/ 1 a) (/ 1 z))))
7.156 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.156 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.156 * [backup-simplify]: Simplify (- 0) into 0
7.156 * [backup-simplify]: Simplify (+ 0 0) into 0
7.157 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.157 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
7.157 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
7.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.157 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.157 * [backup-simplify]: Simplify (- 0) into 0
7.158 * [backup-simplify]: Simplify (+ 0 0) into 0
7.158 * [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)))))
7.158 * [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))))))
7.158 * [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))))))
7.158 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) (/ 1 (* x (* z (- (/ 1 a) (/ 1 z)))))) (/ 1 (* x (* y (- (/ 1 a) (/ 1 z)))))) in x
7.158 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x (* z (- (/ 1 a) (/ 1 z)))))) in x
7.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.158 * [taylor]: Taking taylor expansion of x in x
7.158 * [backup-simplify]: Simplify 0 into 0
7.158 * [backup-simplify]: Simplify 1 into 1
7.159 * [backup-simplify]: Simplify (/ 1 1) into 1
7.159 * [taylor]: Taking taylor expansion of (/ 1 (* x (* z (- (/ 1 a) (/ 1 z))))) in x
7.159 * [taylor]: Taking taylor expansion of (* x (* z (- (/ 1 a) (/ 1 z)))) in x
7.159 * [taylor]: Taking taylor expansion of x in x
7.159 * [backup-simplify]: Simplify 0 into 0
7.159 * [backup-simplify]: Simplify 1 into 1
7.159 * [taylor]: Taking taylor expansion of (* z (- (/ 1 a) (/ 1 z))) in x
7.159 * [taylor]: Taking taylor expansion of z in x
7.159 * [backup-simplify]: Simplify z into z
7.159 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
7.159 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.159 * [taylor]: Taking taylor expansion of a in x
7.159 * [backup-simplify]: Simplify a into a
7.159 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.159 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.159 * [taylor]: Taking taylor expansion of z in x
7.159 * [backup-simplify]: Simplify z into z
7.159 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.159 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.159 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
7.160 * [backup-simplify]: Simplify (* z (- (/ 1 a) (/ 1 z))) into (* z (- (/ 1 a) (/ 1 z)))
7.160 * [backup-simplify]: Simplify (* 0 (* z (- (/ 1 a) (/ 1 z)))) into 0
7.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.160 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.160 * [backup-simplify]: Simplify (- 0) into 0
7.160 * [backup-simplify]: Simplify (+ 0 0) into 0
7.160 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (- (/ 1 a) (/ 1 z)))) into 0
7.161 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* z (- (/ 1 a) (/ 1 z))))) into (- (/ z a) 1)
7.161 * [backup-simplify]: Simplify (/ 1 (- (/ z a) 1)) into (/ 1 (- (/ z a) 1))
7.161 * [taylor]: Taking taylor expansion of (/ 1 (* x (* y (- (/ 1 a) (/ 1 z))))) in x
7.161 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 a) (/ 1 z)))) in x
7.161 * [taylor]: Taking taylor expansion of x in x
7.161 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify 1 into 1
7.161 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in x
7.161 * [taylor]: Taking taylor expansion of y in x
7.161 * [backup-simplify]: Simplify y into y
7.161 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in x
7.161 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.161 * [taylor]: Taking taylor expansion of a in x
7.161 * [backup-simplify]: Simplify a into a
7.161 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.161 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.161 * [taylor]: Taking taylor expansion of z in x
7.161 * [backup-simplify]: Simplify z into z
7.161 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.161 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.162 * [backup-simplify]: Simplify (+ (/ 1 a) (- (/ 1 z))) into (- (/ 1 a) (/ 1 z))
7.162 * [backup-simplify]: Simplify (* y (- (/ 1 a) (/ 1 z))) into (* y (- (/ 1 a) (/ 1 z)))
7.162 * [backup-simplify]: Simplify (* 0 (* y (- (/ 1 a) (/ 1 z)))) into 0
7.162 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.162 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.162 * [backup-simplify]: Simplify (- 0) into 0
7.162 * [backup-simplify]: Simplify (+ 0 0) into 0
7.163 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 a) (/ 1 z)))) into 0
7.163 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* y (- (/ 1 a) (/ 1 z))))) into (- (/ y a) (/ y z))
7.163 * [backup-simplify]: Simplify (/ 1 (- (/ y a) (/ y z))) into (/ 1 (- (/ y a) (/ y z)))
7.163 * [backup-simplify]: Simplify (+ 1 (/ 1 (- (/ z a) 1))) into (+ (/ 1 (- (/ z a) 1)) 1)
7.163 * [backup-simplify]: Simplify (- (/ 1 (- (/ y a) (/ y z)))) into (- (/ 1 (- (/ y a) (/ y z))))
7.163 * [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.163 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (- (/ z a) 1)) 1) (/ 1 (- (/ y a) (/ y z)))) in a
7.163 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (/ z a) 1)) 1) in a
7.163 * [taylor]: Taking taylor expansion of (/ 1 (- (/ z a) 1)) in a
7.163 * [taylor]: Taking taylor expansion of (- (/ z a) 1) in a
7.163 * [taylor]: Taking taylor expansion of (/ z a) in a
7.163 * [taylor]: Taking taylor expansion of z in a
7.164 * [backup-simplify]: Simplify z into z
7.164 * [taylor]: Taking taylor expansion of a in a
7.164 * [backup-simplify]: Simplify 0 into 0
7.164 * [backup-simplify]: Simplify 1 into 1
7.164 * [backup-simplify]: Simplify (/ z 1) into z
7.164 * [taylor]: Taking taylor expansion of 1 in a
7.164 * [backup-simplify]: Simplify 1 into 1
7.164 * [backup-simplify]: Simplify (+ z 0) into z
7.164 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.164 * [taylor]: Taking taylor expansion of 1 in a
7.164 * [backup-simplify]: Simplify 1 into 1
7.164 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y a) (/ y z))) in a
7.164 * [taylor]: Taking taylor expansion of (- (/ y a) (/ y z)) in a
7.164 * [taylor]: Taking taylor expansion of (/ y a) in a
7.164 * [taylor]: Taking taylor expansion of y in a
7.164 * [backup-simplify]: Simplify y into y
7.164 * [taylor]: Taking taylor expansion of a in a
7.164 * [backup-simplify]: Simplify 0 into 0
7.164 * [backup-simplify]: Simplify 1 into 1
7.164 * [backup-simplify]: Simplify (/ y 1) into y
7.164 * [taylor]: Taking taylor expansion of (/ y z) in a
7.164 * [taylor]: Taking taylor expansion of y in a
7.164 * [backup-simplify]: Simplify y into y
7.164 * [taylor]: Taking taylor expansion of z in a
7.164 * [backup-simplify]: Simplify z into z
7.164 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.164 * [backup-simplify]: Simplify (+ y 0) into y
7.164 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.164 * [backup-simplify]: Simplify (+ 0 1) into 1
7.165 * [backup-simplify]: Simplify (+ 1 0) into 1
7.165 * [taylor]: Taking taylor expansion of 1 in z
7.165 * [backup-simplify]: Simplify 1 into 1
7.165 * [taylor]: Taking taylor expansion of 1 in y
7.165 * [backup-simplify]: Simplify 1 into 1
7.165 * [backup-simplify]: Simplify (- (/ 1 (* z (- (/ 1 a) (/ 1 z))))) into (- (/ 1 (* z (- (/ 1 a) (/ 1 z)))))
7.165 * [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.165 * [taylor]: Taking taylor expansion of (- (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (/ 1 (* z (- (/ 1 a) (/ 1 z))))) in a
7.165 * [taylor]: Taking taylor expansion of (/ 1 (* y (- (/ 1 a) (/ 1 z)))) in a
7.165 * [taylor]: Taking taylor expansion of (* y (- (/ 1 a) (/ 1 z))) in a
7.165 * [taylor]: Taking taylor expansion of y in a
7.165 * [backup-simplify]: Simplify y into y
7.165 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a
7.165 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.165 * [taylor]: Taking taylor expansion of a in a
7.165 * [backup-simplify]: Simplify 0 into 0
7.165 * [backup-simplify]: Simplify 1 into 1
7.165 * [backup-simplify]: Simplify (/ 1 1) into 1
7.165 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.165 * [taylor]: Taking taylor expansion of z in a
7.166 * [backup-simplify]: Simplify z into z
7.166 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.166 * [backup-simplify]: Simplify (+ 1 0) into 1
7.166 * [backup-simplify]: Simplify (* y 1) into y
7.166 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.166 * [taylor]: Taking taylor expansion of (/ 1 (* z (- (/ 1 a) (/ 1 z)))) in a
7.166 * [taylor]: Taking taylor expansion of (* z (- (/ 1 a) (/ 1 z))) in a
7.166 * [taylor]: Taking taylor expansion of z in a
7.166 * [backup-simplify]: Simplify z into z
7.166 * [taylor]: Taking taylor expansion of (- (/ 1 a) (/ 1 z)) in a
7.166 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.166 * [taylor]: Taking taylor expansion of a in a
7.166 * [backup-simplify]: Simplify 0 into 0
7.166 * [backup-simplify]: Simplify 1 into 1
7.166 * [backup-simplify]: Simplify (/ 1 1) into 1
7.166 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.166 * [taylor]: Taking taylor expansion of z in a
7.166 * [backup-simplify]: Simplify z into z
7.166 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.167 * [backup-simplify]: Simplify (+ 1 0) into 1
7.167 * [backup-simplify]: Simplify (* z 1) into z
7.167 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.167 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.167 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.167 * [backup-simplify]: Simplify (- 0) into 0
7.167 * [backup-simplify]: Simplify (+ 0 0) into 0
7.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.168 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.168 * [backup-simplify]: Simplify (- 0) into 0
7.169 * [backup-simplify]: Simplify (+ 0 0) into 0
7.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.169 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.169 * [backup-simplify]: Simplify (- 0) into 0
7.169 * [backup-simplify]: Simplify (+ 0 0) into 0
7.170 * [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.170 * [backup-simplify]: Simplify (+ (* (/ 1 (- (/ 1 a) (/ 1 z))) 0) (+ (* (- (/ 1 (* x (- (/ 1 a) (/ 1 z))))) 0) (* 0 (- (/ 1 y) (/ 1 z))))) into 0
7.170 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.170 * [backup-simplify]: Simplify (+ 0 0) into 0
7.170 * [taylor]: Taking taylor expansion of 0 in x
7.170 * [backup-simplify]: Simplify 0 into 0
7.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.171 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.171 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.171 * [backup-simplify]: Simplify (- 0) into 0
7.171 * [backup-simplify]: Simplify (+ 0 0) into 0
7.172 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 (- (/ 1 a) (/ 1 z))))) into 0
7.172 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* z (- (/ 1 a) (/ 1 z)))))) into 0
7.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (/ z a) 1)) (/ 0 (- (/ z a) 1))))) into 0
7.173 * [backup-simplify]: Simplify (+ 0 0) into 0
7.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.173 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.173 * [backup-simplify]: Simplify (- 0) into 0
7.173 * [backup-simplify]: Simplify (+ 0 0) into 0
7.174 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 a) (/ 1 z))))) into 0
7.175 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* y (- (/ 1 a) (/ 1 z)))))) into 0
7.175 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (/ y a) (/ y z))) (/ 0 (- (/ y a) (/ y z)))))) into 0
7.175 * [backup-simplify]: Simplify (- 0) into 0
7.176 * [backup-simplify]: Simplify (+ 0 0) into 0
7.176 * [taylor]: Taking taylor expansion of 0 in a
7.176 * [backup-simplify]: Simplify 0 into 0
7.176 * [taylor]: Taking taylor expansion of 0 in z
7.176 * [backup-simplify]: Simplify 0 into 0
7.176 * [taylor]: Taking taylor expansion of 0 in y
7.176 * [backup-simplify]: Simplify 0 into 0
7.176 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.176 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.177 * [backup-simplify]: Simplify (- 0) into 0
7.177 * [backup-simplify]: Simplify (+ 0 0) into 0
7.177 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 a) (/ 1 z)))) into 0
7.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* y (- (/ 1 a) (/ 1 z)))) (/ 0 (* y (- (/ 1 a) (/ 1 z))))))) into 0
7.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.178 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.178 * [backup-simplify]: Simplify (- 0) into 0
7.178 * [backup-simplify]: Simplify (+ 0 0) into 0
7.179 * [backup-simplify]: Simplify (+ (* z 0) (* 0 (- (/ 1 a) (/ 1 z)))) into 0
7.179 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* z (- (/ 1 a) (/ 1 z)))) (/ 0 (* z (- (/ 1 a) (/ 1 z))))))) into 0
7.179 * [backup-simplify]: Simplify (- 0) into 0
7.180 * [backup-simplify]: Simplify (+ 0 0) into 0
7.180 * [taylor]: Taking taylor expansion of 0 in a
7.180 * [backup-simplify]: Simplify 0 into 0
7.180 * [taylor]: Taking taylor expansion of 0 in z
7.180 * [backup-simplify]: Simplify 0 into 0
7.180 * [taylor]: Taking taylor expansion of 0 in y
7.180 * [backup-simplify]: Simplify 0 into 0
7.180 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z)
7.180 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.180 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
7.180 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
7.180 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.180 * [taylor]: Taking taylor expansion of z in z
7.180 * [backup-simplify]: Simplify 0 into 0
7.180 * [backup-simplify]: Simplify 1 into 1
7.181 * [backup-simplify]: Simplify (/ 1 1) into 1
7.181 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.181 * [taylor]: Taking taylor expansion of y in z
7.181 * [backup-simplify]: Simplify y into y
7.181 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.182 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.182 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
7.182 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.182 * [taylor]: Taking taylor expansion of y in y
7.182 * [backup-simplify]: Simplify 0 into 0
7.182 * [backup-simplify]: Simplify 1 into 1
7.182 * [backup-simplify]: Simplify (/ 1 1) into 1
7.183 * [backup-simplify]: Simplify (- 1) into -1
7.183 * [backup-simplify]: Simplify -1 into -1
7.183 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
7.183 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
7.183 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
7.183 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.183 * [taylor]: Taking taylor expansion of y in z
7.183 * [backup-simplify]: Simplify y into y
7.183 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.183 * [taylor]: Taking taylor expansion of z in z
7.183 * [backup-simplify]: Simplify 0 into 0
7.183 * [backup-simplify]: Simplify 1 into 1
7.184 * [backup-simplify]: Simplify (/ 1 1) into 1
7.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.185 * [backup-simplify]: Simplify (- 0) into 0
7.185 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.185 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.185 * [taylor]: Taking taylor expansion of y in y
7.185 * [backup-simplify]: Simplify 0 into 0
7.185 * [backup-simplify]: Simplify 1 into 1
7.185 * [backup-simplify]: Simplify (/ 1 1) into 1
7.185 * [backup-simplify]: Simplify 1 into 1
7.185 * [taylor]: Taking taylor expansion of 0 in y
7.185 * [backup-simplify]: Simplify 0 into 0
7.186 * [backup-simplify]: Simplify 1 into 1
7.186 * [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.187 * [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.187 * [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.187 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in y
7.187 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.187 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in y
7.187 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in y
7.187 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y
7.187 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.187 * [taylor]: Taking taylor expansion of x in y
7.187 * [backup-simplify]: Simplify x into x
7.188 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.188 * [taylor]: Taking taylor expansion of (/ 1 t) in y
7.188 * [taylor]: Taking taylor expansion of t in y
7.188 * [backup-simplify]: Simplify t into t
7.188 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.188 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in y
7.188 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.188 * [taylor]: Taking taylor expansion of z in y
7.188 * [backup-simplify]: Simplify z into z
7.188 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.188 * [taylor]: Taking taylor expansion of (/ 1 a) in y
7.188 * [taylor]: Taking taylor expansion of a in y
7.188 * [backup-simplify]: Simplify a into a
7.188 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.188 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
7.188 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
7.188 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.188 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.189 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) into (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a)))
7.189 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y
7.189 * [taylor]: Taking taylor expansion of (/ 1 z) in y
7.189 * [taylor]: Taking taylor expansion of z in y
7.189 * [backup-simplify]: Simplify z into z
7.189 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.189 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.189 * [taylor]: Taking taylor expansion of y in y
7.189 * [backup-simplify]: Simplify 0 into 0
7.189 * [backup-simplify]: Simplify 1 into 1
7.189 * [backup-simplify]: Simplify (/ 1 1) into 1
7.190 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.190 * [taylor]: Taking taylor expansion of -1 in y
7.190 * [backup-simplify]: Simplify -1 into -1
7.190 * [taylor]: Taking taylor expansion of x in y
7.190 * [backup-simplify]: Simplify x into x
7.190 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.190 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in z
7.190 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.190 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in z
7.190 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in z
7.190 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z
7.190 * [taylor]: Taking taylor expansion of (/ 1 x) in z
7.190 * [taylor]: Taking taylor expansion of x in z
7.190 * [backup-simplify]: Simplify x into x
7.190 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.190 * [taylor]: Taking taylor expansion of (/ 1 t) in z
7.190 * [taylor]: Taking taylor expansion of t in z
7.190 * [backup-simplify]: Simplify t into t
7.190 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.190 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in z
7.190 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.190 * [taylor]: Taking taylor expansion of z in z
7.190 * [backup-simplify]: Simplify 0 into 0
7.190 * [backup-simplify]: Simplify 1 into 1
7.190 * [backup-simplify]: Simplify (/ 1 1) into 1
7.190 * [taylor]: Taking taylor expansion of (/ 1 a) in z
7.190 * [taylor]: Taking taylor expansion of a in z
7.190 * [backup-simplify]: Simplify a into a
7.191 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.191 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
7.191 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
7.191 * [backup-simplify]: Simplify (+ 1 0) into 1
7.191 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 t)) 1) into (- (/ 1 x) (/ 1 t))
7.191 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
7.191 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.191 * [taylor]: Taking taylor expansion of z in z
7.191 * [backup-simplify]: Simplify 0 into 0
7.191 * [backup-simplify]: Simplify 1 into 1
7.191 * [backup-simplify]: Simplify (/ 1 1) into 1
7.191 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.191 * [taylor]: Taking taylor expansion of y in z
7.191 * [backup-simplify]: Simplify y into y
7.191 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.192 * [taylor]: Taking taylor expansion of (/ -1 x) in z
7.192 * [taylor]: Taking taylor expansion of -1 in z
7.192 * [backup-simplify]: Simplify -1 into -1
7.192 * [taylor]: Taking taylor expansion of x in z
7.192 * [backup-simplify]: Simplify x into x
7.192 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.192 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in a
7.192 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.192 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in a
7.192 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in a
7.192 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in a
7.192 * [taylor]: Taking taylor expansion of (/ 1 x) in a
7.192 * [taylor]: Taking taylor expansion of x in a
7.192 * [backup-simplify]: Simplify x into x
7.192 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.192 * [taylor]: Taking taylor expansion of (/ 1 t) in a
7.192 * [taylor]: Taking taylor expansion of t in a
7.192 * [backup-simplify]: Simplify t into t
7.192 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.192 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a
7.192 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.192 * [taylor]: Taking taylor expansion of z in a
7.192 * [backup-simplify]: Simplify z into z
7.192 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.192 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.192 * [taylor]: Taking taylor expansion of a in a
7.192 * [backup-simplify]: Simplify 0 into 0
7.192 * [backup-simplify]: Simplify 1 into 1
7.192 * [backup-simplify]: Simplify (/ 1 1) into 1
7.192 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
7.193 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 t))) into (- (/ 1 x) (/ 1 t))
7.193 * [backup-simplify]: Simplify (- 1) into -1
7.193 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.193 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 t)) -1) into (* -1 (- (/ 1 x) (/ 1 t)))
7.193 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in a
7.193 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.193 * [taylor]: Taking taylor expansion of z in a
7.193 * [backup-simplify]: Simplify z into z
7.193 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.193 * [taylor]: Taking taylor expansion of (/ 1 y) in a
7.193 * [taylor]: Taking taylor expansion of y in a
7.193 * [backup-simplify]: Simplify y into y
7.193 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.193 * [taylor]: Taking taylor expansion of (/ -1 x) in a
7.193 * [taylor]: Taking taylor expansion of -1 in a
7.193 * [backup-simplify]: Simplify -1 into -1
7.193 * [taylor]: Taking taylor expansion of x in a
7.193 * [backup-simplify]: Simplify x into x
7.193 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.193 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in x
7.194 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.194 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in x
7.194 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in x
7.194 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x
7.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.194 * [taylor]: Taking taylor expansion of x in x
7.194 * [backup-simplify]: Simplify 0 into 0
7.194 * [backup-simplify]: Simplify 1 into 1
7.194 * [backup-simplify]: Simplify (/ 1 1) into 1
7.194 * [taylor]: Taking taylor expansion of (/ 1 t) in x
7.194 * [taylor]: Taking taylor expansion of t in x
7.194 * [backup-simplify]: Simplify t into t
7.194 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
7.194 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.194 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.194 * [taylor]: Taking taylor expansion of z in x
7.194 * [backup-simplify]: Simplify z into z
7.194 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.194 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.194 * [taylor]: Taking taylor expansion of a in x
7.194 * [backup-simplify]: Simplify a into a
7.194 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.195 * [backup-simplify]: Simplify (+ 1 0) into 1
7.195 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.195 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.195 * [backup-simplify]: Simplify (/ 1 (- (/ 1 z) (/ 1 a))) into (/ 1 (- (/ 1 z) (/ 1 a)))
7.195 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x
7.195 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.195 * [taylor]: Taking taylor expansion of z in x
7.195 * [backup-simplify]: Simplify z into z
7.195 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.195 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.195 * [taylor]: Taking taylor expansion of y in x
7.195 * [backup-simplify]: Simplify y into y
7.195 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.195 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.195 * [taylor]: Taking taylor expansion of -1 in x
7.195 * [backup-simplify]: Simplify -1 into -1
7.195 * [taylor]: Taking taylor expansion of x in x
7.195 * [backup-simplify]: Simplify 0 into 0
7.195 * [backup-simplify]: Simplify 1 into 1
7.195 * [backup-simplify]: Simplify (/ -1 1) into -1
7.195 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in t
7.195 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.196 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in t
7.196 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in t
7.196 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
7.196 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.196 * [taylor]: Taking taylor expansion of x in t
7.196 * [backup-simplify]: Simplify x into x
7.196 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.196 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.196 * [taylor]: Taking taylor expansion of t in t
7.196 * [backup-simplify]: Simplify 0 into 0
7.196 * [backup-simplify]: Simplify 1 into 1
7.196 * [backup-simplify]: Simplify (/ 1 1) into 1
7.196 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t
7.196 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.196 * [taylor]: Taking taylor expansion of z in t
7.196 * [backup-simplify]: Simplify z into z
7.196 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.196 * [taylor]: Taking taylor expansion of (/ 1 a) in t
7.196 * [taylor]: Taking taylor expansion of a in t
7.196 * [backup-simplify]: Simplify a into a
7.196 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.196 * [backup-simplify]: Simplify (- 1) into -1
7.197 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.197 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.197 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.197 * [backup-simplify]: Simplify (/ -1 (- (/ 1 z) (/ 1 a))) into (/ -1 (- (/ 1 z) (/ 1 a)))
7.197 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
7.197 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.197 * [taylor]: Taking taylor expansion of z in t
7.197 * [backup-simplify]: Simplify z into z
7.197 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.197 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.197 * [taylor]: Taking taylor expansion of y in t
7.197 * [backup-simplify]: Simplify y into y
7.197 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.197 * [taylor]: Taking taylor expansion of (/ -1 x) in t
7.197 * [taylor]: Taking taylor expansion of -1 in t
7.197 * [backup-simplify]: Simplify -1 into -1
7.197 * [taylor]: Taking taylor expansion of x in t
7.197 * [backup-simplify]: Simplify x into x
7.197 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.197 * [taylor]: Taking taylor expansion of (fma (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y)) (/ -1 x)) in t
7.198 * [taylor]: Rewrote expression to (+ (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) (/ -1 x))
7.198 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) in t
7.198 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 a))) in t
7.198 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t
7.198 * [taylor]: Taking taylor expansion of (/ 1 x) in t
7.198 * [taylor]: Taking taylor expansion of x in t
7.198 * [backup-simplify]: Simplify x into x
7.198 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.198 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.198 * [taylor]: Taking taylor expansion of t in t
7.198 * [backup-simplify]: Simplify 0 into 0
7.198 * [backup-simplify]: Simplify 1 into 1
7.198 * [backup-simplify]: Simplify (/ 1 1) into 1
7.198 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in t
7.198 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.198 * [taylor]: Taking taylor expansion of z in t
7.198 * [backup-simplify]: Simplify z into z
7.198 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.198 * [taylor]: Taking taylor expansion of (/ 1 a) in t
7.198 * [taylor]: Taking taylor expansion of a in t
7.198 * [backup-simplify]: Simplify a into a
7.198 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.198 * [backup-simplify]: Simplify (- 1) into -1
7.199 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.199 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.199 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.199 * [backup-simplify]: Simplify (/ -1 (- (/ 1 z) (/ 1 a))) into (/ -1 (- (/ 1 z) (/ 1 a)))
7.199 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t
7.199 * [taylor]: Taking taylor expansion of (/ 1 z) in t
7.199 * [taylor]: Taking taylor expansion of z in t
7.199 * [backup-simplify]: Simplify z into z
7.199 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.199 * [taylor]: Taking taylor expansion of (/ 1 y) in t
7.199 * [taylor]: Taking taylor expansion of y in t
7.199 * [backup-simplify]: Simplify y into y
7.199 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.199 * [taylor]: Taking taylor expansion of (/ -1 x) in t
7.199 * [taylor]: Taking taylor expansion of -1 in t
7.199 * [backup-simplify]: Simplify -1 into -1
7.199 * [taylor]: Taking taylor expansion of x in t
7.199 * [backup-simplify]: Simplify x into x
7.199 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.199 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.199 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
7.200 * [backup-simplify]: Simplify (* (/ -1 (- (/ 1 z) (/ 1 a))) (- (/ 1 z) (/ 1 y))) into (* -1 (/ (- (/ 1 z) (/ 1 y)) (- (/ 1 z) (/ 1 a))))
7.200 * [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.200 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (/ 1 (* (- (/ 1 z) (/ 1 a)) z))) in x
7.200 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in x
7.200 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in x
7.200 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.200 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.200 * [taylor]: Taking taylor expansion of z in x
7.200 * [backup-simplify]: Simplify z into z
7.200 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.200 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.200 * [taylor]: Taking taylor expansion of a in x
7.200 * [backup-simplify]: Simplify a into a
7.200 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.200 * [taylor]: Taking taylor expansion of y in x
7.200 * [backup-simplify]: Simplify y into y
7.200 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.200 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.200 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 a)) y) into (* (- (/ 1 z) (/ 1 a)) y)
7.200 * [backup-simplify]: Simplify (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) into (/ 1 (* (- (/ 1 z) (/ 1 a)) y))
7.200 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) in x
7.200 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) z) in x
7.200 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.200 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.200 * [taylor]: Taking taylor expansion of z in x
7.200 * [backup-simplify]: Simplify z into z
7.200 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.201 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.201 * [taylor]: Taking taylor expansion of a in x
7.201 * [backup-simplify]: Simplify a into a
7.201 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.201 * [taylor]: Taking taylor expansion of z in x
7.201 * [backup-simplify]: Simplify z into z
7.201 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.201 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.201 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 a)) z) into (* (- (/ 1 z) (/ 1 a)) z)
7.201 * [backup-simplify]: Simplify (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) into (/ 1 (* (- (/ 1 z) (/ 1 a)) z))
7.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.201 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.201 * [backup-simplify]: Simplify (- 0) into 0
7.202 * [backup-simplify]: Simplify (+ 0 0) into 0
7.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.202 * [backup-simplify]: Simplify (- 0) into 0
7.202 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
7.202 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.203 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.203 * [backup-simplify]: Simplify (- 0) into 0
7.203 * [backup-simplify]: Simplify (+ 0 0) into 0
7.203 * [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.204 * [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.204 * [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.204 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) z))) (+ (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y))) (/ 1 x))) in x
7.204 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) z))) in x
7.204 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 a)) z)) in x
7.204 * [taylor]: Taking taylor expansion of x in x
7.204 * [backup-simplify]: Simplify 0 into 0
7.204 * [backup-simplify]: Simplify 1 into 1
7.204 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) z) in x
7.204 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.204 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.204 * [taylor]: Taking taylor expansion of z in x
7.204 * [backup-simplify]: Simplify z into z
7.204 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.204 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.204 * [taylor]: Taking taylor expansion of a in x
7.204 * [backup-simplify]: Simplify a into a
7.204 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.204 * [taylor]: Taking taylor expansion of z in x
7.204 * [backup-simplify]: Simplify z into z
7.204 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.204 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.204 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 a)) z) into (* (- (/ 1 z) (/ 1 a)) z)
7.205 * [backup-simplify]: Simplify (* 0 (* (- (/ 1 z) (/ 1 a)) z)) into 0
7.205 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.205 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.525 * [backup-simplify]: Simplify (- 0) into 0
7.526 * [backup-simplify]: Simplify (+ 0 0) into 0
7.526 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (* 0 z)) into 0
7.527 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (- (/ 1 z) (/ 1 a)) z))) into (- 1 (/ z a))
7.527 * [backup-simplify]: Simplify (/ 1 (- 1 (/ z a))) into (/ 1 (- 1 (/ z a)))
7.527 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y))) (/ 1 x)) in x
7.527 * [taylor]: Taking taylor expansion of (/ 1 (* x (* (- (/ 1 z) (/ 1 a)) y))) in x
7.527 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 z) (/ 1 a)) y)) in x
7.527 * [taylor]: Taking taylor expansion of x in x
7.527 * [backup-simplify]: Simplify 0 into 0
7.527 * [backup-simplify]: Simplify 1 into 1
7.527 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in x
7.527 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in x
7.527 * [taylor]: Taking taylor expansion of (/ 1 z) in x
7.527 * [taylor]: Taking taylor expansion of z in x
7.527 * [backup-simplify]: Simplify z into z
7.527 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.527 * [taylor]: Taking taylor expansion of (/ 1 a) in x
7.527 * [taylor]: Taking taylor expansion of a in x
7.527 * [backup-simplify]: Simplify a into a
7.527 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
7.527 * [taylor]: Taking taylor expansion of y in x
7.527 * [backup-simplify]: Simplify y into y
7.527 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
7.528 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 a))) into (- (/ 1 z) (/ 1 a))
7.528 * [backup-simplify]: Simplify (* (- (/ 1 z) (/ 1 a)) y) into (* (- (/ 1 z) (/ 1 a)) y)
7.528 * [backup-simplify]: Simplify (* 0 (* (- (/ 1 z) (/ 1 a)) y)) into 0
7.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.528 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.528 * [backup-simplify]: Simplify (- 0) into 0
7.529 * [backup-simplify]: Simplify (+ 0 0) into 0
7.529 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (* 0 y)) into 0
7.530 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (* (- (/ 1 z) (/ 1 a)) y))) into (- (/ y z) (/ y a))
7.530 * [backup-simplify]: Simplify (/ 1 (- (/ y z) (/ y a))) into (/ 1 (- (/ y z) (/ y a)))
7.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.530 * [taylor]: Taking taylor expansion of x in x
7.530 * [backup-simplify]: Simplify 0 into 0
7.530 * [backup-simplify]: Simplify 1 into 1
7.530 * [backup-simplify]: Simplify (/ 1 1) into 1
7.531 * [backup-simplify]: Simplify (+ (/ 1 (- (/ y z) (/ y a))) 1) into (+ (/ 1 (- (/ y z) (/ y a))) 1)
7.531 * [backup-simplify]: Simplify (- (+ (/ 1 (- (/ y z) (/ y a))) 1)) into (- (+ (/ 1 (- (/ y z) (/ y a))) 1))
7.531 * [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.531 * [taylor]: Taking taylor expansion of (- (/ 1 (- 1 (/ z a))) (+ (/ 1 (- (/ y z) (/ y a))) 1)) in a
7.531 * [taylor]: Taking taylor expansion of (/ 1 (- 1 (/ z a))) in a
7.531 * [taylor]: Taking taylor expansion of (- 1 (/ z a)) in a
7.531 * [taylor]: Taking taylor expansion of 1 in a
7.531 * [backup-simplify]: Simplify 1 into 1
7.531 * [taylor]: Taking taylor expansion of (/ z a) in a
7.531 * [taylor]: Taking taylor expansion of z in a
7.531 * [backup-simplify]: Simplify z into z
7.531 * [taylor]: Taking taylor expansion of a in a
7.531 * [backup-simplify]: Simplify 0 into 0
7.531 * [backup-simplify]: Simplify 1 into 1
7.531 * [backup-simplify]: Simplify (/ z 1) into z
7.532 * [backup-simplify]: Simplify (- z) into (- z)
7.532 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.532 * [backup-simplify]: Simplify (/ 1 (- z)) into (/ -1 z)
7.532 * [taylor]: Taking taylor expansion of (+ (/ 1 (- (/ y z) (/ y a))) 1) in a
7.532 * [taylor]: Taking taylor expansion of (/ 1 (- (/ y z) (/ y a))) in a
7.532 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y a)) in a
7.532 * [taylor]: Taking taylor expansion of (/ y z) in a
7.532 * [taylor]: Taking taylor expansion of y in a
7.532 * [backup-simplify]: Simplify y into y
7.532 * [taylor]: Taking taylor expansion of z in a
7.532 * [backup-simplify]: Simplify z into z
7.532 * [backup-simplify]: Simplify (/ y z) into (/ y z)
7.532 * [taylor]: Taking taylor expansion of (/ y a) in a
7.532 * [taylor]: Taking taylor expansion of y in a
7.532 * [backup-simplify]: Simplify y into y
7.532 * [taylor]: Taking taylor expansion of a in a
7.532 * [backup-simplify]: Simplify 0 into 0
7.532 * [backup-simplify]: Simplify 1 into 1
7.532 * [backup-simplify]: Simplify (/ y 1) into y
7.532 * [backup-simplify]: Simplify (- y) into (- y)
7.532 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
7.532 * [backup-simplify]: Simplify (/ 1 (- y)) into (/ -1 y)
7.532 * [taylor]: Taking taylor expansion of 1 in a
7.532 * [backup-simplify]: Simplify 1 into 1
7.533 * [backup-simplify]: Simplify (+ 0 1) into 1
7.533 * [backup-simplify]: Simplify (- 1) into -1
7.534 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.534 * [taylor]: Taking taylor expansion of -1 in z
7.534 * [backup-simplify]: Simplify -1 into -1
7.534 * [taylor]: Taking taylor expansion of -1 in y
7.534 * [backup-simplify]: Simplify -1 into -1
7.534 * [backup-simplify]: Simplify (- (/ 1 (* (- (/ 1 z) (/ 1 a)) z))) into (- (/ 1 (* (- (/ 1 z) (/ 1 a)) z)))
7.535 * [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.535 * [taylor]: Taking taylor expansion of (- (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (/ 1 (* (- (/ 1 z) (/ 1 a)) z))) in a
7.535 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) in a
7.535 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) y) in a
7.535 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a
7.535 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.535 * [taylor]: Taking taylor expansion of z in a
7.535 * [backup-simplify]: Simplify z into z
7.535 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.535 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.535 * [taylor]: Taking taylor expansion of a in a
7.535 * [backup-simplify]: Simplify 0 into 0
7.535 * [backup-simplify]: Simplify 1 into 1
7.536 * [backup-simplify]: Simplify (/ 1 1) into 1
7.536 * [taylor]: Taking taylor expansion of y in a
7.536 * [backup-simplify]: Simplify y into y
7.536 * [backup-simplify]: Simplify (- 1) into -1
7.537 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.537 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
7.537 * [backup-simplify]: Simplify (/ 1 (* -1 y)) into (/ -1 y)
7.537 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) in a
7.537 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 a)) z) in a
7.537 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 a)) in a
7.537 * [taylor]: Taking taylor expansion of (/ 1 z) in a
7.537 * [taylor]: Taking taylor expansion of z in a
7.537 * [backup-simplify]: Simplify z into z
7.537 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
7.537 * [taylor]: Taking taylor expansion of (/ 1 a) in a
7.537 * [taylor]: Taking taylor expansion of a in a
7.537 * [backup-simplify]: Simplify 0 into 0
7.537 * [backup-simplify]: Simplify 1 into 1
7.537 * [backup-simplify]: Simplify (/ 1 1) into 1
7.537 * [taylor]: Taking taylor expansion of z in a
7.537 * [backup-simplify]: Simplify z into z
7.538 * [backup-simplify]: Simplify (- 1) into -1
7.538 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.538 * [backup-simplify]: Simplify (* -1 z) into (* -1 z)
7.538 * [backup-simplify]: Simplify (/ 1 (* -1 z)) into (/ -1 z)
7.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.539 * [backup-simplify]: Simplify (- 0) into 0
7.540 * [backup-simplify]: Simplify (+ 0 0) into 0
7.540 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.541 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.541 * [backup-simplify]: Simplify (- 0) into 0
7.541 * [backup-simplify]: Simplify (+ 0 0) into 0
7.541 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.542 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.542 * [backup-simplify]: Simplify (- 0) into 0
7.542 * [backup-simplify]: Simplify (+ 0 0) into 0
7.543 * [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.544 * [backup-simplify]: Simplify (+ (* (/ -1 (- (/ 1 z) (/ 1 a))) 0) (+ (* (/ 1 (* x (- (/ 1 z) (/ 1 a)))) 0) (* 0 (- (/ 1 z) (/ 1 y))))) into 0
7.544 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
7.544 * [backup-simplify]: Simplify (+ 0 0) into 0
7.544 * [taylor]: Taking taylor expansion of 0 in x
7.544 * [backup-simplify]: Simplify 0 into 0
7.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.545 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.545 * [backup-simplify]: Simplify (- 0) into 0
7.546 * [backup-simplify]: Simplify (+ 0 0) into 0
7.546 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (+ (* 0 0) (* 0 z))) into 0
7.547 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* (- (/ 1 z) (/ 1 a)) z)))) into 0
7.547 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- 1 (/ z a))) (/ 0 (- 1 (/ z a)))))) into 0
7.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
7.548 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)) (* 0 (/ 0 a)))) into 0
7.548 * [backup-simplify]: Simplify (- 0) into 0
7.549 * [backup-simplify]: Simplify (+ 0 0) into 0
7.549 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (+ (* 0 0) (* 0 y))) into 0
7.550 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (* (- (/ 1 z) (/ 1 a)) y)))) into 0
7.550 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- (/ y z) (/ y a))) (/ 0 (- (/ y z) (/ y a)))))) into 0
7.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.551 * [backup-simplify]: Simplify (+ 0 0) into 0
7.551 * [backup-simplify]: Simplify (- 0) into 0
7.551 * [backup-simplify]: Simplify (+ 0 0) into 0
7.551 * [taylor]: Taking taylor expansion of 0 in a
7.551 * [backup-simplify]: Simplify 0 into 0
7.551 * [taylor]: Taking taylor expansion of 0 in z
7.551 * [backup-simplify]: Simplify 0 into 0
7.552 * [taylor]: Taking taylor expansion of 0 in y
7.552 * [backup-simplify]: Simplify 0 into 0
7.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.552 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.552 * [backup-simplify]: Simplify (- 0) into 0
7.552 * [backup-simplify]: Simplify (+ 0 0) into 0
7.552 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (* 0 y)) into 0
7.553 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) y)) (/ 0 (* (- (/ 1 z) (/ 1 a)) y))))) into 0
7.553 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
7.553 * [backup-simplify]: Simplify (- (+ (* (/ 1 a) (/ 0 a)))) into 0
7.553 * [backup-simplify]: Simplify (- 0) into 0
7.553 * [backup-simplify]: Simplify (+ 0 0) into 0
7.553 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 a)) 0) (* 0 z)) into 0
7.553 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* (- (/ 1 z) (/ 1 a)) z)) (/ 0 (* (- (/ 1 z) (/ 1 a)) z))))) into 0
7.554 * [backup-simplify]: Simplify (- 0) into 0
7.554 * [backup-simplify]: Simplify (+ 0 0) into 0
7.554 * [taylor]: Taking taylor expansion of 0 in a
7.554 * [backup-simplify]: Simplify 0 into 0
7.554 * [taylor]: Taking taylor expansion of 0 in z
7.554 * [backup-simplify]: Simplify 0 into 0
7.554 * [taylor]: Taking taylor expansion of 0 in y
7.554 * [backup-simplify]: Simplify 0 into 0
7.554 * [backup-simplify]: Simplify (+ (/ -1 y) 0) into (- (/ 1 y))
7.554 * [backup-simplify]: Simplify (- (- (/ 1 y))) into (/ 1 y)
7.554 * [backup-simplify]: Simplify (+ (/ -1 z) (/ 1 y)) into (- (/ 1 y) (/ 1 z))
7.554 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z
7.554 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.554 * [taylor]: Taking taylor expansion of y in z
7.554 * [backup-simplify]: Simplify y into y
7.554 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.554 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.554 * [taylor]: Taking taylor expansion of z in z
7.554 * [backup-simplify]: Simplify 0 into 0
7.554 * [backup-simplify]: Simplify 1 into 1
7.555 * [backup-simplify]: Simplify (/ 1 1) into 1
7.555 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.555 * [backup-simplify]: Simplify (- 0) into 0
7.555 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
7.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.556 * [taylor]: Taking taylor expansion of y in y
7.556 * [backup-simplify]: Simplify 0 into 0
7.556 * [backup-simplify]: Simplify 1 into 1
7.556 * [backup-simplify]: Simplify (/ 1 1) into 1
7.556 * [backup-simplify]: Simplify 1 into 1
7.556 * [backup-simplify]: Simplify (- (/ -1 z)) into (/ 1 z)
7.556 * [backup-simplify]: Simplify (+ (/ -1 y) (/ 1 z)) into (- (/ 1 z) (/ 1 y))
7.556 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z
7.556 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.556 * [taylor]: Taking taylor expansion of z in z
7.556 * [backup-simplify]: Simplify 0 into 0
7.556 * [backup-simplify]: Simplify 1 into 1
7.556 * [backup-simplify]: Simplify (/ 1 1) into 1
7.556 * [taylor]: Taking taylor expansion of (/ 1 y) in z
7.556 * [taylor]: Taking taylor expansion of y in z
7.556 * [backup-simplify]: Simplify y into y
7.556 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.557 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
7.557 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
7.557 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
7.557 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.557 * [taylor]: Taking taylor expansion of y in y
7.557 * [backup-simplify]: Simplify 0 into 0
7.557 * [backup-simplify]: Simplify 1 into 1
7.557 * [backup-simplify]: Simplify (/ 1 1) into 1
7.558 * [backup-simplify]: Simplify (- 1) into -1
7.558 * [backup-simplify]: Simplify -1 into -1
7.558 * [taylor]: Taking taylor expansion of 0 in y
7.558 * [backup-simplify]: Simplify 0 into 0
7.558 * [backup-simplify]: Simplify -1 into -1
7.558 * [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.558 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
7.558 * [backup-simplify]: Simplify (/ (- t x) (- a z)) into (/ (- t x) (- a z))
7.558 * [approximate]: Taking taylor expansion of (/ (- t x) (- a z)) in (t x a z) around 0
7.558 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in z
7.558 * [taylor]: Taking taylor expansion of (- t x) in z
7.558 * [taylor]: Taking taylor expansion of t in z
7.558 * [backup-simplify]: Simplify t into t
7.558 * [taylor]: Taking taylor expansion of x in z
7.558 * [backup-simplify]: Simplify x into x
7.558 * [taylor]: Taking taylor expansion of (- a z) in z
7.559 * [taylor]: Taking taylor expansion of a in z
7.559 * [backup-simplify]: Simplify a into a
7.559 * [taylor]: Taking taylor expansion of z in z
7.559 * [backup-simplify]: Simplify 0 into 0
7.559 * [backup-simplify]: Simplify 1 into 1
7.559 * [backup-simplify]: Simplify (- x) into (- x)
7.559 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
7.559 * [backup-simplify]: Simplify (- 0) into 0
7.559 * [backup-simplify]: Simplify (+ a 0) into a
7.559 * [backup-simplify]: Simplify (/ (- t x) a) into (/ (- t x) a)
7.559 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in a
7.559 * [taylor]: Taking taylor expansion of (- t x) in a
7.559 * [taylor]: Taking taylor expansion of t in a
7.559 * [backup-simplify]: Simplify t into t
7.559 * [taylor]: Taking taylor expansion of x in a
7.559 * [backup-simplify]: Simplify x into x
7.559 * [taylor]: Taking taylor expansion of (- a z) in a
7.559 * [taylor]: Taking taylor expansion of a in a
7.559 * [backup-simplify]: Simplify 0 into 0
7.559 * [backup-simplify]: Simplify 1 into 1
7.559 * [taylor]: Taking taylor expansion of z in a
7.559 * [backup-simplify]: Simplify z into z
7.559 * [backup-simplify]: Simplify (- x) into (- x)
7.559 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
7.559 * [backup-simplify]: Simplify (- z) into (- z)
7.559 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.559 * [backup-simplify]: Simplify (/ (- t x) (- z)) into (* -1 (/ (- t x) z))
7.559 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in x
7.559 * [taylor]: Taking taylor expansion of (- t x) in x
7.559 * [taylor]: Taking taylor expansion of t in x
7.559 * [backup-simplify]: Simplify t into t
7.559 * [taylor]: Taking taylor expansion of x in x
7.559 * [backup-simplify]: Simplify 0 into 0
7.559 * [backup-simplify]: Simplify 1 into 1
7.559 * [taylor]: Taking taylor expansion of (- a z) in x
7.559 * [taylor]: Taking taylor expansion of a in x
7.559 * [backup-simplify]: Simplify a into a
7.560 * [taylor]: Taking taylor expansion of z in x
7.560 * [backup-simplify]: Simplify z into z
7.560 * [backup-simplify]: Simplify (- 0) into 0
7.560 * [backup-simplify]: Simplify (+ t 0) into t
7.560 * [backup-simplify]: Simplify (- z) into (- z)
7.560 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.560 * [backup-simplify]: Simplify (/ t (- a z)) into (/ t (- a z))
7.560 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in t
7.560 * [taylor]: Taking taylor expansion of (- t x) in t
7.560 * [taylor]: Taking taylor expansion of t in t
7.560 * [backup-simplify]: Simplify 0 into 0
7.560 * [backup-simplify]: Simplify 1 into 1
7.560 * [taylor]: Taking taylor expansion of x in t
7.560 * [backup-simplify]: Simplify x into x
7.560 * [taylor]: Taking taylor expansion of (- a z) in t
7.560 * [taylor]: Taking taylor expansion of a in t
7.560 * [backup-simplify]: Simplify a into a
7.560 * [taylor]: Taking taylor expansion of z in t
7.560 * [backup-simplify]: Simplify z into z
7.560 * [backup-simplify]: Simplify (- x) into (- x)
7.560 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
7.560 * [backup-simplify]: Simplify (- z) into (- z)
7.560 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.560 * [backup-simplify]: Simplify (/ (- x) (- a z)) into (* -1 (/ x (- a z)))
7.560 * [taylor]: Taking taylor expansion of (/ (- t x) (- a z)) in t
7.560 * [taylor]: Taking taylor expansion of (- t x) in t
7.560 * [taylor]: Taking taylor expansion of t in t
7.560 * [backup-simplify]: Simplify 0 into 0
7.560 * [backup-simplify]: Simplify 1 into 1
7.560 * [taylor]: Taking taylor expansion of x in t
7.560 * [backup-simplify]: Simplify x into x
7.560 * [taylor]: Taking taylor expansion of (- a z) in t
7.560 * [taylor]: Taking taylor expansion of a in t
7.560 * [backup-simplify]: Simplify a into a
7.561 * [taylor]: Taking taylor expansion of z in t
7.561 * [backup-simplify]: Simplify z into z
7.561 * [backup-simplify]: Simplify (- x) into (- x)
7.561 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
7.561 * [backup-simplify]: Simplify (- z) into (- z)
7.561 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.561 * [backup-simplify]: Simplify (/ (- x) (- a z)) into (* -1 (/ x (- a z)))
7.561 * [taylor]: Taking taylor expansion of (* -1 (/ x (- a z))) in x
7.561 * [taylor]: Taking taylor expansion of -1 in x
7.561 * [backup-simplify]: Simplify -1 into -1
7.561 * [taylor]: Taking taylor expansion of (/ x (- a z)) in x
7.561 * [taylor]: Taking taylor expansion of x in x
7.561 * [backup-simplify]: Simplify 0 into 0
7.561 * [backup-simplify]: Simplify 1 into 1
7.561 * [taylor]: Taking taylor expansion of (- a z) in x
7.561 * [taylor]: Taking taylor expansion of a in x
7.561 * [backup-simplify]: Simplify a into a
7.561 * [taylor]: Taking taylor expansion of z in x
7.561 * [backup-simplify]: Simplify z into z
7.561 * [backup-simplify]: Simplify (- z) into (- z)
7.561 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.561 * [backup-simplify]: Simplify (/ 1 (- a z)) into (/ 1 (- a z))
7.561 * [backup-simplify]: Simplify (- 0) into 0
7.562 * [backup-simplify]: Simplify (+ 1 0) into 1
7.562 * [backup-simplify]: Simplify (- 0) into 0
7.562 * [backup-simplify]: Simplify (+ 0 0) into 0
7.562 * [backup-simplify]: Simplify (- (/ 1 (- a z)) (+ (* (* -1 (/ x (- a z))) (/ 0 (- a z))))) into (/ 1 (- a z))
7.562 * [taylor]: Taking taylor expansion of (/ 1 (- a z)) in x
7.562 * [taylor]: Taking taylor expansion of (- a z) in x
7.562 * [taylor]: Taking taylor expansion of a in x
7.562 * [backup-simplify]: Simplify a into a
7.562 * [taylor]: Taking taylor expansion of z in x
7.562 * [backup-simplify]: Simplify z into z
7.562 * [backup-simplify]: Simplify (- z) into (- z)
7.562 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
7.562 * [backup-simplify]: Simplify (/ 1 (- a z)) into (/ 1 (- a z))
7.563 * [taylor]: Taking taylor expansion of (/ 1 (- a z)) in a
7.563 * [taylor]: Taking taylor expansion of (- a z) in a
7.563 * [taylor]: Taking taylor expansion of a in a
7.563 * [backup-simplify]: Simplify 0 into 0
7.563 * [backup-simplify]: Simplify 1 into 1
7.563 * [taylor]: Taking taylor expansion of z in a
7.563 * [backup-simplify]: Simplify z into z
7.563 * [backup-simplify]: Simplify (- z) into (- z)
7.563 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.563 * [backup-simplify]: Simplify (/ 1 (- z)) into (/ -1 z)
7.563 * [taylor]: Taking taylor expansion of (/ -1 z) in z
7.563 * [taylor]: Taking taylor expansion of -1 in z
7.563 * [backup-simplify]: Simplify -1 into -1
7.563 * [taylor]: Taking taylor expansion of z in z
7.563 * [backup-simplify]: Simplify 0 into 0
7.563 * [backup-simplify]: Simplify 1 into 1
7.563 * [backup-simplify]: Simplify (/ -1 1) into -1
7.564 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.564 * [backup-simplify]: Simplify 0 into 0
7.564 * [backup-simplify]: Simplify (* -1 (/ 1 (- a z))) into (/ -1 (- a z))
7.564 * [taylor]: Taking taylor expansion of (/ -1 (- a z)) in a
7.564 * [taylor]: Taking taylor expansion of -1 in a
7.564 * [backup-simplify]: Simplify -1 into -1
7.564 * [taylor]: Taking taylor expansion of (- a z) in a
7.564 * [taylor]: Taking taylor expansion of a in a
7.564 * [backup-simplify]: Simplify 0 into 0
7.564 * [backup-simplify]: Simplify 1 into 1
7.564 * [taylor]: Taking taylor expansion of z in a
7.564 * [backup-simplify]: Simplify z into z
7.564 * [backup-simplify]: Simplify (- z) into (- z)
7.564 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
7.564 * [backup-simplify]: Simplify (/ -1 (- z)) into (/ 1 z)
7.564 * [taylor]: Taking taylor expansion of (/ 1 z) in z
7.564 * [taylor]: Taking taylor expansion of z in z
7.564 * [backup-simplify]: Simplify 0 into 0
7.564 * [backup-simplify]: Simplify 1 into 1
7.564 * [backup-simplify]: Simplify (/ 1 1) into 1
7.565 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.565 * [backup-simplify]: Simplify 0 into 0
7.565 * [backup-simplify]: Simplify (- 0) into 0
7.565 * [backup-simplify]: Simplify (+ 0 0) into 0
7.566 * [backup-simplify]: Simplify (- 0) into 0
7.566 * [backup-simplify]: Simplify (+ 0 0) into 0
7.566 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (* -1 (/ x (- a z))) (/ 0 (- a z))) (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0
7.566 * [taylor]: Taking taylor expansion of 0 in x
7.566 * [backup-simplify]: Simplify 0 into 0
7.566 * [taylor]: Taking taylor expansion of 0 in a
7.566 * [backup-simplify]: Simplify 0 into 0
7.566 * [taylor]: Taking taylor expansion of 0 in z
7.566 * [backup-simplify]: Simplify 0 into 0
7.566 * [backup-simplify]: Simplify 0 into 0
7.566 * [backup-simplify]: Simplify (- 0) into 0
7.567 * [backup-simplify]: Simplify (+ 0 0) into 0
7.567 * [backup-simplify]: Simplify (- (+ (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0
7.567 * [taylor]: Taking taylor expansion of 0 in a
7.567 * [backup-simplify]: Simplify 0 into 0
7.567 * [taylor]: Taking taylor expansion of 0 in z
7.567 * [backup-simplify]: Simplify 0 into 0
7.567 * [backup-simplify]: Simplify 0 into 0
7.567 * [backup-simplify]: Simplify (- 0) into 0
7.567 * [backup-simplify]: Simplify (+ 0 0) into 0
7.567 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ 1 (- a z)) (/ 0 (- a z))))) into 0
7.568 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (- a z)))) into 0
7.568 * [taylor]: Taking taylor expansion of 0 in a
7.568 * [backup-simplify]: Simplify 0 into 0
7.568 * [taylor]: Taking taylor expansion of 0 in z
7.568 * [backup-simplify]: Simplify 0 into 0
7.568 * [backup-simplify]: Simplify 0 into 0
7.568 * [backup-simplify]: Simplify (- 0) into 0
7.568 * [backup-simplify]: Simplify (+ 1 0) into 1