22.290 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.837 * * * [progress]: [2/2] Setting up program.
0.841 * [progress]: [Phase 2 of 3] Improving.
0.841 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
1.130 * * [simplify]: iteration  0 :  2416  enodes  (cost  11 )
1.130 * * [simplify]: iteration  1 :  2416  enodes  (cost  11 )
1.131 * [simplify]: Simplified to:
   (+ x (/ (/ (- (/ t y) y) 3.0) z))
1.136 * * [progress]: iteration 1 / 4
1.136 * * * [progress]: picking best candidate
1.143 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))>
1.143 * * * [progress]: localizing error
1.152 * * * [progress]: generating rewritten candidates
1.152 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.157 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.161 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1.166 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.178 * * * [progress]: generating series expansions
1.178 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.178 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
1.178 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.178 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.178 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.178 * [taylor]: Taking taylor expansion of t in y
1.178 * [taylor]: Taking taylor expansion of (* z y) in y
1.178 * [taylor]: Taking taylor expansion of z in y
1.178 * [taylor]: Taking taylor expansion of y in y
1.178 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.178 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.178 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.178 * [taylor]: Taking taylor expansion of t in z
1.178 * [taylor]: Taking taylor expansion of (* z y) in z
1.178 * [taylor]: Taking taylor expansion of z in z
1.178 * [taylor]: Taking taylor expansion of y in z
1.178 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.178 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.178 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.178 * [taylor]: Taking taylor expansion of t in t
1.178 * [taylor]: Taking taylor expansion of (* z y) in t
1.178 * [taylor]: Taking taylor expansion of z in t
1.178 * [taylor]: Taking taylor expansion of y in t
1.178 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.179 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.179 * [taylor]: Taking taylor expansion of t in t
1.179 * [taylor]: Taking taylor expansion of (* z y) in t
1.179 * [taylor]: Taking taylor expansion of z in t
1.179 * [taylor]: Taking taylor expansion of y in t
1.179 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
1.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.179 * [taylor]: Taking taylor expansion of (* z y) in z
1.179 * [taylor]: Taking taylor expansion of z in z
1.179 * [taylor]: Taking taylor expansion of y in z
1.179 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
1.179 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.179 * [taylor]: Taking taylor expansion of y in y
1.179 * [taylor]: Taking taylor expansion of 0 in z
1.179 * [taylor]: Taking taylor expansion of 0 in y
1.179 * [taylor]: Taking taylor expansion of 0 in z
1.179 * [taylor]: Taking taylor expansion of 0 in y
1.180 * [taylor]: Taking taylor expansion of 0 in y
1.180 * [taylor]: Taking taylor expansion of 0 in z
1.180 * [taylor]: Taking taylor expansion of 0 in y
1.180 * [taylor]: Taking taylor expansion of 0 in y
1.180 * [taylor]: Taking taylor expansion of 0 in y
1.180 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.180 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.180 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.181 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.181 * [taylor]: Taking taylor expansion of (* z y) in y
1.181 * [taylor]: Taking taylor expansion of z in y
1.181 * [taylor]: Taking taylor expansion of y in y
1.181 * [taylor]: Taking taylor expansion of t in y
1.181 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.181 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.181 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.181 * [taylor]: Taking taylor expansion of (* z y) in z
1.181 * [taylor]: Taking taylor expansion of z in z
1.181 * [taylor]: Taking taylor expansion of y in z
1.181 * [taylor]: Taking taylor expansion of t in z
1.181 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.181 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.181 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.181 * [taylor]: Taking taylor expansion of (* z y) in t
1.181 * [taylor]: Taking taylor expansion of z in t
1.181 * [taylor]: Taking taylor expansion of y in t
1.181 * [taylor]: Taking taylor expansion of t in t
1.181 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.181 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.181 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.181 * [taylor]: Taking taylor expansion of (* z y) in t
1.181 * [taylor]: Taking taylor expansion of z in t
1.181 * [taylor]: Taking taylor expansion of y in t
1.181 * [taylor]: Taking taylor expansion of t in t
1.181 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
1.181 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.181 * [taylor]: Taking taylor expansion of (* z y) in z
1.181 * [taylor]: Taking taylor expansion of z in z
1.181 * [taylor]: Taking taylor expansion of y in z
1.181 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.181 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.181 * [taylor]: Taking taylor expansion of y in y
1.181 * [taylor]: Taking taylor expansion of 0 in z
1.182 * [taylor]: Taking taylor expansion of 0 in y
1.182 * [taylor]: Taking taylor expansion of 0 in y
1.182 * [taylor]: Taking taylor expansion of 0 in z
1.182 * [taylor]: Taking taylor expansion of 0 in y
1.182 * [taylor]: Taking taylor expansion of 0 in y
1.182 * [taylor]: Taking taylor expansion of 0 in y
1.182 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.182 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.182 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.182 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.182 * [taylor]: Taking taylor expansion of (* z y) in y
1.182 * [taylor]: Taking taylor expansion of z in y
1.182 * [taylor]: Taking taylor expansion of y in y
1.182 * [taylor]: Taking taylor expansion of t in y
1.182 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.182 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.182 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.182 * [taylor]: Taking taylor expansion of (* z y) in z
1.182 * [taylor]: Taking taylor expansion of z in z
1.182 * [taylor]: Taking taylor expansion of y in z
1.182 * [taylor]: Taking taylor expansion of t in z
1.182 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.182 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.182 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.183 * [taylor]: Taking taylor expansion of (* z y) in t
1.183 * [taylor]: Taking taylor expansion of z in t
1.183 * [taylor]: Taking taylor expansion of y in t
1.183 * [taylor]: Taking taylor expansion of t in t
1.183 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.183 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.183 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.183 * [taylor]: Taking taylor expansion of (* z y) in t
1.183 * [taylor]: Taking taylor expansion of z in t
1.183 * [taylor]: Taking taylor expansion of y in t
1.183 * [taylor]: Taking taylor expansion of t in t
1.183 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
1.183 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.183 * [taylor]: Taking taylor expansion of (* z y) in z
1.183 * [taylor]: Taking taylor expansion of z in z
1.183 * [taylor]: Taking taylor expansion of y in z
1.183 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
1.183 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.183 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.183 * [taylor]: Taking taylor expansion of y in y
1.183 * [taylor]: Taking taylor expansion of 0 in z
1.183 * [taylor]: Taking taylor expansion of 0 in y
1.183 * [taylor]: Taking taylor expansion of 0 in y
1.183 * [taylor]: Taking taylor expansion of 0 in z
1.183 * [taylor]: Taking taylor expansion of 0 in y
1.184 * [taylor]: Taking taylor expansion of 0 in y
1.184 * [taylor]: Taking taylor expansion of 0 in y
1.184 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.184 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.184 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.184 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.184 * [taylor]: Taking taylor expansion of (/ y z) in z
1.184 * [taylor]: Taking taylor expansion of y in z
1.184 * [taylor]: Taking taylor expansion of z in z
1.184 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.184 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.184 * [taylor]: Taking taylor expansion of (/ y z) in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.184 * [taylor]: Taking taylor expansion of z in y
1.184 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.184 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.184 * [taylor]: Taking taylor expansion of (/ y z) in y
1.184 * [taylor]: Taking taylor expansion of y in y
1.184 * [taylor]: Taking taylor expansion of z in y
1.184 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.184 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.184 * [taylor]: Taking taylor expansion of z in z
1.184 * [taylor]: Taking taylor expansion of 0 in z
1.184 * [taylor]: Taking taylor expansion of 0 in z
1.185 * [taylor]: Taking taylor expansion of 0 in z
1.185 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.185 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.185 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.185 * [taylor]: Taking taylor expansion of (/ z y) in z
1.185 * [taylor]: Taking taylor expansion of z in z
1.185 * [taylor]: Taking taylor expansion of y in z
1.185 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.185 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.185 * [taylor]: Taking taylor expansion of (/ z y) in y
1.185 * [taylor]: Taking taylor expansion of z in y
1.185 * [taylor]: Taking taylor expansion of y in y
1.185 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.185 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.185 * [taylor]: Taking taylor expansion of (/ z y) in y
1.185 * [taylor]: Taking taylor expansion of z in y
1.185 * [taylor]: Taking taylor expansion of y in y
1.185 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.185 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.185 * [taylor]: Taking taylor expansion of z in z
1.185 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.186 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.186 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.186 * [taylor]: Taking taylor expansion of (/ z y) in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of y in z
1.186 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.186 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.186 * [taylor]: Taking taylor expansion of (/ z y) in y
1.186 * [taylor]: Taking taylor expansion of z in y
1.186 * [taylor]: Taking taylor expansion of y in y
1.186 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.186 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.186 * [taylor]: Taking taylor expansion of (/ z y) in y
1.186 * [taylor]: Taking taylor expansion of z in y
1.186 * [taylor]: Taking taylor expansion of y in y
1.186 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.186 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.186 * [taylor]: Taking taylor expansion of z in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.186 * [taylor]: Taking taylor expansion of 0 in z
1.187 * [taylor]: Taking taylor expansion of 0 in z
1.187 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.187 * [approximate]: Taking taylor expansion of (* 3.0 (* z y)) in (z y) around 0
1.187 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in y
1.187 * [taylor]: Taking taylor expansion of 3.0 in y
1.187 * [taylor]: Taking taylor expansion of (* z y) in y
1.187 * [taylor]: Taking taylor expansion of z in y
1.187 * [taylor]: Taking taylor expansion of y in y
1.187 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
1.187 * [taylor]: Taking taylor expansion of 3.0 in z
1.187 * [taylor]: Taking taylor expansion of (* z y) in z
1.187 * [taylor]: Taking taylor expansion of z in z
1.187 * [taylor]: Taking taylor expansion of y in z
1.187 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
1.187 * [taylor]: Taking taylor expansion of 3.0 in z
1.187 * [taylor]: Taking taylor expansion of (* z y) in z
1.187 * [taylor]: Taking taylor expansion of z in z
1.187 * [taylor]: Taking taylor expansion of y in z
1.187 * [taylor]: Taking taylor expansion of 0 in y
1.187 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
1.187 * [taylor]: Taking taylor expansion of 3.0 in y
1.187 * [taylor]: Taking taylor expansion of y in y
1.187 * [taylor]: Taking taylor expansion of 0 in y
1.187 * [taylor]: Taking taylor expansion of 0 in y
1.188 * [taylor]: Taking taylor expansion of 0 in y
1.188 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
1.188 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
1.188 * [taylor]: Taking taylor expansion of 3.0 in y
1.188 * [taylor]: Taking taylor expansion of (* z y) in y
1.188 * [taylor]: Taking taylor expansion of z in y
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.188 * [taylor]: Taking taylor expansion of 3.0 in z
1.188 * [taylor]: Taking taylor expansion of (* z y) in z
1.188 * [taylor]: Taking taylor expansion of z in z
1.188 * [taylor]: Taking taylor expansion of y in z
1.188 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.188 * [taylor]: Taking taylor expansion of 3.0 in z
1.188 * [taylor]: Taking taylor expansion of (* z y) in z
1.188 * [taylor]: Taking taylor expansion of z in z
1.188 * [taylor]: Taking taylor expansion of y in z
1.188 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.188 * [taylor]: Taking taylor expansion of 3.0 in y
1.188 * [taylor]: Taking taylor expansion of y in y
1.188 * [taylor]: Taking taylor expansion of 0 in y
1.188 * [taylor]: Taking taylor expansion of 0 in y
1.189 * [taylor]: Taking taylor expansion of 0 in y
1.189 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
1.189 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
1.189 * [taylor]: Taking taylor expansion of 3.0 in y
1.189 * [taylor]: Taking taylor expansion of (* z y) in y
1.189 * [taylor]: Taking taylor expansion of z in y
1.189 * [taylor]: Taking taylor expansion of y in y
1.189 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.189 * [taylor]: Taking taylor expansion of 3.0 in z
1.189 * [taylor]: Taking taylor expansion of (* z y) in z
1.189 * [taylor]: Taking taylor expansion of z in z
1.189 * [taylor]: Taking taylor expansion of y in z
1.189 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.189 * [taylor]: Taking taylor expansion of 3.0 in z
1.189 * [taylor]: Taking taylor expansion of (* z y) in z
1.189 * [taylor]: Taking taylor expansion of z in z
1.189 * [taylor]: Taking taylor expansion of y in z
1.189 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.189 * [taylor]: Taking taylor expansion of 3.0 in y
1.189 * [taylor]: Taking taylor expansion of y in y
1.189 * [taylor]: Taking taylor expansion of 0 in y
1.190 * [taylor]: Taking taylor expansion of 0 in y
1.190 * [taylor]: Taking taylor expansion of 0 in y
1.190 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.190 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in (x y z t) around 0
1.190 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in t
1.190 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in t
1.190 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.190 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.190 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.190 * [taylor]: Taking taylor expansion of t in t
1.190 * [taylor]: Taking taylor expansion of (* z y) in t
1.190 * [taylor]: Taking taylor expansion of z in t
1.190 * [taylor]: Taking taylor expansion of y in t
1.190 * [taylor]: Taking taylor expansion of x in t
1.190 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in t
1.190 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.190 * [taylor]: Taking taylor expansion of (/ y z) in t
1.190 * [taylor]: Taking taylor expansion of y in t
1.190 * [taylor]: Taking taylor expansion of z in t
1.190 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in z
1.191 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in z
1.191 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.191 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.191 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.191 * [taylor]: Taking taylor expansion of t in z
1.191 * [taylor]: Taking taylor expansion of (* z y) in z
1.191 * [taylor]: Taking taylor expansion of z in z
1.191 * [taylor]: Taking taylor expansion of y in z
1.191 * [taylor]: Taking taylor expansion of x in z
1.191 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.191 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.191 * [taylor]: Taking taylor expansion of (/ y z) in z
1.191 * [taylor]: Taking taylor expansion of y in z
1.191 * [taylor]: Taking taylor expansion of z in z
1.191 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in y
1.191 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in y
1.191 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.191 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.191 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.191 * [taylor]: Taking taylor expansion of t in y
1.191 * [taylor]: Taking taylor expansion of (* z y) in y
1.191 * [taylor]: Taking taylor expansion of z in y
1.191 * [taylor]: Taking taylor expansion of y in y
1.191 * [taylor]: Taking taylor expansion of x in y
1.191 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.191 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.191 * [taylor]: Taking taylor expansion of (/ y z) in y
1.191 * [taylor]: Taking taylor expansion of y in y
1.191 * [taylor]: Taking taylor expansion of z in y
1.191 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in x
1.191 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in x
1.191 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in x
1.191 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.191 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.191 * [taylor]: Taking taylor expansion of t in x
1.191 * [taylor]: Taking taylor expansion of (* z y) in x
1.191 * [taylor]: Taking taylor expansion of z in x
1.191 * [taylor]: Taking taylor expansion of y in x
1.191 * [taylor]: Taking taylor expansion of x in x
1.191 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.191 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.191 * [taylor]: Taking taylor expansion of (/ y z) in x
1.191 * [taylor]: Taking taylor expansion of y in x
1.191 * [taylor]: Taking taylor expansion of z in x
1.191 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in x
1.191 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in x
1.191 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in x
1.191 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.191 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.192 * [taylor]: Taking taylor expansion of t in x
1.192 * [taylor]: Taking taylor expansion of (* z y) in x
1.192 * [taylor]: Taking taylor expansion of z in x
1.192 * [taylor]: Taking taylor expansion of y in x
1.192 * [taylor]: Taking taylor expansion of x in x
1.192 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.192 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.192 * [taylor]: Taking taylor expansion of (/ y z) in x
1.192 * [taylor]: Taking taylor expansion of y in x
1.192 * [taylor]: Taking taylor expansion of z in x
1.192 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ t (* z y))) (* 0.3333333333333333 (/ y z))) in y
1.192 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.192 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.192 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.192 * [taylor]: Taking taylor expansion of t in y
1.192 * [taylor]: Taking taylor expansion of (* z y) in y
1.192 * [taylor]: Taking taylor expansion of z in y
1.192 * [taylor]: Taking taylor expansion of y in y
1.192 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.192 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.192 * [taylor]: Taking taylor expansion of (/ y z) in y
1.192 * [taylor]: Taking taylor expansion of y in y
1.192 * [taylor]: Taking taylor expansion of z in y
1.192 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.192 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.192 * [taylor]: Taking taylor expansion of (/ t z) in z
1.192 * [taylor]: Taking taylor expansion of t in z
1.192 * [taylor]: Taking taylor expansion of z in z
1.192 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
1.193 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.193 * [taylor]: Taking taylor expansion of t in t
1.193 * [taylor]: Taking taylor expansion of 1 in y
1.193 * [taylor]: Taking taylor expansion of 0 in z
1.193 * [taylor]: Taking taylor expansion of 0 in t
1.193 * [taylor]: Taking taylor expansion of 0 in y
1.193 * [taylor]: Taking taylor expansion of 1 in z
1.194 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
1.194 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
1.194 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.194 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.194 * [taylor]: Taking taylor expansion of z in z
1.194 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
1.194 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.194 * [taylor]: Taking taylor expansion of 0 in t
1.194 * [taylor]: Taking taylor expansion of 0 in t
1.195 * [taylor]: Taking taylor expansion of 0 in y
1.195 * [taylor]: Taking taylor expansion of 0 in z
1.195 * [taylor]: Taking taylor expansion of 0 in z
1.195 * [taylor]: Taking taylor expansion of 0 in z
1.195 * [taylor]: Taking taylor expansion of 1 in t
1.195 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in (x y z t) around 0
1.195 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in t
1.195 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in t
1.195 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.195 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.195 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.195 * [taylor]: Taking taylor expansion of (* z y) in t
1.195 * [taylor]: Taking taylor expansion of z in t
1.196 * [taylor]: Taking taylor expansion of y in t
1.196 * [taylor]: Taking taylor expansion of t in t
1.196 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.196 * [taylor]: Taking taylor expansion of x in t
1.196 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in t
1.196 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.196 * [taylor]: Taking taylor expansion of (/ z y) in t
1.196 * [taylor]: Taking taylor expansion of z in t
1.196 * [taylor]: Taking taylor expansion of y in t
1.196 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in z
1.196 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in z
1.196 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.196 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.196 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.196 * [taylor]: Taking taylor expansion of (* z y) in z
1.196 * [taylor]: Taking taylor expansion of z in z
1.196 * [taylor]: Taking taylor expansion of y in z
1.196 * [taylor]: Taking taylor expansion of t in z
1.196 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.196 * [taylor]: Taking taylor expansion of x in z
1.196 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.196 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.196 * [taylor]: Taking taylor expansion of (/ z y) in z
1.196 * [taylor]: Taking taylor expansion of z in z
1.196 * [taylor]: Taking taylor expansion of y in z
1.196 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in y
1.196 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in y
1.196 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.196 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.196 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.196 * [taylor]: Taking taylor expansion of (* z y) in y
1.196 * [taylor]: Taking taylor expansion of z in y
1.196 * [taylor]: Taking taylor expansion of y in y
1.196 * [taylor]: Taking taylor expansion of t in y
1.196 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.196 * [taylor]: Taking taylor expansion of x in y
1.196 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.196 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.196 * [taylor]: Taking taylor expansion of (/ z y) in y
1.196 * [taylor]: Taking taylor expansion of z in y
1.196 * [taylor]: Taking taylor expansion of y in y
1.196 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in x
1.196 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in x
1.196 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.196 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.196 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.197 * [taylor]: Taking taylor expansion of (* z y) in x
1.197 * [taylor]: Taking taylor expansion of z in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of t in x
1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.197 * [taylor]: Taking taylor expansion of (/ z y) in x
1.197 * [taylor]: Taking taylor expansion of z in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in x
1.197 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in x
1.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.197 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.197 * [taylor]: Taking taylor expansion of (* z y) in x
1.197 * [taylor]: Taking taylor expansion of z in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of t in x
1.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.197 * [taylor]: Taking taylor expansion of x in x
1.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.197 * [taylor]: Taking taylor expansion of (/ z y) in x
1.197 * [taylor]: Taking taylor expansion of z in x
1.197 * [taylor]: Taking taylor expansion of y in x
1.197 * [taylor]: Taking taylor expansion of 1 in y
1.197 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y))) in y
1.197 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.197 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.198 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.198 * [taylor]: Taking taylor expansion of (* z y) in y
1.198 * [taylor]: Taking taylor expansion of z in y
1.198 * [taylor]: Taking taylor expansion of y in y
1.198 * [taylor]: Taking taylor expansion of t in y
1.198 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.198 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.198 * [taylor]: Taking taylor expansion of (/ z y) in y
1.198 * [taylor]: Taking taylor expansion of z in y
1.198 * [taylor]: Taking taylor expansion of y in y
1.198 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.198 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.198 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.198 * [taylor]: Taking taylor expansion of z in z
1.198 * [taylor]: Taking taylor expansion of 0 in t
1.198 * [taylor]: Taking taylor expansion of 1 in z
1.198 * [taylor]: Taking taylor expansion of 1 in t
1.198 * [taylor]: Taking taylor expansion of 0 in y
1.198 * [taylor]: Taking taylor expansion of 0 in z
1.198 * [taylor]: Taking taylor expansion of 0 in t
1.198 * [taylor]: Taking taylor expansion of 0 in z
1.198 * [taylor]: Taking taylor expansion of 0 in t
1.198 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
1.198 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.198 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in y
1.199 * [taylor]: Taking taylor expansion of 0 in z
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.199 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.199 * [taylor]: Taking taylor expansion of (/ z t) in z
1.199 * [taylor]: Taking taylor expansion of z in z
1.199 * [taylor]: Taking taylor expansion of t in z
1.199 * [taylor]: Taking taylor expansion of 0 in z
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.199 * [taylor]: Taking taylor expansion of 0 in t
1.200 * [taylor]: Taking taylor expansion of 0 in y
1.200 * [taylor]: Taking taylor expansion of 0 in z
1.200 * [taylor]: Taking taylor expansion of 0 in t
1.200 * [taylor]: Taking taylor expansion of 0 in z
1.200 * [taylor]: Taking taylor expansion of 0 in t
1.200 * [taylor]: Taking taylor expansion of 0 in z
1.200 * [taylor]: Taking taylor expansion of 0 in t
1.200 * [taylor]: Taking taylor expansion of 0 in z
1.200 * [taylor]: Taking taylor expansion of 0 in t
1.200 * [taylor]: Taking taylor expansion of 0 in t
1.200 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 t) in t
1.200 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.200 * [taylor]: Taking taylor expansion of t in t
1.201 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in (x y z t) around 0
1.201 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in t
1.201 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in t
1.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.201 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.201 * [taylor]: Taking taylor expansion of (* z y) in t
1.201 * [taylor]: Taking taylor expansion of z in t
1.201 * [taylor]: Taking taylor expansion of y in t
1.201 * [taylor]: Taking taylor expansion of t in t
1.201 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in t
1.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in t
1.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.201 * [taylor]: Taking taylor expansion of (/ z y) in t
1.201 * [taylor]: Taking taylor expansion of z in t
1.201 * [taylor]: Taking taylor expansion of y in t
1.201 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.201 * [taylor]: Taking taylor expansion of x in t
1.201 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in z
1.201 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
1.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.201 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.201 * [taylor]: Taking taylor expansion of (* z y) in z
1.201 * [taylor]: Taking taylor expansion of z in z
1.201 * [taylor]: Taking taylor expansion of y in z
1.201 * [taylor]: Taking taylor expansion of t in z
1.201 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
1.201 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.201 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.201 * [taylor]: Taking taylor expansion of (/ z y) in z
1.202 * [taylor]: Taking taylor expansion of z in z
1.202 * [taylor]: Taking taylor expansion of y in z
1.202 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.202 * [taylor]: Taking taylor expansion of x in z
1.202 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in y
1.202 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
1.202 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.202 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.202 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.202 * [taylor]: Taking taylor expansion of (* z y) in y
1.202 * [taylor]: Taking taylor expansion of z in y
1.202 * [taylor]: Taking taylor expansion of y in y
1.202 * [taylor]: Taking taylor expansion of t in y
1.202 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
1.202 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.202 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.202 * [taylor]: Taking taylor expansion of (/ z y) in y
1.202 * [taylor]: Taking taylor expansion of z in y
1.202 * [taylor]: Taking taylor expansion of y in y
1.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.202 * [taylor]: Taking taylor expansion of x in y
1.202 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in x
1.202 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.202 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.202 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.202 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.202 * [taylor]: Taking taylor expansion of (* z y) in x
1.202 * [taylor]: Taking taylor expansion of z in x
1.202 * [taylor]: Taking taylor expansion of y in x
1.202 * [taylor]: Taking taylor expansion of t in x
1.202 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.202 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.202 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.202 * [taylor]: Taking taylor expansion of (/ z y) in x
1.202 * [taylor]: Taking taylor expansion of z in x
1.202 * [taylor]: Taking taylor expansion of y in x
1.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.202 * [taylor]: Taking taylor expansion of x in x
1.202 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in x
1.202 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.202 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.202 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.202 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.202 * [taylor]: Taking taylor expansion of (* z y) in x
1.202 * [taylor]: Taking taylor expansion of z in x
1.202 * [taylor]: Taking taylor expansion of y in x
1.202 * [taylor]: Taking taylor expansion of t in x
1.202 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.203 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.203 * [taylor]: Taking taylor expansion of (/ z y) in x
1.203 * [taylor]: Taking taylor expansion of z in x
1.203 * [taylor]: Taking taylor expansion of y in x
1.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.203 * [taylor]: Taking taylor expansion of x in x
1.203 * [taylor]: Taking taylor expansion of (neg 1) in y
1.203 * [taylor]: Taking taylor expansion of 1 in y
1.203 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y)))) in y
1.203 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y))) in y
1.203 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.203 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.203 * [taylor]: Taking taylor expansion of (* z y) in y
1.203 * [taylor]: Taking taylor expansion of z in y
1.203 * [taylor]: Taking taylor expansion of y in y
1.203 * [taylor]: Taking taylor expansion of t in y
1.203 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.203 * [taylor]: Taking taylor expansion of (/ z y) in y
1.203 * [taylor]: Taking taylor expansion of z in y
1.203 * [taylor]: Taking taylor expansion of y in y
1.203 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.203 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.203 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.203 * [taylor]: Taking taylor expansion of z in z
1.204 * [taylor]: Taking taylor expansion of 0 in t
1.204 * [taylor]: Taking taylor expansion of (neg 1) in z
1.204 * [taylor]: Taking taylor expansion of 1 in z
1.204 * [taylor]: Taking taylor expansion of (neg 1) in t
1.204 * [taylor]: Taking taylor expansion of 1 in t
1.204 * [taylor]: Taking taylor expansion of 0 in y
1.204 * [taylor]: Taking taylor expansion of 0 in z
1.204 * [taylor]: Taking taylor expansion of 0 in t
1.204 * [taylor]: Taking taylor expansion of 0 in z
1.204 * [taylor]: Taking taylor expansion of 0 in t
1.204 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
1.204 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.204 * [taylor]: Taking taylor expansion of 0 in t
1.205 * [taylor]: Taking taylor expansion of 0 in y
1.205 * [taylor]: Taking taylor expansion of 0 in z
1.205 * [taylor]: Taking taylor expansion of 0 in t
1.205 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z t))) in z
1.205 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.205 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.205 * [taylor]: Taking taylor expansion of (/ z t) in z
1.205 * [taylor]: Taking taylor expansion of z in z
1.205 * [taylor]: Taking taylor expansion of t in z
1.205 * [taylor]: Taking taylor expansion of 0 in z
1.205 * [taylor]: Taking taylor expansion of 0 in t
1.205 * [taylor]: Taking taylor expansion of 0 in t
1.205 * [taylor]: Taking taylor expansion of 0 in t
1.205 * [taylor]: Taking taylor expansion of 0 in t
1.205 * [taylor]: Taking taylor expansion of 0 in t
1.206 * [taylor]: Taking taylor expansion of 0 in y
1.206 * [taylor]: Taking taylor expansion of 0 in z
1.206 * [taylor]: Taking taylor expansion of 0 in t
1.206 * [taylor]: Taking taylor expansion of 0 in z
1.206 * [taylor]: Taking taylor expansion of 0 in t
1.206 * [taylor]: Taking taylor expansion of 0 in z
1.206 * [taylor]: Taking taylor expansion of 0 in t
1.206 * [taylor]: Taking taylor expansion of 0 in z
1.206 * [taylor]: Taking taylor expansion of 0 in t
1.206 * [taylor]: Taking taylor expansion of 0 in t
1.206 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 t))) in t
1.206 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 t)) in t
1.206 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.206 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.206 * [taylor]: Taking taylor expansion of t in t
1.207 * * * [progress]: simplifying candidates
1.208 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log t) (+ (+ (log z) (log 3.0)) (log y)))
  (- (log t) (+ (log (* z 3.0)) (log y)))
  (- (log t) (log (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (exp (/ t (* (* z 3.0) y)))
  (/ (* (* t t) t) (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y)))
  (* (cbrt (/ t (* (* z 3.0) y))) (cbrt (/ t (* (* z 3.0) y))))
  (cbrt (/ t (* (* z 3.0) y)))
  (* (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))) (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (neg t)
  (neg (* (* z 3.0) y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* (* z 3.0) y))
  (/ (* (* z 3.0) y) t)
  (/ t (* z 3.0))
  (/ (* (* z 3.0) y) (cbrt t))
  (/ (* (* z 3.0) y) (sqrt t))
  (/ (* (* z 3.0) y) t)
  (- (log y) (+ (log z) (log 3.0)))
  (- (log y) (log (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (/ (* (* y y) y) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* y y) y) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (* (* (/ y (* z 3.0)) (/ y (* z 3.0))) (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (* (* z 3.0) y)
  (* (* z 3.0) y)
  (+ (+ (log z) (log 3.0)) (log y))
  (+ (log (* z 3.0)) (log y))
  (log (* (* z 3.0) y))
  (exp (* (* z 3.0) y))
  (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y))
  (* (cbrt (* (* z 3.0) y)) (cbrt (* (* z 3.0) y)))
  (cbrt (* (* z 3.0) y))
  (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (* z 3.0) (sqrt y))
  (* (* z 3.0) 1)
  (* 3.0 y)
  (* (/ (exp x) (exp (/ y (* z 3.0)))) (exp (/ t (* (* z 3.0) y))))
  (* (exp (- x (/ y (* z 3.0)))) (exp (/ t (* (* z 3.0) y))))
  (log (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))
  (exp (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))
  (* (cbrt (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))) (cbrt (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))))
  (cbrt (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))
  (* (* (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))) (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))) (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))
  (sqrt (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))
  (sqrt (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y))))
  (+ (* (- (pow x 3) (pow (/ y (* z 3.0)) 3)) (* (* z 3.0) y)) (* (+ (* x x) (+ (* (/ y (* z 3.0)) (/ y (* z 3.0))) (* x (/ y (* z 3.0))))) t))
  (* (+ (* x x) (+ (* (/ y (* z 3.0)) (/ y (* z 3.0))) (* x (/ y (* z 3.0))))) (* (* z 3.0) y))
  (+ (* (- (* x x) (* (/ y (* z 3.0)) (/ y (* z 3.0)))) (* (* z 3.0) y)) (* (+ x (/ y (* z 3.0))) t))
  (* (+ x (/ y (* z 3.0))) (* (* z 3.0) y))
  (+ (pow (- x (/ y (* z 3.0))) 3) (pow (/ t (* (* z 3.0) y)) 3))
  (+ (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (- (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))) (* (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))))
  (- (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))))
  (- (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
  (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
  (+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
  (+ (neg (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
  (- (/ y (* z 3.0)) (/ t (* (* z 3.0) y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
1.248 * * [simplify]: iteration  0 :  4998  enodes  (cost  914 )
1.248 * * [simplify]: iteration  1 :  4998  enodes  (cost  914 )
1.252 * [simplify]: Simplified to:
   (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (exp (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (* (cbrt (/ t (* z (* 3.0 y)))) (cbrt (/ t (* z (* 3.0 y)))))
  (cbrt (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (sqrt (/ t (* z (* 3.0 y))))
  (sqrt (/ t (* z (* 3.0 y))))
  (neg t)
  (* z (* 3.0 (neg y)))
  (* (cbrt t) (/ (cbrt t) (* z 3.0)))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* z (* 3.0 y)))
  (* z (/ 3.0 (/ t y)))
  (/ t (* z 3.0))
  (* z (/ 3.0 (/ (cbrt t) y)))
  (* z (/ 3.0 (/ (sqrt t) y)))
  (* z (/ 3.0 (/ t y)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (pow (/ y (* z 3.0)) 3)
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (* z (neg 3.0))
  (* (cbrt y) (/ (cbrt y) z))
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (* z (/ 3.0 y))
  (/ y z)
  (* z (/ 3.0 (cbrt y)))
  (* z (/ 3.0 (sqrt y)))
  (* z (/ 3.0 y))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (log (* z (* 3.0 y)))
  (log (* z (* 3.0 y)))
  (log (* z (* 3.0 y)))
  (pow (pow (exp z) 3.0) y)
  (pow (* z (* 3.0 y)) 3)
  (pow (* z (* 3.0 y)) 3)
  (* (cbrt (* z (* 3.0 y))) (cbrt (* z (* 3.0 y))))
  (cbrt (* z (* 3.0 y)))
  (pow (* z (* 3.0 y)) 3)
  (sqrt (* z (* 3.0 y)))
  (sqrt (* z (* 3.0 y)))
  (* z (* 3.0 (* (cbrt y) (cbrt y))))
  (* z (* 3.0 (sqrt y)))
  (* z 3.0)
  (* 3.0 y)
  (exp (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))))
  (exp (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))))
  (log (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))))
  (exp (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))))
  (* (cbrt (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y)))) (cbrt (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y)))))
  (cbrt (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))))
  (pow (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))) 3)
  (sqrt (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))))
  (sqrt (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))))
  (+ (* z (* (* 3.0 y) (- (pow x 3) (pow (/ y (* z 3.0)) 3)))) (* t (+ (* x x) (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x)))))
  (* z (* (* 3.0 y) (+ (* x x) (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x)))))
  (* (+ (/ y (* z 3.0)) x) (+ (* (- x (/ y (* z 3.0))) (* z (* 3.0 y))) t))
  (* z (* (* 3.0 y) (+ (/ y (* z 3.0)) x)))
  (+ (pow (/ t (* z (* 3.0 y))) 3) (pow (- x (/ y (* z 3.0))) 3))
  (+ (* t (/ t (* z (* 3.0 (* y (* z (* 3.0 y))))))) (* (- x (/ y (* z 3.0))) (- x (* (/ 1 (* z 3.0)) (+ (/ t y) y)))))
  (* (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y))) (- x (* (/ 1 (* z 3.0)) (+ (/ t y) y))))
  (- x (* (/ 1 (* z 3.0)) (+ (/ t y) y)))
  (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y)))
  (+ x (* (/ 1 (* z 3.0)) (- (/ t y) y)))
  (* (/ 1 (* z 3.0)) (- (/ t y) y))
  (* (/ 1 (* z 3.0)) (- y (/ t y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z))))
  (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z))))
  (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z))))
