33.529 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ x (/ (* y (- z x)) t))
0.024 * * [simplify]: iteration  0 :  14  enodes  (cost  4 )
0.025 * * [simplify]: iteration  1 :  25  enodes  (cost  4 )
0.027 * * [simplify]: iteration  2 :  45  enodes  (cost  4 )
0.028 * * [simplify]: iteration  3 :  84  enodes  (cost  4 )
0.030 * * [simplify]: iteration  4 :  125  enodes  (cost  4 )
0.032 * * [simplify]: iteration  5 :  149  enodes  (cost  4 )
0.034 * * [simplify]: iteration  6 :  170  enodes  (cost  4 )
0.037 * * [simplify]: iteration  7 :  284  enodes  (cost  4 )
0.041 * * [simplify]: iteration  8 :  491  enodes  (cost  4 )
0.047 * * [simplify]: iteration  9 :  824  enodes  (cost  4 )
0.056 * * [simplify]: iteration  10 :  1344  enodes  (cost  4 )
0.073 * * [simplify]: iteration  11 :  2576  enodes  (cost  4 )
0.096 * * [simplify]: iteration  12 :  3873  enodes  (cost  4 )
0.127 * * [simplify]: iteration  13 :  5001  enodes  (cost  4 )
0.127 * [simplify]: Simplified to:
   (+ x (/ (* y (- z x)) t))
