3.519 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.025 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (/ (- (+ x y) z) (* t 2.0))
0.027 * * [simplify]: Extracting # 0 : cost  0
0.027 * * [simplify]: Extracting # 1 : cost  0
0.027 * * [simplify]: Extracting # 2 : cost  0
0.027 * * [simplify]: Extracting # 3 : cost  0
0.027 * * [simplify]: Extracting # 4 : cost  0
0.027 * * [simplify]: Extracting # 5 : cost  0
0.027 * * [simplify]: iteration  0 :  9  enodes  (cost  9 )
0.029 * * [simplify]: Extracting # 0 : cost  0
0.029 * * [simplify]: Extracting # 1 : cost  0
0.029 * * [simplify]: Extracting # 2 : cost  0
0.029 * * [simplify]: iteration  1 :  20  enodes  (cost  9 )
0.032 * * [simplify]: Extracting # 0 : cost  0
0.032 * * [simplify]: Extracting # 1 : cost  0
0.032 * * [simplify]: Extracting # 2 : cost  0
0.032 * * [simplify]: iteration  2 :  41  enodes  (cost  9 )
0.038 * * [simplify]: Extracting # 0 : cost  0
0.038 * * [simplify]: Extracting # 1 : cost  0
0.038 * * [simplify]: Extracting # 2 : cost  0
0.038 * * [simplify]: iteration  3 :  57  enodes  (cost  9 )
0.053 * * [simplify]: Extracting # 0 : cost  0
0.053 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: iteration  4 :  76  enodes  (cost  9 )
0.078 * * [simplify]: Extracting # 0 : cost  0
0.078 * * [simplify]: Extracting # 1 : cost  0
0.078 * * [simplify]: Extracting # 2 : cost  0
0.078 * * [simplify]: iteration  5 :  110  enodes  (cost  9 )
0.128 * * [simplify]: Extracting # 0 : cost  0
0.129 * * [simplify]: Extracting # 1 : cost  0
0.129 * * [simplify]: Extracting # 2 : cost  0
0.129 * * [simplify]: iteration  6 :  166  enodes  (cost  9 )
0.173 * * [simplify]: Extracting # 0 : cost  0
0.173 * * [simplify]: Extracting # 1 : cost  0
0.173 * * [simplify]: Extracting # 2 : cost  0
0.174 * * [simplify]: iteration  7 :  220  enodes  (cost  9 )
0.227 * * [simplify]: Extracting # 0 : cost  0
0.228 * * [simplify]: Extracting # 1 : cost  0
0.228 * * [simplify]: Extracting # 2 : cost  0
0.229 * * [simplify]: iteration  8 :  319  enodes  (cost  9 )
0.340 * * [simplify]: Extracting # 0 : cost  0
0.341 * * [simplify]: Extracting # 1 : cost  0
0.342 * * [simplify]: Extracting # 2 : cost  0
0.342 * * [simplify]: iteration  9 :  423  enodes  (cost  9 )
0.455 * * [simplify]: Extracting # 0 : cost  0
0.456 * * [simplify]: Extracting # 1 : cost  0
0.456 * * [simplify]: Extracting # 2 : cost  0
0.456 * * [simplify]: iteration  10 :  479  enodes  (cost  9 )
0.557 * * [simplify]: Extracting # 0 : cost  0
0.557 * * [simplify]: Extracting # 1 : cost  0
0.558 * * [simplify]: iteration  11 :  500  enodes  (cost  9 )
0.683 * * [simplify]: Extracting # 0 : cost  0
0.683 * * [simplify]: Extracting # 1 : cost  0
0.684 * * [simplify]: Extracting # 2 : cost  0
0.684 * * [simplify]: iteration  12 :  510  enodes  (cost  9 )
0.786 * * [simplify]: Extracting # 0 : cost  0
0.786 * * [simplify]: Extracting # 1 : cost  0
0.787 * * [simplify]: iteration done:  510  enodes  (cost  9 )
0.787 * [simplify]: Simplified to:
  (/ (- (+ x y) z) (* t 2.0))
