6.802 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying:
  (/ (- (+ x y) z) (* t 2.0))
0.037 * * [simplify]: Extracting # 0 : cost  0
0.037 * * [simplify]: Extracting # 1 : cost  0
0.037 * * [simplify]: Extracting # 2 : cost  0
0.037 * * [simplify]: Extracting # 3 : cost  0
0.037 * * [simplify]: Extracting # 4 : cost  0
0.037 * * [simplify]: Extracting # 5 : cost  0
0.037 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.039 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
0.044 * * [simplify]: Extracting # 0 : cost  0
0.044 * * [simplify]: Extracting # 1 : cost  0
0.044 * * [simplify]: Extracting # 2 : cost  0
0.044 * * [simplify]: iteration  2 :  41  enodes  (cost  9 )
0.050 * * [simplify]: Extracting # 0 : cost  0
0.051 * * [simplify]: Extracting # 1 : cost  0
0.051 * * [simplify]: Extracting # 2 : cost  0
0.051 * * [simplify]: iteration  3 :  57  enodes  (cost  9 )
0.059 * * [simplify]: Extracting # 0 : cost  0
0.059 * * [simplify]: Extracting # 1 : cost  0
0.059 * * [simplify]: Extracting # 2 : cost  0
0.059 * * [simplify]: iteration  4 :  76  enodes  (cost  9 )
0.080 * * [simplify]: Extracting # 0 : cost  0
0.081 * * [simplify]: Extracting # 1 : cost  0
0.081 * * [simplify]: Extracting # 2 : cost  0
0.081 * * [simplify]: iteration  5 :  110  enodes  (cost  9 )
0.118 * * [simplify]: Extracting # 0 : cost  0
0.118 * * [simplify]: Extracting # 1 : cost  0
0.118 * * [simplify]: Extracting # 2 : cost  0
0.119 * * [simplify]: iteration  6 :  166  enodes  (cost  9 )
0.174 * * [simplify]: Extracting # 0 : cost  0
0.175 * * [simplify]: Extracting # 1 : cost  0
0.175 * * [simplify]: Extracting # 2 : cost  0
0.175 * * [simplify]: iteration  7 :  220  enodes  (cost  9 )
0.239 * * [simplify]: Extracting # 0 : cost  0
0.239 * * [simplify]: Extracting # 1 : cost  0
0.240 * * [simplify]: Extracting # 2 : cost  0
0.240 * * [simplify]: iteration  8 :  319  enodes  (cost  9 )
0.352 * * [simplify]: Extracting # 0 : cost  0
0.352 * * [simplify]: Extracting # 1 : cost  0
0.353 * * [simplify]: Extracting # 2 : cost  0
0.354 * * [simplify]: iteration  9 :  423  enodes  (cost  9 )
0.469 * * [simplify]: Extracting # 0 : cost  0
0.470 * * [simplify]: Extracting # 1 : cost  0
0.470 * * [simplify]: Extracting # 2 : cost  0
0.470 * * [simplify]: iteration  10 :  479  enodes  (cost  9 )
0.577 * * [simplify]: Extracting # 0 : cost  0
0.578 * * [simplify]: Extracting # 1 : cost  0
0.578 * * [simplify]: iteration  11 :  500  enodes  (cost  9 )
0.679 * * [simplify]: Extracting # 0 : cost  0
0.679 * * [simplify]: Extracting # 1 : cost  0
0.680 * * [simplify]: Extracting # 2 : cost  0
0.680 * * [simplify]: iteration  12 :  510  enodes  (cost  9 )
0.760 * * [simplify]: Extracting # 0 : cost  0
0.760 * * [simplify]: Extracting # 1 : cost  0
0.760 * * [simplify]: iteration done:  510  enodes  (cost  9 )
0.760 * [simplify]: Simplified to:
  (/ (- (+ x y) z) (* t 2.0))