0.128 * * [progress]: iteration 1 / 4
0.128 * * * [progress]: picking best candidate
0.130 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ (* y (- z x)) t)))>
0.130 * * * [progress]: localizing error
0.137 * * * [progress]: generating rewritten candidates
0.137 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.144 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.154 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.164 * * * [progress]: generating series expansions
0.164 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.164 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (y z x t) around 0
0.164 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t
0.164 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
0.164 * [taylor]: Taking taylor expansion of y in t
0.164 * [taylor]: Taking taylor expansion of (- z x) in t
0.164 * [taylor]: Taking taylor expansion of z in t
0.164 * [taylor]: Taking taylor expansion of x in t
0.164 * [taylor]: Taking taylor expansion of t in t
0.164 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x
0.164 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
0.164 * [taylor]: Taking taylor expansion of y in x
0.164 * [taylor]: Taking taylor expansion of (- z x) in x
0.164 * [taylor]: Taking taylor expansion of z in x
0.164 * [taylor]: Taking taylor expansion of x in x
0.164 * [taylor]: Taking taylor expansion of t in x
0.165 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
0.165 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
0.165 * [taylor]: Taking taylor expansion of y in z
0.165 * [taylor]: Taking taylor expansion of (- z x) in z
0.165 * [taylor]: Taking taylor expansion of z in z
0.165 * [taylor]: Taking taylor expansion of x in z
0.165 * [taylor]: Taking taylor expansion of t in z
0.165 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
0.165 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
0.165 * [taylor]: Taking taylor expansion of y in y
0.165 * [taylor]: Taking taylor expansion of (- z x) in y
0.165 * [taylor]: Taking taylor expansion of z in y
0.165 * [taylor]: Taking taylor expansion of x in y
0.165 * [taylor]: Taking taylor expansion of t in y
0.166 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
0.166 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
0.166 * [taylor]: Taking taylor expansion of y in y
0.166 * [taylor]: Taking taylor expansion of (- z x) in y
0.166 * [taylor]: Taking taylor expansion of z in y
0.166 * [taylor]: Taking taylor expansion of x in y
0.166 * [taylor]: Taking taylor expansion of t in y
0.167 * [taylor]: Taking taylor expansion of (/ (- z x) t) in z
0.167 * [taylor]: Taking taylor expansion of (- z x) in z
0.167 * [taylor]: Taking taylor expansion of z in z
0.167 * [taylor]: Taking taylor expansion of x in z
0.167 * [taylor]: Taking taylor expansion of t in z
0.167 * [taylor]: Taking taylor expansion of (* -1 (/ x t)) in x
0.167 * [taylor]: Taking taylor expansion of -1 in x
0.167 * [taylor]: Taking taylor expansion of (/ x t) in x
0.167 * [taylor]: Taking taylor expansion of x in x
0.167 * [taylor]: Taking taylor expansion of t in x
0.169 * [taylor]: Taking taylor expansion of 0 in z
0.169 * [taylor]: Taking taylor expansion of 0 in x
0.169 * [taylor]: Taking taylor expansion of 0 in t
0.169 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.169 * [taylor]: Taking taylor expansion of t in x
0.169 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.169 * [taylor]: Taking taylor expansion of t in t
0.170 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.170 * [taylor]: Taking taylor expansion of -1 in t
0.170 * [taylor]: Taking taylor expansion of t in t
0.171 * [taylor]: Taking taylor expansion of 0 in z
0.171 * [taylor]: Taking taylor expansion of 0 in x
0.171 * [taylor]: Taking taylor expansion of 0 in t
0.171 * [taylor]: Taking taylor expansion of 0 in x
0.171 * [taylor]: Taking taylor expansion of 0 in t
0.172 * [taylor]: Taking taylor expansion of 0 in x
0.172 * [taylor]: Taking taylor expansion of 0 in t
0.172 * [taylor]: Taking taylor expansion of 0 in t
0.172 * [taylor]: Taking taylor expansion of 0 in t
0.173 * [taylor]: Taking taylor expansion of 0 in t
0.175 * [taylor]: Taking taylor expansion of 0 in z
0.175 * [taylor]: Taking taylor expansion of 0 in x
0.175 * [taylor]: Taking taylor expansion of 0 in t
0.175 * [taylor]: Taking taylor expansion of 0 in x
0.175 * [taylor]: Taking taylor expansion of 0 in t
0.175 * [taylor]: Taking taylor expansion of 0 in x
0.175 * [taylor]: Taking taylor expansion of 0 in t
0.176 * [taylor]: Taking taylor expansion of 0 in x
0.176 * [taylor]: Taking taylor expansion of 0 in t
0.176 * [taylor]: Taking taylor expansion of 0 in t
0.176 * [taylor]: Taking taylor expansion of 0 in t
0.176 * [taylor]: Taking taylor expansion of 0 in t
0.176 * [taylor]: Taking taylor expansion of 0 in t
0.176 * [taylor]: Taking taylor expansion of 0 in t
0.177 * [taylor]: Taking taylor expansion of 0 in t
0.177 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (y z x t) around 0
0.177 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t
0.177 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
0.177 * [taylor]: Taking taylor expansion of t in t
0.177 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
0.177 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.177 * [taylor]: Taking taylor expansion of z in t
0.177 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.177 * [taylor]: Taking taylor expansion of x in t
0.177 * [taylor]: Taking taylor expansion of y in t
0.178 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x
0.178 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
0.178 * [taylor]: Taking taylor expansion of t in x
0.179 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.179 * [taylor]: Taking taylor expansion of z in x
0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.179 * [taylor]: Taking taylor expansion of x in x
0.179 * [taylor]: Taking taylor expansion of y in x
0.179 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
0.179 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
0.179 * [taylor]: Taking taylor expansion of t in z
0.180 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.180 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.180 * [taylor]: Taking taylor expansion of z in z
0.180 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.180 * [taylor]: Taking taylor expansion of x in z
0.180 * [taylor]: Taking taylor expansion of y in z
0.180 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
0.180 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
0.180 * [taylor]: Taking taylor expansion of t in y
0.180 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.180 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.180 * [taylor]: Taking taylor expansion of z in y
0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.181 * [taylor]: Taking taylor expansion of x in y
0.181 * [taylor]: Taking taylor expansion of y in y
0.181 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
0.181 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
0.181 * [taylor]: Taking taylor expansion of t in y
0.181 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.181 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.181 * [taylor]: Taking taylor expansion of z in y
0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.181 * [taylor]: Taking taylor expansion of x in y
0.181 * [taylor]: Taking taylor expansion of y in y
0.181 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
0.181 * [taylor]: Taking taylor expansion of t in z
0.181 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.181 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.181 * [taylor]: Taking taylor expansion of z in z
0.182 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.182 * [taylor]: Taking taylor expansion of x in z
0.182 * [taylor]: Taking taylor expansion of t in x
0.183 * [taylor]: Taking taylor expansion of 0 in z
0.184 * [taylor]: Taking taylor expansion of (- (/ t x)) in x
0.184 * [taylor]: Taking taylor expansion of (/ t x) in x
0.184 * [taylor]: Taking taylor expansion of t in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.184 * [taylor]: Taking taylor expansion of (- t) in t
0.184 * [taylor]: Taking taylor expansion of t in t
0.184 * [taylor]: Taking taylor expansion of t in t
0.186 * [taylor]: Taking taylor expansion of 0 in z
0.186 * [taylor]: Taking taylor expansion of 0 in x
0.188 * [taylor]: Taking taylor expansion of 0 in x
0.189 * [taylor]: Taking taylor expansion of 0 in t
0.189 * [taylor]: Taking taylor expansion of 0 in t
0.191 * [taylor]: Taking taylor expansion of 0 in z
0.192 * [taylor]: Taking taylor expansion of 0 in x
0.192 * [taylor]: Taking taylor expansion of 0 in x
0.193 * [taylor]: Taking taylor expansion of 0 in x
0.193 * [taylor]: Taking taylor expansion of 0 in t
0.193 * [taylor]: Taking taylor expansion of 0 in t
0.194 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (y z x t) around 0
0.194 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t
0.194 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
0.194 * [taylor]: Taking taylor expansion of t in t
0.194 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
0.194 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.194 * [taylor]: Taking taylor expansion of x in t
0.194 * [taylor]: Taking taylor expansion of (/ 1 z) in t
0.194 * [taylor]: Taking taylor expansion of z in t
0.194 * [taylor]: Taking taylor expansion of y in t
0.195 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x
0.195 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
0.195 * [taylor]: Taking taylor expansion of t in x
0.195 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.195 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.195 * [taylor]: Taking taylor expansion of x in x
0.195 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.195 * [taylor]: Taking taylor expansion of z in x
0.195 * [taylor]: Taking taylor expansion of y in x
0.196 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
0.196 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
0.196 * [taylor]: Taking taylor expansion of t in z
0.196 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.196 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.196 * [taylor]: Taking taylor expansion of x in z
0.196 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.196 * [taylor]: Taking taylor expansion of z in z
0.196 * [taylor]: Taking taylor expansion of y in z
0.197 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
0.197 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
0.197 * [taylor]: Taking taylor expansion of t in y
0.197 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.197 * [taylor]: Taking taylor expansion of x in y
0.197 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.197 * [taylor]: Taking taylor expansion of z in y
0.197 * [taylor]: Taking taylor expansion of y in y
0.197 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
0.197 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
0.197 * [taylor]: Taking taylor expansion of t in y
0.197 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.197 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.197 * [taylor]: Taking taylor expansion of x in y
0.197 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.197 * [taylor]: Taking taylor expansion of z in y
0.197 * [taylor]: Taking taylor expansion of y in y
0.198 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
0.198 * [taylor]: Taking taylor expansion of t in z
0.198 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.198 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.198 * [taylor]: Taking taylor expansion of x in z
0.198 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.198 * [taylor]: Taking taylor expansion of z in z
0.199 * [taylor]: Taking taylor expansion of (* -1 t) in x
0.199 * [taylor]: Taking taylor expansion of -1 in x
0.199 * [taylor]: Taking taylor expansion of t in x
0.200 * [taylor]: Taking taylor expansion of 0 in z
0.201 * [taylor]: Taking taylor expansion of (/ t x) in x
0.201 * [taylor]: Taking taylor expansion of t in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.201 * [taylor]: Taking taylor expansion of t in t
0.201 * [taylor]: Taking taylor expansion of (* -1 t) in t
0.201 * [taylor]: Taking taylor expansion of -1 in t
0.201 * [taylor]: Taking taylor expansion of t in t
0.203 * [taylor]: Taking taylor expansion of 0 in z
0.204 * [taylor]: Taking taylor expansion of 0 in x
0.205 * [taylor]: Taking taylor expansion of 0 in x
0.205 * [taylor]: Taking taylor expansion of 0 in t
0.206 * [taylor]: Taking taylor expansion of 0 in t
0.209 * [taylor]: Taking taylor expansion of 0 in z
0.209 * [taylor]: Taking taylor expansion of 0 in x
0.209 * [taylor]: Taking taylor expansion of 0 in x
0.210 * [taylor]: Taking taylor expansion of 0 in x
0.210 * [taylor]: Taking taylor expansion of 0 in t
0.211 * [taylor]: Taking taylor expansion of 0 in t
0.211 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.211 * [approximate]: Taking taylor expansion of (* y (- z x)) in (y z x) around 0
0.211 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
0.211 * [taylor]: Taking taylor expansion of y in x
0.211 * [taylor]: Taking taylor expansion of (- z x) in x
0.211 * [taylor]: Taking taylor expansion of z in x
0.211 * [taylor]: Taking taylor expansion of x in x
0.211 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
0.211 * [taylor]: Taking taylor expansion of y in z
0.211 * [taylor]: Taking taylor expansion of (- z x) in z
0.211 * [taylor]: Taking taylor expansion of z in z
0.211 * [taylor]: Taking taylor expansion of x in z
0.211 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
0.211 * [taylor]: Taking taylor expansion of y in y
0.211 * [taylor]: Taking taylor expansion of (- z x) in y
0.211 * [taylor]: Taking taylor expansion of z in y
0.211 * [taylor]: Taking taylor expansion of x in y
0.211 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
0.211 * [taylor]: Taking taylor expansion of y in y
0.211 * [taylor]: Taking taylor expansion of (- z x) in y
0.211 * [taylor]: Taking taylor expansion of z in y
0.211 * [taylor]: Taking taylor expansion of x in y
0.212 * [taylor]: Taking taylor expansion of 0 in z
0.212 * [taylor]: Taking taylor expansion of 0 in x
0.212 * [taylor]: Taking taylor expansion of (- z x) in z
0.212 * [taylor]: Taking taylor expansion of z in z
0.212 * [taylor]: Taking taylor expansion of x in z
0.212 * [taylor]: Taking taylor expansion of (- x) in x
0.212 * [taylor]: Taking taylor expansion of x in x
0.213 * [taylor]: Taking taylor expansion of 0 in x
0.214 * [taylor]: Taking taylor expansion of 0 in z
0.214 * [taylor]: Taking taylor expansion of 0 in x
0.214 * [taylor]: Taking taylor expansion of 1 in x
0.214 * [taylor]: Taking taylor expansion of 0 in x
0.216 * [taylor]: Taking taylor expansion of 0 in z
0.216 * [taylor]: Taking taylor expansion of 0 in x
0.216 * [taylor]: Taking taylor expansion of 0 in x
0.216 * [taylor]: Taking taylor expansion of 0 in x
0.216 * [taylor]: Taking taylor expansion of 0 in x
0.217 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0
0.217 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x
0.217 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.217 * [taylor]: Taking taylor expansion of z in x
0.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.217 * [taylor]: Taking taylor expansion of x in x
0.217 * [taylor]: Taking taylor expansion of y in x
0.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z
0.218 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.218 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.218 * [taylor]: Taking taylor expansion of z in z
0.218 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.218 * [taylor]: Taking taylor expansion of x in z
0.218 * [taylor]: Taking taylor expansion of y in z
0.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.218 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.218 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.218 * [taylor]: Taking taylor expansion of z in y
0.218 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.218 * [taylor]: Taking taylor expansion of x in y
0.218 * [taylor]: Taking taylor expansion of y in y
0.219 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
0.219 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
0.219 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.219 * [taylor]: Taking taylor expansion of z in y
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.219 * [taylor]: Taking taylor expansion of x in y
0.219 * [taylor]: Taking taylor expansion of y in y
0.219 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.219 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.219 * [taylor]: Taking taylor expansion of z in z
0.219 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.219 * [taylor]: Taking taylor expansion of x in z
0.220 * [taylor]: Taking taylor expansion of 1 in x
0.221 * [taylor]: Taking taylor expansion of 0 in z
0.221 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.221 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.221 * [taylor]: Taking taylor expansion of x in x
0.223 * [taylor]: Taking taylor expansion of 0 in z
0.223 * [taylor]: Taking taylor expansion of 0 in x
0.224 * [taylor]: Taking taylor expansion of 0 in x
0.227 * [taylor]: Taking taylor expansion of 0 in z
0.227 * [taylor]: Taking taylor expansion of 0 in x
0.227 * [taylor]: Taking taylor expansion of 0 in x
0.228 * [taylor]: Taking taylor expansion of 0 in x
0.229 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0
0.229 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x
0.229 * [taylor]: Taking taylor expansion of -1 in x
0.229 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x
0.229 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
0.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.229 * [taylor]: Taking taylor expansion of x in x
0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in x
0.230 * [taylor]: Taking taylor expansion of z in x
0.230 * [taylor]: Taking taylor expansion of y in x
0.230 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z
0.230 * [taylor]: Taking taylor expansion of -1 in z
0.230 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z
0.230 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.230 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.230 * [taylor]: Taking taylor expansion of x in z
0.230 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.230 * [taylor]: Taking taylor expansion of z in z
0.230 * [taylor]: Taking taylor expansion of y in z
0.231 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
0.231 * [taylor]: Taking taylor expansion of -1 in y
0.231 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.231 * [taylor]: Taking taylor expansion of x in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.231 * [taylor]: Taking taylor expansion of z in y
0.231 * [taylor]: Taking taylor expansion of y in y
0.231 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y
0.231 * [taylor]: Taking taylor expansion of -1 in y
0.231 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
0.231 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.231 * [taylor]: Taking taylor expansion of x in y
0.231 * [taylor]: Taking taylor expansion of (/ 1 z) in y
0.231 * [taylor]: Taking taylor expansion of z in y
0.231 * [taylor]: Taking taylor expansion of y in y
0.232 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z
0.232 * [taylor]: Taking taylor expansion of -1 in z
0.232 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
0.232 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.232 * [taylor]: Taking taylor expansion of x in z
0.232 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.232 * [taylor]: Taking taylor expansion of z in z
0.233 * [taylor]: Taking taylor expansion of 1 in x
0.234 * [taylor]: Taking taylor expansion of 0 in z
0.235 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.235 * [taylor]: Taking taylor expansion of x in x
0.238 * [taylor]: Taking taylor expansion of 0 in z
0.238 * [taylor]: Taking taylor expansion of 0 in x
0.240 * [taylor]: Taking taylor expansion of 0 in x
0.243 * [taylor]: Taking taylor expansion of 0 in z
0.243 * [taylor]: Taking taylor expansion of 0 in x
0.243 * [taylor]: Taking taylor expansion of 0 in x
0.245 * [taylor]: Taking taylor expansion of 0 in x
0.249 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.249 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x y z t) around 0
0.249 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t
0.249 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
0.249 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.249 * [taylor]: Taking taylor expansion of (* z y) in t
0.249 * [taylor]: Taking taylor expansion of z in t
0.249 * [taylor]: Taking taylor expansion of y in t
0.249 * [taylor]: Taking taylor expansion of t in t
0.250 * [taylor]: Taking taylor expansion of x in t
0.250 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t
0.250 * [taylor]: Taking taylor expansion of (* x y) in t
0.250 * [taylor]: Taking taylor expansion of x in t
0.250 * [taylor]: Taking taylor expansion of y in t
0.250 * [taylor]: Taking taylor expansion of t in t
0.250 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z
0.250 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
0.250 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
0.250 * [taylor]: Taking taylor expansion of (* z y) in z
0.250 * [taylor]: Taking taylor expansion of z in z
0.250 * [taylor]: Taking taylor expansion of y in z
0.250 * [taylor]: Taking taylor expansion of t in z
0.251 * [taylor]: Taking taylor expansion of x in z
0.251 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z
0.251 * [taylor]: Taking taylor expansion of (* x y) in z
0.251 * [taylor]: Taking taylor expansion of x in z
0.251 * [taylor]: Taking taylor expansion of y in z
0.251 * [taylor]: Taking taylor expansion of t in z
0.251 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y
0.251 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
0.251 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.251 * [taylor]: Taking taylor expansion of (* z y) in y
0.251 * [taylor]: Taking taylor expansion of z in y
0.251 * [taylor]: Taking taylor expansion of y in y
0.251 * [taylor]: Taking taylor expansion of t in y
0.251 * [taylor]: Taking taylor expansion of x in y
0.251 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y
0.251 * [taylor]: Taking taylor expansion of (* x y) in y
0.251 * [taylor]: Taking taylor expansion of x in y
0.251 * [taylor]: Taking taylor expansion of y in y
0.251 * [taylor]: Taking taylor expansion of t in y
0.252 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
0.252 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
0.252 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
0.252 * [taylor]: Taking taylor expansion of (* z y) in x
0.252 * [taylor]: Taking taylor expansion of z in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of t in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
0.252 * [taylor]: Taking taylor expansion of (* x y) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of t in x
0.252 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
0.252 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
0.252 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
0.252 * [taylor]: Taking taylor expansion of (* z y) in x
0.252 * [taylor]: Taking taylor expansion of z in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of t in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
0.252 * [taylor]: Taking taylor expansion of (* x y) in x
0.252 * [taylor]: Taking taylor expansion of x in x
0.252 * [taylor]: Taking taylor expansion of y in x
0.252 * [taylor]: Taking taylor expansion of t in x
0.253 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.253 * [taylor]: Taking taylor expansion of (* z y) in y
0.253 * [taylor]: Taking taylor expansion of z in y
0.253 * [taylor]: Taking taylor expansion of y in y
0.253 * [taylor]: Taking taylor expansion of t in y
0.254 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in y
0.254 * [taylor]: Taking taylor expansion of 1 in y
0.254 * [taylor]: Taking taylor expansion of (/ y t) in y
0.254 * [taylor]: Taking taylor expansion of y in y
0.254 * [taylor]: Taking taylor expansion of t in y
0.254 * [taylor]: Taking taylor expansion of 1 in z
0.254 * [taylor]: Taking taylor expansion of 1 in t
0.254 * [taylor]: Taking taylor expansion of (/ z t) in z
0.254 * [taylor]: Taking taylor expansion of z in z
0.254 * [taylor]: Taking taylor expansion of t in z
0.256 * [taylor]: Taking taylor expansion of 0 in y
0.256 * [taylor]: Taking taylor expansion of 0 in z
0.256 * [taylor]: Taking taylor expansion of 0 in t
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z
0.256 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.256 * [taylor]: Taking taylor expansion of t in z
0.256 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.256 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.256 * [taylor]: Taking taylor expansion of t in t
0.257 * [taylor]: Taking taylor expansion of 0 in z
0.257 * [taylor]: Taking taylor expansion of 0 in t
0.257 * [taylor]: Taking taylor expansion of 0 in t
0.258 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.258 * [taylor]: Taking taylor expansion of t in t
0.258 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x y z t) around 0
0.258 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t
0.258 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
0.258 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.258 * [taylor]: Taking taylor expansion of t in t
0.258 * [taylor]: Taking taylor expansion of (* z y) in t
0.258 * [taylor]: Taking taylor expansion of z in t
0.258 * [taylor]: Taking taylor expansion of y in t
0.258 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.258 * [taylor]: Taking taylor expansion of x in t
0.259 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
0.259 * [taylor]: Taking taylor expansion of t in t
0.259 * [taylor]: Taking taylor expansion of (* x y) in t
0.259 * [taylor]: Taking taylor expansion of x in t
0.259 * [taylor]: Taking taylor expansion of y in t
0.259 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z
0.259 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
0.259 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
0.259 * [taylor]: Taking taylor expansion of t in z
0.259 * [taylor]: Taking taylor expansion of (* z y) in z
0.259 * [taylor]: Taking taylor expansion of z in z
0.259 * [taylor]: Taking taylor expansion of y in z
0.259 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.259 * [taylor]: Taking taylor expansion of x in z
0.259 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
0.259 * [taylor]: Taking taylor expansion of t in z
0.259 * [taylor]: Taking taylor expansion of (* x y) in z
0.259 * [taylor]: Taking taylor expansion of x in z
0.259 * [taylor]: Taking taylor expansion of y in z
0.259 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y
0.259 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
0.259 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.259 * [taylor]: Taking taylor expansion of t in y
0.259 * [taylor]: Taking taylor expansion of (* z y) in y
0.259 * [taylor]: Taking taylor expansion of z in y
0.259 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
0.260 * [taylor]: Taking taylor expansion of t in y
0.260 * [taylor]: Taking taylor expansion of (* x y) in y
0.260 * [taylor]: Taking taylor expansion of x in y
0.260 * [taylor]: Taking taylor expansion of y in y
0.260 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
0.260 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
0.260 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
0.260 * [taylor]: Taking taylor expansion of t in x
0.260 * [taylor]: Taking taylor expansion of (* z y) in x
0.260 * [taylor]: Taking taylor expansion of z in x
0.260 * [taylor]: Taking taylor expansion of y in x
0.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.260 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
0.261 * [taylor]: Taking taylor expansion of t in x
0.261 * [taylor]: Taking taylor expansion of (* x y) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.261 * [taylor]: Taking taylor expansion of y in x
0.261 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
0.261 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
0.261 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
0.261 * [taylor]: Taking taylor expansion of t in x
0.261 * [taylor]: Taking taylor expansion of (* z y) in x
0.261 * [taylor]: Taking taylor expansion of z in x
0.261 * [taylor]: Taking taylor expansion of y in x
0.261 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.261 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
0.262 * [taylor]: Taking taylor expansion of t in x
0.262 * [taylor]: Taking taylor expansion of (* x y) in x
0.262 * [taylor]: Taking taylor expansion of x in x
0.262 * [taylor]: Taking taylor expansion of y in x
0.262 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in y
0.262 * [taylor]: Taking taylor expansion of 1 in y
0.262 * [taylor]: Taking taylor expansion of (/ t y) in y
0.262 * [taylor]: Taking taylor expansion of t in y
0.262 * [taylor]: Taking taylor expansion of y in y
0.263 * [taylor]: Taking taylor expansion of (- t) in z
0.263 * [taylor]: Taking taylor expansion of t in z
0.264 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.264 * [taylor]: Taking taylor expansion of t in y
0.264 * [taylor]: Taking taylor expansion of (* z y) in y
0.264 * [taylor]: Taking taylor expansion of z in y
0.264 * [taylor]: Taking taylor expansion of y in y
0.264 * [taylor]: Taking taylor expansion of (/ t z) in z
0.264 * [taylor]: Taking taylor expansion of t in z
0.264 * [taylor]: Taking taylor expansion of z in z
0.264 * [taylor]: Taking taylor expansion of t in t
0.265 * [taylor]: Taking taylor expansion of 1 in z
0.266 * [taylor]: Taking taylor expansion of (- t) in t
0.266 * [taylor]: Taking taylor expansion of t in t
0.268 * [taylor]: Taking taylor expansion of 0 in y
0.268 * [taylor]: Taking taylor expansion of 0 in z
0.270 * [taylor]: Taking taylor expansion of 0 in z
0.270 * [taylor]: Taking taylor expansion of 0 in t
0.270 * [taylor]: Taking taylor expansion of 1 in t
0.271 * [taylor]: Taking taylor expansion of 0 in t
0.272 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0
0.272 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t
0.272 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
0.272 * [taylor]: Taking taylor expansion of t in t
0.272 * [taylor]: Taking taylor expansion of (* x y) in t
0.272 * [taylor]: Taking taylor expansion of x in t
0.272 * [taylor]: Taking taylor expansion of y in t
0.272 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
0.272 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.272 * [taylor]: Taking taylor expansion of t in t
0.272 * [taylor]: Taking taylor expansion of (* z y) in t
0.272 * [taylor]: Taking taylor expansion of z in t
0.272 * [taylor]: Taking taylor expansion of y in t
0.272 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.272 * [taylor]: Taking taylor expansion of x in t
0.272 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z
0.272 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
0.272 * [taylor]: Taking taylor expansion of t in z
0.272 * [taylor]: Taking taylor expansion of (* x y) in z
0.272 * [taylor]: Taking taylor expansion of x in z
0.272 * [taylor]: Taking taylor expansion of y in z
0.272 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
0.272 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
0.272 * [taylor]: Taking taylor expansion of t in z
0.272 * [taylor]: Taking taylor expansion of (* z y) in z
0.272 * [taylor]: Taking taylor expansion of z in z
0.272 * [taylor]: Taking taylor expansion of y in z
0.273 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.273 * [taylor]: Taking taylor expansion of x in z
0.273 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y
0.273 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
0.273 * [taylor]: Taking taylor expansion of t in y
0.273 * [taylor]: Taking taylor expansion of (* x y) in y
0.273 * [taylor]: Taking taylor expansion of x in y
0.273 * [taylor]: Taking taylor expansion of y in y
0.273 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
0.273 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.273 * [taylor]: Taking taylor expansion of t in y
0.273 * [taylor]: Taking taylor expansion of (* z y) in y
0.273 * [taylor]: Taking taylor expansion of z in y
0.273 * [taylor]: Taking taylor expansion of y in y
0.273 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.273 * [taylor]: Taking taylor expansion of x in y
0.274 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
0.274 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
0.274 * [taylor]: Taking taylor expansion of t in x
0.274 * [taylor]: Taking taylor expansion of (* x y) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of y in x
0.274 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
0.274 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
0.274 * [taylor]: Taking taylor expansion of t in x
0.274 * [taylor]: Taking taylor expansion of (* z y) in x
0.274 * [taylor]: Taking taylor expansion of z in x
0.274 * [taylor]: Taking taylor expansion of y in x
0.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
0.274 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
0.274 * [taylor]: Taking taylor expansion of t in x
0.274 * [taylor]: Taking taylor expansion of (* x y) in x
0.274 * [taylor]: Taking taylor expansion of x in x
0.274 * [taylor]: Taking taylor expansion of y in x
0.275 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
0.275 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
0.275 * [taylor]: Taking taylor expansion of t in x
0.275 * [taylor]: Taking taylor expansion of (* z y) in x
0.275 * [taylor]: Taking taylor expansion of z in x
0.275 * [taylor]: Taking taylor expansion of y in x
0.275 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.275 * [taylor]: Taking taylor expansion of x in x
0.276 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in y
0.276 * [taylor]: Taking taylor expansion of (/ t y) in y
0.276 * [taylor]: Taking taylor expansion of t in y
0.276 * [taylor]: Taking taylor expansion of y in y
0.276 * [taylor]: Taking taylor expansion of 1 in y
0.276 * [taylor]: Taking taylor expansion of t in z
0.277 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y
0.277 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.277 * [taylor]: Taking taylor expansion of t in y
0.277 * [taylor]: Taking taylor expansion of (* z y) in y
0.277 * [taylor]: Taking taylor expansion of z in y
0.277 * [taylor]: Taking taylor expansion of y in y
0.278 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
0.278 * [taylor]: Taking taylor expansion of (/ t z) in z
0.278 * [taylor]: Taking taylor expansion of t in z
0.278 * [taylor]: Taking taylor expansion of z in z
0.278 * [taylor]: Taking taylor expansion of (- t) in t
0.278 * [taylor]: Taking taylor expansion of t in t
0.279 * [taylor]: Taking taylor expansion of -1 in z
0.279 * [taylor]: Taking taylor expansion of t in t
0.281 * [taylor]: Taking taylor expansion of 0 in y
0.282 * [taylor]: Taking taylor expansion of 0 in z
0.283 * [taylor]: Taking taylor expansion of 0 in z
0.284 * [taylor]: Taking taylor expansion of 0 in t
0.284 * [taylor]: Taking taylor expansion of -1 in t
0.284 * [taylor]: Taking taylor expansion of 0 in t
0.285 * * * [progress]: simplifying candidates
0.286 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (log y) (log (- z x))) (log t))
  (- (log (* y (- z x))) (log t))
  (log (/ (* y (- z x)) t))
  (exp (/ (* y (- z x)) t))
  (/ (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (* t t) t))
  (/ (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (* (* t t) t))
  (* (cbrt (/ (* y (- z x)) t)) (cbrt (/ (* y (- z x)) t)))
  (cbrt (/ (* y (- z x)) t))
  (* (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)) (/ (* y (- z x)) t))
  (sqrt (/ (* y (- z x)) t))
  (sqrt (/ (* y (- z x)) t))
  (- (* y (- z x)))
  (- t)
  (/ y (* (cbrt t) (cbrt t)))
  (/ (- z x) (cbrt t))
  (/ y (sqrt t))
  (/ (- z x) (sqrt t))
  (/ y 1)
  (/ (- z x) t)
  (/ 1 t)
  (/ t (* y (- z x)))
  (/ (* y (- z x)) (* (cbrt t) (cbrt t)))
  (/ (* y (- z x)) (sqrt t))
  (/ (* y (- z x)) 1)
  (/ t (- z x))
  (* t (+ (* z z) (+ (* x x) (* z x))))
  (* t (+ z x))
  (* y (- z x))
  (+ (log y) (log (- z x)))
  (log (* y (- z x)))
  (exp (* y (- z x)))
  (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x)))
  (* (cbrt (* y (- z x))) (cbrt (* y (- z x))))
  (cbrt (* y (- z x)))
  (* (* (* y (- z x)) (* y (- z x))) (* y (- z x)))
  (sqrt (* y (- z x)))
  (sqrt (* y (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* y z)
  (* y (- x))
  (* y z)
  (* y (- x))
  (* z y)
  (* (- x) y)
  (* z y)
  (* (- x) y)
  (* y (* (cbrt (- z x)) (cbrt (- z x))))
  (* y (sqrt (- z x)))
  (* y 1)
  (* y (+ (sqrt z) (sqrt x)))
  (* y 1)
  (* (cbrt y) (- z x))
  (* (sqrt y) (- z x))
  (* y (- z x))
  (* y (- (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (* (exp x) (exp (/ (* y (- z x)) t)))
  (log (+ x (/ (* y (- z x)) t)))
  (exp (+ x (/ (* y (- z x)) t)))
  (* (cbrt (+ x (/ (* y (- z x)) t))) (cbrt (+ x (/ (* y (- z x)) t))))
  (cbrt (+ x (/ (* y (- z x)) t)))
  (* (* (+ x (/ (* y (- z x)) t)) (+ x (/ (* y (- z x)) t))) (+ x (/ (* y (- z x)) t)))
  (sqrt (+ x (/ (* y (- z x)) t)))
  (sqrt (+ x (/ (* y (- z x)) t)))
  (+ (pow x 3) (pow (/ (* y (- z x)) t) 3))
  (+ (* x x) (- (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)) (* x (/ (* y (- z x)) t))))
  (- (* x x) (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)))
  (- x (/ (* y (- z x)) t))
  (+ x (/ (* y (- z x)) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
0.291 * * [simplify]: iteration  0 :  290  enodes  (cost  325 )
0.298 * * [simplify]: iteration  1 :  1223  enodes  (cost  280 )
0.325 * * [simplify]: iteration  2 :  5001  enodes  (cost  280 )
0.328 * [simplify]: Simplified to:
   (log (/ (* y (- z x)) t))
  (log (/ (* y (- z x)) t))
  (log (/ (* y (- z x)) t))
  (exp (/ (* y (- z x)) t))
  (pow (/ (* y (- z x)) t) 3)
  (pow (/ (* y (- z x)) t) 3)
  (* (cbrt (/ (* y (- z x)) t)) (cbrt (/ (* y (- z x)) t)))
  (cbrt (/ (* y (- z x)) t))
  (pow (/ (* y (- z x)) t) 3)
  (sqrt (/ (* y (- z x)) t))
  (sqrt (/ (* y (- z x)) t))
  (- (* y (- z x)))
  (- t)
  (/ y (* (cbrt t) (cbrt t)))
  (/ (- z x) (cbrt t))
  (/ y (sqrt t))
  (/ (- z x) (sqrt t))
  y
  (/ (- z x) t)
  (/ 1 t)
  (/ t (* y (- z x)))
  (/ (* y (- z x)) (* (cbrt t) (cbrt t)))
  (/ (* y (- z x)) (sqrt t))
  (* y (- z x))
  (/ t (- z x))
  (* (+ (* x (+ x z)) (* z z)) t)
  (* t (+ z x))
  (* y (- z x))
  (log (* y (- z x)))
  (log (* y (- z x)))
  (exp (* y (- z x)))
  (pow (* y (- z x)) 3)
  (* (cbrt (* y (- z x))) (cbrt (* y (- z x))))
  (cbrt (* y (- z x)))
  (pow (* y (- z x)) 3)
  (sqrt (* y (- z x)))
  (sqrt (* y (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* (sqrt y) (sqrt (- z x)))
  (* y z)
  (* y (- x))
  (* y z)
  (* y (- x))
  (* y z)
  (* y (- x))
  (* y z)
  (* y (- x))
  (* y (* (cbrt (- z x)) (cbrt (- z x))))
  (* y (sqrt (- z x)))
  y
  (* y (+ (sqrt z) (sqrt x)))
  y
  (* (cbrt y) (- z x))
  (* (sqrt y) (- z x))
  (* y (- z x))
  (* y (- (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (exp (+ x (/ (* y (- z x)) t)))
  (log (+ x (/ (* y (- z x)) t)))
  (exp (+ x (/ (* y (- z x)) t)))
  (* (cbrt (+ x (/ (* y (- z x)) t))) (cbrt (+ x (/ (* y (- z x)) t))))
  (cbrt (+ x (/ (* y (- z x)) t)))
  (pow (+ x (/ (* y (- z x)) t)) 3)
  (sqrt (+ x (/ (* y (- z x)) t)))
  (sqrt (+ x (/ (* y (- z x)) t)))
  (+ (pow x 3) (pow (/ (* y (- z x)) t) 3))
  (+ (* (/ (* y (- z x)) t) (- (/ (* y (- z x)) t) x)) (* x x))
  (- (* x x) (* (/ (* y (- z x)) t) (/ (* y (- z x)) t)))
  (- x (/ (* y (- z x)) t))
  (+ x (/ (* y (- z x)) t))
  (/ (* y (- z x)) t)
  (/ (* y (- z x)) t)
  (/ (* y (- z x)) t)
  (* y (- z x))
  (* y (- z x))
  (* y (- z x))
  (+ x (/ (* y (- z x)) t))
  (+ x (/ (* y (- z x)) t))
  (+ x (/ (* y (- z x)) t))
0.328 * * * [progress]: adding candidates to table
0.456 * * [progress]: iteration 2 / 4
0.456 * * * [progress]: picking best candidate
0.468 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ (+ (* y z) (* y (- x))) t)))>
0.469 * * * [progress]: localizing error
0.478 * * * [progress]: generating rewritten candidates
0.478 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
0.486 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.489 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
0.502 * * * [progress]: generating series expansions
0.502 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
0.502 * [approximate]: Taking taylor expansion of (/ (- (* z y) (* x y)) t) in (y z x t) around 0
0.503 * [taylor]: Taking taylor expansion of (/ (- (* z y) (* x y)) t) in t
0.503 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in t
0.503 * [taylor]: Taking taylor expansion of (* z y) in t
0.503 * [taylor]: Taking taylor expansion of z in t
0.503 * [taylor]: Taking taylor expansion of y in t
0.503 * [taylor]: Taking taylor expansion of (* x y) in t
0.503 * [taylor]: Taking taylor expansion of x in t
0.503 * [taylor]: Taking taylor expansion of y in t
0.503 * [taylor]: Taking taylor expansion of t in t
0.503 * [taylor]: Taking taylor expansion of (/ (- (* z y) (* x y)) t) in x
0.503 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in x
0.503 * [taylor]: Taking taylor expansion of (* z y) in x
0.503 * [taylor]: Taking taylor expansion of z in x
0.503 * [taylor]: Taking taylor expansion of y in x
0.503 * [taylor]: Taking taylor expansion of (* x y) in x
0.503 * [taylor]: Taking taylor expansion of x in x
0.503 * [taylor]: Taking taylor expansion of y in x
0.503 * [taylor]: Taking taylor expansion of t in x
0.504 * [taylor]: Taking taylor expansion of (/ (- (* z y) (* x y)) t) in z
0.504 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in z
0.504 * [taylor]: Taking taylor expansion of (* z y) in z
0.504 * [taylor]: Taking taylor expansion of z in z
0.504 * [taylor]: Taking taylor expansion of y in z
0.504 * [taylor]: Taking taylor expansion of (* x y) in z
0.504 * [taylor]: Taking taylor expansion of x in z
0.504 * [taylor]: Taking taylor expansion of y in z
0.504 * [taylor]: Taking taylor expansion of t in z
0.504 * [taylor]: Taking taylor expansion of (/ (- (* z y) (* x y)) t) in y
0.504 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y
0.504 * [taylor]: Taking taylor expansion of (* z y) in y
0.504 * [taylor]: Taking taylor expansion of z in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of (* x y) in y
0.504 * [taylor]: Taking taylor expansion of x in y
0.504 * [taylor]: Taking taylor expansion of y in y
0.504 * [taylor]: Taking taylor expansion of t in y
0.505 * [taylor]: Taking taylor expansion of (/ (- (* z y) (* x y)) t) in y
0.505 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y
0.505 * [taylor]: Taking taylor expansion of (* z y) in y
0.505 * [taylor]: Taking taylor expansion of z in y
0.505 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of (* x y) in y
0.505 * [taylor]: Taking taylor expansion of x in y
0.505 * [taylor]: Taking taylor expansion of y in y
0.505 * [taylor]: Taking taylor expansion of t in y
0.506 * [taylor]: Taking taylor expansion of (/ (- z x) t) in z
0.506 * [taylor]: Taking taylor expansion of (- z x) in z
0.506 * [taylor]: Taking taylor expansion of z in z
0.506 * [taylor]: Taking taylor expansion of x in z
0.506 * [taylor]: Taking taylor expansion of t in z
0.507 * [taylor]: Taking taylor expansion of (* -1 (/ x t)) in x
0.507 * [taylor]: Taking taylor expansion of -1 in x
0.507 * [taylor]: Taking taylor expansion of (/ x t) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [taylor]: Taking taylor expansion of t in x
0.508 * [taylor]: Taking taylor expansion of 0 in z
0.508 * [taylor]: Taking taylor expansion of 0 in x
0.508 * [taylor]: Taking taylor expansion of 0 in t
0.509 * [taylor]: Taking taylor expansion of (/ 1 t) in x
0.509 * [taylor]: Taking taylor expansion of t in x
0.509 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.509 * [taylor]: Taking taylor expansion of t in t
0.509 * [taylor]: Taking taylor expansion of (/ -1 t) in t
0.509 * [taylor]: Taking taylor expansion of -1 in t
0.509 * [taylor]: Taking taylor expansion of t in t
0.511 * [taylor]: Taking taylor expansion of 0 in z
0.511 * [taylor]: Taking taylor expansion of 0 in x
0.511 * [taylor]: Taking taylor expansion of 0 in t
0.511 * [taylor]: Taking taylor expansion of 0 in x
0.511 * [taylor]: Taking taylor expansion of 0 in t
0.512 * [taylor]: Taking taylor expansion of 0 in x
0.512 * [taylor]: Taking taylor expansion of 0 in t
0.512 * [taylor]: Taking taylor expansion of 0 in t
0.512 * [taylor]: Taking taylor expansion of 0 in t
0.512 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of 0 in z
0.515 * [taylor]: Taking taylor expansion of 0 in x
0.515 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of 0 in x
0.515 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of 0 in x
0.515 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of 0 in x
0.515 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of 0 in t
0.515 * [taylor]: Taking taylor expansion of 0 in t
0.516 * [taylor]: Taking taylor expansion of 0 in t
0.516 * [taylor]: Taking taylor expansion of 0 in t
0.517 * [approximate]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in (y z x t) around 0
0.517 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in t
0.517 * [taylor]: Taking taylor expansion of t in t
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in t
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.517 * [taylor]: Taking taylor expansion of (* z y) in t
0.517 * [taylor]: Taking taylor expansion of z in t
0.517 * [taylor]: Taking taylor expansion of y in t
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.517 * [taylor]: Taking taylor expansion of (* x y) in t
0.517 * [taylor]: Taking taylor expansion of x in t
0.517 * [taylor]: Taking taylor expansion of y in t
0.517 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in x
0.517 * [taylor]: Taking taylor expansion of t in x
0.517 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.517 * [taylor]: Taking taylor expansion of (* z y) in x
0.517 * [taylor]: Taking taylor expansion of z in x
0.517 * [taylor]: Taking taylor expansion of y in x
0.517 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.517 * [taylor]: Taking taylor expansion of (* x y) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.517 * [taylor]: Taking taylor expansion of y in x
0.518 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in z
0.518 * [taylor]: Taking taylor expansion of t in z
0.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.518 * [taylor]: Taking taylor expansion of (* z y) in z
0.518 * [taylor]: Taking taylor expansion of z in z
0.518 * [taylor]: Taking taylor expansion of y in z
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.518 * [taylor]: Taking taylor expansion of (* x y) in z
0.518 * [taylor]: Taking taylor expansion of x in z
0.518 * [taylor]: Taking taylor expansion of y in z
0.518 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in y
0.518 * [taylor]: Taking taylor expansion of t in y
0.518 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y
0.518 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.518 * [taylor]: Taking taylor expansion of (* z y) in y
0.518 * [taylor]: Taking taylor expansion of z in y
0.518 * [taylor]: Taking taylor expansion of y in y
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.519 * [taylor]: Taking taylor expansion of (* x y) in y
0.519 * [taylor]: Taking taylor expansion of x in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.519 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in y
0.519 * [taylor]: Taking taylor expansion of t in y
0.519 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.519 * [taylor]: Taking taylor expansion of (* z y) in y
0.519 * [taylor]: Taking taylor expansion of z in y
0.519 * [taylor]: Taking taylor expansion of y in y
0.519 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.519 * [taylor]: Taking taylor expansion of (* x y) in y
0.520 * [taylor]: Taking taylor expansion of x in y
0.520 * [taylor]: Taking taylor expansion of y in y
0.520 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
0.520 * [taylor]: Taking taylor expansion of t in z
0.520 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.520 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.520 * [taylor]: Taking taylor expansion of z in z
0.520 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.520 * [taylor]: Taking taylor expansion of x in z
0.521 * [taylor]: Taking taylor expansion of t in x
0.522 * [taylor]: Taking taylor expansion of 0 in z
0.523 * [taylor]: Taking taylor expansion of (- (/ t x)) in x
0.523 * [taylor]: Taking taylor expansion of (/ t x) in x
0.523 * [taylor]: Taking taylor expansion of t in x
0.523 * [taylor]: Taking taylor expansion of x in x
0.523 * [taylor]: Taking taylor expansion of (- t) in t
0.523 * [taylor]: Taking taylor expansion of t in t
0.523 * [taylor]: Taking taylor expansion of t in t
0.525 * [taylor]: Taking taylor expansion of 0 in z
0.525 * [taylor]: Taking taylor expansion of 0 in x
0.527 * [taylor]: Taking taylor expansion of 0 in x
0.527 * [taylor]: Taking taylor expansion of 0 in t
0.527 * [taylor]: Taking taylor expansion of 0 in t
0.530 * [taylor]: Taking taylor expansion of 0 in z
0.530 * [taylor]: Taking taylor expansion of 0 in x
0.530 * [taylor]: Taking taylor expansion of 0 in x
0.532 * [taylor]: Taking taylor expansion of 0 in x
0.532 * [taylor]: Taking taylor expansion of 0 in t
0.532 * [taylor]: Taking taylor expansion of 0 in t
0.533 * [taylor]: Taking taylor expansion of 0 in t
0.533 * [taylor]: Taking taylor expansion of 0 in t
0.533 * [approximate]: Taking taylor expansion of (* -1 (* t (- (/ 1 (* z y)) (/ 1 (* x y))))) in (y z x t) around 0
0.533 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 (* z y)) (/ 1 (* x y))))) in t
0.533 * [taylor]: Taking taylor expansion of -1 in t
0.533 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in t
0.533 * [taylor]: Taking taylor expansion of t in t
0.533 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in t
0.533 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in t
0.533 * [taylor]: Taking taylor expansion of (* z y) in t
0.533 * [taylor]: Taking taylor expansion of z in t
0.533 * [taylor]: Taking taylor expansion of y in t
0.534 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t
0.534 * [taylor]: Taking taylor expansion of (* x y) in t
0.534 * [taylor]: Taking taylor expansion of x in t
0.534 * [taylor]: Taking taylor expansion of y in t
0.534 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 (* z y)) (/ 1 (* x y))))) in x
0.534 * [taylor]: Taking taylor expansion of -1 in x
0.534 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in x
0.534 * [taylor]: Taking taylor expansion of t in x
0.534 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.534 * [taylor]: Taking taylor expansion of (* z y) in x
0.534 * [taylor]: Taking taylor expansion of z in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.534 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.534 * [taylor]: Taking taylor expansion of (* x y) in x
0.534 * [taylor]: Taking taylor expansion of x in x
0.534 * [taylor]: Taking taylor expansion of y in x
0.534 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 (* z y)) (/ 1 (* x y))))) in z
0.534 * [taylor]: Taking taylor expansion of -1 in z
0.534 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in z
0.534 * [taylor]: Taking taylor expansion of t in z
0.534 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z
0.534 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.534 * [taylor]: Taking taylor expansion of (* z y) in z
0.534 * [taylor]: Taking taylor expansion of z in z
0.534 * [taylor]: Taking taylor expansion of y in z
0.535 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.535 * [taylor]: Taking taylor expansion of (* x y) in z
0.535 * [taylor]: Taking taylor expansion of x in z
0.535 * [taylor]: Taking taylor expansion of y in z
0.535 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 (* z y)) (/ 1 (* x y))))) in y
0.535 * [taylor]: Taking taylor expansion of -1 in y
0.535 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in y
0.535 * [taylor]: Taking taylor expansion of t in y
0.535 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y
0.535 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.535 * [taylor]: Taking taylor expansion of (* z y) in y
0.535 * [taylor]: Taking taylor expansion of z in y
0.535 * [taylor]: Taking taylor expansion of y in y
0.535 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.535 * [taylor]: Taking taylor expansion of (* x y) in y
0.535 * [taylor]: Taking taylor expansion of x in y
0.535 * [taylor]: Taking taylor expansion of y in y
0.536 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 (* z y)) (/ 1 (* x y))))) in y
0.536 * [taylor]: Taking taylor expansion of -1 in y
0.536 * [taylor]: Taking taylor expansion of (* t (- (/ 1 (* z y)) (/ 1 (* x y)))) in y
0.536 * [taylor]: Taking taylor expansion of t in y
0.536 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.536 * [taylor]: Taking taylor expansion of (* z y) in y
0.536 * [taylor]: Taking taylor expansion of z in y
0.536 * [taylor]: Taking taylor expansion of y in y
0.536 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.536 * [taylor]: Taking taylor expansion of (* x y) in y
0.536 * [taylor]: Taking taylor expansion of x in y
0.536 * [taylor]: Taking taylor expansion of y in y
0.537 * [taylor]: Taking taylor expansion of (* -1 (* t (- (/ 1 z) (/ 1 x)))) in z
0.537 * [taylor]: Taking taylor expansion of -1 in z
0.537 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
0.537 * [taylor]: Taking taylor expansion of t in z
0.537 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.537 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.537 * [taylor]: Taking taylor expansion of z in z
0.537 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.537 * [taylor]: Taking taylor expansion of x in z
0.538 * [taylor]: Taking taylor expansion of (* -1 t) in x
0.538 * [taylor]: Taking taylor expansion of -1 in x
0.538 * [taylor]: Taking taylor expansion of t in x
0.539 * [taylor]: Taking taylor expansion of 0 in z
0.540 * [taylor]: Taking taylor expansion of (/ t x) in x
0.540 * [taylor]: Taking taylor expansion of t in x
0.540 * [taylor]: Taking taylor expansion of x in x
0.540 * [taylor]: Taking taylor expansion of t in t
0.540 * [taylor]: Taking taylor expansion of (* -1 t) in t
0.540 * [taylor]: Taking taylor expansion of -1 in t
0.540 * [taylor]: Taking taylor expansion of t in t
0.543 * [taylor]: Taking taylor expansion of 0 in z
0.543 * [taylor]: Taking taylor expansion of 0 in x
0.545 * [taylor]: Taking taylor expansion of 0 in x
0.545 * [taylor]: Taking taylor expansion of 0 in t
0.546 * [taylor]: Taking taylor expansion of 0 in t
0.553 * [taylor]: Taking taylor expansion of 0 in z
0.553 * [taylor]: Taking taylor expansion of 0 in x
0.553 * [taylor]: Taking taylor expansion of 0 in x
0.555 * [taylor]: Taking taylor expansion of 0 in x
0.555 * [taylor]: Taking taylor expansion of 0 in t
0.555 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.556 * [taylor]: Taking taylor expansion of 0 in t
0.557 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.557 * [approximate]: Taking taylor expansion of (- (* z y) (* x y)) in (y z x) around 0
0.557 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in x
0.557 * [taylor]: Taking taylor expansion of (* z y) in x
0.557 * [taylor]: Taking taylor expansion of z in x
0.557 * [taylor]: Taking taylor expansion of y in x
0.557 * [taylor]: Taking taylor expansion of (* x y) in x
0.557 * [taylor]: Taking taylor expansion of x in x
0.557 * [taylor]: Taking taylor expansion of y in x
0.557 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in z
0.557 * [taylor]: Taking taylor expansion of (* z y) in z
0.557 * [taylor]: Taking taylor expansion of z in z
0.557 * [taylor]: Taking taylor expansion of y in z
0.557 * [taylor]: Taking taylor expansion of (* x y) in z
0.557 * [taylor]: Taking taylor expansion of x in z
0.557 * [taylor]: Taking taylor expansion of y in z
0.557 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y
0.557 * [taylor]: Taking taylor expansion of (* z y) in y
0.557 * [taylor]: Taking taylor expansion of z in y
0.557 * [taylor]: Taking taylor expansion of y in y
0.557 * [taylor]: Taking taylor expansion of (* x y) in y
0.557 * [taylor]: Taking taylor expansion of x in y
0.557 * [taylor]: Taking taylor expansion of y in y
0.557 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y
0.557 * [taylor]: Taking taylor expansion of (* z y) in y
0.557 * [taylor]: Taking taylor expansion of z in y
0.557 * [taylor]: Taking taylor expansion of y in y
0.557 * [taylor]: Taking taylor expansion of (* x y) in y
0.557 * [taylor]: Taking taylor expansion of x in y
0.557 * [taylor]: Taking taylor expansion of y in y
0.558 * [taylor]: Taking taylor expansion of 0 in z
0.558 * [taylor]: Taking taylor expansion of 0 in x
0.559 * [taylor]: Taking taylor expansion of (- z x) in z
0.559 * [taylor]: Taking taylor expansion of z in z
0.559 * [taylor]: Taking taylor expansion of x in z
0.559 * [taylor]: Taking taylor expansion of (- x) in x
0.559 * [taylor]: Taking taylor expansion of x in x
0.559 * [taylor]: Taking taylor expansion of 0 in x
0.560 * [taylor]: Taking taylor expansion of 0 in z
0.560 * [taylor]: Taking taylor expansion of 0 in x
0.561 * [taylor]: Taking taylor expansion of 1 in x
0.561 * [taylor]: Taking taylor expansion of 0 in x
0.562 * [taylor]: Taking taylor expansion of 0 in z
0.563 * [taylor]: Taking taylor expansion of 0 in x
0.563 * [taylor]: Taking taylor expansion of 0 in x
0.563 * [taylor]: Taking taylor expansion of 0 in x
0.563 * [taylor]: Taking taylor expansion of 0 in x
0.563 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0
0.563 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x
0.563 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.563 * [taylor]: Taking taylor expansion of (* z y) in x
0.563 * [taylor]: Taking taylor expansion of z in x
0.563 * [taylor]: Taking taylor expansion of y in x
0.564 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.564 * [taylor]: Taking taylor expansion of (* x y) in x
0.564 * [taylor]: Taking taylor expansion of x in x
0.564 * [taylor]: Taking taylor expansion of y in x
0.564 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z
0.564 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.564 * [taylor]: Taking taylor expansion of (* z y) in z
0.564 * [taylor]: Taking taylor expansion of z in z
0.564 * [taylor]: Taking taylor expansion of y in z
0.564 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.564 * [taylor]: Taking taylor expansion of (* x y) in z
0.564 * [taylor]: Taking taylor expansion of x in z
0.564 * [taylor]: Taking taylor expansion of y in z
0.564 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y
0.564 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.564 * [taylor]: Taking taylor expansion of (* z y) in y
0.565 * [taylor]: Taking taylor expansion of z in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.565 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.565 * [taylor]: Taking taylor expansion of (* x y) in y
0.565 * [taylor]: Taking taylor expansion of x in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.565 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y
0.565 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.565 * [taylor]: Taking taylor expansion of (* z y) in y
0.565 * [taylor]: Taking taylor expansion of z in y
0.565 * [taylor]: Taking taylor expansion of y in y
0.566 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.566 * [taylor]: Taking taylor expansion of (* x y) in y
0.566 * [taylor]: Taking taylor expansion of x in y
0.566 * [taylor]: Taking taylor expansion of y in y
0.566 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.566 * [taylor]: Taking taylor expansion of z in z
0.566 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.566 * [taylor]: Taking taylor expansion of x in z
0.567 * [taylor]: Taking taylor expansion of 1 in x
0.568 * [taylor]: Taking taylor expansion of 0 in z
0.569 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.569 * [taylor]: Taking taylor expansion of x in x
0.571 * [taylor]: Taking taylor expansion of 0 in z
0.571 * [taylor]: Taking taylor expansion of 0 in x
0.572 * [taylor]: Taking taylor expansion of 0 in x
0.574 * [taylor]: Taking taylor expansion of 0 in z
0.574 * [taylor]: Taking taylor expansion of 0 in x
0.574 * [taylor]: Taking taylor expansion of 0 in x
0.576 * [taylor]: Taking taylor expansion of 0 in x
0.577 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
0.577 * [taylor]: Taking taylor expansion of (* z y) in x
0.577 * [taylor]: Taking taylor expansion of z in x
0.577 * [taylor]: Taking taylor expansion of y in x
0.577 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
0.577 * [taylor]: Taking taylor expansion of (* x y) in x
0.577 * [taylor]: Taking taylor expansion of x in x
0.577 * [taylor]: Taking taylor expansion of y in x
0.577 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z
0.577 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
0.577 * [taylor]: Taking taylor expansion of (* z y) in z
0.577 * [taylor]: Taking taylor expansion of z in z
0.577 * [taylor]: Taking taylor expansion of y in z
0.578 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
0.578 * [taylor]: Taking taylor expansion of (* x y) in z
0.578 * [taylor]: Taking taylor expansion of x in z
0.578 * [taylor]: Taking taylor expansion of y in z
0.578 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y
0.578 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.578 * [taylor]: Taking taylor expansion of (* z y) in y
0.578 * [taylor]: Taking taylor expansion of z in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.578 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.578 * [taylor]: Taking taylor expansion of (* x y) in y
0.578 * [taylor]: Taking taylor expansion of x in y
0.578 * [taylor]: Taking taylor expansion of y in y
0.578 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y
0.578 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
0.579 * [taylor]: Taking taylor expansion of (* z y) in y
0.579 * [taylor]: Taking taylor expansion of z in y
0.579 * [taylor]: Taking taylor expansion of y in y
0.579 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
0.579 * [taylor]: Taking taylor expansion of (* x y) in y
0.579 * [taylor]: Taking taylor expansion of x in y
0.579 * [taylor]: Taking taylor expansion of y in y
0.579 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
0.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z
0.579 * [taylor]: Taking taylor expansion of z in z
0.580 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.580 * [taylor]: Taking taylor expansion of x in z
0.580 * [taylor]: Taking taylor expansion of 1 in x
0.581 * [taylor]: Taking taylor expansion of 0 in z
0.582 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
0.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.582 * [taylor]: Taking taylor expansion of x in x
0.584 * [taylor]: Taking taylor expansion of 0 in z
0.584 * [taylor]: Taking taylor expansion of 0 in x
0.585 * [taylor]: Taking taylor expansion of 0 in x
0.587 * [taylor]: Taking taylor expansion of 0 in z
0.587 * [taylor]: Taking taylor expansion of 0 in x
0.587 * [taylor]: Taking taylor expansion of 0 in x
0.588 * [taylor]: Taking taylor expansion of 0 in x
0.589 * * * * [progress]: [ 3 / 3 ] generating series at (2)
0.590 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x y z t) around 0
0.590 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t
0.590 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
0.590 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
0.590 * [taylor]: Taking taylor expansion of (* z y) in t
0.590 * [taylor]: Taking taylor expansion of z in t
0.590 * [taylor]: Taking taylor expansion of y in t
0.590 * [taylor]: Taking taylor expansion of t in t
0.590 * [taylor]: Taking taylor expansion of x in t
0.590 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t
0.590 * [taylor]: Taking taylor expansion of (* x y) in t
0.590 * [taylor]: Taking taylor expansion of x in t
0.590 * [taylor]: Taking taylor expansion of y in t
0.590 * [taylor]: Taking taylor expansion of t in t
0.590 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z
0.590 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
0.590 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
0.590 * [taylor]: Taking taylor expansion of (* z y) in z
0.590 * [taylor]: Taking taylor expansion of z in z
0.590 * [taylor]: Taking taylor expansion of y in z
0.590 * [taylor]: Taking taylor expansion of t in z
0.590 * [taylor]: Taking taylor expansion of x in z
0.591 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z
0.591 * [taylor]: Taking taylor expansion of (* x y) in z
0.591 * [taylor]: Taking taylor expansion of x in z
0.591 * [taylor]: Taking taylor expansion of y in z
0.591 * [taylor]: Taking taylor expansion of t in z
0.591 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y
0.591 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
0.591 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.591 * [taylor]: Taking taylor expansion of (* z y) in y
0.591 * [taylor]: Taking taylor expansion of z in y
0.591 * [taylor]: Taking taylor expansion of y in y
0.591 * [taylor]: Taking taylor expansion of t in y
0.591 * [taylor]: Taking taylor expansion of x in y
0.591 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y
0.591 * [taylor]: Taking taylor expansion of (* x y) in y
0.591 * [taylor]: Taking taylor expansion of x in y
0.591 * [taylor]: Taking taylor expansion of y in y
0.591 * [taylor]: Taking taylor expansion of t in y
0.592 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
0.592 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
0.592 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
0.592 * [taylor]: Taking taylor expansion of (* z y) in x
0.592 * [taylor]: Taking taylor expansion of z in x
0.592 * [taylor]: Taking taylor expansion of y in x
0.592 * [taylor]: Taking taylor expansion of t in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
0.592 * [taylor]: Taking taylor expansion of (* x y) in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of y in x
0.592 * [taylor]: Taking taylor expansion of t in x
0.592 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
0.592 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
0.592 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
0.592 * [taylor]: Taking taylor expansion of (* z y) in x
0.592 * [taylor]: Taking taylor expansion of z in x
0.592 * [taylor]: Taking taylor expansion of y in x
0.592 * [taylor]: Taking taylor expansion of t in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.592 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
0.592 * [taylor]: Taking taylor expansion of (* x y) in x
0.592 * [taylor]: Taking taylor expansion of x in x
0.593 * [taylor]: Taking taylor expansion of y in x
0.593 * [taylor]: Taking taylor expansion of t in x
0.593 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
0.593 * [taylor]: Taking taylor expansion of (* z y) in y
0.593 * [taylor]: Taking taylor expansion of z in y
0.593 * [taylor]: Taking taylor expansion of y in y
0.593 * [taylor]: Taking taylor expansion of t in y
0.594 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in y
0.594 * [taylor]: Taking taylor expansion of 1 in y
0.594 * [taylor]: Taking taylor expansion of (/ y t) in y
0.594 * [taylor]: Taking taylor expansion of y in y
0.594 * [taylor]: Taking taylor expansion of t in y
0.594 * [taylor]: Taking taylor expansion of 1 in z
0.594 * [taylor]: Taking taylor expansion of 1 in t
0.595 * [taylor]: Taking taylor expansion of (/ z t) in z
0.595 * [taylor]: Taking taylor expansion of z in z
0.595 * [taylor]: Taking taylor expansion of t in z
0.597 * [taylor]: Taking taylor expansion of 0 in y
0.597 * [taylor]: Taking taylor expansion of 0 in z
0.597 * [taylor]: Taking taylor expansion of 0 in t
0.597 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in z
0.597 * [taylor]: Taking taylor expansion of (/ 1 t) in z
0.597 * [taylor]: Taking taylor expansion of t in z
0.597 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
0.597 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.597 * [taylor]: Taking taylor expansion of t in t
0.598 * [taylor]: Taking taylor expansion of 0 in z
0.598 * [taylor]: Taking taylor expansion of 0 in t
0.598 * [taylor]: Taking taylor expansion of 0 in t
0.598 * [taylor]: Taking taylor expansion of (/ 1 t) in t
0.598 * [taylor]: Taking taylor expansion of t in t
0.599 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x y z t) around 0
0.599 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t
0.599 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
0.599 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.599 * [taylor]: Taking taylor expansion of t in t
0.599 * [taylor]: Taking taylor expansion of (* z y) in t
0.599 * [taylor]: Taking taylor expansion of z in t
0.599 * [taylor]: Taking taylor expansion of y in t
0.599 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.599 * [taylor]: Taking taylor expansion of x in t
0.599 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
0.599 * [taylor]: Taking taylor expansion of t in t
0.599 * [taylor]: Taking taylor expansion of (* x y) in t
0.599 * [taylor]: Taking taylor expansion of x in t
0.599 * [taylor]: Taking taylor expansion of y in t
0.599 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z
0.599 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
0.599 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
0.599 * [taylor]: Taking taylor expansion of t in z
0.599 * [taylor]: Taking taylor expansion of (* z y) in z
0.599 * [taylor]: Taking taylor expansion of z in z
0.599 * [taylor]: Taking taylor expansion of y in z
0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.600 * [taylor]: Taking taylor expansion of x in z
0.600 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
0.600 * [taylor]: Taking taylor expansion of t in z
0.600 * [taylor]: Taking taylor expansion of (* x y) in z
0.600 * [taylor]: Taking taylor expansion of x in z
0.600 * [taylor]: Taking taylor expansion of y in z
0.600 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y
0.600 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
0.600 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.600 * [taylor]: Taking taylor expansion of t in y
0.600 * [taylor]: Taking taylor expansion of (* z y) in y
0.600 * [taylor]: Taking taylor expansion of z in y
0.600 * [taylor]: Taking taylor expansion of y in y
0.600 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.600 * [taylor]: Taking taylor expansion of x in y
0.600 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
0.600 * [taylor]: Taking taylor expansion of t in y
0.600 * [taylor]: Taking taylor expansion of (* x y) in y
0.600 * [taylor]: Taking taylor expansion of x in y
0.600 * [taylor]: Taking taylor expansion of y in y
0.601 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
0.601 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
0.601 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
0.601 * [taylor]: Taking taylor expansion of t in x
0.601 * [taylor]: Taking taylor expansion of (* z y) in x
0.601 * [taylor]: Taking taylor expansion of z in x
0.601 * [taylor]: Taking taylor expansion of y in x
0.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.601 * [taylor]: Taking taylor expansion of x in x
0.601 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
0.601 * [taylor]: Taking taylor expansion of t in x
0.601 * [taylor]: Taking taylor expansion of (* x y) in x
0.601 * [taylor]: Taking taylor expansion of x in x
0.601 * [taylor]: Taking taylor expansion of y in x
0.602 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
0.602 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
0.602 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
0.602 * [taylor]: Taking taylor expansion of t in x
0.602 * [taylor]: Taking taylor expansion of (* z y) in x
0.602 * [taylor]: Taking taylor expansion of z in x
0.602 * [taylor]: Taking taylor expansion of y in x
0.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.602 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
0.602 * [taylor]: Taking taylor expansion of t in x
0.602 * [taylor]: Taking taylor expansion of (* x y) in x
0.602 * [taylor]: Taking taylor expansion of x in x
0.602 * [taylor]: Taking taylor expansion of y in x
0.603 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in y
0.603 * [taylor]: Taking taylor expansion of 1 in y
0.603 * [taylor]: Taking taylor expansion of (/ t y) in y
0.603 * [taylor]: Taking taylor expansion of t in y
0.603 * [taylor]: Taking taylor expansion of y in y
0.603 * [taylor]: Taking taylor expansion of (- t) in z
0.603 * [taylor]: Taking taylor expansion of t in z
0.604 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.604 * [taylor]: Taking taylor expansion of t in y
0.604 * [taylor]: Taking taylor expansion of (* z y) in y
0.604 * [taylor]: Taking taylor expansion of z in y
0.604 * [taylor]: Taking taylor expansion of y in y
0.605 * [taylor]: Taking taylor expansion of (/ t z) in z
0.605 * [taylor]: Taking taylor expansion of t in z
0.605 * [taylor]: Taking taylor expansion of z in z
0.605 * [taylor]: Taking taylor expansion of t in t
0.606 * [taylor]: Taking taylor expansion of 1 in z
0.606 * [taylor]: Taking taylor expansion of (- t) in t
0.606 * [taylor]: Taking taylor expansion of t in t
0.608 * [taylor]: Taking taylor expansion of 0 in y
0.609 * [taylor]: Taking taylor expansion of 0 in z
0.610 * [taylor]: Taking taylor expansion of 0 in z
0.611 * [taylor]: Taking taylor expansion of 0 in t
0.611 * [taylor]: Taking taylor expansion of 1 in t
0.611 * [taylor]: Taking taylor expansion of 0 in t
0.612 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0
0.612 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t
0.612 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
0.612 * [taylor]: Taking taylor expansion of t in t
0.612 * [taylor]: Taking taylor expansion of (* x y) in t
0.612 * [taylor]: Taking taylor expansion of x in t
0.612 * [taylor]: Taking taylor expansion of y in t
0.612 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
0.612 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
0.612 * [taylor]: Taking taylor expansion of t in t
0.612 * [taylor]: Taking taylor expansion of (* z y) in t
0.612 * [taylor]: Taking taylor expansion of z in t
0.612 * [taylor]: Taking taylor expansion of y in t
0.612 * [taylor]: Taking taylor expansion of (/ 1 x) in t
0.612 * [taylor]: Taking taylor expansion of x in t
0.613 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z
0.613 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
0.613 * [taylor]: Taking taylor expansion of t in z
0.613 * [taylor]: Taking taylor expansion of (* x y) in z
0.613 * [taylor]: Taking taylor expansion of x in z
0.613 * [taylor]: Taking taylor expansion of y in z
0.613 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
0.613 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
0.613 * [taylor]: Taking taylor expansion of t in z
0.613 * [taylor]: Taking taylor expansion of (* z y) in z
0.613 * [taylor]: Taking taylor expansion of z in z
0.613 * [taylor]: Taking taylor expansion of y in z
0.613 * [taylor]: Taking taylor expansion of (/ 1 x) in z
0.613 * [taylor]: Taking taylor expansion of x in z
0.613 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y
0.613 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
0.613 * [taylor]: Taking taylor expansion of t in y
0.613 * [taylor]: Taking taylor expansion of (* x y) in y
0.613 * [taylor]: Taking taylor expansion of x in y
0.613 * [taylor]: Taking taylor expansion of y in y
0.614 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
0.614 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.614 * [taylor]: Taking taylor expansion of t in y
0.614 * [taylor]: Taking taylor expansion of (* z y) in y
0.614 * [taylor]: Taking taylor expansion of z in y
0.614 * [taylor]: Taking taylor expansion of y in y
0.614 * [taylor]: Taking taylor expansion of (/ 1 x) in y
0.614 * [taylor]: Taking taylor expansion of x in y
0.614 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
0.614 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
0.614 * [taylor]: Taking taylor expansion of t in x
0.614 * [taylor]: Taking taylor expansion of (* x y) in x
0.614 * [taylor]: Taking taylor expansion of x in x
0.614 * [taylor]: Taking taylor expansion of y in x
0.614 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
0.614 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
0.614 * [taylor]: Taking taylor expansion of t in x
0.615 * [taylor]: Taking taylor expansion of (* z y) in x
0.615 * [taylor]: Taking taylor expansion of z in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
0.615 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
0.615 * [taylor]: Taking taylor expansion of t in x
0.615 * [taylor]: Taking taylor expansion of (* x y) in x
0.615 * [taylor]: Taking taylor expansion of x in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
0.615 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
0.615 * [taylor]: Taking taylor expansion of t in x
0.615 * [taylor]: Taking taylor expansion of (* z y) in x
0.615 * [taylor]: Taking taylor expansion of z in x
0.615 * [taylor]: Taking taylor expansion of y in x
0.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.616 * [taylor]: Taking taylor expansion of x in x
0.616 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in y
0.616 * [taylor]: Taking taylor expansion of (/ t y) in y
0.616 * [taylor]: Taking taylor expansion of t in y
0.616 * [taylor]: Taking taylor expansion of y in y
0.616 * [taylor]: Taking taylor expansion of 1 in y
0.617 * [taylor]: Taking taylor expansion of t in z
0.618 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y
0.618 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
0.618 * [taylor]: Taking taylor expansion of t in y
0.618 * [taylor]: Taking taylor expansion of (* z y) in y
0.618 * [taylor]: Taking taylor expansion of z in y
0.618 * [taylor]: Taking taylor expansion of y in y
0.618 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
0.618 * [taylor]: Taking taylor expansion of (/ t z) in z
0.618 * [taylor]: Taking taylor expansion of t in z
0.618 * [taylor]: Taking taylor expansion of z in z
0.618 * [taylor]: Taking taylor expansion of (- t) in t
0.618 * [taylor]: Taking taylor expansion of t in t
0.620 * [taylor]: Taking taylor expansion of -1 in z
0.620 * [taylor]: Taking taylor expansion of t in t
0.622 * [taylor]: Taking taylor expansion of 0 in y
0.623 * [taylor]: Taking taylor expansion of 0 in z
0.624 * [taylor]: Taking taylor expansion of 0 in z
0.625 * [taylor]: Taking taylor expansion of 0 in t
0.625 * [taylor]: Taking taylor expansion of -1 in t
0.625 * [taylor]: Taking taylor expansion of 0 in t
0.626 * * * [progress]: simplifying candidates
0.627 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (log (+ (* y z) (* y (- x)))) (log t))
  (log (/ (+ (* y z) (* y (- x))) t))
  (exp (/ (+ (* y z) (* y (- x))) t))
  (/ (* (* (+ (* y z) (* y (- x))) (+ (* y z) (* y (- x)))) (+ (* y z) (* y (- x)))) (* (* t t) t))
  (* (cbrt (/ (+ (* y z) (* y (- x))) t)) (cbrt (/ (+ (* y z) (* y (- x))) t)))
  (cbrt (/ (+ (* y z) (* y (- x))) t))
  (* (* (/ (+ (* y z) (* y (- x))) t) (/ (+ (* y z) (* y (- x))) t)) (/ (+ (* y z) (* y (- x))) t))
  (sqrt (/ (+ (* y z) (* y (- x))) t))
  (sqrt (/ (+ (* y z) (* y (- x))) t))
  (- (+ (* y z) (* y (- x))))
  (- t)
  (/ (* y z) t)
  (/ (* y x) t)
  (/ (* y z) t)
  (/ (* y x) t)
  (/ (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x))))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (+ (* y z) (* y (- x)))) (cbrt t))
  (/ (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x))))) (sqrt t))
  (/ (cbrt (+ (* y z) (* y (- x)))) (sqrt t))
  (/ (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x))))) 1)
  (/ (cbrt (+ (* y z) (* y (- x)))) t)
  (/ (sqrt (+ (* y z) (* y (- x)))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (+ (* y z) (* y (- x)))) (cbrt t))
  (/ (sqrt (+ (* y z) (* y (- x)))) (sqrt t))
  (/ (sqrt (+ (* y z) (* y (- x)))) (sqrt t))
  (/ (sqrt (+ (* y z) (* y (- x)))) 1)
  (/ (sqrt (+ (* y z) (* y (- x)))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (* y z) (* y (- x))) (cbrt t))
  (/ 1 (sqrt t))
  (/ (+ (* y z) (* y (- x))) (sqrt t))
  (/ 1 1)
  (/ (+ (* y z) (* y (- x))) t)
  (/ y (* (cbrt t) (cbrt t)))
  (/ (+ z (- x)) (cbrt t))
  (/ y (sqrt t))
  (/ (+ z (- x)) (sqrt t))
  (/ y 1)
  (/ (+ z (- x)) t)
  (/ 1 t)
  (/ t (+ (* y z) (* y (- x))))
  (/ (+ (* y z) (* y (- x))) (* (cbrt t) (cbrt t)))
  (/ (+ (* y z) (* y (- x))) (sqrt t))
  (/ (+ (* y z) (* y (- x))) 1)
  (/ t (cbrt (+ (* y z) (* y (- x)))))
  (/ t (sqrt (+ (* y z) (* y (- x)))))
  (/ t (+ (* y z) (* y (- x))))
  (/ t (+ z (- x)))
  (* t (+ (* (* y z) (* y z)) (- (* (* y (- x)) (* y (- x))) (* (* y z) (* y (- x))))))
  (* t (- (* y z) (* y (- x))))
  (* (exp (* y z)) (exp (* y (- x))))
  (log (+ (* y z) (* y (- x))))
  (exp (+ (* y z) (* y (- x))))
  (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x)))))
  (cbrt (+ (* y z) (* y (- x))))
  (* (* (+ (* y z) (* y (- x))) (+ (* y z) (* y (- x)))) (+ (* y z) (* y (- x))))
  (sqrt (+ (* y z) (* y (- x))))
  (sqrt (+ (* y z) (* y (- x))))
  (+ (pow (* y z) 3) (pow (* y (- x)) 3))
  (+ (* (* y z) (* y z)) (- (* (* y (- x)) (* y (- x))) (* (* y z) (* y (- x)))))
  (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))
  (- (* y z) (* y (- x)))
  (+ z (- x))
  (* (exp x) (exp (/ (+ (* y z) (* y (- x))) t)))
  (log (+ x (/ (+ (* y z) (* y (- x))) t)))
  (exp (+ x (/ (+ (* y z) (* y (- x))) t)))
  (* (cbrt (+ x (/ (+ (* y z) (* y (- x))) t))) (cbrt (+ x (/ (+ (* y z) (* y (- x))) t))))
  (cbrt (+ x (/ (+ (* y z) (* y (- x))) t)))
  (* (* (+ x (/ (+ (* y z) (* y (- x))) t)) (+ x (/ (+ (* y z) (* y (- x))) t))) (+ x (/ (+ (* y z) (* y (- x))) t)))
  (sqrt (+ x (/ (+ (* y z) (* y (- x))) t)))
  (sqrt (+ x (/ (+ (* y z) (* y (- x))) t)))
  (+ (pow x 3) (pow (/ (+ (* y z) (* y (- x))) t) 3))
  (+ (* x x) (- (* (/ (+ (* y z) (* y (- x))) t) (/ (+ (* y z) (* y (- x))) t)) (* x (/ (+ (* y z) (* y (- x))) t))))
  (- (* x x) (* (/ (+ (* y z) (* y (- x))) t) (/ (+ (* y z) (* y (- x))) t)))
  (- x (/ (+ (* y z) (* y (- x))) t))
  (+ x (/ (+ (* y z) (* y (- x))) t))
  (+ x (/ (* y z) t))
  (+ x (/ (* y z) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
  (- (* z y) (* x y))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
0.633 * * [simplify]: iteration  0 :  281  enodes  (cost  536 )
0.639 * * [simplify]: iteration  1 :  1062  enodes  (cost  465 )
0.665 * * [simplify]: iteration  2 :  5001  enodes  (cost  438 )
0.667 * [simplify]: Simplified to:
   (- (log (* y (- z x))) (log t))
  (- (log (* y (- z x))) (log t))
  (exp (/ (* y (- z x)) t))
  (pow (/ (* y (- z x)) t) 3)
  (* (cbrt (/ (+ (* y z) (* y (- x))) t)) (cbrt (/ (+ (* y z) (* y (- x))) t)))
  (cbrt (/ (+ (* y z) (* y (- x))) t))
  (pow (/ (* y (- z x)) t) 3)
  (sqrt (/ (+ (* y z) (* y (- x))) t))
  (sqrt (/ (+ (* y z) (* y (- x))) t))
  (* (- y) (- z x))
  (- t)
  (/ (* z y) t)
  (/ (* x y) t)
  (/ (* z y) t)
  (/ (* x y) t)
  (/ (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x))))) (* (cbrt t) (cbrt t)))
  (/ (cbrt (+ (* y z) (* y (- x)))) (cbrt t))
  (/ (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x))))) (sqrt t))
  (/ (cbrt (+ (* y z) (* y (- x)))) (sqrt t))
  (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x)))))
  (/ (cbrt (+ (* y z) (* y (- x)))) t)
  (/ (sqrt (+ (* y z) (* y (- x)))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (+ (* y z) (* y (- x)))) (cbrt t))
  (/ (sqrt (+ (* y z) (* y (- x)))) (sqrt t))
  (/ (sqrt (+ (* y z) (* y (- x)))) (sqrt t))
  (sqrt (+ (* y z) (* y (- x))))
  (/ (sqrt (+ (* y z) (* y (- x)))) t)
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ y (/ (cbrt t) (- z x)))
  (/ 1 (sqrt t))
  (/ y (/ (sqrt t) (- z x)))
  1
  (/ (* y (- z x)) t)
  (/ y (* (cbrt t) (cbrt t)))
  (/ (+ z (- x)) (cbrt t))
  (/ y (sqrt t))
  (/ (+ z (- x)) (sqrt t))
  y
  (/ (+ z (- x)) t)
  (/ 1 t)
  (/ (/ t y) (- z x))
  (/ (/ (* y (- z x)) (cbrt t)) (cbrt t))
  (/ y (/ (sqrt t) (- z x)))
  (* y (- z x))
  (/ t (cbrt (+ (* y z) (* y (- x)))))
  (/ t (sqrt (+ (* y z) (* y (- x)))))
  (/ (/ t y) (- z x))
  (/ t (- z x))
  (+ (* t (* (* y y) (+ (* z z) (* x x)))) (* t (* (* y x) (* y z))))
  (* (* y (- z (- x))) t)
  (exp (* y (- z x)))
  (log (* y (- z x)))
  (exp (* y (- z x)))
  (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x)))))
  (cbrt (+ (* y z) (* y (- x))))
  (pow (* y (- z x)) 3)
  (sqrt (+ (* y z) (* y (- x))))
  (sqrt (+ (* y z) (* y (- x))))
  (+ (pow (* y z) 3) (pow (* y (- x)) 3))
  (+ (* (* y y) (+ (* z z) (* x x))) (* (* y x) (* y z)))
  (* (* y y) (- (* z z) (* x x)))
  (* y (+ z x))
  (- z x)
  (exp (+ (/ (* y (- z x)) t) x))
  (log (+ x (/ (+ (* y z) (* y (- x))) t)))
  (exp (+ (/ (* y (- z x)) t) x))
  (* (cbrt (+ x (/ (+ (* y z) (* y (- x))) t))) (cbrt (+ x (/ (+ (* y z) (* y (- x))) t))))
  (cbrt (+ x (/ (+ (* y z) (* y (- x))) t)))
  (pow (+ x (/ (+ (* y z) (* y (- x))) t)) 3)
  (sqrt (+ x (/ (+ (* y z) (* y (- x))) t)))
  (sqrt (+ x (/ (+ (* y z) (* y (- x))) t)))
  (+ (pow x 3) (pow (/ (+ (* y z) (* y (- x))) t) 3))
  (+ (* (/ (* y (- z x)) t) (- (/ (* y (- z x)) t) x)) (* x x))
  (* (- (+ (/ (* z y) t) x) (/ (* x y) t)) (- x (/ (* y (- z x)) t)))
  (- x (/ (* y (- z x)) t))
  (+ (/ (* y (- z x)) t) x)
  (+ (/ (* z y) t) x)
  (+ (/ (* z y) t) x)
  (/ (* y (- z x)) t)
  (/ (* y (- z x)) t)
  (/ (* y (- z x)) t)
  (* y (- z x))
  (* y (- z x))
  (* y (- z x))
  (+ (/ (* y (- z x)) t) x)
  (+ (/ (* y (- z x)) t) x)
  (+ (/ (* y (- z x)) t) x)