1.252 * * * [progress]: adding candidates to table
1.373 * * [progress]: iteration 2 / 4
1.373 * * * [progress]: picking best candidate
1.401 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))>
1.401 * * * [progress]: localizing error
1.410 * * * [progress]: generating rewritten candidates
1.410 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
1.420 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.423 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.441 * * * [progress]: generating series expansions
1.441 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.441 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
1.441 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.442 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.442 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.442 * [taylor]: Taking taylor expansion of t in y
1.442 * [taylor]: Taking taylor expansion of (* z y) in y
1.442 * [taylor]: Taking taylor expansion of z in y
1.442 * [taylor]: Taking taylor expansion of y in y
1.442 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.442 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.442 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.442 * [taylor]: Taking taylor expansion of t in z
1.442 * [taylor]: Taking taylor expansion of (* z y) in z
1.442 * [taylor]: Taking taylor expansion of z in z
1.442 * [taylor]: Taking taylor expansion of y in z
1.442 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.442 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.442 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.442 * [taylor]: Taking taylor expansion of t in t
1.442 * [taylor]: Taking taylor expansion of (* z y) in t
1.442 * [taylor]: Taking taylor expansion of z in t
1.442 * [taylor]: Taking taylor expansion of y in t
1.442 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.442 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.442 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.442 * [taylor]: Taking taylor expansion of t in t
1.442 * [taylor]: Taking taylor expansion of (* z y) in t
1.442 * [taylor]: Taking taylor expansion of z in t
1.442 * [taylor]: Taking taylor expansion of y in t
1.442 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
1.442 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.442 * [taylor]: Taking taylor expansion of (* z y) in z
1.442 * [taylor]: Taking taylor expansion of z in z
1.442 * [taylor]: Taking taylor expansion of y in z
1.442 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
1.442 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.442 * [taylor]: Taking taylor expansion of y in y
1.443 * [taylor]: Taking taylor expansion of 0 in z
1.443 * [taylor]: Taking taylor expansion of 0 in y
1.443 * [taylor]: Taking taylor expansion of 0 in z
1.443 * [taylor]: Taking taylor expansion of 0 in y
1.443 * [taylor]: Taking taylor expansion of 0 in y
1.443 * [taylor]: Taking taylor expansion of 0 in z
1.443 * [taylor]: Taking taylor expansion of 0 in y
1.443 * [taylor]: Taking taylor expansion of 0 in y
1.444 * [taylor]: Taking taylor expansion of 0 in y
1.444 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.444 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.444 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.444 * [taylor]: Taking taylor expansion of (* z y) in y
1.444 * [taylor]: Taking taylor expansion of z in y
1.444 * [taylor]: Taking taylor expansion of y in y
1.444 * [taylor]: Taking taylor expansion of t in y
1.444 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.444 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.444 * [taylor]: Taking taylor expansion of (* z y) in z
1.444 * [taylor]: Taking taylor expansion of z in z
1.444 * [taylor]: Taking taylor expansion of y in z
1.444 * [taylor]: Taking taylor expansion of t in z
1.444 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.444 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.444 * [taylor]: Taking taylor expansion of (* z y) in t
1.444 * [taylor]: Taking taylor expansion of z in t
1.444 * [taylor]: Taking taylor expansion of y in t
1.444 * [taylor]: Taking taylor expansion of t in t
1.444 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.444 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.444 * [taylor]: Taking taylor expansion of (* z y) in t
1.444 * [taylor]: Taking taylor expansion of z in t
1.444 * [taylor]: Taking taylor expansion of y in t
1.444 * [taylor]: Taking taylor expansion of t in t
1.444 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
1.444 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.444 * [taylor]: Taking taylor expansion of (* z y) in z
1.444 * [taylor]: Taking taylor expansion of z in z
1.444 * [taylor]: Taking taylor expansion of y in z
1.445 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.445 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.445 * [taylor]: Taking taylor expansion of y in y
1.445 * [taylor]: Taking taylor expansion of 0 in z
1.445 * [taylor]: Taking taylor expansion of 0 in y
1.445 * [taylor]: Taking taylor expansion of 0 in y
1.445 * [taylor]: Taking taylor expansion of 0 in z
1.445 * [taylor]: Taking taylor expansion of 0 in y
1.445 * [taylor]: Taking taylor expansion of 0 in y
1.445 * [taylor]: Taking taylor expansion of 0 in y
1.445 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.445 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.445 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.446 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.446 * [taylor]: Taking taylor expansion of (* z y) in y
1.446 * [taylor]: Taking taylor expansion of z in y
1.446 * [taylor]: Taking taylor expansion of y in y
1.446 * [taylor]: Taking taylor expansion of t in y
1.446 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.446 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.446 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.446 * [taylor]: Taking taylor expansion of (* z y) in z
1.446 * [taylor]: Taking taylor expansion of z in z
1.446 * [taylor]: Taking taylor expansion of y in z
1.446 * [taylor]: Taking taylor expansion of t in z
1.446 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.446 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.446 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.446 * [taylor]: Taking taylor expansion of (* z y) in t
1.446 * [taylor]: Taking taylor expansion of z in t
1.446 * [taylor]: Taking taylor expansion of y in t
1.446 * [taylor]: Taking taylor expansion of t in t
1.446 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.446 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.446 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.446 * [taylor]: Taking taylor expansion of (* z y) in t
1.446 * [taylor]: Taking taylor expansion of z in t
1.446 * [taylor]: Taking taylor expansion of y in t
1.446 * [taylor]: Taking taylor expansion of t in t
1.446 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
1.446 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.446 * [taylor]: Taking taylor expansion of (* z y) in z
1.446 * [taylor]: Taking taylor expansion of z in z
1.446 * [taylor]: Taking taylor expansion of y in z
1.446 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
1.446 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.446 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.446 * [taylor]: Taking taylor expansion of y in y
1.447 * [taylor]: Taking taylor expansion of 0 in z
1.447 * [taylor]: Taking taylor expansion of 0 in y
1.447 * [taylor]: Taking taylor expansion of 0 in y
1.447 * [taylor]: Taking taylor expansion of 0 in z
1.447 * [taylor]: Taking taylor expansion of 0 in y
1.447 * [taylor]: Taking taylor expansion of 0 in y
1.447 * [taylor]: Taking taylor expansion of 0 in y
1.447 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
1.447 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in (t z) around 0
1.447 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.447 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.447 * [taylor]: Taking taylor expansion of (/ t z) in z
1.447 * [taylor]: Taking taylor expansion of t in z
1.447 * [taylor]: Taking taylor expansion of z in z
1.447 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in t
1.447 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.447 * [taylor]: Taking taylor expansion of (/ t z) in t
1.447 * [taylor]: Taking taylor expansion of t in t
1.447 * [taylor]: Taking taylor expansion of z in t
1.448 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in t
1.448 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.448 * [taylor]: Taking taylor expansion of (/ t z) in t
1.448 * [taylor]: Taking taylor expansion of t in t
1.448 * [taylor]: Taking taylor expansion of z in t
1.448 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.448 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.448 * [taylor]: Taking taylor expansion of z in z
1.448 * [taylor]: Taking taylor expansion of 0 in z
1.448 * [taylor]: Taking taylor expansion of 0 in z
1.448 * [taylor]: Taking taylor expansion of 0 in z
1.448 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in (t z) around 0
1.448 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.448 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.448 * [taylor]: Taking taylor expansion of (/ z t) in z
1.448 * [taylor]: Taking taylor expansion of z in z
1.448 * [taylor]: Taking taylor expansion of t in z
1.448 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.449 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.449 * [taylor]: Taking taylor expansion of (/ z t) in t
1.449 * [taylor]: Taking taylor expansion of z in t
1.449 * [taylor]: Taking taylor expansion of t in t
1.449 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.449 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.449 * [taylor]: Taking taylor expansion of (/ z t) in t
1.449 * [taylor]: Taking taylor expansion of z in t
1.449 * [taylor]: Taking taylor expansion of t in t
1.449 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.449 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.449 * [taylor]: Taking taylor expansion of z in z
1.449 * [taylor]: Taking taylor expansion of 0 in z
1.449 * [taylor]: Taking taylor expansion of 0 in z
1.449 * [taylor]: Taking taylor expansion of 0 in z
1.449 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in (t z) around 0
1.449 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.449 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.449 * [taylor]: Taking taylor expansion of (/ z t) in z
1.449 * [taylor]: Taking taylor expansion of z in z
1.449 * [taylor]: Taking taylor expansion of t in z
1.449 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.449 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.449 * [taylor]: Taking taylor expansion of (/ z t) in t
1.449 * [taylor]: Taking taylor expansion of z in t
1.449 * [taylor]: Taking taylor expansion of t in t
1.450 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in t
1.450 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.450 * [taylor]: Taking taylor expansion of (/ z t) in t
1.450 * [taylor]: Taking taylor expansion of z in t
1.450 * [taylor]: Taking taylor expansion of t in t
1.450 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.450 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.450 * [taylor]: Taking taylor expansion of z in z
1.450 * [taylor]: Taking taylor expansion of 0 in z
1.450 * [taylor]: Taking taylor expansion of 0 in z
1.450 * [taylor]: Taking taylor expansion of 0 in z
1.450 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.450 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.450 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.450 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.450 * [taylor]: Taking taylor expansion of (/ y z) in z
1.450 * [taylor]: Taking taylor expansion of y in z
1.450 * [taylor]: Taking taylor expansion of z in z
1.450 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.450 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.450 * [taylor]: Taking taylor expansion of (/ y z) in y
1.450 * [taylor]: Taking taylor expansion of y in y
1.450 * [taylor]: Taking taylor expansion of z in y
1.450 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.451 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.451 * [taylor]: Taking taylor expansion of (/ y z) in y
1.451 * [taylor]: Taking taylor expansion of y in y
1.451 * [taylor]: Taking taylor expansion of z in y
1.451 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.451 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.451 * [taylor]: Taking taylor expansion of z in z
1.451 * [taylor]: Taking taylor expansion of 0 in z
1.451 * [taylor]: Taking taylor expansion of 0 in z
1.451 * [taylor]: Taking taylor expansion of 0 in z
1.451 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.451 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.451 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.451 * [taylor]: Taking taylor expansion of (/ z y) in z
1.451 * [taylor]: Taking taylor expansion of z in z
1.451 * [taylor]: Taking taylor expansion of y in z
1.451 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.451 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.451 * [taylor]: Taking taylor expansion of (/ z y) in y
1.451 * [taylor]: Taking taylor expansion of z in y
1.451 * [taylor]: Taking taylor expansion of y in y
1.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.452 * [taylor]: Taking taylor expansion of (/ z y) in y
1.452 * [taylor]: Taking taylor expansion of z in y
1.452 * [taylor]: Taking taylor expansion of y in y
1.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.452 * [taylor]: Taking taylor expansion of z in z
1.452 * [taylor]: Taking taylor expansion of 0 in z
1.452 * [taylor]: Taking taylor expansion of 0 in z
1.452 * [taylor]: Taking taylor expansion of 0 in z
1.452 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.452 * [taylor]: Taking taylor expansion of (/ z y) in z
1.452 * [taylor]: Taking taylor expansion of z in z
1.452 * [taylor]: Taking taylor expansion of y in z
1.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.452 * [taylor]: Taking taylor expansion of (/ z y) in y
1.452 * [taylor]: Taking taylor expansion of z in y
1.452 * [taylor]: Taking taylor expansion of y in y
1.452 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.452 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.452 * [taylor]: Taking taylor expansion of (/ z y) in y
1.453 * [taylor]: Taking taylor expansion of z in y
1.453 * [taylor]: Taking taylor expansion of y in y
1.453 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.453 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.453 * [taylor]: Taking taylor expansion of z in z
1.453 * [taylor]: Taking taylor expansion of 0 in z
1.453 * [taylor]: Taking taylor expansion of 0 in z
1.453 * [taylor]: Taking taylor expansion of 0 in z
1.453 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.453 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in (x y z t) around 0
1.453 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in t
1.453 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in t
1.453 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.453 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.453 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.453 * [taylor]: Taking taylor expansion of t in t
1.453 * [taylor]: Taking taylor expansion of (* z y) in t
1.453 * [taylor]: Taking taylor expansion of z in t
1.453 * [taylor]: Taking taylor expansion of y in t
1.454 * [taylor]: Taking taylor expansion of x in t
1.454 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in t
1.454 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.454 * [taylor]: Taking taylor expansion of (/ y z) in t
1.454 * [taylor]: Taking taylor expansion of y in t
1.454 * [taylor]: Taking taylor expansion of z in t
1.454 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in z
1.454 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in z
1.454 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.454 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.454 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.454 * [taylor]: Taking taylor expansion of t in z
1.454 * [taylor]: Taking taylor expansion of (* z y) in z
1.454 * [taylor]: Taking taylor expansion of z in z
1.454 * [taylor]: Taking taylor expansion of y in z
1.454 * [taylor]: Taking taylor expansion of x in z
1.454 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.454 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.454 * [taylor]: Taking taylor expansion of (/ y z) in z
1.454 * [taylor]: Taking taylor expansion of y in z
1.454 * [taylor]: Taking taylor expansion of z in z
1.454 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in y
1.454 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in y
1.454 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.454 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.454 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.454 * [taylor]: Taking taylor expansion of t in y
1.454 * [taylor]: Taking taylor expansion of (* z y) in y
1.454 * [taylor]: Taking taylor expansion of z in y
1.454 * [taylor]: Taking taylor expansion of y in y
1.454 * [taylor]: Taking taylor expansion of x in y
1.454 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.454 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.454 * [taylor]: Taking taylor expansion of (/ y z) in y
1.454 * [taylor]: Taking taylor expansion of y in y
1.454 * [taylor]: Taking taylor expansion of z in y
1.454 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in x
1.454 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in x
1.454 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in x
1.454 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.454 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.454 * [taylor]: Taking taylor expansion of t in x
1.454 * [taylor]: Taking taylor expansion of (* z y) in x
1.454 * [taylor]: Taking taylor expansion of z in x
1.454 * [taylor]: Taking taylor expansion of y in x
1.454 * [taylor]: Taking taylor expansion of x in x
1.454 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.455 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.455 * [taylor]: Taking taylor expansion of (/ y z) in x
1.455 * [taylor]: Taking taylor expansion of y in x
1.455 * [taylor]: Taking taylor expansion of z in x
1.455 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in x
1.455 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in x
1.455 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in x
1.455 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.455 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.455 * [taylor]: Taking taylor expansion of t in x
1.455 * [taylor]: Taking taylor expansion of (* z y) in x
1.455 * [taylor]: Taking taylor expansion of z in x
1.455 * [taylor]: Taking taylor expansion of y in x
1.455 * [taylor]: Taking taylor expansion of x in x
1.455 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.455 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.455 * [taylor]: Taking taylor expansion of (/ y z) in x
1.455 * [taylor]: Taking taylor expansion of y in x
1.455 * [taylor]: Taking taylor expansion of z in x
1.455 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ t (* z y))) (* 0.3333333333333333 (/ y z))) in y
1.455 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.455 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.455 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.455 * [taylor]: Taking taylor expansion of t in y
1.455 * [taylor]: Taking taylor expansion of (* z y) in y
1.455 * [taylor]: Taking taylor expansion of z in y
1.455 * [taylor]: Taking taylor expansion of y in y
1.455 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.455 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.455 * [taylor]: Taking taylor expansion of (/ y z) in y
1.455 * [taylor]: Taking taylor expansion of y in y
1.455 * [taylor]: Taking taylor expansion of z in y
1.455 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.456 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.456 * [taylor]: Taking taylor expansion of (/ t z) in z
1.456 * [taylor]: Taking taylor expansion of t in z
1.456 * [taylor]: Taking taylor expansion of z in z
1.456 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
1.456 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.456 * [taylor]: Taking taylor expansion of t in t
1.456 * [taylor]: Taking taylor expansion of 1 in y
1.456 * [taylor]: Taking taylor expansion of 0 in z
1.456 * [taylor]: Taking taylor expansion of 0 in t
1.456 * [taylor]: Taking taylor expansion of 0 in y
1.456 * [taylor]: Taking taylor expansion of 1 in z
1.457 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
1.457 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
1.457 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.457 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.457 * [taylor]: Taking taylor expansion of z in z
1.457 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
1.457 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.457 * [taylor]: Taking taylor expansion of 0 in t
1.457 * [taylor]: Taking taylor expansion of 0 in t
1.457 * [taylor]: Taking taylor expansion of 0 in y
1.458 * [taylor]: Taking taylor expansion of 0 in z
1.458 * [taylor]: Taking taylor expansion of 0 in z
1.458 * [taylor]: Taking taylor expansion of 0 in z
1.458 * [taylor]: Taking taylor expansion of 1 in t
1.458 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in (x y z t) around 0
1.458 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in t
1.458 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in t
1.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.459 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.459 * [taylor]: Taking taylor expansion of (* z y) in t
1.459 * [taylor]: Taking taylor expansion of z in t
1.459 * [taylor]: Taking taylor expansion of y in t
1.459 * [taylor]: Taking taylor expansion of t in t
1.459 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.459 * [taylor]: Taking taylor expansion of x in t
1.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in t
1.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.459 * [taylor]: Taking taylor expansion of (/ z y) in t
1.459 * [taylor]: Taking taylor expansion of z in t
1.459 * [taylor]: Taking taylor expansion of y in t
1.459 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in z
1.459 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in z
1.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.459 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.459 * [taylor]: Taking taylor expansion of (* z y) in z
1.459 * [taylor]: Taking taylor expansion of z in z
1.459 * [taylor]: Taking taylor expansion of y in z
1.459 * [taylor]: Taking taylor expansion of t in z
1.459 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.459 * [taylor]: Taking taylor expansion of x in z
1.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.459 * [taylor]: Taking taylor expansion of (/ z y) in z
1.459 * [taylor]: Taking taylor expansion of z in z
1.459 * [taylor]: Taking taylor expansion of y in z
1.459 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in y
1.459 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in y
1.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.459 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.459 * [taylor]: Taking taylor expansion of (* z y) in y
1.459 * [taylor]: Taking taylor expansion of z in y
1.459 * [taylor]: Taking taylor expansion of y in y
1.459 * [taylor]: Taking taylor expansion of t in y
1.459 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.459 * [taylor]: Taking taylor expansion of x in y
1.459 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.459 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.459 * [taylor]: Taking taylor expansion of (/ z y) in y
1.459 * [taylor]: Taking taylor expansion of z in y
1.459 * [taylor]: Taking taylor expansion of y in y
1.460 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in x
1.460 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in x
1.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.460 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.460 * [taylor]: Taking taylor expansion of (* z y) in x
1.460 * [taylor]: Taking taylor expansion of z in x
1.460 * [taylor]: Taking taylor expansion of y in x
1.460 * [taylor]: Taking taylor expansion of t in x
1.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.460 * [taylor]: Taking taylor expansion of x in x
1.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.460 * [taylor]: Taking taylor expansion of (/ z y) in x
1.460 * [taylor]: Taking taylor expansion of z in x
1.460 * [taylor]: Taking taylor expansion of y in x
1.460 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in x
1.460 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in x
1.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.460 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.460 * [taylor]: Taking taylor expansion of (* z y) in x
1.460 * [taylor]: Taking taylor expansion of z in x
1.460 * [taylor]: Taking taylor expansion of y in x
1.460 * [taylor]: Taking taylor expansion of t in x
1.460 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.460 * [taylor]: Taking taylor expansion of x in x
1.460 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.460 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.460 * [taylor]: Taking taylor expansion of (/ z y) in x
1.460 * [taylor]: Taking taylor expansion of z in x
1.460 * [taylor]: Taking taylor expansion of y in x
1.460 * [taylor]: Taking taylor expansion of 1 in y
1.461 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y))) in y
1.461 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.461 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.461 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.461 * [taylor]: Taking taylor expansion of (* z y) in y
1.461 * [taylor]: Taking taylor expansion of z in y
1.461 * [taylor]: Taking taylor expansion of y in y
1.461 * [taylor]: Taking taylor expansion of t in y
1.461 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.461 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.461 * [taylor]: Taking taylor expansion of (/ z y) in y
1.461 * [taylor]: Taking taylor expansion of z in y
1.461 * [taylor]: Taking taylor expansion of y in y
1.461 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.461 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.461 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.461 * [taylor]: Taking taylor expansion of z in z
1.461 * [taylor]: Taking taylor expansion of 0 in t
1.461 * [taylor]: Taking taylor expansion of 1 in z
1.461 * [taylor]: Taking taylor expansion of 1 in t
1.461 * [taylor]: Taking taylor expansion of 0 in y
1.461 * [taylor]: Taking taylor expansion of 0 in z
1.461 * [taylor]: Taking taylor expansion of 0 in t
1.461 * [taylor]: Taking taylor expansion of 0 in z
1.461 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
1.462 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of 0 in y
1.462 * [taylor]: Taking taylor expansion of 0 in z
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.462 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.462 * [taylor]: Taking taylor expansion of (/ z t) in z
1.462 * [taylor]: Taking taylor expansion of z in z
1.462 * [taylor]: Taking taylor expansion of t in z
1.462 * [taylor]: Taking taylor expansion of 0 in z
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.462 * [taylor]: Taking taylor expansion of 0 in t
1.463 * [taylor]: Taking taylor expansion of 0 in y
1.463 * [taylor]: Taking taylor expansion of 0 in z
1.463 * [taylor]: Taking taylor expansion of 0 in t
1.463 * [taylor]: Taking taylor expansion of 0 in z
1.463 * [taylor]: Taking taylor expansion of 0 in t
1.463 * [taylor]: Taking taylor expansion of 0 in z
1.463 * [taylor]: Taking taylor expansion of 0 in t
1.463 * [taylor]: Taking taylor expansion of 0 in z
1.463 * [taylor]: Taking taylor expansion of 0 in t
1.463 * [taylor]: Taking taylor expansion of 0 in t
1.463 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 t) in t
1.463 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.463 * [taylor]: Taking taylor expansion of t in t
1.464 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in (x y z t) around 0
1.464 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in t
1.464 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in t
1.464 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.464 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.464 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.464 * [taylor]: Taking taylor expansion of (* z y) in t
1.464 * [taylor]: Taking taylor expansion of z in t
1.464 * [taylor]: Taking taylor expansion of y in t
1.464 * [taylor]: Taking taylor expansion of t in t
1.464 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in t
1.464 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in t
1.464 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.464 * [taylor]: Taking taylor expansion of (/ z y) in t
1.464 * [taylor]: Taking taylor expansion of z in t
1.464 * [taylor]: Taking taylor expansion of y in t
1.464 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.464 * [taylor]: Taking taylor expansion of x in t
1.464 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in z
1.464 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
1.464 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.464 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.464 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.464 * [taylor]: Taking taylor expansion of (* z y) in z
1.464 * [taylor]: Taking taylor expansion of z in z
1.464 * [taylor]: Taking taylor expansion of y in z
1.464 * [taylor]: Taking taylor expansion of t in z
1.465 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
1.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.465 * [taylor]: Taking taylor expansion of (/ z y) in z
1.465 * [taylor]: Taking taylor expansion of z in z
1.465 * [taylor]: Taking taylor expansion of y in z
1.465 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.465 * [taylor]: Taking taylor expansion of x in z
1.465 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in y
1.465 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
1.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.465 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.465 * [taylor]: Taking taylor expansion of (* z y) in y
1.465 * [taylor]: Taking taylor expansion of z in y
1.465 * [taylor]: Taking taylor expansion of y in y
1.465 * [taylor]: Taking taylor expansion of t in y
1.465 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
1.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.465 * [taylor]: Taking taylor expansion of (/ z y) in y
1.465 * [taylor]: Taking taylor expansion of z in y
1.465 * [taylor]: Taking taylor expansion of y in y
1.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.465 * [taylor]: Taking taylor expansion of x in y
1.465 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in x
1.465 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.465 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.465 * [taylor]: Taking taylor expansion of (* z y) in x
1.465 * [taylor]: Taking taylor expansion of z in x
1.465 * [taylor]: Taking taylor expansion of y in x
1.465 * [taylor]: Taking taylor expansion of t in x
1.465 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.465 * [taylor]: Taking taylor expansion of (/ z y) in x
1.465 * [taylor]: Taking taylor expansion of z in x
1.465 * [taylor]: Taking taylor expansion of y in x
1.465 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.465 * [taylor]: Taking taylor expansion of x in x
1.465 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in x
1.465 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
1.465 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.465 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.466 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.466 * [taylor]: Taking taylor expansion of (* z y) in x
1.466 * [taylor]: Taking taylor expansion of z in x
1.466 * [taylor]: Taking taylor expansion of y in x
1.466 * [taylor]: Taking taylor expansion of t in x
1.466 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
1.466 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.466 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.466 * [taylor]: Taking taylor expansion of (/ z y) in x
1.466 * [taylor]: Taking taylor expansion of z in x
1.466 * [taylor]: Taking taylor expansion of y in x
1.466 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.466 * [taylor]: Taking taylor expansion of x in x
1.466 * [taylor]: Taking taylor expansion of (neg 1) in y
1.466 * [taylor]: Taking taylor expansion of 1 in y
1.466 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y)))) in y
1.466 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y))) in y
1.466 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.466 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.466 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.466 * [taylor]: Taking taylor expansion of (* z y) in y
1.466 * [taylor]: Taking taylor expansion of z in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.466 * [taylor]: Taking taylor expansion of t in y
1.466 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.466 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.466 * [taylor]: Taking taylor expansion of (/ z y) in y
1.466 * [taylor]: Taking taylor expansion of z in y
1.466 * [taylor]: Taking taylor expansion of y in y
1.467 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.467 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.467 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.467 * [taylor]: Taking taylor expansion of z in z
1.467 * [taylor]: Taking taylor expansion of 0 in t
1.467 * [taylor]: Taking taylor expansion of (neg 1) in z
1.467 * [taylor]: Taking taylor expansion of 1 in z
1.467 * [taylor]: Taking taylor expansion of (neg 1) in t
1.467 * [taylor]: Taking taylor expansion of 1 in t
1.467 * [taylor]: Taking taylor expansion of 0 in y
1.467 * [taylor]: Taking taylor expansion of 0 in z
1.467 * [taylor]: Taking taylor expansion of 0 in t
1.467 * [taylor]: Taking taylor expansion of 0 in z
1.467 * [taylor]: Taking taylor expansion of 0 in t
1.467 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
1.467 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.467 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 0 in y
1.468 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z t))) in z
1.468 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.468 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.468 * [taylor]: Taking taylor expansion of (/ z t) in z
1.468 * [taylor]: Taking taylor expansion of z in z
1.468 * [taylor]: Taking taylor expansion of t in z
1.468 * [taylor]: Taking taylor expansion of 0 in z
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.468 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in y
1.469 * [taylor]: Taking taylor expansion of 0 in z
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in z
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in z
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in z
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of 0 in t
1.469 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 t))) in t
1.469 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 t)) in t
1.469 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.469 * [taylor]: Taking taylor expansion of t in t
1.470 * * * [progress]: simplifying candidates
1.471 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (log t) (+ (log z) (log 3.0))) (log y))
  (- (- (log t) (log (* z 3.0))) (log y))
  (- (log (/ t (* z 3.0))) (log y))
  (log (/ (/ t (* z 3.0)) y))
  (exp (/ (/ t (* z 3.0)) y))
  (/ (/ (* (* t t) t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0))) (* (* y y) y))
  (/ (/ (* (* t t) t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0))) (* (* y y) y))
  (/ (* (* (/ t (* z 3.0)) (/ t (* z 3.0))) (/ t (* z 3.0))) (* (* y y) y))
  (* (cbrt (/ (/ t (* z 3.0)) y)) (cbrt (/ (/ t (* z 3.0)) y)))
  (cbrt (/ (/ t (* z 3.0)) y))
  (* (* (/ (/ t (* z 3.0)) y) (/ (/ t (* z 3.0)) y)) (/ (/ t (* z 3.0)) y))
  (sqrt (/ (/ t (* z 3.0)) y))
  (sqrt (/ (/ t (* z 3.0)) y))
  (neg (/ t (* z 3.0)))
  (neg y)
  (/ (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0)))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (/ t (* z 3.0))) (cbrt y))
  (/ (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0)))) (sqrt y))
  (/ (cbrt (/ t (* z 3.0))) (sqrt y))
  (/ (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0)))) 1)
  (/ (cbrt (/ t (* z 3.0))) y)
  (/ (sqrt (/ t (* z 3.0))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ t (* z 3.0))) (cbrt y))
  (/ (sqrt (/ t (* z 3.0))) (sqrt y))
  (/ (sqrt (/ t (* z 3.0))) (sqrt y))
  (/ (sqrt (/ t (* z 3.0))) 1)
  (/ (sqrt (/ t (* z 3.0))) y)
  (/ (/ (* (cbrt t) (cbrt t)) z) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt t) 3.0) (cbrt y))
  (/ (/ (* (cbrt t) (cbrt t)) z) (sqrt y))
  (/ (/ (cbrt t) 3.0) (sqrt y))
  (/ (/ (* (cbrt t) (cbrt t)) z) 1)
  (/ (/ (cbrt t) 3.0) y)
  (/ (/ (sqrt t) z) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt t) 3.0) (cbrt y))
  (/ (/ (sqrt t) z) (sqrt y))
  (/ (/ (sqrt t) 3.0) (sqrt y))
  (/ (/ (sqrt t) z) 1)
  (/ (/ (sqrt t) 3.0) y)
  (/ (/ 1 z) (* (cbrt y) (cbrt y)))
  (/ (/ t 3.0) (cbrt y))
  (/ (/ 1 z) (sqrt y))
  (/ (/ t 3.0) (sqrt y))
  (/ (/ 1 z) 1)
  (/ (/ t 3.0) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ t (* z 3.0)) (cbrt y))
  (/ 1 (sqrt y))
  (/ (/ t (* z 3.0)) (sqrt y))
  (/ 1 1)
  (/ (/ t (* z 3.0)) y)
  (/ t (* (cbrt y) (cbrt y)))
  (/ (/ 1 (* z 3.0)) (cbrt y))
  (/ t (sqrt y))
  (/ (/ 1 (* z 3.0)) (sqrt y))
  (/ t 1)
  (/ (/ 1 (* z 3.0)) y)
  (/ 1 y)
  (/ y (/ t (* z 3.0)))
  (/ (/ t (* z 3.0)) (* (cbrt y) (cbrt y)))
  (/ (/ t (* z 3.0)) (sqrt y))
  (/ (/ t (* z 3.0)) 1)
  (/ y (cbrt (/ t (* z 3.0))))
  (/ y (sqrt (/ t (* z 3.0))))
  (/ y (/ (cbrt t) 3.0))
  (/ y (/ (sqrt t) 3.0))
  (/ y (/ t 3.0))
  (/ y (/ t (* z 3.0)))
  (/ y (/ 1 (* z 3.0)))
  (* y (* z 3.0))
  (- (log t) (+ (log z) (log 3.0)))
  (- (log t) (log (* z 3.0)))
  (log (/ t (* z 3.0)))
  (exp (/ t (* z 3.0)))
  (/ (* (* t t) t) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* t t) t) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0))))
  (cbrt (/ t (* z 3.0)))
  (* (* (/ t (* z 3.0)) (/ t (* z 3.0))) (/ t (* z 3.0)))
  (sqrt (/ t (* z 3.0)))
  (sqrt (/ t (* z 3.0)))
  (neg t)
  (neg (* z 3.0))
  (/ (* (cbrt t) (cbrt t)) z)
  (/ (cbrt t) 3.0)
  (/ (sqrt t) z)
  (/ (sqrt t) 3.0)
  (/ 1 z)
  (/ t 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) t)
  (/ t z)
  (/ (* z 3.0) (cbrt t))
  (/ (* z 3.0) (sqrt t))
  (/ (* z 3.0) t)
  (- (log y) (+ (log z) (log 3.0)))
  (- (log y) (log (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (/ (* (* y y) y) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* y y) y) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (* (* (/ y (* z 3.0)) (/ y (* z 3.0))) (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (* (/ (exp x) (exp (/ y (* z 3.0)))) (exp (/ (/ t (* z 3.0)) y)))
  (* (exp (- x (/ y (* z 3.0)))) (exp (/ (/ t (* z 3.0)) y)))
  (log (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))
  (exp (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))
  (* (cbrt (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))) (cbrt (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))))
  (cbrt (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))
  (* (* (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))
  (sqrt (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))
  (sqrt (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))
  (+ (* (- (pow x 3) (pow (/ y (* z 3.0)) 3)) y) (* (+ (* x x) (+ (* (/ y (* z 3.0)) (/ y (* z 3.0))) (* x (/ y (* z 3.0))))) (/ t (* z 3.0))))
  (* (+ (* x x) (+ (* (/ y (* z 3.0)) (/ y (* z 3.0))) (* x (/ y (* z 3.0))))) y)
  (+ (* (- (* x x) (* (/ y (* z 3.0)) (/ y (* z 3.0)))) y) (* (+ x (/ y (* z 3.0))) (/ t (* z 3.0))))
  (* (+ x (/ y (* z 3.0))) y)
  (+ (pow (- x (/ y (* z 3.0))) 3) (pow (/ (/ t (* z 3.0)) y) 3))
  (+ (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (- (* (/ (/ t (* z 3.0)) y) (/ (/ t (* z 3.0)) y)) (* (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))))
  (- (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (* (/ (/ t (* z 3.0)) y) (/ (/ t (* z 3.0)) y)))
  (- (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
  (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
  (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
  (+ (neg (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
  (- (/ y (* z 3.0)) (/ (/ t (* z 3.0)) y))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t z))
  (* 0.3333333333333333 (/ t z))
  (* 0.3333333333333333 (/ t z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
1.497 * * [simplify]: iteration  0 :  5218  enodes  (cost  1306 )
1.505 * [simplify]: Simplified to:
   (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (exp (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (* (cbrt (/ t (* z (* 3.0 y)))) (cbrt (/ t (* z (* 3.0 y)))))
  (cbrt (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (sqrt (/ t (* z (* 3.0 y))))
  (sqrt (/ t (* z (* 3.0 y))))
  (/ (neg t) (* z 3.0))
  (neg y)
  (* (cbrt (/ t (* z 3.0))) (/ (cbrt (/ t (* z 3.0))) (* (cbrt y) (cbrt y))))
  (/ (cbrt (/ t (* z 3.0))) (cbrt y))
  (* (cbrt (/ t (* z 3.0))) (/ (cbrt (/ t (* z 3.0))) (sqrt y)))
  (/ (cbrt (/ t (* z 3.0))) (sqrt y))
  (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0))))
  (/ (cbrt (/ t (* z 3.0))) y)
  (/ (sqrt (/ t (* z 3.0))) (* (cbrt y) (cbrt y)))
  (/ (sqrt (/ t (* z 3.0))) (cbrt y))
  (/ (sqrt (/ t (* z 3.0))) (sqrt y))
  (/ (sqrt (/ t (* z 3.0))) (sqrt y))
  (sqrt (/ t (* z 3.0)))
  (/ (sqrt (/ t (* z 3.0))) y)
  (* (/ (cbrt t) (* (cbrt y) (cbrt y))) (/ (cbrt t) z))
  (/ (cbrt t) (* 3.0 (cbrt y)))
  (* (/ (cbrt t) (sqrt y)) (/ (cbrt t) z))
  (/ (cbrt t) (* 3.0 (sqrt y)))
  (* (cbrt t) (/ (cbrt t) z))
  (/ (cbrt t) (* 3.0 y))
  (/ (sqrt t) (* z (* (cbrt y) (cbrt y))))
  (/ (sqrt t) (* 3.0 (cbrt y)))
  (/ (sqrt t) (* z (sqrt y)))
  (/ (sqrt t) (* 3.0 (sqrt y)))
  (/ (sqrt t) z)
  (/ (sqrt t) (* 3.0 y))
  (/ 1 (* z (* (cbrt y) (cbrt y))))
  (/ t (* 3.0 (cbrt y)))
  (/ 1 (* z (sqrt y)))
  (/ t (* 3.0 (sqrt y)))
  (/ 1 z)
  (/ t (* 3.0 y))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ t (* (* z 3.0) (cbrt y)))
  (/ 1 (sqrt y))
  (/ t (* (* z 3.0) (sqrt y)))
  1
  (/ t (* z (* 3.0 y)))
  (/ t (* (cbrt y) (cbrt y)))
  (/ 1 (* (* z 3.0) (cbrt y)))
  (/ t (sqrt y))
  (/ 1 (* (* z 3.0) (sqrt y)))
  t
  (/ 1 (* z (* 3.0 y)))
  (/ 1 y)
  (* y (* z (/ 3.0 t)))
  (/ t (* (* z 3.0) (* (cbrt y) (cbrt y))))
  (/ t (* (* z 3.0) (sqrt y)))
  (/ t (* z 3.0))
  (/ y (cbrt (/ t (* z 3.0))))
  (/ y (sqrt (/ t (* z 3.0))))
  (* 3.0 (/ y (cbrt t)))
  (* 3.0 (/ y (sqrt t)))
  (* 3.0 (/ y t))
  (* y (* z (/ 3.0 t)))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (log (/ t (* z 3.0)))
  (log (/ t (* z 3.0)))
  (log (/ t (* z 3.0)))
  (exp (/ t (* z 3.0)))
  (pow (/ t (* z 3.0)) 3)
  (pow (/ t (* z 3.0)) 3)
  (* (cbrt (/ t (* z 3.0))) (cbrt (/ t (* z 3.0))))
  (cbrt (/ t (* z 3.0)))
  (pow (/ t (* z 3.0)) 3)
  (sqrt (/ t (* z 3.0)))
  (sqrt (/ t (* z 3.0)))
  (neg t)
  (* z (neg 3.0))
  (* (cbrt t) (/ (cbrt t) z))
  (/ (cbrt t) 3.0)
  (/ (sqrt t) z)
  (/ (sqrt t) 3.0)
  (/ 1 z)
  (/ t 3.0)
  (/ 1 (* z 3.0))
  (* z (/ 3.0 t))
  (/ t z)
  (* z (/ 3.0 (cbrt t)))
  (* z (/ 3.0 (sqrt t)))
  (* z (/ 3.0 t))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (pow (/ y (* z 3.0)) 3)
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (* z (neg 3.0))
  (* (cbrt y) (/ (cbrt y) z))
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (* z (/ 3.0 y))
  (/ y z)
  (* z (/ 3.0 (cbrt y)))
  (* z (/ 3.0 (sqrt y)))
  (* z (/ 3.0 y))
  (exp (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (exp (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (log (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (exp (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (* (cbrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0))))) (cbrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0))))))
  (cbrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (pow (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))) 3)
  (sqrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (sqrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (+ (* y (- (pow x 3) (pow (/ y (* z 3.0)) 3))) (* (/ t (* z 3.0)) (+ (* x x) (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x)))))
  (* y (+ (* x x) (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x))))
  (* (+ (/ y (* z 3.0)) x) (+ (* (- x (/ y (* z 3.0))) y) (/ t (* z 3.0))))
  (* y (+ (/ y (* z 3.0)) x))
  (+ (pow (/ t (* z (* 3.0 y))) 3) (pow (- x (/ y (* z 3.0))) 3))
  (+ (* (/ t (* z 3.0)) (/ (/ t (* z 3.0)) (* y y))) (* (- x (/ y (* z 3.0))) (- x (+ (/ t (* z (* 3.0 y))) (/ y (* z 3.0))))))
  (- (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (* (/ t (* z 3.0)) (/ (/ t (* z 3.0)) (* y y))))
  (- x (+ (/ t (* z (* 3.0 y))) (/ y (* z 3.0))))
  (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0))))
  (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0))))
  (- (/ t (* z (* 3.0 y))) (/ y (* z 3.0)))
  (- (/ y (* z 3.0)) (/ t (* z (* 3.0 y))))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* (/ t z) 0.3333333333333333)
  (* (/ t z) 0.3333333333333333)
  (* (/ t z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z))))
  (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z))))
  (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z))))
