20.056 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (/ (* (- y x) z) t))
0.024 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.025 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.026 * * [simplify]: iteration  2 :  28  enodes  (cost  9 )
0.030 * * [simplify]: iteration  3 :  47  enodes  (cost  9 )
0.036 * * [simplify]: iteration  4 :  77  enodes  (cost  9 )
0.050 * * [simplify]: iteration  5 :  101  enodes  (cost  9 )
0.066 * * [simplify]: iteration  6 :  121  enodes  (cost  9 )
0.082 * * [simplify]: iteration  7 :  128  enodes  (cost  9 )
0.101 * * [simplify]: iteration  8 :  144  enodes  (cost  9 )
0.122 * * [simplify]: iteration  9 :  189  enodes  (cost  9 )
0.156 * * [simplify]: iteration  10 :  282  enodes  (cost  9 )
0.249 * * [simplify]: iteration  11 :  423  enodes  (cost  9 )
0.315 * * [simplify]: iteration  12 :  461  enodes  (cost  9 )
0.402 * * [simplify]: iteration  13 :  512  enodes  (cost  9 )
0.495 * * [simplify]: iteration  14 :  602  enodes  (cost  9 )
0.657 * * [simplify]: iteration  15 :  834  enodes  (cost  9 )
0.896 * * [simplify]: iteration  16 :  1118  enodes  (cost  9 )
1.405 * * [simplify]: iteration  17 :  1659  enodes  (cost  9 )
2.156 * * [simplify]: iteration  18 :  2132  enodes  (cost  9 )
2.660 * * [simplify]: iteration  19 :  2191  enodes  (cost  9 )
3.123 * * [simplify]: iteration  done :  2191  enodes  (cost  9 )
3.123 * [simplify]: Simplified to:
   (+ x (/ (* (- y x) z) t))
