1.593 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying:
  (+ x (* (- y z) (/ (- t x) (- a z))))
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: Extracting # 3 : cost  0
0.039 * * [simplify]: Extracting # 4 : cost  0
0.039 * * [simplify]: Extracting # 5 : cost  0
0.039 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: iteration  1 :  23  enodes  (cost  13 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.046 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: iteration  2 :  44  enodes  (cost  13 )
0.066 * * [simplify]: Extracting # 0 : cost  0
0.066 * * [simplify]: Extracting # 1 : cost  0
0.066 * * [simplify]: Extracting # 2 : cost  0
0.067 * * [simplify]: iteration  3 :  122  enodes  (cost  13 )
0.149 * * [simplify]: Extracting # 0 : cost  0
0.150 * * [simplify]: Extracting # 1 : cost  0
0.151 * * [simplify]: Extracting # 2 : cost  0
0.151 * * [simplify]: iteration  4 :  327  enodes  (cost  13 )
0.308 * * [simplify]: Extracting # 0 : cost  0
0.309 * * [simplify]: Extracting # 1 : cost  0
0.310 * * [simplify]: Extracting # 2 : cost  0
0.310 * * [simplify]: iteration  5 :  732  enodes  (cost  13 )
0.805 * * [simplify]: Extracting # 0 : cost  0
0.807 * * [simplify]: Extracting # 1 : cost  0
0.809 * * [simplify]: Extracting # 2 : cost  0
0.811 * * [simplify]: Extracting # 3 : cost  0
0.812 * * [simplify]: Extracting # 4 : cost  0
0.814 * * [simplify]: iteration  6 :  1485  enodes  (cost  13 )
2.300 * * [simplify]: Extracting # 0 : cost  0
2.304 * * [simplify]: Extracting # 1 : cost  0
2.307 * * [simplify]: Extracting # 2 : cost  0
2.310 * * [simplify]: Extracting # 3 : cost  0
2.320 * * [simplify]: iteration  7 :  2361  enodes  (cost  13 )
4.546 * * [simplify]: Extracting # 0 : cost  0
4.550 * * [simplify]: Extracting # 1 : cost  0
4.551 * * [simplify]: Extracting # 2 : cost  0
4.553 * * [simplify]: Extracting # 3 : cost  0
4.554 * * [simplify]: iteration  8 :  3197  enodes  (cost  13 )
6.979 * * [simplify]: Extracting # 0 : cost  0
6.981 * * [simplify]: Extracting # 1 : cost  0
6.983 * * [simplify]: Extracting # 2 : cost  0
6.984 * * [simplify]: iteration  9 :  3665  enodes  (cost  13 )
9.706 * * [simplify]: Extracting # 0 : cost  0
9.709 * * [simplify]: Extracting # 1 : cost  0
9.712 * * [simplify]: Extracting # 2 : cost  0
9.716 * * [simplify]: iteration  10 :  3837  enodes  (cost  13 )
12.627 * * [simplify]: Extracting # 0 : cost  0
12.630 * * [simplify]: Extracting # 1 : cost  0
12.633 * * [simplify]: Extracting # 2 : cost  0
12.636 * * [simplify]: iteration  11 :  4148  enodes  (cost  13 )
15.318 * * [simplify]: Extracting # 0 : cost  0
15.321 * * [simplify]: Extracting # 1 : cost  0
15.323 * * [simplify]: Extracting # 2 : cost  0
15.331 * * [simplify]: iteration  12 :  4410  enodes  (cost  13 )
17.942 * * [simplify]: Extracting # 0 : cost  0
17.950 * * [simplify]: Extracting # 1 : cost  0
17.952 * * [simplify]: Extracting # 2 : cost  0
17.955 * * [simplify]: iteration done:  5000  enodes  (cost  13 )
17.955 * [simplify]: Simplified to:
  (+ x (* (- y z) (/ (- t x) (- a z))))
17.956 * * [progress]: iteration 1 / 4
17.956 * * * [progress]: picking best candidate
17.959 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ x (* (- y z) (/ (- t x) (- a z)))))>
17.959 * * * [progress]: localizing error
17.980 * * * [progress]: generating rewritten candidates
17.980 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
17.993 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
18.108 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
18.160 * * * [progress]: generating series expansions
18.160 * * * * [progress]: [ 1 / 3 ] generating series at (2)
18.160 * [backup-simplify]: Simplify (+ x (* (- y z) (/ (- t x) (- a z)))) into (- (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) (+ (/ (* t z) (- a z)) (/ (* x y) (- a z))))
18.161 * [approximate]: Taking taylor expansion of (- (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) (+ (/ (* t z) (- a z)) (/ (* x y) (- a z)))) in (x y z t a) around 0
18.161 * [taylor]: Taking taylor expansion of (- (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) (+ (/ (* t z) (- a z)) (/ (* x y) (- a z)))) in a
18.161 * [taylor]: Taking taylor expansion of (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) in a
18.161 * [taylor]: Taking taylor expansion of (/ (* t y) (- a z)) in a
18.161 * [taylor]: Taking taylor expansion of (* t y) in a
18.161 * [taylor]: Taking taylor expansion of t in a
18.161 * [backup-simplify]: Simplify t into t
18.161 * [taylor]: Taking taylor expansion of y in a
18.161 * [backup-simplify]: Simplify y into y
18.161 * [taylor]: Taking taylor expansion of (- a z) in a
18.161 * [taylor]: Taking taylor expansion of a in a
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify 1 into 1
18.161 * [taylor]: Taking taylor expansion of z in a
18.161 * [backup-simplify]: Simplify z into z
18.161 * [backup-simplify]: Simplify (* t y) into (* t y)
18.161 * [backup-simplify]: Simplify (- z) into (- z)
18.161 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
18.161 * [backup-simplify]: Simplify (/ (* t y) (- z)) into (* -1 (/ (* t y) z))
18.161 * [taylor]: Taking taylor expansion of (+ x (/ (* x z) (- a z))) in a
18.161 * [taylor]: Taking taylor expansion of x in a
18.161 * [backup-simplify]: Simplify x into x
18.161 * [taylor]: Taking taylor expansion of (/ (* x z) (- a z)) in a
18.161 * [taylor]: Taking taylor expansion of (* x z) in a
18.161 * [taylor]: Taking taylor expansion of x in a
18.161 * [backup-simplify]: Simplify x into x
18.161 * [taylor]: Taking taylor expansion of z in a
18.161 * [backup-simplify]: Simplify z into z
18.161 * [taylor]: Taking taylor expansion of (- a z) in a
18.161 * [taylor]: Taking taylor expansion of a in a
18.161 * [backup-simplify]: Simplify 0 into 0
18.161 * [backup-simplify]: Simplify 1 into 1
18.161 * [taylor]: Taking taylor expansion of z in a
18.161 * [backup-simplify]: Simplify z into z
18.162 * [backup-simplify]: Simplify (* x z) into (* x z)
18.162 * [backup-simplify]: Simplify (- z) into (- z)
18.162 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
18.162 * [backup-simplify]: Simplify (/ (* x z) (- z)) into (* -1 x)
18.162 * [taylor]: Taking taylor expansion of (+ (/ (* t z) (- a z)) (/ (* x y) (- a z))) in a
18.162 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in a
18.162 * [taylor]: Taking taylor expansion of (* t z) in a
18.162 * [taylor]: Taking taylor expansion of t in a
18.162 * [backup-simplify]: Simplify t into t
18.162 * [taylor]: Taking taylor expansion of z in a
18.162 * [backup-simplify]: Simplify z into z
18.162 * [taylor]: Taking taylor expansion of (- a z) in a
18.162 * [taylor]: Taking taylor expansion of a in a
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 1 into 1
18.162 * [taylor]: Taking taylor expansion of z in a
18.162 * [backup-simplify]: Simplify z into z
18.162 * [backup-simplify]: Simplify (* t z) into (* t z)
18.162 * [backup-simplify]: Simplify (- z) into (- z)
18.162 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
18.162 * [backup-simplify]: Simplify (/ (* t z) (- z)) into (* -1 t)
18.162 * [taylor]: Taking taylor expansion of (/ (* x y) (- a z)) in a
18.162 * [taylor]: Taking taylor expansion of (* x y) in a
18.162 * [taylor]: Taking taylor expansion of x in a
18.162 * [backup-simplify]: Simplify x into x
18.162 * [taylor]: Taking taylor expansion of y in a
18.162 * [backup-simplify]: Simplify y into y
18.162 * [taylor]: Taking taylor expansion of (- a z) in a
18.162 * [taylor]: Taking taylor expansion of a in a
18.162 * [backup-simplify]: Simplify 0 into 0
18.162 * [backup-simplify]: Simplify 1 into 1
18.162 * [taylor]: Taking taylor expansion of z in a
18.163 * [backup-simplify]: Simplify z into z
18.163 * [backup-simplify]: Simplify (* x y) into (* x y)
18.163 * [backup-simplify]: Simplify (- z) into (- z)
18.163 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
18.163 * [backup-simplify]: Simplify (/ (* x y) (- z)) into (* -1 (/ (* x y) z))
18.163 * [taylor]: Taking taylor expansion of (- (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) (+ (/ (* t z) (- a z)) (/ (* x y) (- a z)))) in t
18.163 * [taylor]: Taking taylor expansion of (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) in t
18.163 * [taylor]: Taking taylor expansion of (/ (* t y) (- a z)) in t
18.163 * [taylor]: Taking taylor expansion of (* t y) in t
18.163 * [taylor]: Taking taylor expansion of t in t
18.163 * [backup-simplify]: Simplify 0 into 0
18.163 * [backup-simplify]: Simplify 1 into 1
18.163 * [taylor]: Taking taylor expansion of y in t
18.163 * [backup-simplify]: Simplify y into y
18.163 * [taylor]: Taking taylor expansion of (- a z) in t
18.163 * [taylor]: Taking taylor expansion of a in t
18.163 * [backup-simplify]: Simplify a into a
18.163 * [taylor]: Taking taylor expansion of z in t
18.163 * [backup-simplify]: Simplify z into z
18.163 * [backup-simplify]: Simplify (* 0 y) into 0
18.164 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
18.164 * [backup-simplify]: Simplify (- z) into (- z)
18.164 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.164 * [backup-simplify]: Simplify (/ y (- a z)) into (/ y (- a z))
18.164 * [taylor]: Taking taylor expansion of (+ x (/ (* x z) (- a z))) in t
18.164 * [taylor]: Taking taylor expansion of x in t
18.164 * [backup-simplify]: Simplify x into x
18.164 * [taylor]: Taking taylor expansion of (/ (* x z) (- a z)) in t
18.164 * [taylor]: Taking taylor expansion of (* x z) in t
18.164 * [taylor]: Taking taylor expansion of x in t
18.164 * [backup-simplify]: Simplify x into x
18.165 * [taylor]: Taking taylor expansion of z in t
18.165 * [backup-simplify]: Simplify z into z
18.165 * [taylor]: Taking taylor expansion of (- a z) in t
18.165 * [taylor]: Taking taylor expansion of a in t
18.165 * [backup-simplify]: Simplify a into a
18.165 * [taylor]: Taking taylor expansion of z in t
18.165 * [backup-simplify]: Simplify z into z
18.165 * [backup-simplify]: Simplify (* x z) into (* x z)
18.165 * [backup-simplify]: Simplify (- z) into (- z)
18.165 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.165 * [backup-simplify]: Simplify (/ (* x z) (- a z)) into (/ (* x z) (- a z))
18.165 * [taylor]: Taking taylor expansion of (+ (/ (* t z) (- a z)) (/ (* x y) (- a z))) in t
18.165 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in t
18.165 * [taylor]: Taking taylor expansion of (* t z) in t
18.165 * [taylor]: Taking taylor expansion of t in t
18.165 * [backup-simplify]: Simplify 0 into 0
18.165 * [backup-simplify]: Simplify 1 into 1
18.165 * [taylor]: Taking taylor expansion of z in t
18.165 * [backup-simplify]: Simplify z into z
18.165 * [taylor]: Taking taylor expansion of (- a z) in t
18.165 * [taylor]: Taking taylor expansion of a in t
18.165 * [backup-simplify]: Simplify a into a
18.165 * [taylor]: Taking taylor expansion of z in t
18.165 * [backup-simplify]: Simplify z into z
18.165 * [backup-simplify]: Simplify (* 0 z) into 0
18.166 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
18.166 * [backup-simplify]: Simplify (- z) into (- z)
18.166 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.166 * [backup-simplify]: Simplify (/ z (- a z)) into (/ z (- a z))
18.166 * [taylor]: Taking taylor expansion of (/ (* x y) (- a z)) in t
18.166 * [taylor]: Taking taylor expansion of (* x y) in t
18.166 * [taylor]: Taking taylor expansion of x in t
18.166 * [backup-simplify]: Simplify x into x
18.166 * [taylor]: Taking taylor expansion of y in t
18.166 * [backup-simplify]: Simplify y into y
18.166 * [taylor]: Taking taylor expansion of (- a z) in t
18.166 * [taylor]: Taking taylor expansion of a in t
18.166 * [backup-simplify]: Simplify a into a
18.166 * [taylor]: Taking taylor expansion of z in t
18.166 * [backup-simplify]: Simplify z into z
18.166 * [backup-simplify]: Simplify (* x y) into (* x y)
18.166 * [backup-simplify]: Simplify (- z) into (- z)
18.166 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.166 * [backup-simplify]: Simplify (/ (* x y) (- a z)) into (/ (* x y) (- a z))
18.166 * [taylor]: Taking taylor expansion of (- (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) (+ (/ (* t z) (- a z)) (/ (* x y) (- a z)))) in z
18.166 * [taylor]: Taking taylor expansion of (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) in z
18.167 * [taylor]: Taking taylor expansion of (/ (* t y) (- a z)) in z
18.167 * [taylor]: Taking taylor expansion of (* t y) in z
18.167 * [taylor]: Taking taylor expansion of t in z
18.167 * [backup-simplify]: Simplify t into t
18.167 * [taylor]: Taking taylor expansion of y in z
18.167 * [backup-simplify]: Simplify y into y
18.167 * [taylor]: Taking taylor expansion of (- a z) in z
18.167 * [taylor]: Taking taylor expansion of a in z
18.167 * [backup-simplify]: Simplify a into a
18.167 * [taylor]: Taking taylor expansion of z in z
18.167 * [backup-simplify]: Simplify 0 into 0
18.167 * [backup-simplify]: Simplify 1 into 1
18.167 * [backup-simplify]: Simplify (* t y) into (* t y)
18.167 * [backup-simplify]: Simplify (- 0) into 0
18.167 * [backup-simplify]: Simplify (+ a 0) into a
18.167 * [backup-simplify]: Simplify (/ (* t y) a) into (/ (* t y) a)
18.167 * [taylor]: Taking taylor expansion of (+ x (/ (* x z) (- a z))) in z
18.167 * [taylor]: Taking taylor expansion of x in z
18.167 * [backup-simplify]: Simplify x into x
18.167 * [taylor]: Taking taylor expansion of (/ (* x z) (- a z)) in z
18.167 * [taylor]: Taking taylor expansion of (* x z) in z
18.167 * [taylor]: Taking taylor expansion of x in z
18.167 * [backup-simplify]: Simplify x into x
18.168 * [taylor]: Taking taylor expansion of z in z
18.168 * [backup-simplify]: Simplify 0 into 0
18.168 * [backup-simplify]: Simplify 1 into 1
18.168 * [taylor]: Taking taylor expansion of (- a z) in z
18.168 * [taylor]: Taking taylor expansion of a in z
18.168 * [backup-simplify]: Simplify a into a
18.168 * [taylor]: Taking taylor expansion of z in z
18.168 * [backup-simplify]: Simplify 0 into 0
18.168 * [backup-simplify]: Simplify 1 into 1
18.168 * [backup-simplify]: Simplify (* x 0) into 0
18.168 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
18.168 * [backup-simplify]: Simplify (- 0) into 0
18.169 * [backup-simplify]: Simplify (+ a 0) into a
18.169 * [backup-simplify]: Simplify (/ x a) into (/ x a)
18.169 * [taylor]: Taking taylor expansion of (+ (/ (* t z) (- a z)) (/ (* x y) (- a z))) in z
18.169 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in z
18.169 * [taylor]: Taking taylor expansion of (* t z) in z
18.169 * [taylor]: Taking taylor expansion of t in z
18.169 * [backup-simplify]: Simplify t into t
18.169 * [taylor]: Taking taylor expansion of z in z
18.169 * [backup-simplify]: Simplify 0 into 0
18.169 * [backup-simplify]: Simplify 1 into 1
18.169 * [taylor]: Taking taylor expansion of (- a z) in z
18.169 * [taylor]: Taking taylor expansion of a in z
18.169 * [backup-simplify]: Simplify a into a
18.169 * [taylor]: Taking taylor expansion of z in z
18.169 * [backup-simplify]: Simplify 0 into 0
18.169 * [backup-simplify]: Simplify 1 into 1
18.169 * [backup-simplify]: Simplify (* t 0) into 0
18.169 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
18.170 * [backup-simplify]: Simplify (- 0) into 0
18.170 * [backup-simplify]: Simplify (+ a 0) into a
18.170 * [backup-simplify]: Simplify (/ t a) into (/ t a)
18.170 * [taylor]: Taking taylor expansion of (/ (* x y) (- a z)) in z
18.170 * [taylor]: Taking taylor expansion of (* x y) in z
18.170 * [taylor]: Taking taylor expansion of x in z
18.170 * [backup-simplify]: Simplify x into x
18.170 * [taylor]: Taking taylor expansion of y in z
18.170 * [backup-simplify]: Simplify y into y
18.170 * [taylor]: Taking taylor expansion of (- a z) in z
18.170 * [taylor]: Taking taylor expansion of a in z
18.170 * [backup-simplify]: Simplify a into a
18.170 * [taylor]: Taking taylor expansion of z in z
18.170 * [backup-simplify]: Simplify 0 into 0
18.170 * [backup-simplify]: Simplify 1 into 1
18.170 * [backup-simplify]: Simplify (* x y) into (* x y)
18.171 * [backup-simplify]: Simplify (- 0) into 0
18.171 * [backup-simplify]: Simplify (+ a 0) into a
18.171 * [backup-simplify]: Simplify (/ (* x y) a) into (/ (* x y) a)
18.171 * [taylor]: Taking taylor expansion of (- (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) (+ (/ (* t z) (- a z)) (/ (* x y) (- a z)))) in y
18.171 * [taylor]: Taking taylor expansion of (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) in y
18.171 * [taylor]: Taking taylor expansion of (/ (* t y) (- a z)) in y
18.171 * [taylor]: Taking taylor expansion of (* t y) in y
18.171 * [taylor]: Taking taylor expansion of t in y
18.171 * [backup-simplify]: Simplify t into t
18.171 * [taylor]: Taking taylor expansion of y in y
18.171 * [backup-simplify]: Simplify 0 into 0
18.171 * [backup-simplify]: Simplify 1 into 1
18.171 * [taylor]: Taking taylor expansion of (- a z) in y
18.171 * [taylor]: Taking taylor expansion of a in y
18.171 * [backup-simplify]: Simplify a into a
18.171 * [taylor]: Taking taylor expansion of z in y
18.171 * [backup-simplify]: Simplify z into z
18.171 * [backup-simplify]: Simplify (* t 0) into 0
18.172 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
18.172 * [backup-simplify]: Simplify (- z) into (- z)
18.172 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.172 * [backup-simplify]: Simplify (/ t (- a z)) into (/ t (- a z))
18.172 * [taylor]: Taking taylor expansion of (+ x (/ (* x z) (- a z))) in y
18.172 * [taylor]: Taking taylor expansion of x in y
18.172 * [backup-simplify]: Simplify x into x
18.172 * [taylor]: Taking taylor expansion of (/ (* x z) (- a z)) in y
18.172 * [taylor]: Taking taylor expansion of (* x z) in y
18.172 * [taylor]: Taking taylor expansion of x in y
18.172 * [backup-simplify]: Simplify x into x
18.172 * [taylor]: Taking taylor expansion of z in y
18.172 * [backup-simplify]: Simplify z into z
18.172 * [taylor]: Taking taylor expansion of (- a z) in y
18.172 * [taylor]: Taking taylor expansion of a in y
18.172 * [backup-simplify]: Simplify a into a
18.172 * [taylor]: Taking taylor expansion of z in y
18.172 * [backup-simplify]: Simplify z into z
18.172 * [backup-simplify]: Simplify (* x z) into (* x z)
18.172 * [backup-simplify]: Simplify (- z) into (- z)
18.172 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.173 * [backup-simplify]: Simplify (/ (* x z) (- a z)) into (/ (* x z) (- a z))
18.173 * [taylor]: Taking taylor expansion of (+ (/ (* t z) (- a z)) (/ (* x y) (- a z))) in y
18.173 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in y
18.173 * [taylor]: Taking taylor expansion of (* t z) in y
18.173 * [taylor]: Taking taylor expansion of t in y
18.173 * [backup-simplify]: Simplify t into t
18.173 * [taylor]: Taking taylor expansion of z in y
18.173 * [backup-simplify]: Simplify z into z
18.173 * [taylor]: Taking taylor expansion of (- a z) in y
18.173 * [taylor]: Taking taylor expansion of a in y
18.173 * [backup-simplify]: Simplify a into a
18.173 * [taylor]: Taking taylor expansion of z in y
18.173 * [backup-simplify]: Simplify z into z
18.173 * [backup-simplify]: Simplify (* t z) into (* t z)
18.173 * [backup-simplify]: Simplify (- z) into (- z)
18.173 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.173 * [backup-simplify]: Simplify (/ (* t z) (- a z)) into (/ (* t z) (- a z))
18.173 * [taylor]: Taking taylor expansion of (/ (* x y) (- a z)) in y
18.173 * [taylor]: Taking taylor expansion of (* x y) in y
18.173 * [taylor]: Taking taylor expansion of x in y
18.173 * [backup-simplify]: Simplify x into x
18.173 * [taylor]: Taking taylor expansion of y in y
18.173 * [backup-simplify]: Simplify 0 into 0
18.173 * [backup-simplify]: Simplify 1 into 1
18.173 * [taylor]: Taking taylor expansion of (- a z) in y
18.173 * [taylor]: Taking taylor expansion of a in y
18.173 * [backup-simplify]: Simplify a into a
18.173 * [taylor]: Taking taylor expansion of z in y
18.173 * [backup-simplify]: Simplify z into z
18.173 * [backup-simplify]: Simplify (* x 0) into 0
18.174 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
18.174 * [backup-simplify]: Simplify (- z) into (- z)
18.174 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.174 * [backup-simplify]: Simplify (/ x (- a z)) into (/ x (- a z))
18.174 * [taylor]: Taking taylor expansion of (- (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) (+ (/ (* t z) (- a z)) (/ (* x y) (- a z)))) in x
18.174 * [taylor]: Taking taylor expansion of (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) in x
18.174 * [taylor]: Taking taylor expansion of (/ (* t y) (- a z)) in x
18.174 * [taylor]: Taking taylor expansion of (* t y) in x
18.174 * [taylor]: Taking taylor expansion of t in x
18.174 * [backup-simplify]: Simplify t into t
18.174 * [taylor]: Taking taylor expansion of y in x
18.174 * [backup-simplify]: Simplify y into y
18.174 * [taylor]: Taking taylor expansion of (- a z) in x
18.174 * [taylor]: Taking taylor expansion of a in x
18.174 * [backup-simplify]: Simplify a into a
18.174 * [taylor]: Taking taylor expansion of z in x
18.174 * [backup-simplify]: Simplify z into z
18.174 * [backup-simplify]: Simplify (* t y) into (* t y)
18.174 * [backup-simplify]: Simplify (- z) into (- z)
18.174 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.174 * [backup-simplify]: Simplify (/ (* t y) (- a z)) into (/ (* t y) (- a z))
18.175 * [taylor]: Taking taylor expansion of (+ x (/ (* x z) (- a z))) in x
18.175 * [taylor]: Taking taylor expansion of x in x
18.175 * [backup-simplify]: Simplify 0 into 0
18.175 * [backup-simplify]: Simplify 1 into 1
18.175 * [taylor]: Taking taylor expansion of (/ (* x z) (- a z)) in x
18.175 * [taylor]: Taking taylor expansion of (* x z) in x
18.175 * [taylor]: Taking taylor expansion of x in x
18.175 * [backup-simplify]: Simplify 0 into 0
18.175 * [backup-simplify]: Simplify 1 into 1
18.175 * [taylor]: Taking taylor expansion of z in x
18.175 * [backup-simplify]: Simplify z into z
18.175 * [taylor]: Taking taylor expansion of (- a z) in x
18.175 * [taylor]: Taking taylor expansion of a in x
18.175 * [backup-simplify]: Simplify a into a
18.175 * [taylor]: Taking taylor expansion of z in x
18.175 * [backup-simplify]: Simplify z into z
18.175 * [backup-simplify]: Simplify (* 0 z) into 0
18.175 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
18.175 * [backup-simplify]: Simplify (- z) into (- z)
18.175 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.175 * [backup-simplify]: Simplify (/ z (- a z)) into (/ z (- a z))
18.175 * [taylor]: Taking taylor expansion of (+ (/ (* t z) (- a z)) (/ (* x y) (- a z))) in x
18.175 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in x
18.175 * [taylor]: Taking taylor expansion of (* t z) in x
18.175 * [taylor]: Taking taylor expansion of t in x
18.175 * [backup-simplify]: Simplify t into t
18.175 * [taylor]: Taking taylor expansion of z in x
18.175 * [backup-simplify]: Simplify z into z
18.175 * [taylor]: Taking taylor expansion of (- a z) in x
18.175 * [taylor]: Taking taylor expansion of a in x
18.175 * [backup-simplify]: Simplify a into a
18.175 * [taylor]: Taking taylor expansion of z in x
18.175 * [backup-simplify]: Simplify z into z
18.175 * [backup-simplify]: Simplify (* t z) into (* t z)
18.175 * [backup-simplify]: Simplify (- z) into (- z)
18.175 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.176 * [backup-simplify]: Simplify (/ (* t z) (- a z)) into (/ (* t z) (- a z))
18.176 * [taylor]: Taking taylor expansion of (/ (* x y) (- a z)) in x
18.176 * [taylor]: Taking taylor expansion of (* x y) in x
18.176 * [taylor]: Taking taylor expansion of x in x
18.176 * [backup-simplify]: Simplify 0 into 0
18.176 * [backup-simplify]: Simplify 1 into 1
18.176 * [taylor]: Taking taylor expansion of y in x
18.176 * [backup-simplify]: Simplify y into y
18.176 * [taylor]: Taking taylor expansion of (- a z) in x
18.176 * [taylor]: Taking taylor expansion of a in x
18.176 * [backup-simplify]: Simplify a into a
18.176 * [taylor]: Taking taylor expansion of z in x
18.176 * [backup-simplify]: Simplify z into z
18.176 * [backup-simplify]: Simplify (* 0 y) into 0
18.176 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
18.176 * [backup-simplify]: Simplify (- z) into (- z)
18.176 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.176 * [backup-simplify]: Simplify (/ y (- a z)) into (/ y (- a z))
18.176 * [taylor]: Taking taylor expansion of (- (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) (+ (/ (* t z) (- a z)) (/ (* x y) (- a z)))) in x
18.176 * [taylor]: Taking taylor expansion of (+ (/ (* t y) (- a z)) (+ x (/ (* x z) (- a z)))) in x
18.176 * [taylor]: Taking taylor expansion of (/ (* t y) (- a z)) in x
18.176 * [taylor]: Taking taylor expansion of (* t y) in x
18.176 * [taylor]: Taking taylor expansion of t in x
18.176 * [backup-simplify]: Simplify t into t
18.176 * [taylor]: Taking taylor expansion of y in x
18.176 * [backup-simplify]: Simplify y into y
18.176 * [taylor]: Taking taylor expansion of (- a z) in x
18.176 * [taylor]: Taking taylor expansion of a in x
18.176 * [backup-simplify]: Simplify a into a
18.176 * [taylor]: Taking taylor expansion of z in x
18.176 * [backup-simplify]: Simplify z into z
18.176 * [backup-simplify]: Simplify (* t y) into (* t y)
18.176 * [backup-simplify]: Simplify (- z) into (- z)
18.176 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.177 * [backup-simplify]: Simplify (/ (* t y) (- a z)) into (/ (* t y) (- a z))
18.177 * [taylor]: Taking taylor expansion of (+ x (/ (* x z) (- a z))) in x
18.177 * [taylor]: Taking taylor expansion of x in x
18.177 * [backup-simplify]: Simplify 0 into 0
18.177 * [backup-simplify]: Simplify 1 into 1
18.177 * [taylor]: Taking taylor expansion of (/ (* x z) (- a z)) in x
18.177 * [taylor]: Taking taylor expansion of (* x z) in x
18.177 * [taylor]: Taking taylor expansion of x in x
18.177 * [backup-simplify]: Simplify 0 into 0
18.177 * [backup-simplify]: Simplify 1 into 1
18.177 * [taylor]: Taking taylor expansion of z in x
18.177 * [backup-simplify]: Simplify z into z
18.177 * [taylor]: Taking taylor expansion of (- a z) in x
18.181 * [taylor]: Taking taylor expansion of a in x
18.181 * [backup-simplify]: Simplify a into a
18.181 * [taylor]: Taking taylor expansion of z in x
18.181 * [backup-simplify]: Simplify z into z
18.181 * [backup-simplify]: Simplify (* 0 z) into 0
18.182 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
18.182 * [backup-simplify]: Simplify (- z) into (- z)
18.182 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.182 * [backup-simplify]: Simplify (/ z (- a z)) into (/ z (- a z))
18.182 * [taylor]: Taking taylor expansion of (+ (/ (* t z) (- a z)) (/ (* x y) (- a z))) in x
18.182 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in x
18.182 * [taylor]: Taking taylor expansion of (* t z) in x
18.182 * [taylor]: Taking taylor expansion of t in x
18.182 * [backup-simplify]: Simplify t into t
18.182 * [taylor]: Taking taylor expansion of z in x
18.182 * [backup-simplify]: Simplify z into z
18.182 * [taylor]: Taking taylor expansion of (- a z) in x
18.182 * [taylor]: Taking taylor expansion of a in x
18.182 * [backup-simplify]: Simplify a into a
18.182 * [taylor]: Taking taylor expansion of z in x
18.182 * [backup-simplify]: Simplify z into z
18.182 * [backup-simplify]: Simplify (* t z) into (* t z)
18.182 * [backup-simplify]: Simplify (- z) into (- z)
18.182 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.182 * [backup-simplify]: Simplify (/ (* t z) (- a z)) into (/ (* t z) (- a z))
18.182 * [taylor]: Taking taylor expansion of (/ (* x y) (- a z)) in x
18.182 * [taylor]: Taking taylor expansion of (* x y) in x
18.182 * [taylor]: Taking taylor expansion of x in x
18.182 * [backup-simplify]: Simplify 0 into 0
18.182 * [backup-simplify]: Simplify 1 into 1
18.182 * [taylor]: Taking taylor expansion of y in x
18.182 * [backup-simplify]: Simplify y into y
18.182 * [taylor]: Taking taylor expansion of (- a z) in x
18.182 * [taylor]: Taking taylor expansion of a in x
18.182 * [backup-simplify]: Simplify a into a
18.182 * [taylor]: Taking taylor expansion of z in x
18.182 * [backup-simplify]: Simplify z into z
18.182 * [backup-simplify]: Simplify (* 0 y) into 0
18.183 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
18.183 * [backup-simplify]: Simplify (- z) into (- z)
18.183 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.183 * [backup-simplify]: Simplify (/ y (- a z)) into (/ y (- a z))
18.183 * [backup-simplify]: Simplify (+ 0 0) into 0
18.183 * [backup-simplify]: Simplify (+ (/ (* t y) (- a z)) 0) into (/ (* t y) (- a z))
18.184 * [backup-simplify]: Simplify (+ (/ (* t z) (- a z)) 0) into (/ (* t z) (- a z))
18.184 * [backup-simplify]: Simplify (- (/ (* t z) (- a z))) into (- (/ (* t z) (- a z)))
18.184 * [backup-simplify]: Simplify (+ (/ (* t y) (- a z)) (- (/ (* t z) (- a z)))) into (- (/ (* t y) (- a z)) (/ (* t z) (- a z)))
18.184 * [taylor]: Taking taylor expansion of (- (/ (* t y) (- a z)) (/ (* t z) (- a z))) in y
18.184 * [taylor]: Taking taylor expansion of (/ (* t y) (- a z)) in y
18.184 * [taylor]: Taking taylor expansion of (* t y) in y
18.184 * [taylor]: Taking taylor expansion of t in y
18.184 * [backup-simplify]: Simplify t into t
18.184 * [taylor]: Taking taylor expansion of y in y
18.184 * [backup-simplify]: Simplify 0 into 0
18.184 * [backup-simplify]: Simplify 1 into 1
18.184 * [taylor]: Taking taylor expansion of (- a z) in y
18.184 * [taylor]: Taking taylor expansion of a in y
18.184 * [backup-simplify]: Simplify a into a
18.184 * [taylor]: Taking taylor expansion of z in y
18.184 * [backup-simplify]: Simplify z into z
18.184 * [backup-simplify]: Simplify (* t 0) into 0
18.184 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
18.184 * [backup-simplify]: Simplify (- z) into (- z)
18.184 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.184 * [backup-simplify]: Simplify (/ t (- a z)) into (/ t (- a z))
18.184 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in y
18.185 * [taylor]: Taking taylor expansion of (* t z) in y
18.185 * [taylor]: Taking taylor expansion of t in y
18.185 * [backup-simplify]: Simplify t into t
18.185 * [taylor]: Taking taylor expansion of z in y
18.185 * [backup-simplify]: Simplify z into z
18.185 * [taylor]: Taking taylor expansion of (- a z) in y
18.185 * [taylor]: Taking taylor expansion of a in y
18.185 * [backup-simplify]: Simplify a into a
18.185 * [taylor]: Taking taylor expansion of z in y
18.185 * [backup-simplify]: Simplify z into z
18.185 * [backup-simplify]: Simplify (* t z) into (* t z)
18.185 * [backup-simplify]: Simplify (- z) into (- z)
18.185 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.185 * [backup-simplify]: Simplify (/ (* t z) (- a z)) into (/ (* t z) (- a z))
18.185 * [backup-simplify]: Simplify (- (/ (* t z) (- a z))) into (- (/ (* t z) (- a z)))
18.185 * [backup-simplify]: Simplify (+ 0 (- (/ (* t z) (- a z)))) into (- (/ (* t z) (- a z)))
18.185 * [taylor]: Taking taylor expansion of (- (/ (* t z) (- a z))) in z
18.185 * [taylor]: Taking taylor expansion of (/ (* t z) (- a z)) in z
18.185 * [taylor]: Taking taylor expansion of (* t z) in z
18.185 * [taylor]: Taking taylor expansion of t in z
18.185 * [backup-simplify]: Simplify t into t
18.185 * [taylor]: Taking taylor expansion of z in z
18.185 * [backup-simplify]: Simplify 0 into 0
18.185 * [backup-simplify]: Simplify 1 into 1
18.185 * [taylor]: Taking taylor expansion of (- a z) in z
18.185 * [taylor]: Taking taylor expansion of a in z
18.185 * [backup-simplify]: Simplify a into a
18.185 * [taylor]: Taking taylor expansion of z in z
18.185 * [backup-simplify]: Simplify 0 into 0
18.185 * [backup-simplify]: Simplify 1 into 1
18.185 * [backup-simplify]: Simplify (* t 0) into 0
18.186 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
18.186 * [backup-simplify]: Simplify (- 0) into 0
18.186 * [backup-simplify]: Simplify (+ a 0) into a
18.186 * [backup-simplify]: Simplify (/ t a) into (/ t a)
18.186 * [backup-simplify]: Simplify (+ (* t 0) (* 0 y)) into 0
18.186 * [backup-simplify]: Simplify (- 0) into 0
18.186 * [backup-simplify]: Simplify (+ 0 0) into 0
18.187 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ (* t y) (- a z)) (/ 0 (- a z))))) into 0
18.187 * [backup-simplify]: Simplify (+ 1 (/ z (- a z))) into (+ (/ z (- a z)) 1)
18.187 * [backup-simplify]: Simplify (+ 0 (+ (/ z (- a z)) 1)) into (+ (/ z (- a z)) 1)
18.187 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0
18.187 * [backup-simplify]: Simplify (- 0) into 0
18.187 * [backup-simplify]: Simplify (+ 0 0) into 0
18.188 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ (* t z) (- a z)) (/ 0 (- a z))))) into 0
18.188 * [backup-simplify]: Simplify (+ 0 (/ y (- a z))) into (/ y (- a z))
18.188 * [backup-simplify]: Simplify (- (/ y (- a z))) into (- (/ y (- a z)))
18.188 * [backup-simplify]: Simplify (+ (+ (/ z (- a z)) 1) (- (/ y (- a z)))) into (- (+ (/ z (- a z)) 1) (/ y (- a z)))
18.188 * [taylor]: Taking taylor expansion of (- (+ (/ z (- a z)) 1) (/ y (- a z))) in y
18.188 * [taylor]: Taking taylor expansion of (+ (/ z (- a z)) 1) in y
18.188 * [taylor]: Taking taylor expansion of (/ z (- a z)) in y
18.188 * [taylor]: Taking taylor expansion of z in y
18.188 * [backup-simplify]: Simplify z into z
18.188 * [taylor]: Taking taylor expansion of (- a z) in y
18.188 * [taylor]: Taking taylor expansion of a in y
18.188 * [backup-simplify]: Simplify a into a
18.188 * [taylor]: Taking taylor expansion of z in y
18.188 * [backup-simplify]: Simplify z into z
18.188 * [backup-simplify]: Simplify (- z) into (- z)
18.188 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.188 * [backup-simplify]: Simplify (/ z (- a z)) into (/ z (- a z))
18.188 * [taylor]: Taking taylor expansion of 1 in y
18.188 * [backup-simplify]: Simplify 1 into 1
18.188 * [taylor]: Taking taylor expansion of (/ y (- a z)) in y
18.188 * [taylor]: Taking taylor expansion of y in y
18.188 * [backup-simplify]: Simplify 0 into 0
18.188 * [backup-simplify]: Simplify 1 into 1
18.188 * [taylor]: Taking taylor expansion of (- a z) in y
18.188 * [taylor]: Taking taylor expansion of a in y
18.188 * [backup-simplify]: Simplify a into a
18.188 * [taylor]: Taking taylor expansion of z in y
18.188 * [backup-simplify]: Simplify z into z
18.188 * [backup-simplify]: Simplify (- z) into (- z)
18.188 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
18.188 * [backup-simplify]: Simplify (/ 1 (- a z)) into (/ 1 (- a z))
18.189 * [backup-simplify]: Simplify (+ (/ z (- a z)) 1) into (+ (/ z (- a z)) 1)
18.189 * [backup-simplify]: Simplify (+ (+ (/ z (- a z)) 1) 0) into (+ (/ z (- a z)) 1)
18.189 * [taylor]: Taking taylor expansion of (+ (/ z (- a z)) 1) in z
18.189 * [taylor]: Taking taylor expansion of (/ z (- a z)) in z
18.189 * [taylor]: Taking taylor expansion of z in z
18.189 * [backup-simplify]: Simplify 0 into 0
18.189 * [backup-simplify]: Simplify 1 into 1
18.189 * [taylor]: Taking taylor expansion of (- a z) in z
18.189 * [taylor]: Taking taylor expansion of a in z
18.189 * [backup-simplify]: Simplify a into a
18.189 * [taylor]: Taking taylor expansion of z in z
18.189 * [backup-simplify]: Simplify 0 into 0
18.189 * [backup-simplify]: Simplify 1 into 1
18.189 * [backup-simplify]: Simplify (- 0) into 0
18.189 * [backup-simplify]: Simplify (+ a 0) into a
18.189 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.189 * [taylor]: Taking taylor expansion of 1 in z
18.189 * [backup-simplify]: Simplify 1 into 1
18.189 * [backup-simplify]: Simplify (+ 0 1) into 1
18.189 * [taylor]: Taking taylor expansion of 1 in t
18.189 * [backup-simplify]: Simplify 1 into 1
18.189 * [taylor]: Taking taylor expansion of 1 in a
18.190 * [backup-simplify]: Simplify 1 into 1
18.190 * [backup-simplify]: Simplify 1 into 1
18.190 * [backup-simplify]: Simplify (+ (* t 0) (* 0 z)) into 0
18.190 * [backup-simplify]: Simplify (- 0) into 0
18.190 * [backup-simplify]: Simplify (+ 0 0) into 0
18.191 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ (* t z) (- a z)) (/ 0 (- a z))))) into 0
18.191 * [backup-simplify]: Simplify (- 0) into 0
18.191 * [backup-simplify]: Simplify (+ (/ t (- a z)) 0) into (/ t (- a z))
18.191 * [taylor]: Taking taylor expansion of (/ t (- a z)) in z
18.191 * [taylor]: Taking taylor expansion of t in z
18.191 * [backup-simplify]: Simplify t into t
18.191 * [taylor]: Taking taylor expansion of (- a z) in z
18.191 * [taylor]: Taking taylor expansion of a in z
18.191 * [backup-simplify]: Simplify a into a
18.191 * [taylor]: Taking taylor expansion of z in z
18.191 * [backup-simplify]: Simplify 0 into 0
18.191 * [backup-simplify]: Simplify 1 into 1
18.191 * [backup-simplify]: Simplify (- 0) into 0
18.191 * [backup-simplify]: Simplify (+ a 0) into a
18.191 * [backup-simplify]: Simplify (/ t a) into (/ t a)
18.191 * [taylor]: Taking taylor expansion of (/ t a) in t
18.191 * [taylor]: Taking taylor expansion of t in t
18.191 * [backup-simplify]: Simplify 0 into 0
18.191 * [backup-simplify]: Simplify 1 into 1
18.191 * [taylor]: Taking taylor expansion of a in t
18.191 * [backup-simplify]: Simplify a into a
18.191 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.192 * [backup-simplify]: Simplify (- (/ t a)) into (- (/ t a))
18.192 * [taylor]: Taking taylor expansion of (- (/ t a)) in t
18.192 * [taylor]: Taking taylor expansion of (/ t a) in t
18.192 * [taylor]: Taking taylor expansion of t in t
18.192 * [backup-simplify]: Simplify 0 into 0
18.192 * [backup-simplify]: Simplify 1 into 1
18.192 * [taylor]: Taking taylor expansion of a in t
18.192 * [backup-simplify]: Simplify a into a
18.192 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.192 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 y))) into 0
18.192 * [backup-simplify]: Simplify (- 0) into 0
18.193 * [backup-simplify]: Simplify (+ 0 0) into 0
18.193 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ (* t y) (- a z)) (/ 0 (- a z))) (* 0 (/ 0 (- a z))))) into 0
18.193 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
18.194 * [backup-simplify]: Simplify (- 0) into 0
18.194 * [backup-simplify]: Simplify (+ 0 0) into 0
18.194 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ z (- a z)) (/ 0 (- a z))))) into 0
18.194 * [backup-simplify]: Simplify (+ 0 0) into 0
18.194 * [backup-simplify]: Simplify (+ 0 0) into 0
18.195 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0
18.195 * [backup-simplify]: Simplify (- 0) into 0
18.195 * [backup-simplify]: Simplify (+ 0 0) into 0
18.195 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ (* t z) (- a z)) (/ 0 (- a z))) (* 0 (/ 0 (- a z))))) into 0
18.196 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
18.196 * [backup-simplify]: Simplify (- 0) into 0
18.196 * [backup-simplify]: Simplify (+ 0 0) into 0
18.196 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ y (- a z)) (/ 0 (- a z))))) into 0
18.197 * [backup-simplify]: Simplify (+ 0 0) into 0
18.197 * [backup-simplify]: Simplify (- 0) into 0
18.197 * [backup-simplify]: Simplify (+ 0 0) into 0
18.197 * [taylor]: Taking taylor expansion of 0 in y
18.197 * [backup-simplify]: Simplify 0 into 0
18.197 * [taylor]: Taking taylor expansion of 0 in z
18.197 * [backup-simplify]: Simplify 0 into 0
18.197 * [taylor]: Taking taylor expansion of 0 in t
18.197 * [backup-simplify]: Simplify 0 into 0
18.197 * [taylor]: Taking taylor expansion of 0 in a
18.197 * [backup-simplify]: Simplify 0 into 0
18.197 * [backup-simplify]: Simplify 0 into 0
18.198 * [backup-simplify]: Simplify (- 0) into 0
18.198 * [backup-simplify]: Simplify (+ 0 0) into 0
18.198 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ z (- a z)) (/ 0 (- a z))))) into 0
18.198 * [backup-simplify]: Simplify (+ 0 0) into 0
18.198 * [backup-simplify]: Simplify (- (/ 1 (- a z))) into (- (/ 1 (- a z)))
18.198 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (- a z)))) into (- (/ 1 (- a z)))
18.198 * [taylor]: Taking taylor expansion of (- (/ 1 (- a z))) in z
18.198 * [taylor]: Taking taylor expansion of (/ 1 (- a z)) in z
18.198 * [taylor]: Taking taylor expansion of (- a z) in z
18.198 * [taylor]: Taking taylor expansion of a in z
18.198 * [backup-simplify]: Simplify a into a
18.198 * [taylor]: Taking taylor expansion of z in z
18.198 * [backup-simplify]: Simplify 0 into 0
18.198 * [backup-simplify]: Simplify 1 into 1
18.199 * [backup-simplify]: Simplify (- 0) into 0
18.199 * [backup-simplify]: Simplify (+ a 0) into a
18.199 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.199 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
18.199 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in t
18.199 * [taylor]: Taking taylor expansion of (/ 1 a) in t
18.199 * [taylor]: Taking taylor expansion of a in t
18.199 * [backup-simplify]: Simplify a into a
18.199 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.199 * [backup-simplify]: Simplify (- (/ 1 a)) into (- (/ 1 a))
18.199 * [taylor]: Taking taylor expansion of (- (/ 1 a)) in a
18.199 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.199 * [taylor]: Taking taylor expansion of a in a
18.199 * [backup-simplify]: Simplify 0 into 0
18.199 * [backup-simplify]: Simplify 1 into 1
18.199 * [backup-simplify]: Simplify (/ 1 1) into 1
18.200 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.200 * [backup-simplify]: Simplify (- 0) into 0
18.200 * [backup-simplify]: Simplify 0 into 0
18.200 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
18.201 * [backup-simplify]: Simplify (- 0) into 0
18.201 * [backup-simplify]: Simplify (+ 0 0) into 0
18.201 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ t (- a z)) (/ 0 (- a z))))) into 0
18.201 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 z))) into 0
18.202 * [backup-simplify]: Simplify (- 0) into 0
18.202 * [backup-simplify]: Simplify (+ 0 0) into 0
18.202 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (/ (* t z) (- a z)) (/ 0 (- a z))) (* 0 (/ 0 (- a z))))) into 0
18.202 * [backup-simplify]: Simplify (- 0) into 0
18.203 * [backup-simplify]: Simplify (+ 0 0) into 0
18.203 * [taylor]: Taking taylor expansion of 0 in z
18.203 * [backup-simplify]: Simplify 0 into 0
18.203 * [taylor]: Taking taylor expansion of 0 in t
18.203 * [backup-simplify]: Simplify 0 into 0
18.203 * [taylor]: Taking taylor expansion of 0 in a
18.203 * [backup-simplify]: Simplify 0 into 0
18.203 * [backup-simplify]: Simplify 0 into 0
18.203 * [backup-simplify]: Simplify (+ (/ 1 a) 0) into (/ 1 a)
18.203 * [taylor]: Taking taylor expansion of (/ 1 a) in t
18.203 * [taylor]: Taking taylor expansion of a in t
18.203 * [backup-simplify]: Simplify a into a
18.203 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
18.203 * [taylor]: Taking taylor expansion of (/ 1 a) in a
18.203 * [taylor]: Taking taylor expansion of a in a
18.203 * [backup-simplify]: Simplify 0 into 0
18.203 * [backup-simplify]: Simplify 1 into 1
18.203 * [backup-simplify]: Simplify (/ 1 1) into 1
18.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
18.204 * [backup-simplify]: Simplify 0 into 0
18.204 * [backup-simplify]: Simplify (- 1) into -1
18.204 * [backup-simplify]: Simplify (+ 0 -1) into -1