0.761 * * [progress]: iteration 1 / 4
0.761 * * * [progress]: picking best candidate
0.763 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))>
0.763 * * * [progress]: localizing error
0.771 * * * [progress]: generating rewritten candidates
0.771 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.887 * * * [progress]: generating series expansions
0.887 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.887 * [backup-simplify]: Simplify (/ (- (+ x y) z) (* t 2.0)) into (* 0.5 (/ (- (+ x y) z) t))
0.888 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (x y z t) around 0
0.888 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t
0.888 * [taylor]: Taking taylor expansion of 0.5 in t
0.888 * [backup-simplify]: Simplify 0.5 into 0.5
0.888 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
0.888 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
0.888 * [taylor]: Taking taylor expansion of (+ x y) in t
0.888 * [taylor]: Taking taylor expansion of x in t
0.888 * [backup-simplify]: Simplify x into x
0.888 * [taylor]: Taking taylor expansion of y in t
0.888 * [backup-simplify]: Simplify y into y
0.888 * [taylor]: Taking taylor expansion of z in t
0.888 * [backup-simplify]: Simplify z into z
0.888 * [taylor]: Taking taylor expansion of t in t
0.888 * [backup-simplify]: Simplify 0 into 0
0.888 * [backup-simplify]: Simplify 1 into 1
0.888 * [backup-simplify]: Simplify (+ x y) into (+ x y)
0.888 * [backup-simplify]: Simplify (- z) into (- z)
0.888 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
0.888 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
0.888 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z
0.888 * [taylor]: Taking taylor expansion of 0.5 in z
0.888 * [backup-simplify]: Simplify 0.5 into 0.5
0.888 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
0.888 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
0.888 * [taylor]: Taking taylor expansion of (+ x y) in z
0.888 * [taylor]: Taking taylor expansion of x in z
0.888 * [backup-simplify]: Simplify x into x
0.888 * [taylor]: Taking taylor expansion of y in z
0.888 * [backup-simplify]: Simplify y into y
0.888 * [taylor]: Taking taylor expansion of z in z
0.888 * [backup-simplify]: Simplify 0 into 0
0.889 * [backup-simplify]: Simplify 1 into 1
0.889 * [taylor]: Taking taylor expansion of t in z
0.889 * [backup-simplify]: Simplify t into t
0.889 * [backup-simplify]: Simplify (+ x y) into (+ x y)
0.889 * [backup-simplify]: Simplify (- 0) into 0
0.889 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
0.889 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
0.890 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y
0.890 * [taylor]: Taking taylor expansion of 0.5 in y
0.890 * [backup-simplify]: Simplify 0.5 into 0.5
0.890 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
0.890 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
0.890 * [taylor]: Taking taylor expansion of (+ x y) in y
0.890 * [taylor]: Taking taylor expansion of x in y
0.890 * [backup-simplify]: Simplify x into x
0.890 * [taylor]: Taking taylor expansion of y in y
0.890 * [backup-simplify]: Simplify 0 into 0
0.890 * [backup-simplify]: Simplify 1 into 1
0.890 * [taylor]: Taking taylor expansion of z in y
0.890 * [backup-simplify]: Simplify z into z
0.890 * [taylor]: Taking taylor expansion of t in y
0.890 * [backup-simplify]: Simplify t into t
0.890 * [backup-simplify]: Simplify (+ x 0) into x
0.890 * [backup-simplify]: Simplify (- z) into (- z)
0.890 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
0.890 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
0.890 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
0.890 * [taylor]: Taking taylor expansion of 0.5 in x
0.890 * [backup-simplify]: Simplify 0.5 into 0.5
0.890 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
0.890 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
0.890 * [taylor]: Taking taylor expansion of (+ x y) in x
0.890 * [taylor]: Taking taylor expansion of x in x
0.890 * [backup-simplify]: Simplify 0 into 0
0.890 * [backup-simplify]: Simplify 1 into 1
0.890 * [taylor]: Taking taylor expansion of y in x
0.890 * [backup-simplify]: Simplify y into y
0.890 * [taylor]: Taking taylor expansion of z in x
0.890 * [backup-simplify]: Simplify z into z
0.890 * [taylor]: Taking taylor expansion of t in x
0.890 * [backup-simplify]: Simplify t into t
0.890 * [backup-simplify]: Simplify (+ 0 y) into y
0.891 * [backup-simplify]: Simplify (- z) into (- z)
0.891 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
0.891 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
0.891 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
0.891 * [taylor]: Taking taylor expansion of 0.5 in x
0.891 * [backup-simplify]: Simplify 0.5 into 0.5
0.891 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
0.891 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
0.891 * [taylor]: Taking taylor expansion of (+ x y) in x
0.891 * [taylor]: Taking taylor expansion of x in x
0.891 * [backup-simplify]: Simplify 0 into 0
0.891 * [backup-simplify]: Simplify 1 into 1
0.891 * [taylor]: Taking taylor expansion of y in x
0.891 * [backup-simplify]: Simplify y into y
0.891 * [taylor]: Taking taylor expansion of z in x
0.891 * [backup-simplify]: Simplify z into z
0.891 * [taylor]: Taking taylor expansion of t in x
0.891 * [backup-simplify]: Simplify t into t
0.891 * [backup-simplify]: Simplify (+ 0 y) into y
0.891 * [backup-simplify]: Simplify (- z) into (- z)
0.891 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
0.891 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
0.891 * [backup-simplify]: Simplify (* 0.5 (/ (- y z) t)) into (* 0.5 (/ (- y z) t))
0.891 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y z) t)) in y
0.892 * [taylor]: Taking taylor expansion of 0.5 in y
0.892 * [backup-simplify]: Simplify 0.5 into 0.5
0.892 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
0.892 * [taylor]: Taking taylor expansion of (- y z) in y
0.892 * [taylor]: Taking taylor expansion of y in y
0.892 * [backup-simplify]: Simplify 0 into 0
0.892 * [backup-simplify]: Simplify 1 into 1
0.892 * [taylor]: Taking taylor expansion of z in y
0.892 * [backup-simplify]: Simplify z into z
0.892 * [taylor]: Taking taylor expansion of t in y
0.892 * [backup-simplify]: Simplify t into t
0.892 * [backup-simplify]: Simplify (- z) into (- z)
0.892 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
0.892 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t))
0.892 * [backup-simplify]: Simplify (* 0.5 (* -1 (/ z t))) into (* -0.5 (/ z t))
0.892 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in z
0.892 * [taylor]: Taking taylor expansion of -0.5 in z
0.892 * [backup-simplify]: Simplify -0.5 into -0.5
0.892 * [taylor]: Taking taylor expansion of (/ z t) in z
0.892 * [taylor]: Taking taylor expansion of z in z
0.892 * [backup-simplify]: Simplify 0 into 0
0.892 * [backup-simplify]: Simplify 1 into 1
0.892 * [taylor]: Taking taylor expansion of t in z
0.892 * [backup-simplify]: Simplify t into t
0.892 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.893 * [backup-simplify]: Simplify (+ 1 0) into 1
0.893 * [backup-simplify]: Simplify (- 0) into 0
0.894 * [backup-simplify]: Simplify (+ 1 0) into 1
0.894 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t)
0.894 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ (- y z) t))) into (* 0.5 (/ 1 t))
0.894 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
0.894 * [taylor]: Taking taylor expansion of 0.5 in y
0.894 * [backup-simplify]: Simplify 0.5 into 0.5
0.894 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.895 * [taylor]: Taking taylor expansion of t in y
0.895 * [backup-simplify]: Simplify t into t
0.895 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.895 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
0.895 * [taylor]: Taking taylor expansion of (/ 0.5 t) in z
0.895 * [taylor]: Taking taylor expansion of 0.5 in z
0.895 * [backup-simplify]: Simplify 0.5 into 0.5
0.895 * [taylor]: Taking taylor expansion of t in z
0.895 * [backup-simplify]: Simplify t into t
0.895 * [backup-simplify]: Simplify (/ 0.5 t) into (/ 0.5 t)
0.895 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
0.895 * [taylor]: Taking taylor expansion of 0.5 in t
0.895 * [backup-simplify]: Simplify 0.5 into 0.5
0.895 * [taylor]: Taking taylor expansion of t in t
0.895 * [backup-simplify]: Simplify 0 into 0
0.895 * [backup-simplify]: Simplify 1 into 1
0.896 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
0.896 * [backup-simplify]: Simplify 0.5 into 0.5
0.896 * [backup-simplify]: Simplify (- 0) into 0
0.897 * [backup-simplify]: Simplify (+ 1 0) into 1
0.897 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t)
0.897 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (* -1 (/ z t)))) into (* 0.5 (/ 1 t))
0.897 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in z
0.897 * [taylor]: Taking taylor expansion of 0.5 in z
0.897 * [backup-simplify]: Simplify 0.5 into 0.5
0.897 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.897 * [taylor]: Taking taylor expansion of t in z
0.897 * [backup-simplify]: Simplify t into t
0.897 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.897 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
0.897 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
0.897 * [taylor]: Taking taylor expansion of 0.5 in t
0.897 * [backup-simplify]: Simplify 0.5 into 0.5
0.897 * [taylor]: Taking taylor expansion of t in t
0.897 * [backup-simplify]: Simplify 0 into 0
0.897 * [backup-simplify]: Simplify 1 into 1
0.898 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
0.898 * [backup-simplify]: Simplify 0.5 into 0.5
0.898 * [backup-simplify]: Simplify (* -0.5 (/ 1 t)) into (/ -0.5 t)
0.898 * [taylor]: Taking taylor expansion of (/ -0.5 t) in t
0.898 * [taylor]: Taking taylor expansion of -0.5 in t
0.898 * [backup-simplify]: Simplify -0.5 into -0.5
0.898 * [taylor]: Taking taylor expansion of t in t
0.898 * [backup-simplify]: Simplify 0 into 0
0.898 * [backup-simplify]: Simplify 1 into 1
0.899 * [backup-simplify]: Simplify (/ -0.5 1) into -0.5
0.899 * [backup-simplify]: Simplify -0.5 into -0.5
0.899 * [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.900 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))))
0.900 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (x y z t) around 0
0.900 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
0.900 * [taylor]: Taking taylor expansion of 0.5 in t
0.900 * [backup-simplify]: Simplify 0.5 into 0.5
0.900 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
0.900 * [taylor]: Taking taylor expansion of t in t
0.900 * [backup-simplify]: Simplify 0 into 0
0.900 * [backup-simplify]: Simplify 1 into 1
0.900 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
0.900 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.900 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.900 * [taylor]: Taking taylor expansion of y in t
0.900 * [backup-simplify]: Simplify y into y
0.900 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.900 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.900 * [taylor]: Taking taylor expansion of x in t
0.900 * [backup-simplify]: Simplify x into x
0.900 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.900 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.900 * [taylor]: Taking taylor expansion of z in t
0.900 * [backup-simplify]: Simplify z into z
0.900 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.900 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
0.900 * [taylor]: Taking taylor expansion of 0.5 in z
0.901 * [backup-simplify]: Simplify 0.5 into 0.5
0.901 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
0.901 * [taylor]: Taking taylor expansion of t in z
0.901 * [backup-simplify]: Simplify t into t
0.901 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
0.901 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.901 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.901 * [taylor]: Taking taylor expansion of y in z
0.901 * [backup-simplify]: Simplify y into y
0.901 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.901 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.901 * [taylor]: Taking taylor expansion of x in z
0.901 * [backup-simplify]: Simplify x into x
0.901 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.901 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.901 * [taylor]: Taking taylor expansion of z in z
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [backup-simplify]: Simplify 1 into 1
0.901 * [backup-simplify]: Simplify (/ 1 1) into 1
0.901 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
0.901 * [taylor]: Taking taylor expansion of 0.5 in y
0.901 * [backup-simplify]: Simplify 0.5 into 0.5
0.901 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
0.901 * [taylor]: Taking taylor expansion of t in y
0.902 * [backup-simplify]: Simplify t into t
0.902 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.902 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.902 * [taylor]: Taking taylor expansion of y in y
0.902 * [backup-simplify]: Simplify 0 into 0
0.902 * [backup-simplify]: Simplify 1 into 1
0.902 * [backup-simplify]: Simplify (/ 1 1) into 1
0.902 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.902 * [taylor]: Taking taylor expansion of x in y
0.902 * [backup-simplify]: Simplify x into x
0.902 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.902 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.902 * [taylor]: Taking taylor expansion of z in y
0.902 * [backup-simplify]: Simplify z into z
0.902 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.902 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
0.902 * [taylor]: Taking taylor expansion of 0.5 in x
0.902 * [backup-simplify]: Simplify 0.5 into 0.5
0.902 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
0.902 * [taylor]: Taking taylor expansion of t in x
0.902 * [backup-simplify]: Simplify t into t
0.902 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
0.902 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.903 * [taylor]: Taking taylor expansion of y in x
0.903 * [backup-simplify]: Simplify y into y
0.903 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.903 * [taylor]: Taking taylor expansion of x in x
0.903 * [backup-simplify]: Simplify 0 into 0
0.903 * [backup-simplify]: Simplify 1 into 1
0.903 * [backup-simplify]: Simplify (/ 1 1) into 1
0.903 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.903 * [taylor]: Taking taylor expansion of z in x
0.903 * [backup-simplify]: Simplify z into z
0.903 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.903 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
0.903 * [taylor]: Taking taylor expansion of 0.5 in x
0.903 * [backup-simplify]: Simplify 0.5 into 0.5
0.903 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
0.903 * [taylor]: Taking taylor expansion of t in x
0.903 * [backup-simplify]: Simplify t into t
0.903 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
0.903 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.903 * [taylor]: Taking taylor expansion of y in x
0.903 * [backup-simplify]: Simplify y into y
0.904 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.904 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.904 * [taylor]: Taking taylor expansion of x in x
0.904 * [backup-simplify]: Simplify 0 into 0
0.904 * [backup-simplify]: Simplify 1 into 1
0.904 * [backup-simplify]: Simplify (/ 1 1) into 1
0.904 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.904 * [taylor]: Taking taylor expansion of z in x
0.904 * [backup-simplify]: Simplify z into z
0.904 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.905 * [backup-simplify]: Simplify (+ 0 1) into 1
0.905 * [backup-simplify]: Simplify (+ 1 0) into 1
0.905 * [backup-simplify]: Simplify (* t 1) into t
0.905 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.905 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
0.905 * [taylor]: Taking taylor expansion of 0.5 in y
0.905 * [backup-simplify]: Simplify 0.5 into 0.5
0.905 * [taylor]: Taking taylor expansion of t in y
0.905 * [backup-simplify]: Simplify t into t
0.906 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.907 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.907 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.907 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
0.907 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z))
0.908 * [backup-simplify]: Simplify (+ (* 0.5 (- (/ t y) (/ t z))) (* 0 t)) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
0.908 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
0.908 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
0.908 * [taylor]: Taking taylor expansion of 0.5 in y
0.908 * [backup-simplify]: Simplify 0.5 into 0.5
0.908 * [taylor]: Taking taylor expansion of (/ t y) in y
0.908 * [taylor]: Taking taylor expansion of t in y
0.908 * [backup-simplify]: Simplify t into t
0.908 * [taylor]: Taking taylor expansion of y in y
0.908 * [backup-simplify]: Simplify 0 into 0
0.908 * [backup-simplify]: Simplify 1 into 1
0.908 * [backup-simplify]: Simplify (/ t 1) into t
0.908 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
0.908 * [taylor]: Taking taylor expansion of 0.5 in y
0.908 * [backup-simplify]: Simplify 0.5 into 0.5
0.908 * [taylor]: Taking taylor expansion of (/ t z) in y
0.908 * [taylor]: Taking taylor expansion of t in y
0.908 * [backup-simplify]: Simplify t into t
0.908 * [taylor]: Taking taylor expansion of z in y
0.908 * [backup-simplify]: Simplify z into z
0.908 * [backup-simplify]: Simplify (/ t z) into (/ t z)
0.908 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.909 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
0.909 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.909 * [taylor]: Taking taylor expansion of 0.5 in z
0.909 * [backup-simplify]: Simplify 0.5 into 0.5
0.909 * [taylor]: Taking taylor expansion of t in z
0.909 * [backup-simplify]: Simplify t into t
0.909 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.909 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.909 * [taylor]: Taking taylor expansion of 0.5 in z
0.909 * [backup-simplify]: Simplify 0.5 into 0.5
0.909 * [taylor]: Taking taylor expansion of t in z
0.909 * [backup-simplify]: Simplify t into t
0.909 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.910 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.910 * [backup-simplify]: Simplify (+ 0 0) into 0
0.910 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.911 * [backup-simplify]: Simplify (- 0) into 0
0.911 * [backup-simplify]: Simplify (+ 0 0) into 0
0.911 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0
0.912 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t))) into 0
0.912 * [taylor]: Taking taylor expansion of 0 in y
0.912 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.913 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.913 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
0.914 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
0.914 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
0.914 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
0.914 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
0.914 * [taylor]: Taking taylor expansion of 0.5 in z
0.914 * [backup-simplify]: Simplify 0.5 into 0.5
0.914 * [taylor]: Taking taylor expansion of (/ t z) in z
0.914 * [taylor]: Taking taylor expansion of t in z
0.914 * [backup-simplify]: Simplify t into t
0.914 * [taylor]: Taking taylor expansion of z in z
0.914 * [backup-simplify]: Simplify 0 into 0
0.914 * [backup-simplify]: Simplify 1 into 1
0.914 * [backup-simplify]: Simplify (/ t 1) into t
0.914 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.914 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
0.914 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
0.914 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.914 * [taylor]: Taking taylor expansion of 0.5 in t
0.914 * [backup-simplify]: Simplify 0.5 into 0.5
0.914 * [taylor]: Taking taylor expansion of t in t
0.914 * [backup-simplify]: Simplify 0 into 0
0.914 * [backup-simplify]: Simplify 1 into 1
0.915 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.915 * [backup-simplify]: Simplify (- 0) into 0
0.915 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.916 * [taylor]: Taking taylor expansion of 0 in z
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.916 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.916 * [taylor]: Taking taylor expansion of 0.5 in t
0.916 * [backup-simplify]: Simplify 0.5 into 0.5
0.916 * [taylor]: Taking taylor expansion of t in t
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify 1 into 1
0.916 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.916 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.916 * [taylor]: Taking taylor expansion of 0.5 in t
0.916 * [backup-simplify]: Simplify 0.5 into 0.5
0.916 * [taylor]: Taking taylor expansion of t in t
0.916 * [backup-simplify]: Simplify 0 into 0
0.916 * [backup-simplify]: Simplify 1 into 1
0.917 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.918 * [backup-simplify]: Simplify (+ 0 0) into 0
0.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.919 * [backup-simplify]: Simplify (- 0) into 0
0.919 * [backup-simplify]: Simplify (+ 0 0) into 0
0.920 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0
0.921 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t)))) into 0
0.921 * [taylor]: Taking taylor expansion of 0 in y
0.921 * [backup-simplify]: Simplify 0 into 0
0.921 * [taylor]: Taking taylor expansion of 0 in z
0.921 * [backup-simplify]: Simplify 0 into 0
0.922 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.923 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.923 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
0.923 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
0.924 * [backup-simplify]: Simplify (- 0) into 0
0.924 * [backup-simplify]: Simplify (+ 0 0) into 0
0.924 * [taylor]: Taking taylor expansion of 0 in z
0.924 * [backup-simplify]: Simplify 0 into 0
0.925 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.925 * [taylor]: Taking taylor expansion of 0 in z
0.925 * [backup-simplify]: Simplify 0 into 0
0.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.926 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.926 * [backup-simplify]: Simplify (- 0) into 0
0.926 * [taylor]: Taking taylor expansion of 0 in t
0.926 * [backup-simplify]: Simplify 0 into 0
0.926 * [backup-simplify]: Simplify 0 into 0
0.926 * [taylor]: Taking taylor expansion of 0 in t
0.926 * [backup-simplify]: Simplify 0 into 0
0.926 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.927 * [taylor]: Taking taylor expansion of 0 in t
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (* (/ 1 (- t)) 2.0)) into (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))
0.927 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
0.927 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
0.927 * [taylor]: Taking taylor expansion of -0.5 in t
0.928 * [backup-simplify]: Simplify -0.5 into -0.5
0.928 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
0.928 * [taylor]: Taking taylor expansion of t in t
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 1 into 1
0.928 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
0.928 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.928 * [taylor]: Taking taylor expansion of z in t
0.928 * [backup-simplify]: Simplify z into z
0.928 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.928 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.928 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.928 * [taylor]: Taking taylor expansion of y in t
0.928 * [backup-simplify]: Simplify y into y
0.928 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.928 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.928 * [taylor]: Taking taylor expansion of x in t
0.928 * [backup-simplify]: Simplify x into x
0.928 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.928 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
0.928 * [taylor]: Taking taylor expansion of -0.5 in z
0.928 * [backup-simplify]: Simplify -0.5 into -0.5
0.928 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
0.928 * [taylor]: Taking taylor expansion of t in z
0.928 * [backup-simplify]: Simplify t into t
0.928 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
0.928 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.928 * [taylor]: Taking taylor expansion of z in z
0.928 * [backup-simplify]: Simplify 0 into 0
0.928 * [backup-simplify]: Simplify 1 into 1
0.929 * [backup-simplify]: Simplify (/ 1 1) into 1
0.929 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.929 * [taylor]: Taking taylor expansion of y in z
0.929 * [backup-simplify]: Simplify y into y
0.929 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.929 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.929 * [taylor]: Taking taylor expansion of x in z
0.929 * [backup-simplify]: Simplify x into x
0.929 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.929 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
0.929 * [taylor]: Taking taylor expansion of -0.5 in y
0.929 * [backup-simplify]: Simplify -0.5 into -0.5
0.929 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
0.929 * [taylor]: Taking taylor expansion of t in y
0.929 * [backup-simplify]: Simplify t into t
0.929 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
0.929 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.929 * [taylor]: Taking taylor expansion of z in y
0.929 * [backup-simplify]: Simplify z into z
0.929 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.929 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.929 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.929 * [taylor]: Taking taylor expansion of y in y
0.929 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify 1 into 1
0.930 * [backup-simplify]: Simplify (/ 1 1) into 1
0.930 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.930 * [taylor]: Taking taylor expansion of x in y
0.930 * [backup-simplify]: Simplify x into x
0.930 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.930 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
0.930 * [taylor]: Taking taylor expansion of -0.5 in x
0.930 * [backup-simplify]: Simplify -0.5 into -0.5
0.930 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.930 * [taylor]: Taking taylor expansion of t in x
0.930 * [backup-simplify]: Simplify t into t
0.930 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.930 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.930 * [taylor]: Taking taylor expansion of z in x
0.930 * [backup-simplify]: Simplify z into z
0.930 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.930 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.930 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.930 * [taylor]: Taking taylor expansion of y in x
0.930 * [backup-simplify]: Simplify y into y
0.930 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.930 * [taylor]: Taking taylor expansion of x in x
0.930 * [backup-simplify]: Simplify 0 into 0
0.930 * [backup-simplify]: Simplify 1 into 1
0.931 * [backup-simplify]: Simplify (/ 1 1) into 1
0.931 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
0.931 * [taylor]: Taking taylor expansion of -0.5 in x
0.931 * [backup-simplify]: Simplify -0.5 into -0.5
0.931 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.931 * [taylor]: Taking taylor expansion of t in x
0.931 * [backup-simplify]: Simplify t into t
0.931 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.931 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.931 * [taylor]: Taking taylor expansion of z in x
0.931 * [backup-simplify]: Simplify z into z
0.931 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.931 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.931 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.931 * [taylor]: Taking taylor expansion of y in x
0.931 * [backup-simplify]: Simplify y into y
0.931 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.931 * [taylor]: Taking taylor expansion of x in x
0.931 * [backup-simplify]: Simplify 0 into 0
0.931 * [backup-simplify]: Simplify 1 into 1
0.932 * [backup-simplify]: Simplify (/ 1 1) into 1
0.932 * [backup-simplify]: Simplify (+ 0 1) into 1
0.932 * [backup-simplify]: Simplify (- 1) into -1
0.933 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.933 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
0.933 * [backup-simplify]: Simplify (* -0.5 (* -1 t)) into (* 0.5 t)
0.933 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
0.933 * [taylor]: Taking taylor expansion of 0.5 in y
0.933 * [backup-simplify]: Simplify 0.5 into 0.5
0.933 * [taylor]: Taking taylor expansion of t in y
0.933 * [backup-simplify]: Simplify t into t
0.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.934 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.934 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.934 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
0.934 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y))
0.935 * [backup-simplify]: Simplify (+ (* -0.5 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
0.935 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
0.935 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
0.935 * [taylor]: Taking taylor expansion of 0.5 in y
0.935 * [backup-simplify]: Simplify 0.5 into 0.5
0.935 * [taylor]: Taking taylor expansion of (/ t y) in y
0.935 * [taylor]: Taking taylor expansion of t in y
0.935 * [backup-simplify]: Simplify t into t
0.935 * [taylor]: Taking taylor expansion of y in y
0.935 * [backup-simplify]: Simplify 0 into 0
0.935 * [backup-simplify]: Simplify 1 into 1
0.935 * [backup-simplify]: Simplify (/ t 1) into t
0.935 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
0.935 * [taylor]: Taking taylor expansion of 0.5 in y
0.935 * [backup-simplify]: Simplify 0.5 into 0.5
0.935 * [taylor]: Taking taylor expansion of (/ t z) in y
0.935 * [taylor]: Taking taylor expansion of t in y
0.935 * [backup-simplify]: Simplify t into t
0.935 * [taylor]: Taking taylor expansion of z in y
0.935 * [backup-simplify]: Simplify z into z
0.935 * [backup-simplify]: Simplify (/ t z) into (/ t z)
0.935 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.935 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
0.935 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.935 * [taylor]: Taking taylor expansion of 0.5 in z
0.935 * [backup-simplify]: Simplify 0.5 into 0.5
0.935 * [taylor]: Taking taylor expansion of t in z
0.935 * [backup-simplify]: Simplify t into t
0.936 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.936 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.936 * [taylor]: Taking taylor expansion of 0.5 in z
0.936 * [backup-simplify]: Simplify 0.5 into 0.5
0.936 * [taylor]: Taking taylor expansion of t in z
0.936 * [backup-simplify]: Simplify t into t
0.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.937 * [backup-simplify]: Simplify (+ 0 0) into 0
0.937 * [backup-simplify]: Simplify (- 0) into 0
0.938 * [backup-simplify]: Simplify (+ 0 0) into 0
0.938 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0
0.939 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0
0.939 * [taylor]: Taking taylor expansion of 0 in y
0.939 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.940 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.940 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
0.940 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
0.940 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
0.940 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
0.940 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
0.940 * [taylor]: Taking taylor expansion of 0.5 in z
0.940 * [backup-simplify]: Simplify 0.5 into 0.5
0.940 * [taylor]: Taking taylor expansion of (/ t z) in z
0.940 * [taylor]: Taking taylor expansion of t in z
0.940 * [backup-simplify]: Simplify t into t
0.941 * [taylor]: Taking taylor expansion of z in z
0.941 * [backup-simplify]: Simplify 0 into 0
0.941 * [backup-simplify]: Simplify 1 into 1
0.941 * [backup-simplify]: Simplify (/ t 1) into t
0.941 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.941 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
0.941 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
0.941 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.941 * [taylor]: Taking taylor expansion of 0.5 in t
0.941 * [backup-simplify]: Simplify 0.5 into 0.5
0.941 * [taylor]: Taking taylor expansion of t in t
0.941 * [backup-simplify]: Simplify 0 into 0
0.941 * [backup-simplify]: Simplify 1 into 1
0.941 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.942 * [backup-simplify]: Simplify (- 0) into 0
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.942 * [taylor]: Taking taylor expansion of 0 in z
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.942 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.942 * [taylor]: Taking taylor expansion of 0.5 in t
0.942 * [backup-simplify]: Simplify 0.5 into 0.5
0.942 * [taylor]: Taking taylor expansion of t in t
0.942 * [backup-simplify]: Simplify 0 into 0
0.942 * [backup-simplify]: Simplify 1 into 1
0.943 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.943 * [backup-simplify]: Simplify 0 into 0
0.943 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.943 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.943 * [taylor]: Taking taylor expansion of 0.5 in t
0.943 * [backup-simplify]: Simplify 0.5 into 0.5
0.943 * [taylor]: Taking taylor expansion of t in t
0.943 * [backup-simplify]: Simplify 0 into 0
0.943 * [backup-simplify]: Simplify 1 into 1
0.944 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.944 * [backup-simplify]: Simplify 0 into 0
0.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.944 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.945 * [backup-simplify]: Simplify (+ 0 0) into 0
0.945 * [backup-simplify]: Simplify (- 0) into 0
0.946 * [backup-simplify]: Simplify (+ 0 0) into 0
0.947 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0
0.947 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0
0.948 * [taylor]: Taking taylor expansion of 0 in y
0.948 * [backup-simplify]: Simplify 0 into 0
0.948 * [taylor]: Taking taylor expansion of 0 in z
0.948 * [backup-simplify]: Simplify 0 into 0
0.949 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.950 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.950 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
0.950 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
0.950 * [backup-simplify]: Simplify (- 0) into 0
0.951 * [backup-simplify]: Simplify (+ 0 0) into 0
0.951 * [taylor]: Taking taylor expansion of 0 in z
0.951 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.952 * [taylor]: Taking taylor expansion of 0 in z
0.952 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.953 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.953 * [backup-simplify]: Simplify (- 0) into 0
0.953 * [taylor]: Taking taylor expansion of 0 in t
0.953 * [backup-simplify]: Simplify 0 into 0
0.953 * [backup-simplify]: Simplify 0 into 0
0.953 * [taylor]: Taking taylor expansion of 0 in t
0.953 * [backup-simplify]: Simplify 0 into 0
0.953 * [backup-simplify]: Simplify 0 into 0
0.954 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.954 * [taylor]: Taking taylor expansion of 0 in t
0.954 * [backup-simplify]: Simplify 0 into 0
0.954 * [backup-simplify]: Simplify 0 into 0
0.954 * [backup-simplify]: Simplify 0 into 0
0.954 * * * [progress]: simplifying candidates
0.955 * [simplify]: Simplifying:
  (expm1 (/ (- (+ x y) z) (* t 2.0)))
  (log1p (/ (- (+ x y) z) (* t 2.0)))
  (- (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.956 * * [simplify]: Extracting # 0 : cost  0
0.956 * * [simplify]: Extracting # 1 : cost  0
0.956 * * [simplify]: Extracting # 2 : cost  0
0.957 * * [simplify]: Extracting # 3 : cost  0
0.957 * * [simplify]: Extracting # 4 : cost  0
0.957 * * [simplify]: Extracting # 5 : cost  0
0.957 * * [simplify]: Extracting # 6 : cost  0
0.957 * * [simplify]: Extracting # 7 : cost  0
0.958 * * [simplify]: iteration  0 :  80  enodes  (cost  438 )
0.987 * * [simplify]: Extracting # 0 : cost  0
0.987 * * [simplify]: Extracting # 1 : cost  0
0.988 * * [simplify]: Extracting # 2 : cost  0
0.988 * * [simplify]: Extracting # 3 : cost  0
0.989 * * [simplify]: iteration  1 :  206  enodes  (cost  430 )
1.085 * * [simplify]: Extracting # 0 : cost  0
1.086 * * [simplify]: Extracting # 1 : cost  0
1.087 * * [simplify]: Extracting # 2 : cost  0
1.088 * * [simplify]: Extracting # 3 : cost  0
1.089 * * [simplify]: Extracting # 4 : cost  0
1.090 * * [simplify]: iteration  2 :  730  enodes  (cost  374 )
2.037 * * [simplify]: Extracting # 0 : cost  0
2.045 * * [simplify]: Extracting # 1 : cost  0
2.051 * * [simplify]: Extracting # 2 : cost  0
2.058 * * [simplify]: Extracting # 3 : cost  0
2.064 * * [simplify]: Extracting # 4 : cost  0
2.070 * * [simplify]: iteration  3 :  3341  enodes  (cost  372 )
3.144 * * [simplify]: Extracting # 0 : cost  0
3.155 * * [simplify]: Extracting # 1 : cost  0
3.161 * * [simplify]: Extracting # 2 : cost  0
3.166 * * [simplify]: iteration done:  5000  enodes  (cost  372 )
3.167 * [simplify]: Simplified to:
  (expm1 (/ (- (+ x y) z) (* t 2.0)))
  (log1p (/ (- (+ x y) z) (* t 2.0)))
  (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))
  (* 2.0 (* t (fma z z (* (+ x y) (+ (+ x y) z)))))
  (* (* t 2.0) (+ (+ x y) z))
  (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t)))
  0
  0
3.167 * * * [progress]: adding candidates to table
3.251 * * [progress]: iteration 2 / 4
3.251 * * * [progress]: picking best candidate
3.255 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 0.5 (- (+ (/ y t) (/ x t)) (/ z t))))>
3.255 * * * [progress]: localizing error
3.265 * * * [progress]: generating rewritten candidates
3.265 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1)
3.316 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.635 * * * [progress]: generating series expansions
3.635 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1)
3.635 * [backup-simplify]: Simplify (+ (/ y t) (/ x t)) into (+ (/ y t) (/ x t))
3.635 * [approximate]: Taking taylor expansion of (+ (/ y t) (/ x t)) in (y t x) around 0
3.635 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in x
3.635 * [taylor]: Taking taylor expansion of (/ y t) in x
3.635 * [taylor]: Taking taylor expansion of y in x
3.635 * [backup-simplify]: Simplify y into y
3.635 * [taylor]: Taking taylor expansion of t in x
3.635 * [backup-simplify]: Simplify t into t
3.635 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.635 * [taylor]: Taking taylor expansion of (/ x t) in x
3.635 * [taylor]: Taking taylor expansion of x in x
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 1 into 1
3.635 * [taylor]: Taking taylor expansion of t in x
3.635 * [backup-simplify]: Simplify t into t
3.635 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.635 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in t
3.635 * [taylor]: Taking taylor expansion of (/ y t) in t
3.635 * [taylor]: Taking taylor expansion of y in t
3.635 * [backup-simplify]: Simplify y into y
3.635 * [taylor]: Taking taylor expansion of t in t
3.635 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify 1 into 1
3.635 * [backup-simplify]: Simplify (/ y 1) into y
3.635 * [taylor]: Taking taylor expansion of (/ x t) in t
3.635 * [taylor]: Taking taylor expansion of x in t
3.635 * [backup-simplify]: Simplify x into x
3.635 * [taylor]: Taking taylor expansion of t in t
3.635 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify 1 into 1
3.636 * [backup-simplify]: Simplify (/ x 1) into x
3.636 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y
3.636 * [taylor]: Taking taylor expansion of (/ y t) in y
3.636 * [taylor]: Taking taylor expansion of y in y
3.636 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify 1 into 1
3.636 * [taylor]: Taking taylor expansion of t in y
3.636 * [backup-simplify]: Simplify t into t
3.636 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.636 * [taylor]: Taking taylor expansion of (/ x t) in y
3.636 * [taylor]: Taking taylor expansion of x in y
3.636 * [backup-simplify]: Simplify x into x
3.636 * [taylor]: Taking taylor expansion of t in y
3.636 * [backup-simplify]: Simplify t into t
3.636 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.636 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y
3.636 * [taylor]: Taking taylor expansion of (/ y t) in y
3.636 * [taylor]: Taking taylor expansion of y in y
3.636 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify 1 into 1
3.636 * [taylor]: Taking taylor expansion of t in y
3.636 * [backup-simplify]: Simplify t into t
3.636 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.636 * [taylor]: Taking taylor expansion of (/ x t) in y
3.636 * [taylor]: Taking taylor expansion of x in y
3.636 * [backup-simplify]: Simplify x into x
3.636 * [taylor]: Taking taylor expansion of t in y
3.636 * [backup-simplify]: Simplify t into t
3.636 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.636 * [backup-simplify]: Simplify (+ 0 (/ x t)) into (/ x t)
3.636 * [taylor]: Taking taylor expansion of (/ x t) in t
3.636 * [taylor]: Taking taylor expansion of x in t
3.636 * [backup-simplify]: Simplify x into x
3.636 * [taylor]: Taking taylor expansion of t in t
3.636 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify 1 into 1
3.636 * [backup-simplify]: Simplify (/ x 1) into x
3.636 * [taylor]: Taking taylor expansion of x in x
3.636 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify 1 into 1
3.636 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)))) into 0
3.637 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
3.637 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.637 * [taylor]: Taking taylor expansion of t in t
3.637 * [backup-simplify]: Simplify 0 into 0
3.637 * [backup-simplify]: Simplify 1 into 1
3.637 * [backup-simplify]: Simplify (/ 1 1) into 1
3.637 * [taylor]: Taking taylor expansion of 1 in x
3.637 * [backup-simplify]: Simplify 1 into 1
3.637 * [backup-simplify]: Simplify 1 into 1
3.638 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
3.638 * [taylor]: Taking taylor expansion of 0 in x
3.638 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify 0 into 0
3.638 * [backup-simplify]: Simplify 1 into 1
3.638 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
3.638 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.638 * [backup-simplify]: Simplify (+ 0 0) into 0
3.638 * [taylor]: Taking taylor expansion of 0 in t
3.638 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.639 * [taylor]: Taking taylor expansion of 0 in x
3.639 * [backup-simplify]: Simplify 0 into 0
3.639 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.640 * [taylor]: Taking taylor expansion of 0 in x
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.640 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.640 * [backup-simplify]: Simplify (+ 0 0) into 0
3.640 * [taylor]: Taking taylor expansion of 0 in t
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [taylor]: Taking taylor expansion of 0 in x
3.640 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify (+ (* 1 (* x (* (/ 1 t) 1))) (* 1 (* 1 (* (/ 1 t) y)))) into (+ (/ x t) (/ y t))
3.641 * [backup-simplify]: Simplify (+ (/ (/ 1 y) (/ 1 t)) (/ (/ 1 x) (/ 1 t))) into (+ (/ t y) (/ t x))
3.641 * [approximate]: Taking taylor expansion of (+ (/ t y) (/ t x)) in (y t x) around 0
3.641 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
3.641 * [taylor]: Taking taylor expansion of (/ t y) in x
3.641 * [taylor]: Taking taylor expansion of t in x
3.641 * [backup-simplify]: Simplify t into t
3.641 * [taylor]: Taking taylor expansion of y in x
3.641 * [backup-simplify]: Simplify y into y
3.641 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.641 * [taylor]: Taking taylor expansion of (/ t x) in x
3.641 * [taylor]: Taking taylor expansion of t in x
3.641 * [backup-simplify]: Simplify t into t
3.641 * [taylor]: Taking taylor expansion of x in x
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify 1 into 1
3.641 * [backup-simplify]: Simplify (/ t 1) into t
3.641 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
3.641 * [taylor]: Taking taylor expansion of (/ t y) in t
3.641 * [taylor]: Taking taylor expansion of t in t
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify 1 into 1
3.641 * [taylor]: Taking taylor expansion of y in t
3.641 * [backup-simplify]: Simplify y into y
3.641 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.641 * [taylor]: Taking taylor expansion of (/ t x) in t
3.641 * [taylor]: Taking taylor expansion of t in t
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify 1 into 1
3.641 * [taylor]: Taking taylor expansion of x in t
3.641 * [backup-simplify]: Simplify x into x
3.641 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.641 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.641 * [taylor]: Taking taylor expansion of (/ t y) in y
3.641 * [taylor]: Taking taylor expansion of t in y
3.641 * [backup-simplify]: Simplify t into t
3.641 * [taylor]: Taking taylor expansion of y in y
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify 1 into 1
3.641 * [backup-simplify]: Simplify (/ t 1) into t
3.642 * [taylor]: Taking taylor expansion of (/ t x) in y
3.642 * [taylor]: Taking taylor expansion of t in y
3.642 * [backup-simplify]: Simplify t into t
3.642 * [taylor]: Taking taylor expansion of x in y
3.642 * [backup-simplify]: Simplify x into x
3.642 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.642 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.642 * [taylor]: Taking taylor expansion of (/ t y) in y
3.642 * [taylor]: Taking taylor expansion of t in y
3.642 * [backup-simplify]: Simplify t into t
3.642 * [taylor]: Taking taylor expansion of y in y
3.642 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify 1 into 1
3.642 * [backup-simplify]: Simplify (/ t 1) into t
3.642 * [taylor]: Taking taylor expansion of (/ t x) in y
3.642 * [taylor]: Taking taylor expansion of t in y
3.642 * [backup-simplify]: Simplify t into t
3.642 * [taylor]: Taking taylor expansion of x in y
3.642 * [backup-simplify]: Simplify x into x
3.642 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.642 * [backup-simplify]: Simplify (+ t 0) into t
3.642 * [taylor]: Taking taylor expansion of t in t
3.642 * [backup-simplify]: Simplify 0 into 0
3.642 * [backup-simplify]: Simplify 1 into 1
3.642 * [taylor]: Taking taylor expansion of 1 in x
3.642 * [backup-simplify]: Simplify 1 into 1
3.643 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.643 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x)
3.643 * [taylor]: Taking taylor expansion of (/ t x) in t
3.643 * [taylor]: Taking taylor expansion of t in t
3.643 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify 1 into 1
3.643 * [taylor]: Taking taylor expansion of x in t
3.643 * [backup-simplify]: Simplify x into x
3.643 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.643 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.643 * [taylor]: Taking taylor expansion of x in x
3.643 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify 1 into 1
3.643 * [backup-simplify]: Simplify (/ 1 1) into 1
3.643 * [backup-simplify]: Simplify 1 into 1
3.643 * [taylor]: Taking taylor expansion of 0 in x
3.643 * [backup-simplify]: Simplify 0 into 0
3.643 * [backup-simplify]: Simplify 1 into 1
3.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.644 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0
3.644 * [backup-simplify]: Simplify (+ 0 0) into 0
3.644 * [taylor]: Taking taylor expansion of 0 in t
3.644 * [backup-simplify]: Simplify 0 into 0
3.644 * [taylor]: Taking taylor expansion of 0 in x
3.644 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.645 * [taylor]: Taking taylor expansion of 0 in x
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [taylor]: Taking taylor expansion of 0 in x
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 0 into 0
3.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.646 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.647 * [backup-simplify]: Simplify (+ 0 0) into 0
3.647 * [taylor]: Taking taylor expansion of 0 in t
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [taylor]: Taking taylor expansion of 0 in x
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [taylor]: Taking taylor expansion of 0 in x
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.647 * [taylor]: Taking taylor expansion of 0 in x
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [taylor]: Taking taylor expansion of 0 in x
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 t) (/ 1 (/ 1 y))))) (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 t) 1)))) into (+ (/ y t) (/ x t))
3.647 * [backup-simplify]: Simplify (+ (/ (/ 1 (- y)) (/ 1 (- t))) (/ (/ 1 (- x)) (/ 1 (- t)))) into (+ (/ t y) (/ t x))
3.647 * [approximate]: Taking taylor expansion of (+ (/ t y) (/ t x)) in (y t x) around 0
3.647 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
3.647 * [taylor]: Taking taylor expansion of (/ t y) in x
3.647 * [taylor]: Taking taylor expansion of t in x
3.647 * [backup-simplify]: Simplify t into t
3.647 * [taylor]: Taking taylor expansion of y in x
3.648 * [backup-simplify]: Simplify y into y
3.648 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.648 * [taylor]: Taking taylor expansion of (/ t x) in x
3.648 * [taylor]: Taking taylor expansion of t in x
3.648 * [backup-simplify]: Simplify t into t
3.648 * [taylor]: Taking taylor expansion of x in x
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ t 1) into t
3.648 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
3.648 * [taylor]: Taking taylor expansion of (/ t y) in t
3.648 * [taylor]: Taking taylor expansion of t in t
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [taylor]: Taking taylor expansion of y in t
3.648 * [backup-simplify]: Simplify y into y
3.648 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.648 * [taylor]: Taking taylor expansion of (/ t x) in t
3.648 * [taylor]: Taking taylor expansion of t in t
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [taylor]: Taking taylor expansion of x in t
3.648 * [backup-simplify]: Simplify x into x
3.648 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.648 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.648 * [taylor]: Taking taylor expansion of (/ t y) in y
3.648 * [taylor]: Taking taylor expansion of t in y
3.648 * [backup-simplify]: Simplify t into t
3.648 * [taylor]: Taking taylor expansion of y in y
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ t 1) into t
3.648 * [taylor]: Taking taylor expansion of (/ t x) in y
3.648 * [taylor]: Taking taylor expansion of t in y
3.648 * [backup-simplify]: Simplify t into t
3.648 * [taylor]: Taking taylor expansion of x in y
3.648 * [backup-simplify]: Simplify x into x
3.648 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.648 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.648 * [taylor]: Taking taylor expansion of (/ t y) in y
3.648 * [taylor]: Taking taylor expansion of t in y
3.648 * [backup-simplify]: Simplify t into t
3.648 * [taylor]: Taking taylor expansion of y in y
3.648 * [backup-simplify]: Simplify 0 into 0
3.648 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ t 1) into t
3.648 * [taylor]: Taking taylor expansion of (/ t x) in y
3.648 * [taylor]: Taking taylor expansion of t in y
3.648 * [backup-simplify]: Simplify t into t
3.648 * [taylor]: Taking taylor expansion of x in y
3.648 * [backup-simplify]: Simplify x into x
3.649 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.649 * [backup-simplify]: Simplify (+ t 0) into t
3.649 * [taylor]: Taking taylor expansion of t in t
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify 1 into 1
3.649 * [taylor]: Taking taylor expansion of 1 in x
3.649 * [backup-simplify]: Simplify 1 into 1
3.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.649 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x)
3.649 * [taylor]: Taking taylor expansion of (/ t x) in t
3.649 * [taylor]: Taking taylor expansion of t in t
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify 1 into 1
3.649 * [taylor]: Taking taylor expansion of x in t
3.649 * [backup-simplify]: Simplify x into x
3.650 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.650 * [taylor]: Taking taylor expansion of x in x
3.650 * [backup-simplify]: Simplify 0 into 0
3.650 * [backup-simplify]: Simplify 1 into 1
3.650 * [backup-simplify]: Simplify (/ 1 1) into 1
3.650 * [backup-simplify]: Simplify 1 into 1
3.650 * [taylor]: Taking taylor expansion of 0 in x
3.650 * [backup-simplify]: Simplify 0 into 0
3.650 * [backup-simplify]: Simplify 1 into 1
3.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.651 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0
3.651 * [backup-simplify]: Simplify (+ 0 0) into 0
3.651 * [taylor]: Taking taylor expansion of 0 in t
3.651 * [backup-simplify]: Simplify 0 into 0
3.651 * [taylor]: Taking taylor expansion of 0 in x
3.651 * [backup-simplify]: Simplify 0 into 0
3.651 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.651 * [taylor]: Taking taylor expansion of 0 in x
3.651 * [backup-simplify]: Simplify 0 into 0
3.651 * [taylor]: Taking taylor expansion of 0 in x
3.651 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.652 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.654 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.654 * [backup-simplify]: Simplify (+ 0 0) into 0
3.654 * [taylor]: Taking taylor expansion of 0 in t
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [taylor]: Taking taylor expansion of 0 in x
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [taylor]: Taking taylor expansion of 0 in x
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
3.654 * [taylor]: Taking taylor expansion of 0 in x
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [taylor]: Taking taylor expansion of 0 in x
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (- t)) (/ 1 (/ 1 (- y)))))) (* 1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- t)) 1)))) into (+ (/ y t) (/ x t))
3.654 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.655 * [backup-simplify]: Simplify (- (+ (/ y t) (/ x t)) (/ z t)) into (- (+ (/ y t) (/ x t)) (/ z t))
3.655 * [approximate]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in (y t x z) around 0
3.655 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in z
3.655 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in z
3.655 * [taylor]: Taking taylor expansion of (/ y t) in z
3.655 * [taylor]: Taking taylor expansion of y in z
3.655 * [backup-simplify]: Simplify y into y
3.655 * [taylor]: Taking taylor expansion of t in z
3.655 * [backup-simplify]: Simplify t into t
3.655 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.655 * [taylor]: Taking taylor expansion of (/ x t) in z
3.655 * [taylor]: Taking taylor expansion of x in z
3.655 * [backup-simplify]: Simplify x into x
3.655 * [taylor]: Taking taylor expansion of t in z
3.655 * [backup-simplify]: Simplify t into t
3.655 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.655 * [taylor]: Taking taylor expansion of (/ z t) in z
3.655 * [taylor]: Taking taylor expansion of z in z
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 1 into 1
3.655 * [taylor]: Taking taylor expansion of t in z
3.655 * [backup-simplify]: Simplify t into t
3.655 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.655 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in x
3.655 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in x
3.655 * [taylor]: Taking taylor expansion of (/ y t) in x
3.655 * [taylor]: Taking taylor expansion of y in x
3.655 * [backup-simplify]: Simplify y into y
3.655 * [taylor]: Taking taylor expansion of t in x
3.655 * [backup-simplify]: Simplify t into t
3.655 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.655 * [taylor]: Taking taylor expansion of (/ x t) in x
3.655 * [taylor]: Taking taylor expansion of x in x
3.655 * [backup-simplify]: Simplify 0 into 0
3.655 * [backup-simplify]: Simplify 1 into 1
3.655 * [taylor]: Taking taylor expansion of t in x
3.655 * [backup-simplify]: Simplify t into t
3.655 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.655 * [taylor]: Taking taylor expansion of (/ z t) in x
3.655 * [taylor]: Taking taylor expansion of z in x
3.655 * [backup-simplify]: Simplify z into z
3.655 * [taylor]: Taking taylor expansion of t in x
3.655 * [backup-simplify]: Simplify t into t
3.655 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.655 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in t
3.655 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in t
3.655 * [taylor]: Taking taylor expansion of (/ y t) in t
3.656 * [taylor]: Taking taylor expansion of y in t
3.656 * [backup-simplify]: Simplify y into y
3.656 * [taylor]: Taking taylor expansion of t in t
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.656 * [backup-simplify]: Simplify (/ y 1) into y
3.656 * [taylor]: Taking taylor expansion of (/ x t) in t
3.656 * [taylor]: Taking taylor expansion of x in t
3.656 * [backup-simplify]: Simplify x into x
3.656 * [taylor]: Taking taylor expansion of t in t
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.656 * [backup-simplify]: Simplify (/ x 1) into x
3.656 * [taylor]: Taking taylor expansion of (/ z t) in t
3.656 * [taylor]: Taking taylor expansion of z in t
3.656 * [backup-simplify]: Simplify z into z
3.656 * [taylor]: Taking taylor expansion of t in t
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.656 * [backup-simplify]: Simplify (/ z 1) into z
3.656 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in y
3.656 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y
3.656 * [taylor]: Taking taylor expansion of (/ y t) in y
3.656 * [taylor]: Taking taylor expansion of y in y
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.656 * [taylor]: Taking taylor expansion of t in y
3.656 * [backup-simplify]: Simplify t into t
3.656 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.656 * [taylor]: Taking taylor expansion of (/ x t) in y
3.656 * [taylor]: Taking taylor expansion of x in y
3.656 * [backup-simplify]: Simplify x into x
3.656 * [taylor]: Taking taylor expansion of t in y
3.656 * [backup-simplify]: Simplify t into t
3.656 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.656 * [taylor]: Taking taylor expansion of (/ z t) in y
3.656 * [taylor]: Taking taylor expansion of z in y
3.656 * [backup-simplify]: Simplify z into z
3.656 * [taylor]: Taking taylor expansion of t in y
3.656 * [backup-simplify]: Simplify t into t
3.656 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.656 * [taylor]: Taking taylor expansion of (- (+ (/ y t) (/ x t)) (/ z t)) in y
3.656 * [taylor]: Taking taylor expansion of (+ (/ y t) (/ x t)) in y
3.656 * [taylor]: Taking taylor expansion of (/ y t) in y
3.656 * [taylor]: Taking taylor expansion of y in y
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 1 into 1
3.656 * [taylor]: Taking taylor expansion of t in y
3.656 * [backup-simplify]: Simplify t into t
3.656 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.656 * [taylor]: Taking taylor expansion of (/ x t) in y
3.656 * [taylor]: Taking taylor expansion of x in y
3.656 * [backup-simplify]: Simplify x into x
3.656 * [taylor]: Taking taylor expansion of t in y
3.656 * [backup-simplify]: Simplify t into t
3.656 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.657 * [taylor]: Taking taylor expansion of (/ z t) in y
3.657 * [taylor]: Taking taylor expansion of z in y
3.657 * [backup-simplify]: Simplify z into z
3.657 * [taylor]: Taking taylor expansion of t in y
3.657 * [backup-simplify]: Simplify t into t
3.657 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.657 * [backup-simplify]: Simplify (+ 0 (/ x t)) into (/ x t)
3.657 * [backup-simplify]: Simplify (- (/ z t)) into (- (/ z t))
3.657 * [backup-simplify]: Simplify (+ (/ x t) (- (/ z t))) into (- (/ x t) (/ z t))
3.657 * [taylor]: Taking taylor expansion of (- (/ x t) (/ z t)) in t
3.657 * [taylor]: Taking taylor expansion of (/ x t) in t
3.657 * [taylor]: Taking taylor expansion of x in t
3.657 * [backup-simplify]: Simplify x into x
3.657 * [taylor]: Taking taylor expansion of t in t
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 1 into 1
3.657 * [backup-simplify]: Simplify (/ x 1) into x
3.657 * [taylor]: Taking taylor expansion of (/ z t) in t
3.657 * [taylor]: Taking taylor expansion of z in t
3.657 * [backup-simplify]: Simplify z into z
3.657 * [taylor]: Taking taylor expansion of t in t
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 1 into 1
3.657 * [backup-simplify]: Simplify (/ z 1) into z
3.657 * [backup-simplify]: Simplify (- z) into (- z)
3.657 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
3.657 * [taylor]: Taking taylor expansion of (- x z) in x
3.657 * [taylor]: Taking taylor expansion of x in x
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 1 into 1
3.657 * [taylor]: Taking taylor expansion of z in x
3.657 * [backup-simplify]: Simplify z into z
3.657 * [backup-simplify]: Simplify (- z) into (- z)
3.657 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
3.657 * [taylor]: Taking taylor expansion of (- z) in z
3.657 * [taylor]: Taking taylor expansion of z in z
3.657 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify 1 into 1
3.658 * [backup-simplify]: Simplify (- 0) into 0
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ x t) (/ 0 t)))) into 0
3.658 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
3.658 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
3.658 * [backup-simplify]: Simplify (- 0) into 0
3.658 * [backup-simplify]: Simplify (+ (/ 1 t) 0) into (/ 1 t)
3.658 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.658 * [taylor]: Taking taylor expansion of t in t
3.658 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify 1 into 1
3.659 * [backup-simplify]: Simplify (/ 1 1) into 1
3.659 * [taylor]: Taking taylor expansion of 1 in x
3.659 * [backup-simplify]: Simplify 1 into 1
3.659 * [taylor]: Taking taylor expansion of 1 in z
3.659 * [backup-simplify]: Simplify 1 into 1
3.659 * [backup-simplify]: Simplify 1 into 1
3.659 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0
3.660 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.660 * [backup-simplify]: Simplify (- 0) into 0
3.660 * [backup-simplify]: Simplify (+ 0 0) into 0
3.660 * [taylor]: Taking taylor expansion of 0 in x
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [taylor]: Taking taylor expansion of 0 in z
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify (- 0) into 0
3.661 * [backup-simplify]: Simplify (+ 1 0) into 1
3.661 * [taylor]: Taking taylor expansion of 1 in z
3.661 * [backup-simplify]: Simplify 1 into 1
3.661 * [backup-simplify]: Simplify 1 into 1
3.661 * [backup-simplify]: Simplify (- 1) into -1
3.661 * [backup-simplify]: Simplify -1 into -1
3.662 * [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.662 * [backup-simplify]: Simplify (- (+ (/ (/ 1 y) (/ 1 t)) (/ (/ 1 x) (/ 1 t))) (/ (/ 1 z) (/ 1 t))) into (- (+ (/ t y) (/ t x)) (/ t z))
3.662 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (y t x z) around 0
3.662 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z
3.662 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z
3.662 * [taylor]: Taking taylor expansion of (/ t y) in z
3.662 * [taylor]: Taking taylor expansion of t in z
3.662 * [backup-simplify]: Simplify t into t
3.662 * [taylor]: Taking taylor expansion of y in z
3.662 * [backup-simplify]: Simplify y into y
3.662 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.662 * [taylor]: Taking taylor expansion of (/ t x) in z
3.662 * [taylor]: Taking taylor expansion of t in z
3.662 * [backup-simplify]: Simplify t into t
3.662 * [taylor]: Taking taylor expansion of x in z
3.662 * [backup-simplify]: Simplify x into x
3.662 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.662 * [taylor]: Taking taylor expansion of (/ t z) in z
3.662 * [taylor]: Taking taylor expansion of t in z
3.662 * [backup-simplify]: Simplify t into t
3.662 * [taylor]: Taking taylor expansion of z in z
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 1 into 1
3.662 * [backup-simplify]: Simplify (/ t 1) into t
3.662 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
3.662 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
3.662 * [taylor]: Taking taylor expansion of (/ t y) in x
3.662 * [taylor]: Taking taylor expansion of t in x
3.662 * [backup-simplify]: Simplify t into t
3.662 * [taylor]: Taking taylor expansion of y in x
3.662 * [backup-simplify]: Simplify y into y
3.662 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.662 * [taylor]: Taking taylor expansion of (/ t x) in x
3.662 * [taylor]: Taking taylor expansion of t in x
3.662 * [backup-simplify]: Simplify t into t
3.662 * [taylor]: Taking taylor expansion of x in x
3.662 * [backup-simplify]: Simplify 0 into 0
3.662 * [backup-simplify]: Simplify 1 into 1
3.663 * [backup-simplify]: Simplify (/ t 1) into t
3.663 * [taylor]: Taking taylor expansion of (/ t z) in x
3.663 * [taylor]: Taking taylor expansion of t in x
3.663 * [backup-simplify]: Simplify t into t
3.663 * [taylor]: Taking taylor expansion of z in x
3.663 * [backup-simplify]: Simplify z into z
3.663 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.663 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t
3.663 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
3.663 * [taylor]: Taking taylor expansion of (/ t y) in t
3.663 * [taylor]: Taking taylor expansion of t in t
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 1 into 1
3.663 * [taylor]: Taking taylor expansion of y in t
3.663 * [backup-simplify]: Simplify y into y
3.663 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.663 * [taylor]: Taking taylor expansion of (/ t x) in t
3.663 * [taylor]: Taking taylor expansion of t in t
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 1 into 1
3.663 * [taylor]: Taking taylor expansion of x in t
3.663 * [backup-simplify]: Simplify x into x
3.663 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.663 * [taylor]: Taking taylor expansion of (/ t z) in t
3.663 * [taylor]: Taking taylor expansion of t in t
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 1 into 1
3.663 * [taylor]: Taking taylor expansion of z in t
3.663 * [backup-simplify]: Simplify z into z
3.663 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.663 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
3.663 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.663 * [taylor]: Taking taylor expansion of (/ t y) in y
3.663 * [taylor]: Taking taylor expansion of t in y
3.663 * [backup-simplify]: Simplify t into t
3.663 * [taylor]: Taking taylor expansion of y in y
3.663 * [backup-simplify]: Simplify 0 into 0
3.663 * [backup-simplify]: Simplify 1 into 1
3.663 * [backup-simplify]: Simplify (/ t 1) into t
3.663 * [taylor]: Taking taylor expansion of (/ t x) in y
3.663 * [taylor]: Taking taylor expansion of t in y
3.663 * [backup-simplify]: Simplify t into t
3.663 * [taylor]: Taking taylor expansion of x in y
3.663 * [backup-simplify]: Simplify x into x
3.663 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.663 * [taylor]: Taking taylor expansion of (/ t z) in y
3.663 * [taylor]: Taking taylor expansion of t in y
3.663 * [backup-simplify]: Simplify t into t
3.663 * [taylor]: Taking taylor expansion of z in y
3.663 * [backup-simplify]: Simplify z into z
3.663 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.663 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
3.663 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.663 * [taylor]: Taking taylor expansion of (/ t y) in y
3.663 * [taylor]: Taking taylor expansion of t in y
3.664 * [backup-simplify]: Simplify t into t
3.664 * [taylor]: Taking taylor expansion of y in y
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify 1 into 1
3.664 * [backup-simplify]: Simplify (/ t 1) into t
3.664 * [taylor]: Taking taylor expansion of (/ t x) in y
3.664 * [taylor]: Taking taylor expansion of t in y
3.664 * [backup-simplify]: Simplify t into t
3.664 * [taylor]: Taking taylor expansion of x in y
3.664 * [backup-simplify]: Simplify x into x
3.664 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.664 * [taylor]: Taking taylor expansion of (/ t z) in y
3.664 * [taylor]: Taking taylor expansion of t in y
3.664 * [backup-simplify]: Simplify t into t
3.664 * [taylor]: Taking taylor expansion of z in y
3.664 * [backup-simplify]: Simplify z into z
3.664 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.664 * [backup-simplify]: Simplify (+ t 0) into t
3.664 * [backup-simplify]: Simplify (+ t 0) into t
3.664 * [taylor]: Taking taylor expansion of t in t
3.664 * [backup-simplify]: Simplify 0 into 0
3.664 * [backup-simplify]: Simplify 1 into 1
3.664 * [taylor]: Taking taylor expansion of 1 in x
3.664 * [backup-simplify]: Simplify 1 into 1
3.665 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.665 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x)
3.665 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
3.665 * [backup-simplify]: Simplify (+ (/ t x) (- (/ t z))) into (- (/ t x) (/ t z))
3.665 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t
3.665 * [taylor]: Taking taylor expansion of (/ t x) in t
3.665 * [taylor]: Taking taylor expansion of t in t
3.665 * [backup-simplify]: Simplify 0 into 0
3.665 * [backup-simplify]: Simplify 1 into 1
3.665 * [taylor]: Taking taylor expansion of x in t
3.665 * [backup-simplify]: Simplify x into x
3.665 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.665 * [taylor]: Taking taylor expansion of (/ t z) in t
3.665 * [taylor]: Taking taylor expansion of t in t
3.665 * [backup-simplify]: Simplify 0 into 0
3.665 * [backup-simplify]: Simplify 1 into 1
3.665 * [taylor]: Taking taylor expansion of z in t
3.665 * [backup-simplify]: Simplify z into z
3.665 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.665 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.665 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
3.665 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.665 * [taylor]: Taking taylor expansion of x in x
3.665 * [backup-simplify]: Simplify 0 into 0
3.665 * [backup-simplify]: Simplify 1 into 1
3.666 * [backup-simplify]: Simplify (/ 1 1) into 1
3.666 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.666 * [taylor]: Taking taylor expansion of z in x
3.666 * [backup-simplify]: Simplify z into z
3.666 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.666 * [backup-simplify]: Simplify (+ 1 0) into 1
3.666 * [taylor]: Taking taylor expansion of 1 in z
3.666 * [backup-simplify]: Simplify 1 into 1
3.666 * [taylor]: Taking taylor expansion of 0 in x
3.666 * [backup-simplify]: Simplify 0 into 0
3.666 * [taylor]: Taking taylor expansion of 1 in z
3.666 * [backup-simplify]: Simplify 1 into 1
3.667 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.667 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0
3.668 * [backup-simplify]: Simplify (+ 0 0) into 0
3.668 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
3.668 * [backup-simplify]: Simplify (- 0) into 0
3.669 * [backup-simplify]: Simplify (+ 0 0) into 0
3.669 * [taylor]: Taking taylor expansion of 0 in t
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [taylor]: Taking taylor expansion of 0 in x
3.669 * [backup-simplify]: Simplify 0 into 0
3.669 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.669 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.669 * [backup-simplify]: Simplify (- 0) into 0
3.670 * [backup-simplify]: Simplify (+ 0 0) into 0
3.670 * [taylor]: Taking taylor expansion of 0 in x
3.670 * [backup-simplify]: Simplify 0 into 0
3.670 * [taylor]: Taking taylor expansion of 0 in x
3.670 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.671 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.671 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.671 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.671 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.671 * [taylor]: Taking taylor expansion of z in z
3.671 * [backup-simplify]: Simplify 0 into 0
3.671 * [backup-simplify]: Simplify 1 into 1
3.672 * [backup-simplify]: Simplify (/ 1 1) into 1
3.672 * [backup-simplify]: Simplify (- 1) into -1
3.672 * [backup-simplify]: Simplify -1 into -1
3.672 * [taylor]: Taking taylor expansion of 0 in z
3.672 * [backup-simplify]: Simplify 0 into 0
3.672 * [taylor]: Taking taylor expansion of 0 in z
3.672 * [backup-simplify]: Simplify 0 into 0
3.672 * [backup-simplify]: Simplify 1 into 1
3.672 * [backup-simplify]: Simplify 1 into 1
3.673 * [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.674 * [backup-simplify]: Simplify (- (+ (/ (/ 1 (- y)) (/ 1 (- t))) (/ (/ 1 (- x)) (/ 1 (- t)))) (/ (/ 1 (- z)) (/ 1 (- t)))) into (- (+ (/ t y) (/ t x)) (/ t z))
3.674 * [approximate]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in (y t x z) around 0
3.674 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in z
3.674 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in z
3.674 * [taylor]: Taking taylor expansion of (/ t y) in z
3.674 * [taylor]: Taking taylor expansion of t in z
3.674 * [backup-simplify]: Simplify t into t
3.674 * [taylor]: Taking taylor expansion of y in z
3.674 * [backup-simplify]: Simplify y into y
3.674 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.674 * [taylor]: Taking taylor expansion of (/ t x) in z
3.674 * [taylor]: Taking taylor expansion of t in z
3.674 * [backup-simplify]: Simplify t into t
3.674 * [taylor]: Taking taylor expansion of x in z
3.674 * [backup-simplify]: Simplify x into x
3.674 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.674 * [taylor]: Taking taylor expansion of (/ t z) in z
3.674 * [taylor]: Taking taylor expansion of t in z
3.674 * [backup-simplify]: Simplify t into t
3.674 * [taylor]: Taking taylor expansion of z in z
3.674 * [backup-simplify]: Simplify 0 into 0
3.674 * [backup-simplify]: Simplify 1 into 1
3.674 * [backup-simplify]: Simplify (/ t 1) into t
3.674 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in x
3.674 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in x
3.674 * [taylor]: Taking taylor expansion of (/ t y) in x
3.674 * [taylor]: Taking taylor expansion of t in x
3.675 * [backup-simplify]: Simplify t into t
3.675 * [taylor]: Taking taylor expansion of y in x
3.675 * [backup-simplify]: Simplify y into y
3.675 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.675 * [taylor]: Taking taylor expansion of (/ t x) in x
3.675 * [taylor]: Taking taylor expansion of t in x
3.675 * [backup-simplify]: Simplify t into t
3.675 * [taylor]: Taking taylor expansion of x in x
3.675 * [backup-simplify]: Simplify 0 into 0
3.675 * [backup-simplify]: Simplify 1 into 1
3.675 * [backup-simplify]: Simplify (/ t 1) into t
3.675 * [taylor]: Taking taylor expansion of (/ t z) in x
3.675 * [taylor]: Taking taylor expansion of t in x
3.675 * [backup-simplify]: Simplify t into t
3.675 * [taylor]: Taking taylor expansion of z in x
3.675 * [backup-simplify]: Simplify z into z
3.675 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.675 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in t
3.675 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in t
3.675 * [taylor]: Taking taylor expansion of (/ t y) in t
3.675 * [taylor]: Taking taylor expansion of t in t
3.675 * [backup-simplify]: Simplify 0 into 0
3.675 * [backup-simplify]: Simplify 1 into 1
3.675 * [taylor]: Taking taylor expansion of y in t
3.675 * [backup-simplify]: Simplify y into y
3.675 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.675 * [taylor]: Taking taylor expansion of (/ t x) in t
3.675 * [taylor]: Taking taylor expansion of t in t
3.675 * [backup-simplify]: Simplify 0 into 0
3.675 * [backup-simplify]: Simplify 1 into 1
3.676 * [taylor]: Taking taylor expansion of x in t
3.676 * [backup-simplify]: Simplify x into x
3.676 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.676 * [taylor]: Taking taylor expansion of (/ t z) in t
3.676 * [taylor]: Taking taylor expansion of t in t
3.676 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify 1 into 1
3.676 * [taylor]: Taking taylor expansion of z in t
3.676 * [backup-simplify]: Simplify z into z
3.676 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.676 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
3.676 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.676 * [taylor]: Taking taylor expansion of (/ t y) in y
3.676 * [taylor]: Taking taylor expansion of t in y
3.676 * [backup-simplify]: Simplify t into t
3.676 * [taylor]: Taking taylor expansion of y in y
3.676 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify 1 into 1
3.676 * [backup-simplify]: Simplify (/ t 1) into t
3.676 * [taylor]: Taking taylor expansion of (/ t x) in y
3.676 * [taylor]: Taking taylor expansion of t in y
3.676 * [backup-simplify]: Simplify t into t
3.676 * [taylor]: Taking taylor expansion of x in y
3.676 * [backup-simplify]: Simplify x into x
3.676 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.676 * [taylor]: Taking taylor expansion of (/ t z) in y
3.676 * [taylor]: Taking taylor expansion of t in y
3.676 * [backup-simplify]: Simplify t into t
3.676 * [taylor]: Taking taylor expansion of z in y
3.676 * [backup-simplify]: Simplify z into z
3.677 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.677 * [taylor]: Taking taylor expansion of (- (+ (/ t y) (/ t x)) (/ t z)) in y
3.677 * [taylor]: Taking taylor expansion of (+ (/ t y) (/ t x)) in y
3.677 * [taylor]: Taking taylor expansion of (/ t y) in y
3.677 * [taylor]: Taking taylor expansion of t in y
3.677 * [backup-simplify]: Simplify t into t
3.677 * [taylor]: Taking taylor expansion of y in y
3.677 * [backup-simplify]: Simplify 0 into 0
3.677 * [backup-simplify]: Simplify 1 into 1
3.677 * [backup-simplify]: Simplify (/ t 1) into t
3.677 * [taylor]: Taking taylor expansion of (/ t x) in y
3.677 * [taylor]: Taking taylor expansion of t in y
3.677 * [backup-simplify]: Simplify t into t
3.677 * [taylor]: Taking taylor expansion of x in y
3.677 * [backup-simplify]: Simplify x into x
3.677 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.677 * [taylor]: Taking taylor expansion of (/ t z) in y
3.677 * [taylor]: Taking taylor expansion of t in y
3.677 * [backup-simplify]: Simplify t into t
3.677 * [taylor]: Taking taylor expansion of z in y
3.677 * [backup-simplify]: Simplify z into z
3.677 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.677 * [backup-simplify]: Simplify (+ t 0) into t
3.677 * [backup-simplify]: Simplify (+ t 0) into t
3.677 * [taylor]: Taking taylor expansion of t in t
3.677 * [backup-simplify]: Simplify 0 into 0
3.678 * [backup-simplify]: Simplify 1 into 1
3.678 * [taylor]: Taking taylor expansion of 1 in x
3.678 * [backup-simplify]: Simplify 1 into 1
3.679 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.679 * [backup-simplify]: Simplify (+ 0 (/ t x)) into (/ t x)
3.679 * [backup-simplify]: Simplify (- (/ t z)) into (- (/ t z))
3.679 * [backup-simplify]: Simplify (+ (/ t x) (- (/ t z))) into (- (/ t x) (/ t z))
3.679 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t z)) in t
3.679 * [taylor]: Taking taylor expansion of (/ t x) in t
3.679 * [taylor]: Taking taylor expansion of t in t
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [backup-simplify]: Simplify 1 into 1
3.679 * [taylor]: Taking taylor expansion of x in t
3.679 * [backup-simplify]: Simplify x into x
3.679 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.679 * [taylor]: Taking taylor expansion of (/ t z) in t
3.679 * [taylor]: Taking taylor expansion of t in t
3.679 * [backup-simplify]: Simplify 0 into 0
3.679 * [backup-simplify]: Simplify 1 into 1
3.679 * [taylor]: Taking taylor expansion of z in t
3.680 * [backup-simplify]: Simplify z into z
3.680 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.680 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.680 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z))
3.680 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
3.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.680 * [taylor]: Taking taylor expansion of x in x
3.680 * [backup-simplify]: Simplify 0 into 0
3.680 * [backup-simplify]: Simplify 1 into 1
3.680 * [backup-simplify]: Simplify (/ 1 1) into 1
3.680 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.680 * [taylor]: Taking taylor expansion of z in x
3.680 * [backup-simplify]: Simplify z into z
3.681 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.681 * [backup-simplify]: Simplify (+ 1 0) into 1
3.681 * [taylor]: Taking taylor expansion of 1 in z
3.681 * [backup-simplify]: Simplify 1 into 1
3.681 * [taylor]: Taking taylor expansion of 0 in x
3.681 * [backup-simplify]: Simplify 0 into 0
3.681 * [taylor]: Taking taylor expansion of 1 in z
3.681 * [backup-simplify]: Simplify 1 into 1
3.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.683 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ t x) (/ 0 x)))) into 0
3.683 * [backup-simplify]: Simplify (+ 0 0) into 0
3.683 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
3.683 * [backup-simplify]: Simplify (- 0) into 0
3.684 * [backup-simplify]: Simplify (+ 0 0) into 0
3.684 * [taylor]: Taking taylor expansion of 0 in t
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [taylor]: Taking taylor expansion of 0 in x
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0
3.684 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0
3.684 * [backup-simplify]: Simplify (- 0) into 0
3.684 * [backup-simplify]: Simplify (+ 0 0) into 0
3.684 * [taylor]: Taking taylor expansion of 0 in x
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [taylor]: Taking taylor expansion of 0 in x
3.684 * [backup-simplify]: Simplify 0 into 0
3.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.685 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
3.685 * [backup-simplify]: Simplify (+ 0 (- (/ 1 z))) into (- (/ 1 z))
3.685 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.685 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.685 * [taylor]: Taking taylor expansion of z in z
3.685 * [backup-simplify]: Simplify 0 into 0
3.685 * [backup-simplify]: Simplify 1 into 1
3.685 * [backup-simplify]: Simplify (/ 1 1) into 1
3.686 * [backup-simplify]: Simplify (- 1) into -1
3.686 * [backup-simplify]: Simplify -1 into -1
3.686 * [taylor]: Taking taylor expansion of 0 in z
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [taylor]: Taking taylor expansion of 0 in z
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify 1 into 1
3.686 * [backup-simplify]: Simplify 1 into 1
3.686 * [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.686 * * * [progress]: simplifying candidates
3.693 * [simplify]: Simplifying:
  (expm1 (+ (/ y t) (/ x t)))
  (log1p (+ (/ y t) (/ x t)))
  (* (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)
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (* (cbrt (+ (/ y t) (/ x t))) (cbrt (+ (/ y t) (/ x t)))) (cbrt (+ (/ y t) (/ x t))) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (sqrt (+ (/ y t) (/ x t))) (sqrt (+ (/ y t) (/ x t))) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 (* (cbrt t) (cbrt t))) (+ (/ y (cbrt t)) (/ x (cbrt t))) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 (sqrt t)) (+ (/ y (sqrt t)) (/ x (sqrt t))) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 1) (+ (/ y t) (/ x t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma 1 (+ (/ y t) (/ x t)) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (fma (/ 1 t) (+ y x) (- (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t))))))
  (fma (- (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (* (cbrt (/ z t)) (cbrt (/ z t)))))
  (fma (/ 1 t) (+ y x) (- (* (sqrt (/ z t)) (sqrt (/ z t)))))
  (fma (- (sqrt (/ z t))) (sqrt (/ z t)) (* (sqrt (/ z t)) (sqrt (/ z t))))
  (fma (/ 1 t) (+ y x) (- (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (cbrt z) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t))) (* (/ (cbrt z) (cbrt t)) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 t) (+ y x) (- (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t)))))
  (fma (- (/ (cbrt z) (sqrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt t)) (* (/ (cbrt z) (sqrt t)) (/ (* (cbrt z) (cbrt z)) (sqrt t))))
  (fma (/ 1 t) (+ y x) (- (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1))))
  (fma (- (/ (cbrt z) t)) (/ (* (cbrt z) (cbrt z)) 1) (* (/ (cbrt z) t) (/ (* (cbrt z) (cbrt z)) 1)))
  (fma (/ 1 t) (+ y x) (- (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t))))))
  (fma (- (/ (sqrt z) (cbrt t))) (/ (sqrt z) (* (cbrt t) (cbrt t))) (* (/ (sqrt z) (cbrt t)) (/ (sqrt z) (* (cbrt t) (cbrt t)))))
  (fma (/ 1 t) (+ y x) (- (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t)))))
  (fma (- (/ (sqrt z) (sqrt t))) (/ (sqrt z) (sqrt t)) (* (/ (sqrt z) (sqrt t)) (/ (sqrt z) (sqrt t))))
  (fma (/ 1 t) (+ y x) (- (* (/ (sqrt z) t) (/ (sqrt z) 1))))
  (fma (- (/ (sqrt z) t)) (/ (sqrt z) 1) (* (/ (sqrt z) t) (/ (sqrt z) 1)))
  (fma (/ 1 t) (+ y x) (- (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t))))))
  (fma (- (/ z (cbrt t))) (/ 1 (* (cbrt t) (cbrt t))) (* (/ z (cbrt t)) (/ 1 (* (cbrt t) (cbrt t)))))
  (fma (/ 1 t) (+ y x) (- (* (/ z (sqrt t)) (/ 1 (sqrt t)))))
  (fma (- (/ z (sqrt t))) (/ 1 (sqrt t)) (* (/ z (sqrt t)) (/ 1 (sqrt t))))
  (fma (/ 1 t) (+ y x) (- (* (/ z t) (/ 1 1))))
  (fma (- (/ z t)) (/ 1 1) (* (/ z t) (/ 1 1)))
  (fma (/ 1 t) (+ y x) (- (* (/ z t) 1)))
  (fma (- (/ z t)) 1 (* (/ z t) 1))
  (fma (/ 1 t) (+ y x) (- (* (/ 1 t) z)))
  (fma (- (/ 1 t)) z (* (/ 1 t) z))
  (expm1 (- (+ (/ y t) (/ x t)) (/ z t)))
  (log1p (- (+ (/ y t) (/ x t)) (/ z t)))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (- (/ z t))
  (/ (* (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.700 * * [simplify]: Extracting # 0 : cost  0
3.700 * * [simplify]: Extracting # 1 : cost  0
3.701 * * [simplify]: Extracting # 2 : cost  0
3.701 * * [simplify]: Extracting # 3 : cost  0
3.701 * * [simplify]: Extracting # 4 : cost  0
3.702 * * [simplify]: Extracting # 5 : cost  0
3.702 * * [simplify]: Extracting # 6 : cost  0
3.703 * * [simplify]: Extracting # 7 : cost  0
3.703 * * [simplify]: iteration  0 :  254  enodes  (cost  5747 )
3.759 * * [simplify]: Extracting # 0 : cost  0
3.759 * * [simplify]: Extracting # 1 : cost  0
3.760 * * [simplify]: Extracting # 2 : cost  0
3.761 * * [simplify]: Extracting # 3 : cost  0
3.761 * * [simplify]: Extracting # 4 : cost  0
3.762 * * [simplify]: Extracting # 5 : cost  0
3.763 * * [simplify]: iteration  1 :  608  enodes  (cost  5121 )
4.006 * * [simplify]: Extracting # 0 : cost  0
4.008 * * [simplify]: Extracting # 1 : cost  0
4.010 * * [simplify]: Extracting # 2 : cost  0
4.012 * * [simplify]: Extracting # 3 : cost  0
4.013 * * [simplify]: Extracting # 4 : cost  0
4.015 * * [simplify]: iteration  2 :  1601  enodes  (cost  3783 )
5.296 * * [simplify]: Extracting # 0 : cost  0
5.315 * * [simplify]: Extracting # 1 : cost  0
5.327 * * [simplify]: Extracting # 2 : cost  0
5.348 * * [simplify]: Extracting # 3 : cost  0
5.359 * * [simplify]: Extracting # 4 : cost  0
5.371 * * [simplify]: iteration done:  5000  enodes  (cost  2934 )
5.373 * [simplify]: Simplified to:
  (expm1 (+ (/ y t) (/ x t)))
  (log1p (+ (/ y t) (/ x t)))
  (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 (+ (/ y t) (/ x 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))
  (fma (/ y t) (/ y t) (* (/ x t) (- (/ x t) (/ y t))))
  (- (* (/ y t) (/ y t)) (* (/ x t) (/ x t)))
  (- (/ y t) (/ x t))
  (+ (/ y (cbrt t)) (/ x (cbrt t)))
  (+ (/ x (sqrt t)) (/ y (sqrt t)))
  (+ (/ x t) (/ y t))
  (+ (/ x t) (/ y t))
  (+ x y)
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z t))
  0
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z t))
  0
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z t))
  0
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z t))
  0
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z t))
  0
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z t))
  0
  (- (pow (cbrt (+ (/ y t) (/ x t))) 3) (/ z t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (* (/ 1 (* (cbrt t) (cbrt t))) (- (+ (/ y (cbrt t)) (/ x (cbrt t))) (/ z (cbrt t))))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (* (/ 1 (* (cbrt t) (cbrt t))) (- (+ (/ y (cbrt t)) (/ x (cbrt t))) (/ z (cbrt t))))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (* (/ 1 (* (cbrt t) (cbrt t))) (- (+ (/ y (cbrt t)) (/ x (cbrt t))) (/ z (cbrt t))))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (+ (/ y (cbrt t)) (/ x (cbrt t))) (* (cbrt t) (cbrt t))) (/ z t))
  0
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z t))
  0
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z t))
  0
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (* (/ 1 (sqrt t)) (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z t))
  0
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (* (/ 1 (sqrt t)) (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z t))
  0
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (* (/ 1 (sqrt t)) (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z t))
  0
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z t))
  0
  (- (/ (+ (/ x (sqrt t)) (/ y (sqrt t))) (sqrt t)) (/ z t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (+ (/ x t) (/ y t)) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t))))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (+ (- (/ y t) (/ z t)) (/ x t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z (pow (cbrt t) 3)))
  (+ (- (/ z (pow (cbrt t) 3))) (/ z (pow (cbrt t) 3)))
  (- (/ (+ x y) t) (/ (/ z (sqrt t)) (sqrt t)))
  (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t))))
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (- (/ (+ x y) t) (/ z t))
  0
  (expm1 (- (+ (/ y t) (/ x t)) (/ z t)))
  (log1p (- (+ (/ y t) (/ x t)) (/ z t)))
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (/ (- z) t)
  (exp (- (+ (/ y t) (/ x t)) (/ z t)))
  (exp (- (+ (/ y t) (/ x t)) (/ 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)))
  (pow (+ (- (/ y t) (/ z t)) (/ x t)) 3)
  (sqrt (- (+ (/ y t) (/ x t)) (/ z t)))
  (sqrt (- (+ (/ y t) (/ x t)) (/ z t)))
  (* t (* t (- (+ x y) z)))
  (pow t 3)
  (- (* (+ (pow (/ y t) 3) (pow (/ x t) 3)) t) (* z (fma (/ y t) (/ y t) (* (/ x t) (- (/ x t) (/ y t))))))
  (* (fma (/ y t) (/ y t) (* (/ x t) (- (/ x t) (/ y t)))) t)
  (* (- (/ y t) (/ x t)) (- (* t (+ (/ x t) (/ y t))) z))
  (* (- (/ y t) (/ x t)) t)
  (- (pow (+ (/ y t) (/ x t)) 3) (pow (/ z t) 3))
  (fma (/ z t) (/ z t) (* (+ (/ x t) (/ y t)) (+ (+ (/ y t) (/ x t)) (/ z t))))
  (/ (- z) t)
  (- (* (+ (/ y t) (/ x t)) (+ (/ y t) (/ x t))) (* (/ z t) (/ z t)))
  (+ (+ (/ x t) (/ z t)) (/ y 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) (/ z t)) (/ x t))
  (- (+ (/ y (cbrt t)) (/ x (cbrt t))) (/ z (cbrt t)))
  (- (+ (/ y (sqrt t)) (/ x (sqrt t))) (/ z (sqrt t)))
  (+ (- (/ y t) (/ z t)) (/ x t))
  (+ (- (/ y t) (/ z t)) (/ x t))
  (- (/ x t) (/ z t))
  (/ (- z) t)
  (+ (/ x t) (/ y t))
  (+ (/ x t) (/ y t))
  (+ (/ x t) (/ y t))
  (+ (- (/ y t) (/ z t)) (/ x t))
  (+ (- (/ y t) (/ z t)) (/ x t))
  (+ (- (/ y t) (/ z t)) (/ x t))
