23.792 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.031 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.036 * [simplify]: Simplifying:
  (/ (- (+ x y) z) (* t 2.0))
0.036 * * [simplify]: Extracting # 0 : cost  0
0.036 * * [simplify]: Extracting # 1 : cost  0
0.036 * * [simplify]: Extracting # 2 : cost  0
0.036 * * [simplify]: Extracting # 3 : cost  0
0.036 * * [simplify]: Extracting # 4 : cost  0
0.036 * * [simplify]: Extracting # 5 : cost  0
0.036 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
0.046 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: iteration  2 :  41  enodes  (cost  9 )
0.061 * * [simplify]: Extracting # 0 : cost  0
0.061 * * [simplify]: Extracting # 1 : cost  0
0.061 * * [simplify]: Extracting # 2 : cost  0
0.061 * * [simplify]: iteration  3 :  57  enodes  (cost  9 )
0.078 * * [simplify]: Extracting # 0 : cost  0
0.078 * * [simplify]: Extracting # 1 : cost  0
0.078 * * [simplify]: Extracting # 2 : cost  0
0.078 * * [simplify]: iteration  4 :  76  enodes  (cost  9 )
0.095 * * [simplify]: Extracting # 0 : cost  0
0.095 * * [simplify]: Extracting # 1 : cost  0
0.095 * * [simplify]: Extracting # 2 : cost  0
0.096 * * [simplify]: iteration  5 :  110  enodes  (cost  9 )
0.113 * * [simplify]: Extracting # 0 : cost  0
0.113 * * [simplify]: Extracting # 1 : cost  0
0.113 * * [simplify]: Extracting # 2 : cost  0
0.114 * * [simplify]: iteration  6 :  166  enodes  (cost  9 )
0.168 * * [simplify]: Extracting # 0 : cost  0
0.169 * * [simplify]: Extracting # 1 : cost  0
0.169 * * [simplify]: Extracting # 2 : cost  0
0.170 * * [simplify]: iteration  7 :  220  enodes  (cost  9 )
0.226 * * [simplify]: Extracting # 0 : cost  0
0.226 * * [simplify]: Extracting # 1 : cost  0
0.226 * * [simplify]: Extracting # 2 : cost  0
0.227 * * [simplify]: iteration  8 :  319  enodes  (cost  9 )
0.318 * * [simplify]: Extracting # 0 : cost  0
0.318 * * [simplify]: Extracting # 1 : cost  0
0.319 * * [simplify]: Extracting # 2 : cost  0
0.319 * * [simplify]: iteration  9 :  423  enodes  (cost  9 )
0.394 * * [simplify]: Extracting # 0 : cost  0
0.395 * * [simplify]: Extracting # 1 : cost  0
0.396 * * [simplify]: Extracting # 2 : cost  0
0.396 * * [simplify]: iteration  10 :  479  enodes  (cost  9 )
0.503 * * [simplify]: Extracting # 0 : cost  0
0.503 * * [simplify]: Extracting # 1 : cost  0
0.504 * * [simplify]: iteration  11 :  500  enodes  (cost  9 )
0.624 * * [simplify]: Extracting # 0 : cost  0
0.625 * * [simplify]: Extracting # 1 : cost  0
0.625 * * [simplify]: Extracting # 2 : cost  0
0.626 * * [simplify]: iteration  12 :  510  enodes  (cost  9 )
0.702 * * [simplify]: Extracting # 0 : cost  0
0.702 * * [simplify]: Extracting # 1 : cost  0
0.703 * * [simplify]: iteration done:  510  enodes  (cost  9 )
0.703 * [simplify]: Simplified to:
  (/ (- (+ x y) z) (* t 2.0))
