15.252 * [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.022 * [simplify]: Simplifying using # : (* (- (* x y) (* z y)) t) 0.023 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.025 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 0.027 * * [simplify]: iteration 2 : 36 enodes (cost 7 ) 0.032 * * [simplify]: iteration 3 : 72 enodes (cost 7 ) 0.047 * * [simplify]: iteration 4 : 106 enodes (cost 7 ) 0.066 * * [simplify]: iteration 5 : 121 enodes (cost 7 ) 0.089 * * [simplify]: iteration 6 : 123 enodes (cost 7 ) 0.110 * * [simplify]: iteration done : 123 enodes (cost 7 ) 0.110 * [simplify]: Simplified to: (* (* y (- x z)) t) 0.113 * * [progress]: iteration 1 / 4 0.113 * * * [progress]: picking best candidate 0.117 * * * * [pick]: Picked # 0.117 * * * [progress]: localizing error 0.123 * * * [progress]: generating rewritten candidates 0.123 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.137 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 0.154 * * * [progress]: generating series expansions 0.154 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.154 * [approximate]: Taking taylor expansion of (* t (* y (- x z))) in (y x z t) around 0 0.154 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in t 0.154 * [taylor]: Taking taylor expansion of t in t 0.154 * [taylor]: Taking taylor expansion of (* y (- x z)) in t 0.154 * [taylor]: Taking taylor expansion of y in t 0.154 * [taylor]: Taking taylor expansion of (- x z) in t 0.154 * [taylor]: Taking taylor expansion of x in t 0.154 * [taylor]: Taking taylor expansion of z in t 0.154 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z 0.154 * [taylor]: Taking taylor expansion of t in z 0.154 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 0.154 * [taylor]: Taking taylor expansion of y in z 0.154 * [taylor]: Taking taylor expansion of (- x z) in z 0.154 * [taylor]: Taking taylor expansion of x in z 0.154 * [taylor]: Taking taylor expansion of z in z 0.154 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x 0.154 * [taylor]: Taking taylor expansion of t in x 0.154 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 0.154 * [taylor]: Taking taylor expansion of y in x 0.154 * [taylor]: Taking taylor expansion of (- x z) in x 0.154 * [taylor]: Taking taylor expansion of x in x 0.154 * [taylor]: Taking taylor expansion of z in x 0.154 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y 0.154 * [taylor]: Taking taylor expansion of t in y 0.154 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 0.154 * [taylor]: Taking taylor expansion of y in y 0.154 * [taylor]: Taking taylor expansion of (- x z) in y 0.154 * [taylor]: Taking taylor expansion of x in y 0.154 * [taylor]: Taking taylor expansion of z in y 0.154 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y 0.154 * [taylor]: Taking taylor expansion of t in y 0.154 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 0.154 * [taylor]: Taking taylor expansion of y in y 0.154 * [taylor]: Taking taylor expansion of (- x z) in y 0.154 * [taylor]: Taking taylor expansion of x in y 0.154 * [taylor]: Taking taylor expansion of z in y 0.155 * [taylor]: Taking taylor expansion of 0 in x 0.155 * [taylor]: Taking taylor expansion of 0 in z 0.155 * [taylor]: Taking taylor expansion of 0 in t 0.156 * [taylor]: Taking taylor expansion of (- (* t x) (* t z)) in x 0.156 * [taylor]: Taking taylor expansion of (* t x) in x 0.156 * [taylor]: Taking taylor expansion of t in x 0.156 * [taylor]: Taking taylor expansion of x in x 0.156 * [taylor]: Taking taylor expansion of (* t z) in x 0.156 * [taylor]: Taking taylor expansion of t in x 0.156 * [taylor]: Taking taylor expansion of z in x 0.156 * [taylor]: Taking taylor expansion of (- (* t z)) in z 0.156 * [taylor]: Taking taylor expansion of (* t z) in z 0.156 * [taylor]: Taking taylor expansion of t in z 0.157 * [taylor]: Taking taylor expansion of z in z 0.157 * [taylor]: Taking taylor expansion of 0 in t 0.157 * [taylor]: Taking taylor expansion of 0 in z 0.157 * [taylor]: Taking taylor expansion of 0 in t 0.157 * [taylor]: Taking taylor expansion of 0 in t 0.158 * [taylor]: Taking taylor expansion of 0 in x 0.158 * [taylor]: Taking taylor expansion of 0 in z 0.158 * [taylor]: Taking taylor expansion of 0 in t 0.158 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (y x z t) around 0 0.159 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t 0.159 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.159 * [taylor]: Taking taylor expansion of x in t 0.159 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.159 * [taylor]: Taking taylor expansion of z in t 0.159 * [taylor]: Taking taylor expansion of (* t y) in t 0.159 * [taylor]: Taking taylor expansion of t in t 0.159 * [taylor]: Taking taylor expansion of y in t 0.159 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z 0.159 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.159 * [taylor]: Taking taylor expansion of x in z 0.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.159 * [taylor]: Taking taylor expansion of z in z 0.160 * [taylor]: Taking taylor expansion of (* t y) in z 0.160 * [taylor]: Taking taylor expansion of t in z 0.160 * [taylor]: Taking taylor expansion of y in z 0.160 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x 0.160 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.160 * [taylor]: Taking taylor expansion of x in x 0.161 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.161 * [taylor]: Taking taylor expansion of z in x 0.161 * [taylor]: Taking taylor expansion of (* t y) in x 0.161 * [taylor]: Taking taylor expansion of t in x 0.161 * [taylor]: Taking taylor expansion of y in x 0.161 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y 0.161 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.161 * [taylor]: Taking taylor expansion of x in y 0.161 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.161 * [taylor]: Taking taylor expansion of z in y 0.161 * [taylor]: Taking taylor expansion of (* t y) in y 0.161 * [taylor]: Taking taylor expansion of t in y 0.161 * [taylor]: Taking taylor expansion of y in y 0.162 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y 0.162 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.162 * [taylor]: Taking taylor expansion of x in y 0.162 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.162 * [taylor]: Taking taylor expansion of z in y 0.162 * [taylor]: Taking taylor expansion of (* t y) in y 0.162 * [taylor]: Taking taylor expansion of t in y 0.162 * [taylor]: Taking taylor expansion of y in y 0.163 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 0.163 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.163 * [taylor]: Taking taylor expansion of x in x 0.163 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.163 * [taylor]: Taking taylor expansion of z in x 0.163 * [taylor]: Taking taylor expansion of t in x 0.163 * [taylor]: Taking taylor expansion of (/ 1 t) in z 0.163 * [taylor]: Taking taylor expansion of t in z 0.165 * [taylor]: Taking taylor expansion of 0 in x 0.165 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 0.165 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 0.165 * [taylor]: Taking taylor expansion of (* t z) in z 0.165 * [taylor]: Taking taylor expansion of t in z 0.165 * [taylor]: Taking taylor expansion of z in z 0.166 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.166 * [taylor]: Taking taylor expansion of t in t 0.166 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.166 * [taylor]: Taking taylor expansion of t in t 0.168 * [taylor]: Taking taylor expansion of 0 in x 0.168 * [taylor]: Taking taylor expansion of 0 in z 0.169 * [taylor]: Taking taylor expansion of 0 in z 0.170 * [taylor]: Taking taylor expansion of 0 in t 0.170 * [taylor]: Taking taylor expansion of 0 in t 0.173 * [taylor]: Taking taylor expansion of 0 in x 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.173 * [taylor]: Taking taylor expansion of 0 in z 0.174 * [taylor]: Taking taylor expansion of 0 in z 0.174 * [taylor]: Taking taylor expansion of 0 in t 0.174 * [taylor]: Taking taylor expansion of 0 in t 0.175 * [taylor]: Taking taylor expansion of 0 in t 0.175 * [taylor]: Taking taylor expansion of 0 in t 0.177 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (y x z t) around 0 0.177 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in t 0.177 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 0.177 * [taylor]: Taking taylor expansion of (/ 1 z) in t 0.177 * [taylor]: Taking taylor expansion of z in t 0.177 * [taylor]: Taking taylor expansion of (/ 1 x) in t 0.177 * [taylor]: Taking taylor expansion of x in t 0.177 * [taylor]: Taking taylor expansion of (* t y) in t 0.177 * [taylor]: Taking taylor expansion of t in t 0.177 * [taylor]: Taking taylor expansion of y in t 0.177 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z 0.177 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 0.177 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.177 * [taylor]: Taking taylor expansion of z in z 0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.178 * [taylor]: Taking taylor expansion of x in z 0.178 * [taylor]: Taking taylor expansion of (* t y) in z 0.178 * [taylor]: Taking taylor expansion of t in z 0.178 * [taylor]: Taking taylor expansion of y in z 0.178 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x 0.178 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.178 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.178 * [taylor]: Taking taylor expansion of z in x 0.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.178 * [taylor]: Taking taylor expansion of x in x 0.178 * [taylor]: Taking taylor expansion of (* t y) in x 0.178 * [taylor]: Taking taylor expansion of t in x 0.179 * [taylor]: Taking taylor expansion of y in x 0.179 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y 0.179 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.179 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.179 * [taylor]: Taking taylor expansion of z in y 0.179 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.179 * [taylor]: Taking taylor expansion of x in y 0.179 * [taylor]: Taking taylor expansion of (* t y) in y 0.179 * [taylor]: Taking taylor expansion of t in y 0.179 * [taylor]: Taking taylor expansion of y in y 0.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y 0.180 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.180 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.180 * [taylor]: Taking taylor expansion of z in y 0.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.180 * [taylor]: Taking taylor expansion of x in y 0.180 * [taylor]: Taking taylor expansion of (* t y) in y 0.180 * [taylor]: Taking taylor expansion of t in y 0.180 * [taylor]: Taking taylor expansion of y in y 0.180 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x 0.180 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.181 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.181 * [taylor]: Taking taylor expansion of z in x 0.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.181 * [taylor]: Taking taylor expansion of x in x 0.181 * [taylor]: Taking taylor expansion of t in x 0.181 * [taylor]: Taking taylor expansion of (/ -1 t) in z 0.181 * [taylor]: Taking taylor expansion of -1 in z 0.181 * [taylor]: Taking taylor expansion of t in z 0.183 * [taylor]: Taking taylor expansion of 0 in x 0.183 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 0.183 * [taylor]: Taking taylor expansion of (* t z) in z 0.183 * [taylor]: Taking taylor expansion of t in z 0.183 * [taylor]: Taking taylor expansion of z in z 0.184 * [taylor]: Taking taylor expansion of (/ 1 t) in t 0.184 * [taylor]: Taking taylor expansion of t in t 0.184 * [taylor]: Taking taylor expansion of (/ -1 t) in t 0.184 * [taylor]: Taking taylor expansion of -1 in t 0.184 * [taylor]: Taking taylor expansion of t in t 0.186 * [taylor]: Taking taylor expansion of 0 in x 0.186 * [taylor]: Taking taylor expansion of 0 in z 0.187 * [taylor]: Taking taylor expansion of 0 in z 0.187 * [taylor]: Taking taylor expansion of 0 in t 0.187 * [taylor]: Taking taylor expansion of 0 in t 0.190 * [taylor]: Taking taylor expansion of 0 in x 0.190 * [taylor]: Taking taylor expansion of 0 in z 0.190 * [taylor]: Taking taylor expansion of 0 in z 0.191 * [taylor]: Taking taylor expansion of 0 in z 0.191 * [taylor]: Taking taylor expansion of 0 in t 0.191 * [taylor]: Taking taylor expansion of 0 in t 0.192 * [taylor]: Taking taylor expansion of 0 in t 0.192 * [taylor]: Taking taylor expansion of 0 in t 0.193 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 0.193 * [approximate]: Taking taylor expansion of (* y (- x z)) in (y x z) around 0 0.194 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 0.194 * [taylor]: Taking taylor expansion of y in z 0.194 * [taylor]: Taking taylor expansion of (- x z) in z 0.194 * [taylor]: Taking taylor expansion of x in z 0.194 * [taylor]: Taking taylor expansion of z in z 0.194 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 0.194 * [taylor]: Taking taylor expansion of y in x 0.194 * [taylor]: Taking taylor expansion of (- x z) in x 0.194 * [taylor]: Taking taylor expansion of x in x 0.194 * [taylor]: Taking taylor expansion of z in x 0.194 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of (- x z) in y 0.194 * [taylor]: Taking taylor expansion of x in y 0.194 * [taylor]: Taking taylor expansion of z in y 0.194 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 0.194 * [taylor]: Taking taylor expansion of y in y 0.194 * [taylor]: Taking taylor expansion of (- x z) in y 0.194 * [taylor]: Taking taylor expansion of x in y 0.194 * [taylor]: Taking taylor expansion of z in y 0.194 * [taylor]: Taking taylor expansion of 0 in x 0.194 * [taylor]: Taking taylor expansion of 0 in z 0.195 * [taylor]: Taking taylor expansion of (- x z) in x 0.195 * [taylor]: Taking taylor expansion of x in x 0.195 * [taylor]: Taking taylor expansion of z in x 0.195 * [taylor]: Taking taylor expansion of (- z) in z 0.195 * [taylor]: Taking taylor expansion of z in z 0.195 * [taylor]: Taking taylor expansion of 0 in z 0.196 * [taylor]: Taking taylor expansion of 0 in x 0.196 * [taylor]: Taking taylor expansion of 0 in z 0.197 * [taylor]: Taking taylor expansion of 1 in z 0.197 * [taylor]: Taking taylor expansion of 0 in z 0.199 * [taylor]: Taking taylor expansion of 0 in x 0.199 * [taylor]: Taking taylor expansion of 0 in z 0.199 * [taylor]: Taking taylor expansion of 0 in z 0.199 * [taylor]: Taking taylor expansion of 0 in z 0.199 * [taylor]: Taking taylor expansion of 0 in z 0.200 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in (y x z) around 0 0.200 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 0.200 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 0.200 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.200 * [taylor]: Taking taylor expansion of x in z 0.200 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.200 * [taylor]: Taking taylor expansion of z in z 0.200 * [taylor]: Taking taylor expansion of y in z 0.201 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 0.201 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.201 * [taylor]: Taking taylor expansion of x in x 0.201 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.201 * [taylor]: Taking taylor expansion of z in x 0.201 * [taylor]: Taking taylor expansion of y in x 0.201 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 0.201 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.201 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.201 * [taylor]: Taking taylor expansion of x in y 0.201 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.201 * [taylor]: Taking taylor expansion of z in y 0.201 * [taylor]: Taking taylor expansion of y in y 0.202 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 0.202 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.202 * [taylor]: Taking taylor expansion of x in y 0.202 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.202 * [taylor]: Taking taylor expansion of z in y 0.202 * [taylor]: Taking taylor expansion of y in y 0.202 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 0.202 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.202 * [taylor]: Taking taylor expansion of x in x 0.202 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.202 * [taylor]: Taking taylor expansion of z in x 0.203 * [taylor]: Taking taylor expansion of 1 in z 0.204 * [taylor]: Taking taylor expansion of 0 in x 0.204 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.204 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.204 * [taylor]: Taking taylor expansion of z in z 0.206 * [taylor]: Taking taylor expansion of 0 in x 0.206 * [taylor]: Taking taylor expansion of 0 in z 0.207 * [taylor]: Taking taylor expansion of 0 in z 0.210 * [taylor]: Taking taylor expansion of 0 in x 0.210 * [taylor]: Taking taylor expansion of 0 in z 0.210 * [taylor]: Taking taylor expansion of 0 in z 0.211 * [taylor]: Taking taylor expansion of 0 in z 0.212 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in (y x z) around 0 0.212 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in z 0.212 * [taylor]: Taking taylor expansion of -1 in z 0.212 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 0.212 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 0.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.212 * [taylor]: Taking taylor expansion of z in z 0.213 * [taylor]: Taking taylor expansion of (/ 1 x) in z 0.213 * [taylor]: Taking taylor expansion of x in z 0.213 * [taylor]: Taking taylor expansion of y in z 0.213 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in x 0.213 * [taylor]: Taking taylor expansion of -1 in x 0.213 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 0.213 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.213 * [taylor]: Taking taylor expansion of z in x 0.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.213 * [taylor]: Taking taylor expansion of x in x 0.213 * [taylor]: Taking taylor expansion of y in x 0.214 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 0.214 * [taylor]: Taking taylor expansion of -1 in y 0.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 0.214 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.214 * [taylor]: Taking taylor expansion of z in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.214 * [taylor]: Taking taylor expansion of x in y 0.214 * [taylor]: Taking taylor expansion of y in y 0.214 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) y)) in y 0.214 * [taylor]: Taking taylor expansion of -1 in y 0.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 0.214 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 z) in y 0.214 * [taylor]: Taking taylor expansion of z in y 0.214 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.214 * [taylor]: Taking taylor expansion of x in y 0.215 * [taylor]: Taking taylor expansion of y in y 0.215 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 x))) in x 0.215 * [taylor]: Taking taylor expansion of -1 in x 0.215 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 z) in x 0.215 * [taylor]: Taking taylor expansion of z in x 0.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.216 * [taylor]: Taking taylor expansion of 1 in z 0.217 * [taylor]: Taking taylor expansion of 0 in x 0.218 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 0.218 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.218 * [taylor]: Taking taylor expansion of z in z 0.221 * [taylor]: Taking taylor expansion of 0 in x 0.221 * [taylor]: Taking taylor expansion of 0 in z 0.223 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in x 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.226 * [taylor]: Taking taylor expansion of 0 in z 0.228 * [taylor]: Taking taylor expansion of 0 in z 0.234 * * * [progress]: simplifying candidates 0.235 * [simplify]: Simplifying using # : (expm1 (* (* y (- x z)) t)) (log1p (* (* y (- x z)) t)) (* (* y (- x z)) t) (* (* y (- x z)) t) (+ (+ (log y) (log (- x z))) (log t)) (+ (log (* y (- x z))) (log t)) (log (* (* y (- x z)) t)) (exp (* (* y (- x z)) t)) (* (* (* (* y y) y) (* (* (- x z) (- x z)) (- x 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)) (* (cbrt t) (cbrt t))) (* (* y (- x z)) (sqrt t)) (* (* y (- x z)) 1) (* (- x z) t) (* (* y (- (pow x 3) (pow z 3))) t) (* (* y (- (* x x) (* z z))) t) (expm1 (* y (- x z))) (log1p (* y (- x z))) (* y (- x z)) (+ (log y) (log (- x z))) (log (* y (- x z))) (exp (* y (- x z))) (* (* (* y y) y) (* (* (- x z) (- x z)) (- x 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) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z))))) (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* y (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1)))) (* y (fma (- z) 1 (* z 1))) (* y (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* y (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z))))) (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* y (fma (sqrt x) (sqrt x) (- (* z 1)))) (* y (fma (- z) 1 (* z 1))) (* y (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z)))))) (* y (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z))))) (* y (fma 1 x (- (* (sqrt z) (sqrt z))))) (* y (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z)))) (* y (fma 1 x (- (* z 1)))) (* y (fma (- z) 1 (* z 1))) (* y x) (* y (- z)) (* y x) (* y (- z)) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* (sqrt z) (sqrt z)))) y) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y) (* (fma (* (cbrt x) (cbrt x)) (cbrt x) (- (* z 1))) y) (* (fma (- z) 1 (* z 1)) y) (* (fma (sqrt x) (sqrt x) (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y) (* (fma (sqrt x) (sqrt x) (- (* (sqrt z) (sqrt z)))) y) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y) (* (fma (sqrt x) (sqrt x) (- (* z 1))) y) (* (fma (- z) 1 (* z 1)) y) (* (fma 1 x (- (* (cbrt z) (* (cbrt z) (cbrt z))))) y) (* (fma (- (cbrt z)) (* (cbrt z) (cbrt z)) (* (cbrt z) (* (cbrt z) (cbrt z)))) y) (* (fma 1 x (- (* (sqrt z) (sqrt z)))) y) (* (fma (- (sqrt z)) (sqrt z) (* (sqrt z) (sqrt z))) y) (* (fma 1 x (- (* z 1))) y) (* (fma (- z) 1 (* z 1)) y) (* x y) (* (- z) y) (* x y) (* (- z) y) (* y (* (cbrt (- x z)) (cbrt (- x z)))) (* y (sqrt (- x z))) (* y 1) (* y (+ (sqrt x) (sqrt z))) (* y 1) (* (cbrt y) (- x z)) (* (sqrt y) (- x z)) (* y (- x z)) (* y (- (pow x 3) (pow z 3))) (* y (- (* x x) (* z z))) 0 (- (* t (* x y)) (* t (* z y))) (- (* t (* x y)) (* t (* z y))) (- (* x y) (* z y)) (- (* x y) (* z y)) (- (* x y) (* z y)) 0.238 * * [simplify]: iteration 0 : 133 enodes (cost 972 ) 0.270 * * [simplify]: iteration 1 : 274 enodes (cost 786 ) 0.363 * * [simplify]: iteration 2 : 848 enodes (cost 634 ) 1.218 * * [simplify]: iteration 3 : 3962 enodes (cost 592 ) 2.798 * * [simplify]: iteration done : 5000 enodes (cost 592 ) 2.798 * [simplify]: Simplified to: (expm1 (* (* y (- x z)) t)) (log1p (* (* y (- x z)) t)) (* (* y (- x z)) t) (* (* y (- x z)) t) (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)) (* (cbrt t) (cbrt t))) (* (* y (- x z)) (sqrt t)) (* y (- x z)) (* (- x z) t) (* (* y (- (pow x 3) (pow z 3))) t) (* (* y (- (* x x) (* z z))) t) (expm1 (* y (- x z))) (log1p (* y (- x z))) (* 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) (sqrt (- x z))) (* (sqrt y) (sqrt (- x z))) (* (- (pow (cbrt x) 3) z) y) (* y (- z z)) (* (- (pow (cbrt x) 3) z) y) (* y (- z z)) (* (- (pow (cbrt x) 3) z) y) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* x y) (* (- z) y) (* x y) (* (- z) y) (* (- (pow (cbrt x) 3) z) y) (* y (- z z)) (* (- (pow (cbrt x) 3) z) y) (* y (- z z)) (* (- (pow (cbrt x) 3) z) y) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* y (- x z)) (* y (- z z)) (* x y) (* (- z) y) (* x y) (* (- z) y) (* y (* (cbrt (- x z)) (cbrt (- x z)))) (* y (sqrt (- x z))) y (* y (+ (sqrt x) (sqrt z))) y (* (cbrt y) (- x z)) (* (sqrt y) (- x z)) (* y (- x z)) (* y (- (pow x 3) (pow z 3))) (* y (- (* x x) (* z z))) 0 (* (* y (- x z)) t) (* (* y (- x z)) t) (* y (- x z)) (* y (- x z)) (* y (- x z)) 2.799 * * * [progress]: adding candidates to table 2.895 * * [progress]: iteration 2 / 4 2.895 * * * [progress]: picking best candidate 2.909 * * * * [pick]: Picked # 2.909 * * * [progress]: localizing error 2.915 * * * [progress]: generating rewritten candidates 2.915 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.928 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.939 * * * [progress]: generating series expansions 2.939 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.939 * [approximate]: Taking taylor expansion of (* t (* y (- x z))) in (y x z t) around 0 2.939 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in t 2.939 * [taylor]: Taking taylor expansion of t in t 2.939 * [taylor]: Taking taylor expansion of (* y (- x z)) in t 2.939 * [taylor]: Taking taylor expansion of y in t 2.939 * [taylor]: Taking taylor expansion of (- x z) in t 2.939 * [taylor]: Taking taylor expansion of x in t 2.939 * [taylor]: Taking taylor expansion of z in t 2.939 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z 2.939 * [taylor]: Taking taylor expansion of t in z 2.939 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 2.939 * [taylor]: Taking taylor expansion of y in z 2.939 * [taylor]: Taking taylor expansion of (- x z) in z 2.939 * [taylor]: Taking taylor expansion of x in z 2.939 * [taylor]: Taking taylor expansion of z in z 2.939 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x 2.939 * [taylor]: Taking taylor expansion of t in x 2.940 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 2.940 * [taylor]: Taking taylor expansion of y in x 2.940 * [taylor]: Taking taylor expansion of (- x z) in x 2.940 * [taylor]: Taking taylor expansion of x in x 2.940 * [taylor]: Taking taylor expansion of z in x 2.940 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y 2.940 * [taylor]: Taking taylor expansion of t in y 2.940 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 2.940 * [taylor]: Taking taylor expansion of y in y 2.940 * [taylor]: Taking taylor expansion of (- x z) in y 2.940 * [taylor]: Taking taylor expansion of x in y 2.940 * [taylor]: Taking taylor expansion of z in y 2.940 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y 2.940 * [taylor]: Taking taylor expansion of t in y 2.940 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 2.940 * [taylor]: Taking taylor expansion of y in y 2.940 * [taylor]: Taking taylor expansion of (- x z) in y 2.940 * [taylor]: Taking taylor expansion of x in y 2.940 * [taylor]: Taking taylor expansion of z in y 2.940 * [taylor]: Taking taylor expansion of 0 in x 2.940 * [taylor]: Taking taylor expansion of 0 in z 2.940 * [taylor]: Taking taylor expansion of 0 in t 2.942 * [taylor]: Taking taylor expansion of (- (* t x) (* t z)) in x 2.942 * [taylor]: Taking taylor expansion of (* t x) in x 2.942 * [taylor]: Taking taylor expansion of t in x 2.942 * [taylor]: Taking taylor expansion of x in x 2.942 * [taylor]: Taking taylor expansion of (* t z) in x 2.942 * [taylor]: Taking taylor expansion of t in x 2.942 * [taylor]: Taking taylor expansion of z in x 2.942 * [taylor]: Taking taylor expansion of (- (* t z)) in z 2.942 * [taylor]: Taking taylor expansion of (* t z) in z 2.942 * [taylor]: Taking taylor expansion of t in z 2.942 * [taylor]: Taking taylor expansion of z in z 2.942 * [taylor]: Taking taylor expansion of 0 in t 2.942 * [taylor]: Taking taylor expansion of 0 in z 2.942 * [taylor]: Taking taylor expansion of 0 in t 2.942 * [taylor]: Taking taylor expansion of 0 in t 2.944 * [taylor]: Taking taylor expansion of 0 in x 2.944 * [taylor]: Taking taylor expansion of 0 in z 2.944 * [taylor]: Taking taylor expansion of 0 in t 2.944 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (y x z t) around 0 2.944 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t 2.944 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 2.944 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.944 * [taylor]: Taking taylor expansion of x in t 2.944 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.944 * [taylor]: Taking taylor expansion of z in t 2.944 * [taylor]: Taking taylor expansion of (* t y) in t 2.944 * [taylor]: Taking taylor expansion of t in t 2.944 * [taylor]: Taking taylor expansion of y in t 2.945 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z 2.945 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 2.945 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.945 * [taylor]: Taking taylor expansion of x in z 2.945 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.945 * [taylor]: Taking taylor expansion of z in z 2.945 * [taylor]: Taking taylor expansion of (* t y) in z 2.945 * [taylor]: Taking taylor expansion of t in z 2.945 * [taylor]: Taking taylor expansion of y in z 2.946 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x 2.946 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 2.946 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.946 * [taylor]: Taking taylor expansion of x in x 2.946 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.946 * [taylor]: Taking taylor expansion of z in x 2.946 * [taylor]: Taking taylor expansion of (* t y) in x 2.946 * [taylor]: Taking taylor expansion of t in x 2.946 * [taylor]: Taking taylor expansion of y in x 2.946 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y 2.946 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 2.946 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.946 * [taylor]: Taking taylor expansion of x in y 2.946 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.946 * [taylor]: Taking taylor expansion of z in y 2.946 * [taylor]: Taking taylor expansion of (* t y) in y 2.946 * [taylor]: Taking taylor expansion of t in y 2.946 * [taylor]: Taking taylor expansion of y in y 2.947 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y 2.947 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 2.947 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.947 * [taylor]: Taking taylor expansion of x in y 2.947 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.947 * [taylor]: Taking taylor expansion of z in y 2.947 * [taylor]: Taking taylor expansion of (* t y) in y 2.947 * [taylor]: Taking taylor expansion of t in y 2.947 * [taylor]: Taking taylor expansion of y in y 2.948 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 2.948 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 2.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.948 * [taylor]: Taking taylor expansion of x in x 2.948 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.948 * [taylor]: Taking taylor expansion of z in x 2.948 * [taylor]: Taking taylor expansion of t in x 2.948 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.948 * [taylor]: Taking taylor expansion of t in z 2.949 * [taylor]: Taking taylor expansion of 0 in x 2.950 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 2.950 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.950 * [taylor]: Taking taylor expansion of (* t z) in z 2.950 * [taylor]: Taking taylor expansion of t in z 2.950 * [taylor]: Taking taylor expansion of z in z 2.951 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 2.951 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.951 * [taylor]: Taking taylor expansion of t in t 2.951 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.951 * [taylor]: Taking taylor expansion of t in t 2.953 * [taylor]: Taking taylor expansion of 0 in x 2.953 * [taylor]: Taking taylor expansion of 0 in z 2.954 * [taylor]: Taking taylor expansion of 0 in z 2.954 * [taylor]: Taking taylor expansion of 0 in t 2.955 * [taylor]: Taking taylor expansion of 0 in t 2.957 * [taylor]: Taking taylor expansion of 0 in x 2.957 * [taylor]: Taking taylor expansion of 0 in z 2.957 * [taylor]: Taking taylor expansion of 0 in z 2.958 * [taylor]: Taking taylor expansion of 0 in z 2.958 * [taylor]: Taking taylor expansion of 0 in t 2.958 * [taylor]: Taking taylor expansion of 0 in t 2.959 * [taylor]: Taking taylor expansion of 0 in t 2.959 * [taylor]: Taking taylor expansion of 0 in t 2.961 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in (y x z t) around 0 2.961 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in t 2.961 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 2.961 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.961 * [taylor]: Taking taylor expansion of z in t 2.961 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.961 * [taylor]: Taking taylor expansion of x in t 2.961 * [taylor]: Taking taylor expansion of (* t y) in t 2.961 * [taylor]: Taking taylor expansion of t in t 2.961 * [taylor]: Taking taylor expansion of y in t 2.962 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in z 2.962 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 2.962 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.962 * [taylor]: Taking taylor expansion of z in z 2.962 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.962 * [taylor]: Taking taylor expansion of x in z 2.962 * [taylor]: Taking taylor expansion of (* t y) in z 2.962 * [taylor]: Taking taylor expansion of t in z 2.962 * [taylor]: Taking taylor expansion of y in z 2.962 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in x 2.962 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 2.962 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.962 * [taylor]: Taking taylor expansion of z in x 2.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.963 * [taylor]: Taking taylor expansion of x in x 2.963 * [taylor]: Taking taylor expansion of (* t y) in x 2.963 * [taylor]: Taking taylor expansion of t in x 2.963 * [taylor]: Taking taylor expansion of y in x 2.963 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y 2.963 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 2.963 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.963 * [taylor]: Taking taylor expansion of z in y 2.964 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.964 * [taylor]: Taking taylor expansion of x in y 2.964 * [taylor]: Taking taylor expansion of (* t y) in y 2.964 * [taylor]: Taking taylor expansion of t in y 2.964 * [taylor]: Taking taylor expansion of y in y 2.964 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) (* t y)) in y 2.964 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 2.964 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.964 * [taylor]: Taking taylor expansion of z in y 2.964 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.964 * [taylor]: Taking taylor expansion of x in y 2.964 * [taylor]: Taking taylor expansion of (* t y) in y 2.964 * [taylor]: Taking taylor expansion of t in y 2.964 * [taylor]: Taking taylor expansion of y in y 2.965 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x 2.965 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 2.965 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.965 * [taylor]: Taking taylor expansion of z in x 2.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.965 * [taylor]: Taking taylor expansion of x in x 2.965 * [taylor]: Taking taylor expansion of t in x 2.966 * [taylor]: Taking taylor expansion of (/ -1 t) in z 2.966 * [taylor]: Taking taylor expansion of -1 in z 2.966 * [taylor]: Taking taylor expansion of t in z 2.967 * [taylor]: Taking taylor expansion of 0 in x 2.968 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.968 * [taylor]: Taking taylor expansion of (* t z) in z 2.968 * [taylor]: Taking taylor expansion of t in z 2.968 * [taylor]: Taking taylor expansion of z in z 2.968 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.968 * [taylor]: Taking taylor expansion of t in t 2.968 * [taylor]: Taking taylor expansion of (/ -1 t) in t 2.968 * [taylor]: Taking taylor expansion of -1 in t 2.968 * [taylor]: Taking taylor expansion of t in t 2.970 * [taylor]: Taking taylor expansion of 0 in x 2.970 * [taylor]: Taking taylor expansion of 0 in z 2.971 * [taylor]: Taking taylor expansion of 0 in z 2.972 * [taylor]: Taking taylor expansion of 0 in t 2.972 * [taylor]: Taking taylor expansion of 0 in t 2.974 * [taylor]: Taking taylor expansion of 0 in x 2.974 * [taylor]: Taking taylor expansion of 0 in z 2.974 * [taylor]: Taking taylor expansion of 0 in z 2.976 * [taylor]: Taking taylor expansion of 0 in z 2.976 * [taylor]: Taking taylor expansion of 0 in t 2.976 * [taylor]: Taking taylor expansion of 0 in t 2.976 * [taylor]: Taking taylor expansion of 0 in t 2.976 * [taylor]: Taking taylor expansion of 0 in t 2.978 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.978 * [approximate]: Taking taylor expansion of (* t (- x z)) in (x z t) around 0 2.978 * [taylor]: Taking taylor expansion of (* t (- x z)) in t 2.978 * [taylor]: Taking taylor expansion of t in t 2.978 * [taylor]: Taking taylor expansion of (- x z) in t 2.978 * [taylor]: Taking taylor expansion of x in t 2.978 * [taylor]: Taking taylor expansion of z in t 2.978 * [taylor]: Taking taylor expansion of (* t (- x z)) in z 2.978 * [taylor]: Taking taylor expansion of t in z 2.978 * [taylor]: Taking taylor expansion of (- x z) in z 2.978 * [taylor]: Taking taylor expansion of x in z 2.978 * [taylor]: Taking taylor expansion of z in z 2.978 * [taylor]: Taking taylor expansion of (* t (- x z)) in x 2.978 * [taylor]: Taking taylor expansion of t in x 2.978 * [taylor]: Taking taylor expansion of (- x z) in x 2.978 * [taylor]: Taking taylor expansion of x in x 2.978 * [taylor]: Taking taylor expansion of z in x 2.978 * [taylor]: Taking taylor expansion of (* t (- x z)) in x 2.978 * [taylor]: Taking taylor expansion of t in x 2.978 * [taylor]: Taking taylor expansion of (- x z) in x 2.978 * [taylor]: Taking taylor expansion of x in x 2.978 * [taylor]: Taking taylor expansion of z in x 2.979 * [taylor]: Taking taylor expansion of (* -1 (* t z)) in z 2.979 * [taylor]: Taking taylor expansion of -1 in z 2.979 * [taylor]: Taking taylor expansion of (* t z) in z 2.979 * [taylor]: Taking taylor expansion of t in z 2.979 * [taylor]: Taking taylor expansion of z in z 2.979 * [taylor]: Taking taylor expansion of 0 in t 2.980 * [taylor]: Taking taylor expansion of t in z 2.980 * [taylor]: Taking taylor expansion of t in t 2.980 * [taylor]: Taking taylor expansion of (- t) in t 2.980 * [taylor]: Taking taylor expansion of t in t 2.981 * [taylor]: Taking taylor expansion of 0 in z 2.981 * [taylor]: Taking taylor expansion of 0 in t 2.981 * [taylor]: Taking taylor expansion of 0 in t 2.982 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in (x z t) around 0 2.982 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t 2.982 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 2.982 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.982 * [taylor]: Taking taylor expansion of x in t 2.982 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.982 * [taylor]: Taking taylor expansion of z in t 2.982 * [taylor]: Taking taylor expansion of t in t 2.982 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in z 2.982 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 2.982 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.982 * [taylor]: Taking taylor expansion of x in z 2.982 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.982 * [taylor]: Taking taylor expansion of z in z 2.982 * [taylor]: Taking taylor expansion of t in z 2.983 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 2.983 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 2.983 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.983 * [taylor]: Taking taylor expansion of x in x 2.983 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.983 * [taylor]: Taking taylor expansion of z in x 2.983 * [taylor]: Taking taylor expansion of t in x 2.984 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 2.984 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 2.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.984 * [taylor]: Taking taylor expansion of x in x 2.984 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.984 * [taylor]: Taking taylor expansion of z in x 2.984 * [taylor]: Taking taylor expansion of t in x 2.984 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.985 * [taylor]: Taking taylor expansion of t in z 2.985 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 2.985 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.985 * [taylor]: Taking taylor expansion of (* t z) in z 2.985 * [taylor]: Taking taylor expansion of t in z 2.985 * [taylor]: Taking taylor expansion of z in z 2.986 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 2.986 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.986 * [taylor]: Taking taylor expansion of t in t 2.986 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.986 * [taylor]: Taking taylor expansion of t in t 2.988 * [taylor]: Taking taylor expansion of 0 in z 2.988 * [taylor]: Taking taylor expansion of 0 in t 2.989 * [taylor]: Taking taylor expansion of 0 in t 2.991 * [taylor]: Taking taylor expansion of 0 in z 2.991 * [taylor]: Taking taylor expansion of 0 in t 2.992 * [taylor]: Taking taylor expansion of 0 in t 2.992 * [taylor]: Taking taylor expansion of 0 in t 2.996 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in (x z t) around 0 2.996 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in t 2.996 * [taylor]: Taking taylor expansion of -1 in t 2.996 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t 2.996 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 2.996 * [taylor]: Taking taylor expansion of (/ 1 z) in t 2.996 * [taylor]: Taking taylor expansion of z in t 2.996 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.996 * [taylor]: Taking taylor expansion of x in t 2.996 * [taylor]: Taking taylor expansion of t in t 2.996 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in z 2.996 * [taylor]: Taking taylor expansion of -1 in z 2.996 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in z 2.996 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 2.996 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.996 * [taylor]: Taking taylor expansion of z in z 2.997 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.997 * [taylor]: Taking taylor expansion of x in z 2.997 * [taylor]: Taking taylor expansion of t in z 2.997 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in x 2.997 * [taylor]: Taking taylor expansion of -1 in x 2.997 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x 2.997 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 2.997 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.997 * [taylor]: Taking taylor expansion of z in x 2.997 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.997 * [taylor]: Taking taylor expansion of x in x 2.998 * [taylor]: Taking taylor expansion of t in x 2.998 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 x)) t)) in x 2.998 * [taylor]: Taking taylor expansion of -1 in x 2.998 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x 2.998 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 2.998 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.998 * [taylor]: Taking taylor expansion of z in x 2.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.998 * [taylor]: Taking taylor expansion of x in x 2.999 * [taylor]: Taking taylor expansion of t in x 2.999 * [taylor]: Taking taylor expansion of (/ 1 t) in z 2.999 * [taylor]: Taking taylor expansion of t in z 3.000 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 3.000 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 3.000 * [taylor]: Taking taylor expansion of (* t z) in z 3.000 * [taylor]: Taking taylor expansion of t in z 3.000 * [taylor]: Taking taylor expansion of z in z 3.001 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 3.001 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.001 * [taylor]: Taking taylor expansion of t in t 3.001 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.001 * [taylor]: Taking taylor expansion of t in t 3.003 * [taylor]: Taking taylor expansion of 0 in z 3.004 * [taylor]: Taking taylor expansion of 0 in t 3.004 * [taylor]: Taking taylor expansion of 0 in t 3.007 * [taylor]: Taking taylor expansion of 0 in z 3.007 * [taylor]: Taking taylor expansion of 0 in t 3.008 * [taylor]: Taking taylor expansion of 0 in t 3.008 * [taylor]: Taking taylor expansion of 0 in t 3.009 * * * [progress]: simplifying candidates 3.010 * [simplify]: Simplifying using # : (expm1 (* y (* (- x z) t))) (log1p (* y (* (- x z) t))) (* y (* (- x z) t)) (* y (* (- x z) t)) (+ (log y) (+ (log (- x z)) (log t))) (+ (log y) (log (* (- x z) t))) (log (* y (* (- x z) t))) (exp (* y (* (- x z) t))) (* (* (* y y) y) (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t))) (* (* (* y y) y) (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) 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)) (* (cbrt y) (* (- x z) t)) (* (sqrt y) (* (- x z) t)) (* y (* (- x z) t)) (* y (* (- (pow x 3) (pow z 3)) t)) (* y (* (- (* x x) (* z z)) t)) (expm1 (* (- x z) t)) (log1p (* (- x z) t)) (* (- x z) t) (+ (log (- x z)) (log t)) (log (* (- x z) t)) (exp (* (- x z) t)) (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t)) (* (cbrt (* (- x z) t)) (cbrt (* (- x z) t))) (cbrt (* (- x z) t)) (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) t)) (sqrt (* (- x z) t)) (sqrt (* (- x z) t)) (* (sqrt (- x z)) (sqrt t)) (* (sqrt (- x z)) (sqrt t)) (* (- x z) (* (cbrt t) (cbrt t))) (* (- x z) (sqrt t)) (* (- x z) 1) (* (cbrt (- x z)) t) (* (sqrt (- x z)) t) (* (- x z) t) (* (- (sqrt x) (sqrt z)) t) (* (- x z) t) (* (- (pow x 3) (pow z 3)) t) (* (- (* x x) (* z z)) t) 0 (- (* t (* x y)) (* t (* z y))) (- (* t (* x y)) (* t (* z y))) 0 (- (* t x) (* t z)) (- (* t x) (* t z)) 3.012 * * [simplify]: iteration 0 : 81 enodes (cost 445 ) 3.026 * * [simplify]: iteration 1 : 190 enodes (cost 431 ) 3.076 * * [simplify]: iteration 2 : 682 enodes (cost 365 ) 3.852 * * [simplify]: iteration 3 : 3232 enodes (cost 365 ) 5.304 * * [simplify]: iteration done : 5000 enodes (cost 365 ) 5.304 * [simplify]: Simplified to: (expm1 (* y (* (- x z) t))) (log1p (* y (* (- x z) t))) (* y (* (- x z) t)) (* y (* (- x z) t)) (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)) (* (cbrt y) (* (- x z) t)) (* (sqrt y) (* (- x z) t)) (* y (* (- x z) t)) (* y (* (- (pow x 3) (pow z 3)) t)) (* y (* (- (* x x) (* z z)) t)) (expm1 (* (- x z) t)) (log1p (* (- x z) t)) (* (- x z) t) (log (* (- x z) t)) (log (* (- x z) t)) (exp (* (- x z) t)) (pow (* (- x z) t) 3) (* (cbrt (* (- x z) t)) (cbrt (* (- x z) t))) (cbrt (* (- x z) t)) (pow (* (- x z) t) 3) (sqrt (* (- x z) t)) (sqrt (* (- x z) t)) (* (sqrt (- x z)) (sqrt t)) (* (sqrt (- x z)) (sqrt t)) (* (- x z) (* (cbrt t) (cbrt t))) (* (- x z) (sqrt t)) (- x z) (* (cbrt (- x z)) t) (* (sqrt (- x z)) t) (* (- x z) t) (* (- (sqrt x) (sqrt z)) t) (* (- x z) t) (* (- (pow x 3) (pow z 3)) t) (* (- (* x x) (* z z)) t) 0 (* y (* (- x z) t)) (* y (* (- x z) t)) 0 (* (- x z) t) (* (- x z) t) 5.305 * * * [progress]: adding candidates to table 5.397 * * [progress]: iteration 3 / 4 5.397 * * * [progress]: picking best candidate 5.414 * * * * [pick]: Picked # 5.414 * * * [progress]: localizing error 5.423 * * * [progress]: generating rewritten candidates 5.423 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 5.470 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 5.484 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.485 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 5.487 * * * [progress]: generating series expansions 5.487 * * * * [progress]: [ 1 / 4 ] generating series at (2) 5.488 * [approximate]: Taking taylor expansion of (* t (* y (- x z))) in (y x z t) around 0 5.488 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in t 5.488 * [taylor]: Taking taylor expansion of t in t 5.488 * [taylor]: Taking taylor expansion of (* y (- x z)) in t 5.488 * [taylor]: Taking taylor expansion of y in t 5.488 * [taylor]: Taking taylor expansion of (- x z) in t 5.488 * [taylor]: Taking taylor expansion of x in t 5.488 * [taylor]: Taking taylor expansion of z in t 5.488 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z 5.488 * [taylor]: Taking taylor expansion of t in z 5.488 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 5.488 * [taylor]: Taking taylor expansion of y in z 5.488 * [taylor]: Taking taylor expansion of (- x z) in z 5.488 * [taylor]: Taking taylor expansion of x in z 5.488 * [taylor]: Taking taylor expansion of z in z 5.488 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x 5.488 * [taylor]: Taking taylor expansion of t in x 5.488 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 5.488 * [taylor]: Taking taylor expansion of y in x 5.488 * [taylor]: Taking taylor expansion of (- x z) in x 5.488 * [taylor]: Taking taylor expansion of x in x 5.488 * [taylor]: Taking taylor expansion of z in x 5.488 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y 5.488 * [taylor]: Taking taylor expansion of t in y 5.488 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 5.488 * [taylor]: Taking taylor expansion of y in y 5.488 * [taylor]: Taking taylor expansion of (- x z) in y 5.488 * [taylor]: Taking taylor expansion of x in y 5.488 * [taylor]: Taking taylor expansion of z in y 5.488 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y 5.488 * [taylor]: Taking taylor expansion of t in y 5.488 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 5.488 * [taylor]: Taking taylor expansion of y in y 5.488 * [taylor]: Taking taylor expansion of (- x z) in y 5.488 * [taylor]: Taking taylor expansion of x in y 5.488 * [taylor]: Taking taylor expansion of z in y 5.488 * [taylor]: Taking taylor expansion of 0 in x 5.488 * [taylor]: Taking taylor expansion of 0 in z 5.488 * [taylor]: Taking taylor expansion of 0 in t 5.490 * [taylor]: Taking taylor expansion of (- (* t x) (* t z)) in x 5.490 * [taylor]: Taking taylor expansion of (* t x) in x 5.490 * [taylor]: Taking taylor expansion of t in x 5.490 * [taylor]: Taking taylor expansion of x in x 5.490 * [taylor]: Taking taylor expansion of (* t z) in x 5.490 * [taylor]: Taking taylor expansion of t in x 5.490 * [taylor]: Taking taylor expansion of z in x 5.490 * [taylor]: Taking taylor expansion of (- (* t z)) in z 5.490 * [taylor]: Taking taylor expansion of (* t z) in z 5.490 * [taylor]: Taking taylor expansion of t in z 5.490 * [taylor]: Taking taylor expansion of z in z 5.490 * [taylor]: Taking taylor expansion of 0 in t 5.490 * [taylor]: Taking taylor expansion of 0 in z 5.490 * [taylor]: Taking taylor expansion of 0 in t 5.490 * [taylor]: Taking taylor expansion of 0 in t 5.492 * [taylor]: Taking taylor expansion of 0 in x 5.492 * [taylor]: Taking taylor expansion of 0 in z 5.492 * [taylor]: Taking taylor expansion of 0 in t 5.492 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (y x z t) around 0 5.492 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t 5.492 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 5.492 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.492 * [taylor]: Taking taylor expansion of x in t 5.492 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.492 * [taylor]: Taking taylor expansion of z in t 5.492 * [taylor]: Taking taylor expansion of (* t y) in t 5.492 * [taylor]: Taking taylor expansion of t in t 5.492 * [taylor]: Taking taylor expansion of y in t 5.493 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z 5.493 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.493 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.493 * [taylor]: Taking taylor expansion of x in z 5.493 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.493 * [taylor]: Taking taylor expansion of z in z 5.493 * [taylor]: Taking taylor expansion of (* t y) in z 5.493 * [taylor]: Taking taylor expansion of t in z 5.493 * [taylor]: Taking taylor expansion of y in z 5.494 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x 5.494 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.494 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.494 * [taylor]: Taking taylor expansion of x in x 5.494 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.494 * [taylor]: Taking taylor expansion of z in x 5.494 * [taylor]: Taking taylor expansion of (* t y) in x 5.494 * [taylor]: Taking taylor expansion of t in x 5.494 * [taylor]: Taking taylor expansion of y in x 5.494 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y 5.494 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.494 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.494 * [taylor]: Taking taylor expansion of x in y 5.495 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.495 * [taylor]: Taking taylor expansion of z in y 5.495 * [taylor]: Taking taylor expansion of (* t y) in y 5.495 * [taylor]: Taking taylor expansion of t in y 5.495 * [taylor]: Taking taylor expansion of y in y 5.495 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y 5.495 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.495 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.495 * [taylor]: Taking taylor expansion of x in y 5.495 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.495 * [taylor]: Taking taylor expansion of z in y 5.495 * [taylor]: Taking taylor expansion of (* t y) in y 5.495 * [taylor]: Taking taylor expansion of t in y 5.495 * [taylor]: Taking taylor expansion of y in y 5.496 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 5.496 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.496 * [taylor]: Taking taylor expansion of x in x 5.496 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.496 * [taylor]: Taking taylor expansion of z in x 5.496 * [taylor]: Taking taylor expansion of t in x 5.497 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.497 * [taylor]: Taking taylor expansion of t in z 5.498 * [taylor]: Taking taylor expansion of 0 in x 5.498 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 5.498 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 5.498 * [taylor]: Taking taylor expansion of (* t z) in z 5.498 * [taylor]: Taking taylor expansion of t in z 5.498 * [taylor]: Taking taylor expansion of z in z 5.499 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 5.499 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.499 * [taylor]: Taking taylor expansion of t in t 5.499 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.499 * [taylor]: Taking taylor expansion of t in t 5.501 * [taylor]: Taking taylor expansion of 0 in x 5.501 * [taylor]: Taking taylor expansion of 0 in z 5.502 * [taylor]: Taking taylor expansion of 0 in z 5.503 * [taylor]: Taking taylor expansion of 0 in t 5.503 * [taylor]: Taking taylor expansion of 0 in t 5.505 * [taylor]: Taking taylor expansion of 0 in x 5.505 * [taylor]: Taking taylor expansion of 0 in z 5.505 * [taylor]: Taking taylor expansion of 0 in z 5.506 * [taylor]: Taking taylor expansion of 0 in z 5.507 * [taylor]: Taking taylor expansion of 0 in t 5.507 * [taylor]: Taking taylor expansion of 0 in t 5.507 * [taylor]: Taking taylor expansion of 0 in t 5.507 * [taylor]: Taking taylor expansion of 0 in t 5.509 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in (y x z t) around 0 5.509 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in t 5.509 * [taylor]: Taking taylor expansion of -1 in t 5.510 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in t 5.510 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in t 5.510 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 5.510 * [taylor]: Taking taylor expansion of (cbrt -1) in t 5.510 * [taylor]: Taking taylor expansion of -1 in t 5.510 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 5.510 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.510 * [taylor]: Taking taylor expansion of z in t 5.510 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.510 * [taylor]: Taking taylor expansion of x in t 5.511 * [taylor]: Taking taylor expansion of (* t y) in t 5.511 * [taylor]: Taking taylor expansion of t in t 5.511 * [taylor]: Taking taylor expansion of y in t 5.514 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in z 5.514 * [taylor]: Taking taylor expansion of -1 in z 5.514 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in z 5.514 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in z 5.514 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 5.514 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.514 * [taylor]: Taking taylor expansion of -1 in z 5.515 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.515 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.515 * [taylor]: Taking taylor expansion of z in z 5.515 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.515 * [taylor]: Taking taylor expansion of x in z 5.515 * [taylor]: Taking taylor expansion of (* t y) in z 5.515 * [taylor]: Taking taylor expansion of t in z 5.515 * [taylor]: Taking taylor expansion of y in z 5.522 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in x 5.522 * [taylor]: Taking taylor expansion of -1 in x 5.522 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in x 5.522 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in x 5.522 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 5.522 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.522 * [taylor]: Taking taylor expansion of -1 in x 5.522 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.522 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.522 * [taylor]: Taking taylor expansion of z in x 5.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.523 * [taylor]: Taking taylor expansion of x in x 5.523 * [taylor]: Taking taylor expansion of (* t y) in x 5.523 * [taylor]: Taking taylor expansion of t in x 5.523 * [taylor]: Taking taylor expansion of y in x 5.527 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in y 5.527 * [taylor]: Taking taylor expansion of -1 in y 5.527 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in y 5.527 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in y 5.527 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 5.527 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.527 * [taylor]: Taking taylor expansion of -1 in y 5.527 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.528 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.528 * [taylor]: Taking taylor expansion of z in y 5.528 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.528 * [taylor]: Taking taylor expansion of x in y 5.528 * [taylor]: Taking taylor expansion of (* t y) in y 5.528 * [taylor]: Taking taylor expansion of t in y 5.528 * [taylor]: Taking taylor expansion of y in y 5.531 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in y 5.531 * [taylor]: Taking taylor expansion of -1 in y 5.531 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in y 5.531 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in y 5.531 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 5.531 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.531 * [taylor]: Taking taylor expansion of -1 in y 5.532 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.532 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.532 * [taylor]: Taking taylor expansion of z in y 5.532 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.532 * [taylor]: Taking taylor expansion of x in y 5.532 * [taylor]: Taking taylor expansion of (* t y) in y 5.532 * [taylor]: Taking taylor expansion of t in y 5.532 * [taylor]: Taking taylor expansion of y in y 5.536 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x 5.536 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.536 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.536 * [taylor]: Taking taylor expansion of z in x 5.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.536 * [taylor]: Taking taylor expansion of x in x 5.536 * [taylor]: Taking taylor expansion of t in x 5.537 * [taylor]: Taking taylor expansion of (/ -1 t) in z 5.537 * [taylor]: Taking taylor expansion of -1 in z 5.537 * [taylor]: Taking taylor expansion of t in z 5.540 * [taylor]: Taking taylor expansion of 0 in x 5.540 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 5.540 * [taylor]: Taking taylor expansion of (* t z) in z 5.541 * [taylor]: Taking taylor expansion of t in z 5.541 * [taylor]: Taking taylor expansion of z in z 5.541 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.541 * [taylor]: Taking taylor expansion of t in t 5.541 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.541 * [taylor]: Taking taylor expansion of -1 in t 5.541 * [taylor]: Taking taylor expansion of t in t 5.546 * [taylor]: Taking taylor expansion of 0 in x 5.546 * [taylor]: Taking taylor expansion of 0 in z 5.547 * [taylor]: Taking taylor expansion of 0 in z 5.548 * [taylor]: Taking taylor expansion of 0 in t 5.548 * [taylor]: Taking taylor expansion of 0 in t 5.554 * [taylor]: Taking taylor expansion of 0 in x 5.554 * [taylor]: Taking taylor expansion of 0 in z 5.554 * [taylor]: Taking taylor expansion of 0 in z 5.555 * [taylor]: Taking taylor expansion of 0 in z 5.555 * [taylor]: Taking taylor expansion of 0 in t 5.555 * [taylor]: Taking taylor expansion of 0 in t 5.556 * [taylor]: Taking taylor expansion of 0 in t 5.556 * [taylor]: Taking taylor expansion of 0 in t 5.558 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 5.558 * [approximate]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in (y x z t) around 0 5.558 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in t 5.558 * [taylor]: Taking taylor expansion of (* t (- x z)) in t 5.558 * [taylor]: Taking taylor expansion of t in t 5.558 * [taylor]: Taking taylor expansion of (- x z) in t 5.558 * [taylor]: Taking taylor expansion of x in t 5.558 * [taylor]: Taking taylor expansion of z in t 5.558 * [taylor]: Taking taylor expansion of (pow y 1/3) in t 5.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in t 5.558 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in t 5.558 * [taylor]: Taking taylor expansion of 1/3 in t 5.558 * [taylor]: Taking taylor expansion of (log y) in t 5.558 * [taylor]: Taking taylor expansion of y in t 5.558 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in z 5.558 * [taylor]: Taking taylor expansion of (* t (- x z)) in z 5.558 * [taylor]: Taking taylor expansion of t in z 5.558 * [taylor]: Taking taylor expansion of (- x z) in z 5.558 * [taylor]: Taking taylor expansion of x in z 5.558 * [taylor]: Taking taylor expansion of z in z 5.558 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 5.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 5.558 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 5.558 * [taylor]: Taking taylor expansion of 1/3 in z 5.558 * [taylor]: Taking taylor expansion of (log y) in z 5.558 * [taylor]: Taking taylor expansion of y in z 5.558 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in x 5.558 * [taylor]: Taking taylor expansion of (* t (- x z)) in x 5.558 * [taylor]: Taking taylor expansion of t in x 5.558 * [taylor]: Taking taylor expansion of (- x z) in x 5.558 * [taylor]: Taking taylor expansion of x in x 5.558 * [taylor]: Taking taylor expansion of z in x 5.558 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 5.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 5.558 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 5.558 * [taylor]: Taking taylor expansion of 1/3 in x 5.558 * [taylor]: Taking taylor expansion of (log y) in x 5.558 * [taylor]: Taking taylor expansion of y in x 5.559 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in y 5.559 * [taylor]: Taking taylor expansion of (* t (- x z)) in y 5.559 * [taylor]: Taking taylor expansion of t in y 5.559 * [taylor]: Taking taylor expansion of (- x z) in y 5.559 * [taylor]: Taking taylor expansion of x in y 5.559 * [taylor]: Taking taylor expansion of z in y 5.559 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.559 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.559 * [taylor]: Taking taylor expansion of 1/3 in y 5.559 * [taylor]: Taking taylor expansion of (log y) in y 5.559 * [taylor]: Taking taylor expansion of y in y 5.559 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in y 5.559 * [taylor]: Taking taylor expansion of (* t (- x z)) in y 5.559 * [taylor]: Taking taylor expansion of t in y 5.559 * [taylor]: Taking taylor expansion of (- x z) in y 5.559 * [taylor]: Taking taylor expansion of x in y 5.559 * [taylor]: Taking taylor expansion of z in y 5.559 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.559 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.559 * [taylor]: Taking taylor expansion of 1/3 in y 5.559 * [taylor]: Taking taylor expansion of (log y) in y 5.559 * [taylor]: Taking taylor expansion of y in y 5.560 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in x 5.560 * [taylor]: Taking taylor expansion of (* t (- x z)) in x 5.560 * [taylor]: Taking taylor expansion of t in x 5.560 * [taylor]: Taking taylor expansion of (- x z) in x 5.560 * [taylor]: Taking taylor expansion of x in x 5.560 * [taylor]: Taking taylor expansion of z in x 5.560 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 5.560 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 5.560 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 5.560 * [taylor]: Taking taylor expansion of 1/3 in x 5.560 * [taylor]: Taking taylor expansion of (log y) in x 5.560 * [taylor]: Taking taylor expansion of y in x 5.561 * [taylor]: Taking taylor expansion of (* -1 (* (* t z) (pow y 1/3))) in z 5.561 * [taylor]: Taking taylor expansion of -1 in z 5.561 * [taylor]: Taking taylor expansion of (* (* t z) (pow y 1/3)) in z 5.561 * [taylor]: Taking taylor expansion of (* t z) in z 5.561 * [taylor]: Taking taylor expansion of t in z 5.561 * [taylor]: Taking taylor expansion of z in z 5.561 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 5.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 5.561 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 5.561 * [taylor]: Taking taylor expansion of 1/3 in z 5.561 * [taylor]: Taking taylor expansion of (log y) in z 5.561 * [taylor]: Taking taylor expansion of y in z 5.561 * [taylor]: Taking taylor expansion of 0 in t 5.564 * [taylor]: Taking taylor expansion of 0 in x 5.564 * [taylor]: Taking taylor expansion of 0 in z 5.564 * [taylor]: Taking taylor expansion of 0 in t 5.566 * [taylor]: Taking taylor expansion of (* t (pow y 1/3)) in z 5.566 * [taylor]: Taking taylor expansion of t in z 5.566 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 5.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 5.566 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 5.566 * [taylor]: Taking taylor expansion of 1/3 in z 5.566 * [taylor]: Taking taylor expansion of (log y) in z 5.566 * [taylor]: Taking taylor expansion of y in z 5.566 * [taylor]: Taking taylor expansion of (* t (pow y 1/3)) in t 5.566 * [taylor]: Taking taylor expansion of t in t 5.566 * [taylor]: Taking taylor expansion of (pow y 1/3) in t 5.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in t 5.566 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in t 5.566 * [taylor]: Taking taylor expansion of 1/3 in t 5.566 * [taylor]: Taking taylor expansion of (log y) in t 5.566 * [taylor]: Taking taylor expansion of y in t 5.569 * [taylor]: Taking taylor expansion of (- (* t (pow y 1/3))) in t 5.569 * [taylor]: Taking taylor expansion of (* t (pow y 1/3)) in t 5.569 * [taylor]: Taking taylor expansion of t in t 5.569 * [taylor]: Taking taylor expansion of (pow y 1/3) in t 5.569 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in t 5.569 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in t 5.569 * [taylor]: Taking taylor expansion of 1/3 in t 5.569 * [taylor]: Taking taylor expansion of (log y) in t 5.569 * [taylor]: Taking taylor expansion of y in t 5.573 * [taylor]: Taking taylor expansion of 0 in x 5.573 * [taylor]: Taking taylor expansion of 0 in z 5.573 * [taylor]: Taking taylor expansion of 0 in t 5.573 * [approximate]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in (y x z t) around 0 5.573 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in t 5.573 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t 5.573 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 5.573 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.573 * [taylor]: Taking taylor expansion of x in t 5.574 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.574 * [taylor]: Taking taylor expansion of z in t 5.574 * [taylor]: Taking taylor expansion of t in t 5.574 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 5.574 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 5.574 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 5.574 * [taylor]: Taking taylor expansion of 1/3 in t 5.574 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 5.574 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.574 * [taylor]: Taking taylor expansion of y in t 5.574 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in z 5.574 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in z 5.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 5.574 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.574 * [taylor]: Taking taylor expansion of x in z 5.574 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.574 * [taylor]: Taking taylor expansion of z in z 5.574 * [taylor]: Taking taylor expansion of t in z 5.575 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 5.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 5.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 5.575 * [taylor]: Taking taylor expansion of 1/3 in z 5.575 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 5.575 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.575 * [taylor]: Taking taylor expansion of y in z 5.575 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in x 5.575 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 5.575 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.575 * [taylor]: Taking taylor expansion of x in x 5.575 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.576 * [taylor]: Taking taylor expansion of z in x 5.576 * [taylor]: Taking taylor expansion of t in x 5.576 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.576 * [taylor]: Taking taylor expansion of 1/3 in x 5.576 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.576 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.576 * [taylor]: Taking taylor expansion of y in x 5.576 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in y 5.576 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in y 5.576 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.576 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.576 * [taylor]: Taking taylor expansion of x in y 5.576 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.576 * [taylor]: Taking taylor expansion of z in y 5.576 * [taylor]: Taking taylor expansion of t in y 5.576 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.576 * [taylor]: Taking taylor expansion of 1/3 in y 5.576 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.577 * [taylor]: Taking taylor expansion of y in y 5.577 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in y 5.577 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in y 5.577 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 5.577 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.577 * [taylor]: Taking taylor expansion of x in y 5.577 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.577 * [taylor]: Taking taylor expansion of z in y 5.578 * [taylor]: Taking taylor expansion of t in y 5.578 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.578 * [taylor]: Taking taylor expansion of 1/3 in y 5.578 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.578 * [taylor]: Taking taylor expansion of y in y 5.579 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in x 5.579 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 5.579 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 5.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.579 * [taylor]: Taking taylor expansion of x in x 5.579 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.579 * [taylor]: Taking taylor expansion of z in x 5.579 * [taylor]: Taking taylor expansion of t in x 5.580 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.580 * [taylor]: Taking taylor expansion of 1/3 in x 5.580 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.580 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.580 * [taylor]: Taking taylor expansion of y in x 5.580 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/3)) in z 5.580 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.580 * [taylor]: Taking taylor expansion of t in z 5.580 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 5.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 5.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 5.580 * [taylor]: Taking taylor expansion of 1/3 in z 5.580 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 5.580 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.580 * [taylor]: Taking taylor expansion of y in z 5.583 * [taylor]: Taking taylor expansion of 0 in x 5.585 * [taylor]: Taking taylor expansion of (- (* (/ 1 (* t z)) (pow (/ 1 y) 1/3))) in z 5.585 * [taylor]: Taking taylor expansion of (* (/ 1 (* t z)) (pow (/ 1 y) 1/3)) in z 5.586 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 5.586 * [taylor]: Taking taylor expansion of (* t z) in z 5.586 * [taylor]: Taking taylor expansion of t in z 5.586 * [taylor]: Taking taylor expansion of z in z 5.586 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 5.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 5.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 5.586 * [taylor]: Taking taylor expansion of 1/3 in z 5.586 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 5.586 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.586 * [taylor]: Taking taylor expansion of y in z 5.586 * [taylor]: Taking taylor expansion of (- (* (/ 1 t) (pow (/ 1 y) 1/3))) in t 5.586 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/3)) in t 5.586 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.586 * [taylor]: Taking taylor expansion of t in t 5.587 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 5.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 5.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 5.587 * [taylor]: Taking taylor expansion of 1/3 in t 5.587 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 5.587 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.587 * [taylor]: Taking taylor expansion of y in t 5.587 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/3)) in t 5.587 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.587 * [taylor]: Taking taylor expansion of t in t 5.588 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 5.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 5.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 5.588 * [taylor]: Taking taylor expansion of 1/3 in t 5.588 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 5.588 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.588 * [taylor]: Taking taylor expansion of y in t 5.593 * [taylor]: Taking taylor expansion of 0 in x 5.593 * [taylor]: Taking taylor expansion of 0 in z 5.596 * [taylor]: Taking taylor expansion of 0 in z 5.599 * [taylor]: Taking taylor expansion of 0 in t 5.600 * [taylor]: Taking taylor expansion of 0 in t 5.615 * [taylor]: Taking taylor expansion of 0 in x 5.615 * [taylor]: Taking taylor expansion of 0 in z 5.615 * [taylor]: Taking taylor expansion of 0 in z 5.621 * [taylor]: Taking taylor expansion of 0 in z 5.621 * [taylor]: Taking taylor expansion of 0 in t 5.621 * [taylor]: Taking taylor expansion of 0 in t 5.624 * [taylor]: Taking taylor expansion of 0 in t 5.627 * [taylor]: Taking taylor expansion of 0 in t 5.635 * [approximate]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in (y x z t) around 0 5.635 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in t 5.635 * [taylor]: Taking taylor expansion of -1 in t 5.635 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in t 5.635 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in t 5.635 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in t 5.635 * [taylor]: Taking taylor expansion of (cbrt -1) in t 5.635 * [taylor]: Taking taylor expansion of -1 in t 5.636 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 5.636 * [taylor]: Taking taylor expansion of (/ 1 z) in t 5.636 * [taylor]: Taking taylor expansion of z in t 5.636 * [taylor]: Taking taylor expansion of (/ 1 x) in t 5.636 * [taylor]: Taking taylor expansion of x in t 5.636 * [taylor]: Taking taylor expansion of t in t 5.637 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 5.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 5.637 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 5.637 * [taylor]: Taking taylor expansion of 1/3 in t 5.637 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 5.637 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.637 * [taylor]: Taking taylor expansion of y in t 5.637 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in z 5.637 * [taylor]: Taking taylor expansion of -1 in z 5.637 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in z 5.637 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in z 5.637 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in z 5.637 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.637 * [taylor]: Taking taylor expansion of -1 in z 5.638 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 5.638 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.638 * [taylor]: Taking taylor expansion of z in z 5.638 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.638 * [taylor]: Taking taylor expansion of x in z 5.638 * [taylor]: Taking taylor expansion of t in z 5.639 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 5.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 5.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 5.640 * [taylor]: Taking taylor expansion of 1/3 in z 5.640 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 5.640 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.640 * [taylor]: Taking taylor expansion of y in z 5.640 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in x 5.640 * [taylor]: Taking taylor expansion of -1 in x 5.640 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in x 5.640 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in x 5.640 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in x 5.640 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.640 * [taylor]: Taking taylor expansion of -1 in x 5.641 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.641 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.641 * [taylor]: Taking taylor expansion of z in x 5.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.641 * [taylor]: Taking taylor expansion of x in x 5.641 * [taylor]: Taking taylor expansion of t in x 5.642 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.643 * [taylor]: Taking taylor expansion of 1/3 in x 5.643 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.643 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.643 * [taylor]: Taking taylor expansion of y in x 5.643 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in y 5.643 * [taylor]: Taking taylor expansion of -1 in y 5.643 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in y 5.643 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in y 5.643 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in y 5.643 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.643 * [taylor]: Taking taylor expansion of -1 in y 5.644 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.644 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.644 * [taylor]: Taking taylor expansion of z in y 5.644 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.644 * [taylor]: Taking taylor expansion of x in y 5.644 * [taylor]: Taking taylor expansion of t in y 5.644 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.645 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.645 * [taylor]: Taking taylor expansion of 1/3 in y 5.645 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.645 * [taylor]: Taking taylor expansion of y in y 5.645 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in y 5.645 * [taylor]: Taking taylor expansion of -1 in y 5.645 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in y 5.646 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in y 5.646 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in y 5.646 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.646 * [taylor]: Taking taylor expansion of -1 in y 5.646 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 5.646 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.646 * [taylor]: Taking taylor expansion of z in y 5.646 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.646 * [taylor]: Taking taylor expansion of x in y 5.646 * [taylor]: Taking taylor expansion of t in y 5.647 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.647 * [taylor]: Taking taylor expansion of 1/3 in y 5.648 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.648 * [taylor]: Taking taylor expansion of y in y 5.649 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in x 5.649 * [taylor]: Taking taylor expansion of -1 in x 5.649 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in x 5.649 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in x 5.650 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in x 5.650 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.650 * [taylor]: Taking taylor expansion of -1 in x 5.650 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 5.650 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.650 * [taylor]: Taking taylor expansion of z in x 5.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.650 * [taylor]: Taking taylor expansion of x in x 5.651 * [taylor]: Taking taylor expansion of t in x 5.652 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 5.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 5.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 5.652 * [taylor]: Taking taylor expansion of 1/3 in x 5.652 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 5.652 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.652 * [taylor]: Taking taylor expansion of y in x 5.653 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) t) (pow (/ 1 y) 1/3)) in z 5.653 * [taylor]: Taking taylor expansion of (/ (cbrt -1) t) in z 5.653 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.653 * [taylor]: Taking taylor expansion of -1 in z 5.654 * [taylor]: Taking taylor expansion of t in z 5.654 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 5.654 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 5.654 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 5.655 * [taylor]: Taking taylor expansion of 1/3 in z 5.655 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 5.655 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.655 * [taylor]: Taking taylor expansion of y in z 5.659 * [taylor]: Taking taylor expansion of 0 in x 5.665 * [taylor]: Taking taylor expansion of (- (* (/ (cbrt -1) (* z t)) (pow (/ 1 y) 1/3))) in z 5.665 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* z t)) (pow (/ 1 y) 1/3)) in z 5.665 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* z t)) in z 5.665 * [taylor]: Taking taylor expansion of (cbrt -1) in z 5.665 * [taylor]: Taking taylor expansion of -1 in z 5.665 * [taylor]: Taking taylor expansion of (* z t) in z 5.666 * [taylor]: Taking taylor expansion of z in z 5.666 * [taylor]: Taking taylor expansion of t in z 5.666 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 5.666 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 5.666 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 5.666 * [taylor]: Taking taylor expansion of 1/3 in z 5.666 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 5.666 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.666 * [taylor]: Taking taylor expansion of y in z 5.667 * [taylor]: Taking taylor expansion of (- (* (/ (cbrt -1) t) (pow (/ 1 y) 1/3))) in t 5.667 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) t) (pow (/ 1 y) 1/3)) in t 5.667 * [taylor]: Taking taylor expansion of (/ (cbrt -1) t) in t 5.667 * [taylor]: Taking taylor expansion of (cbrt -1) in t 5.667 * [taylor]: Taking taylor expansion of -1 in t 5.668 * [taylor]: Taking taylor expansion of t in t 5.669 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 5.669 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 5.669 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 5.669 * [taylor]: Taking taylor expansion of 1/3 in t 5.669 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 5.669 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.669 * [taylor]: Taking taylor expansion of y in t 5.671 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) t) (pow (/ 1 y) 1/3)) in t 5.671 * [taylor]: Taking taylor expansion of (/ (cbrt -1) t) in t 5.671 * [taylor]: Taking taylor expansion of (cbrt -1) in t 5.671 * [taylor]: Taking taylor expansion of -1 in t 5.671 * [taylor]: Taking taylor expansion of t in t 5.672 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 5.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 5.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 5.672 * [taylor]: Taking taylor expansion of 1/3 in t 5.672 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 5.672 * [taylor]: Taking taylor expansion of (/ 1 y) in t 5.672 * [taylor]: Taking taylor expansion of y in t 5.681 * [taylor]: Taking taylor expansion of 0 in x 5.681 * [taylor]: Taking taylor expansion of 0 in z 5.688 * [taylor]: Taking taylor expansion of 0 in z 5.691 * [taylor]: Taking taylor expansion of 0 in t 5.696 * [taylor]: Taking taylor expansion of 0 in t 5.711 * [taylor]: Taking taylor expansion of 0 in x 5.711 * [taylor]: Taking taylor expansion of 0 in z 5.711 * [taylor]: Taking taylor expansion of 0 in z 5.720 * [taylor]: Taking taylor expansion of 0 in z 5.720 * [taylor]: Taking taylor expansion of 0 in t 5.720 * [taylor]: Taking taylor expansion of 0 in t 5.726 * [taylor]: Taking taylor expansion of 0 in t 5.730 * [taylor]: Taking taylor expansion of 0 in t 5.741 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 5.741 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.741 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.741 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.741 * [taylor]: Taking taylor expansion of 1/3 in y 5.741 * [taylor]: Taking taylor expansion of (log y) in y 5.741 * [taylor]: Taking taylor expansion of y in y 5.742 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.742 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.742 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.742 * [taylor]: Taking taylor expansion of 1/3 in y 5.742 * [taylor]: Taking taylor expansion of (log y) in y 5.742 * [taylor]: Taking taylor expansion of y in y 5.793 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.793 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.793 * [taylor]: Taking taylor expansion of 1/3 in y 5.793 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.793 * [taylor]: Taking taylor expansion of y in y 5.794 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.794 * [taylor]: Taking taylor expansion of 1/3 in y 5.794 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.794 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.794 * [taylor]: Taking taylor expansion of y in y 5.848 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 5.848 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.848 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.848 * [taylor]: Taking taylor expansion of -1 in y 5.849 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.849 * [taylor]: Taking taylor expansion of 1/3 in y 5.849 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.849 * [taylor]: Taking taylor expansion of y in y 5.850 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 5.850 * [taylor]: Taking taylor expansion of (cbrt -1) in y 5.850 * [taylor]: Taking taylor expansion of -1 in y 5.851 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.851 * [taylor]: Taking taylor expansion of 1/3 in y 5.851 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.851 * [taylor]: Taking taylor expansion of y in y 5.913 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 5.914 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 5.914 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.914 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.914 * [taylor]: Taking taylor expansion of 1/3 in y 5.914 * [taylor]: Taking taylor expansion of (log y) in y 5.914 * [taylor]: Taking taylor expansion of y in y 5.914 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 5.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 5.914 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 5.914 * [taylor]: Taking taylor expansion of 1/3 in y 5.914 * [taylor]: Taking taylor expansion of (log y) in y 5.914 * [taylor]: Taking taylor expansion of y in y 5.965 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 5.965 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.965 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.965 * [taylor]: Taking taylor expansion of 1/3 in y 5.965 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.965 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.965 * [taylor]: Taking taylor expansion of y in y 5.966 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 5.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 5.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 5.966 * [taylor]: Taking taylor expansion of 1/3 in y 5.966 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 5.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.966 * [taylor]: Taking taylor expansion of y in y 6.019 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in (y) around 0 6.019 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.019 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.019 * [taylor]: Taking taylor expansion of -1 in y 6.020 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.020 * [taylor]: Taking taylor expansion of 1/3 in y 6.020 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.020 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.020 * [taylor]: Taking taylor expansion of y in y 6.021 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 y) 1/3)) in y 6.021 * [taylor]: Taking taylor expansion of (cbrt -1) in y 6.021 * [taylor]: Taking taylor expansion of -1 in y 6.022 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 6.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 6.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 6.022 * [taylor]: Taking taylor expansion of 1/3 in y 6.022 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 6.022 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.022 * [taylor]: Taking taylor expansion of y in y 6.089 * * * [progress]: simplifying candidates 6.090 * [simplify]: Simplifying using # : (expm1 (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (log1p (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))) (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt y)) (+ (log (- x z)) (log t)))) (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt y)) (log (* (- x z) t)))) (+ (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (* (- x z) t)))) (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt y)) (+ (log (- x z)) (log t)))) (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt y)) (log (* (- x z) t)))) (+ (log (* (cbrt y) (cbrt y))) (log (* (cbrt y) (* (- x z) t)))) (log (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (exp (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (* (* y y) (* y (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t)))) (* (* y y) (* y (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) t)))) (* (* y y) (* (* (* (cbrt y) (* (- x z) t)) (* (cbrt y) (* (- x z) t))) (* (cbrt y) (* (- x z) t)))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* y (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t)))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* y (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) t)))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (* (- x z) t)) (* (cbrt y) (* (- x z) t))) (* (cbrt y) (* (- x z) t)))) (* (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))))) (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (cbrt y)) (* (cbrt y) (* (cbrt y) (* (- x z) t))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- (pow x 3) (pow z 3)) t))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- (* x x) (* z z)) t))) (expm1 (* (cbrt y) (* (- x z) t))) (log1p (* (cbrt y) (* (- x z) t))) (* (cbrt y) (* (- x z) t)) (* (cbrt y) (* (- x z) t)) (+ (log (cbrt y)) (+ (log (- x z)) (log t))) (+ (log (cbrt y)) (log (* (- x z) t))) (log (* (cbrt y) (* (- x z) t))) (exp (* (cbrt y) (* (- x z) t))) (* y (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t))) (* y (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) t))) (* (cbrt (* (cbrt y) (* (- x z) t))) (cbrt (* (cbrt y) (* (- x z) t)))) (cbrt (* (cbrt y) (* (- x z) t))) (* (* (* (cbrt y) (* (- x z) t)) (* (cbrt y) (* (- x z) t))) (* (cbrt y) (* (- x z) t))) (sqrt (* (cbrt y) (* (- x z) t))) (sqrt (* (cbrt y) (* (- x z) t))) (* (cbrt y) (- x z)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (sqrt y)) (* (- x z) t)) (* (cbrt y) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (sqrt (cbrt y)) (* (- x z) t)) (* (cbrt y) (* (- x z) t)) (* (cbrt y) (* (- (pow x 3) (pow z 3)) t)) (* (cbrt y) (* (- (* x x) (* z z)) t)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) 0 (- (* t (* x y)) (* t (* z y))) (- (* t (* x y)) (* t (* z y))) 0 (- (* (* t x) (pow y 1/3)) (* (* t z) (pow y 1/3))) (- (* (pow (* -1 y) 1/3) (* (cbrt -1) (* x t))) (* (pow (* -1 y) 1/3) (* (cbrt -1) (* z t)))) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) (pow y 1/3) (pow (/ 1 y) -1/3) (* (pow (* -1 y) 1/3) (cbrt -1)) 6.094 * * [simplify]: iteration 0 : 119 enodes (cost 1089 ) 6.116 * * [simplify]: iteration 1 : 323 enodes (cost 1046 ) 6.209 * * [simplify]: iteration 2 : 1213 enodes (cost 745 ) 6.996 * * [simplify]: iteration done : 5000 enodes (cost 745 ) 6.996 * [simplify]: Simplified to: (expm1 (* (* (- x z) t) (pow (cbrt y) 3))) (log1p (* (* (- x z) t) (pow (cbrt y) 3))) (* (* (- x z) t) (pow (cbrt y) 3)) (* (* (- x z) t) (pow (cbrt y) 3)) (* (* (- x z) t) (pow (cbrt y) 3)) (* (* (- x z) t) (pow (cbrt y) 3)) (* (* (- x z) t) (pow (cbrt y) 3)) (* (* (- x z) t) (pow (cbrt y) 3)) (log (* (* (- x z) t) (pow (cbrt y) 3))) (log (* (* (- x z) t) (pow (cbrt y) 3))) (log (* (* (- x z) t) (pow (cbrt y) 3))) (log (* (* (- x z) t) (pow (cbrt y) 3))) (log (* (* (- x z) t) (pow (cbrt y) 3))) (log (* (* (- x z) t) (pow (cbrt y) 3))) (log (* (* (- x z) t) (pow (cbrt y) 3))) (exp (* (* (- x z) t) (pow (cbrt y) 3))) (* (pow (* (- x z) t) 3) (* (* y y) y)) (* (pow (* (- x z) t) 3) (* (* y y) y)) (* (* y y) (pow (* (cbrt y) (* (- x z) t)) 3)) (* (* y (pow (* (- x z) t) 3)) (pow (pow y 2/3) 3)) (* (* y (pow (* (- x z) t) 3)) (pow (pow y 2/3) 3)) (pow (* (* (- x z) t) (pow (cbrt y) 3)) 3) (* (cbrt (* (* (- x z) t) (pow (cbrt y) 3))) (cbrt (* (* (- x z) t) (pow (cbrt y) 3)))) (cbrt (* (* (- x z) t) (pow (cbrt y) 3))) (pow (* (* (- x z) t) (pow (cbrt y) 3)) 3) (sqrt (* (* (- x z) t) (pow (cbrt y) 3))) (sqrt (* (* (- x z) t) (pow (cbrt y) 3))) (pow (cbrt y) 3) (* (* (pow y 2/3) t) (- x z)) (* (pow (cbrt y) 3) (* (- (pow x 3) (pow z 3)) t)) (* (* (- (* x x) (* z z)) t) (pow (cbrt y) 3)) (expm1 (* (cbrt y) (* (- x z) t))) (log1p (* (cbrt y) (* (- x z) t))) (* (cbrt y) (* (- x z) t)) (* (cbrt y) (* (- x z) t)) (log (* (cbrt y) (* (- x z) t))) (log (* (cbrt y) (* (- x z) t))) (log (* (cbrt y) (* (- x z) t))) (exp (* (cbrt y) (* (- x z) t))) (* y (pow (* (- x z) t) 3)) (* y (pow (* (- x z) t) 3)) (* (cbrt (* (cbrt y) (* (- x z) t))) (cbrt (* (cbrt y) (* (- x z) t)))) (cbrt (* (cbrt y) (* (- x z) t))) (pow (* (cbrt y) (* (- x z) t)) 3) (sqrt (* (cbrt y) (* (- x z) t))) (sqrt (* (cbrt y) (* (- x z) t))) (* (cbrt y) (- x z)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (sqrt y)) (* (- x z) t)) (* (cbrt y) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (sqrt (cbrt y)) (* (- x z) t)) (* (cbrt y) (* (- x z) t)) (* (cbrt y) (* (- (pow x 3) (pow z 3)) t)) (* (cbrt y) (* (- (* x x) (* z z)) t)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) (expm1 (cbrt y)) (log1p (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (pow (cbrt y) 3) (sqrt (cbrt y)) (sqrt (cbrt y)) 0 (* (* (- x z) t) y) (* (* (- x z) t) y) 0 (* (cbrt y) (* (- x z) t)) (* (* (cbrt -1) (cbrt (- y))) (* (- x z) t)) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) (cbrt y) (pow (/ 1 y) -1/3) (* (cbrt -1) (cbrt (- y))) 6.997 * * * [progress]: adding candidates to table 7.207 * * [progress]: iteration 4 / 4 7.207 * * * [progress]: picking best candidate 7.224 * * * * [pick]: Picked # 7.224 * * * [progress]: localizing error 7.238 * * * [progress]: generating rewritten candidates 7.238 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 7.355 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 7.393 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 7.409 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 7.414 * * * [progress]: generating series expansions 7.414 * * * * [progress]: [ 1 / 4 ] generating series at (2) 7.414 * [approximate]: Taking taylor expansion of (* t (* y (- x z))) in (y x z t) around 0 7.414 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in t 7.414 * [taylor]: Taking taylor expansion of t in t 7.414 * [taylor]: Taking taylor expansion of (* y (- x z)) in t 7.414 * [taylor]: Taking taylor expansion of y in t 7.414 * [taylor]: Taking taylor expansion of (- x z) in t 7.414 * [taylor]: Taking taylor expansion of x in t 7.414 * [taylor]: Taking taylor expansion of z in t 7.414 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in z 7.414 * [taylor]: Taking taylor expansion of t in z 7.414 * [taylor]: Taking taylor expansion of (* y (- x z)) in z 7.414 * [taylor]: Taking taylor expansion of y in z 7.414 * [taylor]: Taking taylor expansion of (- x z) in z 7.414 * [taylor]: Taking taylor expansion of x in z 7.414 * [taylor]: Taking taylor expansion of z in z 7.414 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in x 7.414 * [taylor]: Taking taylor expansion of t in x 7.414 * [taylor]: Taking taylor expansion of (* y (- x z)) in x 7.414 * [taylor]: Taking taylor expansion of y in x 7.414 * [taylor]: Taking taylor expansion of (- x z) in x 7.414 * [taylor]: Taking taylor expansion of x in x 7.414 * [taylor]: Taking taylor expansion of z in x 7.414 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y 7.414 * [taylor]: Taking taylor expansion of t in y 7.414 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 7.414 * [taylor]: Taking taylor expansion of y in y 7.415 * [taylor]: Taking taylor expansion of (- x z) in y 7.415 * [taylor]: Taking taylor expansion of x in y 7.415 * [taylor]: Taking taylor expansion of z in y 7.415 * [taylor]: Taking taylor expansion of (* t (* y (- x z))) in y 7.415 * [taylor]: Taking taylor expansion of t in y 7.415 * [taylor]: Taking taylor expansion of (* y (- x z)) in y 7.415 * [taylor]: Taking taylor expansion of y in y 7.415 * [taylor]: Taking taylor expansion of (- x z) in y 7.415 * [taylor]: Taking taylor expansion of x in y 7.415 * [taylor]: Taking taylor expansion of z in y 7.415 * [taylor]: Taking taylor expansion of 0 in x 7.415 * [taylor]: Taking taylor expansion of 0 in z 7.415 * [taylor]: Taking taylor expansion of 0 in t 7.416 * [taylor]: Taking taylor expansion of (- (* t x) (* t z)) in x 7.416 * [taylor]: Taking taylor expansion of (* t x) in x 7.416 * [taylor]: Taking taylor expansion of t in x 7.416 * [taylor]: Taking taylor expansion of x in x 7.416 * [taylor]: Taking taylor expansion of (* t z) in x 7.416 * [taylor]: Taking taylor expansion of t in x 7.416 * [taylor]: Taking taylor expansion of z in x 7.416 * [taylor]: Taking taylor expansion of (- (* t z)) in z 7.417 * [taylor]: Taking taylor expansion of (* t z) in z 7.417 * [taylor]: Taking taylor expansion of t in z 7.417 * [taylor]: Taking taylor expansion of z in z 7.417 * [taylor]: Taking taylor expansion of 0 in t 7.417 * [taylor]: Taking taylor expansion of 0 in z 7.417 * [taylor]: Taking taylor expansion of 0 in t 7.417 * [taylor]: Taking taylor expansion of 0 in t 7.418 * [taylor]: Taking taylor expansion of 0 in x 7.418 * [taylor]: Taking taylor expansion of 0 in z 7.418 * [taylor]: Taking taylor expansion of 0 in t 7.419 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in (y x z t) around 0 7.419 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in t 7.419 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 7.419 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.419 * [taylor]: Taking taylor expansion of x in t 7.419 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.419 * [taylor]: Taking taylor expansion of z in t 7.419 * [taylor]: Taking taylor expansion of (* t y) in t 7.419 * [taylor]: Taking taylor expansion of t in t 7.419 * [taylor]: Taking taylor expansion of y in t 7.419 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in z 7.419 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.419 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.419 * [taylor]: Taking taylor expansion of x in z 7.419 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.419 * [taylor]: Taking taylor expansion of z in z 7.420 * [taylor]: Taking taylor expansion of (* t y) in z 7.420 * [taylor]: Taking taylor expansion of t in z 7.420 * [taylor]: Taking taylor expansion of y in z 7.420 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in x 7.420 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.420 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.420 * [taylor]: Taking taylor expansion of x in x 7.421 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.421 * [taylor]: Taking taylor expansion of z in x 7.421 * [taylor]: Taking taylor expansion of (* t y) in x 7.421 * [taylor]: Taking taylor expansion of t in x 7.421 * [taylor]: Taking taylor expansion of y in x 7.421 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y 7.421 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.421 * [taylor]: Taking taylor expansion of x in y 7.421 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.421 * [taylor]: Taking taylor expansion of z in y 7.421 * [taylor]: Taking taylor expansion of (* t y) in y 7.421 * [taylor]: Taking taylor expansion of t in y 7.421 * [taylor]: Taking taylor expansion of y in y 7.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) (* t y)) in y 7.422 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.422 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.422 * [taylor]: Taking taylor expansion of x in y 7.422 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.422 * [taylor]: Taking taylor expansion of z in y 7.422 * [taylor]: Taking taylor expansion of (* t y) in y 7.422 * [taylor]: Taking taylor expansion of t in y 7.422 * [taylor]: Taking taylor expansion of y in y 7.422 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 7.422 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.422 * [taylor]: Taking taylor expansion of x in x 7.423 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.423 * [taylor]: Taking taylor expansion of z in x 7.423 * [taylor]: Taking taylor expansion of t in x 7.423 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.423 * [taylor]: Taking taylor expansion of t in z 7.424 * [taylor]: Taking taylor expansion of 0 in x 7.425 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 7.425 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 7.425 * [taylor]: Taking taylor expansion of (* t z) in z 7.425 * [taylor]: Taking taylor expansion of t in z 7.425 * [taylor]: Taking taylor expansion of z in z 7.425 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 7.425 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.425 * [taylor]: Taking taylor expansion of t in t 7.426 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.426 * [taylor]: Taking taylor expansion of t in t 7.427 * [taylor]: Taking taylor expansion of 0 in x 7.427 * [taylor]: Taking taylor expansion of 0 in z 7.429 * [taylor]: Taking taylor expansion of 0 in z 7.430 * [taylor]: Taking taylor expansion of 0 in t 7.430 * [taylor]: Taking taylor expansion of 0 in t 7.432 * [taylor]: Taking taylor expansion of 0 in x 7.432 * [taylor]: Taking taylor expansion of 0 in z 7.432 * [taylor]: Taking taylor expansion of 0 in z 7.433 * [taylor]: Taking taylor expansion of 0 in z 7.433 * [taylor]: Taking taylor expansion of 0 in t 7.433 * [taylor]: Taking taylor expansion of 0 in t 7.437 * [taylor]: Taking taylor expansion of 0 in t 7.438 * [taylor]: Taking taylor expansion of 0 in t 7.440 * [approximate]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in (y x z t) around 0 7.440 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in t 7.440 * [taylor]: Taking taylor expansion of -1 in t 7.440 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in t 7.440 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in t 7.440 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in t 7.440 * [taylor]: Taking taylor expansion of (cbrt -1) in t 7.440 * [taylor]: Taking taylor expansion of -1 in t 7.441 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 7.441 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.441 * [taylor]: Taking taylor expansion of z in t 7.441 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.441 * [taylor]: Taking taylor expansion of x in t 7.441 * [taylor]: Taking taylor expansion of (* t y) in t 7.441 * [taylor]: Taking taylor expansion of t in t 7.441 * [taylor]: Taking taylor expansion of y in t 7.444 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in z 7.444 * [taylor]: Taking taylor expansion of -1 in z 7.444 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in z 7.444 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in z 7.444 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in z 7.444 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.445 * [taylor]: Taking taylor expansion of -1 in z 7.445 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.445 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.445 * [taylor]: Taking taylor expansion of z in z 7.446 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.446 * [taylor]: Taking taylor expansion of x in z 7.446 * [taylor]: Taking taylor expansion of (* t y) in z 7.446 * [taylor]: Taking taylor expansion of t in z 7.446 * [taylor]: Taking taylor expansion of y in z 7.449 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in x 7.449 * [taylor]: Taking taylor expansion of -1 in x 7.449 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in x 7.449 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in x 7.449 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in x 7.449 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.449 * [taylor]: Taking taylor expansion of -1 in x 7.450 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.450 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.450 * [taylor]: Taking taylor expansion of z in x 7.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.450 * [taylor]: Taking taylor expansion of x in x 7.451 * [taylor]: Taking taylor expansion of (* t y) in x 7.451 * [taylor]: Taking taylor expansion of t in x 7.451 * [taylor]: Taking taylor expansion of y in x 7.455 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in y 7.455 * [taylor]: Taking taylor expansion of -1 in y 7.455 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in y 7.455 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in y 7.455 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 7.455 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.455 * [taylor]: Taking taylor expansion of -1 in y 7.455 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.455 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.455 * [taylor]: Taking taylor expansion of z in y 7.455 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.455 * [taylor]: Taking taylor expansion of x in y 7.456 * [taylor]: Taking taylor expansion of (* t y) in y 7.456 * [taylor]: Taking taylor expansion of t in y 7.456 * [taylor]: Taking taylor expansion of y in y 7.459 * [taylor]: Taking taylor expansion of (* -1 (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y))) in y 7.459 * [taylor]: Taking taylor expansion of -1 in y 7.459 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) (* t y)) in y 7.459 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 3) (- (/ 1 z) (/ 1 x))) in y 7.459 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 3) in y 7.459 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.459 * [taylor]: Taking taylor expansion of -1 in y 7.460 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.460 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.460 * [taylor]: Taking taylor expansion of z in y 7.460 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.460 * [taylor]: Taking taylor expansion of x in y 7.460 * [taylor]: Taking taylor expansion of (* t y) in y 7.460 * [taylor]: Taking taylor expansion of t in y 7.460 * [taylor]: Taking taylor expansion of y in y 7.464 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x 7.464 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.464 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.464 * [taylor]: Taking taylor expansion of z in x 7.464 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.464 * [taylor]: Taking taylor expansion of x in x 7.464 * [taylor]: Taking taylor expansion of t in x 7.465 * [taylor]: Taking taylor expansion of (/ -1 t) in z 7.465 * [taylor]: Taking taylor expansion of -1 in z 7.465 * [taylor]: Taking taylor expansion of t in z 7.468 * [taylor]: Taking taylor expansion of 0 in x 7.469 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 7.469 * [taylor]: Taking taylor expansion of (* t z) in z 7.469 * [taylor]: Taking taylor expansion of t in z 7.469 * [taylor]: Taking taylor expansion of z in z 7.469 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.469 * [taylor]: Taking taylor expansion of t in t 7.469 * [taylor]: Taking taylor expansion of (/ -1 t) in t 7.469 * [taylor]: Taking taylor expansion of -1 in t 7.469 * [taylor]: Taking taylor expansion of t in t 7.474 * [taylor]: Taking taylor expansion of 0 in x 7.474 * [taylor]: Taking taylor expansion of 0 in z 7.476 * [taylor]: Taking taylor expansion of 0 in z 7.476 * [taylor]: Taking taylor expansion of 0 in t 7.476 * [taylor]: Taking taylor expansion of 0 in t 7.483 * [taylor]: Taking taylor expansion of 0 in x 7.483 * [taylor]: Taking taylor expansion of 0 in z 7.483 * [taylor]: Taking taylor expansion of 0 in z 7.484 * [taylor]: Taking taylor expansion of 0 in z 7.484 * [taylor]: Taking taylor expansion of 0 in t 7.484 * [taylor]: Taking taylor expansion of 0 in t 7.485 * [taylor]: Taking taylor expansion of 0 in t 7.485 * [taylor]: Taking taylor expansion of 0 in t 7.486 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 7.486 * [approximate]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in (y x z t) around 0 7.486 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in t 7.486 * [taylor]: Taking taylor expansion of (* t (- x z)) in t 7.486 * [taylor]: Taking taylor expansion of t in t 7.486 * [taylor]: Taking taylor expansion of (- x z) in t 7.486 * [taylor]: Taking taylor expansion of x in t 7.486 * [taylor]: Taking taylor expansion of z in t 7.487 * [taylor]: Taking taylor expansion of (pow y 1/3) in t 7.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in t 7.487 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in t 7.487 * [taylor]: Taking taylor expansion of 1/3 in t 7.487 * [taylor]: Taking taylor expansion of (log y) in t 7.487 * [taylor]: Taking taylor expansion of y in t 7.487 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in z 7.487 * [taylor]: Taking taylor expansion of (* t (- x z)) in z 7.487 * [taylor]: Taking taylor expansion of t in z 7.487 * [taylor]: Taking taylor expansion of (- x z) in z 7.487 * [taylor]: Taking taylor expansion of x in z 7.487 * [taylor]: Taking taylor expansion of z in z 7.487 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 7.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 7.487 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 7.487 * [taylor]: Taking taylor expansion of 1/3 in z 7.487 * [taylor]: Taking taylor expansion of (log y) in z 7.487 * [taylor]: Taking taylor expansion of y in z 7.487 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in x 7.487 * [taylor]: Taking taylor expansion of (* t (- x z)) in x 7.487 * [taylor]: Taking taylor expansion of t in x 7.487 * [taylor]: Taking taylor expansion of (- x z) in x 7.487 * [taylor]: Taking taylor expansion of x in x 7.487 * [taylor]: Taking taylor expansion of z in x 7.487 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 7.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 7.487 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 7.487 * [taylor]: Taking taylor expansion of 1/3 in x 7.487 * [taylor]: Taking taylor expansion of (log y) in x 7.487 * [taylor]: Taking taylor expansion of y in x 7.487 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in y 7.487 * [taylor]: Taking taylor expansion of (* t (- x z)) in y 7.487 * [taylor]: Taking taylor expansion of t in y 7.487 * [taylor]: Taking taylor expansion of (- x z) in y 7.487 * [taylor]: Taking taylor expansion of x in y 7.487 * [taylor]: Taking taylor expansion of z in y 7.487 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.487 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.487 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.487 * [taylor]: Taking taylor expansion of 1/3 in y 7.487 * [taylor]: Taking taylor expansion of (log y) in y 7.487 * [taylor]: Taking taylor expansion of y in y 7.488 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in y 7.488 * [taylor]: Taking taylor expansion of (* t (- x z)) in y 7.488 * [taylor]: Taking taylor expansion of t in y 7.488 * [taylor]: Taking taylor expansion of (- x z) in y 7.488 * [taylor]: Taking taylor expansion of x in y 7.488 * [taylor]: Taking taylor expansion of z in y 7.488 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 7.488 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 7.488 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 7.488 * [taylor]: Taking taylor expansion of 1/3 in y 7.488 * [taylor]: Taking taylor expansion of (log y) in y 7.488 * [taylor]: Taking taylor expansion of y in y 7.489 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/3)) in x 7.489 * [taylor]: Taking taylor expansion of (* t (- x z)) in x 7.489 * [taylor]: Taking taylor expansion of t in x 7.489 * [taylor]: Taking taylor expansion of (- x z) in x 7.489 * [taylor]: Taking taylor expansion of x in x 7.489 * [taylor]: Taking taylor expansion of z in x 7.489 * [taylor]: Taking taylor expansion of (pow y 1/3) in x 7.489 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in x 7.489 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in x 7.489 * [taylor]: Taking taylor expansion of 1/3 in x 7.489 * [taylor]: Taking taylor expansion of (log y) in x 7.489 * [taylor]: Taking taylor expansion of y in x 7.489 * [taylor]: Taking taylor expansion of (* -1 (* (* t z) (pow y 1/3))) in z 7.489 * [taylor]: Taking taylor expansion of -1 in z 7.490 * [taylor]: Taking taylor expansion of (* (* t z) (pow y 1/3)) in z 7.490 * [taylor]: Taking taylor expansion of (* t z) in z 7.490 * [taylor]: Taking taylor expansion of t in z 7.490 * [taylor]: Taking taylor expansion of z in z 7.490 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 7.490 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 7.490 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 7.490 * [taylor]: Taking taylor expansion of 1/3 in z 7.490 * [taylor]: Taking taylor expansion of (log y) in z 7.490 * [taylor]: Taking taylor expansion of y in z 7.490 * [taylor]: Taking taylor expansion of 0 in t 7.493 * [taylor]: Taking taylor expansion of 0 in x 7.493 * [taylor]: Taking taylor expansion of 0 in z 7.493 * [taylor]: Taking taylor expansion of 0 in t 7.495 * [taylor]: Taking taylor expansion of (* t (pow y 1/3)) in z 7.495 * [taylor]: Taking taylor expansion of t in z 7.495 * [taylor]: Taking taylor expansion of (pow y 1/3) in z 7.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in z 7.495 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in z 7.495 * [taylor]: Taking taylor expansion of 1/3 in z 7.495 * [taylor]: Taking taylor expansion of (log y) in z 7.495 * [taylor]: Taking taylor expansion of y in z 7.495 * [taylor]: Taking taylor expansion of (* t (pow y 1/3)) in t 7.495 * [taylor]: Taking taylor expansion of t in t 7.495 * [taylor]: Taking taylor expansion of (pow y 1/3) in t 7.495 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in t 7.495 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in t 7.495 * [taylor]: Taking taylor expansion of 1/3 in t 7.495 * [taylor]: Taking taylor expansion of (log y) in t 7.495 * [taylor]: Taking taylor expansion of y in t 7.497 * [taylor]: Taking taylor expansion of (- (* t (pow y 1/3))) in t 7.497 * [taylor]: Taking taylor expansion of (* t (pow y 1/3)) in t 7.497 * [taylor]: Taking taylor expansion of t in t 7.497 * [taylor]: Taking taylor expansion of (pow y 1/3) in t 7.497 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in t 7.497 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in t 7.497 * [taylor]: Taking taylor expansion of 1/3 in t 7.497 * [taylor]: Taking taylor expansion of (log y) in t 7.497 * [taylor]: Taking taylor expansion of y in t 7.502 * [taylor]: Taking taylor expansion of 0 in x 7.502 * [taylor]: Taking taylor expansion of 0 in z 7.502 * [taylor]: Taking taylor expansion of 0 in t 7.502 * [approximate]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in (y x z t) around 0 7.502 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in t 7.502 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t 7.502 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 7.502 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.503 * [taylor]: Taking taylor expansion of x in t 7.503 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.503 * [taylor]: Taking taylor expansion of z in t 7.503 * [taylor]: Taking taylor expansion of t in t 7.503 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 7.503 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 7.503 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 7.503 * [taylor]: Taking taylor expansion of 1/3 in t 7.503 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.503 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.503 * [taylor]: Taking taylor expansion of y in t 7.503 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in z 7.503 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in z 7.503 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.503 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.503 * [taylor]: Taking taylor expansion of x in z 7.503 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.503 * [taylor]: Taking taylor expansion of z in z 7.503 * [taylor]: Taking taylor expansion of t in z 7.504 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 7.504 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 7.504 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 7.504 * [taylor]: Taking taylor expansion of 1/3 in z 7.504 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.504 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.504 * [taylor]: Taking taylor expansion of y in z 7.504 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in x 7.504 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 7.504 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.504 * [taylor]: Taking taylor expansion of x in x 7.505 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.505 * [taylor]: Taking taylor expansion of z in x 7.505 * [taylor]: Taking taylor expansion of t in x 7.505 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.505 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.505 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.505 * [taylor]: Taking taylor expansion of 1/3 in x 7.505 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.505 * [taylor]: Taking taylor expansion of y in x 7.505 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in y 7.505 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in y 7.505 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.505 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.505 * [taylor]: Taking taylor expansion of x in y 7.505 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.505 * [taylor]: Taking taylor expansion of z in y 7.505 * [taylor]: Taking taylor expansion of t in y 7.506 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.506 * [taylor]: Taking taylor expansion of 1/3 in y 7.506 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.506 * [taylor]: Taking taylor expansion of y in y 7.507 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in y 7.507 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in y 7.507 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.507 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.507 * [taylor]: Taking taylor expansion of x in y 7.507 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.507 * [taylor]: Taking taylor expansion of z in y 7.507 * [taylor]: Taking taylor expansion of t in y 7.507 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.507 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.507 * [taylor]: Taking taylor expansion of 1/3 in y 7.507 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.507 * [taylor]: Taking taylor expansion of y in y 7.508 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/3)) in x 7.508 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 7.508 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.508 * [taylor]: Taking taylor expansion of x in x 7.509 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.509 * [taylor]: Taking taylor expansion of z in x 7.509 * [taylor]: Taking taylor expansion of t in x 7.509 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.509 * [taylor]: Taking taylor expansion of 1/3 in x 7.509 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.509 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.509 * [taylor]: Taking taylor expansion of y in x 7.509 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/3)) in z 7.509 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.509 * [taylor]: Taking taylor expansion of t in z 7.509 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 7.509 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 7.509 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 7.509 * [taylor]: Taking taylor expansion of 1/3 in z 7.509 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.509 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.510 * [taylor]: Taking taylor expansion of y in z 7.513 * [taylor]: Taking taylor expansion of 0 in x 7.515 * [taylor]: Taking taylor expansion of (- (* (/ 1 (* t z)) (pow (/ 1 y) 1/3))) in z 7.515 * [taylor]: Taking taylor expansion of (* (/ 1 (* t z)) (pow (/ 1 y) 1/3)) in z 7.515 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 7.515 * [taylor]: Taking taylor expansion of (* t z) in z 7.515 * [taylor]: Taking taylor expansion of t in z 7.515 * [taylor]: Taking taylor expansion of z in z 7.516 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 7.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 7.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 7.516 * [taylor]: Taking taylor expansion of 1/3 in z 7.516 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.516 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.516 * [taylor]: Taking taylor expansion of y in z 7.516 * [taylor]: Taking taylor expansion of (- (* (/ 1 t) (pow (/ 1 y) 1/3))) in t 7.516 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/3)) in t 7.516 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.516 * [taylor]: Taking taylor expansion of t in t 7.517 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 7.517 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 7.517 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 7.517 * [taylor]: Taking taylor expansion of 1/3 in t 7.517 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.517 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.517 * [taylor]: Taking taylor expansion of y in t 7.517 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/3)) in t 7.517 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.517 * [taylor]: Taking taylor expansion of t in t 7.517 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 7.518 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 7.518 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 7.518 * [taylor]: Taking taylor expansion of 1/3 in t 7.518 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.518 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.518 * [taylor]: Taking taylor expansion of y in t 7.523 * [taylor]: Taking taylor expansion of 0 in x 7.523 * [taylor]: Taking taylor expansion of 0 in z 7.532 * [taylor]: Taking taylor expansion of 0 in z 7.534 * [taylor]: Taking taylor expansion of 0 in t 7.535 * [taylor]: Taking taylor expansion of 0 in t 7.546 * [taylor]: Taking taylor expansion of 0 in x 7.547 * [taylor]: Taking taylor expansion of 0 in z 7.547 * [taylor]: Taking taylor expansion of 0 in z 7.552 * [taylor]: Taking taylor expansion of 0 in z 7.552 * [taylor]: Taking taylor expansion of 0 in t 7.552 * [taylor]: Taking taylor expansion of 0 in t 7.555 * [taylor]: Taking taylor expansion of 0 in t 7.558 * [taylor]: Taking taylor expansion of 0 in t 7.568 * [approximate]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in (y x z t) around 0 7.568 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in t 7.568 * [taylor]: Taking taylor expansion of -1 in t 7.568 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in t 7.568 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in t 7.568 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in t 7.568 * [taylor]: Taking taylor expansion of (cbrt -1) in t 7.568 * [taylor]: Taking taylor expansion of -1 in t 7.569 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 7.569 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.569 * [taylor]: Taking taylor expansion of z in t 7.569 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.569 * [taylor]: Taking taylor expansion of x in t 7.569 * [taylor]: Taking taylor expansion of t in t 7.570 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 7.570 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 7.570 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 7.570 * [taylor]: Taking taylor expansion of 1/3 in t 7.570 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.570 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.570 * [taylor]: Taking taylor expansion of y in t 7.570 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in z 7.570 * [taylor]: Taking taylor expansion of -1 in z 7.570 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in z 7.570 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in z 7.570 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in z 7.570 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.570 * [taylor]: Taking taylor expansion of -1 in z 7.571 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.571 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.571 * [taylor]: Taking taylor expansion of z in z 7.571 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.571 * [taylor]: Taking taylor expansion of x in z 7.571 * [taylor]: Taking taylor expansion of t in z 7.573 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 7.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 7.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 7.573 * [taylor]: Taking taylor expansion of 1/3 in z 7.573 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.573 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.573 * [taylor]: Taking taylor expansion of y in z 7.573 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in x 7.573 * [taylor]: Taking taylor expansion of -1 in x 7.573 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in x 7.573 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in x 7.573 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in x 7.573 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.573 * [taylor]: Taking taylor expansion of -1 in x 7.574 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.574 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.574 * [taylor]: Taking taylor expansion of z in x 7.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.574 * [taylor]: Taking taylor expansion of x in x 7.574 * [taylor]: Taking taylor expansion of t in x 7.576 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.576 * [taylor]: Taking taylor expansion of 1/3 in x 7.576 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.576 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.576 * [taylor]: Taking taylor expansion of y in x 7.576 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in y 7.576 * [taylor]: Taking taylor expansion of -1 in y 7.576 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in y 7.576 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in y 7.576 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in y 7.576 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.576 * [taylor]: Taking taylor expansion of -1 in y 7.577 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.577 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.577 * [taylor]: Taking taylor expansion of z in y 7.577 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.577 * [taylor]: Taking taylor expansion of x in y 7.577 * [taylor]: Taking taylor expansion of t in y 7.578 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.578 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.578 * [taylor]: Taking taylor expansion of 1/3 in y 7.578 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.578 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.578 * [taylor]: Taking taylor expansion of y in y 7.579 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in y 7.579 * [taylor]: Taking taylor expansion of -1 in y 7.579 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in y 7.579 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in y 7.579 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in y 7.579 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.579 * [taylor]: Taking taylor expansion of -1 in y 7.579 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.580 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.580 * [taylor]: Taking taylor expansion of z in y 7.580 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.580 * [taylor]: Taking taylor expansion of x in y 7.580 * [taylor]: Taking taylor expansion of t in y 7.580 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 7.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 7.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 7.581 * [taylor]: Taking taylor expansion of 1/3 in y 7.581 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.581 * [taylor]: Taking taylor expansion of y in y 7.582 * [taylor]: Taking taylor expansion of (* -1 (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3))) in x 7.582 * [taylor]: Taking taylor expansion of -1 in x 7.583 * [taylor]: Taking taylor expansion of (* (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) (pow (/ 1 y) 1/3)) in x 7.583 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (- (/ 1 z) (/ 1 x))) t) in x 7.583 * [taylor]: Taking taylor expansion of (* (cbrt -1) (- (/ 1 z) (/ 1 x))) in x 7.583 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.583 * [taylor]: Taking taylor expansion of -1 in x 7.583 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.583 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.583 * [taylor]: Taking taylor expansion of z in x 7.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.583 * [taylor]: Taking taylor expansion of x in x 7.584 * [taylor]: Taking taylor expansion of t in x 7.585 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in x 7.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in x 7.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in x 7.585 * [taylor]: Taking taylor expansion of 1/3 in x 7.585 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.585 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.585 * [taylor]: Taking taylor expansion of y in x 7.586 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) t) (pow (/ 1 y) 1/3)) in z 7.587 * [taylor]: Taking taylor expansion of (/ (cbrt -1) t) in z 7.587 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.587 * [taylor]: Taking taylor expansion of -1 in z 7.587 * [taylor]: Taking taylor expansion of t in z 7.588 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 7.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 7.588 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 7.588 * [taylor]: Taking taylor expansion of 1/3 in z 7.588 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.588 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.588 * [taylor]: Taking taylor expansion of y in z 7.593 * [taylor]: Taking taylor expansion of 0 in x 7.599 * [taylor]: Taking taylor expansion of (- (* (/ (cbrt -1) (* z t)) (pow (/ 1 y) 1/3))) in z 7.599 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) (* z t)) (pow (/ 1 y) 1/3)) in z 7.599 * [taylor]: Taking taylor expansion of (/ (cbrt -1) (* z t)) in z 7.599 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.599 * [taylor]: Taking taylor expansion of -1 in z 7.599 * [taylor]: Taking taylor expansion of (* z t) in z 7.599 * [taylor]: Taking taylor expansion of z in z 7.599 * [taylor]: Taking taylor expansion of t in z 7.600 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in z 7.600 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in z 7.600 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in z 7.600 * [taylor]: Taking taylor expansion of 1/3 in z 7.600 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.600 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.600 * [taylor]: Taking taylor expansion of y in z 7.601 * [taylor]: Taking taylor expansion of (- (* (/ (cbrt -1) t) (pow (/ 1 y) 1/3))) in t 7.601 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) t) (pow (/ 1 y) 1/3)) in t 7.601 * [taylor]: Taking taylor expansion of (/ (cbrt -1) t) in t 7.601 * [taylor]: Taking taylor expansion of (cbrt -1) in t 7.601 * [taylor]: Taking taylor expansion of -1 in t 7.602 * [taylor]: Taking taylor expansion of t in t 7.603 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 7.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 7.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 7.603 * [taylor]: Taking taylor expansion of 1/3 in t 7.603 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.603 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.603 * [taylor]: Taking taylor expansion of y in t 7.604 * [taylor]: Taking taylor expansion of (* (/ (cbrt -1) t) (pow (/ 1 y) 1/3)) in t 7.605 * [taylor]: Taking taylor expansion of (/ (cbrt -1) t) in t 7.605 * [taylor]: Taking taylor expansion of (cbrt -1) in t 7.605 * [taylor]: Taking taylor expansion of -1 in t 7.605 * [taylor]: Taking taylor expansion of t in t 7.606 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in t 7.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in t 7.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in t 7.606 * [taylor]: Taking taylor expansion of 1/3 in t 7.606 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.606 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.606 * [taylor]: Taking taylor expansion of y in t 7.615 * [taylor]: Taking taylor expansion of 0 in x 7.615 * [taylor]: Taking taylor expansion of 0 in z 7.629 * [taylor]: Taking taylor expansion of 0 in z 7.632 * [taylor]: Taking taylor expansion of 0 in t 7.634 * [taylor]: Taking taylor expansion of 0 in t 7.649 * [taylor]: Taking taylor expansion of 0 in x 7.649 * [taylor]: Taking taylor expansion of 0 in z 7.649 * [taylor]: Taking taylor expansion of 0 in z 7.659 * [taylor]: Taking taylor expansion of 0 in z 7.659 * [taylor]: Taking taylor expansion of 0 in t 7.659 * [taylor]: Taking taylor expansion of 0 in t 7.664 * [taylor]: Taking taylor expansion of 0 in t 7.668 * [taylor]: Taking taylor expansion of 0 in t 7.680 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 7.680 * [approximate]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/9)) in (y x z t) around 0 7.680 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/9)) in t 7.680 * [taylor]: Taking taylor expansion of (* t (- x z)) in t 7.680 * [taylor]: Taking taylor expansion of t in t 7.680 * [taylor]: Taking taylor expansion of (- x z) in t 7.680 * [taylor]: Taking taylor expansion of x in t 7.680 * [taylor]: Taking taylor expansion of z in t 7.680 * [taylor]: Taking taylor expansion of (pow y 1/9) in t 7.680 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in t 7.680 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in t 7.680 * [taylor]: Taking taylor expansion of 1/9 in t 7.680 * [taylor]: Taking taylor expansion of (log y) in t 7.680 * [taylor]: Taking taylor expansion of y in t 7.680 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/9)) in z 7.680 * [taylor]: Taking taylor expansion of (* t (- x z)) in z 7.680 * [taylor]: Taking taylor expansion of t in z 7.680 * [taylor]: Taking taylor expansion of (- x z) in z 7.681 * [taylor]: Taking taylor expansion of x in z 7.681 * [taylor]: Taking taylor expansion of z in z 7.681 * [taylor]: Taking taylor expansion of (pow y 1/9) in z 7.681 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in z 7.681 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in z 7.681 * [taylor]: Taking taylor expansion of 1/9 in z 7.681 * [taylor]: Taking taylor expansion of (log y) in z 7.681 * [taylor]: Taking taylor expansion of y in z 7.681 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/9)) in x 7.681 * [taylor]: Taking taylor expansion of (* t (- x z)) in x 7.681 * [taylor]: Taking taylor expansion of t in x 7.681 * [taylor]: Taking taylor expansion of (- x z) in x 7.681 * [taylor]: Taking taylor expansion of x in x 7.681 * [taylor]: Taking taylor expansion of z in x 7.681 * [taylor]: Taking taylor expansion of (pow y 1/9) in x 7.681 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in x 7.681 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in x 7.681 * [taylor]: Taking taylor expansion of 1/9 in x 7.681 * [taylor]: Taking taylor expansion of (log y) in x 7.681 * [taylor]: Taking taylor expansion of y in x 7.681 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/9)) in y 7.681 * [taylor]: Taking taylor expansion of (* t (- x z)) in y 7.681 * [taylor]: Taking taylor expansion of t in y 7.681 * [taylor]: Taking taylor expansion of (- x z) in y 7.681 * [taylor]: Taking taylor expansion of x in y 7.681 * [taylor]: Taking taylor expansion of z in y 7.681 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 7.681 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 7.681 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 7.681 * [taylor]: Taking taylor expansion of 1/9 in y 7.681 * [taylor]: Taking taylor expansion of (log y) in y 7.681 * [taylor]: Taking taylor expansion of y in y 7.682 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/9)) in y 7.682 * [taylor]: Taking taylor expansion of (* t (- x z)) in y 7.682 * [taylor]: Taking taylor expansion of t in y 7.682 * [taylor]: Taking taylor expansion of (- x z) in y 7.682 * [taylor]: Taking taylor expansion of x in y 7.682 * [taylor]: Taking taylor expansion of z in y 7.682 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 7.682 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 7.682 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 7.682 * [taylor]: Taking taylor expansion of 1/9 in y 7.682 * [taylor]: Taking taylor expansion of (log y) in y 7.682 * [taylor]: Taking taylor expansion of y in y 7.683 * [taylor]: Taking taylor expansion of (* (* t (- x z)) (pow y 1/9)) in x 7.683 * [taylor]: Taking taylor expansion of (* t (- x z)) in x 7.683 * [taylor]: Taking taylor expansion of t in x 7.683 * [taylor]: Taking taylor expansion of (- x z) in x 7.683 * [taylor]: Taking taylor expansion of x in x 7.683 * [taylor]: Taking taylor expansion of z in x 7.683 * [taylor]: Taking taylor expansion of (pow y 1/9) in x 7.683 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in x 7.683 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in x 7.683 * [taylor]: Taking taylor expansion of 1/9 in x 7.683 * [taylor]: Taking taylor expansion of (log y) in x 7.683 * [taylor]: Taking taylor expansion of y in x 7.683 * [taylor]: Taking taylor expansion of (* -1 (* (* t z) (pow y 1/9))) in z 7.683 * [taylor]: Taking taylor expansion of -1 in z 7.683 * [taylor]: Taking taylor expansion of (* (* t z) (pow y 1/9)) in z 7.683 * [taylor]: Taking taylor expansion of (* t z) in z 7.683 * [taylor]: Taking taylor expansion of t in z 7.683 * [taylor]: Taking taylor expansion of z in z 7.683 * [taylor]: Taking taylor expansion of (pow y 1/9) in z 7.684 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in z 7.684 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in z 7.684 * [taylor]: Taking taylor expansion of 1/9 in z 7.684 * [taylor]: Taking taylor expansion of (log y) in z 7.684 * [taylor]: Taking taylor expansion of y in z 7.684 * [taylor]: Taking taylor expansion of 0 in t 7.687 * [taylor]: Taking taylor expansion of 0 in x 7.687 * [taylor]: Taking taylor expansion of 0 in z 7.687 * [taylor]: Taking taylor expansion of 0 in t 7.689 * [taylor]: Taking taylor expansion of (* t (pow y 1/9)) in z 7.689 * [taylor]: Taking taylor expansion of t in z 7.689 * [taylor]: Taking taylor expansion of (pow y 1/9) in z 7.689 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in z 7.689 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in z 7.689 * [taylor]: Taking taylor expansion of 1/9 in z 7.689 * [taylor]: Taking taylor expansion of (log y) in z 7.689 * [taylor]: Taking taylor expansion of y in z 7.689 * [taylor]: Taking taylor expansion of (* t (pow y 1/9)) in t 7.689 * [taylor]: Taking taylor expansion of t in t 7.689 * [taylor]: Taking taylor expansion of (pow y 1/9) in t 7.689 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in t 7.689 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in t 7.689 * [taylor]: Taking taylor expansion of 1/9 in t 7.689 * [taylor]: Taking taylor expansion of (log y) in t 7.689 * [taylor]: Taking taylor expansion of y in t 7.692 * [taylor]: Taking taylor expansion of (- (* t (pow y 1/9))) in t 7.692 * [taylor]: Taking taylor expansion of (* t (pow y 1/9)) in t 7.692 * [taylor]: Taking taylor expansion of t in t 7.692 * [taylor]: Taking taylor expansion of (pow y 1/9) in t 7.692 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in t 7.692 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in t 7.692 * [taylor]: Taking taylor expansion of 1/9 in t 7.692 * [taylor]: Taking taylor expansion of (log y) in t 7.692 * [taylor]: Taking taylor expansion of y in t 7.696 * [taylor]: Taking taylor expansion of 0 in x 7.696 * [taylor]: Taking taylor expansion of 0 in z 7.696 * [taylor]: Taking taylor expansion of 0 in t 7.696 * [approximate]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/9)) in (y x z t) around 0 7.696 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/9)) in t 7.696 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in t 7.696 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in t 7.696 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.696 * [taylor]: Taking taylor expansion of x in t 7.697 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.697 * [taylor]: Taking taylor expansion of z in t 7.697 * [taylor]: Taking taylor expansion of t in t 7.697 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in t 7.697 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in t 7.697 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in t 7.697 * [taylor]: Taking taylor expansion of 1/9 in t 7.697 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.697 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.697 * [taylor]: Taking taylor expansion of y in t 7.697 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/9)) in z 7.697 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in z 7.697 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 7.697 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.697 * [taylor]: Taking taylor expansion of x in z 7.697 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.697 * [taylor]: Taking taylor expansion of z in z 7.697 * [taylor]: Taking taylor expansion of t in z 7.698 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in z 7.698 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in z 7.698 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in z 7.698 * [taylor]: Taking taylor expansion of 1/9 in z 7.698 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.698 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.698 * [taylor]: Taking taylor expansion of y in z 7.698 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/9)) in x 7.698 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 7.698 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.698 * [taylor]: Taking taylor expansion of x in x 7.699 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.699 * [taylor]: Taking taylor expansion of z in x 7.699 * [taylor]: Taking taylor expansion of t in x 7.699 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in x 7.699 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in x 7.699 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in x 7.699 * [taylor]: Taking taylor expansion of 1/9 in x 7.699 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.699 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.699 * [taylor]: Taking taylor expansion of y in x 7.699 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/9)) in y 7.699 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in y 7.699 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.699 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.699 * [taylor]: Taking taylor expansion of x in y 7.699 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.699 * [taylor]: Taking taylor expansion of z in y 7.699 * [taylor]: Taking taylor expansion of t in y 7.699 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.699 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.699 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.699 * [taylor]: Taking taylor expansion of 1/9 in y 7.700 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.700 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.700 * [taylor]: Taking taylor expansion of y in y 7.700 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/9)) in y 7.700 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in y 7.700 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 7.700 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.700 * [taylor]: Taking taylor expansion of x in y 7.700 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.700 * [taylor]: Taking taylor expansion of z in y 7.701 * [taylor]: Taking taylor expansion of t in y 7.701 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.701 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.701 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.701 * [taylor]: Taking taylor expansion of 1/9 in y 7.701 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.701 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.701 * [taylor]: Taking taylor expansion of y in y 7.702 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 x) (/ 1 z)) t) (pow (/ 1 y) 1/9)) in x 7.702 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) t) in x 7.702 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 7.702 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.702 * [taylor]: Taking taylor expansion of x in x 7.702 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.702 * [taylor]: Taking taylor expansion of z in x 7.702 * [taylor]: Taking taylor expansion of t in x 7.703 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in x 7.703 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in x 7.703 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in x 7.703 * [taylor]: Taking taylor expansion of 1/9 in x 7.703 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.703 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.703 * [taylor]: Taking taylor expansion of y in x 7.703 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/9)) in z 7.703 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.703 * [taylor]: Taking taylor expansion of t in z 7.703 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in z 7.703 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in z 7.703 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in z 7.703 * [taylor]: Taking taylor expansion of 1/9 in z 7.703 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.703 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.703 * [taylor]: Taking taylor expansion of y in z 7.706 * [taylor]: Taking taylor expansion of 0 in x 7.708 * [taylor]: Taking taylor expansion of (- (* (/ 1 (* t z)) (pow (/ 1 y) 1/9))) in z 7.709 * [taylor]: Taking taylor expansion of (* (/ 1 (* t z)) (pow (/ 1 y) 1/9)) in z 7.709 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 7.709 * [taylor]: Taking taylor expansion of (* t z) in z 7.709 * [taylor]: Taking taylor expansion of t in z 7.709 * [taylor]: Taking taylor expansion of z in z 7.709 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in z 7.709 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in z 7.709 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in z 7.709 * [taylor]: Taking taylor expansion of 1/9 in z 7.709 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.709 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.709 * [taylor]: Taking taylor expansion of y in z 7.714 * [taylor]: Taking taylor expansion of (- (* (/ 1 t) (pow (/ 1 y) 1/9))) in t 7.714 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/9)) in t 7.714 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.714 * [taylor]: Taking taylor expansion of t in t 7.715 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in t 7.715 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in t 7.715 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in t 7.715 * [taylor]: Taking taylor expansion of 1/9 in t 7.715 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.715 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.715 * [taylor]: Taking taylor expansion of y in t 7.715 * [taylor]: Taking taylor expansion of (* (/ 1 t) (pow (/ 1 y) 1/9)) in t 7.715 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.715 * [taylor]: Taking taylor expansion of t in t 7.716 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in t 7.716 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in t 7.716 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in t 7.716 * [taylor]: Taking taylor expansion of 1/9 in t 7.716 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.716 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.716 * [taylor]: Taking taylor expansion of y in t 7.721 * [taylor]: Taking taylor expansion of 0 in x 7.721 * [taylor]: Taking taylor expansion of 0 in z 7.725 * [taylor]: Taking taylor expansion of 0 in z 7.728 * [taylor]: Taking taylor expansion of 0 in t 7.729 * [taylor]: Taking taylor expansion of 0 in t 7.741 * [taylor]: Taking taylor expansion of 0 in x 7.741 * [taylor]: Taking taylor expansion of 0 in z 7.741 * [taylor]: Taking taylor expansion of 0 in z 7.746 * [taylor]: Taking taylor expansion of 0 in z 7.746 * [taylor]: Taking taylor expansion of 0 in t 7.746 * [taylor]: Taking taylor expansion of 0 in t 7.750 * [taylor]: Taking taylor expansion of 0 in t 7.753 * [taylor]: Taking taylor expansion of 0 in t 7.761 * [approximate]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)))) in (y x z t) around 0 7.761 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)))) in t 7.761 * [taylor]: Taking taylor expansion of -1 in t 7.761 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9))) in t 7.761 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t 7.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t 7.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t 7.761 * [taylor]: Taking taylor expansion of 1/3 in t 7.761 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t 7.761 * [taylor]: Taking taylor expansion of (cbrt -1) in t 7.761 * [taylor]: Taking taylor expansion of -1 in t 7.764 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)) in t 7.765 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in t 7.765 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in t 7.765 * [taylor]: Taking taylor expansion of (/ 1 z) in t 7.765 * [taylor]: Taking taylor expansion of z in t 7.765 * [taylor]: Taking taylor expansion of (/ 1 x) in t 7.765 * [taylor]: Taking taylor expansion of x in t 7.765 * [taylor]: Taking taylor expansion of t in t 7.765 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in t 7.765 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in t 7.765 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in t 7.765 * [taylor]: Taking taylor expansion of 1/9 in t 7.765 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.765 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.765 * [taylor]: Taking taylor expansion of y in t 7.765 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)))) in z 7.765 * [taylor]: Taking taylor expansion of -1 in z 7.765 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9))) in z 7.765 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.765 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.765 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.765 * [taylor]: Taking taylor expansion of 1/3 in z 7.765 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.765 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.765 * [taylor]: Taking taylor expansion of -1 in z 7.769 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)) in z 7.769 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in z 7.769 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 7.769 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.769 * [taylor]: Taking taylor expansion of z in z 7.769 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.769 * [taylor]: Taking taylor expansion of x in z 7.769 * [taylor]: Taking taylor expansion of t in z 7.769 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in z 7.769 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in z 7.769 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in z 7.769 * [taylor]: Taking taylor expansion of 1/9 in z 7.770 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.770 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.770 * [taylor]: Taking taylor expansion of y in z 7.770 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)))) in x 7.770 * [taylor]: Taking taylor expansion of -1 in x 7.770 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9))) in x 7.770 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 7.770 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 7.770 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 7.770 * [taylor]: Taking taylor expansion of 1/3 in x 7.770 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 7.770 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.770 * [taylor]: Taking taylor expansion of -1 in x 7.774 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)) in x 7.774 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x 7.774 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.774 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.774 * [taylor]: Taking taylor expansion of z in x 7.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.774 * [taylor]: Taking taylor expansion of x in x 7.774 * [taylor]: Taking taylor expansion of t in x 7.775 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in x 7.775 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in x 7.775 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in x 7.775 * [taylor]: Taking taylor expansion of 1/9 in x 7.775 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.775 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.775 * [taylor]: Taking taylor expansion of y in x 7.775 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)))) in y 7.775 * [taylor]: Taking taylor expansion of -1 in y 7.775 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9))) in y 7.775 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 7.775 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 7.775 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 7.775 * [taylor]: Taking taylor expansion of 1/3 in y 7.775 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 7.775 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.775 * [taylor]: Taking taylor expansion of -1 in y 7.779 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)) in y 7.779 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in y 7.779 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.779 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.779 * [taylor]: Taking taylor expansion of z in y 7.779 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.779 * [taylor]: Taking taylor expansion of x in y 7.779 * [taylor]: Taking taylor expansion of t in y 7.779 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.779 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.779 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.779 * [taylor]: Taking taylor expansion of 1/9 in y 7.779 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.779 * [taylor]: Taking taylor expansion of y in y 7.780 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)))) in y 7.780 * [taylor]: Taking taylor expansion of -1 in y 7.780 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9))) in y 7.780 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 7.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 7.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 7.780 * [taylor]: Taking taylor expansion of 1/3 in y 7.780 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 7.780 * [taylor]: Taking taylor expansion of (cbrt -1) in y 7.780 * [taylor]: Taking taylor expansion of -1 in y 7.784 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)) in y 7.784 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in y 7.784 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 7.784 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.784 * [taylor]: Taking taylor expansion of z in y 7.784 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.784 * [taylor]: Taking taylor expansion of x in y 7.784 * [taylor]: Taking taylor expansion of t in y 7.784 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 7.784 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 7.784 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 7.784 * [taylor]: Taking taylor expansion of 1/9 in y 7.784 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 7.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.785 * [taylor]: Taking taylor expansion of y in y 7.787 * [taylor]: Taking taylor expansion of (* -1 (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)))) in x 7.787 * [taylor]: Taking taylor expansion of -1 in x 7.787 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9))) in x 7.787 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 7.787 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 7.787 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 7.787 * [taylor]: Taking taylor expansion of 1/3 in x 7.787 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 7.787 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.787 * [taylor]: Taking taylor expansion of -1 in x 7.791 * [taylor]: Taking taylor expansion of (* (/ (- (/ 1 z) (/ 1 x)) t) (pow (/ 1 y) 1/9)) in x 7.791 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) t) in x 7.791 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 7.791 * [taylor]: Taking taylor expansion of (/ 1 z) in x 7.791 * [taylor]: Taking taylor expansion of z in x 7.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.791 * [taylor]: Taking taylor expansion of x in x 7.792 * [taylor]: Taking taylor expansion of t in x 7.792 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in x 7.792 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in x 7.792 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in x 7.792 * [taylor]: Taking taylor expansion of 1/9 in x 7.792 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in x 7.792 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.792 * [taylor]: Taking taylor expansion of y in x 7.794 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (pow (/ 1 y) 1/9) (/ 1 t))) in z 7.794 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.794 * [taylor]: Taking taylor expansion of 1/3 in z 7.794 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.794 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.794 * [taylor]: Taking taylor expansion of -1 in z 7.798 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/9) (/ 1 t)) in z 7.798 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in z 7.798 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in z 7.798 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in z 7.798 * [taylor]: Taking taylor expansion of 1/9 in z 7.798 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.798 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.798 * [taylor]: Taking taylor expansion of y in z 7.798 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.798 * [taylor]: Taking taylor expansion of t in z 7.811 * [taylor]: Taking taylor expansion of 0 in x 7.819 * [taylor]: Taking taylor expansion of (- (* (pow (cbrt -1) 1/3) (* (/ 1 (* z t)) (pow (/ 1 y) 1/9)))) in z 7.819 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (/ 1 (* z t)) (pow (/ 1 y) 1/9))) in z 7.819 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in z 7.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in z 7.819 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in z 7.819 * [taylor]: Taking taylor expansion of 1/3 in z 7.819 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in z 7.819 * [taylor]: Taking taylor expansion of (cbrt -1) in z 7.819 * [taylor]: Taking taylor expansion of -1 in z 7.822 * [taylor]: Taking taylor expansion of (* (/ 1 (* z t)) (pow (/ 1 y) 1/9)) in z 7.822 * [taylor]: Taking taylor expansion of (/ 1 (* z t)) in z 7.822 * [taylor]: Taking taylor expansion of (* z t) in z 7.822 * [taylor]: Taking taylor expansion of z in z 7.822 * [taylor]: Taking taylor expansion of t in z 7.823 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in z 7.823 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in z 7.823 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in z 7.823 * [taylor]: Taking taylor expansion of 1/9 in z 7.823 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in z 7.823 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.823 * [taylor]: Taking taylor expansion of y in z 7.825 * [taylor]: Taking taylor expansion of (- (* (pow (cbrt -1) 1/3) (* (pow (/ 1 y) 1/9) (/ 1 t)))) in t 7.825 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (pow (/ 1 y) 1/9) (/ 1 t))) in t 7.825 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t 7.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t 7.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t 7.825 * [taylor]: Taking taylor expansion of 1/3 in t 7.825 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t 7.825 * [taylor]: Taking taylor expansion of (cbrt -1) in t 7.825 * [taylor]: Taking taylor expansion of -1 in t 7.828 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/9) (/ 1 t)) in t 7.829 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in t 7.829 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in t 7.829 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in t 7.829 * [taylor]: Taking taylor expansion of 1/9 in t 7.829 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.829 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.829 * [taylor]: Taking taylor expansion of y in t 7.829 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.829 * [taylor]: Taking taylor expansion of t in t 7.833 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (* (pow (/ 1 y) 1/9) (/ 1 t))) in t 7.833 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in t 7.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in t 7.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in t 7.833 * [taylor]: Taking taylor expansion of 1/3 in t 7.833 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in t 7.833 * [taylor]: Taking taylor expansion of (cbrt -1) in t 7.833 * [taylor]: Taking taylor expansion of -1 in t 7.836 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/9) (/ 1 t)) in t 7.836 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in t 7.836 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in t 7.837 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in t 7.837 * [taylor]: Taking taylor expansion of 1/9 in t 7.837 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in t 7.837 * [taylor]: Taking taylor expansion of (/ 1 y) in t 7.837 * [taylor]: Taking taylor expansion of y in t 7.837 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.837 * [taylor]: Taking taylor expansion of t in t 7.850 * [taylor]: Taking taylor expansion of 0 in x 7.850 * [taylor]: Taking taylor expansion of 0 in z 7.861 * [taylor]: Taking taylor expansion of 0 in z 7.866 * [taylor]: Taking taylor expansion of 0 in t 7.871 * [taylor]: Taking taylor expansion of 0 in t 7.902 * [taylor]: Taking taylor expansion of 0 in x 7.902 * [taylor]: Taking taylor expansion of 0 in z 7.903 * [taylor]: Taking taylor expansion of 0 in z 7.917 * [taylor]: Taking taylor expansion of 0 in z 7.917 * [taylor]: Taking taylor expansion of 0 in t 7.917 * [taylor]: Taking taylor expansion of 0 in t 7.926 * [taylor]: Taking taylor expansion of 0 in t 7.934 * [taylor]: Taking taylor expansion of 0 in t 7.954 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 7.954 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 7.954 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 7.954 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 7.954 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 7.954 * [taylor]: Taking taylor expansion of 1/9 in y 7.954 * [taylor]: Taking taylor expansion of (log y) in y 7.955 * [taylor]: Taking taylor expansion of y in y 7.955 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 7.955 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 7.955 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 7.955 * [taylor]: Taking taylor expansion of 1/9 in y 7.955 * [taylor]: Taking taylor expansion of (log y) in y 7.955 * [taylor]: Taking taylor expansion of y in y 8.011 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 8.011 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 8.011 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 8.011 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 8.011 * [taylor]: Taking taylor expansion of 1/9 in y 8.011 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.011 * [taylor]: Taking taylor expansion of y in y 8.012 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 8.012 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 8.012 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 8.012 * [taylor]: Taking taylor expansion of 1/9 in y 8.012 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.012 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.012 * [taylor]: Taking taylor expansion of y in y 8.072 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 8.072 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 8.072 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 8.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 8.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 8.072 * [taylor]: Taking taylor expansion of 1/3 in y 8.072 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 8.072 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.072 * [taylor]: Taking taylor expansion of -1 in y 8.075 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 8.076 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 8.076 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 8.076 * [taylor]: Taking taylor expansion of 1/9 in y 8.076 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.076 * [taylor]: Taking taylor expansion of y in y 8.076 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 8.077 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 8.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 8.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 8.077 * [taylor]: Taking taylor expansion of 1/3 in y 8.077 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 8.077 * [taylor]: Taking taylor expansion of (cbrt -1) in y 8.077 * [taylor]: Taking taylor expansion of -1 in y 8.080 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 8.080 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 8.080 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 8.080 * [taylor]: Taking taylor expansion of 1/9 in y 8.080 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 8.080 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.080 * [taylor]: Taking taylor expansion of y in y 8.207 * * * [progress]: simplifying candidates 8.216 * [simplify]: Simplifying using # : (expm1 (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (log1p (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (+ (log (cbrt (cbrt y))) (+ (log (- x z)) (log t))))) (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (+ (log (cbrt (cbrt y))) (log (* (- x z) t))))) (+ (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (log (* (cbrt (cbrt y)) (* (- x z) t))))) (+ (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (+ (log (cbrt (cbrt y))) (+ (log (- x z)) (log t))))) (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (+ (log (cbrt (cbrt y))) (log (* (- x z) t))))) (+ (log (* (cbrt y) (cbrt y))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (log (* (cbrt (cbrt y)) (* (- x z) t))))) (+ (log (* (cbrt y) (cbrt y))) (log (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (log (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (exp (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (* y y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t))))) (* (* y y) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) t))))) (* (* y y) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (* y y) (* (* (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t))))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) t))))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))))) (cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (* (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (sqrt (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (* (* (cbrt y) (cbrt y)) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- (pow x 3) (pow z 3)) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- (* x x) (* z z)) t)))) (expm1 (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (log1p (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (+ (log (cbrt (cbrt y))) (+ (log (- x z)) (log t)))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (+ (log (cbrt (cbrt y))) (log (* (- x z) t)))) (+ (log (cbrt (* (cbrt y) (cbrt y)))) (log (* (cbrt (cbrt y)) (* (- x z) t)))) (log (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (exp (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t)))) (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) t)))) (* (* (cbrt y) (cbrt y)) (* (* (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (cbrt (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (cbrt (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))))) (cbrt (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (* (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (sqrt (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (sqrt (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t)))) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (sqrt (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- (pow x 3) (pow z 3)) t))) (* (cbrt (* (cbrt y) (cbrt y))) (* (cbrt (cbrt y)) (* (- (* x x) (* z z)) t))) (expm1 (* (cbrt (cbrt y)) (* (- x z) t))) (log1p (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (+ (log (cbrt (cbrt y))) (+ (log (- x z)) (log t))) (+ (log (cbrt (cbrt y))) (log (* (- x z) t))) (log (* (cbrt (cbrt y)) (* (- x z) t))) (exp (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt y) (* (* (* (- x z) (- x z)) (- x z)) (* (* t t) t))) (* (cbrt y) (* (* (* (- x z) t) (* (- x z) t)) (* (- x z) t))) (* (cbrt (* (cbrt (cbrt y)) (* (- x z) t))) (cbrt (* (cbrt (cbrt y)) (* (- x z) t)))) (cbrt (* (cbrt (cbrt y)) (* (- x z) t))) (* (* (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (- x z) t))) (sqrt (* (cbrt (cbrt y)) (* (- x z) t))) (sqrt (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (- x z)) (* (cbrt (cbrt (cbrt y))) (* (- x z) t)) (* (cbrt (cbrt (sqrt y))) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt (cbrt y))) (* (- x z) t)) (* (cbrt (sqrt (cbrt y))) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt (cbrt y))) (* (- x z) t)) (* (sqrt (cbrt (cbrt y))) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- (pow x 3) (pow z 3)) t)) (* (cbrt (cbrt y)) (* (- (* x x) (* z z)) t)) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) 0 (- (* t (* x y)) (* t (* z y))) (- (* t (* x y)) (* t (* z y))) 0 (- (* (* t x) (pow y 1/3)) (* (* t z) (pow y 1/3))) (- (* (pow (* -1 y) 1/3) (* (cbrt -1) (* x t))) (* (pow (* -1 y) 1/3) (* (cbrt -1) (* z t)))) 0 (- (* (* t x) (pow y 1/9)) (* (* t z) (pow y 1/9))) (- (* (pow (* -1 y) 1/9) (* (pow (cbrt -1) 1/3) (* x t))) (* (pow (* -1 y) 1/9) (* (pow (cbrt -1) 1/3) (* z t)))) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (* -1 y) 1/9) (pow (cbrt -1) 1/3)) 8.222 * * [simplify]: iteration 0 : 170 enodes (cost 2160 ) 8.253 * * [simplify]: iteration 1 : 476 enodes (cost 2093 ) 8.392 * * [simplify]: iteration 2 : 1855 enodes (cost 1528 ) 9.002 * * [simplify]: iteration done : 5000 enodes (cost 1528 ) 9.003 * [simplify]: Simplified to: (expm1 (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log1p (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (log (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (pow (exp (* (pow y 2/3) (cbrt (pow y 2/3)))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (* (pow (* (- x z) t) 3) (pow (cbrt y) 3)) (* y y)) (* (* (pow (* (- x z) t) 3) (pow (cbrt y) 3)) (* y y)) (* (pow y 2/3) (* (pow (* (cbrt (cbrt y)) (* (- x z) t)) 3) (* y y))) (* (* y y) (pow (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) 3)) (* (pow (pow y 2/3) 3) (* (pow (* (- x z) t) 3) (pow (cbrt y) 3))) (* (pow (pow y 2/3) 3) (* (pow (* (- x z) t) 3) (pow (cbrt y) 3))) (* (* (pow y 2/3) (pow (* (cbrt (cbrt y)) (* (- x z) t)) 3)) (pow (pow y 2/3) 3)) (pow (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) 3) (* (cbrt (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (cbrt (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)))) (cbrt (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (pow (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3)) 3) (sqrt (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (sqrt (* (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (pow y 2/3))) (* (pow y 2/3) (cbrt (pow y 2/3))) (* (cbrt y) (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (* (* (cbrt (cbrt y)) (* (- (pow x 3) (pow z 3)) t)) (* (pow y 2/3) (cbrt (pow y 2/3)))) (* (* (cbrt (cbrt y)) (* (- (* x x) (* z z)) t)) (* (pow y 2/3) (cbrt (pow y 2/3)))) (expm1 (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (log1p (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (log (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (log (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (log (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (log (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (exp (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (* (pow (* (- x z) t) 3) (pow (cbrt y) 3)) (* (pow (* (- x z) t) 3) (pow (cbrt y) 3)) (* (pow y 2/3) (pow (* (cbrt (cbrt y)) (* (- x z) t)) 3)) (* (cbrt (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (cbrt (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))))) (cbrt (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (pow (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) 3) (sqrt (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (sqrt (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t)))) (* (cbrt (cbrt y)) (cbrt (pow y 2/3))) (* (cbrt (cbrt y)) (* (cbrt (cbrt y)) (* (- x z) t))) (* (* (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt y))) (* (- x z) t)) (* (sqrt (cbrt (pow y 2/3))) (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (cbrt (pow y 2/3)) (* (- x z) t))) (* (* (cbrt (cbrt y)) (- (pow x 3) (pow z 3))) (* t (cbrt (pow y 2/3)))) (* (* (cbrt (cbrt y)) (* (- (* x x) (* z z)) t)) (cbrt (pow y 2/3))) (expm1 (* (cbrt (cbrt y)) (* (- x z) t))) (log1p (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (log (* (cbrt (cbrt y)) (* (- x z) t))) (log (* (cbrt (cbrt y)) (* (- x z) t))) (log (* (cbrt (cbrt y)) (* (- x z) t))) (exp (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt y) (pow (* (- x z) t) 3)) (* (cbrt y) (pow (* (- x z) t) 3)) (* (cbrt (* (cbrt (cbrt y)) (* (- x z) t))) (cbrt (* (cbrt (cbrt y)) (* (- x z) t)))) (cbrt (* (cbrt (cbrt y)) (* (- x z) t))) (pow (* (cbrt (cbrt y)) (* (- x z) t)) 3) (sqrt (* (cbrt (cbrt y)) (* (- x z) t))) (sqrt (* (cbrt (cbrt y)) (* (- x z) t))) (* (cbrt (cbrt y)) (- x z)) (* (cbrt (cbrt (cbrt y))) (* (- x z) t)) (* (cbrt (cbrt (sqrt y))) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt (cbrt y))) (* (- x z) t)) (* (cbrt (sqrt (cbrt y))) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt (cbrt y))) (* (- x z) t)) (* (sqrt (cbrt (cbrt y))) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- x z) t)) (* (cbrt (cbrt y)) (* (- (pow x 3) (pow z 3)) t)) (* (cbrt (cbrt y)) (* (- (* x x) (* z z)) t)) (expm1 (cbrt (cbrt y))) (log1p (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt 1) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (pow (cbrt (cbrt y)) 3) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) 0 (* t (* y (- x z))) (* t (* y (- x z))) 0 (* (* (- x z) t) (cbrt y)) (* (* (cbrt -1) (* (- x z) t)) (cbrt (- y))) 0 (* (pow y 1/9) (* (- x z) t)) (* (* (pow (- y) 1/9) (cbrt (cbrt -1))) (* (- x z) t)) (pow y 1/9) (pow (/ 1 y) -1/9) (* (pow (- y) 1/9) (cbrt (cbrt -1))) 9.003 * * * [progress]: adding candidates to table 9.344 * [progress]: [Phase 3 of 3] Extracting. 9.344 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 9.346 * * * [regime-changes]: Trying 4 branch expressions: (t z y x) 9.346 * * * * [regimes]: Trying to branch on t from (# # # # # # # # # # #) 9.412 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # #) 9.452 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # #) 9.509 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 9.565 * * * [regime]: Found split indices: #