8.921 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.032 * [simplify]: Simplifying:
  (- (+ x y) (/ (* (- z t) y) (- a t)))
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.032 * * [simplify]: Extracting # 3 : cost  0
0.032 * * [simplify]: Extracting # 4 : cost  0
0.032 * * [simplify]: Extracting # 5 : cost  0
0.032 * * [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 :  22  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  2 :  52  enodes  (cost  13 )
0.050 * * [simplify]: Extracting # 0 : cost  0
0.050 * * [simplify]: Extracting # 1 : cost  0
0.050 * * [simplify]: Extracting # 2 : cost  0
0.050 * * [simplify]: iteration  3 :  107  enodes  (cost  13 )
0.091 * * [simplify]: Extracting # 0 : cost  0
0.092 * * [simplify]: Extracting # 1 : cost  0
0.092 * * [simplify]: Extracting # 2 : cost  0
0.092 * * [simplify]: Extracting # 3 : cost  0
0.093 * * [simplify]: Extracting # 4 : cost  0
0.093 * * [simplify]: iteration  4 :  186  enodes  (cost  13 )
0.199 * * [simplify]: Extracting # 0 : cost  0
0.200 * * [simplify]: Extracting # 1 : cost  0
0.200 * * [simplify]: Extracting # 2 : cost  0
0.201 * * [simplify]: iteration  5 :  380  enodes  (cost  13 )
0.417 * * [simplify]: Extracting # 0 : cost  0
0.418 * * [simplify]: Extracting # 1 : cost  0
0.419 * * [simplify]: Extracting # 2 : cost  0
0.420 * * [simplify]: iteration  6 :  529  enodes  (cost  13 )
0.712 * * [simplify]: Extracting # 0 : cost  0
0.712 * * [simplify]: Extracting # 1 : cost  0
0.713 * * [simplify]: Extracting # 2 : cost  0
0.713 * * [simplify]: iteration  7 :  668  enodes  (cost  13 )
0.959 * * [simplify]: Extracting # 0 : cost  0
0.960 * * [simplify]: Extracting # 1 : cost  0
0.961 * * [simplify]: Extracting # 2 : cost  0
0.961 * * [simplify]: iteration  8 :  820  enodes  (cost  13 )
1.303 * * [simplify]: Extracting # 0 : cost  0
1.304 * * [simplify]: Extracting # 1 : cost  0
1.304 * * [simplify]: Extracting # 2 : cost  0
1.305 * * [simplify]: iteration  9 :  969  enodes  (cost  13 )
1.868 * * [simplify]: Extracting # 0 : cost  0
1.869 * * [simplify]: Extracting # 1 : cost  0
1.871 * * [simplify]: Extracting # 2 : cost  0
1.872 * * [simplify]: Extracting # 3 : cost  0
1.873 * * [simplify]: iteration  10 :  1222  enodes  (cost  13 )
2.618 * * [simplify]: Extracting # 0 : cost  0
2.620 * * [simplify]: Extracting # 1 : cost  0
2.620 * * [simplify]: Extracting # 2 : cost  0
2.621 * * [simplify]: iteration  11 :  1531  enodes  (cost  13 )
4.069 * * [simplify]: Extracting # 0 : cost  0
4.070 * * [simplify]: Extracting # 1 : cost  0
4.072 * * [simplify]: Extracting # 2 : cost  0
4.073 * * [simplify]: iteration  12 :  2279  enodes  (cost  13 )
6.933 * * [simplify]: Extracting # 0 : cost  0
6.938 * * [simplify]: Extracting # 1 : cost  0
6.941 * * [simplify]: Extracting # 2 : cost  0
6.944 * * [simplify]: iteration  13 :  3564  enodes  (cost  13 )
9.828 * * [simplify]: Extracting # 0 : cost  0
9.833 * * [simplify]: Extracting # 1 : cost  0
9.837 * * [simplify]: Extracting # 2 : cost  0
9.840 * * [simplify]: iteration done:  5000  enodes  (cost  13 )
9.840 * [simplify]: Simplified to:
  (- (+ x y) (/ (* (- z t) y) (- a t)))
9.841 * * [progress]: iteration 1 / 4
9.841 * * * [progress]: picking best candidate
9.844 * * * * [pick]: Picked  #<alt (λ (x y z t a) (- (+ x y) (/ (* (- z t) y) (- a t))))>
9.844 * * * [progress]: localizing error
9.864 * * * [progress]: generating rewritten candidates
9.864 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
9.905 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
9.978 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
10.025 * * * [progress]: generating series expansions
10.026 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
10.026 * [backup-simplify]: Simplify (/ (* (- z t) y) (- a t)) into (/ (* y (- z t)) (- a t))
10.026 * [approximate]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in (z t y a) around 0
10.026 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in a
10.026 * [taylor]: Taking taylor expansion of (* y (- z t)) in a
10.026 * [taylor]: Taking taylor expansion of y in a
10.026 * [backup-simplify]: Simplify y into y
10.026 * [taylor]: Taking taylor expansion of (- z t) in a
10.026 * [taylor]: Taking taylor expansion of z in a
10.026 * [backup-simplify]: Simplify z into z
10.026 * [taylor]: Taking taylor expansion of t in a
10.026 * [backup-simplify]: Simplify t into t
10.026 * [taylor]: Taking taylor expansion of (- a t) in a
10.026 * [taylor]: Taking taylor expansion of a in a
10.026 * [backup-simplify]: Simplify 0 into 0
10.026 * [backup-simplify]: Simplify 1 into 1
10.026 * [taylor]: Taking taylor expansion of t in a
10.026 * [backup-simplify]: Simplify t into t
10.026 * [backup-simplify]: Simplify (- t) into (- t)
10.026 * [backup-simplify]: Simplify (+ z (- t)) into (- z t)
10.026 * [backup-simplify]: Simplify (* y (- z t)) into (* y (- z t))
10.027 * [backup-simplify]: Simplify (- t) into (- t)
10.027 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t)
10.027 * [backup-simplify]: Simplify (/ (* y (- z t)) (- t)) into (* -1 (/ (* y (- z t)) t))
10.027 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in y
10.027 * [taylor]: Taking taylor expansion of (* y (- z t)) in y
10.027 * [taylor]: Taking taylor expansion of y in y
10.027 * [backup-simplify]: Simplify 0 into 0
10.027 * [backup-simplify]: Simplify 1 into 1
10.027 * [taylor]: Taking taylor expansion of (- z t) in y
10.027 * [taylor]: Taking taylor expansion of z in y
10.027 * [backup-simplify]: Simplify z into z
10.027 * [taylor]: Taking taylor expansion of t in y
10.027 * [backup-simplify]: Simplify t into t
10.027 * [taylor]: Taking taylor expansion of (- a t) in y
10.027 * [taylor]: Taking taylor expansion of a in y
10.027 * [backup-simplify]: Simplify a into a
10.027 * [taylor]: Taking taylor expansion of t in y
10.027 * [backup-simplify]: Simplify t into t
10.027 * [backup-simplify]: Simplify (- t) into (- t)
10.027 * [backup-simplify]: Simplify (+ z (- t)) into (- z t)
10.027 * [backup-simplify]: Simplify (* 0 (- z t)) into 0
10.028 * [backup-simplify]: Simplify (- 0) into 0
10.028 * [backup-simplify]: Simplify (+ 0 0) into 0
10.029 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z t))) into (- z t)
10.029 * [backup-simplify]: Simplify (- t) into (- t)
10.029 * [backup-simplify]: Simplify (+ a (- t)) into (- a t)
10.029 * [backup-simplify]: Simplify (/ (- z t) (- a t)) into (/ (- z t) (- a t))
10.029 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in t
10.029 * [taylor]: Taking taylor expansion of (* y (- z t)) in t
10.029 * [taylor]: Taking taylor expansion of y in t
10.029 * [backup-simplify]: Simplify y into y
10.029 * [taylor]: Taking taylor expansion of (- z t) in t
10.029 * [taylor]: Taking taylor expansion of z in t
10.029 * [backup-simplify]: Simplify z into z
10.029 * [taylor]: Taking taylor expansion of t in t
10.029 * [backup-simplify]: Simplify 0 into 0
10.029 * [backup-simplify]: Simplify 1 into 1
10.029 * [taylor]: Taking taylor expansion of (- a t) in t
10.029 * [taylor]: Taking taylor expansion of a in t
10.029 * [backup-simplify]: Simplify a into a
10.029 * [taylor]: Taking taylor expansion of t in t
10.029 * [backup-simplify]: Simplify 0 into 0
10.029 * [backup-simplify]: Simplify 1 into 1
10.030 * [backup-simplify]: Simplify (- 0) into 0
10.030 * [backup-simplify]: Simplify (+ z 0) into z
10.030 * [backup-simplify]: Simplify (* y z) into (* z y)
10.030 * [backup-simplify]: Simplify (- 0) into 0
10.030 * [backup-simplify]: Simplify (+ a 0) into a
10.030 * [backup-simplify]: Simplify (/ (* z y) a) into (/ (* z y) a)
10.030 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in z
10.030 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
10.030 * [taylor]: Taking taylor expansion of y in z
10.030 * [backup-simplify]: Simplify y into y
10.031 * [taylor]: Taking taylor expansion of (- z t) in z
10.031 * [taylor]: Taking taylor expansion of z in z
10.031 * [backup-simplify]: Simplify 0 into 0
10.031 * [backup-simplify]: Simplify 1 into 1
10.031 * [taylor]: Taking taylor expansion of t in z
10.031 * [backup-simplify]: Simplify t into t
10.031 * [taylor]: Taking taylor expansion of (- a t) in z
10.031 * [taylor]: Taking taylor expansion of a in z
10.031 * [backup-simplify]: Simplify a into a
10.031 * [taylor]: Taking taylor expansion of t in z
10.031 * [backup-simplify]: Simplify t into t
10.031 * [backup-simplify]: Simplify (- t) into (- t)
10.031 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t)
10.031 * [backup-simplify]: Simplify (* y (- t)) into (* -1 (* t y))
10.031 * [backup-simplify]: Simplify (- t) into (- t)
10.031 * [backup-simplify]: Simplify (+ a (- t)) into (- a t)
10.031 * [backup-simplify]: Simplify (/ (* -1 (* t y)) (- a t)) into (* -1 (/ (* t y) (- a t)))
10.031 * [taylor]: Taking taylor expansion of (/ (* y (- z t)) (- a t)) in z
10.031 * [taylor]: Taking taylor expansion of (* y (- z t)) in z
10.031 * [taylor]: Taking taylor expansion of y in z
10.031 * [backup-simplify]: Simplify y into y
10.031 * [taylor]: Taking taylor expansion of (- z t) in z
10.031 * [taylor]: Taking taylor expansion of z in z
10.031 * [backup-simplify]: Simplify 0 into 0
10.031 * [backup-simplify]: Simplify 1 into 1
10.031 * [taylor]: Taking taylor expansion of t in z
10.031 * [backup-simplify]: Simplify t into t
10.031 * [taylor]: Taking taylor expansion of (- a t) in z
10.031 * [taylor]: Taking taylor expansion of a in z
10.032 * [backup-simplify]: Simplify a into a
10.032 * [taylor]: Taking taylor expansion of t in z
10.032 * [backup-simplify]: Simplify t into t
10.032 * [backup-simplify]: Simplify (- t) into (- t)
10.032 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t)
10.032 * [backup-simplify]: Simplify (* y (- t)) into (* -1 (* t y))
10.032 * [backup-simplify]: Simplify (- t) into (- t)
10.032 * [backup-simplify]: Simplify (+ a (- t)) into (- a t)
10.032 * [backup-simplify]: Simplify (/ (* -1 (* t y)) (- a t)) into (* -1 (/ (* t y) (- a t)))
10.032 * [taylor]: Taking taylor expansion of (* -1 (/ (* t y) (- a t))) in t
10.032 * [taylor]: Taking taylor expansion of -1 in t
10.032 * [backup-simplify]: Simplify -1 into -1
10.032 * [taylor]: Taking taylor expansion of (/ (* t y) (- a t)) in t
10.032 * [taylor]: Taking taylor expansion of (* t y) in t
10.032 * [taylor]: Taking taylor expansion of t in t
10.032 * [backup-simplify]: Simplify 0 into 0
10.032 * [backup-simplify]: Simplify 1 into 1
10.032 * [taylor]: Taking taylor expansion of y in t
10.032 * [backup-simplify]: Simplify y into y
10.032 * [taylor]: Taking taylor expansion of (- a t) in t
10.032 * [taylor]: Taking taylor expansion of a in t
10.032 * [backup-simplify]: Simplify a into a
10.032 * [taylor]: Taking taylor expansion of t in t
10.032 * [backup-simplify]: Simplify 0 into 0
10.032 * [backup-simplify]: Simplify 1 into 1
10.033 * [backup-simplify]: Simplify (* 0 y) into 0
10.033 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
10.033 * [backup-simplify]: Simplify (- 0) into 0
10.033 * [backup-simplify]: Simplify (+ a 0) into a
10.033 * [backup-simplify]: Simplify (/ y a) into (/ y a)
10.033 * [backup-simplify]: Simplify (- 0) into 0
10.034 * [backup-simplify]: Simplify (+ 1 0) into 1
10.034 * [backup-simplify]: Simplify (+ (* y 1) (* 0 (- t))) into y
10.034 * [backup-simplify]: Simplify (- 0) into 0
10.034 * [backup-simplify]: Simplify (+ 0 0) into 0
10.034 * [backup-simplify]: Simplify (- (/ y (- a t)) (+ (* (* -1 (/ (* t y) (- a t))) (/ 0 (- a t))))) into (/ y (- a t))
10.034 * [taylor]: Taking taylor expansion of (/ y (- a t)) in t
10.035 * [taylor]: Taking taylor expansion of y in t
10.035 * [backup-simplify]: Simplify y into y
10.035 * [taylor]: Taking taylor expansion of (- a t) in t
10.035 * [taylor]: Taking taylor expansion of a in t
10.035 * [backup-simplify]: Simplify a into a
10.035 * [taylor]: Taking taylor expansion of t in t
10.035 * [backup-simplify]: Simplify 0 into 0
10.035 * [backup-simplify]: Simplify 1 into 1
10.035 * [backup-simplify]: Simplify (- 0) into 0
10.035 * [backup-simplify]: Simplify (+ a 0) into a
10.035 * [backup-simplify]: Simplify (/ y a) into (/ y a)
10.035 * [taylor]: Taking taylor expansion of (/ y a) in y
10.035 * [taylor]: Taking taylor expansion of y in y
10.035 * [backup-simplify]: Simplify 0 into 0
10.035 * [backup-simplify]: Simplify 1 into 1
10.035 * [taylor]: Taking taylor expansion of a in y
10.035 * [backup-simplify]: Simplify a into a
10.035 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
10.035 * [taylor]: Taking taylor expansion of (/ 1 a) in a
10.035 * [taylor]: Taking taylor expansion of a in a
10.035 * [backup-simplify]: Simplify 0 into 0
10.035 * [backup-simplify]: Simplify 1 into 1
10.035 * [backup-simplify]: Simplify (/ 1 1) into 1
10.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.036 * [backup-simplify]: Simplify 0 into 0
10.036 * [backup-simplify]: Simplify (* -1 (/ y a)) into (* -1 (/ y a))
10.036 * [taylor]: Taking taylor expansion of (* -1 (/ y a)) in y
10.036 * [taylor]: Taking taylor expansion of -1 in y
10.036 * [backup-simplify]: Simplify -1 into -1
10.036 * [taylor]: Taking taylor expansion of (/ y a) in y
10.036 * [taylor]: Taking taylor expansion of y in y
10.036 * [backup-simplify]: Simplify 0 into 0
10.036 * [backup-simplify]: Simplify 1 into 1
10.036 * [taylor]: Taking taylor expansion of a in y
10.036 * [backup-simplify]: Simplify a into a
10.036 * [backup-simplify]: Simplify (/ 1 a) into (/ 1 a)
10.036 * [backup-simplify]: Simplify (* -1 (/ 1 a)) into (/ -1 a)
10.036 * [taylor]: Taking taylor expansion of (/ -1 a) in a
10.036 * [taylor]: Taking taylor expansion of -1 in a
10.036 * [backup-simplify]: Simplify -1 into -1
10.036 * [taylor]: Taking taylor expansion of a in a
10.036 * [backup-simplify]: Simplify 0 into 0
10.036 * [backup-simplify]: Simplify 1 into 1
10.036 * [backup-simplify]: Simplify (/ -1 1) into -1
10.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.037 * [backup-simplify]: Simplify 0 into 0
10.037 * [backup-simplify]: Simplify (- 0) into 0
10.037 * [backup-simplify]: Simplify (+ 0 0) into 0
10.038 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 (- t)))) into 0
10.038 * [backup-simplify]: Simplify (- 0) into 0
10.038 * [backup-simplify]: Simplify (+ 0 0) into 0
10.039 * [backup-simplify]: Simplify (- (/ 0 (- a t)) (+ (* (* -1 (/ (* t y) (- a t))) (/ 0 (- a t))) (* (/ y (- a t)) (/ 0 (- a t))))) into 0
10.039 * [taylor]: Taking taylor expansion of 0 in t
10.039 * [backup-simplify]: Simplify 0 into 0
10.039 * [taylor]: Taking taylor expansion of 0 in y
10.039 * [backup-simplify]: Simplify 0 into 0
10.039 * [taylor]: Taking taylor expansion of 0 in a
10.039 * [backup-simplify]: Simplify 0 into 0
10.039 * [backup-simplify]: Simplify 0 into 0
10.039 * [backup-simplify]: Simplify (- 1) into -1
10.039 * [backup-simplify]: Simplify (+ 0 -1) into -1