0.208 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.055 * * * [progress]: [2/2] Setting up program.
0.059 * [progress]: [Phase 2 of 3] Improving.
0.060 * [simplify]: Simplifying:
  (+ (* x (+ (+ (+ (+ y z) z) y) t)) (* y 5.0))
0.060 * * [simplify]: Extracting # 0 : cost  0
0.060 * * [simplify]: Extracting # 1 : cost  0
0.060 * * [simplify]: Extracting # 2 : cost  0
0.060 * * [simplify]: Extracting # 3 : cost  0
0.060 * * [simplify]: Extracting # 4 : cost  0
0.060 * * [simplify]: Extracting # 5 : cost  0
0.060 * * [simplify]: Extracting # 6 : cost  0
0.060 * * [simplify]: Extracting # 7 : cost  0
0.060 * * [simplify]: iteration  0 :  12  enodes  (cost  15 )
0.064 * * [simplify]: Extracting # 0 : cost  0
0.064 * * [simplify]: Extracting # 1 : cost  0
0.064 * * [simplify]: Extracting # 2 : cost  0
0.064 * * [simplify]: iteration  1 :  30  enodes  (cost  15 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.078 * * [simplify]: Extracting # 2 : cost  0
0.078 * * [simplify]: iteration  2 :  83  enodes  (cost  15 )
0.146 * * [simplify]: Extracting # 0 : cost  0
0.147 * * [simplify]: Extracting # 1 : cost  0
0.147 * * [simplify]: Extracting # 2 : cost  0
0.147 * * [simplify]: Extracting # 3 : cost  0
0.148 * * [simplify]: iteration  3 :  252  enodes  (cost  13 )
0.367 * * [simplify]: Extracting # 0 : cost  0
0.368 * * [simplify]: Extracting # 1 : cost  0
0.369 * * [simplify]: Extracting # 2 : cost  0
0.370 * * [simplify]: Extracting # 3 : cost  0
0.370 * * [simplify]: iteration  4 :  599  enodes  (cost  13 )
0.753 * * [simplify]: Extracting # 0 : cost  0
0.753 * * [simplify]: Extracting # 1 : cost  0
0.754 * * [simplify]: Extracting # 2 : cost  0
0.755 * * [simplify]: Extracting # 3 : cost  0
0.755 * * [simplify]: iteration  5 :  824  enodes  (cost  13 )
1.133 * * [simplify]: Extracting # 0 : cost  0
1.133 * * [simplify]: Extracting # 1 : cost  0
1.133 * * [simplify]: iteration  6 :  838  enodes  (cost  13 )
1.518 * * [simplify]: Extracting # 0 : cost  0
1.519 * * [simplify]: iteration done:  838  enodes  (cost  13 )
1.519 * [simplify]: Simplified to:
  (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))