0.703 * * [progress]: iteration 1 / 4
0.703 * * * [progress]: picking best candidate
0.705 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))>
0.705 * * * [progress]: localizing error
0.713 * * * [progress]: generating rewritten candidates
0.713 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.817 * * * [progress]: generating series expansions
0.818 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.818 * [backup-simplify]: Simplify (/ (- (+ x y) z) (* t 2.0)) into (* 0.5 (/ (- (+ x y) z) t))
0.818 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (x y z t) around 0
0.818 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t
0.818 * [taylor]: Taking taylor expansion of 0.5 in t
0.818 * [backup-simplify]: Simplify 0.5 into 0.5
0.818 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
0.818 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
0.818 * [taylor]: Taking taylor expansion of (+ x y) in t
0.818 * [taylor]: Taking taylor expansion of x in t
0.818 * [backup-simplify]: Simplify x into x
0.818 * [taylor]: Taking taylor expansion of y in t
0.818 * [backup-simplify]: Simplify y into y
0.818 * [taylor]: Taking taylor expansion of z in t
0.818 * [backup-simplify]: Simplify z into z
0.818 * [taylor]: Taking taylor expansion of t in t
0.818 * [backup-simplify]: Simplify 0 into 0
0.818 * [backup-simplify]: Simplify 1 into 1
0.818 * [backup-simplify]: Simplify (+ x y) into (+ x y)
0.818 * [backup-simplify]: Simplify (- z) into (- z)
0.818 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
0.819 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
0.819 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z
0.819 * [taylor]: Taking taylor expansion of 0.5 in z
0.819 * [backup-simplify]: Simplify 0.5 into 0.5
0.819 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
0.819 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
0.819 * [taylor]: Taking taylor expansion of (+ x y) in z
0.819 * [taylor]: Taking taylor expansion of x in z
0.819 * [backup-simplify]: Simplify x into x
0.819 * [taylor]: Taking taylor expansion of y in z
0.819 * [backup-simplify]: Simplify y into y
0.819 * [taylor]: Taking taylor expansion of z in z
0.819 * [backup-simplify]: Simplify 0 into 0
0.819 * [backup-simplify]: Simplify 1 into 1
0.819 * [taylor]: Taking taylor expansion of t in z
0.819 * [backup-simplify]: Simplify t into t
0.819 * [backup-simplify]: Simplify (+ x y) into (+ x y)
0.820 * [backup-simplify]: Simplify (- 0) into 0
0.820 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
0.820 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
0.820 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y
0.820 * [taylor]: Taking taylor expansion of 0.5 in y
0.820 * [backup-simplify]: Simplify 0.5 into 0.5
0.820 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
0.820 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
0.820 * [taylor]: Taking taylor expansion of (+ x y) in y
0.820 * [taylor]: Taking taylor expansion of x in y
0.820 * [backup-simplify]: Simplify x into x
0.820 * [taylor]: Taking taylor expansion of y in y
0.820 * [backup-simplify]: Simplify 0 into 0
0.820 * [backup-simplify]: Simplify 1 into 1
0.820 * [taylor]: Taking taylor expansion of z in y
0.821 * [backup-simplify]: Simplify z into z
0.821 * [taylor]: Taking taylor expansion of t in y
0.821 * [backup-simplify]: Simplify t into t
0.821 * [backup-simplify]: Simplify (+ x 0) into x
0.821 * [backup-simplify]: Simplify (- z) into (- z)
0.821 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
0.821 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
0.821 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
0.821 * [taylor]: Taking taylor expansion of 0.5 in x
0.821 * [backup-simplify]: Simplify 0.5 into 0.5
0.821 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
0.821 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
0.821 * [taylor]: Taking taylor expansion of (+ x y) in x
0.821 * [taylor]: Taking taylor expansion of x in x
0.821 * [backup-simplify]: Simplify 0 into 0
0.821 * [backup-simplify]: Simplify 1 into 1
0.821 * [taylor]: Taking taylor expansion of y in x
0.821 * [backup-simplify]: Simplify y into y
0.821 * [taylor]: Taking taylor expansion of z in x
0.821 * [backup-simplify]: Simplify z into z
0.821 * [taylor]: Taking taylor expansion of t in x
0.821 * [backup-simplify]: Simplify t into t
0.821 * [backup-simplify]: Simplify (+ 0 y) into y
0.821 * [backup-simplify]: Simplify (- z) into (- z)
0.821 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
0.822 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
0.822 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
0.822 * [taylor]: Taking taylor expansion of 0.5 in x
0.822 * [backup-simplify]: Simplify 0.5 into 0.5
0.822 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
0.822 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
0.822 * [taylor]: Taking taylor expansion of (+ x y) in x
0.822 * [taylor]: Taking taylor expansion of x in x
0.822 * [backup-simplify]: Simplify 0 into 0
0.822 * [backup-simplify]: Simplify 1 into 1
0.822 * [taylor]: Taking taylor expansion of y in x
0.822 * [backup-simplify]: Simplify y into y
0.822 * [taylor]: Taking taylor expansion of z in x
0.822 * [backup-simplify]: Simplify z into z
0.822 * [taylor]: Taking taylor expansion of t in x
0.822 * [backup-simplify]: Simplify t into t
0.822 * [backup-simplify]: Simplify (+ 0 y) into y
0.822 * [backup-simplify]: Simplify (- z) into (- z)
0.822 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
0.822 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
0.823 * [backup-simplify]: Simplify (* 0.5 (/ (- y z) t)) into (* 0.5 (/ (- y z) t))
0.823 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y z) t)) in y
0.823 * [taylor]: Taking taylor expansion of 0.5 in y
0.823 * [backup-simplify]: Simplify 0.5 into 0.5
0.823 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
0.823 * [taylor]: Taking taylor expansion of (- y z) in y
0.823 * [taylor]: Taking taylor expansion of y in y
0.823 * [backup-simplify]: Simplify 0 into 0
0.823 * [backup-simplify]: Simplify 1 into 1
0.823 * [taylor]: Taking taylor expansion of z in y
0.823 * [backup-simplify]: Simplify z into z
0.823 * [taylor]: Taking taylor expansion of t in y
0.823 * [backup-simplify]: Simplify t into t
0.823 * [backup-simplify]: Simplify (- z) into (- z)
0.823 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
0.823 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t))
0.823 * [backup-simplify]: Simplify (* 0.5 (* -1 (/ z t))) into (* -0.5 (/ z t))
0.823 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in z
0.823 * [taylor]: Taking taylor expansion of -0.5 in z
0.823 * [backup-simplify]: Simplify -0.5 into -0.5
0.823 * [taylor]: Taking taylor expansion of (/ z t) in z
0.823 * [taylor]: Taking taylor expansion of z in z
0.823 * [backup-simplify]: Simplify 0 into 0
0.823 * [backup-simplify]: Simplify 1 into 1
0.823 * [taylor]: Taking taylor expansion of t in z
0.823 * [backup-simplify]: Simplify t into t
0.823 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.824 * [backup-simplify]: Simplify (+ 1 0) into 1
0.825 * [backup-simplify]: Simplify (- 0) into 0
0.825 * [backup-simplify]: Simplify (+ 1 0) into 1
0.825 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t)
0.826 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ (- y z) t))) into (* 0.5 (/ 1 t))
0.826 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
0.826 * [taylor]: Taking taylor expansion of 0.5 in y
0.826 * [backup-simplify]: Simplify 0.5 into 0.5
0.826 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.826 * [taylor]: Taking taylor expansion of t in y
0.826 * [backup-simplify]: Simplify t into t
0.826 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.826 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
0.826 * [taylor]: Taking taylor expansion of (/ 0.5 t) in z
0.826 * [taylor]: Taking taylor expansion of 0.5 in z
0.826 * [backup-simplify]: Simplify 0.5 into 0.5
0.826 * [taylor]: Taking taylor expansion of t in z
0.826 * [backup-simplify]: Simplify t into t
0.826 * [backup-simplify]: Simplify (/ 0.5 t) into (/ 0.5 t)
0.826 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
0.826 * [taylor]: Taking taylor expansion of 0.5 in t
0.826 * [backup-simplify]: Simplify 0.5 into 0.5
0.826 * [taylor]: Taking taylor expansion of t in t
0.826 * [backup-simplify]: Simplify 0 into 0
0.826 * [backup-simplify]: Simplify 1 into 1
0.827 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
0.827 * [backup-simplify]: Simplify 0.5 into 0.5
0.828 * [backup-simplify]: Simplify (- 0) into 0
0.828 * [backup-simplify]: Simplify (+ 1 0) into 1
0.828 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t)
0.829 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (* -1 (/ z t)))) into (* 0.5 (/ 1 t))
0.829 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in z
0.829 * [taylor]: Taking taylor expansion of 0.5 in z
0.829 * [backup-simplify]: Simplify 0.5 into 0.5
0.829 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.829 * [taylor]: Taking taylor expansion of t in z
0.829 * [backup-simplify]: Simplify t into t
0.829 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.829 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
0.829 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
0.829 * [taylor]: Taking taylor expansion of 0.5 in t
0.829 * [backup-simplify]: Simplify 0.5 into 0.5
0.829 * [taylor]: Taking taylor expansion of t in t
0.829 * [backup-simplify]: Simplify 0 into 0
0.829 * [backup-simplify]: Simplify 1 into 1
0.830 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
0.830 * [backup-simplify]: Simplify 0.5 into 0.5
0.830 * [backup-simplify]: Simplify (* -0.5 (/ 1 t)) into (/ -0.5 t)
0.830 * [taylor]: Taking taylor expansion of (/ -0.5 t) in t
0.830 * [taylor]: Taking taylor expansion of -0.5 in t
0.830 * [backup-simplify]: Simplify -0.5 into -0.5
0.830 * [taylor]: Taking taylor expansion of t in t
0.830 * [backup-simplify]: Simplify 0 into 0
0.830 * [backup-simplify]: Simplify 1 into 1
0.830 * [backup-simplify]: Simplify (/ -0.5 1) into -0.5
0.830 * [backup-simplify]: Simplify -0.5 into -0.5
0.831 * [backup-simplify]: Simplify (+ (* -0.5 (* (/ 1 t) (* z (* 1 1)))) (+ (* 0.5 (* (/ 1 t) (* 1 (* y 1)))) (* 0.5 (* (/ 1 t) (* 1 (* 1 x)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
0.832 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))))
0.832 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (x y z t) around 0
0.832 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
0.832 * [taylor]: Taking taylor expansion of 0.5 in t
0.832 * [backup-simplify]: Simplify 0.5 into 0.5
0.832 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
0.832 * [taylor]: Taking taylor expansion of t in t
0.832 * [backup-simplify]: Simplify 0 into 0
0.832 * [backup-simplify]: Simplify 1 into 1
0.832 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
0.832 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.832 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.832 * [taylor]: Taking taylor expansion of y in t
0.832 * [backup-simplify]: Simplify y into y
0.832 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.832 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.832 * [taylor]: Taking taylor expansion of x in t
0.832 * [backup-simplify]: Simplify x into x
0.832 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.832 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.833 * [taylor]: Taking taylor expansion of z in t
0.833 * [backup-simplify]: Simplify z into z
0.833 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.833 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
0.833 * [taylor]: Taking taylor expansion of 0.5 in z
0.833 * [backup-simplify]: Simplify 0.5 into 0.5
0.833 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
0.833 * [taylor]: Taking taylor expansion of t in z
0.833 * [backup-simplify]: Simplify t into t
0.833 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
0.833 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.833 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.833 * [taylor]: Taking taylor expansion of y in z
0.833 * [backup-simplify]: Simplify y into y
0.833 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.833 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.833 * [taylor]: Taking taylor expansion of x in z
0.833 * [backup-simplify]: Simplify x into x
0.833 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.833 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.833 * [taylor]: Taking taylor expansion of z in z
0.833 * [backup-simplify]: Simplify 0 into 0
0.833 * [backup-simplify]: Simplify 1 into 1
0.834 * [backup-simplify]: Simplify (/ 1 1) into 1
0.834 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
0.834 * [taylor]: Taking taylor expansion of 0.5 in y
0.834 * [backup-simplify]: Simplify 0.5 into 0.5
0.834 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
0.834 * [taylor]: Taking taylor expansion of t in y
0.834 * [backup-simplify]: Simplify t into t
0.834 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
0.834 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.834 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.834 * [taylor]: Taking taylor expansion of y in y
0.834 * [backup-simplify]: Simplify 0 into 0
0.834 * [backup-simplify]: Simplify 1 into 1
0.834 * [backup-simplify]: Simplify (/ 1 1) into 1
0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.834 * [taylor]: Taking taylor expansion of x in y
0.835 * [backup-simplify]: Simplify x into x
0.835 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.835 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.835 * [taylor]: Taking taylor expansion of z in y
0.835 * [backup-simplify]: Simplify z into z
0.835 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.835 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
0.835 * [taylor]: Taking taylor expansion of 0.5 in x
0.835 * [backup-simplify]: Simplify 0.5 into 0.5
0.835 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
0.835 * [taylor]: Taking taylor expansion of t in x
0.835 * [backup-simplify]: Simplify t into t
0.835 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
0.835 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.835 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.835 * [taylor]: Taking taylor expansion of y in x
0.835 * [backup-simplify]: Simplify y into y
0.835 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.835 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [backup-simplify]: Simplify 0 into 0
0.835 * [backup-simplify]: Simplify 1 into 1
0.836 * [backup-simplify]: Simplify (/ 1 1) into 1
0.836 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.836 * [taylor]: Taking taylor expansion of z in x
0.836 * [backup-simplify]: Simplify z into z
0.836 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.836 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
0.836 * [taylor]: Taking taylor expansion of 0.5 in x
0.836 * [backup-simplify]: Simplify 0.5 into 0.5
0.836 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
0.836 * [taylor]: Taking taylor expansion of t in x
0.836 * [backup-simplify]: Simplify t into t
0.836 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
0.836 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.836 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.836 * [taylor]: Taking taylor expansion of y in x
0.836 * [backup-simplify]: Simplify y into y
0.836 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.836 * [taylor]: Taking taylor expansion of x in x
0.836 * [backup-simplify]: Simplify 0 into 0
0.836 * [backup-simplify]: Simplify 1 into 1
0.837 * [backup-simplify]: Simplify (/ 1 1) into 1
0.837 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.837 * [taylor]: Taking taylor expansion of z in x
0.837 * [backup-simplify]: Simplify z into z
0.837 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.837 * [backup-simplify]: Simplify (+ 0 1) into 1
0.838 * [backup-simplify]: Simplify (+ 1 0) into 1
0.838 * [backup-simplify]: Simplify (* t 1) into t
0.838 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.838 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
0.838 * [taylor]: Taking taylor expansion of 0.5 in y
0.838 * [backup-simplify]: Simplify 0.5 into 0.5
0.838 * [taylor]: Taking taylor expansion of t in y
0.838 * [backup-simplify]: Simplify t into t
0.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.839 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.839 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.839 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
0.840 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z))
0.840 * [backup-simplify]: Simplify (+ (* 0.5 (- (/ t y) (/ t z))) (* 0 t)) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
0.840 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
0.840 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
0.840 * [taylor]: Taking taylor expansion of 0.5 in y
0.840 * [backup-simplify]: Simplify 0.5 into 0.5
0.840 * [taylor]: Taking taylor expansion of (/ t y) in y
0.840 * [taylor]: Taking taylor expansion of t in y
0.840 * [backup-simplify]: Simplify t into t
0.840 * [taylor]: Taking taylor expansion of y in y
0.840 * [backup-simplify]: Simplify 0 into 0
0.840 * [backup-simplify]: Simplify 1 into 1
0.840 * [backup-simplify]: Simplify (/ t 1) into t
0.840 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
0.840 * [taylor]: Taking taylor expansion of 0.5 in y
0.840 * [backup-simplify]: Simplify 0.5 into 0.5
0.840 * [taylor]: Taking taylor expansion of (/ t z) in y
0.840 * [taylor]: Taking taylor expansion of t in y
0.841 * [backup-simplify]: Simplify t into t
0.841 * [taylor]: Taking taylor expansion of z in y
0.841 * [backup-simplify]: Simplify z into z
0.841 * [backup-simplify]: Simplify (/ t z) into (/ t z)
0.841 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.841 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
0.841 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.841 * [taylor]: Taking taylor expansion of 0.5 in z
0.841 * [backup-simplify]: Simplify 0.5 into 0.5
0.841 * [taylor]: Taking taylor expansion of t in z
0.841 * [backup-simplify]: Simplify t into t
0.841 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.841 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.841 * [taylor]: Taking taylor expansion of 0.5 in z
0.841 * [backup-simplify]: Simplify 0.5 into 0.5
0.841 * [taylor]: Taking taylor expansion of t in z
0.841 * [backup-simplify]: Simplify t into t
0.841 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.843 * [backup-simplify]: Simplify (+ 0 0) into 0
0.843 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.843 * [backup-simplify]: Simplify (- 0) into 0
0.844 * [backup-simplify]: Simplify (+ 0 0) into 0
0.844 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0
0.845 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t))) into 0
0.845 * [taylor]: Taking taylor expansion of 0 in y
0.845 * [backup-simplify]: Simplify 0 into 0
0.846 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.847 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.847 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
0.847 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
0.847 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
0.847 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
0.847 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
0.847 * [taylor]: Taking taylor expansion of 0.5 in z
0.847 * [backup-simplify]: Simplify 0.5 into 0.5
0.847 * [taylor]: Taking taylor expansion of (/ t z) in z
0.847 * [taylor]: Taking taylor expansion of t in z
0.847 * [backup-simplify]: Simplify t into t
0.847 * [taylor]: Taking taylor expansion of z in z
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 1 into 1
0.848 * [backup-simplify]: Simplify (/ t 1) into t
0.848 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.848 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
0.848 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
0.848 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.848 * [taylor]: Taking taylor expansion of 0.5 in t
0.848 * [backup-simplify]: Simplify 0.5 into 0.5
0.848 * [taylor]: Taking taylor expansion of t in t
0.848 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify 1 into 1
0.849 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.849 * [backup-simplify]: Simplify (- 0) into 0
0.849 * [backup-simplify]: Simplify 0 into 0
0.849 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.850 * [taylor]: Taking taylor expansion of 0 in z
0.850 * [backup-simplify]: Simplify 0 into 0
0.850 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.850 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.850 * [taylor]: Taking taylor expansion of 0.5 in t
0.850 * [backup-simplify]: Simplify 0.5 into 0.5
0.850 * [taylor]: Taking taylor expansion of t in t
0.850 * [backup-simplify]: Simplify 0 into 0
0.850 * [backup-simplify]: Simplify 1 into 1
0.850 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.850 * [backup-simplify]: Simplify 0 into 0
0.850 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.850 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.850 * [taylor]: Taking taylor expansion of 0.5 in t
0.851 * [backup-simplify]: Simplify 0.5 into 0.5
0.851 * [taylor]: Taking taylor expansion of t in t
0.851 * [backup-simplify]: Simplify 0 into 0
0.851 * [backup-simplify]: Simplify 1 into 1
0.855 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.855 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.857 * [backup-simplify]: Simplify (+ 0 0) into 0
0.857 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.858 * [backup-simplify]: Simplify (- 0) into 0
0.858 * [backup-simplify]: Simplify (+ 0 0) into 0
0.859 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0
0.860 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t)))) into 0
0.860 * [taylor]: Taking taylor expansion of 0 in y
0.860 * [backup-simplify]: Simplify 0 into 0
0.860 * [taylor]: Taking taylor expansion of 0 in z
0.860 * [backup-simplify]: Simplify 0 into 0
0.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.863 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.863 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
0.863 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
0.864 * [backup-simplify]: Simplify (- 0) into 0
0.864 * [backup-simplify]: Simplify (+ 0 0) into 0
0.864 * [taylor]: Taking taylor expansion of 0 in z
0.864 * [backup-simplify]: Simplify 0 into 0
0.865 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.865 * [taylor]: Taking taylor expansion of 0 in z
0.865 * [backup-simplify]: Simplify 0 into 0
0.866 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.866 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.867 * [backup-simplify]: Simplify (- 0) into 0
0.867 * [taylor]: Taking taylor expansion of 0 in t
0.867 * [backup-simplify]: Simplify 0 into 0
0.867 * [backup-simplify]: Simplify 0 into 0
0.867 * [taylor]: Taking taylor expansion of 0 in t
0.867 * [backup-simplify]: Simplify 0 into 0
0.867 * [backup-simplify]: Simplify 0 into 0
0.867 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.867 * [taylor]: Taking taylor expansion of 0 in t
0.867 * [backup-simplify]: Simplify 0 into 0
0.867 * [backup-simplify]: Simplify 0 into 0
0.868 * [backup-simplify]: Simplify 0 into 0
0.868 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (* (/ 1 (- t)) 2.0)) into (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))
0.868 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
0.868 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
0.868 * [taylor]: Taking taylor expansion of -0.5 in t
0.868 * [backup-simplify]: Simplify -0.5 into -0.5
0.868 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
0.868 * [taylor]: Taking taylor expansion of t in t
0.868 * [backup-simplify]: Simplify 0 into 0
0.868 * [backup-simplify]: Simplify 1 into 1
0.868 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
0.868 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.868 * [taylor]: Taking taylor expansion of z in t
0.868 * [backup-simplify]: Simplify z into z
0.868 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.868 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.869 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.869 * [taylor]: Taking taylor expansion of y in t
0.869 * [backup-simplify]: Simplify y into y
0.869 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.869 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.869 * [taylor]: Taking taylor expansion of x in t
0.869 * [backup-simplify]: Simplify x into x
0.869 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.869 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
0.869 * [taylor]: Taking taylor expansion of -0.5 in z
0.869 * [backup-simplify]: Simplify -0.5 into -0.5
0.869 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
0.869 * [taylor]: Taking taylor expansion of t in z
0.869 * [backup-simplify]: Simplify t into t
0.869 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
0.869 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.869 * [taylor]: Taking taylor expansion of z in z
0.869 * [backup-simplify]: Simplify 0 into 0
0.869 * [backup-simplify]: Simplify 1 into 1
0.870 * [backup-simplify]: Simplify (/ 1 1) into 1
0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.870 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.870 * [taylor]: Taking taylor expansion of y in z
0.870 * [backup-simplify]: Simplify y into y
0.870 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.870 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.870 * [taylor]: Taking taylor expansion of x in z
0.870 * [backup-simplify]: Simplify x into x
0.870 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.870 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
0.870 * [taylor]: Taking taylor expansion of -0.5 in y
0.870 * [backup-simplify]: Simplify -0.5 into -0.5
0.870 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
0.870 * [taylor]: Taking taylor expansion of t in y
0.870 * [backup-simplify]: Simplify t into t
0.870 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
0.870 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.870 * [taylor]: Taking taylor expansion of z in y
0.870 * [backup-simplify]: Simplify z into z
0.870 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.870 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.870 * [taylor]: Taking taylor expansion of y in y
0.870 * [backup-simplify]: Simplify 0 into 0
0.870 * [backup-simplify]: Simplify 1 into 1
0.871 * [backup-simplify]: Simplify (/ 1 1) into 1
0.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.871 * [taylor]: Taking taylor expansion of x in y
0.871 * [backup-simplify]: Simplify x into x
0.871 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.871 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
0.871 * [taylor]: Taking taylor expansion of -0.5 in x
0.871 * [backup-simplify]: Simplify -0.5 into -0.5
0.871 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.871 * [taylor]: Taking taylor expansion of t in x
0.871 * [backup-simplify]: Simplify t into t
0.871 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.871 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.871 * [taylor]: Taking taylor expansion of z in x
0.871 * [backup-simplify]: Simplify z into z
0.871 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.871 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.871 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.871 * [taylor]: Taking taylor expansion of y in x
0.871 * [backup-simplify]: Simplify y into y
0.872 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.872 * [backup-simplify]: Simplify 0 into 0
0.872 * [backup-simplify]: Simplify 1 into 1
0.872 * [backup-simplify]: Simplify (/ 1 1) into 1
0.872 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
0.872 * [taylor]: Taking taylor expansion of -0.5 in x
0.872 * [backup-simplify]: Simplify -0.5 into -0.5
0.872 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.872 * [taylor]: Taking taylor expansion of t in x
0.872 * [backup-simplify]: Simplify t into t
0.872 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.872 * [taylor]: Taking taylor expansion of z in x
0.872 * [backup-simplify]: Simplify z into z
0.872 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.872 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.873 * [taylor]: Taking taylor expansion of y in x
0.873 * [backup-simplify]: Simplify y into y
0.873 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.873 * [taylor]: Taking taylor expansion of x in x
0.873 * [backup-simplify]: Simplify 0 into 0
0.873 * [backup-simplify]: Simplify 1 into 1
0.873 * [backup-simplify]: Simplify (/ 1 1) into 1
0.874 * [backup-simplify]: Simplify (+ 0 1) into 1
0.874 * [backup-simplify]: Simplify (- 1) into -1
0.874 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.874 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
0.875 * [backup-simplify]: Simplify (* -0.5 (* -1 t)) into (* 0.5 t)
0.875 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
0.875 * [taylor]: Taking taylor expansion of 0.5 in y
0.875 * [backup-simplify]: Simplify 0.5 into 0.5
0.875 * [taylor]: Taking taylor expansion of t in y
0.875 * [backup-simplify]: Simplify t into t
0.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.876 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.876 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.876 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
0.876 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y))
0.877 * [backup-simplify]: Simplify (+ (* -0.5 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
0.877 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
0.877 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
0.877 * [taylor]: Taking taylor expansion of 0.5 in y
0.877 * [backup-simplify]: Simplify 0.5 into 0.5
0.877 * [taylor]: Taking taylor expansion of (/ t y) in y
0.877 * [taylor]: Taking taylor expansion of t in y
0.877 * [backup-simplify]: Simplify t into t
0.877 * [taylor]: Taking taylor expansion of y in y
0.877 * [backup-simplify]: Simplify 0 into 0
0.877 * [backup-simplify]: Simplify 1 into 1
0.877 * [backup-simplify]: Simplify (/ t 1) into t
0.877 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
0.877 * [taylor]: Taking taylor expansion of 0.5 in y
0.877 * [backup-simplify]: Simplify 0.5 into 0.5
0.877 * [taylor]: Taking taylor expansion of (/ t z) in y
0.877 * [taylor]: Taking taylor expansion of t in y
0.877 * [backup-simplify]: Simplify t into t
0.877 * [taylor]: Taking taylor expansion of z in y
0.877 * [backup-simplify]: Simplify z into z
0.877 * [backup-simplify]: Simplify (/ t z) into (/ t z)
0.878 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.878 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
0.878 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.878 * [taylor]: Taking taylor expansion of 0.5 in z
0.878 * [backup-simplify]: Simplify 0.5 into 0.5
0.878 * [taylor]: Taking taylor expansion of t in z
0.878 * [backup-simplify]: Simplify t into t
0.878 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.878 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.878 * [taylor]: Taking taylor expansion of 0.5 in z
0.878 * [backup-simplify]: Simplify 0.5 into 0.5
0.878 * [taylor]: Taking taylor expansion of t in z
0.878 * [backup-simplify]: Simplify t into t
0.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.878 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.880 * [backup-simplify]: Simplify (+ 0 0) into 0
0.880 * [backup-simplify]: Simplify (- 0) into 0
0.880 * [backup-simplify]: Simplify (+ 0 0) into 0
0.881 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0
0.882 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0
0.882 * [taylor]: Taking taylor expansion of 0 in y
0.882 * [backup-simplify]: Simplify 0 into 0
0.883 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.884 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.884 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
0.884 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
0.884 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
0.884 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
0.884 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
0.884 * [taylor]: Taking taylor expansion of 0.5 in z
0.884 * [backup-simplify]: Simplify 0.5 into 0.5
0.884 * [taylor]: Taking taylor expansion of (/ t z) in z
0.884 * [taylor]: Taking taylor expansion of t in z
0.884 * [backup-simplify]: Simplify t into t
0.884 * [taylor]: Taking taylor expansion of z in z
0.884 * [backup-simplify]: Simplify 0 into 0
0.884 * [backup-simplify]: Simplify 1 into 1
0.884 * [backup-simplify]: Simplify (/ t 1) into t
0.885 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.885 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
0.885 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
0.885 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.885 * [taylor]: Taking taylor expansion of 0.5 in t
0.885 * [backup-simplify]: Simplify 0.5 into 0.5
0.885 * [taylor]: Taking taylor expansion of t in t
0.885 * [backup-simplify]: Simplify 0 into 0
0.885 * [backup-simplify]: Simplify 1 into 1
0.885 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.886 * [backup-simplify]: Simplify (- 0) into 0
0.886 * [backup-simplify]: Simplify 0 into 0
0.886 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.886 * [taylor]: Taking taylor expansion of 0 in z
0.886 * [backup-simplify]: Simplify 0 into 0
0.886 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.886 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.886 * [taylor]: Taking taylor expansion of 0.5 in t
0.886 * [backup-simplify]: Simplify 0.5 into 0.5
0.887 * [taylor]: Taking taylor expansion of t in t
0.887 * [backup-simplify]: Simplify 0 into 0
0.887 * [backup-simplify]: Simplify 1 into 1
0.887 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.887 * [backup-simplify]: Simplify 0 into 0
0.887 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.887 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.887 * [taylor]: Taking taylor expansion of 0.5 in t
0.887 * [backup-simplify]: Simplify 0.5 into 0.5
0.887 * [taylor]: Taking taylor expansion of t in t
0.887 * [backup-simplify]: Simplify 0 into 0
0.887 * [backup-simplify]: Simplify 1 into 1
0.888 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.888 * [backup-simplify]: Simplify 0 into 0
0.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.888 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.889 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.889 * [backup-simplify]: Simplify (+ 0 0) into 0
0.890 * [backup-simplify]: Simplify (- 0) into 0
0.890 * [backup-simplify]: Simplify (+ 0 0) into 0
0.891 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0
0.892 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0
0.892 * [taylor]: Taking taylor expansion of 0 in y
0.892 * [backup-simplify]: Simplify 0 into 0
0.892 * [taylor]: Taking taylor expansion of 0 in z
0.892 * [backup-simplify]: Simplify 0 into 0
0.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.894 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.894 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
0.895 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
0.895 * [backup-simplify]: Simplify (- 0) into 0
0.896 * [backup-simplify]: Simplify (+ 0 0) into 0
0.896 * [taylor]: Taking taylor expansion of 0 in z
0.896 * [backup-simplify]: Simplify 0 into 0
0.897 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.897 * [taylor]: Taking taylor expansion of 0 in z
0.897 * [backup-simplify]: Simplify 0 into 0
0.897 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.898 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.898 * [backup-simplify]: Simplify (- 0) into 0
0.898 * [taylor]: Taking taylor expansion of 0 in t
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [taylor]: Taking taylor expansion of 0 in t
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify 0 into 0
0.899 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.899 * [taylor]: Taking taylor expansion of 0 in t
0.899 * [backup-simplify]: Simplify 0 into 0
0.899 * [backup-simplify]: Simplify 0 into 0
0.899 * [backup-simplify]: Simplify 0 into 0
0.899 * * * [progress]: simplifying candidates
0.900 * [simplify]: Simplifying:
  (- (log (- (+ x y) z)) (+ (log t) (log 2.0)))
  (- (log (- (+ x y) z)) (log (* t 2.0)))
  (log (/ (- (+ x y) z) (* t 2.0)))
  (exp (/ (- (+ x y) z) (* t 2.0)))
  (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t t) t) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* (* t 2.0) (* t 2.0)) (* t 2.0)))
  (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0))))
  (cbrt (/ (- (+ x y) z) (* t 2.0)))
  (* (* (/ (- (+ x y) z) (* t 2.0)) (/ (- (+ x y) z) (* t 2.0))) (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (- (- (+ x y) z))
  (- (* t 2.0))
  (/ (+ x y) (* t 2.0))
  (/ z (* t 2.0))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t)
  (/ (cbrt (- (+ x y) z)) 2.0)
  (/ (sqrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ (+ (sqrt (+ x y)) (sqrt z)) t)
  (/ (- (sqrt (+ x y)) (sqrt z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (- (+ x y) z) t)
  (/ (* t 2.0) (cbrt (- (+ x y) z)))
  (/ (* t 2.0) (sqrt (- (+ x y) z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (+ x y) z))
  (* (* t 2.0) (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z))))
  (* (* t 2.0) (+ (+ x y) z))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  0
  0
0.902 * * [simplify]: Extracting # 0 : cost  0
0.902 * * [simplify]: Extracting # 1 : cost  0
0.902 * * [simplify]: Extracting # 2 : cost  0
0.903 * * [simplify]: Extracting # 3 : cost  0
0.903 * * [simplify]: Extracting # 4 : cost  0
0.903 * * [simplify]: Extracting # 5 : cost  0
0.903 * * [simplify]: Extracting # 6 : cost  0
0.903 * * [simplify]: iteration  0 :  78  enodes  (cost  418 )
0.935 * * [simplify]: Extracting # 0 : cost  0
0.935 * * [simplify]: Extracting # 1 : cost  0
0.936 * * [simplify]: Extracting # 2 : cost  0
0.936 * * [simplify]: Extracting # 3 : cost  0
0.937 * * [simplify]: iteration  1 :  201  enodes  (cost  411 )
1.049 * * [simplify]: Extracting # 0 : cost  0
1.051 * * [simplify]: Extracting # 1 : cost  0
1.053 * * [simplify]: Extracting # 2 : cost  0
1.054 * * [simplify]: Extracting # 3 : cost  0
1.056 * * [simplify]: Extracting # 4 : cost  0
1.057 * * [simplify]: iteration  2 :  703  enodes  (cost  355 )
1.744 * * [simplify]: Extracting # 0 : cost  0
1.751 * * [simplify]: Extracting # 1 : cost  0
1.754 * * [simplify]: Extracting # 2 : cost  0
1.757 * * [simplify]: Extracting # 3 : cost  0
1.760 * * [simplify]: iteration  3 :  3190  enodes  (cost  353 )
2.988 * * [simplify]: Extracting # 0 : cost  0
3.000 * * [simplify]: Extracting # 1 : cost  0
3.010 * * [simplify]: Extracting # 2 : cost  0
3.025 * * [simplify]: Extracting # 3 : cost  0
3.030 * * [simplify]: Extracting # 4 : cost  0
3.035 * * [simplify]: Extracting # 5 : cost  0
3.040 * * [simplify]: iteration done:  5000  enodes  (cost  353 )
3.041 * [simplify]: Simplified to:
  (log (/ (- (+ x y) z) (* t 2.0)))
  (log (/ (- (+ x y) z) (* t 2.0)))
  (log (/ (- (+ x y) z) (* t 2.0)))
  (exp (/ (- (+ x y) z) (* t 2.0)))
  (pow (/ (- (+ x y) z) (* t 2.0)) 3)
  (pow (/ (- (+ x y) z) (* t 2.0)) 3)
  (* (cbrt (/ (- (+ x y) z) (* t 2.0))) (cbrt (/ (- (+ x y) z) (* t 2.0))))
  (cbrt (/ (- (+ x y) z) (* t 2.0)))
  (pow (/ (- (+ x y) z) (* t 2.0)) 3)
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (sqrt (/ (- (+ x y) z) (* t 2.0)))
  (- (- (+ x y) z))
  (- (* t 2.0))
  (/ (+ x y) (* t 2.0))
  (/ z (* t 2.0))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) t)
  (/ (cbrt (- (+ x y) z)) 2.0)
  (/ (sqrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ (+ (sqrt (+ x y)) (sqrt z)) t)
  (/ (- (sqrt (+ x y)) (sqrt z)) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 t)
  (/ (- (+ x y) z) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (- (+ x y) z) t)
  (/ (* t 2.0) (cbrt (- (+ x y) z)))
  (/ (* t 2.0) (sqrt (- (+ x y) z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (sqrt (+ x y)) (sqrt z)))
  (/ (* t 2.0) (- (+ x y) z))
  (/ (* t 2.0) (- (+ x y) z))
  (* t (* 2.0 (+ (* z z) (* (+ x y) (+ (+ x y) z)))))
  (* (* t 2.0) (+ (+ x y) z))
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
  0
  0
3.041 * * * [progress]: adding candidates to table
3.106 * * [progress]: iteration 2 / 4
3.106 * * * [progress]: picking best candidate
3.109 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>
3.109 * * * [progress]: localizing error
3.125 * * * [progress]: generating rewritten candidates
3.125 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
3.154 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.401 * * * [progress]: generating series expansions
3.402 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
3.402 * [backup-simplify]: Simplify (+ (/ y t) (/ x t)) into (+ (/ y t) (/ x t))
3.402 * [approximate]: Taking taylor expansion of (+ (/ y t) (/ x t)) in (y t x) around 0
3.402 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in x
3.402 * [taylor]: Taking taylor expansion of (/ y t) in x
3.402 * [taylor]: Taking taylor expansion of y in x
3.402 * [backup-simplify]: Simplify y into y
3.402 * [taylor]: Taking taylor expansion of t in x
3.402 * [backup-simplify]: Simplify t into t
3.402 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.402 * [taylor]: Taking taylor expansion of (/ x t) in x
3.402 * [taylor]: Taking taylor expansion of x in x
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 1 into 1
3.402 * [taylor]: Taking taylor expansion of t in x
3.402 * [backup-simplify]: Simplify t into t
3.402 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.402 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in t
3.402 * [taylor]: Taking taylor expansion of (/ y t) in t
3.402 * [taylor]: Taking taylor expansion of y in t
3.402 * [backup-simplify]: Simplify y into y
3.402 * [taylor]: Taking taylor expansion of t in t
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 1 into 1
3.402 * [backup-simplify]: Simplify (/ y 1) into y
3.402 * [taylor]: Taking taylor expansion of (/ x t) in t
3.402 * [taylor]: Taking taylor expansion of x in t
3.402 * [backup-simplify]: Simplify x into x
3.402 * [taylor]: Taking taylor expansion of t in t
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 1 into 1
3.402 * [backup-simplify]: Simplify (/ x 1) into x
3.402 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y
3.402 * [taylor]: Taking taylor expansion of (/ y t) in y
3.402 * [taylor]: Taking taylor expansion of y in y
3.402 * [backup-simplify]: Simplify 0 into 0
3.402 * [backup-simplify]: Simplify 1 into 1
3.402 * [taylor]: Taking taylor expansion of t in y
3.402 * [backup-simplify]: Simplify t into t
3.402 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.402 * [taylor]: Taking taylor expansion of (/ x t) in y
3.402 * [taylor]: Taking taylor expansion of x in y
3.403 * [backup-simplify]: Simplify x into x
3.403 * [taylor]: Taking taylor expansion of t in y
3.403 * [backup-simplify]: Simplify t into t
3.403 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.403 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y
3.403 * [taylor]: Taking taylor expansion of (/ y t) in y
3.403 * [taylor]: Taking taylor expansion of y in y
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 1 into 1
3.403 * [taylor]: Taking taylor expansion of t in y
3.403 * [backup-simplify]: Simplify t into t
3.403 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.403 * [taylor]: Taking taylor expansion of (/ x t) in y
3.403 * [taylor]: Taking taylor expansion of x in y
3.403 * [backup-simplify]: Simplify x into x
3.403 * [taylor]: Taking taylor expansion of t in y
3.403 * [backup-simplify]: Simplify t into t
3.403 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.403 * [backup-simplify]: Simplify (+ 0 (/ x t)) into (/ x t)
3.403 * [taylor]: Taking taylor expansion of (/ x t) in t
3.403 * [taylor]: Taking taylor expansion of x in t
3.403 * [backup-simplify]: Simplify x into x
3.403 * [taylor]: Taking taylor expansion of t in t
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 1 into 1
3.403 * [backup-simplify]: Simplify (/ x 1) into x
3.403 * [taylor]: Taking taylor expansion of x in x
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 1 into 1
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)))) into 0
3.403 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
3.403 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.403 * [taylor]: Taking taylor expansion of t in t
3.403 * [backup-simplify]: Simplify 0 into 0
3.403 * [backup-simplify]: Simplify 1 into 1
3.404 * [backup-simplify]: Simplify (/ 1 1) into 1
3.404 * [taylor]: Taking taylor expansion of 1 in x
3.404 * [backup-simplify]: Simplify 1 into 1
3.404 * [backup-simplify]: Simplify 1 into 1
3.404 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
3.404 * [taylor]: Taking taylor expansion of 0 in x
3.404 * [backup-simplify]: Simplify 0 into 0
3.404 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify 1 into 1
3.405 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
3.405 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.405 * [backup-simplify]: Simplify (+ 0 0) into 0
3.405 * [taylor]: Taking taylor expansion of 0 in t
3.405 * [backup-simplify]: Simplify 0 into 0
3.405 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.405 * [taylor]: Taking taylor expansion of 0 in x
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.406 * [taylor]: Taking taylor expansion of 0 in x
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.406 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.407 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.407 * [backup-simplify]: Simplify (+ 0 0) into 0
3.407 * [taylor]: Taking taylor expansion of 0 in t
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [taylor]: Taking taylor expansion of 0 in x
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify 0 into 0
3.407 * [backup-simplify]: Simplify (+ (* 1 (* x (* (/ 1 t) 1))) (* 1 (* 1 (* (/ 1 t) y)))) into (+ (/ x t) (/ y t))
3.407 * [backup-simplify]: Simplify (+ (/ (/ 1 y) (/ 1 t)) (/ (/ 1 x) (/ 1 t))) into (+ (/ t y) (/ t x))
3.407 * [approximate]: Taking taylor expansion of (+ (/ t y) (/ t x)) in (y t x) around 0
3.408 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
3.408 * [taylor]: Taking taylor expansion of (/ t y) in x
3.408 * [taylor]: Taking taylor expansion of t in x
3.408 * [backup-simplify]: Simplify t into t
3.408 * [taylor]: Taking taylor expansion of y in x
3.408 * [backup-simplify]: Simplify y into y
3.408 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.408 * [taylor]: Taking taylor expansion of (/ t x) in x
3.408 * [taylor]: Taking taylor expansion of t in x
3.408 * [backup-simplify]: Simplify t into t
3.408 * [taylor]: Taking taylor expansion of x in x
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 1 into 1
3.408 * [backup-simplify]: Simplify (/ t 1) into t
3.408 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
3.408 * [taylor]: Taking taylor expansion of (/ t y) in t
3.408 * [taylor]: Taking taylor expansion of t in t
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 1 into 1
3.408 * [taylor]: Taking taylor expansion of y in t
3.408 * [backup-simplify]: Simplify y into y
3.408 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.408 * [taylor]: Taking taylor expansion of (/ t x) in t
3.408 * [taylor]: Taking taylor expansion of t in t
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 1 into 1
3.408 * [taylor]: Taking taylor expansion of x in t
3.408 * [backup-simplify]: Simplify x into x
3.408 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.408 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.408 * [taylor]: Taking taylor expansion of (/ t y) in y
3.408 * [taylor]: Taking taylor expansion of t in y
3.408 * [backup-simplify]: Simplify t into t
3.408 * [taylor]: Taking taylor expansion of y in y
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 1 into 1
3.408 * [backup-simplify]: Simplify (/ t 1) into t
3.408 * [taylor]: Taking taylor expansion of (/ t x) in y
3.408 * [taylor]: Taking taylor expansion of t in y
3.408 * [backup-simplify]: Simplify t into t
3.408 * [taylor]: Taking taylor expansion of x in y
3.408 * [backup-simplify]: Simplify x into x
3.408 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.408 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.408 * [taylor]: Taking taylor expansion of (/ t y) in y
3.408 * [taylor]: Taking taylor expansion of t in y
3.408 * [backup-simplify]: Simplify t into t
3.408 * [taylor]: Taking taylor expansion of y in y
3.408 * [backup-simplify]: Simplify 0 into 0
3.408 * [backup-simplify]: Simplify 1 into 1
3.408 * [backup-simplify]: Simplify (/ t 1) into t
3.408 * [taylor]: Taking taylor expansion of (/ t x) in y
3.408 * [taylor]: Taking taylor expansion of t in y
3.408 * [backup-simplify]: Simplify t into t
3.408 * [taylor]: Taking taylor expansion of x in y
3.408 * [backup-simplify]: Simplify x into x
3.409 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.409 * [backup-simplify]: Simplify (+ t 0) into t
3.409 * [taylor]: Taking taylor expansion of t in t
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 1 into 1
3.409 * [taylor]: Taking taylor expansion of 1 in x
3.409 * [backup-simplify]: Simplify 1 into 1
3.409 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.409 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x)
3.409 * [taylor]: Taking taylor expansion of (/ t x) in t
3.409 * [taylor]: Taking taylor expansion of t in t
3.409 * [backup-simplify]: Simplify 0 into 0
3.409 * [backup-simplify]: Simplify 1 into 1
3.409 * [taylor]: Taking taylor expansion of x in t
3.409 * [backup-simplify]: Simplify x into x
3.409 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.409 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.409 * [taylor]: Taking taylor expansion of x in x
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify 1 into 1
3.410 * [backup-simplify]: Simplify (/ 1 1) into 1
3.410 * [backup-simplify]: Simplify 1 into 1
3.410 * [taylor]: Taking taylor expansion of 0 in x
3.410 * [backup-simplify]: Simplify 0 into 0
3.410 * [backup-simplify]: Simplify 1 into 1
3.411 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.411 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0
3.411 * [backup-simplify]: Simplify (+ 0 0) into 0
3.411 * [taylor]: Taking taylor expansion of 0 in t
3.411 * [backup-simplify]: Simplify 0 into 0
3.411 * [taylor]: Taking taylor expansion of 0 in x
3.411 * [backup-simplify]: Simplify 0 into 0
3.411 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.411 * [taylor]: Taking taylor expansion of 0 in x
3.411 * [backup-simplify]: Simplify 0 into 0
3.411 * [taylor]: Taking taylor expansion of 0 in x
3.411 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 0 into 0
3.412 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.413 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.413 * [backup-simplify]: Simplify (+ 0 0) into 0
3.413 * [taylor]: Taking taylor expansion of 0 in t
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [taylor]: Taking taylor expansion of 0 in x
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [taylor]: Taking taylor expansion of 0 in x
3.413 * [backup-simplify]: Simplify 0 into 0
3.413 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.414 * [taylor]: Taking taylor expansion of 0 in x
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [taylor]: Taking taylor expansion of 0 in x
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 t) (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 t) 1)))) into (+ (/ y t) (/ x t))
3.414 * [backup-simplify]: Simplify (+ (/ (/ 1 (- y)) (/ 1 (- t))) (/ (/ 1 (- x)) (/ 1 (- t)))) into (+ (/ t y) (/ t x))
3.414 * [approximate]: Taking taylor expansion of (+ (/ t y) (/ t x)) in (y t x) around 0
3.414 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
3.414 * [taylor]: Taking taylor expansion of (/ t y) in x
3.414 * [taylor]: Taking taylor expansion of t in x
3.414 * [backup-simplify]: Simplify t into t
3.414 * [taylor]: Taking taylor expansion of y in x
3.414 * [backup-simplify]: Simplify y into y
3.414 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.414 * [taylor]: Taking taylor expansion of (/ t x) in x
3.414 * [taylor]: Taking taylor expansion of t in x
3.414 * [backup-simplify]: Simplify t into t
3.414 * [taylor]: Taking taylor expansion of x in x
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify 1 into 1
3.414 * [backup-simplify]: Simplify (/ t 1) into t
3.414 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
3.414 * [taylor]: Taking taylor expansion of (/ t y) in t
3.414 * [taylor]: Taking taylor expansion of t in t
3.414 * [backup-simplify]: Simplify 0 into 0
3.414 * [backup-simplify]: Simplify 1 into 1
3.414 * [taylor]: Taking taylor expansion of y in t
3.414 * [backup-simplify]: Simplify y into y
3.414 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.414 * [taylor]: Taking taylor expansion of (/ t x) in t
3.414 * [taylor]: Taking taylor expansion of t in t
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.415 * [taylor]: Taking taylor expansion of x in t
3.415 * [backup-simplify]: Simplify x into x
3.415 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.415 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.415 * [taylor]: Taking taylor expansion of (/ t y) in y
3.415 * [taylor]: Taking taylor expansion of t in y
3.415 * [backup-simplify]: Simplify t into t
3.415 * [taylor]: Taking taylor expansion of y in y
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.415 * [backup-simplify]: Simplify (/ t 1) into t
3.415 * [taylor]: Taking taylor expansion of (/ t x) in y
3.415 * [taylor]: Taking taylor expansion of t in y
3.415 * [backup-simplify]: Simplify t into t
3.415 * [taylor]: Taking taylor expansion of x in y
3.415 * [backup-simplify]: Simplify x into x
3.415 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.415 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.415 * [taylor]: Taking taylor expansion of (/ t y) in y
3.415 * [taylor]: Taking taylor expansion of t in y
3.415 * [backup-simplify]: Simplify t into t
3.415 * [taylor]: Taking taylor expansion of y in y
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.415 * [backup-simplify]: Simplify (/ t 1) into t
3.415 * [taylor]: Taking taylor expansion of (/ t x) in y
3.415 * [taylor]: Taking taylor expansion of t in y
3.415 * [backup-simplify]: Simplify t into t
3.415 * [taylor]: Taking taylor expansion of x in y
3.415 * [backup-simplify]: Simplify x into x
3.415 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.415 * [backup-simplify]: Simplify (+ t 0) into t
3.415 * [taylor]: Taking taylor expansion of t in t
3.415 * [backup-simplify]: Simplify 0 into 0
3.415 * [backup-simplify]: Simplify 1 into 1
3.415 * [taylor]: Taking taylor expansion of 1 in x
3.415 * [backup-simplify]: Simplify 1 into 1
3.416 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.416 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x)
3.416 * [taylor]: Taking taylor expansion of (/ t x) in t
3.416 * [taylor]: Taking taylor expansion of t in t
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 1 into 1
3.416 * [taylor]: Taking taylor expansion of x in t
3.416 * [backup-simplify]: Simplify x into x
3.416 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.416 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.416 * [taylor]: Taking taylor expansion of x in x
3.416 * [backup-simplify]: Simplify 0 into 0
3.416 * [backup-simplify]: Simplify 1 into 1
3.417 * [backup-simplify]: Simplify (/ 1 1) into 1
3.417 * [backup-simplify]: Simplify 1 into 1
3.417 * [taylor]: Taking taylor expansion of 0 in x
3.417 * [backup-simplify]: Simplify 0 into 0
3.417 * [backup-simplify]: Simplify 1 into 1
3.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.418 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0
3.418 * [backup-simplify]: Simplify (+ 0 0) into 0
3.418 * [taylor]: Taking taylor expansion of 0 in t
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [taylor]: Taking taylor expansion of 0 in x
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.418 * [taylor]: Taking taylor expansion of 0 in x
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [taylor]: Taking taylor expansion of 0 in x
3.418 * [backup-simplify]: Simplify 0 into 0
3.418 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 0 into 0
3.419 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.420 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.420 * [backup-simplify]: Simplify (+ 0 0) into 0
3.420 * [taylor]: Taking taylor expansion of 0 in t
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [taylor]: Taking taylor expansion of 0 in x
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [taylor]: Taking taylor expansion of 0 in x
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.420 * [taylor]: Taking taylor expansion of 0 in x
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [taylor]: Taking taylor expansion of 0 in x
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 0 into 0
3.420 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- t)) 1)))) into (+ (/ y t) (/ x t))
3.421 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.421 * [backup-simplify]: Simplify (- (+ (/ y t) (/ x t)) (/ z t)) into (- (+ (/ y t) (/ x t)) (/ z t))
3.421 * [approximate]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in (y t x z) around 0
3.421 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in z
3.421 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in z
3.421 * [taylor]: Taking taylor expansion of (/ y t) in z
3.421 * [taylor]: Taking taylor expansion of y in z
3.421 * [backup-simplify]: Simplify y into y
3.421 * [taylor]: Taking taylor expansion of t in z
3.421 * [backup-simplify]: Simplify t into t
3.421 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.421 * [taylor]: Taking taylor expansion of (/ x t) in z
3.421 * [taylor]: Taking taylor expansion of x in z
3.421 * [backup-simplify]: Simplify x into x
3.421 * [taylor]: Taking taylor expansion of t in z
3.421 * [backup-simplify]: Simplify t into t
3.421 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.421 * [taylor]: Taking taylor expansion of (/ z t) in z
3.421 * [taylor]: Taking taylor expansion of z in z
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 1 into 1
3.421 * [taylor]: Taking taylor expansion of t in z
3.421 * [backup-simplify]: Simplify t into t
3.421 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.421 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in x
3.421 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in x
3.421 * [taylor]: Taking taylor expansion of (/ y t) in x
3.421 * [taylor]: Taking taylor expansion of y in x
3.421 * [backup-simplify]: Simplify y into y
3.421 * [taylor]: Taking taylor expansion of t in x
3.421 * [backup-simplify]: Simplify t into t
3.421 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.421 * [taylor]: Taking taylor expansion of (/ x t) in x
3.421 * [taylor]: Taking taylor expansion of x in x
3.421 * [backup-simplify]: Simplify 0 into 0
3.421 * [backup-simplify]: Simplify 1 into 1
3.421 * [taylor]: Taking taylor expansion of t in x
3.421 * [backup-simplify]: Simplify t into t
3.422 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.422 * [taylor]: Taking taylor expansion of (/ z t) in x
3.422 * [taylor]: Taking taylor expansion of z in x
3.422 * [backup-simplify]: Simplify z into z
3.422 * [taylor]: Taking taylor expansion of t in x
3.422 * [backup-simplify]: Simplify t into t
3.422 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.422 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in t
3.422 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in t
3.422 * [taylor]: Taking taylor expansion of (/ y t) in t
3.422 * [taylor]: Taking taylor expansion of y in t
3.422 * [backup-simplify]: Simplify y into y
3.422 * [taylor]: Taking taylor expansion of t in t
3.422 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify 1 into 1
3.422 * [backup-simplify]: Simplify (/ y 1) into y
3.422 * [taylor]: Taking taylor expansion of (/ x t) in t
3.422 * [taylor]: Taking taylor expansion of x in t
3.422 * [backup-simplify]: Simplify x into x
3.422 * [taylor]: Taking taylor expansion of t in t
3.422 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify 1 into 1
3.422 * [backup-simplify]: Simplify (/ x 1) into x
3.422 * [taylor]: Taking taylor expansion of (/ z t) in t
3.422 * [taylor]: Taking taylor expansion of z in t
3.422 * [backup-simplify]: Simplify z into z
3.422 * [taylor]: Taking taylor expansion of t in t
3.422 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify 1 into 1
3.422 * [backup-simplify]: Simplify (/ z 1) into z
3.422 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in y
3.422 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y
3.422 * [taylor]: Taking taylor expansion of (/ y t) in y
3.422 * [taylor]: Taking taylor expansion of y in y
3.422 * [backup-simplify]: Simplify 0 into 0
3.422 * [backup-simplify]: Simplify 1 into 1
3.422 * [taylor]: Taking taylor expansion of t in y
3.422 * [backup-simplify]: Simplify t into t
3.422 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.422 * [taylor]: Taking taylor expansion of (/ x t) in y
3.422 * [taylor]: Taking taylor expansion of x in y
3.422 * [backup-simplify]: Simplify x into x
3.422 * [taylor]: Taking taylor expansion of t in y
3.422 * [backup-simplify]: Simplify t into t
3.422 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.422 * [taylor]: Taking taylor expansion of (/ z t) in y
3.422 * [taylor]: Taking taylor expansion of z in y
3.422 * [backup-simplify]: Simplify z into z
3.422 * [taylor]: Taking taylor expansion of t in y
3.422 * [backup-simplify]: Simplify t into t
3.422 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.422 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in y
3.422 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y
3.422 * [taylor]: Taking taylor expansion of (/ y t) in y
3.422 * [taylor]: Taking taylor expansion of y in y
3.423 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify 1 into 1
3.423 * [taylor]: Taking taylor expansion of t in y
3.423 * [backup-simplify]: Simplify t into t
3.423 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.423 * [taylor]: Taking taylor expansion of (/ x t) in y
3.423 * [taylor]: Taking taylor expansion of x in y
3.423 * [backup-simplify]: Simplify x into x
3.423 * [taylor]: Taking taylor expansion of t in y
3.423 * [backup-simplify]: Simplify t into t
3.423 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.423 * [taylor]: Taking taylor expansion of (/ z t) in y
3.423 * [taylor]: Taking taylor expansion of z in y
3.423 * [backup-simplify]: Simplify z into z
3.423 * [taylor]: Taking taylor expansion of t in y
3.423 * [backup-simplify]: Simplify t into t
3.423 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.423 * [backup-simplify]: Simplify (+ 0 (/ x t)) into (/ x t)
3.423 * [backup-simplify]: Simplify (- (/ z t)) into (- (/ z t))
3.423 * [backup-simplify]: Simplify (+ (/ x t) (- (/ z t))) into (- (/ x t) (/ z t))
3.423 * [taylor]: Taking taylor expansion of (- (/ x t) (/ z t)) in t
3.423 * [taylor]: Taking taylor expansion of (/ x t) in t
3.423 * [taylor]: Taking taylor expansion of x in t
3.423 * [backup-simplify]: Simplify x into x
3.423 * [taylor]: Taking taylor expansion of t in t
3.423 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify 1 into 1
3.423 * [backup-simplify]: Simplify (/ x 1) into x
3.423 * [taylor]: Taking taylor expansion of (/ z t) in t
3.423 * [taylor]: Taking taylor expansion of z in t
3.423 * [backup-simplify]: Simplify z into z
3.423 * [taylor]: Taking taylor expansion of t in t
3.423 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify 1 into 1
3.423 * [backup-simplify]: Simplify (/ z 1) into z
3.423 * [backup-simplify]: Simplify (- z) into (- z)
3.423 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
3.423 * [taylor]: Taking taylor expansion of (- x z) in x
3.423 * [taylor]: Taking taylor expansion of x in x
3.423 * [backup-simplify]: Simplify 0 into 0
3.423 * [backup-simplify]: Simplify 1 into 1
3.423 * [taylor]: Taking taylor expansion of z in x
3.423 * [backup-simplify]: Simplify z into z
3.423 * [backup-simplify]: Simplify (- z) into (- z)
3.424 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
3.424 * [taylor]: Taking taylor expansion of (- z) in z
3.424 * [taylor]: Taking taylor expansion of z in z
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify 1 into 1
3.424 * [backup-simplify]: Simplify (- 0) into 0
3.424 * [backup-simplify]: Simplify 0 into 0
3.424 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)))) into 0
3.424 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
3.424 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
3.424 * [backup-simplify]: Simplify (- 0) into 0
3.425 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
3.425 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.425 * [taylor]: Taking taylor expansion of t in t
3.425 * [backup-simplify]: Simplify 0 into 0
3.425 * [backup-simplify]: Simplify 1 into 1
3.425 * [backup-simplify]: Simplify (/ 1 1) into 1
3.425 * [taylor]: Taking taylor expansion of 1 in x
3.425 * [backup-simplify]: Simplify 1 into 1
3.425 * [taylor]: Taking taylor expansion of 1 in z
3.425 * [backup-simplify]: Simplify 1 into 1
3.425 * [backup-simplify]: Simplify 1 into 1
3.425 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
3.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.426 * [backup-simplify]: Simplify (- 0) into 0
3.426 * [backup-simplify]: Simplify (+ 0 0) into 0
3.426 * [taylor]: Taking taylor expansion of 0 in x
3.426 * [backup-simplify]: Simplify 0 into 0
3.427 * [taylor]: Taking taylor expansion of 0 in z
3.427 * [backup-simplify]: Simplify 0 into 0
3.427 * [backup-simplify]: Simplify 0 into 0
3.427 * [backup-simplify]: Simplify (- 0) into 0
3.427 * [backup-simplify]: Simplify (+ 1 0) into 1
3.427 * [taylor]: Taking taylor expansion of 1 in z
3.427 * [backup-simplify]: Simplify 1 into 1
3.427 * [backup-simplify]: Simplify 1 into 1
3.427 * [backup-simplify]: Simplify (- 1) into -1
3.427 * [backup-simplify]: Simplify -1 into -1
3.428 * [backup-simplify]: Simplify (+ (* -1 (* z (* 1 (* (/ 1 t) 1)))) (+ (* 1 (* 1 (* x (* (/ 1 t) 1)))) (* 1 (* 1 (* 1 (* (/ 1 t) y)))))) into (- (+ (/ x t) (/ y t)) (/ z t))
3.428 * [backup-simplify]: Simplify (- (+ (/ (/ 1 y) (/ 1 t)) (/ (/ 1 x) (/ 1 t))) (/ (/ 1 z) (/ 1 t))) into (- (+ (/ t y) (/ t x)) (/ t z))
3.428 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (y t x z) around 0
3.428 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z
3.428 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z
3.428 * [taylor]: Taking taylor expansion of (/ t y) in z
3.428 * [taylor]: Taking taylor expansion of t in z
3.428 * [backup-simplify]: Simplify t into t
3.428 * [taylor]: Taking taylor expansion of y in z
3.428 * [backup-simplify]: Simplify y into y
3.428 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.428 * [taylor]: Taking taylor expansion of (/ t x) in z
3.428 * [taylor]: Taking taylor expansion of t in z
3.428 * [backup-simplify]: Simplify t into t
3.428 * [taylor]: Taking taylor expansion of x in z
3.428 * [backup-simplify]: Simplify x into x
3.428 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.428 * [taylor]: Taking taylor expansion of (/ t z) in z
3.428 * [taylor]: Taking taylor expansion of t in z
3.428 * [backup-simplify]: Simplify t into t
3.428 * [taylor]: Taking taylor expansion of z in z
3.428 * [backup-simplify]: Simplify 0 into 0
3.428 * [backup-simplify]: Simplify 1 into 1
3.428 * [backup-simplify]: Simplify (/ t 1) into t
3.428 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
3.428 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
3.428 * [taylor]: Taking taylor expansion of (/ t y) in x
3.428 * [taylor]: Taking taylor expansion of t in x
3.428 * [backup-simplify]: Simplify t into t
3.428 * [taylor]: Taking taylor expansion of y in x
3.428 * [backup-simplify]: Simplify y into y
3.428 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.428 * [taylor]: Taking taylor expansion of (/ t x) in x
3.428 * [taylor]: Taking taylor expansion of t in x
3.428 * [backup-simplify]: Simplify t into t
3.429 * [taylor]: Taking taylor expansion of x in x
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 1 into 1
3.429 * [backup-simplify]: Simplify (/ t 1) into t
3.429 * [taylor]: Taking taylor expansion of (/ t z) in x
3.429 * [taylor]: Taking taylor expansion of t in x
3.429 * [backup-simplify]: Simplify t into t
3.429 * [taylor]: Taking taylor expansion of z in x
3.429 * [backup-simplify]: Simplify z into z
3.429 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.429 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t
3.429 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
3.429 * [taylor]: Taking taylor expansion of (/ t y) in t
3.429 * [taylor]: Taking taylor expansion of t in t
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 1 into 1
3.429 * [taylor]: Taking taylor expansion of y in t
3.429 * [backup-simplify]: Simplify y into y
3.429 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.429 * [taylor]: Taking taylor expansion of (/ t x) in t
3.429 * [taylor]: Taking taylor expansion of t in t
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 1 into 1
3.429 * [taylor]: Taking taylor expansion of x in t
3.429 * [backup-simplify]: Simplify x into x
3.429 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.429 * [taylor]: Taking taylor expansion of (/ t z) in t
3.429 * [taylor]: Taking taylor expansion of t in t
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 1 into 1
3.429 * [taylor]: Taking taylor expansion of z in t
3.429 * [backup-simplify]: Simplify z into z
3.429 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.429 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
3.429 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.429 * [taylor]: Taking taylor expansion of (/ t y) in y
3.429 * [taylor]: Taking taylor expansion of t in y
3.429 * [backup-simplify]: Simplify t into t
3.429 * [taylor]: Taking taylor expansion of y in y
3.429 * [backup-simplify]: Simplify 0 into 0
3.429 * [backup-simplify]: Simplify 1 into 1
3.429 * [backup-simplify]: Simplify (/ t 1) into t
3.429 * [taylor]: Taking taylor expansion of (/ t x) in y
3.429 * [taylor]: Taking taylor expansion of t in y
3.429 * [backup-simplify]: Simplify t into t
3.429 * [taylor]: Taking taylor expansion of x in y
3.429 * [backup-simplify]: Simplify x into x
3.429 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.429 * [taylor]: Taking taylor expansion of (/ t z) in y
3.429 * [taylor]: Taking taylor expansion of t in y
3.429 * [backup-simplify]: Simplify t into t
3.429 * [taylor]: Taking taylor expansion of z in y
3.429 * [backup-simplify]: Simplify z into z
3.429 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.429 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
3.429 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.429 * [taylor]: Taking taylor expansion of (/ t y) in y
3.430 * [taylor]: Taking taylor expansion of t in y
3.430 * [backup-simplify]: Simplify t into t
3.430 * [taylor]: Taking taylor expansion of y in y
3.430 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify 1 into 1
3.430 * [backup-simplify]: Simplify (/ t 1) into t
3.430 * [taylor]: Taking taylor expansion of (/ t x) in y
3.430 * [taylor]: Taking taylor expansion of t in y
3.430 * [backup-simplify]: Simplify t into t
3.430 * [taylor]: Taking taylor expansion of x in y
3.430 * [backup-simplify]: Simplify x into x
3.430 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.430 * [taylor]: Taking taylor expansion of (/ t z) in y
3.430 * [taylor]: Taking taylor expansion of t in y
3.430 * [backup-simplify]: Simplify t into t
3.430 * [taylor]: Taking taylor expansion of z in y
3.430 * [backup-simplify]: Simplify z into z
3.430 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.430 * [backup-simplify]: Simplify (+ t 0) into t
3.430 * [backup-simplify]: Simplify (+ t 0) into t
3.430 * [taylor]: Taking taylor expansion of t in t
3.430 * [backup-simplify]: Simplify 0 into 0
3.430 * [backup-simplify]: Simplify 1 into 1
3.430 * [taylor]: Taking taylor expansion of 1 in x
3.430 * [backup-simplify]: Simplify 1 into 1
3.431 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.431 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x)
3.431 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
3.431 * [backup-simplify]: Simplify (+ (/ t x) (- (/ t z))) into (- (/ t x) (/ t z))
3.431 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t
3.431 * [taylor]: Taking taylor expansion of (/ t x) in t
3.431 * [taylor]: Taking taylor expansion of t in t
3.431 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify 1 into 1
3.431 * [taylor]: Taking taylor expansion of x in t
3.431 * [backup-simplify]: Simplify x into x
3.431 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.431 * [taylor]: Taking taylor expansion of (/ t z) in t
3.431 * [taylor]: Taking taylor expansion of t in t
3.431 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify 1 into 1
3.431 * [taylor]: Taking taylor expansion of z in t
3.431 * [backup-simplify]: Simplify z into z
3.431 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.431 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.431 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
3.431 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.431 * [taylor]: Taking taylor expansion of x in x
3.431 * [backup-simplify]: Simplify 0 into 0
3.431 * [backup-simplify]: Simplify 1 into 1
3.432 * [backup-simplify]: Simplify (/ 1 1) into 1
3.432 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.432 * [taylor]: Taking taylor expansion of z in x
3.432 * [backup-simplify]: Simplify z into z
3.432 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.432 * [backup-simplify]: Simplify (+ 1 0) into 1
3.432 * [taylor]: Taking taylor expansion of 1 in z
3.432 * [backup-simplify]: Simplify 1 into 1
3.432 * [taylor]: Taking taylor expansion of 0 in x
3.432 * [backup-simplify]: Simplify 0 into 0
3.432 * [taylor]: Taking taylor expansion of 1 in z
3.432 * [backup-simplify]: Simplify 1 into 1
3.433 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.433 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0
3.433 * [backup-simplify]: Simplify (+ 0 0) into 0
3.433 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
3.434 * [backup-simplify]: Simplify (- 0) into 0
3.434 * [backup-simplify]: Simplify (+ 0 0) into 0
3.434 * [taylor]: Taking taylor expansion of 0 in t
3.434 * [backup-simplify]: Simplify 0 into 0
3.434 * [taylor]: Taking taylor expansion of 0 in x
3.434 * [backup-simplify]: Simplify 0 into 0
3.434 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.434 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.434 * [backup-simplify]: Simplify (- 0) into 0
3.435 * [backup-simplify]: Simplify (+ 0 0) into 0
3.435 * [taylor]: Taking taylor expansion of 0 in x
3.435 * [backup-simplify]: Simplify 0 into 0
3.435 * [taylor]: Taking taylor expansion of 0 in x
3.435 * [backup-simplify]: Simplify 0 into 0
3.435 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.436 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.436 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.436 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.436 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.436 * [taylor]: Taking taylor expansion of z in z
3.436 * [backup-simplify]: Simplify 0 into 0
3.436 * [backup-simplify]: Simplify 1 into 1
3.436 * [backup-simplify]: Simplify (/ 1 1) into 1
3.437 * [backup-simplify]: Simplify (- 1) into -1
3.437 * [backup-simplify]: Simplify -1 into -1
3.437 * [taylor]: Taking taylor expansion of 0 in z
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [taylor]: Taking taylor expansion of 0 in z
3.437 * [backup-simplify]: Simplify 0 into 0
3.437 * [backup-simplify]: Simplify 1 into 1
3.437 * [backup-simplify]: Simplify 1 into 1
3.438 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 t) (/ 1 (/ 1 y)))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 t) 1)))) (* -1 (* (/ 1 (/ 1 z)) (* 1 (* (/ 1 t) 1)))))) into (- (+ (/ y t) (/ x t)) (/ z t))
3.438 * [backup-simplify]: Simplify (- (+ (/ (/ 1 (- y)) (/ 1 (- t))) (/ (/ 1 (- x)) (/ 1 (- t)))) (/ (/ 1 (- z)) (/ 1 (- t)))) into (- (+ (/ t y) (/ t x)) (/ t z))
3.438 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (y t x z) around 0
3.438 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z
3.438 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z
3.438 * [taylor]: Taking taylor expansion of (/ t y) in z
3.438 * [taylor]: Taking taylor expansion of t in z
3.438 * [backup-simplify]: Simplify t into t
3.438 * [taylor]: Taking taylor expansion of y in z
3.439 * [backup-simplify]: Simplify y into y
3.439 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.439 * [taylor]: Taking taylor expansion of (/ t x) in z
3.439 * [taylor]: Taking taylor expansion of t in z
3.439 * [backup-simplify]: Simplify t into t
3.439 * [taylor]: Taking taylor expansion of x in z
3.439 * [backup-simplify]: Simplify x into x
3.439 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.439 * [taylor]: Taking taylor expansion of (/ t z) in z
3.439 * [taylor]: Taking taylor expansion of t in z
3.439 * [backup-simplify]: Simplify t into t
3.439 * [taylor]: Taking taylor expansion of z in z
3.439 * [backup-simplify]: Simplify 0 into 0
3.439 * [backup-simplify]: Simplify 1 into 1
3.439 * [backup-simplify]: Simplify (/ t 1) into t
3.439 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
3.439 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
3.439 * [taylor]: Taking taylor expansion of (/ t y) in x
3.439 * [taylor]: Taking taylor expansion of t in x
3.439 * [backup-simplify]: Simplify t into t
3.439 * [taylor]: Taking taylor expansion of y in x
3.439 * [backup-simplify]: Simplify y into y
3.439 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.439 * [taylor]: Taking taylor expansion of (/ t x) in x
3.439 * [taylor]: Taking taylor expansion of t in x
3.439 * [backup-simplify]: Simplify t into t
3.439 * [taylor]: Taking taylor expansion of x in x
3.439 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify 1 into 1
3.440 * [backup-simplify]: Simplify (/ t 1) into t
3.440 * [taylor]: Taking taylor expansion of (/ t z) in x
3.440 * [taylor]: Taking taylor expansion of t in x
3.440 * [backup-simplify]: Simplify t into t
3.440 * [taylor]: Taking taylor expansion of z in x
3.440 * [backup-simplify]: Simplify z into z
3.440 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.440 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t
3.440 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
3.440 * [taylor]: Taking taylor expansion of (/ t y) in t
3.440 * [taylor]: Taking taylor expansion of t in t
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify 1 into 1
3.440 * [taylor]: Taking taylor expansion of y in t
3.440 * [backup-simplify]: Simplify y into y
3.440 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.440 * [taylor]: Taking taylor expansion of (/ t x) in t
3.440 * [taylor]: Taking taylor expansion of t in t
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify 1 into 1
3.440 * [taylor]: Taking taylor expansion of x in t
3.440 * [backup-simplify]: Simplify x into x
3.440 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.440 * [taylor]: Taking taylor expansion of (/ t z) in t
3.440 * [taylor]: Taking taylor expansion of t in t
3.440 * [backup-simplify]: Simplify 0 into 0
3.440 * [backup-simplify]: Simplify 1 into 1
3.440 * [taylor]: Taking taylor expansion of z in t
3.441 * [backup-simplify]: Simplify z into z
3.441 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.441 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
3.441 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.441 * [taylor]: Taking taylor expansion of (/ t y) in y
3.441 * [taylor]: Taking taylor expansion of t in y
3.441 * [backup-simplify]: Simplify t into t
3.441 * [taylor]: Taking taylor expansion of y in y
3.441 * [backup-simplify]: Simplify 0 into 0
3.441 * [backup-simplify]: Simplify 1 into 1
3.441 * [backup-simplify]: Simplify (/ t 1) into t
3.441 * [taylor]: Taking taylor expansion of (/ t x) in y
3.441 * [taylor]: Taking taylor expansion of t in y
3.441 * [backup-simplify]: Simplify t into t
3.441 * [taylor]: Taking taylor expansion of x in y
3.441 * [backup-simplify]: Simplify x into x
3.441 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.441 * [taylor]: Taking taylor expansion of (/ t z) in y
3.441 * [taylor]: Taking taylor expansion of t in y
3.441 * [backup-simplify]: Simplify t into t
3.441 * [taylor]: Taking taylor expansion of z in y
3.441 * [backup-simplify]: Simplify z into z
3.441 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.441 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
3.441 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.441 * [taylor]: Taking taylor expansion of (/ t y) in y
3.441 * [taylor]: Taking taylor expansion of t in y
3.441 * [backup-simplify]: Simplify t into t
3.442 * [taylor]: Taking taylor expansion of y in y
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 1 into 1
3.442 * [backup-simplify]: Simplify (/ t 1) into t
3.442 * [taylor]: Taking taylor expansion of (/ t x) in y
3.442 * [taylor]: Taking taylor expansion of t in y
3.442 * [backup-simplify]: Simplify t into t
3.442 * [taylor]: Taking taylor expansion of x in y
3.442 * [backup-simplify]: Simplify x into x
3.442 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.442 * [taylor]: Taking taylor expansion of (/ t z) in y
3.442 * [taylor]: Taking taylor expansion of t in y
3.442 * [backup-simplify]: Simplify t into t
3.442 * [taylor]: Taking taylor expansion of z in y
3.442 * [backup-simplify]: Simplify z into z
3.442 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.442 * [backup-simplify]: Simplify (+ t 0) into t
3.442 * [backup-simplify]: Simplify (+ t 0) into t
3.442 * [taylor]: Taking taylor expansion of t in t
3.442 * [backup-simplify]: Simplify 0 into 0
3.442 * [backup-simplify]: Simplify 1 into 1
3.442 * [taylor]: Taking taylor expansion of 1 in x
3.442 * [backup-simplify]: Simplify 1 into 1
3.444 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.444 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x)
3.444 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
3.444 * [backup-simplify]: Simplify (+ (/ t x) (- (/ t z))) into (- (/ t x) (/ t z))
3.444 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t
3.444 * [taylor]: Taking taylor expansion of (/ t x) in t
3.444 * [taylor]: Taking taylor expansion of t in t
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [taylor]: Taking taylor expansion of x in t
3.444 * [backup-simplify]: Simplify x into x
3.444 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.444 * [taylor]: Taking taylor expansion of (/ t z) in t
3.444 * [taylor]: Taking taylor expansion of t in t
3.444 * [backup-simplify]: Simplify 0 into 0
3.444 * [backup-simplify]: Simplify 1 into 1
3.444 * [taylor]: Taking taylor expansion of z in t
3.444 * [backup-simplify]: Simplify z into z
3.444 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.445 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.445 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
3.445 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.445 * [taylor]: Taking taylor expansion of x in x
3.445 * [backup-simplify]: Simplify 0 into 0
3.445 * [backup-simplify]: Simplify 1 into 1
3.445 * [backup-simplify]: Simplify (/ 1 1) into 1
3.445 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.445 * [taylor]: Taking taylor expansion of z in x
3.445 * [backup-simplify]: Simplify z into z
3.446 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.446 * [backup-simplify]: Simplify (+ 1 0) into 1
3.446 * [taylor]: Taking taylor expansion of 1 in z
3.446 * [backup-simplify]: Simplify 1 into 1
3.446 * [taylor]: Taking taylor expansion of 0 in x
3.446 * [backup-simplify]: Simplify 0 into 0
3.446 * [taylor]: Taking taylor expansion of 1 in z
3.446 * [backup-simplify]: Simplify 1 into 1
3.448 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.448 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0
3.448 * [backup-simplify]: Simplify (+ 0 0) into 0
3.448 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
3.449 * [backup-simplify]: Simplify (- 0) into 0
3.449 * [backup-simplify]: Simplify (+ 0 0) into 0
3.449 * [taylor]: Taking taylor expansion of 0 in t
3.449 * [backup-simplify]: Simplify 0 into 0
3.449 * [taylor]: Taking taylor expansion of 0 in x
3.449 * [backup-simplify]: Simplify 0 into 0
3.450 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.450 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.450 * [backup-simplify]: Simplify (- 0) into 0
3.451 * [backup-simplify]: Simplify (+ 0 0) into 0
3.451 * [taylor]: Taking taylor expansion of 0 in x
3.451 * [backup-simplify]: Simplify 0 into 0
3.451 * [taylor]: Taking taylor expansion of 0 in x
3.451 * [backup-simplify]: Simplify 0 into 0
3.451 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.452 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.452 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.452 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.452 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.452 * [taylor]: Taking taylor expansion of z in z
3.452 * [backup-simplify]: Simplify 0 into 0
3.452 * [backup-simplify]: Simplify 1 into 1
3.452 * [backup-simplify]: Simplify (/ 1 1) into 1
3.453 * [backup-simplify]: Simplify (- 1) into -1
3.453 * [backup-simplify]: Simplify -1 into -1
3.453 * [taylor]: Taking taylor expansion of 0 in z
3.453 * [backup-simplify]: Simplify 0 into 0
3.453 * [taylor]: Taking taylor expansion of 0 in z
3.453 * [backup-simplify]: Simplify 0 into 0
3.453 * [backup-simplify]: Simplify 1 into 1
3.453 * [backup-simplify]: Simplify 1 into 1
3.454 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y))))))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- t)) 1)))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 (* (/ 1 (- t)) 1)))))) into (- (+ (/ y t) (/ x t)) (/ z t))
3.454 * * * [progress]: simplifying candidates
3.456 * [simplify]: Simplifying:
  (* (exp (/ y t)) (exp (/ x t)))
  (log (+ (/ y t) (/ x t)))
  (exp (+ (/ y t) (/ x t)))
  (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t))))
  (cbrt (+ (/ y t) (/ x t)))
  (* (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (+ (/ y t) (/ x t)))
  (sqrt (+ (/ y t) (/ x t)))
  (sqrt (+ (/ y t) (/ x t)))
  (+ (* y t) (* t x))
  (* t t)
  (+ (pow (/ y t) 3) (pow (/ x t) 3))
  (+ (* (/ y t) (/ y t)) (- (* (/ x t) (/ x t)) (* (/ y t) (/ x t))))
  (- (* (/ y t) (/ y t)) (* (/ x t) (/ x t)))
  (- (/ y t) (/ x t))
  (+ (/ y (cbrt t)) (/ x (cbrt t)))
  (+ (/ y (sqrt t)) (/ x (sqrt t)))
  (+ (/ y t) (/ x t))
  (+ (/ y t) (/ x t))
  (+ y x)
  (/ (* (exp (/ y t)) (exp (/ x t))) (exp (/ z t)))
  (/ (exp (+ (/ y t) (/ x t))) (exp (/ z t)))
  (log (- (+ (/ y t) (/ x t)) (/ z t)))
  (exp (- (+ (/ y t) (/ x t)) (/ z t)))
  (* (cbrt (- (+ (/ y t) (/ x t)) (/ z t))) (cbrt (- (+ (/ y t) (/ x t)) (/ z t))))
  (cbrt (- (+ (/ y t) (/ x t)) (/ z t)))
  (* (* (- (+ (/ y t) (/ x t)) (/ z t)) (- (+ (/ y t) (/ x t)) (/ z t))) (- (+ (/ y t) (/ x t)) (/ z t)))
  (sqrt (- (+ (/ y t) (/ x t)) (/ z t)))
  (sqrt (- (+ (/ y t) (/ x t)) (/ z t)))
  (- (* (+ (* y t) (* t x)) t) (* (* t t) z))
  (* (* t t) t)
  (- (* (+ (pow (/ y t) 3) (pow (/ x t) 3)) t) (* (+ (* (/ y t) (/ y t)) (- (* (/ x t) (/ x t)) (* (/ y t) (/ x t)))) z))
  (* (+ (* (/ y t) (/ y t)) (- (* (/ x t) (/ x t)) (* (/ y t) (/ x t)))) t)
  (- (* (- (* (/ y t) (/ y t)) (* (/ x t) (/ x t))) t) (* (- (/ y t) (/ x t)) z))
  (* (- (/ y t) (/ x t)) t)
  (- (pow (+ (/ y t) (/ x t)) 3) (pow (/ z t) 3))
  (+ (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (+ (* (/ z t) (/ z t)) (* (+ (/ y t) (/ x t)) (/ z t))))
  (- (/ z t))
  (- (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (* (/ z t) (/ z t)))
  (+ (+ (/ y t) (/ x t)) (/ z t))
  (+ (sqrt (+ (/ y t) (/ x t))) (sqrt (/ z t)))
  (- (sqrt (+ (/ y t) (/ x t))) (sqrt (/ z t)))
  (+ (sqrt (+ (/ y t) (/ x t))) (/ (sqrt z) (sqrt t)))
  (- (sqrt (+ (/ y t) (/ x t))) (/ (sqrt z) (sqrt t)))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y (cbrt t)) (/ x (cbrt t))) (/ z (cbrt t)))
  (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t)))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (/ x t) (/ z t))
  (- (/ z t))
  (+ (/ x t) (/ y t))
  (+ (/ y t) (/ x t))
  (+ (/ y t) (/ x t))
  (- (+ (/ x t) (/ y t)) (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
3.458 * * [simplify]: Extracting # 0 : cost  0
3.458 * * [simplify]: Extracting # 1 : cost  0
3.458 * * [simplify]: Extracting # 2 : cost  0
3.459 * * [simplify]: Extracting # 3 : cost  0
3.459 * * [simplify]: Extracting # 4 : cost  0
3.459 * * [simplify]: Extracting # 5 : cost  0
3.459 * * [simplify]: Extracting # 6 : cost  0
3.460 * * [simplify]: iteration  0 :  89  enodes  (cost  725 )
3.502 * * [simplify]: Extracting # 0 : cost  0
3.502 * * [simplify]: Extracting # 1 : cost  0
3.503 * * [simplify]: Extracting # 2 : cost  0
3.503 * * [simplify]: Extracting # 3 : cost  0
3.504 * * [simplify]: Extracting # 4 : cost  0
3.504 * * [simplify]: iteration  1 :  221  enodes  (cost  691 )
3.612 * * [simplify]: Extracting # 0 : cost  0
3.613 * * [simplify]: Extracting # 1 : cost  0
3.615 * * [simplify]: Extracting # 2 : cost  0
3.616 * * [simplify]: Extracting # 3 : cost  0
3.617 * * [simplify]: Extracting # 4 : cost  0
3.623 * * [simplify]: iteration  2 :  660  enodes  (cost  661 )
3.989 * * [simplify]: Extracting # 0 : cost  0
3.992 * * [simplify]: Extracting # 1 : cost  0
3.994 * * [simplify]: Extracting # 2 : cost  0
3.997 * * [simplify]: Extracting # 3 : cost  0
3.999 * * [simplify]: Extracting # 4 : cost  0
4.001 * * [simplify]: iteration  3 :  2283  enodes  (cost  647 )
5.033 * * [simplify]: Extracting # 0 : cost  0
5.043 * * [simplify]: Extracting # 1 : cost  0
5.054 * * [simplify]: Extracting # 2 : cost  0
5.063 * * [simplify]: Extracting # 3 : cost  0
5.078 * * [simplify]: Extracting # 4 : cost  0
5.087 * * [simplify]: iteration done:  5000  enodes  (cost  647 )
5.088 * [simplify]: Simplified to:
  (exp (+ (/ y t) (/ x t)))
  (log (+ (/ y t) (/ x t)))
  (exp (+ (/ y t) (/ x t)))
  (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t))))
  (cbrt (+ (/ y t) (/ x t)))
  (pow (+ (/ x t) (/ y t)) 3)
  (sqrt (+ (/ y t) (/ x t)))
  (sqrt (+ (/ y t) (/ x t)))
  (* t (+ y x))
  (* t t)
  (+ (pow (/ y t) 3) (pow (/ x t) 3))
  (+ (* (/ x t) (- (/ x t) (/ y t))) (* (/ y t) (/ y t)))
  (- (* (/ y t) (/ y t)) (* (/ x t) (/ x t)))
  (- (/ y t) (/ x t))
  (+ (/ y (cbrt t)) (/ x (cbrt t)))
  (+ (/ y (sqrt t)) (/ x (sqrt t)))
  (+ (/ y t) (/ x t))
  (+ (/ y t) (/ x t))
  (+ y x)
  (exp (- (+ (/ x t) (/ y t)) (/ z t)))
  (exp (- (+ (/ x t) (/ y t)) (/ z t)))
  (log (- (+ (/ y t) (/ x t)) (/ z t)))
  (exp (- (+ (/ x t) (/ y t)) (/ z t)))
  (* (cbrt (- (+ (/ y t) (/ x t)) (/ z t))) (cbrt (- (+ (/ y t) (/ x t)) (/ z t))))
  (cbrt (- (+ (/ y t) (/ x t)) (/ z t)))
  (pow (- (+ (/ y t) (/ x t)) (/ z t)) 3)
  (sqrt (- (+ (/ y t) (/ x t)) (/ z t)))
  (sqrt (- (+ (/ y t) (/ x t)) (/ z t)))
  (* (* t (- (+ y x) z)) t)
  (pow t 3)
  (- (* (+ (pow (/ y t) 3) (pow (/ x t) 3)) t) (* z (+ (* (/ x t) (- (/ x t) (/ y t))) (* (/ y t) (/ y t)))))
  (* (+ (* (/ x t) (- (/ x t) (/ y t))) (* (/ y t) (/ y t))) t)
  (* (- (/ y t) (/ x t)) (- (* t (+ (/ y t) (/ x t))) z))
  (* (- (/ y t) (/ x t)) t)
  (- (pow (+ (/ y t) (/ x t)) 3) (pow (/ z t) 3))
  (+ (* (+ (/ y t) (/ x t)) (+ (+ (/ y t) (/ x t)) (/ z t))) (* (/ z t) (/ z t)))
  (- (/ z t))
  (- (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (* (/ z t) (/ z t)))
  (+ (+ (/ y t) (/ x t)) (/ z t))
  (+ (sqrt (+ (/ y t) (/ x t))) (sqrt (/ z t)))
  (- (sqrt (+ (/ y t) (/ x t))) (sqrt (/ z t)))
  (+ (sqrt (+ (/ y t) (/ x t))) (/ (sqrt z) (sqrt t)))
  (- (sqrt (+ (/ y t) (/ x t))) (/ (sqrt z) (sqrt t)))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y (cbrt t)) (/ x (cbrt t))) (/ z (cbrt t)))
  (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t)))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (/ x t) (/ z t))
  (- (/ z t))
  (+ (/ y t) (/ x t))
  (+ (/ y t) (/ x t))
  (+ (/ y t) (/ x t))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
  (- (+ (/ y t) (/ x t)) (/ z t))