1.505 * * * [progress]: adding candidates to table
1.648 * * [progress]: iteration 3 / 4
1.648 * * * [progress]: picking best candidate
1.668 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t))))))>
1.668 * * * [progress]: localizing error
1.679 * * * [progress]: generating rewritten candidates
1.679 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
1.685 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
1.693 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.697 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2)
1.707 * * * [progress]: generating series expansions
1.707 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
1.707 * [approximate]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in (y z t) around 0
1.707 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in t
1.707 * [taylor]: Taking taylor expansion of 3.0 in t
1.707 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.707 * [taylor]: Taking taylor expansion of (* z y) in t
1.707 * [taylor]: Taking taylor expansion of z in t
1.707 * [taylor]: Taking taylor expansion of y in t
1.707 * [taylor]: Taking taylor expansion of t in t
1.707 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in z
1.707 * [taylor]: Taking taylor expansion of 3.0 in z
1.707 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.707 * [taylor]: Taking taylor expansion of (* z y) in z
1.707 * [taylor]: Taking taylor expansion of z in z
1.707 * [taylor]: Taking taylor expansion of y in z
1.707 * [taylor]: Taking taylor expansion of t in z
1.707 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.707 * [taylor]: Taking taylor expansion of 3.0 in y
1.707 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.707 * [taylor]: Taking taylor expansion of (* z y) in y
1.707 * [taylor]: Taking taylor expansion of z in y
1.707 * [taylor]: Taking taylor expansion of y in y
1.707 * [taylor]: Taking taylor expansion of t in y
1.707 * [taylor]: Taking taylor expansion of (* 3.0 (/ (* z y) t)) in y
1.708 * [taylor]: Taking taylor expansion of 3.0 in y
1.708 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.708 * [taylor]: Taking taylor expansion of (* z y) in y
1.708 * [taylor]: Taking taylor expansion of z in y
1.708 * [taylor]: Taking taylor expansion of y in y
1.708 * [taylor]: Taking taylor expansion of t in y
1.708 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.708 * [taylor]: Taking taylor expansion of 3.0 in z
1.708 * [taylor]: Taking taylor expansion of (/ z t) in z
1.708 * [taylor]: Taking taylor expansion of z in z
1.708 * [taylor]: Taking taylor expansion of t in z
1.708 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.708 * [taylor]: Taking taylor expansion of 3.0 in t
1.708 * [taylor]: Taking taylor expansion of t in t
1.708 * [taylor]: Taking taylor expansion of 0 in z
1.708 * [taylor]: Taking taylor expansion of 0 in t
1.708 * [taylor]: Taking taylor expansion of 0 in t
1.708 * [taylor]: Taking taylor expansion of 0 in z
1.708 * [taylor]: Taking taylor expansion of 0 in t
1.708 * [taylor]: Taking taylor expansion of 0 in t
1.709 * [taylor]: Taking taylor expansion of 0 in t
1.709 * [taylor]: Taking taylor expansion of 0 in z
1.709 * [taylor]: Taking taylor expansion of 0 in t
1.709 * [taylor]: Taking taylor expansion of 0 in t
1.709 * [taylor]: Taking taylor expansion of 0 in t
1.709 * [taylor]: Taking taylor expansion of 0 in t
1.709 * [approximate]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in (y z t) around 0
1.709 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in t
1.709 * [taylor]: Taking taylor expansion of 3.0 in t
1.709 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.709 * [taylor]: Taking taylor expansion of t in t
1.709 * [taylor]: Taking taylor expansion of (* z y) in t
1.709 * [taylor]: Taking taylor expansion of z in t
1.709 * [taylor]: Taking taylor expansion of y in t
1.709 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in z
1.709 * [taylor]: Taking taylor expansion of 3.0 in z
1.710 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.710 * [taylor]: Taking taylor expansion of t in z
1.710 * [taylor]: Taking taylor expansion of (* z y) in z
1.710 * [taylor]: Taking taylor expansion of z in z
1.710 * [taylor]: Taking taylor expansion of y in z
1.710 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.710 * [taylor]: Taking taylor expansion of 3.0 in y
1.710 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.710 * [taylor]: Taking taylor expansion of t in y
1.710 * [taylor]: Taking taylor expansion of (* z y) in y
1.710 * [taylor]: Taking taylor expansion of z in y
1.710 * [taylor]: Taking taylor expansion of y in y
1.710 * [taylor]: Taking taylor expansion of (* 3.0 (/ t (* z y))) in y
1.710 * [taylor]: Taking taylor expansion of 3.0 in y
1.710 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.710 * [taylor]: Taking taylor expansion of t in y
1.710 * [taylor]: Taking taylor expansion of (* z y) in y
1.710 * [taylor]: Taking taylor expansion of z in y
1.710 * [taylor]: Taking taylor expansion of y in y
1.710 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.710 * [taylor]: Taking taylor expansion of 3.0 in z
1.710 * [taylor]: Taking taylor expansion of (/ t z) in z
1.710 * [taylor]: Taking taylor expansion of t in z
1.710 * [taylor]: Taking taylor expansion of z in z
1.710 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.710 * [taylor]: Taking taylor expansion of 3.0 in t
1.710 * [taylor]: Taking taylor expansion of t in t
1.710 * [taylor]: Taking taylor expansion of 0 in z
1.710 * [taylor]: Taking taylor expansion of 0 in t
1.711 * [taylor]: Taking taylor expansion of 0 in z
1.711 * [taylor]: Taking taylor expansion of 0 in t
1.711 * [taylor]: Taking taylor expansion of 0 in t
1.711 * [approximate]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in (y z t) around 0
1.711 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in t
1.711 * [taylor]: Taking taylor expansion of -3.0 in t
1.711 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.711 * [taylor]: Taking taylor expansion of t in t
1.711 * [taylor]: Taking taylor expansion of (* z y) in t
1.711 * [taylor]: Taking taylor expansion of z in t
1.711 * [taylor]: Taking taylor expansion of y in t
1.711 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in z
1.711 * [taylor]: Taking taylor expansion of -3.0 in z
1.711 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.711 * [taylor]: Taking taylor expansion of t in z
1.711 * [taylor]: Taking taylor expansion of (* z y) in z
1.711 * [taylor]: Taking taylor expansion of z in z
1.711 * [taylor]: Taking taylor expansion of y in z
1.711 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.711 * [taylor]: Taking taylor expansion of -3.0 in y
1.711 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.711 * [taylor]: Taking taylor expansion of t in y
1.711 * [taylor]: Taking taylor expansion of (* z y) in y
1.711 * [taylor]: Taking taylor expansion of z in y
1.711 * [taylor]: Taking taylor expansion of y in y
1.711 * [taylor]: Taking taylor expansion of (* -3.0 (/ t (* z y))) in y
1.711 * [taylor]: Taking taylor expansion of -3.0 in y
1.711 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.712 * [taylor]: Taking taylor expansion of t in y
1.712 * [taylor]: Taking taylor expansion of (* z y) in y
1.712 * [taylor]: Taking taylor expansion of z in y
1.712 * [taylor]: Taking taylor expansion of y in y
1.712 * [taylor]: Taking taylor expansion of (* -3.0 (/ t z)) in z
1.712 * [taylor]: Taking taylor expansion of -3.0 in z
1.712 * [taylor]: Taking taylor expansion of (/ t z) in z
1.712 * [taylor]: Taking taylor expansion of t in z
1.712 * [taylor]: Taking taylor expansion of z in z
1.712 * [taylor]: Taking taylor expansion of (* -3.0 t) in t
1.712 * [taylor]: Taking taylor expansion of -3.0 in t
1.712 * [taylor]: Taking taylor expansion of t in t
1.712 * [taylor]: Taking taylor expansion of 0 in z
1.712 * [taylor]: Taking taylor expansion of 0 in t
1.712 * [taylor]: Taking taylor expansion of 0 in z
1.712 * [taylor]: Taking taylor expansion of 0 in t
1.712 * [taylor]: Taking taylor expansion of 0 in t
1.713 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
1.713 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (y z t) around 0
1.713 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.713 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.713 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.713 * [taylor]: Taking taylor expansion of t in t
1.713 * [taylor]: Taking taylor expansion of (* z y) in t
1.713 * [taylor]: Taking taylor expansion of z in t
1.713 * [taylor]: Taking taylor expansion of y in t
1.713 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.713 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.713 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.713 * [taylor]: Taking taylor expansion of t in z
1.713 * [taylor]: Taking taylor expansion of (* z y) in z
1.713 * [taylor]: Taking taylor expansion of z in z
1.713 * [taylor]: Taking taylor expansion of y in z
1.713 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.713 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.713 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.713 * [taylor]: Taking taylor expansion of t in y
1.713 * [taylor]: Taking taylor expansion of (* z y) in y
1.713 * [taylor]: Taking taylor expansion of z in y
1.713 * [taylor]: Taking taylor expansion of y in y
1.713 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.713 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.713 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.713 * [taylor]: Taking taylor expansion of t in y
1.713 * [taylor]: Taking taylor expansion of (* z y) in y
1.713 * [taylor]: Taking taylor expansion of z in y
1.713 * [taylor]: Taking taylor expansion of y in y
1.713 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.713 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.713 * [taylor]: Taking taylor expansion of (/ t z) in z
1.713 * [taylor]: Taking taylor expansion of t in z
1.713 * [taylor]: Taking taylor expansion of z in z
1.714 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
1.714 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.714 * [taylor]: Taking taylor expansion of t in t
1.714 * [taylor]: Taking taylor expansion of 0 in z
1.714 * [taylor]: Taking taylor expansion of 0 in t
1.714 * [taylor]: Taking taylor expansion of 0 in z
1.714 * [taylor]: Taking taylor expansion of 0 in t
1.714 * [taylor]: Taking taylor expansion of 0 in t
1.714 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.714 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.714 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.714 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.714 * [taylor]: Taking taylor expansion of (* z y) in t
1.714 * [taylor]: Taking taylor expansion of z in t
1.714 * [taylor]: Taking taylor expansion of y in t
1.714 * [taylor]: Taking taylor expansion of t in t
1.715 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.715 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.715 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.715 * [taylor]: Taking taylor expansion of (* z y) in z
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [taylor]: Taking taylor expansion of y in z
1.715 * [taylor]: Taking taylor expansion of t in z
1.715 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.715 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.715 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.715 * [taylor]: Taking taylor expansion of (* z y) in y
1.715 * [taylor]: Taking taylor expansion of z in y
1.715 * [taylor]: Taking taylor expansion of y in y
1.715 * [taylor]: Taking taylor expansion of t in y
1.715 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.715 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.715 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.715 * [taylor]: Taking taylor expansion of (* z y) in y
1.715 * [taylor]: Taking taylor expansion of z in y
1.715 * [taylor]: Taking taylor expansion of y in y
1.715 * [taylor]: Taking taylor expansion of t in y
1.715 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.715 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.715 * [taylor]: Taking taylor expansion of (/ z t) in z
1.715 * [taylor]: Taking taylor expansion of z in z
1.715 * [taylor]: Taking taylor expansion of t in z
1.715 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 t) in t
1.715 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.715 * [taylor]: Taking taylor expansion of t in t
1.715 * [taylor]: Taking taylor expansion of 0 in z
1.715 * [taylor]: Taking taylor expansion of 0 in t
1.715 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in z
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in z
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.716 * [taylor]: Taking taylor expansion of 0 in t
1.717 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (y z t) around 0
1.717 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.717 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.717 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.717 * [taylor]: Taking taylor expansion of (* z y) in t
1.717 * [taylor]: Taking taylor expansion of z in t
1.717 * [taylor]: Taking taylor expansion of y in t
1.717 * [taylor]: Taking taylor expansion of t in t
1.717 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.717 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.717 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.717 * [taylor]: Taking taylor expansion of (* z y) in z
1.717 * [taylor]: Taking taylor expansion of z in z
1.717 * [taylor]: Taking taylor expansion of y in z
1.717 * [taylor]: Taking taylor expansion of t in z
1.717 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.717 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.717 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.717 * [taylor]: Taking taylor expansion of (* z y) in y
1.717 * [taylor]: Taking taylor expansion of z in y
1.717 * [taylor]: Taking taylor expansion of y in y
1.717 * [taylor]: Taking taylor expansion of t in y
1.717 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.717 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.717 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.717 * [taylor]: Taking taylor expansion of (* z y) in y
1.717 * [taylor]: Taking taylor expansion of z in y
1.717 * [taylor]: Taking taylor expansion of y in y
1.717 * [taylor]: Taking taylor expansion of t in y
1.717 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ z t)) in z
1.717 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.717 * [taylor]: Taking taylor expansion of (/ z t) in z
1.717 * [taylor]: Taking taylor expansion of z in z
1.717 * [taylor]: Taking taylor expansion of t in z
1.717 * [taylor]: Taking taylor expansion of (/ -0.3333333333333333 t) in t
1.717 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.717 * [taylor]: Taking taylor expansion of t in t
1.718 * [taylor]: Taking taylor expansion of 0 in z
1.718 * [taylor]: Taking taylor expansion of 0 in t
1.718 * [taylor]: Taking taylor expansion of 0 in t
1.718 * [taylor]: Taking taylor expansion of 0 in z
1.718 * [taylor]: Taking taylor expansion of 0 in t
1.718 * [taylor]: Taking taylor expansion of 0 in t
1.718 * [taylor]: Taking taylor expansion of 0 in t
1.719 * [taylor]: Taking taylor expansion of 0 in z
1.719 * [taylor]: Taking taylor expansion of 0 in t
1.719 * [taylor]: Taking taylor expansion of 0 in t
1.719 * [taylor]: Taking taylor expansion of 0 in t
1.719 * [taylor]: Taking taylor expansion of 0 in t
1.719 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.719 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.719 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.719 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.719 * [taylor]: Taking taylor expansion of (/ y z) in z
1.719 * [taylor]: Taking taylor expansion of y in z
1.719 * [taylor]: Taking taylor expansion of z in z
1.719 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.719 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.719 * [taylor]: Taking taylor expansion of (/ y z) in y
1.719 * [taylor]: Taking taylor expansion of y in y
1.719 * [taylor]: Taking taylor expansion of z in y
1.719 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.719 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.719 * [taylor]: Taking taylor expansion of (/ y z) in y
1.719 * [taylor]: Taking taylor expansion of y in y
1.719 * [taylor]: Taking taylor expansion of z in y
1.719 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.719 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.719 * [taylor]: Taking taylor expansion of z in z
1.719 * [taylor]: Taking taylor expansion of 0 in z
1.720 * [taylor]: Taking taylor expansion of 0 in z
1.720 * [taylor]: Taking taylor expansion of 0 in z
1.720 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.720 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.720 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.720 * [taylor]: Taking taylor expansion of (/ z y) in z
1.720 * [taylor]: Taking taylor expansion of z in z
1.720 * [taylor]: Taking taylor expansion of y in z
1.720 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.720 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.720 * [taylor]: Taking taylor expansion of (/ z y) in y
1.720 * [taylor]: Taking taylor expansion of z in y
1.720 * [taylor]: Taking taylor expansion of y in y
1.720 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.720 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.720 * [taylor]: Taking taylor expansion of (/ z y) in y
1.720 * [taylor]: Taking taylor expansion of z in y
1.720 * [taylor]: Taking taylor expansion of y in y
1.720 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.720 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.720 * [taylor]: Taking taylor expansion of z in z
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.721 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.721 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.721 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.721 * [taylor]: Taking taylor expansion of (/ z y) in z
1.721 * [taylor]: Taking taylor expansion of z in z
1.721 * [taylor]: Taking taylor expansion of y in z
1.721 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.721 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.721 * [taylor]: Taking taylor expansion of (/ z y) in y
1.721 * [taylor]: Taking taylor expansion of z in y
1.721 * [taylor]: Taking taylor expansion of y in y
1.721 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.721 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.721 * [taylor]: Taking taylor expansion of (/ z y) in y
1.721 * [taylor]: Taking taylor expansion of z in y
1.721 * [taylor]: Taking taylor expansion of y in y
1.721 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.721 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.721 * [taylor]: Taking taylor expansion of z in z
1.721 * [taylor]: Taking taylor expansion of 0 in z
1.722 * [taylor]: Taking taylor expansion of 0 in z
1.722 * [taylor]: Taking taylor expansion of 0 in z
1.722 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2)
1.722 * [approximate]: Taking taylor expansion of (* 3.0 (/ z t)) in (z t) around 0
1.722 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in t
1.722 * [taylor]: Taking taylor expansion of 3.0 in t
1.722 * [taylor]: Taking taylor expansion of (/ z t) in t
1.722 * [taylor]: Taking taylor expansion of z in t
1.722 * [taylor]: Taking taylor expansion of t in t
1.722 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.722 * [taylor]: Taking taylor expansion of 3.0 in z
1.722 * [taylor]: Taking taylor expansion of (/ z t) in z
1.722 * [taylor]: Taking taylor expansion of z in z
1.722 * [taylor]: Taking taylor expansion of t in z
1.722 * [taylor]: Taking taylor expansion of (* 3.0 (/ z t)) in z
1.722 * [taylor]: Taking taylor expansion of 3.0 in z
1.722 * [taylor]: Taking taylor expansion of (/ z t) in z
1.722 * [taylor]: Taking taylor expansion of z in z
1.722 * [taylor]: Taking taylor expansion of t in z
1.722 * [taylor]: Taking taylor expansion of (/ 3.0 t) in t
1.722 * [taylor]: Taking taylor expansion of 3.0 in t
1.722 * [taylor]: Taking taylor expansion of t in t
1.722 * [taylor]: Taking taylor expansion of 0 in t
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.723 * [approximate]: Taking taylor expansion of (* 3.0 (/ t z)) in (z t) around 0
1.723 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in t
1.723 * [taylor]: Taking taylor expansion of 3.0 in t
1.723 * [taylor]: Taking taylor expansion of (/ t z) in t
1.723 * [taylor]: Taking taylor expansion of t in t
1.723 * [taylor]: Taking taylor expansion of z in t
1.723 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.723 * [taylor]: Taking taylor expansion of 3.0 in z
1.723 * [taylor]: Taking taylor expansion of (/ t z) in z
1.723 * [taylor]: Taking taylor expansion of t in z
1.723 * [taylor]: Taking taylor expansion of z in z
1.723 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.723 * [taylor]: Taking taylor expansion of 3.0 in z
1.723 * [taylor]: Taking taylor expansion of (/ t z) in z
1.723 * [taylor]: Taking taylor expansion of t in z
1.723 * [taylor]: Taking taylor expansion of z in z
1.723 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.723 * [taylor]: Taking taylor expansion of 3.0 in t
1.723 * [taylor]: Taking taylor expansion of t in t
1.723 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.724 * [approximate]: Taking taylor expansion of (* 3.0 (/ t z)) in (z t) around 0
1.724 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in t
1.724 * [taylor]: Taking taylor expansion of 3.0 in t
1.724 * [taylor]: Taking taylor expansion of (/ t z) in t
1.724 * [taylor]: Taking taylor expansion of t in t
1.724 * [taylor]: Taking taylor expansion of z in t
1.724 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.724 * [taylor]: Taking taylor expansion of 3.0 in z
1.724 * [taylor]: Taking taylor expansion of (/ t z) in z
1.724 * [taylor]: Taking taylor expansion of t in z
1.724 * [taylor]: Taking taylor expansion of z in z
1.724 * [taylor]: Taking taylor expansion of (* 3.0 (/ t z)) in z
1.724 * [taylor]: Taking taylor expansion of 3.0 in z
1.724 * [taylor]: Taking taylor expansion of (/ t z) in z
1.724 * [taylor]: Taking taylor expansion of t in z
1.724 * [taylor]: Taking taylor expansion of z in z
1.724 * [taylor]: Taking taylor expansion of (* 3.0 t) in t
1.724 * [taylor]: Taking taylor expansion of 3.0 in t
1.724 * [taylor]: Taking taylor expansion of t in t
1.724 * [taylor]: Taking taylor expansion of 0 in t
1.725 * [taylor]: Taking taylor expansion of 0 in t
1.725 * [taylor]: Taking taylor expansion of 0 in t
1.725 * * * [progress]: simplifying candidates
1.726 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* y (* z (/ 3.0 t)))
  (* y (* z (/ 3.0 t)))
  (+ (log y) (+ (log z) (- (log 3.0) (log t))))
  (+ (log y) (+ (log z) (log (/ 3.0 t))))
  (+ (log y) (log (* z (/ 3.0 t))))
  (log (* y (* z (/ 3.0 t))))
  (exp (* y (* z (/ 3.0 t))))
  (* (* (* y y) y) (* (* (* z z) z) (/ (* (* 3.0 3.0) 3.0) (* (* t t) t))))
  (* (* (* y y) y) (* (* (* z z) z) (* (* (/ 3.0 t) (/ 3.0 t)) (/ 3.0 t))))
  (* (* (* y y) y) (* (* (* z (/ 3.0 t)) (* z (/ 3.0 t))) (* z (/ 3.0 t))))
  (* (cbrt (* y (* z (/ 3.0 t)))) (cbrt (* y (* z (/ 3.0 t)))))
  (cbrt (* y (* z (/ 3.0 t))))
  (* (* (* y (* z (/ 3.0 t))) (* y (* z (/ 3.0 t)))) (* y (* z (/ 3.0 t))))
  (sqrt (* y (* z (/ 3.0 t))))
  (sqrt (* y (* z (/ 3.0 t))))
  (* y z)
  (* (cbrt y) (* z (/ 3.0 t)))
  (* (sqrt y) (* z (/ 3.0 t)))
  (* y (* z (/ 3.0 t)))
  (* y (* z 3.0))
  (neg 1)
  (neg 1)
  (neg 1)
  (neg (+ (log y) (+ (log z) (- (log 3.0) (log t)))))
  (neg (+ (log y) (+ (log z) (log (/ 3.0 t)))))
  (neg (+ (log y) (log (* z (/ 3.0 t)))))
  (neg (log (* y (* z (/ 3.0 t)))))
  (- 0 (+ (log y) (+ (log z) (- (log 3.0) (log t)))))
  (- 0 (+ (log y) (+ (log z) (log (/ 3.0 t)))))
  (- 0 (+ (log y) (log (* z (/ 3.0 t)))))
  (- 0 (log (* y (* z (/ 3.0 t)))))
  (- (log 1) (+ (log y) (+ (log z) (- (log 3.0) (log t)))))
  (- (log 1) (+ (log y) (+ (log z) (log (/ 3.0 t)))))
  (- (log 1) (+ (log y) (log (* z (/ 3.0 t)))))
  (- (log 1) (log (* y (* z (/ 3.0 t)))))
  (log (/ 1 (* y (* z (/ 3.0 t)))))
  (exp (/ 1 (* y (* z (/ 3.0 t)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* (* z z) z) (/ (* (* 3.0 3.0) 3.0) (* (* t t) t)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* (* z z) z) (* (* (/ 3.0 t) (/ 3.0 t)) (/ 3.0 t)))))
  (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* (* z (/ 3.0 t)) (* z (/ 3.0 t))) (* z (/ 3.0 t)))))
  (/ (* (* 1 1) 1) (* (* (* y (* z (/ 3.0 t))) (* y (* z (/ 3.0 t)))) (* y (* z (/ 3.0 t)))))
  (* (cbrt (/ 1 (* y (* z (/ 3.0 t))))) (cbrt (/ 1 (* y (* z (/ 3.0 t))))))
  (cbrt (/ 1 (* y (* z (/ 3.0 t)))))
  (* (* (/ 1 (* y (* z (/ 3.0 t)))) (/ 1 (* y (* z (/ 3.0 t))))) (/ 1 (* y (* z (/ 3.0 t)))))
  (sqrt (/ 1 (* y (* z (/ 3.0 t)))))
  (sqrt (/ 1 (* y (* z (/ 3.0 t)))))
  (neg 1)
  (neg (* y (* z (/ 3.0 t))))
  (/ (* (cbrt 1) (cbrt 1)) y)
  (/ (cbrt 1) (* z (/ 3.0 t)))
  (/ (sqrt 1) y)
  (/ (sqrt 1) (* z (/ 3.0 t)))
  (/ 1 y)
  (/ 1 (* z (/ 3.0 t)))
  (/ 1 (* y (* z (/ 3.0 t))))
  (/ (* y (* z (/ 3.0 t))) 1)
  (/ 1 y)
  (/ (* y (* z (/ 3.0 t))) (cbrt 1))
  (/ (* y (* z (/ 3.0 t))) (sqrt 1))
  (/ (* y (* z (/ 3.0 t))) 1)
  (/ 1 (* y (* z 3.0)))
  (- (log y) (+ (log z) (log 3.0)))
  (- (log y) (log (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (/ (* (* y y) y) (* (* (* z z) z) (* (* 3.0 3.0) 3.0)))
  (/ (* (* y y) y) (* (* (* z 3.0) (* z 3.0)) (* z 3.0)))
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (* (* (/ y (* z 3.0)) (/ y (* z 3.0))) (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (neg (* z 3.0))
  (/ (* (cbrt y) (cbrt y)) z)
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (/ (* z 3.0) y)
  (/ y z)
  (/ (* z 3.0) (cbrt y))
  (/ (* z 3.0) (sqrt y))
  (/ (* z 3.0) y)
  (* z (/ 3.0 t))
  (+ (log z) (- (log 3.0) (log t)))
  (+ (log z) (log (/ 3.0 t)))
  (log (* z (/ 3.0 t)))
  (exp (* z (/ 3.0 t)))
  (* (* (* z z) z) (/ (* (* 3.0 3.0) 3.0) (* (* t t) t)))
  (* (* (* z z) z) (* (* (/ 3.0 t) (/ 3.0 t)) (/ 3.0 t)))
  (* (cbrt (* z (/ 3.0 t))) (cbrt (* z (/ 3.0 t))))
  (cbrt (* z (/ 3.0 t)))
  (* (* (* z (/ 3.0 t)) (* z (/ 3.0 t))) (* z (/ 3.0 t)))
  (sqrt (* z (/ 3.0 t)))
  (sqrt (* z (/ 3.0 t)))
  (* (sqrt z) (sqrt (/ 3.0 t)))
  (* (sqrt z) (sqrt (/ 3.0 t)))
  (* (sqrt z) (/ (sqrt 3.0) (sqrt t)))
  (* (sqrt z) (/ (sqrt 3.0) (sqrt t)))
  (* z (* (cbrt (/ 3.0 t)) (cbrt (/ 3.0 t))))
  (* z (sqrt (/ 3.0 t)))
  (* z (/ (* (cbrt 3.0) (cbrt 3.0)) (* (cbrt t) (cbrt t))))
  (* z (/ (* (cbrt 3.0) (cbrt 3.0)) (sqrt t)))
  (* z (/ (* (cbrt 3.0) (cbrt 3.0)) 1))
  (* z (/ (sqrt 3.0) (* (cbrt t) (cbrt t))))
  (* z (/ (sqrt 3.0) (sqrt t)))
  (* z (/ (sqrt 3.0) 1))
  (* z (/ 1 (* (cbrt t) (cbrt t))))
  (* z (/ 1 (sqrt t)))
  (* z (/ 1 1))
  (* z 1)
  (* z 3.0)
  (* (cbrt z) (/ 3.0 t))
  (* (sqrt z) (/ 3.0 t))
  (* z (/ 3.0 t))
  (* z 3.0)
  (* 3.0 (/ (* z y) t))
  (* 3.0 (/ (* z y) t))
  (* 3.0 (/ (* z y) t))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
  (* 3.0 (/ z t))
1.786 * * [simplify]: iteration  0 :  5008  enodes  (cost  875 )
1.792 * [simplify]: Simplified to:
   (* y (* z (/ 3.0 t)))
  (* y (* z (/ 3.0 t)))
  (log (* y (* z (/ 3.0 t))))
  (log (* y (* z (/ 3.0 t))))
  (log (* y (* z (/ 3.0 t))))
  (log (* y (* z (/ 3.0 t))))
  (pow (pow (exp z) (/ 3.0 t)) y)
  (pow (* y (* z (/ 3.0 t))) 3)
  (pow (* y (* z (/ 3.0 t))) 3)
  (pow (* y (* z (/ 3.0 t))) 3)
  (* (cbrt (* y (* z (/ 3.0 t)))) (cbrt (* y (* z (/ 3.0 t)))))
  (cbrt (* y (* z (/ 3.0 t))))
  (pow (* y (* z (/ 3.0 t))) 3)
  (sqrt (* y (* z (/ 3.0 t))))
  (sqrt (* y (* z (/ 3.0 t))))
  (* y z)
  (* z (* (/ 3.0 t) (cbrt y)))
  (* z (* (/ 3.0 t) (sqrt y)))
  (* y (* z (/ 3.0 t)))
  (* y (* z 3.0))
  -1
  -1
  -1
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (log (/ (/ t (* z 3.0)) y))
  (exp (/ (/ t (* z 3.0)) y))
  (pow (/ (/ t (* z 3.0)) y) 3)
  (pow (/ (/ t (* z 3.0)) y) 3)
  (pow (/ (/ t (* z 3.0)) y) 3)
  (pow (/ (/ t (* z 3.0)) y) 3)
  (* (cbrt (/ (/ t (* z 3.0)) y)) (cbrt (/ (/ t (* z 3.0)) y)))
  (cbrt (/ (/ t (* z 3.0)) y))
  (pow (/ (/ t (* z 3.0)) y) 3)
  (sqrt (/ (/ t (* z 3.0)) y))
  (sqrt (/ (/ t (* z 3.0)) y))
  -1
  (* y (* z (/ (neg 3.0) t)))
  (* (cbrt 1) (/ (cbrt 1) y))
  (* (cbrt 1) (/ t (* z 3.0)))
  (/ 1 y)
  (/ t (* z 3.0))
  (/ 1 y)
  (/ t (* z 3.0))
  (/ (/ t (* z 3.0)) y)
  (* y (* z (/ 3.0 t)))
  (/ 1 y)
  (* y (* (/ 3.0 t) (/ z (cbrt 1))))
  (* y (* z (/ 3.0 t)))
  (* y (* z (/ 3.0 t)))
  (/ 1 (* y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (pow (/ y (* z 3.0)) 3)
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (neg y)
  (* z (neg 3.0))
  (* (cbrt y) (/ (cbrt y) z))
  (/ (cbrt y) 3.0)
  (/ (sqrt y) z)
  (/ (sqrt y) 3.0)
  (/ 1 z)
  (/ y 3.0)
  (/ 1 (* z 3.0))
  (* z (/ 3.0 y))
  (/ y z)
  (* z (/ 3.0 (cbrt y)))
  (* z (/ 3.0 (sqrt y)))
  (* z (/ 3.0 y))
  (* z (/ 3.0 t))
  (log (* z (/ 3.0 t)))
  (log (* z (/ 3.0 t)))
  (log (* z (/ 3.0 t)))
  (pow (exp z) (/ 3.0 t))
  (pow (* z (/ 3.0 t)) 3)
  (pow (* z (/ 3.0 t)) 3)
  (* (cbrt (* z (/ 3.0 t))) (cbrt (* z (/ 3.0 t))))
  (cbrt (* z (/ 3.0 t)))
  (pow (* z (/ 3.0 t)) 3)
  (sqrt (* z (/ 3.0 t)))
  (sqrt (* z (/ 3.0 t)))
  (* (sqrt z) (sqrt (/ 3.0 t)))
  (* (sqrt z) (sqrt (/ 3.0 t)))
  (* (sqrt z) (/ (sqrt 3.0) (sqrt t)))
  (* (sqrt z) (/ (sqrt 3.0) (sqrt t)))
  (* z (* (cbrt (/ 3.0 t)) (cbrt (/ 3.0 t))))
  (* z (sqrt (/ 3.0 t)))
  (* z (* (cbrt 3.0) (/ (cbrt 3.0) (* (cbrt t) (cbrt t)))))
  (* z (* (cbrt 3.0) (/ (cbrt 3.0) (sqrt t))))
  (* z (* (cbrt 3.0) (cbrt 3.0)))
  (* z (/ (sqrt 3.0) (* (cbrt t) (cbrt t))))
  (* z (/ (sqrt 3.0) (sqrt t)))
  (* z (sqrt 3.0))
  (/ z (* (cbrt t) (cbrt t)))
  (/ z (sqrt t))
  z
  z
  (* z 3.0)
  (* (/ 3.0 t) (cbrt z))
  (* (/ 3.0 t) (sqrt z))
  (* z (/ 3.0 t))
  (* z 3.0)
  (* y (* z (/ 3.0 t)))
  (* y (* z (/ 3.0 t)))
  (* y (* z (/ 3.0 t)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* 0.3333333333333333 (/ t (* y z)))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* z (/ 3.0 t))
  (* z (/ 3.0 t))
  (* z (/ 3.0 t))
1.792 * * * [progress]: adding candidates to table
1.911 * * [progress]: iteration 4 / 4
1.911 * * * [progress]: picking best candidate
1.925 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))>
1.925 * * * [progress]: localizing error
1.935 * * * [progress]: generating rewritten candidates
1.935 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
1.941 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.946 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
1.951 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
1.977 * * * [progress]: generating series expansions
1.977 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
1.977 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in (t z y) around 0
1.977 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.977 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.977 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.977 * [taylor]: Taking taylor expansion of t in y
1.977 * [taylor]: Taking taylor expansion of (* z y) in y
1.977 * [taylor]: Taking taylor expansion of z in y
1.977 * [taylor]: Taking taylor expansion of y in y
1.977 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.977 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.977 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.977 * [taylor]: Taking taylor expansion of t in z
1.977 * [taylor]: Taking taylor expansion of (* z y) in z
1.977 * [taylor]: Taking taylor expansion of z in z
1.977 * [taylor]: Taking taylor expansion of y in z
1.977 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.977 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.977 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.977 * [taylor]: Taking taylor expansion of t in t
1.977 * [taylor]: Taking taylor expansion of (* z y) in t
1.977 * [taylor]: Taking taylor expansion of z in t
1.977 * [taylor]: Taking taylor expansion of y in t
1.978 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.978 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.978 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.978 * [taylor]: Taking taylor expansion of t in t
1.978 * [taylor]: Taking taylor expansion of (* z y) in t
1.978 * [taylor]: Taking taylor expansion of z in t
1.978 * [taylor]: Taking taylor expansion of y in t
1.978 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 (* z y)) in z
1.978 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.978 * [taylor]: Taking taylor expansion of (* z y) in z
1.978 * [taylor]: Taking taylor expansion of z in z
1.978 * [taylor]: Taking taylor expansion of y in z
1.978 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 y) in y
1.978 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.978 * [taylor]: Taking taylor expansion of y in y
1.978 * [taylor]: Taking taylor expansion of 0 in z
1.978 * [taylor]: Taking taylor expansion of 0 in y
1.978 * [taylor]: Taking taylor expansion of 0 in z
1.978 * [taylor]: Taking taylor expansion of 0 in y
1.979 * [taylor]: Taking taylor expansion of 0 in y
1.979 * [taylor]: Taking taylor expansion of 0 in z
1.979 * [taylor]: Taking taylor expansion of 0 in y
1.979 * [taylor]: Taking taylor expansion of 0 in y
1.979 * [taylor]: Taking taylor expansion of 0 in y
1.979 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.979 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.979 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.979 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.979 * [taylor]: Taking taylor expansion of (* z y) in y
1.979 * [taylor]: Taking taylor expansion of z in y
1.979 * [taylor]: Taking taylor expansion of y in y
1.979 * [taylor]: Taking taylor expansion of t in y
1.979 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.979 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.979 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.980 * [taylor]: Taking taylor expansion of (* z y) in z
1.980 * [taylor]: Taking taylor expansion of z in z
1.980 * [taylor]: Taking taylor expansion of y in z
1.980 * [taylor]: Taking taylor expansion of t in z
1.980 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.980 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.980 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.980 * [taylor]: Taking taylor expansion of (* z y) in t
1.980 * [taylor]: Taking taylor expansion of z in t
1.980 * [taylor]: Taking taylor expansion of y in t
1.980 * [taylor]: Taking taylor expansion of t in t
1.980 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.980 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.980 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.980 * [taylor]: Taking taylor expansion of (* z y) in t
1.980 * [taylor]: Taking taylor expansion of z in t
1.980 * [taylor]: Taking taylor expansion of y in t
1.980 * [taylor]: Taking taylor expansion of t in t
1.980 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (* z y)) in z
1.980 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.980 * [taylor]: Taking taylor expansion of (* z y) in z
1.980 * [taylor]: Taking taylor expansion of z in z
1.980 * [taylor]: Taking taylor expansion of y in z
1.980 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.980 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.980 * [taylor]: Taking taylor expansion of y in y
1.980 * [taylor]: Taking taylor expansion of 0 in z
1.980 * [taylor]: Taking taylor expansion of 0 in y
1.980 * [taylor]: Taking taylor expansion of 0 in y
1.981 * [taylor]: Taking taylor expansion of 0 in z
1.981 * [taylor]: Taking taylor expansion of 0 in y
1.981 * [taylor]: Taking taylor expansion of 0 in y
1.981 * [taylor]: Taking taylor expansion of 0 in y
1.981 * [approximate]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in (t z y) around 0
1.981 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in y
1.981 * [taylor]: Taking taylor expansion of -0.3333333333333333 in y
1.981 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.981 * [taylor]: Taking taylor expansion of (* z y) in y
1.981 * [taylor]: Taking taylor expansion of z in y
1.981 * [taylor]: Taking taylor expansion of y in y
1.981 * [taylor]: Taking taylor expansion of t in y
1.981 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in z
1.981 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.981 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.981 * [taylor]: Taking taylor expansion of (* z y) in z
1.981 * [taylor]: Taking taylor expansion of z in z
1.981 * [taylor]: Taking taylor expansion of y in z
1.981 * [taylor]: Taking taylor expansion of t in z
1.981 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.981 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.981 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.981 * [taylor]: Taking taylor expansion of (* z y) in t
1.981 * [taylor]: Taking taylor expansion of z in t
1.981 * [taylor]: Taking taylor expansion of y in t
1.981 * [taylor]: Taking taylor expansion of t in t
1.981 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (/ (* z y) t)) in t
1.981 * [taylor]: Taking taylor expansion of -0.3333333333333333 in t
1.981 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.981 * [taylor]: Taking taylor expansion of (* z y) in t
1.981 * [taylor]: Taking taylor expansion of z in t
1.982 * [taylor]: Taking taylor expansion of y in t
1.982 * [taylor]: Taking taylor expansion of t in t
1.982 * [taylor]: Taking taylor expansion of (* -0.3333333333333333 (* z y)) in z
1.982 * [taylor]: Taking taylor expansion of -0.3333333333333333 in z
1.982 * [taylor]: Taking taylor expansion of (* z y) in z
1.982 * [taylor]: Taking taylor expansion of z in z
1.982 * [taylor]: Taking taylor expansion of y in z
1.982 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 y)) in y
1.982 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 y) in y
1.982 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.982 * [taylor]: Taking taylor expansion of y in y
1.982 * [taylor]: Taking taylor expansion of 0 in z
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.982 * [taylor]: Taking taylor expansion of 0 in z
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.982 * [taylor]: Taking taylor expansion of 0 in y
1.983 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.983 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in (y z) around 0
1.983 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.983 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.983 * [taylor]: Taking taylor expansion of (/ y z) in z
1.983 * [taylor]: Taking taylor expansion of y in z
1.983 * [taylor]: Taking taylor expansion of z in z
1.983 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.983 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.983 * [taylor]: Taking taylor expansion of (/ y z) in y
1.983 * [taylor]: Taking taylor expansion of y in y
1.983 * [taylor]: Taking taylor expansion of z in y
1.983 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.983 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.983 * [taylor]: Taking taylor expansion of (/ y z) in y
1.983 * [taylor]: Taking taylor expansion of y in y
1.983 * [taylor]: Taking taylor expansion of z in y
1.983 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 z) in z
1.983 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.983 * [taylor]: Taking taylor expansion of z in z
1.983 * [taylor]: Taking taylor expansion of 0 in z
1.983 * [taylor]: Taking taylor expansion of 0 in z
1.984 * [taylor]: Taking taylor expansion of 0 in z
1.984 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.984 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.984 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.984 * [taylor]: Taking taylor expansion of (/ z y) in z
1.984 * [taylor]: Taking taylor expansion of z in z
1.984 * [taylor]: Taking taylor expansion of y in z
1.984 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.984 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.984 * [taylor]: Taking taylor expansion of (/ z y) in y
1.984 * [taylor]: Taking taylor expansion of z in y
1.984 * [taylor]: Taking taylor expansion of y in y
1.984 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.984 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.984 * [taylor]: Taking taylor expansion of (/ z y) in y
1.984 * [taylor]: Taking taylor expansion of z in y
1.984 * [taylor]: Taking taylor expansion of y in y
1.984 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.984 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.984 * [taylor]: Taking taylor expansion of z in z
1.984 * [taylor]: Taking taylor expansion of 0 in z
1.984 * [taylor]: Taking taylor expansion of 0 in z
1.985 * [taylor]: Taking taylor expansion of 0 in z
1.985 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in (y z) around 0
1.985 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.985 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.985 * [taylor]: Taking taylor expansion of (/ z y) in z
1.985 * [taylor]: Taking taylor expansion of z in z
1.985 * [taylor]: Taking taylor expansion of y in z
1.985 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.985 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.985 * [taylor]: Taking taylor expansion of (/ z y) in y
1.985 * [taylor]: Taking taylor expansion of z in y
1.985 * [taylor]: Taking taylor expansion of y in y
1.985 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.985 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.985 * [taylor]: Taking taylor expansion of (/ z y) in y
1.985 * [taylor]: Taking taylor expansion of z in y
1.985 * [taylor]: Taking taylor expansion of y in y
1.985 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.985 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.985 * [taylor]: Taking taylor expansion of z in z
1.985 * [taylor]: Taking taylor expansion of 0 in z
1.985 * [taylor]: Taking taylor expansion of 0 in z
1.985 * [taylor]: Taking taylor expansion of 0 in z
1.986 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
1.986 * [approximate]: Taking taylor expansion of (* 3.0 (* z y)) in (z y) around 0
1.986 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in y
1.986 * [taylor]: Taking taylor expansion of 3.0 in y
1.986 * [taylor]: Taking taylor expansion of (* z y) in y
1.986 * [taylor]: Taking taylor expansion of z in y
1.986 * [taylor]: Taking taylor expansion of y in y
1.986 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
1.986 * [taylor]: Taking taylor expansion of 3.0 in z
1.986 * [taylor]: Taking taylor expansion of (* z y) in z
1.986 * [taylor]: Taking taylor expansion of z in z
1.986 * [taylor]: Taking taylor expansion of y in z
1.986 * [taylor]: Taking taylor expansion of (* 3.0 (* z y)) in z
1.986 * [taylor]: Taking taylor expansion of 3.0 in z
1.986 * [taylor]: Taking taylor expansion of (* z y) in z
1.986 * [taylor]: Taking taylor expansion of z in z
1.986 * [taylor]: Taking taylor expansion of y in z
1.986 * [taylor]: Taking taylor expansion of 0 in y
1.986 * [taylor]: Taking taylor expansion of (* 3.0 y) in y
1.986 * [taylor]: Taking taylor expansion of 3.0 in y
1.986 * [taylor]: Taking taylor expansion of y in y
1.986 * [taylor]: Taking taylor expansion of 0 in y
1.987 * [taylor]: Taking taylor expansion of 0 in y
1.987 * [taylor]: Taking taylor expansion of 0 in y
1.987 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
1.987 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
1.987 * [taylor]: Taking taylor expansion of 3.0 in y
1.987 * [taylor]: Taking taylor expansion of (* z y) in y
1.987 * [taylor]: Taking taylor expansion of z in y
1.987 * [taylor]: Taking taylor expansion of y in y
1.987 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.987 * [taylor]: Taking taylor expansion of 3.0 in z
1.987 * [taylor]: Taking taylor expansion of (* z y) in z
1.987 * [taylor]: Taking taylor expansion of z in z
1.987 * [taylor]: Taking taylor expansion of y in z
1.987 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.987 * [taylor]: Taking taylor expansion of 3.0 in z
1.987 * [taylor]: Taking taylor expansion of (* z y) in z
1.987 * [taylor]: Taking taylor expansion of z in z
1.987 * [taylor]: Taking taylor expansion of y in z
1.987 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.987 * [taylor]: Taking taylor expansion of 3.0 in y
1.987 * [taylor]: Taking taylor expansion of y in y
1.987 * [taylor]: Taking taylor expansion of 0 in y
1.988 * [taylor]: Taking taylor expansion of 0 in y
1.988 * [taylor]: Taking taylor expansion of 0 in y
1.988 * [approximate]: Taking taylor expansion of (/ 3.0 (* z y)) in (z y) around 0
1.988 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in y
1.988 * [taylor]: Taking taylor expansion of 3.0 in y
1.988 * [taylor]: Taking taylor expansion of (* z y) in y
1.988 * [taylor]: Taking taylor expansion of z in y
1.988 * [taylor]: Taking taylor expansion of y in y
1.988 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.988 * [taylor]: Taking taylor expansion of 3.0 in z
1.988 * [taylor]: Taking taylor expansion of (* z y) in z
1.988 * [taylor]: Taking taylor expansion of z in z
1.988 * [taylor]: Taking taylor expansion of y in z
1.988 * [taylor]: Taking taylor expansion of (/ 3.0 (* z y)) in z
1.988 * [taylor]: Taking taylor expansion of 3.0 in z
1.988 * [taylor]: Taking taylor expansion of (* z y) in z
1.988 * [taylor]: Taking taylor expansion of z in z
1.988 * [taylor]: Taking taylor expansion of y in z
1.988 * [taylor]: Taking taylor expansion of (/ 3.0 y) in y
1.988 * [taylor]: Taking taylor expansion of 3.0 in y
1.988 * [taylor]: Taking taylor expansion of y in y
1.989 * [taylor]: Taking taylor expansion of 0 in y
1.989 * [taylor]: Taking taylor expansion of 0 in y
1.989 * [taylor]: Taking taylor expansion of 0 in y
1.989 * * * * [progress]: [ 4 / 4 ] generating series at (2)
1.989 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in (x y z t) around 0
1.989 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in t
1.989 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in t
1.989 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in t
1.989 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.989 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.989 * [taylor]: Taking taylor expansion of t in t
1.989 * [taylor]: Taking taylor expansion of (* z y) in t
1.989 * [taylor]: Taking taylor expansion of z in t
1.989 * [taylor]: Taking taylor expansion of y in t
1.990 * [taylor]: Taking taylor expansion of x in t
1.990 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in t
1.990 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.990 * [taylor]: Taking taylor expansion of (/ y z) in t
1.990 * [taylor]: Taking taylor expansion of y in t
1.990 * [taylor]: Taking taylor expansion of z in t
1.990 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in z
1.990 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in z
1.990 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in z
1.990 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.990 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.990 * [taylor]: Taking taylor expansion of t in z
1.990 * [taylor]: Taking taylor expansion of (* z y) in z
1.990 * [taylor]: Taking taylor expansion of z in z
1.990 * [taylor]: Taking taylor expansion of y in z
1.990 * [taylor]: Taking taylor expansion of x in z
1.990 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in z
1.990 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.990 * [taylor]: Taking taylor expansion of (/ y z) in z
1.990 * [taylor]: Taking taylor expansion of y in z
1.990 * [taylor]: Taking taylor expansion of z in z
1.990 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in y
1.990 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in y
1.990 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.990 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.990 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.990 * [taylor]: Taking taylor expansion of t in y
1.990 * [taylor]: Taking taylor expansion of (* z y) in y
1.990 * [taylor]: Taking taylor expansion of z in y
1.990 * [taylor]: Taking taylor expansion of y in y
1.990 * [taylor]: Taking taylor expansion of x in y
1.990 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.990 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.990 * [taylor]: Taking taylor expansion of (/ y z) in y
1.990 * [taylor]: Taking taylor expansion of y in y
1.990 * [taylor]: Taking taylor expansion of z in y
1.990 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in x
1.990 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in x
1.990 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in x
1.990 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.990 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.990 * [taylor]: Taking taylor expansion of t in x
1.990 * [taylor]: Taking taylor expansion of (* z y) in x
1.990 * [taylor]: Taking taylor expansion of z in x
1.990 * [taylor]: Taking taylor expansion of y in x
1.990 * [taylor]: Taking taylor expansion of x in x
1.990 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.990 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.991 * [taylor]: Taking taylor expansion of (/ y z) in x
1.991 * [taylor]: Taking taylor expansion of y in x
1.991 * [taylor]: Taking taylor expansion of z in x
1.991 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z))) in x
1.991 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ t (* z y))) x) in x
1.991 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in x
1.991 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.991 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.991 * [taylor]: Taking taylor expansion of t in x
1.991 * [taylor]: Taking taylor expansion of (* z y) in x
1.991 * [taylor]: Taking taylor expansion of z in x
1.991 * [taylor]: Taking taylor expansion of y in x
1.991 * [taylor]: Taking taylor expansion of x in x
1.991 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in x
1.991 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.991 * [taylor]: Taking taylor expansion of (/ y z) in x
1.991 * [taylor]: Taking taylor expansion of y in x
1.991 * [taylor]: Taking taylor expansion of z in x
1.991 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ t (* z y))) (* 0.3333333333333333 (/ y z))) in y
1.991 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t (* z y))) in y
1.991 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.991 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.991 * [taylor]: Taking taylor expansion of t in y
1.991 * [taylor]: Taking taylor expansion of (* z y) in y
1.991 * [taylor]: Taking taylor expansion of z in y
1.991 * [taylor]: Taking taylor expansion of y in y
1.991 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ y z)) in y
1.991 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.991 * [taylor]: Taking taylor expansion of (/ y z) in y
1.991 * [taylor]: Taking taylor expansion of y in y
1.991 * [taylor]: Taking taylor expansion of z in y
1.991 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ t z)) in z
1.992 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.992 * [taylor]: Taking taylor expansion of (/ t z) in z
1.992 * [taylor]: Taking taylor expansion of t in z
1.992 * [taylor]: Taking taylor expansion of z in z
1.992 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 t) in t
1.992 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.992 * [taylor]: Taking taylor expansion of t in t
1.992 * [taylor]: Taking taylor expansion of 1 in y
1.992 * [taylor]: Taking taylor expansion of 0 in z
1.992 * [taylor]: Taking taylor expansion of 0 in t
1.992 * [taylor]: Taking taylor expansion of 0 in y
1.992 * [taylor]: Taking taylor expansion of 1 in z
1.993 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 z))) in z
1.993 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 z)) in z
1.993 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.993 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.993 * [taylor]: Taking taylor expansion of z in z
1.993 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
1.993 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.993 * [taylor]: Taking taylor expansion of 0 in t
1.993 * [taylor]: Taking taylor expansion of 0 in t
1.993 * [taylor]: Taking taylor expansion of 0 in y
1.994 * [taylor]: Taking taylor expansion of 0 in z
1.994 * [taylor]: Taking taylor expansion of 0 in z
1.994 * [taylor]: Taking taylor expansion of 0 in z
1.994 * [taylor]: Taking taylor expansion of 1 in t
1.994 * [approximate]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in (x y z t) around 0
1.994 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in t
1.994 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in t
1.994 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
1.994 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.994 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.994 * [taylor]: Taking taylor expansion of (* z y) in t
1.994 * [taylor]: Taking taylor expansion of z in t
1.994 * [taylor]: Taking taylor expansion of y in t
1.994 * [taylor]: Taking taylor expansion of t in t
1.994 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.995 * [taylor]: Taking taylor expansion of x in t
1.995 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in t
1.995 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.995 * [taylor]: Taking taylor expansion of (/ z y) in t
1.995 * [taylor]: Taking taylor expansion of z in t
1.995 * [taylor]: Taking taylor expansion of y in t
1.995 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in z
1.995 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in z
1.995 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
1.995 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.995 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.995 * [taylor]: Taking taylor expansion of (* z y) in z
1.995 * [taylor]: Taking taylor expansion of z in z
1.995 * [taylor]: Taking taylor expansion of y in z
1.995 * [taylor]: Taking taylor expansion of t in z
1.995 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.995 * [taylor]: Taking taylor expansion of x in z
1.995 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
1.995 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.995 * [taylor]: Taking taylor expansion of (/ z y) in z
1.995 * [taylor]: Taking taylor expansion of z in z
1.995 * [taylor]: Taking taylor expansion of y in z
1.995 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in y
1.995 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in y
1.995 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.995 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.995 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.995 * [taylor]: Taking taylor expansion of (* z y) in y
1.995 * [taylor]: Taking taylor expansion of z in y
1.995 * [taylor]: Taking taylor expansion of y in y
1.995 * [taylor]: Taking taylor expansion of t in y
1.995 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.995 * [taylor]: Taking taylor expansion of x in y
1.995 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.995 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.995 * [taylor]: Taking taylor expansion of (/ z y) in y
1.995 * [taylor]: Taking taylor expansion of z in y
1.995 * [taylor]: Taking taylor expansion of y in y
1.995 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in x
1.995 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in x
1.995 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.995 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.995 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.995 * [taylor]: Taking taylor expansion of (* z y) in x
1.995 * [taylor]: Taking taylor expansion of z in x
1.995 * [taylor]: Taking taylor expansion of y in x
1.995 * [taylor]: Taking taylor expansion of t in x
1.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.996 * [taylor]: Taking taylor expansion of x in x
1.996 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.996 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.996 * [taylor]: Taking taylor expansion of (/ z y) in x
1.996 * [taylor]: Taking taylor expansion of z in x
1.996 * [taylor]: Taking taylor expansion of y in x
1.996 * [taylor]: Taking taylor expansion of (- (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) (* 0.3333333333333333 (/ z y))) in x
1.996 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (/ 1 x)) in x
1.996 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
1.996 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.996 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.996 * [taylor]: Taking taylor expansion of (* z y) in x
1.996 * [taylor]: Taking taylor expansion of z in x
1.996 * [taylor]: Taking taylor expansion of y in x
1.996 * [taylor]: Taking taylor expansion of t in x
1.996 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.996 * [taylor]: Taking taylor expansion of x in x
1.996 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
1.996 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
1.996 * [taylor]: Taking taylor expansion of (/ z y) in x
1.996 * [taylor]: Taking taylor expansion of z in x
1.996 * [taylor]: Taking taylor expansion of y in x
1.996 * [taylor]: Taking taylor expansion of 1 in y
1.996 * [taylor]: Taking taylor expansion of (- (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y))) in y
1.996 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
1.996 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.996 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.996 * [taylor]: Taking taylor expansion of (* z y) in y
1.996 * [taylor]: Taking taylor expansion of z in y
1.996 * [taylor]: Taking taylor expansion of y in y
1.996 * [taylor]: Taking taylor expansion of t in y
1.997 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
1.997 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
1.997 * [taylor]: Taking taylor expansion of (/ z y) in y
1.997 * [taylor]: Taking taylor expansion of z in y
1.997 * [taylor]: Taking taylor expansion of y in y
1.997 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
1.997 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
1.997 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.997 * [taylor]: Taking taylor expansion of z in z
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.997 * [taylor]: Taking taylor expansion of 1 in z
1.997 * [taylor]: Taking taylor expansion of 1 in t
1.997 * [taylor]: Taking taylor expansion of 0 in y
1.997 * [taylor]: Taking taylor expansion of 0 in z
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.997 * [taylor]: Taking taylor expansion of 0 in z
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.997 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
1.997 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.997 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in y
1.998 * [taylor]: Taking taylor expansion of 0 in z
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
1.998 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
1.998 * [taylor]: Taking taylor expansion of (/ z t) in z
1.998 * [taylor]: Taking taylor expansion of z in z
1.998 * [taylor]: Taking taylor expansion of t in z
1.998 * [taylor]: Taking taylor expansion of 0 in z
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.998 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in y
1.999 * [taylor]: Taking taylor expansion of 0 in z
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in z
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in z
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in z
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of 0 in t
1.999 * [taylor]: Taking taylor expansion of (/ 0.3333333333333333 t) in t
1.999 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
1.999 * [taylor]: Taking taylor expansion of t in t
2.000 * [approximate]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in (x y z t) around 0
2.000 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in t
2.000 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in t
2.000 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in t
2.000 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.000 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
2.000 * [taylor]: Taking taylor expansion of (* z y) in t
2.000 * [taylor]: Taking taylor expansion of z in t
2.000 * [taylor]: Taking taylor expansion of y in t
2.000 * [taylor]: Taking taylor expansion of t in t
2.000 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in t
2.000 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in t
2.000 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.000 * [taylor]: Taking taylor expansion of (/ z y) in t
2.000 * [taylor]: Taking taylor expansion of z in t
2.000 * [taylor]: Taking taylor expansion of y in t
2.000 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.000 * [taylor]: Taking taylor expansion of x in t
2.000 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in z
2.000 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in z
2.000 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in z
2.000 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.000 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
2.000 * [taylor]: Taking taylor expansion of (* z y) in z
2.000 * [taylor]: Taking taylor expansion of z in z
2.000 * [taylor]: Taking taylor expansion of y in z
2.000 * [taylor]: Taking taylor expansion of t in z
2.000 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in z
2.000 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in z
2.000 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.000 * [taylor]: Taking taylor expansion of (/ z y) in z
2.000 * [taylor]: Taking taylor expansion of z in z
2.000 * [taylor]: Taking taylor expansion of y in z
2.000 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.000 * [taylor]: Taking taylor expansion of x in z
2.000 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in y
2.001 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in y
2.001 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
2.001 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.001 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
2.001 * [taylor]: Taking taylor expansion of (* z y) in y
2.001 * [taylor]: Taking taylor expansion of z in y
2.001 * [taylor]: Taking taylor expansion of y in y
2.001 * [taylor]: Taking taylor expansion of t in y
2.001 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in y
2.001 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
2.001 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.001 * [taylor]: Taking taylor expansion of (/ z y) in y
2.001 * [taylor]: Taking taylor expansion of z in y
2.001 * [taylor]: Taking taylor expansion of y in y
2.001 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.001 * [taylor]: Taking taylor expansion of x in y
2.001 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in x
2.001 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
2.001 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
2.001 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.001 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
2.001 * [taylor]: Taking taylor expansion of (* z y) in x
2.001 * [taylor]: Taking taylor expansion of z in x
2.001 * [taylor]: Taking taylor expansion of y in x
2.001 * [taylor]: Taking taylor expansion of t in x
2.001 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
2.001 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
2.001 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.001 * [taylor]: Taking taylor expansion of (/ z y) in x
2.001 * [taylor]: Taking taylor expansion of z in x
2.001 * [taylor]: Taking taylor expansion of y in x
2.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.001 * [taylor]: Taking taylor expansion of x in x
2.001 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)))) in x
2.001 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (+ (* 0.3333333333333333 (/ z y)) (/ 1 x))) in x
2.001 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in x
2.001 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.001 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
2.001 * [taylor]: Taking taylor expansion of (* z y) in x
2.001 * [taylor]: Taking taylor expansion of z in x
2.001 * [taylor]: Taking taylor expansion of y in x
2.001 * [taylor]: Taking taylor expansion of t in x
2.001 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ z y)) (/ 1 x)) in x
2.001 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in x
2.001 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x
2.001 * [taylor]: Taking taylor expansion of (/ z y) in x
2.001 * [taylor]: Taking taylor expansion of z in x
2.001 * [taylor]: Taking taylor expansion of y in x
2.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.002 * [taylor]: Taking taylor expansion of x in x
2.002 * [taylor]: Taking taylor expansion of (neg 1) in y
2.002 * [taylor]: Taking taylor expansion of 1 in y
2.002 * [taylor]: Taking taylor expansion of (neg (+ (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y)))) in y
2.002 * [taylor]: Taking taylor expansion of (+ (* 0.3333333333333333 (/ (* z y) t)) (* 0.3333333333333333 (/ z y))) in y
2.002 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ (* z y) t)) in y
2.002 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.002 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
2.002 * [taylor]: Taking taylor expansion of (* z y) in y
2.002 * [taylor]: Taking taylor expansion of z in y
2.002 * [taylor]: Taking taylor expansion of y in y
2.002 * [taylor]: Taking taylor expansion of t in y
2.002 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z y)) in y
2.002 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y
2.002 * [taylor]: Taking taylor expansion of (/ z y) in y
2.002 * [taylor]: Taking taylor expansion of z in y
2.002 * [taylor]: Taking taylor expansion of y in y
2.002 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 z)) in z
2.002 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 z) in z
2.002 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.002 * [taylor]: Taking taylor expansion of z in z
2.002 * [taylor]: Taking taylor expansion of 0 in t
2.002 * [taylor]: Taking taylor expansion of (neg 1) in z
2.002 * [taylor]: Taking taylor expansion of 1 in z
2.003 * [taylor]: Taking taylor expansion of (neg 1) in t
2.003 * [taylor]: Taking taylor expansion of 1 in t
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in z
2.003 * [taylor]: Taking taylor expansion of 0 in t
2.003 * [taylor]: Taking taylor expansion of 0 in z
2.003 * [taylor]: Taking taylor expansion of 0 in t
2.003 * [taylor]: Taking taylor expansion of (neg 0.3333333333333333) in t
2.003 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.003 * [taylor]: Taking taylor expansion of 0 in t
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.003 * [taylor]: Taking taylor expansion of 0 in z
2.003 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ z t))) in z
2.004 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ z t)) in z
2.004 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z
2.004 * [taylor]: Taking taylor expansion of (/ z t) in z
2.004 * [taylor]: Taking taylor expansion of z in z
2.004 * [taylor]: Taking taylor expansion of t in z
2.004 * [taylor]: Taking taylor expansion of 0 in z
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [taylor]: Taking taylor expansion of 0 in y
2.005 * [taylor]: Taking taylor expansion of 0 in z
2.005 * [taylor]: Taking taylor expansion of 0 in t
2.005 * [taylor]: Taking taylor expansion of 0 in z
2.005 * [taylor]: Taking taylor expansion of 0 in t
2.005 * [taylor]: Taking taylor expansion of 0 in z
2.005 * [taylor]: Taking taylor expansion of 0 in t
2.005 * [taylor]: Taking taylor expansion of 0 in z
2.005 * [taylor]: Taking taylor expansion of 0 in t
2.005 * [taylor]: Taking taylor expansion of 0 in t
2.005 * [taylor]: Taking taylor expansion of (neg (* 0.3333333333333333 (/ 1 t))) in t
2.005 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (/ 1 t)) in t
2.005 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t
2.005 * [taylor]: Taking taylor expansion of (/ 1 t) in t
2.005 * [taylor]: Taking taylor expansion of t in t
2.005 * * * [progress]: simplifying candidates
2.007 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log t) (+ (+ (log z) (log 3.0)) (log y)))
  (- (log t) (+ (log (* z 3.0)) (log y)))
  (- (log t) (log (* (* z 3.0) y)))
  (log (/ t (* (* z 3.0) y)))
  (exp (/ t (* (* z 3.0) y)))
  (/ (* (* t t) t) (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y)))
  (/ (* (* t t) t) (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y)))
  (* (cbrt (/ t (* (* z 3.0) y))) (cbrt (/ t (* (* z 3.0) y))))
  (cbrt (/ t (* (* z 3.0) y)))
  (* (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))) (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (sqrt (/ t (* (* z 3.0) y)))
  (neg t)
  (neg (* (* z 3.0) y))
  (/ (* (cbrt t) (cbrt t)) (* z 3.0))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* (* z 3.0) y))
  (/ (* (* z 3.0) y) t)
  (/ t (* z 3.0))
  (/ (* (* z 3.0) y) (cbrt t))
  (/ (* (* z 3.0) y) (sqrt t))
  (/ (* (* z 3.0) y) t)
  (- (- (log y) (log z)) (log 3.0))
  (- (log (/ y z)) (log 3.0))
  (log (/ (/ y z) 3.0))
  (exp (/ (/ y z) 3.0))
  (/ (/ (* (* y y) y) (* (* z z) z)) (* (* 3.0 3.0) 3.0))
  (/ (* (* (/ y z) (/ y z)) (/ y z)) (* (* 3.0 3.0) 3.0))
  (* (cbrt (/ (/ y z) 3.0)) (cbrt (/ (/ y z) 3.0)))
  (cbrt (/ (/ y z) 3.0))
  (* (* (/ (/ y z) 3.0) (/ (/ y z) 3.0)) (/ (/ y z) 3.0))
  (sqrt (/ (/ y z) 3.0))
  (sqrt (/ (/ y z) 3.0))
  (neg (/ y z))
  (neg 3.0)
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (cbrt (/ y z)) (cbrt 3.0))
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) (sqrt 3.0))
  (/ (cbrt (/ y z)) (sqrt 3.0))
  (/ (* (cbrt (/ y z)) (cbrt (/ y z))) 1)
  (/ (cbrt (/ y z)) 3.0)
  (/ (sqrt (/ y z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (/ y z)) (cbrt 3.0))
  (/ (sqrt (/ y z)) (sqrt 3.0))
  (/ (sqrt (/ y z)) (sqrt 3.0))
  (/ (sqrt (/ y z)) 1)
  (/ (sqrt (/ y z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (cbrt y) (cbrt z)) (cbrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ (cbrt y) (cbrt z)) (sqrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (cbrt y) (cbrt z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (cbrt y) (sqrt z)) (cbrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) (sqrt 3.0))
  (/ (/ (cbrt y) (sqrt z)) (sqrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) (sqrt z)) 1)
  (/ (/ (cbrt y) (sqrt z)) 3.0)
  (/ (/ (* (cbrt y) (cbrt y)) 1) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (cbrt y) z) (cbrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) 1) (sqrt 3.0))
  (/ (/ (cbrt y) z) (sqrt 3.0))
  (/ (/ (* (cbrt y) (cbrt y)) 1) 1)
  (/ (/ (cbrt y) z) 3.0)
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt y) (cbrt z)) (cbrt 3.0))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ (sqrt y) (cbrt z)) (sqrt 3.0))
  (/ (/ (sqrt y) (* (cbrt z) (cbrt z))) 1)
  (/ (/ (sqrt y) (cbrt z)) 3.0)
  (/ (/ (sqrt y) (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt y) (sqrt z)) (cbrt 3.0))
  (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0))
  (/ (/ (sqrt y) (sqrt z)) (sqrt 3.0))
  (/ (/ (sqrt y) (sqrt z)) 1)
  (/ (/ (sqrt y) (sqrt z)) 3.0)
  (/ (/ (sqrt y) 1) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ (sqrt y) z) (cbrt 3.0))
  (/ (/ (sqrt y) 1) (sqrt 3.0))
  (/ (/ (sqrt y) z) (sqrt 3.0))
  (/ (/ (sqrt y) 1) 1)
  (/ (/ (sqrt y) z) 3.0)
  (/ (/ 1 (* (cbrt z) (cbrt z))) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y (cbrt z)) (cbrt 3.0))
  (/ (/ 1 (* (cbrt z) (cbrt z))) (sqrt 3.0))
  (/ (/ y (cbrt z)) (sqrt 3.0))
  (/ (/ 1 (* (cbrt z) (cbrt z))) 1)
  (/ (/ y (cbrt z)) 3.0)
  (/ (/ 1 (sqrt z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y (sqrt z)) (cbrt 3.0))
  (/ (/ 1 (sqrt z)) (sqrt 3.0))
  (/ (/ y (sqrt z)) (sqrt 3.0))
  (/ (/ 1 (sqrt z)) 1)
  (/ (/ y (sqrt z)) 3.0)
  (/ (/ 1 1) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (cbrt 3.0))
  (/ (/ 1 1) (sqrt 3.0))
  (/ (/ y z) (sqrt 3.0))
  (/ (/ 1 1) 1)
  (/ (/ y z) 3.0)
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (cbrt 3.0))
  (/ 1 (sqrt 3.0))
  (/ (/ y z) (sqrt 3.0))
  (/ 1 1)
  (/ (/ y z) 3.0)
  (/ y (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ 1 z) (cbrt 3.0))
  (/ y (sqrt 3.0))
  (/ (/ 1 z) (sqrt 3.0))
  (/ y 1)
  (/ (/ 1 z) 3.0)
  (/ 1 3.0)
  (/ 3.0 (/ y z))
  (/ (/ y z) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (/ y z) (sqrt 3.0))
  (/ (/ y z) 1)
  (/ 3.0 (cbrt (/ y z)))
  (/ 3.0 (sqrt (/ y z)))
  (/ 3.0 (/ (cbrt y) (cbrt z)))
  (/ 3.0 (/ (cbrt y) (sqrt z)))
  (/ 3.0 (/ (cbrt y) z))
  (/ 3.0 (/ (sqrt y) (cbrt z)))
  (/ 3.0 (/ (sqrt y) (sqrt z)))
  (/ 3.0 (/ (sqrt y) z))
  (/ 3.0 (/ y (cbrt z)))
  (/ 3.0 (/ y (sqrt z)))
  (/ 3.0 (/ y z))
  (/ 3.0 (/ y z))
  (/ 3.0 (/ 1 z))
  (* 3.0 z)
  (* (* z 3.0) y)
  (* (* z 3.0) y)
  (+ (+ (log z) (log 3.0)) (log y))
  (+ (log (* z 3.0)) (log y))
  (log (* (* z 3.0) y))
  (exp (* (* z 3.0) y))
  (* (* (* (* z z) z) (* (* 3.0 3.0) 3.0)) (* (* y y) y))
  (* (* (* (* z 3.0) (* z 3.0)) (* z 3.0)) (* (* y y) y))
  (* (cbrt (* (* z 3.0) y)) (cbrt (* (* z 3.0) y)))
  (cbrt (* (* z 3.0) y))
  (* (* (* (* z 3.0) y) (* (* z 3.0) y)) (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (sqrt (* (* z 3.0) y))
  (* (* z 3.0) (* (cbrt y) (cbrt y)))
  (* (* z 3.0) (sqrt y))
  (* (* z 3.0) 1)
  (* 3.0 y)
  (* (/ (exp x) (exp (/ (/ y z) 3.0))) (exp (/ t (* (* z 3.0) y))))
  (* (exp (- x (/ (/ y z) 3.0))) (exp (/ t (* (* z 3.0) y))))
  (log (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))
  (exp (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))
  (* (cbrt (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y)))) (cbrt (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y)))))
  (cbrt (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))
  (* (* (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y)))) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))
  (sqrt (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))
  (sqrt (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))
  (+ (* (- (pow x 3) (pow (/ (/ y z) 3.0) 3)) (* (* z 3.0) y)) (* (+ (* x x) (+ (* (/ (/ y z) 3.0) (/ (/ y z) 3.0)) (* x (/ (/ y z) 3.0)))) t))
  (* (+ (* x x) (+ (* (/ (/ y z) 3.0) (/ (/ y z) 3.0)) (* x (/ (/ y z) 3.0)))) (* (* z 3.0) y))
  (+ (* (- (* x x) (* (/ (/ y z) 3.0) (/ (/ y z) 3.0))) (* (* z 3.0) y)) (* (+ x (/ (/ y z) 3.0)) t))
  (* (+ x (/ (/ y z) 3.0)) (* (* z 3.0) y))
  (+ (pow (- x (/ (/ y z) 3.0)) 3) (pow (/ t (* (* z 3.0) y)) 3))
  (+ (* (- x (/ (/ y z) 3.0)) (- x (/ (/ y z) 3.0))) (- (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))) (* (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y)))))
  (- (* (- x (/ (/ y z) 3.0)) (- x (/ (/ y z) 3.0))) (* (/ t (* (* z 3.0) y)) (/ t (* (* z 3.0) y))))
  (- (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y)))
  (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y)))
  (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y)))
  (+ (neg (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y)))
  (- (/ (/ y z) 3.0) (/ t (* (* z 3.0) y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 0.3333333333333333 (/ y z))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (* 3.0 (* z y))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
  (- (+ (* 0.3333333333333333 (/ t (* z y))) x) (* 0.3333333333333333 (/ y z)))
2.049 * * [simplify]: iteration  0 :  4986  enodes  (cost  1593 )
2.049 * * [simplify]: iteration  1 :  4986  enodes  (cost  1593 )
2.055 * [simplify]: Simplified to:
   (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (log (/ t (* z (* 3.0 y))))
  (exp (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (pow (/ t (* z (* 3.0 y))) 3)
  (* (cbrt (/ t (* z (* 3.0 y)))) (cbrt (/ t (* z (* 3.0 y)))))
  (cbrt (/ t (* z (* 3.0 y))))
  (pow (/ t (* z (* 3.0 y))) 3)
  (sqrt (/ t (* z (* 3.0 y))))
  (sqrt (/ t (* z (* 3.0 y))))
  (neg t)
  (* z (* 3.0 (neg y)))
  (* (cbrt t) (/ (cbrt t) (* z 3.0)))
  (/ (cbrt t) y)
  (/ (sqrt t) (* z 3.0))
  (/ (sqrt t) y)
  (/ 1 (* z 3.0))
  (/ t y)
  (/ 1 (* z (* 3.0 y)))
  (* z (/ 3.0 (/ t y)))
  (/ t (* z 3.0))
  (* z (/ 3.0 (/ (cbrt t) y)))
  (* z (/ 3.0 (/ (sqrt t) y)))
  (* z (/ 3.0 (/ t y)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (log (/ y (* z 3.0)))
  (exp (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (pow (/ y (* z 3.0)) 3)
  (* (cbrt (/ y (* z 3.0))) (cbrt (/ y (* z 3.0))))
  (cbrt (/ y (* z 3.0)))
  (pow (/ y (* z 3.0)) 3)
  (sqrt (/ y (* z 3.0)))
  (sqrt (/ y (* z 3.0)))
  (/ (neg y) z)
  (neg 3.0)
  (* (cbrt (/ y z)) (/ (cbrt (/ y z)) (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt (/ y z)) (cbrt 3.0))
  (* (cbrt (/ y z)) (/ (cbrt (/ y z)) (sqrt 3.0)))
  (/ (cbrt (/ y z)) (sqrt 3.0))
  (* (cbrt (/ y z)) (cbrt (/ y z)))
  (/ (cbrt (/ y z)) 3.0)
  (/ (sqrt (/ y z)) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt (/ y z)) (cbrt 3.0))
  (/ (sqrt (/ y z)) (sqrt 3.0))
  (/ (sqrt (/ y z)) (sqrt 3.0))
  (sqrt (/ y z))
  (/ (sqrt (/ y z)) 3.0)
  (* (/ (cbrt y) (cbrt z)) (/ (/ (cbrt y) (cbrt z)) (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt y) (* (cbrt 3.0) (cbrt z)))
  (* (/ (cbrt y) (cbrt z)) (/ (cbrt y) (* (sqrt 3.0) (cbrt z))))
  (/ (cbrt y) (* (sqrt 3.0) (cbrt z)))
  (* (cbrt y) (/ (cbrt y) (* (cbrt z) (cbrt z))))
  (/ (cbrt y) (* 3.0 (cbrt z)))
  (* (/ (cbrt y) (* (cbrt 3.0) (cbrt 3.0))) (/ (cbrt y) (sqrt z)))
  (/ (cbrt y) (* (cbrt 3.0) (sqrt z)))
  (* (/ (cbrt y) (sqrt 3.0)) (/ (cbrt y) (sqrt z)))
  (/ (cbrt y) (* (sqrt 3.0) (sqrt z)))
  (* (cbrt y) (/ (cbrt y) (sqrt z)))
  (/ (cbrt y) (* 3.0 (sqrt z)))
  (* (cbrt y) (/ (cbrt y) (* (cbrt 3.0) (cbrt 3.0))))
  (/ (cbrt y) (* z (cbrt 3.0)))
  (* (cbrt y) (/ (cbrt y) (sqrt 3.0)))
  (/ (cbrt y) (* z (sqrt 3.0)))
  (* (cbrt y) (cbrt y))
  (/ (cbrt y) (* z 3.0))
  (/ (sqrt y) (* (cbrt 3.0) (* (cbrt 3.0) (* (cbrt z) (cbrt z)))))
  (/ (sqrt y) (* (cbrt 3.0) (cbrt z)))
  (/ (sqrt y) (* (sqrt 3.0) (* (cbrt z) (cbrt z))))
  (/ (sqrt y) (* (sqrt 3.0) (cbrt z)))
  (/ (sqrt y) (* (cbrt z) (cbrt z)))
  (/ (sqrt y) (* 3.0 (cbrt z)))
  (/ (sqrt y) (* (cbrt 3.0) (* (cbrt 3.0) (sqrt z))))
  (/ (sqrt y) (* (cbrt 3.0) (sqrt z)))
  (/ (sqrt y) (* (sqrt 3.0) (sqrt z)))
  (/ (sqrt y) (* (sqrt 3.0) (sqrt z)))
  (/ (sqrt y) (sqrt z))
  (/ (sqrt y) (* 3.0 (sqrt z)))
  (/ (sqrt y) (* (cbrt 3.0) (cbrt 3.0)))
  (/ (sqrt y) (* z (cbrt 3.0)))
  (/ (sqrt y) (sqrt 3.0))
  (/ (sqrt y) (* z (sqrt 3.0)))
  (sqrt y)
  (/ (sqrt y) (* z 3.0))
  (/ 1 (* (cbrt 3.0) (* (cbrt 3.0) (* (cbrt z) (cbrt z)))))
  (/ y (* (cbrt 3.0) (cbrt z)))
  (/ 1 (* (sqrt 3.0) (* (cbrt z) (cbrt z))))
  (/ y (* (sqrt 3.0) (cbrt z)))
  (/ 1 (* (cbrt z) (cbrt z)))
  (/ y (* 3.0 (cbrt z)))
  (/ 1 (* (cbrt 3.0) (* (cbrt 3.0) (sqrt z))))
  (/ y (* (cbrt 3.0) (sqrt z)))
  (/ 1 (* (sqrt 3.0) (sqrt z)))
  (/ y (* (sqrt 3.0) (sqrt z)))
  (/ 1 (sqrt z))
  (/ y (* 3.0 (sqrt z)))
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ y (* z (cbrt 3.0)))
  (/ 1 (sqrt 3.0))
  (/ y (* z (sqrt 3.0)))
  1
  (/ y (* z 3.0))
  (/ 1 (* (cbrt 3.0) (cbrt 3.0)))
  (/ y (* z (cbrt 3.0)))
  (/ 1 (sqrt 3.0))
  (/ y (* z (sqrt 3.0)))
  1
  (/ y (* z 3.0))
  (/ y (* (cbrt 3.0) (cbrt 3.0)))
  (/ 1 (* z (cbrt 3.0)))
  (/ y (sqrt 3.0))
  (/ 1 (* z (sqrt 3.0)))
  y
  (/ 1 (* z 3.0))
  (/ 1 3.0)
  (* z (/ 3.0 y))
  (/ y (* z (* (cbrt 3.0) (cbrt 3.0))))
  (/ y (* z (sqrt 3.0)))
  (/ y z)
  (/ 3.0 (cbrt (/ y z)))
  (/ 3.0 (sqrt (/ y z)))
  (* (cbrt z) (/ 3.0 (cbrt y)))
  (* (sqrt z) (/ 3.0 (cbrt y)))
  (* z (/ 3.0 (cbrt y)))
  (* (cbrt z) (/ 3.0 (sqrt y)))
  (* (sqrt z) (/ 3.0 (sqrt y)))
  (* z (/ 3.0 (sqrt y)))
  (* (cbrt z) (/ 3.0 y))
  (* (sqrt z) (/ 3.0 y))
  (* z (/ 3.0 y))
  (* z (/ 3.0 y))
  (* z 3.0)
  (* z 3.0)
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (log (* z (* 3.0 y)))
  (log (* z (* 3.0 y)))
  (log (* z (* 3.0 y)))
  (pow (pow (exp z) 3.0) y)
  (pow (* z (* 3.0 y)) 3)
  (pow (* z (* 3.0 y)) 3)
  (* (cbrt (* z (* 3.0 y))) (cbrt (* z (* 3.0 y))))
  (cbrt (* z (* 3.0 y)))
  (pow (* z (* 3.0 y)) 3)
  (sqrt (* z (* 3.0 y)))
  (sqrt (* z (* 3.0 y)))
  (* z (* 3.0 (* (cbrt y) (cbrt y))))
  (* z (* 3.0 (sqrt y)))
  (* z 3.0)
  (* 3.0 y)
  (exp (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (exp (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (log (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (exp (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (* (cbrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0))))) (cbrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0))))))
  (cbrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (pow (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))) 3)
  (sqrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (sqrt (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0)))))
  (+ (* z (* (* 3.0 y) (- (pow x 3) (pow (/ y (* z 3.0)) 3)))) (* t (+ (* x x) (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x)))))
  (* z (* (* 3.0 y) (+ (* x x) (* (/ y (* z 3.0)) (+ (/ y (* z 3.0)) x)))))
  (+ (* z (* (* 3.0 y) (- (* x x) (* (/ y z) (/ (/ y z) (* 3.0 3.0)))))) (* t (+ (/ y (* z 3.0)) x)))
  (* z (* (* 3.0 y) (+ (/ y (* z 3.0)) x)))
  (+ (pow (/ t (* z (* 3.0 y))) 3) (pow (- x (/ y (* z 3.0))) 3))
  (+ (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (* (/ t (* z (* 3.0 y))) (+ (- (/ t (* z (* 3.0 y))) x) (/ y (* z 3.0)))))
  (- (* (- x (/ y (* z 3.0))) (- x (/ y (* z 3.0)))) (* t (/ t (* z (* 3.0 (* y (* z (* 3.0 y))))))))
  (- x (+ (/ t (* z (* 3.0 y))) (/ y (* z 3.0))))
  (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0))))
  (+ (/ t (* z (* 3.0 y))) (- x (/ y (* z 3.0))))
  (- (/ t (* z (* 3.0 y))) (/ y (* z 3.0)))
  (- (/ y (* z 3.0)) (/ t (* z (* 3.0 y))))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* 0.3333333333333333 (/ t (* z y)))
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* (/ y z) 0.3333333333333333)
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (* z (* 3.0 y))
  (+ x (- (* 0.3333333333333333 (/ t (* z y))) (* (/ y z) 0.3333333333333333)))
  (+ x (- (* 0.3333333333333333 (/ t (* z y))) (* (/ y z) 0.3333333333333333)))
  (+ x (- (* 0.3333333333333333 (/ t (* z y))) (* (/ y z) 0.3333333333333333)))
2.056 * * * [progress]: adding candidates to table
2.233 * [progress]: [Phase 3 of 3] Extracting.
2.233 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ (- x (/ 1 (* z (/ 3.0 y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ x (/ (/ (- (/ t y) y) 3.0) z)))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t))))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z)))))>)
2.234 * * * [regime-changes]: Trying 5 branch expressions: ((* z 3.0) t z y x)
2.234 * * * * [regimes]: Trying to branch on (* z 3.0) from (#<alt (λ (x y z t) (+ (- x (/ 1 (* z (/ 3.0 y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ x (/ (/ (- (/ t y) y) 3.0) z)))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t))))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z)))))>)
2.302 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ (- x (/ 1 (* z (/ 3.0 y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ x (/ (/ (- (/ t y) y) 3.0) z)))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t))))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z)))))>)
2.368 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ (- x (/ 1 (* z (/ 3.0 y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ x (/ (/ (- (/ t y) y) 3.0) z)))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t))))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z)))))>)
2.434 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ (- x (/ 1 (* z (/ 3.0 y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ x (/ (/ (- (/ t y) y) 3.0) z)))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t))))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z)))))>)
2.501 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ (- x (/ 1 (* z (/ 3.0 y)))) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ (- x (/ (/ y z) 3.0)) (/ t (* (* z 3.0) y))))> #<alt (λ (x y z t) (+ x (/ (/ (- (/ t y) y) 3.0) z)))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t))))))> #<alt (λ (x y z t) (+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y)))> #<alt (λ (x y z t) (+ x (* 0.3333333333333333 (- (/ t (* z y)) (/ y z)))))>)
2.569 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.569 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t)))))
2.570 * * [simplify]: iteration  0 :  73  enodes  (cost  17 )
2.570 * * [simplify]: iteration  1 :  73  enodes  (cost  17 )
2.571 * [simplify]: Simplified to:
   (+ (- x (/ y (* z 3.0))) (/ 1 (* y (* z (/ 3.0 t)))))
4.249 * [regime-testing]: End program error score: 1.6413004247119793
4.362 * [regime-testing]: Target error score: 1.7523556226577102