19.829 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.060 * * * [progress]: [2/2] Setting up program.
0.065 * [progress]: [Phase 2 of 3] Improving.
0.065 * [simplify]: Simplifying:
  (+ x (* (- y z) (/ (- t x) (- a z))))
0.065 * * [simplify]: Extracting # 0 : cost  0
0.065 * * [simplify]: Extracting # 1 : cost  0
0.066 * * [simplify]: Extracting # 2 : cost  0
0.066 * * [simplify]: Extracting # 3 : cost  0
0.066 * * [simplify]: Extracting # 4 : cost  0
0.066 * * [simplify]: Extracting # 5 : cost  0
0.066 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
0.069 * * [simplify]: Extracting # 0 : cost  0
0.069 * * [simplify]: Extracting # 1 : cost  0
0.069 * * [simplify]: Extracting # 2 : cost  0
0.069 * * [simplify]: iteration  1 :  23  enodes  (cost  13 )
0.076 * * [simplify]: Extracting # 0 : cost  0
0.076 * * [simplify]: Extracting # 1 : cost  0
0.076 * * [simplify]: Extracting # 2 : cost  0
0.076 * * [simplify]: iteration  2 :  44  enodes  (cost  13 )
0.094 * * [simplify]: Extracting # 0 : cost  0
0.094 * * [simplify]: Extracting # 1 : cost  0
0.095 * * [simplify]: Extracting # 2 : cost  0
0.095 * * [simplify]: iteration  3 :  122  enodes  (cost  13 )
0.158 * * [simplify]: Extracting # 0 : cost  0
0.158 * * [simplify]: Extracting # 1 : cost  0
0.158 * * [simplify]: Extracting # 2 : cost  0
0.159 * * [simplify]: iteration  4 :  327  enodes  (cost  13 )
0.299 * * [simplify]: Extracting # 0 : cost  0
0.300 * * [simplify]: Extracting # 1 : cost  0
0.302 * * [simplify]: Extracting # 2 : cost  0
0.303 * * [simplify]: iteration  5 :  732  enodes  (cost  13 )
0.769 * * [simplify]: Extracting # 0 : cost  0
0.771 * * [simplify]: Extracting # 1 : cost  0
0.772 * * [simplify]: Extracting # 2 : cost  0
0.773 * * [simplify]: Extracting # 3 : cost  0
0.774 * * [simplify]: Extracting # 4 : cost  0
0.774 * * [simplify]: iteration  6 :  1485  enodes  (cost  13 )
1.810 * * [simplify]: Extracting # 0 : cost  0
1.812 * * [simplify]: Extracting # 1 : cost  0
1.814 * * [simplify]: Extracting # 2 : cost  0
1.816 * * [simplify]: Extracting # 3 : cost  0
1.819 * * [simplify]: iteration  7 :  2361  enodes  (cost  13 )
3.761 * * [simplify]: Extracting # 0 : cost  0
3.767 * * [simplify]: Extracting # 1 : cost  0
3.771 * * [simplify]: Extracting # 2 : cost  0
3.774 * * [simplify]: Extracting # 3 : cost  0
3.777 * * [simplify]: iteration  8 :  3197  enodes  (cost  13 )
6.383 * * [simplify]: Extracting # 0 : cost  0
6.388 * * [simplify]: Extracting # 1 : cost  0
6.391 * * [simplify]: Extracting # 2 : cost  0
6.394 * * [simplify]: iteration  9 :  3665  enodes  (cost  13 )
8.957 * * [simplify]: Extracting # 0 : cost  0
8.958 * * [simplify]: Extracting # 1 : cost  0
8.960 * * [simplify]: Extracting # 2 : cost  0
8.961 * * [simplify]: iteration  10 :  3837  enodes  (cost  13 )
11.358 * * [simplify]: Extracting # 0 : cost  0
11.360 * * [simplify]: Extracting # 1 : cost  0
11.362 * * [simplify]: Extracting # 2 : cost  0
11.363 * * [simplify]: iteration  11 :  4148  enodes  (cost  13 )
14.564 * * [simplify]: Extracting # 0 : cost  0
14.568 * * [simplify]: Extracting # 1 : cost  0
14.572 * * [simplify]: Extracting # 2 : cost  0
14.575 * * [simplify]: iteration  12 :  4410  enodes  (cost  13 )
17.632 * * [simplify]: Extracting # 0 : cost  0
17.635 * * [simplify]: Extracting # 1 : cost  0
17.637 * * [simplify]: Extracting # 2 : cost  0
17.646 * * [simplify]: iteration done:  5000  enodes  (cost  13 )
17.646 * [simplify]: Simplified to:
  (+ x (* (- y z) (/ (- t x) (- a z))))