0.668 * * * [progress]: adding candidates to table
0.839 * * [progress]: iteration 3 / 4
0.839 * * * [progress]: picking best candidate
0.845 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ 1 (/ (/ t y) (- z x)))))>
0.845 * * * [progress]: localizing error
0.853 * * * [progress]: generating rewritten candidates
0.853 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
0.863 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.886 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
1.005 * * * [progress]: generating series expansions
1.005 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
1.005 * [approximate]: Taking taylor expansion of (/ t (* y (- z x))) in (t y z x) around 0
1.005 * [taylor]: Taking taylor expansion of (/ t (* y (- z x))) in x
1.005 * [taylor]: Taking taylor expansion of t in x
1.005 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
1.005 * [taylor]: Taking taylor expansion of y in x
1.005 * [taylor]: Taking taylor expansion of (- z x) in x
1.005 * [taylor]: Taking taylor expansion of z in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of (/ t (* y (- z x))) in z
1.006 * [taylor]: Taking taylor expansion of t in z
1.006 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
1.006 * [taylor]: Taking taylor expansion of y in z
1.006 * [taylor]: Taking taylor expansion of (- z x) in z
1.006 * [taylor]: Taking taylor expansion of z in z
1.006 * [taylor]: Taking taylor expansion of x in z
1.006 * [taylor]: Taking taylor expansion of (/ t (* y (- z x))) in y
1.006 * [taylor]: Taking taylor expansion of t in y
1.006 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
1.006 * [taylor]: Taking taylor expansion of y in y
1.006 * [taylor]: Taking taylor expansion of (- z x) in y
1.006 * [taylor]: Taking taylor expansion of z in y
1.006 * [taylor]: Taking taylor expansion of x in y
1.007 * [taylor]: Taking taylor expansion of (/ t (* y (- z x))) in t
1.007 * [taylor]: Taking taylor expansion of t in t
1.007 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
1.007 * [taylor]: Taking taylor expansion of y in t
1.007 * [taylor]: Taking taylor expansion of (- z x) in t
1.007 * [taylor]: Taking taylor expansion of z in t
1.007 * [taylor]: Taking taylor expansion of x in t
1.007 * [taylor]: Taking taylor expansion of (/ t (* y (- z x))) in t
1.007 * [taylor]: Taking taylor expansion of t in t
1.007 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
1.007 * [taylor]: Taking taylor expansion of y in t
1.007 * [taylor]: Taking taylor expansion of (- z x) in t
1.007 * [taylor]: Taking taylor expansion of z in t
1.007 * [taylor]: Taking taylor expansion of x in t
1.008 * [taylor]: Taking taylor expansion of (/ 1 (* y (- z x))) in y
1.008 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
1.008 * [taylor]: Taking taylor expansion of y in y
1.008 * [taylor]: Taking taylor expansion of (- z x) in y
1.008 * [taylor]: Taking taylor expansion of z in y
1.008 * [taylor]: Taking taylor expansion of x in y
1.008 * [taylor]: Taking taylor expansion of (/ 1 (- z x)) in z
1.008 * [taylor]: Taking taylor expansion of (- z x) in z
1.008 * [taylor]: Taking taylor expansion of z in z
1.009 * [taylor]: Taking taylor expansion of x in z
1.009 * [taylor]: Taking taylor expansion of (/ -1 x) in x
1.009 * [taylor]: Taking taylor expansion of -1 in x
1.009 * [taylor]: Taking taylor expansion of x in x
1.010 * [taylor]: Taking taylor expansion of 0 in y
1.011 * [taylor]: Taking taylor expansion of 0 in z
1.011 * [taylor]: Taking taylor expansion of 0 in x
1.012 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x
1.012 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.012 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.012 * [taylor]: Taking taylor expansion of x in x
1.016 * [taylor]: Taking taylor expansion of 0 in y
1.016 * [taylor]: Taking taylor expansion of 0 in z
1.016 * [taylor]: Taking taylor expansion of 0 in x
1.017 * [taylor]: Taking taylor expansion of 0 in z
1.017 * [taylor]: Taking taylor expansion of 0 in x
1.017 * [approximate]: Taking taylor expansion of (/ y (* t (- (/ 1 z) (/ 1 x)))) in (t y z x) around 0
1.017 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 z) (/ 1 x)))) in x
1.017 * [taylor]: Taking taylor expansion of y in x
1.017 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
1.017 * [taylor]: Taking taylor expansion of t in x
1.017 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.017 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.017 * [taylor]: Taking taylor expansion of z in x
1.017 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.017 * [taylor]: Taking taylor expansion of x in x
1.018 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 z) (/ 1 x)))) in z
1.018 * [taylor]: Taking taylor expansion of y in z
1.018 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
1.018 * [taylor]: Taking taylor expansion of t in z
1.018 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.018 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.018 * [taylor]: Taking taylor expansion of z in z
1.018 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.018 * [taylor]: Taking taylor expansion of x in z
1.019 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 z) (/ 1 x)))) in y
1.019 * [taylor]: Taking taylor expansion of y in y
1.019 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
1.019 * [taylor]: Taking taylor expansion of t in y
1.019 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.019 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.019 * [taylor]: Taking taylor expansion of z in y
1.019 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.019 * [taylor]: Taking taylor expansion of x in y
1.019 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 z) (/ 1 x)))) in t
1.019 * [taylor]: Taking taylor expansion of y in t
1.019 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
1.019 * [taylor]: Taking taylor expansion of t in t
1.019 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.019 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.019 * [taylor]: Taking taylor expansion of z in t
1.019 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.019 * [taylor]: Taking taylor expansion of x in t
1.020 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 z) (/ 1 x)))) in t
1.020 * [taylor]: Taking taylor expansion of y in t
1.020 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
1.020 * [taylor]: Taking taylor expansion of t in t
1.021 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.021 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.021 * [taylor]: Taking taylor expansion of z in t
1.021 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.021 * [taylor]: Taking taylor expansion of x in t
1.022 * [taylor]: Taking taylor expansion of (/ y (- (/ 1 z) (/ 1 x))) in y
1.022 * [taylor]: Taking taylor expansion of y in y
1.022 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.022 * [taylor]: Taking taylor expansion of z in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.022 * [taylor]: Taking taylor expansion of x in y
1.022 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 z) (/ 1 x))) in z
1.022 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.022 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.022 * [taylor]: Taking taylor expansion of z in z
1.022 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.022 * [taylor]: Taking taylor expansion of x in z
1.023 * [taylor]: Taking taylor expansion of 1 in x
1.024 * [taylor]: Taking taylor expansion of 0 in y
1.024 * [taylor]: Taking taylor expansion of 0 in z
1.024 * [taylor]: Taking taylor expansion of 0 in x
1.025 * [taylor]: Taking taylor expansion of 0 in z
1.025 * [taylor]: Taking taylor expansion of 0 in x
1.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.029 * [taylor]: Taking taylor expansion of 0 in y
1.029 * [taylor]: Taking taylor expansion of 0 in z
1.029 * [taylor]: Taking taylor expansion of 0 in x
1.029 * [approximate]: Taking taylor expansion of (/ y (* t (- (/ 1 x) (/ 1 z)))) in (t y z x) around 0
1.029 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 x) (/ 1 z)))) in x
1.029 * [taylor]: Taking taylor expansion of y in x
1.029 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
1.029 * [taylor]: Taking taylor expansion of t in x
1.029 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.029 * [taylor]: Taking taylor expansion of x in x
1.029 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.029 * [taylor]: Taking taylor expansion of z in x
1.030 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 x) (/ 1 z)))) in z
1.030 * [taylor]: Taking taylor expansion of y in z
1.030 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
1.030 * [taylor]: Taking taylor expansion of t in z
1.030 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.030 * [taylor]: Taking taylor expansion of x in z
1.030 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.030 * [taylor]: Taking taylor expansion of z in z
1.031 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 x) (/ 1 z)))) in y
1.031 * [taylor]: Taking taylor expansion of y in y
1.031 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
1.031 * [taylor]: Taking taylor expansion of t in y
1.031 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.031 * [taylor]: Taking taylor expansion of x in y
1.031 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.031 * [taylor]: Taking taylor expansion of z in y
1.038 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 x) (/ 1 z)))) in t
1.038 * [taylor]: Taking taylor expansion of y in t
1.038 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
1.038 * [taylor]: Taking taylor expansion of t in t
1.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.038 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.038 * [taylor]: Taking taylor expansion of x in t
1.038 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.038 * [taylor]: Taking taylor expansion of z in t
1.039 * [taylor]: Taking taylor expansion of (/ y (* t (- (/ 1 x) (/ 1 z)))) in t
1.039 * [taylor]: Taking taylor expansion of y in t
1.039 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
1.039 * [taylor]: Taking taylor expansion of t in t
1.040 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.040 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.040 * [taylor]: Taking taylor expansion of x in t
1.040 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.040 * [taylor]: Taking taylor expansion of z in t
1.041 * [taylor]: Taking taylor expansion of (/ y (- (/ 1 x) (/ 1 z))) in y
1.041 * [taylor]: Taking taylor expansion of y in y
1.041 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.041 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.041 * [taylor]: Taking taylor expansion of x in y
1.041 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.041 * [taylor]: Taking taylor expansion of z in y
1.041 * [taylor]: Taking taylor expansion of (/ 1 (- (/ 1 x) (/ 1 z))) in z
1.041 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.041 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.041 * [taylor]: Taking taylor expansion of x in z
1.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.041 * [taylor]: Taking taylor expansion of z in z
1.042 * [taylor]: Taking taylor expansion of -1 in x
1.044 * [taylor]: Taking taylor expansion of 0 in y
1.044 * [taylor]: Taking taylor expansion of 0 in z
1.044 * [taylor]: Taking taylor expansion of 0 in x
1.045 * [taylor]: Taking taylor expansion of 0 in z
1.045 * [taylor]: Taking taylor expansion of 0 in x
1.045 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.046 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.046 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of 0 in y
1.049 * [taylor]: Taking taylor expansion of 0 in z
1.049 * [taylor]: Taking taylor expansion of 0 in x
1.049 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
1.049 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (t y z x) around 0
1.049 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x
1.049 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
1.049 * [taylor]: Taking taylor expansion of y in x
1.049 * [taylor]: Taking taylor expansion of (- z x) in x
1.049 * [taylor]: Taking taylor expansion of z in x
1.049 * [taylor]: Taking taylor expansion of x in x
1.049 * [taylor]: Taking taylor expansion of t in x
1.049 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
1.049 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
1.049 * [taylor]: Taking taylor expansion of y in z
1.049 * [taylor]: Taking taylor expansion of (- z x) in z
1.049 * [taylor]: Taking taylor expansion of z in z
1.049 * [taylor]: Taking taylor expansion of x in z
1.049 * [taylor]: Taking taylor expansion of t in z
1.050 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
1.050 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
1.050 * [taylor]: Taking taylor expansion of y in y
1.050 * [taylor]: Taking taylor expansion of (- z x) in y
1.050 * [taylor]: Taking taylor expansion of z in y
1.050 * [taylor]: Taking taylor expansion of x in y
1.050 * [taylor]: Taking taylor expansion of t in y
1.050 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t
1.050 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
1.050 * [taylor]: Taking taylor expansion of y in t
1.050 * [taylor]: Taking taylor expansion of (- z x) in t
1.050 * [taylor]: Taking taylor expansion of z in t
1.051 * [taylor]: Taking taylor expansion of x in t
1.051 * [taylor]: Taking taylor expansion of t in t
1.051 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t
1.051 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
1.051 * [taylor]: Taking taylor expansion of y in t
1.051 * [taylor]: Taking taylor expansion of (- z x) in t
1.051 * [taylor]: Taking taylor expansion of z in t
1.051 * [taylor]: Taking taylor expansion of x in t
1.051 * [taylor]: Taking taylor expansion of t in t
1.051 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
1.051 * [taylor]: Taking taylor expansion of y in y
1.051 * [taylor]: Taking taylor expansion of (- z x) in y
1.051 * [taylor]: Taking taylor expansion of z in y
1.051 * [taylor]: Taking taylor expansion of x in y
1.052 * [taylor]: Taking taylor expansion of (- z x) in z
1.052 * [taylor]: Taking taylor expansion of z in z
1.052 * [taylor]: Taking taylor expansion of x in z
1.052 * [taylor]: Taking taylor expansion of (- x) in x
1.052 * [taylor]: Taking taylor expansion of x in x
1.053 * [taylor]: Taking taylor expansion of 0 in y
1.053 * [taylor]: Taking taylor expansion of 0 in z
1.053 * [taylor]: Taking taylor expansion of 0 in x
1.054 * [taylor]: Taking taylor expansion of 0 in z
1.054 * [taylor]: Taking taylor expansion of 0 in x
1.055 * [taylor]: Taking taylor expansion of 1 in x
1.057 * [taylor]: Taking taylor expansion of 0 in y
1.057 * [taylor]: Taking taylor expansion of 0 in z
1.057 * [taylor]: Taking taylor expansion of 0 in x
1.057 * [taylor]: Taking taylor expansion of 0 in z
1.057 * [taylor]: Taking taylor expansion of 0 in x
1.058 * [taylor]: Taking taylor expansion of 0 in z
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.058 * [taylor]: Taking taylor expansion of 0 in x
1.059 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (t y z x) around 0
1.059 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x
1.059 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
1.059 * [taylor]: Taking taylor expansion of t in x
1.059 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.059 * [taylor]: Taking taylor expansion of z in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.059 * [taylor]: Taking taylor expansion of y in x
1.060 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
1.060 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
1.060 * [taylor]: Taking taylor expansion of t in z
1.060 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.060 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.060 * [taylor]: Taking taylor expansion of z in z
1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.060 * [taylor]: Taking taylor expansion of x in z
1.060 * [taylor]: Taking taylor expansion of y in z
1.061 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
1.061 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
1.061 * [taylor]: Taking taylor expansion of t in y
1.061 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.061 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.061 * [taylor]: Taking taylor expansion of z in y
1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.061 * [taylor]: Taking taylor expansion of x in y
1.061 * [taylor]: Taking taylor expansion of y in y
1.061 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t
1.061 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
1.061 * [taylor]: Taking taylor expansion of t in t
1.061 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.061 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.061 * [taylor]: Taking taylor expansion of z in t
1.061 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.061 * [taylor]: Taking taylor expansion of x in t
1.061 * [taylor]: Taking taylor expansion of y in t
1.062 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t
1.062 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
1.062 * [taylor]: Taking taylor expansion of t in t
1.062 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.062 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.062 * [taylor]: Taking taylor expansion of z in t
1.062 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.062 * [taylor]: Taking taylor expansion of x in t
1.062 * [taylor]: Taking taylor expansion of y in t
1.063 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y
1.063 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.063 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.064 * [taylor]: Taking taylor expansion of z in y
1.064 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.064 * [taylor]: Taking taylor expansion of x in y
1.064 * [taylor]: Taking taylor expansion of y in y
1.064 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.064 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.064 * [taylor]: Taking taylor expansion of z in z
1.064 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.064 * [taylor]: Taking taylor expansion of x in z
1.064 * [taylor]: Taking taylor expansion of 1 in x
1.066 * [taylor]: Taking taylor expansion of 0 in y
1.067 * [taylor]: Taking taylor expansion of 0 in z
1.068 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.068 * [taylor]: Taking taylor expansion of x in x
1.070 * [taylor]: Taking taylor expansion of 0 in y
1.070 * [taylor]: Taking taylor expansion of 0 in z
1.071 * [taylor]: Taking taylor expansion of 0 in z
1.071 * [taylor]: Taking taylor expansion of 0 in x
1.072 * [taylor]: Taking taylor expansion of 0 in x
1.075 * [taylor]: Taking taylor expansion of 0 in y
1.075 * [taylor]: Taking taylor expansion of 0 in z
1.075 * [taylor]: Taking taylor expansion of 0 in z
1.077 * [taylor]: Taking taylor expansion of 0 in z
1.077 * [taylor]: Taking taylor expansion of 0 in x
1.077 * [taylor]: Taking taylor expansion of 0 in x
1.077 * [taylor]: Taking taylor expansion of 0 in x
1.078 * [taylor]: Taking taylor expansion of 0 in x
1.080 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (t y z x) around 0
1.080 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x
1.080 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
1.080 * [taylor]: Taking taylor expansion of t in x
1.080 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.080 * [taylor]: Taking taylor expansion of x in x
1.080 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.080 * [taylor]: Taking taylor expansion of z in x
1.080 * [taylor]: Taking taylor expansion of y in x
1.080 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
1.081 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
1.081 * [taylor]: Taking taylor expansion of t in z
1.081 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.081 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.081 * [taylor]: Taking taylor expansion of x in z
1.081 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.081 * [taylor]: Taking taylor expansion of z in z
1.081 * [taylor]: Taking taylor expansion of y in z
1.081 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
1.081 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
1.082 * [taylor]: Taking taylor expansion of t in y
1.082 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.082 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.082 * [taylor]: Taking taylor expansion of x in y
1.082 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.082 * [taylor]: Taking taylor expansion of z in y
1.082 * [taylor]: Taking taylor expansion of y in y
1.082 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t
1.082 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
1.082 * [taylor]: Taking taylor expansion of t in t
1.082 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.082 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.082 * [taylor]: Taking taylor expansion of x in t
1.082 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.082 * [taylor]: Taking taylor expansion of z in t
1.082 * [taylor]: Taking taylor expansion of y in t
1.083 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t
1.083 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
1.083 * [taylor]: Taking taylor expansion of t in t
1.083 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.083 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.083 * [taylor]: Taking taylor expansion of x in t
1.083 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.083 * [taylor]: Taking taylor expansion of z in t
1.083 * [taylor]: Taking taylor expansion of y in t
1.084 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y
1.084 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.084 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.084 * [taylor]: Taking taylor expansion of x in y
1.084 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.084 * [taylor]: Taking taylor expansion of z in y
1.085 * [taylor]: Taking taylor expansion of y in y
1.085 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.085 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.085 * [taylor]: Taking taylor expansion of x in z
1.085 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.085 * [taylor]: Taking taylor expansion of z in z
1.086 * [taylor]: Taking taylor expansion of -1 in x
1.087 * [taylor]: Taking taylor expansion of 0 in y
1.088 * [taylor]: Taking taylor expansion of 0 in z
1.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.089 * [taylor]: Taking taylor expansion of x in x
1.091 * [taylor]: Taking taylor expansion of 0 in y
1.091 * [taylor]: Taking taylor expansion of 0 in z
1.092 * [taylor]: Taking taylor expansion of 0 in z
1.092 * [taylor]: Taking taylor expansion of 0 in x
1.093 * [taylor]: Taking taylor expansion of 0 in x
1.096 * [taylor]: Taking taylor expansion of 0 in y
1.096 * [taylor]: Taking taylor expansion of 0 in z
1.096 * [taylor]: Taking taylor expansion of 0 in z
1.098 * [taylor]: Taking taylor expansion of 0 in z
1.098 * [taylor]: Taking taylor expansion of 0 in x
1.098 * [taylor]: Taking taylor expansion of 0 in x
1.098 * [taylor]: Taking taylor expansion of 0 in x
1.099 * [taylor]: Taking taylor expansion of 0 in x
1.100 * * * * [progress]: [ 3 / 3 ] generating series at (2)
1.100 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x t y z) around 0
1.100 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z
1.100 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
1.100 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
1.100 * [taylor]: Taking taylor expansion of (* z y) in z
1.100 * [taylor]: Taking taylor expansion of z in z
1.100 * [taylor]: Taking taylor expansion of y in z
1.100 * [taylor]: Taking taylor expansion of t in z
1.100 * [taylor]: Taking taylor expansion of x in z
1.100 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z
1.100 * [taylor]: Taking taylor expansion of (* x y) in z
1.100 * [taylor]: Taking taylor expansion of x in z
1.100 * [taylor]: Taking taylor expansion of y in z
1.100 * [taylor]: Taking taylor expansion of t in z
1.100 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y
1.100 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
1.100 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.100 * [taylor]: Taking taylor expansion of (* z y) in y
1.100 * [taylor]: Taking taylor expansion of z in y
1.100 * [taylor]: Taking taylor expansion of y in y
1.101 * [taylor]: Taking taylor expansion of t in y
1.101 * [taylor]: Taking taylor expansion of x in y
1.101 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y
1.101 * [taylor]: Taking taylor expansion of (* x y) in y
1.101 * [taylor]: Taking taylor expansion of x in y
1.101 * [taylor]: Taking taylor expansion of y in y
1.101 * [taylor]: Taking taylor expansion of t in y
1.101 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t
1.101 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
1.101 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.101 * [taylor]: Taking taylor expansion of (* z y) in t
1.101 * [taylor]: Taking taylor expansion of z in t
1.101 * [taylor]: Taking taylor expansion of y in t
1.101 * [taylor]: Taking taylor expansion of t in t
1.101 * [taylor]: Taking taylor expansion of x in t
1.101 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t
1.101 * [taylor]: Taking taylor expansion of (* x y) in t
1.101 * [taylor]: Taking taylor expansion of x in t
1.101 * [taylor]: Taking taylor expansion of y in t
1.101 * [taylor]: Taking taylor expansion of t in t
1.102 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
1.102 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
1.102 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.102 * [taylor]: Taking taylor expansion of (* z y) in x
1.102 * [taylor]: Taking taylor expansion of z in x
1.102 * [taylor]: Taking taylor expansion of y in x
1.102 * [taylor]: Taking taylor expansion of t in x
1.102 * [taylor]: Taking taylor expansion of x in x
1.102 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
1.102 * [taylor]: Taking taylor expansion of (* x y) in x
1.102 * [taylor]: Taking taylor expansion of x in x
1.102 * [taylor]: Taking taylor expansion of y in x
1.102 * [taylor]: Taking taylor expansion of t in x
1.102 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
1.102 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
1.102 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.102 * [taylor]: Taking taylor expansion of (* z y) in x
1.102 * [taylor]: Taking taylor expansion of z in x
1.102 * [taylor]: Taking taylor expansion of y in x
1.102 * [taylor]: Taking taylor expansion of t in x
1.102 * [taylor]: Taking taylor expansion of x in x
1.102 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
1.102 * [taylor]: Taking taylor expansion of (* x y) in x
1.102 * [taylor]: Taking taylor expansion of x in x
1.102 * [taylor]: Taking taylor expansion of y in x
1.102 * [taylor]: Taking taylor expansion of t in x
1.103 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.103 * [taylor]: Taking taylor expansion of (* z y) in t
1.103 * [taylor]: Taking taylor expansion of z in t
1.103 * [taylor]: Taking taylor expansion of y in t
1.103 * [taylor]: Taking taylor expansion of t in t
1.103 * [taylor]: Taking taylor expansion of (* z y) in y
1.103 * [taylor]: Taking taylor expansion of z in y
1.103 * [taylor]: Taking taylor expansion of y in y
1.103 * [taylor]: Taking taylor expansion of 0 in z
1.104 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in t
1.104 * [taylor]: Taking taylor expansion of 1 in t
1.104 * [taylor]: Taking taylor expansion of (/ y t) in t
1.104 * [taylor]: Taking taylor expansion of y in t
1.104 * [taylor]: Taking taylor expansion of t in t
1.104 * [taylor]: Taking taylor expansion of (- y) in y
1.104 * [taylor]: Taking taylor expansion of y in y
1.104 * [taylor]: Taking taylor expansion of 0 in z
1.105 * [taylor]: Taking taylor expansion of 0 in y
1.105 * [taylor]: Taking taylor expansion of 0 in z
1.105 * [taylor]: Taking taylor expansion of z in z
1.107 * [taylor]: Taking taylor expansion of 0 in t
1.108 * [taylor]: Taking taylor expansion of 1 in y
1.108 * [taylor]: Taking taylor expansion of 1 in z
1.109 * [taylor]: Taking taylor expansion of 0 in y
1.109 * [taylor]: Taking taylor expansion of 0 in z
1.109 * [taylor]: Taking taylor expansion of -1 in z
1.109 * [taylor]: Taking taylor expansion of 0 in z
1.110 * [taylor]: Taking taylor expansion of 0 in z
1.110 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x t y z) around 0
1.110 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z
1.110 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
1.110 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.110 * [taylor]: Taking taylor expansion of t in z
1.110 * [taylor]: Taking taylor expansion of (* z y) in z
1.110 * [taylor]: Taking taylor expansion of z in z
1.110 * [taylor]: Taking taylor expansion of y in z
1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.111 * [taylor]: Taking taylor expansion of x in z
1.111 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
1.111 * [taylor]: Taking taylor expansion of t in z
1.111 * [taylor]: Taking taylor expansion of (* x y) in z
1.111 * [taylor]: Taking taylor expansion of x in z
1.111 * [taylor]: Taking taylor expansion of y in z
1.111 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y
1.111 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
1.111 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.111 * [taylor]: Taking taylor expansion of t in y
1.111 * [taylor]: Taking taylor expansion of (* z y) in y
1.111 * [taylor]: Taking taylor expansion of z in y
1.111 * [taylor]: Taking taylor expansion of y in y
1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.111 * [taylor]: Taking taylor expansion of x in y
1.111 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
1.111 * [taylor]: Taking taylor expansion of t in y
1.111 * [taylor]: Taking taylor expansion of (* x y) in y
1.111 * [taylor]: Taking taylor expansion of x in y
1.111 * [taylor]: Taking taylor expansion of y in y
1.112 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t
1.112 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
1.112 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.112 * [taylor]: Taking taylor expansion of t in t
1.112 * [taylor]: Taking taylor expansion of (* z y) in t
1.112 * [taylor]: Taking taylor expansion of z in t
1.112 * [taylor]: Taking taylor expansion of y in t
1.112 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.112 * [taylor]: Taking taylor expansion of x in t
1.112 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
1.112 * [taylor]: Taking taylor expansion of t in t
1.112 * [taylor]: Taking taylor expansion of (* x y) in t
1.112 * [taylor]: Taking taylor expansion of x in t
1.112 * [taylor]: Taking taylor expansion of y in t
1.112 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
1.112 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
1.112 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.112 * [taylor]: Taking taylor expansion of t in x
1.112 * [taylor]: Taking taylor expansion of (* z y) in x
1.112 * [taylor]: Taking taylor expansion of z in x
1.112 * [taylor]: Taking taylor expansion of y in x
1.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
1.113 * [taylor]: Taking taylor expansion of t in x
1.113 * [taylor]: Taking taylor expansion of (* x y) in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of y in x
1.113 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
1.113 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
1.113 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.113 * [taylor]: Taking taylor expansion of t in x
1.113 * [taylor]: Taking taylor expansion of (* z y) in x
1.113 * [taylor]: Taking taylor expansion of z in x
1.113 * [taylor]: Taking taylor expansion of y in x
1.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
1.113 * [taylor]: Taking taylor expansion of t in x
1.113 * [taylor]: Taking taylor expansion of (* x y) in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of y in x
1.114 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in t
1.114 * [taylor]: Taking taylor expansion of 1 in t
1.114 * [taylor]: Taking taylor expansion of (/ t y) in t
1.114 * [taylor]: Taking taylor expansion of t in t
1.114 * [taylor]: Taking taylor expansion of y in t
1.115 * [taylor]: Taking taylor expansion of 1 in y
1.116 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.116 * [taylor]: Taking taylor expansion of t in t
1.116 * [taylor]: Taking taylor expansion of (* z y) in t
1.116 * [taylor]: Taking taylor expansion of z in t
1.116 * [taylor]: Taking taylor expansion of y in t
1.116 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y
1.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.116 * [taylor]: Taking taylor expansion of y in y
1.117 * [taylor]: Taking taylor expansion of -1 in z
1.117 * [taylor]: Taking taylor expansion of 1 in z
1.119 * [taylor]: Taking taylor expansion of 0 in t
1.119 * [taylor]: Taking taylor expansion of 0 in y
1.119 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.119 * [taylor]: Taking taylor expansion of (* z y) in y
1.119 * [taylor]: Taking taylor expansion of z in y
1.119 * [taylor]: Taking taylor expansion of y in y
1.119 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.119 * [taylor]: Taking taylor expansion of z in z
1.120 * [taylor]: Taking taylor expansion of 0 in y
1.121 * [taylor]: Taking taylor expansion of 0 in z
1.121 * [taylor]: Taking taylor expansion of 0 in z
1.122 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x t y z) around 0
1.122 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z
1.122 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
1.122 * [taylor]: Taking taylor expansion of t in z
1.122 * [taylor]: Taking taylor expansion of (* x y) in z
1.122 * [taylor]: Taking taylor expansion of x in z
1.122 * [taylor]: Taking taylor expansion of y in z
1.122 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
1.122 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.122 * [taylor]: Taking taylor expansion of t in z
1.122 * [taylor]: Taking taylor expansion of (* z y) in z
1.122 * [taylor]: Taking taylor expansion of z in z
1.122 * [taylor]: Taking taylor expansion of y in z
1.122 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.122 * [taylor]: Taking taylor expansion of x in z
1.122 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y
1.122 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
1.122 * [taylor]: Taking taylor expansion of t in y
1.122 * [taylor]: Taking taylor expansion of (* x y) in y
1.122 * [taylor]: Taking taylor expansion of x in y
1.122 * [taylor]: Taking taylor expansion of y in y
1.123 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
1.123 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.123 * [taylor]: Taking taylor expansion of t in y
1.123 * [taylor]: Taking taylor expansion of (* z y) in y
1.123 * [taylor]: Taking taylor expansion of z in y
1.123 * [taylor]: Taking taylor expansion of y in y
1.123 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.123 * [taylor]: Taking taylor expansion of x in y
1.123 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t
1.123 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
1.123 * [taylor]: Taking taylor expansion of t in t
1.123 * [taylor]: Taking taylor expansion of (* x y) in t
1.123 * [taylor]: Taking taylor expansion of x in t
1.123 * [taylor]: Taking taylor expansion of y in t
1.123 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
1.123 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.123 * [taylor]: Taking taylor expansion of t in t
1.123 * [taylor]: Taking taylor expansion of (* z y) in t
1.123 * [taylor]: Taking taylor expansion of z in t
1.123 * [taylor]: Taking taylor expansion of y in t
1.123 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.123 * [taylor]: Taking taylor expansion of x in t
1.123 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
1.123 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
1.123 * [taylor]: Taking taylor expansion of t in x
1.123 * [taylor]: Taking taylor expansion of (* x y) in x
1.123 * [taylor]: Taking taylor expansion of x in x
1.123 * [taylor]: Taking taylor expansion of y in x
1.124 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
1.124 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.124 * [taylor]: Taking taylor expansion of t in x
1.124 * [taylor]: Taking taylor expansion of (* z y) in x
1.124 * [taylor]: Taking taylor expansion of z in x
1.124 * [taylor]: Taking taylor expansion of y in x
1.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.124 * [taylor]: Taking taylor expansion of x in x
1.126 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
1.126 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
1.126 * [taylor]: Taking taylor expansion of t in x
1.126 * [taylor]: Taking taylor expansion of (* x y) in x
1.126 * [taylor]: Taking taylor expansion of x in x
1.126 * [taylor]: Taking taylor expansion of y in x
1.127 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
1.127 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.127 * [taylor]: Taking taylor expansion of t in x
1.127 * [taylor]: Taking taylor expansion of (* z y) in x
1.127 * [taylor]: Taking taylor expansion of z in x
1.127 * [taylor]: Taking taylor expansion of y in x
1.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.127 * [taylor]: Taking taylor expansion of x in x
1.128 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in t
1.128 * [taylor]: Taking taylor expansion of (/ t y) in t
1.128 * [taylor]: Taking taylor expansion of t in t
1.128 * [taylor]: Taking taylor expansion of y in t
1.128 * [taylor]: Taking taylor expansion of 1 in t
1.128 * [taylor]: Taking taylor expansion of -1 in y
1.129 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in t
1.129 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.129 * [taylor]: Taking taylor expansion of t in t
1.129 * [taylor]: Taking taylor expansion of (* z y) in t
1.129 * [taylor]: Taking taylor expansion of z in t
1.130 * [taylor]: Taking taylor expansion of y in t
1.130 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.130 * [taylor]: Taking taylor expansion of y in y
1.130 * [taylor]: Taking taylor expansion of 1 in z
1.130 * [taylor]: Taking taylor expansion of -1 in z
1.132 * [taylor]: Taking taylor expansion of 0 in t
1.132 * [taylor]: Taking taylor expansion of 0 in y
1.132 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
1.132 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.132 * [taylor]: Taking taylor expansion of (* z y) in y
1.132 * [taylor]: Taking taylor expansion of z in y
1.132 * [taylor]: Taking taylor expansion of y in y
1.133 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
1.133 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.133 * [taylor]: Taking taylor expansion of z in z
1.134 * [taylor]: Taking taylor expansion of 0 in y
1.134 * [taylor]: Taking taylor expansion of 0 in z
1.134 * [taylor]: Taking taylor expansion of 0 in z
1.135 * * * [progress]: simplifying candidates
1.142 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (log t) (log y)) (log (- z x)))
  (- (log (/ t y)) (log (- z x)))
  (log (/ (/ t y) (- z x)))
  (exp (/ (/ t y) (- z x)))
  (/ (/ (* (* t t) t) (* (* y y) y)) (* (* (- z x) (- z x)) (- z x)))
  (/ (* (* (/ t y) (/ t y)) (/ t y)) (* (* (- z x) (- z x)) (- z x)))
  (* (cbrt (/ (/ t y) (- z x))) (cbrt (/ (/ t y) (- z x))))
  (cbrt (/ (/ t y) (- z x)))
  (* (* (/ (/ t y) (- z x)) (/ (/ t y) (- z x))) (/ (/ t y) (- z x)))
  (sqrt (/ (/ t y) (- z x)))
  (sqrt (/ (/ t y) (- z x)))
  (- (/ t y))
  (- (- z x))
  (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (cbrt (/ t y)) (cbrt (- z x)))
  (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (sqrt (- z x)))
  (/ (cbrt (/ t y)) (sqrt (- z x)))
  (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1)
  (/ (cbrt (/ t y)) (- z x))
  (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (+ (sqrt z) (sqrt x)))
  (/ (cbrt (/ t y)) (- (sqrt z) (sqrt x)))
  (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1)
  (/ (cbrt (/ t y)) (- z x))
  (/ (sqrt (/ t y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (sqrt (/ t y)) (cbrt (- z x)))
  (/ (sqrt (/ t y)) (sqrt (- z x)))
  (/ (sqrt (/ t y)) (sqrt (- z x)))
  (/ (sqrt (/ t y)) 1)
  (/ (sqrt (/ t y)) (- z x))
  (/ (sqrt (/ t y)) (+ (sqrt z) (sqrt x)))
  (/ (sqrt (/ t y)) (- (sqrt z) (sqrt x)))
  (/ (sqrt (/ t y)) 1)
  (/ (sqrt (/ t y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (cbrt t) (cbrt y)) (cbrt (- z x)))
  (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (sqrt (- z x)))
  (/ (/ (cbrt t) (cbrt y)) (sqrt (- z x)))
  (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (cbrt t) (cbrt y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x)))
  (/ (/ (cbrt t) (cbrt y)) (- (sqrt z) (sqrt x)))
  (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (cbrt t) (cbrt y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (cbrt t) (sqrt y)) (cbrt (- z x)))
  (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (sqrt (- z x)))
  (/ (/ (cbrt t) (sqrt y)) (sqrt (- z x)))
  (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1)
  (/ (/ (cbrt t) (sqrt y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (+ (sqrt z) (sqrt x)))
  (/ (/ (cbrt t) (sqrt y)) (- (sqrt z) (sqrt x)))
  (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1)
  (/ (/ (cbrt t) (sqrt y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) 1) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (cbrt t) y) (cbrt (- z x)))
  (/ (/ (* (cbrt t) (cbrt t)) 1) (sqrt (- z x)))
  (/ (/ (cbrt t) y) (sqrt (- z x)))
  (/ (/ (* (cbrt t) (cbrt t)) 1) 1)
  (/ (/ (cbrt t) y) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) 1) (+ (sqrt z) (sqrt x)))
  (/ (/ (cbrt t) y) (- (sqrt z) (sqrt x)))
  (/ (/ (* (cbrt t) (cbrt t)) 1) 1)
  (/ (/ (cbrt t) y) (- z x))
  (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (sqrt t) (cbrt y)) (cbrt (- z x)))
  (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (sqrt (- z x)))
  (/ (/ (sqrt t) (cbrt y)) (sqrt (- z x)))
  (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (sqrt t) (cbrt y)) (- z x))
  (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) (cbrt y)) (- (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1)
  (/ (/ (sqrt t) (cbrt y)) (- z x))
  (/ (/ (sqrt t) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (sqrt t) (sqrt y)) (cbrt (- z x)))
  (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x)))
  (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x)))
  (/ (/ (sqrt t) (sqrt y)) 1)
  (/ (/ (sqrt t) (sqrt y)) (- z x))
  (/ (/ (sqrt t) (sqrt y)) (+ (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) (sqrt y)) (- (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) (sqrt y)) 1)
  (/ (/ (sqrt t) (sqrt y)) (- z x))
  (/ (/ (sqrt t) 1) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (sqrt t) y) (cbrt (- z x)))
  (/ (/ (sqrt t) 1) (sqrt (- z x)))
  (/ (/ (sqrt t) y) (sqrt (- z x)))
  (/ (/ (sqrt t) 1) 1)
  (/ (/ (sqrt t) y) (- z x))
  (/ (/ (sqrt t) 1) (+ (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) y) (- (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) 1) 1)
  (/ (/ (sqrt t) y) (- z x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t (cbrt y)) (cbrt (- z x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (- z x)))
  (/ (/ t (cbrt y)) (sqrt (- z x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) 1)
  (/ (/ t (cbrt y)) (- z x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x)))
  (/ (/ t (cbrt y)) (- (sqrt z) (sqrt x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) 1)
  (/ (/ t (cbrt y)) (- z x))
  (/ (/ 1 (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t (sqrt y)) (cbrt (- z x)))
  (/ (/ 1 (sqrt y)) (sqrt (- z x)))
  (/ (/ t (sqrt y)) (sqrt (- z x)))
  (/ (/ 1 (sqrt y)) 1)
  (/ (/ t (sqrt y)) (- z x))
  (/ (/ 1 (sqrt y)) (+ (sqrt z) (sqrt x)))
  (/ (/ t (sqrt y)) (- (sqrt z) (sqrt x)))
  (/ (/ 1 (sqrt y)) 1)
  (/ (/ t (sqrt y)) (- z x))
  (/ (/ 1 1) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t y) (cbrt (- z x)))
  (/ (/ 1 1) (sqrt (- z x)))
  (/ (/ t y) (sqrt (- z x)))
  (/ (/ 1 1) 1)
  (/ (/ t y) (- z x))
  (/ (/ 1 1) (+ (sqrt z) (sqrt x)))
  (/ (/ t y) (- (sqrt z) (sqrt x)))
  (/ (/ 1 1) 1)
  (/ (/ t y) (- z x))
  (/ 1 (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t y) (cbrt (- z x)))
  (/ 1 (sqrt (- z x)))
  (/ (/ t y) (sqrt (- z x)))
  (/ 1 1)
  (/ (/ t y) (- z x))
  (/ 1 (+ (sqrt z) (sqrt x)))
  (/ (/ t y) (- (sqrt z) (sqrt x)))
  (/ 1 1)
  (/ (/ t y) (- z x))
  (/ t (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ 1 y) (cbrt (- z x)))
  (/ t (sqrt (- z x)))
  (/ (/ 1 y) (sqrt (- z x)))
  (/ t 1)
  (/ (/ 1 y) (- z x))
  (/ t (+ (sqrt z) (sqrt x)))
  (/ (/ 1 y) (- (sqrt z) (sqrt x)))
  (/ t 1)
  (/ (/ 1 y) (- z x))
  (/ 1 (- z x))
  (/ (- z x) (/ t y))
  (/ (/ t y) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t y) (sqrt (- z x)))
  (/ (/ t y) 1)
  (/ (/ t y) (+ (sqrt z) (sqrt x)))
  (/ (/ t y) 1)
  (/ (- z x) (cbrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) y))
  (/ (- z x) (/ t (cbrt y)))
  (/ (- z x) (/ t (sqrt y)))
  (/ (- z x) (/ t y))
  (/ (- z x) (/ t y))
  (/ (- z x) (/ 1 y))
  (/ (/ t y) (- (pow z 3) (pow x 3)))
  (/ (/ t y) (- (* z z) (* x x)))
  (* (- z x) y)
  (- 1)
  (- (- (- (log t) (log y)) (log (- z x))))
  (- (- (log (/ t y)) (log (- z x))))
  (- (log (/ (/ t y) (- z x))))
  (- 0 (- (- (log t) (log y)) (log (- z x))))
  (- 0 (- (log (/ t y)) (log (- z x))))
  (- 0 (log (/ (/ t y) (- z x))))
  (- (log 1) (- (- (log t) (log y)) (log (- z x))))
  (- (log 1) (- (log (/ t y)) (log (- z x))))
  (- (log 1) (log (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (exp (/ 1 (/ (/ t y) (- z x))))
  (/ (* (* 1 1) 1) (/ (/ (* (* t t) t) (* (* y y) y)) (* (* (- z x) (- z x)) (- z x))))
  (/ (* (* 1 1) 1) (/ (* (* (/ t y) (/ t y)) (/ t y)) (* (* (- z x) (- z x)) (- z x))))
  (/ (* (* 1 1) 1) (* (* (/ (/ t y) (- z x)) (/ (/ t y) (- z x))) (/ (/ t y) (- z x))))
  (* (cbrt (/ 1 (/ (/ t y) (- z x)))) (cbrt (/ 1 (/ (/ t y) (- z x)))))
  (cbrt (/ 1 (/ (/ t y) (- z x))))
  (* (* (/ 1 (/ (/ t y) (- z x))) (/ 1 (/ (/ t y) (- z x)))) (/ 1 (/ (/ t y) (- z x))))
  (sqrt (/ 1 (/ (/ t y) (- z x))))
  (sqrt (/ 1 (/ (/ t y) (- z x))))
  (- 1)
  (- (/ (/ t y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ (/ t y) (- z x))) (cbrt (/ (/ t y) (- z x)))))
  (/ (cbrt 1) (cbrt (/ (/ t y) (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ (/ t y) (- z x))))
  (/ (cbrt 1) (sqrt (/ (/ t y) (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (cbrt (/ t y)) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (sqrt (- z x))))
  (/ (cbrt 1) (/ (cbrt (/ t y)) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1))
  (/ (cbrt 1) (/ (cbrt (/ t y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (cbrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1))
  (/ (cbrt 1) (/ (cbrt (/ t y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ t y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (sqrt (/ t y)) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ t y)) (sqrt (- z x))))
  (/ (cbrt 1) (/ (sqrt (/ t y)) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ t y)) 1))
  (/ (cbrt 1) (/ (sqrt (/ t y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ t y)) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (sqrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt (/ t y)) 1))
  (/ (cbrt 1) (/ (sqrt (/ t y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ (cbrt t) (cbrt y)) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ (cbrt t) (cbrt y)) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ (cbrt t) (cbrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ (cbrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ (cbrt t) (cbrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ (cbrt t) (sqrt y)) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ (cbrt t) (sqrt y)) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ (cbrt t) (sqrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ (cbrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ (cbrt t) (sqrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ (cbrt t) y) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) 1) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ (cbrt t) y) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) 1) 1))
  (/ (cbrt 1) (/ (/ (cbrt t) y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) 1) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ (cbrt t) y) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (* (cbrt t) (cbrt t)) 1) 1))
  (/ (cbrt 1) (/ (/ (cbrt t) y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ (sqrt t) (cbrt y)) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ (sqrt t) (cbrt y)) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ (sqrt t) (cbrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ (sqrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ (sqrt t) (cbrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ (sqrt t) (sqrt y)) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ (sqrt t) (sqrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ (sqrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ (sqrt t) (sqrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ (sqrt t) y) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) 1) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ (sqrt t) y) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) 1) 1))
  (/ (cbrt 1) (/ (/ (sqrt t) y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) 1) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ (sqrt t) y) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ (sqrt t) 1) 1))
  (/ (cbrt 1) (/ (/ (sqrt t) y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ t (cbrt y)) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ t (cbrt y)) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ t (cbrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ t (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (cbrt 1) (/ (/ t (cbrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ t (sqrt y)) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ t (sqrt y)) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ t (sqrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ t (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 (sqrt y)) 1))
  (/ (cbrt 1) (/ (/ t (sqrt y)) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ t y) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ t y) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) 1))
  (/ (cbrt 1) (/ (/ t y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ t y) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ 1 1) 1))
  (/ (cbrt 1) (/ (/ t y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ t y) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ t y) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (/ t y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ t y) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ 1 1))
  (/ (cbrt 1) (/ (/ t y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ t (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (cbrt 1) (/ (/ 1 y) (cbrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ t (sqrt (- z x))))
  (/ (cbrt 1) (/ (/ 1 y) (sqrt (- z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ t 1))
  (/ (cbrt 1) (/ (/ 1 y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ t (+ (sqrt z) (sqrt x))))
  (/ (cbrt 1) (/ (/ 1 y) (- (sqrt z) (sqrt x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ t 1))
  (/ (cbrt 1) (/ (/ 1 y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (/ (/ t y) (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ t y))
  (/ (cbrt 1) (/ 1 (- z x)))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ t y) (- (pow z 3) (pow x 3))))
  (/ (cbrt 1) (+ (* z z) (+ (* x x) (* z x))))
  (/ (* (cbrt 1) (cbrt 1)) (/ (/ t y) (- (* z z) (* x x))))
  (/ (cbrt 1) (+ z x))
  (/ (sqrt 1) (* (cbrt (/ (/ t y) (- z x))) (cbrt (/ (/ t y) (- z x)))))
  (/ (sqrt 1) (cbrt (/ (/ t y) (- z x))))
  (/ (sqrt 1) (sqrt (/ (/ t y) (- z x))))
  (/ (sqrt 1) (sqrt (/ (/ t y) (- z x))))
  (/ (sqrt 1) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (cbrt (/ t y)) (cbrt (- z x))))
  (/ (sqrt 1) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (sqrt (- z x))))
  (/ (sqrt 1) (/ (cbrt (/ t y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1))
  (/ (sqrt 1) (/ (cbrt (/ t y)) (- z x)))
  (/ (sqrt 1) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (cbrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1))
  (/ (sqrt 1) (/ (cbrt (/ t y)) (- z x)))
  (/ (sqrt 1) (/ (sqrt (/ t y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (sqrt (/ t y)) (cbrt (- z x))))
  (/ (sqrt 1) (/ (sqrt (/ t y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (sqrt (/ t y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (sqrt (/ t y)) 1))
  (/ (sqrt 1) (/ (sqrt (/ t y)) (- z x)))
  (/ (sqrt 1) (/ (sqrt (/ t y)) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (sqrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (sqrt (/ t y)) 1))
  (/ (sqrt 1) (/ (sqrt (/ t y)) (- z x)))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ (cbrt t) (cbrt y)) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (cbrt t) (cbrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ (cbrt t) (cbrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (cbrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ (cbrt t) (cbrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ (cbrt t) (sqrt y)) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (cbrt t) (sqrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ (cbrt t) (sqrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (cbrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ (cbrt t) (sqrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ (cbrt t) y) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) 1) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (cbrt t) y) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) 1) 1))
  (/ (sqrt 1) (/ (/ (cbrt t) y) (- z x)))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) 1) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (cbrt t) y) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (* (cbrt t) (cbrt t)) 1) 1))
  (/ (sqrt 1) (/ (/ (cbrt t) y) (- z x)))
  (/ (sqrt 1) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ (sqrt t) (cbrt y)) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (cbrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ (sqrt t) (cbrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ (sqrt t) (cbrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ (sqrt t) (sqrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ (sqrt t) 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ (sqrt t) y) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) 1) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) y) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ (sqrt t) 1) 1))
  (/ (sqrt 1) (/ (/ (sqrt t) y) (- z x)))
  (/ (sqrt 1) (/ (/ (sqrt t) 1) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (sqrt t) y) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ (sqrt t) 1) 1))
  (/ (sqrt 1) (/ (/ (sqrt t) y) (- z x)))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ t (cbrt y)) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ t (cbrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ t (cbrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ t (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ (sqrt 1) (/ (/ t (cbrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ t (sqrt y)) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ t (sqrt y)) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ t (sqrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ t (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ 1 (sqrt y)) 1))
  (/ (sqrt 1) (/ (/ t (sqrt y)) (- z x)))
  (/ (sqrt 1) (/ (/ 1 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ t y) (cbrt (- z x))))
  (/ (sqrt 1) (/ (/ 1 1) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ t y) (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ 1 1) 1))
  (/ (sqrt 1) (/ (/ t y) (- z x)))
  (/ (sqrt 1) (/ (/ 1 1) (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ t y) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ 1 1) 1))
  (/ (sqrt 1) (/ (/ t y) (- z x)))
  (/ (sqrt 1) (/ 1 (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ t y) (cbrt (- z x))))
  (/ (sqrt 1) (/ 1 (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ t y) (sqrt (- z x))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (/ t y) (- z x)))
  (/ (sqrt 1) (/ 1 (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ t y) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ 1 1))
  (/ (sqrt 1) (/ (/ t y) (- z x)))
  (/ (sqrt 1) (/ t (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ (sqrt 1) (/ (/ 1 y) (cbrt (- z x))))
  (/ (sqrt 1) (/ t (sqrt (- z x))))
  (/ (sqrt 1) (/ (/ 1 y) (sqrt (- z x))))
  (/ (sqrt 1) (/ t 1))
  (/ (sqrt 1) (/ (/ 1 y) (- z x)))
  (/ (sqrt 1) (/ t (+ (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ (/ 1 y) (- (sqrt z) (sqrt x))))
  (/ (sqrt 1) (/ t 1))
  (/ (sqrt 1) (/ (/ 1 y) (- z x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (/ (/ t y) (- z x)))
  (/ (sqrt 1) (/ t y))
  (/ (sqrt 1) (/ 1 (- z x)))
  (/ (sqrt 1) (/ (/ t y) (- (pow z 3) (pow x 3))))
  (/ (sqrt 1) (+ (* z z) (+ (* x x) (* z x))))
  (/ (sqrt 1) (/ (/ t y) (- (* z z) (* x x))))
  (/ (sqrt 1) (+ z x))
  (/ 1 (* (cbrt (/ (/ t y) (- z x))) (cbrt (/ (/ t y) (- z x)))))
  (/ 1 (cbrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (cbrt (/ t y)) (cbrt (- z x))))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (sqrt (- z x))))
  (/ 1 (/ (cbrt (/ t y)) (sqrt (- z x))))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1))
  (/ 1 (/ (cbrt (/ t y)) (- z x)))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (cbrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1))
  (/ 1 (/ (cbrt (/ t y)) (- z x)))
  (/ 1 (/ (sqrt (/ t y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (sqrt (/ t y)) (cbrt (- z x))))
  (/ 1 (/ (sqrt (/ t y)) (sqrt (- z x))))
  (/ 1 (/ (sqrt (/ t y)) (sqrt (- z x))))
  (/ 1 (/ (sqrt (/ t y)) 1))
  (/ 1 (/ (sqrt (/ t y)) (- z x)))
  (/ 1 (/ (sqrt (/ t y)) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt (/ t y)) 1))
  (/ 1 (/ (sqrt (/ t y)) (- z x)))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (cbrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (- z x)))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (- z x)))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (cbrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (- z x)))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (- z x)))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (cbrt t) y) (cbrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) (sqrt (- z x))))
  (/ 1 (/ (/ (cbrt t) y) (sqrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) 1))
  (/ 1 (/ (/ (cbrt t) y) (- z x)))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (cbrt t) y) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) 1))
  (/ 1 (/ (/ (cbrt t) y) (- z x)))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (cbrt (- z x))))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (- z x)))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (- z x)))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (cbrt (- z x))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) 1))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (- z x)))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) 1))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (- z x)))
  (/ 1 (/ (/ (sqrt t) 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (sqrt t) y) (cbrt (- z x))))
  (/ 1 (/ (/ (sqrt t) 1) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) y) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) 1) 1))
  (/ 1 (/ (/ (sqrt t) y) (- z x)))
  (/ 1 (/ (/ (sqrt t) 1) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) y) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) 1) 1))
  (/ 1 (/ (/ (sqrt t) y) (- z x)))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ t (cbrt y)) (cbrt (- z x))))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ 1 (/ (/ t (cbrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ t (cbrt y)) (- z x)))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ t (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ t (cbrt y)) (- z x)))
  (/ 1 (/ (/ 1 (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ t (sqrt y)) (cbrt (- z x))))
  (/ 1 (/ (/ 1 (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ t (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ 1 (sqrt y)) 1))
  (/ 1 (/ (/ t (sqrt y)) (- z x)))
  (/ 1 (/ (/ 1 (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ t (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ 1 (sqrt y)) 1))
  (/ 1 (/ (/ t (sqrt y)) (- z x)))
  (/ 1 (/ (/ 1 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ t y) (cbrt (- z x))))
  (/ 1 (/ (/ 1 1) (sqrt (- z x))))
  (/ 1 (/ (/ t y) (sqrt (- z x))))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ (/ t y) (- z x)))
  (/ 1 (/ (/ 1 1) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ t y) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ (/ t y) (- z x)))
  (/ 1 (/ 1 (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ t y) (cbrt (- z x))))
  (/ 1 (/ 1 (sqrt (- z x))))
  (/ 1 (/ (/ t y) (sqrt (- z x))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (/ t y) (- z x)))
  (/ 1 (/ 1 (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ t y) (- (sqrt z) (sqrt x))))
  (/ 1 (/ 1 1))
  (/ 1 (/ (/ t y) (- z x)))
  (/ 1 (/ t (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ 1 y) (cbrt (- z x))))
  (/ 1 (/ t (sqrt (- z x))))
  (/ 1 (/ (/ 1 y) (sqrt (- z x))))
  (/ 1 (/ t 1))
  (/ 1 (/ (/ 1 y) (- z x)))
  (/ 1 (/ t (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ 1 y) (- (sqrt z) (sqrt x))))
  (/ 1 (/ t 1))
  (/ 1 (/ (/ 1 y) (- z x)))
  (/ 1 1)
  (/ 1 (/ (/ t y) (- z x)))
  (/ 1 (/ t y))
  (/ 1 (/ 1 (- z x)))
  (/ 1 (/ (/ t y) (- (pow z 3) (pow x 3))))
  (/ 1 (+ (* z z) (+ (* x x) (* z x))))
  (/ 1 (/ (/ t y) (- (* z z) (* x x))))
  (/ 1 (+ z x))
  (/ 1 (/ (/ t y) (- z x)))
  (/ (/ (/ t y) (- z x)) 1)
  (/ 1 (* (cbrt (/ (/ t y) (- z x))) (cbrt (/ (/ t y) (- z x)))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (sqrt (- z x))))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt (/ t y)) (cbrt (/ t y))) 1))
  (/ 1 (/ (sqrt (/ t y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (sqrt (/ t y)) (sqrt (- z x))))
  (/ 1 (/ (sqrt (/ t y)) 1))
  (/ 1 (/ (sqrt (/ t y)) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt (/ t y)) 1))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) 1))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) (sqrt (- z x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) 1))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (* (cbrt t) (cbrt t)) 1) 1))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) 1))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) 1))
  (/ 1 (/ (/ (sqrt t) 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ (sqrt t) 1) (sqrt (- z x))))
  (/ 1 (/ (/ (sqrt t) 1) 1))
  (/ 1 (/ (/ (sqrt t) 1) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ (sqrt t) 1) 1))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (- z x))))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ 1 (* (cbrt y) (cbrt y))) 1))
  (/ 1 (/ (/ 1 (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ 1 (sqrt y)) (sqrt (- z x))))
  (/ 1 (/ (/ 1 (sqrt y)) 1))
  (/ 1 (/ (/ 1 (sqrt y)) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ 1 (sqrt y)) 1))
  (/ 1 (/ (/ 1 1) (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ (/ 1 1) (sqrt (- z x))))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ (/ 1 1) (+ (sqrt z) (sqrt x))))
  (/ 1 (/ (/ 1 1) 1))
  (/ 1 (/ 1 (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ 1 (sqrt (- z x))))
  (/ 1 (/ 1 1))
  (/ 1 (/ 1 (+ (sqrt z) (sqrt x))))
  (/ 1 (/ 1 1))
  (/ 1 (/ t (* (cbrt (- z x)) (cbrt (- z x)))))
  (/ 1 (/ t (sqrt (- z x))))
  (/ 1 (/ t 1))
  (/ 1 (/ t (+ (sqrt z) (sqrt x))))
  (/ 1 (/ t 1))
  (/ 1 1)
  (/ 1 (/ t y))
  (/ 1 (/ (/ t y) (- (pow z 3) (pow x 3))))
  (/ 1 (/ (/ t y) (- (* z z) (* x x))))
  (/ (/ (/ t y) (- z x)) (cbrt 1))
  (/ (/ (/ t y) (- z x)) (sqrt 1))
  (/ (/ (/ t y) (- z x)) 1)
  (/ 1 (/ t y))
  (* (exp x) (exp (/ 1 (/ (/ t y) (- z x)))))
  (log (+ x (/ 1 (/ (/ t y) (- z x)))))
  (exp (+ x (/ 1 (/ (/ t y) (- z x)))))
  (* (cbrt (+ x (/ 1 (/ (/ t y) (- z x))))) (cbrt (+ x (/ 1 (/ (/ t y) (- z x))))))
  (cbrt (+ x (/ 1 (/ (/ t y) (- z x)))))
  (* (* (+ x (/ 1 (/ (/ t y) (- z x)))) (+ x (/ 1 (/ (/ t y) (- z x))))) (+ x (/ 1 (/ (/ t y) (- z x)))))
  (sqrt (+ x (/ 1 (/ (/ t y) (- z x)))))
  (sqrt (+ x (/ 1 (/ (/ t y) (- z x)))))
  (+ (pow x 3) (pow (/ 1 (/ (/ t y) (- z x))) 3))
  (+ (* x x) (- (* (/ 1 (/ (/ t y) (- z x))) (/ 1 (/ (/ t y) (- z x)))) (* x (/ 1 (/ (/ t y) (- z x))))))
  (- (* x x) (* (/ 1 (/ (/ t y) (- z x))) (/ 1 (/ (/ t y) (- z x)))))
  (- x (/ 1 (/ (/ t y) (- z x))))
  (+ x (/ 1 (/ (/ t y) (- z x))))
  (+ x (/ 1 (/ (/ t y) (- z x))))
  0
  0
  0
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
1.161 * * [simplify]: iteration  0 :  1412  enodes  (cost  4509 )
1.184 * * [simplify]: iteration  1 :  5001  enodes  (cost  3663 )
1.201 * [simplify]: Simplified to:
   (log (/ (/ t y) (- z x)))
  (log (/ (/ t y) (- z x)))
  (log (/ (/ t y) (- z x)))
  (exp (/ (/ t y) (- z x)))
  (pow (/ (/ t y) (- z x)) 3)
  (pow (/ (/ t y) (- z x)) 3)
  (* (cbrt (/ (/ t y) (- z x))) (cbrt (/ (/ t y) (- z x))))
  (cbrt (/ (/ t y) (- z x)))
  (pow (/ (/ t y) (- z x)) 3)
  (sqrt (/ (/ t y) (- z x)))
  (sqrt (/ (/ t y) (- z x)))
  (- (/ t y))
  (- (- z x))
  (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (cbrt (/ t y)) (cbrt (- z x)))
  (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (sqrt (- z x)))
  (/ (cbrt (/ t y)) (sqrt (- z x)))
  (* (cbrt (/ t y)) (cbrt (/ t y)))
  (/ (cbrt (/ t y)) (- z x))
  (/ (* (cbrt (/ t y)) (cbrt (/ t y))) (+ (sqrt z) (sqrt x)))
  (/ (cbrt (/ t y)) (- (sqrt z) (sqrt x)))
  (* (cbrt (/ t y)) (cbrt (/ t y)))
  (/ (cbrt (/ t y)) (- z x))
  (/ (sqrt (/ t y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (sqrt (/ t y)) (cbrt (- z x)))
  (/ (sqrt (/ t y)) (sqrt (- z x)))
  (/ (sqrt (/ t y)) (sqrt (- z x)))
  (sqrt (/ t y))
  (/ (sqrt (/ t y)) (- z x))
  (/ (sqrt (/ t y)) (+ (sqrt z) (sqrt x)))
  (/ (sqrt (/ t y)) (- (sqrt z) (sqrt x)))
  (sqrt (/ t y))
  (/ (sqrt (/ t y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (cbrt t) (cbrt y)) (cbrt (- z x)))
  (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (sqrt (- z x)))
  (/ (/ (cbrt t) (cbrt y)) (sqrt (- z x)))
  (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt t) (cbrt y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x)))
  (/ (/ (cbrt t) (cbrt y)) (- (sqrt z) (sqrt x)))
  (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y)))
  (/ (/ (cbrt t) (cbrt y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (cbrt t) (sqrt y)) (cbrt (- z x)))
  (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (sqrt (- z x)))
  (/ (/ (cbrt t) (sqrt y)) (sqrt (- z x)))
  (/ (* (cbrt t) (cbrt t)) (sqrt y))
  (/ (/ (cbrt t) (sqrt y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (sqrt y)) (+ (sqrt z) (sqrt x)))
  (/ (/ (cbrt t) (sqrt y)) (- (sqrt z) (sqrt x)))
  (/ (* (cbrt t) (cbrt t)) (sqrt y))
  (/ (/ (cbrt t) (sqrt y)) (- z x))
  (/ (/ (* (cbrt t) (cbrt t)) (cbrt (- z x))) (cbrt (- z x)))
  (/ (/ (cbrt t) y) (cbrt (- z x)))
  (/ (* (cbrt t) (cbrt t)) (sqrt (- z x)))
  (/ (/ (cbrt t) y) (sqrt (- z x)))
  (* (cbrt t) (cbrt t))
  (/ (/ (cbrt t) y) (- z x))
  (/ (* (cbrt t) (cbrt t)) (+ (sqrt z) (sqrt x)))
  (/ (/ (cbrt t) y) (- (sqrt z) (sqrt x)))
  (* (cbrt t) (cbrt t))
  (/ (/ (cbrt t) y) (- z x))
  (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (sqrt t) (cbrt y)) (cbrt (- z x)))
  (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (sqrt (- z x)))
  (/ (/ (sqrt t) (cbrt y)) (sqrt (- z x)))
  (/ (sqrt t) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt t) (cbrt y)) (- z x))
  (/ (/ (sqrt t) (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) (cbrt y)) (- (sqrt z) (sqrt x)))
  (/ (sqrt t) (* (cbrt y) (cbrt y)))
  (/ (/ (sqrt t) (cbrt y)) (- z x))
  (/ (/ (sqrt t) (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ (sqrt t) (sqrt y)) (cbrt (- z x)))
  (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x)))
  (/ (/ (sqrt t) (sqrt y)) (sqrt (- z x)))
  (/ (sqrt t) (sqrt y))
  (/ (/ (sqrt t) (sqrt y)) (- z x))
  (/ (/ (sqrt t) (sqrt y)) (+ (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) (sqrt y)) (- (sqrt z) (sqrt x)))
  (/ (sqrt t) (sqrt y))
  (/ (/ (sqrt t) (sqrt y)) (- z x))
  (/ (/ (sqrt t) (cbrt (- z x))) (cbrt (- z x)))
  (/ (/ (sqrt t) y) (cbrt (- z x)))
  (/ (sqrt t) (sqrt (- z x)))
  (/ (/ (sqrt t) y) (sqrt (- z x)))
  (sqrt t)
  (/ (/ (sqrt t) y) (- z x))
  (/ (sqrt t) (+ (sqrt z) (sqrt x)))
  (/ (/ (sqrt t) y) (- (sqrt z) (sqrt x)))
  (sqrt t)
  (/ (/ (sqrt t) y) (- z x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t (cbrt y)) (cbrt (- z x)))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (sqrt (- z x)))
  (/ (/ t (cbrt y)) (sqrt (- z x)))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ t (cbrt y)) (- z x))
  (/ (/ 1 (* (cbrt y) (cbrt y))) (+ (sqrt z) (sqrt x)))
  (/ (/ t (cbrt y)) (- (sqrt z) (sqrt x)))
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (/ t (cbrt y)) (- z x))
  (/ (/ 1 (sqrt y)) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t (sqrt y)) (cbrt (- z x)))
  (/ (/ 1 (sqrt y)) (sqrt (- z x)))
  (/ (/ t (sqrt y)) (sqrt (- z x)))
  (/ 1 (sqrt y))
  (/ (/ t (sqrt y)) (- z x))
  (/ (/ 1 (sqrt y)) (+ (sqrt z) (sqrt x)))
  (/ (/ t (sqrt y)) (- (sqrt z) (sqrt x)))
  (/ 1 (sqrt y))
  (/ (/ t (sqrt y)) (- z x))
  (/ 1 (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t y) (cbrt (- z x)))
  (/ 1 (sqrt (- z x)))
  (/ (/ t y) (sqrt (- z x)))
  1
  (/ (/ t y) (- z x))
  (/ 1 (+ (sqrt z) (sqrt x)))
  (/ (/ t y) (- (sqrt z) (sqrt x)))
  1
  (/ (/ t y) (- z x))
  (/ 1 (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t y) (cbrt (- z x)))
  (/ 1 (sqrt (- z x)))
  (/ (/ t y) (sqrt (- z x)))
  1
  (/ (/ t y) (- z x))
  (/ 1 (+ (sqrt z) (sqrt x)))
  (/ (/ t y) (- (sqrt z) (sqrt x)))
  1
  (/ (/ t y) (- z x))
  (/ t (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ 1 y) (cbrt (- z x)))
  (/ t (sqrt (- z x)))
  (/ (/ 1 y) (sqrt (- z x)))
  t
  (/ (/ 1 y) (- z x))
  (/ t (+ (sqrt z) (sqrt x)))
  (/ (/ 1 y) (- (sqrt z) (sqrt x)))
  t
  (/ (/ 1 y) (- z x))
  (/ 1 (- z x))
  (/ (- z x) (/ t y))
  (/ (/ t y) (* (cbrt (- z x)) (cbrt (- z x))))
  (/ (/ t y) (sqrt (- z x)))
  (/ t y)
  (/ (/ t y) (+ (sqrt z) (sqrt x)))
  (/ t y)
  (/ (- z x) (cbrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) y))
  (/ (- z x) (/ t (cbrt y)))
  (/ (- z x) (/ t (sqrt y)))
  (/ (- z x) (/ t y))
  (/ (- z x) (/ t y))
  (* (- z x) y)
  (/ (/ t y) (- (pow z 3) (pow x 3)))
  (/ (/ t y) (- (* z z) (* x x)))
  (* (- z x) y)
  (- 1)
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (log (/ 1 (/ (/ t y) (- z x))))
  (exp (/ 1 (/ (/ t y) (- z x))))
  (/ 1 (pow (/ (/ t y) (- z x)) 3))
  (/ 1 (pow (/ (/ t y) (- z x)) 3))
  (/ 1 (pow (/ (/ t y) (- z x)) 3))
  (* (cbrt (/ 1 (/ (/ t y) (- z x)))) (cbrt (/ 1 (/ (/ t y) (- z x)))))
  (cbrt (/ 1 (/ (/ t y) (- z x))))
  (/ 1 (pow (/ (/ t y) (- z x)) 3))
  (sqrt (/ 1 (/ (/ t y) (- z x))))
  (sqrt (/ 1 (/ (/ t y) (- z x))))
  (- 1)
  (- (/ (/ t y) (- z x)))
  (/ (/ 1 (cbrt (/ (/ t y) (- z x)))) (cbrt (/ (/ t y) (- z x))))
  (/ 1 (cbrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ 1 (/ (cbrt (/ t y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (sqrt (- z x)) (cbrt (/ t y)))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ 1 (/ (cbrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt (/ t y)))
  (/ 1 (/ (sqrt (/ t y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (sqrt (/ t y)))
  (/ 1 (/ (sqrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (cbrt t) (cbrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (sqrt (- z x)) (/ (cbrt t) (sqrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt t) (cbrt t)))
  (/ 1 (/ (/ (cbrt t) y) (cbrt (- z x))))
  (/ (sqrt (- z x)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- z x)) (/ (cbrt t) y))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ 1 (/ (/ (cbrt t) y) (- (sqrt z) (sqrt x))))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (sqrt t) (cbrt y)))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt t))
  (/ 1 (/ (/ (sqrt t) y) (cbrt (- z x))))
  (/ (sqrt (- z x)) (sqrt t))
  (/ (sqrt (- z x)) (/ (sqrt t) y))
  (/ 1 (sqrt t))
  (/ (- z x) (/ (sqrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (sqrt t))
  (/ 1 (/ (/ (sqrt t) y) (- (sqrt z) (sqrt x))))
  (/ 1 (sqrt t))
  (/ (- z x) (/ (sqrt t) y))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ t (cbrt y)) (cbrt (- z x))))
  (* (sqrt (- z x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- z x)) (/ t (cbrt y)))
  (* (cbrt y) (cbrt y))
  (/ (- z x) (/ t (cbrt y)))
  (* (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ t (cbrt y)) (- (sqrt z) (sqrt x))))
  (* (cbrt y) (cbrt y))
  (/ (- z x) (/ t (cbrt y)))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))
  (/ 1 (/ (/ t (sqrt y)) (cbrt (- z x))))
  (* (sqrt (- z x)) (sqrt y))
  (/ (sqrt (- z x)) (/ t (sqrt y)))
  (sqrt y)
  (/ (- z x) (/ t (sqrt y)))
  (* (+ (sqrt z) (sqrt x)) (sqrt y))
  (/ 1 (/ (/ t (sqrt y)) (- (sqrt z) (sqrt x))))
  (sqrt y)
  (/ (- z x) (/ t (sqrt y)))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ 1 (/ (/ t y) (cbrt (- z x))))
  (sqrt (- z x))
  (/ (sqrt (- z x)) (/ t y))
  1
  (/ (- z x) (/ t y))
  (+ (sqrt z) (sqrt x))
  (/ 1 (/ (/ t y) (- (sqrt z) (sqrt x))))
  1
  (/ (- z x) (/ t y))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ 1 (/ (/ t y) (cbrt (- z x))))
  (sqrt (- z x))
  (/ (sqrt (- z x)) (/ t y))
  1
  (/ (- z x) (/ t y))
  (+ (sqrt z) (sqrt x))
  (/ 1 (/ (/ t y) (- (sqrt z) (sqrt x))))
  1
  (/ (- z x) (/ t y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) t)
  (* (cbrt (- z x)) y)
  (/ (sqrt (- z x)) t)
  (* (sqrt (- z x)) y)
  (/ 1 t)
  (* (- z x) y)
  (/ (+ (sqrt z) (sqrt x)) t)
  (* (- (sqrt z) (sqrt x)) y)
  (/ 1 t)
  (* (- z x) y)
  1
  (/ (- z x) (/ t y))
  (/ y t)
  (- z x)
  (/ (* 1 (- (pow z 3) (pow x 3))) (/ t y))
  (/ 1 (+ (* z z) (+ (* x x) (* z x))))
  (/ (* 1 (- (* z z) (* x x))) (/ t y))
  (/ 1 (+ z x))
  (/ (/ 1 (cbrt (/ (/ t y) (- z x)))) (cbrt (/ (/ t y) (- z x))))
  (/ 1 (cbrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ 1 (/ (cbrt (/ t y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (sqrt (- z x)) (cbrt (/ t y)))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ 1 (/ (cbrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt (/ t y)))
  (/ 1 (/ (sqrt (/ t y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (sqrt (/ t y)))
  (/ 1 (/ (sqrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (cbrt t) (cbrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (sqrt (- z x)) (/ (cbrt t) (sqrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt t) (cbrt t)))
  (/ 1 (/ (/ (cbrt t) y) (cbrt (- z x))))
  (/ (sqrt (- z x)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- z x)) (/ (cbrt t) y))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ 1 (/ (/ (cbrt t) y) (- (sqrt z) (sqrt x))))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (sqrt t) (cbrt y)))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt t))
  (/ 1 (/ (/ (sqrt t) y) (cbrt (- z x))))
  (/ (sqrt (- z x)) (sqrt t))
  (/ (sqrt (- z x)) (/ (sqrt t) y))
  (/ 1 (sqrt t))
  (/ (- z x) (/ (sqrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (sqrt t))
  (/ 1 (/ (/ (sqrt t) y) (- (sqrt z) (sqrt x))))
  (/ 1 (sqrt t))
  (/ (- z x) (/ (sqrt t) y))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ t (cbrt y)) (cbrt (- z x))))
  (* (sqrt (- z x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- z x)) (/ t (cbrt y)))
  (* (cbrt y) (cbrt y))
  (/ (- z x) (/ t (cbrt y)))
  (* (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ t (cbrt y)) (- (sqrt z) (sqrt x))))
  (* (cbrt y) (cbrt y))
  (/ (- z x) (/ t (cbrt y)))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))
  (/ 1 (/ (/ t (sqrt y)) (cbrt (- z x))))
  (* (sqrt (- z x)) (sqrt y))
  (/ (sqrt (- z x)) (/ t (sqrt y)))
  (sqrt y)
  (/ (- z x) (/ t (sqrt y)))
  (* (+ (sqrt z) (sqrt x)) (sqrt y))
  (/ 1 (/ (/ t (sqrt y)) (- (sqrt z) (sqrt x))))
  (sqrt y)
  (/ (- z x) (/ t (sqrt y)))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ 1 (/ (/ t y) (cbrt (- z x))))
  (sqrt (- z x))
  (/ (sqrt (- z x)) (/ t y))
  1
  (/ (- z x) (/ t y))
  (+ (sqrt z) (sqrt x))
  (/ 1 (/ (/ t y) (- (sqrt z) (sqrt x))))
  1
  (/ (- z x) (/ t y))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ 1 (/ (/ t y) (cbrt (- z x))))
  (sqrt (- z x))
  (/ (sqrt (- z x)) (/ t y))
  1
  (/ (- z x) (/ t y))
  (+ (sqrt z) (sqrt x))
  (/ 1 (/ (/ t y) (- (sqrt z) (sqrt x))))
  1
  (/ (- z x) (/ t y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) t)
  (* (cbrt (- z x)) y)
  (/ (sqrt (- z x)) t)
  (* (sqrt (- z x)) y)
  (/ 1 t)
  (* (- z x) y)
  (/ (+ (sqrt z) (sqrt x)) t)
  (* (- (sqrt z) (sqrt x)) y)
  (/ 1 t)
  (* (- z x) y)
  1
  (/ (- z x) (/ t y))
  (/ y t)
  (- z x)
  (/ (* 1 (- (pow z 3) (pow x 3))) (/ t y))
  (/ 1 (+ (* z z) (+ (* x x) (* z x))))
  (/ (* 1 (- (* z z) (* x x))) (/ t y))
  (/ 1 (+ z x))
  (/ (/ 1 (cbrt (/ (/ t y) (- z x)))) (cbrt (/ (/ t y) (- z x))))
  (/ 1 (cbrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ 1 (/ (cbrt (/ t y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (sqrt (- z x)) (cbrt (/ t y)))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ 1 (/ (cbrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (- z x) (cbrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt (/ t y)))
  (/ 1 (/ (sqrt (/ t y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (sqrt (/ t y)))
  (/ 1 (/ (sqrt (/ t y)) (- (sqrt z) (sqrt x))))
  (/ 1 (sqrt (/ t y)))
  (/ (- z x) (sqrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (cbrt t) (cbrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (cbrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (cbrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (sqrt (- z x)) (/ (cbrt t) (sqrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ 1 (/ (/ (cbrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (- z x) (/ (cbrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt t) (cbrt t)))
  (/ 1 (/ (/ (cbrt t) y) (cbrt (- z x))))
  (/ (sqrt (- z x)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- z x)) (/ (cbrt t) y))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ 1 (/ (/ (cbrt t) y) (- (sqrt z) (sqrt x))))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- z x) (/ (cbrt t) y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (sqrt t) (cbrt y)))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (/ (sqrt t) (cbrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (- z x) (/ (sqrt t) (cbrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (cbrt (- z x))))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (/ (sqrt t) (sqrt y)) (- (sqrt z) (sqrt x))))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (- z x) (/ (sqrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt t))
  (/ 1 (/ (/ (sqrt t) y) (cbrt (- z x))))
  (/ (sqrt (- z x)) (sqrt t))
  (/ (sqrt (- z x)) (/ (sqrt t) y))
  (/ 1 (sqrt t))
  (/ (- z x) (/ (sqrt t) y))
  (/ (+ (sqrt z) (sqrt x)) (sqrt t))
  (/ 1 (/ (/ (sqrt t) y) (- (sqrt z) (sqrt x))))
  (/ 1 (sqrt t))
  (/ (- z x) (/ (sqrt t) y))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ t (cbrt y)) (cbrt (- z x))))
  (* (sqrt (- z x)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- z x)) (/ t (cbrt y)))
  (* (cbrt y) (cbrt y))
  (/ (- z x) (/ t (cbrt y)))
  (* (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (/ 1 (/ (/ t (cbrt y)) (- (sqrt z) (sqrt x))))
  (* (cbrt y) (cbrt y))
  (/ (- z x) (/ t (cbrt y)))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))
  (/ 1 (/ (/ t (sqrt y)) (cbrt (- z x))))
  (* (sqrt (- z x)) (sqrt y))
  (/ (sqrt (- z x)) (/ t (sqrt y)))
  (sqrt y)
  (/ (- z x) (/ t (sqrt y)))
  (* (+ (sqrt z) (sqrt x)) (sqrt y))
  (/ 1 (/ (/ t (sqrt y)) (- (sqrt z) (sqrt x))))
  (sqrt y)
  (/ (- z x) (/ t (sqrt y)))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ 1 (/ (/ t y) (cbrt (- z x))))
  (sqrt (- z x))
  (/ (sqrt (- z x)) (/ t y))
  1
  (/ (- z x) (/ t y))
  (+ (sqrt z) (sqrt x))
  (/ 1 (/ (/ t y) (- (sqrt z) (sqrt x))))
  1
  (/ (- z x) (/ t y))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (/ 1 (/ (/ t y) (cbrt (- z x))))
  (sqrt (- z x))
  (/ (sqrt (- z x)) (/ t y))
  1
  (/ (- z x) (/ t y))
  (+ (sqrt z) (sqrt x))
  (/ 1 (/ (/ t y) (- (sqrt z) (sqrt x))))
  1
  (/ (- z x) (/ t y))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) t)
  (* (cbrt (- z x)) y)
  (/ (sqrt (- z x)) t)
  (* (sqrt (- z x)) y)
  (/ 1 t)
  (* (- z x) y)
  (/ (+ (sqrt z) (sqrt x)) t)
  (* (- (sqrt z) (sqrt x)) y)
  (/ 1 t)
  (* (- z x) y)
  1
  (/ (- z x) (/ t y))
  (/ y t)
  (- z x)
  (/ (* 1 (- (pow z 3) (pow x 3))) (/ t y))
  (/ 1 (+ (* z z) (+ (* x x) (* z x))))
  (/ (* 1 (- (* z z) (* x x))) (/ t y))
  (/ 1 (+ z x))
  (/ (- z x) (/ t y))
  (/ (/ t y) (- z x))
  (/ (/ 1 (cbrt (/ (/ t y) (- z x)))) (cbrt (/ (/ t y) (- z x))))
  (/ 1 (sqrt (/ (/ t y) (- z x))))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (sqrt (- z x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ 1 (* (cbrt (/ t y)) (cbrt (/ t y))))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt (/ t y)))
  (/ (sqrt (- z x)) (sqrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (+ (sqrt z) (sqrt x)) (sqrt (/ t y)))
  (/ 1 (sqrt (/ t y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt y) (cbrt y))))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (sqrt (- z x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- z x)) (* (cbrt t) (cbrt t)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (+ (sqrt z) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (sqrt (- z x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ 1 (/ (sqrt t) (* (cbrt y) (cbrt y))))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (/ (sqrt t) (sqrt y)))
  (/ (sqrt (- z x)) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (+ (sqrt z) (sqrt x)) (/ (sqrt t) (sqrt y)))
  (/ 1 (/ (sqrt t) (sqrt y)))
  (/ (* (cbrt (- z x)) (cbrt (- z x))) (sqrt t))
  (/ (sqrt (- z x)) (sqrt t))
  (/ 1 (sqrt t))
  (/ (+ (sqrt z) (sqrt x)) (sqrt t))
  (/ 1 (sqrt t))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (* (cbrt y) (cbrt y)))
  (* (sqrt (- z x)) (* (cbrt y) (cbrt y)))
  (* (cbrt y) (cbrt y))
  (* (+ (sqrt z) (sqrt x)) (* (cbrt y) (cbrt y)))
  (* (cbrt y) (cbrt y))
  (* (* (cbrt (- z x)) (cbrt (- z x))) (sqrt y))
  (* (sqrt (- z x)) (sqrt y))
  (sqrt y)
  (* (+ (sqrt z) (sqrt x)) (sqrt y))
  (sqrt y)
  (* (cbrt (- z x)) (cbrt (- z x)))
  (sqrt (- z x))
  1
  (+ (sqrt z) (sqrt x))
  1
  (* (cbrt (- z x)) (cbrt (- z x)))
  (sqrt (- z x))
  1
  (+ (sqrt z) (sqrt x))
  1
  (/ (* (cbrt (- z x)) (cbrt (- z x))) t)
  (/ (sqrt (- z x)) t)
  (/ 1 t)
  (/ (+ (sqrt z) (sqrt x)) t)
  (/ 1 t)
  1
  (/ y t)
  (/ (* 1 (- (pow z 3) (pow x 3))) (/ t y))
  (/ (* 1 (- (* z z) (* x x))) (/ t y))
  (/ (/ t y) (- z x))
  (/ (/ t y) (- z x))
  (/ (/ t y) (- z x))
  (/ y t)
  (exp (+ x (/ 1 (/ (/ t y) (- z x)))))
  (log (+ x (/ 1 (/ (/ t y) (- z x)))))
  (exp (+ x (/ 1 (/ (/ t y) (- z x)))))
  (* (cbrt (+ x (/ 1 (/ (/ t y) (- z x))))) (cbrt (+ x (/ 1 (/ (/ t y) (- z x))))))
  (cbrt (+ x (/ 1 (/ (/ t y) (- z x)))))
  (pow (+ x (/ 1 (/ (/ t y) (- z x)))) 3)
  (sqrt (+ x (/ 1 (/ (/ t y) (- z x)))))
  (sqrt (+ x (/ 1 (/ (/ t y) (- z x)))))
  (+ (pow x 3) (pow (/ 1 (/ (/ t y) (- z x))) 3))
  (+ (* (/ 1 (/ (/ t y) (- z x))) (- (/ 1 (/ (/ t y) (- z x))) x)) (* x x))
  (- (* x x) (* (/ 1 (/ (/ t y) (- z x))) (/ 1 (/ (/ t y) (- z x)))))
  (- x (/ 1 (/ (/ t y) (- z x))))
  (+ x (/ (- z x) (/ t y)))
  (+ x (/ (- z x) (/ t y)))
  0
  0
  0
  (/ (- z x) (/ t y))
  (/ (- z x) (/ t y))
  (/ (- z x) (/ t y))
  (+ x (/ (- z x) (/ t y)))
  (+ x (/ (- z x) (/ t y)))
  (+ x (/ (- z x) (/ t y)))
1.204 * * * [progress]: adding candidates to table
1.893 * * [progress]: iteration 4 / 4
1.893 * * * [progress]: picking best candidate
1.898 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (/ y t) (- z x))))>
1.899 * * * [progress]: localizing error
1.905 * * * [progress]: generating rewritten candidates
1.905 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.925 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.930 * * * [progress]: generating series expansions
1.930 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.930 * [approximate]: Taking taylor expansion of (/ (* y (- z x)) t) in (y t z x) around 0
1.930 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in x
1.930 * [taylor]: Taking taylor expansion of (* y (- z x)) in x
1.930 * [taylor]: Taking taylor expansion of y in x
1.930 * [taylor]: Taking taylor expansion of (- z x) in x
1.930 * [taylor]: Taking taylor expansion of z in x
1.930 * [taylor]: Taking taylor expansion of x in x
1.930 * [taylor]: Taking taylor expansion of t in x
1.931 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in z
1.931 * [taylor]: Taking taylor expansion of (* y (- z x)) in z
1.931 * [taylor]: Taking taylor expansion of y in z
1.931 * [taylor]: Taking taylor expansion of (- z x) in z
1.931 * [taylor]: Taking taylor expansion of z in z
1.931 * [taylor]: Taking taylor expansion of x in z
1.931 * [taylor]: Taking taylor expansion of t in z
1.931 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in t
1.931 * [taylor]: Taking taylor expansion of (* y (- z x)) in t
1.931 * [taylor]: Taking taylor expansion of y in t
1.931 * [taylor]: Taking taylor expansion of (- z x) in t
1.931 * [taylor]: Taking taylor expansion of z in t
1.931 * [taylor]: Taking taylor expansion of x in t
1.931 * [taylor]: Taking taylor expansion of t in t
1.932 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
1.932 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
1.932 * [taylor]: Taking taylor expansion of y in y
1.932 * [taylor]: Taking taylor expansion of (- z x) in y
1.932 * [taylor]: Taking taylor expansion of z in y
1.932 * [taylor]: Taking taylor expansion of x in y
1.932 * [taylor]: Taking taylor expansion of t in y
1.933 * [taylor]: Taking taylor expansion of (/ (* y (- z x)) t) in y
1.933 * [taylor]: Taking taylor expansion of (* y (- z x)) in y
1.933 * [taylor]: Taking taylor expansion of y in y
1.933 * [taylor]: Taking taylor expansion of (- z x) in y
1.933 * [taylor]: Taking taylor expansion of z in y
1.933 * [taylor]: Taking taylor expansion of x in y
1.933 * [taylor]: Taking taylor expansion of t in y
1.934 * [taylor]: Taking taylor expansion of (/ (- z x) t) in t
1.934 * [taylor]: Taking taylor expansion of (- z x) in t
1.934 * [taylor]: Taking taylor expansion of z in t
1.934 * [taylor]: Taking taylor expansion of x in t
1.934 * [taylor]: Taking taylor expansion of t in t
1.934 * [taylor]: Taking taylor expansion of (- z x) in z
1.934 * [taylor]: Taking taylor expansion of z in z
1.934 * [taylor]: Taking taylor expansion of x in z
1.934 * [taylor]: Taking taylor expansion of (- x) in x
1.934 * [taylor]: Taking taylor expansion of x in x
1.936 * [taylor]: Taking taylor expansion of 0 in t
1.937 * [taylor]: Taking taylor expansion of 0 in z
1.937 * [taylor]: Taking taylor expansion of 0 in x
1.937 * [taylor]: Taking taylor expansion of 1 in x
1.939 * [taylor]: Taking taylor expansion of 0 in t
1.939 * [taylor]: Taking taylor expansion of 0 in z
1.939 * [taylor]: Taking taylor expansion of 0 in x
1.940 * [taylor]: Taking taylor expansion of 0 in z
1.940 * [taylor]: Taking taylor expansion of 0 in x
1.941 * [taylor]: Taking taylor expansion of 0 in x
1.941 * [taylor]: Taking taylor expansion of 0 in x
1.941 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in (y t z x) around 0
1.941 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in x
1.941 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in x
1.941 * [taylor]: Taking taylor expansion of t in x
1.941 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x
1.942 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.942 * [taylor]: Taking taylor expansion of z in x
1.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.942 * [taylor]: Taking taylor expansion of x in x
1.942 * [taylor]: Taking taylor expansion of y in x
1.942 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in z
1.942 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in z
1.942 * [taylor]: Taking taylor expansion of t in z
1.942 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.943 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.943 * [taylor]: Taking taylor expansion of z in z
1.943 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.943 * [taylor]: Taking taylor expansion of x in z
1.943 * [taylor]: Taking taylor expansion of y in z
1.943 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in t
1.943 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
1.943 * [taylor]: Taking taylor expansion of t in t
1.943 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.943 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.943 * [taylor]: Taking taylor expansion of z in t
1.943 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.943 * [taylor]: Taking taylor expansion of x in t
1.943 * [taylor]: Taking taylor expansion of y in t
1.944 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
1.944 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
1.944 * [taylor]: Taking taylor expansion of t in y
1.944 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.945 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.945 * [taylor]: Taking taylor expansion of z in y
1.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.945 * [taylor]: Taking taylor expansion of x in y
1.945 * [taylor]: Taking taylor expansion of y in y
1.945 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 z) (/ 1 x))) y) in y
1.945 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in y
1.945 * [taylor]: Taking taylor expansion of t in y
1.945 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y
1.945 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.945 * [taylor]: Taking taylor expansion of z in y
1.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.945 * [taylor]: Taking taylor expansion of x in y
1.945 * [taylor]: Taking taylor expansion of y in y
1.945 * [taylor]: Taking taylor expansion of (* t (- (/ 1 z) (/ 1 x))) in t
1.945 * [taylor]: Taking taylor expansion of t in t
1.945 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t
1.945 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.945 * [taylor]: Taking taylor expansion of z in t
1.945 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.945 * [taylor]: Taking taylor expansion of x in t
1.946 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z
1.946 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.947 * [taylor]: Taking taylor expansion of z in z
1.947 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.947 * [taylor]: Taking taylor expansion of x in z
1.947 * [taylor]: Taking taylor expansion of 1 in x
1.948 * [taylor]: Taking taylor expansion of 0 in t
1.948 * [taylor]: Taking taylor expansion of 0 in z
1.950 * [taylor]: Taking taylor expansion of 0 in z
1.950 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x
1.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.950 * [taylor]: Taking taylor expansion of x in x
1.953 * [taylor]: Taking taylor expansion of 0 in t
1.953 * [taylor]: Taking taylor expansion of 0 in z
1.953 * [taylor]: Taking taylor expansion of 0 in z
1.954 * [taylor]: Taking taylor expansion of 0 in z
1.954 * [taylor]: Taking taylor expansion of 0 in x
1.954 * [taylor]: Taking taylor expansion of 0 in x
1.955 * [taylor]: Taking taylor expansion of 0 in x
1.958 * [taylor]: Taking taylor expansion of 0 in t
1.958 * [taylor]: Taking taylor expansion of 0 in z
1.959 * [taylor]: Taking taylor expansion of 0 in z
1.959 * [taylor]: Taking taylor expansion of 0 in z
1.960 * [taylor]: Taking taylor expansion of 0 in z
1.960 * [taylor]: Taking taylor expansion of 0 in x
1.960 * [taylor]: Taking taylor expansion of 0 in x
1.960 * [taylor]: Taking taylor expansion of 0 in x
1.960 * [taylor]: Taking taylor expansion of 0 in x
1.960 * [taylor]: Taking taylor expansion of 0 in x
1.962 * [taylor]: Taking taylor expansion of 0 in x
1.963 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in (y t z x) around 0
1.963 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in x
1.963 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in x
1.963 * [taylor]: Taking taylor expansion of t in x
1.963 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x
1.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.963 * [taylor]: Taking taylor expansion of x in x
1.963 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.963 * [taylor]: Taking taylor expansion of z in x
1.963 * [taylor]: Taking taylor expansion of y in x
1.964 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in z
1.964 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in z
1.964 * [taylor]: Taking taylor expansion of t in z
1.964 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.964 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.964 * [taylor]: Taking taylor expansion of x in z
1.964 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.964 * [taylor]: Taking taylor expansion of z in z
1.964 * [taylor]: Taking taylor expansion of y in z
1.965 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in t
1.965 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
1.965 * [taylor]: Taking taylor expansion of t in t
1.965 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.965 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.965 * [taylor]: Taking taylor expansion of x in t
1.965 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.965 * [taylor]: Taking taylor expansion of z in t
1.965 * [taylor]: Taking taylor expansion of y in t
1.966 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
1.966 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
1.966 * [taylor]: Taking taylor expansion of t in y
1.966 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.966 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.966 * [taylor]: Taking taylor expansion of x in y
1.966 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.966 * [taylor]: Taking taylor expansion of z in y
1.966 * [taylor]: Taking taylor expansion of y in y
1.966 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 z))) y) in y
1.966 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in y
1.966 * [taylor]: Taking taylor expansion of t in y
1.966 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y
1.966 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.966 * [taylor]: Taking taylor expansion of x in y
1.966 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.966 * [taylor]: Taking taylor expansion of z in y
1.966 * [taylor]: Taking taylor expansion of y in y
1.967 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 z))) in t
1.967 * [taylor]: Taking taylor expansion of t in t
1.967 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t
1.967 * [taylor]: Taking taylor expansion of (/ 1 x) in t
1.967 * [taylor]: Taking taylor expansion of x in t
1.967 * [taylor]: Taking taylor expansion of (/ 1 z) in t
1.967 * [taylor]: Taking taylor expansion of z in t
1.968 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z
1.968 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.968 * [taylor]: Taking taylor expansion of x in z
1.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.968 * [taylor]: Taking taylor expansion of z in z
1.969 * [taylor]: Taking taylor expansion of -1 in x
1.970 * [taylor]: Taking taylor expansion of 0 in t
1.970 * [taylor]: Taking taylor expansion of 0 in z
1.972 * [taylor]: Taking taylor expansion of 0 in z
1.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.972 * [taylor]: Taking taylor expansion of x in x
1.975 * [taylor]: Taking taylor expansion of 0 in t
1.975 * [taylor]: Taking taylor expansion of 0 in z
1.975 * [taylor]: Taking taylor expansion of 0 in z
1.976 * [taylor]: Taking taylor expansion of 0 in z
1.976 * [taylor]: Taking taylor expansion of 0 in x
1.976 * [taylor]: Taking taylor expansion of 0 in x
1.977 * [taylor]: Taking taylor expansion of 0 in x
1.980 * [taylor]: Taking taylor expansion of 0 in t
1.980 * [taylor]: Taking taylor expansion of 0 in z
1.980 * [taylor]: Taking taylor expansion of 0 in z
1.980 * [taylor]: Taking taylor expansion of 0 in z
1.982 * [taylor]: Taking taylor expansion of 0 in z
1.982 * [taylor]: Taking taylor expansion of 0 in x
1.982 * [taylor]: Taking taylor expansion of 0 in x
1.982 * [taylor]: Taking taylor expansion of 0 in x
1.982 * [taylor]: Taking taylor expansion of 0 in x
1.982 * [taylor]: Taking taylor expansion of 0 in x
1.983 * [taylor]: Taking taylor expansion of 0 in x
1.984 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.984 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in (x y t z) around 0
1.984 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in z
1.984 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
1.984 * [taylor]: Taking taylor expansion of (/ (* z y) t) 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 t in z
1.985 * [taylor]: Taking taylor expansion of x in z
1.985 * [taylor]: Taking taylor expansion of (/ (* x y) t) in z
1.985 * [taylor]: Taking taylor expansion of (* x y) in z
1.985 * [taylor]: Taking taylor expansion of x in z
1.985 * [taylor]: Taking taylor expansion of y in z
1.985 * [taylor]: Taking taylor expansion of t in z
1.985 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in t
1.985 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
1.985 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
1.985 * [taylor]: Taking taylor expansion of (* z y) in t
1.985 * [taylor]: Taking taylor expansion of z in t
1.985 * [taylor]: Taking taylor expansion of y in t
1.985 * [taylor]: Taking taylor expansion of t in t
1.985 * [taylor]: Taking taylor expansion of x in t
1.985 * [taylor]: Taking taylor expansion of (/ (* x y) t) in t
1.985 * [taylor]: Taking taylor expansion of (* x y) in t
1.985 * [taylor]: Taking taylor expansion of x in t
1.985 * [taylor]: Taking taylor expansion of y in t
1.985 * [taylor]: Taking taylor expansion of t in t
1.985 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in y
1.985 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
1.985 * [taylor]: Taking taylor expansion of (/ (* z y) t) 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 t in y
1.986 * [taylor]: Taking taylor expansion of x in y
1.986 * [taylor]: Taking taylor expansion of (/ (* x y) t) in y
1.986 * [taylor]: Taking taylor expansion of (* x y) in y
1.986 * [taylor]: Taking taylor expansion of x in y
1.986 * [taylor]: Taking taylor expansion of y in y
1.986 * [taylor]: Taking taylor expansion of t in y
1.986 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
1.986 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
1.986 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.986 * [taylor]: Taking taylor expansion of (* z y) in x
1.986 * [taylor]: Taking taylor expansion of z in x
1.986 * [taylor]: Taking taylor expansion of y in x
1.986 * [taylor]: Taking taylor expansion of t in x
1.986 * [taylor]: Taking taylor expansion of x in x
1.986 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
1.986 * [taylor]: Taking taylor expansion of (* x y) in x
1.986 * [taylor]: Taking taylor expansion of x in x
1.986 * [taylor]: Taking taylor expansion of y in x
1.986 * [taylor]: Taking taylor expansion of t in x
1.987 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x y) t)) in x
1.987 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
1.987 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
1.987 * [taylor]: Taking taylor expansion of (* z y) in x
1.987 * [taylor]: Taking taylor expansion of z in x
1.987 * [taylor]: Taking taylor expansion of y in x
1.987 * [taylor]: Taking taylor expansion of t in x
1.987 * [taylor]: Taking taylor expansion of x in x
1.987 * [taylor]: Taking taylor expansion of (/ (* x y) t) in x
1.987 * [taylor]: Taking taylor expansion of (* x y) in x
1.987 * [taylor]: Taking taylor expansion of x in x
1.987 * [taylor]: Taking taylor expansion of y in x
1.987 * [taylor]: Taking taylor expansion of t in x
1.987 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
1.987 * [taylor]: Taking taylor expansion of (* z y) in y
1.987 * [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 t in y
1.988 * [taylor]: Taking taylor expansion of (- 1 (/ y t)) in y
1.988 * [taylor]: Taking taylor expansion of 1 in y
1.988 * [taylor]: Taking taylor expansion of (/ y t) in y
1.988 * [taylor]: Taking taylor expansion of y in y
1.988 * [taylor]: Taking taylor expansion of t in y
1.989 * [taylor]: Taking taylor expansion of 1 in t
1.989 * [taylor]: Taking taylor expansion of (/ z t) in t
1.989 * [taylor]: Taking taylor expansion of z in t
1.989 * [taylor]: Taking taylor expansion of t in t
1.989 * [taylor]: Taking taylor expansion of z in z
1.991 * [taylor]: Taking taylor expansion of 0 in y
1.991 * [taylor]: Taking taylor expansion of 0 in t
1.991 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
1.991 * [taylor]: Taking taylor expansion of (/ 1 t) in t
1.991 * [taylor]: Taking taylor expansion of t in t
1.991 * [taylor]: Taking taylor expansion of -1 in z
1.992 * [taylor]: Taking taylor expansion of 0 in t
1.992 * [taylor]: Taking taylor expansion of 1 in z
1.992 * [taylor]: Taking taylor expansion of 0 in z
1.993 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in (x y t z) around 0
1.993 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in z
1.993 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
1.993 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
1.993 * [taylor]: Taking taylor expansion of t in z
1.993 * [taylor]: Taking taylor expansion of (* z y) in z
1.993 * [taylor]: Taking taylor expansion of z in z
1.993 * [taylor]: Taking taylor expansion of y in z
1.994 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.994 * [taylor]: Taking taylor expansion of x in z
1.994 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
1.994 * [taylor]: Taking taylor expansion of t in z
1.994 * [taylor]: Taking taylor expansion of (* x y) in z
1.994 * [taylor]: Taking taylor expansion of x in z
1.994 * [taylor]: Taking taylor expansion of y in z
1.994 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in t
1.994 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
1.994 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
1.994 * [taylor]: Taking taylor expansion of 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 (/ 1 x) in t
1.994 * [taylor]: Taking taylor expansion of x in t
1.994 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
1.994 * [taylor]: Taking taylor expansion of t in t
1.994 * [taylor]: Taking taylor expansion of (* x y) in t
1.994 * [taylor]: Taking taylor expansion of x in t
1.994 * [taylor]: Taking taylor expansion of y in t
1.994 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in y
1.994 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
1.994 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.994 * [taylor]: Taking taylor expansion of t in y
1.994 * [taylor]: Taking taylor expansion of (* z y) in y
1.994 * [taylor]: Taking taylor expansion of z in y
1.994 * [taylor]: Taking taylor expansion of y 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 (/ t (* x y)) in y
1.995 * [taylor]: Taking taylor expansion of t in y
1.995 * [taylor]: Taking taylor expansion of (* x y) in y
1.995 * [taylor]: Taking taylor expansion of x in y
1.995 * [taylor]: Taking taylor expansion of y in y
1.995 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
1.995 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
1.995 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.995 * [taylor]: Taking taylor expansion of 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 (/ 1 x) in x
1.995 * [taylor]: Taking taylor expansion of x in x
1.996 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
1.996 * [taylor]: Taking taylor expansion of t in x
1.996 * [taylor]: Taking taylor expansion of (* x y) in x
1.996 * [taylor]: Taking taylor expansion of x in x
1.996 * [taylor]: Taking taylor expansion of y in x
1.996 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x y))) in x
1.996 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
1.996 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
1.996 * [taylor]: Taking taylor expansion of 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 (/ 1 x) in x
1.996 * [taylor]: Taking taylor expansion of x in x
1.996 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
1.996 * [taylor]: Taking taylor expansion of t in x
1.996 * [taylor]: Taking taylor expansion of (* x y) in x
1.996 * [taylor]: Taking taylor expansion of x in x
1.996 * [taylor]: Taking taylor expansion of y in x
1.997 * [taylor]: Taking taylor expansion of (- 1 (/ t y)) in y
1.997 * [taylor]: Taking taylor expansion of 1 in y
1.997 * [taylor]: Taking taylor expansion of (/ t y) in y
1.997 * [taylor]: Taking taylor expansion of t in y
1.997 * [taylor]: Taking taylor expansion of y in y
1.997 * [taylor]: Taking taylor expansion of (- t) in t
1.997 * [taylor]: Taking taylor expansion of t in t
1.998 * [taylor]: Taking taylor expansion of 0 in z
1.999 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
1.999 * [taylor]: Taking taylor expansion of t in y
1.999 * [taylor]: Taking taylor expansion of (* z y) in y
1.999 * [taylor]: Taking taylor expansion of z in y
1.999 * [taylor]: Taking taylor expansion of y in y
1.999 * [taylor]: Taking taylor expansion of (/ t z) in t
1.999 * [taylor]: Taking taylor expansion of t in t
2.000 * [taylor]: Taking taylor expansion of z in t
2.001 * [taylor]: Taking taylor expansion of 1 in t
2.001 * [taylor]: Taking taylor expansion of 1 in z
2.001 * [taylor]: Taking taylor expansion of -1 in z
2.003 * [taylor]: Taking taylor expansion of 0 in y
2.004 * [taylor]: Taking taylor expansion of 0 in t
2.004 * [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 (/ 1 z) in z
2.005 * [taylor]: Taking taylor expansion of z in z
2.005 * [taylor]: Taking taylor expansion of 0 in z
2.005 * [taylor]: Taking taylor expansion of 0 in z
2.006 * [approximate]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in (x y t z) around 0
2.006 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in z
2.006 * [taylor]: Taking taylor expansion of (/ t (* x y)) in z
2.006 * [taylor]: Taking taylor expansion of t in z
2.006 * [taylor]: Taking taylor expansion of (* x y) in z
2.006 * [taylor]: Taking taylor expansion of x in z
2.006 * [taylor]: Taking taylor expansion of y in z
2.006 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
2.006 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
2.006 * [taylor]: Taking taylor expansion of t in z
2.006 * [taylor]: Taking taylor expansion of (* z y) in z
2.006 * [taylor]: Taking taylor expansion of z in z
2.006 * [taylor]: Taking taylor expansion of y in z
2.007 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.007 * [taylor]: Taking taylor expansion of x in z
2.007 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in t
2.007 * [taylor]: Taking taylor expansion of (/ t (* x y)) in t
2.007 * [taylor]: Taking taylor expansion of t in t
2.007 * [taylor]: Taking taylor expansion of (* x y) in t
2.007 * [taylor]: Taking taylor expansion of x in t
2.007 * [taylor]: Taking taylor expansion of y in t
2.007 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
2.007 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
2.007 * [taylor]: Taking taylor expansion of t in t
2.007 * [taylor]: Taking taylor expansion of (* z y) in t
2.007 * [taylor]: Taking taylor expansion of z in t
2.007 * [taylor]: Taking taylor expansion of y in t
2.007 * [taylor]: Taking taylor expansion of (/ 1 x) in t
2.007 * [taylor]: Taking taylor expansion of x in t
2.007 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in y
2.007 * [taylor]: Taking taylor expansion of (/ t (* x y)) in y
2.007 * [taylor]: Taking taylor expansion of t in y
2.007 * [taylor]: Taking taylor expansion of (* x y) in y
2.007 * [taylor]: Taking taylor expansion of x in y
2.007 * [taylor]: Taking taylor expansion of y in y
2.008 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
2.008 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
2.008 * [taylor]: Taking taylor expansion of t in y
2.008 * [taylor]: Taking taylor expansion of (* z y) in y
2.008 * [taylor]: Taking taylor expansion of z in y
2.008 * [taylor]: Taking taylor expansion of y in y
2.008 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.008 * [taylor]: Taking taylor expansion of x in y
2.008 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
2.008 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
2.008 * [taylor]: Taking taylor expansion of t in x
2.008 * [taylor]: Taking taylor expansion of (* x y) in x
2.008 * [taylor]: Taking taylor expansion of x in x
2.008 * [taylor]: Taking taylor expansion of y in x
2.009 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
2.009 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
2.009 * [taylor]: Taking taylor expansion of t in x
2.009 * [taylor]: Taking taylor expansion of (* z y) in x
2.009 * [taylor]: Taking taylor expansion of z in x
2.009 * [taylor]: Taking taylor expansion of y in x
2.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.009 * [taylor]: Taking taylor expansion of x in x
2.009 * [taylor]: Taking taylor expansion of (- (/ t (* x y)) (+ (/ t (* z y)) (/ 1 x))) in x
2.009 * [taylor]: Taking taylor expansion of (/ t (* x y)) in x
2.009 * [taylor]: Taking taylor expansion of t in x
2.009 * [taylor]: Taking taylor expansion of (* x y) in x
2.009 * [taylor]: Taking taylor expansion of x in x
2.009 * [taylor]: Taking taylor expansion of y in x
2.010 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
2.010 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
2.010 * [taylor]: Taking taylor expansion of t in x
2.010 * [taylor]: Taking taylor expansion of (* z y) in x
2.010 * [taylor]: Taking taylor expansion of z in x
2.010 * [taylor]: Taking taylor expansion of y in x
2.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.010 * [taylor]: Taking taylor expansion of x in x
2.011 * [taylor]: Taking taylor expansion of (- (/ t y) 1) in y
2.011 * [taylor]: Taking taylor expansion of (/ t y) in y
2.011 * [taylor]: Taking taylor expansion of t in y
2.011 * [taylor]: Taking taylor expansion of y in y
2.011 * [taylor]: Taking taylor expansion of 1 in y
2.011 * [taylor]: Taking taylor expansion of t in t
2.011 * [taylor]: Taking taylor expansion of 0 in z
2.012 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y
2.012 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
2.012 * [taylor]: Taking taylor expansion of t in y
2.012 * [taylor]: Taking taylor expansion of (* z y) in y
2.012 * [taylor]: Taking taylor expansion of z in y
2.012 * [taylor]: Taking taylor expansion of y in y
2.013 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
2.013 * [taylor]: Taking taylor expansion of (/ t z) in t
2.013 * [taylor]: Taking taylor expansion of t in t
2.013 * [taylor]: Taking taylor expansion of z in t
2.014 * [taylor]: Taking taylor expansion of -1 in t
2.014 * [taylor]: Taking taylor expansion of -1 in z
2.014 * [taylor]: Taking taylor expansion of 1 in z
2.021 * [taylor]: Taking taylor expansion of 0 in y
2.022 * [taylor]: Taking taylor expansion of 0 in t
2.022 * [taylor]: Taking taylor expansion of 0 in z
2.023 * [taylor]: Taking taylor expansion of 0 in t
2.023 * [taylor]: Taking taylor expansion of 0 in z
2.023 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
2.023 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.023 * [taylor]: Taking taylor expansion of z in z
2.024 * [taylor]: Taking taylor expansion of 0 in z
2.024 * [taylor]: Taking taylor expansion of 0 in z
2.024 * * * [progress]: simplifying candidates
2.025 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (/ y t) (- z x))
  (+ (- (log y) (log t)) (log (- z x)))
  (+ (log (/ y t)) (log (- z x)))
  (log (* (/ y t) (- z x)))
  (exp (* (/ y t) (- z x)))
  (* (/ (* (* y y) y) (* (* t t) t)) (* (* (- z x) (- z x)) (- z x)))
  (* (* (* (/ y t) (/ y t)) (/ y t)) (* (* (- z x) (- z x)) (- z x)))
  (* (cbrt (* (/ y t) (- z x))) (cbrt (* (/ y t) (- z x))))
  (cbrt (* (/ y t) (- z x)))
  (* (* (* (/ y t) (- z x)) (* (/ y t) (- z x))) (* (/ y t) (- z x)))
  (sqrt (* (/ y t) (- z x)))
  (sqrt (* (/ y t) (- z x)))
  (* y (- (pow z 3) (pow x 3)))
  (* t (+ (* z z) (+ (* x x) (* z x))))
  (* y (- (* z z) (* x x)))
  (* t (+ z x))
  (* (sqrt (/ y t)) (sqrt (- z x)))
  (* (sqrt (/ y t)) (sqrt (- z x)))
  (* (/ (sqrt y) (sqrt t)) (sqrt (- z x)))
  (* (/ (sqrt y) (sqrt t)) (sqrt (- z x)))
  (* (/ y t) z)
  (* (/ y t) (- x))
  (* (/ y t) z)
  (* (/ y t) (- x))
  (* z (/ y t))
  (* (- x) (/ y t))
  (* z (/ y t))
  (* (- x) (/ y t))
  (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x))))
  (* (/ y t) (sqrt (- z x)))
  (* (/ y t) 1)
  (* (/ y t) (+ (sqrt z) (sqrt x)))
  (* (/ y t) 1)
  (* (cbrt (/ y t)) (- z x))
  (* (sqrt (/ y t)) (- z x))
  (* (/ (cbrt y) (cbrt t)) (- z x))
  (* (/ (cbrt y) (sqrt t)) (- z x))
  (* (/ (cbrt y) t) (- z x))
  (* (/ (sqrt y) (cbrt t)) (- z x))
  (* (/ (sqrt y) (sqrt t)) (- z x))
  (* (/ (sqrt y) t) (- z x))
  (* (/ y (cbrt t)) (- z x))
  (* (/ y (sqrt t)) (- z x))
  (* (/ y t) (- z x))
  (* (/ y t) (- z x))
  (* (/ 1 t) (- z x))
  (* (/ y t) (- (pow z 3) (pow x 3)))
  (* (/ y t) (- (* z z) (* x x)))
  (* y (- z x))
  (* (exp x) (exp (* (/ y t) (- z x))))
  (log (+ x (* (/ y t) (- z x))))
  (exp (+ x (* (/ y t) (- z x))))
  (* (cbrt (+ x (* (/ y t) (- z x)))) (cbrt (+ x (* (/ y t) (- z x)))))
  (cbrt (+ x (* (/ y t) (- z x))))
  (* (* (+ x (* (/ y t) (- z x))) (+ x (* (/ y t) (- z x)))) (+ x (* (/ y t) (- z x))))
  (sqrt (+ x (* (/ y t) (- z x))))
  (sqrt (+ x (* (/ y t) (- z x))))
  (+ (pow x 3) (pow (* (/ y t) (- z x)) 3))
  (+ (* x x) (- (* (* (/ y t) (- z x)) (* (/ y t) (- z x))) (* x (* (/ y t) (- z x)))))
  (- (* x x) (* (* (/ y t) (- z x)) (* (/ y t) (- z x))))
  (- x (* (/ y t) (- z x)))
  (+ x (* (/ y t) z))
  (+ x (* (/ y t) z))
  (+ x (* z (/ y t)))
  (+ x (* z (/ y t)))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (/ (* z y) t) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
  (- (+ (/ (* z y) t) x) (/ (* x y) t))
