7.991 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.065 * * * [progress]: [2/2] Setting up program.
0.071 * [progress]: [Phase 2 of 3] Improving.
0.071 * [simplify]: Simplifying:
  (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
0.072 * * [simplify]: Extracting # 0 : cost  0
0.072 * * [simplify]: Extracting # 1 : cost  0
0.072 * * [simplify]: Extracting # 2 : cost  0
0.072 * * [simplify]: Extracting # 3 : cost  0
0.072 * * [simplify]: Extracting # 4 : cost  0
0.072 * * [simplify]: Extracting # 5 : cost  0
0.072 * * [simplify]: Extracting # 6 : cost  0
0.072 * * [simplify]: Extracting # 7 : cost  0
0.072 * * [simplify]: iteration  0 :  16  enodes  (cost  21 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.077 * * [simplify]: Extracting # 2 : cost  0
0.077 * * [simplify]: iteration  1 :  33  enodes  (cost  20 )
0.088 * * [simplify]: Extracting # 0 : cost  0
0.088 * * [simplify]: Extracting # 1 : cost  0
0.089 * * [simplify]: Extracting # 2 : cost  0
0.089 * * [simplify]: iteration  2 :  79  enodes  (cost  20 )
0.129 * * [simplify]: Extracting # 0 : cost  0
0.129 * * [simplify]: Extracting # 1 : cost  0
0.129 * * [simplify]: Extracting # 2 : cost  0
0.129 * * [simplify]: iteration  3 :  201  enodes  (cost  20 )
0.226 * * [simplify]: Extracting # 0 : cost  0
0.227 * * [simplify]: Extracting # 1 : cost  0
0.227 * * [simplify]: Extracting # 2 : cost  0
0.228 * * [simplify]: Extracting # 3 : cost  0
0.228 * * [simplify]: iteration  4 :  405  enodes  (cost  19 )
0.449 * * [simplify]: Extracting # 0 : cost  0
0.453 * * [simplify]: Extracting # 1 : cost  0
0.454 * * [simplify]: Extracting # 2 : cost  0
0.454 * * [simplify]: Extracting # 3 : cost  0
0.455 * * [simplify]: iteration  5 :  766  enodes  (cost  19 )
1.009 * * [simplify]: Extracting # 0 : cost  0
1.010 * * [simplify]: Extracting # 1 : cost  0
1.012 * * [simplify]: Extracting # 2 : cost  0
1.014 * * [simplify]: Extracting # 3 : cost  0
1.016 * * [simplify]: Extracting # 4 : cost  0
1.018 * * [simplify]: iteration  6 :  1278  enodes  (cost  19 )
2.172 * * [simplify]: Extracting # 0 : cost  0
2.175 * * [simplify]: Extracting # 1 : cost  0
2.176 * * [simplify]: Extracting # 2 : cost  0
2.178 * * [simplify]: Extracting # 3 : cost  0
2.180 * * [simplify]: iteration  7 :  2257  enodes  (cost  19 )
5.814 * * [simplify]: Extracting # 0 : cost  0
5.819 * * [simplify]: Extracting # 1 : cost  0
5.822 * * [simplify]: Extracting # 2 : cost  0
5.825 * * [simplify]: iteration  8 :  4193  enodes  (cost  19 )
6.506 * * [simplify]: Extracting # 0 : cost  0
6.510 * * [simplify]: Extracting # 1 : cost  0
6.513 * * [simplify]: iteration done:  5000  enodes  (cost  19 )
6.513 * [simplify]: Simplified to:
  (/ (fma a (+ t y) (fma x z (* y (- z b)))) (+ (+ x t) y))
6.517 * * [progress]: iteration 1 / 4
6.517 * * * [progress]: picking best candidate
6.522 * * * * [pick]: Picked  #<alt (λ (x y z t a b) (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)))>
6.522 * * * [progress]: localizing error
6.547 * * * [progress]: generating rewritten candidates
6.547 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.724 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
6.811 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
6.826 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
6.849 * * * [progress]: generating series expansions
6.850 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.850 * [backup-simplify]: Simplify (/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y)) into (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y)))
6.850 * [approximate]: Taking taylor expansion of (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y))) in (x y z t a b) around 0
6.850 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y))) in b
6.850 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) in b
6.850 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) in b
6.850 * [taylor]: Taking taylor expansion of (* x z) in b
6.850 * [taylor]: Taking taylor expansion of x in b
6.850 * [backup-simplify]: Simplify x into x
6.850 * [taylor]: Taking taylor expansion of z in b
6.850 * [backup-simplify]: Simplify z into z
6.850 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* a t) (* a y))) in b
6.850 * [taylor]: Taking taylor expansion of (* z y) in b
6.850 * [taylor]: Taking taylor expansion of z in b
6.850 * [backup-simplify]: Simplify z into z
6.850 * [taylor]: Taking taylor expansion of y in b
6.850 * [backup-simplify]: Simplify y into y
6.850 * [taylor]: Taking taylor expansion of (+ (* a t) (* a y)) in b
6.850 * [taylor]: Taking taylor expansion of (* a t) in b
6.850 * [taylor]: Taking taylor expansion of a in b
6.850 * [backup-simplify]: Simplify a into a
6.850 * [taylor]: Taking taylor expansion of t in b
6.850 * [backup-simplify]: Simplify t into t
6.850 * [taylor]: Taking taylor expansion of (* a y) in b
6.850 * [taylor]: Taking taylor expansion of a in b
6.850 * [backup-simplify]: Simplify a into a
6.850 * [taylor]: Taking taylor expansion of y in b
6.850 * [backup-simplify]: Simplify y into y
6.850 * [taylor]: Taking taylor expansion of (* y b) in b
6.850 * [taylor]: Taking taylor expansion of y in b
6.850 * [backup-simplify]: Simplify y into y
6.850 * [taylor]: Taking taylor expansion of b in b
6.850 * [backup-simplify]: Simplify 0 into 0
6.850 * [backup-simplify]: Simplify 1 into 1
6.850 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in b
6.850 * [taylor]: Taking taylor expansion of t in b
6.851 * [backup-simplify]: Simplify t into t
6.851 * [taylor]: Taking taylor expansion of (+ x y) in b
6.851 * [taylor]: Taking taylor expansion of x in b
6.851 * [backup-simplify]: Simplify x into x
6.851 * [taylor]: Taking taylor expansion of y in b
6.851 * [backup-simplify]: Simplify y into y
6.851 * [backup-simplify]: Simplify (* x z) into (* x z)
6.851 * [backup-simplify]: Simplify (* z y) into (* z y)
6.851 * [backup-simplify]: Simplify (* a t) into (* a t)
6.851 * [backup-simplify]: Simplify (* a y) into (* a y)
6.851 * [backup-simplify]: Simplify (+ (* a t) (* a y)) into (+ (* a t) (* a y))
6.851 * [backup-simplify]: Simplify (+ (* z y) (+ (* a t) (* a y))) into (+ (* z y) (+ (* a t) (* a y)))
6.851 * [backup-simplify]: Simplify (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) into (+ (* x z) (+ (* z y) (+ (* a t) (* a y))))
6.851 * [backup-simplify]: Simplify (* y 0) into 0
6.852 * [backup-simplify]: Simplify (- 0) into 0
6.852 * [backup-simplify]: Simplify (+ (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) 0) into (+ (* x z) (+ (* z y) (+ (* a t) (* a y))))
6.852 * [backup-simplify]: Simplify (+ x y) into (+ x y)
6.852 * [backup-simplify]: Simplify (+ t (+ x y)) into (+ t (+ x y))
6.852 * [backup-simplify]: Simplify (/ (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (+ t (+ x y))) into (/ (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (+ t (+ x y)))
6.852 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y))) in a
6.852 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) in a
6.852 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) in a
6.852 * [taylor]: Taking taylor expansion of (* x z) in a
6.852 * [taylor]: Taking taylor expansion of x in a
6.852 * [backup-simplify]: Simplify x into x
6.852 * [taylor]: Taking taylor expansion of z in a
6.852 * [backup-simplify]: Simplify z into z
6.852 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* a t) (* a y))) in a
6.852 * [taylor]: Taking taylor expansion of (* z y) in a
6.852 * [taylor]: Taking taylor expansion of z in a
6.852 * [backup-simplify]: Simplify z into z
6.852 * [taylor]: Taking taylor expansion of y in a
6.852 * [backup-simplify]: Simplify y into y
6.852 * [taylor]: Taking taylor expansion of (+ (* a t) (* a y)) in a
6.852 * [taylor]: Taking taylor expansion of (* a t) in a
6.852 * [taylor]: Taking taylor expansion of a in a
6.852 * [backup-simplify]: Simplify 0 into 0
6.852 * [backup-simplify]: Simplify 1 into 1
6.852 * [taylor]: Taking taylor expansion of t in a
6.852 * [backup-simplify]: Simplify t into t
6.852 * [taylor]: Taking taylor expansion of (* a y) in a
6.852 * [taylor]: Taking taylor expansion of a in a
6.852 * [backup-simplify]: Simplify 0 into 0
6.853 * [backup-simplify]: Simplify 1 into 1
6.853 * [taylor]: Taking taylor expansion of y in a
6.853 * [backup-simplify]: Simplify y into y
6.853 * [taylor]: Taking taylor expansion of (* y b) in a
6.853 * [taylor]: Taking taylor expansion of y in a
6.853 * [backup-simplify]: Simplify y into y
6.853 * [taylor]: Taking taylor expansion of b in a
6.853 * [backup-simplify]: Simplify b into b
6.853 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in a
6.853 * [taylor]: Taking taylor expansion of t in a
6.853 * [backup-simplify]: Simplify t into t
6.853 * [taylor]: Taking taylor expansion of (+ x y) in a
6.853 * [taylor]: Taking taylor expansion of x in a
6.853 * [backup-simplify]: Simplify x into x
6.853 * [taylor]: Taking taylor expansion of y in a
6.853 * [backup-simplify]: Simplify y into y
6.853 * [backup-simplify]: Simplify (* x z) into (* x z)
6.853 * [backup-simplify]: Simplify (* z y) into (* z y)
6.853 * [backup-simplify]: Simplify (* 0 t) into 0
6.853 * [backup-simplify]: Simplify (* 0 y) into 0
6.853 * [backup-simplify]: Simplify (+ 0 0) into 0
6.853 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y)
6.853 * [backup-simplify]: Simplify (+ (* x z) (* z y)) into (+ (* x z) (* z y))
6.853 * [backup-simplify]: Simplify (* y b) into (* y b)
6.853 * [backup-simplify]: Simplify (- (* y b)) into (- (* y b))
6.853 * [backup-simplify]: Simplify (+ (+ (* x z) (* z y)) (- (* y b))) into (- (+ (* x z) (* z y)) (* y b))
6.854 * [backup-simplify]: Simplify (+ x y) into (+ x y)
6.854 * [backup-simplify]: Simplify (+ t (+ x y)) into (+ t (+ x y))
6.854 * [backup-simplify]: Simplify (/ (- (+ (* x z) (* z y)) (* y b)) (+ t (+ x y))) into (/ (- (+ (* x z) (* z y)) (* y b)) (+ t (+ x y)))
6.854 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y))) in t
6.854 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) in t
6.854 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) in t
6.854 * [taylor]: Taking taylor expansion of (* x z) in t
6.854 * [taylor]: Taking taylor expansion of x in t
6.854 * [backup-simplify]: Simplify x into x
6.854 * [taylor]: Taking taylor expansion of z in t
6.854 * [backup-simplify]: Simplify z into z
6.854 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* a t) (* a y))) in t
6.854 * [taylor]: Taking taylor expansion of (* z y) in t
6.854 * [taylor]: Taking taylor expansion of z in t
6.854 * [backup-simplify]: Simplify z into z
6.854 * [taylor]: Taking taylor expansion of y in t
6.854 * [backup-simplify]: Simplify y into y
6.854 * [taylor]: Taking taylor expansion of (+ (* a t) (* a y)) in t
6.854 * [taylor]: Taking taylor expansion of (* a t) in t
6.854 * [taylor]: Taking taylor expansion of a in t
6.854 * [backup-simplify]: Simplify a into a
6.854 * [taylor]: Taking taylor expansion of t in t
6.854 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify 1 into 1
6.854 * [taylor]: Taking taylor expansion of (* a y) in t
6.854 * [taylor]: Taking taylor expansion of a in t
6.854 * [backup-simplify]: Simplify a into a
6.854 * [taylor]: Taking taylor expansion of y in t
6.854 * [backup-simplify]: Simplify y into y
6.854 * [taylor]: Taking taylor expansion of (* y b) in t
6.854 * [taylor]: Taking taylor expansion of y in t
6.854 * [backup-simplify]: Simplify y into y
6.854 * [taylor]: Taking taylor expansion of b in t
6.854 * [backup-simplify]: Simplify b into b
6.854 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in t
6.854 * [taylor]: Taking taylor expansion of t in t
6.854 * [backup-simplify]: Simplify 0 into 0
6.854 * [backup-simplify]: Simplify 1 into 1
6.854 * [taylor]: Taking taylor expansion of (+ x y) in t
6.854 * [taylor]: Taking taylor expansion of x in t
6.854 * [backup-simplify]: Simplify x into x
6.854 * [taylor]: Taking taylor expansion of y in t
6.854 * [backup-simplify]: Simplify y into y
6.854 * [backup-simplify]: Simplify (* x z) into (* x z)
6.854 * [backup-simplify]: Simplify (* z y) into (* z y)
6.854 * [backup-simplify]: Simplify (* a 0) into 0
6.854 * [backup-simplify]: Simplify (* a y) into (* a y)
6.854 * [backup-simplify]: Simplify (+ 0 (* a y)) into (* a y)
6.855 * [backup-simplify]: Simplify (+ (* z y) (* a y)) into (+ (* z y) (* a y))
6.855 * [backup-simplify]: Simplify (+ (* x z) (+ (* z y) (* a y))) into (+ (* x z) (+ (* z y) (* a y)))
6.855 * [backup-simplify]: Simplify (* y b) into (* y b)
6.855 * [backup-simplify]: Simplify (- (* y b)) into (- (* y b))
6.855 * [backup-simplify]: Simplify (+ (+ (* x z) (+ (* z y) (* a y))) (- (* y b))) into (- (+ (* x z) (+ (* z y) (* a y))) (* y b))
6.855 * [backup-simplify]: Simplify (+ x y) into (+ x y)
6.855 * [backup-simplify]: Simplify (+ 0 (+ x y)) into (+ x y)
6.855 * [backup-simplify]: Simplify (/ (- (+ (* x z) (+ (* z y) (* a y))) (* y b)) (+ x y)) into (/ (- (+ (* x z) (+ (* z y) (* a y))) (* y b)) (+ x y))
6.855 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y))) in z
6.855 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) in z
6.855 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) in z
6.855 * [taylor]: Taking taylor expansion of (* x z) in z
6.855 * [taylor]: Taking taylor expansion of x in z
6.855 * [backup-simplify]: Simplify x into x
6.855 * [taylor]: Taking taylor expansion of z in z
6.855 * [backup-simplify]: Simplify 0 into 0
6.855 * [backup-simplify]: Simplify 1 into 1
6.855 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* a t) (* a y))) in z
6.855 * [taylor]: Taking taylor expansion of (* z y) in z
6.855 * [taylor]: Taking taylor expansion of z in z
6.855 * [backup-simplify]: Simplify 0 into 0
6.855 * [backup-simplify]: Simplify 1 into 1
6.855 * [taylor]: Taking taylor expansion of y in z
6.855 * [backup-simplify]: Simplify y into y
6.855 * [taylor]: Taking taylor expansion of (+ (* a t) (* a y)) in z
6.855 * [taylor]: Taking taylor expansion of (* a t) in z
6.855 * [taylor]: Taking taylor expansion of a in z
6.855 * [backup-simplify]: Simplify a into a
6.855 * [taylor]: Taking taylor expansion of t in z
6.856 * [backup-simplify]: Simplify t into t
6.856 * [taylor]: Taking taylor expansion of (* a y) in z
6.856 * [taylor]: Taking taylor expansion of a in z
6.856 * [backup-simplify]: Simplify a into a
6.856 * [taylor]: Taking taylor expansion of y in z
6.856 * [backup-simplify]: Simplify y into y
6.856 * [taylor]: Taking taylor expansion of (* y b) in z
6.856 * [taylor]: Taking taylor expansion of y in z
6.856 * [backup-simplify]: Simplify y into y
6.856 * [taylor]: Taking taylor expansion of b in z
6.856 * [backup-simplify]: Simplify b into b
6.856 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in z
6.856 * [taylor]: Taking taylor expansion of t in z
6.856 * [backup-simplify]: Simplify t into t
6.856 * [taylor]: Taking taylor expansion of (+ x y) in z
6.856 * [taylor]: Taking taylor expansion of x in z
6.856 * [backup-simplify]: Simplify x into x
6.856 * [taylor]: Taking taylor expansion of y in z
6.856 * [backup-simplify]: Simplify y into y
6.856 * [backup-simplify]: Simplify (* x 0) into 0
6.856 * [backup-simplify]: Simplify (* 0 y) into 0
6.856 * [backup-simplify]: Simplify (* a t) into (* a t)
6.856 * [backup-simplify]: Simplify (* a y) into (* a y)
6.856 * [backup-simplify]: Simplify (+ (* a t) (* a y)) into (+ (* a t) (* a y))
6.856 * [backup-simplify]: Simplify (+ 0 (+ (* a t) (* a y))) into (+ (* a t) (* a y))
6.856 * [backup-simplify]: Simplify (+ 0 (+ (* a t) (* a y))) into (+ (* a t) (* a y))
6.856 * [backup-simplify]: Simplify (* y b) into (* y b)
6.856 * [backup-simplify]: Simplify (- (* y b)) into (- (* y b))
6.856 * [backup-simplify]: Simplify (+ (+ (* a t) (* a y)) (- (* y b))) into (- (+ (* a t) (* a y)) (* y b))
6.856 * [backup-simplify]: Simplify (+ x y) into (+ x y)
6.856 * [backup-simplify]: Simplify (+ t (+ x y)) into (+ t (+ x y))
6.857 * [backup-simplify]: Simplify (/ (- (+ (* a t) (* a y)) (* y b)) (+ t (+ x y))) into (/ (- (+ (* a t) (* a y)) (* y b)) (+ t (+ x y)))
6.857 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y))) in y
6.857 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) in y
6.857 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) in y
6.857 * [taylor]: Taking taylor expansion of (* x z) in y
6.857 * [taylor]: Taking taylor expansion of x in y
6.857 * [backup-simplify]: Simplify x into x
6.857 * [taylor]: Taking taylor expansion of z in y
6.857 * [backup-simplify]: Simplify z into z
6.857 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* a t) (* a y))) in y
6.857 * [taylor]: Taking taylor expansion of (* z y) in y
6.857 * [taylor]: Taking taylor expansion of z in y
6.857 * [backup-simplify]: Simplify z into z
6.857 * [taylor]: Taking taylor expansion of y in y
6.857 * [backup-simplify]: Simplify 0 into 0
6.857 * [backup-simplify]: Simplify 1 into 1
6.857 * [taylor]: Taking taylor expansion of (+ (* a t) (* a y)) in y
6.857 * [taylor]: Taking taylor expansion of (* a t) in y
6.857 * [taylor]: Taking taylor expansion of a in y
6.857 * [backup-simplify]: Simplify a into a
6.857 * [taylor]: Taking taylor expansion of t in y
6.857 * [backup-simplify]: Simplify t into t
6.857 * [taylor]: Taking taylor expansion of (* a y) in y
6.857 * [taylor]: Taking taylor expansion of a in y
6.857 * [backup-simplify]: Simplify a into a
6.857 * [taylor]: Taking taylor expansion of y in y
6.857 * [backup-simplify]: Simplify 0 into 0
6.857 * [backup-simplify]: Simplify 1 into 1
6.857 * [taylor]: Taking taylor expansion of (* y b) in y
6.857 * [taylor]: Taking taylor expansion of y in y
6.857 * [backup-simplify]: Simplify 0 into 0
6.857 * [backup-simplify]: Simplify 1 into 1
6.857 * [taylor]: Taking taylor expansion of b in y
6.857 * [backup-simplify]: Simplify b into b
6.857 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in y
6.857 * [taylor]: Taking taylor expansion of t in y
6.857 * [backup-simplify]: Simplify t into t
6.857 * [taylor]: Taking taylor expansion of (+ x y) in y
6.857 * [taylor]: Taking taylor expansion of x in y
6.857 * [backup-simplify]: Simplify x into x
6.857 * [taylor]: Taking taylor expansion of y in y
6.857 * [backup-simplify]: Simplify 0 into 0
6.857 * [backup-simplify]: Simplify 1 into 1
6.857 * [backup-simplify]: Simplify (* x z) into (* x z)
6.857 * [backup-simplify]: Simplify (* z 0) into 0
6.857 * [backup-simplify]: Simplify (* a t) into (* a t)
6.857 * [backup-simplify]: Simplify (* a 0) into 0
6.857 * [backup-simplify]: Simplify (+ (* a t) 0) into (* a t)
6.857 * [backup-simplify]: Simplify (+ 0 (* a t)) into (* a t)
6.857 * [backup-simplify]: Simplify (+ (* x z) (* a t)) into (+ (* x z) (* a t))
6.857 * [backup-simplify]: Simplify (* 0 b) into 0
6.858 * [backup-simplify]: Simplify (- 0) into 0
6.858 * [backup-simplify]: Simplify (+ (+ (* x z) (* a t)) 0) into (+ (* x z) (* a t))
6.858 * [backup-simplify]: Simplify (+ x 0) into x
6.858 * [backup-simplify]: Simplify (+ t x) into (+ t x)
6.858 * [backup-simplify]: Simplify (/ (+ (* x z) (* a t)) (+ t x)) into (/ (+ (* x z) (* a t)) (+ t x))
6.858 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y))) in x
6.858 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) in x
6.858 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) in x
6.858 * [taylor]: Taking taylor expansion of (* x z) in x
6.858 * [taylor]: Taking taylor expansion of x in x
6.858 * [backup-simplify]: Simplify 0 into 0
6.858 * [backup-simplify]: Simplify 1 into 1
6.858 * [taylor]: Taking taylor expansion of z in x
6.858 * [backup-simplify]: Simplify z into z
6.858 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* a t) (* a y))) in x
6.858 * [taylor]: Taking taylor expansion of (* z y) in x
6.858 * [taylor]: Taking taylor expansion of z in x
6.858 * [backup-simplify]: Simplify z into z
6.858 * [taylor]: Taking taylor expansion of y in x
6.858 * [backup-simplify]: Simplify y into y
6.858 * [taylor]: Taking taylor expansion of (+ (* a t) (* a y)) in x
6.858 * [taylor]: Taking taylor expansion of (* a t) in x
6.858 * [taylor]: Taking taylor expansion of a in x
6.858 * [backup-simplify]: Simplify a into a
6.858 * [taylor]: Taking taylor expansion of t in x
6.858 * [backup-simplify]: Simplify t into t
6.858 * [taylor]: Taking taylor expansion of (* a y) in x
6.858 * [taylor]: Taking taylor expansion of a in x
6.858 * [backup-simplify]: Simplify a into a
6.858 * [taylor]: Taking taylor expansion of y in x
6.858 * [backup-simplify]: Simplify y into y
6.858 * [taylor]: Taking taylor expansion of (* y b) in x
6.858 * [taylor]: Taking taylor expansion of y in x
6.858 * [backup-simplify]: Simplify y into y
6.858 * [taylor]: Taking taylor expansion of b in x
6.859 * [backup-simplify]: Simplify b into b
6.859 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in x
6.859 * [taylor]: Taking taylor expansion of t in x
6.859 * [backup-simplify]: Simplify t into t
6.859 * [taylor]: Taking taylor expansion of (+ x y) in x
6.859 * [taylor]: Taking taylor expansion of x in x
6.859 * [backup-simplify]: Simplify 0 into 0
6.859 * [backup-simplify]: Simplify 1 into 1
6.859 * [taylor]: Taking taylor expansion of y in x
6.859 * [backup-simplify]: Simplify y into y
6.859 * [backup-simplify]: Simplify (* 0 z) into 0
6.859 * [backup-simplify]: Simplify (* z y) into (* z y)
6.859 * [backup-simplify]: Simplify (* a t) into (* a t)
6.859 * [backup-simplify]: Simplify (* a y) into (* a y)
6.859 * [backup-simplify]: Simplify (+ (* a t) (* a y)) into (+ (* a t) (* a y))
6.859 * [backup-simplify]: Simplify (+ (* z y) (+ (* a t) (* a y))) into (+ (* z y) (+ (* a t) (* a y)))
6.859 * [backup-simplify]: Simplify (+ 0 (+ (* z y) (+ (* a t) (* a y)))) into (+ (* z y) (+ (* a t) (* a y)))
6.859 * [backup-simplify]: Simplify (* y b) into (* y b)
6.859 * [backup-simplify]: Simplify (- (* y b)) into (- (* y b))
6.859 * [backup-simplify]: Simplify (+ (+ (* z y) (+ (* a t) (* a y))) (- (* y b))) into (- (+ (* z y) (+ (* a t) (* a y))) (* y b))
6.859 * [backup-simplify]: Simplify (+ 0 y) into y
6.859 * [backup-simplify]: Simplify (+ t y) into (+ t y)
6.860 * [backup-simplify]: Simplify (/ (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) (+ t y)) into (/ (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) (+ t y))
6.860 * [taylor]: Taking taylor expansion of (/ (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) (+ t (+ x y))) in x
6.860 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) (* y b)) in x
6.860 * [taylor]: Taking taylor expansion of (+ (* x z) (+ (* z y) (+ (* a t) (* a y)))) in x
6.860 * [taylor]: Taking taylor expansion of (* x z) in x
6.860 * [taylor]: Taking taylor expansion of x in x
6.860 * [backup-simplify]: Simplify 0 into 0
6.860 * [backup-simplify]: Simplify 1 into 1
6.860 * [taylor]: Taking taylor expansion of z in x
6.860 * [backup-simplify]: Simplify z into z
6.860 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* a t) (* a y))) in x
6.860 * [taylor]: Taking taylor expansion of (* z y) in x
6.860 * [taylor]: Taking taylor expansion of z in x
6.860 * [backup-simplify]: Simplify z into z
6.860 * [taylor]: Taking taylor expansion of y in x
6.860 * [backup-simplify]: Simplify y into y
6.860 * [taylor]: Taking taylor expansion of (+ (* a t) (* a y)) in x
6.860 * [taylor]: Taking taylor expansion of (* a t) in x
6.860 * [taylor]: Taking taylor expansion of a in x
6.860 * [backup-simplify]: Simplify a into a
6.860 * [taylor]: Taking taylor expansion of t in x
6.860 * [backup-simplify]: Simplify t into t
6.860 * [taylor]: Taking taylor expansion of (* a y) in x
6.860 * [taylor]: Taking taylor expansion of a in x
6.860 * [backup-simplify]: Simplify a into a
6.860 * [taylor]: Taking taylor expansion of y in x
6.860 * [backup-simplify]: Simplify y into y
6.860 * [taylor]: Taking taylor expansion of (* y b) in x
6.860 * [taylor]: Taking taylor expansion of y in x
6.860 * [backup-simplify]: Simplify y into y
6.860 * [taylor]: Taking taylor expansion of b in x
6.860 * [backup-simplify]: Simplify b into b
6.860 * [taylor]: Taking taylor expansion of (+ t (+ x y)) in x
6.860 * [taylor]: Taking taylor expansion of t in x
6.860 * [backup-simplify]: Simplify t into t
6.860 * [taylor]: Taking taylor expansion of (+ x y) in x
6.860 * [taylor]: Taking taylor expansion of x in x
6.860 * [backup-simplify]: Simplify 0 into 0
6.860 * [backup-simplify]: Simplify 1 into 1
6.860 * [taylor]: Taking taylor expansion of y in x
6.860 * [backup-simplify]: Simplify y into y
6.860 * [backup-simplify]: Simplify (* 0 z) into 0
6.860 * [backup-simplify]: Simplify (* z y) into (* z y)
6.860 * [backup-simplify]: Simplify (* a t) into (* a t)
6.860 * [backup-simplify]: Simplify (* a y) into (* a y)
6.860 * [backup-simplify]: Simplify (+ (* a t) (* a y)) into (+ (* a t) (* a y))
6.861 * [backup-simplify]: Simplify (+ (* z y) (+ (* a t) (* a y))) into (+ (* z y) (+ (* a t) (* a y)))
6.861 * [backup-simplify]: Simplify (+ 0 (+ (* z y) (+ (* a t) (* a y)))) into (+ (* z y) (+ (* a t) (* a y)))
6.861 * [backup-simplify]: Simplify (* y b) into (* y b)
6.861 * [backup-simplify]: Simplify (- (* y b)) into (- (* y b))
6.861 * [backup-simplify]: Simplify (+ (+ (* z y) (+ (* a t) (* a y))) (- (* y b))) into (- (+ (* z y) (+ (* a t) (* a y))) (* y b))
6.861 * [backup-simplify]: Simplify (+ 0 y) into y
6.861 * [backup-simplify]: Simplify (+ t y) into (+ t y)
6.861 * [backup-simplify]: Simplify (/ (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) (+ t y)) into (/ (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) (+ t y))
6.861 * [taylor]: Taking taylor expansion of (/ (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) (+ t y)) in y
6.861 * [taylor]: Taking taylor expansion of (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) in y
6.861 * [taylor]: Taking taylor expansion of (+ (* z y) (+ (* a t) (* a y))) in y
6.861 * [taylor]: Taking taylor expansion of (* z y) in y
6.861 * [taylor]: Taking taylor expansion of z in y
6.861 * [backup-simplify]: Simplify z into z
6.861 * [taylor]: Taking taylor expansion of y in y
6.861 * [backup-simplify]: Simplify 0 into 0
6.861 * [backup-simplify]: Simplify 1 into 1
6.861 * [taylor]: Taking taylor expansion of (+ (* a t) (* a y)) in y
6.861 * [taylor]: Taking taylor expansion of (* a t) in y
6.861 * [taylor]: Taking taylor expansion of a in y
6.861 * [backup-simplify]: Simplify a into a
6.861 * [taylor]: Taking taylor expansion of t in y
6.861 * [backup-simplify]: Simplify t into t
6.861 * [taylor]: Taking taylor expansion of (* a y) in y
6.862 * [taylor]: Taking taylor expansion of a in y
6.862 * [backup-simplify]: Simplify a into a
6.862 * [taylor]: Taking taylor expansion of y in y
6.862 * [backup-simplify]: Simplify 0 into 0
6.862 * [backup-simplify]: Simplify 1 into 1
6.862 * [taylor]: Taking taylor expansion of (* y b) in y
6.862 * [taylor]: Taking taylor expansion of y in y
6.862 * [backup-simplify]: Simplify 0 into 0
6.862 * [backup-simplify]: Simplify 1 into 1
6.862 * [taylor]: Taking taylor expansion of b in y
6.862 * [backup-simplify]: Simplify b into b
6.862 * [taylor]: Taking taylor expansion of (+ t y) in y
6.862 * [taylor]: Taking taylor expansion of t in y
6.862 * [backup-simplify]: Simplify t into t
6.862 * [taylor]: Taking taylor expansion of y in y
6.862 * [backup-simplify]: Simplify 0 into 0
6.862 * [backup-simplify]: Simplify 1 into 1
6.862 * [backup-simplify]: Simplify (* z 0) into 0
6.862 * [backup-simplify]: Simplify (* a t) into (* a t)
6.862 * [backup-simplify]: Simplify (* a 0) into 0
6.862 * [backup-simplify]: Simplify (+ (* a t) 0) into (* a t)
6.862 * [backup-simplify]: Simplify (+ 0 (* a t)) into (* a t)
6.862 * [backup-simplify]: Simplify (* 0 b) into 0
6.862 * [backup-simplify]: Simplify (- 0) into 0
6.862 * [backup-simplify]: Simplify (+ (* a t) 0) into (* a t)
6.862 * [backup-simplify]: Simplify (+ t 0) into t
6.862 * [backup-simplify]: Simplify (/ (* a t) t) into a
6.862 * [taylor]: Taking taylor expansion of a in z
6.862 * [backup-simplify]: Simplify a into a
6.862 * [taylor]: Taking taylor expansion of a in t
6.862 * [backup-simplify]: Simplify a into a
6.862 * [taylor]: Taking taylor expansion of a in a
6.862 * [backup-simplify]: Simplify 0 into 0
6.862 * [backup-simplify]: Simplify 1 into 1
6.863 * [taylor]: Taking taylor expansion of 0 in b
6.863 * [backup-simplify]: Simplify 0 into 0
6.863 * [backup-simplify]: Simplify 0 into 0
6.863 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
6.863 * [backup-simplify]: Simplify (+ (* z 0) (* 0 y)) into 0
6.863 * [backup-simplify]: Simplify (+ (* a 0) (* 0 t)) into 0
6.863 * [backup-simplify]: Simplify (+ (* a 0) (* 0 y)) into 0
6.863 * [backup-simplify]: Simplify (+ 0 0) into 0
6.864 * [backup-simplify]: Simplify (+ 0 0) into 0
6.864 * [backup-simplify]: Simplify (+ z 0) into z
6.864 * [backup-simplify]: Simplify (+ (* y 0) (* 0 b)) into 0
6.864 * [backup-simplify]: Simplify (- 0) into 0
6.864 * [backup-simplify]: Simplify (+ z 0) into z
6.864 * [backup-simplify]: Simplify (+ 1 0) into 1
6.864 * [backup-simplify]: Simplify (+ 0 1) into 1
6.865 * [backup-simplify]: Simplify (- (/ z (+ t y)) (+ (* (/ (- (+ (* z y) (+ (* a t) (* a y))) (* y b)) (+ t y)) (/ 1 (+ t y))))) into (- (+ (/ z (+ t y)) (/ (* y b) (pow (+ t y) 2))) (+ (/ (* z y) (pow (+ t y) 2)) (+ (/ (* a y) (pow (+ t y) 2)) (/ (* a t) (pow (+ t y) 2)))))
6.865 * [taylor]: Taking taylor expansion of (- (+ (/ z (+ t y)) (/ (* y b) (pow (+ t y) 2))) (+ (/ (* z y) (pow (+ t y) 2)) (+ (/ (* a y) (pow (+ t y) 2)) (/ (* a t) (pow (+ t y) 2))))) in y
6.865 * [taylor]: Taking taylor expansion of (+ (/ z (+ t y)) (/ (* y b) (pow (+ t y) 2))) in y
6.865 * [taylor]: Taking taylor expansion of (/ z (+ t y)) in y
6.865 * [taylor]: Taking taylor expansion of z in y
6.865 * [backup-simplify]: Simplify z into z
6.865 * [taylor]: Taking taylor expansion of (+ t y) in y
6.865 * [taylor]: Taking taylor expansion of t in y
6.865 * [backup-simplify]: Simplify t into t
6.865 * [taylor]: Taking taylor expansion of y in y
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify 1 into 1
6.865 * [backup-simplify]: Simplify (+ t 0) into t
6.865 * [backup-simplify]: Simplify (/ z t) into (/ z t)
6.865 * [taylor]: Taking taylor expansion of (/ (* y b) (pow (+ t y) 2)) in y
6.865 * [taylor]: Taking taylor expansion of (* y b) in y
6.865 * [taylor]: Taking taylor expansion of y in y
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify 1 into 1
6.865 * [taylor]: Taking taylor expansion of b in y
6.865 * [backup-simplify]: Simplify b into b
6.865 * [taylor]: Taking taylor expansion of (pow (+ t y) 2) in y
6.865 * [taylor]: Taking taylor expansion of (+ t y) in y
6.865 * [taylor]: Taking taylor expansion of t in y
6.865 * [backup-simplify]: Simplify t into t
6.865 * [taylor]: Taking taylor expansion of y in y
6.865 * [backup-simplify]: Simplify 0 into 0
6.865 * [backup-simplify]: Simplify 1 into 1
6.865 * [backup-simplify]: Simplify (+ t 0) into t
6.865 * [backup-simplify]: Simplify (* 0 b) into 0
6.866 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 b)) into b