1.522 * * [progress]: iteration 1 / 4
1.522 * * * [progress]: picking best candidate
1.524 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))>
1.524 * * * [progress]: localizing error
1.540 * * * [progress]: generating rewritten candidates
1.540 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.617 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.632 * * * [progress]: generating series expansions
1.632 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.632 * [backup-simplify]: Simplify (* (+ (* 2 (+ y z)) t) x) into (* (+ t (+ (* 2 z) (* 2 y))) x)
1.632 * [approximate]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in (y z t x) around 0
1.632 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in x
1.632 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in x
1.632 * [taylor]: Taking taylor expansion of t in x
1.632 * [backup-simplify]: Simplify t into t
1.632 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in x
1.632 * [taylor]: Taking taylor expansion of (* 2 z) in x
1.632 * [taylor]: Taking taylor expansion of 2 in x
1.632 * [backup-simplify]: Simplify 2 into 2
1.632 * [taylor]: Taking taylor expansion of z in x
1.632 * [backup-simplify]: Simplify z into z
1.632 * [taylor]: Taking taylor expansion of (* 2 y) in x
1.632 * [taylor]: Taking taylor expansion of 2 in x
1.632 * [backup-simplify]: Simplify 2 into 2
1.632 * [taylor]: Taking taylor expansion of y in x
1.632 * [backup-simplify]: Simplify y into y
1.632 * [taylor]: Taking taylor expansion of x in x
1.632 * [backup-simplify]: Simplify 0 into 0
1.632 * [backup-simplify]: Simplify 1 into 1
1.632 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in t
1.632 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in t
1.632 * [taylor]: Taking taylor expansion of t in t
1.632 * [backup-simplify]: Simplify 0 into 0
1.632 * [backup-simplify]: Simplify 1 into 1
1.632 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in t
1.633 * [taylor]: Taking taylor expansion of (* 2 z) in t
1.633 * [taylor]: Taking taylor expansion of 2 in t
1.633 * [backup-simplify]: Simplify 2 into 2
1.633 * [taylor]: Taking taylor expansion of z in t
1.633 * [backup-simplify]: Simplify z into z
1.633 * [taylor]: Taking taylor expansion of (* 2 y) in t
1.633 * [taylor]: Taking taylor expansion of 2 in t
1.633 * [backup-simplify]: Simplify 2 into 2
1.633 * [taylor]: Taking taylor expansion of y in t
1.633 * [backup-simplify]: Simplify y into y
1.633 * [taylor]: Taking taylor expansion of x in t
1.633 * [backup-simplify]: Simplify x into x
1.633 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in z
1.633 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in z
1.633 * [taylor]: Taking taylor expansion of t in z
1.633 * [backup-simplify]: Simplify t into t
1.633 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in z
1.633 * [taylor]: Taking taylor expansion of (* 2 z) in z
1.633 * [taylor]: Taking taylor expansion of 2 in z
1.633 * [backup-simplify]: Simplify 2 into 2
1.633 * [taylor]: Taking taylor expansion of z in z
1.633 * [backup-simplify]: Simplify 0 into 0
1.633 * [backup-simplify]: Simplify 1 into 1
1.633 * [taylor]: Taking taylor expansion of (* 2 y) in z
1.633 * [taylor]: Taking taylor expansion of 2 in z
1.633 * [backup-simplify]: Simplify 2 into 2
1.633 * [taylor]: Taking taylor expansion of y in z
1.633 * [backup-simplify]: Simplify y into y
1.633 * [taylor]: Taking taylor expansion of x in z
1.633 * [backup-simplify]: Simplify x into x
1.633 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in y
1.633 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in y
1.633 * [taylor]: Taking taylor expansion of t in y
1.633 * [backup-simplify]: Simplify t into t
1.633 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in y
1.633 * [taylor]: Taking taylor expansion of (* 2 z) in y
1.633 * [taylor]: Taking taylor expansion of 2 in y
1.633 * [backup-simplify]: Simplify 2 into 2
1.633 * [taylor]: Taking taylor expansion of z in y
1.633 * [backup-simplify]: Simplify z into z
1.633 * [taylor]: Taking taylor expansion of (* 2 y) in y
1.633 * [taylor]: Taking taylor expansion of 2 in y
1.633 * [backup-simplify]: Simplify 2 into 2
1.633 * [taylor]: Taking taylor expansion of y in y
1.633 * [backup-simplify]: Simplify 0 into 0
1.633 * [backup-simplify]: Simplify 1 into 1
1.633 * [taylor]: Taking taylor expansion of x in y
1.633 * [backup-simplify]: Simplify x into x
1.633 * [taylor]: Taking taylor expansion of (* (+ t (+ (* 2 z) (* 2 y))) x) in y
1.633 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in y
1.633 * [taylor]: Taking taylor expansion of t in y
1.633 * [backup-simplify]: Simplify t into t
1.633 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in y
1.633 * [taylor]: Taking taylor expansion of (* 2 z) in y
1.633 * [taylor]: Taking taylor expansion of 2 in y
1.633 * [backup-simplify]: Simplify 2 into 2
1.633 * [taylor]: Taking taylor expansion of z in y
1.633 * [backup-simplify]: Simplify z into z
1.633 * [taylor]: Taking taylor expansion of (* 2 y) in y
1.633 * [taylor]: Taking taylor expansion of 2 in y
1.633 * [backup-simplify]: Simplify 2 into 2
1.633 * [taylor]: Taking taylor expansion of y in y
1.634 * [backup-simplify]: Simplify 0 into 0
1.634 * [backup-simplify]: Simplify 1 into 1
1.634 * [taylor]: Taking taylor expansion of x in y
1.634 * [backup-simplify]: Simplify x into x
1.634 * [backup-simplify]: Simplify (* 2 z) into (* 2 z)
1.635 * [backup-simplify]: Simplify (* 2 0) into 0
1.635 * [backup-simplify]: Simplify (+ (* 2 z) 0) into (* 2 z)
1.635 * [backup-simplify]: Simplify (+ t (* 2 z)) into (+ t (* 2 z))
1.635 * [backup-simplify]: Simplify (* (+ t (* 2 z)) x) into (* x (+ t (* 2 z)))
1.635 * [taylor]: Taking taylor expansion of (* x (+ t (* 2 z))) in z
1.635 * [taylor]: Taking taylor expansion of x in z
1.635 * [backup-simplify]: Simplify x into x
1.635 * [taylor]: Taking taylor expansion of (+ t (* 2 z)) in z
1.635 * [taylor]: Taking taylor expansion of t in z
1.635 * [backup-simplify]: Simplify t into t
1.635 * [taylor]: Taking taylor expansion of (* 2 z) in z
1.635 * [taylor]: Taking taylor expansion of 2 in z
1.635 * [backup-simplify]: Simplify 2 into 2
1.635 * [taylor]: Taking taylor expansion of z in z
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 1 into 1
1.636 * [backup-simplify]: Simplify (* 2 0) into 0
1.636 * [backup-simplify]: Simplify (+ t 0) into t
1.636 * [backup-simplify]: Simplify (* x t) into (* t x)
1.636 * [taylor]: Taking taylor expansion of (* t x) in t
1.636 * [taylor]: Taking taylor expansion of t in t
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 1 into 1
1.636 * [taylor]: Taking taylor expansion of x in t
1.636 * [backup-simplify]: Simplify x into x
1.636 * [backup-simplify]: Simplify (* 0 x) into 0
1.636 * [taylor]: Taking taylor expansion of 0 in x
1.636 * [backup-simplify]: Simplify 0 into 0
1.636 * [backup-simplify]: Simplify 0 into 0
1.637 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 z)) into 0
1.637 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
1.637 * [backup-simplify]: Simplify (+ 0 2) into 2
1.638 * [backup-simplify]: Simplify (+ 0 2) into 2
1.638 * [backup-simplify]: Simplify (+ (* (+ t (* 2 z)) 0) (* 2 x)) into (* 2 x)
1.638 * [taylor]: Taking taylor expansion of (* 2 x) in z
1.638 * [taylor]: Taking taylor expansion of 2 in z
1.638 * [backup-simplify]: Simplify 2 into 2
1.638 * [taylor]: Taking taylor expansion of x in z
1.638 * [backup-simplify]: Simplify x into x
1.638 * [backup-simplify]: Simplify (* 2 x) into (* 2 x)
1.638 * [taylor]: Taking taylor expansion of (* 2 x) in t
1.638 * [taylor]: Taking taylor expansion of 2 in t
1.638 * [backup-simplify]: Simplify 2 into 2
1.638 * [taylor]: Taking taylor expansion of x in t
1.638 * [backup-simplify]: Simplify x into x
1.638 * [backup-simplify]: Simplify (* 2 x) into (* 2 x)
1.638 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.638 * [taylor]: Taking taylor expansion of 2 in x
1.638 * [backup-simplify]: Simplify 2 into 2
1.638 * [taylor]: Taking taylor expansion of x in x
1.638 * [backup-simplify]: Simplify 0 into 0
1.638 * [backup-simplify]: Simplify 1 into 1
1.638 * [backup-simplify]: Simplify (* 2 0) into 0
1.638 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2
1.639 * [backup-simplify]: Simplify (+ 0 2) into 2
1.639 * [backup-simplify]: Simplify (+ (* x 2) (* 0 t)) into (* 2 x)
1.639 * [taylor]: Taking taylor expansion of (* 2 x) in t
1.639 * [taylor]: Taking taylor expansion of 2 in t
1.639 * [backup-simplify]: Simplify 2 into 2
1.639 * [taylor]: Taking taylor expansion of x in t
1.639 * [backup-simplify]: Simplify x into x
1.639 * [backup-simplify]: Simplify (* 2 x) into (* 2 x)
1.639 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.639 * [taylor]: Taking taylor expansion of 2 in x
1.639 * [backup-simplify]: Simplify 2 into 2
1.639 * [taylor]: Taking taylor expansion of x in x
1.639 * [backup-simplify]: Simplify 0 into 0
1.639 * [backup-simplify]: Simplify 1 into 1
1.640 * [backup-simplify]: Simplify (* 2 0) into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
1.640 * [taylor]: Taking taylor expansion of x in x
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify 1 into 1
1.640 * [backup-simplify]: Simplify 0 into 0
1.640 * [backup-simplify]: Simplify 0 into 0
1.641 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 z))) into 0
1.641 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0
1.642 * [backup-simplify]: Simplify (+ 0 0) into 0
1.642 * [backup-simplify]: Simplify (+ 0 0) into 0
1.642 * [backup-simplify]: Simplify (+ (* (+ t (* 2 z)) 0) (+ (* 2 0) (* 0 x))) into 0
1.642 * [taylor]: Taking taylor expansion of 0 in z
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [taylor]: Taking taylor expansion of 0 in t
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [taylor]: Taking taylor expansion of 0 in x
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.642 * [backup-simplify]: Simplify 0 into 0
1.643 * [backup-simplify]: Simplify (* (+ (* 2 (+ (/ 1 y) (/ 1 z))) (/ 1 t)) (/ 1 x)) into (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x)
1.643 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in (y z t x) around 0
1.643 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in x
1.643 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in x
1.643 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
1.643 * [taylor]: Taking taylor expansion of 2 in x
1.643 * [backup-simplify]: Simplify 2 into 2
1.643 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.643 * [taylor]: Taking taylor expansion of y in x
1.643 * [backup-simplify]: Simplify y into y
1.643 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.643 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in x
1.643 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in x
1.643 * [taylor]: Taking taylor expansion of 2 in x
1.643 * [backup-simplify]: Simplify 2 into 2
1.643 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.643 * [taylor]: Taking taylor expansion of z in x
1.643 * [backup-simplify]: Simplify z into z
1.643 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.643 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.643 * [taylor]: Taking taylor expansion of t in x
1.643 * [backup-simplify]: Simplify t into t
1.643 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.643 * [taylor]: Taking taylor expansion of x in x
1.643 * [backup-simplify]: Simplify 0 into 0
1.643 * [backup-simplify]: Simplify 1 into 1
1.643 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
1.643 * [backup-simplify]: Simplify (* 2 (/ 1 z)) into (/ 2 z)
1.643 * [backup-simplify]: Simplify (+ (/ 2 z) (/ 1 t)) into (+ (* 2 (/ 1 z)) (/ 1 t))
1.644 * [backup-simplify]: Simplify (+ (/ 2 y) (+ (* 2 (/ 1 z)) (/ 1 t))) into (+ (* 2 (/ 1 z)) (+ (* 2 (/ 1 y)) (/ 1 t)))
1.644 * [backup-simplify]: Simplify (/ (+ (* 2 (/ 1 z)) (+ (* 2 (/ 1 y)) (/ 1 t))) 1) into (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t)))
1.644 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in t
1.644 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in t
1.644 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in t
1.644 * [taylor]: Taking taylor expansion of 2 in t
1.644 * [backup-simplify]: Simplify 2 into 2
1.644 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.644 * [taylor]: Taking taylor expansion of y in t
1.644 * [backup-simplify]: Simplify y into y
1.644 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.644 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in t
1.644 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in t
1.644 * [taylor]: Taking taylor expansion of 2 in t
1.644 * [backup-simplify]: Simplify 2 into 2
1.644 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.644 * [taylor]: Taking taylor expansion of z in t
1.644 * [backup-simplify]: Simplify z into z
1.644 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.644 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.644 * [taylor]: Taking taylor expansion of t in t
1.644 * [backup-simplify]: Simplify 0 into 0
1.644 * [backup-simplify]: Simplify 1 into 1
1.644 * [backup-simplify]: Simplify (/ 1 1) into 1
1.644 * [taylor]: Taking taylor expansion of x in t
1.644 * [backup-simplify]: Simplify x into x
1.645 * [backup-simplify]: Simplify (+ 0 1) into 1
1.645 * [backup-simplify]: Simplify (+ 0 1) into 1
1.645 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.645 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in z
1.645 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in z
1.645 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z
1.645 * [taylor]: Taking taylor expansion of 2 in z
1.645 * [backup-simplify]: Simplify 2 into 2
1.645 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.645 * [taylor]: Taking taylor expansion of y in z
1.645 * [backup-simplify]: Simplify y into y
1.645 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.645 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in z
1.645 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in z
1.645 * [taylor]: Taking taylor expansion of 2 in z
1.645 * [backup-simplify]: Simplify 2 into 2
1.645 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.645 * [taylor]: Taking taylor expansion of z in z
1.645 * [backup-simplify]: Simplify 0 into 0
1.645 * [backup-simplify]: Simplify 1 into 1
1.646 * [backup-simplify]: Simplify (/ 1 1) into 1
1.646 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.646 * [taylor]: Taking taylor expansion of t in z
1.646 * [backup-simplify]: Simplify t into t
1.646 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.646 * [taylor]: Taking taylor expansion of x in z
1.646 * [backup-simplify]: Simplify x into x
1.646 * [backup-simplify]: Simplify (* 2 1) into 2
1.646 * [backup-simplify]: Simplify (+ 2 0) into 2
1.647 * [backup-simplify]: Simplify (+ 0 2) into 2
1.647 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.647 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in y
1.647 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in y
1.647 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.647 * [taylor]: Taking taylor expansion of 2 in y
1.647 * [backup-simplify]: Simplify 2 into 2
1.647 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.647 * [taylor]: Taking taylor expansion of y in y
1.647 * [backup-simplify]: Simplify 0 into 0
1.647 * [backup-simplify]: Simplify 1 into 1
1.647 * [backup-simplify]: Simplify (/ 1 1) into 1
1.647 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in y
1.647 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y
1.647 * [taylor]: Taking taylor expansion of 2 in y
1.647 * [backup-simplify]: Simplify 2 into 2
1.647 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.647 * [taylor]: Taking taylor expansion of z in y
1.647 * [backup-simplify]: Simplify z into z
1.647 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.647 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.647 * [taylor]: Taking taylor expansion of t in y
1.647 * [backup-simplify]: Simplify t into t
1.647 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.647 * [taylor]: Taking taylor expansion of x in y
1.647 * [backup-simplify]: Simplify x into x
1.648 * [backup-simplify]: Simplify (* 2 1) into 2
1.648 * [backup-simplify]: Simplify (+ 2 0) into 2
1.648 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.648 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in y
1.648 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in y
1.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.648 * [taylor]: Taking taylor expansion of 2 in y
1.648 * [backup-simplify]: Simplify 2 into 2
1.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.648 * [taylor]: Taking taylor expansion of y in y
1.648 * [backup-simplify]: Simplify 0 into 0
1.648 * [backup-simplify]: Simplify 1 into 1
1.648 * [backup-simplify]: Simplify (/ 1 1) into 1
1.648 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in y
1.648 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y
1.648 * [taylor]: Taking taylor expansion of 2 in y
1.648 * [backup-simplify]: Simplify 2 into 2
1.648 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.648 * [taylor]: Taking taylor expansion of z in y
1.648 * [backup-simplify]: Simplify z into z
1.649 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.649 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.649 * [taylor]: Taking taylor expansion of t in y
1.649 * [backup-simplify]: Simplify t into t
1.649 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.649 * [taylor]: Taking taylor expansion of x in y
1.649 * [backup-simplify]: Simplify x into x
1.649 * [backup-simplify]: Simplify (* 2 1) into 2
1.649 * [backup-simplify]: Simplify (+ 2 0) into 2
1.649 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.649 * [taylor]: Taking taylor expansion of (/ 2 x) in z
1.649 * [taylor]: Taking taylor expansion of 2 in z
1.649 * [backup-simplify]: Simplify 2 into 2
1.649 * [taylor]: Taking taylor expansion of x in z
1.649 * [backup-simplify]: Simplify x into x
1.650 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.651 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
1.651 * [backup-simplify]: Simplify (* 2 (/ 1 z)) into (/ 2 z)
1.651 * [backup-simplify]: Simplify (+ (/ 2 z) (/ 1 t)) into (+ (* 2 (/ 1 z)) (/ 1 t))
1.651 * [backup-simplify]: Simplify (+ 0 (+ (* 2 (/ 1 z)) (/ 1 t))) into (+ (* 2 (/ 1 z)) (/ 1 t))
1.651 * [backup-simplify]: Simplify (- (/ (+ (* 2 (/ 1 z)) (/ 1 t)) x) (+ (* (/ 2 x) (/ 0 x)))) into (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z))))
1.651 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) in z
1.651 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z
1.651 * [taylor]: Taking taylor expansion of (* t x) in z
1.651 * [taylor]: Taking taylor expansion of t in z
1.651 * [backup-simplify]: Simplify t into t
1.651 * [taylor]: Taking taylor expansion of x in z
1.651 * [backup-simplify]: Simplify x into x
1.651 * [backup-simplify]: Simplify (* t x) into (* t x)
1.651 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.651 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z
1.651 * [taylor]: Taking taylor expansion of 2 in z
1.651 * [backup-simplify]: Simplify 2 into 2
1.651 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.651 * [taylor]: Taking taylor expansion of (* x z) in z
1.652 * [taylor]: Taking taylor expansion of x in z
1.652 * [backup-simplify]: Simplify x into x
1.652 * [taylor]: Taking taylor expansion of z in z
1.652 * [backup-simplify]: Simplify 0 into 0
1.652 * [backup-simplify]: Simplify 1 into 1
1.652 * [backup-simplify]: Simplify (* x 0) into 0
1.652 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.652 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.652 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.652 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x))
1.652 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t
1.652 * [taylor]: Taking taylor expansion of 2 in t
1.652 * [backup-simplify]: Simplify 2 into 2
1.652 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.652 * [taylor]: Taking taylor expansion of x in t
1.652 * [backup-simplify]: Simplify x into x
1.652 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.652 * [taylor]: Taking taylor expansion of (/ 2 x) in t
1.652 * [taylor]: Taking taylor expansion of 2 in t
1.652 * [backup-simplify]: Simplify 2 into 2
1.652 * [taylor]: Taking taylor expansion of x in t
1.652 * [backup-simplify]: Simplify x into x
1.652 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.653 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.654 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 z))) into 0
1.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
1.654 * [backup-simplify]: Simplify (+ 0 0) into 0
1.654 * [backup-simplify]: Simplify (+ 0 0) into 0
1.655 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 2 x) (/ 0 x)) (* (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) (/ 0 x)))) into 0
1.655 * [taylor]: Taking taylor expansion of 0 in z
1.655 * [backup-simplify]: Simplify 0 into 0
1.655 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.655 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.656 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
1.656 * [backup-simplify]: Simplify (+ (/ 1 (* t x)) 0) into (/ 1 (* t x))
1.656 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.656 * [taylor]: Taking taylor expansion of (* t x) in t
1.656 * [taylor]: Taking taylor expansion of t in t
1.656 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify 1 into 1
1.656 * [taylor]: Taking taylor expansion of x in t
1.656 * [backup-simplify]: Simplify x into x
1.656 * [backup-simplify]: Simplify (* 0 x) into 0
1.656 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
1.656 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.656 * [taylor]: Taking taylor expansion of x in x
1.656 * [backup-simplify]: Simplify 0 into 0
1.656 * [backup-simplify]: Simplify 1 into 1
1.657 * [backup-simplify]: Simplify (/ 1 1) into 1
1.657 * [backup-simplify]: Simplify 1 into 1
1.657 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 2 x) (/ 0 x)))) into 0
1.657 * [taylor]: Taking taylor expansion of 0 in t
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.657 * [taylor]: Taking taylor expansion of (/ 2 x) in x
1.657 * [taylor]: Taking taylor expansion of 2 in x
1.657 * [backup-simplify]: Simplify 2 into 2
1.657 * [taylor]: Taking taylor expansion of x in x
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify 1 into 1
1.657 * [backup-simplify]: Simplify (/ 2 1) into 2
1.657 * [backup-simplify]: Simplify 2 into 2
1.657 * [taylor]: Taking taylor expansion of (/ 2 x) in x
1.657 * [taylor]: Taking taylor expansion of 2 in x
1.657 * [backup-simplify]: Simplify 2 into 2
1.657 * [taylor]: Taking taylor expansion of x in x
1.657 * [backup-simplify]: Simplify 0 into 0
1.657 * [backup-simplify]: Simplify 1 into 1
1.658 * [backup-simplify]: Simplify (/ 2 1) into 2
1.658 * [backup-simplify]: Simplify 2 into 2
1.658 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 x)) (* 1 (* 1 (/ 1 (/ 1 y)))))) (+ (* 2 (* (/ 1 (/ 1 x)) (* 1 (* (/ 1 (/ 1 z)) 1)))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 t)) (* 1 1)))))) into (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x)))
1.659 * [backup-simplify]: Simplify (* (+ (* 2 (+ (/ 1 (- y)) (/ 1 (- z)))) (/ 1 (- t))) (/ 1 (- x))) into (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x)
1.659 * [approximate]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in (y z t x) around 0
1.659 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in x
1.659 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in x
1.659 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x
1.659 * [taylor]: Taking taylor expansion of 2 in x
1.659 * [backup-simplify]: Simplify 2 into 2
1.659 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.659 * [taylor]: Taking taylor expansion of y in x
1.659 * [backup-simplify]: Simplify y into y
1.659 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.659 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in x
1.659 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in x
1.659 * [taylor]: Taking taylor expansion of 2 in x
1.659 * [backup-simplify]: Simplify 2 into 2
1.659 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.659 * [taylor]: Taking taylor expansion of z in x
1.659 * [backup-simplify]: Simplify z into z
1.659 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.659 * [taylor]: Taking taylor expansion of (/ 1 t) in x
1.659 * [taylor]: Taking taylor expansion of t in x
1.659 * [backup-simplify]: Simplify t into t
1.659 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.659 * [taylor]: Taking taylor expansion of x in x
1.659 * [backup-simplify]: Simplify 0 into 0
1.659 * [backup-simplify]: Simplify 1 into 1
1.659 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y)
1.659 * [backup-simplify]: Simplify (* 2 (/ 1 z)) into (/ 2 z)
1.659 * [backup-simplify]: Simplify (+ (/ 2 z) (/ 1 t)) into (+ (* 2 (/ 1 z)) (/ 1 t))
1.659 * [backup-simplify]: Simplify (+ (/ 2 y) (+ (* 2 (/ 1 z)) (/ 1 t))) into (+ (* 2 (/ 1 z)) (+ (* 2 (/ 1 y)) (/ 1 t)))
1.660 * [backup-simplify]: Simplify (/ (+ (* 2 (/ 1 z)) (+ (* 2 (/ 1 y)) (/ 1 t))) 1) into (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t)))
1.660 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in t
1.660 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in t
1.660 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in t
1.660 * [taylor]: Taking taylor expansion of 2 in t
1.660 * [backup-simplify]: Simplify 2 into 2
1.660 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.660 * [taylor]: Taking taylor expansion of y in t
1.660 * [backup-simplify]: Simplify y into y
1.660 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.660 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in t
1.660 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in t
1.660 * [taylor]: Taking taylor expansion of 2 in t
1.660 * [backup-simplify]: Simplify 2 into 2
1.660 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.660 * [taylor]: Taking taylor expansion of z in t
1.660 * [backup-simplify]: Simplify z into z
1.660 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.660 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.660 * [taylor]: Taking taylor expansion of t in t
1.660 * [backup-simplify]: Simplify 0 into 0
1.660 * [backup-simplify]: Simplify 1 into 1
1.660 * [backup-simplify]: Simplify (/ 1 1) into 1
1.660 * [taylor]: Taking taylor expansion of x in t
1.660 * [backup-simplify]: Simplify x into x
1.660 * [backup-simplify]: Simplify (+ 0 1) into 1
1.661 * [backup-simplify]: Simplify (+ 0 1) into 1
1.661 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.661 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in z
1.661 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in z
1.661 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z
1.661 * [taylor]: Taking taylor expansion of 2 in z
1.661 * [backup-simplify]: Simplify 2 into 2
1.661 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.661 * [taylor]: Taking taylor expansion of y in z
1.661 * [backup-simplify]: Simplify y into y
1.661 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.661 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in z
1.661 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in z
1.661 * [taylor]: Taking taylor expansion of 2 in z
1.661 * [backup-simplify]: Simplify 2 into 2
1.661 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.661 * [taylor]: Taking taylor expansion of z in z
1.661 * [backup-simplify]: Simplify 0 into 0
1.661 * [backup-simplify]: Simplify 1 into 1
1.661 * [backup-simplify]: Simplify (/ 1 1) into 1
1.661 * [taylor]: Taking taylor expansion of (/ 1 t) in z
1.661 * [taylor]: Taking taylor expansion of t in z
1.661 * [backup-simplify]: Simplify t into t
1.661 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.661 * [taylor]: Taking taylor expansion of x in z
1.662 * [backup-simplify]: Simplify x into x
1.662 * [backup-simplify]: Simplify (* 2 1) into 2
1.662 * [backup-simplify]: Simplify (+ 2 0) into 2
1.662 * [backup-simplify]: Simplify (+ 0 2) into 2
1.662 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.662 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in y
1.662 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in y
1.662 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.662 * [taylor]: Taking taylor expansion of 2 in y
1.662 * [backup-simplify]: Simplify 2 into 2
1.662 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.663 * [taylor]: Taking taylor expansion of y in y
1.663 * [backup-simplify]: Simplify 0 into 0
1.663 * [backup-simplify]: Simplify 1 into 1
1.663 * [backup-simplify]: Simplify (/ 1 1) into 1
1.663 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in y
1.663 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y
1.663 * [taylor]: Taking taylor expansion of 2 in y
1.663 * [backup-simplify]: Simplify 2 into 2
1.663 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.663 * [taylor]: Taking taylor expansion of z in y
1.663 * [backup-simplify]: Simplify z into z
1.663 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.663 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.663 * [taylor]: Taking taylor expansion of t in y
1.663 * [backup-simplify]: Simplify t into t
1.663 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.663 * [taylor]: Taking taylor expansion of x in y
1.663 * [backup-simplify]: Simplify x into x
1.663 * [backup-simplify]: Simplify (* 2 1) into 2
1.664 * [backup-simplify]: Simplify (+ 2 0) into 2
1.664 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.664 * [taylor]: Taking taylor expansion of (/ (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) x) in y
1.664 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (* 2 (/ 1 z)) (/ 1 t))) in y
1.664 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y
1.664 * [taylor]: Taking taylor expansion of 2 in y
1.664 * [backup-simplify]: Simplify 2 into 2
1.664 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.664 * [taylor]: Taking taylor expansion of y in y
1.664 * [backup-simplify]: Simplify 0 into 0
1.664 * [backup-simplify]: Simplify 1 into 1
1.664 * [backup-simplify]: Simplify (/ 1 1) into 1
1.664 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 z)) (/ 1 t)) in y
1.664 * [taylor]: Taking taylor expansion of (* 2 (/ 1 z)) in y
1.664 * [taylor]: Taking taylor expansion of 2 in y
1.664 * [backup-simplify]: Simplify 2 into 2
1.664 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.664 * [taylor]: Taking taylor expansion of z in y
1.664 * [backup-simplify]: Simplify z into z
1.664 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.664 * [taylor]: Taking taylor expansion of (/ 1 t) in y
1.664 * [taylor]: Taking taylor expansion of t in y
1.664 * [backup-simplify]: Simplify t into t
1.664 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.664 * [taylor]: Taking taylor expansion of x in y
1.664 * [backup-simplify]: Simplify x into x
1.665 * [backup-simplify]: Simplify (* 2 1) into 2
1.665 * [backup-simplify]: Simplify (+ 2 0) into 2
1.665 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.665 * [taylor]: Taking taylor expansion of (/ 2 x) in z
1.665 * [taylor]: Taking taylor expansion of 2 in z
1.665 * [backup-simplify]: Simplify 2 into 2
1.665 * [taylor]: Taking taylor expansion of x in z
1.665 * [backup-simplify]: Simplify x into x
1.665 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.666 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0
1.666 * [backup-simplify]: Simplify (* 2 (/ 1 z)) into (/ 2 z)
1.666 * [backup-simplify]: Simplify (+ (/ 2 z) (/ 1 t)) into (+ (* 2 (/ 1 z)) (/ 1 t))
1.666 * [backup-simplify]: Simplify (+ 0 (+ (* 2 (/ 1 z)) (/ 1 t))) into (+ (* 2 (/ 1 z)) (/ 1 t))
1.667 * [backup-simplify]: Simplify (- (/ (+ (* 2 (/ 1 z)) (/ 1 t)) x) (+ (* (/ 2 x) (/ 0 x)))) into (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z))))
1.667 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) in z
1.667 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z
1.667 * [taylor]: Taking taylor expansion of (* t x) in z
1.667 * [taylor]: Taking taylor expansion of t in z
1.667 * [backup-simplify]: Simplify t into t
1.667 * [taylor]: Taking taylor expansion of x in z
1.667 * [backup-simplify]: Simplify x into x
1.667 * [backup-simplify]: Simplify (* t x) into (* t x)
1.667 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.667 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z
1.667 * [taylor]: Taking taylor expansion of 2 in z
1.667 * [backup-simplify]: Simplify 2 into 2
1.667 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.667 * [taylor]: Taking taylor expansion of (* x z) in z
1.667 * [taylor]: Taking taylor expansion of x in z
1.667 * [backup-simplify]: Simplify x into x
1.667 * [taylor]: Taking taylor expansion of z in z
1.667 * [backup-simplify]: Simplify 0 into 0
1.667 * [backup-simplify]: Simplify 1 into 1
1.667 * [backup-simplify]: Simplify (* x 0) into 0
1.667 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.667 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.667 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.667 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x))
1.667 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t
1.668 * [taylor]: Taking taylor expansion of 2 in t
1.668 * [backup-simplify]: Simplify 2 into 2
1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.668 * [taylor]: Taking taylor expansion of x in t
1.668 * [backup-simplify]: Simplify x into x
1.668 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.668 * [taylor]: Taking taylor expansion of (/ 2 x) in t
1.668 * [taylor]: Taking taylor expansion of 2 in t
1.668 * [backup-simplify]: Simplify 2 into 2
1.668 * [taylor]: Taking taylor expansion of x in t
1.668 * [backup-simplify]: Simplify x into x
1.668 * [backup-simplify]: Simplify (/ 2 x) into (/ 2 x)
1.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.669 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0
1.669 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
1.670 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 z))) into 0
1.670 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
1.670 * [backup-simplify]: Simplify (+ 0 0) into 0
1.670 * [backup-simplify]: Simplify (+ 0 0) into 0
1.670 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 2 x) (/ 0 x)) (* (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) (/ 0 x)))) into 0
1.670 * [taylor]: Taking taylor expansion of 0 in z
1.670 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.671 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.671 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
1.671 * [backup-simplify]: Simplify (+ (/ 1 (* t x)) 0) into (/ 1 (* t x))
1.671 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.671 * [taylor]: Taking taylor expansion of (* t x) in t
1.671 * [taylor]: Taking taylor expansion of t in t
1.671 * [backup-simplify]: Simplify 0 into 0
1.671 * [backup-simplify]: Simplify 1 into 1
1.672 * [taylor]: Taking taylor expansion of x in t
1.672 * [backup-simplify]: Simplify x into x
1.672 * [backup-simplify]: Simplify (* 0 x) into 0
1.672 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
1.672 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.672 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.672 * [taylor]: Taking taylor expansion of x in x
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [backup-simplify]: Simplify (/ 1 1) into 1
1.672 * [backup-simplify]: Simplify 1 into 1
1.672 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 2 x) (/ 0 x)))) into 0
1.672 * [taylor]: Taking taylor expansion of 0 in t
1.672 * [backup-simplify]: Simplify 0 into 0
1.672 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.672 * [taylor]: Taking taylor expansion of (/ 2 x) in x
1.672 * [taylor]: Taking taylor expansion of 2 in x
1.673 * [backup-simplify]: Simplify 2 into 2
1.673 * [taylor]: Taking taylor expansion of x in x
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 1 into 1
1.673 * [backup-simplify]: Simplify (/ 2 1) into 2
1.673 * [backup-simplify]: Simplify 2 into 2
1.673 * [taylor]: Taking taylor expansion of (/ 2 x) in x
1.673 * [taylor]: Taking taylor expansion of 2 in x
1.673 * [backup-simplify]: Simplify 2 into 2
1.673 * [taylor]: Taking taylor expansion of x in x
1.673 * [backup-simplify]: Simplify 0 into 0
1.673 * [backup-simplify]: Simplify 1 into 1
1.673 * [backup-simplify]: Simplify (/ 2 1) into 2
1.673 * [backup-simplify]: Simplify 2 into 2
1.674 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 (/ 1 (/ 1 (- y))))))) (+ (* 2 (* (/ 1 (/ 1 (- x))) (* 1 (* (/ 1 (/ 1 (- z))) 1)))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- t))) (* 1 1)))))) into (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x)))
1.674 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.675 * [backup-simplify]: Simplify (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)) into (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))))
1.675 * [approximate]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in (y z t x) around 0
1.675 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in x
1.675 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in x
1.675 * [taylor]: Taking taylor expansion of 2 in x
1.675 * [backup-simplify]: Simplify 2 into 2
1.675 * [taylor]: Taking taylor expansion of (* x z) in x
1.675 * [taylor]: Taking taylor expansion of x in x
1.675 * [backup-simplify]: Simplify 0 into 0
1.675 * [backup-simplify]: Simplify 1 into 1
1.675 * [taylor]: Taking taylor expansion of z in x
1.675 * [backup-simplify]: Simplify z into z
1.675 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in x
1.675 * [taylor]: Taking taylor expansion of (* 5.0 y) in x
1.675 * [taylor]: Taking taylor expansion of 5.0 in x
1.675 * [backup-simplify]: Simplify 5.0 into 5.0
1.675 * [taylor]: Taking taylor expansion of y in x
1.675 * [backup-simplify]: Simplify y into y
1.675 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in x
1.675 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x
1.675 * [taylor]: Taking taylor expansion of 2 in x
1.675 * [backup-simplify]: Simplify 2 into 2
1.675 * [taylor]: Taking taylor expansion of (* x y) in x
1.675 * [taylor]: Taking taylor expansion of x in x
1.675 * [backup-simplify]: Simplify 0 into 0
1.675 * [backup-simplify]: Simplify 1 into 1
1.675 * [taylor]: Taking taylor expansion of y in x
1.675 * [backup-simplify]: Simplify y into y
1.675 * [taylor]: Taking taylor expansion of (* t x) in x
1.675 * [taylor]: Taking taylor expansion of t in x
1.675 * [backup-simplify]: Simplify t into t
1.675 * [taylor]: Taking taylor expansion of x in x
1.675 * [backup-simplify]: Simplify 0 into 0
1.675 * [backup-simplify]: Simplify 1 into 1
1.675 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in t
1.675 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in t
1.675 * [taylor]: Taking taylor expansion of 2 in t
1.675 * [backup-simplify]: Simplify 2 into 2
1.675 * [taylor]: Taking taylor expansion of (* x z) in t
1.675 * [taylor]: Taking taylor expansion of x in t
1.675 * [backup-simplify]: Simplify x into x
1.675 * [taylor]: Taking taylor expansion of z in t
1.675 * [backup-simplify]: Simplify z into z
1.675 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in t
1.675 * [taylor]: Taking taylor expansion of (* 5.0 y) in t
1.675 * [taylor]: Taking taylor expansion of 5.0 in t
1.675 * [backup-simplify]: Simplify 5.0 into 5.0
1.675 * [taylor]: Taking taylor expansion of y in t
1.675 * [backup-simplify]: Simplify y into y
1.675 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in t
1.675 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in t
1.675 * [taylor]: Taking taylor expansion of 2 in t
1.675 * [backup-simplify]: Simplify 2 into 2
1.675 * [taylor]: Taking taylor expansion of (* x y) in t
1.675 * [taylor]: Taking taylor expansion of x in t
1.675 * [backup-simplify]: Simplify x into x
1.675 * [taylor]: Taking taylor expansion of y in t
1.675 * [backup-simplify]: Simplify y into y
1.675 * [taylor]: Taking taylor expansion of (* t x) in t
1.676 * [taylor]: Taking taylor expansion of t in t
1.676 * [backup-simplify]: Simplify 0 into 0
1.676 * [backup-simplify]: Simplify 1 into 1
1.676 * [taylor]: Taking taylor expansion of x in t
1.676 * [backup-simplify]: Simplify x into x
1.676 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in z
1.676 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in z
1.676 * [taylor]: Taking taylor expansion of 2 in z
1.676 * [backup-simplify]: Simplify 2 into 2
1.676 * [taylor]: Taking taylor expansion of (* x z) in z
1.676 * [taylor]: Taking taylor expansion of x in z
1.676 * [backup-simplify]: Simplify x into x
1.676 * [taylor]: Taking taylor expansion of z in z
1.676 * [backup-simplify]: Simplify 0 into 0
1.676 * [backup-simplify]: Simplify 1 into 1
1.676 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in z
1.676 * [taylor]: Taking taylor expansion of (* 5.0 y) in z
1.676 * [taylor]: Taking taylor expansion of 5.0 in z
1.676 * [backup-simplify]: Simplify 5.0 into 5.0
1.676 * [taylor]: Taking taylor expansion of y in z
1.676 * [backup-simplify]: Simplify y into y
1.676 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in z
1.676 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in z
1.676 * [taylor]: Taking taylor expansion of 2 in z
1.676 * [backup-simplify]: Simplify 2 into 2
1.676 * [taylor]: Taking taylor expansion of (* x y) in z
1.676 * [taylor]: Taking taylor expansion of x in z
1.676 * [backup-simplify]: Simplify x into x
1.676 * [taylor]: Taking taylor expansion of y in z
1.676 * [backup-simplify]: Simplify y into y
1.676 * [taylor]: Taking taylor expansion of (* t x) in z
1.676 * [taylor]: Taking taylor expansion of t in z
1.676 * [backup-simplify]: Simplify t into t
1.676 * [taylor]: Taking taylor expansion of x in z
1.676 * [backup-simplify]: Simplify x into x
1.676 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in y
1.676 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in y
1.676 * [taylor]: Taking taylor expansion of 2 in y
1.676 * [backup-simplify]: Simplify 2 into 2
1.676 * [taylor]: Taking taylor expansion of (* x z) in y
1.676 * [taylor]: Taking taylor expansion of x in y
1.676 * [backup-simplify]: Simplify x into x
1.676 * [taylor]: Taking taylor expansion of z in y
1.676 * [backup-simplify]: Simplify z into z
1.676 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in y
1.676 * [taylor]: Taking taylor expansion of (* 5.0 y) in y
1.676 * [taylor]: Taking taylor expansion of 5.0 in y
1.676 * [backup-simplify]: Simplify 5.0 into 5.0
1.676 * [taylor]: Taking taylor expansion of y in y
1.676 * [backup-simplify]: Simplify 0 into 0
1.676 * [backup-simplify]: Simplify 1 into 1
1.676 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in y
1.676 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
1.676 * [taylor]: Taking taylor expansion of 2 in y
1.676 * [backup-simplify]: Simplify 2 into 2
1.676 * [taylor]: Taking taylor expansion of (* x y) in y
1.676 * [taylor]: Taking taylor expansion of x in y
1.676 * [backup-simplify]: Simplify x into x
1.676 * [taylor]: Taking taylor expansion of y in y
1.676 * [backup-simplify]: Simplify 0 into 0
1.677 * [backup-simplify]: Simplify 1 into 1
1.677 * [taylor]: Taking taylor expansion of (* t x) in y
1.677 * [taylor]: Taking taylor expansion of t in y
1.677 * [backup-simplify]: Simplify t into t
1.677 * [taylor]: Taking taylor expansion of x in y
1.677 * [backup-simplify]: Simplify x into x
1.677 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x)))) in y
1.677 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in y
1.677 * [taylor]: Taking taylor expansion of 2 in y
1.677 * [backup-simplify]: Simplify 2 into 2
1.677 * [taylor]: Taking taylor expansion of (* x z) in y
1.677 * [taylor]: Taking taylor expansion of x in y
1.677 * [backup-simplify]: Simplify x into x
1.677 * [taylor]: Taking taylor expansion of z in y
1.677 * [backup-simplify]: Simplify z into z
1.677 * [taylor]: Taking taylor expansion of (+ (* 5.0 y) (+ (* 2 (* x y)) (* t x))) in y
1.677 * [taylor]: Taking taylor expansion of (* 5.0 y) in y
1.677 * [taylor]: Taking taylor expansion of 5.0 in y
1.677 * [backup-simplify]: Simplify 5.0 into 5.0
1.677 * [taylor]: Taking taylor expansion of y in y
1.677 * [backup-simplify]: Simplify 0 into 0
1.677 * [backup-simplify]: Simplify 1 into 1
1.677 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (* t x)) in y
1.677 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y
1.677 * [taylor]: Taking taylor expansion of 2 in y
1.677 * [backup-simplify]: Simplify 2 into 2
1.677 * [taylor]: Taking taylor expansion of (* x y) in y
1.677 * [taylor]: Taking taylor expansion of x in y
1.677 * [backup-simplify]: Simplify x into x
1.677 * [taylor]: Taking taylor expansion of y in y
1.677 * [backup-simplify]: Simplify 0 into 0
1.677 * [backup-simplify]: Simplify 1 into 1
1.677 * [taylor]: Taking taylor expansion of (* t x) in y
1.677 * [taylor]: Taking taylor expansion of t in y
1.677 * [backup-simplify]: Simplify t into t
1.677 * [taylor]: Taking taylor expansion of x in y
1.677 * [backup-simplify]: Simplify x into x
1.677 * [backup-simplify]: Simplify (* x z) into (* x z)
1.677 * [backup-simplify]: Simplify (* 2 (* x z)) into (* 2 (* x z))
1.678 * [backup-simplify]: Simplify (* 5.0 0) into 0
1.678 * [backup-simplify]: Simplify (* x 0) into 0
1.678 * [backup-simplify]: Simplify (* 2 0) into 0
1.678 * [backup-simplify]: Simplify (* t x) into (* t x)
1.678 * [backup-simplify]: Simplify (+ 0 (* t x)) into (* t x)
1.678 * [backup-simplify]: Simplify (+ 0 (* t x)) into (* t x)
1.678 * [backup-simplify]: Simplify (+ (* 2 (* x z)) (* t x)) into (+ (* 2 (* x z)) (* t x))
1.678 * [taylor]: Taking taylor expansion of (+ (* 2 (* x z)) (* t x)) in z
1.678 * [taylor]: Taking taylor expansion of (* 2 (* x z)) in z
1.678 * [taylor]: Taking taylor expansion of 2 in z
1.678 * [backup-simplify]: Simplify 2 into 2
1.678 * [taylor]: Taking taylor expansion of (* x z) in z
1.678 * [taylor]: Taking taylor expansion of x in z
1.678 * [backup-simplify]: Simplify x into x
1.678 * [taylor]: Taking taylor expansion of z in z
1.678 * [backup-simplify]: Simplify 0 into 0
1.678 * [backup-simplify]: Simplify 1 into 1
1.678 * [taylor]: Taking taylor expansion of (* t x) in z
1.678 * [taylor]: Taking taylor expansion of t in z
1.678 * [backup-simplify]: Simplify t into t
1.678 * [taylor]: Taking taylor expansion of x in z
1.678 * [backup-simplify]: Simplify x into x
1.678 * [backup-simplify]: Simplify (* x 0) into 0
1.679 * [backup-simplify]: Simplify (* 2 0) into 0
1.679 * [backup-simplify]: Simplify (* t x) into (* t x)
1.679 * [backup-simplify]: Simplify (+ 0 (* t x)) into (* t x)
1.679 * [taylor]: Taking taylor expansion of (* t x) in t
1.679 * [taylor]: Taking taylor expansion of t in t
1.679 * [backup-simplify]: Simplify 0 into 0
1.679 * [backup-simplify]: Simplify 1 into 1
1.679 * [taylor]: Taking taylor expansion of x in t
1.679 * [backup-simplify]: Simplify x into x
1.679 * [backup-simplify]: Simplify (* 0 x) into 0
1.679 * [taylor]: Taking taylor expansion of 0 in x
1.679 * [backup-simplify]: Simplify 0 into 0
1.679 * [backup-simplify]: Simplify 0 into 0
1.679 * [backup-simplify]: Simplify (+ (* x 0) (* 0 z)) into 0
1.679 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (* x z))) into 0
1.680 * [backup-simplify]: Simplify (+ (* 5.0 1) (* 0 0)) into 5.0
1.681 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.681 * [backup-simplify]: Simplify (+ (* 2 x) (* 0 0)) into (* 2 x)
1.681 * [backup-simplify]: Simplify (+ (* t 0) (* 0 x)) into 0
1.681 * [backup-simplify]: Simplify (+ (* 2 x) 0) into (* 2 x)
1.681 * [backup-simplify]: Simplify (+ 5.0 (* 2 x)) into (+ (* 2 x) 5.0)
1.681 * [backup-simplify]: Simplify (+ 0 (+ (* 2 x) 5.0)) into (+ (* 2 x) 5.0)
1.681 * [taylor]: Taking taylor expansion of (+ (* 2 x) 5.0) in z
1.681 * [taylor]: Taking taylor expansion of (* 2 x) in z
1.681 * [taylor]: Taking taylor expansion of 2 in z
1.681 * [backup-simplify]: Simplify 2 into 2
1.681 * [taylor]: Taking taylor expansion of x in z
1.681 * [backup-simplify]: Simplify x into x
1.681 * [taylor]: Taking taylor expansion of 5.0 in z
1.681 * [backup-simplify]: Simplify 5.0 into 5.0
1.681 * [backup-simplify]: Simplify (* 2 x) into (* 2 x)
1.681 * [backup-simplify]: Simplify (+ (* 2 x) 5.0) into (+ (* 2 x) 5.0)
1.681 * [taylor]: Taking taylor expansion of (+ (* 2 x) 5.0) in t
1.681 * [taylor]: Taking taylor expansion of (* 2 x) in t
1.681 * [taylor]: Taking taylor expansion of 2 in t
1.681 * [backup-simplify]: Simplify 2 into 2
1.681 * [taylor]: Taking taylor expansion of x in t
1.681 * [backup-simplify]: Simplify x into x
1.681 * [taylor]: Taking taylor expansion of 5.0 in t
1.682 * [backup-simplify]: Simplify 5.0 into 5.0
1.682 * [backup-simplify]: Simplify (* 2 x) into (* 2 x)
1.682 * [backup-simplify]: Simplify (+ (* 2 x) 5.0) into (+ (* 2 x) 5.0)
1.682 * [taylor]: Taking taylor expansion of (+ (* 2 x) 5.0) in x
1.682 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.682 * [taylor]: Taking taylor expansion of 2 in x
1.682 * [backup-simplify]: Simplify 2 into 2
1.682 * [taylor]: Taking taylor expansion of x in x
1.682 * [backup-simplify]: Simplify 0 into 0
1.682 * [backup-simplify]: Simplify 1 into 1
1.682 * [taylor]: Taking taylor expansion of 5.0 in x
1.682 * [backup-simplify]: Simplify 5.0 into 5.0
1.682 * [backup-simplify]: Simplify (* 2 0) into 0
1.682 * [backup-simplify]: Simplify (+ 0 5.0) into 5.0
1.682 * [backup-simplify]: Simplify 5.0 into 5.0
1.683 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.683 * [backup-simplify]: Simplify (+ (* 2 x) (* 0 0)) into (* 2 x)
1.683 * [backup-simplify]: Simplify (+ (* t 0) (* 0 x)) into 0
1.683 * [backup-simplify]: Simplify (+ (* 2 x) 0) into (* 2 x)
1.683 * [taylor]: Taking taylor expansion of (* 2 x) in t
1.683 * [taylor]: Taking taylor expansion of 2 in t
1.683 * [backup-simplify]: Simplify 2 into 2
1.683 * [taylor]: Taking taylor expansion of x in t
1.683 * [backup-simplify]: Simplify x into x
1.683 * [backup-simplify]: Simplify (* 2 x) into (* 2 x)
1.683 * [taylor]: Taking taylor expansion of (* 2 x) in x
1.683 * [taylor]: Taking taylor expansion of 2 in x
1.683 * [backup-simplify]: Simplify 2 into 2
1.683 * [taylor]: Taking taylor expansion of x in x
1.683 * [backup-simplify]: Simplify 0 into 0
1.683 * [backup-simplify]: Simplify 1 into 1
1.684 * [backup-simplify]: Simplify (* 2 0) into 0
1.684 * [backup-simplify]: Simplify 0 into 0
1.684 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
1.684 * [taylor]: Taking taylor expansion of x in x
1.684 * [backup-simplify]: Simplify 0 into 0
1.684 * [backup-simplify]: Simplify 1 into 1
1.684 * [backup-simplify]: Simplify 0 into 0
1.684 * [backup-simplify]: Simplify 0 into 0
1.684 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 z))) into 0
1.685 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (* x z)))) into 0
1.685 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 1) (* 0 0))) into 0
1.686 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.686 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 x) (* 0 0))) into 0
1.687 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 x))) into 0
1.687 * [backup-simplify]: Simplify (+ 0 0) into 0
1.687 * [backup-simplify]: Simplify (+ 0 0) into 0
1.687 * [backup-simplify]: Simplify (+ 0 0) into 0
1.687 * [taylor]: Taking taylor expansion of 0 in z
1.687 * [backup-simplify]: Simplify 0 into 0
1.687 * [taylor]: Taking taylor expansion of 0 in t
1.687 * [backup-simplify]: Simplify 0 into 0
1.687 * [taylor]: Taking taylor expansion of 0 in x
1.687 * [backup-simplify]: Simplify 0 into 0
1.687 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 x)) into 0
1.688 * [backup-simplify]: Simplify (+ 0 0) into 0
1.688 * [taylor]: Taking taylor expansion of 0 in t
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [taylor]: Taking taylor expansion of 0 in x
1.688 * [backup-simplify]: Simplify 0 into 0
1.688 * [backup-simplify]: Simplify 0 into 0
1.689 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.689 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 x) (* 0 0))) into 0
1.689 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (* 0 x))) into 0
1.690 * [backup-simplify]: Simplify (+ 0 0) into 0
1.690 * [taylor]: Taking taylor expansion of 0 in t
1.690 * [backup-simplify]: Simplify 0 into 0
1.690 * [taylor]: Taking taylor expansion of 0 in x
1.690 * [backup-simplify]: Simplify 0 into 0
1.690 * [backup-simplify]: Simplify 0 into 0
1.690 * [backup-simplify]: Simplify (* 5.0 (* 1 (* 1 (* 1 y)))) into (* 5.0 y)
1.690 * [backup-simplify]: Simplify (+ (* (/ 1 y) 5.0) (* (+ (* 2 (+ (/ 1 y) (/ 1 z))) (/ 1 t)) (/ 1 x))) into (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))))
1.690 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in (y z t x) around 0
1.690 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in x
1.691 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x
1.691 * [taylor]: Taking taylor expansion of (* t x) in x
1.691 * [taylor]: Taking taylor expansion of t in x
1.691 * [backup-simplify]: Simplify t into t
1.691 * [taylor]: Taking taylor expansion of x in x
1.691 * [backup-simplify]: Simplify 0 into 0
1.691 * [backup-simplify]: Simplify 1 into 1
1.691 * [backup-simplify]: Simplify (* t 0) into 0
1.691 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
1.691 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.691 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in x
1.691 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in x
1.691 * [taylor]: Taking taylor expansion of 2 in x
1.691 * [backup-simplify]: Simplify 2 into 2
1.691 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.691 * [taylor]: Taking taylor expansion of (* x z) in x
1.691 * [taylor]: Taking taylor expansion of x in x
1.691 * [backup-simplify]: Simplify 0 into 0
1.691 * [backup-simplify]: Simplify 1 into 1
1.691 * [taylor]: Taking taylor expansion of z in x
1.692 * [backup-simplify]: Simplify z into z
1.692 * [backup-simplify]: Simplify (* 0 z) into 0
1.692 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.692 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.692 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in x
1.692 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in x
1.692 * [taylor]: Taking taylor expansion of 5.0 in x
1.692 * [backup-simplify]: Simplify 5.0 into 5.0
1.692 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.692 * [taylor]: Taking taylor expansion of y in x
1.692 * [backup-simplify]: Simplify y into y
1.692 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.692 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
1.692 * [taylor]: Taking taylor expansion of 2 in x
1.692 * [backup-simplify]: Simplify 2 into 2
1.692 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.692 * [taylor]: Taking taylor expansion of (* x y) in x
1.692 * [taylor]: Taking taylor expansion of x in x
1.692 * [backup-simplify]: Simplify 0 into 0
1.693 * [backup-simplify]: Simplify 1 into 1
1.693 * [taylor]: Taking taylor expansion of y in x
1.693 * [backup-simplify]: Simplify y into y
1.693 * [backup-simplify]: Simplify (* 0 y) into 0
1.693 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.693 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.693 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in t
1.693 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.693 * [taylor]: Taking taylor expansion of (* t x) in t
1.693 * [taylor]: Taking taylor expansion of t in t
1.693 * [backup-simplify]: Simplify 0 into 0
1.693 * [backup-simplify]: Simplify 1 into 1
1.693 * [taylor]: Taking taylor expansion of x in t
1.693 * [backup-simplify]: Simplify x into x
1.693 * [backup-simplify]: Simplify (* 0 x) into 0
1.694 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
1.694 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.694 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in t
1.694 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in t
1.694 * [taylor]: Taking taylor expansion of 2 in t
1.694 * [backup-simplify]: Simplify 2 into 2
1.694 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
1.694 * [taylor]: Taking taylor expansion of (* x z) in t
1.694 * [taylor]: Taking taylor expansion of x in t
1.694 * [backup-simplify]: Simplify x into x
1.694 * [taylor]: Taking taylor expansion of z in t
1.694 * [backup-simplify]: Simplify z into z
1.694 * [backup-simplify]: Simplify (* x z) into (* x z)
1.694 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.694 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in t
1.694 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in t
1.694 * [taylor]: Taking taylor expansion of 5.0 in t
1.694 * [backup-simplify]: Simplify 5.0 into 5.0
1.694 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.695 * [taylor]: Taking taylor expansion of y in t
1.695 * [backup-simplify]: Simplify y into y
1.695 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.695 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in t
1.695 * [taylor]: Taking taylor expansion of 2 in t
1.695 * [backup-simplify]: Simplify 2 into 2
1.695 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.695 * [taylor]: Taking taylor expansion of (* x y) in t
1.695 * [taylor]: Taking taylor expansion of x in t
1.695 * [backup-simplify]: Simplify x into x
1.695 * [taylor]: Taking taylor expansion of y in t
1.695 * [backup-simplify]: Simplify y into y
1.695 * [backup-simplify]: Simplify (* x y) into (* x y)
1.695 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.695 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in z
1.695 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z
1.695 * [taylor]: Taking taylor expansion of (* t x) in z
1.695 * [taylor]: Taking taylor expansion of t in z
1.695 * [backup-simplify]: Simplify t into t
1.695 * [taylor]: Taking taylor expansion of x in z
1.695 * [backup-simplify]: Simplify x into x
1.695 * [backup-simplify]: Simplify (* t x) into (* t x)
1.695 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.695 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in z
1.695 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z
1.695 * [taylor]: Taking taylor expansion of 2 in z
1.695 * [backup-simplify]: Simplify 2 into 2
1.695 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.695 * [taylor]: Taking taylor expansion of (* x z) in z
1.696 * [taylor]: Taking taylor expansion of x in z
1.696 * [backup-simplify]: Simplify x into x
1.696 * [taylor]: Taking taylor expansion of z in z
1.696 * [backup-simplify]: Simplify 0 into 0
1.696 * [backup-simplify]: Simplify 1 into 1
1.696 * [backup-simplify]: Simplify (* x 0) into 0
1.696 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.696 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.696 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in z
1.696 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in z
1.696 * [taylor]: Taking taylor expansion of 5.0 in z
1.696 * [backup-simplify]: Simplify 5.0 into 5.0
1.696 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.696 * [taylor]: Taking taylor expansion of y in z
1.696 * [backup-simplify]: Simplify y into y
1.696 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.697 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
1.697 * [taylor]: Taking taylor expansion of 2 in z
1.697 * [backup-simplify]: Simplify 2 into 2
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.697 * [taylor]: Taking taylor expansion of (* x y) in z
1.697 * [taylor]: Taking taylor expansion of x in z
1.697 * [backup-simplify]: Simplify x into x
1.697 * [taylor]: Taking taylor expansion of y in z
1.697 * [backup-simplify]: Simplify y into y
1.697 * [backup-simplify]: Simplify (* x y) into (* x y)
1.697 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.697 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in y
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in y
1.697 * [taylor]: Taking taylor expansion of (* t x) in y
1.697 * [taylor]: Taking taylor expansion of t in y
1.697 * [backup-simplify]: Simplify t into t
1.697 * [taylor]: Taking taylor expansion of x in y
1.697 * [backup-simplify]: Simplify x into x
1.697 * [backup-simplify]: Simplify (* t x) into (* t x)
1.697 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.697 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in y
1.697 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in y
1.697 * [taylor]: Taking taylor expansion of 2 in y
1.697 * [backup-simplify]: Simplify 2 into 2
1.697 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.697 * [taylor]: Taking taylor expansion of (* x z) in y
1.697 * [taylor]: Taking taylor expansion of x in y
1.698 * [backup-simplify]: Simplify x into x
1.698 * [taylor]: Taking taylor expansion of z in y
1.698 * [backup-simplify]: Simplify z into z
1.698 * [backup-simplify]: Simplify (* x z) into (* x z)
1.698 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.698 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in y
1.698 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in y
1.698 * [taylor]: Taking taylor expansion of 5.0 in y
1.698 * [backup-simplify]: Simplify 5.0 into 5.0
1.698 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.698 * [taylor]: Taking taylor expansion of y in y
1.698 * [backup-simplify]: Simplify 0 into 0
1.698 * [backup-simplify]: Simplify 1 into 1
1.699 * [backup-simplify]: Simplify (/ 1 1) into 1
1.699 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
1.699 * [taylor]: Taking taylor expansion of 2 in y
1.699 * [backup-simplify]: Simplify 2 into 2
1.699 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.699 * [taylor]: Taking taylor expansion of (* x y) in y
1.699 * [taylor]: Taking taylor expansion of x in y
1.699 * [backup-simplify]: Simplify x into x
1.699 * [taylor]: Taking taylor expansion of y in y
1.699 * [backup-simplify]: Simplify 0 into 0
1.699 * [backup-simplify]: Simplify 1 into 1
1.699 * [backup-simplify]: Simplify (* x 0) into 0
1.700 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.700 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.700 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))))) in y
1.700 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in y
1.700 * [taylor]: Taking taylor expansion of (* t x) in y
1.700 * [taylor]: Taking taylor expansion of t in y
1.700 * [backup-simplify]: Simplify t into t
1.700 * [taylor]: Taking taylor expansion of x in y
1.700 * [backup-simplify]: Simplify x into x
1.700 * [backup-simplify]: Simplify (* t x) into (* t x)
1.700 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.700 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y))))) in y
1.700 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in y
1.700 * [taylor]: Taking taylor expansion of 2 in y
1.701 * [backup-simplify]: Simplify 2 into 2
1.701 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.701 * [taylor]: Taking taylor expansion of (* x z) in y
1.701 * [taylor]: Taking taylor expansion of x in y
1.701 * [backup-simplify]: Simplify x into x
1.701 * [taylor]: Taking taylor expansion of z in y
1.701 * [backup-simplify]: Simplify z into z
1.701 * [backup-simplify]: Simplify (* x z) into (* x z)
1.701 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.701 * [taylor]: Taking taylor expansion of (+ (* 5.0 (/ 1 y)) (* 2 (/ 1 (* x y)))) in y
1.701 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in y
1.701 * [taylor]: Taking taylor expansion of 5.0 in y
1.701 * [backup-simplify]: Simplify 5.0 into 5.0
1.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.701 * [taylor]: Taking taylor expansion of y in y
1.701 * [backup-simplify]: Simplify 0 into 0
1.701 * [backup-simplify]: Simplify 1 into 1
1.701 * [backup-simplify]: Simplify (/ 1 1) into 1
1.701 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
1.702 * [taylor]: Taking taylor expansion of 2 in y
1.702 * [backup-simplify]: Simplify 2 into 2
1.702 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.702 * [taylor]: Taking taylor expansion of (* x y) in y
1.702 * [taylor]: Taking taylor expansion of x in y
1.702 * [backup-simplify]: Simplify x into x
1.702 * [taylor]: Taking taylor expansion of y in y
1.702 * [backup-simplify]: Simplify 0 into 0
1.702 * [backup-simplify]: Simplify 1 into 1
1.702 * [backup-simplify]: Simplify (* x 0) into 0
1.702 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.702 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.703 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
1.703 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.703 * [backup-simplify]: Simplify (+ 5.0 (/ 2 x)) into (+ (* 2 (/ 1 x)) 5.0)
1.703 * [backup-simplify]: Simplify (+ 0 (+ (* 2 (/ 1 x)) 5.0)) into (+ (* 2 (/ 1 x)) 5.0)
1.703 * [backup-simplify]: Simplify (+ 0 (+ (* 2 (/ 1 x)) 5.0)) into (+ (* 2 (/ 1 x)) 5.0)
1.703 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) 5.0) in z
1.703 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in z
1.703 * [taylor]: Taking taylor expansion of 2 in z
1.703 * [backup-simplify]: Simplify 2 into 2
1.703 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.703 * [taylor]: Taking taylor expansion of x in z
1.704 * [backup-simplify]: Simplify x into x
1.704 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.704 * [taylor]: Taking taylor expansion of 5.0 in z
1.704 * [backup-simplify]: Simplify 5.0 into 5.0
1.704 * [backup-simplify]: Simplify (* 2 (/ 1 (* x z))) into (/ 2 (* x z))
1.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.705 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
1.706 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.706 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
1.707 * [backup-simplify]: Simplify (+ 0 0) into 0
1.707 * [backup-simplify]: Simplify (+ (/ 2 (* x z)) 0) into (* 2 (/ 1 (* x z)))
1.707 * [backup-simplify]: Simplify (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) into (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z))))
1.707 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) in z
1.707 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z
1.707 * [taylor]: Taking taylor expansion of (* t x) in z
1.707 * [taylor]: Taking taylor expansion of t in z
1.707 * [backup-simplify]: Simplify t into t
1.707 * [taylor]: Taking taylor expansion of x in z
1.707 * [backup-simplify]: Simplify x into x
1.707 * [backup-simplify]: Simplify (* t x) into (* t x)
1.707 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.707 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z
1.707 * [taylor]: Taking taylor expansion of 2 in z
1.707 * [backup-simplify]: Simplify 2 into 2
1.707 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.707 * [taylor]: Taking taylor expansion of (* x z) in z
1.707 * [taylor]: Taking taylor expansion of x in z
1.707 * [backup-simplify]: Simplify x into x
1.707 * [taylor]: Taking taylor expansion of z in z
1.707 * [backup-simplify]: Simplify 0 into 0
1.707 * [backup-simplify]: Simplify 1 into 1
1.707 * [backup-simplify]: Simplify (* x 0) into 0
1.707 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.707 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.708 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.708 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x))
1.708 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t
1.708 * [taylor]: Taking taylor expansion of 2 in t
1.708 * [backup-simplify]: Simplify 2 into 2
1.708 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.708 * [taylor]: Taking taylor expansion of x in t
1.708 * [backup-simplify]: Simplify x into x
1.708 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.708 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.708 * [backup-simplify]: Simplify (+ (/ 2 x) 5.0) into (+ 5.0 (* 2 (/ 1 x)))
1.708 * [taylor]: Taking taylor expansion of (+ 5.0 (* 2 (/ 1 x))) in t
1.708 * [taylor]: Taking taylor expansion of 5.0 in t
1.708 * [backup-simplify]: Simplify 5.0 into 5.0
1.708 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t
1.708 * [taylor]: Taking taylor expansion of 2 in t
1.708 * [backup-simplify]: Simplify 2 into 2
1.708 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.708 * [taylor]: Taking taylor expansion of x in t
1.708 * [backup-simplify]: Simplify x into x
1.708 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.708 * [backup-simplify]: Simplify (+ (* t 0) (* 0 x)) into 0
1.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t x)) (/ 0 (* t x))))) into 0
1.708 * [backup-simplify]: Simplify (+ (* x 0) (* 0 z)) into 0
1.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x z)) (/ 0 (* x z))))) into 0
1.709 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (* x z)))) into 0
1.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.710 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
1.710 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.711 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.711 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1.711 * [backup-simplify]: Simplify (+ 0 0) into 0
1.712 * [backup-simplify]: Simplify (+ 0 0) into 0
1.712 * [backup-simplify]: Simplify (+ 0 0) into 0
1.712 * [taylor]: Taking taylor expansion of 0 in z
1.712 * [backup-simplify]: Simplify 0 into 0
1.712 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.712 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.713 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
1.713 * [backup-simplify]: Simplify (+ (/ 1 (* t x)) 0) into (/ 1 (* t x))
1.713 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.713 * [taylor]: Taking taylor expansion of (* t x) in t
1.713 * [taylor]: Taking taylor expansion of t in t
1.713 * [backup-simplify]: Simplify 0 into 0
1.713 * [backup-simplify]: Simplify 1 into 1
1.713 * [taylor]: Taking taylor expansion of x in t
1.713 * [backup-simplify]: Simplify x into x
1.713 * [backup-simplify]: Simplify (* 0 x) into 0
1.713 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
1.713 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.713 * [taylor]: Taking taylor expansion of x in x
1.713 * [backup-simplify]: Simplify 0 into 0
1.713 * [backup-simplify]: Simplify 1 into 1
1.714 * [backup-simplify]: Simplify (/ 1 1) into 1
1.714 * [backup-simplify]: Simplify 1 into 1
1.714 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.714 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
1.714 * [backup-simplify]: Simplify (+ 0 0) into 0
1.714 * [taylor]: Taking taylor expansion of 0 in t
1.714 * [backup-simplify]: Simplify 0 into 0
1.714 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.714 * [taylor]: Taking taylor expansion of (/ 2 x) in x
1.714 * [taylor]: Taking taylor expansion of 2 in x
1.714 * [backup-simplify]: Simplify 2 into 2
1.715 * [taylor]: Taking taylor expansion of x in x
1.715 * [backup-simplify]: Simplify 0 into 0
1.715 * [backup-simplify]: Simplify 1 into 1
1.715 * [backup-simplify]: Simplify (/ 2 1) into 2
1.715 * [backup-simplify]: Simplify 2 into 2
1.715 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.715 * [backup-simplify]: Simplify (+ 5.0 (/ 2 x)) into (+ (* 2 (/ 1 x)) 5.0)
1.715 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 x)) 5.0) in x
1.715 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.715 * [taylor]: Taking taylor expansion of 2 in x
1.715 * [backup-simplify]: Simplify 2 into 2
1.715 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.715 * [taylor]: Taking taylor expansion of x in x
1.715 * [backup-simplify]: Simplify 0 into 0
1.715 * [backup-simplify]: Simplify 1 into 1
1.715 * [backup-simplify]: Simplify (/ 1 1) into 1
1.715 * [taylor]: Taking taylor expansion of 5.0 in x
1.715 * [backup-simplify]: Simplify 5.0 into 5.0
1.716 * [backup-simplify]: Simplify (* 2 1) into 2
1.716 * [backup-simplify]: Simplify (+ 2 0) into 2
1.716 * [backup-simplify]: Simplify 2 into 2
1.717 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 x)) (* 1 (* 1 (/ 1 (/ 1 y)))))) (+ (* 2 (* (/ 1 (/ 1 x)) (* 1 (* (/ 1 (/ 1 z)) 1)))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 t)) (* 1 1)))))) into (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x)))
1.717 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) 5.0) (* (+ (* 2 (+ (/ 1 (- y)) (/ 1 (- z)))) (/ 1 (- t))) (/ 1 (- x)))) into (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y)))
1.717 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in (y z t x) around 0
1.717 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in x
1.717 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in x
1.717 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in x
1.717 * [taylor]: Taking taylor expansion of (* t x) in x
1.717 * [taylor]: Taking taylor expansion of t in x
1.717 * [backup-simplify]: Simplify t into t
1.717 * [taylor]: Taking taylor expansion of x in x
1.717 * [backup-simplify]: Simplify 0 into 0
1.717 * [backup-simplify]: Simplify 1 into 1
1.717 * [backup-simplify]: Simplify (* t 0) into 0
1.718 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
1.718 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
1.718 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in x
1.718 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in x
1.718 * [taylor]: Taking taylor expansion of 2 in x
1.718 * [backup-simplify]: Simplify 2 into 2
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
1.718 * [taylor]: Taking taylor expansion of (* x z) in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [backup-simplify]: Simplify 0 into 0
1.718 * [backup-simplify]: Simplify 1 into 1
1.718 * [taylor]: Taking taylor expansion of z in x
1.718 * [backup-simplify]: Simplify z into z
1.718 * [backup-simplify]: Simplify (* 0 z) into 0
1.718 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
1.718 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
1.718 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x
1.718 * [taylor]: Taking taylor expansion of 2 in x
1.718 * [backup-simplify]: Simplify 2 into 2
1.718 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.718 * [taylor]: Taking taylor expansion of (* x y) in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.718 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 1 into 1
1.719 * [taylor]: Taking taylor expansion of y in x
1.719 * [backup-simplify]: Simplify y into y
1.719 * [backup-simplify]: Simplify (* 0 y) into 0
1.719 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
1.719 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.719 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in x
1.719 * [taylor]: Taking taylor expansion of 5.0 in x
1.719 * [backup-simplify]: Simplify 5.0 into 5.0
1.719 * [taylor]: Taking taylor expansion of (/ 1 y) in x
1.719 * [taylor]: Taking taylor expansion of y in x
1.719 * [backup-simplify]: Simplify y into y
1.719 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.719 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in t
1.719 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in t
1.719 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.719 * [taylor]: Taking taylor expansion of (* t x) in t
1.719 * [taylor]: Taking taylor expansion of t in t
1.719 * [backup-simplify]: Simplify 0 into 0
1.719 * [backup-simplify]: Simplify 1 into 1
1.719 * [taylor]: Taking taylor expansion of x in t
1.719 * [backup-simplify]: Simplify x into x
1.719 * [backup-simplify]: Simplify (* 0 x) into 0
1.720 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
1.720 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.720 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in t
1.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in t
1.720 * [taylor]: Taking taylor expansion of 2 in t
1.720 * [backup-simplify]: Simplify 2 into 2
1.720 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t
1.720 * [taylor]: Taking taylor expansion of (* x z) in t
1.720 * [taylor]: Taking taylor expansion of x in t
1.720 * [backup-simplify]: Simplify x into x
1.720 * [taylor]: Taking taylor expansion of z in t
1.720 * [backup-simplify]: Simplify z into z
1.720 * [backup-simplify]: Simplify (* x z) into (* x z)
1.720 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.720 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in t
1.720 * [taylor]: Taking taylor expansion of 2 in t
1.720 * [backup-simplify]: Simplify 2 into 2
1.720 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
1.720 * [taylor]: Taking taylor expansion of (* x y) in t
1.720 * [taylor]: Taking taylor expansion of x in t
1.720 * [backup-simplify]: Simplify x into x
1.720 * [taylor]: Taking taylor expansion of y in t
1.720 * [backup-simplify]: Simplify y into y
1.720 * [backup-simplify]: Simplify (* x y) into (* x y)
1.720 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.720 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in t
1.720 * [taylor]: Taking taylor expansion of 5.0 in t
1.720 * [backup-simplify]: Simplify 5.0 into 5.0
1.720 * [taylor]: Taking taylor expansion of (/ 1 y) in t
1.720 * [taylor]: Taking taylor expansion of y in t
1.720 * [backup-simplify]: Simplify y into y
1.720 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.720 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in z
1.720 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in z
1.720 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z
1.720 * [taylor]: Taking taylor expansion of (* t x) in z
1.720 * [taylor]: Taking taylor expansion of t in z
1.720 * [backup-simplify]: Simplify t into t
1.720 * [taylor]: Taking taylor expansion of x in z
1.720 * [backup-simplify]: Simplify x into x
1.720 * [backup-simplify]: Simplify (* t x) into (* t x)
1.720 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.721 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in z
1.721 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z
1.721 * [taylor]: Taking taylor expansion of 2 in z
1.721 * [backup-simplify]: Simplify 2 into 2
1.721 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.721 * [taylor]: Taking taylor expansion of (* x z) in z
1.721 * [taylor]: Taking taylor expansion of x in z
1.721 * [backup-simplify]: Simplify x into x
1.721 * [taylor]: Taking taylor expansion of z in z
1.721 * [backup-simplify]: Simplify 0 into 0
1.721 * [backup-simplify]: Simplify 1 into 1
1.721 * [backup-simplify]: Simplify (* x 0) into 0
1.721 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.721 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.721 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in z
1.721 * [taylor]: Taking taylor expansion of 2 in z
1.721 * [backup-simplify]: Simplify 2 into 2
1.721 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.721 * [taylor]: Taking taylor expansion of (* x y) in z
1.721 * [taylor]: Taking taylor expansion of x in z
1.721 * [backup-simplify]: Simplify x into x
1.721 * [taylor]: Taking taylor expansion of y in z
1.721 * [backup-simplify]: Simplify y into y
1.721 * [backup-simplify]: Simplify (* x y) into (* x y)
1.721 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y))
1.721 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in z
1.721 * [taylor]: Taking taylor expansion of 5.0 in z
1.721 * [backup-simplify]: Simplify 5.0 into 5.0
1.721 * [taylor]: Taking taylor expansion of (/ 1 y) in z
1.721 * [taylor]: Taking taylor expansion of y in z
1.721 * [backup-simplify]: Simplify y into y
1.721 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
1.721 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in y
1.721 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in y
1.721 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in y
1.722 * [taylor]: Taking taylor expansion of (* t x) in y
1.722 * [taylor]: Taking taylor expansion of t in y
1.722 * [backup-simplify]: Simplify t into t
1.722 * [taylor]: Taking taylor expansion of x in y
1.722 * [backup-simplify]: Simplify x into x
1.722 * [backup-simplify]: Simplify (* t x) into (* t x)
1.722 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.722 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in y
1.722 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in y
1.722 * [taylor]: Taking taylor expansion of 2 in y
1.722 * [backup-simplify]: Simplify 2 into 2
1.722 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.722 * [taylor]: Taking taylor expansion of (* x z) in y
1.722 * [taylor]: Taking taylor expansion of x in y
1.722 * [backup-simplify]: Simplify x into x
1.722 * [taylor]: Taking taylor expansion of z in y
1.722 * [backup-simplify]: Simplify z into z
1.722 * [backup-simplify]: Simplify (* x z) into (* x z)
1.722 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.722 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
1.722 * [taylor]: Taking taylor expansion of 2 in y
1.722 * [backup-simplify]: Simplify 2 into 2
1.722 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.722 * [taylor]: Taking taylor expansion of (* x y) in y
1.722 * [taylor]: Taking taylor expansion of x in y
1.722 * [backup-simplify]: Simplify x into x
1.722 * [taylor]: Taking taylor expansion of y in y
1.722 * [backup-simplify]: Simplify 0 into 0
1.722 * [backup-simplify]: Simplify 1 into 1
1.722 * [backup-simplify]: Simplify (* x 0) into 0
1.722 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.722 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.722 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in y
1.722 * [taylor]: Taking taylor expansion of 5.0 in y
1.723 * [backup-simplify]: Simplify 5.0 into 5.0
1.723 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.723 * [taylor]: Taking taylor expansion of y in y
1.723 * [backup-simplify]: Simplify 0 into 0
1.723 * [backup-simplify]: Simplify 1 into 1
1.723 * [backup-simplify]: Simplify (/ 1 1) into 1
1.723 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) (* 5.0 (/ 1 y))) in y
1.723 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y))))) in y
1.723 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in y
1.723 * [taylor]: Taking taylor expansion of (* t x) in y
1.723 * [taylor]: Taking taylor expansion of t in y
1.723 * [backup-simplify]: Simplify t into t
1.723 * [taylor]: Taking taylor expansion of x in y
1.723 * [backup-simplify]: Simplify x into x
1.723 * [backup-simplify]: Simplify (* t x) into (* t x)
1.723 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.723 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 (* x z))) (* 2 (/ 1 (* x y)))) in y
1.723 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in y
1.723 * [taylor]: Taking taylor expansion of 2 in y
1.723 * [backup-simplify]: Simplify 2 into 2
1.723 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y
1.723 * [taylor]: Taking taylor expansion of (* x z) in y
1.723 * [taylor]: Taking taylor expansion of x in y
1.723 * [backup-simplify]: Simplify x into x
1.723 * [taylor]: Taking taylor expansion of z in y
1.723 * [backup-simplify]: Simplify z into z
1.723 * [backup-simplify]: Simplify (* x z) into (* x z)
1.723 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
1.723 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y
1.723 * [taylor]: Taking taylor expansion of 2 in y
1.723 * [backup-simplify]: Simplify 2 into 2
1.723 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.723 * [taylor]: Taking taylor expansion of (* x y) in y
1.723 * [taylor]: Taking taylor expansion of x in y
1.723 * [backup-simplify]: Simplify x into x
1.723 * [taylor]: Taking taylor expansion of y in y
1.723 * [backup-simplify]: Simplify 0 into 0
1.723 * [backup-simplify]: Simplify 1 into 1
1.724 * [backup-simplify]: Simplify (* x 0) into 0
1.724 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.724 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.724 * [taylor]: Taking taylor expansion of (* 5.0 (/ 1 y)) in y
1.724 * [taylor]: Taking taylor expansion of 5.0 in y
1.724 * [backup-simplify]: Simplify 5.0 into 5.0
1.724 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.724 * [taylor]: Taking taylor expansion of y in y
1.724 * [backup-simplify]: Simplify 0 into 0
1.724 * [backup-simplify]: Simplify 1 into 1
1.724 * [backup-simplify]: Simplify (/ 1 1) into 1
1.724 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.724 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x))
1.724 * [backup-simplify]: Simplify (+ 0 (* 2 (/ 1 x))) into (* 2 (/ 1 x))
1.725 * [backup-simplify]: Simplify (* 5.0 1) into 5.0
1.725 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
1.726 * [backup-simplify]: Simplify (+ (* 2 (/ 1 x)) (- 5.0)) into (- (* 2 (/ 1 x)) 5.0)
1.726 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) 5.0) in z
1.726 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in z
1.726 * [taylor]: Taking taylor expansion of 2 in z
1.726 * [backup-simplify]: Simplify 2 into 2
1.726 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.726 * [taylor]: Taking taylor expansion of x in z
1.726 * [backup-simplify]: Simplify x into x
1.726 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.726 * [taylor]: Taking taylor expansion of 5.0 in z
1.726 * [backup-simplify]: Simplify 5.0 into 5.0
1.726 * [backup-simplify]: Simplify (* 2 (/ 1 (* x z))) into (/ 2 (* x z))
1.726 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.726 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.727 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
1.727 * [backup-simplify]: Simplify (+ (/ 2 (* x z)) 0) into (* 2 (/ 1 (* x z)))
1.727 * [backup-simplify]: Simplify (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) into (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z))))
1.727 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.728 * [backup-simplify]: Simplify (+ (* 5.0 0) (* 0 1)) into 0
1.728 * [backup-simplify]: Simplify (- 0) into 0
1.728 * [backup-simplify]: Simplify (+ (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) 0) into (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z))))
1.728 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t x)) (* 2 (/ 1 (* x z)))) in z
1.728 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in z
1.728 * [taylor]: Taking taylor expansion of (* t x) in z
1.728 * [taylor]: Taking taylor expansion of t in z
1.728 * [backup-simplify]: Simplify t into t
1.728 * [taylor]: Taking taylor expansion of x in z
1.728 * [backup-simplify]: Simplify x into x
1.728 * [backup-simplify]: Simplify (* t x) into (* t x)
1.729 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
1.729 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x z))) in z
1.729 * [taylor]: Taking taylor expansion of 2 in z
1.729 * [backup-simplify]: Simplify 2 into 2
1.729 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z
1.729 * [taylor]: Taking taylor expansion of (* x z) in z
1.729 * [taylor]: Taking taylor expansion of x in z
1.729 * [backup-simplify]: Simplify x into x
1.729 * [taylor]: Taking taylor expansion of z in z
1.729 * [backup-simplify]: Simplify 0 into 0
1.729 * [backup-simplify]: Simplify 1 into 1
1.729 * [backup-simplify]: Simplify (* x 0) into 0
1.729 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
1.729 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.729 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.729 * [backup-simplify]: Simplify (+ 0 (/ 2 x)) into (* 2 (/ 1 x))
1.729 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t
1.729 * [taylor]: Taking taylor expansion of 2 in t
1.729 * [backup-simplify]: Simplify 2 into 2
1.729 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.729 * [taylor]: Taking taylor expansion of x in t
1.729 * [backup-simplify]: Simplify x into x
1.729 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.729 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.730 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
1.730 * [backup-simplify]: Simplify (+ (/ 2 x) (- 5.0)) into (- (* 2 (/ 1 x)) 5.0)
1.730 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) 5.0) in t
1.730 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in t
1.730 * [taylor]: Taking taylor expansion of 2 in t
1.730 * [backup-simplify]: Simplify 2 into 2
1.730 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.730 * [taylor]: Taking taylor expansion of x in t
1.730 * [backup-simplify]: Simplify x into x
1.730 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.730 * [taylor]: Taking taylor expansion of 5.0 in t
1.730 * [backup-simplify]: Simplify 5.0 into 5.0
1.730 * [backup-simplify]: Simplify (+ (* t 0) (* 0 x)) into 0
1.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* t x)) (/ 0 (* t x))))) into 0
1.731 * [backup-simplify]: Simplify (+ (* x 0) (* 0 z)) into 0
1.731 * [backup-simplify]: Simplify (- (+ (* (/ 1 (* x z)) (/ 0 (* x z))))) into 0
1.731 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 (* x z)))) into 0
1.732 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.732 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
1.733 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0
1.734 * [backup-simplify]: Simplify (+ 0 0) into 0
1.734 * [backup-simplify]: Simplify (+ 0 0) into 0
1.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.736 * [backup-simplify]: Simplify (+ (* 5.0 0) (+ (* 0 0) (* 0 1))) into 0
1.736 * [backup-simplify]: Simplify (- 0) into 0
1.737 * [backup-simplify]: Simplify (+ 0 0) into 0
1.737 * [taylor]: Taking taylor expansion of 0 in z
1.737 * [backup-simplify]: Simplify 0 into 0
1.737 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0
1.738 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.738 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
1.738 * [backup-simplify]: Simplify (+ (/ 1 (* t x)) 0) into (/ 1 (* t x))
1.738 * [taylor]: Taking taylor expansion of (/ 1 (* t x)) in t
1.738 * [taylor]: Taking taylor expansion of (* t x) in t
1.738 * [taylor]: Taking taylor expansion of t in t
1.738 * [backup-simplify]: Simplify 0 into 0
1.738 * [backup-simplify]: Simplify 1 into 1
1.738 * [taylor]: Taking taylor expansion of x in t
1.738 * [backup-simplify]: Simplify x into x
1.738 * [backup-simplify]: Simplify (* 0 x) into 0
1.739 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
1.739 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
1.739 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.739 * [taylor]: Taking taylor expansion of x in x
1.739 * [backup-simplify]: Simplify 0 into 0
1.739 * [backup-simplify]: Simplify 1 into 1
1.739 * [backup-simplify]: Simplify (/ 1 1) into 1
1.739 * [backup-simplify]: Simplify 1 into 1
1.740 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
1.740 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 x))) into 0
1.744 * [backup-simplify]: Simplify (- 0) into 0
1.745 * [backup-simplify]: Simplify (+ 0 0) into 0
1.745 * [taylor]: Taking taylor expansion of 0 in t
1.745 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.745 * [taylor]: Taking taylor expansion of (/ 2 x) in x
1.745 * [taylor]: Taking taylor expansion of 2 in x
1.745 * [backup-simplify]: Simplify 2 into 2
1.745 * [taylor]: Taking taylor expansion of x in x
1.745 * [backup-simplify]: Simplify 0 into 0
1.745 * [backup-simplify]: Simplify 1 into 1
1.746 * [backup-simplify]: Simplify (/ 2 1) into 2
1.746 * [backup-simplify]: Simplify 2 into 2
1.746 * [backup-simplify]: Simplify (* 2 (/ 1 x)) into (/ 2 x)
1.746 * [backup-simplify]: Simplify (- 5.0) into (- 5.0)
1.747 * [backup-simplify]: Simplify (+ (/ 2 x) (- 5.0)) into (- (* 2 (/ 1 x)) 5.0)
1.747 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 x)) 5.0) in x
1.747 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x
1.747 * [taylor]: Taking taylor expansion of 2 in x
1.747 * [backup-simplify]: Simplify 2 into 2
1.747 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.747 * [taylor]: Taking taylor expansion of x in x
1.747 * [backup-simplify]: Simplify 0 into 0
1.747 * [backup-simplify]: Simplify 1 into 1
1.747 * [backup-simplify]: Simplify (/ 1 1) into 1
1.747 * [taylor]: Taking taylor expansion of 5.0 in x
1.747 * [backup-simplify]: Simplify 5.0 into 5.0
1.747 * [backup-simplify]: Simplify (* 2 1) into 2
1.748 * [backup-simplify]: Simplify (+ 2 0) into 2
1.748 * [backup-simplify]: Simplify 2 into 2
1.748 * [backup-simplify]: Simplify (+ (* 2 (* (/ 1 (/ 1 (- x))) (* 1 (* 1 (/ 1 (/ 1 (- y))))))) (+ (* 2 (* (/ 1 (/ 1 (- x))) (* 1 (* (/ 1 (/ 1 (- z))) 1)))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- t))) (* 1 1)))))) into (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x)))
1.748 * * * [progress]: simplifying candidates
1.749 * [simplify]: Simplifying:
  (* (+ (* 2 (+ y z)) t) x)
  (+ (log (+ (* 2 (+ y z)) t)) (log x))
  (log (* (+ (* 2 (+ y z)) t) x))
  (exp (* (+ (* 2 (+ y z)) t) x))
  (* (* (* (+ (* 2 (+ y z)) t) (+ (* 2 (+ y z)) t)) (+ (* 2 (+ y z)) t)) (* (* x x) x))
  (* (cbrt (* (+ (* 2 (+ y z)) t) x)) (cbrt (* (+ (* 2 (+ y z)) t) x)))
  (cbrt (* (+ (* 2 (+ y z)) t) x))
  (* (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x)) (* (+ (* 2 (+ y z)) t) x))
  (sqrt (* (+ (* 2 (+ y z)) t) x))
  (sqrt (* (+ (* 2 (+ y z)) t) x))
  (* (sqrt (+ (* 2 (+ y z)) t)) (sqrt x))
  (* (sqrt (+ (* 2 (+ y z)) t)) (sqrt x))
  (* (+ (* 2 (+ y z)) t) (* (cbrt x) (cbrt x)))
  (* (+ (* 2 (+ y z)) t) (sqrt x))
  (* (+ (* 2 (+ y z)) t) 1)
  (* (cbrt (+ (* 2 (+ y z)) t)) x)
  (* (sqrt (+ (* 2 (+ y z)) t)) x)
  (* (+ (* 2 (+ y z)) t) x)
  (* (+ (pow (* 2 (+ y z)) 3) (pow t 3)) x)
  (* (- (* (* 2 (+ y z)) (* 2 (+ y z))) (* t t)) x)
  (* (exp (* y 5.0)) (exp (* (+ (* 2 (+ y z)) t) x)))
  (log (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (exp (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (* (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))))
  (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (* (* (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)) (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (sqrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (sqrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (+ (pow (* y 5.0) 3) (pow (* (+ (* 2 (+ y z)) t) x) 3))
  (+ (* (* y 5.0) (* y 5.0)) (- (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x)) (* (* y 5.0) (* (+ (* 2 (+ y z)) t) x))))
  (- (* (* y 5.0) (* y 5.0)) (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x)))
  (- (* y 5.0) (* (+ (* 2 (+ y z)) t) x))
  0
  (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x)))
  (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x)))
  (* 5.0 y)
  (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x)))
  (+ (* 2 (* x z)) (+ (* 2 (* x y)) (* t x)))