3.123 * * [progress]: iteration 1 / 4
3.124 * * * [progress]: picking best candidate
3.125 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))>
3.125 * * * [progress]: localizing error
3.133 * * * [progress]: generating rewritten candidates
3.133 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
3.140 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
3.154 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
3.160 * * * [progress]: generating series expansions
3.160 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
3.160 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x z t) around 0
3.160 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t
3.160 * [taylor]: Taking taylor expansion of (* (- y x) z) in t
3.160 * [taylor]: Taking taylor expansion of (- y x) in t
3.160 * [taylor]: Taking taylor expansion of y in t
3.161 * [taylor]: Taking taylor expansion of x in t
3.161 * [taylor]: Taking taylor expansion of z in t
3.161 * [taylor]: Taking taylor expansion of t in t
3.161 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z
3.161 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
3.161 * [taylor]: Taking taylor expansion of (- y x) in z
3.161 * [taylor]: Taking taylor expansion of y in z
3.161 * [taylor]: Taking taylor expansion of x in z
3.161 * [taylor]: Taking taylor expansion of z in z
3.161 * [taylor]: Taking taylor expansion of t in z
3.162 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x
3.162 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
3.162 * [taylor]: Taking taylor expansion of (- y x) in x
3.162 * [taylor]: Taking taylor expansion of y in x
3.162 * [taylor]: Taking taylor expansion of x in x
3.162 * [taylor]: Taking taylor expansion of z in x
3.162 * [taylor]: Taking taylor expansion of t in x
3.163 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
3.163 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
3.163 * [taylor]: Taking taylor expansion of (- y x) in y
3.163 * [taylor]: Taking taylor expansion of y in y
3.163 * [taylor]: Taking taylor expansion of x in y
3.163 * [taylor]: Taking taylor expansion of z in y
3.163 * [taylor]: Taking taylor expansion of t in y
3.163 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
3.163 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
3.163 * [taylor]: Taking taylor expansion of (- y x) in y
3.163 * [taylor]: Taking taylor expansion of y in y
3.163 * [taylor]: Taking taylor expansion of x in y
3.163 * [taylor]: Taking taylor expansion of z in y
3.163 * [taylor]: Taking taylor expansion of t in y
3.163 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x
3.163 * [taylor]: Taking taylor expansion of -1 in x
3.163 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
3.163 * [taylor]: Taking taylor expansion of (* x z) in x
3.163 * [taylor]: Taking taylor expansion of x in x
3.163 * [taylor]: Taking taylor expansion of z in x
3.163 * [taylor]: Taking taylor expansion of t in x
3.164 * [taylor]: Taking taylor expansion of (/ z t) in x
3.165 * [taylor]: Taking taylor expansion of z in x
3.165 * [taylor]: Taking taylor expansion of t in x
3.165 * [taylor]: Taking taylor expansion of (/ z t) in z
3.165 * [taylor]: Taking taylor expansion of z in z
3.165 * [taylor]: Taking taylor expansion of t in z
3.165 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.165 * [taylor]: Taking taylor expansion of t in t
3.165 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z
3.165 * [taylor]: Taking taylor expansion of -1 in z
3.165 * [taylor]: Taking taylor expansion of (/ z t) in z
3.165 * [taylor]: Taking taylor expansion of z in z
3.165 * [taylor]: Taking taylor expansion of t in z
3.165 * [taylor]: Taking taylor expansion of (/ -1 t) in t
3.165 * [taylor]: Taking taylor expansion of -1 in t
3.165 * [taylor]: Taking taylor expansion of t in t
3.167 * [taylor]: Taking taylor expansion of 0 in x
3.167 * [taylor]: Taking taylor expansion of 0 in z
3.167 * [taylor]: Taking taylor expansion of 0 in t
3.167 * [taylor]: Taking taylor expansion of 0 in z
3.167 * [taylor]: Taking taylor expansion of 0 in t
3.168 * [taylor]: Taking taylor expansion of 0 in z
3.168 * [taylor]: Taking taylor expansion of 0 in t
3.168 * [taylor]: Taking taylor expansion of 0 in t
3.169 * [taylor]: Taking taylor expansion of 0 in t
3.171 * [taylor]: Taking taylor expansion of 0 in x
3.171 * [taylor]: Taking taylor expansion of 0 in z
3.171 * [taylor]: Taking taylor expansion of 0 in t
3.171 * [taylor]: Taking taylor expansion of 0 in z
3.172 * [taylor]: Taking taylor expansion of 0 in t
3.172 * [taylor]: Taking taylor expansion of 0 in z
3.172 * [taylor]: Taking taylor expansion of 0 in t
3.173 * [taylor]: Taking taylor expansion of 0 in z
3.173 * [taylor]: Taking taylor expansion of 0 in t
3.173 * [taylor]: Taking taylor expansion of 0 in t
3.173 * [taylor]: Taking taylor expansion of 0 in t
3.173 * [taylor]: Taking taylor expansion of 0 in t
3.173 * [taylor]: Taking taylor expansion of 0 in t
3.174 * [taylor]: Taking taylor expansion of 0 in t
3.175 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0
3.175 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
3.175 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
3.175 * [taylor]: Taking taylor expansion of t in t
3.175 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
3.175 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.175 * [taylor]: Taking taylor expansion of y in t
3.175 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.175 * [taylor]: Taking taylor expansion of x in t
3.175 * [taylor]: Taking taylor expansion of z in t
3.176 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
3.176 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
3.176 * [taylor]: Taking taylor expansion of t in z
3.176 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
3.176 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.176 * [taylor]: Taking taylor expansion of y in z
3.176 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.176 * [taylor]: Taking taylor expansion of x in z
3.176 * [taylor]: Taking taylor expansion of z in z
3.176 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
3.176 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
3.176 * [taylor]: Taking taylor expansion of t in x
3.176 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
3.177 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.177 * [taylor]: Taking taylor expansion of y in x
3.177 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.177 * [taylor]: Taking taylor expansion of x in x
3.177 * [taylor]: Taking taylor expansion of z in x
3.178 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
3.178 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
3.178 * [taylor]: Taking taylor expansion of t in y
3.178 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.178 * [taylor]: Taking taylor expansion of y in y
3.178 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.178 * [taylor]: Taking taylor expansion of x in y
3.178 * [taylor]: Taking taylor expansion of z in y
3.178 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
3.178 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
3.178 * [taylor]: Taking taylor expansion of t in y
3.178 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.178 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.178 * [taylor]: Taking taylor expansion of y in y
3.179 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.179 * [taylor]: Taking taylor expansion of x in y
3.179 * [taylor]: Taking taylor expansion of z in y
3.179 * [taylor]: Taking taylor expansion of (/ t z) in x
3.179 * [taylor]: Taking taylor expansion of t in x
3.179 * [taylor]: Taking taylor expansion of z in x
3.180 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x
3.180 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
3.180 * [taylor]: Taking taylor expansion of t in x
3.180 * [taylor]: Taking taylor expansion of (* x z) in x
3.181 * [taylor]: Taking taylor expansion of x in x
3.181 * [taylor]: Taking taylor expansion of z in x
3.181 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
3.181 * [taylor]: Taking taylor expansion of (/ t z) in z
3.181 * [taylor]: Taking taylor expansion of t in z
3.181 * [taylor]: Taking taylor expansion of z in z
3.181 * [taylor]: Taking taylor expansion of (- t) in t
3.181 * [taylor]: Taking taylor expansion of t in t
3.181 * [taylor]: Taking taylor expansion of (/ t z) in z
3.181 * [taylor]: Taking taylor expansion of t in z
3.181 * [taylor]: Taking taylor expansion of z in z
3.181 * [taylor]: Taking taylor expansion of t in t
3.183 * [taylor]: Taking taylor expansion of 0 in x
3.184 * [taylor]: Taking taylor expansion of 0 in z
3.184 * [taylor]: Taking taylor expansion of 0 in z
3.185 * [taylor]: Taking taylor expansion of 0 in t
3.186 * [taylor]: Taking taylor expansion of 0 in t
3.188 * [taylor]: Taking taylor expansion of 0 in x
3.188 * [taylor]: Taking taylor expansion of 0 in z
3.189 * [taylor]: Taking taylor expansion of 0 in z
3.189 * [taylor]: Taking taylor expansion of 0 in z
3.190 * [taylor]: Taking taylor expansion of 0 in t
3.190 * [taylor]: Taking taylor expansion of 0 in t
3.190 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in (y x z t) around 0
3.190 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in t
3.190 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t
3.190 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
3.190 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.190 * [taylor]: Taking taylor expansion of x in t
3.190 * [taylor]: Taking taylor expansion of (/ 1 y) in t
3.190 * [taylor]: Taking taylor expansion of y in t
3.190 * [taylor]: Taking taylor expansion of t in t
3.190 * [taylor]: Taking taylor expansion of z in t
3.192 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in z
3.192 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z
3.192 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
3.192 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.192 * [taylor]: Taking taylor expansion of x in z
3.192 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.192 * [taylor]: Taking taylor expansion of y in z
3.192 * [taylor]: Taking taylor expansion of t in z
3.192 * [taylor]: Taking taylor expansion of z in z
3.192 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in x
3.192 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x
3.192 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
3.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.192 * [taylor]: Taking taylor expansion of x in x
3.193 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.193 * [taylor]: Taking taylor expansion of y in x
3.193 * [taylor]: Taking taylor expansion of t in x
3.193 * [taylor]: Taking taylor expansion of z in x
3.193 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y
3.193 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
3.193 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.193 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.193 * [taylor]: Taking taylor expansion of x in y
3.193 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.193 * [taylor]: Taking taylor expansion of y in y
3.193 * [taylor]: Taking taylor expansion of t in y
3.194 * [taylor]: Taking taylor expansion of z in y
3.194 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y
3.194 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
3.194 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.194 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.194 * [taylor]: Taking taylor expansion of x in y
3.194 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.194 * [taylor]: Taking taylor expansion of y in y
3.195 * [taylor]: Taking taylor expansion of t in y
3.195 * [taylor]: Taking taylor expansion of z in y
3.195 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x
3.195 * [taylor]: Taking taylor expansion of -1 in x
3.195 * [taylor]: Taking taylor expansion of (/ t z) in x
3.195 * [taylor]: Taking taylor expansion of t in x
3.195 * [taylor]: Taking taylor expansion of z in x
3.197 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
3.197 * [taylor]: Taking taylor expansion of t in x
3.197 * [taylor]: Taking taylor expansion of (* x z) in x
3.197 * [taylor]: Taking taylor expansion of x in x
3.197 * [taylor]: Taking taylor expansion of z in x
3.197 * [taylor]: Taking taylor expansion of (/ t z) in z
3.197 * [taylor]: Taking taylor expansion of t in z
3.197 * [taylor]: Taking taylor expansion of z in z
3.197 * [taylor]: Taking taylor expansion of t in t
3.197 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z
3.197 * [taylor]: Taking taylor expansion of -1 in z
3.197 * [taylor]: Taking taylor expansion of (/ t z) in z
3.197 * [taylor]: Taking taylor expansion of t in z
3.197 * [taylor]: Taking taylor expansion of z in z
3.197 * [taylor]: Taking taylor expansion of (* -1 t) in t
3.197 * [taylor]: Taking taylor expansion of -1 in t
3.197 * [taylor]: Taking taylor expansion of t in t
3.200 * [taylor]: Taking taylor expansion of 0 in x
3.200 * [taylor]: Taking taylor expansion of 0 in z
3.201 * [taylor]: Taking taylor expansion of 0 in z
3.201 * [taylor]: Taking taylor expansion of 0 in t
3.202 * [taylor]: Taking taylor expansion of 0 in t
3.205 * [taylor]: Taking taylor expansion of 0 in x
3.205 * [taylor]: Taking taylor expansion of 0 in z
3.206 * [taylor]: Taking taylor expansion of 0 in z
3.206 * [taylor]: Taking taylor expansion of 0 in z
3.207 * [taylor]: Taking taylor expansion of 0 in t
3.207 * [taylor]: Taking taylor expansion of 0 in t
3.207 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
3.207 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
3.207 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
3.207 * [taylor]: Taking taylor expansion of (- y x) in z
3.207 * [taylor]: Taking taylor expansion of y in z
3.207 * [taylor]: Taking taylor expansion of x in z
3.207 * [taylor]: Taking taylor expansion of z in z
3.207 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
3.207 * [taylor]: Taking taylor expansion of (- y x) in x
3.207 * [taylor]: Taking taylor expansion of y in x
3.207 * [taylor]: Taking taylor expansion of x in x
3.207 * [taylor]: Taking taylor expansion of z in x
3.207 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
3.207 * [taylor]: Taking taylor expansion of (- y x) in y
3.207 * [taylor]: Taking taylor expansion of y in y
3.207 * [taylor]: Taking taylor expansion of x in y
3.207 * [taylor]: Taking taylor expansion of z in y
3.207 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
3.207 * [taylor]: Taking taylor expansion of (- y x) in y
3.207 * [taylor]: Taking taylor expansion of y in y
3.207 * [taylor]: Taking taylor expansion of x in y
3.207 * [taylor]: Taking taylor expansion of z in y
3.208 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
3.208 * [taylor]: Taking taylor expansion of -1 in x
3.208 * [taylor]: Taking taylor expansion of (* x z) in x
3.208 * [taylor]: Taking taylor expansion of x in x
3.208 * [taylor]: Taking taylor expansion of z in x
3.208 * [taylor]: Taking taylor expansion of 0 in z
3.209 * [taylor]: Taking taylor expansion of z in x
3.209 * [taylor]: Taking taylor expansion of z in z
3.209 * [taylor]: Taking taylor expansion of (- z) in z
3.209 * [taylor]: Taking taylor expansion of z in z
3.210 * [taylor]: Taking taylor expansion of 0 in x
3.211 * [taylor]: Taking taylor expansion of 0 in z
3.211 * [taylor]: Taking taylor expansion of 0 in z
3.211 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
3.211 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
3.211 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
3.211 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.211 * [taylor]: Taking taylor expansion of y in z
3.211 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.211 * [taylor]: Taking taylor expansion of x in z
3.211 * [taylor]: Taking taylor expansion of z in z
3.211 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
3.211 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
3.211 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.211 * [taylor]: Taking taylor expansion of y in x
3.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.211 * [taylor]: Taking taylor expansion of x in x
3.211 * [taylor]: Taking taylor expansion of z in x
3.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
3.212 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.212 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.212 * [taylor]: Taking taylor expansion of y in y
3.212 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.212 * [taylor]: Taking taylor expansion of x in y
3.212 * [taylor]: Taking taylor expansion of z in y
3.213 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
3.213 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
3.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.213 * [taylor]: Taking taylor expansion of y in y
3.213 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.213 * [taylor]: Taking taylor expansion of x in y
3.213 * [taylor]: Taking taylor expansion of z in y
3.214 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.214 * [taylor]: Taking taylor expansion of z in x
3.214 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
3.214 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.214 * [taylor]: Taking taylor expansion of (* x z) in x
3.214 * [taylor]: Taking taylor expansion of x in x
3.214 * [taylor]: Taking taylor expansion of z in x
3.215 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.215 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.215 * [taylor]: Taking taylor expansion of z in z
3.215 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.215 * [taylor]: Taking taylor expansion of z in z
3.217 * [taylor]: Taking taylor expansion of 0 in x
3.218 * [taylor]: Taking taylor expansion of 0 in z
3.218 * [taylor]: Taking taylor expansion of 0 in z
3.221 * [taylor]: Taking taylor expansion of 0 in x
3.221 * [taylor]: Taking taylor expansion of 0 in z
3.222 * [taylor]: Taking taylor expansion of 0 in z
3.222 * [taylor]: Taking taylor expansion of 0 in z
3.224 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
3.224 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
3.224 * [taylor]: Taking taylor expansion of -1 in z
3.224 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
3.224 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
3.224 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.224 * [taylor]: Taking taylor expansion of x in z
3.224 * [taylor]: Taking taylor expansion of (/ 1 y) in z
3.224 * [taylor]: Taking taylor expansion of y in z
3.224 * [taylor]: Taking taylor expansion of z in z
3.224 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
3.224 * [taylor]: Taking taylor expansion of -1 in x
3.224 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
3.224 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
3.224 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.224 * [taylor]: Taking taylor expansion of x in x
3.225 * [taylor]: Taking taylor expansion of (/ 1 y) in x
3.225 * [taylor]: Taking taylor expansion of y in x
3.225 * [taylor]: Taking taylor expansion of z in x
3.225 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
3.225 * [taylor]: Taking taylor expansion of -1 in y
3.225 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
3.225 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.225 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.225 * [taylor]: Taking taylor expansion of x in y
3.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.225 * [taylor]: Taking taylor expansion of y in y
3.225 * [taylor]: Taking taylor expansion of z in y
3.226 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
3.226 * [taylor]: Taking taylor expansion of -1 in y
3.226 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
3.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
3.226 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.226 * [taylor]: Taking taylor expansion of x in y
3.226 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.226 * [taylor]: Taking taylor expansion of y in y
3.226 * [taylor]: Taking taylor expansion of z in y
3.227 * [taylor]: Taking taylor expansion of (/ 1 z) in x
3.227 * [taylor]: Taking taylor expansion of z in x
3.228 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
3.228 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
3.228 * [taylor]: Taking taylor expansion of (* x z) in x
3.228 * [taylor]: Taking taylor expansion of x in x
3.228 * [taylor]: Taking taylor expansion of z in x
3.229 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
3.229 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.229 * [taylor]: Taking taylor expansion of z in z
3.229 * [taylor]: Taking taylor expansion of (/ 1 z) in z
3.229 * [taylor]: Taking taylor expansion of z in z
3.231 * [taylor]: Taking taylor expansion of 0 in x
3.232 * [taylor]: Taking taylor expansion of 0 in z
3.232 * [taylor]: Taking taylor expansion of 0 in z
3.235 * [taylor]: Taking taylor expansion of 0 in x
3.235 * [taylor]: Taking taylor expansion of 0 in z
3.236 * [taylor]: Taking taylor expansion of 0 in z
3.236 * [taylor]: Taking taylor expansion of 0 in z
3.238 * * * * [progress]: [ 3 / 3 ] generating series at (2)
3.238 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x y z t) around 0
3.238 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t
3.238 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
3.238 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
3.238 * [taylor]: Taking taylor expansion of (* z y) in t
3.238 * [taylor]: Taking taylor expansion of z in t
3.238 * [taylor]: Taking taylor expansion of y in t
3.238 * [taylor]: Taking taylor expansion of t in t
3.238 * [taylor]: Taking taylor expansion of x in t
3.238 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t
3.238 * [taylor]: Taking taylor expansion of (* x z) in t
3.238 * [taylor]: Taking taylor expansion of x in t
3.238 * [taylor]: Taking taylor expansion of z in t
3.238 * [taylor]: Taking taylor expansion of t in t
3.239 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z
3.239 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
3.239 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
3.239 * [taylor]: Taking taylor expansion of (* z y) in z
3.239 * [taylor]: Taking taylor expansion of z in z
3.239 * [taylor]: Taking taylor expansion of y in z
3.239 * [taylor]: Taking taylor expansion of t in z
3.239 * [taylor]: Taking taylor expansion of x in z
3.239 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z
3.239 * [taylor]: Taking taylor expansion of (* x z) in z
3.239 * [taylor]: Taking taylor expansion of x in z
3.239 * [taylor]: Taking taylor expansion of z in z
3.239 * [taylor]: Taking taylor expansion of t in z
3.242 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y
3.242 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
3.242 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
3.242 * [taylor]: Taking taylor expansion of (* z y) in y
3.242 * [taylor]: Taking taylor expansion of z in y
3.242 * [taylor]: Taking taylor expansion of y in y
3.243 * [taylor]: Taking taylor expansion of t in y
3.243 * [taylor]: Taking taylor expansion of x in y
3.243 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y
3.243 * [taylor]: Taking taylor expansion of (* x z) in y
3.243 * [taylor]: Taking taylor expansion of x in y
3.243 * [taylor]: Taking taylor expansion of z in y
3.243 * [taylor]: Taking taylor expansion of t in y
3.243 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x
3.243 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
3.243 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
3.243 * [taylor]: Taking taylor expansion of (* z y) in x
3.243 * [taylor]: Taking taylor expansion of z in x
3.243 * [taylor]: Taking taylor expansion of y in x
3.243 * [taylor]: Taking taylor expansion of t in x
3.243 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
3.244 * [taylor]: Taking taylor expansion of (* x z) in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of z in x
3.244 * [taylor]: Taking taylor expansion of t in x
3.244 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x
3.244 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
3.244 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
3.244 * [taylor]: Taking taylor expansion of (* z y) in x
3.244 * [taylor]: Taking taylor expansion of z in x
3.244 * [taylor]: Taking taylor expansion of y in x
3.244 * [taylor]: Taking taylor expansion of t in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
3.244 * [taylor]: Taking taylor expansion of (* x z) in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of z in x
3.244 * [taylor]: Taking taylor expansion of t in x
3.245 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
3.245 * [taylor]: Taking taylor expansion of (* z y) in y
3.245 * [taylor]: Taking taylor expansion of z in y
3.245 * [taylor]: Taking taylor expansion of y in y
3.245 * [taylor]: Taking taylor expansion of t in y
3.246 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in y
3.246 * [taylor]: Taking taylor expansion of 1 in y
3.246 * [taylor]: Taking taylor expansion of (/ z t) in y
3.246 * [taylor]: Taking taylor expansion of z in y
3.246 * [taylor]: Taking taylor expansion of t in y
3.246 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z
3.246 * [taylor]: Taking taylor expansion of 1 in z
3.246 * [taylor]: Taking taylor expansion of (/ z t) in z
3.246 * [taylor]: Taking taylor expansion of z in z
3.246 * [taylor]: Taking taylor expansion of t in z
3.247 * [taylor]: Taking taylor expansion of 1 in t
3.247 * [taylor]: Taking taylor expansion of (/ z t) in z
3.247 * [taylor]: Taking taylor expansion of z in z
3.247 * [taylor]: Taking taylor expansion of t in z
3.249 * [taylor]: Taking taylor expansion of 0 in y
3.249 * [taylor]: Taking taylor expansion of 0 in z
3.249 * [taylor]: Taking taylor expansion of 0 in t
3.249 * [taylor]: Taking taylor expansion of 0 in z
3.249 * [taylor]: Taking taylor expansion of 0 in t
3.250 * [taylor]: Taking taylor expansion of 0 in z
3.250 * [taylor]: Taking taylor expansion of 0 in t
3.250 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t
3.250 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.250 * [taylor]: Taking taylor expansion of t in t
3.251 * [taylor]: Taking taylor expansion of (/ 1 t) in t
3.251 * [taylor]: Taking taylor expansion of t in t
3.251 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x y z t) around 0
3.252 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t
3.252 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
3.252 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
3.252 * [taylor]: Taking taylor expansion of t in t
3.252 * [taylor]: Taking taylor expansion of (* z y) in t
3.252 * [taylor]: Taking taylor expansion of z in t
3.252 * [taylor]: Taking taylor expansion of y in t
3.252 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.252 * [taylor]: Taking taylor expansion of x in t
3.252 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t
3.252 * [taylor]: Taking taylor expansion of t in t
3.252 * [taylor]: Taking taylor expansion of (* x z) in t
3.252 * [taylor]: Taking taylor expansion of x in t
3.252 * [taylor]: Taking taylor expansion of z in t
3.252 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z
3.252 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
3.252 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
3.252 * [taylor]: Taking taylor expansion of t in z
3.252 * [taylor]: Taking taylor expansion of (* z y) in z
3.252 * [taylor]: Taking taylor expansion of z in z
3.252 * [taylor]: Taking taylor expansion of y in z
3.252 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.252 * [taylor]: Taking taylor expansion of x in z
3.252 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z
3.252 * [taylor]: Taking taylor expansion of t in z
3.252 * [taylor]: Taking taylor expansion of (* x z) in z
3.252 * [taylor]: Taking taylor expansion of x in z
3.253 * [taylor]: Taking taylor expansion of z in z
3.253 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y
3.253 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
3.253 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
3.253 * [taylor]: Taking taylor expansion of t in y
3.253 * [taylor]: Taking taylor expansion of (* z y) in y
3.253 * [taylor]: Taking taylor expansion of z in y
3.253 * [taylor]: Taking taylor expansion of y in y
3.253 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.253 * [taylor]: Taking taylor expansion of x in y
3.253 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y
3.253 * [taylor]: Taking taylor expansion of t in y
3.253 * [taylor]: Taking taylor expansion of (* x z) in y
3.253 * [taylor]: Taking taylor expansion of x in y
3.253 * [taylor]: Taking taylor expansion of z in y
3.254 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x
3.254 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
3.254 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
3.254 * [taylor]: Taking taylor expansion of t in x
3.254 * [taylor]: Taking taylor expansion of (* z y) in x
3.254 * [taylor]: Taking taylor expansion of z in x
3.254 * [taylor]: Taking taylor expansion of y in x
3.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.254 * [taylor]: Taking taylor expansion of x in x
3.254 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
3.254 * [taylor]: Taking taylor expansion of t in x
3.254 * [taylor]: Taking taylor expansion of (* x z) in x
3.254 * [taylor]: Taking taylor expansion of x in x
3.254 * [taylor]: Taking taylor expansion of z in x
3.254 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x
3.254 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
3.254 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
3.254 * [taylor]: Taking taylor expansion of t in x
3.255 * [taylor]: Taking taylor expansion of (* z y) in x
3.255 * [taylor]: Taking taylor expansion of z in x
3.255 * [taylor]: Taking taylor expansion of y in x
3.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.255 * [taylor]: Taking taylor expansion of x in x
3.255 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
3.255 * [taylor]: Taking taylor expansion of t in x
3.255 * [taylor]: Taking taylor expansion of (* x z) in x
3.255 * [taylor]: Taking taylor expansion of x in x
3.255 * [taylor]: Taking taylor expansion of z in x
3.256 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in y
3.256 * [taylor]: Taking taylor expansion of 1 in y
3.256 * [taylor]: Taking taylor expansion of (/ t z) in y
3.256 * [taylor]: Taking taylor expansion of t in y
3.256 * [taylor]: Taking taylor expansion of z in y
3.257 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
3.257 * [taylor]: Taking taylor expansion of t in y
3.257 * [taylor]: Taking taylor expansion of (* z y) in y
3.257 * [taylor]: Taking taylor expansion of z in y
3.258 * [taylor]: Taking taylor expansion of y in y
3.258 * [taylor]: Taking taylor expansion of (/ t z) in z
3.258 * [taylor]: Taking taylor expansion of t in z
3.258 * [taylor]: Taking taylor expansion of z in z
3.258 * [taylor]: Taking taylor expansion of t in t
3.258 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z
3.258 * [taylor]: Taking taylor expansion of 1 in z
3.258 * [taylor]: Taking taylor expansion of (/ t z) in z
3.258 * [taylor]: Taking taylor expansion of t in z
3.258 * [taylor]: Taking taylor expansion of z in z
3.258 * [taylor]: Taking taylor expansion of (- t) in t
3.258 * [taylor]: Taking taylor expansion of t in t
3.261 * [taylor]: Taking taylor expansion of 0 in y
3.261 * [taylor]: Taking taylor expansion of 0 in z
3.262 * [taylor]: Taking taylor expansion of 0 in z
3.263 * [taylor]: Taking taylor expansion of 0 in t
3.264 * [taylor]: Taking taylor expansion of 1 in t
3.265 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0
3.265 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t
3.265 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t
3.265 * [taylor]: Taking taylor expansion of t in t
3.265 * [taylor]: Taking taylor expansion of (* x z) in t
3.265 * [taylor]: Taking taylor expansion of x in t
3.265 * [taylor]: Taking taylor expansion of z in t
3.265 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
3.265 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
3.265 * [taylor]: Taking taylor expansion of t in t
3.265 * [taylor]: Taking taylor expansion of (* z y) in t
3.265 * [taylor]: Taking taylor expansion of z in t
3.265 * [taylor]: Taking taylor expansion of y in t
3.265 * [taylor]: Taking taylor expansion of (/ 1 x) in t
3.265 * [taylor]: Taking taylor expansion of x in t
3.265 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z
3.265 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z
3.265 * [taylor]: Taking taylor expansion of t in z
3.265 * [taylor]: Taking taylor expansion of (* x z) in z
3.265 * [taylor]: Taking taylor expansion of x in z
3.265 * [taylor]: Taking taylor expansion of z in z
3.266 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
3.266 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
3.266 * [taylor]: Taking taylor expansion of t in z
3.266 * [taylor]: Taking taylor expansion of (* z y) in z
3.266 * [taylor]: Taking taylor expansion of z in z
3.266 * [taylor]: Taking taylor expansion of y in z
3.266 * [taylor]: Taking taylor expansion of (/ 1 x) in z
3.266 * [taylor]: Taking taylor expansion of x in z
3.266 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y
3.266 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y
3.266 * [taylor]: Taking taylor expansion of t in y
3.266 * [taylor]: Taking taylor expansion of (* x z) in y
3.266 * [taylor]: Taking taylor expansion of x in y
3.266 * [taylor]: Taking taylor expansion of z in y
3.266 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
3.266 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
3.266 * [taylor]: Taking taylor expansion of t in y
3.266 * [taylor]: Taking taylor expansion of (* z y) in y
3.266 * [taylor]: Taking taylor expansion of z in y
3.266 * [taylor]: Taking taylor expansion of y in y
3.267 * [taylor]: Taking taylor expansion of (/ 1 x) in y
3.267 * [taylor]: Taking taylor expansion of x in y
3.267 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x
3.267 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
3.267 * [taylor]: Taking taylor expansion of t in x
3.267 * [taylor]: Taking taylor expansion of (* x z) in x
3.267 * [taylor]: Taking taylor expansion of x in x
3.267 * [taylor]: Taking taylor expansion of z in x
3.267 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
3.267 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
3.267 * [taylor]: Taking taylor expansion of t in x
3.267 * [taylor]: Taking taylor expansion of (* z y) in x
3.267 * [taylor]: Taking taylor expansion of z in x
3.267 * [taylor]: Taking taylor expansion of y in x
3.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.267 * [taylor]: Taking taylor expansion of x in x
3.268 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x
3.268 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
3.268 * [taylor]: Taking taylor expansion of t in x
3.268 * [taylor]: Taking taylor expansion of (* x z) in x
3.268 * [taylor]: Taking taylor expansion of x in x
3.268 * [taylor]: Taking taylor expansion of z in x
3.269 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
3.269 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
3.269 * [taylor]: Taking taylor expansion of t in x
3.269 * [taylor]: Taking taylor expansion of (* z y) in x
3.269 * [taylor]: Taking taylor expansion of z in x
3.269 * [taylor]: Taking taylor expansion of y in x
3.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.269 * [taylor]: Taking taylor expansion of x in x
3.270 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in y
3.270 * [taylor]: Taking taylor expansion of (/ t z) in y
3.270 * [taylor]: Taking taylor expansion of t in y
3.270 * [taylor]: Taking taylor expansion of z in y
3.270 * [taylor]: Taking taylor expansion of 1 in y
3.271 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y
3.271 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
3.271 * [taylor]: Taking taylor expansion of t in y
3.271 * [taylor]: Taking taylor expansion of (* z y) in y
3.271 * [taylor]: Taking taylor expansion of z in y
3.271 * [taylor]: Taking taylor expansion of y in y
3.272 * [taylor]: Taking taylor expansion of (- (/ t z)) in z
3.272 * [taylor]: Taking taylor expansion of (/ t z) in z
3.272 * [taylor]: Taking taylor expansion of t in z
3.272 * [taylor]: Taking taylor expansion of z in z
3.272 * [taylor]: Taking taylor expansion of (- t) in t
3.272 * [taylor]: Taking taylor expansion of t in t
3.272 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z
3.272 * [taylor]: Taking taylor expansion of (/ t z) in z
3.272 * [taylor]: Taking taylor expansion of t in z
3.272 * [taylor]: Taking taylor expansion of z in z
3.272 * [taylor]: Taking taylor expansion of 1 in z
3.272 * [taylor]: Taking taylor expansion of t in t
3.275 * [taylor]: Taking taylor expansion of 0 in y
3.276 * [taylor]: Taking taylor expansion of 0 in z
3.276 * [taylor]: Taking taylor expansion of 0 in z
3.277 * [taylor]: Taking taylor expansion of 0 in t
3.278 * [taylor]: Taking taylor expansion of -1 in t
3.279 * * * [progress]: simplifying candidates
3.280 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ (log (- y x)) (log z)) (log t))
  (- (log (* (- y x) z)) (log t))
  (log (/ (* (- y x) z) t))
  (exp (/ (* (- y x) z) t))
  (/ (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (* t t) t))
  (/ (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (* (* t t) t))
  (* (cbrt (/ (* (- y x) z) t)) (cbrt (/ (* (- y x) z) t)))
  (cbrt (/ (* (- y x) z) t))
  (* (* (/ (* (- y x) z) t) (/ (* (- y x) z) t)) (/ (* (- y x) z) t))
  (sqrt (/ (* (- y x) z) t))
  (sqrt (/ (* (- y x) z) t))
  (- (* (- y x) z))
  (- t)
  (/ (- y x) (* (cbrt t) (cbrt t)))
  (/ z (cbrt t))
  (/ (- y x) (sqrt t))
  (/ z (sqrt t))
  (/ (- y x) 1)
  (/ z t)
  (/ 1 t)
  (/ t (* (- y x) z))
  (/ (* (- y x) z) (* (cbrt t) (cbrt t)))
  (/ (* (- y x) z) (sqrt t))
  (/ (* (- y x) z) 1)
  (/ t z)
  (* t (+ (* y y) (+ (* x x) (* y x))))
  (* t (+ y x))
  (* (- y x) z)
  (+ (log (- y x)) (log z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (* (- y x) 1)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (* (exp x) (exp (/ (* (- y x) z) t)))
  (log (+ x (/ (* (- y x) z) t)))
  (exp (+ x (/ (* (- y x) z) t)))
  (* (cbrt (+ x (/ (* (- y x) z) t))) (cbrt (+ x (/ (* (- y x) z) t))))
  (cbrt (+ x (/ (* (- y x) z) t)))
  (* (* (+ x (/ (* (- y x) z) t)) (+ x (/ (* (- y x) z) t))) (+ x (/ (* (- y x) z) t)))
  (sqrt (+ x (/ (* (- y x) z) t)))
  (sqrt (+ x (/ (* (- y x) z) t)))
  (+ (pow x 3) (pow (/ (* (- y x) z) t) 3))
  (+ (* x x) (- (* (/ (* (- y x) z) t) (/ (* (- y x) z) t)) (* x (/ (* (- y x) z) t))))
  (- (* x x) (* (/ (* (- y x) z) t) (/ (* (- y x) z) t)))
  (- x (/ (* (- y x) z) t))
  (+ x (/ (* (- y x) z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  0
  (- (* z y) (* x z))
  (- (* z y) (* x z))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
3.283 * * [simplify]: iteration  0 :  110  enodes  (cost  688 )
3.301 * * [simplify]: iteration  1 :  284  enodes  (cost  653 )
3.396 * * [simplify]: iteration  2 :  934  enodes  (cost  559 )
4.715 * * [simplify]: iteration  done :  5001  enodes  (cost  559 )
4.715 * [simplify]: Simplified to:
   (log (/ (* (- y x) z) t))
  (log (/ (* (- y x) z) t))
  (log (/ (* (- y x) z) t))
  (exp (/ (* (- y x) z) t))
  (pow (/ (* (- y x) z) t) 3)
  (pow (/ (* (- y x) z) t) 3)
  (* (cbrt (/ (* (- y x) z) t)) (cbrt (/ (* (- y x) z) t)))
  (cbrt (/ (* (- y x) z) t))
  (pow (/ (* (- y x) z) t) 3)
  (sqrt (/ (* (- y x) z) t))
  (sqrt (/ (* (- y x) z) t))
  (- (* (- y x) z))
  (- t)
  (/ (- y x) (* (cbrt t) (cbrt t)))
  (/ z (cbrt t))
  (/ (- y x) (sqrt t))
  (/ z (sqrt t))
  (- y x)
  (/ z t)
  (/ 1 t)
  (/ t (* (- y x) z))
  (/ (* (- y x) z) (* (cbrt t) (cbrt t)))
  (/ (* (- y x) z) (sqrt t))
  (* (- y x) z)
  (/ t z)
  (* t (+ (* y y) (* x (+ y x))))
  (* t (+ y x))
  (* (- y x) z)
  (log (* (- y x) z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (pow (* (- y x) z) 3)
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (pow (* (- y x) z) 3)
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (- y x)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (exp (+ x (/ (* (- y x) z) t)))
  (log (+ x (/ (* (- y x) z) t)))
  (exp (+ x (/ (* (- y x) z) t)))
  (* (cbrt (+ x (/ (* (- y x) z) t))) (cbrt (+ x (/ (* (- y x) z) t))))
  (cbrt (+ x (/ (* (- y x) z) t)))
  (pow (+ x (/ (* (- y x) z) t)) 3)
  (sqrt (+ x (/ (* (- y x) z) t)))
  (sqrt (+ x (/ (* (- y x) z) t)))
  (+ (pow x 3) (pow (/ (* (- y x) z) t) 3))
  (+ (* (/ (* (- y x) z) t) (- (/ (* (- y x) z) t) x)) (* x x))
  (- (* x x) (* (/ (* (- y x) z) t) (/ (* (- y x) z) t)))
  (- x (/ (* (- y x) z) t))
  (+ x (/ (* (- y x) z) t))
  (/ (* (- y x) z) t)
  (/ (* (- y x) z) t)
  (/ (* (- y x) z) t)
  0
  (* (- y x) z)
  (* (- y x) z)
  (+ x (/ (* (- y x) z) t))
  (+ x (/ (* (- y x) z) t))
  (+ x (/ (* (- y x) z) t))
4.716 * * * [progress]: adding candidates to table
4.859 * * [progress]: iteration 2 / 4
4.859 * * * [progress]: picking best candidate
4.868 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))>
4.869 * * * [progress]: localizing error
4.880 * * * [progress]: generating rewritten candidates
4.880 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
4.892 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
4.926 * * * [progress]: generating series expansions
4.926 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
4.926 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x t z) around 0
4.926 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z
4.926 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
4.926 * [taylor]: Taking taylor expansion of (- y x) in z
4.926 * [taylor]: Taking taylor expansion of y in z
4.926 * [taylor]: Taking taylor expansion of x in z
4.926 * [taylor]: Taking taylor expansion of z in z
4.926 * [taylor]: Taking taylor expansion of t in z
4.928 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t
4.928 * [taylor]: Taking taylor expansion of (* (- y x) z) in t
4.928 * [taylor]: Taking taylor expansion of (- y x) in t
4.928 * [taylor]: Taking taylor expansion of y in t
4.928 * [taylor]: Taking taylor expansion of x in t
4.928 * [taylor]: Taking taylor expansion of z in t
4.928 * [taylor]: Taking taylor expansion of t in t
4.928 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x
4.928 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
4.928 * [taylor]: Taking taylor expansion of (- y x) in x
4.928 * [taylor]: Taking taylor expansion of y in x
4.928 * [taylor]: Taking taylor expansion of x in x
4.928 * [taylor]: Taking taylor expansion of z in x
4.928 * [taylor]: Taking taylor expansion of t in x
4.929 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
4.929 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
4.929 * [taylor]: Taking taylor expansion of (- y x) in y
4.929 * [taylor]: Taking taylor expansion of y in y
4.929 * [taylor]: Taking taylor expansion of x in y
4.929 * [taylor]: Taking taylor expansion of z in y
4.929 * [taylor]: Taking taylor expansion of t in y
4.929 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
4.929 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
4.929 * [taylor]: Taking taylor expansion of (- y x) in y
4.929 * [taylor]: Taking taylor expansion of y in y
4.929 * [taylor]: Taking taylor expansion of x in y
4.929 * [taylor]: Taking taylor expansion of z in y
4.929 * [taylor]: Taking taylor expansion of t in y
4.929 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x
4.929 * [taylor]: Taking taylor expansion of -1 in x
4.929 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
4.929 * [taylor]: Taking taylor expansion of (* x z) in x
4.929 * [taylor]: Taking taylor expansion of x in x
4.929 * [taylor]: Taking taylor expansion of z in x
4.929 * [taylor]: Taking taylor expansion of t in x
4.931 * [taylor]: Taking taylor expansion of (/ z t) in x
4.931 * [taylor]: Taking taylor expansion of z in x
4.931 * [taylor]: Taking taylor expansion of t in x
4.931 * [taylor]: Taking taylor expansion of (/ z t) in t
4.931 * [taylor]: Taking taylor expansion of z in t
4.931 * [taylor]: Taking taylor expansion of t in t
4.931 * [taylor]: Taking taylor expansion of z in z
4.931 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in t
4.931 * [taylor]: Taking taylor expansion of -1 in t
4.931 * [taylor]: Taking taylor expansion of (/ z t) in t
4.931 * [taylor]: Taking taylor expansion of z in t
4.931 * [taylor]: Taking taylor expansion of t in t
4.931 * [taylor]: Taking taylor expansion of (* -1 z) in z
4.931 * [taylor]: Taking taylor expansion of -1 in z
4.931 * [taylor]: Taking taylor expansion of z in z
4.933 * [taylor]: Taking taylor expansion of 0 in x
4.933 * [taylor]: Taking taylor expansion of 0 in t
4.933 * [taylor]: Taking taylor expansion of 0 in t
4.934 * [taylor]: Taking taylor expansion of 0 in t
4.935 * [taylor]: Taking taylor expansion of 0 in z
4.936 * [taylor]: Taking taylor expansion of 0 in z
4.938 * [taylor]: Taking taylor expansion of 0 in x
4.938 * [taylor]: Taking taylor expansion of 0 in t
4.938 * [taylor]: Taking taylor expansion of 0 in t
4.938 * [taylor]: Taking taylor expansion of 0 in t
4.940 * [taylor]: Taking taylor expansion of 0 in t
4.940 * [taylor]: Taking taylor expansion of 0 in z
4.940 * [taylor]: Taking taylor expansion of 0 in z
4.940 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x t z) around 0
4.940 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
4.940 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
4.940 * [taylor]: Taking taylor expansion of t in z
4.940 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
4.940 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.940 * [taylor]: Taking taylor expansion of y in z
4.940 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.940 * [taylor]: Taking taylor expansion of x in z
4.940 * [taylor]: Taking taylor expansion of z in z
4.941 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
4.941 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
4.941 * [taylor]: Taking taylor expansion of t in t
4.941 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
4.941 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.941 * [taylor]: Taking taylor expansion of y in t
4.941 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.941 * [taylor]: Taking taylor expansion of x in t
4.941 * [taylor]: Taking taylor expansion of z in t
4.942 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
4.942 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
4.942 * [taylor]: Taking taylor expansion of t in x
4.942 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
4.942 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.942 * [taylor]: Taking taylor expansion of y in x
4.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.942 * [taylor]: Taking taylor expansion of x in x
4.943 * [taylor]: Taking taylor expansion of z in x
4.943 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
4.943 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
4.943 * [taylor]: Taking taylor expansion of t in y
4.943 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.943 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.943 * [taylor]: Taking taylor expansion of y in y
4.944 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.944 * [taylor]: Taking taylor expansion of x in y
4.944 * [taylor]: Taking taylor expansion of z in y
4.944 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
4.944 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
4.944 * [taylor]: Taking taylor expansion of t in y
4.944 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
4.944 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.944 * [taylor]: Taking taylor expansion of y in y
4.944 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.944 * [taylor]: Taking taylor expansion of x in y
4.944 * [taylor]: Taking taylor expansion of z in y
4.945 * [taylor]: Taking taylor expansion of (/ t z) in x
4.945 * [taylor]: Taking taylor expansion of t in x
4.945 * [taylor]: Taking taylor expansion of z in x
4.946 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x
4.946 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
4.946 * [taylor]: Taking taylor expansion of t in x
4.946 * [taylor]: Taking taylor expansion of (* x z) in x
4.946 * [taylor]: Taking taylor expansion of x in x
4.946 * [taylor]: Taking taylor expansion of z in x
4.947 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
4.947 * [taylor]: Taking taylor expansion of (/ t z) in t
4.947 * [taylor]: Taking taylor expansion of t in t
4.947 * [taylor]: Taking taylor expansion of z in t
4.947 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
4.947 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.947 * [taylor]: Taking taylor expansion of z in z
4.947 * [taylor]: Taking taylor expansion of (/ t z) in t
4.947 * [taylor]: Taking taylor expansion of t in t
4.947 * [taylor]: Taking taylor expansion of z in t
4.947 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.947 * [taylor]: Taking taylor expansion of z in z
4.949 * [taylor]: Taking taylor expansion of 0 in x
4.950 * [taylor]: Taking taylor expansion of 0 in t
4.950 * [taylor]: Taking taylor expansion of 0 in z
4.950 * [taylor]: Taking taylor expansion of 0 in t
4.951 * [taylor]: Taking taylor expansion of 0 in z
4.951 * [taylor]: Taking taylor expansion of 0 in z
4.951 * [taylor]: Taking taylor expansion of 0 in z
4.958 * [taylor]: Taking taylor expansion of 0 in x
4.959 * [taylor]: Taking taylor expansion of 0 in t
4.959 * [taylor]: Taking taylor expansion of 0 in z
4.960 * [taylor]: Taking taylor expansion of 0 in t
4.960 * [taylor]: Taking taylor expansion of 0 in z
4.960 * [taylor]: Taking taylor expansion of 0 in t
4.960 * [taylor]: Taking taylor expansion of 0 in z
4.960 * [taylor]: Taking taylor expansion of 0 in z
4.960 * [taylor]: Taking taylor expansion of 0 in z
4.961 * [taylor]: Taking taylor expansion of 0 in z
4.961 * [taylor]: Taking taylor expansion of 0 in z
4.961 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in (y x t z) around 0
4.961 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in z
4.961 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z
4.961 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
4.961 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.961 * [taylor]: Taking taylor expansion of x in z
4.961 * [taylor]: Taking taylor expansion of (/ 1 y) in z
4.961 * [taylor]: Taking taylor expansion of y in z
4.961 * [taylor]: Taking taylor expansion of t in z
4.961 * [taylor]: Taking taylor expansion of z in z
4.962 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in t
4.962 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t
4.962 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
4.962 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.962 * [taylor]: Taking taylor expansion of x in t
4.962 * [taylor]: Taking taylor expansion of (/ 1 y) in t
4.962 * [taylor]: Taking taylor expansion of y in t
4.962 * [taylor]: Taking taylor expansion of t in t
4.962 * [taylor]: Taking taylor expansion of z in t
4.963 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in x
4.963 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x
4.963 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
4.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.963 * [taylor]: Taking taylor expansion of x in x
4.964 * [taylor]: Taking taylor expansion of (/ 1 y) in x
4.964 * [taylor]: Taking taylor expansion of y in x
4.964 * [taylor]: Taking taylor expansion of t in x
4.964 * [taylor]: Taking taylor expansion of z in x
4.964 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y
4.964 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
4.964 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.964 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.964 * [taylor]: Taking taylor expansion of x in y
4.964 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.964 * [taylor]: Taking taylor expansion of y in y
4.964 * [taylor]: Taking taylor expansion of t in y
4.964 * [taylor]: Taking taylor expansion of z in y
4.965 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y
4.965 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
4.965 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
4.965 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.965 * [taylor]: Taking taylor expansion of x in y
4.965 * [taylor]: Taking taylor expansion of (/ 1 y) in y
4.965 * [taylor]: Taking taylor expansion of y in y
4.966 * [taylor]: Taking taylor expansion of t in y
4.966 * [taylor]: Taking taylor expansion of z in y
4.966 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x
4.966 * [taylor]: Taking taylor expansion of -1 in x
4.966 * [taylor]: Taking taylor expansion of (/ t z) in x
4.966 * [taylor]: Taking taylor expansion of t in x
4.966 * [taylor]: Taking taylor expansion of z in x
4.968 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
4.968 * [taylor]: Taking taylor expansion of t in x
4.968 * [taylor]: Taking taylor expansion of (* x z) in x
4.968 * [taylor]: Taking taylor expansion of x in x
4.968 * [taylor]: Taking taylor expansion of z in x
4.968 * [taylor]: Taking taylor expansion of (/ t z) in t
4.968 * [taylor]: Taking taylor expansion of t in t
4.968 * [taylor]: Taking taylor expansion of z in t
4.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.968 * [taylor]: Taking taylor expansion of z in z
4.968 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in t
4.969 * [taylor]: Taking taylor expansion of -1 in t
4.969 * [taylor]: Taking taylor expansion of (/ t z) in t
4.969 * [taylor]: Taking taylor expansion of t in t
4.969 * [taylor]: Taking taylor expansion of z in t
4.969 * [taylor]: Taking taylor expansion of (/ -1 z) in z
4.969 * [taylor]: Taking taylor expansion of -1 in z
4.969 * [taylor]: Taking taylor expansion of z in z
4.971 * [taylor]: Taking taylor expansion of 0 in x
4.971 * [taylor]: Taking taylor expansion of 0 in t
4.971 * [taylor]: Taking taylor expansion of 0 in z
4.972 * [taylor]: Taking taylor expansion of 0 in t
4.972 * [taylor]: Taking taylor expansion of 0 in z
4.972 * [taylor]: Taking taylor expansion of 0 in z
4.972 * [taylor]: Taking taylor expansion of 0 in z
4.975 * [taylor]: Taking taylor expansion of 0 in x
4.975 * [taylor]: Taking taylor expansion of 0 in t
4.975 * [taylor]: Taking taylor expansion of 0 in z
4.976 * [taylor]: Taking taylor expansion of 0 in t
4.976 * [taylor]: Taking taylor expansion of 0 in z
4.977 * [taylor]: Taking taylor expansion of 0 in t
4.977 * [taylor]: Taking taylor expansion of 0 in z
4.977 * [taylor]: Taking taylor expansion of 0 in z
4.977 * [taylor]: Taking taylor expansion of 0 in z
4.977 * [taylor]: Taking taylor expansion of 0 in z
4.978 * [taylor]: Taking taylor expansion of 0 in z
4.978 * * * * [progress]: [ 2 / 2 ] generating series at (2)
4.979 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x y t z) around 0
4.979 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z
4.979 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
4.979 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
4.979 * [taylor]: Taking taylor expansion of (* z y) in z
4.979 * [taylor]: Taking taylor expansion of z in z
4.979 * [taylor]: Taking taylor expansion of y in z
4.979 * [taylor]: Taking taylor expansion of t in z
4.979 * [taylor]: Taking taylor expansion of x in z
4.979 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z
4.979 * [taylor]: Taking taylor expansion of (* x z) in z
4.979 * [taylor]: Taking taylor expansion of x in z
4.979 * [taylor]: Taking taylor expansion of z in z
4.979 * [taylor]: Taking taylor expansion of t in z
4.980 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t
4.980 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
4.980 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
4.980 * [taylor]: Taking taylor expansion of (* z y) in t
4.980 * [taylor]: Taking taylor expansion of z in t
4.980 * [taylor]: Taking taylor expansion of y in t
4.980 * [taylor]: Taking taylor expansion of t in t
4.980 * [taylor]: Taking taylor expansion of x in t
4.980 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t
4.980 * [taylor]: Taking taylor expansion of (* x z) in t
4.980 * [taylor]: Taking taylor expansion of x in t
4.980 * [taylor]: Taking taylor expansion of z in t
4.980 * [taylor]: Taking taylor expansion of t in t
4.980 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y
4.980 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
4.980 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
4.980 * [taylor]: Taking taylor expansion of (* z y) in y
4.980 * [taylor]: Taking taylor expansion of z in y
4.980 * [taylor]: Taking taylor expansion of y in y
4.980 * [taylor]: Taking taylor expansion of t in y
4.981 * [taylor]: Taking taylor expansion of x in y
4.981 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y
4.981 * [taylor]: Taking taylor expansion of (* x z) in y
4.981 * [taylor]: Taking taylor expansion of x in y
4.981 * [taylor]: Taking taylor expansion of z in y
4.981 * [taylor]: Taking taylor expansion of t in y
4.981 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x
4.981 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
4.981 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
4.981 * [taylor]: Taking taylor expansion of (* z y) in x
4.981 * [taylor]: Taking taylor expansion of z in x
4.981 * [taylor]: Taking taylor expansion of y in x
4.981 * [taylor]: Taking taylor expansion of t in x
4.981 * [taylor]: Taking taylor expansion of x in x
4.981 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
4.981 * [taylor]: Taking taylor expansion of (* x z) in x
4.981 * [taylor]: Taking taylor expansion of x in x
4.981 * [taylor]: Taking taylor expansion of z in x
4.981 * [taylor]: Taking taylor expansion of t in x
4.982 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x
4.982 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
4.982 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
4.982 * [taylor]: Taking taylor expansion of (* z y) in x
4.982 * [taylor]: Taking taylor expansion of z in x
4.982 * [taylor]: Taking taylor expansion of y in x
4.982 * [taylor]: Taking taylor expansion of t in x
4.982 * [taylor]: Taking taylor expansion of x in x
4.982 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
4.982 * [taylor]: Taking taylor expansion of (* x z) in x
4.982 * [taylor]: Taking taylor expansion of x in x
4.982 * [taylor]: Taking taylor expansion of z in x
4.982 * [taylor]: Taking taylor expansion of t in x
4.982 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
4.982 * [taylor]: Taking taylor expansion of (* z y) in y
4.982 * [taylor]: Taking taylor expansion of z in y
4.983 * [taylor]: Taking taylor expansion of y in y
4.983 * [taylor]: Taking taylor expansion of t in y
4.983 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in y
4.983 * [taylor]: Taking taylor expansion of 1 in y
4.984 * [taylor]: Taking taylor expansion of (/ z t) in y
4.984 * [taylor]: Taking taylor expansion of z in y
4.984 * [taylor]: Taking taylor expansion of t in y
4.984 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in t
4.984 * [taylor]: Taking taylor expansion of 1 in t
4.984 * [taylor]: Taking taylor expansion of (/ z t) in t
4.984 * [taylor]: Taking taylor expansion of z in t
4.984 * [taylor]: Taking taylor expansion of t in t
4.984 * [taylor]: Taking taylor expansion of (- z) in z
4.984 * [taylor]: Taking taylor expansion of z in z
4.984 * [taylor]: Taking taylor expansion of (/ z t) in t
4.984 * [taylor]: Taking taylor expansion of z in t
4.984 * [taylor]: Taking taylor expansion of t in t
4.984 * [taylor]: Taking taylor expansion of z in z
4.986 * [taylor]: Taking taylor expansion of 0 in y
4.986 * [taylor]: Taking taylor expansion of 0 in t
4.987 * [taylor]: Taking taylor expansion of 0 in t
4.988 * [taylor]: Taking taylor expansion of 0 in t
4.989 * [taylor]: Taking taylor expansion of 1 in z
4.990 * [taylor]: Taking taylor expansion of 0 in z
4.990 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x y t z) around 0
4.990 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z
4.990 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
4.990 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
4.991 * [taylor]: Taking taylor expansion of t in z
4.991 * [taylor]: Taking taylor expansion of (* z y) in z
4.991 * [taylor]: Taking taylor expansion of z in z
4.991 * [taylor]: Taking taylor expansion of y in z
4.991 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.991 * [taylor]: Taking taylor expansion of x in z
4.991 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z
4.991 * [taylor]: Taking taylor expansion of t in z
4.991 * [taylor]: Taking taylor expansion of (* x z) in z
4.991 * [taylor]: Taking taylor expansion of x in z
4.991 * [taylor]: Taking taylor expansion of z in z
4.991 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t
4.991 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
4.991 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
4.992 * [taylor]: Taking taylor expansion of t in t
4.992 * [taylor]: Taking taylor expansion of (* z y) in t
4.992 * [taylor]: Taking taylor expansion of z in t
4.992 * [taylor]: Taking taylor expansion of y in t
4.992 * [taylor]: Taking taylor expansion of (/ 1 x) in t
4.992 * [taylor]: Taking taylor expansion of x in t
4.992 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t
4.992 * [taylor]: Taking taylor expansion of t in t
4.992 * [taylor]: Taking taylor expansion of (* x z) in t
4.992 * [taylor]: Taking taylor expansion of x in t
4.992 * [taylor]: Taking taylor expansion of z in t
4.992 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y
4.992 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
4.992 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.992 * [taylor]: Taking taylor expansion of t in y
4.992 * [taylor]: Taking taylor expansion of (* z y) in y
4.992 * [taylor]: Taking taylor expansion of z in y
4.992 * [taylor]: Taking taylor expansion of y in y
4.992 * [taylor]: Taking taylor expansion of (/ 1 x) in y
4.992 * [taylor]: Taking taylor expansion of x in y
4.992 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y
4.992 * [taylor]: Taking taylor expansion of t in y
4.992 * [taylor]: Taking taylor expansion of (* x z) in y
4.992 * [taylor]: Taking taylor expansion of x in y
4.992 * [taylor]: Taking taylor expansion of z in y
4.992 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x
4.992 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
4.992 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
4.993 * [taylor]: Taking taylor expansion of t in x
4.993 * [taylor]: Taking taylor expansion of (* z y) in x
4.993 * [taylor]: Taking taylor expansion of z in x
4.993 * [taylor]: Taking taylor expansion of y in x
4.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.993 * [taylor]: Taking taylor expansion of x in x
4.993 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
4.993 * [taylor]: Taking taylor expansion of t in x
4.993 * [taylor]: Taking taylor expansion of (* x z) in x
4.993 * [taylor]: Taking taylor expansion of x in x
4.993 * [taylor]: Taking taylor expansion of z in x
4.993 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x
4.993 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
4.993 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
4.993 * [taylor]: Taking taylor expansion of t in x
4.993 * [taylor]: Taking taylor expansion of (* z y) in x
4.993 * [taylor]: Taking taylor expansion of z in x
4.993 * [taylor]: Taking taylor expansion of y in x
4.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.994 * [taylor]: Taking taylor expansion of x in x
4.994 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
4.994 * [taylor]: Taking taylor expansion of t in x
4.994 * [taylor]: Taking taylor expansion of (* x z) in x
4.994 * [taylor]: Taking taylor expansion of x in x
4.994 * [taylor]: Taking taylor expansion of z in x
4.995 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in y
4.995 * [taylor]: Taking taylor expansion of 1 in y
4.995 * [taylor]: Taking taylor expansion of (/ t z) in y
4.995 * [taylor]: Taking taylor expansion of t in y
4.995 * [taylor]: Taking taylor expansion of z in y
4.996 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
4.996 * [taylor]: Taking taylor expansion of t in y
4.996 * [taylor]: Taking taylor expansion of (* z y) in y
4.996 * [taylor]: Taking taylor expansion of z in y
4.996 * [taylor]: Taking taylor expansion of y in y
4.997 * [taylor]: Taking taylor expansion of (/ t z) in t
4.997 * [taylor]: Taking taylor expansion of t in t
4.997 * [taylor]: Taking taylor expansion of z in t
4.997 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in t
4.997 * [taylor]: Taking taylor expansion of 1 in t
4.997 * [taylor]: Taking taylor expansion of (/ t z) in t
4.997 * [taylor]: Taking taylor expansion of t in t
4.997 * [taylor]: Taking taylor expansion of z in t
4.997 * [taylor]: Taking taylor expansion of 1 in z
5.000 * [taylor]: Taking taylor expansion of 0 in y
5.000 * [taylor]: Taking taylor expansion of 0 in t
5.000 * [taylor]: Taking taylor expansion of 0 in z
5.001 * [taylor]: Taking taylor expansion of 0 in t
5.001 * [taylor]: Taking taylor expansion of 0 in z
5.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.001 * [taylor]: Taking taylor expansion of z in z
5.001 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.001 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.001 * [taylor]: Taking taylor expansion of z in z
5.003 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x y t z) around 0
5.003 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z
5.003 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z
5.003 * [taylor]: Taking taylor expansion of t in z
5.003 * [taylor]: Taking taylor expansion of (* x z) in z
5.003 * [taylor]: Taking taylor expansion of x in z
5.003 * [taylor]: Taking taylor expansion of z in z
5.003 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
5.003 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
5.003 * [taylor]: Taking taylor expansion of t in z
5.003 * [taylor]: Taking taylor expansion of (* z y) in z
5.003 * [taylor]: Taking taylor expansion of z in z
5.003 * [taylor]: Taking taylor expansion of y in z
5.004 * [taylor]: Taking taylor expansion of (/ 1 x) in z
5.004 * [taylor]: Taking taylor expansion of x in z
5.004 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t
5.004 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t
5.004 * [taylor]: Taking taylor expansion of t in t
5.004 * [taylor]: Taking taylor expansion of (* x z) in t
5.004 * [taylor]: Taking taylor expansion of x in t
5.004 * [taylor]: Taking taylor expansion of z in t
5.004 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
5.004 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
5.004 * [taylor]: Taking taylor expansion of t in t
5.004 * [taylor]: Taking taylor expansion of (* z y) in t
5.004 * [taylor]: Taking taylor expansion of z in t
5.004 * [taylor]: Taking taylor expansion of y in t
5.004 * [taylor]: Taking taylor expansion of (/ 1 x) in t
5.004 * [taylor]: Taking taylor expansion of x in t
5.004 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y
5.004 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y
5.004 * [taylor]: Taking taylor expansion of t in y
5.004 * [taylor]: Taking taylor expansion of (* x z) in y
5.004 * [taylor]: Taking taylor expansion of x in y
5.004 * [taylor]: Taking taylor expansion of z in y
5.004 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
5.004 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
5.004 * [taylor]: Taking taylor expansion of t in y
5.004 * [taylor]: Taking taylor expansion of (* z y) in y
5.004 * [taylor]: Taking taylor expansion of z in y
5.004 * [taylor]: Taking taylor expansion of y in y
5.005 * [taylor]: Taking taylor expansion of (/ 1 x) in y
5.005 * [taylor]: Taking taylor expansion of x in y
5.005 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x
5.005 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
5.005 * [taylor]: Taking taylor expansion of t in x
5.005 * [taylor]: Taking taylor expansion of (* x z) in x
5.005 * [taylor]: Taking taylor expansion of x in x
5.005 * [taylor]: Taking taylor expansion of z in x
5.005 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
5.005 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
5.005 * [taylor]: Taking taylor expansion of t in x
5.005 * [taylor]: Taking taylor expansion of (* z y) in x
5.005 * [taylor]: Taking taylor expansion of z in x
5.005 * [taylor]: Taking taylor expansion of y in x
5.005 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.005 * [taylor]: Taking taylor expansion of x in x
5.006 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x
5.006 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
5.006 * [taylor]: Taking taylor expansion of t in x
5.006 * [taylor]: Taking taylor expansion of (* x z) in x
5.006 * [taylor]: Taking taylor expansion of x in x
5.006 * [taylor]: Taking taylor expansion of z in x
5.006 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
5.006 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
5.006 * [taylor]: Taking taylor expansion of t in x
5.006 * [taylor]: Taking taylor expansion of (* z y) in x
5.006 * [taylor]: Taking taylor expansion of z in x
5.006 * [taylor]: Taking taylor expansion of y in x
5.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.006 * [taylor]: Taking taylor expansion of x in x
5.007 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in y
5.007 * [taylor]: Taking taylor expansion of (/ t z) in y
5.007 * [taylor]: Taking taylor expansion of t in y
5.007 * [taylor]: Taking taylor expansion of z in y
5.007 * [taylor]: Taking taylor expansion of 1 in y
5.008 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y
5.009 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
5.009 * [taylor]: Taking taylor expansion of t in y
5.009 * [taylor]: Taking taylor expansion of (* z y) in y
5.009 * [taylor]: Taking taylor expansion of z in y
5.009 * [taylor]: Taking taylor expansion of y in y
5.009 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
5.009 * [taylor]: Taking taylor expansion of (/ t z) in t
5.009 * [taylor]: Taking taylor expansion of t in t
5.009 * [taylor]: Taking taylor expansion of z in t
5.009 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in t
5.009 * [taylor]: Taking taylor expansion of (/ t z) in t
5.009 * [taylor]: Taking taylor expansion of t in t
5.010 * [taylor]: Taking taylor expansion of z in t
5.010 * [taylor]: Taking taylor expansion of 1 in t
5.010 * [taylor]: Taking taylor expansion of -1 in z
5.012 * [taylor]: Taking taylor expansion of 0 in y
5.013 * [taylor]: Taking taylor expansion of 0 in t
5.013 * [taylor]: Taking taylor expansion of 0 in z
5.014 * [taylor]: Taking taylor expansion of 0 in t
5.014 * [taylor]: Taking taylor expansion of 0 in z
5.014 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
5.014 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.014 * [taylor]: Taking taylor expansion of z in z
5.015 * [taylor]: Taking taylor expansion of (/ 1 z) in z
5.015 * [taylor]: Taking taylor expansion of z in z
5.016 * * * [progress]: simplifying candidates
5.018 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (log (- y x)) (- (log t) (log z)))
  (- (log (- y x)) (log (/ t z)))
  (log (/ (- y x) (/ t z)))
  (exp (/ (- y x) (/ t z)))
  (/ (* (* (- y x) (- y x)) (- y x)) (/ (* (* t t) t) (* (* z z) z)))
  (/ (* (* (- y x) (- y x)) (- y x)) (* (* (/ t z) (/ t z)) (/ t z)))
  (* (cbrt (/ (- y x) (/ t z))) (cbrt (/ (- y x) (/ t z))))
  (cbrt (/ (- y x) (/ t z)))
  (* (* (/ (- y x) (/ t z)) (/ (- y x) (/ t z))) (/ (- y x) (/ t z)))
  (sqrt (/ (- y x) (/ t z)))
  (sqrt (/ (- y x) (/ t z)))
  (- (- y x))
  (- (/ t z))
  (/ y (/ t z))
  (/ x (/ t z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (cbrt (- y x)) (cbrt (/ t z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt (/ t z)))
  (/ (cbrt (- y x)) (sqrt (/ t z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (cbrt (- y x)) (/ (cbrt t) (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (cbrt (- y x)) (/ (cbrt t) (sqrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (cbrt (- y x)) (/ (cbrt t) z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (cbrt (- y x)) (/ (sqrt t) (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (sqrt t) (sqrt z)))
  (/ (cbrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (sqrt t) 1))
  (/ (cbrt (- y x)) (/ (sqrt t) z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (cbrt (- y x)) (/ t (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ 1 (sqrt z)))
  (/ (cbrt (- y x)) (/ t (sqrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ 1 1))
  (/ (cbrt (- y x)) (/ t z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) 1)
  (/ (cbrt (- y x)) (/ t z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) t)
  (/ (cbrt (- y x)) (/ 1 z))
  (/ (sqrt (- y x)) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (sqrt (- y x)) (cbrt (/ t z)))
  (/ (sqrt (- y x)) (sqrt (/ t z)))
  (/ (sqrt (- y x)) (sqrt (/ t z)))
  (/ (sqrt (- y x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (sqrt (- y x)) (/ (cbrt t) (cbrt z)))
  (/ (sqrt (- y x)) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (sqrt (- y x)) (/ (cbrt t) (sqrt z)))
  (/ (sqrt (- y x)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (sqrt (- y x)) (/ (cbrt t) z))
  (/ (sqrt (- y x)) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (sqrt (- y x)) (/ (sqrt t) (cbrt z)))
  (/ (sqrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (sqrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (sqrt (- y x)) (/ (sqrt t) 1))
  (/ (sqrt (- y x)) (/ (sqrt t) z))
  (/ (sqrt (- y x)) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (sqrt (- y x)) (/ t (cbrt z)))
  (/ (sqrt (- y x)) (/ 1 (sqrt z)))
  (/ (sqrt (- y x)) (/ t (sqrt z)))
  (/ (sqrt (- y x)) (/ 1 1))
  (/ (sqrt (- y x)) (/ t z))
  (/ (sqrt (- y x)) 1)
  (/ (sqrt (- y x)) (/ t z))
  (/ (sqrt (- y x)) t)
  (/ (sqrt (- y x)) (/ 1 z))
  (/ 1 (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (cbrt (/ t z)))
  (/ 1 (sqrt (/ t z)))
  (/ (- y x) (sqrt (/ t z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (cbrt t) (cbrt z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- y x) (/ (cbrt t) (sqrt z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- y x) (/ (cbrt t) z))
  (/ 1 (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (sqrt t) (cbrt z)))
  (/ 1 (/ (sqrt t) (sqrt z)))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ 1 (/ (sqrt t) 1))
  (/ (- y x) (/ (sqrt t) z))
  (/ 1 (/ 1 (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ t (cbrt z)))
  (/ 1 (/ 1 (sqrt z)))
  (/ (- y x) (/ t (sqrt z)))
  (/ 1 (/ 1 1))
  (/ (- y x) (/ t z))
  (/ 1 1)
  (/ (- y x) (/ t z))
  (/ 1 t)
  (/ (- y x) (/ 1 z))
  (/ (+ (sqrt y) (sqrt x)) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- (sqrt y) (sqrt x)) (cbrt (/ t z)))
  (/ (+ (sqrt y) (sqrt x)) (sqrt (/ t z)))
  (/ (- (sqrt y) (sqrt x)) (sqrt (/ t z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) (cbrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) (sqrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) z))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) (cbrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) (sqrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) (sqrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) 1))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) z))
  (/ (+ (sqrt y) (sqrt x)) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (- (sqrt y) (sqrt x)) (/ t (cbrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ 1 (sqrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ t (sqrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ 1 1))
  (/ (- (sqrt y) (sqrt x)) (/ t z))
  (/ (+ (sqrt y) (sqrt x)) 1)
  (/ (- (sqrt y) (sqrt x)) (/ t z))
  (/ (+ (sqrt y) (sqrt x)) t)
  (/ (- (sqrt y) (sqrt x)) (/ 1 z))
  (/ 1 (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (cbrt (/ t z)))
  (/ 1 (sqrt (/ t z)))
  (/ (- y x) (sqrt (/ t z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (cbrt t) (cbrt z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- y x) (/ (cbrt t) (sqrt z)))
  (/ 1 (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- y x) (/ (cbrt t) z))
  (/ 1 (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (sqrt t) (cbrt z)))
  (/ 1 (/ (sqrt t) (sqrt z)))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ 1 (/ (sqrt t) 1))
  (/ (- y x) (/ (sqrt t) z))
  (/ 1 (/ 1 (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ t (cbrt z)))
  (/ 1 (/ 1 (sqrt z)))
  (/ (- y x) (/ t (sqrt z)))
  (/ 1 (/ 1 1))
  (/ (- y x) (/ t z))
  (/ 1 1)
  (/ (- y x) (/ t z))
  (/ 1 t)
  (/ (- y x) (/ 1 z))
  (/ 1 (/ t z))
  (/ (/ t z) (- y x))
  (/ (- y x) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (sqrt (/ t z)))
  (/ (- y x) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- y x) (/ (* (cbrt t) (cbrt t)) 1))
  (/ (- y x) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ (- y x) (/ (sqrt t) 1))
  (/ (- y x) (/ 1 (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ 1 (sqrt z)))
  (/ (- y x) (/ 1 1))
  (/ (- y x) 1)
  (/ (- y x) t)
  (/ (/ t z) (cbrt (- y x)))
  (/ (/ t z) (sqrt (- y x)))
  (/ (/ t z) (- y x))
  (/ (/ t z) (- (sqrt y) (sqrt x)))
  (/ (/ t z) (- y x))
  (/ (- y x) t)
  (* (/ t z) (+ (* y y) (+ (* x x) (* y x))))
  (* (/ t z) (+ y x))
  (* (exp x) (exp (/ (- y x) (/ t z))))
  (log (+ x (/ (- y x) (/ t z))))
  (exp (+ x (/ (- y x) (/ t z))))
  (* (cbrt (+ x (/ (- y x) (/ t z)))) (cbrt (+ x (/ (- y x) (/ t z)))))
  (cbrt (+ x (/ (- y x) (/ t z))))
  (* (* (+ x (/ (- y x) (/ t z))) (+ x (/ (- y x) (/ t z)))) (+ x (/ (- y x) (/ t z))))
  (sqrt (+ x (/ (- y x) (/ t z))))
  (sqrt (+ x (/ (- y x) (/ t z))))
  (+ (pow x 3) (pow (/ (- y x) (/ t z)) 3))
  (+ (* x x) (- (* (/ (- y x) (/ t z)) (/ (- y x) (/ t z))) (* x (/ (- y x) (/ t z)))))
  (- (* x x) (* (/ (- y x) (/ t z)) (/ (- y x) (/ t z))))
  (- x (/ (- y x) (/ t z)))
  (+ x (/ (- y x) (/ t z)))
  (+ x (/ y (/ t z)))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
5.024 * * [simplify]: iteration  0 :  217  enodes  (cost  1896 )
5.077 * * [simplify]: iteration  1 :  607  enodes  (cost  1770 )
5.316 * * [simplify]: iteration  2 :  1773  enodes  (cost  1680 )
5.891 * * [simplify]: iteration  done :  5000  enodes  (cost  1680 )
5.892 * [simplify]: Simplified to:
   (log (/ (- y x) (/ t z)))
  (log (/ (- y x) (/ t z)))
  (log (/ (- y x) (/ t z)))
  (exp (/ (- y x) (/ t z)))
  (pow (/ (- y x) (/ t z)) 3)
  (pow (/ (- y x) (/ t z)) 3)
  (* (cbrt (/ (- y x) (/ t z))) (cbrt (/ (- y x) (/ t z))))
  (cbrt (/ (- y x) (/ t z)))
  (pow (/ (- y x) (/ t z)) 3)
  (sqrt (/ (- y x) (/ t z)))
  (sqrt (/ (- y x) (/ t z)))
  (- (- y x))
  (- (/ t z))
  (/ y (/ t z))
  (/ (* x z) t)
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (cbrt (- y x)) (cbrt (/ t z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt (/ t z)))
  (/ (cbrt (- y x)) (sqrt (/ t z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (cbrt (- y x)) (/ (cbrt t) (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (cbrt (- y x)) (/ (cbrt t) (sqrt z)))
  (/ (cbrt (- y x)) (/ (* (cbrt t) (cbrt t)) (cbrt (- y x))))
  (/ (cbrt (- y x)) (/ (cbrt t) z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (cbrt (- y x)) (/ (sqrt t) (cbrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (/ (sqrt t) (sqrt z)))
  (/ (cbrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) (sqrt t))
  (/ (cbrt (- y x)) (/ (sqrt t) z))
  (* (* (cbrt (- y x)) (cbrt (- y x))) (* (cbrt z) (cbrt z)))
  (/ (cbrt (- y x)) (/ t (cbrt z)))
  (* (* (cbrt (- y x)) (cbrt (- y x))) (sqrt z))
  (/ (cbrt (- y x)) (/ t (sqrt z)))
  (* (cbrt (- y x)) (cbrt (- y x)))
  (/ (cbrt (- y x)) (/ t z))
  (* (cbrt (- y x)) (cbrt (- y x)))
  (/ (cbrt (- y x)) (/ t z))
  (/ (* (cbrt (- y x)) (cbrt (- y x))) t)
  (* (cbrt (- y x)) z)
  (/ (sqrt (- y x)) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (sqrt (- y x)) (cbrt (/ t z)))
  (/ (sqrt (- y x)) (sqrt (/ t z)))
  (/ (sqrt (- y x)) (sqrt (/ t z)))
  (/ (sqrt (- y x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (sqrt (- y x)) (/ (cbrt t) (cbrt z)))
  (/ (sqrt (- y x)) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (sqrt (- y x)) (/ (cbrt t) (sqrt z)))
  (/ (sqrt (- y x)) (* (cbrt t) (cbrt t)))
  (/ (sqrt (- y x)) (/ (cbrt t) z))
  (/ (sqrt (- y x)) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (sqrt (- y x)) (/ (sqrt t) (cbrt z)))
  (/ (sqrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (sqrt (- y x)) (/ (sqrt t) (sqrt z)))
  (/ (sqrt (- y x)) (sqrt t))
  (/ (sqrt (- y x)) (/ (sqrt t) z))
  (* (sqrt (- y x)) (* (cbrt z) (cbrt z)))
  (/ (sqrt (- y x)) (/ t (cbrt z)))
  (* (sqrt (- y x)) (sqrt z))
  (/ (sqrt (- y x)) (/ t (sqrt z)))
  (sqrt (- y x))
  (/ (sqrt (- y x)) (/ t z))
  (sqrt (- y x))
  (/ (sqrt (- y x)) (/ t z))
  (/ (sqrt (- y x)) t)
  (* (sqrt (- y x)) z)
  (/ 1 (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (cbrt (/ t z)))
  (/ 1 (sqrt (/ t z)))
  (/ (- y x) (sqrt (/ t z)))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (cbrt t) (cbrt z)))
  (/ (sqrt z) (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (cbrt t) (sqrt z)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (cbrt t) z))
  (/ (* (cbrt z) (cbrt z)) (sqrt t))
  (/ (- y x) (/ (sqrt t) (cbrt z)))
  (/ (sqrt z) (sqrt t))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ 1 (sqrt t))
  (/ (- y x) (/ (sqrt t) z))
  (* (cbrt z) (cbrt z))
  (/ (- y x) (/ t (cbrt z)))
  (sqrt z)
  (/ (- y x) (/ t (sqrt z)))
  1
  (* (/ (- y x) t) z)
  1
  (* (/ (- y x) t) z)
  (/ 1 t)
  (* (- y x) z)
  (/ (+ (sqrt y) (sqrt x)) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- (sqrt y) (sqrt x)) (cbrt (/ t z)))
  (/ (+ (sqrt y) (sqrt x)) (sqrt (/ t z)))
  (/ (- (sqrt y) (sqrt x)) (sqrt (/ t z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) (cbrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) (sqrt z)))
  (/ (+ (sqrt y) (sqrt x)) (* (cbrt t) (cbrt t)))
  (/ (- (sqrt y) (sqrt x)) (/ (cbrt t) z))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) (cbrt z)))
  (/ (+ (sqrt y) (sqrt x)) (/ (sqrt t) (sqrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) (sqrt z)))
  (/ (+ (sqrt y) (sqrt x)) (sqrt t))
  (/ (- (sqrt y) (sqrt x)) (/ (sqrt t) z))
  (* (+ (sqrt y) (sqrt x)) (* (cbrt z) (cbrt z)))
  (/ (- (sqrt y) (sqrt x)) (/ t (cbrt z)))
  (* (+ (sqrt y) (sqrt x)) (sqrt z))
  (/ (- (sqrt y) (sqrt x)) (/ t (sqrt z)))
  (+ (sqrt y) (sqrt x))
  (/ (- (sqrt y) (sqrt x)) (/ t z))
  (+ (sqrt y) (sqrt x))
  (/ (- (sqrt y) (sqrt x)) (/ t z))
  (/ (+ (sqrt y) (sqrt x)) t)
  (* z (- (sqrt y) (sqrt x)))
  (/ 1 (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (cbrt (/ t z)))
  (/ 1 (sqrt (/ t z)))
  (/ (- y x) (sqrt (/ t z)))
  (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (cbrt t) (cbrt z)))
  (/ (sqrt z) (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (cbrt t) (sqrt z)))
  (/ 1 (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (cbrt t) z))
  (/ (* (cbrt z) (cbrt z)) (sqrt t))
  (/ (- y x) (/ (sqrt t) (cbrt z)))
  (/ (sqrt z) (sqrt t))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ 1 (sqrt t))
  (/ (- y x) (/ (sqrt t) z))
  (* (cbrt z) (cbrt z))
  (/ (- y x) (/ t (cbrt z)))
  (sqrt z)
  (/ (- y x) (/ t (sqrt z)))
  1
  (* (/ (- y x) t) z)
  1
  (* (/ (- y x) t) z)
  (/ 1 t)
  (* (- y x) z)
  (/ 1 (/ t z))
  (/ (/ t z) (- y x))
  (/ (- y x) (* (cbrt (/ t z)) (cbrt (/ t z))))
  (/ (- y x) (sqrt (/ t z)))
  (/ (- y x) (/ (* (cbrt t) (cbrt t)) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (* (cbrt t) (cbrt t)) (sqrt z)))
  (/ (- y x) (* (cbrt t) (cbrt t)))
  (/ (- y x) (/ (sqrt t) (* (cbrt z) (cbrt z))))
  (/ (- y x) (/ (sqrt t) (sqrt z)))
  (/ (- y x) (sqrt t))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (- y x)
  (- y x)
  (/ (- y x) t)
  (/ (/ t z) (cbrt (- y x)))
  (/ (/ t z) (sqrt (- y x)))
  (/ (/ t z) (- y x))
  (/ (/ t z) (- (sqrt y) (sqrt x)))
  (/ (/ t z) (- y x))
  (/ (- y x) t)
  (* (/ t z) (+ (* y y) (* x (+ y x))))
  (* (/ t z) (+ y x))
  (exp (+ x (/ (- y x) (/ t z))))
  (log (+ x (/ (- y x) (/ t z))))
  (exp (+ x (/ (- y x) (/ t z))))
  (* (cbrt (+ x (/ (- y x) (/ t z)))) (cbrt (+ x (/ (- y x) (/ t z)))))
  (cbrt (+ x (/ (- y x) (/ t z))))
  (pow (+ x (/ (- y x) (/ t z))) 3)
  (sqrt (+ x (/ (- y x) (/ t z))))
  (sqrt (+ x (/ (- y x) (/ t z))))
  (+ (pow x 3) (pow (/ (- y x) (/ t z)) 3))
  (+ (* x x) (* (/ (- y x) (/ t z)) (- (/ (- y x) (/ t z)) x)))
  (- (* x x) (* (/ (- y x) (/ t z)) (/ (- y x) (/ t z))))
  (- x (/ (- y x) (/ t z)))
  (+ x (/ (- y x) (/ t z)))
  (+ x (/ y (/ t z)))
  (* (/ (- y x) t) z)
  (* (/ (- y x) t) z)
  (* (/ (- y x) t) z)
  (+ x (/ (- y x) (/ t z)))
  (+ x (/ (- y x) (/ t z)))
  (+ x (/ (- y x) (/ t z)))
5.894 * * * [progress]: adding candidates to table
6.200 * * [progress]: iteration 3 / 4
6.200 * * * [progress]: picking best candidate
6.205 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))>
6.205 * * * [progress]: localizing error
6.217 * * * [progress]: generating rewritten candidates
6.217 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
6.249 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
6.255 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2)
6.256 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2)
6.264 * * * [progress]: generating series expansions
6.264 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
6.265 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x t z) around 0
6.265 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z
6.265 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
6.265 * [taylor]: Taking taylor expansion of (- y x) in z
6.265 * [taylor]: Taking taylor expansion of y in z
6.265 * [taylor]: Taking taylor expansion of x in z
6.265 * [taylor]: Taking taylor expansion of z in z
6.265 * [taylor]: Taking taylor expansion of t in z
6.266 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t
6.266 * [taylor]: Taking taylor expansion of (* (- y x) z) in t
6.266 * [taylor]: Taking taylor expansion of (- y x) in t
6.266 * [taylor]: Taking taylor expansion of y in t
6.266 * [taylor]: Taking taylor expansion of x in t
6.266 * [taylor]: Taking taylor expansion of z in t
6.266 * [taylor]: Taking taylor expansion of t in t
6.267 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x
6.267 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
6.267 * [taylor]: Taking taylor expansion of (- y x) in x
6.267 * [taylor]: Taking taylor expansion of y in x
6.267 * [taylor]: Taking taylor expansion of x in x
6.267 * [taylor]: Taking taylor expansion of z in x
6.267 * [taylor]: Taking taylor expansion of t in x
6.267 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
6.267 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
6.267 * [taylor]: Taking taylor expansion of (- y x) in y
6.267 * [taylor]: Taking taylor expansion of y in y
6.267 * [taylor]: Taking taylor expansion of x in y
6.267 * [taylor]: Taking taylor expansion of z in y
6.267 * [taylor]: Taking taylor expansion of t in y
6.267 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
6.267 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
6.267 * [taylor]: Taking taylor expansion of (- y x) in y
6.267 * [taylor]: Taking taylor expansion of y in y
6.267 * [taylor]: Taking taylor expansion of x in y
6.267 * [taylor]: Taking taylor expansion of z in y
6.267 * [taylor]: Taking taylor expansion of t in y
6.268 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x
6.268 * [taylor]: Taking taylor expansion of -1 in x
6.268 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
6.268 * [taylor]: Taking taylor expansion of (* x z) in x
6.268 * [taylor]: Taking taylor expansion of x in x
6.268 * [taylor]: Taking taylor expansion of z in x
6.268 * [taylor]: Taking taylor expansion of t in x
6.269 * [taylor]: Taking taylor expansion of (/ z t) in x
6.270 * [taylor]: Taking taylor expansion of z in x
6.270 * [taylor]: Taking taylor expansion of t in x
6.270 * [taylor]: Taking taylor expansion of (/ z t) in t
6.270 * [taylor]: Taking taylor expansion of z in t
6.270 * [taylor]: Taking taylor expansion of t in t
6.270 * [taylor]: Taking taylor expansion of z in z
6.270 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in t
6.270 * [taylor]: Taking taylor expansion of -1 in t
6.270 * [taylor]: Taking taylor expansion of (/ z t) in t
6.270 * [taylor]: Taking taylor expansion of z in t
6.270 * [taylor]: Taking taylor expansion of t in t
6.270 * [taylor]: Taking taylor expansion of (* -1 z) in z
6.270 * [taylor]: Taking taylor expansion of -1 in z
6.270 * [taylor]: Taking taylor expansion of z in z
6.272 * [taylor]: Taking taylor expansion of 0 in x
6.272 * [taylor]: Taking taylor expansion of 0 in t
6.272 * [taylor]: Taking taylor expansion of 0 in t
6.273 * [taylor]: Taking taylor expansion of 0 in t
6.274 * [taylor]: Taking taylor expansion of 0 in z
6.275 * [taylor]: Taking taylor expansion of 0 in z
6.277 * [taylor]: Taking taylor expansion of 0 in x
6.277 * [taylor]: Taking taylor expansion of 0 in t
6.277 * [taylor]: Taking taylor expansion of 0 in t
6.277 * [taylor]: Taking taylor expansion of 0 in t
6.279 * [taylor]: Taking taylor expansion of 0 in t
6.279 * [taylor]: Taking taylor expansion of 0 in z
6.279 * [taylor]: Taking taylor expansion of 0 in z
6.279 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x t z) around 0
6.279 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
6.279 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
6.279 * [taylor]: Taking taylor expansion of t in z
6.279 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
6.279 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.279 * [taylor]: Taking taylor expansion of y in z
6.279 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.279 * [taylor]: Taking taylor expansion of x in z
6.279 * [taylor]: Taking taylor expansion of z in z
6.280 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
6.280 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
6.280 * [taylor]: Taking taylor expansion of t in t
6.280 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
6.280 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.280 * [taylor]: Taking taylor expansion of y in t
6.280 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.280 * [taylor]: Taking taylor expansion of x in t
6.280 * [taylor]: Taking taylor expansion of z in t
6.281 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
6.281 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
6.281 * [taylor]: Taking taylor expansion of t in x
6.281 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
6.281 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.281 * [taylor]: Taking taylor expansion of y in x
6.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.281 * [taylor]: Taking taylor expansion of x in x
6.282 * [taylor]: Taking taylor expansion of z in x
6.282 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
6.282 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
6.282 * [taylor]: Taking taylor expansion of t in y
6.282 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.282 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.282 * [taylor]: Taking taylor expansion of y in y
6.283 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.283 * [taylor]: Taking taylor expansion of x in y
6.283 * [taylor]: Taking taylor expansion of z in y
6.283 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
6.283 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
6.283 * [taylor]: Taking taylor expansion of t in y
6.283 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
6.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.283 * [taylor]: Taking taylor expansion of y in y
6.283 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.283 * [taylor]: Taking taylor expansion of x in y
6.284 * [taylor]: Taking taylor expansion of z in y
6.284 * [taylor]: Taking taylor expansion of (/ t z) in x
6.284 * [taylor]: Taking taylor expansion of t in x
6.284 * [taylor]: Taking taylor expansion of z in x
6.285 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x
6.285 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
6.285 * [taylor]: Taking taylor expansion of t in x
6.285 * [taylor]: Taking taylor expansion of (* x z) in x
6.285 * [taylor]: Taking taylor expansion of x in x
6.285 * [taylor]: Taking taylor expansion of z in x
6.286 * [taylor]: Taking taylor expansion of (- (/ t z)) in t
6.286 * [taylor]: Taking taylor expansion of (/ t z) in t
6.286 * [taylor]: Taking taylor expansion of t in t
6.286 * [taylor]: Taking taylor expansion of z in t
6.286 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
6.286 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.286 * [taylor]: Taking taylor expansion of z in z
6.286 * [taylor]: Taking taylor expansion of (/ t z) in t
6.286 * [taylor]: Taking taylor expansion of t in t
6.286 * [taylor]: Taking taylor expansion of z in t
6.286 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.286 * [taylor]: Taking taylor expansion of z in z
6.288 * [taylor]: Taking taylor expansion of 0 in x
6.289 * [taylor]: Taking taylor expansion of 0 in t
6.289 * [taylor]: Taking taylor expansion of 0 in z
6.289 * [taylor]: Taking taylor expansion of 0 in t
6.290 * [taylor]: Taking taylor expansion of 0 in z
6.290 * [taylor]: Taking taylor expansion of 0 in z
6.290 * [taylor]: Taking taylor expansion of 0 in z
6.293 * [taylor]: Taking taylor expansion of 0 in x
6.293 * [taylor]: Taking taylor expansion of 0 in t
6.293 * [taylor]: Taking taylor expansion of 0 in z
6.294 * [taylor]: Taking taylor expansion of 0 in t
6.294 * [taylor]: Taking taylor expansion of 0 in z
6.295 * [taylor]: Taking taylor expansion of 0 in t
6.295 * [taylor]: Taking taylor expansion of 0 in z
6.295 * [taylor]: Taking taylor expansion of 0 in z
6.295 * [taylor]: Taking taylor expansion of 0 in z
6.295 * [taylor]: Taking taylor expansion of 0 in z
6.295 * [taylor]: Taking taylor expansion of 0 in z
6.296 * [approximate]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in (y x t z) around 0
6.296 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in z
6.296 * [taylor]: Taking taylor expansion of -1 in z
6.296 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in z
6.296 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z
6.296 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
6.296 * [taylor]: Taking taylor expansion of (/ 1 x) in z
6.296 * [taylor]: Taking taylor expansion of x in z
6.296 * [taylor]: Taking taylor expansion of (/ 1 y) in z
6.296 * [taylor]: Taking taylor expansion of y in z
6.296 * [taylor]: Taking taylor expansion of t in z
6.296 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in z
6.296 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z
6.296 * [taylor]: Taking taylor expansion of (cbrt -1) in z
6.296 * [taylor]: Taking taylor expansion of -1 in z
6.297 * [taylor]: Taking taylor expansion of z in z
6.304 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in t
6.304 * [taylor]: Taking taylor expansion of -1 in t
6.304 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in t
6.304 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t
6.304 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
6.304 * [taylor]: Taking taylor expansion of (/ 1 x) in t
6.304 * [taylor]: Taking taylor expansion of x in t
6.304 * [taylor]: Taking taylor expansion of (/ 1 y) in t
6.304 * [taylor]: Taking taylor expansion of y in t
6.304 * [taylor]: Taking taylor expansion of t in t
6.304 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in t
6.304 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t
6.304 * [taylor]: Taking taylor expansion of (cbrt -1) in t
6.304 * [taylor]: Taking taylor expansion of -1 in t
6.305 * [taylor]: Taking taylor expansion of z in t
6.309 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in x
6.309 * [taylor]: Taking taylor expansion of -1 in x
6.309 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in x
6.309 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x
6.309 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
6.310 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.310 * [taylor]: Taking taylor expansion of x in x
6.310 * [taylor]: Taking taylor expansion of (/ 1 y) in x
6.310 * [taylor]: Taking taylor expansion of y in x
6.310 * [taylor]: Taking taylor expansion of t in x
6.310 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in x
6.310 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x
6.310 * [taylor]: Taking taylor expansion of (cbrt -1) in x
6.310 * [taylor]: Taking taylor expansion of -1 in x
6.311 * [taylor]: Taking taylor expansion of z in x
6.314 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in y
6.314 * [taylor]: Taking taylor expansion of -1 in y
6.315 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in y
6.315 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
6.315 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.315 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.315 * [taylor]: Taking taylor expansion of x in y
6.315 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.315 * [taylor]: Taking taylor expansion of y in y
6.315 * [taylor]: Taking taylor expansion of t in y
6.315 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
6.315 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
6.315 * [taylor]: Taking taylor expansion of (cbrt -1) in y
6.315 * [taylor]: Taking taylor expansion of -1 in y
6.316 * [taylor]: Taking taylor expansion of z in y
6.320 * [taylor]: Taking taylor expansion of (* -1 (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z))) in y
6.320 * [taylor]: Taking taylor expansion of -1 in y
6.320 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) (* (pow (cbrt -1) 3) z)) in y
6.320 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y
6.320 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
6.320 * [taylor]: Taking taylor expansion of (/ 1 x) in y
6.320 * [taylor]: Taking taylor expansion of x in y
6.320 * [taylor]: Taking taylor expansion of (/ 1 y) in y
6.320 * [taylor]: Taking taylor expansion of y in y
6.320 * [taylor]: Taking taylor expansion of t in y
6.320 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) z) in y
6.320 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y
6.320 * [taylor]: Taking taylor expansion of (cbrt -1) in y
6.320 * [taylor]: Taking taylor expansion of -1 in y
6.321 * [taylor]: Taking taylor expansion of z in y
6.325 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x
6.326 * [taylor]: Taking taylor expansion of -1 in x
6.326 * [taylor]: Taking taylor expansion of (/ t z) in x
6.326 * [taylor]: Taking taylor expansion of t in x
6.326 * [taylor]: Taking taylor expansion of z in x
6.329 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
6.329 * [taylor]: Taking taylor expansion of t in x
6.329 * [taylor]: Taking taylor expansion of (* x z) in x
6.329 * [taylor]: Taking taylor expansion of x in x
6.329 * [taylor]: Taking taylor expansion of z in x
6.329 * [taylor]: Taking taylor expansion of (/ t z) in t
6.329 * [taylor]: Taking taylor expansion of t in t
6.329 * [taylor]: Taking taylor expansion of z in t
6.329 * [taylor]: Taking taylor expansion of (/ 1 z) in z
6.329 * [taylor]: Taking taylor expansion of z in z
6.330 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in t
6.330 * [taylor]: Taking taylor expansion of -1 in t
6.330 * [taylor]: Taking taylor expansion of (/ t z) in t
6.330 * [taylor]: Taking taylor expansion of t in t
6.330 * [taylor]: Taking taylor expansion of z in t
6.330 * [taylor]: Taking taylor expansion of (/ -1 z) in z
6.330 * [taylor]: Taking taylor expansion of -1 in z
6.330 * [taylor]: Taking taylor expansion of z in z
6.335 * [taylor]: Taking taylor expansion of 0 in x
6.336 * [taylor]: Taking taylor expansion of 0 in t
6.336 * [taylor]: Taking taylor expansion of 0 in z
6.336 * [taylor]: Taking taylor expansion of 0 in t
6.336 * [taylor]: Taking taylor expansion of 0 in z
6.336 * [taylor]: Taking taylor expansion of 0 in z
6.337 * [taylor]: Taking taylor expansion of 0 in z
6.344 * [taylor]: Taking taylor expansion of 0 in x
6.344 * [taylor]: Taking taylor expansion of 0 in t
6.344 * [taylor]: Taking taylor expansion of 0 in z
6.345 * [taylor]: Taking taylor expansion of 0 in t
6.345 * [taylor]: Taking taylor expansion of 0 in z
6.346 * [taylor]: Taking taylor expansion of 0 in t
6.346 * [taylor]: Taking taylor expansion of 0 in z
6.346 * [taylor]: Taking taylor expansion of 0 in z
6.346 * [taylor]: Taking taylor expansion of 0 in z
6.346 * [taylor]: Taking taylor expansion of 0 in z
6.347 * [taylor]: Taking taylor expansion of 0 in z
6.347 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
6.347 * [approximate]: Taking taylor expansion of (pow (pow t 2) 1/3) in (t) around 0
6.347 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
6.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
6.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
6.347 * [taylor]: Taking taylor expansion of 1/3 in t
6.347 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
6.347 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.347 * [taylor]: Taking taylor expansion of t in t
6.348 * [taylor]: Taking taylor expansion of (pow (pow t 2) 1/3) in t
6.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow t 2)))) in t
6.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow t 2))) in t
6.348 * [taylor]: Taking taylor expansion of 1/3 in t
6.348 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t
6.348 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.348 * [taylor]: Taking taylor expansion of t in t
6.411 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in (t) around 0
6.411 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
6.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
6.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
6.411 * [taylor]: Taking taylor expansion of 1/3 in t
6.411 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
6.411 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.411 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.411 * [taylor]: Taking taylor expansion of t in t
6.413 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
6.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
6.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
6.413 * [taylor]: Taking taylor expansion of 1/3 in t
6.413 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
6.413 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.413 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.413 * [taylor]: Taking taylor expansion of t in t
6.479 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in (t) around 0
6.479 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
6.480 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
6.480 * [taylor]: Taking taylor expansion of (cbrt -1) in t
6.480 * [taylor]: Taking taylor expansion of -1 in t
6.481 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
6.481 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
6.481 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
6.481 * [taylor]: Taking taylor expansion of 1/3 in t
6.481 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
6.481 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.481 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.481 * [taylor]: Taking taylor expansion of t in t
6.482 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow t 2)) 1/3)) in t
6.482 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in t
6.482 * [taylor]: Taking taylor expansion of (cbrt -1) in t
6.482 * [taylor]: Taking taylor expansion of -1 in t
6.483 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow t 2)) 1/3) in t
6.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow t 2))))) in t
6.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow t 2)))) in t
6.483 * [taylor]: Taking taylor expansion of 1/3 in t
6.483 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t
6.483 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t
6.483 * [taylor]: Taking taylor expansion of (pow t 2) in t
6.483 * [taylor]: Taking taylor expansion of t in t
6.571 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2)
6.571 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
6.571 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
6.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
6.571 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
6.571 * [taylor]: Taking taylor expansion of 1/3 in t
6.571 * [taylor]: Taking taylor expansion of (log t) in t
6.571 * [taylor]: Taking taylor expansion of t in t
6.572 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
6.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
6.572 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
6.572 * [taylor]: Taking taylor expansion of 1/3 in t
6.572 * [taylor]: Taking taylor expansion of (log t) in t
6.572 * [taylor]: Taking taylor expansion of t in t
6.630 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
6.630 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
6.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
6.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
6.630 * [taylor]: Taking taylor expansion of 1/3 in t
6.630 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.630 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.630 * [taylor]: Taking taylor expansion of t in t
6.631 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
6.631 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
6.631 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
6.631 * [taylor]: Taking taylor expansion of 1/3 in t
6.631 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.631 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.631 * [taylor]: Taking taylor expansion of t in t
6.688 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
6.688 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
6.688 * [taylor]: Taking taylor expansion of (cbrt -1) in t
6.688 * [taylor]: Taking taylor expansion of -1 in t
6.689 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
6.689 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
6.689 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
6.689 * [taylor]: Taking taylor expansion of 1/3 in t
6.689 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.689 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.689 * [taylor]: Taking taylor expansion of t in t
6.690 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
6.690 * [taylor]: Taking taylor expansion of (cbrt -1) in t
6.690 * [taylor]: Taking taylor expansion of -1 in t
6.691 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
6.691 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
6.691 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
6.691 * [taylor]: Taking taylor expansion of 1/3 in t
6.692 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
6.692 * [taylor]: Taking taylor expansion of (/ 1 t) in t
6.692 * [taylor]: Taking taylor expansion of t in t
6.770 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2)
6.770 * [approximate]: Taking taylor expansion of (pow t 1/3) in (t) around 0
6.770 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
6.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
6.770 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
6.770 * [taylor]: Taking taylor expansion of 1/3 in t
6.770 * [taylor]: Taking taylor expansion of (log t) in t
6.770 * [taylor]: Taking taylor expansion of t in t
6.771 * [taylor]: Taking taylor expansion of (pow t 1/3) in t
6.771 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log t))) in t
6.771 * [taylor]: Taking taylor expansion of (* 1/3 (log t)) in t
6.771 * [taylor]: Taking taylor expansion of 1/3 in t
6.771 * [taylor]: Taking taylor expansion of (log t) in t
6.771 * [taylor]: Taking taylor expansion of t in t
7.068 * [approximate]: Taking taylor expansion of (pow (/ 1 t) 1/3) in (t) around 0
7.068 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
7.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
7.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
7.068 * [taylor]: Taking taylor expansion of 1/3 in t
7.068 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.068 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.068 * [taylor]: Taking taylor expansion of t in t
7.069 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
7.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
7.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
7.069 * [taylor]: Taking taylor expansion of 1/3 in t
7.069 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.069 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.069 * [taylor]: Taking taylor expansion of t in t
7.130 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in (t) around 0
7.130 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
7.130 * [taylor]: Taking taylor expansion of (cbrt -1) in t
7.130 * [taylor]: Taking taylor expansion of -1 in t
7.131 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
7.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
7.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
7.131 * [taylor]: Taking taylor expansion of 1/3 in t
7.131 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.131 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.131 * [taylor]: Taking taylor expansion of t in t
7.132 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 t) 1/3)) in t
7.132 * [taylor]: Taking taylor expansion of (cbrt -1) in t
7.132 * [taylor]: Taking taylor expansion of -1 in t
7.133 * [taylor]: Taking taylor expansion of (pow (/ 1 t) 1/3) in t
7.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 t)))) in t
7.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 t))) in t
7.133 * [taylor]: Taking taylor expansion of 1/3 in t
7.133 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t
7.133 * [taylor]: Taking taylor expansion of (/ 1 t) in t
7.133 * [taylor]: Taking taylor expansion of t in t
7.207 * * * [progress]: simplifying candidates
7.209 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
  (+ (- (log (- y x)) (+ (log (cbrt t)) (log (cbrt t)))) (- (log z) (log (cbrt t))))
  (+ (- (log (- y x)) (+ (log (cbrt t)) (log (cbrt t)))) (log (/ z (cbrt t))))
  (+ (- (log (- y x)) (log (* (cbrt t) (cbrt t)))) (- (log z) (log (cbrt t))))
  (+ (- (log (- y x)) (log (* (cbrt t) (cbrt t)))) (log (/ z (cbrt t))))
  (+ (log (/ (- y x) (* (cbrt t) (cbrt t)))) (- (log z) (log (cbrt t))))
  (+ (log (/ (- y x) (* (cbrt t) (cbrt t)))) (log (/ z (cbrt t))))
  (log (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (exp (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (* (/ (* (* (- y x) (- y x)) (- y x)) (* t t)) (/ (* (* z z) z) t))
  (* (/ (* (* (- y x) (- y x)) (- y x)) (* t t)) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t))))
  (* (/ (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (/ (* (* z z) z) t))
  (* (/ (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t))))
  (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (* (* z z) z) t))
  (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (- y x) (* (cbrt t) (cbrt t)))) (* (* (/ z (cbrt t)) (/ z (cbrt t))) (/ z (cbrt t))))
  (* (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))
  (cbrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (* (* (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (sqrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (sqrt (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t))))
  (* (- y x) z)
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (sqrt (/ z (cbrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (sqrt (/ z (cbrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (sqrt (/ z (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt (* (cbrt t) (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (cbrt 1)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (* (cbrt z) (cbrt z)) 1))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt (* (cbrt t) (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (cbrt 1)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ (sqrt z) 1))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt (* (cbrt t) (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt (sqrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (cbrt 1)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 (sqrt (cbrt t))))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ 1 1))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) 1)
  (* (/ (- y x) (* (cbrt t) (cbrt t))) z)
  (* (cbrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t)))
  (* (sqrt (/ (- y x) (* (cbrt t) (cbrt t)))) (/ z (cbrt t)))
  (* (/ (cbrt (- y x)) (cbrt t)) (/ z (cbrt t)))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ z (cbrt t)))
  (* (/ (- y x) (cbrt t)) (/ z (cbrt t)))
  (* (/ (- (sqrt y) (sqrt x)) (cbrt t)) (/ z (cbrt t)))
  (* (/ (- y x) (cbrt t)) (/ z (cbrt t)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
  (* (/ 1 (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
  (* (/ (- y x) (* (cbrt t) (cbrt t))) z)
  (* (- y x) (/ z (cbrt t)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* t t)
  (* (cbrt t) (cbrt t))
  (+ 1 1)
  (+ (log (cbrt t)) (log (cbrt t)))
  (log (* (cbrt t) (cbrt t)))
  (exp (* (cbrt t) (cbrt t)))
  (* t t)
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (cbrt (* (cbrt t) (cbrt t)))
  (* (* (* (cbrt t) (cbrt t)) (* (cbrt t) (cbrt t))) (* (cbrt t) (cbrt t)))
  (sqrt (* (cbrt t) (cbrt t)))
  (sqrt (* (cbrt t) (cbrt t)))
  (* (cbrt (* (cbrt t) (cbrt t))) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt t) (cbrt t))
  (* (* (cbrt (cbrt t)) (cbrt (cbrt t))) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* 1 1)
  (* (cbrt t) (cbrt t))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (cbrt (sqrt t)))
  (* (sqrt (cbrt t)) (cbrt (sqrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* (sqrt (cbrt t)) (sqrt (cbrt t)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt t) (cbrt (* (cbrt t) (cbrt t))))
  (* (cbrt t) (cbrt (sqrt t)))
  (* (cbrt t) (cbrt 1))
  (* (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (* (cbrt t) (sqrt (cbrt t)))
  (* (cbrt t) 1)
  (* (cbrt (cbrt t)) (cbrt t))
  (* (cbrt (sqrt t)) (cbrt t))
  (* (cbrt t) (cbrt t))
  (* (cbrt (cbrt t)) (cbrt t))
  (* (sqrt (cbrt t)) (cbrt t))
  (* (cbrt t) (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (* (cbrt t) (cbrt t)))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  (cbrt 1)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (* (* (cbrt t) (cbrt t)) (cbrt t))
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (pow t 2/3)
  (pow (/ 1 t) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow t 2) 1/3))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
  (pow t 1/3)
  (pow (/ 1 t) -1/3)
  (* (pow (* -1 t) 1/3) (cbrt -1))
7.214 * * [simplify]: iteration  0 :  183  enodes  (cost  1675 )
7.276 * * [simplify]: iteration  1 :  518  enodes  (cost  1400 )
7.462 * * [simplify]: iteration  2 :  2327  enodes  (cost  1212 )
8.096 * * [simplify]: iteration  done :  5001  enodes  (cost  1202 )
8.097 * [simplify]: Simplified to:
   (/ (* (- y x) z) (pow (cbrt t) 3))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (log (/ (* (- y x) z) (pow (cbrt t) 3)))
  (exp (/ (* (- y x) z) (pow (cbrt t) 3)))
  (/ (/ (* (pow (- y x) 3) (pow z 3)) t) (* t t))
  (/ (* (pow (/ z (cbrt t)) 3) (pow (- y x) 3)) (* t t))
  (* (pow (/ (- y x) (pow t 2/3)) 3) (/ (pow z 3) t))
  (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3)
  (* (pow (/ (- y x) (pow t 2/3)) 3) (/ (pow z 3) t))
  (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3)
  (* (cbrt (/ (* (- y x) z) (pow (cbrt t) 3))) (cbrt (/ (* (- y x) z) (pow (cbrt t) 3))))
  (cbrt (/ (* (- y x) z) (pow (cbrt t) 3)))
  (pow (/ (* (- y x) z) (pow (cbrt t) 3)) 3)
  (sqrt (/ (* (- y x) z) (pow (cbrt t) 3)))
  (sqrt (/ (* (- y x) z) (pow (cbrt t) 3)))
  (* (- y x) z)
  (pow (cbrt t) 3)
  (* (sqrt (/ (- y x) (pow t 2/3))) (sqrt (/ z (cbrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (sqrt (/ z (cbrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ (sqrt z) (sqrt (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (sqrt (/ z (cbrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (sqrt (- y x)) (cbrt t)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (/ (sqrt (- y x)) (pow (sqrt (cbrt t)) 3)) (sqrt z))
  (* (/ (sqrt (- y x)) (pow (sqrt (cbrt t)) 3)) (sqrt z))
  (* (* (cbrt (/ z (cbrt t))) (cbrt (/ z (cbrt t)))) (/ (- y x) (pow t 2/3)))
  (* (/ (- y x) (pow t 2/3)) (sqrt (/ z (cbrt t))))
  (/ (* (* (cbrt z) (cbrt z)) (/ (- y x) (pow t 2/3))) (cbrt (pow t 2/3)))
  (* (/ (* (cbrt z) (cbrt z)) (cbrt (sqrt t))) (/ (- y x) (pow t 2/3)))
  (* (* (cbrt z) (cbrt z)) (/ (- y x) (pow t 2/3)))
  (* (/ (- y x) (pow t 2/3)) (/ (* (cbrt z) (cbrt z)) (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (* (/ (* (cbrt z) (cbrt z)) (sqrt (cbrt t))) (/ (- y x) (pow t 2/3)))
  (* (* (cbrt z) (cbrt z)) (/ (- y x) (pow t 2/3)))
  (/ (* (sqrt z) (/ (- y x) (pow t 2/3))) (cbrt (pow t 2/3)))
  (* (/ (- y x) (pow t 2/3)) (/ (sqrt z) (cbrt (sqrt t))))
  (* (sqrt z) (/ (- y x) (pow t 2/3)))
  (* (/ (- y x) (pow t 2/3)) (/ (sqrt z) (* (cbrt (cbrt t)) (cbrt (cbrt t)))))
  (/ (* (sqrt z) (/ (- y x) (pow t 2/3))) (sqrt (cbrt t)))
  (* (sqrt z) (/ (- y x) (pow t 2/3)))
  (/ (/ (- y x) (pow t 2/3)) (cbrt (pow t 2/3)))
  (/ (/ (- y x) (pow t 2/3)) (cbrt (sqrt t)))
  (/ (- y x) (pow t 2/3))
  (/ (/ (- y x) (pow t 2/3)) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (/ (/ (- y x) (pow t 2/3)) (sqrt (cbrt t)))
  (/ (- y x) (pow t 2/3))
  (/ (- y x) (pow t 2/3))
  (/ (* (- y x) z) (pow t 2/3))
  (* (cbrt (/ (- y x) (pow t 2/3))) (/ z (cbrt t)))
  (* (sqrt (/ (- y x) (pow t 2/3))) (/ z (cbrt t)))
  (/ (cbrt (- y x)) (/ (pow t 2/3) z))
  (/ (* (sqrt (- y x)) z) (pow t 2/3))
  (/ (* (- y x) z) (pow t 2/3))
  (* (/ (- (sqrt y) (sqrt x)) (pow t 2/3)) z)
  (/ (* (- y x) z) (pow t 2/3))
  (/ (* (- y x) z) (pow (cbrt t) 3))
  (/ z (pow (cbrt t) 3))
  (/ (* (- y x) z) (pow t 2/3))
  (* (- y x) (/ z (cbrt t)))
  2/3
  2
  (* t t)
  (pow t 2/3)
  2
  (log (pow t 2/3))
  (log (pow t 2/3))
  (exp (pow t 2/3))
  (* t t)
  (* (cbrt (pow t 2/3)) (cbrt (pow t 2/3)))
  (cbrt (pow t 2/3))
  (pow (pow t 2/3) 3)
  (fabs (cbrt t))
  (fabs (cbrt t))
  (* (cbrt (pow t 2/3)) (cbrt (pow t 2/3)))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  1
  (pow t 2/3)
  (* (cbrt (cbrt t)) (pow (cbrt (cbrt t)) 3))
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt t)
  (cbrt t)
  1
  (pow t 2/3)
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (cbrt (sqrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (* (cbrt (sqrt t)) (sqrt (cbrt t)))
  (cbrt t)
  (cbrt t)
  2/3
  2
  (* (cbrt (pow t 2/3)) (cbrt t))
  (* (cbrt t) (cbrt (sqrt t)))
  (cbrt t)
  (* (cbrt t) (* (cbrt (cbrt t)) (cbrt (cbrt t))))
  (pow (sqrt (cbrt t)) 3)
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt t))
  (* (cbrt t) (cbrt (sqrt t)))
  (pow t 2/3)
  (* (cbrt (cbrt t)) (cbrt t))
  (pow (sqrt (cbrt t)) 3)
  (pow t 2/3)
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (pow (cbrt t) 3)
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (log (cbrt t))
  (exp (cbrt t))
  (cbrt (pow t 2/3))
  (cbrt (cbrt t))
  (cbrt (sqrt t))
  (cbrt (sqrt t))
  1
  (cbrt t)
  (* (cbrt (cbrt t)) (cbrt (cbrt t)))
  (cbrt (cbrt t))
  (pow (cbrt t) 3)
  (sqrt (cbrt t))
  (sqrt (cbrt t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (pow t 2/3)
  (pow (/ 1 t) -2/3)
  (* (pow (cbrt -1) 2) (cbrt (* t t)))
  (cbrt t)
  (pow (/ 1 t) -1/3)
  (* (cbrt -1) (cbrt (- t)))
  (cbrt t)
  (pow (/ 1 t) -1/3)
  (* (cbrt -1) (cbrt (- t)))
8.098 * * * [progress]: adding candidates to table
8.498 * * [progress]: iteration 4 / 4
8.498 * * * [progress]: picking best candidate
8.501 * * * * [pick]: Picked  #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))>
8.501 * * * [progress]: localizing error
8.510 * * * [progress]: generating rewritten candidates
8.510 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
8.530 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
8.541 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
8.550 * * * [progress]: generating series expansions
8.550 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
8.550 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (t y x z) around 0
8.550 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z
8.550 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
8.550 * [taylor]: Taking taylor expansion of (- y x) in z
8.550 * [taylor]: Taking taylor expansion of y in z
8.550 * [taylor]: Taking taylor expansion of x in z
8.550 * [taylor]: Taking taylor expansion of z in z
8.550 * [taylor]: Taking taylor expansion of t in z
8.552 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x
8.552 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
8.552 * [taylor]: Taking taylor expansion of (- y x) in x
8.552 * [taylor]: Taking taylor expansion of y in x
8.552 * [taylor]: Taking taylor expansion of x in x
8.552 * [taylor]: Taking taylor expansion of z in x
8.552 * [taylor]: Taking taylor expansion of t in x
8.552 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y
8.552 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
8.552 * [taylor]: Taking taylor expansion of (- y x) in y
8.552 * [taylor]: Taking taylor expansion of y in y
8.552 * [taylor]: Taking taylor expansion of x in y
8.552 * [taylor]: Taking taylor expansion of z in y
8.552 * [taylor]: Taking taylor expansion of t in y
8.553 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t
8.553 * [taylor]: Taking taylor expansion of (* (- y x) z) in t
8.553 * [taylor]: Taking taylor expansion of (- y x) in t
8.553 * [taylor]: Taking taylor expansion of y in t
8.553 * [taylor]: Taking taylor expansion of x in t
8.553 * [taylor]: Taking taylor expansion of z in t
8.553 * [taylor]: Taking taylor expansion of t in t
8.553 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t
8.553 * [taylor]: Taking taylor expansion of (* (- y x) z) in t
8.553 * [taylor]: Taking taylor expansion of (- y x) in t
8.553 * [taylor]: Taking taylor expansion of y in t
8.553 * [taylor]: Taking taylor expansion of x in t
8.553 * [taylor]: Taking taylor expansion of z in t
8.553 * [taylor]: Taking taylor expansion of t in t
8.553 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
8.553 * [taylor]: Taking taylor expansion of (- y x) in y
8.553 * [taylor]: Taking taylor expansion of y in y
8.553 * [taylor]: Taking taylor expansion of x in y
8.553 * [taylor]: Taking taylor expansion of z in y
8.553 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
8.553 * [taylor]: Taking taylor expansion of -1 in x
8.553 * [taylor]: Taking taylor expansion of (* x z) in x
8.553 * [taylor]: Taking taylor expansion of x in x
8.553 * [taylor]: Taking taylor expansion of z in x
8.554 * [taylor]: Taking taylor expansion of 0 in z
8.555 * [taylor]: Taking taylor expansion of 0 in y
8.555 * [taylor]: Taking taylor expansion of 0 in x
8.555 * [taylor]: Taking taylor expansion of 0 in z
8.556 * [taylor]: Taking taylor expansion of z in x
8.556 * [taylor]: Taking taylor expansion of z in z
8.557 * [taylor]: Taking taylor expansion of (- z) in z
8.557 * [taylor]: Taking taylor expansion of z in z
8.559 * [taylor]: Taking taylor expansion of 0 in y
8.559 * [taylor]: Taking taylor expansion of 0 in x
8.559 * [taylor]: Taking taylor expansion of 0 in z
8.559 * [taylor]: Taking taylor expansion of 0 in x
8.559 * [taylor]: Taking taylor expansion of 0 in z
8.560 * [taylor]: Taking taylor expansion of 0 in x
8.560 * [taylor]: Taking taylor expansion of 0 in z
8.560 * [taylor]: Taking taylor expansion of 0 in z
8.560 * [taylor]: Taking taylor expansion of 0 in z
8.561 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (t y x z) around 0
8.561 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z
8.561 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z
8.561 * [taylor]: Taking taylor expansion of t in z
8.561 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
8.561 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.561 * [taylor]: Taking taylor expansion of y in z
8.561 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.561 * [taylor]: Taking taylor expansion of x in z
8.561 * [taylor]: Taking taylor expansion of z in z
8.561 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x
8.561 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x
8.561 * [taylor]: Taking taylor expansion of t in x
8.561 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.561 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.561 * [taylor]: Taking taylor expansion of y in x
8.561 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.561 * [taylor]: Taking taylor expansion of x in x
8.562 * [taylor]: Taking taylor expansion of z in x
8.562 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y
8.562 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y
8.562 * [taylor]: Taking taylor expansion of t in y
8.562 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.562 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.562 * [taylor]: Taking taylor expansion of y in y
8.563 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.563 * [taylor]: Taking taylor expansion of x in y
8.563 * [taylor]: Taking taylor expansion of z in y
8.563 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
8.563 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
8.563 * [taylor]: Taking taylor expansion of t in t
8.563 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
8.563 * [taylor]: Taking taylor expansion of (/ 1 y) in t
8.563 * [taylor]: Taking taylor expansion of y in t
8.563 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.563 * [taylor]: Taking taylor expansion of x in t
8.563 * [taylor]: Taking taylor expansion of z in t
8.565 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t
8.565 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t
8.565 * [taylor]: Taking taylor expansion of t in t
8.565 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t
8.565 * [taylor]: Taking taylor expansion of (/ 1 y) in t
8.565 * [taylor]: Taking taylor expansion of y in t
8.565 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.565 * [taylor]: Taking taylor expansion of x in t
8.565 * [taylor]: Taking taylor expansion of z in t
8.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
8.566 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.566 * [taylor]: Taking taylor expansion of y in y
8.567 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.567 * [taylor]: Taking taylor expansion of x in y
8.567 * [taylor]: Taking taylor expansion of z in y
8.567 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.567 * [taylor]: Taking taylor expansion of z in x
8.569 * [taylor]: Taking taylor expansion of 0 in y
8.570 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
8.570 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.570 * [taylor]: Taking taylor expansion of (* x z) in x
8.570 * [taylor]: Taking taylor expansion of x in x
8.570 * [taylor]: Taking taylor expansion of z in x
8.570 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
8.570 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.570 * [taylor]: Taking taylor expansion of z in z
8.571 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.571 * [taylor]: Taking taylor expansion of z in z
8.573 * [taylor]: Taking taylor expansion of 0 in y
8.573 * [taylor]: Taking taylor expansion of 0 in x
8.574 * [taylor]: Taking taylor expansion of 0 in x
8.575 * [taylor]: Taking taylor expansion of 0 in z
8.575 * [taylor]: Taking taylor expansion of 0 in z
8.578 * [taylor]: Taking taylor expansion of 0 in y
8.578 * [taylor]: Taking taylor expansion of 0 in x
8.578 * [taylor]: Taking taylor expansion of 0 in x
8.580 * [taylor]: Taking taylor expansion of 0 in x
8.580 * [taylor]: Taking taylor expansion of 0 in z
8.580 * [taylor]: Taking taylor expansion of 0 in z
8.581 * [taylor]: Taking taylor expansion of 0 in z
8.581 * [taylor]: Taking taylor expansion of 0 in z
8.583 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in (t y x z) around 0
8.583 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in z
8.583 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in z
8.583 * [taylor]: Taking taylor expansion of t in z
8.583 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
8.583 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.583 * [taylor]: Taking taylor expansion of x in z
8.583 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.583 * [taylor]: Taking taylor expansion of y in z
8.583 * [taylor]: Taking taylor expansion of z in z
8.584 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in x
8.584 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in x
8.584 * [taylor]: Taking taylor expansion of t in x
8.584 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.584 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.584 * [taylor]: Taking taylor expansion of x in x
8.584 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.584 * [taylor]: Taking taylor expansion of y in x
8.584 * [taylor]: Taking taylor expansion of z in x
8.584 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in y
8.585 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in y
8.585 * [taylor]: Taking taylor expansion of t in y
8.585 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.585 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.585 * [taylor]: Taking taylor expansion of x in y
8.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.585 * [taylor]: Taking taylor expansion of y in y
8.585 * [taylor]: Taking taylor expansion of z in y
8.586 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in t
8.586 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t
8.586 * [taylor]: Taking taylor expansion of t in t
8.586 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
8.586 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.586 * [taylor]: Taking taylor expansion of x in t
8.586 * [taylor]: Taking taylor expansion of (/ 1 y) in t
8.586 * [taylor]: Taking taylor expansion of y in t
8.586 * [taylor]: Taking taylor expansion of z in t
8.587 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 x) (/ 1 y))) z) in t
8.587 * [taylor]: Taking taylor expansion of (* t (- (/ 1 x) (/ 1 y))) in t
8.587 * [taylor]: Taking taylor expansion of t in t
8.587 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t
8.587 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.587 * [taylor]: Taking taylor expansion of x in t
8.587 * [taylor]: Taking taylor expansion of (/ 1 y) in t
8.587 * [taylor]: Taking taylor expansion of y in t
8.587 * [taylor]: Taking taylor expansion of z in t
8.588 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
8.588 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.588 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.588 * [taylor]: Taking taylor expansion of x in y
8.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.588 * [taylor]: Taking taylor expansion of y in y
8.589 * [taylor]: Taking taylor expansion of z in y
8.589 * [taylor]: Taking taylor expansion of (/ -1 z) in x
8.589 * [taylor]: Taking taylor expansion of -1 in x
8.589 * [taylor]: Taking taylor expansion of z in x
8.591 * [taylor]: Taking taylor expansion of 0 in y
8.592 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.592 * [taylor]: Taking taylor expansion of (* x z) in x
8.592 * [taylor]: Taking taylor expansion of x in x
8.592 * [taylor]: Taking taylor expansion of z in x
8.592 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.592 * [taylor]: Taking taylor expansion of z in z
8.593 * [taylor]: Taking taylor expansion of (/ -1 z) in z
8.593 * [taylor]: Taking taylor expansion of -1 in z
8.593 * [taylor]: Taking taylor expansion of z in z
8.595 * [taylor]: Taking taylor expansion of 0 in y
8.595 * [taylor]: Taking taylor expansion of 0 in x
8.596 * [taylor]: Taking taylor expansion of 0 in x
8.597 * [taylor]: Taking taylor expansion of 0 in z
8.597 * [taylor]: Taking taylor expansion of 0 in z
8.600 * [taylor]: Taking taylor expansion of 0 in y
8.600 * [taylor]: Taking taylor expansion of 0 in x
8.600 * [taylor]: Taking taylor expansion of 0 in x
8.602 * [taylor]: Taking taylor expansion of 0 in x
8.602 * [taylor]: Taking taylor expansion of 0 in z
8.602 * [taylor]: Taking taylor expansion of 0 in z
8.603 * [taylor]: Taking taylor expansion of 0 in z
8.603 * [taylor]: Taking taylor expansion of 0 in z
8.604 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
8.605 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0
8.605 * [taylor]: Taking taylor expansion of (* (- y x) z) in z
8.605 * [taylor]: Taking taylor expansion of (- y x) in z
8.605 * [taylor]: Taking taylor expansion of y in z
8.605 * [taylor]: Taking taylor expansion of x in z
8.605 * [taylor]: Taking taylor expansion of z in z
8.605 * [taylor]: Taking taylor expansion of (* (- y x) z) in x
8.605 * [taylor]: Taking taylor expansion of (- y x) in x
8.605 * [taylor]: Taking taylor expansion of y in x
8.605 * [taylor]: Taking taylor expansion of x in x
8.605 * [taylor]: Taking taylor expansion of z in x
8.605 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
8.605 * [taylor]: Taking taylor expansion of (- y x) in y
8.605 * [taylor]: Taking taylor expansion of y in y
8.605 * [taylor]: Taking taylor expansion of x in y
8.605 * [taylor]: Taking taylor expansion of z in y
8.605 * [taylor]: Taking taylor expansion of (* (- y x) z) in y
8.605 * [taylor]: Taking taylor expansion of (- y x) in y
8.605 * [taylor]: Taking taylor expansion of y in y
8.605 * [taylor]: Taking taylor expansion of x in y
8.605 * [taylor]: Taking taylor expansion of z in y
8.605 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x
8.605 * [taylor]: Taking taylor expansion of -1 in x
8.605 * [taylor]: Taking taylor expansion of (* x z) in x
8.605 * [taylor]: Taking taylor expansion of x in x
8.605 * [taylor]: Taking taylor expansion of z in x
8.606 * [taylor]: Taking taylor expansion of 0 in z
8.606 * [taylor]: Taking taylor expansion of z in x
8.606 * [taylor]: Taking taylor expansion of z in z
8.607 * [taylor]: Taking taylor expansion of (- z) in z
8.607 * [taylor]: Taking taylor expansion of z in z
8.608 * [taylor]: Taking taylor expansion of 0 in x
8.608 * [taylor]: Taking taylor expansion of 0 in z
8.608 * [taylor]: Taking taylor expansion of 0 in z
8.608 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0
8.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z
8.608 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z
8.608 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.608 * [taylor]: Taking taylor expansion of y in z
8.608 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.608 * [taylor]: Taking taylor expansion of x in z
8.608 * [taylor]: Taking taylor expansion of z in z
8.609 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x
8.609 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
8.609 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.609 * [taylor]: Taking taylor expansion of y in x
8.609 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.609 * [taylor]: Taking taylor expansion of x in x
8.609 * [taylor]: Taking taylor expansion of z in x
8.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
8.610 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.610 * [taylor]: Taking taylor expansion of y in y
8.610 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.610 * [taylor]: Taking taylor expansion of x in y
8.610 * [taylor]: Taking taylor expansion of z in y
8.610 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y
8.610 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
8.610 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.610 * [taylor]: Taking taylor expansion of y in y
8.611 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.611 * [taylor]: Taking taylor expansion of x in y
8.611 * [taylor]: Taking taylor expansion of z in y
8.611 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.611 * [taylor]: Taking taylor expansion of z in x
8.612 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
8.612 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.612 * [taylor]: Taking taylor expansion of (* x z) in x
8.612 * [taylor]: Taking taylor expansion of x in x
8.612 * [taylor]: Taking taylor expansion of z in x
8.613 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
8.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.613 * [taylor]: Taking taylor expansion of z in z
8.613 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.613 * [taylor]: Taking taylor expansion of z in z
8.615 * [taylor]: Taking taylor expansion of 0 in x
8.616 * [taylor]: Taking taylor expansion of 0 in z
8.616 * [taylor]: Taking taylor expansion of 0 in z
8.618 * [taylor]: Taking taylor expansion of 0 in x
8.618 * [taylor]: Taking taylor expansion of 0 in z
8.620 * [taylor]: Taking taylor expansion of 0 in z
8.620 * [taylor]: Taking taylor expansion of 0 in z
8.621 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0
8.621 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z
8.622 * [taylor]: Taking taylor expansion of -1 in z
8.622 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z
8.622 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z
8.622 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.622 * [taylor]: Taking taylor expansion of x in z
8.622 * [taylor]: Taking taylor expansion of (/ 1 y) in z
8.622 * [taylor]: Taking taylor expansion of y in z
8.622 * [taylor]: Taking taylor expansion of z in z
8.622 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x
8.622 * [taylor]: Taking taylor expansion of -1 in x
8.622 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x
8.622 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
8.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.622 * [taylor]: Taking taylor expansion of x in x
8.622 * [taylor]: Taking taylor expansion of (/ 1 y) in x
8.622 * [taylor]: Taking taylor expansion of y in x
8.622 * [taylor]: Taking taylor expansion of z in x
8.623 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
8.623 * [taylor]: Taking taylor expansion of -1 in y
8.623 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
8.623 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.623 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.623 * [taylor]: Taking taylor expansion of x in y
8.623 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.623 * [taylor]: Taking taylor expansion of y in y
8.623 * [taylor]: Taking taylor expansion of z in y
8.624 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y
8.624 * [taylor]: Taking taylor expansion of -1 in y
8.624 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y
8.624 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
8.624 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.624 * [taylor]: Taking taylor expansion of x in y
8.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y
8.624 * [taylor]: Taking taylor expansion of y in y
8.624 * [taylor]: Taking taylor expansion of z in y
8.625 * [taylor]: Taking taylor expansion of (/ 1 z) in x
8.625 * [taylor]: Taking taylor expansion of z in x
8.626 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x
8.626 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x
8.626 * [taylor]: Taking taylor expansion of (* x z) in x
8.626 * [taylor]: Taking taylor expansion of x in x
8.626 * [taylor]: Taking taylor expansion of z in x
8.626 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
8.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.626 * [taylor]: Taking taylor expansion of z in z
8.627 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.627 * [taylor]: Taking taylor expansion of z in z
8.629 * [taylor]: Taking taylor expansion of 0 in x
8.630 * [taylor]: Taking taylor expansion of 0 in z
8.630 * [taylor]: Taking taylor expansion of 0 in z
8.633 * [taylor]: Taking taylor expansion of 0 in x
8.633 * [taylor]: Taking taylor expansion of 0 in z
8.634 * [taylor]: Taking taylor expansion of 0 in z
8.634 * [taylor]: Taking taylor expansion of 0 in z
8.636 * * * * [progress]: [ 3 / 3 ] generating series at (2)
8.636 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x t y z) around 0
8.636 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z
8.636 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z
8.636 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z
8.636 * [taylor]: Taking taylor expansion of (* z y) in z
8.636 * [taylor]: Taking taylor expansion of z in z
8.636 * [taylor]: Taking taylor expansion of y in z
8.636 * [taylor]: Taking taylor expansion of t in z
8.637 * [taylor]: Taking taylor expansion of x in z
8.637 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z
8.637 * [taylor]: Taking taylor expansion of (* x z) in z
8.637 * [taylor]: Taking taylor expansion of x in z
8.637 * [taylor]: Taking taylor expansion of z in z
8.637 * [taylor]: Taking taylor expansion of t in z
8.637 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y
8.637 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y
8.637 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y
8.637 * [taylor]: Taking taylor expansion of (* z y) in y
8.637 * [taylor]: Taking taylor expansion of z in y
8.637 * [taylor]: Taking taylor expansion of y in y
8.637 * [taylor]: Taking taylor expansion of t in y
8.638 * [taylor]: Taking taylor expansion of x in y
8.638 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y
8.638 * [taylor]: Taking taylor expansion of (* x z) in y
8.638 * [taylor]: Taking taylor expansion of x in y
8.638 * [taylor]: Taking taylor expansion of z in y
8.638 * [taylor]: Taking taylor expansion of t in y
8.638 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t
8.638 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t
8.638 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
8.638 * [taylor]: Taking taylor expansion of (* z y) in t
8.638 * [taylor]: Taking taylor expansion of z in t
8.638 * [taylor]: Taking taylor expansion of y in t
8.638 * [taylor]: Taking taylor expansion of t in t
8.638 * [taylor]: Taking taylor expansion of x in t
8.638 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t
8.638 * [taylor]: Taking taylor expansion of (* x z) in t
8.638 * [taylor]: Taking taylor expansion of x in t
8.638 * [taylor]: Taking taylor expansion of z in t
8.638 * [taylor]: Taking taylor expansion of t in t
8.638 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x
8.638 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
8.638 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
8.638 * [taylor]: Taking taylor expansion of (* z y) in x
8.638 * [taylor]: Taking taylor expansion of z in x
8.638 * [taylor]: Taking taylor expansion of y in x
8.638 * [taylor]: Taking taylor expansion of t in x
8.638 * [taylor]: Taking taylor expansion of x in x
8.638 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
8.638 * [taylor]: Taking taylor expansion of (* x z) in x
8.638 * [taylor]: Taking taylor expansion of x in x
8.638 * [taylor]: Taking taylor expansion of z in x
8.638 * [taylor]: Taking taylor expansion of t in x
8.639 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x
8.639 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x
8.639 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x
8.639 * [taylor]: Taking taylor expansion of (* z y) in x
8.639 * [taylor]: Taking taylor expansion of z in x
8.639 * [taylor]: Taking taylor expansion of y in x
8.639 * [taylor]: Taking taylor expansion of t in x
8.639 * [taylor]: Taking taylor expansion of x in x
8.639 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x
8.639 * [taylor]: Taking taylor expansion of (* x z) in x
8.639 * [taylor]: Taking taylor expansion of x in x
8.639 * [taylor]: Taking taylor expansion of z in x
8.639 * [taylor]: Taking taylor expansion of t in x
8.640 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t
8.640 * [taylor]: Taking taylor expansion of (* z y) in t
8.640 * [taylor]: Taking taylor expansion of z in t
8.640 * [taylor]: Taking taylor expansion of y in t
8.640 * [taylor]: Taking taylor expansion of t in t
8.640 * [taylor]: Taking taylor expansion of (* z y) in y
8.640 * [taylor]: Taking taylor expansion of z in y
8.640 * [taylor]: Taking taylor expansion of y in y
8.640 * [taylor]: Taking taylor expansion of 0 in z
8.640 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in t
8.640 * [taylor]: Taking taylor expansion of 1 in t
8.640 * [taylor]: Taking taylor expansion of (/ z t) in t
8.640 * [taylor]: Taking taylor expansion of z in t
8.640 * [taylor]: Taking taylor expansion of t in t
8.641 * [taylor]: Taking taylor expansion of (- z) in y
8.641 * [taylor]: Taking taylor expansion of z in y
8.641 * [taylor]: Taking taylor expansion of (- z) in z
8.641 * [taylor]: Taking taylor expansion of z in z
8.647 * [taylor]: Taking taylor expansion of 0 in y
8.648 * [taylor]: Taking taylor expansion of 0 in z
8.648 * [taylor]: Taking taylor expansion of z in z
8.650 * [taylor]: Taking taylor expansion of 0 in t
8.652 * [taylor]: Taking taylor expansion of 1 in y
8.652 * [taylor]: Taking taylor expansion of 1 in z
8.653 * [taylor]: Taking taylor expansion of 0 in y
8.653 * [taylor]: Taking taylor expansion of 0 in z
8.653 * [taylor]: Taking taylor expansion of 0 in z
8.653 * [taylor]: Taking taylor expansion of 0 in z
8.654 * [taylor]: Taking taylor expansion of 0 in z
8.655 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x t y z) around 0
8.655 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z
8.655 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
8.655 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
8.655 * [taylor]: Taking taylor expansion of t in z
8.655 * [taylor]: Taking taylor expansion of (* z y) in z
8.655 * [taylor]: Taking taylor expansion of z in z
8.655 * [taylor]: Taking taylor expansion of y in z
8.655 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.655 * [taylor]: Taking taylor expansion of x in z
8.655 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z
8.655 * [taylor]: Taking taylor expansion of t in z
8.656 * [taylor]: Taking taylor expansion of (* x z) in z
8.656 * [taylor]: Taking taylor expansion of x in z
8.656 * [taylor]: Taking taylor expansion of z in z
8.656 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y
8.656 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
8.656 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
8.656 * [taylor]: Taking taylor expansion of t in y
8.656 * [taylor]: Taking taylor expansion of (* z y) in y
8.656 * [taylor]: Taking taylor expansion of z in y
8.656 * [taylor]: Taking taylor expansion of y in y
8.656 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.656 * [taylor]: Taking taylor expansion of x in y
8.657 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y
8.657 * [taylor]: Taking taylor expansion of t in y
8.657 * [taylor]: Taking taylor expansion of (* x z) in y
8.657 * [taylor]: Taking taylor expansion of x in y
8.657 * [taylor]: Taking taylor expansion of z in y
8.657 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t
8.657 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
8.657 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
8.657 * [taylor]: Taking taylor expansion of t in t
8.657 * [taylor]: Taking taylor expansion of (* z y) in t
8.657 * [taylor]: Taking taylor expansion of z in t
8.657 * [taylor]: Taking taylor expansion of y in t
8.657 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.657 * [taylor]: Taking taylor expansion of x in t
8.657 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t
8.657 * [taylor]: Taking taylor expansion of t in t
8.657 * [taylor]: Taking taylor expansion of (* x z) in t
8.657 * [taylor]: Taking taylor expansion of x in t
8.657 * [taylor]: Taking taylor expansion of z in t
8.657 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x
8.657 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
8.657 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
8.657 * [taylor]: Taking taylor expansion of t in x
8.657 * [taylor]: Taking taylor expansion of (* z y) in x
8.657 * [taylor]: Taking taylor expansion of z in x
8.657 * [taylor]: Taking taylor expansion of y in x
8.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.657 * [taylor]: Taking taylor expansion of x in x
8.658 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
8.658 * [taylor]: Taking taylor expansion of t in x
8.658 * [taylor]: Taking taylor expansion of (* x z) in x
8.658 * [taylor]: Taking taylor expansion of x in x
8.658 * [taylor]: Taking taylor expansion of z in x
8.658 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x
8.658 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
8.658 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
8.658 * [taylor]: Taking taylor expansion of t in x
8.658 * [taylor]: Taking taylor expansion of (* z y) in x
8.658 * [taylor]: Taking taylor expansion of z in x
8.658 * [taylor]: Taking taylor expansion of y in x
8.658 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.658 * [taylor]: Taking taylor expansion of x in x
8.658 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
8.658 * [taylor]: Taking taylor expansion of t in x
8.659 * [taylor]: Taking taylor expansion of (* x z) in x
8.659 * [taylor]: Taking taylor expansion of x in x
8.659 * [taylor]: Taking taylor expansion of z in x
8.659 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in t
8.659 * [taylor]: Taking taylor expansion of 1 in t
8.659 * [taylor]: Taking taylor expansion of (/ t z) in t
8.659 * [taylor]: Taking taylor expansion of t in t
8.659 * [taylor]: Taking taylor expansion of z in t
8.660 * [taylor]: Taking taylor expansion of 1 in y
8.661 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
8.661 * [taylor]: Taking taylor expansion of t in t
8.661 * [taylor]: Taking taylor expansion of (* z y) in t
8.661 * [taylor]: Taking taylor expansion of z in t
8.661 * [taylor]: Taking taylor expansion of y in t
8.662 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in y
8.662 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.662 * [taylor]: Taking taylor expansion of z in y
8.662 * [taylor]: Taking taylor expansion of 1 in z
8.664 * [taylor]: Taking taylor expansion of 0 in t
8.664 * [taylor]: Taking taylor expansion of 0 in y
8.664 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.664 * [taylor]: Taking taylor expansion of (* z y) in y
8.664 * [taylor]: Taking taylor expansion of z in y
8.664 * [taylor]: Taking taylor expansion of y in y
8.665 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.665 * [taylor]: Taking taylor expansion of z in z
8.665 * [taylor]: Taking taylor expansion of 0 in y
8.666 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
8.666 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.666 * [taylor]: Taking taylor expansion of z in z
8.666 * [taylor]: Taking taylor expansion of 0 in z
8.667 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x t y z) around 0
8.667 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z
8.667 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z
8.667 * [taylor]: Taking taylor expansion of t in z
8.667 * [taylor]: Taking taylor expansion of (* x z) in z
8.667 * [taylor]: Taking taylor expansion of x in z
8.667 * [taylor]: Taking taylor expansion of z in z
8.667 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z
8.667 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z
8.668 * [taylor]: Taking taylor expansion of t in z
8.668 * [taylor]: Taking taylor expansion of (* z y) in z
8.668 * [taylor]: Taking taylor expansion of z in z
8.668 * [taylor]: Taking taylor expansion of y in z
8.668 * [taylor]: Taking taylor expansion of (/ 1 x) in z
8.668 * [taylor]: Taking taylor expansion of x in z
8.668 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y
8.668 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y
8.668 * [taylor]: Taking taylor expansion of t in y
8.668 * [taylor]: Taking taylor expansion of (* x z) in y
8.668 * [taylor]: Taking taylor expansion of x in y
8.668 * [taylor]: Taking taylor expansion of z in y
8.668 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y
8.668 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y
8.668 * [taylor]: Taking taylor expansion of t in y
8.668 * [taylor]: Taking taylor expansion of (* z y) in y
8.668 * [taylor]: Taking taylor expansion of z in y
8.668 * [taylor]: Taking taylor expansion of y in y
8.669 * [taylor]: Taking taylor expansion of (/ 1 x) in y
8.669 * [taylor]: Taking taylor expansion of x in y
8.669 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t
8.669 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t
8.669 * [taylor]: Taking taylor expansion of t in t
8.669 * [taylor]: Taking taylor expansion of (* x z) in t
8.669 * [taylor]: Taking taylor expansion of x in t
8.669 * [taylor]: Taking taylor expansion of z in t
8.669 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t
8.669 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
8.669 * [taylor]: Taking taylor expansion of t in t
8.669 * [taylor]: Taking taylor expansion of (* z y) in t
8.669 * [taylor]: Taking taylor expansion of z in t
8.669 * [taylor]: Taking taylor expansion of y in t
8.669 * [taylor]: Taking taylor expansion of (/ 1 x) in t
8.669 * [taylor]: Taking taylor expansion of x in t
8.669 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x
8.669 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
8.669 * [taylor]: Taking taylor expansion of t in x
8.669 * [taylor]: Taking taylor expansion of (* x z) in x
8.669 * [taylor]: Taking taylor expansion of x in x
8.669 * [taylor]: Taking taylor expansion of z in x
8.669 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
8.669 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
8.670 * [taylor]: Taking taylor expansion of t in x
8.670 * [taylor]: Taking taylor expansion of (* z y) in x
8.670 * [taylor]: Taking taylor expansion of z in x
8.670 * [taylor]: Taking taylor expansion of y in x
8.670 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.670 * [taylor]: Taking taylor expansion of x in x
8.670 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x
8.670 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x
8.670 * [taylor]: Taking taylor expansion of t in x
8.670 * [taylor]: Taking taylor expansion of (* x z) in x
8.670 * [taylor]: Taking taylor expansion of x in x
8.670 * [taylor]: Taking taylor expansion of z in x
8.670 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x
8.670 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x
8.670 * [taylor]: Taking taylor expansion of t in x
8.670 * [taylor]: Taking taylor expansion of (* z y) in x
8.670 * [taylor]: Taking taylor expansion of z in x
8.670 * [taylor]: Taking taylor expansion of y in x
8.671 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.671 * [taylor]: Taking taylor expansion of x in x
8.672 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in t
8.672 * [taylor]: Taking taylor expansion of (/ t z) in t
8.672 * [taylor]: Taking taylor expansion of t in t
8.672 * [taylor]: Taking taylor expansion of z in t
8.672 * [taylor]: Taking taylor expansion of 1 in t
8.672 * [taylor]: Taking taylor expansion of -1 in y
8.673 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in t
8.674 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t
8.674 * [taylor]: Taking taylor expansion of t in t
8.674 * [taylor]: Taking taylor expansion of (* z y) in t
8.674 * [taylor]: Taking taylor expansion of z in t
8.674 * [taylor]: Taking taylor expansion of y in t
8.674 * [taylor]: Taking taylor expansion of (/ 1 z) in y
8.674 * [taylor]: Taking taylor expansion of z in y
8.674 * [taylor]: Taking taylor expansion of -1 in z
8.676 * [taylor]: Taking taylor expansion of 0 in t
8.676 * [taylor]: Taking taylor expansion of 0 in y
8.677 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y))) in y
8.677 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
8.677 * [taylor]: Taking taylor expansion of (* z y) in y
8.677 * [taylor]: Taking taylor expansion of z in y
8.677 * [taylor]: Taking taylor expansion of y in y
8.677 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z
8.677 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.677 * [taylor]: Taking taylor expansion of z in z
8.678 * [taylor]: Taking taylor expansion of 0 in y
8.678 * [taylor]: Taking taylor expansion of (/ 1 z) in z
8.678 * [taylor]: Taking taylor expansion of z in z
8.679 * [taylor]: Taking taylor expansion of 0 in z
8.679 * * * [progress]: simplifying candidates
8.680 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (/ 1 t) (* (- y x) z))
  (* (/ 1 t) (* (- y x) z))
  (+ (- (log t)) (+ (log (- y x)) (log z)))
  (+ (- (log t)) (log (* (- y x) z)))
  (+ (- 0 (log t)) (+ (log (- y x)) (log z)))
  (+ (- 0 (log t)) (log (* (- y x) z)))
  (+ (- (log 1) (log t)) (+ (log (- y x)) (log z)))
  (+ (- (log 1) (log t)) (log (* (- y x) z)))
  (+ (log (/ 1 t)) (+ (log (- y x)) (log z)))
  (+ (log (/ 1 t)) (log (* (- y x) z)))
  (log (* (/ 1 t) (* (- y x) z)))
  (exp (* (/ 1 t) (* (- y x) z)))
  (* (/ (* (* 1 1) 1) (* (* t t) t)) (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)))
  (* (/ (* (* 1 1) 1) (* (* t t) t)) (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)))
  (* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)))
  (* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)))
  (* (cbrt (* (/ 1 t) (* (- y x) z))) (cbrt (* (/ 1 t) (* (- y x) z))))
  (cbrt (* (/ 1 t) (* (- y x) z)))
  (* (* (* (/ 1 t) (* (- y x) z)) (* (/ 1 t) (* (- y x) z))) (* (/ 1 t) (* (- y x) z)))
  (sqrt (* (/ 1 t) (* (- y x) z)))
  (sqrt (* (/ 1 t) (* (- y x) z)))
  (* 1 (* (- (pow y 3) (pow x 3)) z))
  (* t (+ (* y y) (+ (* x x) (* y x))))
  (* 1 (* (- (* y y) (* x x)) z))
  (* t (+ y x))
  (* (/ 1 t) (- y x))
  (* (cbrt (/ 1 t)) (* (- y x) z))
  (* (sqrt (/ 1 t)) (* (- y x) z))
  (* (/ (cbrt 1) (cbrt t)) (* (- y x) z))
  (* (/ (cbrt 1) (sqrt t)) (* (- y x) z))
  (* (/ (cbrt 1) t) (* (- y x) z))
  (* (/ (sqrt 1) (cbrt t)) (* (- y x) z))
  (* (/ (sqrt 1) (sqrt t)) (* (- y x) z))
  (* (/ (sqrt 1) t) (* (- y x) z))
  (* (/ 1 (cbrt t)) (* (- y x) z))
  (* (/ 1 (sqrt t)) (* (- y x) z))
  (* (/ 1 t) (* (- y x) z))
  (* (/ 1 t) (* (- y x) z))
  (* (/ 1 t) (* (- y x) z))
  (* (/ 1 t) (* (- (pow y 3) (pow x 3)) z))
  (* (/ 1 t) (* (- (* y y) (* x x)) z))
  (* 1 (* (- y x) z))
  (* (- y x) z)
  (+ (log (- y x)) (log z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (* (- y x) 1)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* (- y x) z)
  (* (- (sqrt y) (sqrt x)) z)
  (* (- y x) z)
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (* (exp x) (exp (* (/ 1 t) (* (- y x) z))))
  (log (+ x (* (/ 1 t) (* (- y x) z))))
  (exp (+ x (* (/ 1 t) (* (- y x) z))))
  (* (cbrt (+ x (* (/ 1 t) (* (- y x) z)))) (cbrt (+ x (* (/ 1 t) (* (- y x) z)))))
  (cbrt (+ x (* (/ 1 t) (* (- y x) z))))
  (* (* (+ x (* (/ 1 t) (* (- y x) z))) (+ x (* (/ 1 t) (* (- y x) z)))) (+ x (* (/ 1 t) (* (- y x) z))))
  (sqrt (+ x (* (/ 1 t) (* (- y x) z))))
  (sqrt (+ x (* (/ 1 t) (* (- y x) z))))
  (+ (pow x 3) (pow (* (/ 1 t) (* (- y x) z)) 3))
  (+ (* x x) (- (* (* (/ 1 t) (* (- y x) z)) (* (/ 1 t) (* (- y x) z))) (* x (* (/ 1 t) (* (- y x) z)))))
  (- (* x x) (* (* (/ 1 t) (* (- y x) z)) (* (/ 1 t) (* (- y x) z))))
  (- x (* (/ 1 t) (* (- y x) z)))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  0
  (- (* z y) (* x z))
  (- (* z y) (* x z))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
8.684 * * [simplify]: iteration  0 :  142  enodes  (cost  1011 )
8.722 * * [simplify]: iteration  1 :  393  enodes  (cost  847 )
8.863 * * [simplify]: iteration  2 :  1203  enodes  (cost  733 )
9.694 * * [simplify]: iteration  done :  5000  enodes  (cost  733 )
9.695 * [simplify]: Simplified to:
   (* (/ (- y x) t) z)
  (* (/ (- y x) t) z)
  (log (* (/ (- y x) t) z))
  (log (* (/ (- y x) t) z))
  (log (* (/ (- y x) t) z))
  (log (* (/ (- y x) t) z))
  (log (* (/ (- y x) t) z))
  (log (* (/ (- y x) t) z))
  (log (* (/ (- y x) t) z))
  (log (* (/ (- y x) t) z))
  (log (* (/ (- y x) t) z))
  (exp (* (/ (- y x) t) z))
  (pow (* (/ (- y x) t) z) 3)
  (pow (* (/ (- y x) t) z) 3)
  (pow (* (/ (- y x) t) z) 3)
  (pow (* (/ (- y x) t) z) 3)
  (* (cbrt (* (/ (- y x) t) z)) (cbrt (* (/ (- y x) t) z)))
  (cbrt (* (/ (- y x) t) z))
  (pow (* (/ (- y x) t) z) 3)
  (sqrt (* (/ (- y x) t) z))
  (sqrt (* (/ (- y x) t) z))
  (* (- (pow y 3) (pow x 3)) z)
  (* t (+ (* x (+ y x)) (* y y)))
  (* (- (* y y) (* x x)) z)
  (* t (+ y x))
  (/ (- y x) t)
  (* (cbrt (/ 1 t)) (* (- y x) z))
  (* (sqrt (/ 1 t)) (* (- y x) z))
  (/ (* (- y x) z) (cbrt t))
  (/ (* (- y x) z) (sqrt t))
  (* (/ (- y x) t) z)
  (/ (* (- y x) z) (cbrt t))
  (/ (* (- y x) z) (sqrt t))
  (* (/ (- y x) t) z)
  (/ (* (- y x) z) (cbrt t))
  (/ (* (- y x) z) (sqrt t))
  (* (/ (- y x) t) z)
  (* (/ (- y x) t) z)
  (* (/ (- y x) t) z)
  (/ (* (- (pow y 3) (pow x 3)) z) t)
  (/ (* (- (* y y) (* x x)) z) t)
  (* z (- y x))
  (* z (- y x))
  (log (* (- y x) z))
  (log (* (- y x) z))
  (exp (* (- y x) z))
  (pow (* z (- y x)) 3)
  (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z)))
  (cbrt (* (- y x) z))
  (pow (* z (- y x)) 3)
  (sqrt (* (- y x) z))
  (sqrt (* (- y x) z))
  (* (sqrt (- y x)) (sqrt z))
  (* (sqrt (- y x)) (sqrt z))
  (* (- y x) (* (cbrt z) (cbrt z)))
  (* (- y x) (sqrt z))
  (- y x)
  (* (cbrt (- y x)) z)
  (* (sqrt (- y x)) z)
  (* z (- y x))
  (* (- (sqrt y) (sqrt x)) z)
  (* z (- y x))
  (* (- (pow y 3) (pow x 3)) z)
  (* (- (* y y) (* x x)) z)
  (exp (+ x (* (/ (- y x) t) z)))
  (log (+ x (* (/ (- y x) t) z)))
  (exp (+ x (* (/ (- y x) t) z)))
  (* (cbrt (+ x (* (/ (- y x) t) z))) (cbrt (+ x (* (/ (- y x) t) z))))
  (cbrt (+ x (* (/ (- y x) t) z)))
  (pow (+ x (* (/ (- y x) t) z)) 3)
  (sqrt (+ x (* (/ (- y x) t) z)))
  (sqrt (+ x (* (/ (- y x) t) z)))
  (+ (pow x 3) (pow (* (/ (- y x) t) z) 3))
  (+ (* x x) (* (* (/ (- y x) t) z) (- (* (/ (- y x) t) z) x)))
  (* (+ x (* (/ (- y x) t) z)) (- x (* (/ (- y x) t) z)))
  (- x (* (/ (- y x) t) z))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  (- (/ (* z y) t) (/ (* x z) t))
  0
  (* z (- y x))
  (* z (- y x))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
  (- (+ (/ (* z y) t) x) (/ (* x z) t))
9.695 * * * [progress]: adding candidates to table
9.893 * [progress]: [Phase 3 of 3] Extracting.
9.893 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))> #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))> #<alt (λ (x y z t) (+ x (* (/ 1 1) (* (/ (- y x) t) z))))>)
9.897 * * * [regime-changes]: Trying 5 branch expressions: ((+ x (/ (* (- y x) z) t)) t z y x)
9.897 * * * * [regimes]: Trying to branch on (+ x (/ (* (- y x) z) t)) from (#<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))> #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))> #<alt (λ (x y z t) (+ x (* (/ 1 1) (* (/ (- y x) t) z))))>)
9.932 * * * * [regimes]: Trying to branch on t from (#<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))> #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))> #<alt (λ (x y z t) (+ x (* (/ 1 1) (* (/ (- y x) t) z))))>)
9.966 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))> #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))> #<alt (λ (x y z t) (+ x (* (/ 1 1) (* (/ (- y x) t) z))))>)
10.000 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))> #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))> #<alt (λ (x y z t) (+ x (* (/ 1 1) (* (/ (- y x) t) z))))>)
10.021 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))> #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))> #<alt (λ (x y z t) (+ x (* (/ 1 1) (* (/ (- y x) t) z))))>)
10.056 * * * [regime]: Found split indices: #<option (#s(si 4 14) #s(si 2 239) #s(si 4 255))>
10.057 * [binary-search]: Only using regimes for bounds on (+ x (/ (* (- y x) z) t)) and (#<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))> #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))> #<alt (λ (x y z t) (+ x (* (/ 1 1) (* (/ (- y x) t) z))))>)
10.058 * [regimes]: Found splitpoints: (#s(sp 4 (+ x (/ (* (- y x) z) t)) -inf.0) #s(sp 2 (+ x (/ (* (- y x) z) t)) 7.474538560914998e+296) #s(sp 4 (+ x (/ (* (- y x) z) t)) +nan.0)) , with alts (#<alt (λ (x y z t) (+ x (* (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)))))> #<alt (λ (x y z t) (+ x (/ (- y x) (/ t z))))> #<alt (λ (x y z t) (+ x (/ (* (- y x) z) t)))> #<alt (λ (x y z t) (+ x (* (/ 1 t) (* (- y x) z))))> #<alt (λ (x y z t) (+ x (* (/ 1 1) (* (/ (- y x) t) z))))>)
10.058 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (if (<= (+ x (/ (* (- y x) z) t)) -inf.0) (+ x (* (/ 1 1) (* (/ (- y x) t) z))) (if (<= (+ x (/ (* (- y x) z) t)) 7.474538560914998e+296) (+ x (/ (* (- y x) z) t)) (+ x (* (/ 1 1) (* (/ (- y x) t) z)))))
10.059 * * [simplify]: iteration  0 :  20  enodes  (cost  59 )
10.059 * * [simplify]: iteration  1 :  30  enodes  (cost  45 )
10.060 * * [simplify]: iteration  done :  30  enodes  (cost  43 )
10.060 * [simplify]: Simplified to:
   (if (or (<= (+ x (/ (* (- y x) z) t)) -inf.0) (not (<= (+ x (/ (* (- y x) z) t)) 7.474538560914998e+296))) (+ (* (/ (- y x) t) z) x) (+ x (/ (* (- y x) z) t)))
10.771 * [regime-testing]: Baseline error score: 1.8556997114978466
10.772 * [regime-testing]: Oracle error score: 0.021825848543658103
10.773 * [regime-testing]: End program error score: 1.0202176527909512
10.803 * [regime-testing]: Target error score: 2.266146016194316