10.050 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.054 * * * [progress]: [2/2] Setting up program.
0.056 * [progress]: [Phase 2 of 3] Improving.
0.056 * [simplify]: Simplifying:
  (+ x (/ (* (- y z) (- t x)) (- a z)))
0.056 * * [simplify]: Extracting # 0 : cost  0
0.056 * * [simplify]: Extracting # 1 : cost  0
0.056 * * [simplify]: Extracting # 2 : cost  0
0.057 * * [simplify]: Extracting # 3 : cost  0
0.057 * * [simplify]: Extracting # 4 : cost  0
0.057 * * [simplify]: Extracting # 5 : cost  0
0.057 * * [simplify]: Extracting # 6 : cost  0
0.057 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
0.058 * * [simplify]: Extracting # 0 : cost  0
0.058 * * [simplify]: Extracting # 1 : cost  0
0.058 * * [simplify]: Extracting # 2 : cost  0
0.058 * * [simplify]: iteration  1 :  20  enodes  (cost  13 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  2 :  45  enodes  (cost  13 )
0.070 * * [simplify]: Extracting # 0 : cost  0
0.070 * * [simplify]: Extracting # 1 : cost  0
0.070 * * [simplify]: Extracting # 2 : cost  0
0.070 * * [simplify]: iteration  3 :  111  enodes  (cost  13 )
0.120 * * [simplify]: Extracting # 0 : cost  0
0.120 * * [simplify]: Extracting # 1 : cost  0
0.121 * * [simplify]: Extracting # 2 : cost  0
0.121 * * [simplify]: iteration  4 :  288  enodes  (cost  13 )
0.261 * * [simplify]: Extracting # 0 : cost  0
0.262 * * [simplify]: Extracting # 1 : cost  0
0.263 * * [simplify]: Extracting # 2 : cost  0
0.264 * * [simplify]: iteration  5 :  631  enodes  (cost  13 )
0.636 * * [simplify]: Extracting # 0 : cost  0
0.638 * * [simplify]: Extracting # 1 : cost  0
0.641 * * [simplify]: Extracting # 2 : cost  0
0.642 * * [simplify]: Extracting # 3 : cost  0
0.643 * * [simplify]: Extracting # 4 : cost  0
0.644 * * [simplify]: iteration  6 :  1195  enodes  (cost  13 )
1.590 * * [simplify]: Extracting # 0 : cost  0
1.592 * * [simplify]: Extracting # 1 : cost  0
1.593 * * [simplify]: Extracting # 2 : cost  0
1.594 * * [simplify]: iteration  7 :  2059  enodes  (cost  13 )
3.204 * * [simplify]: Extracting # 0 : cost  0
3.207 * * [simplify]: Extracting # 1 : cost  0
3.208 * * [simplify]: Extracting # 2 : cost  0
3.210 * * [simplify]: iteration  8 :  2903  enodes  (cost  13 )
5.525 * * [simplify]: Extracting # 0 : cost  0
5.530 * * [simplify]: Extracting # 1 : cost  0
5.534 * * [simplify]: Extracting # 2 : cost  0
5.537 * * [simplify]: iteration  9 :  3426  enodes  (cost  13 )
8.173 * * [simplify]: Extracting # 0 : cost  0
8.176 * * [simplify]: Extracting # 1 : cost  0
8.178 * * [simplify]: Extracting # 2 : cost  0
8.179 * * [simplify]: iteration  10 :  3861  enodes  (cost  13 )
11.123 * * [simplify]: Extracting # 0 : cost  0
11.125 * * [simplify]: Extracting # 1 : cost  0
11.127 * * [simplify]: Extracting # 2 : cost  0
11.129 * * [simplify]: iteration  11 :  4158  enodes  (cost  13 )
14.009 * * [simplify]: Extracting # 0 : cost  0
14.014 * * [simplify]: Extracting # 1 : cost  0
14.019 * * [simplify]: Extracting # 2 : cost  0
14.024 * * [simplify]: iteration done:  5000  enodes  (cost  13 )
14.024 * [simplify]: Simplified to:
  (+ x (/ (* (- y z) (- t x)) (- a z)))
14.025 * * [progress]: iteration 1 / 4
14.025 * * * [progress]: picking best candidate
14.029 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ x (/ (* (- y z) (- t x)) (- a z))))>
14.029 * * * [progress]: localizing error
14.053 * * * [progress]: generating rewritten candidates
14.053 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
14.124 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
14.147 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
14.189 * * * [progress]: generating series expansions
14.189 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
14.189 * [backup-simplify]: Simplify (/ (* (- y z) (- t x)) (- a z)) into (/ (* (- y z) (- t x)) (- a z))
14.189 * [approximate]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in (y z t x a) around 0
14.189 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in a
14.189 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in a
14.189 * [taylor]: Taking taylor expansion of (- y z) in a
14.189 * [taylor]: Taking taylor expansion of y in a
14.189 * [backup-simplify]: Simplify y into y
14.189 * [taylor]: Taking taylor expansion of z in a
14.189 * [backup-simplify]: Simplify z into z
14.189 * [taylor]: Taking taylor expansion of (- t x) in a
14.189 * [taylor]: Taking taylor expansion of t in a
14.190 * [backup-simplify]: Simplify t into t
14.190 * [taylor]: Taking taylor expansion of x in a
14.190 * [backup-simplify]: Simplify x into x
14.190 * [taylor]: Taking taylor expansion of (- a z) in a
14.190 * [taylor]: Taking taylor expansion of a in a
14.190 * [backup-simplify]: Simplify 0 into 0
14.190 * [backup-simplify]: Simplify 1 into 1
14.190 * [taylor]: Taking taylor expansion of z in a
14.190 * [backup-simplify]: Simplify z into z
14.190 * [backup-simplify]: Simplify (- z) into (- z)
14.190 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
14.190 * [backup-simplify]: Simplify (- x) into (- x)
14.190 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
14.190 * [backup-simplify]: Simplify (* (- y z) (- t x)) into (* (- y z) (- t x))
14.190 * [backup-simplify]: Simplify (- z) into (- z)
14.190 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
14.190 * [backup-simplify]: Simplify (/ (* (- y z) (- t x)) (- z)) into (* -1 (/ (* (- y z) (- t x)) z))
14.190 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in x
14.190 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
14.190 * [taylor]: Taking taylor expansion of (- y z) in x
14.190 * [taylor]: Taking taylor expansion of y in x
14.190 * [backup-simplify]: Simplify y into y
14.190 * [taylor]: Taking taylor expansion of z in x
14.190 * [backup-simplify]: Simplify z into z
14.190 * [taylor]: Taking taylor expansion of (- t x) in x
14.190 * [taylor]: Taking taylor expansion of t in x
14.190 * [backup-simplify]: Simplify t into t
14.190 * [taylor]: Taking taylor expansion of x in x
14.190 * [backup-simplify]: Simplify 0 into 0
14.190 * [backup-simplify]: Simplify 1 into 1
14.190 * [taylor]: Taking taylor expansion of (- a z) in x
14.190 * [taylor]: Taking taylor expansion of a in x
14.190 * [backup-simplify]: Simplify a into a
14.190 * [taylor]: Taking taylor expansion of z in x
14.190 * [backup-simplify]: Simplify z into z
14.190 * [backup-simplify]: Simplify (- z) into (- z)
14.190 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
14.191 * [backup-simplify]: Simplify (- 0) into 0
14.191 * [backup-simplify]: Simplify (+ t 0) into t
14.191 * [backup-simplify]: Simplify (* (- y z) t) into (* (- y z) t)
14.191 * [backup-simplify]: Simplify (- z) into (- z)
14.191 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
14.191 * [backup-simplify]: Simplify (/ (* (- y z) t) (- a z)) into (/ (* (- y z) t) (- a z))
14.191 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in t
14.191 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
14.191 * [taylor]: Taking taylor expansion of (- y z) in t
14.191 * [taylor]: Taking taylor expansion of y in t
14.191 * [backup-simplify]: Simplify y into y
14.191 * [taylor]: Taking taylor expansion of z in t
14.191 * [backup-simplify]: Simplify z into z
14.191 * [taylor]: Taking taylor expansion of (- t x) in t
14.191 * [taylor]: Taking taylor expansion of t in t
14.191 * [backup-simplify]: Simplify 0 into 0
14.191 * [backup-simplify]: Simplify 1 into 1
14.191 * [taylor]: Taking taylor expansion of x in t
14.191 * [backup-simplify]: Simplify x into x
14.191 * [taylor]: Taking taylor expansion of (- a z) in t
14.191 * [taylor]: Taking taylor expansion of a in t
14.191 * [backup-simplify]: Simplify a into a
14.191 * [taylor]: Taking taylor expansion of z in t
14.191 * [backup-simplify]: Simplify z into z
14.191 * [backup-simplify]: Simplify (- z) into (- z)
14.191 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
14.191 * [backup-simplify]: Simplify (- x) into (- x)
14.191 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
14.191 * [backup-simplify]: Simplify (* (- y z) (- x)) into (* -1 (* (- y z) x))
14.192 * [backup-simplify]: Simplify (- z) into (- z)
14.192 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
14.192 * [backup-simplify]: Simplify (/ (* -1 (* (- y z) x)) (- a z)) into (* -1 (/ (* (- y z) x) (- a z)))
14.192 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in z
14.192 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
14.192 * [taylor]: Taking taylor expansion of (- y z) in z
14.192 * [taylor]: Taking taylor expansion of y in z
14.192 * [backup-simplify]: Simplify y into y
14.192 * [taylor]: Taking taylor expansion of z in z
14.192 * [backup-simplify]: Simplify 0 into 0
14.192 * [backup-simplify]: Simplify 1 into 1
14.192 * [taylor]: Taking taylor expansion of (- t x) in z
14.192 * [taylor]: Taking taylor expansion of t in z
14.192 * [backup-simplify]: Simplify t into t
14.192 * [taylor]: Taking taylor expansion of x in z
14.192 * [backup-simplify]: Simplify x into x
14.192 * [taylor]: Taking taylor expansion of (- a z) in z
14.192 * [taylor]: Taking taylor expansion of a in z
14.192 * [backup-simplify]: Simplify a into a
14.192 * [taylor]: Taking taylor expansion of z in z
14.192 * [backup-simplify]: Simplify 0 into 0
14.192 * [backup-simplify]: Simplify 1 into 1
14.192 * [backup-simplify]: Simplify (- 0) into 0
14.192 * [backup-simplify]: Simplify (+ y 0) into y
14.192 * [backup-simplify]: Simplify (- x) into (- x)
14.192 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
14.192 * [backup-simplify]: Simplify (* y (- t x)) into (* (- t x) y)
14.193 * [backup-simplify]: Simplify (- 0) into 0
14.193 * [backup-simplify]: Simplify (+ a 0) into a
14.193 * [backup-simplify]: Simplify (/ (* (- t x) y) a) into (/ (* (- t x) y) a)
14.193 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in y
14.193 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
14.193 * [taylor]: Taking taylor expansion of (- y z) in y
14.193 * [taylor]: Taking taylor expansion of y in y
14.193 * [backup-simplify]: Simplify 0 into 0
14.193 * [backup-simplify]: Simplify 1 into 1
14.193 * [taylor]: Taking taylor expansion of z in y
14.193 * [backup-simplify]: Simplify z into z
14.193 * [taylor]: Taking taylor expansion of (- t x) in y
14.193 * [taylor]: Taking taylor expansion of t in y
14.193 * [backup-simplify]: Simplify t into t
14.193 * [taylor]: Taking taylor expansion of x in y
14.193 * [backup-simplify]: Simplify x into x
14.193 * [taylor]: Taking taylor expansion of (- a z) in y
14.193 * [taylor]: Taking taylor expansion of a in y
14.193 * [backup-simplify]: Simplify a into a
14.193 * [taylor]: Taking taylor expansion of z in y
14.193 * [backup-simplify]: Simplify z into z
14.193 * [backup-simplify]: Simplify (- z) into (- z)
14.193 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
14.193 * [backup-simplify]: Simplify (- x) into (- x)
14.193 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
14.193 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x)))
14.193 * [backup-simplify]: Simplify (- z) into (- z)
14.193 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
14.194 * [backup-simplify]: Simplify (/ (* -1 (* z (- t x))) (- a z)) into (* -1 (/ (* z (- t x)) (- a z)))
14.194 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in y
14.194 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
14.194 * [taylor]: Taking taylor expansion of (- y z) in y
14.194 * [taylor]: Taking taylor expansion of y in y
14.194 * [backup-simplify]: Simplify 0 into 0
14.194 * [backup-simplify]: Simplify 1 into 1
14.194 * [taylor]: Taking taylor expansion of z in y
14.194 * [backup-simplify]: Simplify z into z
14.194 * [taylor]: Taking taylor expansion of (- t x) in y
14.194 * [taylor]: Taking taylor expansion of t in y
14.194 * [backup-simplify]: Simplify t into t
14.194 * [taylor]: Taking taylor expansion of x in y
14.194 * [backup-simplify]: Simplify x into x
14.194 * [taylor]: Taking taylor expansion of (- a z) in y
14.194 * [taylor]: Taking taylor expansion of a in y
14.194 * [backup-simplify]: Simplify a into a
14.194 * [taylor]: Taking taylor expansion of z in y
14.194 * [backup-simplify]: Simplify z into z
14.194 * [backup-simplify]: Simplify (- z) into (- z)
14.194 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
14.194 * [backup-simplify]: Simplify (- x) into (- x)
14.194 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
14.194 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x)))
14.194 * [backup-simplify]: Simplify (- z) into (- z)
14.194 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
14.194 * [backup-simplify]: Simplify (/ (* -1 (* z (- t x))) (- a z)) into (* -1 (/ (* z (- t x)) (- a z)))
14.194 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (- t x)) (- a z))) in z
14.194 * [taylor]: Taking taylor expansion of -1 in z
14.194 * [backup-simplify]: Simplify -1 into -1
14.194 * [taylor]: Taking taylor expansion of (/ (* z (- t x)) (- a z)) in z
14.194 * [taylor]: Taking taylor expansion of (* z (- t x)) in z
14.194 * [taylor]: Taking taylor expansion of z in z
14.194 * [backup-simplify]: Simplify 0 into 0
14.194 * [backup-simplify]: Simplify 1 into 1
14.194 * [taylor]: Taking taylor expansion of (- t x) in z
14.194 * [taylor]: Taking taylor expansion of t in z
14.194 * [backup-simplify]: Simplify t into t
14.194 * [taylor]: Taking taylor expansion of x in z
14.194 * [backup-simplify]: Simplify x into x
14.194 * [taylor]: Taking taylor expansion of (- a z) in z
14.195 * [taylor]: Taking taylor expansion of a in z
14.195 * [backup-simplify]: Simplify a into a
14.195 * [taylor]: Taking taylor expansion of z in z
14.195 * [backup-simplify]: Simplify 0 into 0
14.195 * [backup-simplify]: Simplify 1 into 1
14.195 * [backup-simplify]: Simplify (- x) into (- x)
14.195 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
14.195 * [backup-simplify]: Simplify (* 0 (- t x)) into 0
14.195 * [backup-simplify]: Simplify (- 0) into 0
14.195 * [backup-simplify]: Simplify (+ 0 0) into 0
14.195 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- t x))) into (- t x)
14.196 * [backup-simplify]: Simplify (- 0) into 0
14.196 * [backup-simplify]: Simplify (+ a 0) into a
14.196 * [backup-simplify]: Simplify (/ (- t x) a) into (/ (- t x) a)
14.196 * [backup-simplify]: Simplify (- 0) into 0
14.197 * [backup-simplify]: Simplify (+ 0 0) into 0
14.197 * [backup-simplify]: Simplify (- 0) into 0
14.197 * [backup-simplify]: Simplify (+ 1 0) into 1
14.197 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 (- t x))) into (- t x)
14.197 * [backup-simplify]: Simplify (- 0) into 0
14.198 * [backup-simplify]: Simplify (+ 0 0) into 0
14.198 * [backup-simplify]: Simplify (- (/ (- t x) (- a z)) (+ (* (* -1 (/ (* z (- t x)) (- a z))) (/ 0 (- a z))))) into (- (/ t (- a z)) (/ x (- a z)))
14.198 * [taylor]: Taking taylor expansion of (- (/ t (- a z)) (/ x (- a z))) in z
14.198 * [taylor]: Taking taylor expansion of (/ t (- a z)) in z
14.198 * [taylor]: Taking taylor expansion of t in z
14.198 * [backup-simplify]: Simplify t into t
14.198 * [taylor]: Taking taylor expansion of (- a z) in z
14.198 * [taylor]: Taking taylor expansion of a in z
14.198 * [backup-simplify]: Simplify a into a
14.198 * [taylor]: Taking taylor expansion of z in z
14.198 * [backup-simplify]: Simplify 0 into 0
14.198 * [backup-simplify]: Simplify 1 into 1
14.198 * [backup-simplify]: Simplify (- 0) into 0
14.198 * [backup-simplify]: Simplify (+ a 0) into a
14.198 * [backup-simplify]: Simplify (/ t a) into (/ t a)
14.198 * [taylor]: Taking taylor expansion of (/ x (- a z)) in z
14.198 * [taylor]: Taking taylor expansion of x in z
14.198 * [backup-simplify]: Simplify x into x
14.198 * [taylor]: Taking taylor expansion of (- a z) in z
14.198 * [taylor]: Taking taylor expansion of a in z
14.198 * [backup-simplify]: Simplify a into a
14.198 * [taylor]: Taking taylor expansion of z in z
14.198 * [backup-simplify]: Simplify 0 into 0
14.198 * [backup-simplify]: Simplify 1 into 1
14.199 * [backup-simplify]: Simplify (- 0) into 0
14.199 * [backup-simplify]: Simplify (+ a 0) into a
14.199 * [backup-simplify]: Simplify (/ x a) into (/ x a)
14.199 * [backup-simplify]: Simplify (- (/ x a)) into (- (/ x a))
14.199 * [backup-simplify]: Simplify (+ (/ t a) (- (/ x a))) into (- (/ t a) (/ x a))
14.199 * [taylor]: Taking taylor expansion of (- (/ t a) (/ x a)) in t
14.199 * [taylor]: Taking taylor expansion of (/ t a) in t
14.199 * [taylor]: Taking taylor expansion of t in t
14.199 * [backup-simplify]: Simplify 0 into 0
14.199 * [backup-simplify]: Simplify 1 into 1
14.199 * [taylor]: Taking taylor expansion of a in t
14.199 * [backup-simplify]: Simplify a into a
14.199 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
14.199 * [taylor]: Taking taylor expansion of (/ x a) in t
14.199 * [taylor]: Taking taylor expansion of x in t
14.199 * [backup-simplify]: Simplify x into x
14.199 * [taylor]: Taking taylor expansion of a in t
14.199 * [backup-simplify]: Simplify a into a
14.199 * [backup-simplify]: Simplify (/ x a) into (/ x a)
14.199 * [backup-simplify]: Simplify (- (/ x a)) into (- (/ x a))
14.199 * [backup-simplify]: Simplify (+ 0 (- (/ x a))) into (- (/ x a))
14.199 * [taylor]: Taking taylor expansion of (- (/ x a)) in x
14.199 * [taylor]: Taking taylor expansion of (/ x a) in x
14.199 * [taylor]: Taking taylor expansion of x in x
14.199 * [backup-simplify]: Simplify 0 into 0
14.199 * [backup-simplify]: Simplify 1 into 1
14.199 * [taylor]: Taking taylor expansion of a in x
14.199 * [backup-simplify]: Simplify a into a
14.199 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
14.200 * [backup-simplify]: Simplify (* -1 (/ (- t x) a)) into (* -1 (/ (- t x) a))
14.200 * [taylor]: Taking taylor expansion of (* -1 (/ (- t x) a)) in t
14.200 * [taylor]: Taking taylor expansion of -1 in t
14.200 * [backup-simplify]: Simplify -1 into -1
14.200 * [taylor]: Taking taylor expansion of (/ (- t x) a) in t
14.200 * [taylor]: Taking taylor expansion of (- t x) in t
14.200 * [taylor]: Taking taylor expansion of t in t
14.200 * [backup-simplify]: Simplify 0 into 0
14.200 * [backup-simplify]: Simplify 1 into 1
14.200 * [taylor]: Taking taylor expansion of x in t
14.200 * [backup-simplify]: Simplify x into x
14.200 * [taylor]: Taking taylor expansion of a in t
14.200 * [backup-simplify]: Simplify a into a
14.200 * [backup-simplify]: Simplify (- x) into (- x)
14.200 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
14.200 * [backup-simplify]: Simplify (/ (- x) a) into (* -1 (/ x a))
14.200 * [backup-simplify]: Simplify (* -1 (* -1 (/ x a))) into (/ x a)
14.200 * [taylor]: Taking taylor expansion of (/ x a) in x
14.200 * [taylor]: Taking taylor expansion of x in x
14.200 * [backup-simplify]: Simplify 0 into 0
14.200 * [backup-simplify]: Simplify 1 into 1
14.200 * [taylor]: Taking taylor expansion of a in x
14.200 * [backup-simplify]: Simplify a into a
14.200 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
14.200 * [backup-simplify]: Simplify (- 0) into 0
14.201 * [backup-simplify]: Simplify (+ 0 0) into 0
14.201 * [backup-simplify]: Simplify (- 0) into 0
14.201 * [backup-simplify]: Simplify (+ 0 0) into 0
14.201 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 (- t x)))) into 0
14.202 * [backup-simplify]: Simplify (- 0) into 0
14.202 * [backup-simplify]: Simplify (+ 0 0) into 0
14.202 * [backup-simplify]: Simplify (- (/ 0 (- a z)) (+ (* (* -1 (/ (* z (- t x)) (- a z))) (/ 0 (- a z))) (* (- (/ t (- a z)) (/ x (- a z))) (/ 0 (- a z))))) into 0
14.202 * [taylor]: Taking taylor expansion of 0 in z
14.202 * [backup-simplify]: Simplify 0 into 0
14.202 * [taylor]: Taking taylor expansion of 0 in t
14.202 * [backup-simplify]: Simplify 0 into 0
14.202 * [taylor]: Taking taylor expansion of 0 in x
14.202 * [backup-simplify]: Simplify 0 into 0
14.202 * [taylor]: Taking taylor expansion of 0 in a
14.202 * [backup-simplify]: Simplify 0 into 0
14.202 * [backup-simplify]: Simplify 0 into 0
14.203 * [backup-simplify]: Simplify (- 1) into -1
14.203 * [backup-simplify]: Simplify (+ 0 -1) into -1