1.750 * * [simplify]: Extracting # 0 : cost  0
1.750 * * [simplify]: Extracting # 1 : cost  0
1.750 * * [simplify]: Extracting # 2 : cost  0
1.750 * * [simplify]: Extracting # 3 : cost  0
1.750 * * [simplify]: Extracting # 4 : cost  0
1.750 * * [simplify]: Extracting # 5 : cost  0
1.750 * * [simplify]: Extracting # 6 : cost  0
1.751 * * [simplify]: Extracting # 7 : cost  0
1.751 * * [simplify]: Extracting # 8 : cost  0
1.751 * * [simplify]: iteration  0 :  75  enodes  (cost  579 )
1.768 * * [simplify]: Extracting # 0 : cost  0
1.768 * * [simplify]: Extracting # 1 : cost  0
1.768 * * [simplify]: Extracting # 2 : cost  0
1.768 * * [simplify]: Extracting # 3 : cost  0
1.769 * * [simplify]: Extracting # 4 : cost  0
1.769 * * [simplify]: iteration  1 :  219  enodes  (cost  545 )
1.868 * * [simplify]: Extracting # 0 : cost  0
1.870 * * [simplify]: Extracting # 1 : cost  0
1.872 * * [simplify]: Extracting # 2 : cost  0
1.874 * * [simplify]: Extracting # 3 : cost  0
1.876 * * [simplify]: Extracting # 4 : cost  0
1.878 * * [simplify]: iteration  2 :  844  enodes  (cost  485 )
3.260 * * [simplify]: Extracting # 0 : cost  0
3.265 * * [simplify]: Extracting # 1 : cost  0
3.269 * * [simplify]: Extracting # 2 : cost  0
3.273 * * [simplify]: Extracting # 3 : cost  0
3.276 * * [simplify]: Extracting # 4 : cost  0
3.280 * * [simplify]: iteration  3 :  4014  enodes  (cost  477 )
5.209 * * [simplify]: Extracting # 0 : cost  0
5.217 * * [simplify]: Extracting # 1 : cost  0
5.227 * * [simplify]: Extracting # 2 : cost  0
5.237 * * [simplify]: Extracting # 3 : cost  0
5.245 * * [simplify]: Extracting # 4 : cost  0
5.250 * * [simplify]: iteration done:  5002  enodes  (cost  477 )
5.250 * [simplify]: Simplified to:
  (* (+ (* 2 (+ y z)) t) x)
  (log (* (+ (* 2 (+ y z)) t) x))
  (log (* (+ (* 2 (+ y z)) t) x))
  (exp (* (+ (* 2 (+ y z)) t) x))
  (pow (* (+ (* 2 (+ y z)) t) x) 3)
  (* (cbrt (* (+ (* 2 (+ y z)) t) x)) (cbrt (* (+ (* 2 (+ y z)) t) x)))
  (cbrt (* (+ (* 2 (+ y z)) t) x))
  (pow (* (+ (* 2 (+ y z)) t) x) 3)
  (sqrt (* (+ (* 2 (+ y z)) t) x))
  (sqrt (* (+ (* 2 (+ y z)) t) x))
  (* (sqrt (+ (* 2 (+ y z)) t)) (sqrt x))
  (* (sqrt (+ (* 2 (+ y z)) t)) (sqrt x))
  (* (+ (* 2 (+ y z)) t) (* (cbrt x) (cbrt x)))
  (* (+ (* 2 (+ y z)) t) (sqrt x))
  (+ (* 2 (+ y z)) t)
  (* (cbrt (+ (* 2 (+ y z)) t)) x)
  (* (sqrt (+ (* 2 (+ y z)) t)) x)
  (* (+ (* 2 (+ y z)) t) x)
  (* (+ (pow (* 2 (+ y z)) 3) (pow t 3)) x)
  (* x (- (* 4 (* (+ y z) (+ y z))) (* t t)))
  (exp (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (log (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (exp (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (* (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))) (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x))))
  (cbrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (pow (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)) 3)
  (sqrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (sqrt (+ (* y 5.0) (* (+ (* 2 (+ y z)) t) x)))
  (+ (pow (* y 5.0) 3) (pow (* (+ (* 2 (+ y z)) t) x) 3))
  (+ (* (* (+ (* 2 (+ y z)) t) x) (- (* (+ (* 2 (+ y z)) t) x) (* 5.0 y))) (* (* y 5.0) (* y 5.0)))
  (- (* (* y 5.0) (* y 5.0)) (* (* (+ (* 2 (+ y z)) t) x) (* (+ (* 2 (+ y z)) t) x)))
  (- (* y 5.0) (* (+ (* 2 (+ y z)) t) x))
  0
  (* (+ (* 2 (+ y z)) t) x)
  (* (+ (* 2 (+ y z)) t) x)
  (* 5.0 y)
  (* (+ (* 2 (+ y z)) t) x)
  (* (+ (* 2 (+ y z)) t) x)
5.250 * * * [progress]: adding candidates to table
5.380 * * [progress]: iteration 2 / 4
5.380 * * * [progress]: picking best candidate
5.403 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* y 5.0) (* (* (cbrt (+ (* 2 (+ y z)) t)) (cbrt (+ (* 2 (+ y z)) t))) (* (cbrt (+ (* 2 (+ y z)) t)) x))))>
5.403 * * * [progress]: localizing error
5.438 * * * [progress]: generating rewritten candidates
5.438 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
5.589 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
5.614 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
5.634 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
5.652 * * * [progress]: generating series expansions
5.652 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
5.653 * [backup-simplify]: Simplify (* (cbrt (+ (* 2 (+ y z)) t)) (cbrt (+ (* 2 (+ y z)) t))) into (pow (pow (+ t (+ (* 2 z) (* 2 y))) 2) 1/3)
5.653 * [approximate]: Taking taylor expansion of (pow (pow (+ t (+ (* 2 z) (* 2 y))) 2) 1/3) in (y z t) around 0
5.653 * [taylor]: Taking taylor expansion of (pow (pow (+ t (+ (* 2 z) (* 2 y))) 2) 1/3) in t
5.653 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ t (+ (* 2 z) (* 2 y))) 2)))) in t
5.653 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ t (+ (* 2 z) (* 2 y))) 2))) in t
5.653 * [taylor]: Taking taylor expansion of 1/3 in t
5.653 * [backup-simplify]: Simplify 1/3 into 1/3
5.653 * [taylor]: Taking taylor expansion of (log (pow (+ t (+ (* 2 z) (* 2 y))) 2)) in t
5.653 * [taylor]: Taking taylor expansion of (pow (+ t (+ (* 2 z) (* 2 y))) 2) in t
5.653 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in t
5.653 * [taylor]: Taking taylor expansion of t in t
5.653 * [backup-simplify]: Simplify 0 into 0
5.653 * [backup-simplify]: Simplify 1 into 1
5.653 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in t
5.653 * [taylor]: Taking taylor expansion of (* 2 z) in t
5.653 * [taylor]: Taking taylor expansion of 2 in t
5.653 * [backup-simplify]: Simplify 2 into 2
5.653 * [taylor]: Taking taylor expansion of z in t
5.653 * [backup-simplify]: Simplify z into z
5.653 * [taylor]: Taking taylor expansion of (* 2 y) in t
5.653 * [taylor]: Taking taylor expansion of 2 in t
5.653 * [backup-simplify]: Simplify 2 into 2
5.653 * [taylor]: Taking taylor expansion of y in t
5.653 * [backup-simplify]: Simplify y into y
5.653 * [backup-simplify]: Simplify (* 2 z) into (* 2 z)
5.654 * [backup-simplify]: Simplify (* 2 y) into (* 2 y)
5.654 * [backup-simplify]: Simplify (+ (* 2 z) (* 2 y)) into (+ (* 2 z) (* 2 y))
5.654 * [backup-simplify]: Simplify (+ 0 (+ (* 2 z) (* 2 y))) into (+ (* 2 z) (* 2 y))
5.654 * [backup-simplify]: Simplify (* (+ (* 2 z) (* 2 y)) (+ (* 2 z) (* 2 y))) into (pow (+ (* 2 z) (* 2 y)) 2)
5.655 * [backup-simplify]: Simplify (log (pow (+ (* 2 z) (* 2 y)) 2)) into (log (pow (+ (* 2 z) (* 2 y)) 2))
5.655 * [backup-simplify]: Simplify (* 1/3 (log (pow (+ (* 2 z) (* 2 y)) 2))) into (* 1/3 (log (pow (+ (* 2 z) (* 2 y)) 2)))
5.655 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (+ (* 2 z) (* 2 y)) 2)))) into (pow (pow (+ (* 2 z) (* 2 y)) 2) 1/3)
5.655 * [taylor]: Taking taylor expansion of (pow (pow (+ t (+ (* 2 z) (* 2 y))) 2) 1/3) in z
5.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ t (+ (* 2 z) (* 2 y))) 2)))) in z
5.656 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ t (+ (* 2 z) (* 2 y))) 2))) in z
5.656 * [taylor]: Taking taylor expansion of 1/3 in z
5.656 * [backup-simplify]: Simplify 1/3 into 1/3
5.656 * [taylor]: Taking taylor expansion of (log (pow (+ t (+ (* 2 z) (* 2 y))) 2)) in z
5.656 * [taylor]: Taking taylor expansion of (pow (+ t (+ (* 2 z) (* 2 y))) 2) in z
5.656 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in z
5.656 * [taylor]: Taking taylor expansion of t in z
5.656 * [backup-simplify]: Simplify t into t
5.656 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in z
5.656 * [taylor]: Taking taylor expansion of (* 2 z) in z
5.656 * [taylor]: Taking taylor expansion of 2 in z
5.656 * [backup-simplify]: Simplify 2 into 2
5.656 * [taylor]: Taking taylor expansion of z in z
5.656 * [backup-simplify]: Simplify 0 into 0
5.656 * [backup-simplify]: Simplify 1 into 1
5.656 * [taylor]: Taking taylor expansion of (* 2 y) in z
5.656 * [taylor]: Taking taylor expansion of 2 in z
5.656 * [backup-simplify]: Simplify 2 into 2
5.656 * [taylor]: Taking taylor expansion of y in z
5.656 * [backup-simplify]: Simplify y into y
5.657 * [backup-simplify]: Simplify (* 2 0) into 0
5.657 * [backup-simplify]: Simplify (* 2 y) into (* 2 y)
5.657 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y)
5.657 * [backup-simplify]: Simplify (+ t (* 2 y)) into (+ t (* 2 y))
5.657 * [backup-simplify]: Simplify (* (+ t (* 2 y)) (+ t (* 2 y))) into (pow (+ t (* 2 y)) 2)
5.658 * [backup-simplify]: Simplify (log (pow (+ t (* 2 y)) 2)) into (log (pow (+ t (* 2 y)) 2))
5.658 * [backup-simplify]: Simplify (* 1/3 (log (pow (+ t (* 2 y)) 2))) into (* 1/3 (log (pow (+ t (* 2 y)) 2)))
5.658 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (+ t (* 2 y)) 2)))) into (pow (pow (+ t (* 2 y)) 2) 1/3)
5.658 * [taylor]: Taking taylor expansion of (pow (pow (+ t (+ (* 2 z) (* 2 y))) 2) 1/3) in y
5.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ t (+ (* 2 z) (* 2 y))) 2)))) in y
5.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ t (+ (* 2 z) (* 2 y))) 2))) in y
5.658 * [taylor]: Taking taylor expansion of 1/3 in y
5.658 * [backup-simplify]: Simplify 1/3 into 1/3
5.658 * [taylor]: Taking taylor expansion of (log (pow (+ t (+ (* 2 z) (* 2 y))) 2)) in y
5.658 * [taylor]: Taking taylor expansion of (pow (+ t (+ (* 2 z) (* 2 y))) 2) in y
5.658 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in y
5.658 * [taylor]: Taking taylor expansion of t in y
5.658 * [backup-simplify]: Simplify t into t
5.658 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in y
5.658 * [taylor]: Taking taylor expansion of (* 2 z) in y
5.658 * [taylor]: Taking taylor expansion of 2 in y
5.659 * [backup-simplify]: Simplify 2 into 2
5.659 * [taylor]: Taking taylor expansion of z in y
5.659 * [backup-simplify]: Simplify z into z
5.659 * [taylor]: Taking taylor expansion of (* 2 y) in y
5.659 * [taylor]: Taking taylor expansion of 2 in y
5.659 * [backup-simplify]: Simplify 2 into 2
5.659 * [taylor]: Taking taylor expansion of y in y
5.659 * [backup-simplify]: Simplify 0 into 0
5.659 * [backup-simplify]: Simplify 1 into 1
5.659 * [backup-simplify]: Simplify (* 2 z) into (* 2 z)
5.659 * [backup-simplify]: Simplify (* 2 0) into 0
5.659 * [backup-simplify]: Simplify (+ (* 2 z) 0) into (* 2 z)
5.660 * [backup-simplify]: Simplify (+ t (* 2 z)) into (+ t (* 2 z))
5.660 * [backup-simplify]: Simplify (* (+ t (* 2 z)) (+ t (* 2 z))) into (pow (+ t (* 2 z)) 2)
5.660 * [backup-simplify]: Simplify (log (pow (+ t (* 2 z)) 2)) into (log (pow (+ t (* 2 z)) 2))
5.660 * [backup-simplify]: Simplify (* 1/3 (log (pow (+ t (* 2 z)) 2))) into (* 1/3 (log (pow (+ t (* 2 z)) 2)))
5.660 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (+ t (* 2 z)) 2)))) into (pow (pow (+ t (* 2 z)) 2) 1/3)
5.660 * [taylor]: Taking taylor expansion of (pow (pow (+ t (+ (* 2 z) (* 2 y))) 2) 1/3) in y
5.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ t (+ (* 2 z) (* 2 y))) 2)))) in y
5.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ t (+ (* 2 z) (* 2 y))) 2))) in y
5.661 * [taylor]: Taking taylor expansion of 1/3 in y
5.661 * [backup-simplify]: Simplify 1/3 into 1/3
5.661 * [taylor]: Taking taylor expansion of (log (pow (+ t (+ (* 2 z) (* 2 y))) 2)) in y
5.661 * [taylor]: Taking taylor expansion of (pow (+ t (+ (* 2 z) (* 2 y))) 2) in y
5.661 * [taylor]: Taking taylor expansion of (+ t (+ (* 2 z) (* 2 y))) in y
5.661 * [taylor]: Taking taylor expansion of t in y
5.661 * [backup-simplify]: Simplify t into t
5.661 * [taylor]: Taking taylor expansion of (+ (* 2 z) (* 2 y)) in y
5.661 * [taylor]: Taking taylor expansion of (* 2 z) in y
5.661 * [taylor]: Taking taylor expansion of 2 in y
5.661 * [backup-simplify]: Simplify 2 into 2
5.661 * [taylor]: Taking taylor expansion of z in y
5.661 * [backup-simplify]: Simplify z into z
5.661 * [taylor]: Taking taylor expansion of (* 2 y) in y
5.661 * [taylor]: Taking taylor expansion of 2 in y
5.661 * [backup-simplify]: Simplify 2 into 2
5.661 * [taylor]: Taking taylor expansion of y in y
5.661 * [backup-simplify]: Simplify 0 into 0
5.661 * [backup-simplify]: Simplify 1 into 1
5.661 * [backup-simplify]: Simplify (* 2 z) into (* 2 z)
5.662 * [backup-simplify]: Simplify (* 2 0) into 0
5.662 * [backup-simplify]: Simplify (+ (* 2 z) 0) into (* 2 z)
5.662 * [backup-simplify]: Simplify (+ t (* 2 z)) into (+ t (* 2 z))
5.662 * [backup-simplify]: Simplify (* (+ t (* 2 z)) (+ t (* 2 z))) into (pow (+ t (* 2 z)) 2)
5.662 * [backup-simplify]: Simplify (log (pow (+ t (* 2 z)) 2)) into (log (pow (+ t (* 2 z)) 2))
5.662 * [backup-simplify]: Simplify (* 1/3 (log (pow (+ t (* 2 z)) 2))) into (* 1/3 (log (pow (+ t (* 2 z)) 2)))
5.663 * [backup-simplify]: Simplify (exp (* 1/3 (log (pow (+ t (* 2 z)) 2)))) into (pow (pow (+ t (* 2 z)) 2) 1/3)
5.663 * [taylor]: Taking taylor expansion of (pow (pow (+ t (* 2 z)) 2) 1/3) in z
5.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ t (* 2 z)) 2)))) in z
5.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ t (* 2 z)) 2))) in z
5.663 * [taylor]: Taking taylor expansion of 1/3 in z
5.663 * [backup-simplify]: Simplify 1/3 into 1/3
5.663 * [taylor]: Taking taylor expansion of (log (pow (+ t (* 2 z)) 2)) in z
5.663 * [taylor]: Taking taylor expansion of (pow (+ t (* 2 z)) 2) in z
5.663 * [taylor]: Taking taylor expansion of (+ t (* 2 z)) in z
5.663 * [taylor]: Taking taylor expansion of t in z
5.663 * [backup-simplify]: Simplify t into t
5.663 * [taylor]: Taking taylor expansion of (* 2 z) in z
5.663 * [taylor]: Taking taylor expansion of 2 in z
5.663 * [backup-simplify]: Simplify 2 into 2
5.663 * [taylor]: Taking taylor expansion of z in z
5.663 * [backup-simplify]: Simplify 0 into 0
5.663 * [backup-simplify]: Simplify 1 into 1
5.664 * [backup-simplify]: Simplify (* 2 0) into 0
5.664 * [backup-simplify]: Simplify (+ t 0) into t