2.030 * * [simplify]: iteration  0 :  315  enodes  (cost  335 )
2.037 * * [simplify]: iteration  1 :  1214  enodes  (cost  299 )
2.062 * * [simplify]: iteration  2 :  5002  enodes  (cost  299 )
2.064 * [simplify]: Simplified to:
   (* (/ y t) (- z x))
  (log (* (/ y t) (- z x)))
  (log (* (/ y t) (- z x)))
  (log (* (/ y t) (- z x)))
  (exp (* (/ y t) (- z x)))
  (pow (* (/ y t) (- z x)) 3)
  (pow (* (/ y t) (- z x)) 3)
  (* (cbrt (* (/ y t) (- z x))) (cbrt (* (/ y t) (- z x))))
  (cbrt (* (/ y t) (- z x)))
  (pow (* (/ y t) (- z x)) 3)
  (sqrt (* (/ y t) (- z x)))
  (sqrt (* (/ y t) (- z x)))
  (* y (- (pow z 3) (pow x 3)))
  (* (+ (* x (+ x z)) (* z z)) t)
  (* y (- (* z z) (* x x)))
  (* t (+ z x))
  (* (sqrt (/ y t)) (sqrt (- z x)))
  (* (sqrt (/ y t)) (sqrt (- z x)))
  (* (/ (sqrt y) (sqrt t)) (sqrt (- z x)))
  (* (/ (sqrt y) (sqrt t)) (sqrt (- z x)))
  (* z (/ y t))
  (* (/ y t) (- x))
  (* z (/ y t))
  (* (/ y t) (- x))
  (* z (/ y t))
  (* (/ y t) (- x))
  (* z (/ y t))
  (* (/ y t) (- x))
  (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x))))
  (* (/ y t) (sqrt (- z x)))
  (/ y t)
  (* (/ y t) (+ (sqrt z) (sqrt x)))
  (/ y t)
  (* (cbrt (/ y t)) (- z x))
  (* (sqrt (/ y t)) (- z x))
  (* (/ (cbrt y) (cbrt t)) (- z x))
  (* (/ (cbrt y) (sqrt t)) (- z x))
  (* (/ (cbrt y) t) (- z x))
  (* (/ (sqrt y) (cbrt t)) (- z x))
  (* (/ (sqrt y) (sqrt t)) (- z x))
  (* (/ (sqrt y) t) (- z x))
  (* (/ y (cbrt t)) (- z x))
  (* (/ y (sqrt t)) (- z x))
  (* (/ y t) (- z x))
  (* (/ y t) (- z x))
  (/ (- z x) t)
  (* (/ y t) (- (pow z 3) (pow x 3)))
  (* (/ y t) (- (* z z) (* x x)))
  (* y (- z x))
  (exp (+ x (* (/ y t) (- z x))))
  (log (+ x (* (/ y t) (- z x))))
  (exp (+ x (* (/ y t) (- z x))))
  (* (cbrt (+ x (* (/ y t) (- z x)))) (cbrt (+ x (* (/ y t) (- z x)))))
  (cbrt (+ x (* (/ y t) (- z x))))
  (pow (+ x (* (/ y t) (- z x))) 3)
  (sqrt (+ x (* (/ y t) (- z x))))
  (sqrt (+ x (* (/ y t) (- z x))))
  (+ (pow x 3) (pow (* (/ y t) (- z x)) 3))
  (+ (* (* (/ y t) (- z x)) (- (* (/ y t) (- z x)) x)) (* x x))
  (- (* x x) (* (* (/ y t) (- z x)) (* (/ y t) (- z x))))
  (- x (* (/ y t) (- z x)))
  (+ x (* z (/ y t)))
  (+ x (* z (/ y t)))
  (+ x (* z (/ y t)))
  (+ x (* z (/ y t)))
  (* (/ y t) (- z x))
  (* (/ y t) (- z x))
  (* (/ y t) (- z x))
  (+ x (* (/ y t) (- z x)))
  (+ x (* (/ y t) (- z x)))
  (+ x (* (/ y t) (- z x)))