5.088 * * * [progress]: adding candidates to table
5.217 * * [progress]: iteration 3 / 4
5.217 * * * [progress]: picking best candidate
5.219 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))>
5.219 * * * [progress]: localizing error
5.227 * * * [progress]: generating rewritten candidates
5.227 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
5.305 * * * [progress]: generating series expansions
5.305 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
5.305 * [backup-simplify]: Simplify (/ (- (+ x y) z) t) into (/ (- (+ x y) z) t)
5.305 * [approximate]: Taking taylor expansion of (/ (- (+ x y) z) t) in (x y z t) around 0
5.305 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
5.305 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
5.305 * [taylor]: Taking taylor expansion of (+ x y) in t
5.305 * [taylor]: Taking taylor expansion of x in t
5.305 * [backup-simplify]: Simplify x into x
5.305 * [taylor]: Taking taylor expansion of y in t
5.305 * [backup-simplify]: Simplify y into y
5.305 * [taylor]: Taking taylor expansion of z in t
5.305 * [backup-simplify]: Simplify z into z
5.305 * [taylor]: Taking taylor expansion of t in t
5.305 * [backup-simplify]: Simplify 0 into 0
5.305 * [backup-simplify]: Simplify 1 into 1
5.305 * [backup-simplify]: Simplify (+ x y) into (+ x y)
5.305 * [backup-simplify]: Simplify (- z) into (- z)
5.305 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
5.305 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
5.305 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
5.306 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
5.306 * [taylor]: Taking taylor expansion of (+ x y) in z
5.306 * [taylor]: Taking taylor expansion of x in z
5.306 * [backup-simplify]: Simplify x into x
5.306 * [taylor]: Taking taylor expansion of y in z
5.306 * [backup-simplify]: Simplify y into y
5.306 * [taylor]: Taking taylor expansion of z in z
5.306 * [backup-simplify]: Simplify 0 into 0
5.306 * [backup-simplify]: Simplify 1 into 1
5.306 * [taylor]: Taking taylor expansion of t in z
5.306 * [backup-simplify]: Simplify t into t
5.306 * [backup-simplify]: Simplify (+ x y) into (+ x y)
5.306 * [backup-simplify]: Simplify (- 0) into 0
5.306 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
5.306 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
5.306 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
5.306 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
5.306 * [taylor]: Taking taylor expansion of (+ x y) in y
5.306 * [taylor]: Taking taylor expansion of x in y
5.306 * [backup-simplify]: Simplify x into x
5.306 * [taylor]: Taking taylor expansion of y in y
5.306 * [backup-simplify]: Simplify 0 into 0
5.306 * [backup-simplify]: Simplify 1 into 1
5.306 * [taylor]: Taking taylor expansion of z in y
5.306 * [backup-simplify]: Simplify z into z
5.306 * [taylor]: Taking taylor expansion of t in y
5.306 * [backup-simplify]: Simplify t into t
5.307 * [backup-simplify]: Simplify (+ x 0) into x
5.307 * [backup-simplify]: Simplify (- z) into (- z)
5.307 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
5.307 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
5.307 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
5.307 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
5.307 * [taylor]: Taking taylor expansion of (+ x y) in x
5.307 * [taylor]: Taking taylor expansion of x in x
5.307 * [backup-simplify]: Simplify 0 into 0
5.307 * [backup-simplify]: Simplify 1 into 1
5.307 * [taylor]: Taking taylor expansion of y in x
5.307 * [backup-simplify]: Simplify y into y
5.307 * [taylor]: Taking taylor expansion of z in x
5.307 * [backup-simplify]: Simplify z into z
5.307 * [taylor]: Taking taylor expansion of t in x
5.307 * [backup-simplify]: Simplify t into t
5.307 * [backup-simplify]: Simplify (+ 0 y) into y
5.307 * [backup-simplify]: Simplify (- z) into (- z)
5.307 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
5.307 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
5.307 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
5.307 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
5.307 * [taylor]: Taking taylor expansion of (+ x y) in x
5.307 * [taylor]: Taking taylor expansion of x in x
5.307 * [backup-simplify]: Simplify 0 into 0
5.307 * [backup-simplify]: Simplify 1 into 1
5.307 * [taylor]: Taking taylor expansion of y in x
5.307 * [backup-simplify]: Simplify y into y
5.307 * [taylor]: Taking taylor expansion of z in x
5.307 * [backup-simplify]: Simplify z into z
5.307 * [taylor]: Taking taylor expansion of t in x
5.307 * [backup-simplify]: Simplify t into t
5.307 * [backup-simplify]: Simplify (+ 0 y) into y
5.307 * [backup-simplify]: Simplify (- z) into (- z)
5.307 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
5.307 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
5.307 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
5.307 * [taylor]: Taking taylor expansion of (- y z) in y
5.307 * [taylor]: Taking taylor expansion of y in y
5.307 * [backup-simplify]: Simplify 0 into 0
5.307 * [backup-simplify]: Simplify 1 into 1
5.307 * [taylor]: Taking taylor expansion of z in y
5.307 * [backup-simplify]: Simplify z into z
5.307 * [taylor]: Taking taylor expansion of t in y
5.307 * [backup-simplify]: Simplify t into t
5.307 * [backup-simplify]: Simplify (- z) into (- z)
5.308 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
5.308 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t))
5.308 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z
5.308 * [taylor]: Taking taylor expansion of -1 in z
5.308 * [backup-simplify]: Simplify -1 into -1
5.308 * [taylor]: Taking taylor expansion of (/ z t) in z
5.308 * [taylor]: Taking taylor expansion of z in z
5.308 * [backup-simplify]: Simplify 0 into 0
5.308 * [backup-simplify]: Simplify 1 into 1
5.308 * [taylor]: Taking taylor expansion of t in z
5.308 * [backup-simplify]: Simplify t into t
5.308 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.308 * [backup-simplify]: Simplify (+ 1 0) into 1
5.308 * [backup-simplify]: Simplify (- 0) into 0
5.309 * [backup-simplify]: Simplify (+ 1 0) into 1
5.309 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t)
5.309 * [taylor]: Taking taylor expansion of (/ 1 t) in y
5.309 * [taylor]: Taking taylor expansion of t in y
5.309 * [backup-simplify]: Simplify t into t
5.309 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.309 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.309 * [taylor]: Taking taylor expansion of t in z
5.309 * [backup-simplify]: Simplify t into t
5.309 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.309 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.309 * [taylor]: Taking taylor expansion of t in t
5.309 * [backup-simplify]: Simplify 0 into 0
5.309 * [backup-simplify]: Simplify 1 into 1
5.309 * [backup-simplify]: Simplify (/ 1 1) into 1
5.309 * [backup-simplify]: Simplify 1 into 1
5.309 * [backup-simplify]: Simplify (- 0) into 0
5.310 * [backup-simplify]: Simplify (+ 1 0) into 1
5.310 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t)
5.310 * [taylor]: Taking taylor expansion of (/ 1 t) in z
5.310 * [taylor]: Taking taylor expansion of t in z
5.310 * [backup-simplify]: Simplify t into t
5.310 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.310 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.310 * [taylor]: Taking taylor expansion of t in t
5.310 * [backup-simplify]: Simplify 0 into 0
5.310 * [backup-simplify]: Simplify 1 into 1
5.310 * [backup-simplify]: Simplify (/ 1 1) into 1
5.310 * [backup-simplify]: Simplify 1 into 1
5.310 * [backup-simplify]: Simplify (* -1 (/ 1 t)) into (/ -1 t)
5.310 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.310 * [taylor]: Taking taylor expansion of -1 in t
5.310 * [backup-simplify]: Simplify -1 into -1
5.310 * [taylor]: Taking taylor expansion of t in t
5.310 * [backup-simplify]: Simplify 0 into 0
5.310 * [backup-simplify]: Simplify 1 into 1
5.311 * [backup-simplify]: Simplify (/ -1 1) into -1
5.311 * [backup-simplify]: Simplify -1 into -1
5.311 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 t) (* z (* 1 1)))) (+ (* 1 (* (/ 1 t) (* 1 (* y 1)))) (* 1 (* (/ 1 t) (* 1 (* 1 x)))))) into (- (+ (/ y t) (/ x t)) (/ z t))
5.311 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (/ 1 t)) into (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))
5.311 * [approximate]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in (x y z t) around 0
5.311 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
5.311 * [taylor]: Taking taylor expansion of t in t
5.311 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify 1 into 1
5.312 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
5.312 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
5.312 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.312 * [taylor]: Taking taylor expansion of y in t
5.312 * [backup-simplify]: Simplify y into y
5.312 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.312 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.312 * [taylor]: Taking taylor expansion of x in t
5.312 * [backup-simplify]: Simplify x into x
5.312 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.312 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.312 * [taylor]: Taking taylor expansion of z in t
5.312 * [backup-simplify]: Simplify z into z
5.312 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.312 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
5.312 * [taylor]: Taking taylor expansion of t in z
5.312 * [backup-simplify]: Simplify t into t
5.312 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
5.312 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
5.312 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.312 * [taylor]: Taking taylor expansion of y in z
5.312 * [backup-simplify]: Simplify y into y
5.312 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.312 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.312 * [taylor]: Taking taylor expansion of x in z
5.312 * [backup-simplify]: Simplify x into x
5.312 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.312 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.312 * [taylor]: Taking taylor expansion of z in z
5.312 * [backup-simplify]: Simplify 0 into 0
5.312 * [backup-simplify]: Simplify 1 into 1
5.312 * [backup-simplify]: Simplify (/ 1 1) into 1
5.312 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
5.312 * [taylor]: Taking taylor expansion of t in y
5.312 * [backup-simplify]: Simplify t into t
5.312 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
5.312 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.312 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.312 * [taylor]: Taking taylor expansion of y in y
5.312 * [backup-simplify]: Simplify 0 into 0
5.312 * [backup-simplify]: Simplify 1 into 1
5.313 * [backup-simplify]: Simplify (/ 1 1) into 1
5.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.313 * [taylor]: Taking taylor expansion of x in y
5.313 * [backup-simplify]: Simplify x into x
5.313 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.313 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.313 * [taylor]: Taking taylor expansion of z in y
5.313 * [backup-simplify]: Simplify z into z
5.313 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.313 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
5.313 * [taylor]: Taking taylor expansion of t in x
5.313 * [backup-simplify]: Simplify t into t
5.313 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
5.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.313 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.313 * [taylor]: Taking taylor expansion of y in x
5.313 * [backup-simplify]: Simplify y into y
5.313 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.313 * [taylor]: Taking taylor expansion of x in x
5.313 * [backup-simplify]: Simplify 0 into 0
5.313 * [backup-simplify]: Simplify 1 into 1
5.313 * [backup-simplify]: Simplify (/ 1 1) into 1
5.313 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.313 * [taylor]: Taking taylor expansion of z in x
5.313 * [backup-simplify]: Simplify z into z
5.313 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.313 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
5.313 * [taylor]: Taking taylor expansion of t in x
5.313 * [backup-simplify]: Simplify t into t
5.314 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
5.314 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.314 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.314 * [taylor]: Taking taylor expansion of y in x
5.314 * [backup-simplify]: Simplify y into y
5.314 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.314 * [taylor]: Taking taylor expansion of x in x
5.314 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify 1 into 1
5.314 * [backup-simplify]: Simplify (/ 1 1) into 1
5.314 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.314 * [taylor]: Taking taylor expansion of z in x
5.314 * [backup-simplify]: Simplify z into z
5.314 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.314 * [backup-simplify]: Simplify (+ 0 1) into 1
5.315 * [backup-simplify]: Simplify (+ 1 0) into 1
5.315 * [backup-simplify]: Simplify (* t 1) into t
5.315 * [taylor]: Taking taylor expansion of t in y
5.315 * [backup-simplify]: Simplify t into t
5.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.315 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.315 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
5.315 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
5.316 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z))
5.316 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
5.316 * [taylor]: Taking taylor expansion of (/ t y) in y
5.316 * [taylor]: Taking taylor expansion of t in y
5.316 * [backup-simplify]: Simplify t into t
5.316 * [taylor]: Taking taylor expansion of y in y
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.316 * [backup-simplify]: Simplify (/ t 1) into t
5.316 * [taylor]: Taking taylor expansion of (/ t z) in y
5.316 * [taylor]: Taking taylor expansion of t in y
5.316 * [backup-simplify]: Simplify t into t
5.316 * [taylor]: Taking taylor expansion of z in y
5.316 * [backup-simplify]: Simplify z into z
5.316 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.316 * [backup-simplify]: Simplify (+ t 0) into t
5.316 * [taylor]: Taking taylor expansion of t in z
5.316 * [backup-simplify]: Simplify t into t
5.316 * [taylor]: Taking taylor expansion of t in z
5.316 * [backup-simplify]: Simplify t into t
5.316 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.317 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.317 * [backup-simplify]: Simplify (+ 0 0) into 0
5.317 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.317 * [backup-simplify]: Simplify (- 0) into 0
5.318 * [backup-simplify]: Simplify (+ 0 0) into 0
5.318 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0
5.318 * [taylor]: Taking taylor expansion of 0 in y
5.318 * [backup-simplify]: Simplify 0 into 0
5.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.319 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
5.319 * [backup-simplify]: Simplify (+ 0 (- (/ t z))) into (- (/ t z))
5.319 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
5.319 * [taylor]: Taking taylor expansion of (/ t z) in z
5.319 * [taylor]: Taking taylor expansion of t in z
5.319 * [backup-simplify]: Simplify t into t
5.319 * [taylor]: Taking taylor expansion of z in z
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify 1 into 1
5.319 * [backup-simplify]: Simplify (/ t 1) into t
5.319 * [backup-simplify]: Simplify (- t) into (- t)
5.319 * [taylor]: Taking taylor expansion of (- t) in t
5.319 * [taylor]: Taking taylor expansion of t in t
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify 1 into 1
5.319 * [backup-simplify]: Simplify (- 0) into 0
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [taylor]: Taking taylor expansion of 0 in z
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [taylor]: Taking taylor expansion of t in t
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify 1 into 1
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [taylor]: Taking taylor expansion of t in t
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify 1 into 1
5.319 * [backup-simplify]: Simplify 0 into 0
5.319 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.320 * [backup-simplify]: Simplify (+ 0 0) into 0
5.320 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.321 * [backup-simplify]: Simplify (- 0) into 0
5.321 * [backup-simplify]: Simplify (+ 0 0) into 0
5.321 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0
5.321 * [taylor]: Taking taylor expansion of 0 in y
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [taylor]: Taking taylor expansion of 0 in z
5.321 * [backup-simplify]: Simplify 0 into 0
5.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.322 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
5.323 * [backup-simplify]: Simplify (- 0) into 0
5.323 * [backup-simplify]: Simplify (+ 0 0) into 0
5.323 * [taylor]: Taking taylor expansion of 0 in z
5.323 * [backup-simplify]: Simplify 0 into 0
5.323 * [taylor]: Taking taylor expansion of 0 in z
5.323 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.324 * [backup-simplify]: Simplify (- 0) into 0
5.324 * [taylor]: Taking taylor expansion of 0 in t
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [taylor]: Taking taylor expansion of 0 in t
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [taylor]: Taking taylor expansion of 0 in t
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (/ 1 (- t))) into (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))
5.324 * [approximate]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
5.324 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
5.324 * [taylor]: Taking taylor expansion of -1 in t
5.324 * [backup-simplify]: Simplify -1 into -1
5.324 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
5.324 * [taylor]: Taking taylor expansion of t in t
5.324 * [backup-simplify]: Simplify 0 into 0
5.324 * [backup-simplify]: Simplify 1 into 1
5.324 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
5.324 * [taylor]: Taking taylor expansion of (/ 1 z) in t
5.324 * [taylor]: Taking taylor expansion of z in t
5.324 * [backup-simplify]: Simplify z into z
5.324 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.324 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
5.324 * [taylor]: Taking taylor expansion of (/ 1 y) in t
5.324 * [taylor]: Taking taylor expansion of y in t
5.325 * [backup-simplify]: Simplify y into y
5.325 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.325 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.325 * [taylor]: Taking taylor expansion of x in t
5.325 * [backup-simplify]: Simplify x into x
5.325 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.325 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
5.325 * [taylor]: Taking taylor expansion of -1 in z
5.325 * [backup-simplify]: Simplify -1 into -1
5.325 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
5.325 * [taylor]: Taking taylor expansion of t in z
5.325 * [backup-simplify]: Simplify t into t
5.325 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
5.325 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.325 * [taylor]: Taking taylor expansion of z in z
5.325 * [backup-simplify]: Simplify 0 into 0
5.325 * [backup-simplify]: Simplify 1 into 1
5.325 * [backup-simplify]: Simplify (/ 1 1) into 1
5.325 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
5.325 * [taylor]: Taking taylor expansion of (/ 1 y) in z
5.325 * [taylor]: Taking taylor expansion of y in z
5.325 * [backup-simplify]: Simplify y into y
5.325 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.325 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.325 * [taylor]: Taking taylor expansion of x in z
5.325 * [backup-simplify]: Simplify x into x
5.325 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.325 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
5.325 * [taylor]: Taking taylor expansion of -1 in y
5.325 * [backup-simplify]: Simplify -1 into -1
5.325 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
5.325 * [taylor]: Taking taylor expansion of t in y
5.325 * [backup-simplify]: Simplify t into t
5.325 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
5.325 * [taylor]: Taking taylor expansion of (/ 1 z) in y
5.325 * [taylor]: Taking taylor expansion of z in y
5.325 * [backup-simplify]: Simplify z into z
5.325 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.325 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
5.325 * [taylor]: Taking taylor expansion of (/ 1 y) in y
5.325 * [taylor]: Taking taylor expansion of y in y
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.326 * [backup-simplify]: Simplify (/ 1 1) into 1
5.326 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.326 * [taylor]: Taking taylor expansion of x in y
5.326 * [backup-simplify]: Simplify x into x
5.326 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
5.326 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
5.326 * [taylor]: Taking taylor expansion of -1 in x
5.326 * [backup-simplify]: Simplify -1 into -1
5.326 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
5.326 * [taylor]: Taking taylor expansion of t in x
5.326 * [backup-simplify]: Simplify t into t
5.326 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
5.326 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.326 * [taylor]: Taking taylor expansion of z in x
5.326 * [backup-simplify]: Simplify z into z
5.326 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.326 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.326 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.326 * [taylor]: Taking taylor expansion of y in x
5.326 * [backup-simplify]: Simplify y into y
5.326 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.326 * [taylor]: Taking taylor expansion of x in x
5.326 * [backup-simplify]: Simplify 0 into 0
5.326 * [backup-simplify]: Simplify 1 into 1
5.326 * [backup-simplify]: Simplify (/ 1 1) into 1
5.326 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
5.326 * [taylor]: Taking taylor expansion of -1 in x
5.327 * [backup-simplify]: Simplify -1 into -1
5.327 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
5.327 * [taylor]: Taking taylor expansion of t in x
5.327 * [backup-simplify]: Simplify t into t
5.327 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
5.327 * [taylor]: Taking taylor expansion of (/ 1 z) in x
5.327 * [taylor]: Taking taylor expansion of z in x
5.327 * [backup-simplify]: Simplify z into z
5.327 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.327 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
5.327 * [taylor]: Taking taylor expansion of (/ 1 y) in x
5.327 * [taylor]: Taking taylor expansion of y in x
5.327 * [backup-simplify]: Simplify y into y
5.327 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
5.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.327 * [taylor]: Taking taylor expansion of x in x
5.327 * [backup-simplify]: Simplify 0 into 0
5.327 * [backup-simplify]: Simplify 1 into 1
5.327 * [backup-simplify]: Simplify (/ 1 1) into 1
5.327 * [backup-simplify]: Simplify (+ 0 1) into 1
5.328 * [backup-simplify]: Simplify (- 1) into -1
5.328 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.328 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
5.328 * [backup-simplify]: Simplify (* -1 (* -1 t)) into t
5.328 * [taylor]: Taking taylor expansion of t in y
5.328 * [backup-simplify]: Simplify t into t
5.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.328 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
5.329 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
5.329 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
5.329 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y))
5.329 * [backup-simplify]: Simplify (+ (* -1 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (/ t y) (/ t z))
5.329 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t z)) in y
5.329 * [taylor]: Taking taylor expansion of (/ t y) in y
5.329 * [taylor]: Taking taylor expansion of t in y
5.329 * [backup-simplify]: Simplify t into t
5.329 * [taylor]: Taking taylor expansion of y in y
5.329 * [backup-simplify]: Simplify 0 into 0
5.329 * [backup-simplify]: Simplify 1 into 1
5.329 * [backup-simplify]: Simplify (/ t 1) into t
5.329 * [taylor]: Taking taylor expansion of (/ t z) in y
5.329 * [taylor]: Taking taylor expansion of t in y
5.329 * [backup-simplify]: Simplify t into t
5.329 * [taylor]: Taking taylor expansion of z in y
5.329 * [backup-simplify]: Simplify z into z
5.329 * [backup-simplify]: Simplify (/ t z) into (/ t z)
5.329 * [backup-simplify]: Simplify (+ t 0) into t
5.329 * [taylor]: Taking taylor expansion of t in z
5.329 * [backup-simplify]: Simplify t into t
5.330 * [taylor]: Taking taylor expansion of t in z
5.330 * [backup-simplify]: Simplify t into t
5.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
5.330 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
5.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.330 * [backup-simplify]: Simplify (+ 0 0) into 0
5.331 * [backup-simplify]: Simplify (- 0) into 0
5.331 * [backup-simplify]: Simplify (+ 0 0) into 0
5.331 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0
5.332 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0
5.332 * [taylor]: Taking taylor expansion of 0 in y
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.332 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
5.332 * [backup-simplify]: Simplify (+ 0 (- (/ t z))) into (- (/ t z))
5.332 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
5.332 * [taylor]: Taking taylor expansion of (/ t z) in z
5.332 * [taylor]: Taking taylor expansion of t in z
5.332 * [backup-simplify]: Simplify t into t
5.332 * [taylor]: Taking taylor expansion of z in z
5.332 * [backup-simplify]: Simplify 0 into 0
5.332 * [backup-simplify]: Simplify 1 into 1
5.333 * [backup-simplify]: Simplify (/ t 1) into t
5.333 * [backup-simplify]: Simplify (- t) into (- t)
5.333 * [taylor]: Taking taylor expansion of (- t) in t
5.333 * [taylor]: Taking taylor expansion of t in t
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 1 into 1
5.333 * [backup-simplify]: Simplify (- 0) into 0
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [taylor]: Taking taylor expansion of 0 in z
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [taylor]: Taking taylor expansion of t in t
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 1 into 1
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [taylor]: Taking taylor expansion of t in t
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify 1 into 1
5.333 * [backup-simplify]: Simplify 0 into 0
5.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
5.333 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
5.334 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.334 * [backup-simplify]: Simplify (+ 0 0) into 0
5.334 * [backup-simplify]: Simplify (- 0) into 0
5.335 * [backup-simplify]: Simplify (+ 0 0) into 0
5.335 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0
5.336 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0
5.336 * [taylor]: Taking taylor expansion of 0 in y
5.336 * [backup-simplify]: Simplify 0 into 0
5.336 * [taylor]: Taking taylor expansion of 0 in z
5.336 * [backup-simplify]: Simplify 0 into 0
5.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.337 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
5.337 * [backup-simplify]: Simplify (- 0) into 0
5.337 * [backup-simplify]: Simplify (+ 0 0) into 0
5.337 * [taylor]: Taking taylor expansion of 0 in z
5.337 * [backup-simplify]: Simplify 0 into 0
5.337 * [taylor]: Taking taylor expansion of 0 in z
5.337 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.338 * [backup-simplify]: Simplify (- 0) into 0
5.338 * [taylor]: Taking taylor expansion of 0 in t
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [taylor]: Taking taylor expansion of 0 in t
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [taylor]: Taking taylor expansion of 0 in t
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * [backup-simplify]: Simplify 0 into 0
5.338 * * * [progress]: simplifying candidates
5.339 * [simplify]: Simplifying:
  (- (log (- (+ x y) z)) (log t))
  (log (/ (- (+ x y) z) t))
  (exp (/ (- (+ x y) z) t))
  (/ (* (* (- (+ x y) z) (- (+ x y) z)) (- (+ x y) z)) (* (* t t) 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 y) z))
  (- t)
  (/ (+ x y) t)
  (/ z t)
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (- (+ x y) z)) (cbrt t))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (sqrt t))
  (/ (cbrt (- (+ x y) z)) (sqrt t))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) 1)
  (/ (cbrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- (+ x y) z)) (cbrt t))
  (/ (sqrt (- (+ x y) z)) (sqrt t))
  (/ (sqrt (- (+ x y) z)) (sqrt t))
  (/ (sqrt (- (+ x y) z)) 1)
  (/ (sqrt (- (+ x y) z)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  (/ 1 1)
  (/ (- (+ x y) z) t)
  (/ (+ (sqrt (+ x y)) (sqrt z)) (* (cbrt t) (cbrt t)))
  (/ (- (sqrt (+ x y)) (sqrt z)) (cbrt t))
  (/ (+ (sqrt (+ x y)) (sqrt z)) (sqrt t))
  (/ (- (sqrt (+ x y)) (sqrt z)) (sqrt t))
  (/ (+ (sqrt (+ x y)) (sqrt z)) 1)
  (/ (- (sqrt (+ x y)) (sqrt z)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  (/ 1 1)
  (/ (- (+ x y) z) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  (/ 1 1)
  (/ (- (+ x y) z) t)
  (/ 1 t)
  (/ t (- (+ x y) z))
  (/ (- (+ x y) z) (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (sqrt t))
  (/ (- (+ x y) z) 1)
  (/ t (cbrt (- (+ x y) z)))
  (/ t (sqrt (- (+ x y) z)))
  (/ t (- (+ x y) z))
  (/ t (- (sqrt (+ x y)) (sqrt z)))
  (/ t (- (+ x y) z))
  (/ t (- (+ x y) z))
  (* t (+ (* (+ x y) (+ x y)) (+ (* z z) (* (+ x y) z))))
  (* t (+ (+ x y) z))
  (- (+ (/ y t) (/ x t)) (/ z t))
  0
  0
5.340 * * [simplify]: Extracting # 0 : cost  0
5.340 * * [simplify]: Extracting # 1 : cost  0
5.340 * * [simplify]: Extracting # 2 : cost  0
5.340 * * [simplify]: Extracting # 3 : cost  0
5.340 * * [simplify]: Extracting # 4 : cost  0
5.340 * * [simplify]: Extracting # 5 : cost  0
5.341 * * [simplify]: Extracting # 6 : cost  0
5.341 * * [simplify]: iteration  0 :  79  enodes  (cost  552 )
5.359 * * [simplify]: Extracting # 0 : cost  0
5.360 * * [simplify]: Extracting # 1 : cost  0
5.360 * * [simplify]: Extracting # 2 : cost  0
5.360 * * [simplify]: iteration  1 :  176  enodes  (cost  535 )
5.409 * * [simplify]: Extracting # 0 : cost  0
5.410 * * [simplify]: Extracting # 1 : cost  0
5.411 * * [simplify]: Extracting # 2 : cost  0
5.413 * * [simplify]: Extracting # 3 : cost  0
5.414 * * [simplify]: iteration  2 :  470  enodes  (cost  507 )
5.688 * * [simplify]: Extracting # 0 : cost  0
5.690 * * [simplify]: Extracting # 1 : cost  0
5.691 * * [simplify]: Extracting # 2 : cost  0
5.698 * * [simplify]: Extracting # 3 : cost  0
5.699 * * [simplify]: iteration  3 :  1582  enodes  (cost  505 )
6.469 * * [simplify]: Extracting # 0 : cost  0
6.479 * * [simplify]: Extracting # 1 : cost  0
6.499 * * [simplify]: Extracting # 2 : cost  0
6.507 * * [simplify]: Extracting # 3 : cost  0
6.513 * * [simplify]: Extracting # 4 : cost  0
6.520 * * [simplify]: iteration done:  5000  enodes  (cost  505 )
6.520 * [simplify]: Simplified to:
  (log (/ (- (+ x y) z) t))
  (log (/ (- (+ x y) z) t))
  (exp (/ (- (+ x y) z) t))
  (pow (/ (- (+ x y) z) t) 3)
  (* (cbrt (/ (- (+ x y) z) t)) (cbrt (/ (- (+ x y) z) t)))
  (cbrt (/ (- (+ x y) z) t))
  (pow (/ (- (+ x y) z) t) 3)
  (sqrt (/ (- (+ x y) z) t))
  (sqrt (/ (- (+ x y) z) t))
  (- (- (+ x y) z))
  (- t)
  (/ (+ x y) t)
  (/ z t)
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (- (+ x y) z)) (cbrt t))
  (/ (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z))) (sqrt t))
  (/ (cbrt (- (+ x y) z)) (sqrt t))
  (* (cbrt (- (+ x y) z)) (cbrt (- (+ x y) z)))
  (/ (cbrt (- (+ x y) z)) t)
  (/ (sqrt (- (+ x y) z)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- (+ x y) z)) (cbrt t))
  (/ (sqrt (- (+ x y) z)) (sqrt t))
  (/ (sqrt (- (+ x y) z)) (sqrt t))
  (sqrt (- (+ x y) z))
  (/ (sqrt (- (+ x y) z)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  1
  (/ (- (+ x y) z) t)
  (/ (+ (sqrt (+ x y)) (sqrt z)) (* (cbrt t) (cbrt t)))
  (/ (- (sqrt (+ x y)) (sqrt z)) (cbrt t))
  (/ (+ (sqrt (+ x y)) (sqrt z)) (sqrt t))
  (/ (- (sqrt (+ x y)) (sqrt z)) (sqrt t))
  (+ (sqrt (+ x y)) (sqrt z))
  (/ (- (sqrt (+ x y)) (sqrt z)) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  1
  (/ (- (+ x y) z) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (cbrt t))
  (/ 1 (sqrt t))
  (/ (- (+ x y) z) (sqrt t))
  1
  (/ (- (+ x y) z) t)
  (/ 1 t)
  (/ t (- (+ x y) z))
  (/ (- (+ x y) z) (* (cbrt t) (cbrt t)))
  (/ (- (+ x y) z) (sqrt t))
  (- (+ x y) z)
  (/ t (cbrt (- (+ x y) z)))
  (/ t (sqrt (- (+ x y) z)))
  (/ t (- (+ x y) z))
  (/ t (- (sqrt (+ x y)) (sqrt z)))
  (/ t (- (+ x y) z))
  (/ t (- (+ x y) z))
  (* (+ (* (+ x y) (+ (+ x y) z)) (* z z)) t)
  (* t (+ (+ x y) z))
  (- (+ (/ y t) (/ x t)) (/ z t))
  0
  0
6.520 * * * [progress]: adding candidates to table
6.642 * [progress]: [Phase 3 of 3] Extracting.
6.642 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))> #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>)
6.643 * * * [regime-changes]: Trying 6 branch expressions: ((+ x y) (- (+ x y) z) t z y x)
6.643 * * * * [regimes]: Trying to branch on (+ x y) from (#<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))> #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>)
6.661 * * * * [regimes]: Trying to branch on (- (+ x y) z) from (#<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))> #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>)
6.683 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))> #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>)
6.716 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))> #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>)
6.745 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))> #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>)
6.777 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (/ (/ (- (+ x y) z) t) 2.0))> #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>)
6.801 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
6.801 * [simplify]: Simplifying:
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
6.802 * * [simplify]: Extracting # 0 : cost  0
6.802 * * [simplify]: Extracting # 1 : cost  0
6.802 * * [simplify]: Extracting # 2 : cost  0
6.802 * * [simplify]: Extracting # 3 : cost  0
6.802 * * [simplify]: Extracting # 4 : cost  0
6.802 * * [simplify]: Extracting # 5 : cost  0
6.802 * * [simplify]: Extracting # 6 : cost  0
6.802 * * [simplify]: iteration  0 :  11  enodes  (cost  13 )
6.802 * * [simplify]: Extracting # 0 : cost  0
6.802 * * [simplify]: iteration  1 :  13  enodes  (cost  13 )
6.803 * * [simplify]: Extracting # 0 : cost  0
6.803 * * [simplify]: iteration done:  13  enodes  (cost  13 )
6.803 * [simplify]: Simplified to:
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
8.251 * [regime-testing]: Baseline error score: 0.06908175553203164
8.254 * [regime-testing]: Oracle error score: 0.055256907113389174
8.258 * [regime-testing]: End program error score: 0.06908175553203164