0.787 * * [progress]: iteration 1 / 4
0.787 * * * [progress]: picking best candidate
0.790 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (- (+ x y) z) (* t 2.0)))>
0.790 * * * [progress]: localizing error
0.804 * * * [progress]: generating rewritten candidates
0.804 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.905 * * * [progress]: generating series expansions
0.905 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.905 * [backup-simplify]: Simplify (/ (- (+ x y) z) (* t 2.0)) into (* 0.5 (/ (- (+ x y) z) t))
0.905 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in (x y z t) around 0
0.905 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in t
0.905 * [taylor]: Taking taylor expansion of 0.5 in t
0.905 * [backup-simplify]: Simplify 0.5 into 0.5
0.905 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in t
0.905 * [taylor]: Taking taylor expansion of (- (+ x y) z) in t
0.906 * [taylor]: Taking taylor expansion of (+ x y) in t
0.906 * [taylor]: Taking taylor expansion of x in t
0.906 * [backup-simplify]: Simplify x into x
0.906 * [taylor]: Taking taylor expansion of y in t
0.906 * [backup-simplify]: Simplify y into y
0.906 * [taylor]: Taking taylor expansion of z in t
0.906 * [backup-simplify]: Simplify z into z
0.906 * [taylor]: Taking taylor expansion of t in t
0.906 * [backup-simplify]: Simplify 0 into 0
0.906 * [backup-simplify]: Simplify 1 into 1
0.906 * [backup-simplify]: Simplify (+ x y) into (+ x y)
0.906 * [backup-simplify]: Simplify (- z) into (- z)
0.906 * [backup-simplify]: Simplify (+ (+ x y) (- z)) into (- (+ x y) z)
0.906 * [backup-simplify]: Simplify (/ (- (+ x y) z) 1) into (- (+ x y) z)
0.906 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in z
0.906 * [taylor]: Taking taylor expansion of 0.5 in z
0.906 * [backup-simplify]: Simplify 0.5 into 0.5
0.906 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in z
0.906 * [taylor]: Taking taylor expansion of (- (+ x y) z) in z
0.906 * [taylor]: Taking taylor expansion of (+ x y) in z
0.906 * [taylor]: Taking taylor expansion of x in z
0.906 * [backup-simplify]: Simplify x into x
0.906 * [taylor]: Taking taylor expansion of y in z
0.906 * [backup-simplify]: Simplify y into y
0.906 * [taylor]: Taking taylor expansion of z in z
0.906 * [backup-simplify]: Simplify 0 into 0
0.906 * [backup-simplify]: Simplify 1 into 1
0.906 * [taylor]: Taking taylor expansion of t in z
0.906 * [backup-simplify]: Simplify t into t
0.907 * [backup-simplify]: Simplify (+ x y) into (+ x y)
0.907 * [backup-simplify]: Simplify (- 0) into 0
0.907 * [backup-simplify]: Simplify (+ (+ x y) 0) into (+ x y)
0.907 * [backup-simplify]: Simplify (/ (+ x y) t) into (/ (+ x y) t)
0.907 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in y
0.907 * [taylor]: Taking taylor expansion of 0.5 in y
0.907 * [backup-simplify]: Simplify 0.5 into 0.5
0.908 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in y
0.908 * [taylor]: Taking taylor expansion of (- (+ x y) z) in y
0.908 * [taylor]: Taking taylor expansion of (+ x y) in y
0.908 * [taylor]: Taking taylor expansion of x in y
0.908 * [backup-simplify]: Simplify x into x
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 * [taylor]: Taking taylor expansion of z in y
0.908 * [backup-simplify]: Simplify z into z
0.908 * [taylor]: Taking taylor expansion of t in y
0.908 * [backup-simplify]: Simplify t into t
0.908 * [backup-simplify]: Simplify (+ x 0) into x
0.908 * [backup-simplify]: Simplify (- z) into (- z)
0.908 * [backup-simplify]: Simplify (+ x (- z)) into (- x z)
0.908 * [backup-simplify]: Simplify (/ (- x z) t) into (/ (- x z) t)
0.908 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
0.908 * [taylor]: Taking taylor expansion of 0.5 in x
0.908 * [backup-simplify]: Simplify 0.5 into 0.5
0.908 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
0.908 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
0.908 * [taylor]: Taking taylor expansion of (+ x y) in x
0.908 * [taylor]: Taking taylor expansion of x in x
0.908 * [backup-simplify]: Simplify 0 into 0
0.908 * [backup-simplify]: Simplify 1 into 1
0.908 * [taylor]: Taking taylor expansion of y in x
0.908 * [backup-simplify]: Simplify y into y
0.908 * [taylor]: Taking taylor expansion of z in x
0.908 * [backup-simplify]: Simplify z into z
0.908 * [taylor]: Taking taylor expansion of t in x
0.909 * [backup-simplify]: Simplify t into t
0.909 * [backup-simplify]: Simplify (+ 0 y) into y
0.909 * [backup-simplify]: Simplify (- z) into (- z)
0.909 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
0.909 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
0.909 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- (+ x y) z) t)) in x
0.909 * [taylor]: Taking taylor expansion of 0.5 in x
0.909 * [backup-simplify]: Simplify 0.5 into 0.5
0.909 * [taylor]: Taking taylor expansion of (/ (- (+ x y) z) t) in x
0.909 * [taylor]: Taking taylor expansion of (- (+ x y) z) in x
0.909 * [taylor]: Taking taylor expansion of (+ x y) in x
0.909 * [taylor]: Taking taylor expansion of x in x
0.909 * [backup-simplify]: Simplify 0 into 0
0.909 * [backup-simplify]: Simplify 1 into 1
0.909 * [taylor]: Taking taylor expansion of y in x
0.909 * [backup-simplify]: Simplify y into y
0.909 * [taylor]: Taking taylor expansion of z in x
0.909 * [backup-simplify]: Simplify z into z
0.909 * [taylor]: Taking taylor expansion of t in x
0.909 * [backup-simplify]: Simplify t into t
0.909 * [backup-simplify]: Simplify (+ 0 y) into y
0.909 * [backup-simplify]: Simplify (- z) into (- z)
0.909 * [backup-simplify]: Simplify (+ y (- z)) into (- y z)
0.909 * [backup-simplify]: Simplify (/ (- y z) t) into (/ (- y z) t)
0.910 * [backup-simplify]: Simplify (* 0.5 (/ (- y z) t)) into (* 0.5 (/ (- y z) t))
0.910 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- y z) t)) in y
0.910 * [taylor]: Taking taylor expansion of 0.5 in y
0.910 * [backup-simplify]: Simplify 0.5 into 0.5
0.910 * [taylor]: Taking taylor expansion of (/ (- y z) t) in y
0.910 * [taylor]: Taking taylor expansion of (- y z) in y
0.910 * [taylor]: Taking taylor expansion of y in y
0.910 * [backup-simplify]: Simplify 0 into 0
0.910 * [backup-simplify]: Simplify 1 into 1
0.910 * [taylor]: Taking taylor expansion of z in y
0.910 * [backup-simplify]: Simplify z into z
0.910 * [taylor]: Taking taylor expansion of t in y
0.910 * [backup-simplify]: Simplify t into t
0.910 * [backup-simplify]: Simplify (- z) into (- z)
0.910 * [backup-simplify]: Simplify (+ 0 (- z)) into (- z)
0.910 * [backup-simplify]: Simplify (/ (- z) t) into (* -1 (/ z t))
0.910 * [backup-simplify]: Simplify (* 0.5 (* -1 (/ z t))) into (* -0.5 (/ z t))
0.910 * [taylor]: Taking taylor expansion of (* -0.5 (/ z t)) in z
0.910 * [taylor]: Taking taylor expansion of -0.5 in z
0.910 * [backup-simplify]: Simplify -0.5 into -0.5
0.910 * [taylor]: Taking taylor expansion of (/ z t) in z
0.910 * [taylor]: Taking taylor expansion of z in z
0.910 * [backup-simplify]: Simplify 0 into 0
0.911 * [backup-simplify]: Simplify 1 into 1
0.911 * [taylor]: Taking taylor expansion of t in z
0.911 * [backup-simplify]: Simplify t into t
0.911 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.911 * [backup-simplify]: Simplify (+ 1 0) into 1
0.912 * [backup-simplify]: Simplify (- 0) into 0
0.912 * [backup-simplify]: Simplify (+ 1 0) into 1
0.912 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ (- y z) t) (/ 0 t)))) into (/ 1 t)
0.913 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ (- y z) t))) into (* 0.5 (/ 1 t))
0.913 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
0.913 * [taylor]: Taking taylor expansion of 0.5 in y
0.913 * [backup-simplify]: Simplify 0.5 into 0.5
0.913 * [taylor]: Taking taylor expansion of (/ 1 t) in y
0.913 * [taylor]: Taking taylor expansion of t in y
0.913 * [backup-simplify]: Simplify t into t
0.913 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.913 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
0.913 * [taylor]: Taking taylor expansion of (/ 0.5 t) in z
0.913 * [taylor]: Taking taylor expansion of 0.5 in z
0.913 * [backup-simplify]: Simplify 0.5 into 0.5
0.913 * [taylor]: Taking taylor expansion of t in z
0.913 * [backup-simplify]: Simplify t into t
0.913 * [backup-simplify]: Simplify (/ 0.5 t) into (/ 0.5 t)
0.913 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
0.913 * [taylor]: Taking taylor expansion of 0.5 in t
0.913 * [backup-simplify]: Simplify 0.5 into 0.5
0.913 * [taylor]: Taking taylor expansion of t in t
0.913 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify 1 into 1
0.914 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
0.914 * [backup-simplify]: Simplify 0.5 into 0.5
0.915 * [backup-simplify]: Simplify (- 0) into 0
0.915 * [backup-simplify]: Simplify (+ 1 0) into 1
0.915 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (* -1 (/ z t)) (/ 0 t)))) into (/ 1 t)
0.915 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (* -1 (/ z t)))) into (* 0.5 (/ 1 t))
0.915 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in z
0.916 * [taylor]: Taking taylor expansion of 0.5 in z
0.916 * [backup-simplify]: Simplify 0.5 into 0.5
0.916 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.916 * [taylor]: Taking taylor expansion of t in z
0.916 * [backup-simplify]: Simplify t into t
0.916 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
0.916 * [backup-simplify]: Simplify (* 0.5 (/ 1 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 1) into 0.5
0.916 * [backup-simplify]: Simplify 0.5 into 0.5
0.917 * [backup-simplify]: Simplify (* -0.5 (/ 1 t)) into (/ -0.5 t)
0.917 * [taylor]: Taking taylor expansion of (/ -0.5 t) in t
0.917 * [taylor]: Taking taylor expansion of -0.5 in t
0.917 * [backup-simplify]: Simplify -0.5 into -0.5
0.917 * [taylor]: Taking taylor expansion of t in t
0.917 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify 1 into 1
0.917 * [backup-simplify]: Simplify (/ -0.5 1) into -0.5
0.917 * [backup-simplify]: Simplify -0.5 into -0.5
0.918 * [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.919 * [backup-simplify]: Simplify (/ (- (+ (/ 1 x) (/ 1 y)) (/ 1 z)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))))
0.919 * [approximate]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in (x y z t) around 0
0.919 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in t
0.919 * [taylor]: Taking taylor expansion of 0.5 in t
0.919 * [backup-simplify]: Simplify 0.5 into 0.5
0.919 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in t
0.919 * [taylor]: Taking taylor expansion of t in t
0.919 * [backup-simplify]: Simplify 0 into 0
0.919 * [backup-simplify]: Simplify 1 into 1
0.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in t
0.919 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.919 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.919 * [taylor]: Taking taylor expansion of y in t
0.919 * [backup-simplify]: Simplify y into y
0.919 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.919 * [taylor]: Taking taylor expansion of x in t
0.919 * [backup-simplify]: Simplify x into x
0.919 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.919 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.919 * [taylor]: Taking taylor expansion of z in t
0.919 * [backup-simplify]: Simplify z into z
0.919 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.919 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in z
0.919 * [taylor]: Taking taylor expansion of 0.5 in z
0.919 * [backup-simplify]: Simplify 0.5 into 0.5
0.919 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in z
0.919 * [taylor]: Taking taylor expansion of t in z
0.919 * [backup-simplify]: Simplify t into t
0.919 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in z
0.920 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.920 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.920 * [taylor]: Taking taylor expansion of y in z
0.920 * [backup-simplify]: Simplify y into y
0.920 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.920 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.920 * [taylor]: Taking taylor expansion of x in z
0.920 * [backup-simplify]: Simplify x into x
0.920 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.920 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.920 * [taylor]: Taking taylor expansion of z in z
0.920 * [backup-simplify]: Simplify 0 into 0
0.920 * [backup-simplify]: Simplify 1 into 1
0.920 * [backup-simplify]: Simplify (/ 1 1) into 1
0.920 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in y
0.920 * [taylor]: Taking taylor expansion of 0.5 in y
0.920 * [backup-simplify]: Simplify 0.5 into 0.5
0.920 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in y
0.921 * [taylor]: Taking taylor expansion of t in y
0.921 * [backup-simplify]: Simplify t into t
0.921 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in y
0.921 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.921 * [taylor]: Taking taylor expansion of y in y
0.921 * [backup-simplify]: Simplify 0 into 0
0.921 * [backup-simplify]: Simplify 1 into 1
0.921 * [backup-simplify]: Simplify (/ 1 1) into 1
0.921 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.921 * [taylor]: Taking taylor expansion of x in y
0.921 * [backup-simplify]: Simplify x into x
0.921 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.921 * [taylor]: Taking taylor expansion of z in y
0.921 * [backup-simplify]: Simplify z into z
0.921 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.921 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
0.921 * [taylor]: Taking taylor expansion of 0.5 in x
0.921 * [backup-simplify]: Simplify 0.5 into 0.5
0.922 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
0.922 * [taylor]: Taking taylor expansion of t in x
0.922 * [backup-simplify]: Simplify t into t
0.922 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
0.922 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.922 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.922 * [taylor]: Taking taylor expansion of y in x
0.922 * [backup-simplify]: Simplify y into y
0.922 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.922 * [taylor]: Taking taylor expansion of x in x
0.922 * [backup-simplify]: Simplify 0 into 0
0.922 * [backup-simplify]: Simplify 1 into 1
0.922 * [backup-simplify]: Simplify (/ 1 1) into 1
0.922 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.922 * [taylor]: Taking taylor expansion of z in x
0.922 * [backup-simplify]: Simplify z into z
0.922 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.922 * [taylor]: Taking taylor expansion of (* 0.5 (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)))) in x
0.922 * [taylor]: Taking taylor expansion of 0.5 in x
0.923 * [backup-simplify]: Simplify 0.5 into 0.5
0.923 * [taylor]: Taking taylor expansion of (* t (- (+ (/ 1 y) (/ 1 x)) (/ 1 z))) in x
0.923 * [taylor]: Taking taylor expansion of t in x
0.923 * [backup-simplify]: Simplify t into t
0.923 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 z)) in x
0.923 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.923 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.923 * [taylor]: Taking taylor expansion of y in x
0.923 * [backup-simplify]: Simplify y into y
0.923 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.923 * [taylor]: Taking taylor expansion of x in x
0.923 * [backup-simplify]: Simplify 0 into 0
0.923 * [backup-simplify]: Simplify 1 into 1
0.923 * [backup-simplify]: Simplify (/ 1 1) into 1
0.923 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.923 * [taylor]: Taking taylor expansion of z in x
0.923 * [backup-simplify]: Simplify z into z
0.923 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.924 * [backup-simplify]: Simplify (+ 0 1) into 1
0.924 * [backup-simplify]: Simplify (+ 1 0) into 1
0.924 * [backup-simplify]: Simplify (* t 1) into t
0.924 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.924 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
0.925 * [taylor]: Taking taylor expansion of 0.5 in y
0.925 * [backup-simplify]: Simplify 0.5 into 0.5
0.925 * [taylor]: Taking taylor expansion of t in y
0.925 * [backup-simplify]: Simplify t into t
0.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.929 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.929 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z))
0.929 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 z))) into (- (/ 1 y) (/ 1 z))
0.930 * [backup-simplify]: Simplify (+ (* t (- (/ 1 y) (/ 1 z))) (* 0 1)) into (- (/ t y) (/ t z))
0.930 * [backup-simplify]: Simplify (+ (* 0.5 (- (/ t y) (/ t z))) (* 0 t)) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
0.930 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
0.930 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
0.930 * [taylor]: Taking taylor expansion of 0.5 in y
0.930 * [backup-simplify]: Simplify 0.5 into 0.5
0.930 * [taylor]: Taking taylor expansion of (/ t y) in y
0.930 * [taylor]: Taking taylor expansion of t in y
0.930 * [backup-simplify]: Simplify t into t
0.931 * [taylor]: Taking taylor expansion of y in y
0.931 * [backup-simplify]: Simplify 0 into 0
0.931 * [backup-simplify]: Simplify 1 into 1
0.931 * [backup-simplify]: Simplify (/ t 1) into t
0.931 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
0.931 * [taylor]: Taking taylor expansion of 0.5 in y
0.931 * [backup-simplify]: Simplify 0.5 into 0.5
0.931 * [taylor]: Taking taylor expansion of (/ t z) in y
0.931 * [taylor]: Taking taylor expansion of t in y
0.931 * [backup-simplify]: Simplify t into t
0.931 * [taylor]: Taking taylor expansion of z in y
0.931 * [backup-simplify]: Simplify z into z
0.931 * [backup-simplify]: Simplify (/ t z) into (/ t z)
0.931 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.931 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
0.931 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.931 * [taylor]: Taking taylor expansion of 0.5 in z
0.931 * [backup-simplify]: Simplify 0.5 into 0.5
0.931 * [taylor]: Taking taylor expansion of t in z
0.931 * [backup-simplify]: Simplify t into t
0.931 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.931 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.931 * [taylor]: Taking taylor expansion of 0.5 in z
0.931 * [backup-simplify]: Simplify 0.5 into 0.5
0.931 * [taylor]: Taking taylor expansion of t in z
0.931 * [backup-simplify]: Simplify t into t
0.932 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.933 * [backup-simplify]: Simplify (+ 0 0) into 0
0.933 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.933 * [backup-simplify]: Simplify (- 0) into 0
0.934 * [backup-simplify]: Simplify (+ 0 0) into 0
0.934 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1))) into 0
0.935 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t))) into 0
0.935 * [taylor]: Taking taylor expansion of 0 in y
0.935 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.936 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.936 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
0.937 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
0.937 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
0.937 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
0.937 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
0.937 * [taylor]: Taking taylor expansion of 0.5 in z
0.937 * [backup-simplify]: Simplify 0.5 into 0.5
0.937 * [taylor]: Taking taylor expansion of (/ t z) in z
0.937 * [taylor]: Taking taylor expansion of t in z
0.937 * [backup-simplify]: Simplify t into t
0.937 * [taylor]: Taking taylor expansion of z in z
0.937 * [backup-simplify]: Simplify 0 into 0
0.937 * [backup-simplify]: Simplify 1 into 1
0.937 * [backup-simplify]: Simplify (/ t 1) into t
0.937 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.937 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
0.937 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
0.937 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.937 * [taylor]: Taking taylor expansion of 0.5 in t
0.937 * [backup-simplify]: Simplify 0.5 into 0.5
0.937 * [taylor]: Taking taylor expansion of t in t
0.938 * [backup-simplify]: Simplify 0 into 0
0.938 * [backup-simplify]: Simplify 1 into 1
0.938 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.938 * [backup-simplify]: Simplify (- 0) into 0
0.938 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.939 * [taylor]: Taking taylor expansion of 0 in z
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.939 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.939 * [taylor]: Taking taylor expansion of 0.5 in t
0.939 * [backup-simplify]: Simplify 0.5 into 0.5
0.939 * [taylor]: Taking taylor expansion of t in t
0.939 * [backup-simplify]: Simplify 0 into 0
0.939 * [backup-simplify]: Simplify 1 into 1
0.940 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.940 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.940 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.940 * [taylor]: Taking taylor expansion of 0.5 in t
0.940 * [backup-simplify]: Simplify 0.5 into 0.5
0.940 * [taylor]: Taking taylor expansion of t in t
0.940 * [backup-simplify]: Simplify 0 into 0
0.940 * [backup-simplify]: Simplify 1 into 1
0.940 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.940 * [backup-simplify]: Simplify 0 into 0
0.941 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.942 * [backup-simplify]: Simplify (+ 0 0) into 0
0.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.943 * [backup-simplify]: Simplify (- 0) into 0
0.943 * [backup-simplify]: Simplify (+ 0 0) into 0
0.944 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y) (/ 1 z))) (* 0 1)))) into 0
0.945 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t y) (/ t z))) (* 0 t)))) into 0
0.945 * [taylor]: Taking taylor expansion of 0 in y
0.945 * [backup-simplify]: Simplify 0 into 0
0.945 * [taylor]: Taking taylor expansion of 0 in z
0.945 * [backup-simplify]: Simplify 0 into 0
0.947 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.947 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.947 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
0.947 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
0.948 * [backup-simplify]: Simplify (- 0) into 0
0.948 * [backup-simplify]: Simplify (+ 0 0) into 0
0.948 * [taylor]: Taking taylor expansion of 0 in z
0.948 * [backup-simplify]: Simplify 0 into 0
0.948 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.949 * [taylor]: Taking taylor expansion of 0 in z
0.949 * [backup-simplify]: Simplify 0 into 0
0.949 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.949 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.950 * [backup-simplify]: Simplify (- 0) into 0
0.950 * [taylor]: Taking taylor expansion of 0 in t
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [taylor]: Taking taylor expansion of 0 in t
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.950 * [taylor]: Taking taylor expansion of 0 in t
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify 0 into 0
0.950 * [backup-simplify]: Simplify (/ (- (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- z))) (* (/ 1 (- t)) 2.0)) into (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))))
0.950 * [approximate]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in (x y z t) around 0
0.950 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in t
0.950 * [taylor]: Taking taylor expansion of -0.5 in t
0.950 * [backup-simplify]: Simplify -0.5 into -0.5
0.950 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in t
0.950 * [taylor]: Taking taylor expansion of t in t
0.951 * [backup-simplify]: Simplify 0 into 0
0.951 * [backup-simplify]: Simplify 1 into 1
0.951 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in t
0.951 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.951 * [taylor]: Taking taylor expansion of z in t
0.951 * [backup-simplify]: Simplify z into z
0.951 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.951 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
0.951 * [taylor]: Taking taylor expansion of (/ 1 y) in t
0.951 * [taylor]: Taking taylor expansion of y in t
0.951 * [backup-simplify]: Simplify y into y
0.951 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.951 * [taylor]: Taking taylor expansion of x in t
0.951 * [backup-simplify]: Simplify x into x
0.951 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.951 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in z
0.951 * [taylor]: Taking taylor expansion of -0.5 in z
0.951 * [backup-simplify]: Simplify -0.5 into -0.5
0.951 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in z
0.951 * [taylor]: Taking taylor expansion of t in z
0.951 * [backup-simplify]: Simplify t into t
0.951 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in z
0.951 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.951 * [taylor]: Taking taylor expansion of z in z
0.951 * [backup-simplify]: Simplify 0 into 0
0.951 * [backup-simplify]: Simplify 1 into 1
0.951 * [backup-simplify]: Simplify (/ 1 1) into 1
0.951 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z
0.951 * [taylor]: Taking taylor expansion of (/ 1 y) in z
0.951 * [taylor]: Taking taylor expansion of y in z
0.951 * [backup-simplify]: Simplify y into y
0.951 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.951 * [taylor]: Taking taylor expansion of x in z
0.951 * [backup-simplify]: Simplify x into x
0.951 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.951 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in y
0.951 * [taylor]: Taking taylor expansion of -0.5 in y
0.951 * [backup-simplify]: Simplify -0.5 into -0.5
0.952 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in y
0.952 * [taylor]: Taking taylor expansion of t in y
0.952 * [backup-simplify]: Simplify t into t
0.952 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in y
0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.952 * [taylor]: Taking taylor expansion of z in y
0.952 * [backup-simplify]: Simplify z into z
0.952 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
0.952 * [taylor]: Taking taylor expansion of (/ 1 y) in y
0.952 * [taylor]: Taking taylor expansion of y in y
0.952 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify 1 into 1
0.952 * [backup-simplify]: Simplify (/ 1 1) into 1
0.952 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.952 * [taylor]: Taking taylor expansion of x in y
0.952 * [backup-simplify]: Simplify x into x
0.952 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
0.952 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
0.952 * [taylor]: Taking taylor expansion of -0.5 in x
0.952 * [backup-simplify]: Simplify -0.5 into -0.5
0.952 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.952 * [taylor]: Taking taylor expansion of t in x
0.952 * [backup-simplify]: Simplify t into t
0.952 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.952 * [taylor]: Taking taylor expansion of z in x
0.952 * [backup-simplify]: Simplify z into z
0.952 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.952 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.952 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.952 * [taylor]: Taking taylor expansion of y in x
0.952 * [backup-simplify]: Simplify y into y
0.952 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.952 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.952 * [taylor]: Taking taylor expansion of x in x
0.952 * [backup-simplify]: Simplify 0 into 0
0.952 * [backup-simplify]: Simplify 1 into 1
0.953 * [backup-simplify]: Simplify (/ 1 1) into 1
0.953 * [taylor]: Taking taylor expansion of (* -0.5 (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x))))) in x
0.953 * [taylor]: Taking taylor expansion of -0.5 in x
0.953 * [backup-simplify]: Simplify -0.5 into -0.5
0.953 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (+ (/ 1 y) (/ 1 x)))) in x
0.953 * [taylor]: Taking taylor expansion of t in x
0.953 * [backup-simplify]: Simplify t into t
0.953 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) (/ 1 x))) in x
0.953 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.953 * [taylor]: Taking taylor expansion of z in x
0.953 * [backup-simplify]: Simplify z into z
0.953 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
0.953 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
0.953 * [taylor]: Taking taylor expansion of (/ 1 y) in x
0.953 * [taylor]: Taking taylor expansion of y in x
0.953 * [backup-simplify]: Simplify y into y
0.953 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
0.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.953 * [taylor]: Taking taylor expansion of x in x
0.953 * [backup-simplify]: Simplify 0 into 0
0.953 * [backup-simplify]: Simplify 1 into 1
0.953 * [backup-simplify]: Simplify (/ 1 1) into 1
0.954 * [backup-simplify]: Simplify (+ 0 1) into 1
0.954 * [backup-simplify]: Simplify (- 1) into -1
0.954 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.954 * [backup-simplify]: Simplify (* t -1) into (* -1 t)
0.954 * [backup-simplify]: Simplify (* -0.5 (* -1 t)) into (* 0.5 t)
0.954 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
0.954 * [taylor]: Taking taylor expansion of 0.5 in y
0.954 * [backup-simplify]: Simplify 0.5 into 0.5
0.954 * [taylor]: Taking taylor expansion of t in y
0.954 * [backup-simplify]: Simplify t into t
0.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.955 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
0.955 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
0.955 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 y))) into (- (/ 1 z) (/ 1 y))
0.955 * [backup-simplify]: Simplify (+ (* t (- (/ 1 z) (/ 1 y))) (* 0 -1)) into (- (/ t z) (/ t y))
0.955 * [backup-simplify]: Simplify (+ (* -0.5 (- (/ t z) (/ t y))) (* 0 (* -1 t))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
0.955 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
0.955 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
0.956 * [taylor]: Taking taylor expansion of 0.5 in y
0.956 * [backup-simplify]: Simplify 0.5 into 0.5
0.956 * [taylor]: Taking taylor expansion of (/ t y) in y
0.956 * [taylor]: Taking taylor expansion of t in y
0.956 * [backup-simplify]: Simplify t into t
0.956 * [taylor]: Taking taylor expansion of y in y
0.956 * [backup-simplify]: Simplify 0 into 0
0.956 * [backup-simplify]: Simplify 1 into 1
0.956 * [backup-simplify]: Simplify (/ t 1) into t
0.956 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
0.956 * [taylor]: Taking taylor expansion of 0.5 in y
0.956 * [backup-simplify]: Simplify 0.5 into 0.5
0.956 * [taylor]: Taking taylor expansion of (/ t z) in y
0.956 * [taylor]: Taking taylor expansion of t in y
0.956 * [backup-simplify]: Simplify t into t
0.956 * [taylor]: Taking taylor expansion of z in y
0.956 * [backup-simplify]: Simplify z into z
0.956 * [backup-simplify]: Simplify (/ t z) into (/ t z)
0.956 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.956 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
0.956 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.956 * [taylor]: Taking taylor expansion of 0.5 in z
0.956 * [backup-simplify]: Simplify 0.5 into 0.5
0.956 * [taylor]: Taking taylor expansion of t in z
0.956 * [backup-simplify]: Simplify t into t
0.956 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.956 * [taylor]: Taking taylor expansion of (* 0.5 t) in z
0.956 * [taylor]: Taking taylor expansion of 0.5 in z
0.956 * [backup-simplify]: Simplify 0.5 into 0.5
0.956 * [taylor]: Taking taylor expansion of t in z
0.956 * [backup-simplify]: Simplify t into t
0.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0
0.956 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
0.957 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.957 * [backup-simplify]: Simplify (+ 0 0) into 0
0.957 * [backup-simplify]: Simplify (- 0) into 0
0.957 * [backup-simplify]: Simplify (+ 0 0) into 0
0.958 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1))) into 0
0.958 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t)))) into 0
0.958 * [taylor]: Taking taylor expansion of 0 in y
0.958 * [backup-simplify]: Simplify 0 into 0
0.959 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.959 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.959 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
0.959 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
0.959 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
0.959 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in z
0.959 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
0.959 * [taylor]: Taking taylor expansion of 0.5 in z
0.959 * [backup-simplify]: Simplify 0.5 into 0.5
0.959 * [taylor]: Taking taylor expansion of (/ t z) in z
0.959 * [taylor]: Taking taylor expansion of t in z
0.959 * [backup-simplify]: Simplify t into t
0.959 * [taylor]: Taking taylor expansion of z in z
0.959 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify 1 into 1
0.960 * [backup-simplify]: Simplify (/ t 1) into t
0.960 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.960 * [backup-simplify]: Simplify (- (* 0.5 t)) into (- (* 0.5 t))
0.960 * [taylor]: Taking taylor expansion of (- (* 0.5 t)) in t
0.960 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.960 * [taylor]: Taking taylor expansion of 0.5 in t
0.960 * [backup-simplify]: Simplify 0.5 into 0.5
0.960 * [taylor]: Taking taylor expansion of t in t
0.960 * [backup-simplify]: Simplify 0 into 0
0.960 * [backup-simplify]: Simplify 1 into 1
0.960 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.960 * [backup-simplify]: Simplify (- 0) into 0
0.960 * [backup-simplify]: Simplify 0 into 0
0.961 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.961 * [taylor]: Taking taylor expansion of 0 in z
0.961 * [backup-simplify]: Simplify 0 into 0
0.961 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.961 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.961 * [taylor]: Taking taylor expansion of 0.5 in t
0.961 * [backup-simplify]: Simplify 0.5 into 0.5
0.961 * [taylor]: Taking taylor expansion of t in t
0.961 * [backup-simplify]: Simplify 0 into 0
0.961 * [backup-simplify]: Simplify 1 into 1
0.961 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.961 * [backup-simplify]: Simplify 0 into 0
0.961 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
0.961 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
0.961 * [taylor]: Taking taylor expansion of 0.5 in t
0.961 * [backup-simplify]: Simplify 0.5 into 0.5
0.961 * [taylor]: Taking taylor expansion of t in t
0.961 * [backup-simplify]: Simplify 0 into 0
0.961 * [backup-simplify]: Simplify 1 into 1
0.961 * [backup-simplify]: Simplify (* 0.5 0) into 0
0.961 * [backup-simplify]: Simplify 0 into 0
0.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0
0.962 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
0.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.963 * [backup-simplify]: Simplify (+ 0 0) into 0
0.963 * [backup-simplify]: Simplify (- 0) into 0
0.963 * [backup-simplify]: Simplify (+ 0 0) into 0
0.964 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (- (/ 1 z) (/ 1 y))) (* 0 -1)))) into 0
0.964 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (- (/ t z) (/ t y))) (* 0 (* -1 t))))) into 0
0.964 * [taylor]: Taking taylor expansion of 0 in y
0.964 * [backup-simplify]: Simplify 0 into 0
0.964 * [taylor]: Taking taylor expansion of 0 in z
0.964 * [backup-simplify]: Simplify 0 into 0
0.965 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.966 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.966 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
0.966 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
0.966 * [backup-simplify]: Simplify (- 0) into 0
0.967 * [backup-simplify]: Simplify (+ 0 0) into 0
0.967 * [taylor]: Taking taylor expansion of 0 in z
0.967 * [backup-simplify]: Simplify 0 into 0
0.967 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
0.967 * [taylor]: Taking taylor expansion of 0 in z
0.967 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
0.968 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.968 * [backup-simplify]: Simplify (- 0) into 0
0.968 * [taylor]: Taking taylor expansion of 0 in t
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [taylor]: Taking taylor expansion of 0 in t
0.968 * [backup-simplify]: Simplify 0 into 0
0.968 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
0.969 * [taylor]: Taking taylor expansion of 0 in t
0.969 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify 0 into 0
0.969 * [backup-simplify]: Simplify 0 into 0
0.969 * * * [progress]: simplifying candidates
0.969 * [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.970 * * [simplify]: Extracting # 0 : cost  0
0.970 * * [simplify]: Extracting # 1 : cost  0
0.970 * * [simplify]: Extracting # 2 : cost  0
0.970 * * [simplify]: Extracting # 3 : cost  0
0.971 * * [simplify]: Extracting # 4 : cost  0
0.971 * * [simplify]: Extracting # 5 : cost  0
0.971 * * [simplify]: Extracting # 6 : cost  0
0.971 * * [simplify]: Extracting # 7 : cost  0
0.971 * * [simplify]: iteration  0 :  80  enodes  (cost  438 )
0.987 * * [simplify]: Extracting # 0 : cost  0
0.988 * * [simplify]: Extracting # 1 : cost  0
0.988 * * [simplify]: Extracting # 2 : cost  0
0.989 * * [simplify]: Extracting # 3 : cost  0
0.989 * * [simplify]: iteration  1 :  206  enodes  (cost  430 )
1.088 * * [simplify]: Extracting # 0 : cost  0
1.089 * * [simplify]: Extracting # 1 : cost  0
1.090 * * [simplify]: Extracting # 2 : cost  0
1.091 * * [simplify]: Extracting # 3 : cost  0
1.092 * * [simplify]: Extracting # 4 : cost  0
1.092 * * [simplify]: iteration  2 :  730  enodes  (cost  374 )
1.823 * * [simplify]: Extracting # 0 : cost  0
1.827 * * [simplify]: Extracting # 1 : cost  0
1.830 * * [simplify]: Extracting # 2 : cost  0
1.833 * * [simplify]: Extracting # 3 : cost  0
1.836 * * [simplify]: Extracting # 4 : cost  0
1.839 * * [simplify]: iteration  3 :  3341  enodes  (cost  372 )
2.905 * * [simplify]: Extracting # 0 : cost  0
2.911 * * [simplify]: Extracting # 1 : cost  0
2.925 * * [simplify]: Extracting # 2 : cost  0
2.931 * * [simplify]: iteration done:  5000  enodes  (cost  372 )
2.931 * [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
2.932 * * * [progress]: adding candidates to table
3.024 * * [progress]: iteration 2 / 4
3.024 * * * [progress]: picking best candidate
3.031 * * * * [pick]: Picked  #<alt (λ (x y z t) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))>
3.031 * * * [progress]: localizing error
3.048 * * * [progress]: generating rewritten candidates
3.048 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
3.145 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
3.575 * * * [progress]: generating series expansions
3.575 * * * * [progress]: [ 1 / 2 ] generating series at (2)
3.576 * [backup-simplify]: Simplify (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))) into (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
3.576 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in (x y t z) around 0
3.576 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in z
3.576 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in z
3.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in z
3.576 * [taylor]: Taking taylor expansion of 0.5 in z
3.576 * [backup-simplify]: Simplify 0.5 into 0.5
3.576 * [taylor]: Taking taylor expansion of (/ x t) in z
3.576 * [taylor]: Taking taylor expansion of x in z
3.576 * [backup-simplify]: Simplify x into x
3.576 * [taylor]: Taking taylor expansion of t in z
3.576 * [backup-simplify]: Simplify t into t
3.576 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in z
3.576 * [taylor]: Taking taylor expansion of 0.5 in z
3.576 * [backup-simplify]: Simplify 0.5 into 0.5
3.576 * [taylor]: Taking taylor expansion of (/ y t) in z
3.576 * [taylor]: Taking taylor expansion of y in z
3.576 * [backup-simplify]: Simplify y into y
3.576 * [taylor]: Taking taylor expansion of t in z
3.576 * [backup-simplify]: Simplify t into t
3.576 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in z
3.576 * [taylor]: Taking taylor expansion of 0.5 in z
3.576 * [backup-simplify]: Simplify 0.5 into 0.5
3.576 * [taylor]: Taking taylor expansion of (/ z t) in z
3.576 * [taylor]: Taking taylor expansion of z in z
3.576 * [backup-simplify]: Simplify 0 into 0
3.576 * [backup-simplify]: Simplify 1 into 1
3.576 * [taylor]: Taking taylor expansion of t in z
3.576 * [backup-simplify]: Simplify t into t
3.576 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.576 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in t
3.576 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in t
3.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in t
3.576 * [taylor]: Taking taylor expansion of 0.5 in t
3.576 * [backup-simplify]: Simplify 0.5 into 0.5
3.576 * [taylor]: Taking taylor expansion of (/ x t) in t
3.576 * [taylor]: Taking taylor expansion of x in t
3.576 * [backup-simplify]: Simplify x into x
3.576 * [taylor]: Taking taylor expansion of t in t
3.576 * [backup-simplify]: Simplify 0 into 0
3.576 * [backup-simplify]: Simplify 1 into 1
3.576 * [backup-simplify]: Simplify (/ x 1) into x
3.576 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in t
3.576 * [taylor]: Taking taylor expansion of 0.5 in t
3.576 * [backup-simplify]: Simplify 0.5 into 0.5
3.576 * [taylor]: Taking taylor expansion of (/ y t) in t
3.576 * [taylor]: Taking taylor expansion of y in t
3.576 * [backup-simplify]: Simplify y into y
3.577 * [taylor]: Taking taylor expansion of t in t
3.577 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify 1 into 1
3.577 * [backup-simplify]: Simplify (/ y 1) into y
3.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t
3.577 * [taylor]: Taking taylor expansion of 0.5 in t
3.577 * [backup-simplify]: Simplify 0.5 into 0.5
3.577 * [taylor]: Taking taylor expansion of (/ z t) in t
3.577 * [taylor]: Taking taylor expansion of z in t
3.577 * [backup-simplify]: Simplify z into z
3.577 * [taylor]: Taking taylor expansion of t in t
3.577 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify 1 into 1
3.577 * [backup-simplify]: Simplify (/ z 1) into z
3.577 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in y
3.577 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in y
3.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in y
3.577 * [taylor]: Taking taylor expansion of 0.5 in y
3.577 * [backup-simplify]: Simplify 0.5 into 0.5
3.577 * [taylor]: Taking taylor expansion of (/ x t) in y
3.577 * [taylor]: Taking taylor expansion of x in y
3.577 * [backup-simplify]: Simplify x into x
3.577 * [taylor]: Taking taylor expansion of t in y
3.577 * [backup-simplify]: Simplify t into t
3.577 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
3.577 * [taylor]: Taking taylor expansion of 0.5 in y
3.577 * [backup-simplify]: Simplify 0.5 into 0.5
3.577 * [taylor]: Taking taylor expansion of (/ y t) in y
3.577 * [taylor]: Taking taylor expansion of y in y
3.577 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify 1 into 1
3.577 * [taylor]: Taking taylor expansion of t in y
3.577 * [backup-simplify]: Simplify t into t
3.577 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y
3.577 * [taylor]: Taking taylor expansion of 0.5 in y
3.577 * [backup-simplify]: Simplify 0.5 into 0.5
3.577 * [taylor]: Taking taylor expansion of (/ z t) in y
3.577 * [taylor]: Taking taylor expansion of z in y
3.577 * [backup-simplify]: Simplify z into z
3.577 * [taylor]: Taking taylor expansion of t in y
3.577 * [backup-simplify]: Simplify t into t
3.577 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.577 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in x
3.577 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in x
3.577 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in x
3.577 * [taylor]: Taking taylor expansion of 0.5 in x
3.577 * [backup-simplify]: Simplify 0.5 into 0.5
3.577 * [taylor]: Taking taylor expansion of (/ x t) in x
3.577 * [taylor]: Taking taylor expansion of x in x
3.577 * [backup-simplify]: Simplify 0 into 0
3.577 * [backup-simplify]: Simplify 1 into 1
3.577 * [taylor]: Taking taylor expansion of t in x
3.577 * [backup-simplify]: Simplify t into t
3.578 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in x
3.578 * [taylor]: Taking taylor expansion of 0.5 in x
3.578 * [backup-simplify]: Simplify 0.5 into 0.5
3.578 * [taylor]: Taking taylor expansion of (/ y t) in x
3.578 * [taylor]: Taking taylor expansion of y in x
3.578 * [backup-simplify]: Simplify y into y
3.578 * [taylor]: Taking taylor expansion of t in x
3.578 * [backup-simplify]: Simplify t into t
3.578 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in x
3.578 * [taylor]: Taking taylor expansion of 0.5 in x
3.578 * [backup-simplify]: Simplify 0.5 into 0.5
3.578 * [taylor]: Taking taylor expansion of (/ z t) in x
3.578 * [taylor]: Taking taylor expansion of z in x
3.578 * [backup-simplify]: Simplify z into z
3.578 * [taylor]: Taking taylor expansion of t in x
3.578 * [backup-simplify]: Simplify t into t
3.578 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.578 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t))) in x
3.578 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) in x
3.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ x t)) in x
3.578 * [taylor]: Taking taylor expansion of 0.5 in x
3.578 * [backup-simplify]: Simplify 0.5 into 0.5
3.578 * [taylor]: Taking taylor expansion of (/ x t) in x
3.578 * [taylor]: Taking taylor expansion of x in x
3.578 * [backup-simplify]: Simplify 0 into 0
3.578 * [backup-simplify]: Simplify 1 into 1
3.578 * [taylor]: Taking taylor expansion of t in x
3.578 * [backup-simplify]: Simplify t into t
3.578 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in x
3.578 * [taylor]: Taking taylor expansion of 0.5 in x
3.578 * [backup-simplify]: Simplify 0.5 into 0.5
3.578 * [taylor]: Taking taylor expansion of (/ y t) in x
3.578 * [taylor]: Taking taylor expansion of y in x
3.578 * [backup-simplify]: Simplify y into y
3.578 * [taylor]: Taking taylor expansion of t in x
3.578 * [backup-simplify]: Simplify t into t
3.578 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.578 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in x
3.578 * [taylor]: Taking taylor expansion of 0.5 in x
3.578 * [backup-simplify]: Simplify 0.5 into 0.5
3.578 * [taylor]: Taking taylor expansion of (/ z t) in x
3.578 * [taylor]: Taking taylor expansion of z in x
3.578 * [backup-simplify]: Simplify z into z
3.578 * [taylor]: Taking taylor expansion of t in x
3.578 * [backup-simplify]: Simplify t into t
3.578 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.578 * [backup-simplify]: Simplify (* 0.5 (/ y t)) into (* 0.5 (/ y t))
3.579 * [backup-simplify]: Simplify (+ 0 (* 0.5 (/ y t))) into (* 0.5 (/ y t))
3.579 * [backup-simplify]: Simplify (* 0.5 (/ z t)) into (* 0.5 (/ z t))
3.579 * [backup-simplify]: Simplify (- (* 0.5 (/ z t))) into (- (* 0.5 (/ z t)))
3.579 * [backup-simplify]: Simplify (+ (* 0.5 (/ y t)) (- (* 0.5 (/ z t)))) into (- (* 0.5 (/ y t)) (* 0.5 (/ z t)))
3.579 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ y t)) (* 0.5 (/ z t))) in y
3.579 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
3.579 * [taylor]: Taking taylor expansion of 0.5 in y
3.579 * [backup-simplify]: Simplify 0.5 into 0.5
3.579 * [taylor]: Taking taylor expansion of (/ y t) in y
3.579 * [taylor]: Taking taylor expansion of y in y
3.579 * [backup-simplify]: Simplify 0 into 0
3.579 * [backup-simplify]: Simplify 1 into 1
3.579 * [taylor]: Taking taylor expansion of t in y
3.579 * [backup-simplify]: Simplify t into t
3.579 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.579 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in y
3.579 * [taylor]: Taking taylor expansion of 0.5 in y
3.579 * [backup-simplify]: Simplify 0.5 into 0.5
3.579 * [taylor]: Taking taylor expansion of (/ z t) in y
3.579 * [taylor]: Taking taylor expansion of z in y
3.579 * [backup-simplify]: Simplify z into z
3.579 * [taylor]: Taking taylor expansion of t in y
3.579 * [backup-simplify]: Simplify t into t
3.579 * [backup-simplify]: Simplify (/ z t) into (/ z t)
3.579 * [backup-simplify]: Simplify (* 0.5 (/ z t)) into (* 0.5 (/ z t))
3.579 * [backup-simplify]: Simplify (- (* 0.5 (/ z t))) into (- (* 0.5 (/ z t)))
3.579 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ z t)))) into (- (* 0.5 (/ z t)))
3.580 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ z t))) in t
3.580 * [taylor]: Taking taylor expansion of (* 0.5 (/ z t)) in t
3.580 * [taylor]: Taking taylor expansion of 0.5 in t
3.580 * [backup-simplify]: Simplify 0.5 into 0.5
3.580 * [taylor]: Taking taylor expansion of (/ z t) in t
3.580 * [taylor]: Taking taylor expansion of z in t
3.580 * [backup-simplify]: Simplify z into z
3.580 * [taylor]: Taking taylor expansion of t in t
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify 1 into 1
3.580 * [backup-simplify]: Simplify (/ z 1) into z
3.580 * [backup-simplify]: Simplify (* 0.5 z) into (* 0.5 z)
3.580 * [backup-simplify]: Simplify (- (* 0.5 z)) into (- (* 0.5 z))
3.580 * [taylor]: Taking taylor expansion of (- (* 0.5 z)) in z
3.580 * [taylor]: Taking taylor expansion of (* 0.5 z) in z
3.580 * [taylor]: Taking taylor expansion of 0.5 in z
3.580 * [backup-simplify]: Simplify 0.5 into 0.5
3.580 * [taylor]: Taking taylor expansion of z in z
3.580 * [backup-simplify]: Simplify 0 into 0
3.580 * [backup-simplify]: Simplify 1 into 1
3.580 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.581 * [backup-simplify]: Simplify (- 0) into 0
3.581 * [backup-simplify]: Simplify 0 into 0
3.581 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.581 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)))) into 0
3.581 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ y t))) into 0
3.581 * [backup-simplify]: Simplify (+ (/ 0.5 t) 0) into (* 0.5 (/ 1 t))
3.581 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
3.582 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ z t))) into 0
3.582 * [backup-simplify]: Simplify (- 0) into 0
3.582 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) 0) into (* 0.5 (/ 1 t))
3.582 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
3.582 * [taylor]: Taking taylor expansion of 0.5 in y
3.582 * [backup-simplify]: Simplify 0.5 into 0.5
3.582 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.582 * [taylor]: Taking taylor expansion of t in y
3.582 * [backup-simplify]: Simplify t into t
3.582 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.582 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.582 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
3.582 * [taylor]: Taking taylor expansion of 0.5 in t
3.582 * [backup-simplify]: Simplify 0.5 into 0.5
3.582 * [taylor]: Taking taylor expansion of t in t
3.582 * [backup-simplify]: Simplify 0 into 0
3.582 * [backup-simplify]: Simplify 1 into 1
3.583 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
3.583 * [taylor]: Taking taylor expansion of 0.5 in z
3.583 * [backup-simplify]: Simplify 0.5 into 0.5
3.583 * [backup-simplify]: Simplify 0.5 into 0.5
3.583 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.583 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ z t) (/ 0 t)))) into 0
3.584 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ z t))) into 0
3.584 * [backup-simplify]: Simplify (- 0) into 0
3.584 * [backup-simplify]: Simplify (+ (/ 0.5 t) 0) into (* 0.5 (/ 1 t))
3.584 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in t
3.584 * [taylor]: Taking taylor expansion of 0.5 in t
3.584 * [backup-simplify]: Simplify 0.5 into 0.5
3.584 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.584 * [taylor]: Taking taylor expansion of t in t
3.584 * [backup-simplify]: Simplify 0 into 0
3.584 * [backup-simplify]: Simplify 1 into 1
3.585 * [backup-simplify]: Simplify (/ 1 1) into 1
3.585 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.585 * [taylor]: Taking taylor expansion of 0.5 in z
3.585 * [backup-simplify]: Simplify 0.5 into 0.5
3.585 * [backup-simplify]: Simplify 0.5 into 0.5
3.586 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0
3.586 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 z)) into 0
3.587 * [backup-simplify]: Simplify (- 0) into 0
3.587 * [taylor]: Taking taylor expansion of 0 in z
3.587 * [backup-simplify]: Simplify 0 into 0
3.587 * [backup-simplify]: Simplify 0 into 0
3.588 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.589 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.589 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.590 * [backup-simplify]: Simplify (+ (* (- 0.5) (* z (* (/ 1 t) (* 1 1)))) (+ (* 0.5 (* 1 (* (/ 1 t) (* y 1)))) (* 0.5 (* 1 (* (/ 1 t) (* 1 x)))))) into (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
3.591 * [backup-simplify]: Simplify (- (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 t) 2.0)) (/ (/ 1 z) (* (/ 1 t) 2.0))) into (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z)))
3.591 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in (x y t z) around 0
3.591 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in z
3.591 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in z
3.591 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in z
3.591 * [taylor]: Taking taylor expansion of 0.5 in z
3.591 * [backup-simplify]: Simplify 0.5 into 0.5
3.591 * [taylor]: Taking taylor expansion of (/ t y) in z
3.591 * [taylor]: Taking taylor expansion of t in z
3.591 * [backup-simplify]: Simplify t into t
3.591 * [taylor]: Taking taylor expansion of y in z
3.591 * [backup-simplify]: Simplify y into y
3.591 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.592 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in z
3.592 * [taylor]: Taking taylor expansion of 0.5 in z
3.592 * [backup-simplify]: Simplify 0.5 into 0.5
3.592 * [taylor]: Taking taylor expansion of (/ t x) in z
3.592 * [taylor]: Taking taylor expansion of t in z
3.592 * [backup-simplify]: Simplify t into t
3.592 * [taylor]: Taking taylor expansion of x in z
3.592 * [backup-simplify]: Simplify x into x
3.592 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.592 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
3.592 * [taylor]: Taking taylor expansion of 0.5 in z
3.592 * [backup-simplify]: Simplify 0.5 into 0.5
3.592 * [taylor]: Taking taylor expansion of (/ t z) in z
3.592 * [taylor]: Taking taylor expansion of t in z
3.592 * [backup-simplify]: Simplify t into t
3.592 * [taylor]: Taking taylor expansion of z in z
3.592 * [backup-simplify]: Simplify 0 into 0
3.592 * [backup-simplify]: Simplify 1 into 1
3.592 * [backup-simplify]: Simplify (/ t 1) into t
3.592 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in t
3.592 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in t
3.592 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
3.592 * [taylor]: Taking taylor expansion of 0.5 in t
3.592 * [backup-simplify]: Simplify 0.5 into 0.5
3.592 * [taylor]: Taking taylor expansion of (/ t y) in t
3.592 * [taylor]: Taking taylor expansion of t in t
3.592 * [backup-simplify]: Simplify 0 into 0
3.592 * [backup-simplify]: Simplify 1 into 1
3.592 * [taylor]: Taking taylor expansion of y in t
3.592 * [backup-simplify]: Simplify y into y
3.592 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in t
3.593 * [taylor]: Taking taylor expansion of 0.5 in t
3.593 * [backup-simplify]: Simplify 0.5 into 0.5
3.593 * [taylor]: Taking taylor expansion of (/ t x) in t
3.593 * [taylor]: Taking taylor expansion of t in t
3.593 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify 1 into 1
3.593 * [taylor]: Taking taylor expansion of x in t
3.593 * [backup-simplify]: Simplify x into x
3.593 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
3.593 * [taylor]: Taking taylor expansion of 0.5 in t
3.593 * [backup-simplify]: Simplify 0.5 into 0.5
3.593 * [taylor]: Taking taylor expansion of (/ t z) in t
3.593 * [taylor]: Taking taylor expansion of t in t
3.593 * [backup-simplify]: Simplify 0 into 0
3.593 * [backup-simplify]: Simplify 1 into 1
3.593 * [taylor]: Taking taylor expansion of z in t
3.593 * [backup-simplify]: Simplify z into z
3.593 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.593 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in y
3.593 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in y
3.593 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.593 * [taylor]: Taking taylor expansion of 0.5 in y
3.593 * [backup-simplify]: Simplify 0.5 into 0.5
3.593 * [taylor]: Taking taylor expansion of (/ t y) in y
3.593 * [taylor]: Taking taylor expansion of t in y
3.594 * [backup-simplify]: Simplify t into t
3.594 * [taylor]: Taking taylor expansion of y in y
3.594 * [backup-simplify]: Simplify 0 into 0
3.594 * [backup-simplify]: Simplify 1 into 1
3.594 * [backup-simplify]: Simplify (/ t 1) into t
3.594 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in y
3.594 * [taylor]: Taking taylor expansion of 0.5 in y
3.594 * [backup-simplify]: Simplify 0.5 into 0.5
3.594 * [taylor]: Taking taylor expansion of (/ t x) in y
3.594 * [taylor]: Taking taylor expansion of t in y
3.594 * [backup-simplify]: Simplify t into t
3.594 * [taylor]: Taking taylor expansion of x in y
3.594 * [backup-simplify]: Simplify x into x
3.594 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.594 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
3.594 * [taylor]: Taking taylor expansion of 0.5 in y
3.594 * [backup-simplify]: Simplify 0.5 into 0.5
3.594 * [taylor]: Taking taylor expansion of (/ t z) in y
3.594 * [taylor]: Taking taylor expansion of t in y
3.594 * [backup-simplify]: Simplify t into t
3.594 * [taylor]: Taking taylor expansion of z in y
3.594 * [backup-simplify]: Simplify z into z
3.594 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.594 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
3.594 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
3.594 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
3.594 * [taylor]: Taking taylor expansion of 0.5 in x
3.594 * [backup-simplify]: Simplify 0.5 into 0.5
3.594 * [taylor]: Taking taylor expansion of (/ t y) in x
3.595 * [taylor]: Taking taylor expansion of t in x
3.595 * [backup-simplify]: Simplify t into t
3.595 * [taylor]: Taking taylor expansion of y in x
3.595 * [backup-simplify]: Simplify y into y
3.595 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.595 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
3.595 * [taylor]: Taking taylor expansion of 0.5 in x
3.595 * [backup-simplify]: Simplify 0.5 into 0.5
3.595 * [taylor]: Taking taylor expansion of (/ t x) in x
3.595 * [taylor]: Taking taylor expansion of t in x
3.595 * [backup-simplify]: Simplify t into t
3.595 * [taylor]: Taking taylor expansion of x in x
3.595 * [backup-simplify]: Simplify 0 into 0
3.595 * [backup-simplify]: Simplify 1 into 1
3.595 * [backup-simplify]: Simplify (/ t 1) into t
3.595 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
3.595 * [taylor]: Taking taylor expansion of 0.5 in x
3.595 * [backup-simplify]: Simplify 0.5 into 0.5
3.595 * [taylor]: Taking taylor expansion of (/ t z) in x
3.595 * [taylor]: Taking taylor expansion of t in x
3.595 * [backup-simplify]: Simplify t into t
3.595 * [taylor]: Taking taylor expansion of z in x
3.595 * [backup-simplify]: Simplify z into z
3.595 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.595 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
3.595 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
3.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
3.596 * [taylor]: Taking taylor expansion of 0.5 in x
3.596 * [backup-simplify]: Simplify 0.5 into 0.5
3.596 * [taylor]: Taking taylor expansion of (/ t y) in x
3.596 * [taylor]: Taking taylor expansion of t in x
3.596 * [backup-simplify]: Simplify t into t
3.596 * [taylor]: Taking taylor expansion of y in x
3.596 * [backup-simplify]: Simplify y into y
3.596 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
3.596 * [taylor]: Taking taylor expansion of 0.5 in x
3.596 * [backup-simplify]: Simplify 0.5 into 0.5
3.596 * [taylor]: Taking taylor expansion of (/ t x) in x
3.596 * [taylor]: Taking taylor expansion of t in x
3.596 * [backup-simplify]: Simplify t into t
3.596 * [taylor]: Taking taylor expansion of x in x
3.596 * [backup-simplify]: Simplify 0 into 0
3.596 * [backup-simplify]: Simplify 1 into 1
3.596 * [backup-simplify]: Simplify (/ t 1) into t
3.596 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
3.596 * [taylor]: Taking taylor expansion of 0.5 in x
3.596 * [backup-simplify]: Simplify 0.5 into 0.5
3.596 * [taylor]: Taking taylor expansion of (/ t z) in x
3.596 * [taylor]: Taking taylor expansion of t in x
3.596 * [backup-simplify]: Simplify t into t
3.596 * [taylor]: Taking taylor expansion of z in x
3.597 * [backup-simplify]: Simplify z into z
3.597 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.597 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.597 * [backup-simplify]: Simplify (+ 0 (* 0.5 t)) into (* 0.5 t)
3.597 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
3.597 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
3.597 * [taylor]: Taking taylor expansion of 0.5 in y
3.597 * [backup-simplify]: Simplify 0.5 into 0.5
3.597 * [taylor]: Taking taylor expansion of t in y
3.597 * [backup-simplify]: Simplify t into t
3.597 * [backup-simplify]: Simplify (* 0.5 (/ t y)) into (* 0.5 (/ t y))
3.598 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.599 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.599 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) 0) into (* 0.5 (/ t y))
3.599 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
3.599 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
3.600 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
3.600 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
3.600 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.600 * [taylor]: Taking taylor expansion of 0.5 in y
3.600 * [backup-simplify]: Simplify 0.5 into 0.5
3.600 * [taylor]: Taking taylor expansion of (/ t y) in y
3.600 * [taylor]: Taking taylor expansion of t in y
3.600 * [backup-simplify]: Simplify t into t
3.600 * [taylor]: Taking taylor expansion of y in y
3.600 * [backup-simplify]: Simplify 0 into 0
3.600 * [backup-simplify]: Simplify 1 into 1
3.600 * [backup-simplify]: Simplify (/ t 1) into t
3.600 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
3.600 * [taylor]: Taking taylor expansion of 0.5 in y
3.600 * [backup-simplify]: Simplify 0.5 into 0.5
3.600 * [taylor]: Taking taylor expansion of (/ t z) in y
3.600 * [taylor]: Taking taylor expansion of t in y
3.600 * [backup-simplify]: Simplify t into t
3.600 * [taylor]: Taking taylor expansion of z in y
3.600 * [backup-simplify]: Simplify z into z
3.600 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.600 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.600 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
3.600 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.600 * [taylor]: Taking taylor expansion of 0.5 in t
3.600 * [backup-simplify]: Simplify 0.5 into 0.5
3.601 * [taylor]: Taking taylor expansion of t in t
3.601 * [backup-simplify]: Simplify 0 into 0
3.601 * [backup-simplify]: Simplify 1 into 1
3.602 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.602 * [taylor]: Taking taylor expansion of 0.5 in z
3.602 * [backup-simplify]: Simplify 0.5 into 0.5
3.602 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.602 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.602 * [taylor]: Taking taylor expansion of 0.5 in t
3.602 * [backup-simplify]: Simplify 0.5 into 0.5
3.602 * [taylor]: Taking taylor expansion of t in t
3.602 * [backup-simplify]: Simplify 0 into 0
3.603 * [backup-simplify]: Simplify 1 into 1
3.604 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.604 * [taylor]: Taking taylor expansion of 0.5 in z
3.604 * [backup-simplify]: Simplify 0.5 into 0.5
3.604 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
3.605 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t y))) into 0
3.606 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.607 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.608 * [backup-simplify]: Simplify (+ 0 0) into 0
3.608 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
3.608 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
3.609 * [backup-simplify]: Simplify (- 0) into 0
3.609 * [backup-simplify]: Simplify (+ 0 0) into 0
3.609 * [taylor]: Taking taylor expansion of 0 in y
3.609 * [backup-simplify]: Simplify 0 into 0
3.610 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.611 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.611 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
3.611 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
3.611 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
3.611 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in t
3.611 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
3.611 * [taylor]: Taking taylor expansion of 0.5 in t
3.611 * [backup-simplify]: Simplify 0.5 into 0.5
3.611 * [taylor]: Taking taylor expansion of (/ t z) in t
3.611 * [taylor]: Taking taylor expansion of t in t
3.611 * [backup-simplify]: Simplify 0 into 0
3.611 * [backup-simplify]: Simplify 1 into 1
3.611 * [taylor]: Taking taylor expansion of z in t
3.611 * [backup-simplify]: Simplify z into z
3.611 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.611 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
3.611 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
3.612 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
3.612 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
3.612 * [taylor]: Taking taylor expansion of 0.5 in z
3.612 * [backup-simplify]: Simplify 0.5 into 0.5
3.612 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.612 * [taylor]: Taking taylor expansion of z in z
3.612 * [backup-simplify]: Simplify 0 into 0
3.612 * [backup-simplify]: Simplify 1 into 1
3.612 * [backup-simplify]: Simplify (/ 1 1) into 1
3.613 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.613 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.613 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.614 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.614 * [taylor]: Taking taylor expansion of 0 in t
3.614 * [backup-simplify]: Simplify 0 into 0
3.614 * [taylor]: Taking taylor expansion of 0 in z
3.614 * [backup-simplify]: Simplify 0 into 0
3.615 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.615 * [taylor]: Taking taylor expansion of 0 in z
3.615 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.616 * [taylor]: Taking taylor expansion of 0 in z
3.616 * [backup-simplify]: Simplify 0 into 0
3.616 * [backup-simplify]: Simplify 0.5 into 0.5
3.616 * [backup-simplify]: Simplify 0.5 into 0.5
3.617 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* (/ 1 t) (* 1 (/ 1 (/ 1 x)))))) (+ (* 0.5 (* 1 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) (* (- 0.5) (* (/ 1 (/ 1 z)) (* (/ 1 t) (* 1 1)))))) into (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
3.618 * [backup-simplify]: Simplify (- (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- t)) 2.0)) (/ (/ 1 (- z)) (* (/ 1 (- t)) 2.0))) into (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z)))
3.618 * [approximate]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in (x y t z) around 0
3.618 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in z
3.618 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in z
3.618 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in z
3.618 * [taylor]: Taking taylor expansion of 0.5 in z
3.618 * [backup-simplify]: Simplify 0.5 into 0.5
3.618 * [taylor]: Taking taylor expansion of (/ t y) in z
3.618 * [taylor]: Taking taylor expansion of t in z
3.618 * [backup-simplify]: Simplify t into t
3.618 * [taylor]: Taking taylor expansion of y in z
3.618 * [backup-simplify]: Simplify y into y
3.618 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.618 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in z
3.618 * [taylor]: Taking taylor expansion of 0.5 in z
3.619 * [backup-simplify]: Simplify 0.5 into 0.5
3.619 * [taylor]: Taking taylor expansion of (/ t x) in z
3.619 * [taylor]: Taking taylor expansion of t in z
3.619 * [backup-simplify]: Simplify t into t
3.619 * [taylor]: Taking taylor expansion of x in z
3.619 * [backup-simplify]: Simplify x into x
3.619 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.619 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in z
3.619 * [taylor]: Taking taylor expansion of 0.5 in z
3.619 * [backup-simplify]: Simplify 0.5 into 0.5
3.619 * [taylor]: Taking taylor expansion of (/ t z) in z
3.619 * [taylor]: Taking taylor expansion of t in z
3.619 * [backup-simplify]: Simplify t into t
3.619 * [taylor]: Taking taylor expansion of z in z
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify 1 into 1
3.619 * [backup-simplify]: Simplify (/ t 1) into t
3.619 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in t
3.619 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in t
3.619 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in t
3.619 * [taylor]: Taking taylor expansion of 0.5 in t
3.619 * [backup-simplify]: Simplify 0.5 into 0.5
3.619 * [taylor]: Taking taylor expansion of (/ t y) in t
3.619 * [taylor]: Taking taylor expansion of t in t
3.619 * [backup-simplify]: Simplify 0 into 0
3.619 * [backup-simplify]: Simplify 1 into 1
3.619 * [taylor]: Taking taylor expansion of y in t
3.619 * [backup-simplify]: Simplify y into y
3.619 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.619 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in t
3.619 * [taylor]: Taking taylor expansion of 0.5 in t
3.619 * [backup-simplify]: Simplify 0.5 into 0.5
3.619 * [taylor]: Taking taylor expansion of (/ t x) in t
3.619 * [taylor]: Taking taylor expansion of t in t
3.619 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify 1 into 1
3.620 * [taylor]: Taking taylor expansion of x in t
3.620 * [backup-simplify]: Simplify x into x
3.620 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
3.620 * [taylor]: Taking taylor expansion of 0.5 in t
3.620 * [backup-simplify]: Simplify 0.5 into 0.5
3.620 * [taylor]: Taking taylor expansion of (/ t z) in t
3.620 * [taylor]: Taking taylor expansion of t in t
3.620 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify 1 into 1
3.620 * [taylor]: Taking taylor expansion of z in t
3.620 * [backup-simplify]: Simplify z into z
3.620 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.620 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in y
3.620 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in y
3.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.620 * [taylor]: Taking taylor expansion of 0.5 in y
3.620 * [backup-simplify]: Simplify 0.5 into 0.5
3.620 * [taylor]: Taking taylor expansion of (/ t y) in y
3.620 * [taylor]: Taking taylor expansion of t in y
3.620 * [backup-simplify]: Simplify t into t
3.620 * [taylor]: Taking taylor expansion of y in y
3.620 * [backup-simplify]: Simplify 0 into 0
3.620 * [backup-simplify]: Simplify 1 into 1
3.620 * [backup-simplify]: Simplify (/ t 1) into t
3.620 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in y
3.620 * [taylor]: Taking taylor expansion of 0.5 in y
3.620 * [backup-simplify]: Simplify 0.5 into 0.5
3.620 * [taylor]: Taking taylor expansion of (/ t x) in y
3.620 * [taylor]: Taking taylor expansion of t in y
3.620 * [backup-simplify]: Simplify t into t
3.620 * [taylor]: Taking taylor expansion of x in y
3.620 * [backup-simplify]: Simplify x into x
3.621 * [backup-simplify]: Simplify (/ t x) into (/ t x)
3.621 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
3.621 * [taylor]: Taking taylor expansion of 0.5 in y
3.621 * [backup-simplify]: Simplify 0.5 into 0.5
3.621 * [taylor]: Taking taylor expansion of (/ t z) in y
3.621 * [taylor]: Taking taylor expansion of t in y
3.621 * [backup-simplify]: Simplify t into t
3.621 * [taylor]: Taking taylor expansion of z in y
3.621 * [backup-simplify]: Simplify z into z
3.621 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.621 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
3.621 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
3.621 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
3.621 * [taylor]: Taking taylor expansion of 0.5 in x
3.621 * [backup-simplify]: Simplify 0.5 into 0.5
3.621 * [taylor]: Taking taylor expansion of (/ t y) in x
3.621 * [taylor]: Taking taylor expansion of t in x
3.621 * [backup-simplify]: Simplify t into t
3.621 * [taylor]: Taking taylor expansion of y in x
3.621 * [backup-simplify]: Simplify y into y
3.621 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.621 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
3.621 * [taylor]: Taking taylor expansion of 0.5 in x
3.621 * [backup-simplify]: Simplify 0.5 into 0.5
3.621 * [taylor]: Taking taylor expansion of (/ t x) in x
3.621 * [taylor]: Taking taylor expansion of t in x
3.621 * [backup-simplify]: Simplify t into t
3.621 * [taylor]: Taking taylor expansion of x in x
3.621 * [backup-simplify]: Simplify 0 into 0
3.621 * [backup-simplify]: Simplify 1 into 1
3.621 * [backup-simplify]: Simplify (/ t 1) into t
3.621 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
3.621 * [taylor]: Taking taylor expansion of 0.5 in x
3.622 * [backup-simplify]: Simplify 0.5 into 0.5
3.622 * [taylor]: Taking taylor expansion of (/ t z) in x
3.622 * [taylor]: Taking taylor expansion of t in x
3.622 * [backup-simplify]: Simplify t into t
3.622 * [taylor]: Taking taylor expansion of z in x
3.622 * [backup-simplify]: Simplify z into z
3.622 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.622 * [taylor]: Taking taylor expansion of (- (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) (* 0.5 (/ t z))) in x
3.622 * [taylor]: Taking taylor expansion of (+ (* 0.5 (/ t y)) (* 0.5 (/ t x))) in x
3.622 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in x
3.622 * [taylor]: Taking taylor expansion of 0.5 in x
3.622 * [backup-simplify]: Simplify 0.5 into 0.5
3.622 * [taylor]: Taking taylor expansion of (/ t y) in x
3.622 * [taylor]: Taking taylor expansion of t in x
3.622 * [backup-simplify]: Simplify t into t
3.622 * [taylor]: Taking taylor expansion of y in x
3.622 * [backup-simplify]: Simplify y into y
3.622 * [backup-simplify]: Simplify (/ t y) into (/ t y)
3.622 * [taylor]: Taking taylor expansion of (* 0.5 (/ t x)) in x
3.622 * [taylor]: Taking taylor expansion of 0.5 in x
3.622 * [backup-simplify]: Simplify 0.5 into 0.5
3.622 * [taylor]: Taking taylor expansion of (/ t x) in x
3.622 * [taylor]: Taking taylor expansion of t in x
3.622 * [backup-simplify]: Simplify t into t
3.622 * [taylor]: Taking taylor expansion of x in x
3.622 * [backup-simplify]: Simplify 0 into 0
3.622 * [backup-simplify]: Simplify 1 into 1
3.622 * [backup-simplify]: Simplify (/ t 1) into t
3.622 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in x
3.622 * [taylor]: Taking taylor expansion of 0.5 in x
3.622 * [backup-simplify]: Simplify 0.5 into 0.5
3.622 * [taylor]: Taking taylor expansion of (/ t z) in x
3.622 * [taylor]: Taking taylor expansion of t in x
3.623 * [backup-simplify]: Simplify t into t
3.623 * [taylor]: Taking taylor expansion of z in x
3.623 * [backup-simplify]: Simplify z into z
3.623 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.623 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.623 * [backup-simplify]: Simplify (+ 0 (* 0.5 t)) into (* 0.5 t)
3.623 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
3.623 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
3.623 * [taylor]: Taking taylor expansion of 0.5 in y
3.623 * [backup-simplify]: Simplify 0.5 into 0.5
3.623 * [taylor]: Taking taylor expansion of t in y
3.623 * [backup-simplify]: Simplify t into t
3.623 * [backup-simplify]: Simplify (* 0.5 (/ t y)) into (* 0.5 (/ t y))
3.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.625 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.625 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) 0) into (* 0.5 (/ t y))
3.625 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
3.625 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
3.625 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t y)) (* 0.5 (/ t z)))
3.625 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t y)) (* 0.5 (/ t z))) in y
3.625 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.625 * [taylor]: Taking taylor expansion of 0.5 in y
3.625 * [backup-simplify]: Simplify 0.5 into 0.5
3.625 * [taylor]: Taking taylor expansion of (/ t y) in y
3.625 * [taylor]: Taking taylor expansion of t in y
3.626 * [backup-simplify]: Simplify t into t
3.626 * [taylor]: Taking taylor expansion of y in y
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 1 into 1
3.626 * [backup-simplify]: Simplify (/ t 1) into t
3.626 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in y
3.626 * [taylor]: Taking taylor expansion of 0.5 in y
3.626 * [backup-simplify]: Simplify 0.5 into 0.5
3.626 * [taylor]: Taking taylor expansion of (/ t z) in y
3.626 * [taylor]: Taking taylor expansion of t in y
3.626 * [backup-simplify]: Simplify t into t
3.626 * [taylor]: Taking taylor expansion of z in y
3.626 * [backup-simplify]: Simplify z into z
3.626 * [backup-simplify]: Simplify (/ t z) into (/ t z)
3.626 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.626 * [backup-simplify]: Simplify (+ (* 0.5 t) 0) into (* 0.5 t)
3.626 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.626 * [taylor]: Taking taylor expansion of 0.5 in t
3.626 * [backup-simplify]: Simplify 0.5 into 0.5
3.626 * [taylor]: Taking taylor expansion of t in t
3.626 * [backup-simplify]: Simplify 0 into 0
3.626 * [backup-simplify]: Simplify 1 into 1
3.628 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.628 * [taylor]: Taking taylor expansion of 0.5 in z
3.628 * [backup-simplify]: Simplify 0.5 into 0.5
3.628 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.628 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.628 * [taylor]: Taking taylor expansion of 0.5 in t
3.628 * [backup-simplify]: Simplify 0.5 into 0.5
3.628 * [taylor]: Taking taylor expansion of t in t
3.628 * [backup-simplify]: Simplify 0 into 0
3.628 * [backup-simplify]: Simplify 1 into 1
3.629 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.629 * [taylor]: Taking taylor expansion of 0.5 in z
3.630 * [backup-simplify]: Simplify 0.5 into 0.5
3.630 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ t y) (/ 0 y)))) into 0
3.630 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t y))) into 0
3.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.632 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.633 * [backup-simplify]: Simplify (+ 0 0) into 0
3.633 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ t z) (/ 0 z)))) into 0
3.633 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ t z))) into 0
3.634 * [backup-simplify]: Simplify (- 0) into 0
3.634 * [backup-simplify]: Simplify (+ 0 0) into 0
3.634 * [taylor]: Taking taylor expansion of 0 in y
3.634 * [backup-simplify]: Simplify 0 into 0
3.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.635 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.635 * [backup-simplify]: Simplify (* 0.5 (/ t z)) into (* 0.5 (/ t z))
3.636 * [backup-simplify]: Simplify (- (* 0.5 (/ t z))) into (- (* 0.5 (/ t z)))
3.636 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ t z)))) into (- (* 0.5 (/ t z)))
3.636 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ t z))) in t
3.636 * [taylor]: Taking taylor expansion of (* 0.5 (/ t z)) in t
3.636 * [taylor]: Taking taylor expansion of 0.5 in t
3.636 * [backup-simplify]: Simplify 0.5 into 0.5
3.636 * [taylor]: Taking taylor expansion of (/ t z) in t
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 * [taylor]: Taking taylor expansion of z in t
3.636 * [backup-simplify]: Simplify z into z
3.636 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z)
3.636 * [backup-simplify]: Simplify (* 0.5 (/ 1 z)) into (/ 0.5 z)
3.636 * [backup-simplify]: Simplify (- (/ 0.5 z)) into (- (* 0.5 (/ 1 z)))
3.636 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 z))) in z
3.636 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 z)) in z
3.636 * [taylor]: Taking taylor expansion of 0.5 in z
3.636 * [backup-simplify]: Simplify 0.5 into 0.5
3.636 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.636 * [taylor]: Taking taylor expansion of z in z
3.636 * [backup-simplify]: Simplify 0 into 0
3.636 * [backup-simplify]: Simplify 1 into 1
3.637 * [backup-simplify]: Simplify (/ 1 1) into 1
3.637 * [backup-simplify]: Simplify (* 0.5 1) into 0.5
3.638 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.638 * [backup-simplify]: Simplify (- 0.5) into (- 0.5)
3.638 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.638 * [taylor]: Taking taylor expansion of 0 in t
3.639 * [backup-simplify]: Simplify 0 into 0
3.639 * [taylor]: Taking taylor expansion of 0 in z
3.639 * [backup-simplify]: Simplify 0 into 0
3.640 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.640 * [taylor]: Taking taylor expansion of 0 in z
3.640 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.641 * [taylor]: Taking taylor expansion of 0 in z
3.641 * [backup-simplify]: Simplify 0 into 0
3.641 * [backup-simplify]: Simplify 0.5 into 0.5
3.641 * [backup-simplify]: Simplify 0.5 into 0.5
3.643 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x))))))) (+ (* 0.5 (* 1 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) (* (- 0.5) (* (/ 1 (/ 1 (- z))) (* (/ 1 (- t)) (* 1 1)))))) into (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
3.643 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
3.643 * [backup-simplify]: Simplify (/ (+ x y) (* t 2.0)) into (* 0.5 (/ (+ x y) t))
3.643 * [approximate]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in (x y t) around 0
3.643 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in t
3.643 * [taylor]: Taking taylor expansion of 0.5 in t
3.643 * [backup-simplify]: Simplify 0.5 into 0.5
3.643 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in t
3.643 * [taylor]: Taking taylor expansion of (+ x y) in t
3.643 * [taylor]: Taking taylor expansion of x in t
3.643 * [backup-simplify]: Simplify x into x
3.643 * [taylor]: Taking taylor expansion of y in t
3.643 * [backup-simplify]: Simplify y into y
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 * [backup-simplify]: Simplify (+ x y) into (+ x y)
3.643 * [backup-simplify]: Simplify (/ (+ x y) 1) into (+ x y)
3.643 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in y
3.643 * [taylor]: Taking taylor expansion of 0.5 in y
3.644 * [backup-simplify]: Simplify 0.5 into 0.5
3.644 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in y
3.644 * [taylor]: Taking taylor expansion of (+ x y) in y
3.644 * [taylor]: Taking taylor expansion of x in y
3.644 * [backup-simplify]: Simplify x into x
3.644 * [taylor]: Taking taylor expansion of y in y
3.644 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify 1 into 1
3.644 * [taylor]: Taking taylor expansion of t in y
3.644 * [backup-simplify]: Simplify t into t
3.644 * [backup-simplify]: Simplify (+ x 0) into x
3.644 * [backup-simplify]: Simplify (/ x t) into (/ x t)
3.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in x
3.644 * [taylor]: Taking taylor expansion of 0.5 in x
3.644 * [backup-simplify]: Simplify 0.5 into 0.5
3.644 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
3.644 * [taylor]: Taking taylor expansion of (+ x y) in x
3.644 * [taylor]: Taking taylor expansion of x in x
3.644 * [backup-simplify]: Simplify 0 into 0
3.644 * [backup-simplify]: Simplify 1 into 1
3.644 * [taylor]: Taking taylor expansion of y in x
3.644 * [backup-simplify]: Simplify y into y
3.644 * [taylor]: Taking taylor expansion of t in x
3.644 * [backup-simplify]: Simplify t into t
3.644 * [backup-simplify]: Simplify (+ 0 y) into y
3.644 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.644 * [taylor]: Taking taylor expansion of (* 0.5 (/ (+ x y) t)) in x
3.644 * [taylor]: Taking taylor expansion of 0.5 in x
3.644 * [backup-simplify]: Simplify 0.5 into 0.5
3.644 * [taylor]: Taking taylor expansion of (/ (+ x y) t) in x
3.644 * [taylor]: Taking taylor expansion of (+ x y) in x
3.644 * [taylor]: Taking taylor expansion of x in x
3.644 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 1 into 1
3.645 * [taylor]: Taking taylor expansion of y in x
3.645 * [backup-simplify]: Simplify y into y
3.645 * [taylor]: Taking taylor expansion of t in x
3.645 * [backup-simplify]: Simplify t into t
3.645 * [backup-simplify]: Simplify (+ 0 y) into y
3.645 * [backup-simplify]: Simplify (/ y t) into (/ y t)
3.645 * [backup-simplify]: Simplify (* 0.5 (/ y t)) into (* 0.5 (/ y t))
3.645 * [taylor]: Taking taylor expansion of (* 0.5 (/ y t)) in y
3.645 * [taylor]: Taking taylor expansion of 0.5 in y
3.645 * [backup-simplify]: Simplify 0.5 into 0.5
3.645 * [taylor]: Taking taylor expansion of (/ y t) in y
3.645 * [taylor]: Taking taylor expansion of y in y
3.645 * [backup-simplify]: Simplify 0 into 0
3.645 * [backup-simplify]: Simplify 1 into 1
3.645 * [taylor]: Taking taylor expansion of t in y
3.645 * [backup-simplify]: Simplify t into t
3.645 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.646 * [backup-simplify]: Simplify (+ 1 0) into 1
3.646 * [backup-simplify]: Simplify (- (/ 1 t) (+ (* (/ y t) (/ 0 t)))) into (/ 1 t)
3.646 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 t)) (* 0 (/ y t))) into (* 0.5 (/ 1 t))
3.646 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 t)) in y
3.646 * [taylor]: Taking taylor expansion of 0.5 in y
3.646 * [backup-simplify]: Simplify 0.5 into 0.5
3.646 * [taylor]: Taking taylor expansion of (/ 1 t) in y
3.646 * [taylor]: Taking taylor expansion of t in y
3.646 * [backup-simplify]: Simplify t into t
3.646 * [backup-simplify]: Simplify (/ 1 t) into (/ 1 t)
3.646 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.646 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
3.646 * [taylor]: Taking taylor expansion of 0.5 in t
3.647 * [backup-simplify]: Simplify 0.5 into 0.5
3.647 * [taylor]: Taking taylor expansion of t in t
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.647 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
3.647 * [backup-simplify]: Simplify 0.5 into 0.5
3.647 * [backup-simplify]: Simplify (* 0.5 (/ 1 t)) into (/ 0.5 t)
3.647 * [taylor]: Taking taylor expansion of (/ 0.5 t) in t
3.647 * [taylor]: Taking taylor expansion of 0.5 in t
3.647 * [backup-simplify]: Simplify 0.5 into 0.5
3.647 * [taylor]: Taking taylor expansion of t in t
3.647 * [backup-simplify]: Simplify 0 into 0
3.647 * [backup-simplify]: Simplify 1 into 1
3.648 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5
3.648 * [backup-simplify]: Simplify 0.5 into 0.5
3.648 * [backup-simplify]: Simplify (+ 0 0) into 0
3.649 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* (/ 1 t) (/ 0 t)))) into 0
3.649 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 t)) (* 0 (/ y t)))) into 0
3.649 * [taylor]: Taking taylor expansion of 0 in y
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [taylor]: Taking taylor expansion of 0 in t
3.649 * [backup-simplify]: Simplify 0 into 0
3.649 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)))) into 0
3.650 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 t))) into 0
3.650 * [taylor]: Taking taylor expansion of 0 in t
3.650 * [backup-simplify]: Simplify 0 into 0
3.650 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)))) into 0
3.651 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 t))) into 0
3.651 * [taylor]: Taking taylor expansion of 0 in t
3.651 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
3.652 * [backup-simplify]: Simplify 0 into 0
3.652 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0
3.652 * [backup-simplify]: Simplify 0 into 0
3.653 * [backup-simplify]: Simplify (+ 0 0) into 0
3.653 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ y t) (/ 0 t)) (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.654 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 t)) (* 0 (/ y t))))) into 0
3.654 * [taylor]: Taking taylor expansion of 0 in y
3.654 * [backup-simplify]: Simplify 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 t
3.654 * [backup-simplify]: Simplify 0 into 0
3.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.655 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
3.655 * [taylor]: Taking taylor expansion of 0 in t
3.655 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify (- (/ 0 t) (+ (* (/ 1 t) (/ 0 t)) (* 0 (/ 0 t)))) into 0
3.656 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 t)))) into 0
3.656 * [taylor]: Taking taylor expansion of 0 in t
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.656 * [backup-simplify]: Simplify 0 into 0
3.657 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.657 * [backup-simplify]: Simplify 0 into 0
3.658 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 t) (* y 1))) (* 0.5 (* (/ 1 t) (* 1 x)))) into (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
3.658 * [backup-simplify]: Simplify (/ (+ (/ 1 x) (/ 1 y)) (* (/ 1 t) 2.0)) into (* 0.5 (* t (+ (/ 1 y) (/ 1 x))))
3.658 * [approximate]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in (x y t) around 0
3.658 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in t
3.658 * [taylor]: Taking taylor expansion of 0.5 in t
3.658 * [backup-simplify]: Simplify 0.5 into 0.5
3.658 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) 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.658 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
3.658 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.658 * [taylor]: Taking taylor expansion of y in t
3.658 * [backup-simplify]: Simplify y into y
3.658 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.659 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.659 * [taylor]: Taking taylor expansion of x in t
3.659 * [backup-simplify]: Simplify x into x
3.659 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.659 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in y
3.659 * [taylor]: Taking taylor expansion of 0.5 in y
3.659 * [backup-simplify]: Simplify 0.5 into 0.5
3.659 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y
3.659 * [taylor]: Taking taylor expansion of t in y
3.659 * [backup-simplify]: Simplify t into t
3.659 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.659 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.659 * [taylor]: Taking taylor expansion of y in y
3.659 * [backup-simplify]: Simplify 0 into 0
3.659 * [backup-simplify]: Simplify 1 into 1
3.659 * [backup-simplify]: Simplify (/ 1 1) into 1
3.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.659 * [taylor]: Taking taylor expansion of x in y
3.659 * [backup-simplify]: Simplify x into x
3.660 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.660 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in x
3.660 * [taylor]: Taking taylor expansion of 0.5 in x
3.660 * [backup-simplify]: Simplify 0.5 into 0.5
3.660 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
3.660 * [taylor]: Taking taylor expansion of t in x
3.660 * [backup-simplify]: Simplify t into t
3.660 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.660 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.660 * [taylor]: Taking taylor expansion of y in x
3.660 * [backup-simplify]: Simplify y into y
3.660 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.660 * [taylor]: Taking taylor expansion of x in x
3.660 * [backup-simplify]: Simplify 0 into 0
3.660 * [backup-simplify]: Simplify 1 into 1
3.660 * [backup-simplify]: Simplify (/ 1 1) into 1
3.660 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in x
3.660 * [taylor]: Taking taylor expansion of 0.5 in x
3.660 * [backup-simplify]: Simplify 0.5 into 0.5
3.661 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
3.661 * [taylor]: Taking taylor expansion of t in x
3.661 * [backup-simplify]: Simplify t into t
3.661 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.661 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.661 * [taylor]: Taking taylor expansion of y in x
3.661 * [backup-simplify]: Simplify y into y
3.661 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.661 * [taylor]: Taking taylor expansion of x in x
3.661 * [backup-simplify]: Simplify 0 into 0
3.661 * [backup-simplify]: Simplify 1 into 1
3.661 * [backup-simplify]: Simplify (/ 1 1) into 1
3.662 * [backup-simplify]: Simplify (+ 0 1) into 1
3.662 * [backup-simplify]: Simplify (* t 1) into t
3.662 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.662 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
3.662 * [taylor]: Taking taylor expansion of 0.5 in y
3.662 * [backup-simplify]: Simplify 0.5 into 0.5
3.662 * [taylor]: Taking taylor expansion of t in y
3.662 * [backup-simplify]: Simplify t into t
3.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.663 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.664 * [backup-simplify]: Simplify (+ (* t (/ 1 y)) (* 0 1)) into (/ t y)
3.664 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (* 0 t)) into (* 0.5 (/ t y))
3.664 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.664 * [taylor]: Taking taylor expansion of 0.5 in y
3.664 * [backup-simplify]: Simplify 0.5 into 0.5
3.664 * [taylor]: Taking taylor expansion of (/ t y) 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 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 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.664 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.664 * [taylor]: Taking taylor expansion of 0.5 in t
3.664 * [backup-simplify]: Simplify 0.5 into 0.5
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.665 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.665 * [backup-simplify]: Simplify 0 into 0
3.665 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.665 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.665 * [taylor]: Taking taylor expansion of 0.5 in t
3.665 * [backup-simplify]: Simplify 0.5 into 0.5
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 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.665 * [backup-simplify]: Simplify 0 into 0
3.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.672 * [backup-simplify]: Simplify (+ 0 0) into 0
3.672 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
3.673 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ t y)) (* 0 t))) into 0
3.673 * [taylor]: Taking taylor expansion of 0 in y
3.673 * [backup-simplify]: Simplify 0 into 0
3.674 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.674 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.674 * [taylor]: Taking taylor expansion of 0 in t
3.674 * [backup-simplify]: Simplify 0 into 0
3.674 * [backup-simplify]: Simplify 0 into 0
3.675 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.675 * [taylor]: Taking taylor expansion of 0 in t
3.675 * [backup-simplify]: Simplify 0 into 0
3.675 * [backup-simplify]: Simplify 0 into 0
3.676 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.676 * [backup-simplify]: Simplify 0.5 into 0.5
3.678 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.678 * [backup-simplify]: Simplify 0.5 into 0.5
3.678 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.679 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.679 * [backup-simplify]: Simplify (+ 0 0) into 0
3.680 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
3.681 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ t y)) (* 0 t)))) into 0
3.681 * [taylor]: Taking taylor expansion of 0 in y
3.681 * [backup-simplify]: Simplify 0 into 0
3.681 * [taylor]: Taking taylor expansion of 0 in t
3.681 * [backup-simplify]: Simplify 0 into 0
3.681 * [backup-simplify]: Simplify 0 into 0
3.683 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.683 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.683 * [taylor]: Taking taylor expansion of 0 in t
3.683 * [backup-simplify]: Simplify 0 into 0
3.683 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.684 * [taylor]: Taking taylor expansion of 0 in t
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify 0 into 0
3.684 * [backup-simplify]: Simplify 0 into 0
3.685 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.685 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 t) (* 1 (/ 1 (/ 1 x))))) (* 0.5 (* (/ 1 t) (* (/ 1 (/ 1 y)) 1)))) into (+ (* 0.5 (/ x t)) (* 0.5 (/ y t)))
3.686 * [backup-simplify]: Simplify (/ (+ (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- t)) 2.0)) into (* 0.5 (* t (+ (/ 1 y) (/ 1 x))))
3.686 * [approximate]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in (x y t) around 0
3.686 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in t
3.686 * [taylor]: Taking taylor expansion of 0.5 in t
3.686 * [backup-simplify]: Simplify 0.5 into 0.5
3.686 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in t
3.686 * [taylor]: Taking taylor expansion of t in t
3.686 * [backup-simplify]: Simplify 0 into 0
3.686 * [backup-simplify]: Simplify 1 into 1
3.686 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in t
3.686 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.686 * [taylor]: Taking taylor expansion of y in t
3.686 * [backup-simplify]: Simplify y into y
3.687 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.687 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.687 * [taylor]: Taking taylor expansion of x in t
3.687 * [backup-simplify]: Simplify x into x
3.687 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.687 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in y
3.687 * [taylor]: Taking taylor expansion of 0.5 in y
3.687 * [backup-simplify]: Simplify 0.5 into 0.5
3.687 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in y
3.687 * [taylor]: Taking taylor expansion of t in y
3.687 * [backup-simplify]: Simplify t into t
3.687 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y
3.687 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.687 * [taylor]: Taking taylor expansion of y in y
3.687 * [backup-simplify]: Simplify 0 into 0
3.687 * [backup-simplify]: Simplify 1 into 1
3.687 * [backup-simplify]: Simplify (/ 1 1) into 1
3.687 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.687 * [taylor]: Taking taylor expansion of x in y
3.687 * [backup-simplify]: Simplify x into x
3.688 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
3.688 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in x
3.688 * [taylor]: Taking taylor expansion of 0.5 in x
3.688 * [backup-simplify]: Simplify 0.5 into 0.5
3.688 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
3.688 * [taylor]: Taking taylor expansion of t in x
3.688 * [backup-simplify]: Simplify t into t
3.688 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.688 * [taylor]: Taking taylor expansion of y in x
3.688 * [backup-simplify]: Simplify y into y
3.688 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.688 * [taylor]: Taking taylor expansion of x in x
3.688 * [backup-simplify]: Simplify 0 into 0
3.688 * [backup-simplify]: Simplify 1 into 1
3.688 * [backup-simplify]: Simplify (/ 1 1) into 1
3.688 * [taylor]: Taking taylor expansion of (* 0.5 (* t (+ (/ 1 y) (/ 1 x)))) in x
3.688 * [taylor]: Taking taylor expansion of 0.5 in x
3.688 * [backup-simplify]: Simplify 0.5 into 0.5
3.688 * [taylor]: Taking taylor expansion of (* t (+ (/ 1 y) (/ 1 x))) in x
3.689 * [taylor]: Taking taylor expansion of t in x
3.689 * [backup-simplify]: Simplify t into t
3.689 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x
3.689 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.689 * [taylor]: Taking taylor expansion of y in x
3.689 * [backup-simplify]: Simplify y into y
3.689 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
3.689 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.689 * [taylor]: Taking taylor expansion of x in x
3.689 * [backup-simplify]: Simplify 0 into 0
3.689 * [backup-simplify]: Simplify 1 into 1
3.689 * [backup-simplify]: Simplify (/ 1 1) into 1
3.690 * [backup-simplify]: Simplify (+ 0 1) into 1
3.690 * [backup-simplify]: Simplify (* t 1) into t
3.690 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.690 * [taylor]: Taking taylor expansion of (* 0.5 t) in y
3.690 * [taylor]: Taking taylor expansion of 0.5 in y
3.690 * [backup-simplify]: Simplify 0.5 into 0.5
3.690 * [taylor]: Taking taylor expansion of t in y
3.690 * [backup-simplify]: Simplify t into t
3.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.691 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
3.692 * [backup-simplify]: Simplify (+ (* t (/ 1 y)) (* 0 1)) into (/ t y)
3.692 * [backup-simplify]: Simplify (+ (* 0.5 (/ t y)) (* 0 t)) into (* 0.5 (/ t y))
3.692 * [taylor]: Taking taylor expansion of (* 0.5 (/ t y)) in y
3.692 * [taylor]: Taking taylor expansion of 0.5 in y
3.692 * [backup-simplify]: Simplify 0.5 into 0.5
3.692 * [taylor]: Taking taylor expansion of (/ t y) in y
3.692 * [taylor]: Taking taylor expansion of t in y
3.692 * [backup-simplify]: Simplify t into t
3.692 * [taylor]: Taking taylor expansion of y in y
3.692 * [backup-simplify]: Simplify 0 into 0
3.692 * [backup-simplify]: Simplify 1 into 1
3.692 * [backup-simplify]: Simplify (/ t 1) into t
3.692 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.692 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.693 * [taylor]: Taking taylor expansion of 0.5 in t
3.693 * [backup-simplify]: Simplify 0.5 into 0.5
3.693 * [taylor]: Taking taylor expansion of t in t
3.693 * [backup-simplify]: Simplify 0 into 0
3.693 * [backup-simplify]: Simplify 1 into 1
3.693 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.693 * [backup-simplify]: Simplify 0 into 0
3.693 * [backup-simplify]: Simplify (* 0.5 t) into (* 0.5 t)
3.693 * [taylor]: Taking taylor expansion of (* 0.5 t) in t
3.693 * [taylor]: Taking taylor expansion of 0.5 in t
3.693 * [backup-simplify]: Simplify 0.5 into 0.5
3.693 * [taylor]: Taking taylor expansion of t in t
3.693 * [backup-simplify]: Simplify 0 into 0
3.693 * [backup-simplify]: Simplify 1 into 1
3.694 * [backup-simplify]: Simplify (* 0.5 0) into 0
3.694 * [backup-simplify]: Simplify 0 into 0
3.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
3.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.695 * [backup-simplify]: Simplify (+ 0 0) into 0
3.696 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 (/ 1 y)) (* 0 1))) into 0
3.696 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ t y)) (* 0 t))) into 0
3.696 * [taylor]: Taking taylor expansion of 0 in y
3.696 * [backup-simplify]: Simplify 0 into 0
3.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)))) into 0
3.698 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.698 * [taylor]: Taking taylor expansion of 0 in t
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 t)) into 0
3.698 * [taylor]: Taking taylor expansion of 0 in t
3.698 * [backup-simplify]: Simplify 0 into 0
3.698 * [backup-simplify]: Simplify 0 into 0
3.700 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.700 * [backup-simplify]: Simplify 0.5 into 0.5
3.701 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5
3.701 * [backup-simplify]: Simplify 0.5 into 0.5
3.701 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
3.702 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.703 * [backup-simplify]: Simplify (+ 0 0) into 0
3.704 * [backup-simplify]: Simplify (+ (* t 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 1)))) into 0
3.704 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ t y)) (* 0 t)))) into 0
3.705 * [taylor]: Taking taylor expansion of 0 in y
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [taylor]: Taking taylor expansion of 0 in t
3.705 * [backup-simplify]: Simplify 0 into 0
3.705 * [backup-simplify]: Simplify 0 into 0
3.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* t (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.707 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.707 * [taylor]: Taking taylor expansion of 0 in t
3.707 * [backup-simplify]: Simplify 0 into 0
3.707 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 t))) into 0
3.708 * [taylor]: Taking taylor expansion of 0 in t
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.708 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0
3.709 * [backup-simplify]: Simplify 0 into 0
3.709 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 (- t)) (* 1 (/ 1 (/ 1 (- x)))))) (* 0.5 (* (/ 1 (- t)) (* (/ 1 (/ 1 (- y))) 1)))) into (+ (* 0.5 (/ x t)) (* 0.5 (/ y t)))
3.710 * * * [progress]: simplifying candidates
3.714 * [simplify]: Simplifying:
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0)))) (cbrt (/ (+ x y) (* t 2.0))) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ (+ x y) (* t 2.0))) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (cbrt (+ x y)) 2.0) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (/ 1 t) (/ (+ x y) 2.0) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma 1 (/ (+ x y) (* t 2.0)) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))))))
  (fma (- (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0)))) (* (cbrt (/ z (* t 2.0))) (* (cbrt (/ z (* t 2.0))) (cbrt (/ z (* t 2.0))))))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0))))))
  (fma (- (sqrt (/ z (* t 2.0)))) (sqrt (/ z (* t 2.0))) (* (sqrt (/ z (* t 2.0))) (sqrt (/ z (* t 2.0)))))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t))))
  (fma (- (/ (cbrt z) 2.0)) (/ (* (cbrt z) (cbrt z)) t) (* (/ (cbrt z) 2.0) (/ (* (cbrt z) (cbrt z)) t)))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ (sqrt z) 2.0) (/ (sqrt z) t))))
  (fma (- (/ (sqrt z) 2.0)) (/ (sqrt z) t) (* (/ (sqrt z) 2.0) (/ (sqrt z) t)))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ z 2.0) (/ 1 t))))
  (fma (- (/ z 2.0)) (/ 1 t) (* (/ z 2.0) (/ 1 t)))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ z (* t 2.0)) 1)))
  (fma (- (/ z (* t 2.0))) 1 (* (/ z (* t 2.0)) 1))
  (fma (+ x y) (/ 1 (* t 2.0)) (- (* (/ 1 (* t 2.0)) z)))
  (fma (- (/ 1 (* t 2.0))) z (* (/ 1 (* t 2.0)) z))
  (expm1 (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (log1p (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (- (/ z (* t 2.0)))
  (/ (exp (/ (+ x y) (* t 2.0))) (exp (/ z (* t 2.0))))
  (log (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (exp (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (* (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))) (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))))
  (cbrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (* (* (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))) (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (sqrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (sqrt (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0))))
  (- (+ x y) z)
  (- (* (+ x y) (* t 2.0)) (* (* t 2.0) z))
  (* (* t 2.0) (* t 2.0))
  (- (pow (/ (+ x y) (* t 2.0)) 3) (pow (/ z (* t 2.0)) 3))
  (+ (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (+ (* (/ z (* t 2.0)) (/ z (* t 2.0))) (* (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))))
  (- (/ z (* t 2.0)))
  (- (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (* (/ z (* t 2.0)) (/ z (* t 2.0))))
  (+ (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))
  (+ (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (- (/ (+ x y) (* t 2.0)) (/ z (* t 2.0)))
  (- (+ x y) z)
  (- (/ z (* t 2.0)))
  (expm1 (/ (+ x y) (* t 2.0)))
  (log1p (/ (+ x y) (* t 2.0)))
  (- (log (+ x y)) (+ (log t) (log 2.0)))
  (- (log (+ x y)) (log (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (exp (/ (+ x y) (* t 2.0)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* t t) t) (* (* 2.0 2.0) 2.0)))
  (/ (* (* (+ x y) (+ x y)) (+ x y)) (* (* (* t 2.0) (* t 2.0)) (* t 2.0)))
  (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0))))
  (cbrt (/ (+ x y) (* t 2.0)))
  (* (* (/ (+ x y) (* t 2.0)) (/ (+ x y) (* t 2.0))) (/ (+ x y) (* t 2.0)))
  (sqrt (/ (+ x y) (* t 2.0)))
  (sqrt (/ (+ x y) (* t 2.0)))
  (- (+ x y))
  (- (* t 2.0))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t)
  (/ (cbrt (+ x y)) 2.0)
  (/ (sqrt (+ x y)) t)
  (/ (sqrt (+ x y)) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (+ x y))
  (/ (+ x y) t)
  (/ (* t 2.0) (cbrt (+ x y)))
  (/ (* t 2.0) (sqrt (+ x y)))
  (/ (* t 2.0) (+ x y))
  (/ (* t 2.0) (+ x y))
  (* (* t 2.0) (+ (* x x) (- (* y y) (* x y))))
  (* (* t 2.0) (- x y))
  (- (+ (* 0.5 (/ y t)) (* 0.5 (/ x t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
  (- (+ (* 0.5 (/ x t)) (* 0.5 (/ y t))) (* 0.5 (/ z t)))
  (+ (* 0.5 (/ y t)) (* 0.5 (/ x t)))
  (+ (* 0.5 (/ x t)) (* 0.5 (/ y t)))
  (+ (* 0.5 (/ x t)) (* 0.5 (/ y t)))
3.723 * * [simplify]: Extracting # 0 : cost  0
3.723 * * [simplify]: Extracting # 1 : cost  0
3.723 * * [simplify]: Extracting # 2 : cost  0
3.724 * * [simplify]: Extracting # 3 : cost  0
3.724 * * [simplify]: Extracting # 4 : cost  0
3.725 * * [simplify]: Extracting # 5 : cost  0
3.725 * * [simplify]: Extracting # 6 : cost  0
3.726 * * [simplify]: Extracting # 7 : cost  0
3.726 * * [simplify]: iteration  0 :  189  enodes  (cost  3481 )
3.789 * * [simplify]: Extracting # 0 : cost  0
3.790 * * [simplify]: Extracting # 1 : cost  0
3.791 * * [simplify]: Extracting # 2 : cost  0
3.791 * * [simplify]: Extracting # 3 : cost  0
3.792 * * [simplify]: Extracting # 4 : cost  0
3.792 * * [simplify]: iteration  1 :  476  enodes  (cost  2921 )
4.011 * * [simplify]: Extracting # 0 : cost  0
4.016 * * [simplify]: Extracting # 1 : cost  0
4.019 * * [simplify]: Extracting # 2 : cost  0
4.022 * * [simplify]: Extracting # 3 : cost  0
4.025 * * [simplify]: iteration  2 :  1365  enodes  (cost  2349 )
5.166 * * [simplify]: Extracting # 0 : cost  0
5.174 * * [simplify]: Extracting # 1 : cost  0
5.180 * * [simplify]: Extracting # 2 : cost  0
5.186 * * [simplify]: Extracting # 3 : cost  0
5.205 * * [simplify]: Extracting # 4 : cost  0
5.214 * * [simplify]: Extracting # 5 : cost  0
5.220 * * [simplify]: iteration done:  5000  enodes  (cost  1689 )
5.221 * [simplify]: Simplified to:
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (- (pow (cbrt (/ (+ x y) (* t 2.0))) 3) (/ (/ z 2.0) t))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (/ (- (/ (pow (cbrt z) 3) 2.0)) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (fma (/ (cbrt (+ x y)) 2.0) (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t) (- (/ z (* t 2.0))))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (- (* (/ (sqrt (+ x y)) t) (/ (sqrt (+ x y)) 2.0)) (/ (/ z 2.0) t))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (- (/ (/ (+ x y) 2.0) t) (/ (/ (pow (cbrt z) 3) 2.0) t))
  (* (/ (* (cbrt z) (cbrt z)) t) (+ (- (/ (cbrt z) 2.0)) (/ (cbrt z) 2.0)))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  0
  (expm1 (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (log1p (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (/ (- (/ z t)) 2.0)
  (exp (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (log (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (exp (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (* (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z))) (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z))))
  (cbrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (pow (* (/ 1 (* t 2.0)) (- (+ x y) z)) 3)
  (sqrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (sqrt (* (/ 1 (* t 2.0)) (- (+ x y) z)))
  (- (+ x y) z)
  (* (* t 2.0) (- (+ x y) z))
  (* (* t 2.0) (* t 2.0))
  (- (pow (/ (+ x y) (* t 2.0)) 3) (pow (/ z (* t 2.0)) 3))
  (fma (/ z (* 2.0 t)) (/ z (* 2.0 t)) (* (/ (/ (/ (+ x y) t) 2.0) t) (+ (/ z 2.0) (/ (+ x y) 2.0))))
  (/ (- (/ z t)) 2.0)
  (* (* (/ 1 (* t 2.0)) (- (+ x y) z)) (+ (/ (/ z 2.0) t) (/ (/ (+ x y) t) 2.0)))
  (+ (/ (/ z 2.0) t) (/ (/ (+ x y) t) 2.0))
  (+ (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (sqrt (/ (+ x y) (* t 2.0))) (sqrt (/ z (* t 2.0))))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (- (/ (+ x y) 2.0) (/ z 2.0))
  (* (/ 1 (* t 2.0)) (- (+ x y) z))
  (- (+ x y) z)
  (/ (- (/ z t)) 2.0)
  (expm1 (/ (+ x y) (* t 2.0)))
  (log1p (/ (+ x y) (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (log (/ (+ x y) (* t 2.0)))
  (exp (/ (+ x y) (* t 2.0)))
  (pow (/ (/ (+ x y) t) 2.0) 3)
  (pow (/ (/ (+ x y) t) 2.0) 3)
  (* (cbrt (/ (+ x y) (* t 2.0))) (cbrt (/ (+ x y) (* t 2.0))))
  (cbrt (/ (+ x y) (* t 2.0)))
  (pow (/ (/ (+ x y) t) 2.0) 3)
  (sqrt (/ (+ x y) (* t 2.0)))
  (sqrt (/ (+ x y) (* t 2.0)))
  (- (+ x y))
  (- (* t 2.0))
  (/ (* (cbrt (+ x y)) (cbrt (+ x y))) t)
  (/ (cbrt (+ x y)) 2.0)
  (/ (sqrt (+ x y)) t)
  (/ (sqrt (+ x y)) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 t)
  (/ (+ x y) 2.0)
  (/ 1 (* t 2.0))
  (/ (* t 2.0) (+ x y))
  (/ (+ x y) t)
  (/ (* t 2.0) (cbrt (+ x y)))
  (/ (* t 2.0) (sqrt (+ x y)))
  (/ (* t 2.0) (+ x y))
  (/ (* t 2.0) (+ x y))
  (* (* t 2.0) (fma x x (* y (- y x))))
  (* (* t 2.0) (- x y))
  (* 0.5 (- (+ (/ x t) (/ y t)) (/ z t)))
  (* 0.5 (- (+ (/ x t) (/ y t)) (/ z t)))
  (* 0.5 (- (+ (/ x t) (/ y t)) (/ z t)))
  (* 0.5 (+ (/ y t) (/ x t)))
  (* 0.5 (+ (/ y t) (/ x t)))
  (* 0.5 (+ (/ y t) (/ x t)))
5.222 * * * [progress]: adding candidates to table
5.444 * * [progress]: iteration 3 / 4
5.444 * * * [progress]: picking best candidate
5.447 * * * * [pick]: Picked  #<alt (λ (x y z t) (/ (- (* (+ x y) (+ x y)) (* z z)) (* (* t 2.0) (+ (+ x y) z))))>
5.447 * * * [progress]: localizing error
5.460 * * * [progress]: generating rewritten candidates
5.460 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
5.571 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
5.604 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
5.690 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
5.732 * * * [progress]: generating series expansions
5.732 * * * * [progress]: [ 1 / 4 ] generating series at (2)