17.647 * * [progress]: iteration 1 / 4
17.647 * * * [progress]: picking best candidate
17.650 * * * * [pick]: Picked  #<alt (λ (x y z t a) (+ x (* (- y z) (/ (- t x) (- a z)))))>
17.650 * * * [progress]: localizing error
17.675 * * * [progress]: generating rewritten candidates
17.675 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
17.770 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
17.784 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2)
17.813 * * * [progress]: generating series expansions
17.813 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
17.813 * [backup-simplify]: Simplify (* (- y z) (/ (- t x) (- a z))) into (/ (* (- y z) (- t x)) (- a z))
17.813 * [approximate]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in (y z t x a) around 0
17.813 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in a
17.813 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in a
17.813 * [taylor]: Taking taylor expansion of (- y z) in a
17.813 * [taylor]: Taking taylor expansion of y in a
17.813 * [backup-simplify]: Simplify y into y
17.813 * [taylor]: Taking taylor expansion of z in a
17.813 * [backup-simplify]: Simplify z into z
17.813 * [taylor]: Taking taylor expansion of (- t x) in a
17.813 * [taylor]: Taking taylor expansion of t in a
17.813 * [backup-simplify]: Simplify t into t
17.813 * [taylor]: Taking taylor expansion of x in a
17.813 * [backup-simplify]: Simplify x into x
17.813 * [taylor]: Taking taylor expansion of (- a z) in a
17.813 * [taylor]: Taking taylor expansion of a in a
17.813 * [backup-simplify]: Simplify 0 into 0
17.813 * [backup-simplify]: Simplify 1 into 1
17.813 * [taylor]: Taking taylor expansion of z in a
17.813 * [backup-simplify]: Simplify z into z
17.813 * [backup-simplify]: Simplify (- z) into (- z)
17.813 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
17.813 * [backup-simplify]: Simplify (- x) into (- x)
17.813 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
17.814 * [backup-simplify]: Simplify (* (- y z) (- t x)) into (* (- y z) (- t x))
17.814 * [backup-simplify]: Simplify (- z) into (- z)
17.814 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
17.814 * [backup-simplify]: Simplify (/ (* (- y z) (- t x)) (- z)) into (* -1 (/ (* (- y z) (- t x)) z))
17.814 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in x
17.814 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x
17.814 * [taylor]: Taking taylor expansion of (- y z) in x
17.814 * [taylor]: Taking taylor expansion of y in x
17.814 * [backup-simplify]: Simplify y into y
17.814 * [taylor]: Taking taylor expansion of z in x
17.814 * [backup-simplify]: Simplify z into z
17.814 * [taylor]: Taking taylor expansion of (- t x) in x
17.814 * [taylor]: Taking taylor expansion of t in x
17.814 * [backup-simplify]: Simplify t into t
17.814 * [taylor]: Taking taylor expansion of x in x
17.814 * [backup-simplify]: Simplify 0 into 0
17.814 * [backup-simplify]: Simplify 1 into 1
17.814 * [taylor]: Taking taylor expansion of (- a z) in x
17.814 * [taylor]: Taking taylor expansion of a in x
17.814 * [backup-simplify]: Simplify a into a
17.814 * [taylor]: Taking taylor expansion of z in x
17.814 * [backup-simplify]: Simplify z into z
17.814 * [backup-simplify]: Simplify (- z) into (- z)
17.814 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
17.815 * [backup-simplify]: Simplify (- 0) into 0
17.815 * [backup-simplify]: Simplify (+ t 0) into t
17.815 * [backup-simplify]: Simplify (* (- y z) t) into (* (- y z) t)
17.815 * [backup-simplify]: Simplify (- z) into (- z)
17.815 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
17.815 * [backup-simplify]: Simplify (/ (* (- y z) t) (- a z)) into (/ (* (- y z) t) (- a z))
17.815 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in t
17.815 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t
17.815 * [taylor]: Taking taylor expansion of (- y z) in t
17.815 * [taylor]: Taking taylor expansion of y in t
17.815 * [backup-simplify]: Simplify y into y
17.815 * [taylor]: Taking taylor expansion of z in t
17.815 * [backup-simplify]: Simplify z into z
17.815 * [taylor]: Taking taylor expansion of (- t x) in t
17.815 * [taylor]: Taking taylor expansion of t in t
17.815 * [backup-simplify]: Simplify 0 into 0
17.815 * [backup-simplify]: Simplify 1 into 1
17.815 * [taylor]: Taking taylor expansion of x in t
17.815 * [backup-simplify]: Simplify x into x
17.815 * [taylor]: Taking taylor expansion of (- a z) in t
17.815 * [taylor]: Taking taylor expansion of a in t
17.815 * [backup-simplify]: Simplify a into a
17.815 * [taylor]: Taking taylor expansion of z in t
17.815 * [backup-simplify]: Simplify z into z
17.815 * [backup-simplify]: Simplify (- z) into (- z)
17.815 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
17.815 * [backup-simplify]: Simplify (- x) into (- x)
17.815 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
17.815 * [backup-simplify]: Simplify (* (- y z) (- x)) into (* -1 (* (- y z) x))
17.815 * [backup-simplify]: Simplify (- z) into (- z)
17.815 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
17.815 * [backup-simplify]: Simplify (/ (* -1 (* (- y z) x)) (- a z)) into (* -1 (/ (* (- y z) x) (- a z)))
17.815 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in z
17.816 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z
17.816 * [taylor]: Taking taylor expansion of (- y z) in z
17.816 * [taylor]: Taking taylor expansion of y in z
17.816 * [backup-simplify]: Simplify y into y
17.816 * [taylor]: Taking taylor expansion of z in z
17.816 * [backup-simplify]: Simplify 0 into 0
17.816 * [backup-simplify]: Simplify 1 into 1
17.816 * [taylor]: Taking taylor expansion of (- t x) in z
17.816 * [taylor]: Taking taylor expansion of t in z
17.816 * [backup-simplify]: Simplify t into t
17.816 * [taylor]: Taking taylor expansion of x in z
17.816 * [backup-simplify]: Simplify x into x
17.816 * [taylor]: Taking taylor expansion of (- a z) in z
17.816 * [taylor]: Taking taylor expansion of a in z
17.816 * [backup-simplify]: Simplify a into a
17.816 * [taylor]: Taking taylor expansion of z in z
17.816 * [backup-simplify]: Simplify 0 into 0
17.816 * [backup-simplify]: Simplify 1 into 1
17.816 * [backup-simplify]: Simplify (- 0) into 0
17.816 * [backup-simplify]: Simplify (+ y 0) into y
17.816 * [backup-simplify]: Simplify (- x) into (- x)
17.816 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
17.816 * [backup-simplify]: Simplify (* y (- t x)) into (* (- t x) y)
17.816 * [backup-simplify]: Simplify (- 0) into 0
17.817 * [backup-simplify]: Simplify (+ a 0) into a
17.817 * [backup-simplify]: Simplify (/ (* (- t x) y) a) into (/ (* (- t x) y) a)
17.817 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in y
17.817 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
17.817 * [taylor]: Taking taylor expansion of (- y z) in y
17.817 * [taylor]: Taking taylor expansion of y in y
17.817 * [backup-simplify]: Simplify 0 into 0
17.817 * [backup-simplify]: Simplify 1 into 1
17.817 * [taylor]: Taking taylor expansion of z in y
17.817 * [backup-simplify]: Simplify z into z
17.817 * [taylor]: Taking taylor expansion of (- t x) in y
17.817 * [taylor]: Taking taylor expansion of t in y
17.817 * [backup-simplify]: Simplify t into t
17.817 * [taylor]: Taking taylor expansion of x in y
17.817 * [backup-simplify]: Simplify x into x
17.817 * [taylor]: Taking taylor expansion of (- a z) in y
17.817 * [taylor]: Taking taylor expansion of a in y
17.817 * [backup-simplify]: Simplify a into a
17.817 * [taylor]: Taking taylor expansion of z in y
17.817 * [backup-simplify]: Simplify z into z
17.817 * [backup-simplify]: Simplify (- z) into (- z)
17.817 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
17.817 * [backup-simplify]: Simplify (- x) into (- x)
17.817 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
17.817 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x)))
17.817 * [backup-simplify]: Simplify (- z) into (- z)
17.817 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
17.817 * [backup-simplify]: Simplify (/ (* -1 (* z (- t x))) (- a z)) into (* -1 (/ (* z (- t x)) (- a z)))
17.817 * [taylor]: Taking taylor expansion of (/ (* (- y z) (- t x)) (- a z)) in y
17.817 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y
17.817 * [taylor]: Taking taylor expansion of (- y z) in y
17.817 * [taylor]: Taking taylor expansion of y in y
17.817 * [backup-simplify]: Simplify 0 into 0
17.817 * [backup-simplify]: Simplify 1 into 1
17.817 * [taylor]: Taking taylor expansion of z in y
17.817 * [backup-simplify]: Simplify z into z
17.817 * [taylor]: Taking taylor expansion of (- t x) in y
17.817 * [taylor]: Taking taylor expansion of t in y
17.817 * [backup-simplify]: Simplify t into t
17.817 * [taylor]: Taking taylor expansion of x in y
17.817 * [backup-simplify]: Simplify x into x
17.817 * [taylor]: Taking taylor expansion of (- a z) in y
17.817 * [taylor]: Taking taylor expansion of a in y
17.817 * [backup-simplify]: Simplify a into a
17.817 * [taylor]: Taking taylor expansion of z in y
17.817 * [backup-simplify]: Simplify z into z
17.818 * [backup-simplify]: Simplify (- z) into (- z)
17.818 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
17.818 * [backup-simplify]: Simplify (- x) into (- x)
17.818 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
17.818 * [backup-simplify]: Simplify (* (- z) (- t x)) into (* -1 (* z (- t x)))
17.818 * [backup-simplify]: Simplify (- z) into (- z)
17.818 * [backup-simplify]: Simplify (+ a (- z)) into (- a z)
17.818 * [backup-simplify]: Simplify (/ (* -1 (* z (- t x))) (- a z)) into (* -1 (/ (* z (- t x)) (- a z)))
17.818 * [taylor]: Taking taylor expansion of (* -1 (/ (* z (- t x)) (- a z))) in z
17.818 * [taylor]: Taking taylor expansion of -1 in z
17.818 * [backup-simplify]: Simplify -1 into -1
17.818 * [taylor]: Taking taylor expansion of (/ (* z (- t x)) (- a z)) in z
17.818 * [taylor]: Taking taylor expansion of (* z (- t x)) in z
17.818 * [taylor]: Taking taylor expansion of z in z
17.818 * [backup-simplify]: Simplify 0 into 0
17.818 * [backup-simplify]: Simplify 1 into 1
17.818 * [taylor]: Taking taylor expansion of (- t x) in z
17.818 * [taylor]: Taking taylor expansion of t in z
17.818 * [backup-simplify]: Simplify t into t
17.818 * [taylor]: Taking taylor expansion of x in z
17.818 * [backup-simplify]: Simplify x into x
17.818 * [taylor]: Taking taylor expansion of (- a z) in z
17.818 * [taylor]: Taking taylor expansion of a in z
17.818 * [backup-simplify]: Simplify a into a
17.818 * [taylor]: Taking taylor expansion of z in z
17.818 * [backup-simplify]: Simplify 0 into 0
17.818 * [backup-simplify]: Simplify 1 into 1
17.818 * [backup-simplify]: Simplify (- x) into (- x)
17.818 * [backup-simplify]: Simplify (+ t (- x)) into (- t x)
17.818 * [backup-simplify]: Simplify (* 0 (- t x)) into 0
17.819 * [backup-simplify]: Simplify (- 0) into 0
17.819 * [backup-simplify]: Simplify (+ 0 0) into 0
17.819 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- t x))) into (- t x)
17.819 * [backup-simplify]: Simplify (- 0) into 0
17.819 * [backup-simplify]: Simplify (+ a 0) into a
17.820 * [backup-simplify]: Simplify (/ (- t x) a) into (/ (- t x) a)
17.820 * [backup-simplify]: Simplify (- 0) into 0
17.820 * [backup-simplify]: Simplify (+ 0 0) into 0
17.820 * [backup-simplify]: Simplify (- 0) into 0
17.821 * [backup-simplify]: Simplify (+ 1 0) into 1
17.821 * [backup-simplify]: Simplify (+ (* (- z) 0) (* 1 (- t x))) into (- t x)
17.821 * [backup-simplify]: Simplify (- 0) into 0
17.821 * [backup-simplify]: Simplify (+ 0 0) into 0
17.821 * [backup-simplify]: Simplify (- (/ (- t x) (- a z)) (+ (* (* -1 (/ (* z (- t x)) (- a z))) (/ 0 (- a z))))) into (- (/ t (- a z)) (/ x (- a z)))
17.821 * [taylor]: Taking taylor expansion of (- (/ t (- a z)) (/ x (- a z))) in z
17.821 * [taylor]: Taking taylor expansion of (/ t (- a z)) in z
17.821 * [taylor]: Taking taylor expansion of t in z
17.821 * [backup-simplify]: Simplify t into t
17.821 * [taylor]: Taking taylor expansion of (- a z) in z
17.821 * [taylor]: Taking taylor expansion of a in z
17.822 * [backup-simplify]: Simplify a into a
17.822 * [taylor]: Taking taylor expansion of z in z
17.822 * [backup-simplify]: Simplify 0 into 0
17.822 * [backup-simplify]: Simplify 1 into 1
17.822 * [backup-simplify]: Simplify (- 0) into 0
17.822 * [backup-simplify]: Simplify (+ a 0) into a
17.822 * [backup-simplify]: Simplify (/ t a) into (/ t a)
17.822 * [taylor]: Taking taylor expansion of (/ x (- a z)) in z
17.822 * [taylor]: Taking taylor expansion of x in z
17.822 * [backup-simplify]: Simplify x into x
17.822 * [taylor]: Taking taylor expansion of (- a z) in z
17.822 * [taylor]: Taking taylor expansion of a in z
17.822 * [backup-simplify]: Simplify a into a
17.822 * [taylor]: Taking taylor expansion of z in z
17.822 * [backup-simplify]: Simplify 0 into 0
17.822 * [backup-simplify]: Simplify 1 into 1
17.822 * [backup-simplify]: Simplify (- 0) into 0
17.822 * [backup-simplify]: Simplify (+ a 0) into a
17.822 * [backup-simplify]: Simplify (/ x a) into (/ x a)
17.822 * [backup-simplify]: Simplify (- (/ x a)) into (- (/ x a))
17.823 * [backup-simplify]: Simplify (+ (/ t a) (- (/ x a))) into (- (/ t a) (/ x a))
17.823 * [taylor]: Taking taylor expansion of (- (/ t a) (/ x a)) in t
17.823 * [taylor]: Taking taylor expansion of (/ t a) in t
17.823 * [taylor]: Taking taylor expansion of t in t
17.823 * [backup-simplify]: Simplify 0 into 0
17.823 * [backup-simplify]: Simplify 1 into 1
17.823 * [taylor]: Taking taylor expansion of a in t
17.823 * [backup-simplify]: Simplify a into a
17.823 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
17.823 * [taylor]: Taking taylor expansion of (/ x a) in t
17.823 * [taylor]: Taking taylor expansion of x in t
17.823 * [backup-simplify]: Simplify x into x
17.823 * [taylor]: Taking taylor expansion of a in t
17.823 * [backup-simplify]: Simplify a into a
17.823 * [backup-simplify]: Simplify (/ x a) into (/ x a)
17.823 * [backup-simplify]: Simplify (- (/ x a)) into (- (/ x a))
17.823 * [backup-simplify]: Simplify (+ 0 (- (/ x a))) into (- (/ x a))
17.823 * [taylor]: Taking taylor expansion of (- (/ x a)) in x
17.823 * [taylor]: Taking taylor expansion of (/ x a) in x
17.823 * [taylor]: Taking taylor expansion of x in x
17.823 * [backup-simplify]: Simplify 0 into 0
17.823 * [backup-simplify]: Simplify 1 into 1
17.823 * [taylor]: Taking taylor expansion of a in x
17.823 * [backup-simplify]: Simplify a into a
17.823 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
17.823 * [backup-simplify]: Simplify (* -1 (/ (- t x) a)) into (* -1 (/ (- t x) a))
17.823 * [taylor]: Taking taylor expansion of (* -1 (/ (- t x) a)) in t
17.823 * [taylor]: Taking taylor expansion of -1 in t
17.823 * [backup-simplify]: Simplify -1 into -1
17.823 * [taylor]: Taking taylor expansion of (/ (- t x) a) in t
17.823 * [taylor]: Taking taylor expansion of (- t x) in t
17.823 * [taylor]: Taking taylor expansion of t in t
17.823 * [backup-simplify]: Simplify 0 into 0
17.823 * [backup-simplify]: Simplify 1 into 1
17.823 * [taylor]: Taking taylor expansion of x in t
17.823 * [backup-simplify]: Simplify x into x
17.823 * [taylor]: Taking taylor expansion of a in t
17.823 * [backup-simplify]: Simplify a into a
17.823 * [backup-simplify]: Simplify (- x) into (- x)
17.823 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x)
17.823 * [backup-simplify]: Simplify (/ (- x) a) into (* -1 (/ x a))
17.824 * [backup-simplify]: Simplify (* -1 (* -1 (/ x a))) into (/ x a)
17.824 * [taylor]: Taking taylor expansion of (/ x a) in x
17.824 * [taylor]: Taking taylor expansion of x in x
17.824 * [backup-simplify]: Simplify 0 into 0
17.824 * [backup-simplify]: Simplify 1 into 1
17.824 * [taylor]: Taking taylor expansion of a in x
17.824 * [backup-simplify]: Simplify a into a
17.824 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
17.824 * [backup-simplify]: Simplify (- 0) into 0
17.824 * [backup-simplify]: Simplify (+ 0 0) into 0
17.824 * [backup-simplify]: Simplify (- 0) into 0
17.825 * [backup-simplify]: Simplify (+ 0 0) into 0
17.825 * [backup-simplify]: Simplify (+ (* (- z) 0) (+ (* 1 0) (* 0 (- t x)))) into 0
17.825 * [backup-simplify]: Simplify (- 0) into 0
17.825 * [backup-simplify]: Simplify (+ 0 0) into 0
17.826 * [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
17.826 * [taylor]: Taking taylor expansion of 0 in z
17.826 * [backup-simplify]: Simplify 0 into 0
17.826 * [taylor]: Taking taylor expansion of 0 in t
17.826 * [backup-simplify]: Simplify 0 into 0
17.826 * [taylor]: Taking taylor expansion of 0 in x
17.826 * [backup-simplify]: Simplify 0 into 0
17.826 * [taylor]: Taking taylor expansion of 0 in a
17.826 * [backup-simplify]: Simplify 0 into 0
17.826 * [backup-simplify]: Simplify 0 into 0
17.826 * [backup-simplify]: Simplify (- 1) into -1
17.826 * [backup-simplify]: Simplify (+ 0 -1) into -1