5.376 * * * [progress]: adding candidates to table
5.706 * * [progress]: iteration 3 / 4
5.706 * * * [progress]: picking best candidate
5.711 * * * * [pick]: Picked  #<alt (λ (x y z t) (* 0.5 (+ (+ (/ y t) (- (/ x t) (/ (/ z (sqrt t)) (sqrt t)))) (* (/ z (sqrt t)) (+ (/ -1 (sqrt t)) (/ 1 (sqrt t)))))))>
5.711 * * * [progress]: localizing error
5.743 * * * [progress]: generating rewritten candidates
5.743 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
5.778 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2)
5.785 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1)
5.792 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
5.831 * * * [progress]: generating series expansions
5.831 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
5.831 * [backup-simplify]: Simplify (/ (/ z (sqrt t)) (sqrt t)) into (/ z t)
5.831 * [approximate]: Taking taylor expansion of (/ z t) in (z t) around 0
5.831 * [taylor]: Taking taylor expansion of (/ z t) in t
5.832 * [taylor]: Taking taylor expansion of z in t
5.832 * [backup-simplify]: Simplify z into z
5.832 * [taylor]: Taking taylor expansion of t in t
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify 1 into 1
5.832 * [backup-simplify]: Simplify (/ z 1) into z
5.832 * [taylor]: Taking taylor expansion of (/ z t) in z
5.832 * [taylor]: Taking taylor expansion of z in z
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify 1 into 1
5.832 * [taylor]: Taking taylor expansion of t in z
5.832 * [backup-simplify]: Simplify t into t
5.832 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.832 * [taylor]: Taking taylor expansion of (/ z t) in z
5.832 * [taylor]: Taking taylor expansion of z in z
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify 1 into 1
5.832 * [taylor]: Taking taylor expansion of t in z
5.832 * [backup-simplify]: Simplify t into t
5.832 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
5.832 * [taylor]: Taking taylor expansion of (/ 1 t) in t
5.832 * [taylor]: Taking taylor expansion of t in t
5.832 * [backup-simplify]: Simplify 0 into 0
5.832 * [backup-simplify]: Simplify 1 into 1
5.833 * [backup-simplify]: Simplify (/ 1 1) into 1
5.833 * [backup-simplify]: Simplify 1 into 1
5.833 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
5.833 * [taylor]: Taking taylor expansion of 0 in t
5.833 * [backup-simplify]: Simplify 0 into 0
5.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.834 * [backup-simplify]: Simplify 0 into 0
5.835 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.835 * [taylor]: Taking taylor expansion of 0 in t
5.835 * [backup-simplify]: Simplify 0 into 0
5.835 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.836 * [taylor]: Taking taylor expansion of 0 in t
5.836 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.836 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.837 * [backup-simplify]: Simplify 0 into 0
5.837 * [backup-simplify]: Simplify (* 1 (* (/ 1 t) z)) into (/ z t)
5.837 * [backup-simplify]: Simplify (/ (/ (/ 1 z) (sqrt (/ 1 t))) (sqrt (/ 1 t))) into (/ t z)
5.838 * [approximate]: Taking taylor expansion of (/ t z) in (z t) around 0
5.838 * [taylor]: Taking taylor expansion of (/ t z) in t
5.838 * [taylor]: Taking taylor expansion of t in t
5.838 * [backup-simplify]: Simplify 0 into 0
5.838 * [backup-simplify]: Simplify 1 into 1
5.838 * [taylor]: Taking taylor expansion of z in t
5.838 * [backup-simplify]: Simplify z into z
5.838 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
5.838 * [taylor]: Taking taylor expansion of (/ t z) in z
5.838 * [taylor]: Taking taylor expansion of t in z
5.838 * [backup-simplify]: Simplify t into t
5.838 * [taylor]: Taking taylor expansion of z in z
5.838 * [backup-simplify]: Simplify 0 into 0
5.838 * [backup-simplify]: Simplify 1 into 1
5.838 * [backup-simplify]: Simplify (/ t 1) into t
5.838 * [taylor]: Taking taylor expansion of (/ t z) in z
5.838 * [taylor]: Taking taylor expansion of t in z
5.838 * [backup-simplify]: Simplify t into t
5.838 * [taylor]: Taking taylor expansion of z in z
5.838 * [backup-simplify]: Simplify 0 into 0
5.838 * [backup-simplify]: Simplify 1 into 1
5.838 * [backup-simplify]: Simplify (/ t 1) into t
5.838 * [taylor]: Taking taylor expansion of t in t
5.838 * [backup-simplify]: Simplify 0 into 0
5.838 * [backup-simplify]: Simplify 1 into 1
5.838 * [backup-simplify]: Simplify 1 into 1
5.839 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
5.840 * [taylor]: Taking taylor expansion of 0 in t
5.840 * [backup-simplify]: Simplify 0 into 0
5.840 * [backup-simplify]: Simplify 0 into 0
5.840 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.841 * [taylor]: Taking taylor expansion of 0 in t
5.841 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify 0 into 0
5.841 * [backup-simplify]: Simplify 0 into 0
5.843 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.843 * [taylor]: Taking taylor expansion of 0 in t
5.843 * [backup-simplify]: Simplify 0 into 0
5.843 * [backup-simplify]: Simplify 0 into 0
5.844 * [backup-simplify]: Simplify (* 1 (* (/ 1 t) (/ 1 (/ 1 z)))) into (/ z t)
5.844 * [backup-simplify]: Simplify (/ (/ (/ 1 (- z)) (sqrt (/ 1 (- t)))) (sqrt (/ 1 (- t)))) into (/ -1 (* (pow (sqrt (/ -1 t)) 2) z))
5.844 * [approximate]: Taking taylor expansion of (/ -1 (* (pow (sqrt (/ -1 t)) 2) z)) in (z t) around 0
5.844 * [taylor]: Taking taylor expansion of (/ -1 (* (pow (sqrt (/ -1 t)) 2) z)) in t
5.844 * [taylor]: Taking taylor expansion of -1 in t
5.844 * [backup-simplify]: Simplify -1 into -1
5.844 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 t)) 2) z) in t
5.844 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 2) in t
5.844 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
5.844 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.844 * [taylor]: Taking taylor expansion of -1 in t
5.844 * [backup-simplify]: Simplify -1 into -1
5.844 * [taylor]: Taking taylor expansion of t in t
5.844 * [backup-simplify]: Simplify 0 into 0
5.844 * [backup-simplify]: Simplify 1 into 1
5.845 * [backup-simplify]: Simplify (/ -1 1) into -1
5.846 * [backup-simplify]: Simplify (sqrt 0) into 0
5.847 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.848 * [taylor]: Taking taylor expansion of z in t
5.848 * [backup-simplify]: Simplify z into z
5.848 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
5.848 * [backup-simplify]: Simplify (* +nan.0 z) into (* +nan.0 z)
5.848 * [backup-simplify]: Simplify (/ -1 (* +nan.0 z)) into (/ +nan.0 z)
5.848 * [taylor]: Taking taylor expansion of (/ -1 (* (pow (sqrt (/ -1 t)) 2) z)) in z
5.848 * [taylor]: Taking taylor expansion of -1 in z
5.848 * [backup-simplify]: Simplify -1 into -1
5.848 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 t)) 2) z) in z
5.848 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 2) in z
5.848 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
5.848 * [taylor]: Taking taylor expansion of (/ -1 t) in z
5.848 * [taylor]: Taking taylor expansion of -1 in z
5.849 * [backup-simplify]: Simplify -1 into -1
5.849 * [taylor]: Taking taylor expansion of t in z
5.849 * [backup-simplify]: Simplify t into t
5.849 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t)
5.849 * [backup-simplify]: Simplify (sqrt (/ -1 t)) into (sqrt (/ -1 t))
5.849 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0
5.849 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 t)))) into 0
5.849 * [taylor]: Taking taylor expansion of z in z
5.849 * [backup-simplify]: Simplify 0 into 0
5.849 * [backup-simplify]: Simplify 1 into 1
5.849 * [backup-simplify]: Simplify (* (sqrt (/ -1 t)) (sqrt (/ -1 t))) into (pow (sqrt (/ -1 t)) 2)
5.849 * [backup-simplify]: Simplify (* (pow (sqrt (/ -1 t)) 2) 0) into 0
5.850 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 t)) 0) (* 0 (sqrt (/ -1 t)))) into 0
5.850 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 t)) 2) 1) (* 0 0)) into (pow (sqrt (/ -1 t)) 2)
5.850 * [backup-simplify]: Simplify (/ -1 (pow (sqrt (/ -1 t)) 2)) into (/ -1 (pow (sqrt (/ -1 t)) 2))
5.851 * [taylor]: Taking taylor expansion of (/ -1 (* (pow (sqrt (/ -1 t)) 2) z)) in z
5.851 * [taylor]: Taking taylor expansion of -1 in z
5.851 * [backup-simplify]: Simplify -1 into -1
5.851 * [taylor]: Taking taylor expansion of (* (pow (sqrt (/ -1 t)) 2) z) in z
5.851 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 2) in z
5.851 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z
5.851 * [taylor]: Taking taylor expansion of (/ -1 t) in z
5.851 * [taylor]: Taking taylor expansion of -1 in z
5.851 * [backup-simplify]: Simplify -1 into -1
5.851 * [taylor]: Taking taylor expansion of t in z
5.851 * [backup-simplify]: Simplify t into t
5.851 * [backup-simplify]: Simplify (/ -1 t) into (/ -1 t)
5.851 * [backup-simplify]: Simplify (sqrt (/ -1 t)) into (sqrt (/ -1 t))
5.851 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)))) into 0
5.851 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 t)))) into 0
5.851 * [taylor]: Taking taylor expansion of z in z
5.851 * [backup-simplify]: Simplify 0 into 0
5.851 * [backup-simplify]: Simplify 1 into 1
5.851 * [backup-simplify]: Simplify (* (sqrt (/ -1 t)) (sqrt (/ -1 t))) into (pow (sqrt (/ -1 t)) 2)
5.852 * [backup-simplify]: Simplify (* (pow (sqrt (/ -1 t)) 2) 0) into 0
5.852 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 t)) 0) (* 0 (sqrt (/ -1 t)))) into 0
5.852 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 t)) 2) 1) (* 0 0)) into (pow (sqrt (/ -1 t)) 2)
5.853 * [backup-simplify]: Simplify (/ -1 (pow (sqrt (/ -1 t)) 2)) into (/ -1 (pow (sqrt (/ -1 t)) 2))
5.853 * [taylor]: Taking taylor expansion of (/ -1 (pow (sqrt (/ -1 t)) 2)) in t
5.853 * [taylor]: Taking taylor expansion of -1 in t
5.853 * [backup-simplify]: Simplify -1 into -1
5.853 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 t)) 2) in t
5.853 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t
5.853 * [taylor]: Taking taylor expansion of (/ -1 t) in t
5.853 * [taylor]: Taking taylor expansion of -1 in t
5.853 * [backup-simplify]: Simplify -1 into -1
5.853 * [taylor]: Taking taylor expansion of t in t
5.853 * [backup-simplify]: Simplify 0 into 0
5.853 * [backup-simplify]: Simplify 1 into 1
5.853 * [backup-simplify]: Simplify (/ -1 1) into -1
5.854 * [backup-simplify]: Simplify (sqrt 0) into 0
5.855 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
5.856 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
5.856 * [backup-simplify]: Simplify (/ -1 +nan.0) into +nan.0
5.856 * [backup-simplify]: Simplify +nan.0 into +nan.0
5.857 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.857 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 t)))) into 0
5.858 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 t)) 0) (+ (* 0 0) (* 0 (sqrt (/ -1 t))))) into 0
5.859 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 t)) 2) 0) (+ (* 0 1) (* 0 0))) into 0
5.859 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt (/ -1 t)) 2)) (+ (* (/ -1 (pow (sqrt (/ -1 t)) 2)) (/ 0 (pow (sqrt (/ -1 t)) 2))))) into 0
5.859 * [taylor]: Taking taylor expansion of 0 in t
5.859 * [backup-simplify]: Simplify 0 into 0
5.859 * [backup-simplify]: Simplify 0 into 0
5.860 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.863 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
5.864 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0)) into (- +nan.0)
5.866 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ (- +nan.0) +nan.0)))) into (- +nan.0)
5.866 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
5.866 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ -1 t) (/ 0 t)) (* 0 (/ 0 t)) (* 0 (/ 0 t)))) into 0
5.867 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ -1 t)))) into 0
5.867 * [backup-simplify]: Simplify (+ (* (sqrt (/ -1 t)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt (/ -1 t)))))) into 0
5.868 * [backup-simplify]: Simplify (+ (* (pow (sqrt (/ -1 t)) 2) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.868 * [backup-simplify]: Simplify (- (/ 0 (pow (sqrt (/ -1 t)) 2)) (+ (* (/ -1 (pow (sqrt (/ -1 t)) 2)) (/ 0 (pow (sqrt (/ -1 t)) 2))) (* 0 (/ 0 (pow (sqrt (/ -1 t)) 2))))) into 0
5.868 * [taylor]: Taking taylor expansion of 0 in t
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify 0 into 0
5.868 * [backup-simplify]: Simplify 0 into 0
5.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.871 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
5.872 * [backup-simplify]: Simplify (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 +nan.0))) into (- +nan.0)
5.875 * [backup-simplify]: Simplify (- (/ 0 +nan.0) (+ (* +nan.0 (/ (- +nan.0) +nan.0)) (* (- +nan.0) (/ (- +nan.0) +nan.0)))) into (- +nan.0)
5.875 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)