0.376 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (+ (* (/ x y) (- z t)) t)
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: Extracting # 3 : cost  0
0.027 * * [simplify]: Extracting # 4 : cost  0
0.027 * * [simplify]: Extracting # 5 : cost  0
0.027 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.028 * * [simplify]: Extracting # 0 : cost  0
0.028 * * [simplify]: Extracting # 1 : cost  0
0.028 * * [simplify]: Extracting # 2 : cost  0
0.028 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.030 * * [simplify]: Extracting # 0 : cost  0
0.030 * * [simplify]: Extracting # 1 : cost  0
0.030 * * [simplify]: Extracting # 2 : cost  0
0.030 * * [simplify]: iteration  2 :  31  enodes  (cost  9 )
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: iteration  3 :  57  enodes  (cost  9 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.045 * * [simplify]: Extracting # 1 : cost  0
0.045 * * [simplify]: Extracting # 2 : cost  0
0.045 * * [simplify]: iteration  4 :  89  enodes  (cost  9 )
0.067 * * [simplify]: Extracting # 0 : cost  0
0.067 * * [simplify]: Extracting # 1 : cost  0
0.067 * * [simplify]: Extracting # 2 : cost  0
0.067 * * [simplify]: Extracting # 3 : cost  0
0.067 * * [simplify]: Extracting # 4 : cost  0
0.068 * * [simplify]: iteration  5 :  114  enodes  (cost  9 )
0.086 * * [simplify]: Extracting # 0 : cost  0
0.087 * * [simplify]: Extracting # 1 : cost  0
0.087 * * [simplify]: Extracting # 2 : cost  0
0.087 * * [simplify]: iteration  6 :  133  enodes  (cost  9 )
0.132 * * [simplify]: Extracting # 0 : cost  0
0.132 * * [simplify]: Extracting # 1 : cost  0
0.132 * * [simplify]: Extracting # 2 : cost  0
0.133 * * [simplify]: Extracting # 3 : cost  0
0.133 * * [simplify]: Extracting # 4 : cost  0
0.133 * * [simplify]: iteration  7 :  154  enodes  (cost  9 )
0.178 * * [simplify]: Extracting # 0 : cost  0
0.178 * * [simplify]: Extracting # 1 : cost  0
0.179 * * [simplify]: Extracting # 2 : cost  0
0.179 * * [simplify]: iteration  8 :  190  enodes  (cost  9 )
0.234 * * [simplify]: Extracting # 0 : cost  0
0.234 * * [simplify]: Extracting # 1 : cost  0
0.234 * * [simplify]: Extracting # 2 : cost  0
0.235 * * [simplify]: iteration  9 :  245  enodes  (cost  9 )
0.298 * * [simplify]: Extracting # 0 : cost  0
0.298 * * [simplify]: Extracting # 1 : cost  0
0.298 * * [simplify]: Extracting # 2 : cost  0
0.299 * * [simplify]: iteration  10 :  273  enodes  (cost  9 )
0.359 * * [simplify]: Extracting # 0 : cost  0
0.360 * * [simplify]: Extracting # 1 : cost  0
0.360 * * [simplify]: Extracting # 2 : cost  0
0.360 * * [simplify]: iteration  11 :  300  enodes  (cost  9 )
0.431 * * [simplify]: Extracting # 0 : cost  0
0.432 * * [simplify]: Extracting # 1 : cost  0
0.432 * * [simplify]: Extracting # 2 : cost  0
0.432 * * [simplify]: iteration  12 :  341  enodes  (cost  9 )
0.527 * * [simplify]: Extracting # 0 : cost  0
0.527 * * [simplify]: Extracting # 1 : cost  0
0.527 * * [simplify]: Extracting # 2 : cost  0
0.527 * * [simplify]: iteration  13 :  354  enodes  (cost  9 )
0.679 * * [simplify]: Extracting # 0 : cost  0
0.679 * * [simplify]: Extracting # 1 : cost  0
0.680 * * [simplify]: Extracting # 2 : cost  0
0.680 * * [simplify]: Extracting # 3 : cost  0
0.680 * * [simplify]: iteration  14 :  370  enodes  (cost  9 )
0.814 * * [simplify]: Extracting # 0 : cost  0
0.814 * * [simplify]: Extracting # 1 : cost  0
0.815 * * [simplify]: Extracting # 2 : cost  0
0.815 * * [simplify]: iteration  15 :  386  enodes  (cost  9 )
0.987 * * [simplify]: Extracting # 0 : cost  0
0.987 * * [simplify]: Extracting # 1 : cost  0
0.987 * * [simplify]: Extracting # 2 : cost  0
0.988 * * [simplify]: iteration  16 :  473  enodes  (cost  9 )
1.209 * * [simplify]: Extracting # 0 : cost  0
1.209 * * [simplify]: Extracting # 1 : cost  0
1.210 * * [simplify]: Extracting # 2 : cost  0
1.210 * * [simplify]: iteration  17 :  564  enodes  (cost  9 )
1.560 * * [simplify]: Extracting # 0 : cost  0
1.561 * * [simplify]: Extracting # 1 : cost  0
1.562 * * [simplify]: Extracting # 2 : cost  0
1.562 * * [simplify]: iteration  18 :  812  enodes  (cost  9 )
2.131 * * [simplify]: Extracting # 0 : cost  0
2.132 * * [simplify]: Extracting # 1 : cost  0
2.133 * * [simplify]: Extracting # 2 : cost  0
2.133 * * [simplify]: iteration  19 :  1138  enodes  (cost  9 )
3.260 * * [simplify]: Extracting # 0 : cost  0
3.261 * * [simplify]: Extracting # 1 : cost  0
3.263 * * [simplify]: Extracting # 2 : cost  0
3.264 * * [simplify]: iteration  20 :  1568  enodes  (cost  9 )
4.175 * * [simplify]: Extracting # 0 : cost  0
4.176 * * [simplify]: Extracting # 1 : cost  0
4.177 * * [simplify]: Extracting # 2 : cost  0
4.178 * * [simplify]: iteration  21 :  1651  enodes  (cost  9 )
5.015 * * [simplify]: Extracting # 0 : cost  0
5.016 * * [simplify]: Extracting # 1 : cost  0
5.017 * * [simplify]: iteration  22 :  1656  enodes  (cost  9 )
5.717 * * [simplify]: Extracting # 0 : cost  0
5.717 * * [simplify]: iteration done:  1656  enodes  (cost  9 )
5.717 * [simplify]: Simplified to:
  (+ (* (/ x y) (- z t)) t)
5.718 * * [progress]: iteration 1 / 4
5.718 * * * [progress]: picking best candidate
5.719 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (/ x y) (- z t)) t))>
5.719 * * * [progress]: localizing error
5.734 * * * [progress]: generating rewritten candidates
5.734 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1)
5.766 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
5.798 * * * [progress]: generating series expansions
5.798 * * * * [progress]: [ 1 / 2 ] generating series at (2 1)
5.798 * [backup-simplify]: Simplify (* (/ x y) (- z t)) into (/ (* x (- z t)) y)
5.798 * [approximate]: Taking taylor expansion of (/ (* x (- z t)) y) in (x y z t) around 0
5.798 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in t
5.798 * [taylor]: Taking taylor expansion of (* x (- z t)) in t
5.798 * [taylor]: Taking taylor expansion of x in t
5.798 * [backup-simplify]: Simplify x into x
5.798 * [taylor]: Taking taylor expansion of (- z t) in t
5.798 * [taylor]: Taking taylor expansion of z in t
5.798 * [backup-simplify]: Simplify z into z
5.798 * [taylor]: Taking taylor expansion of t in t
5.798 * [backup-simplify]: Simplify 0 into 0
5.798 * [backup-simplify]: Simplify 1 into 1
5.798 * [taylor]: Taking taylor expansion of y in t
5.798 * [backup-simplify]: Simplify y into y
5.799 * [backup-simplify]: Simplify (- 0) into 0
5.799 * [backup-simplify]: Simplify (+ z 0) into z
5.799 * [backup-simplify]: Simplify (* x z) into (* x z)
5.799 * [backup-simplify]: Simplify (/ (* x z) y) into (/ (* x z) y)
5.799 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in z
5.799 * [taylor]: Taking taylor expansion of (* x (- z t)) in z
5.799 * [taylor]: Taking taylor expansion of x in z
5.799 * [backup-simplify]: Simplify x into x
5.799 * [taylor]: Taking taylor expansion of (- z t) in z
5.799 * [taylor]: Taking taylor expansion of z in z
5.799 * [backup-simplify]: Simplify 0 into 0
5.799 * [backup-simplify]: Simplify 1 into 1
5.799 * [taylor]: Taking taylor expansion of t in z
5.799 * [backup-simplify]: Simplify t into t
5.799 * [taylor]: Taking taylor expansion of y in z
5.799 * [backup-simplify]: Simplify y into y
5.799 * [backup-simplify]: Simplify (- t) into (- t)
5.799 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t)
5.799 * [backup-simplify]: Simplify (* x (- t)) into (* -1 (* t x))
5.799 * [backup-simplify]: Simplify (/ (* -1 (* t x)) y) into (* -1 (/ (* t x) y))
5.800 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in y
5.800 * [taylor]: Taking taylor expansion of (* x (- z t)) in y
5.800 * [taylor]: Taking taylor expansion of x in y
5.800 * [backup-simplify]: Simplify x into x
5.800 * [taylor]: Taking taylor expansion of (- z t) in y
5.800 * [taylor]: Taking taylor expansion of z in y
5.800 * [backup-simplify]: Simplify z into z
5.800 * [taylor]: Taking taylor expansion of t in y
5.800 * [backup-simplify]: Simplify t into t
5.800 * [taylor]: Taking taylor expansion of y in y
5.800 * [backup-simplify]: Simplify 0 into 0
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [backup-simplify]: Simplify (- t) into (- t)
5.800 * [backup-simplify]: Simplify (+ z (- t)) into (- z t)
5.800 * [backup-simplify]: Simplify (* x (- z t)) into (* x (- z t))
5.800 * [backup-simplify]: Simplify (/ (* x (- z t)) 1) into (* x (- z t))
5.800 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
5.800 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
5.800 * [taylor]: Taking taylor expansion of x in x
5.800 * [backup-simplify]: Simplify 0 into 0
5.800 * [backup-simplify]: Simplify 1 into 1
5.800 * [taylor]: Taking taylor expansion of (- z t) in x
5.800 * [taylor]: Taking taylor expansion of z in x
5.800 * [backup-simplify]: Simplify z into z
5.800 * [taylor]: Taking taylor expansion of t in x
5.800 * [backup-simplify]: Simplify t into t
5.800 * [taylor]: Taking taylor expansion of y in x
5.800 * [backup-simplify]: Simplify y into y
5.800 * [backup-simplify]: Simplify (- t) into (- t)
5.800 * [backup-simplify]: Simplify (+ z (- t)) into (- z t)
5.800 * [backup-simplify]: Simplify (* 0 (- z t)) into 0
5.800 * [backup-simplify]: Simplify (- 0) into 0
5.801 * [backup-simplify]: Simplify (+ 0 0) into 0
5.801 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z t))) into (- z t)
5.801 * [backup-simplify]: Simplify (/ (- z t) y) into (/ (- z t) y)
5.801 * [taylor]: Taking taylor expansion of (/ (* x (- z t)) y) in x
5.801 * [taylor]: Taking taylor expansion of (* x (- z t)) in x
5.801 * [taylor]: Taking taylor expansion of x in x
5.801 * [backup-simplify]: Simplify 0 into 0
5.801 * [backup-simplify]: Simplify 1 into 1
5.801 * [taylor]: Taking taylor expansion of (- z t) in x
5.801 * [taylor]: Taking taylor expansion of z in x
5.801 * [backup-simplify]: Simplify z into z
5.801 * [taylor]: Taking taylor expansion of t in x
5.801 * [backup-simplify]: Simplify t into t
5.801 * [taylor]: Taking taylor expansion of y in x
5.801 * [backup-simplify]: Simplify y into y
5.801 * [backup-simplify]: Simplify (- t) into (- t)
5.801 * [backup-simplify]: Simplify (+ z (- t)) into (- z t)
5.801 * [backup-simplify]: Simplify (* 0 (- z t)) into 0
5.802 * [backup-simplify]: Simplify (- 0) into 0
5.802 * [backup-simplify]: Simplify (+ 0 0) into 0
5.802 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- z t))) into (- z t)
5.802 * [backup-simplify]: Simplify (/ (- z t) y) into (/ (- z t) y)
5.802 * [taylor]: Taking taylor expansion of (/ (- z t) y) in y
5.802 * [taylor]: Taking taylor expansion of (- z t) in y
5.802 * [taylor]: Taking taylor expansion of z in y
5.802 * [backup-simplify]: Simplify z into z
5.802 * [taylor]: Taking taylor expansion of t in y
5.802 * [backup-simplify]: Simplify t into t
5.802 * [taylor]: Taking taylor expansion of y in y
5.802 * [backup-simplify]: Simplify 0 into 0
5.802 * [backup-simplify]: Simplify 1 into 1
5.803 * [backup-simplify]: Simplify (- t) into (- t)
5.803 * [backup-simplify]: Simplify (+ z (- t)) into (- z t)
5.803 * [backup-simplify]: Simplify (/ (- z t) 1) into (- z t)
5.803 * [taylor]: Taking taylor expansion of (- z t) in z
5.803 * [taylor]: Taking taylor expansion of z in z
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 1 into 1
5.803 * [taylor]: Taking taylor expansion of t in z
5.803 * [backup-simplify]: Simplify t into t
5.803 * [backup-simplify]: Simplify (- t) into (- t)
5.803 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t)
5.803 * [taylor]: Taking taylor expansion of (- t) in t
5.803 * [taylor]: Taking taylor expansion of t in t
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify 1 into 1
5.803 * [backup-simplify]: Simplify (- 0) into 0
5.803 * [backup-simplify]: Simplify 0 into 0
5.803 * [backup-simplify]: Simplify (- 0) into 0
5.804 * [backup-simplify]: Simplify (+ 0 0) into 0
5.804 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- z t)))) into 0
5.804 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (- z t) y) (/ 0 y)))) into 0
5.804 * [taylor]: Taking taylor expansion of 0 in y
5.804 * [backup-simplify]: Simplify 0 into 0
5.805 * [backup-simplify]: Simplify (- 0) into 0
5.805 * [backup-simplify]: Simplify (+ 0 0) into 0
5.805 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- z t) (/ 0 1)))) into 0
5.805 * [taylor]: Taking taylor expansion of 0 in z
5.805 * [backup-simplify]: Simplify 0 into 0
5.805 * [taylor]: Taking taylor expansion of 0 in t
5.805 * [backup-simplify]: Simplify 0 into 0
5.805 * [backup-simplify]: Simplify 0 into 0
5.806 * [backup-simplify]: Simplify (- 0) into 0
5.806 * [backup-simplify]: Simplify (+ 1 0) into 1
5.806 * [taylor]: Taking taylor expansion of 1 in t
5.806 * [backup-simplify]: Simplify 1 into 1
5.806 * [backup-simplify]: Simplify 1 into 1
5.806 * [backup-simplify]: Simplify (- 1) into -1
5.806 * [backup-simplify]: Simplify -1 into -1
5.807 * [backup-simplify]: Simplify (- 0) into 0
5.807 * [backup-simplify]: Simplify (+ 0 0) into 0
5.808 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (- z t))))) into 0
5.808 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ (- z t) y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.808 * [taylor]: Taking taylor expansion of 0 in y
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [taylor]: Taking taylor expansion of 0 in z
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [taylor]: Taking taylor expansion of 0 in t
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [backup-simplify]: Simplify 0 into 0
5.808 * [backup-simplify]: Simplify (- 0) into 0
5.808 * [backup-simplify]: Simplify (+ 0 0) into 0
5.809 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- z t) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.809 * [taylor]: Taking taylor expansion of 0 in z
5.809 * [backup-simplify]: Simplify 0 into 0
5.809 * [taylor]: Taking taylor expansion of 0 in t
5.809 * [backup-simplify]: Simplify 0 into 0
5.809 * [backup-simplify]: Simplify 0 into 0
5.809 * [taylor]: Taking taylor expansion of 0 in t
5.809 * [backup-simplify]: Simplify 0 into 0
5.809 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify (- 0) into 0
5.810 * [backup-simplify]: Simplify (+ 0 0) into 0
5.810 * [taylor]: Taking taylor expansion of 0 in t
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify 0 into 0
5.810 * [backup-simplify]: Simplify (+ (* -1 (* t (* 1 (* (/ 1 y) x)))) (* 1 (* 1 (* z (* (/ 1 y) x))))) into (- (/ (* x z) y) (/ (* t x) y))
5.810 * [backup-simplify]: Simplify (* (/ (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 t))) into (/ (* y (- (/ 1 z) (/ 1 t))) x)
5.810 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in (x y z t) around 0
5.810 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in t
5.810 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in t
5.810 * [taylor]: Taking taylor expansion of y in t
5.810 * [backup-simplify]: Simplify y into y
5.810 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in t
5.810 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.810 * [taylor]: Taking taylor expansion of z in t
5.810 * [backup-simplify]: Simplify z into z
5.810 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.810 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.810 * [taylor]: Taking taylor expansion of t in t
5.811 * [backup-simplify]: Simplify 0 into 0
5.811 * [backup-simplify]: Simplify 1 into 1
5.811 * [backup-simplify]: Simplify (/ 1 1) into 1
5.811 * [taylor]: Taking taylor expansion of x in t
5.811 * [backup-simplify]: Simplify x into x
5.811 * [backup-simplify]: Simplify (- 1) into -1
5.811 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.811 * [backup-simplify]: Simplify (* y -1) into (* -1 y)
5.811 * [backup-simplify]: Simplify (/ (* -1 y) x) into (* -1 (/ y x))
5.811 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in z
5.811 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in z
5.811 * [taylor]: Taking taylor expansion of y in z
5.811 * [backup-simplify]: Simplify y into y
5.811 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
5.811 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.812 * [taylor]: Taking taylor expansion of z in z
5.812 * [backup-simplify]: Simplify 0 into 0
5.812 * [backup-simplify]: Simplify 1 into 1
5.812 * [backup-simplify]: Simplify (/ 1 1) into 1
5.812 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.812 * [taylor]: Taking taylor expansion of t in z
5.812 * [backup-simplify]: Simplify t into t
5.812 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.812 * [taylor]: Taking taylor expansion of x in z
5.812 * [backup-simplify]: Simplify x into x
5.812 * [backup-simplify]: Simplify (+ 1 0) into 1
5.812 * [backup-simplify]: Simplify (* y 1) into y
5.812 * [backup-simplify]: Simplify (/ y x) into (/ y x)
5.812 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in y
5.812 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in y
5.812 * [taylor]: Taking taylor expansion of y in y
5.812 * [backup-simplify]: Simplify 0 into 0
5.812 * [backup-simplify]: Simplify 1 into 1
5.812 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
5.812 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.812 * [taylor]: Taking taylor expansion of z in y
5.812 * [backup-simplify]: Simplify z into z
5.812 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.812 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.812 * [taylor]: Taking taylor expansion of t in y
5.812 * [backup-simplify]: Simplify t into t
5.813 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.813 * [taylor]: Taking taylor expansion of x in y
5.813 * [backup-simplify]: Simplify x into x
5.813 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.813 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t))
5.813 * [backup-simplify]: Simplify (* 0 (- (/ 1 z) (/ 1 t))) into 0
5.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.813 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.813 * [backup-simplify]: Simplify (- 0) into 0
5.813 * [backup-simplify]: Simplify (+ 0 0) into 0
5.814 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- (/ 1 z) (/ 1 t)))) into (- (/ 1 z) (/ 1 t))
5.814 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 t)) x) into (/ (- (/ 1 z) (/ 1 t)) x)
5.814 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x
5.814 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x
5.814 * [taylor]: Taking taylor expansion of y in x
5.814 * [backup-simplify]: Simplify y into y
5.814 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
5.814 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.814 * [taylor]: Taking taylor expansion of z in x
5.814 * [backup-simplify]: Simplify z into z
5.814 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.814 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.814 * [taylor]: Taking taylor expansion of t in x
5.814 * [backup-simplify]: Simplify t into t
5.814 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.814 * [taylor]: Taking taylor expansion of x in x
5.814 * [backup-simplify]: Simplify 0 into 0
5.814 * [backup-simplify]: Simplify 1 into 1
5.814 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.814 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t))
5.814 * [backup-simplify]: Simplify (* y (- (/ 1 z) (/ 1 t))) into (* (- (/ 1 z) (/ 1 t)) y)
5.814 * [backup-simplify]: Simplify (/ (* (- (/ 1 z) (/ 1 t)) y) 1) into (* (- (/ 1 z) (/ 1 t)) y)
5.814 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 t))) x) in x
5.814 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 t))) in x
5.814 * [taylor]: Taking taylor expansion of y in x
5.814 * [backup-simplify]: Simplify y into y
5.814 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in x
5.814 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.815 * [taylor]: Taking taylor expansion of z in x
5.815 * [backup-simplify]: Simplify z into z
5.815 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.815 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.815 * [taylor]: Taking taylor expansion of t in x
5.815 * [backup-simplify]: Simplify t into t
5.815 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.815 * [taylor]: Taking taylor expansion of x in x
5.815 * [backup-simplify]: Simplify 0 into 0
5.815 * [backup-simplify]: Simplify 1 into 1
5.815 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.815 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t))
5.815 * [backup-simplify]: Simplify (* y (- (/ 1 z) (/ 1 t))) into (* (- (/ 1 z) (/ 1 t)) y)
5.815 * [backup-simplify]: Simplify (/ (* (- (/ 1 z) (/ 1 t)) y) 1) into (* (- (/ 1 z) (/ 1 t)) y)
5.815 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 t)) y) in y
5.815 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in y
5.815 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.815 * [taylor]: Taking taylor expansion of z in y
5.815 * [backup-simplify]: Simplify z into z
5.815 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.815 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.815 * [taylor]: Taking taylor expansion of t in y
5.815 * [backup-simplify]: Simplify t into t
5.815 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.815 * [taylor]: Taking taylor expansion of y in y
5.815 * [backup-simplify]: Simplify 0 into 0
5.815 * [backup-simplify]: Simplify 1 into 1
5.815 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.815 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t))
5.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.816 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.816 * [backup-simplify]: Simplify (- 0) into 0
5.820 * [backup-simplify]: Simplify (+ 0 0) into 0
5.820 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 t)) 1) (* 0 0)) into (- (/ 1 z) (/ 1 t))
5.820 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
5.820 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.820 * [taylor]: Taking taylor expansion of z in z
5.820 * [backup-simplify]: Simplify 0 into 0
5.820 * [backup-simplify]: Simplify 1 into 1
5.820 * [backup-simplify]: Simplify (/ 1 1) into 1
5.820 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.820 * [taylor]: Taking taylor expansion of t in z
5.820 * [backup-simplify]: Simplify t into t
5.821 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.821 * [backup-simplify]: Simplify (+ 1 0) into 1
5.821 * [taylor]: Taking taylor expansion of 1 in t
5.821 * [backup-simplify]: Simplify 1 into 1
5.821 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.821 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.821 * [backup-simplify]: Simplify (- 0) into 0
5.822 * [backup-simplify]: Simplify (+ 0 0) into 0
5.822 * [backup-simplify]: Simplify (+ (* y 0) (* 0 (- (/ 1 z) (/ 1 t)))) into 0
5.822 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (- (/ 1 z) (/ 1 t)) y) (/ 0 1)))) into 0
5.822 * [taylor]: Taking taylor expansion of 0 in y
5.822 * [backup-simplify]: Simplify 0 into 0
5.822 * [taylor]: Taking taylor expansion of 0 in z
5.822 * [backup-simplify]: Simplify 0 into 0
5.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.823 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.823 * [backup-simplify]: Simplify (- 0) into 0
5.823 * [backup-simplify]: Simplify (+ 0 0) into 0
5.824 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 t)) 0) (+ (* 0 1) (* 0 0))) into 0
5.824 * [taylor]: Taking taylor expansion of 0 in z
5.824 * [backup-simplify]: Simplify 0 into 0
5.824 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.824 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.824 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t))
5.824 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
5.824 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.824 * [taylor]: Taking taylor expansion of t in t
5.824 * [backup-simplify]: Simplify 0 into 0
5.824 * [backup-simplify]: Simplify 1 into 1
5.824 * [backup-simplify]: Simplify (/ 1 1) into 1
5.825 * [backup-simplify]: Simplify (- 1) into -1
5.825 * [backup-simplify]: Simplify -1 into -1
5.825 * [backup-simplify]: Simplify 1 into 1
5.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.825 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.825 * [backup-simplify]: Simplify (- 0) into 0
5.825 * [backup-simplify]: Simplify (+ 0 0) into 0
5.826 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 t))))) into 0
5.827 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (- (/ 1 z) (/ 1 t)) y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.827 * [taylor]: Taking taylor expansion of 0 in y
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [taylor]: Taking taylor expansion of 0 in z
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [taylor]: Taking taylor expansion of 0 in z
5.827 * [backup-simplify]: Simplify 0 into 0
5.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.827 * [backup-simplify]: Simplify (- 0) into 0
5.828 * [backup-simplify]: Simplify (+ 0 0) into 0
5.828 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.828 * [taylor]: Taking taylor expansion of 0 in z
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [taylor]: Taking taylor expansion of 0 in t
5.828 * [backup-simplify]: Simplify 0 into 0
5.828 * [taylor]: Taking taylor expansion of 0 in t
5.828 * [backup-simplify]: Simplify 0 into 0
5.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.829 * [backup-simplify]: Simplify (- 0) into 0
5.829 * [backup-simplify]: Simplify (+ 0 0) into 0
5.829 * [taylor]: Taking taylor expansion of 0 in t
5.829 * [backup-simplify]: Simplify 0 into 0
5.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.830 * [backup-simplify]: Simplify (- 0) into 0
5.830 * [backup-simplify]: Simplify 0 into 0
5.830 * [backup-simplify]: Simplify 0 into 0
5.830 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.830 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.831 * [backup-simplify]: Simplify (- 0) into 0
5.831 * [backup-simplify]: Simplify (+ 0 0) into 0
5.831 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 z) (/ 1 t)))))) into 0
5.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (- (/ 1 z) (/ 1 t)) y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.833 * [taylor]: Taking taylor expansion of 0 in y
5.833 * [backup-simplify]: Simplify 0 into 0
5.833 * [taylor]: Taking taylor expansion of 0 in z
5.833 * [backup-simplify]: Simplify 0 into 0
5.833 * [taylor]: Taking taylor expansion of 0 in z
5.833 * [backup-simplify]: Simplify 0 into 0
5.833 * [taylor]: Taking taylor expansion of 0 in z
5.833 * [backup-simplify]: Simplify 0 into 0
5.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.833 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.834 * [backup-simplify]: Simplify (- 0) into 0
5.834 * [backup-simplify]: Simplify (+ 0 0) into 0
5.834 * [backup-simplify]: Simplify (+ (* (- (/ 1 z) (/ 1 t)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.834 * [taylor]: Taking taylor expansion of 0 in z
5.835 * [backup-simplify]: Simplify 0 into 0
5.835 * [taylor]: Taking taylor expansion of 0 in t
5.835 * [backup-simplify]: Simplify 0 into 0
5.835 * [taylor]: Taking taylor expansion of 0 in t
5.835 * [backup-simplify]: Simplify 0 into 0
5.835 * [taylor]: Taking taylor expansion of 0 in t
5.835 * [backup-simplify]: Simplify 0 into 0
5.835 * [taylor]: Taking taylor expansion of 0 in t
5.835 * [backup-simplify]: Simplify 0 into 0
5.835 * [taylor]: Taking taylor expansion of 0 in t
5.835 * [backup-simplify]: Simplify 0 into 0
5.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.836 * [backup-simplify]: Simplify (- 0) into 0
5.836 * [backup-simplify]: Simplify (+ 0 0) into 0
5.836 * [taylor]: Taking taylor expansion of 0 in t
5.836 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.837 * [backup-simplify]: Simplify (- 0) into 0
5.837 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 y) (/ 1 (/ 1 x)))))) (* -1 (* (/ 1 (/ 1 t)) (* 1 (* (/ 1 y) (/ 1 (/ 1 x))))))) into (- (/ (* x z) y) (/ (* t x) y))
5.837 * [backup-simplify]: Simplify (* (/ (/ 1 (- x)) (/ 1 (- y))) (- (/ 1 (- z)) (/ 1 (- t)))) into (/ (* (- (/ 1 t) (/ 1 z)) y) x)
5.837 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in (x y z t) around 0
5.837 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in t
5.837 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in t
5.837 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in t
5.837 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.837 * [taylor]: Taking taylor expansion of t in t
5.837 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify 1 into 1
5.838 * [backup-simplify]: Simplify (/ 1 1) into 1
5.838 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.838 * [taylor]: Taking taylor expansion of z in t
5.838 * [backup-simplify]: Simplify z into z
5.838 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.838 * [taylor]: Taking taylor expansion of y in t
5.838 * [backup-simplify]: Simplify y into y
5.838 * [taylor]: Taking taylor expansion of x in t
5.838 * [backup-simplify]: Simplify x into x
5.838 * [backup-simplify]: Simplify (+ 1 0) into 1
5.838 * [backup-simplify]: Simplify (* 1 y) into y
5.838 * [backup-simplify]: Simplify (/ y x) into (/ y x)
5.838 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in z
5.838 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in z
5.838 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
5.838 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.838 * [taylor]: Taking taylor expansion of t in z
5.838 * [backup-simplify]: Simplify t into t
5.838 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.838 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.838 * [taylor]: Taking taylor expansion of z in z
5.838 * [backup-simplify]: Simplify 0 into 0
5.838 * [backup-simplify]: Simplify 1 into 1
5.839 * [backup-simplify]: Simplify (/ 1 1) into 1
5.839 * [taylor]: Taking taylor expansion of y in z
5.839 * [backup-simplify]: Simplify y into y
5.839 * [taylor]: Taking taylor expansion of x in z
5.839 * [backup-simplify]: Simplify x into x
5.839 * [backup-simplify]: Simplify (- 1) into -1
5.839 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.839 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
5.839 * [backup-simplify]: Simplify (/ (* -1 y) x) into (* -1 (/ y x))
5.839 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in y
5.839 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
5.839 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
5.839 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.839 * [taylor]: Taking taylor expansion of t in y
5.839 * [backup-simplify]: Simplify t into t
5.839 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.839 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.839 * [taylor]: Taking taylor expansion of z in y
5.840 * [backup-simplify]: Simplify z into z
5.840 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.840 * [taylor]: Taking taylor expansion of y in y
5.840 * [backup-simplify]: Simplify 0 into 0
5.840 * [backup-simplify]: Simplify 1 into 1
5.840 * [taylor]: Taking taylor expansion of x in y
5.840 * [backup-simplify]: Simplify x into x
5.840 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.840 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z))
5.840 * [backup-simplify]: Simplify (* (- (/ 1 t) (/ 1 z)) 0) into 0
5.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.840 * [backup-simplify]: Simplify (- 0) into 0
5.840 * [backup-simplify]: Simplify (+ 0 0) into 0
5.841 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 1) (* 0 0)) into (- (/ 1 t) (/ 1 z))
5.841 * [backup-simplify]: Simplify (/ (- (/ 1 t) (/ 1 z)) x) into (/ (- (/ 1 t) (/ 1 z)) x)
5.841 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
5.841 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
5.841 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
5.841 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.841 * [taylor]: Taking taylor expansion of t in x
5.841 * [backup-simplify]: Simplify t into t
5.841 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.841 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.841 * [taylor]: Taking taylor expansion of z in x
5.841 * [backup-simplify]: Simplify z into z
5.841 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.841 * [taylor]: Taking taylor expansion of y in x
5.841 * [backup-simplify]: Simplify y into y
5.841 * [taylor]: Taking taylor expansion of x in x
5.841 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify 1 into 1
5.841 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.841 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z))
5.841 * [backup-simplify]: Simplify (* (- (/ 1 t) (/ 1 z)) y) into (* (- (/ 1 t) (/ 1 z)) y)
5.841 * [backup-simplify]: Simplify (/ (* (- (/ 1 t) (/ 1 z)) y) 1) into (* (- (/ 1 t) (/ 1 z)) y)
5.841 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 t) (/ 1 z)) y) x) in x
5.841 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in x
5.842 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in x
5.842 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.842 * [taylor]: Taking taylor expansion of t in x
5.842 * [backup-simplify]: Simplify t into t
5.842 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.842 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.842 * [taylor]: Taking taylor expansion of z in x
5.842 * [backup-simplify]: Simplify z into z
5.842 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.842 * [taylor]: Taking taylor expansion of y in x
5.842 * [backup-simplify]: Simplify y into y
5.842 * [taylor]: Taking taylor expansion of x in x
5.842 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify 1 into 1
5.842 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.842 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z))
5.842 * [backup-simplify]: Simplify (* (- (/ 1 t) (/ 1 z)) y) into (* (- (/ 1 t) (/ 1 z)) y)
5.842 * [backup-simplify]: Simplify (/ (* (- (/ 1 t) (/ 1 z)) y) 1) into (* (- (/ 1 t) (/ 1 z)) y)
5.842 * [taylor]: Taking taylor expansion of (* (- (/ 1 t) (/ 1 z)) y) in y
5.842 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in y
5.842 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.842 * [taylor]: Taking taylor expansion of t in y
5.842 * [backup-simplify]: Simplify t into t
5.842 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.842 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.842 * [taylor]: Taking taylor expansion of z in y
5.842 * [backup-simplify]: Simplify z into z
5.842 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.842 * [taylor]: Taking taylor expansion of y in y
5.842 * [backup-simplify]: Simplify 0 into 0
5.842 * [backup-simplify]: Simplify 1 into 1
5.842 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.843 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z))
5.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.843 * [backup-simplify]: Simplify (- 0) into 0
5.843 * [backup-simplify]: Simplify (+ 0 0) into 0
5.844 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 1) (* 0 0)) into (- (/ 1 t) (/ 1 z))
5.844 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
5.844 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.844 * [taylor]: Taking taylor expansion of t in z
5.844 * [backup-simplify]: Simplify t into t
5.844 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.844 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.844 * [taylor]: Taking taylor expansion of z in z
5.844 * [backup-simplify]: Simplify 0 into 0
5.844 * [backup-simplify]: Simplify 1 into 1
5.844 * [backup-simplify]: Simplify (/ 1 1) into 1
5.844 * [backup-simplify]: Simplify (- 1) into -1
5.844 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.844 * [taylor]: Taking taylor expansion of -1 in t
5.844 * [backup-simplify]: Simplify -1 into -1
5.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.845 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.845 * [backup-simplify]: Simplify (- 0) into 0
5.845 * [backup-simplify]: Simplify (+ 0 0) into 0
5.845 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 0) (* 0 y)) into 0
5.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (- (/ 1 t) (/ 1 z)) y) (/ 0 1)))) into 0
5.846 * [taylor]: Taking taylor expansion of 0 in y
5.846 * [backup-simplify]: Simplify 0 into 0
5.846 * [taylor]: Taking taylor expansion of 0 in z
5.846 * [backup-simplify]: Simplify 0 into 0
5.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.846 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.846 * [backup-simplify]: Simplify (- 0) into 0
5.847 * [backup-simplify]: Simplify (+ 0 0) into 0
5.847 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 0) (+ (* 0 1) (* 0 0))) into 0
5.847 * [taylor]: Taking taylor expansion of 0 in z
5.847 * [backup-simplify]: Simplify 0 into 0
5.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.848 * [backup-simplify]: Simplify (- 0) into 0
5.848 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
5.848 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.848 * [taylor]: Taking taylor expansion of t in t
5.848 * [backup-simplify]: Simplify 0 into 0
5.848 * [backup-simplify]: Simplify 1 into 1
5.848 * [backup-simplify]: Simplify (/ 1 1) into 1
5.848 * [backup-simplify]: Simplify 1 into 1
5.849 * [backup-simplify]: Simplify -1 into -1
5.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.849 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.849 * [backup-simplify]: Simplify (- 0) into 0
5.850 * [backup-simplify]: Simplify (+ 0 0) into 0
5.850 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 0) (+ (* 0 0) (* 0 y))) into 0
5.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (- (/ 1 t) (/ 1 z)) y) (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.852 * [taylor]: Taking taylor expansion of 0 in y
5.852 * [backup-simplify]: Simplify 0 into 0
5.852 * [taylor]: Taking taylor expansion of 0 in z
5.852 * [backup-simplify]: Simplify 0 into 0
5.852 * [taylor]: Taking taylor expansion of 0 in z
5.852 * [backup-simplify]: Simplify 0 into 0
5.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.853 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.853 * [backup-simplify]: Simplify (- 0) into 0
5.853 * [backup-simplify]: Simplify (+ 0 0) into 0
5.854 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.854 * [taylor]: Taking taylor expansion of 0 in z
5.854 * [backup-simplify]: Simplify 0 into 0
5.854 * [taylor]: Taking taylor expansion of 0 in t
5.854 * [backup-simplify]: Simplify 0 into 0
5.854 * [taylor]: Taking taylor expansion of 0 in t
5.854 * [backup-simplify]: Simplify 0 into 0
5.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.856 * [backup-simplify]: Simplify (- 0) into 0
5.856 * [backup-simplify]: Simplify (+ 0 0) into 0
5.856 * [taylor]: Taking taylor expansion of 0 in t
5.856 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify 0 into 0
5.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.858 * [backup-simplify]: Simplify (- 0) into 0
5.858 * [backup-simplify]: Simplify (+ 0 0) into 0
5.859 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0
5.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* (- (/ 1 t) (/ 1 z)) y) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.861 * [taylor]: Taking taylor expansion of 0 in y
5.861 * [backup-simplify]: Simplify 0 into 0
5.861 * [taylor]: Taking taylor expansion of 0 in z
5.861 * [backup-simplify]: Simplify 0 into 0
5.861 * [taylor]: Taking taylor expansion of 0 in z
5.861 * [backup-simplify]: Simplify 0 into 0
5.861 * [taylor]: Taking taylor expansion of 0 in z
5.861 * [backup-simplify]: Simplify 0 into 0
5.861 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.862 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.862 * [backup-simplify]: Simplify (- 0) into 0
5.862 * [backup-simplify]: Simplify (+ 0 0) into 0
5.863 * [backup-simplify]: Simplify (+ (* (- (/ 1 t) (/ 1 z)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.863 * [taylor]: Taking taylor expansion of 0 in z
5.863 * [backup-simplify]: Simplify 0 into 0
5.864 * [taylor]: Taking taylor expansion of 0 in t
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [taylor]: Taking taylor expansion of 0 in t
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [taylor]: Taking taylor expansion of 0 in t
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [taylor]: Taking taylor expansion of 0 in t
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [taylor]: Taking taylor expansion of 0 in t
5.864 * [backup-simplify]: Simplify 0 into 0
5.864 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.865 * [backup-simplify]: Simplify (- 0) into 0
5.866 * [backup-simplify]: Simplify (+ 0 0) into 0
5.866 * [taylor]: Taking taylor expansion of 0 in t
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 0 into 0
5.866 * [backup-simplify]: Simplify 0 into 0
5.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.867 * [backup-simplify]: Simplify 0 into 0
5.867 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (* 1 (* (/ 1 (/ 1 (- t))) (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x)))))))) into (- (/ (* x z) y) (/ (* t x) y))
5.868 * * * * [progress]: [ 2 / 2 ] generating series at (2)
5.868 * [backup-simplify]: Simplify (+ (* (/ x y) (- z t)) t) into (- (+ t (/ (* x z) y)) (/ (* t x) y))
5.868 * [approximate]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in (x y z t) around 0
5.868 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in t
5.868 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in t
5.868 * [taylor]: Taking taylor expansion of t in t
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify 1 into 1
5.868 * [taylor]: Taking taylor expansion of (/ (* x z) y) in t
5.868 * [taylor]: Taking taylor expansion of (* x z) in t
5.868 * [taylor]: Taking taylor expansion of x in t
5.868 * [backup-simplify]: Simplify x into x
5.868 * [taylor]: Taking taylor expansion of z in t
5.868 * [backup-simplify]: Simplify z into z
5.868 * [taylor]: Taking taylor expansion of y in t
5.868 * [backup-simplify]: Simplify y into y
5.868 * [backup-simplify]: Simplify (* x z) into (* x z)
5.868 * [backup-simplify]: Simplify (/ (* x z) y) into (/ (* x z) y)
5.868 * [taylor]: Taking taylor expansion of (/ (* t x) y) in t
5.869 * [taylor]: Taking taylor expansion of (* t x) in t
5.869 * [taylor]: Taking taylor expansion of t in t
5.869 * [backup-simplify]: Simplify 0 into 0
5.869 * [backup-simplify]: Simplify 1 into 1
5.869 * [taylor]: Taking taylor expansion of x in t
5.869 * [backup-simplify]: Simplify x into x
5.869 * [taylor]: Taking taylor expansion of y in t
5.869 * [backup-simplify]: Simplify y into y
5.869 * [backup-simplify]: Simplify (* 0 x) into 0
5.869 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.870 * [backup-simplify]: Simplify (/ x y) into (/ x y)
5.870 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in z
5.870 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in z
5.870 * [taylor]: Taking taylor expansion of t in z
5.870 * [backup-simplify]: Simplify t into t
5.870 * [taylor]: Taking taylor expansion of (/ (* x z) y) in z
5.870 * [taylor]: Taking taylor expansion of (* x z) in z
5.870 * [taylor]: Taking taylor expansion of x in z
5.870 * [backup-simplify]: Simplify x into x
5.870 * [taylor]: Taking taylor expansion of z in z
5.870 * [backup-simplify]: Simplify 0 into 0
5.870 * [backup-simplify]: Simplify 1 into 1
5.870 * [taylor]: Taking taylor expansion of y in z
5.870 * [backup-simplify]: Simplify y into y
5.870 * [backup-simplify]: Simplify (* x 0) into 0
5.870 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.870 * [backup-simplify]: Simplify (/ x y) into (/ x y)
5.871 * [taylor]: Taking taylor expansion of (/ (* t x) y) in z
5.871 * [taylor]: Taking taylor expansion of (* t x) in z
5.871 * [taylor]: Taking taylor expansion of t in z
5.871 * [backup-simplify]: Simplify t into t
5.871 * [taylor]: Taking taylor expansion of x in z
5.871 * [backup-simplify]: Simplify x into x
5.871 * [taylor]: Taking taylor expansion of y in z
5.871 * [backup-simplify]: Simplify y into y
5.871 * [backup-simplify]: Simplify (* t x) into (* t x)
5.871 * [backup-simplify]: Simplify (/ (* t x) y) into (/ (* t x) y)
5.871 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in y
5.871 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in y
5.871 * [taylor]: Taking taylor expansion of t in y
5.871 * [backup-simplify]: Simplify t into t
5.871 * [taylor]: Taking taylor expansion of (/ (* x z) y) in y
5.871 * [taylor]: Taking taylor expansion of (* x z) in y
5.871 * [taylor]: Taking taylor expansion of x in y
5.871 * [backup-simplify]: Simplify x into x
5.871 * [taylor]: Taking taylor expansion of z in y
5.871 * [backup-simplify]: Simplify z into z
5.871 * [taylor]: Taking taylor expansion of y in y
5.871 * [backup-simplify]: Simplify 0 into 0
5.871 * [backup-simplify]: Simplify 1 into 1
5.871 * [backup-simplify]: Simplify (* x z) into (* x z)
5.872 * [backup-simplify]: Simplify (/ (* x z) 1) into (* x z)
5.872 * [taylor]: Taking taylor expansion of (/ (* t x) y) in y
5.872 * [taylor]: Taking taylor expansion of (* t x) in y
5.872 * [taylor]: Taking taylor expansion of t in y
5.872 * [backup-simplify]: Simplify t into t
5.872 * [taylor]: Taking taylor expansion of x in y
5.872 * [backup-simplify]: Simplify x into x
5.872 * [taylor]: Taking taylor expansion of y in y
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify 1 into 1
5.872 * [backup-simplify]: Simplify (* t x) into (* t x)
5.872 * [backup-simplify]: Simplify (/ (* t x) 1) into (* t x)
5.872 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x
5.872 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x
5.872 * [taylor]: Taking taylor expansion of t in x
5.872 * [backup-simplify]: Simplify t into t
5.872 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
5.872 * [taylor]: Taking taylor expansion of (* x z) in x
5.872 * [taylor]: Taking taylor expansion of x in x
5.872 * [backup-simplify]: Simplify 0 into 0
5.872 * [backup-simplify]: Simplify 1 into 1
5.872 * [taylor]: Taking taylor expansion of z in x
5.872 * [backup-simplify]: Simplify z into z
5.872 * [taylor]: Taking taylor expansion of y in x
5.872 * [backup-simplify]: Simplify y into y
5.872 * [backup-simplify]: Simplify (* 0 z) into 0
5.873 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.873 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.873 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
5.873 * [taylor]: Taking taylor expansion of (* t x) in x
5.873 * [taylor]: Taking taylor expansion of t in x
5.873 * [backup-simplify]: Simplify t into t
5.873 * [taylor]: Taking taylor expansion of x in x
5.873 * [backup-simplify]: Simplify 0 into 0
5.873 * [backup-simplify]: Simplify 1 into 1
5.873 * [taylor]: Taking taylor expansion of y in x
5.873 * [backup-simplify]: Simplify y into y
5.873 * [backup-simplify]: Simplify (* t 0) into 0
5.874 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
5.874 * [backup-simplify]: Simplify (/ t y) into (/ t y)
5.874 * [taylor]: Taking taylor expansion of (- (+ t (/ (* x z) y)) (/ (* t x) y)) in x
5.874 * [taylor]: Taking taylor expansion of (+ t (/ (* x z) y)) in x
5.874 * [taylor]: Taking taylor expansion of t in x
5.874 * [backup-simplify]: Simplify t into t
5.874 * [taylor]: Taking taylor expansion of (/ (* x z) y) in x
5.874 * [taylor]: Taking taylor expansion of (* x z) in x
5.874 * [taylor]: Taking taylor expansion of x in x
5.874 * [backup-simplify]: Simplify 0 into 0
5.874 * [backup-simplify]: Simplify 1 into 1
5.874 * [taylor]: Taking taylor expansion of z in x
5.874 * [backup-simplify]: Simplify z into z
5.874 * [taylor]: Taking taylor expansion of y in x
5.874 * [backup-simplify]: Simplify y into y
5.874 * [backup-simplify]: Simplify (* 0 z) into 0
5.875 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.875 * [backup-simplify]: Simplify (/ z y) into (/ z y)
5.875 * [taylor]: Taking taylor expansion of (/ (* t x) y) in x
5.875 * [taylor]: Taking taylor expansion of (* t x) in x
5.875 * [taylor]: Taking taylor expansion of t in x
5.875 * [backup-simplify]: Simplify t into t
5.875 * [taylor]: Taking taylor expansion of x in x
5.875 * [backup-simplify]: Simplify 0 into 0
5.875 * [backup-simplify]: Simplify 1 into 1
5.875 * [taylor]: Taking taylor expansion of y in x
5.875 * [backup-simplify]: Simplify y into y
5.875 * [backup-simplify]: Simplify (* t 0) into 0
5.875 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
5.875 * [backup-simplify]: Simplify (/ t y) into (/ t y)
5.876 * [backup-simplify]: Simplify (+ t 0) into t
5.876 * [backup-simplify]: Simplify (+ t 0) into t
5.876 * [taylor]: Taking taylor expansion of t in y
5.876 * [backup-simplify]: Simplify t into t
5.876 * [backup-simplify]: Simplify (+ 0 (/ z y)) into (/ z y)
5.876 * [backup-simplify]: Simplify (- (/ t y)) into (- (/ t y))
5.876 * [backup-simplify]: Simplify (+ (/ z y) (- (/ t y))) into (- (/ z y) (/ t y))
5.876 * [taylor]: Taking taylor expansion of (- (/ z y) (/ t y)) in y
5.876 * [taylor]: Taking taylor expansion of (/ z y) in y
5.876 * [taylor]: Taking taylor expansion of z in y
5.876 * [backup-simplify]: Simplify z into z
5.876 * [taylor]: Taking taylor expansion of y in y
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 1 into 1
5.876 * [backup-simplify]: Simplify (/ z 1) into z
5.876 * [taylor]: Taking taylor expansion of (/ t y) in y
5.876 * [taylor]: Taking taylor expansion of t in y
5.876 * [backup-simplify]: Simplify t into t
5.876 * [taylor]: Taking taylor expansion of y in y
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 1 into 1
5.876 * [backup-simplify]: Simplify (/ t 1) into t
5.876 * [backup-simplify]: Simplify (- t) into (- t)
5.876 * [backup-simplify]: Simplify (+ z (- t)) into (- z t)
5.876 * [taylor]: Taking taylor expansion of (- z t) in z
5.876 * [taylor]: Taking taylor expansion of z in z
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 1 into 1
5.876 * [taylor]: Taking taylor expansion of t in z
5.876 * [backup-simplify]: Simplify t into t
5.876 * [backup-simplify]: Simplify (- t) into (- t)
5.876 * [backup-simplify]: Simplify (+ 0 (- t)) into (- t)
5.876 * [taylor]: Taking taylor expansion of (- t) in t
5.876 * [taylor]: Taking taylor expansion of t in t
5.876 * [backup-simplify]: Simplify 0 into 0
5.876 * [backup-simplify]: Simplify 1 into 1
5.877 * [backup-simplify]: Simplify (- 0) into 0
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [taylor]: Taking taylor expansion of t in z
5.877 * [backup-simplify]: Simplify t into t
5.877 * [taylor]: Taking taylor expansion of t in t
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify 1 into 1
5.877 * [backup-simplify]: Simplify 0 into 0
5.877 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
5.878 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ z y) (/ 0 y)))) into 0
5.878 * [backup-simplify]: Simplify (+ 0 0) into 0
5.878 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
5.878 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
5.879 * [backup-simplify]: Simplify (- 0) into 0
5.879 * [backup-simplify]: Simplify (+ 0 0) into 0
5.879 * [taylor]: Taking taylor expansion of 0 in y
5.879 * [backup-simplify]: Simplify 0 into 0
5.879 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
5.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.880 * [backup-simplify]: Simplify (- 0) into 0
5.880 * [backup-simplify]: Simplify (+ 0 0) into 0
5.880 * [taylor]: Taking taylor expansion of 0 in z
5.880 * [backup-simplify]: Simplify 0 into 0
5.880 * [taylor]: Taking taylor expansion of 0 in t
5.880 * [backup-simplify]: Simplify 0 into 0
5.880 * [backup-simplify]: Simplify 0 into 0
5.880 * [taylor]: Taking taylor expansion of 0 in z
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [taylor]: Taking taylor expansion of 0 in t
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify (- 0) into 0
5.881 * [backup-simplify]: Simplify (+ 1 0) into 1
5.881 * [taylor]: Taking taylor expansion of 1 in t
5.881 * [backup-simplify]: Simplify 1 into 1
5.881 * [backup-simplify]: Simplify 1 into 1
5.881 * [taylor]: Taking taylor expansion of 0 in t
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify 0 into 0
5.881 * [backup-simplify]: Simplify (- 1) into -1
5.881 * [backup-simplify]: Simplify -1 into -1
5.881 * [backup-simplify]: Simplify 1 into 1
5.882 * [backup-simplify]: Simplify (+ (* 1 (* t (* 1 (* 1 1)))) (+ (* -1 (* t (* 1 (* (/ 1 y) x)))) (* 1 (* 1 (* z (* (/ 1 y) x)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y))
5.882 * [backup-simplify]: Simplify (+ (* (/ (/ 1 x) (/ 1 y)) (- (/ 1 z) (/ 1 t))) (/ 1 t)) into (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x)))
5.882 * [approximate]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in (x y z t) around 0
5.882 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in t
5.882 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t
5.882 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.882 * [taylor]: Taking taylor expansion of t in t
5.882 * [backup-simplify]: Simplify 0 into 0
5.882 * [backup-simplify]: Simplify 1 into 1
5.883 * [backup-simplify]: Simplify (/ 1 1) into 1
5.883 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t
5.883 * [taylor]: Taking taylor expansion of y in t
5.883 * [backup-simplify]: Simplify y into y
5.883 * [taylor]: Taking taylor expansion of (* x z) in t
5.883 * [taylor]: Taking taylor expansion of x in t
5.883 * [backup-simplify]: Simplify x into x
5.883 * [taylor]: Taking taylor expansion of z in t
5.883 * [backup-simplify]: Simplify z into z
5.883 * [backup-simplify]: Simplify (* x z) into (* x z)
5.883 * [backup-simplify]: Simplify (/ y (* x z)) into (/ y (* x z))
5.883 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
5.883 * [taylor]: Taking taylor expansion of y in t
5.883 * [backup-simplify]: Simplify y into y
5.883 * [taylor]: Taking taylor expansion of (* t x) in t
5.883 * [taylor]: Taking taylor expansion of t in t
5.883 * [backup-simplify]: Simplify 0 into 0
5.883 * [backup-simplify]: Simplify 1 into 1
5.883 * [taylor]: Taking taylor expansion of x in t
5.883 * [backup-simplify]: Simplify x into x
5.883 * [backup-simplify]: Simplify (* 0 x) into 0
5.884 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.884 * [backup-simplify]: Simplify (/ y x) into (/ y x)
5.884 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in z
5.884 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z
5.884 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.884 * [taylor]: Taking taylor expansion of t in z
5.884 * [backup-simplify]: Simplify t into t
5.884 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.884 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
5.884 * [taylor]: Taking taylor expansion of y in z
5.884 * [backup-simplify]: Simplify y into y
5.884 * [taylor]: Taking taylor expansion of (* x z) in z
5.884 * [taylor]: Taking taylor expansion of x in z
5.884 * [backup-simplify]: Simplify x into x
5.884 * [taylor]: Taking taylor expansion of z in z
5.884 * [backup-simplify]: Simplify 0 into 0
5.884 * [backup-simplify]: Simplify 1 into 1
5.884 * [backup-simplify]: Simplify (* x 0) into 0
5.884 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.884 * [backup-simplify]: Simplify (/ y x) into (/ y x)
5.884 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z
5.884 * [taylor]: Taking taylor expansion of y in z
5.884 * [backup-simplify]: Simplify y into y
5.884 * [taylor]: Taking taylor expansion of (* t x) in z
5.884 * [taylor]: Taking taylor expansion of t in z
5.884 * [backup-simplify]: Simplify t into t
5.884 * [taylor]: Taking taylor expansion of x in z
5.884 * [backup-simplify]: Simplify x into x
5.884 * [backup-simplify]: Simplify (* t x) into (* t x)
5.884 * [backup-simplify]: Simplify (/ y (* t x)) into (/ y (* t x))
5.884 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in y
5.884 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
5.884 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.884 * [taylor]: Taking taylor expansion of t in y
5.885 * [backup-simplify]: Simplify t into t
5.885 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.885 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
5.885 * [taylor]: Taking taylor expansion of y in y
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [taylor]: Taking taylor expansion of (* x z) in y
5.885 * [taylor]: Taking taylor expansion of x in y
5.885 * [backup-simplify]: Simplify x into x
5.885 * [taylor]: Taking taylor expansion of z in y
5.885 * [backup-simplify]: Simplify z into z
5.885 * [backup-simplify]: Simplify (* x z) into (* x z)
5.885 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
5.885 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
5.885 * [taylor]: Taking taylor expansion of y in y
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [taylor]: Taking taylor expansion of (* t x) in y
5.885 * [taylor]: Taking taylor expansion of t in y
5.885 * [backup-simplify]: Simplify t into t
5.885 * [taylor]: Taking taylor expansion of x in y
5.885 * [backup-simplify]: Simplify x into x
5.885 * [backup-simplify]: Simplify (* t x) into (* t x)
5.885 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
5.885 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x
5.885 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
5.885 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.885 * [taylor]: Taking taylor expansion of t in x
5.885 * [backup-simplify]: Simplify t into t
5.885 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.885 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
5.885 * [taylor]: Taking taylor expansion of y in x
5.885 * [backup-simplify]: Simplify y into y
5.885 * [taylor]: Taking taylor expansion of (* x z) in x
5.885 * [taylor]: Taking taylor expansion of x in x
5.885 * [backup-simplify]: Simplify 0 into 0
5.885 * [backup-simplify]: Simplify 1 into 1
5.885 * [taylor]: Taking taylor expansion of z in x
5.885 * [backup-simplify]: Simplify z into z
5.885 * [backup-simplify]: Simplify (* 0 z) into 0
5.886 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.886 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.886 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
5.886 * [taylor]: Taking taylor expansion of y in x
5.886 * [backup-simplify]: Simplify y into y
5.886 * [taylor]: Taking taylor expansion of (* t x) in x
5.886 * [taylor]: Taking taylor expansion of t in x
5.886 * [backup-simplify]: Simplify t into t
5.886 * [taylor]: Taking taylor expansion of x in x
5.886 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify 1 into 1
5.886 * [backup-simplify]: Simplify (* t 0) into 0
5.886 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
5.886 * [backup-simplify]: Simplify (/ y t) into (/ y t)
5.886 * [taylor]: Taking taylor expansion of (- (+ (/ 1 t) (/ y (* x z))) (/ y (* t x))) in x
5.886 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
5.886 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.886 * [taylor]: Taking taylor expansion of t in x
5.886 * [backup-simplify]: Simplify t into t
5.886 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.886 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
5.886 * [taylor]: Taking taylor expansion of y in x
5.886 * [backup-simplify]: Simplify y into y
5.886 * [taylor]: Taking taylor expansion of (* x z) in x
5.886 * [taylor]: Taking taylor expansion of x in x
5.886 * [backup-simplify]: Simplify 0 into 0
5.886 * [backup-simplify]: Simplify 1 into 1
5.886 * [taylor]: Taking taylor expansion of z in x
5.886 * [backup-simplify]: Simplify z into z
5.886 * [backup-simplify]: Simplify (* 0 z) into 0
5.887 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.887 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.887 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
5.887 * [taylor]: Taking taylor expansion of y in x
5.887 * [backup-simplify]: Simplify y into y
5.887 * [taylor]: Taking taylor expansion of (* t x) in x
5.887 * [taylor]: Taking taylor expansion of t in x
5.887 * [backup-simplify]: Simplify t into t
5.887 * [taylor]: Taking taylor expansion of x in x
5.887 * [backup-simplify]: Simplify 0 into 0
5.887 * [backup-simplify]: Simplify 1 into 1
5.887 * [backup-simplify]: Simplify (* t 0) into 0
5.887 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
5.887 * [backup-simplify]: Simplify (/ y t) into (/ y t)
5.887 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z)
5.887 * [backup-simplify]: Simplify (- (/ y t)) into (- (/ y t))
5.887 * [backup-simplify]: Simplify (+ (/ y z) (- (/ y t))) into (- (/ y z) (/ y t))
5.887 * [taylor]: Taking taylor expansion of (- (/ y z) (/ y t)) in y
5.888 * [taylor]: Taking taylor expansion of (/ y z) in y
5.888 * [taylor]: Taking taylor expansion of y in y
5.888 * [backup-simplify]: Simplify 0 into 0
5.888 * [backup-simplify]: Simplify 1 into 1
5.888 * [taylor]: Taking taylor expansion of z in y
5.888 * [backup-simplify]: Simplify z into z
5.888 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.888 * [taylor]: Taking taylor expansion of (/ y t) in y
5.888 * [taylor]: Taking taylor expansion of y in y
5.888 * [backup-simplify]: Simplify 0 into 0
5.888 * [backup-simplify]: Simplify 1 into 1
5.888 * [taylor]: Taking taylor expansion of t in y
5.888 * [backup-simplify]: Simplify t into t
5.888 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.888 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
5.888 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
5.888 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
5.889 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
5.889 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)))) into 0
5.889 * [backup-simplify]: Simplify (- 0) into 0
5.889 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
5.889 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.889 * [taylor]: Taking taylor expansion of t in y
5.889 * [backup-simplify]: Simplify t into t
5.889 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.889 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.889 * [taylor]: Taking taylor expansion of t in z
5.889 * [backup-simplify]: Simplify t into t
5.890 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.890 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.890 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 t))) into (- (/ 1 z) (/ 1 t))
5.890 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 t)) in z
5.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.890 * [taylor]: Taking taylor expansion of z in z
5.890 * [backup-simplify]: Simplify 0 into 0
5.890 * [backup-simplify]: Simplify 1 into 1
5.890 * [backup-simplify]: Simplify (/ 1 1) into 1
5.890 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.890 * [taylor]: Taking taylor expansion of t in z
5.890 * [backup-simplify]: Simplify t into t
5.890 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.890 * [backup-simplify]: Simplify (+ 1 0) into 1
5.891 * [taylor]: Taking taylor expansion of 1 in t
5.891 * [backup-simplify]: Simplify 1 into 1
5.891 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.891 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
5.891 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.892 * [backup-simplify]: Simplify (+ 0 0) into 0
5.892 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.892 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.893 * [backup-simplify]: Simplify (- 0) into 0
5.893 * [backup-simplify]: Simplify (+ 0 0) into 0
5.893 * [taylor]: Taking taylor expansion of 0 in y
5.893 * [backup-simplify]: Simplify 0 into 0
5.893 * [taylor]: Taking taylor expansion of 0 in z
5.893 * [backup-simplify]: Simplify 0 into 0
5.893 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.893 * [taylor]: Taking taylor expansion of 0 in z
5.893 * [backup-simplify]: Simplify 0 into 0
5.893 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
5.893 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
5.893 * [backup-simplify]: Simplify (- 0) into 0
5.894 * [backup-simplify]: Simplify (+ 0 0) into 0
5.894 * [taylor]: Taking taylor expansion of 0 in z
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.894 * [taylor]: Taking taylor expansion of t in t
5.894 * [backup-simplify]: Simplify 0 into 0
5.894 * [backup-simplify]: Simplify 1 into 1
5.894 * [backup-simplify]: Simplify (/ 1 1) into 1
5.894 * [backup-simplify]: Simplify 1 into 1
5.895 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.895 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.895 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t))
5.895 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
5.895 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.895 * [taylor]: Taking taylor expansion of t in t
5.895 * [backup-simplify]: Simplify 0 into 0
5.895 * [backup-simplify]: Simplify 1 into 1
5.895 * [backup-simplify]: Simplify (/ 1 1) into 1
5.895 * [backup-simplify]: Simplify (- 1) into -1
5.895 * [backup-simplify]: Simplify -1 into -1
5.895 * [backup-simplify]: Simplify 1 into 1
5.896 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (* (/ 1 y) (/ 1 (/ 1 x)))))) (+ (* -1 (* (/ 1 (/ 1 t)) (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))))) (* 1 (* (/ 1 (/ 1 t)) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y))
5.896 * [backup-simplify]: Simplify (+ (* (/ (/ 1 (- x)) (/ 1 (- y))) (- (/ 1 (- z)) (/ 1 (- t)))) (/ 1 (- t))) into (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z))))
5.896 * [approximate]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in (x y z t) around 0
5.896 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in t
5.896 * [taylor]: Taking taylor expansion of (/ y (* t x)) in t
5.896 * [taylor]: Taking taylor expansion of y in t
5.896 * [backup-simplify]: Simplify y into y
5.896 * [taylor]: Taking taylor expansion of (* t x) in t
5.896 * [taylor]: Taking taylor expansion of t in t
5.896 * [backup-simplify]: Simplify 0 into 0
5.896 * [backup-simplify]: Simplify 1 into 1
5.896 * [taylor]: Taking taylor expansion of x in t
5.896 * [backup-simplify]: Simplify x into x
5.896 * [backup-simplify]: Simplify (* 0 x) into 0
5.897 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 x)) into x
5.897 * [backup-simplify]: Simplify (/ y x) into (/ y x)
5.897 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in t
5.897 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.897 * [taylor]: Taking taylor expansion of t in t
5.897 * [backup-simplify]: Simplify 0 into 0
5.897 * [backup-simplify]: Simplify 1 into 1
5.897 * [backup-simplify]: Simplify (/ 1 1) into 1
5.897 * [taylor]: Taking taylor expansion of (/ y (* x z)) in t
5.897 * [taylor]: Taking taylor expansion of y in t
5.897 * [backup-simplify]: Simplify y into y
5.897 * [taylor]: Taking taylor expansion of (* x z) in t
5.897 * [taylor]: Taking taylor expansion of x in t
5.897 * [backup-simplify]: Simplify x into x
5.897 * [taylor]: Taking taylor expansion of z in t
5.897 * [backup-simplify]: Simplify z into z
5.897 * [backup-simplify]: Simplify (* x z) into (* x z)
5.897 * [backup-simplify]: Simplify (/ y (* x z)) into (/ y (* x z))
5.897 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in z
5.897 * [taylor]: Taking taylor expansion of (/ y (* t x)) in z
5.897 * [taylor]: Taking taylor expansion of y in z
5.897 * [backup-simplify]: Simplify y into y
5.897 * [taylor]: Taking taylor expansion of (* t x) in z
5.897 * [taylor]: Taking taylor expansion of t in z
5.897 * [backup-simplify]: Simplify t into t
5.897 * [taylor]: Taking taylor expansion of x in z
5.897 * [backup-simplify]: Simplify x into x
5.898 * [backup-simplify]: Simplify (* t x) into (* t x)
5.898 * [backup-simplify]: Simplify (/ y (* t x)) into (/ y (* t x))
5.898 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in z
5.898 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.898 * [taylor]: Taking taylor expansion of t in z
5.898 * [backup-simplify]: Simplify t into t
5.898 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.898 * [taylor]: Taking taylor expansion of (/ y (* x z)) in z
5.898 * [taylor]: Taking taylor expansion of y in z
5.898 * [backup-simplify]: Simplify y into y
5.898 * [taylor]: Taking taylor expansion of (* x z) in z
5.898 * [taylor]: Taking taylor expansion of x in z
5.898 * [backup-simplify]: Simplify x into x
5.898 * [taylor]: Taking taylor expansion of z in z
5.898 * [backup-simplify]: Simplify 0 into 0
5.898 * [backup-simplify]: Simplify 1 into 1
5.898 * [backup-simplify]: Simplify (* x 0) into 0
5.898 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
5.898 * [backup-simplify]: Simplify (/ y x) into (/ y x)
5.898 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in y
5.898 * [taylor]: Taking taylor expansion of (/ y (* t x)) in y
5.898 * [taylor]: Taking taylor expansion of y in y
5.898 * [backup-simplify]: Simplify 0 into 0
5.898 * [backup-simplify]: Simplify 1 into 1
5.898 * [taylor]: Taking taylor expansion of (* t x) in y
5.898 * [taylor]: Taking taylor expansion of t in y
5.898 * [backup-simplify]: Simplify t into t
5.898 * [taylor]: Taking taylor expansion of x in y
5.898 * [backup-simplify]: Simplify x into x
5.898 * [backup-simplify]: Simplify (* t x) into (* t x)
5.898 * [backup-simplify]: Simplify (/ 1 (* t x)) into (/ 1 (* t x))
5.898 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in y
5.898 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.898 * [taylor]: Taking taylor expansion of t in y
5.898 * [backup-simplify]: Simplify t into t
5.898 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.898 * [taylor]: Taking taylor expansion of (/ y (* x z)) in y
5.898 * [taylor]: Taking taylor expansion of y in y
5.899 * [backup-simplify]: Simplify 0 into 0
5.899 * [backup-simplify]: Simplify 1 into 1
5.899 * [taylor]: Taking taylor expansion of (* x z) in y
5.899 * [taylor]: Taking taylor expansion of x in y
5.899 * [backup-simplify]: Simplify x into x
5.899 * [taylor]: Taking taylor expansion of z in y
5.899 * [backup-simplify]: Simplify z into z
5.899 * [backup-simplify]: Simplify (* x z) into (* x z)
5.899 * [backup-simplify]: Simplify (/ 1 (* x z)) into (/ 1 (* x z))
5.899 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x
5.899 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
5.899 * [taylor]: Taking taylor expansion of y in x
5.899 * [backup-simplify]: Simplify y into y
5.899 * [taylor]: Taking taylor expansion of (* t x) in x
5.899 * [taylor]: Taking taylor expansion of t in x
5.899 * [backup-simplify]: Simplify t into t
5.899 * [taylor]: Taking taylor expansion of x in x
5.899 * [backup-simplify]: Simplify 0 into 0
5.899 * [backup-simplify]: Simplify 1 into 1
5.899 * [backup-simplify]: Simplify (* t 0) into 0
5.899 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
5.899 * [backup-simplify]: Simplify (/ y t) into (/ y t)
5.899 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
5.899 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.899 * [taylor]: Taking taylor expansion of t in x
5.899 * [backup-simplify]: Simplify t into t
5.899 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.899 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
5.899 * [taylor]: Taking taylor expansion of y in x
5.899 * [backup-simplify]: Simplify y into y
5.899 * [taylor]: Taking taylor expansion of (* x z) in x
5.899 * [taylor]: Taking taylor expansion of x in x
5.899 * [backup-simplify]: Simplify 0 into 0
5.899 * [backup-simplify]: Simplify 1 into 1
5.899 * [taylor]: Taking taylor expansion of z in x
5.899 * [backup-simplify]: Simplify z into z
5.899 * [backup-simplify]: Simplify (* 0 z) into 0
5.900 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.900 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.900 * [taylor]: Taking taylor expansion of (- (/ y (* t x)) (+ (/ 1 t) (/ y (* x z)))) in x
5.900 * [taylor]: Taking taylor expansion of (/ y (* t x)) in x
5.900 * [taylor]: Taking taylor expansion of y in x
5.900 * [backup-simplify]: Simplify y into y
5.900 * [taylor]: Taking taylor expansion of (* t x) in x
5.900 * [taylor]: Taking taylor expansion of t in x
5.900 * [backup-simplify]: Simplify t into t
5.900 * [taylor]: Taking taylor expansion of x in x
5.900 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify 1 into 1
5.900 * [backup-simplify]: Simplify (* t 0) into 0
5.900 * [backup-simplify]: Simplify (+ (* t 1) (* 0 0)) into t
5.900 * [backup-simplify]: Simplify (/ y t) into (/ y t)
5.900 * [taylor]: Taking taylor expansion of (+ (/ 1 t) (/ y (* x z))) in x
5.900 * [taylor]: Taking taylor expansion of (/ 1 t) in x
5.900 * [taylor]: Taking taylor expansion of t in x
5.900 * [backup-simplify]: Simplify t into t
5.900 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.900 * [taylor]: Taking taylor expansion of (/ y (* x z)) in x
5.900 * [taylor]: Taking taylor expansion of y in x
5.900 * [backup-simplify]: Simplify y into y
5.900 * [taylor]: Taking taylor expansion of (* x z) in x
5.900 * [taylor]: Taking taylor expansion of x in x
5.900 * [backup-simplify]: Simplify 0 into 0
5.900 * [backup-simplify]: Simplify 1 into 1
5.900 * [taylor]: Taking taylor expansion of z in x
5.900 * [backup-simplify]: Simplify z into z
5.901 * [backup-simplify]: Simplify (* 0 z) into 0
5.901 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 z)) into z
5.901 * [backup-simplify]: Simplify (/ y z) into (/ y z)
5.901 * [backup-simplify]: Simplify (+ 0 (/ y z)) into (/ y z)
5.901 * [backup-simplify]: Simplify (- (/ y z)) into (- (/ y z))
5.901 * [backup-simplify]: Simplify (+ (/ y t) (- (/ y z))) into (- (/ y t) (/ y z))
5.901 * [taylor]: Taking taylor expansion of (- (/ y t) (/ y z)) in y
5.901 * [taylor]: Taking taylor expansion of (/ y t) in y
5.901 * [taylor]: Taking taylor expansion of y in y
5.901 * [backup-simplify]: Simplify 0 into 0
5.901 * [backup-simplify]: Simplify 1 into 1
5.901 * [taylor]: Taking taylor expansion of t in y
5.901 * [backup-simplify]: Simplify t into t
5.901 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.901 * [taylor]: Taking taylor expansion of (/ y z) in y
5.901 * [taylor]: Taking taylor expansion of y in y
5.901 * [backup-simplify]: Simplify 0 into 0
5.901 * [backup-simplify]: Simplify 1 into 1
5.901 * [taylor]: Taking taylor expansion of z in y
5.901 * [backup-simplify]: Simplify z into z
5.901 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.902 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 1) (* 0 0))) into 0
5.902 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)))) into 0
5.902 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 z))) into 0
5.903 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)))) into 0
5.903 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
5.903 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.903 * [backup-simplify]: Simplify (+ 0 (- (/ 1 t))) into (- (/ 1 t))
5.903 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in y
5.903 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.903 * [taylor]: Taking taylor expansion of t in y
5.903 * [backup-simplify]: Simplify t into t
5.903 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.903 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.903 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z
5.903 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.903 * [taylor]: Taking taylor expansion of t in z
5.903 * [backup-simplify]: Simplify t into t
5.903 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.903 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.903 * [backup-simplify]: Simplify (+ (/ 1 t) (- (/ 1 z))) into (- (/ 1 t) (/ 1 z))
5.903 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 z)) in z
5.903 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.903 * [taylor]: Taking taylor expansion of t in z
5.903 * [backup-simplify]: Simplify t into t
5.903 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.903 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.903 * [taylor]: Taking taylor expansion of z in z
5.903 * [backup-simplify]: Simplify 0 into 0
5.903 * [backup-simplify]: Simplify 1 into 1
5.904 * [backup-simplify]: Simplify (/ 1 1) into 1
5.904 * [backup-simplify]: Simplify (- 1) into -1
5.904 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.904 * [taylor]: Taking taylor expansion of -1 in t
5.904 * [backup-simplify]: Simplify -1 into -1
5.905 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.905 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.905 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.905 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 z)))) into 0
5.906 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ y z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.906 * [backup-simplify]: Simplify (+ 0 0) into 0
5.906 * [backup-simplify]: Simplify (- 0) into 0
5.906 * [backup-simplify]: Simplify (+ 0 0) into 0
5.906 * [taylor]: Taking taylor expansion of 0 in y
5.906 * [backup-simplify]: Simplify 0 into 0
5.906 * [taylor]: Taking taylor expansion of 0 in z
5.906 * [backup-simplify]: Simplify 0 into 0
5.906 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
5.907 * [backup-simplify]: Simplify (- 0) into 0
5.907 * [taylor]: Taking taylor expansion of 0 in z
5.907 * [backup-simplify]: Simplify 0 into 0
5.907 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
5.907 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
5.907 * [backup-simplify]: Simplify (- 0) into 0
5.907 * [backup-simplify]: Simplify (+ 0 0) into 0
5.907 * [taylor]: Taking taylor expansion of 0 in z
5.907 * [backup-simplify]: Simplify 0 into 0
5.908 * [backup-simplify]: Simplify (- (/ 1 t)) into (- (/ 1 t))
5.908 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
5.908 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.908 * [taylor]: Taking taylor expansion of t in t
5.908 * [backup-simplify]: Simplify 0 into 0
5.908 * [backup-simplify]: Simplify 1 into 1
5.908 * [backup-simplify]: Simplify (/ 1 1) into 1
5.908 * [backup-simplify]: Simplify (- 1) into -1
5.908 * [backup-simplify]: Simplify -1 into -1
5.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.909 * [backup-simplify]: Simplify (- 0) into 0
5.910 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
5.910 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.910 * [taylor]: Taking taylor expansion of t in t
5.910 * [backup-simplify]: Simplify 0 into 0
5.910 * [backup-simplify]: Simplify 1 into 1
5.910 * [backup-simplify]: Simplify (/ 1 1) into 1
5.910 * [backup-simplify]: Simplify 1 into 1
5.910 * [backup-simplify]: Simplify -1 into -1
5.911 * [backup-simplify]: Simplify (+ (* -1 (* 1 (* (/ 1 (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (+ (* 1 (* (/ 1 (/ 1 (- t))) (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))))) (* -1 (* (/ 1 (/ 1 (- t))) (* 1 (* 1 1)))))) into (- (+ t (/ (* x z) y)) (/ (* t x) y))
5.912 * * * [progress]: simplifying candidates
5.913 * [simplify]: Simplifying:
  (* (/ x y) (- z t))
  (+ (- (log x) (log y)) (log (- z t)))
  (+ (log (/ x y)) (log (- z t)))
  (log (* (/ x y) (- z t)))
  (exp (* (/ x y) (- z t)))
  (* (/ (* (* x x) x) (* (* y y) y)) (* (* (- z t) (- z t)) (- z t)))
  (* (* (* (/ x y) (/ x y)) (/ x y)) (* (* (- z t) (- z t)) (- z t)))
  (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t))))
  (cbrt (* (/ x y) (- z t)))
  (* (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (* x (- (pow z 3) (pow t 3)))
  (* y (+ (* z z) (+ (* t t) (* z t))))
  (* x (- (* z z) (* t t)))
  (* y (+ z t))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (- z t)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (- z t)))
  (* (/ x y) z)
  (* (/ x y) (- t))
  (* (/ x y) z)
  (* (/ x y) (- t))
  (* z (/ x y))
  (* (- t) (/ x y))
  (* z (/ x y))
  (* (- t) (/ x y))
  (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))
  (* (/ x y) (sqrt (- z t)))
  (* (/ x y) 1)
  (* (/ x y) (+ (sqrt z) (sqrt t)))
  (* (/ x y) 1)
  (* (cbrt (/ x y)) (- z t))
  (* (sqrt (/ x y)) (- z t))
  (* (/ (cbrt x) (cbrt y)) (- z t))
  (* (/ (cbrt x) (sqrt y)) (- z t))
  (* (/ (cbrt x) y) (- z t))
  (* (/ (sqrt x) (cbrt y)) (- z t))
  (* (/ (sqrt x) (sqrt y)) (- z t))
  (* (/ (sqrt x) y) (- z t))
  (* (/ x (cbrt y)) (- z t))
  (* (/ x (sqrt y)) (- z t))
  (* (/ x y) (- z t))
  (* (/ x y) (- z t))
  (* (/ 1 y) (- z t))
  (* (/ x y) (- (pow z 3) (pow t 3)))
  (* (/ x y) (- (* z z) (* t t)))
  (* x (- z t))
  (* (exp (* (/ x y) (- z t))) (exp t))
  (log (+ (* (/ x y) (- z t)) t))
  (exp (+ (* (/ x y) (- z t)) t))
  (* (cbrt (+ (* (/ x y) (- z t)) t)) (cbrt (+ (* (/ x y) (- z t)) t)))
  (cbrt (+ (* (/ x y) (- z t)) t))
  (* (* (+ (* (/ x y) (- z t)) t) (+ (* (/ x y) (- z t)) t)) (+ (* (/ x y) (- z t)) t))
  (sqrt (+ (* (/ x y) (- z t)) t))
  (sqrt (+ (* (/ x y) (- z t)) t))
  (+ (pow (* (/ x y) (- z t)) 3) (pow t 3))
  (+ (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (- (* t t) (* (* (/ x y) (- z t)) t)))
  (- (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* t t))
  (- (* (/ x y) (- z t)) t)
  (+ (* (/ x y) (- t)) t)
  (+ (* (/ x y) (- t)) t)
  (+ (* (- t) (/ x y)) t)
  (+ (* (- t) (/ x y)) t)
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (/ (* x z) y) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
  (- (+ t (/ (* x z) y)) (/ (* t x) y))
5.916 * * [simplify]: Extracting # 0 : cost  0
5.916 * * [simplify]: Extracting # 1 : cost  0
5.916 * * [simplify]: Extracting # 2 : cost  0
5.917 * * [simplify]: Extracting # 3 : cost  0
5.917 * * [simplify]: Extracting # 4 : cost  0
5.917 * * [simplify]: Extracting # 5 : cost  0
5.918 * * [simplify]: Extracting # 6 : cost  0
5.918 * * [simplify]: iteration  0 :  120  enodes  (cost  727 )
5.973 * * [simplify]: Extracting # 0 : cost  0
5.973 * * [simplify]: Extracting # 1 : cost  0
5.974 * * [simplify]: Extracting # 2 : cost  0
5.975 * * [simplify]: Extracting # 3 : cost  0
5.976 * * [simplify]: iteration  1 :  314  enodes  (cost  701 )
6.181 * * [simplify]: Extracting # 0 : cost  0
6.184 * * [simplify]: Extracting # 1 : cost  0
6.187 * * [simplify]: Extracting # 2 : cost  0
6.189 * * [simplify]: Extracting # 3 : cost  0
6.191 * * [simplify]: Extracting # 4 : cost  0
6.194 * * [simplify]: Extracting # 5 : cost  0
6.196 * * [simplify]: iteration  2 :  980  enodes  (cost  625 )
7.380 * * [simplify]: Extracting # 0 : cost  0
7.389 * * [simplify]: Extracting # 1 : cost  0
7.397 * * [simplify]: Extracting # 2 : cost  0
7.405 * * [simplify]: Extracting # 3 : cost  0
7.412 * * [simplify]: Extracting # 4 : cost  0
7.419 * * [simplify]: iteration  3 :  3598  enodes  (cost  619 )
9.062 * * [simplify]: Extracting # 0 : cost  0
9.068 * * [simplify]: Extracting # 1 : cost  0
9.073 * * [simplify]: Extracting # 2 : cost  0
9.078 * * [simplify]: Extracting # 3 : cost  0
9.083 * * [simplify]: Extracting # 4 : cost  0
9.091 * * [simplify]: iteration done:  5001  enodes  (cost  619 )
9.092 * [simplify]: Simplified to:
  (/ (- z t) (/ y x))
  (log (* (/ x y) (- z t)))
  (log (* (/ x y) (- z t)))
  (log (* (/ x y) (- z t)))
  (exp (* (/ x y) (- z t)))
  (pow (/ (- z t) (/ y x)) 3)
  (pow (/ (- z t) (/ y x)) 3)
  (* (cbrt (* (/ x y) (- z t))) (cbrt (* (/ x y) (- z t))))
  (cbrt (* (/ x y) (- z t)))
  (pow (/ (- z t) (/ y x)) 3)
  (sqrt (* (/ x y) (- z t)))
  (sqrt (* (/ x y) (- z t)))
  (* x (- (pow z 3) (pow t 3)))
  (* (+ (* z z) (* t (+ z t))) y)
  (* (- z t) (* (+ z t) x))
  (* y (+ z t))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (sqrt (/ x y)) (sqrt (- z t)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (- z t)))
  (* (/ (sqrt x) (sqrt y)) (sqrt (- z t)))
  (* (/ x y) z)
  (- (/ (* t x) y))
  (* (/ x y) z)
  (- (/ (* t x) y))
  (* (/ x y) z)
  (- (/ (* t x) y))
  (* (/ x y) z)
  (- (/ (* t x) y))
  (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))
  (* (/ x y) (sqrt (- z t)))
  (/ x y)
  (* (/ x y) (+ (sqrt z) (sqrt t)))
  (/ x y)
  (* (cbrt (/ x y)) (- z t))
  (* (sqrt (/ x y)) (- z t))
  (* (/ (cbrt x) (cbrt y)) (- z t))
  (* (/ (cbrt x) (sqrt y)) (- z t))
  (* (/ (cbrt x) y) (- z t))
  (* (/ (sqrt x) (cbrt y)) (- z t))
  (* (/ (sqrt x) (sqrt y)) (- z t))
  (* (/ (sqrt x) y) (- z t))
  (* (/ x (cbrt y)) (- z t))
  (* (/ x (sqrt y)) (- z t))
  (/ (- z t) (/ y x))
  (/ (- z t) (/ y x))
  (/ (- z t) y)
  (* (/ x y) (- (pow z 3) (pow t 3)))
  (* (/ x y) (- (* z z) (* t t)))
  (* x (- z t))
  (exp (+ (* (/ x y) (- z t)) t))
  (log (+ (* (/ x y) (- z t)) t))
  (exp (+ (* (/ x y) (- z t)) t))
  (* (cbrt (+ (* (/ x y) (- z t)) t)) (cbrt (+ (* (/ x y) (- z t)) t)))
  (cbrt (+ (* (/ x y) (- z t)) t))
  (pow (+ (* (/ x y) (- z t)) t) 3)
  (sqrt (+ (* (/ x y) (- z t)) t))
  (sqrt (+ (* (/ x y) (- z t)) t))
  (+ (pow (* (/ x y) (- z t)) 3) (pow t 3))
  (- (* t t) (* (/ (- z t) (/ y x)) (- t (* (/ x y) (- z t)))))
  (- (* (* (/ x y) (- z t)) (* (/ x y) (- z t))) (* t t))
  (- (* (/ x y) (- z t)) t)
  (- t (* t (/ x y)))
  (- t (* t (/ x y)))
  (- t (* t (/ x y)))
  (- t (* t (/ x y)))
  (/ (- z t) (/ y x))
  (/ (- z t) (/ y x))
  (/ (- z t) (/ y x))
  (+ t (/ (- z t) (/ y x)))
  (+ t (/ (- z t) (/ y x)))
  (+ t (/ (- z t) (/ y x)))
9.093 * * * [progress]: adding candidates to table
9.281 * * [progress]: iteration 2 / 4
9.281 * * * [progress]: picking best candidate
9.296 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t))) t))>
9.296 * * * [progress]: localizing error
9.325 * * * [progress]: generating rewritten candidates
9.325 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
9.471 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1 2)
9.472 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2 2)
9.472 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2 1)
9.479 * * * [progress]: generating series expansions
9.479 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)