2.064 * * * [progress]: adding candidates to table
2.199 * [progress]: [Phase 3 of 3] Extracting.
2.199 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ x (* (/ y t) (- z x))))> #<alt (λ (x y z t) (+ x (/ 1 (/ (/ t y) (- z x)))))> #<alt (λ (x y z t) (+ x (* (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x)))) (cbrt (- z x)))))> #<alt (λ (x y z t) (+ x (* y (/ (+ z (- x)) t))))> #<alt (λ (x y z t) (+ x (/ (+ (* y z) (* y (- x))) t)))>)
2.200 * * * [regime-changes]: Trying 4 branch expressions: (t z y x)
2.200 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ x (* (/ y t) (- z x))))> #<alt (λ (x y z t) (+ x (/ 1 (/ (/ t y) (- z x)))))> #<alt (λ (x y z t) (+ x (* (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x)))) (cbrt (- z x)))))> #<alt (λ (x y z t) (+ x (* y (/ (+ z (- x)) t))))> #<alt (λ (x y z t) (+ x (/ (+ (* y z) (* y (- x))) t)))>)
2.234 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ x (* (/ y t) (- z x))))> #<alt (λ (x y z t) (+ x (/ 1 (/ (/ t y) (- z x)))))> #<alt (λ (x y z t) (+ x (* (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x)))) (cbrt (- z x)))))> #<alt (λ (x y z t) (+ x (* y (/ (+ z (- x)) t))))> #<alt (λ (x y z t) (+ x (/ (+ (* y z) (* y (- x))) t)))>)
2.267 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ x (* (/ y t) (- z x))))> #<alt (λ (x y z t) (+ x (/ 1 (/ (/ t y) (- z x)))))> #<alt (λ (x y z t) (+ x (* (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x)))) (cbrt (- z x)))))> #<alt (λ (x y z t) (+ x (* y (/ (+ z (- x)) t))))> #<alt (λ (x y z t) (+ x (/ (+ (* y z) (* y (- x))) t)))>)
2.300 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ x (* (/ y t) (- z x))))> #<alt (λ (x y z t) (+ x (/ 1 (/ (/ t y) (- z x)))))> #<alt (λ (x y z t) (+ x (* (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x)))) (cbrt (- z x)))))> #<alt (λ (x y z t) (+ x (* y (/ (+ z (- x)) t))))> #<alt (λ (x y z t) (+ x (/ (+ (* y z) (* y (- x))) t)))>)
2.333 * * * [regime]: Found split indices: #<option (#s(si 0 73) #s(si 3 141) #s(si 0 255))>
2.334 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x y z t) (+ x (* (/ y t) (- z x))))> #<alt (λ (x y z t) (+ x (/ 1 (/ (/ t y) (- z x)))))> #<alt (λ (x y z t) (+ x (* (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x)))) (cbrt (- z x)))))> #<alt (λ (x y z t) (+ x (* y (/ (+ z (- x)) t))))> #<alt (λ (x y z t) (+ x (/ (+ (* y z) (* y (- x))) t)))>)
2.416 * [regimes]: Found splitpoints: (#s(sp 0 x -1.83004683428361e-67) #s(sp 3 x 7.141078437777153e-250) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x y z t) (+ x (* (/ y t) (- z x))))> #<alt (λ (x y z t) (+ x (/ 1 (/ (/ t y) (- z x)))))> #<alt (λ (x y z t) (+ x (* (* (/ y t) (* (cbrt (- z x)) (cbrt (- z x)))) (cbrt (- z x)))))> #<alt (λ (x y z t) (+ x (* y (/ (+ z (- x)) t))))> #<alt (λ (x y z t) (+ x (/ (+ (* y z) (* y (- x))) t)))>)
2.417 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -1.83004683428361e-67) (+ x (* (/ y t) (- z x))) (if (<= x 7.141078437777153e-250) (+ x (* y (/ (+ z (- x)) t))) (+ x (* (/ y t) (- z x)))))
2.417 * * [simplify]: iteration  0 :  27  enodes  (cost  9 )
2.417 * * [simplify]: iteration  1 :  27  enodes  (cost  9 )
2.418 * [simplify]: Simplified to:
   (if (or (<= x -1.83004683428361e-67) (not (<= x 7.141078437777153e-250))) (+ x (* (/ y t) (- z x))) (+ x (* y (/ (+ z (- x)) t))))
3.147 * [regime-testing]: Baseline error score: 2.4414830114117447
3.148 * [regime-testing]: Oracle error score: 0.017127140892611577
3.149 * [regime-testing]: End program error score: 2.293493456263796
3.174 * [regime-testing]: Target error score: 2.440732917650024