3.101 * [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 x) (/ z t))) 0.023 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.025 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.026 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.030 * * [simplify]: iteration 3 : 56 enodes (cost 8 ) 0.037 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 0.051 * * [simplify]: iteration 5 : 142 enodes (cost 8 ) 0.077 * * [simplify]: iteration 6 : 180 enodes (cost 8 ) 0.119 * * [simplify]: iteration 7 : 214 enodes (cost 8 ) 0.169 * * [simplify]: iteration 8 : 257 enodes (cost 8 ) 0.218 * * [simplify]: iteration 9 : 343 enodes (cost 8 ) 0.344 * * [simplify]: iteration 10 : 455 enodes (cost 8 ) 0.471 * * [simplify]: iteration 11 : 520 enodes (cost 8 ) 0.596 * * [simplify]: iteration 12 : 587 enodes (cost 8 ) 0.752 * * [simplify]: iteration 13 : 644 enodes (cost 8 ) 0.922 * * [simplify]: iteration 14 : 684 enodes (cost 8 ) 1.156 * * [simplify]: iteration 15 : 832 enodes (cost 8 ) 1.546 * * [simplify]: iteration 16 : 1086 enodes (cost 8 ) 2.066 * * [simplify]: iteration 17 : 1441 enodes (cost 8 ) 3.019 * * [simplify]: iteration 18 : 2081 enodes (cost 8 ) 4.877 * * [simplify]: iteration 19 : 2754 enodes (cost 8 ) 6.481 * * [simplify]: iteration 20 : 2858 enodes (cost 8 ) 7.325 * * [simplify]: iteration 21 : 2864 enodes (cost 8 ) 8.163 * * [simplify]: iteration done : 2864 enodes (cost 8 ) 8.163 * [simplify]: Simplified to: (fma (- y x) (/ z t) x) 8.166 * * [progress]: iteration 1 / 4 8.166 * * * [progress]: picking best candidate 8.169 * * * * [pick]: Picked # 8.169 * * * [progress]: localizing error 8.176 * * * [progress]: generating rewritten candidates 8.176 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 8.191 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 8.195 * * * [progress]: generating series expansions 8.195 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 8.195 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x z t) around 0 8.195 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 8.195 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 8.195 * [taylor]: Taking taylor expansion of (- y x) in t 8.195 * [taylor]: Taking taylor expansion of y in t 8.195 * [taylor]: Taking taylor expansion of x in t 8.195 * [taylor]: Taking taylor expansion of z in t 8.195 * [taylor]: Taking taylor expansion of t in t 8.195 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 8.196 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 8.196 * [taylor]: Taking taylor expansion of (- y x) in z 8.196 * [taylor]: Taking taylor expansion of y in z 8.196 * [taylor]: Taking taylor expansion of x in z 8.196 * [taylor]: Taking taylor expansion of z in z 8.196 * [taylor]: Taking taylor expansion of t in z 8.197 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 8.197 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 8.197 * [taylor]: Taking taylor expansion of (- y x) in x 8.197 * [taylor]: Taking taylor expansion of y in x 8.197 * [taylor]: Taking taylor expansion of x in x 8.197 * [taylor]: Taking taylor expansion of z in x 8.197 * [taylor]: Taking taylor expansion of t in x 8.197 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 8.197 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 8.197 * [taylor]: Taking taylor expansion of (- y x) in y 8.197 * [taylor]: Taking taylor expansion of y in y 8.197 * [taylor]: Taking taylor expansion of x in y 8.197 * [taylor]: Taking taylor expansion of z in y 8.197 * [taylor]: Taking taylor expansion of t in y 8.197 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 8.197 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 8.197 * [taylor]: Taking taylor expansion of (- y x) in y 8.197 * [taylor]: Taking taylor expansion of y in y 8.197 * [taylor]: Taking taylor expansion of x in y 8.197 * [taylor]: Taking taylor expansion of z in y 8.198 * [taylor]: Taking taylor expansion of t in y 8.198 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x 8.198 * [taylor]: Taking taylor expansion of -1 in x 8.198 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 8.198 * [taylor]: Taking taylor expansion of (* x z) in x 8.198 * [taylor]: Taking taylor expansion of x in x 8.198 * [taylor]: Taking taylor expansion of z in x 8.198 * [taylor]: Taking taylor expansion of t in x 8.203 * [taylor]: Taking taylor expansion of (/ z t) in x 8.203 * [taylor]: Taking taylor expansion of z in x 8.203 * [taylor]: Taking taylor expansion of t in x 8.203 * [taylor]: Taking taylor expansion of (/ z t) in z 8.203 * [taylor]: Taking taylor expansion of z in z 8.203 * [taylor]: Taking taylor expansion of t in z 8.203 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.203 * [taylor]: Taking taylor expansion of t in t 8.204 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z 8.204 * [taylor]: Taking taylor expansion of -1 in z 8.204 * [taylor]: Taking taylor expansion of (/ z t) in z 8.204 * [taylor]: Taking taylor expansion of z in z 8.204 * [taylor]: Taking taylor expansion of t in z 8.204 * [taylor]: Taking taylor expansion of (/ -1 t) in t 8.204 * [taylor]: Taking taylor expansion of -1 in t 8.204 * [taylor]: Taking taylor expansion of t in t 8.205 * [taylor]: Taking taylor expansion of 0 in x 8.205 * [taylor]: Taking taylor expansion of 0 in z 8.205 * [taylor]: Taking taylor expansion of 0 in t 8.205 * [taylor]: Taking taylor expansion of 0 in z 8.205 * [taylor]: Taking taylor expansion of 0 in t 8.206 * [taylor]: Taking taylor expansion of 0 in z 8.206 * [taylor]: Taking taylor expansion of 0 in t 8.207 * [taylor]: Taking taylor expansion of 0 in t 8.207 * [taylor]: Taking taylor expansion of 0 in t 8.209 * [taylor]: Taking taylor expansion of 0 in x 8.209 * [taylor]: Taking taylor expansion of 0 in z 8.209 * [taylor]: Taking taylor expansion of 0 in t 8.209 * [taylor]: Taking taylor expansion of 0 in z 8.209 * [taylor]: Taking taylor expansion of 0 in t 8.209 * [taylor]: Taking taylor expansion of 0 in z 8.209 * [taylor]: Taking taylor expansion of 0 in t 8.211 * [taylor]: Taking taylor expansion of 0 in z 8.211 * [taylor]: Taking taylor expansion of 0 in t 8.211 * [taylor]: Taking taylor expansion of 0 in t 8.211 * [taylor]: Taking taylor expansion of 0 in t 8.211 * [taylor]: Taking taylor expansion of 0 in t 8.211 * [taylor]: Taking taylor expansion of 0 in t 8.212 * [taylor]: Taking taylor expansion of 0 in t 8.212 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0 8.212 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 8.212 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 8.212 * [taylor]: Taking taylor expansion of t in t 8.212 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 8.212 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.212 * [taylor]: Taking taylor expansion of y in t 8.212 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.212 * [taylor]: Taking taylor expansion of x in t 8.212 * [taylor]: Taking taylor expansion of z in t 8.213 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 8.213 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 8.213 * [taylor]: Taking taylor expansion of t in z 8.213 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 8.213 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.213 * [taylor]: Taking taylor expansion of y in z 8.213 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.213 * [taylor]: Taking taylor expansion of x in z 8.213 * [taylor]: Taking taylor expansion of z in z 8.214 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 8.214 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 8.214 * [taylor]: Taking taylor expansion of t in x 8.214 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 8.214 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.214 * [taylor]: Taking taylor expansion of y in x 8.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.214 * [taylor]: Taking taylor expansion of x in x 8.214 * [taylor]: Taking taylor expansion of z in x 8.215 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 8.215 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 8.215 * [taylor]: Taking taylor expansion of t in y 8.215 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 8.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.215 * [taylor]: Taking taylor expansion of y in y 8.215 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.215 * [taylor]: Taking taylor expansion of x in y 8.215 * [taylor]: Taking taylor expansion of z in y 8.215 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 8.215 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 8.215 * [taylor]: Taking taylor expansion of t in y 8.215 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 8.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.216 * [taylor]: Taking taylor expansion of y in y 8.216 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.216 * [taylor]: Taking taylor expansion of x in y 8.216 * [taylor]: Taking taylor expansion of z in y 8.216 * [taylor]: Taking taylor expansion of (/ t z) in x 8.216 * [taylor]: Taking taylor expansion of t in x 8.216 * [taylor]: Taking taylor expansion of z in x 8.217 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x 8.217 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.217 * [taylor]: Taking taylor expansion of t in x 8.217 * [taylor]: Taking taylor expansion of (* x z) in x 8.217 * [taylor]: Taking taylor expansion of x in x 8.217 * [taylor]: Taking taylor expansion of z in x 8.218 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 8.218 * [taylor]: Taking taylor expansion of (/ t z) in z 8.218 * [taylor]: Taking taylor expansion of t in z 8.218 * [taylor]: Taking taylor expansion of z in z 8.218 * [taylor]: Taking taylor expansion of (- t) in t 8.218 * [taylor]: Taking taylor expansion of t in t 8.218 * [taylor]: Taking taylor expansion of (/ t z) in z 8.218 * [taylor]: Taking taylor expansion of t in z 8.218 * [taylor]: Taking taylor expansion of z in z 8.218 * [taylor]: Taking taylor expansion of t in t 8.220 * [taylor]: Taking taylor expansion of 0 in x 8.221 * [taylor]: Taking taylor expansion of 0 in z 8.221 * [taylor]: Taking taylor expansion of 0 in z 8.222 * [taylor]: Taking taylor expansion of 0 in t 8.222 * [taylor]: Taking taylor expansion of 0 in t 8.224 * [taylor]: Taking taylor expansion of 0 in x 8.224 * [taylor]: Taking taylor expansion of 0 in z 8.225 * [taylor]: Taking taylor expansion of 0 in z 8.225 * [taylor]: Taking taylor expansion of 0 in z 8.226 * [taylor]: Taking taylor expansion of 0 in t 8.226 * [taylor]: Taking taylor expansion of 0 in t 8.226 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in (y x z t) around 0 8.226 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in t 8.226 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t 8.226 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 8.226 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.226 * [taylor]: Taking taylor expansion of x in t 8.226 * [taylor]: Taking taylor expansion of (/ 1 y) in t 8.226 * [taylor]: Taking taylor expansion of y in t 8.226 * [taylor]: Taking taylor expansion of t in t 8.226 * [taylor]: Taking taylor expansion of z in t 8.227 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in z 8.227 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z 8.227 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 8.227 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.227 * [taylor]: Taking taylor expansion of x in z 8.227 * [taylor]: Taking taylor expansion of (/ 1 y) in z 8.227 * [taylor]: Taking taylor expansion of y in z 8.227 * [taylor]: Taking taylor expansion of t in z 8.227 * [taylor]: Taking taylor expansion of z in z 8.228 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in x 8.228 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x 8.228 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 8.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.228 * [taylor]: Taking taylor expansion of x in x 8.228 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.228 * [taylor]: Taking taylor expansion of y in x 8.228 * [taylor]: Taking taylor expansion of t in x 8.228 * [taylor]: Taking taylor expansion of z in x 8.229 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 8.229 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 8.229 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 8.229 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.229 * [taylor]: Taking taylor expansion of x in y 8.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.229 * [taylor]: Taking taylor expansion of y in y 8.229 * [taylor]: Taking taylor expansion of t in y 8.229 * [taylor]: Taking taylor expansion of z in y 8.230 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 8.230 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 8.230 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 8.230 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.230 * [taylor]: Taking taylor expansion of x in y 8.230 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.230 * [taylor]: Taking taylor expansion of y in y 8.230 * [taylor]: Taking taylor expansion of t in y 8.230 * [taylor]: Taking taylor expansion of z in y 8.231 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x 8.231 * [taylor]: Taking taylor expansion of -1 in x 8.231 * [taylor]: Taking taylor expansion of (/ t z) in x 8.231 * [taylor]: Taking taylor expansion of t in x 8.231 * [taylor]: Taking taylor expansion of z in x 8.232 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.232 * [taylor]: Taking taylor expansion of t in x 8.232 * [taylor]: Taking taylor expansion of (* x z) in x 8.232 * [taylor]: Taking taylor expansion of x in x 8.232 * [taylor]: Taking taylor expansion of z in x 8.232 * [taylor]: Taking taylor expansion of (/ t z) in z 8.232 * [taylor]: Taking taylor expansion of t in z 8.232 * [taylor]: Taking taylor expansion of z in z 8.232 * [taylor]: Taking taylor expansion of t in t 8.233 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z 8.233 * [taylor]: Taking taylor expansion of -1 in z 8.233 * [taylor]: Taking taylor expansion of (/ t z) in z 8.233 * [taylor]: Taking taylor expansion of t in z 8.233 * [taylor]: Taking taylor expansion of z in z 8.233 * [taylor]: Taking taylor expansion of (* -1 t) in t 8.233 * [taylor]: Taking taylor expansion of -1 in t 8.233 * [taylor]: Taking taylor expansion of t in t 8.235 * [taylor]: Taking taylor expansion of 0 in x 8.235 * [taylor]: Taking taylor expansion of 0 in z 8.236 * [taylor]: Taking taylor expansion of 0 in z 8.236 * [taylor]: Taking taylor expansion of 0 in t 8.237 * [taylor]: Taking taylor expansion of 0 in t 8.239 * [taylor]: Taking taylor expansion of 0 in x 8.239 * [taylor]: Taking taylor expansion of 0 in z 8.240 * [taylor]: Taking taylor expansion of 0 in z 8.241 * [taylor]: Taking taylor expansion of 0 in z 8.241 * [taylor]: Taking taylor expansion of 0 in t 8.241 * [taylor]: Taking taylor expansion of 0 in t 8.241 * * * * [progress]: [ 2 / 2 ] generating series at (2) 8.242 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x y z t) around 0 8.242 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t 8.242 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 8.242 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 8.242 * [taylor]: Taking taylor expansion of (* z y) in t 8.242 * [taylor]: Taking taylor expansion of z in t 8.242 * [taylor]: Taking taylor expansion of y in t 8.242 * [taylor]: Taking taylor expansion of t in t 8.242 * [taylor]: Taking taylor expansion of x in t 8.242 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t 8.242 * [taylor]: Taking taylor expansion of (* x z) in t 8.242 * [taylor]: Taking taylor expansion of x in t 8.242 * [taylor]: Taking taylor expansion of z in t 8.242 * [taylor]: Taking taylor expansion of t in t 8.242 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 8.242 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 8.242 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 8.242 * [taylor]: Taking taylor expansion of (* z y) in z 8.242 * [taylor]: Taking taylor expansion of z in z 8.242 * [taylor]: Taking taylor expansion of y in z 8.242 * [taylor]: Taking taylor expansion of t in z 8.242 * [taylor]: Taking taylor expansion of x in z 8.242 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 8.242 * [taylor]: Taking taylor expansion of (* x z) in z 8.242 * [taylor]: Taking taylor expansion of x in z 8.242 * [taylor]: Taking taylor expansion of z in z 8.242 * [taylor]: Taking taylor expansion of t in z 8.243 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y 8.243 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 8.243 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 8.243 * [taylor]: Taking taylor expansion of (* z y) in y 8.243 * [taylor]: Taking taylor expansion of z in y 8.243 * [taylor]: Taking taylor expansion of y in y 8.243 * [taylor]: Taking taylor expansion of t in y 8.243 * [taylor]: Taking taylor expansion of x in y 8.243 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y 8.243 * [taylor]: Taking taylor expansion of (* x z) in y 8.243 * [taylor]: Taking taylor expansion of x in y 8.243 * [taylor]: Taking taylor expansion of z in y 8.243 * [taylor]: Taking taylor expansion of t in y 8.243 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 8.243 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 8.243 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 8.243 * [taylor]: Taking taylor expansion of (* z y) in x 8.243 * [taylor]: Taking taylor expansion of z in x 8.244 * [taylor]: Taking taylor expansion of y in x 8.244 * [taylor]: Taking taylor expansion of t in x 8.244 * [taylor]: Taking taylor expansion of x in x 8.244 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 8.244 * [taylor]: Taking taylor expansion of (* x z) in x 8.244 * [taylor]: Taking taylor expansion of x in x 8.244 * [taylor]: Taking taylor expansion of z in x 8.244 * [taylor]: Taking taylor expansion of t in x 8.244 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 8.244 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 8.244 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 8.244 * [taylor]: Taking taylor expansion of (* z y) in x 8.244 * [taylor]: Taking taylor expansion of z in x 8.244 * [taylor]: Taking taylor expansion of y in x 8.244 * [taylor]: Taking taylor expansion of t in x 8.244 * [taylor]: Taking taylor expansion of x in x 8.244 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 8.244 * [taylor]: Taking taylor expansion of (* x z) in x 8.244 * [taylor]: Taking taylor expansion of x in x 8.244 * [taylor]: Taking taylor expansion of z in x 8.244 * [taylor]: Taking taylor expansion of t in x 8.245 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 8.245 * [taylor]: Taking taylor expansion of (* z y) in y 8.245 * [taylor]: Taking taylor expansion of z in y 8.245 * [taylor]: Taking taylor expansion of y in y 8.245 * [taylor]: Taking taylor expansion of t in y 8.246 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in y 8.246 * [taylor]: Taking taylor expansion of 1 in y 8.246 * [taylor]: Taking taylor expansion of (/ z t) in y 8.246 * [taylor]: Taking taylor expansion of z in y 8.246 * [taylor]: Taking taylor expansion of t in y 8.246 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 8.246 * [taylor]: Taking taylor expansion of 1 in z 8.246 * [taylor]: Taking taylor expansion of (/ z t) in z 8.246 * [taylor]: Taking taylor expansion of z in z 8.246 * [taylor]: Taking taylor expansion of t in z 8.246 * [taylor]: Taking taylor expansion of 1 in t 8.246 * [taylor]: Taking taylor expansion of (/ z t) in z 8.246 * [taylor]: Taking taylor expansion of z in z 8.246 * [taylor]: Taking taylor expansion of t in z 8.248 * [taylor]: Taking taylor expansion of 0 in y 8.248 * [taylor]: Taking taylor expansion of 0 in z 8.248 * [taylor]: Taking taylor expansion of 0 in t 8.249 * [taylor]: Taking taylor expansion of 0 in z 8.249 * [taylor]: Taking taylor expansion of 0 in t 8.249 * [taylor]: Taking taylor expansion of 0 in z 8.249 * [taylor]: Taking taylor expansion of 0 in t 8.249 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 8.249 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.249 * [taylor]: Taking taylor expansion of t in t 8.250 * [taylor]: Taking taylor expansion of (/ 1 t) in t 8.250 * [taylor]: Taking taylor expansion of t in t 8.251 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x y z t) around 0 8.251 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t 8.251 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 8.251 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 8.251 * [taylor]: Taking taylor expansion of t in t 8.251 * [taylor]: Taking taylor expansion of (* z y) in t 8.251 * [taylor]: Taking taylor expansion of z in t 8.251 * [taylor]: Taking taylor expansion of y in t 8.251 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.251 * [taylor]: Taking taylor expansion of x in t 8.251 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 8.251 * [taylor]: Taking taylor expansion of t in t 8.251 * [taylor]: Taking taylor expansion of (* x z) in t 8.251 * [taylor]: Taking taylor expansion of x in t 8.251 * [taylor]: Taking taylor expansion of z in t 8.251 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 8.251 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 8.251 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 8.251 * [taylor]: Taking taylor expansion of t in z 8.251 * [taylor]: Taking taylor expansion of (* z y) in z 8.251 * [taylor]: Taking taylor expansion of z in z 8.251 * [taylor]: Taking taylor expansion of y in z 8.252 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.252 * [taylor]: Taking taylor expansion of x in z 8.252 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 8.252 * [taylor]: Taking taylor expansion of t in z 8.252 * [taylor]: Taking taylor expansion of (* x z) in z 8.252 * [taylor]: Taking taylor expansion of x in z 8.252 * [taylor]: Taking taylor expansion of z in z 8.252 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y 8.252 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 8.252 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.252 * [taylor]: Taking taylor expansion of t in y 8.252 * [taylor]: Taking taylor expansion of (* z y) in y 8.252 * [taylor]: Taking taylor expansion of z in y 8.252 * [taylor]: Taking taylor expansion of y in y 8.253 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.253 * [taylor]: Taking taylor expansion of x in y 8.253 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 8.253 * [taylor]: Taking taylor expansion of t in y 8.253 * [taylor]: Taking taylor expansion of (* x z) in y 8.253 * [taylor]: Taking taylor expansion of x in y 8.253 * [taylor]: Taking taylor expansion of z in y 8.253 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 8.253 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.253 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.253 * [taylor]: Taking taylor expansion of t in x 8.253 * [taylor]: Taking taylor expansion of (* z y) in x 8.253 * [taylor]: Taking taylor expansion of z in x 8.253 * [taylor]: Taking taylor expansion of y in x 8.253 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.253 * [taylor]: Taking taylor expansion of x in x 8.253 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.253 * [taylor]: Taking taylor expansion of t in x 8.253 * [taylor]: Taking taylor expansion of (* x z) in x 8.253 * [taylor]: Taking taylor expansion of x in x 8.253 * [taylor]: Taking taylor expansion of z in x 8.254 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 8.254 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.254 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.254 * [taylor]: Taking taylor expansion of t in x 8.254 * [taylor]: Taking taylor expansion of (* z y) in x 8.254 * [taylor]: Taking taylor expansion of z in x 8.254 * [taylor]: Taking taylor expansion of y in x 8.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.254 * [taylor]: Taking taylor expansion of x in x 8.254 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.254 * [taylor]: Taking taylor expansion of t in x 8.254 * [taylor]: Taking taylor expansion of (* x z) in x 8.254 * [taylor]: Taking taylor expansion of x in x 8.254 * [taylor]: Taking taylor expansion of z in x 8.255 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in y 8.255 * [taylor]: Taking taylor expansion of 1 in y 8.255 * [taylor]: Taking taylor expansion of (/ t z) in y 8.255 * [taylor]: Taking taylor expansion of t in y 8.255 * [taylor]: Taking taylor expansion of z in y 8.257 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.257 * [taylor]: Taking taylor expansion of t in y 8.257 * [taylor]: Taking taylor expansion of (* z y) in y 8.257 * [taylor]: Taking taylor expansion of z in y 8.257 * [taylor]: Taking taylor expansion of y in y 8.257 * [taylor]: Taking taylor expansion of (/ t z) in z 8.257 * [taylor]: Taking taylor expansion of t in z 8.257 * [taylor]: Taking taylor expansion of z in z 8.257 * [taylor]: Taking taylor expansion of t in t 8.257 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 8.257 * [taylor]: Taking taylor expansion of 1 in z 8.257 * [taylor]: Taking taylor expansion of (/ t z) in z 8.257 * [taylor]: Taking taylor expansion of t in z 8.257 * [taylor]: Taking taylor expansion of z in z 8.257 * [taylor]: Taking taylor expansion of (- t) in t 8.257 * [taylor]: Taking taylor expansion of t in t 8.260 * [taylor]: Taking taylor expansion of 0 in y 8.260 * [taylor]: Taking taylor expansion of 0 in z 8.261 * [taylor]: Taking taylor expansion of 0 in z 8.261 * [taylor]: Taking taylor expansion of 0 in t 8.262 * [taylor]: Taking taylor expansion of 1 in t 8.263 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0 8.263 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t 8.263 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 8.263 * [taylor]: Taking taylor expansion of t in t 8.263 * [taylor]: Taking taylor expansion of (* x z) in t 8.263 * [taylor]: Taking taylor expansion of x in t 8.263 * [taylor]: Taking taylor expansion of z in t 8.264 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 8.264 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 8.264 * [taylor]: Taking taylor expansion of t in t 8.264 * [taylor]: Taking taylor expansion of (* z y) in t 8.264 * [taylor]: Taking taylor expansion of z in t 8.264 * [taylor]: Taking taylor expansion of y in t 8.264 * [taylor]: Taking taylor expansion of (/ 1 x) in t 8.264 * [taylor]: Taking taylor expansion of x in t 8.264 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 8.264 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 8.264 * [taylor]: Taking taylor expansion of t in z 8.264 * [taylor]: Taking taylor expansion of (* x z) in z 8.264 * [taylor]: Taking taylor expansion of x in z 8.264 * [taylor]: Taking taylor expansion of z in z 8.264 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 8.264 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 8.264 * [taylor]: Taking taylor expansion of t in z 8.264 * [taylor]: Taking taylor expansion of (* z y) in z 8.264 * [taylor]: Taking taylor expansion of z in z 8.264 * [taylor]: Taking taylor expansion of y in z 8.265 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.265 * [taylor]: Taking taylor expansion of x in z 8.265 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y 8.265 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 8.265 * [taylor]: Taking taylor expansion of t in y 8.265 * [taylor]: Taking taylor expansion of (* x z) in y 8.265 * [taylor]: Taking taylor expansion of x in y 8.265 * [taylor]: Taking taylor expansion of z in y 8.265 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 8.265 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.265 * [taylor]: Taking taylor expansion of t in y 8.265 * [taylor]: Taking taylor expansion of (* z y) in y 8.265 * [taylor]: Taking taylor expansion of z in y 8.265 * [taylor]: Taking taylor expansion of y in y 8.265 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.265 * [taylor]: Taking taylor expansion of x in y 8.265 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 8.265 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.265 * [taylor]: Taking taylor expansion of t in x 8.265 * [taylor]: Taking taylor expansion of (* x z) in x 8.265 * [taylor]: Taking taylor expansion of x in x 8.265 * [taylor]: Taking taylor expansion of z in x 8.266 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.266 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.266 * [taylor]: Taking taylor expansion of t in x 8.266 * [taylor]: Taking taylor expansion of (* z y) in x 8.266 * [taylor]: Taking taylor expansion of z in x 8.266 * [taylor]: Taking taylor expansion of y in x 8.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.266 * [taylor]: Taking taylor expansion of x in x 8.266 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 8.266 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 8.266 * [taylor]: Taking taylor expansion of t in x 8.266 * [taylor]: Taking taylor expansion of (* x z) in x 8.266 * [taylor]: Taking taylor expansion of x in x 8.266 * [taylor]: Taking taylor expansion of z in x 8.266 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 8.266 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 8.267 * [taylor]: Taking taylor expansion of t in x 8.267 * [taylor]: Taking taylor expansion of (* z y) in x 8.267 * [taylor]: Taking taylor expansion of z in x 8.267 * [taylor]: Taking taylor expansion of y in x 8.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.267 * [taylor]: Taking taylor expansion of x in x 8.268 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in y 8.268 * [taylor]: Taking taylor expansion of (/ t z) in y 8.268 * [taylor]: Taking taylor expansion of t in y 8.268 * [taylor]: Taking taylor expansion of z in y 8.268 * [taylor]: Taking taylor expansion of 1 in y 8.269 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y 8.269 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 8.269 * [taylor]: Taking taylor expansion of t in y 8.269 * [taylor]: Taking taylor expansion of (* z y) in y 8.269 * [taylor]: Taking taylor expansion of z in y 8.269 * [taylor]: Taking taylor expansion of y in y 8.269 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 8.269 * [taylor]: Taking taylor expansion of (/ t z) in z 8.269 * [taylor]: Taking taylor expansion of t in z 8.269 * [taylor]: Taking taylor expansion of z in z 8.269 * [taylor]: Taking taylor expansion of (- t) in t 8.269 * [taylor]: Taking taylor expansion of t in t 8.270 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 8.270 * [taylor]: Taking taylor expansion of (/ t z) in z 8.270 * [taylor]: Taking taylor expansion of t in z 8.270 * [taylor]: Taking taylor expansion of z in z 8.270 * [taylor]: Taking taylor expansion of 1 in z 8.270 * [taylor]: Taking taylor expansion of t in t 8.272 * [taylor]: Taking taylor expansion of 0 in y 8.273 * [taylor]: Taking taylor expansion of 0 in z 8.274 * [taylor]: Taking taylor expansion of 0 in z 8.274 * [taylor]: Taking taylor expansion of 0 in t 8.275 * [taylor]: Taking taylor expansion of -1 in t 8.276 * * * [progress]: simplifying candidates 8.277 * [simplify]: Simplifying using # : (expm1 (* (- y x) (/ z t))) (log1p (* (- y x) (/ z t))) (* (- y x) (/ z t)) (+ (log (- y x)) (- (log z) (log t))) (+ (log (- y x)) (log (/ z t))) (log (* (- y x) (/ z t))) (exp (* (- y x) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (/ (* (* z z) z) (* (* t t) t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (/ z t) (/ z t)) (/ 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))) (* (- (pow y 3) (pow x 3)) z) (* (+ (* y y) (+ (* x x) (* y x))) t) (* (- (* y y) (* x x)) z) (* (+ y x) t) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (sqrt (/ z t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) 1)) (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (sqrt z) (sqrt t))) (* (- y x) (/ (sqrt z) 1)) (* (- y x) (/ 1 (* (cbrt t) (cbrt t)))) (* (- y x) (/ 1 (sqrt t))) (* (- y x) (/ 1 1)) (* (- y x) 1) (* (- y x) z) (* (cbrt (- y x)) (/ z t)) (* (sqrt (- y x)) (/ z t)) (* (- y x) (/ z t)) (* (- (sqrt y) (sqrt x)) (/ z t)) (* (- y x) (/ z t)) (* (- y x) z) (* (- (pow y 3) (pow x 3)) (/ z t)) (* (- (* y y) (* x x)) (/ z t)) (expm1 (+ x (* (- y x) (/ z t)))) (log1p (+ x (* (- y x) (/ z t)))) (* (exp x) (exp (* (- y x) (/ z t)))) (log (+ x (* (- y x) (/ z t)))) (exp (+ x (* (- y x) (/ z t)))) (* (cbrt (+ x (* (- y x) (/ z t)))) (cbrt (+ x (* (- y x) (/ z t))))) (cbrt (+ x (* (- y x) (/ z t)))) (* (* (+ x (* (- y x) (/ z t))) (+ x (* (- y x) (/ z t)))) (+ x (* (- y x) (/ z t)))) (sqrt (+ x (* (- y x) (/ z t)))) (sqrt (+ x (* (- y x) (/ z t)))) (+ (pow x 3) (pow (* (- y x) (/ z t)) 3)) (+ (* x x) (- (* (* (- y x) (/ z t)) (* (- y x) (/ z t))) (* x (* (- y x) (/ z t))))) (- (* x x) (* (* (- y x) (/ z t)) (* (- y x) (/ z t)))) (- x (* (- y x) (/ z t))) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) 8.280 * * [simplify]: iteration 0 : 119 enodes (cost 705 ) 8.305 * * [simplify]: iteration 1 : 307 enodes (cost 661 ) 8.419 * * [simplify]: iteration 2 : 1096 enodes (cost 603 ) 9.584 * * [simplify]: iteration done : 5000 enodes (cost 576 ) 9.584 * [simplify]: Simplified to: (expm1 (* (- y x) (/ z t))) (log1p (* (- 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))) (* (- (pow y 3) (pow x 3)) z) (* (fma y y (* x (+ y x))) t) (* (- (* y y) (* x x)) z) (* (+ y x) t) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (sqrt (/ z t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (sqrt (- y x)) (/ (sqrt z) (sqrt t))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (sqrt (/ z t))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (* (cbrt z) (cbrt z)) (sqrt t))) (* (* (cbrt z) (cbrt z)) (- y x)) (* (- y x) (/ (sqrt z) (* (cbrt t) (cbrt t)))) (* (- y x) (/ (sqrt z) (sqrt t))) (* (- y x) (sqrt z)) (/ (- y x) (* (cbrt t) (cbrt t))) (/ (- y x) (sqrt t)) (- y x) (- y x) (* (- y x) z) (* (cbrt (- y x)) (/ z t)) (* (sqrt (- y x)) (/ z t)) (/ (* (- y x) z) t) (* (- (sqrt y) (sqrt x)) (/ z t)) (/ (* (- y x) z) t) (* (- y x) z) (* (- (pow y 3) (pow x 3)) (/ z t)) (* (- (* y y) (* x x)) (/ z t)) (expm1 (fma (- y x) (/ z t) x)) (log1p (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (log (fma (- y x) (/ z t) x)) (exp (fma (- y x) (/ z t) x)) (* (cbrt (fma (- y x) (/ z t) x)) (cbrt (fma (- y x) (/ z t) x))) (cbrt (fma (- y x) (/ z t) x)) (pow (fma (- y x) (/ z t) x) 3) (sqrt (fma (- y x) (/ z t) x)) (sqrt (fma (- y x) (/ z t) x)) (+ (pow x 3) (pow (* (- y x) (/ z t)) 3)) (fma x x (* (* (- y x) (/ z t)) (- (* (- y x) (/ z t)) x))) (* (fma (- y x) (/ z t) x) (- x (* (- y x) (/ z t)))) (- x (* (- y x) (/ z t))) (/ (* (- y x) z) t) (/ (* (- y x) z) t) (/ (* (- y x) z) t) (fma (/ z t) (- y x) x) (fma (/ z t) (- y x) x) (fma (/ z t) (- y x) x) 9.585 * * * [progress]: adding candidates to table 9.726 * * [progress]: iteration 2 / 4 9.726 * * * [progress]: picking best candidate 9.748 * * * * [pick]: Picked # 9.748 * * * [progress]: localizing error 9.754 * * * [progress]: generating rewritten candidates 9.754 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 9.754 * * * [progress]: generating series expansions 9.754 * * * * [progress]: [ 1 / 1 ] generating series at (2) 9.755 * [approximate]: Taking taylor expansion of (fma (/ z t) (- y x) x) in (z t y x) around 0 9.755 * [taylor]: Taking taylor expansion of (fma (/ z t) (- y x) x) in x 9.755 * [taylor]: Rewrote expression to (+ (* (/ z t) (- y x)) x) 9.755 * [taylor]: Taking taylor expansion of (* (/ z t) (- y x)) in x 9.755 * [taylor]: Taking taylor expansion of (/ z t) in x 9.755 * [taylor]: Taking taylor expansion of z in x 9.755 * [taylor]: Taking taylor expansion of t in x 9.755 * [taylor]: Taking taylor expansion of (- y x) in x 9.755 * [taylor]: Taking taylor expansion of y in x 9.755 * [taylor]: Taking taylor expansion of x in x 9.755 * [taylor]: Taking taylor expansion of x in x 9.755 * [taylor]: Taking taylor expansion of (fma (/ z t) (- y x) x) in y 9.755 * [taylor]: Rewrote expression to (+ (* (/ z t) (- y x)) x) 9.755 * [taylor]: Taking taylor expansion of (* (/ z t) (- y x)) in y 9.755 * [taylor]: Taking taylor expansion of (/ z t) in y 9.755 * [taylor]: Taking taylor expansion of z in y 9.755 * [taylor]: Taking taylor expansion of t in y 9.755 * [taylor]: Taking taylor expansion of (- y x) in y 9.755 * [taylor]: Taking taylor expansion of y in y 9.755 * [taylor]: Taking taylor expansion of x in y 9.755 * [taylor]: Taking taylor expansion of x in y 9.755 * [taylor]: Taking taylor expansion of (fma (/ z t) (- y x) x) in t 9.755 * [taylor]: Rewrote expression to (+ (* (/ z t) (- y x)) x) 9.755 * [taylor]: Taking taylor expansion of (* (/ z t) (- y x)) in t 9.755 * [taylor]: Taking taylor expansion of (/ z t) in t 9.755 * [taylor]: Taking taylor expansion of z in t 9.755 * [taylor]: Taking taylor expansion of t in t 9.755 * [taylor]: Taking taylor expansion of (- y x) in t 9.755 * [taylor]: Taking taylor expansion of y in t 9.755 * [taylor]: Taking taylor expansion of x in t 9.755 * [taylor]: Taking taylor expansion of x in t 9.755 * [taylor]: Taking taylor expansion of (fma (/ z t) (- y x) x) in z 9.756 * [taylor]: Rewrote expression to (+ (* (/ z t) (- y x)) x) 9.756 * [taylor]: Taking taylor expansion of (* (/ z t) (- y x)) in z 9.756 * [taylor]: Taking taylor expansion of (/ z t) in z 9.756 * [taylor]: Taking taylor expansion of z in z 9.756 * [taylor]: Taking taylor expansion of t in z 9.756 * [taylor]: Taking taylor expansion of (- y x) in z 9.756 * [taylor]: Taking taylor expansion of y in z 9.756 * [taylor]: Taking taylor expansion of x in z 9.756 * [taylor]: Taking taylor expansion of x in z 9.756 * [taylor]: Taking taylor expansion of (fma (/ z t) (- y x) x) in z 9.756 * [taylor]: Rewrote expression to (+ (* (/ z t) (- y x)) x) 9.756 * [taylor]: Taking taylor expansion of (* (/ z t) (- y x)) in z 9.756 * [taylor]: Taking taylor expansion of (/ z t) in z 9.756 * [taylor]: Taking taylor expansion of z in z 9.756 * [taylor]: Taking taylor expansion of t in z 9.756 * [taylor]: Taking taylor expansion of (- y x) in z 9.756 * [taylor]: Taking taylor expansion of y in z 9.756 * [taylor]: Taking taylor expansion of x in z 9.756 * [taylor]: Taking taylor expansion of x in z 9.756 * [taylor]: Taking taylor expansion of x in t 9.756 * [taylor]: Taking taylor expansion of (- (/ y t) (/ x t)) in t 9.756 * [taylor]: Taking taylor expansion of (/ y t) in t 9.756 * [taylor]: Taking taylor expansion of y in t 9.756 * [taylor]: Taking taylor expansion of t in t 9.756 * [taylor]: Taking taylor expansion of (/ x t) in t 9.756 * [taylor]: Taking taylor expansion of x in t 9.756 * [taylor]: Taking taylor expansion of t in t 9.756 * [taylor]: Taking taylor expansion of (- y x) in y 9.756 * [taylor]: Taking taylor expansion of y in y 9.756 * [taylor]: Taking taylor expansion of x in y 9.756 * [taylor]: Taking taylor expansion of (- x) in x 9.756 * [taylor]: Taking taylor expansion of x in x 9.757 * [taylor]: Taking taylor expansion of x in y 9.757 * [taylor]: Taking taylor expansion of x in x 9.758 * [taylor]: Taking taylor expansion of 0 in t 9.760 * [taylor]: Taking taylor expansion of 0 in y 9.760 * [taylor]: Taking taylor expansion of 0 in x 9.760 * [taylor]: Taking taylor expansion of 0 in y 9.760 * [taylor]: Taking taylor expansion of 0 in x 9.760 * [taylor]: Taking taylor expansion of 1 in x 9.760 * [taylor]: Taking taylor expansion of 0 in x 9.761 * [approximate]: Taking taylor expansion of (fma (/ t z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in (z t y x) around 0 9.762 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in x 9.762 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 9.762 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 y) (/ 1 x))) in x 9.762 * [taylor]: Taking taylor expansion of (/ t z) in x 9.762 * [taylor]: Taking taylor expansion of t in x 9.762 * [taylor]: Taking taylor expansion of z in x 9.762 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 9.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.762 * [taylor]: Taking taylor expansion of y in x 9.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.762 * [taylor]: Taking taylor expansion of x in x 9.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.762 * [taylor]: Taking taylor expansion of x in x 9.763 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in y 9.763 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 9.763 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 y) (/ 1 x))) in y 9.763 * [taylor]: Taking taylor expansion of (/ t z) in y 9.763 * [taylor]: Taking taylor expansion of t in y 9.763 * [taylor]: Taking taylor expansion of z in y 9.763 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.763 * [taylor]: Taking taylor expansion of y in y 9.763 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.763 * [taylor]: Taking taylor expansion of x in y 9.763 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.763 * [taylor]: Taking taylor expansion of x in y 9.763 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in t 9.763 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 9.763 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 y) (/ 1 x))) in t 9.763 * [taylor]: Taking taylor expansion of (/ t z) in t 9.763 * [taylor]: Taking taylor expansion of t in t 9.764 * [taylor]: Taking taylor expansion of z in t 9.764 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 9.764 * [taylor]: Taking taylor expansion of (/ 1 y) in t 9.764 * [taylor]: Taking taylor expansion of y in t 9.764 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.764 * [taylor]: Taking taylor expansion of x in t 9.764 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.764 * [taylor]: Taking taylor expansion of x in t 9.764 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 9.764 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 9.764 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 y) (/ 1 x))) in z 9.764 * [taylor]: Taking taylor expansion of (/ t z) in z 9.764 * [taylor]: Taking taylor expansion of t in z 9.764 * [taylor]: Taking taylor expansion of z in z 9.764 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 9.764 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.764 * [taylor]: Taking taylor expansion of y in z 9.764 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.764 * [taylor]: Taking taylor expansion of x in z 9.764 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.764 * [taylor]: Taking taylor expansion of x in z 9.764 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 9.765 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 9.765 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 y) (/ 1 x))) in z 9.765 * [taylor]: Taking taylor expansion of (/ t z) in z 9.765 * [taylor]: Taking taylor expansion of t in z 9.765 * [taylor]: Taking taylor expansion of z in z 9.765 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 9.765 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.765 * [taylor]: Taking taylor expansion of y in z 9.765 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.765 * [taylor]: Taking taylor expansion of x in z 9.765 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.765 * [taylor]: Taking taylor expansion of x in z 9.765 * [taylor]: Taking taylor expansion of (- (/ t y) (/ t x)) in t 9.765 * [taylor]: Taking taylor expansion of (/ t y) in t 9.765 * [taylor]: Taking taylor expansion of t in t 9.765 * [taylor]: Taking taylor expansion of y in t 9.765 * [taylor]: Taking taylor expansion of (/ t x) in t 9.765 * [taylor]: Taking taylor expansion of t in t 9.765 * [taylor]: Taking taylor expansion of x in t 9.767 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.767 * [taylor]: Taking taylor expansion of x in t 9.767 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.767 * [taylor]: Taking taylor expansion of x in y 9.767 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 9.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.767 * [taylor]: Taking taylor expansion of y in y 9.767 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.767 * [taylor]: Taking taylor expansion of x in y 9.767 * [taylor]: Taking taylor expansion of 1 in x 9.769 * [taylor]: Taking taylor expansion of 0 in t 9.770 * [taylor]: Taking taylor expansion of 0 in y 9.770 * [taylor]: Taking taylor expansion of 0 in y 9.770 * [taylor]: Taking taylor expansion of 0 in y 9.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.770 * [taylor]: Taking taylor expansion of x in x 9.771 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.771 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.771 * [taylor]: Taking taylor expansion of x in x 9.772 * [approximate]: Taking taylor expansion of (fma (/ t z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in (z t y x) around 0 9.772 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in x 9.773 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 9.773 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 x) (/ 1 y))) in x 9.773 * [taylor]: Taking taylor expansion of (/ t z) in x 9.773 * [taylor]: Taking taylor expansion of t in x 9.773 * [taylor]: Taking taylor expansion of z in x 9.773 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 9.773 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.773 * [taylor]: Taking taylor expansion of x in x 9.773 * [taylor]: Taking taylor expansion of (/ 1 y) in x 9.773 * [taylor]: Taking taylor expansion of y in x 9.773 * [taylor]: Taking taylor expansion of (/ -1 x) in x 9.773 * [taylor]: Taking taylor expansion of -1 in x 9.773 * [taylor]: Taking taylor expansion of x in x 9.773 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in y 9.774 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 9.774 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 x) (/ 1 y))) in y 9.774 * [taylor]: Taking taylor expansion of (/ t z) in y 9.774 * [taylor]: Taking taylor expansion of t in y 9.774 * [taylor]: Taking taylor expansion of z in y 9.774 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.774 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.774 * [taylor]: Taking taylor expansion of x in y 9.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.774 * [taylor]: Taking taylor expansion of y in y 9.774 * [taylor]: Taking taylor expansion of (/ -1 x) in y 9.774 * [taylor]: Taking taylor expansion of -1 in y 9.774 * [taylor]: Taking taylor expansion of x in y 9.774 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in t 9.774 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 9.774 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 x) (/ 1 y))) in t 9.774 * [taylor]: Taking taylor expansion of (/ t z) in t 9.774 * [taylor]: Taking taylor expansion of t in t 9.774 * [taylor]: Taking taylor expansion of z in t 9.774 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 9.774 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.774 * [taylor]: Taking taylor expansion of x in t 9.774 * [taylor]: Taking taylor expansion of (/ 1 y) in t 9.774 * [taylor]: Taking taylor expansion of y in t 9.774 * [taylor]: Taking taylor expansion of (/ -1 x) in t 9.774 * [taylor]: Taking taylor expansion of -1 in t 9.774 * [taylor]: Taking taylor expansion of x in t 9.774 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 9.775 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 9.775 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 x) (/ 1 y))) in z 9.775 * [taylor]: Taking taylor expansion of (/ t z) in z 9.775 * [taylor]: Taking taylor expansion of t in z 9.775 * [taylor]: Taking taylor expansion of z in z 9.775 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 9.775 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.775 * [taylor]: Taking taylor expansion of x in z 9.775 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.775 * [taylor]: Taking taylor expansion of y in z 9.775 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.775 * [taylor]: Taking taylor expansion of -1 in z 9.775 * [taylor]: Taking taylor expansion of x in z 9.775 * [taylor]: Taking taylor expansion of (fma (/ t z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 9.775 * [taylor]: Rewrote expression to (+ (* (/ t z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 9.775 * [taylor]: Taking taylor expansion of (* (/ t z) (- (/ 1 x) (/ 1 y))) in z 9.775 * [taylor]: Taking taylor expansion of (/ t z) in z 9.775 * [taylor]: Taking taylor expansion of t in z 9.775 * [taylor]: Taking taylor expansion of z in z 9.775 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 9.775 * [taylor]: Taking taylor expansion of (/ 1 x) in z 9.775 * [taylor]: Taking taylor expansion of x in z 9.775 * [taylor]: Taking taylor expansion of (/ 1 y) in z 9.775 * [taylor]: Taking taylor expansion of y in z 9.775 * [taylor]: Taking taylor expansion of (/ -1 x) in z 9.775 * [taylor]: Taking taylor expansion of -1 in z 9.775 * [taylor]: Taking taylor expansion of x in z 9.775 * [taylor]: Taking taylor expansion of (- (/ t x) (/ t y)) in t 9.776 * [taylor]: Taking taylor expansion of (/ t x) in t 9.776 * [taylor]: Taking taylor expansion of t in t 9.776 * [taylor]: Taking taylor expansion of x in t 9.776 * [taylor]: Taking taylor expansion of (/ t y) in t 9.776 * [taylor]: Taking taylor expansion of t in t 9.776 * [taylor]: Taking taylor expansion of y in t 9.777 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in t 9.777 * [taylor]: Taking taylor expansion of (/ 1 x) in t 9.777 * [taylor]: Taking taylor expansion of x in t 9.777 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 9.777 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.777 * [taylor]: Taking taylor expansion of x in y 9.777 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 9.777 * [taylor]: Taking taylor expansion of (/ 1 x) in y 9.777 * [taylor]: Taking taylor expansion of x in y 9.777 * [taylor]: Taking taylor expansion of (/ 1 y) in y 9.777 * [taylor]: Taking taylor expansion of y in y 9.778 * [taylor]: Taking taylor expansion of -1 in x 9.780 * [taylor]: Taking taylor expansion of 0 in t 9.780 * [taylor]: Taking taylor expansion of 0 in y 9.780 * [taylor]: Taking taylor expansion of 0 in y 9.781 * [taylor]: Taking taylor expansion of 0 in y 9.781 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 9.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.781 * [taylor]: Taking taylor expansion of x in x 9.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 9.782 * [taylor]: Taking taylor expansion of x in x 9.783 * * * [progress]: simplifying candidates 9.784 * [simplify]: Simplifying using # : (expm1 (fma (/ z t) (- y x) x)) (log1p (fma (/ z t) (- y x) x)) (* (/ z t) (- y x)) (log (fma (/ z t) (- y x) x)) (exp (fma (/ z t) (- y x) x)) (* (cbrt (fma (/ z t) (- y x) x)) (cbrt (fma (/ z t) (- y x) x))) (cbrt (fma (/ z t) (- y x) x)) (* (* (fma (/ z t) (- y x) x) (fma (/ z t) (- y x) x)) (fma (/ z t) (- y x) x)) (sqrt (fma (/ z t) (- y x) x)) (sqrt (fma (/ z t) (- y x) x)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) 9.785 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 9.788 * * [simplify]: iteration 1 : 41 enodes (cost 154 ) 9.793 * * [simplify]: iteration 2 : 89 enodes (cost 138 ) 9.810 * * [simplify]: iteration 3 : 214 enodes (cost 123 ) 9.874 * * [simplify]: iteration 4 : 944 enodes (cost 123 ) 10.731 * * [simplify]: iteration done : 5001 enodes (cost 123 ) 10.731 * [simplify]: Simplified to: (expm1 (fma (/ z t) (- y x) x)) (log1p (fma (/ z t) (- y x) x)) (/ z (/ t (- y x))) (log (fma (/ z t) (- y x) x)) (exp (fma (/ z t) (- y x) x)) (* (cbrt (fma (/ z t) (- y x) x)) (cbrt (fma (/ z t) (- y x) x))) (cbrt (fma (/ z t) (- y x) x)) (pow (fma (/ z t) (- y x) x) 3) (sqrt (fma (/ z t) (- y x) x)) (sqrt (fma (/ z t) (- y x) x)) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) (fma (- y x) (/ z t) x) 10.731 * * * [progress]: adding candidates to table 10.766 * * [progress]: iteration 3 / 4 10.766 * * * [progress]: picking best candidate 10.779 * * * * [pick]: Picked # 10.779 * * * [progress]: localizing error 10.789 * * * [progress]: generating rewritten candidates 10.789 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 10.791 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 10.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 10.794 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 10.824 * * * [progress]: generating series expansions 10.824 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 10.825 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 10.825 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 10.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 10.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 10.825 * [taylor]: Taking taylor expansion of 1/3 in t 10.825 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 10.825 * [taylor]: Taking taylor expansion of (/ z t) in t 10.825 * [taylor]: Taking taylor expansion of z in t 10.825 * [taylor]: Taking taylor expansion of t in t 10.825 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 10.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 10.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 10.826 * [taylor]: Taking taylor expansion of 1/3 in z 10.826 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 10.826 * [taylor]: Taking taylor expansion of (/ z t) in z 10.826 * [taylor]: Taking taylor expansion of z in z 10.826 * [taylor]: Taking taylor expansion of t in z 10.826 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 10.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 10.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 10.826 * [taylor]: Taking taylor expansion of 1/3 in z 10.826 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 10.826 * [taylor]: Taking taylor expansion of (/ z t) in z 10.826 * [taylor]: Taking taylor expansion of z in z 10.826 * [taylor]: Taking taylor expansion of t in z 10.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 10.827 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 10.827 * [taylor]: Taking taylor expansion of 1/3 in t 10.827 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 10.827 * [taylor]: Taking taylor expansion of (log z) in t 10.827 * [taylor]: Taking taylor expansion of z in t 10.827 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.827 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.827 * [taylor]: Taking taylor expansion of t in t 10.830 * [taylor]: Taking taylor expansion of 0 in t 10.836 * [taylor]: Taking taylor expansion of 0 in t 10.844 * [taylor]: Taking taylor expansion of 0 in t 10.845 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 10.845 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 10.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 10.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 10.845 * [taylor]: Taking taylor expansion of 1/3 in t 10.845 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 10.845 * [taylor]: Taking taylor expansion of (/ t z) in t 10.845 * [taylor]: Taking taylor expansion of t in t 10.845 * [taylor]: Taking taylor expansion of z in t 10.845 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.845 * [taylor]: Taking taylor expansion of 1/3 in z 10.845 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.845 * [taylor]: Taking taylor expansion of (/ t z) in z 10.845 * [taylor]: Taking taylor expansion of t in z 10.845 * [taylor]: Taking taylor expansion of z in z 10.846 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.846 * [taylor]: Taking taylor expansion of 1/3 in z 10.846 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.846 * [taylor]: Taking taylor expansion of (/ t z) in z 10.846 * [taylor]: Taking taylor expansion of t in z 10.846 * [taylor]: Taking taylor expansion of z in z 10.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 10.846 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 10.846 * [taylor]: Taking taylor expansion of 1/3 in t 10.846 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 10.846 * [taylor]: Taking taylor expansion of (log t) in t 10.847 * [taylor]: Taking taylor expansion of t in t 10.847 * [taylor]: Taking taylor expansion of (log z) in t 10.847 * [taylor]: Taking taylor expansion of z in t 10.850 * [taylor]: Taking taylor expansion of 0 in t 10.856 * [taylor]: Taking taylor expansion of 0 in t 10.866 * [taylor]: Taking taylor expansion of 0 in t 10.866 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 10.866 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 10.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 10.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 10.866 * [taylor]: Taking taylor expansion of 1/3 in t 10.866 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 10.866 * [taylor]: Taking taylor expansion of (/ t z) in t 10.866 * [taylor]: Taking taylor expansion of t in t 10.866 * [taylor]: Taking taylor expansion of z in t 10.867 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.867 * [taylor]: Taking taylor expansion of 1/3 in z 10.867 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.867 * [taylor]: Taking taylor expansion of (/ t z) in z 10.867 * [taylor]: Taking taylor expansion of t in z 10.867 * [taylor]: Taking taylor expansion of z in z 10.867 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.867 * [taylor]: Taking taylor expansion of 1/3 in z 10.868 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.868 * [taylor]: Taking taylor expansion of (/ t z) in z 10.868 * [taylor]: Taking taylor expansion of t in z 10.868 * [taylor]: Taking taylor expansion of z in z 10.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 10.868 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 10.868 * [taylor]: Taking taylor expansion of 1/3 in t 10.868 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 10.868 * [taylor]: Taking taylor expansion of (log t) in t 10.868 * [taylor]: Taking taylor expansion of t in t 10.868 * [taylor]: Taking taylor expansion of (log z) in t 10.868 * [taylor]: Taking taylor expansion of z in t 10.871 * [taylor]: Taking taylor expansion of 0 in t 10.877 * [taylor]: Taking taylor expansion of 0 in t 10.887 * [taylor]: Taking taylor expansion of 0 in t 10.887 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 10.887 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 10.887 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 10.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 10.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 10.887 * [taylor]: Taking taylor expansion of 1/3 in t 10.887 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 10.887 * [taylor]: Taking taylor expansion of (/ z t) in t 10.887 * [taylor]: Taking taylor expansion of z in t 10.887 * [taylor]: Taking taylor expansion of t in t 10.887 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 10.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 10.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 10.888 * [taylor]: Taking taylor expansion of 1/3 in z 10.888 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 10.888 * [taylor]: Taking taylor expansion of (/ z t) in z 10.888 * [taylor]: Taking taylor expansion of z in z 10.888 * [taylor]: Taking taylor expansion of t in z 10.888 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 10.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 10.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 10.888 * [taylor]: Taking taylor expansion of 1/3 in z 10.888 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 10.888 * [taylor]: Taking taylor expansion of (/ z t) in z 10.888 * [taylor]: Taking taylor expansion of z in z 10.888 * [taylor]: Taking taylor expansion of t in z 10.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 10.889 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 10.889 * [taylor]: Taking taylor expansion of 1/3 in t 10.889 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 10.889 * [taylor]: Taking taylor expansion of (log z) in t 10.889 * [taylor]: Taking taylor expansion of z in t 10.889 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.889 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.889 * [taylor]: Taking taylor expansion of t in t 10.892 * [taylor]: Taking taylor expansion of 0 in t 10.897 * [taylor]: Taking taylor expansion of 0 in t 10.910 * [taylor]: Taking taylor expansion of 0 in t 10.910 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 10.910 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 10.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 10.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 10.910 * [taylor]: Taking taylor expansion of 1/3 in t 10.910 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 10.910 * [taylor]: Taking taylor expansion of (/ t z) in t 10.910 * [taylor]: Taking taylor expansion of t in t 10.910 * [taylor]: Taking taylor expansion of z in t 10.911 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.911 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.911 * [taylor]: Taking taylor expansion of 1/3 in z 10.911 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.911 * [taylor]: Taking taylor expansion of (/ t z) in z 10.911 * [taylor]: Taking taylor expansion of t in z 10.911 * [taylor]: Taking taylor expansion of z in z 10.911 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.912 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.912 * [taylor]: Taking taylor expansion of 1/3 in z 10.912 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.912 * [taylor]: Taking taylor expansion of (/ t z) in z 10.912 * [taylor]: Taking taylor expansion of t in z 10.912 * [taylor]: Taking taylor expansion of z in z 10.912 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 10.912 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 10.912 * [taylor]: Taking taylor expansion of 1/3 in t 10.912 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 10.912 * [taylor]: Taking taylor expansion of (log t) in t 10.912 * [taylor]: Taking taylor expansion of t in t 10.912 * [taylor]: Taking taylor expansion of (log z) in t 10.913 * [taylor]: Taking taylor expansion of z in t 10.916 * [taylor]: Taking taylor expansion of 0 in t 10.922 * [taylor]: Taking taylor expansion of 0 in t 10.931 * [taylor]: Taking taylor expansion of 0 in t 10.931 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 10.931 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 10.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 10.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 10.931 * [taylor]: Taking taylor expansion of 1/3 in t 10.931 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 10.931 * [taylor]: Taking taylor expansion of (/ t z) in t 10.931 * [taylor]: Taking taylor expansion of t in t 10.931 * [taylor]: Taking taylor expansion of z in t 10.932 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.932 * [taylor]: Taking taylor expansion of 1/3 in z 10.932 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.932 * [taylor]: Taking taylor expansion of (/ t z) in z 10.932 * [taylor]: Taking taylor expansion of t in z 10.932 * [taylor]: Taking taylor expansion of z in z 10.932 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.932 * [taylor]: Taking taylor expansion of 1/3 in z 10.932 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.932 * [taylor]: Taking taylor expansion of (/ t z) in z 10.932 * [taylor]: Taking taylor expansion of t in z 10.932 * [taylor]: Taking taylor expansion of z in z 10.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 10.933 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 10.933 * [taylor]: Taking taylor expansion of 1/3 in t 10.933 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 10.933 * [taylor]: Taking taylor expansion of (log t) in t 10.933 * [taylor]: Taking taylor expansion of t in t 10.933 * [taylor]: Taking taylor expansion of (log z) in t 10.933 * [taylor]: Taking taylor expansion of z in t 10.936 * [taylor]: Taking taylor expansion of 0 in t 10.942 * [taylor]: Taking taylor expansion of 0 in t 10.952 * [taylor]: Taking taylor expansion of 0 in t 10.952 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 10.952 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 10.952 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 10.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 10.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 10.952 * [taylor]: Taking taylor expansion of 1/3 in t 10.952 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 10.952 * [taylor]: Taking taylor expansion of (/ z t) in t 10.952 * [taylor]: Taking taylor expansion of z in t 10.952 * [taylor]: Taking taylor expansion of t in t 10.953 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 10.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 10.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 10.953 * [taylor]: Taking taylor expansion of 1/3 in z 10.953 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 10.953 * [taylor]: Taking taylor expansion of (/ z t) in z 10.953 * [taylor]: Taking taylor expansion of z in z 10.953 * [taylor]: Taking taylor expansion of t in z 10.954 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 10.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 10.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 10.954 * [taylor]: Taking taylor expansion of 1/3 in z 10.954 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 10.954 * [taylor]: Taking taylor expansion of (/ z t) in z 10.954 * [taylor]: Taking taylor expansion of z in z 10.954 * [taylor]: Taking taylor expansion of t in z 10.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 10.954 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 10.954 * [taylor]: Taking taylor expansion of 1/3 in t 10.954 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 10.954 * [taylor]: Taking taylor expansion of (log z) in t 10.954 * [taylor]: Taking taylor expansion of z in t 10.954 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 10.954 * [taylor]: Taking taylor expansion of (/ 1 t) in t 10.954 * [taylor]: Taking taylor expansion of t in t 10.957 * [taylor]: Taking taylor expansion of 0 in t 10.963 * [taylor]: Taking taylor expansion of 0 in t 10.972 * [taylor]: Taking taylor expansion of 0 in t 10.972 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 10.972 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 10.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 10.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 10.972 * [taylor]: Taking taylor expansion of 1/3 in t 10.972 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 10.972 * [taylor]: Taking taylor expansion of (/ t z) in t 10.972 * [taylor]: Taking taylor expansion of t in t 10.972 * [taylor]: Taking taylor expansion of z in t 10.973 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.973 * [taylor]: Taking taylor expansion of 1/3 in z 10.973 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.973 * [taylor]: Taking taylor expansion of (/ t z) in z 10.973 * [taylor]: Taking taylor expansion of t in z 10.973 * [taylor]: Taking taylor expansion of z in z 10.973 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.973 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.973 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.973 * [taylor]: Taking taylor expansion of 1/3 in z 10.973 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.973 * [taylor]: Taking taylor expansion of (/ t z) in z 10.973 * [taylor]: Taking taylor expansion of t in z 10.973 * [taylor]: Taking taylor expansion of z in z 10.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 10.974 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 10.974 * [taylor]: Taking taylor expansion of 1/3 in t 10.974 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 10.974 * [taylor]: Taking taylor expansion of (log t) in t 10.974 * [taylor]: Taking taylor expansion of t in t 10.974 * [taylor]: Taking taylor expansion of (log z) in t 10.974 * [taylor]: Taking taylor expansion of z in t 10.977 * [taylor]: Taking taylor expansion of 0 in t 10.983 * [taylor]: Taking taylor expansion of 0 in t 10.992 * [taylor]: Taking taylor expansion of 0 in t 10.993 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 10.993 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 10.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 10.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 10.993 * [taylor]: Taking taylor expansion of 1/3 in t 10.993 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 10.993 * [taylor]: Taking taylor expansion of (/ t z) in t 10.993 * [taylor]: Taking taylor expansion of t in t 10.993 * [taylor]: Taking taylor expansion of z in t 10.996 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.997 * [taylor]: Taking taylor expansion of 1/3 in z 10.997 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.997 * [taylor]: Taking taylor expansion of (/ t z) in z 10.997 * [taylor]: Taking taylor expansion of t in z 10.997 * [taylor]: Taking taylor expansion of z in z 10.997 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 10.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 10.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 10.997 * [taylor]: Taking taylor expansion of 1/3 in z 10.997 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 10.997 * [taylor]: Taking taylor expansion of (/ t z) in z 10.997 * [taylor]: Taking taylor expansion of t in z 10.997 * [taylor]: Taking taylor expansion of z in z 10.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 10.998 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 10.998 * [taylor]: Taking taylor expansion of 1/3 in t 10.998 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 10.998 * [taylor]: Taking taylor expansion of (log t) in t 10.998 * [taylor]: Taking taylor expansion of t in t 10.998 * [taylor]: Taking taylor expansion of (log z) in t 10.998 * [taylor]: Taking taylor expansion of z in t 11.001 * [taylor]: Taking taylor expansion of 0 in t 11.007 * [taylor]: Taking taylor expansion of 0 in t 11.017 * [taylor]: Taking taylor expansion of 0 in t 11.017 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 11.017 * [approximate]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in (y x z t) around 0 11.017 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in t 11.017 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t 11.017 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t 11.017 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t 11.017 * [taylor]: Taking taylor expansion of 1/3 in t 11.017 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t 11.017 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 11.017 * [taylor]: Taking taylor expansion of (pow z 2) in t 11.017 * [taylor]: Taking taylor expansion of z in t 11.017 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.017 * [taylor]: Taking taylor expansion of t in t 11.018 * [taylor]: Taking taylor expansion of (- y x) in t 11.019 * [taylor]: Taking taylor expansion of y in t 11.019 * [taylor]: Taking taylor expansion of x in t 11.019 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in z 11.019 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 11.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 11.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 11.019 * [taylor]: Taking taylor expansion of 1/3 in z 11.019 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 11.019 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 11.019 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.019 * [taylor]: Taking taylor expansion of z in z 11.019 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.019 * [taylor]: Taking taylor expansion of t in z 11.020 * [taylor]: Taking taylor expansion of (- y x) in z 11.020 * [taylor]: Taking taylor expansion of y in z 11.020 * [taylor]: Taking taylor expansion of x in z 11.020 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in x 11.020 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 11.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 11.020 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 11.020 * [taylor]: Taking taylor expansion of 1/3 in x 11.020 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 11.020 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 11.020 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.020 * [taylor]: Taking taylor expansion of z in x 11.020 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.020 * [taylor]: Taking taylor expansion of t in x 11.020 * [taylor]: Taking taylor expansion of (- y x) in x 11.021 * [taylor]: Taking taylor expansion of y in x 11.021 * [taylor]: Taking taylor expansion of x in x 11.021 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 11.021 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 11.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 11.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 11.021 * [taylor]: Taking taylor expansion of 1/3 in y 11.021 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 11.021 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 11.021 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.021 * [taylor]: Taking taylor expansion of z in y 11.021 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.021 * [taylor]: Taking taylor expansion of t in y 11.021 * [taylor]: Taking taylor expansion of (- y x) in y 11.021 * [taylor]: Taking taylor expansion of y in y 11.021 * [taylor]: Taking taylor expansion of x in y 11.021 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 11.021 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 11.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 11.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 11.021 * [taylor]: Taking taylor expansion of 1/3 in y 11.021 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 11.021 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 11.021 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.021 * [taylor]: Taking taylor expansion of z in y 11.021 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.021 * [taylor]: Taking taylor expansion of t in y 11.022 * [taylor]: Taking taylor expansion of (- y x) in y 11.022 * [taylor]: Taking taylor expansion of y in y 11.022 * [taylor]: Taking taylor expansion of x in y 11.022 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow z 2) (pow t 2)) 1/3) x)) in x 11.022 * [taylor]: Taking taylor expansion of -1 in x 11.022 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) x) in x 11.022 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 11.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 11.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 11.022 * [taylor]: Taking taylor expansion of 1/3 in x 11.022 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 11.022 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 11.022 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.022 * [taylor]: Taking taylor expansion of z in x 11.022 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.022 * [taylor]: Taking taylor expansion of t in x 11.023 * [taylor]: Taking taylor expansion of x in x 11.024 * [taylor]: Taking taylor expansion of 0 in z 11.024 * [taylor]: Taking taylor expansion of 0 in t 11.026 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 11.026 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 11.026 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 11.026 * [taylor]: Taking taylor expansion of 1/3 in x 11.026 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 11.026 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 11.026 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.026 * [taylor]: Taking taylor expansion of z in x 11.026 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.026 * [taylor]: Taking taylor expansion of t in x 11.027 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 11.027 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 11.027 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 11.027 * [taylor]: Taking taylor expansion of 1/3 in z 11.027 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 11.027 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 11.027 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.027 * [taylor]: Taking taylor expansion of z in z 11.027 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.027 * [taylor]: Taking taylor expansion of t in z 11.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 11.028 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 11.028 * [taylor]: Taking taylor expansion of 1/3 in t 11.028 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 11.028 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.028 * [taylor]: Taking taylor expansion of 2 in t 11.028 * [taylor]: Taking taylor expansion of (log z) in t 11.028 * [taylor]: Taking taylor expansion of z in t 11.028 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 11.028 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 11.028 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.028 * [taylor]: Taking taylor expansion of t in t 11.033 * [taylor]: Taking taylor expansion of (- (pow (/ (pow z 2) (pow t 2)) 1/3)) in z 11.033 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 11.033 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 11.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 11.033 * [taylor]: Taking taylor expansion of 1/3 in z 11.033 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 11.033 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 11.033 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.033 * [taylor]: Taking taylor expansion of z in z 11.033 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.033 * [taylor]: Taking taylor expansion of t in z 11.034 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))))) in t 11.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 11.034 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 11.034 * [taylor]: Taking taylor expansion of 1/3 in t 11.034 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 11.034 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.034 * [taylor]: Taking taylor expansion of 2 in t 11.034 * [taylor]: Taking taylor expansion of (log z) in t 11.034 * [taylor]: Taking taylor expansion of z in t 11.034 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 11.034 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 11.034 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.034 * [taylor]: Taking taylor expansion of t in t 11.036 * [taylor]: Taking taylor expansion of 0 in t 11.041 * [taylor]: Taking taylor expansion of 0 in x 11.041 * [taylor]: Taking taylor expansion of 0 in z 11.041 * [taylor]: Taking taylor expansion of 0 in t 11.043 * [taylor]: Taking taylor expansion of 0 in z 11.043 * [taylor]: Taking taylor expansion of 0 in t 11.048 * [taylor]: Taking taylor expansion of 0 in z 11.048 * [taylor]: Taking taylor expansion of 0 in t 11.051 * [taylor]: Taking taylor expansion of 0 in t 11.051 * [approximate]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in (y x z t) around 0 11.051 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in t 11.051 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 11.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 11.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 11.051 * [taylor]: Taking taylor expansion of 1/3 in t 11.051 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 11.052 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 11.052 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.052 * [taylor]: Taking taylor expansion of t in t 11.052 * [taylor]: Taking taylor expansion of (pow z 2) in t 11.052 * [taylor]: Taking taylor expansion of z in t 11.053 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 11.053 * [taylor]: Taking taylor expansion of (/ 1 y) in t 11.053 * [taylor]: Taking taylor expansion of y in t 11.053 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.053 * [taylor]: Taking taylor expansion of x in t 11.053 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in z 11.053 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.053 * [taylor]: Taking taylor expansion of 1/3 in z 11.053 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.053 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.053 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.053 * [taylor]: Taking taylor expansion of t in z 11.053 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.053 * [taylor]: Taking taylor expansion of z in z 11.054 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 11.054 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.054 * [taylor]: Taking taylor expansion of y in z 11.054 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.054 * [taylor]: Taking taylor expansion of x in z 11.054 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in x 11.054 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.054 * [taylor]: Taking taylor expansion of 1/3 in x 11.054 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.054 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.054 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.054 * [taylor]: Taking taylor expansion of t in x 11.054 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.054 * [taylor]: Taking taylor expansion of z in x 11.055 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 11.055 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.055 * [taylor]: Taking taylor expansion of y in x 11.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.055 * [taylor]: Taking taylor expansion of x in x 11.055 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 11.055 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 11.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 11.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 11.055 * [taylor]: Taking taylor expansion of 1/3 in y 11.055 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 11.055 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 11.055 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.055 * [taylor]: Taking taylor expansion of t in y 11.055 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.055 * [taylor]: Taking taylor expansion of z in y 11.056 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 11.056 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.056 * [taylor]: Taking taylor expansion of y in y 11.056 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.056 * [taylor]: Taking taylor expansion of x in y 11.056 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 11.056 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 11.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 11.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 11.056 * [taylor]: Taking taylor expansion of 1/3 in y 11.056 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 11.056 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 11.056 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.056 * [taylor]: Taking taylor expansion of t in y 11.056 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.056 * [taylor]: Taking taylor expansion of z in y 11.057 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 11.057 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.057 * [taylor]: Taking taylor expansion of y in y 11.057 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.057 * [taylor]: Taking taylor expansion of x in y 11.058 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.058 * [taylor]: Taking taylor expansion of 1/3 in x 11.058 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.058 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.058 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.058 * [taylor]: Taking taylor expansion of t in x 11.058 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.058 * [taylor]: Taking taylor expansion of z in x 11.061 * [taylor]: Taking taylor expansion of (- (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x))) in x 11.061 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 11.061 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.061 * [taylor]: Taking taylor expansion of 1/3 in x 11.061 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.062 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.062 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.062 * [taylor]: Taking taylor expansion of t in x 11.062 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.062 * [taylor]: Taking taylor expansion of z in x 11.062 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.062 * [taylor]: Taking taylor expansion of x in x 11.063 * [taylor]: Taking taylor expansion of (- (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 11.063 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.063 * [taylor]: Taking taylor expansion of 1/3 in z 11.063 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.063 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.063 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.063 * [taylor]: Taking taylor expansion of t in z 11.063 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.063 * [taylor]: Taking taylor expansion of z in z 11.064 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 11.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 11.064 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 11.064 * [taylor]: Taking taylor expansion of 1/3 in t 11.064 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 11.064 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 11.064 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.064 * [taylor]: Taking taylor expansion of t in t 11.065 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.065 * [taylor]: Taking taylor expansion of 2 in t 11.065 * [taylor]: Taking taylor expansion of (log z) in t 11.065 * [taylor]: Taking taylor expansion of z in t 11.066 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.066 * [taylor]: Taking taylor expansion of 1/3 in z 11.066 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.066 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.066 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.066 * [taylor]: Taking taylor expansion of t in z 11.066 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.066 * [taylor]: Taking taylor expansion of z in z 11.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 11.067 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 11.067 * [taylor]: Taking taylor expansion of 1/3 in t 11.067 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 11.067 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 11.067 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.067 * [taylor]: Taking taylor expansion of t in t 11.068 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.068 * [taylor]: Taking taylor expansion of 2 in t 11.068 * [taylor]: Taking taylor expansion of (log z) in t 11.068 * [taylor]: Taking taylor expansion of z in t 11.074 * [taylor]: Taking taylor expansion of 0 in x 11.077 * [taylor]: Taking taylor expansion of 0 in z 11.077 * [taylor]: Taking taylor expansion of 0 in t 11.079 * [taylor]: Taking taylor expansion of 0 in z 11.079 * [taylor]: Taking taylor expansion of 0 in t 11.083 * [taylor]: Taking taylor expansion of 0 in t 11.085 * [taylor]: Taking taylor expansion of 0 in t 11.096 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in (y x z t) around 0 11.096 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in t 11.096 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 11.096 * [taylor]: Taking taylor expansion of (/ 1 x) in t 11.096 * [taylor]: Taking taylor expansion of x in t 11.096 * [taylor]: Taking taylor expansion of (/ 1 y) in t 11.096 * [taylor]: Taking taylor expansion of y in t 11.096 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 11.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 11.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 11.096 * [taylor]: Taking taylor expansion of 1/3 in t 11.096 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 11.096 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 11.096 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.096 * [taylor]: Taking taylor expansion of t in t 11.096 * [taylor]: Taking taylor expansion of (pow z 2) in t 11.096 * [taylor]: Taking taylor expansion of z in t 11.097 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 11.097 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 11.097 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.097 * [taylor]: Taking taylor expansion of x in z 11.097 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.097 * [taylor]: Taking taylor expansion of y in z 11.097 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.098 * [taylor]: Taking taylor expansion of 1/3 in z 11.098 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.098 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.098 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.098 * [taylor]: Taking taylor expansion of t in z 11.098 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.098 * [taylor]: Taking taylor expansion of z in z 11.099 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 11.099 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 11.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.099 * [taylor]: Taking taylor expansion of x in x 11.099 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.099 * [taylor]: Taking taylor expansion of y in x 11.099 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.099 * [taylor]: Taking taylor expansion of 1/3 in x 11.099 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.099 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.099 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.099 * [taylor]: Taking taylor expansion of t in x 11.099 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.099 * [taylor]: Taking taylor expansion of z in x 11.100 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 11.100 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 11.100 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.100 * [taylor]: Taking taylor expansion of x in y 11.100 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.100 * [taylor]: Taking taylor expansion of y in y 11.100 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 11.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 11.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 11.100 * [taylor]: Taking taylor expansion of 1/3 in y 11.100 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 11.100 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 11.100 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.100 * [taylor]: Taking taylor expansion of t in y 11.100 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.100 * [taylor]: Taking taylor expansion of z in y 11.101 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 11.101 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 11.101 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.101 * [taylor]: Taking taylor expansion of x in y 11.101 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.101 * [taylor]: Taking taylor expansion of y in y 11.101 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 11.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 11.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 11.101 * [taylor]: Taking taylor expansion of 1/3 in y 11.101 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 11.101 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 11.101 * [taylor]: Taking taylor expansion of (pow t 2) in y 11.101 * [taylor]: Taking taylor expansion of t in y 11.101 * [taylor]: Taking taylor expansion of (pow z 2) in y 11.101 * [taylor]: Taking taylor expansion of z in y 11.102 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 11.102 * [taylor]: Taking taylor expansion of -1 in x 11.103 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.103 * [taylor]: Taking taylor expansion of 1/3 in x 11.103 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.103 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.103 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.103 * [taylor]: Taking taylor expansion of t in x 11.103 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.103 * [taylor]: Taking taylor expansion of z in x 11.106 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 11.106 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 11.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 11.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 11.106 * [taylor]: Taking taylor expansion of 1/3 in x 11.106 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 11.106 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 11.106 * [taylor]: Taking taylor expansion of (pow t 2) in x 11.106 * [taylor]: Taking taylor expansion of t in x 11.106 * [taylor]: Taking taylor expansion of (pow z 2) in x 11.106 * [taylor]: Taking taylor expansion of z in x 11.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.107 * [taylor]: Taking taylor expansion of x in x 11.107 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.108 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.108 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.108 * [taylor]: Taking taylor expansion of 1/3 in z 11.108 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.108 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.108 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.108 * [taylor]: Taking taylor expansion of t in z 11.108 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.108 * [taylor]: Taking taylor expansion of z in z 11.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 11.109 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 11.109 * [taylor]: Taking taylor expansion of 1/3 in t 11.109 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 11.109 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 11.109 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.109 * [taylor]: Taking taylor expansion of t in t 11.109 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.109 * [taylor]: Taking taylor expansion of 2 in t 11.109 * [taylor]: Taking taylor expansion of (log z) in t 11.109 * [taylor]: Taking taylor expansion of z in t 11.111 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 11.111 * [taylor]: Taking taylor expansion of -1 in z 11.111 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 11.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 11.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 11.111 * [taylor]: Taking taylor expansion of 1/3 in z 11.111 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 11.111 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 11.111 * [taylor]: Taking taylor expansion of (pow t 2) in z 11.111 * [taylor]: Taking taylor expansion of t in z 11.111 * [taylor]: Taking taylor expansion of (pow z 2) in z 11.111 * [taylor]: Taking taylor expansion of z in z 11.112 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 11.112 * [taylor]: Taking taylor expansion of -1 in t 11.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 11.112 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 11.112 * [taylor]: Taking taylor expansion of 1/3 in t 11.112 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 11.112 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 11.112 * [taylor]: Taking taylor expansion of (pow t 2) in t 11.112 * [taylor]: Taking taylor expansion of t in t 11.113 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 11.113 * [taylor]: Taking taylor expansion of 2 in t 11.113 * [taylor]: Taking taylor expansion of (log z) in t 11.113 * [taylor]: Taking taylor expansion of z in t 11.119 * [taylor]: Taking taylor expansion of 0 in x 11.122 * [taylor]: Taking taylor expansion of 0 in z 11.123 * [taylor]: Taking taylor expansion of 0 in t 11.125 * [taylor]: Taking taylor expansion of 0 in z 11.125 * [taylor]: Taking taylor expansion of 0 in t 11.128 * [taylor]: Taking taylor expansion of 0 in t 11.131 * [taylor]: Taking taylor expansion of 0 in t 11.139 * * * [progress]: simplifying candidates 11.140 * [simplify]: Simplifying using # : (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (+ (log (- y x)) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t))))) (+ (log (- y x)) (log (* (cbrt (/ z t)) (cbrt (/ z t))))) (log (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (- y x)) (- y x)) (* (/ z t) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (* (cbrt t) (cbrt t))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt (/ z t)))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) y) (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) x)) (- (* (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) y) (* x (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))))) (- (* y (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))) (* x (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z)))))))) 11.145 * * [simplify]: iteration 0 : 166 enodes (cost 1441 ) 11.177 * * [simplify]: iteration 1 : 349 enodes (cost 1351 ) 11.246 * * [simplify]: iteration 2 : 892 enodes (cost 1239 ) 11.592 * * [simplify]: iteration 3 : 2653 enodes (cost 1214 ) 12.502 * * [simplify]: iteration done : 5000 enodes (cost 1214 ) 12.502 * [simplify]: Simplified to: (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (* (cbrt z) (cbrt z))) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6)) (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6)) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6)) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (* (cbrt t) (cbrt t)) (fma y y (* x (+ y x)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (* (- y x) (exp (* 2/3 (- (log z) (log t))))) (* (- y x) (exp (* 2/3 (- (log z) (log t))))) (* (- y x) (exp (* 2/3 (- (log (/ -1 t)) (log (/ -1 z)))))) 12.503 * * * [progress]: adding candidates to table 12.856 * * [progress]: iteration 4 / 4 12.856 * * * [progress]: picking best candidate 12.864 * * * * [pick]: Picked # 12.864 * * * [progress]: localizing error 12.878 * * * [progress]: generating rewritten candidates 12.878 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2) 12.880 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 12.885 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 12.910 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 12.913 * * * [progress]: generating series expansions 12.913 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2) 12.914 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 12.914 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 12.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 12.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 12.914 * [taylor]: Taking taylor expansion of 1/3 in t 12.914 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 12.914 * [taylor]: Taking taylor expansion of (/ z t) in t 12.914 * [taylor]: Taking taylor expansion of z in t 12.914 * [taylor]: Taking taylor expansion of t in t 12.915 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 12.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 12.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 12.915 * [taylor]: Taking taylor expansion of 1/3 in z 12.915 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 12.915 * [taylor]: Taking taylor expansion of (/ z t) in z 12.915 * [taylor]: Taking taylor expansion of z in z 12.915 * [taylor]: Taking taylor expansion of t in z 12.915 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 12.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 12.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 12.915 * [taylor]: Taking taylor expansion of 1/3 in z 12.915 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 12.915 * [taylor]: Taking taylor expansion of (/ z t) in z 12.915 * [taylor]: Taking taylor expansion of z in z 12.915 * [taylor]: Taking taylor expansion of t in z 12.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 12.916 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 12.916 * [taylor]: Taking taylor expansion of 1/3 in t 12.916 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 12.916 * [taylor]: Taking taylor expansion of (log z) in t 12.916 * [taylor]: Taking taylor expansion of z in t 12.916 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 12.916 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.916 * [taylor]: Taking taylor expansion of t in t 12.919 * [taylor]: Taking taylor expansion of 0 in t 12.924 * [taylor]: Taking taylor expansion of 0 in t 12.933 * [taylor]: Taking taylor expansion of 0 in t 12.933 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 12.933 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 12.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 12.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 12.933 * [taylor]: Taking taylor expansion of 1/3 in t 12.933 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 12.933 * [taylor]: Taking taylor expansion of (/ t z) in t 12.933 * [taylor]: Taking taylor expansion of t in t 12.933 * [taylor]: Taking taylor expansion of z in t 12.934 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.934 * [taylor]: Taking taylor expansion of 1/3 in z 12.934 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.934 * [taylor]: Taking taylor expansion of (/ t z) in z 12.934 * [taylor]: Taking taylor expansion of t in z 12.934 * [taylor]: Taking taylor expansion of z in z 12.934 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.934 * [taylor]: Taking taylor expansion of 1/3 in z 12.934 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.934 * [taylor]: Taking taylor expansion of (/ t z) in z 12.934 * [taylor]: Taking taylor expansion of t in z 12.935 * [taylor]: Taking taylor expansion of z in z 12.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 12.935 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 12.935 * [taylor]: Taking taylor expansion of 1/3 in t 12.935 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 12.935 * [taylor]: Taking taylor expansion of (log t) in t 12.935 * [taylor]: Taking taylor expansion of t in t 12.935 * [taylor]: Taking taylor expansion of (log z) in t 12.935 * [taylor]: Taking taylor expansion of z in t 12.938 * [taylor]: Taking taylor expansion of 0 in t 12.944 * [taylor]: Taking taylor expansion of 0 in t 12.953 * [taylor]: Taking taylor expansion of 0 in t 12.953 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 12.953 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 12.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 12.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 12.953 * [taylor]: Taking taylor expansion of 1/3 in t 12.953 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 12.953 * [taylor]: Taking taylor expansion of (/ t z) in t 12.953 * [taylor]: Taking taylor expansion of t in t 12.953 * [taylor]: Taking taylor expansion of z in t 12.954 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.954 * [taylor]: Taking taylor expansion of 1/3 in z 12.954 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.954 * [taylor]: Taking taylor expansion of (/ t z) in z 12.954 * [taylor]: Taking taylor expansion of t in z 12.954 * [taylor]: Taking taylor expansion of z in z 12.954 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.955 * [taylor]: Taking taylor expansion of 1/3 in z 12.955 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.955 * [taylor]: Taking taylor expansion of (/ t z) in z 12.955 * [taylor]: Taking taylor expansion of t in z 12.955 * [taylor]: Taking taylor expansion of z in z 12.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 12.955 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 12.955 * [taylor]: Taking taylor expansion of 1/3 in t 12.955 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 12.955 * [taylor]: Taking taylor expansion of (log t) in t 12.955 * [taylor]: Taking taylor expansion of t in t 12.955 * [taylor]: Taking taylor expansion of (log z) in t 12.956 * [taylor]: Taking taylor expansion of z in t 12.958 * [taylor]: Taking taylor expansion of 0 in t 12.969 * [taylor]: Taking taylor expansion of 0 in t 12.978 * [taylor]: Taking taylor expansion of 0 in t 12.978 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 12.978 * [approximate]: Taking taylor expansion of (pow (/ z t) 1/3) in (z t) around 0 12.978 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in t 12.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in t 12.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in t 12.978 * [taylor]: Taking taylor expansion of 1/3 in t 12.978 * [taylor]: Taking taylor expansion of (log (/ z t)) in t 12.978 * [taylor]: Taking taylor expansion of (/ z t) in t 12.978 * [taylor]: Taking taylor expansion of z in t 12.978 * [taylor]: Taking taylor expansion of t in t 12.979 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 12.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 12.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 12.979 * [taylor]: Taking taylor expansion of 1/3 in z 12.979 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 12.979 * [taylor]: Taking taylor expansion of (/ z t) in z 12.979 * [taylor]: Taking taylor expansion of z in z 12.979 * [taylor]: Taking taylor expansion of t in z 12.980 * [taylor]: Taking taylor expansion of (pow (/ z t) 1/3) in z 12.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z t)))) in z 12.980 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z t))) in z 12.980 * [taylor]: Taking taylor expansion of 1/3 in z 12.980 * [taylor]: Taking taylor expansion of (log (/ z t)) in z 12.980 * [taylor]: Taking taylor expansion of (/ z t) in z 12.980 * [taylor]: Taking taylor expansion of z in z 12.980 * [taylor]: Taking taylor expansion of t in z 12.980 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (/ 1 t))))) in t 12.980 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (/ 1 t)))) in t 12.980 * [taylor]: Taking taylor expansion of 1/3 in t 12.980 * [taylor]: Taking taylor expansion of (+ (log z) (log (/ 1 t))) in t 12.980 * [taylor]: Taking taylor expansion of (log z) in t 12.980 * [taylor]: Taking taylor expansion of z in t 12.980 * [taylor]: Taking taylor expansion of (log (/ 1 t)) in t 12.980 * [taylor]: Taking taylor expansion of (/ 1 t) in t 12.980 * [taylor]: Taking taylor expansion of t in t 12.983 * [taylor]: Taking taylor expansion of 0 in t 12.989 * [taylor]: Taking taylor expansion of 0 in t 12.997 * [taylor]: Taking taylor expansion of 0 in t 12.997 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 12.997 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 12.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 12.997 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 12.997 * [taylor]: Taking taylor expansion of 1/3 in t 12.997 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 12.997 * [taylor]: Taking taylor expansion of (/ t z) in t 12.997 * [taylor]: Taking taylor expansion of t in t 12.997 * [taylor]: Taking taylor expansion of z in t 12.998 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.998 * [taylor]: Taking taylor expansion of 1/3 in z 12.998 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.998 * [taylor]: Taking taylor expansion of (/ t z) in z 12.998 * [taylor]: Taking taylor expansion of t in z 12.998 * [taylor]: Taking taylor expansion of z in z 12.998 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 12.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 12.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 12.998 * [taylor]: Taking taylor expansion of 1/3 in z 12.998 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 12.998 * [taylor]: Taking taylor expansion of (/ t z) in z 12.998 * [taylor]: Taking taylor expansion of t in z 12.998 * [taylor]: Taking taylor expansion of z in z 12.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 12.999 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 12.999 * [taylor]: Taking taylor expansion of 1/3 in t 12.999 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 12.999 * [taylor]: Taking taylor expansion of (log t) in t 12.999 * [taylor]: Taking taylor expansion of t in t 12.999 * [taylor]: Taking taylor expansion of (log z) in t 12.999 * [taylor]: Taking taylor expansion of z in t 13.002 * [taylor]: Taking taylor expansion of 0 in t 13.008 * [taylor]: Taking taylor expansion of 0 in t 13.017 * [taylor]: Taking taylor expansion of 0 in t 13.017 * [approximate]: Taking taylor expansion of (pow (/ t z) 1/3) in (z t) around 0 13.018 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in t 13.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in t 13.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in t 13.018 * [taylor]: Taking taylor expansion of 1/3 in t 13.018 * [taylor]: Taking taylor expansion of (log (/ t z)) in t 13.018 * [taylor]: Taking taylor expansion of (/ t z) in t 13.018 * [taylor]: Taking taylor expansion of t in t 13.018 * [taylor]: Taking taylor expansion of z in t 13.018 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 13.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 13.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 13.018 * [taylor]: Taking taylor expansion of 1/3 in z 13.018 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 13.018 * [taylor]: Taking taylor expansion of (/ t z) in z 13.018 * [taylor]: Taking taylor expansion of t in z 13.018 * [taylor]: Taking taylor expansion of z in z 13.019 * [taylor]: Taking taylor expansion of (pow (/ t z) 1/3) in z 13.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ t z)))) in z 13.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ t z))) in z 13.019 * [taylor]: Taking taylor expansion of 1/3 in z 13.019 * [taylor]: Taking taylor expansion of (log (/ t z)) in z 13.019 * [taylor]: Taking taylor expansion of (/ t z) in z 13.019 * [taylor]: Taking taylor expansion of t in z 13.019 * [taylor]: Taking taylor expansion of z in z 13.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log t) (log z)))) in t 13.019 * [taylor]: Taking taylor expansion of (* 1/3 (- (log t) (log z))) in t 13.019 * [taylor]: Taking taylor expansion of 1/3 in t 13.020 * [taylor]: Taking taylor expansion of (- (log t) (log z)) in t 13.020 * [taylor]: Taking taylor expansion of (log t) in t 13.020 * [taylor]: Taking taylor expansion of t in t 13.020 * [taylor]: Taking taylor expansion of (log z) in t 13.020 * [taylor]: Taking taylor expansion of z in t 13.023 * [taylor]: Taking taylor expansion of 0 in t 13.029 * [taylor]: Taking taylor expansion of 0 in t 13.038 * [taylor]: Taking taylor expansion of 0 in t 13.038 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 13.038 * [approximate]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in (y x z t) around 0 13.038 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in t 13.038 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in t 13.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in t 13.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in t 13.038 * [taylor]: Taking taylor expansion of 1/3 in t 13.038 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in t 13.038 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in t 13.038 * [taylor]: Taking taylor expansion of (pow z 2) in t 13.038 * [taylor]: Taking taylor expansion of z in t 13.038 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.038 * [taylor]: Taking taylor expansion of t in t 13.039 * [taylor]: Taking taylor expansion of (- y x) in t 13.039 * [taylor]: Taking taylor expansion of y in t 13.039 * [taylor]: Taking taylor expansion of x in t 13.039 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in z 13.039 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 13.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 13.039 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 13.039 * [taylor]: Taking taylor expansion of 1/3 in z 13.039 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 13.039 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 13.039 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.039 * [taylor]: Taking taylor expansion of z in z 13.040 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.040 * [taylor]: Taking taylor expansion of t in z 13.041 * [taylor]: Taking taylor expansion of (- y x) in z 13.041 * [taylor]: Taking taylor expansion of y in z 13.041 * [taylor]: Taking taylor expansion of x in z 13.041 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in x 13.041 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 13.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 13.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 13.041 * [taylor]: Taking taylor expansion of 1/3 in x 13.041 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 13.041 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 13.041 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.041 * [taylor]: Taking taylor expansion of z in x 13.041 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.041 * [taylor]: Taking taylor expansion of t in x 13.041 * [taylor]: Taking taylor expansion of (- y x) in x 13.041 * [taylor]: Taking taylor expansion of y in x 13.041 * [taylor]: Taking taylor expansion of x in x 13.041 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 13.041 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 13.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 13.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 13.041 * [taylor]: Taking taylor expansion of 1/3 in y 13.041 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 13.041 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 13.041 * [taylor]: Taking taylor expansion of (pow z 2) in y 13.041 * [taylor]: Taking taylor expansion of z in y 13.041 * [taylor]: Taking taylor expansion of (pow t 2) in y 13.042 * [taylor]: Taking taylor expansion of t in y 13.042 * [taylor]: Taking taylor expansion of (- y x) in y 13.042 * [taylor]: Taking taylor expansion of y in y 13.042 * [taylor]: Taking taylor expansion of x in y 13.042 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) (- y x)) in y 13.042 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in y 13.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in y 13.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in y 13.042 * [taylor]: Taking taylor expansion of 1/3 in y 13.042 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in y 13.042 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in y 13.042 * [taylor]: Taking taylor expansion of (pow z 2) in y 13.042 * [taylor]: Taking taylor expansion of z in y 13.042 * [taylor]: Taking taylor expansion of (pow t 2) in y 13.042 * [taylor]: Taking taylor expansion of t in y 13.043 * [taylor]: Taking taylor expansion of (- y x) in y 13.043 * [taylor]: Taking taylor expansion of y in y 13.043 * [taylor]: Taking taylor expansion of x in y 13.043 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ (pow z 2) (pow t 2)) 1/3) x)) in x 13.043 * [taylor]: Taking taylor expansion of -1 in x 13.043 * [taylor]: Taking taylor expansion of (* (pow (/ (pow z 2) (pow t 2)) 1/3) x) in x 13.043 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 13.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 13.043 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 13.043 * [taylor]: Taking taylor expansion of 1/3 in x 13.043 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 13.043 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 13.043 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.043 * [taylor]: Taking taylor expansion of z in x 13.043 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.043 * [taylor]: Taking taylor expansion of t in x 13.044 * [taylor]: Taking taylor expansion of x in x 13.044 * [taylor]: Taking taylor expansion of 0 in z 13.044 * [taylor]: Taking taylor expansion of 0 in t 13.047 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in x 13.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in x 13.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in x 13.047 * [taylor]: Taking taylor expansion of 1/3 in x 13.047 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in x 13.047 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in x 13.047 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.047 * [taylor]: Taking taylor expansion of z in x 13.047 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.047 * [taylor]: Taking taylor expansion of t in x 13.048 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 13.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 13.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 13.048 * [taylor]: Taking taylor expansion of 1/3 in z 13.048 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 13.048 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 13.048 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.048 * [taylor]: Taking taylor expansion of z in z 13.048 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.048 * [taylor]: Taking taylor expansion of t in z 13.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 13.049 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 13.049 * [taylor]: Taking taylor expansion of 1/3 in t 13.049 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 13.049 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 13.049 * [taylor]: Taking taylor expansion of 2 in t 13.049 * [taylor]: Taking taylor expansion of (log z) in t 13.049 * [taylor]: Taking taylor expansion of z in t 13.049 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 13.049 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 13.049 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.049 * [taylor]: Taking taylor expansion of t in t 13.053 * [taylor]: Taking taylor expansion of (- (pow (/ (pow z 2) (pow t 2)) 1/3)) in z 13.053 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow t 2)) 1/3) in z 13.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow t 2))))) in z 13.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow t 2)))) in z 13.053 * [taylor]: Taking taylor expansion of 1/3 in z 13.053 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow t 2))) in z 13.053 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow t 2)) in z 13.053 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.053 * [taylor]: Taking taylor expansion of z in z 13.053 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.053 * [taylor]: Taking taylor expansion of t in z 13.055 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))))) in t 13.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2)))))) in t 13.055 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (/ 1 (pow t 2))))) in t 13.055 * [taylor]: Taking taylor expansion of 1/3 in t 13.055 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (/ 1 (pow t 2)))) in t 13.055 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 13.055 * [taylor]: Taking taylor expansion of 2 in t 13.055 * [taylor]: Taking taylor expansion of (log z) in t 13.055 * [taylor]: Taking taylor expansion of z in t 13.055 * [taylor]: Taking taylor expansion of (log (/ 1 (pow t 2))) in t 13.055 * [taylor]: Taking taylor expansion of (/ 1 (pow t 2)) in t 13.055 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.055 * [taylor]: Taking taylor expansion of t in t 13.061 * [taylor]: Taking taylor expansion of 0 in t 13.066 * [taylor]: Taking taylor expansion of 0 in x 13.066 * [taylor]: Taking taylor expansion of 0 in z 13.066 * [taylor]: Taking taylor expansion of 0 in t 13.068 * [taylor]: Taking taylor expansion of 0 in z 13.068 * [taylor]: Taking taylor expansion of 0 in t 13.073 * [taylor]: Taking taylor expansion of 0 in z 13.073 * [taylor]: Taking taylor expansion of 0 in t 13.076 * [taylor]: Taking taylor expansion of 0 in t 13.077 * [approximate]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in (y x z t) around 0 13.077 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in t 13.077 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 13.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 13.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 13.077 * [taylor]: Taking taylor expansion of 1/3 in t 13.077 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 13.077 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 13.077 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.077 * [taylor]: Taking taylor expansion of t in t 13.077 * [taylor]: Taking taylor expansion of (pow z 2) in t 13.077 * [taylor]: Taking taylor expansion of z in t 13.078 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 13.078 * [taylor]: Taking taylor expansion of (/ 1 y) in t 13.078 * [taylor]: Taking taylor expansion of y in t 13.078 * [taylor]: Taking taylor expansion of (/ 1 x) in t 13.078 * [taylor]: Taking taylor expansion of x in t 13.078 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in z 13.078 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 13.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 13.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 13.078 * [taylor]: Taking taylor expansion of 1/3 in z 13.078 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 13.078 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 13.078 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.078 * [taylor]: Taking taylor expansion of t in z 13.078 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.078 * [taylor]: Taking taylor expansion of z in z 13.079 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 13.079 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.079 * [taylor]: Taking taylor expansion of y in z 13.079 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.079 * [taylor]: Taking taylor expansion of x in z 13.079 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in x 13.079 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 13.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 13.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 13.079 * [taylor]: Taking taylor expansion of 1/3 in x 13.079 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 13.079 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 13.079 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.079 * [taylor]: Taking taylor expansion of t in x 13.079 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.079 * [taylor]: Taking taylor expansion of z in x 13.080 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 13.080 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.080 * [taylor]: Taking taylor expansion of y in x 13.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.080 * [taylor]: Taking taylor expansion of x in x 13.080 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 13.080 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 13.080 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 13.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 13.080 * [taylor]: Taking taylor expansion of 1/3 in y 13.080 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 13.080 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 13.080 * [taylor]: Taking taylor expansion of (pow t 2) in y 13.080 * [taylor]: Taking taylor expansion of t in y 13.080 * [taylor]: Taking taylor expansion of (pow z 2) in y 13.080 * [taylor]: Taking taylor expansion of z in y 13.081 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 13.081 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.081 * [taylor]: Taking taylor expansion of y in y 13.081 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.081 * [taylor]: Taking taylor expansion of x in y 13.081 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (- (/ 1 y) (/ 1 x))) in y 13.081 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 13.081 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 13.081 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 13.081 * [taylor]: Taking taylor expansion of 1/3 in y 13.081 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 13.081 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 13.081 * [taylor]: Taking taylor expansion of (pow t 2) in y 13.081 * [taylor]: Taking taylor expansion of t in y 13.081 * [taylor]: Taking taylor expansion of (pow z 2) in y 13.081 * [taylor]: Taking taylor expansion of z in y 13.082 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 13.082 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.082 * [taylor]: Taking taylor expansion of y in y 13.082 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.082 * [taylor]: Taking taylor expansion of x in y 13.083 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 13.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 13.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 13.083 * [taylor]: Taking taylor expansion of 1/3 in x 13.083 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 13.083 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 13.083 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.083 * [taylor]: Taking taylor expansion of t in x 13.083 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.083 * [taylor]: Taking taylor expansion of z in x 13.086 * [taylor]: Taking taylor expansion of (- (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x))) in x 13.086 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 13.086 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 13.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 13.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 13.086 * [taylor]: Taking taylor expansion of 1/3 in x 13.086 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 13.086 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 13.087 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.087 * [taylor]: Taking taylor expansion of t in x 13.087 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.087 * [taylor]: Taking taylor expansion of z in x 13.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.087 * [taylor]: Taking taylor expansion of x in x 13.088 * [taylor]: Taking taylor expansion of (- (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 13.088 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 13.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 13.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 13.088 * [taylor]: Taking taylor expansion of 1/3 in z 13.088 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 13.088 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 13.088 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.088 * [taylor]: Taking taylor expansion of t in z 13.088 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.088 * [taylor]: Taking taylor expansion of z in z 13.089 * [taylor]: Taking taylor expansion of (- (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 13.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 13.089 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 13.089 * [taylor]: Taking taylor expansion of 1/3 in t 13.089 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 13.089 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 13.089 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.089 * [taylor]: Taking taylor expansion of t in t 13.090 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 13.090 * [taylor]: Taking taylor expansion of 2 in t 13.090 * [taylor]: Taking taylor expansion of (log z) in t 13.090 * [taylor]: Taking taylor expansion of z in t 13.090 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 13.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 13.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 13.090 * [taylor]: Taking taylor expansion of 1/3 in z 13.091 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 13.091 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 13.091 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.091 * [taylor]: Taking taylor expansion of t in z 13.091 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.091 * [taylor]: Taking taylor expansion of z in z 13.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 13.092 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 13.092 * [taylor]: Taking taylor expansion of 1/3 in t 13.092 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 13.092 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 13.092 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.092 * [taylor]: Taking taylor expansion of t in t 13.092 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 13.092 * [taylor]: Taking taylor expansion of 2 in t 13.092 * [taylor]: Taking taylor expansion of (log z) in t 13.092 * [taylor]: Taking taylor expansion of z in t 13.098 * [taylor]: Taking taylor expansion of 0 in x 13.101 * [taylor]: Taking taylor expansion of 0 in z 13.101 * [taylor]: Taking taylor expansion of 0 in t 13.103 * [taylor]: Taking taylor expansion of 0 in z 13.103 * [taylor]: Taking taylor expansion of 0 in t 13.106 * [taylor]: Taking taylor expansion of 0 in t 13.109 * [taylor]: Taking taylor expansion of 0 in t 13.117 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in (y x z t) around 0 13.117 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in t 13.117 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 13.117 * [taylor]: Taking taylor expansion of (/ 1 x) in t 13.117 * [taylor]: Taking taylor expansion of x in t 13.117 * [taylor]: Taking taylor expansion of (/ 1 y) in t 13.117 * [taylor]: Taking taylor expansion of y in t 13.117 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in t 13.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in t 13.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in t 13.117 * [taylor]: Taking taylor expansion of 1/3 in t 13.117 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in t 13.117 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in t 13.117 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.117 * [taylor]: Taking taylor expansion of t in t 13.117 * [taylor]: Taking taylor expansion of (pow z 2) in t 13.117 * [taylor]: Taking taylor expansion of z in t 13.118 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 13.118 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 13.118 * [taylor]: Taking taylor expansion of (/ 1 x) in z 13.118 * [taylor]: Taking taylor expansion of x in z 13.118 * [taylor]: Taking taylor expansion of (/ 1 y) in z 13.118 * [taylor]: Taking taylor expansion of y in z 13.118 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 13.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 13.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 13.118 * [taylor]: Taking taylor expansion of 1/3 in z 13.118 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 13.118 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 13.118 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.118 * [taylor]: Taking taylor expansion of t in z 13.119 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.119 * [taylor]: Taking taylor expansion of z in z 13.120 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 13.120 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 13.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.120 * [taylor]: Taking taylor expansion of x in x 13.120 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.120 * [taylor]: Taking taylor expansion of y in x 13.120 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 13.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 13.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 13.120 * [taylor]: Taking taylor expansion of 1/3 in x 13.120 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 13.120 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 13.120 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.120 * [taylor]: Taking taylor expansion of t in x 13.120 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.120 * [taylor]: Taking taylor expansion of z in x 13.121 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 13.121 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 13.121 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.121 * [taylor]: Taking taylor expansion of x in y 13.121 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.121 * [taylor]: Taking taylor expansion of y in y 13.121 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 13.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 13.121 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 13.121 * [taylor]: Taking taylor expansion of 1/3 in y 13.121 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 13.121 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 13.121 * [taylor]: Taking taylor expansion of (pow t 2) in y 13.121 * [taylor]: Taking taylor expansion of t in y 13.121 * [taylor]: Taking taylor expansion of (pow z 2) in y 13.121 * [taylor]: Taking taylor expansion of z in y 13.122 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (pow (/ (pow t 2) (pow z 2)) 1/3)) in y 13.122 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 13.122 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.122 * [taylor]: Taking taylor expansion of x in y 13.122 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.122 * [taylor]: Taking taylor expansion of y in y 13.122 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in y 13.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in y 13.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in y 13.122 * [taylor]: Taking taylor expansion of 1/3 in y 13.122 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in y 13.122 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in y 13.122 * [taylor]: Taking taylor expansion of (pow t 2) in y 13.122 * [taylor]: Taking taylor expansion of t in y 13.122 * [taylor]: Taking taylor expansion of (pow z 2) in y 13.122 * [taylor]: Taking taylor expansion of z in y 13.123 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in x 13.124 * [taylor]: Taking taylor expansion of -1 in x 13.124 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 13.124 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 13.124 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 13.124 * [taylor]: Taking taylor expansion of 1/3 in x 13.124 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 13.124 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 13.124 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.124 * [taylor]: Taking taylor expansion of t in x 13.124 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.124 * [taylor]: Taking taylor expansion of z in x 13.127 * [taylor]: Taking taylor expansion of (* (pow (/ (pow t 2) (pow z 2)) 1/3) (/ 1 x)) in x 13.127 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in x 13.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in x 13.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in x 13.127 * [taylor]: Taking taylor expansion of 1/3 in x 13.127 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in x 13.127 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in x 13.127 * [taylor]: Taking taylor expansion of (pow t 2) in x 13.127 * [taylor]: Taking taylor expansion of t in x 13.127 * [taylor]: Taking taylor expansion of (pow z 2) in x 13.127 * [taylor]: Taking taylor expansion of z in x 13.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.128 * [taylor]: Taking taylor expansion of x in x 13.128 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 13.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 13.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 13.128 * [taylor]: Taking taylor expansion of 1/3 in z 13.128 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 13.128 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 13.128 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.128 * [taylor]: Taking taylor expansion of t in z 13.129 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.129 * [taylor]: Taking taylor expansion of z in z 13.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 13.130 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 13.130 * [taylor]: Taking taylor expansion of 1/3 in t 13.130 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 13.130 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 13.130 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.130 * [taylor]: Taking taylor expansion of t in t 13.130 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 13.130 * [taylor]: Taking taylor expansion of 2 in t 13.130 * [taylor]: Taking taylor expansion of (log z) in t 13.130 * [taylor]: Taking taylor expansion of z in t 13.131 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow t 2) (pow z 2)) 1/3)) in z 13.131 * [taylor]: Taking taylor expansion of -1 in z 13.131 * [taylor]: Taking taylor expansion of (pow (/ (pow t 2) (pow z 2)) 1/3) in z 13.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow t 2) (pow z 2))))) in z 13.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow t 2) (pow z 2)))) in z 13.131 * [taylor]: Taking taylor expansion of 1/3 in z 13.131 * [taylor]: Taking taylor expansion of (log (/ (pow t 2) (pow z 2))) in z 13.131 * [taylor]: Taking taylor expansion of (/ (pow t 2) (pow z 2)) in z 13.131 * [taylor]: Taking taylor expansion of (pow t 2) in z 13.131 * [taylor]: Taking taylor expansion of t in z 13.131 * [taylor]: Taking taylor expansion of (pow z 2) in z 13.131 * [taylor]: Taking taylor expansion of z in z 13.132 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z)))))) in t 13.132 * [taylor]: Taking taylor expansion of -1 in t 13.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow t 2)) (* 2 (log z))))) in t 13.132 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow t 2)) (* 2 (log z)))) in t 13.132 * [taylor]: Taking taylor expansion of 1/3 in t 13.132 * [taylor]: Taking taylor expansion of (- (log (pow t 2)) (* 2 (log z))) in t 13.132 * [taylor]: Taking taylor expansion of (log (pow t 2)) in t 13.132 * [taylor]: Taking taylor expansion of (pow t 2) in t 13.132 * [taylor]: Taking taylor expansion of t in t 13.133 * [taylor]: Taking taylor expansion of (* 2 (log z)) in t 13.133 * [taylor]: Taking taylor expansion of 2 in t 13.133 * [taylor]: Taking taylor expansion of (log z) in t 13.133 * [taylor]: Taking taylor expansion of z in t 13.139 * [taylor]: Taking taylor expansion of 0 in x 13.142 * [taylor]: Taking taylor expansion of 0 in z 13.142 * [taylor]: Taking taylor expansion of 0 in t 13.144 * [taylor]: Taking taylor expansion of 0 in z 13.144 * [taylor]: Taking taylor expansion of 0 in t 13.147 * [taylor]: Taking taylor expansion of 0 in t 13.150 * [taylor]: Taking taylor expansion of 0 in t 13.162 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 13.163 * [approximate]: Taking taylor expansion of (pow z 1/3) in (z) around 0 13.163 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 13.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 13.163 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 13.163 * [taylor]: Taking taylor expansion of 1/3 in z 13.163 * [taylor]: Taking taylor expansion of (log z) in z 13.163 * [taylor]: Taking taylor expansion of z in z 13.163 * [taylor]: Taking taylor expansion of (pow z 1/3) in z 13.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log z))) in z 13.163 * [taylor]: Taking taylor expansion of (* 1/3 (log z)) in z 13.163 * [taylor]: Taking taylor expansion of 1/3 in z 13.163 * [taylor]: Taking taylor expansion of (log z) in z 13.163 * [taylor]: Taking taylor expansion of z in z 13.211 * [approximate]: Taking taylor expansion of (pow (/ 1 z) 1/3) in (z) around 0 13.211 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.211 * [taylor]: Taking taylor expansion of 1/3 in z 13.212 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.212 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.212 * [taylor]: Taking taylor expansion of z in z 13.212 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.213 * [taylor]: Taking taylor expansion of 1/3 in z 13.213 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.213 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.213 * [taylor]: Taking taylor expansion of z in z 13.270 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in (z) around 0 13.270 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 13.270 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.270 * [taylor]: Taking taylor expansion of -1 in z 13.271 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.271 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.271 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.271 * [taylor]: Taking taylor expansion of 1/3 in z 13.271 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.271 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.271 * [taylor]: Taking taylor expansion of z in z 13.272 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 z) 1/3)) in z 13.272 * [taylor]: Taking taylor expansion of (cbrt -1) in z 13.272 * [taylor]: Taking taylor expansion of -1 in z 13.273 * [taylor]: Taking taylor expansion of (pow (/ 1 z) 1/3) in z 13.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 z)))) in z 13.273 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 z))) in z 13.273 * [taylor]: Taking taylor expansion of 1/3 in z 13.273 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 13.273 * [taylor]: Taking taylor expansion of (/ 1 z) in z 13.273 * [taylor]: Taking taylor expansion of z in z 13.341 * * * [progress]: simplifying candidates 13.343 * [simplify]: Simplifying using # : (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (* (cbrt z) (cbrt z)) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (/ (* (cbrt z) (cbrt z)) 1)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) 1)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) (cbrt (/ 1 1)) (cbrt (/ z t)) (cbrt 1) (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (* (* (cbrt (/ z t)) (cbrt (/ z t))) (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (+ (log (- y x)) (+ (log (cbrt (/ z t))) (log (cbrt (/ z t))))) (+ (log (- y x)) (log (* (cbrt (/ z t)) (cbrt (/ z t))))) (log (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (- y x)) (- y x)) (* (/ z t) (/ z t))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* (cbrt (/ z t)) (cbrt (/ z t))) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (* (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (* (cbrt t) (cbrt t))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt z) (cbrt (/ z t)))) (* (+ (* y y) (+ (* x x) (* y x))) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt z))) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt z))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (* (cbrt (/ z t)) (cbrt z))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (* (cbrt z) (cbrt z))) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) (cbrt 1) (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) (* (* (cbrt z) (cbrt z)) (cbrt z)) (sqrt (cbrt z)) (sqrt (cbrt z)) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (exp (* 1/3 (- (log z) (log t)))) (exp (* 1/3 (- (log (/ 1 t)) (log (/ 1 z))))) (exp (* 1/3 (- (log (/ -1 t)) (log (/ -1 z))))) (- (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) y) (* (exp (* 1/3 (- (* 2 (log z)) (* 2 (log t))))) x)) (- (* (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))) y) (* x (exp (* 1/3 (- (* 2 (log (/ 1 t))) (* 2 (log (/ 1 z)))))))) (- (* y (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z))))))) (* x (exp (* 1/3 (- (* 2 (log (/ -1 t))) (* 2 (log (/ -1 z)))))))) (pow z 1/3) (pow (/ 1 z) -1/3) (* (pow (* -1 z) 1/3) (cbrt -1)) 13.347 * * [simplify]: iteration 0 : 183 enodes (cost 1265 ) 13.383 * * [simplify]: iteration 1 : 381 enodes (cost 1181 ) 13.462 * * [simplify]: iteration 2 : 1003 enodes (cost 1055 ) 13.884 * * [simplify]: iteration 3 : 3230 enodes (cost 1033 ) 14.658 * * [simplify]: iteration done : 5001 enodes (cost 1033 ) 14.658 * [simplify]: Simplified to: (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (pow z 2/3) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (pow z 2/3) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (pow z 2/3)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (cbrt (/ z t))) (log1p (cbrt (/ z t))) (log (cbrt (/ z t))) (exp (cbrt (/ z t))) (cbrt (* (cbrt (/ z t)) (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (sqrt (/ z t))) (cbrt (/ (pow z 2/3) (* (cbrt t) (cbrt t)))) (cbrt (/ (cbrt z) (cbrt t))) (cbrt (/ (pow z 2/3) (sqrt t))) (cbrt (/ (cbrt z) (sqrt t))) (cbrt (pow z 2/3)) (cbrt (/ (cbrt z) t)) (cbrt (/ (sqrt z) (* (cbrt t) (cbrt t)))) (cbrt (/ (sqrt z) (cbrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (/ (sqrt z) (sqrt t))) (cbrt (sqrt z)) (cbrt (/ (sqrt z) t)) (cbrt (/ 1 (* (cbrt t) (cbrt t)))) (cbrt (/ z (cbrt t))) (cbrt (/ 1 (sqrt t))) (cbrt (/ z (sqrt t))) 1 (cbrt (/ z t)) 1 (cbrt (/ z t)) (cbrt z) (cbrt (/ 1 t)) (cbrt z) (cbrt t) (* (cbrt (cbrt (/ z t))) (cbrt (cbrt (/ z t)))) (cbrt (cbrt (/ z t))) (/ z t) (sqrt (cbrt (/ z t))) (sqrt (cbrt (/ z t))) (expm1 (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (log1p (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (fma 2 (log (cbrt (/ z t))) (log (- y x))) (exp (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6)) (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6)) (* (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))))) (cbrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (pow (- y x) 3) (pow (cbrt (/ z t)) 6)) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (sqrt (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t))))) (* (- (pow y 3) (pow x 3)) (pow z 2/3)) (* (* (cbrt t) (cbrt t)) (fma y y (* x (+ y x)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt z))) (* (fma y y (* x (+ y x))) (cbrt t)) (* (- (* y y) (* x x)) (pow z 2/3)) (* (+ y x) (* (cbrt t) (cbrt t))) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (- (* y y) (* x x)) (* (cbrt z) (cbrt (/ z t)))) (* (+ y x) (cbrt t)) (* (sqrt (- y x)) (cbrt (/ z t))) (* (sqrt (- y x)) (cbrt (/ z t))) (* (- y x) (cbrt (/ z t))) (* (cbrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (sqrt (- y x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (sqrt y) (sqrt x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- y x) (pow z 2/3)) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- y x) (* (cbrt z) (cbrt (/ z t)))) (* (- (pow y 3) (pow x 3)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (* (- (* y y) (* x x)) (* (cbrt (/ z t)) (cbrt (/ z t)))) (expm1 (cbrt z)) (log1p (cbrt z)) (log (cbrt z)) (exp (cbrt z)) (cbrt (pow z 2/3)) (cbrt (cbrt z)) (cbrt (sqrt z)) (cbrt (sqrt z)) 1 (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))) (cbrt (cbrt z)) z (sqrt (cbrt z)) (sqrt (cbrt z)) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log z) (log t)))) (cbrt (exp (- (log (/ -1 t)) (log (/ -1 z))))) (* (- y x) (exp (* 2/3 (- (log z) (log t))))) (* (- y x) (exp (* 2/3 (- (log z) (log t))))) (* (- y x) (exp (* 2/3 (- (log (/ -1 t)) (log (/ -1 z)))))) (cbrt z) (pow (/ 1 z) -1/3) (* (cbrt (- z)) (cbrt -1)) 14.659 * * * [progress]: adding candidates to table 15.024 * [progress]: [Phase 3 of 3] Extracting. 15.024 * * [regime]: Finding splitpoints for: (# # # # # #) 15.025 * * * [regime-changes]: Trying 5 branch expressions: ((/ z t) t z y x) 15.025 * * * * [regimes]: Trying to branch on (/ z t) from (# # # # # #) 15.059 * * * * [regimes]: Trying to branch on (/ z t) from (# # #) 15.078 * * * * [regimes]: Trying to branch on t from (# # # # # #) 15.113 * * * * [regimes]: Trying to branch on z from (# # # # # #) 15.137 * * * * [regimes]: Trying to branch on y from (# # # # # #) 15.165 * * * * [regimes]: Trying to branch on x from (# # # # # #) 15.193 * * * [regime]: Found split indices: #