14.301 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.020 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (+ x (* (- y z) (- t x))) 0.023 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.023 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.025 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 0.029 * * [simplify]: iteration 3 : 70 enodes (cost 9 ) 0.042 * * [simplify]: iteration 4 : 174 enodes (cost 9 ) 0.075 * * [simplify]: iteration 5 : 369 enodes (cost 9 ) 0.176 * * [simplify]: iteration 6 : 691 enodes (cost 9 ) 0.350 * * [simplify]: iteration 7 : 1227 enodes (cost 9 ) 0.859 * * [simplify]: iteration 8 : 2350 enodes (cost 9 ) 1.713 * * [simplify]: iteration 9 : 2939 enodes (cost 9 ) 2.784 * * [simplify]: iteration 10 : 3120 enodes (cost 9 ) 4.142 * * [simplify]: iteration 11 : 3425 enodes (cost 9 ) 5.650 * * [simplify]: iteration 12 : 3756 enodes (cost 9 ) 7.804 * * [simplify]: iteration 13 : 4161 enodes (cost 9 ) 10.779 * * [simplify]: iteration 14 : 4491 enodes (cost 9 ) 14.866 * * [simplify]: iteration 15 : 4758 enodes (cost 9 ) 19.387 * * [simplify]: iteration 16 : 4782 enodes (cost 9 ) 24.221 * * [simplify]: iteration done : 4782 enodes (cost 9 ) 24.221 * [simplify]: Simplified to: (+ x (* (- y z) (- t x))) 24.221 * * [progress]: iteration 1 / 4 24.221 * * * [progress]: picking best candidate 24.223 * * * * [pick]: Picked # 24.223 * * * [progress]: localizing error 24.229 * * * [progress]: generating rewritten candidates 24.229 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 24.250 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 24.254 * * * [progress]: generating series expansions 24.254 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 24.254 * [approximate]: Taking taylor expansion of (* (- y z) (- t x)) in (y z t x) around 0 24.254 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in x 24.254 * [taylor]: Taking taylor expansion of (- y z) in x 24.254 * [taylor]: Taking taylor expansion of y in x 24.254 * [taylor]: Taking taylor expansion of z in x 24.254 * [taylor]: Taking taylor expansion of (- t x) in x 24.254 * [taylor]: Taking taylor expansion of t in x 24.254 * [taylor]: Taking taylor expansion of x in x 24.254 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in t 24.254 * [taylor]: Taking taylor expansion of (- y z) in t 24.254 * [taylor]: Taking taylor expansion of y in t 24.255 * [taylor]: Taking taylor expansion of z in t 24.255 * [taylor]: Taking taylor expansion of (- t x) in t 24.255 * [taylor]: Taking taylor expansion of t in t 24.255 * [taylor]: Taking taylor expansion of x in t 24.255 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in z 24.255 * [taylor]: Taking taylor expansion of (- y z) in z 24.255 * [taylor]: Taking taylor expansion of y in z 24.255 * [taylor]: Taking taylor expansion of z in z 24.255 * [taylor]: Taking taylor expansion of (- t x) in z 24.255 * [taylor]: Taking taylor expansion of t in z 24.255 * [taylor]: Taking taylor expansion of x in z 24.255 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y 24.255 * [taylor]: Taking taylor expansion of (- y z) in y 24.255 * [taylor]: Taking taylor expansion of y in y 24.255 * [taylor]: Taking taylor expansion of z in y 24.255 * [taylor]: Taking taylor expansion of (- t x) in y 24.255 * [taylor]: Taking taylor expansion of t in y 24.255 * [taylor]: Taking taylor expansion of x in y 24.255 * [taylor]: Taking taylor expansion of (* (- y z) (- t x)) in y 24.255 * [taylor]: Taking taylor expansion of (- y z) in y 24.255 * [taylor]: Taking taylor expansion of y in y 24.255 * [taylor]: Taking taylor expansion of z in y 24.255 * [taylor]: Taking taylor expansion of (- t x) in y 24.255 * [taylor]: Taking taylor expansion of t in y 24.255 * [taylor]: Taking taylor expansion of x in y 24.255 * [taylor]: Taking taylor expansion of (* -1 (* z (- t x))) in z 24.255 * [taylor]: Taking taylor expansion of -1 in z 24.255 * [taylor]: Taking taylor expansion of (* z (- t x)) in z 24.255 * [taylor]: Taking taylor expansion of z in z 24.255 * [taylor]: Taking taylor expansion of (- t x) in z 24.255 * [taylor]: Taking taylor expansion of t in z 24.255 * [taylor]: Taking taylor expansion of x in z 24.256 * [taylor]: Taking taylor expansion of 0 in t 24.256 * [taylor]: Taking taylor expansion of 0 in x 24.257 * [taylor]: Taking taylor expansion of (- t x) in z 24.257 * [taylor]: Taking taylor expansion of t in z 24.257 * [taylor]: Taking taylor expansion of x in z 24.257 * [taylor]: Taking taylor expansion of (- t x) in t 24.257 * [taylor]: Taking taylor expansion of t in t 24.257 * [taylor]: Taking taylor expansion of x in t 24.257 * [taylor]: Taking taylor expansion of (- x) in x 24.257 * [taylor]: Taking taylor expansion of x in x 24.258 * [taylor]: Taking taylor expansion of (- x t) in t 24.258 * [taylor]: Taking taylor expansion of x in t 24.258 * [taylor]: Taking taylor expansion of t in t 24.259 * [taylor]: Taking taylor expansion of x in x 24.259 * [taylor]: Taking taylor expansion of 0 in x 24.260 * [taylor]: Taking taylor expansion of 0 in z 24.260 * [taylor]: Taking taylor expansion of 0 in t 24.260 * [taylor]: Taking taylor expansion of 0 in x 24.260 * [approximate]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in (y z t x) around 0 24.260 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in x 24.260 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 24.260 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.260 * [taylor]: Taking taylor expansion of y in x 24.260 * [taylor]: Taking taylor expansion of (/ 1 z) in x 24.260 * [taylor]: Taking taylor expansion of z in x 24.260 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in x 24.260 * [taylor]: Taking taylor expansion of (/ 1 t) in x 24.260 * [taylor]: Taking taylor expansion of t in x 24.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.260 * [taylor]: Taking taylor expansion of x in x 24.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in t 24.261 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t 24.261 * [taylor]: Taking taylor expansion of (/ 1 y) in t 24.261 * [taylor]: Taking taylor expansion of y in t 24.261 * [taylor]: Taking taylor expansion of (/ 1 z) in t 24.261 * [taylor]: Taking taylor expansion of z in t 24.261 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t 24.261 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.261 * [taylor]: Taking taylor expansion of t in t 24.261 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.261 * [taylor]: Taking taylor expansion of x in t 24.261 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in z 24.261 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 24.261 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.261 * [taylor]: Taking taylor expansion of y in z 24.261 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.261 * [taylor]: Taking taylor expansion of z in z 24.261 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z 24.261 * [taylor]: Taking taylor expansion of (/ 1 t) in z 24.261 * [taylor]: Taking taylor expansion of t in z 24.261 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.262 * [taylor]: Taking taylor expansion of x in z 24.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y 24.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 24.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.262 * [taylor]: Taking taylor expansion of y in y 24.262 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.262 * [taylor]: Taking taylor expansion of z in y 24.262 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y 24.262 * [taylor]: Taking taylor expansion of (/ 1 t) in y 24.262 * [taylor]: Taking taylor expansion of t in y 24.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.262 * [taylor]: Taking taylor expansion of x in y 24.262 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) (- (/ 1 t) (/ 1 x))) in y 24.262 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 24.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.262 * [taylor]: Taking taylor expansion of y in y 24.262 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.262 * [taylor]: Taking taylor expansion of z in y 24.262 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in y 24.262 * [taylor]: Taking taylor expansion of (/ 1 t) in y 24.262 * [taylor]: Taking taylor expansion of t in y 24.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.263 * [taylor]: Taking taylor expansion of x in y 24.263 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in z 24.263 * [taylor]: Taking taylor expansion of (/ 1 t) in z 24.263 * [taylor]: Taking taylor expansion of t in z 24.263 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.263 * [taylor]: Taking taylor expansion of x in z 24.265 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z 24.265 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 24.265 * [taylor]: Taking taylor expansion of (* x z) in z 24.265 * [taylor]: Taking taylor expansion of x in z 24.265 * [taylor]: Taking taylor expansion of z in z 24.265 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.265 * [taylor]: Taking taylor expansion of (* t z) in z 24.265 * [taylor]: Taking taylor expansion of t in z 24.265 * [taylor]: Taking taylor expansion of z in z 24.265 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t 24.265 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.265 * [taylor]: Taking taylor expansion of x in t 24.266 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.266 * [taylor]: Taking taylor expansion of t in t 24.266 * [taylor]: Taking taylor expansion of -1 in x 24.266 * [taylor]: Taking taylor expansion of (- (/ 1 t) (/ 1 x)) in t 24.266 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.266 * [taylor]: Taking taylor expansion of t in t 24.267 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.267 * [taylor]: Taking taylor expansion of x in t 24.267 * [taylor]: Taking taylor expansion of 1 in x 24.269 * [taylor]: Taking taylor expansion of 0 in z 24.270 * [taylor]: Taking taylor expansion of 0 in t 24.271 * [taylor]: Taking taylor expansion of 0 in t 24.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.272 * [taylor]: Taking taylor expansion of x in x 24.273 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 24.273 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.273 * [taylor]: Taking taylor expansion of x in x 24.274 * [approximate]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in (y z t x) around 0 24.274 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in x 24.274 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in x 24.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.274 * [taylor]: Taking taylor expansion of x in x 24.274 * [taylor]: Taking taylor expansion of (/ 1 t) in x 24.274 * [taylor]: Taking taylor expansion of t in x 24.274 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 24.274 * [taylor]: Taking taylor expansion of (/ 1 z) in x 24.274 * [taylor]: Taking taylor expansion of z in x 24.274 * [taylor]: Taking taylor expansion of (/ 1 y) in x 24.274 * [taylor]: Taking taylor expansion of y in x 24.274 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in t 24.274 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t 24.274 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.274 * [taylor]: Taking taylor expansion of x in t 24.275 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.275 * [taylor]: Taking taylor expansion of t in t 24.275 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t 24.275 * [taylor]: Taking taylor expansion of (/ 1 z) in t 24.275 * [taylor]: Taking taylor expansion of z in t 24.275 * [taylor]: Taking taylor expansion of (/ 1 y) in t 24.275 * [taylor]: Taking taylor expansion of y in t 24.275 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in z 24.275 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z 24.275 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.275 * [taylor]: Taking taylor expansion of x in z 24.275 * [taylor]: Taking taylor expansion of (/ 1 t) in z 24.275 * [taylor]: Taking taylor expansion of t in z 24.275 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 24.275 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.275 * [taylor]: Taking taylor expansion of z in z 24.275 * [taylor]: Taking taylor expansion of (/ 1 y) in z 24.275 * [taylor]: Taking taylor expansion of y in z 24.275 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y 24.275 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y 24.275 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.275 * [taylor]: Taking taylor expansion of x in y 24.275 * [taylor]: Taking taylor expansion of (/ 1 t) in y 24.276 * [taylor]: Taking taylor expansion of t in y 24.276 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 24.276 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.276 * [taylor]: Taking taylor expansion of z in y 24.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.276 * [taylor]: Taking taylor expansion of y in y 24.276 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 t)) (- (/ 1 z) (/ 1 y))) in y 24.276 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in y 24.276 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.276 * [taylor]: Taking taylor expansion of x in y 24.276 * [taylor]: Taking taylor expansion of (/ 1 t) in y 24.276 * [taylor]: Taking taylor expansion of t in y 24.276 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 24.276 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.276 * [taylor]: Taking taylor expansion of z in y 24.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.276 * [taylor]: Taking taylor expansion of y in y 24.277 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in z 24.277 * [taylor]: Taking taylor expansion of -1 in z 24.277 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in z 24.277 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.277 * [taylor]: Taking taylor expansion of x in z 24.277 * [taylor]: Taking taylor expansion of (/ 1 t) in z 24.277 * [taylor]: Taking taylor expansion of t in z 24.279 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* t z))) in z 24.279 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 24.279 * [taylor]: Taking taylor expansion of (* x z) in z 24.279 * [taylor]: Taking taylor expansion of x in z 24.279 * [taylor]: Taking taylor expansion of z in z 24.279 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.279 * [taylor]: Taking taylor expansion of (* t z) in z 24.279 * [taylor]: Taking taylor expansion of t in z 24.279 * [taylor]: Taking taylor expansion of z in z 24.280 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t 24.280 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.280 * [taylor]: Taking taylor expansion of x in t 24.280 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.280 * [taylor]: Taking taylor expansion of t in t 24.280 * [taylor]: Taking taylor expansion of -1 in x 24.281 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 t))) in t 24.281 * [taylor]: Taking taylor expansion of -1 in t 24.281 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 t)) in t 24.281 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.281 * [taylor]: Taking taylor expansion of x in t 24.281 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.281 * [taylor]: Taking taylor expansion of t in t 24.282 * [taylor]: Taking taylor expansion of 1 in x 24.284 * [taylor]: Taking taylor expansion of 0 in z 24.285 * [taylor]: Taking taylor expansion of 0 in t 24.286 * [taylor]: Taking taylor expansion of 0 in t 24.287 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.287 * [taylor]: Taking taylor expansion of x in x 24.288 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 24.288 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.288 * [taylor]: Taking taylor expansion of x in x 24.289 * * * * [progress]: [ 2 / 2 ] generating series at (2) 24.289 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x y z t) around 0 24.289 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t 24.289 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t 24.289 * [taylor]: Taking taylor expansion of (* x z) in t 24.289 * [taylor]: Taking taylor expansion of x in t 24.289 * [taylor]: Taking taylor expansion of z in t 24.289 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t 24.289 * [taylor]: Taking taylor expansion of x in t 24.289 * [taylor]: Taking taylor expansion of (* t y) in t 24.289 * [taylor]: Taking taylor expansion of t in t 24.289 * [taylor]: Taking taylor expansion of y in t 24.289 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 24.289 * [taylor]: Taking taylor expansion of (* t z) in t 24.289 * [taylor]: Taking taylor expansion of t in t 24.289 * [taylor]: Taking taylor expansion of z in t 24.289 * [taylor]: Taking taylor expansion of (* x y) in t 24.289 * [taylor]: Taking taylor expansion of x in t 24.289 * [taylor]: Taking taylor expansion of y in t 24.289 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z 24.289 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z 24.289 * [taylor]: Taking taylor expansion of (* x z) in z 24.289 * [taylor]: Taking taylor expansion of x in z 24.289 * [taylor]: Taking taylor expansion of z in z 24.289 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z 24.289 * [taylor]: Taking taylor expansion of x in z 24.289 * [taylor]: Taking taylor expansion of (* t y) in z 24.289 * [taylor]: Taking taylor expansion of t in z 24.289 * [taylor]: Taking taylor expansion of y in z 24.289 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 24.289 * [taylor]: Taking taylor expansion of (* t z) in z 24.289 * [taylor]: Taking taylor expansion of t in z 24.290 * [taylor]: Taking taylor expansion of z in z 24.290 * [taylor]: Taking taylor expansion of (* x y) in z 24.290 * [taylor]: Taking taylor expansion of x in z 24.290 * [taylor]: Taking taylor expansion of y in z 24.290 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y 24.290 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y 24.290 * [taylor]: Taking taylor expansion of (* x z) in y 24.290 * [taylor]: Taking taylor expansion of x in y 24.290 * [taylor]: Taking taylor expansion of z in y 24.290 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y 24.290 * [taylor]: Taking taylor expansion of x in y 24.290 * [taylor]: Taking taylor expansion of (* t y) in y 24.290 * [taylor]: Taking taylor expansion of t in y 24.290 * [taylor]: Taking taylor expansion of y in y 24.290 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 24.290 * [taylor]: Taking taylor expansion of (* t z) in y 24.290 * [taylor]: Taking taylor expansion of t in y 24.290 * [taylor]: Taking taylor expansion of z in y 24.290 * [taylor]: Taking taylor expansion of (* x y) in y 24.290 * [taylor]: Taking taylor expansion of x in y 24.290 * [taylor]: Taking taylor expansion of y in y 24.290 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 24.290 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 24.290 * [taylor]: Taking taylor expansion of (* x z) in x 24.290 * [taylor]: Taking taylor expansion of x in x 24.290 * [taylor]: Taking taylor expansion of z in x 24.290 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 24.290 * [taylor]: Taking taylor expansion of x in x 24.290 * [taylor]: Taking taylor expansion of (* t y) in x 24.290 * [taylor]: Taking taylor expansion of t in x 24.290 * [taylor]: Taking taylor expansion of y in x 24.290 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.290 * [taylor]: Taking taylor expansion of (* t z) in x 24.290 * [taylor]: Taking taylor expansion of t in x 24.290 * [taylor]: Taking taylor expansion of z in x 24.290 * [taylor]: Taking taylor expansion of (* x y) in x 24.290 * [taylor]: Taking taylor expansion of x in x 24.290 * [taylor]: Taking taylor expansion of y in x 24.290 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 24.290 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 24.290 * [taylor]: Taking taylor expansion of (* x z) in x 24.290 * [taylor]: Taking taylor expansion of x in x 24.290 * [taylor]: Taking taylor expansion of z in x 24.290 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 24.290 * [taylor]: Taking taylor expansion of x in x 24.290 * [taylor]: Taking taylor expansion of (* t y) in x 24.290 * [taylor]: Taking taylor expansion of t in x 24.290 * [taylor]: Taking taylor expansion of y in x 24.290 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.290 * [taylor]: Taking taylor expansion of (* t z) in x 24.290 * [taylor]: Taking taylor expansion of t in x 24.290 * [taylor]: Taking taylor expansion of z in x 24.290 * [taylor]: Taking taylor expansion of (* x y) in x 24.290 * [taylor]: Taking taylor expansion of x in x 24.290 * [taylor]: Taking taylor expansion of y in x 24.291 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in y 24.291 * [taylor]: Taking taylor expansion of (* t y) in y 24.291 * [taylor]: Taking taylor expansion of t in y 24.291 * [taylor]: Taking taylor expansion of y in y 24.291 * [taylor]: Taking taylor expansion of (* t z) in y 24.291 * [taylor]: Taking taylor expansion of t in y 24.291 * [taylor]: Taking taylor expansion of z in y 24.291 * [taylor]: Taking taylor expansion of (- (* t z)) in z 24.291 * [taylor]: Taking taylor expansion of (* t z) in z 24.291 * [taylor]: Taking taylor expansion of t in z 24.291 * [taylor]: Taking taylor expansion of z in z 24.291 * [taylor]: Taking taylor expansion of 0 in t 24.292 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y 24.292 * [taylor]: Taking taylor expansion of (+ z 1) in y 24.292 * [taylor]: Taking taylor expansion of z in y 24.292 * [taylor]: Taking taylor expansion of 1 in y 24.292 * [taylor]: Taking taylor expansion of y in y 24.293 * [taylor]: Taking taylor expansion of (+ z 1) in z 24.293 * [taylor]: Taking taylor expansion of z in z 24.293 * [taylor]: Taking taylor expansion of 1 in z 24.293 * [taylor]: Taking taylor expansion of 1 in t 24.293 * [taylor]: Taking taylor expansion of t in z 24.293 * [taylor]: Taking taylor expansion of t in t 24.294 * [taylor]: Taking taylor expansion of (- t) in t 24.294 * [taylor]: Taking taylor expansion of t in t 24.297 * [taylor]: Taking taylor expansion of 0 in y 24.297 * [taylor]: Taking taylor expansion of 0 in z 24.297 * [taylor]: Taking taylor expansion of 0 in t 24.297 * [taylor]: Taking taylor expansion of -1 in z 24.297 * [taylor]: Taking taylor expansion of -1 in t 24.299 * [taylor]: Taking taylor expansion of 0 in z 24.299 * [taylor]: Taking taylor expansion of 0 in t 24.299 * [taylor]: Taking taylor expansion of 1 in t 24.299 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x y z t) around 0 24.299 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 24.299 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in t 24.299 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 24.299 * [taylor]: Taking taylor expansion of (* t y) in t 24.299 * [taylor]: Taking taylor expansion of t in t 24.299 * [taylor]: Taking taylor expansion of y in t 24.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in t 24.300 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 24.300 * [taylor]: Taking taylor expansion of (* x z) in t 24.300 * [taylor]: Taking taylor expansion of x in t 24.300 * [taylor]: Taking taylor expansion of z in t 24.300 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.300 * [taylor]: Taking taylor expansion of x in t 24.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.300 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.300 * [taylor]: Taking taylor expansion of (* t z) in t 24.300 * [taylor]: Taking taylor expansion of t in t 24.300 * [taylor]: Taking taylor expansion of z in t 24.300 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.300 * [taylor]: Taking taylor expansion of (* x y) in t 24.300 * [taylor]: Taking taylor expansion of x in t 24.300 * [taylor]: Taking taylor expansion of y in t 24.300 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z 24.300 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in z 24.300 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 24.301 * [taylor]: Taking taylor expansion of (* t y) in z 24.301 * [taylor]: Taking taylor expansion of t in z 24.301 * [taylor]: Taking taylor expansion of y in z 24.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in z 24.301 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 24.301 * [taylor]: Taking taylor expansion of (* x z) in z 24.301 * [taylor]: Taking taylor expansion of x in z 24.301 * [taylor]: Taking taylor expansion of z in z 24.301 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.301 * [taylor]: Taking taylor expansion of x in z 24.301 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.301 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.301 * [taylor]: Taking taylor expansion of (* t z) in z 24.301 * [taylor]: Taking taylor expansion of t in z 24.301 * [taylor]: Taking taylor expansion of z in z 24.301 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.301 * [taylor]: Taking taylor expansion of (* x y) in z 24.301 * [taylor]: Taking taylor expansion of x in z 24.301 * [taylor]: Taking taylor expansion of y in z 24.302 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y 24.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in y 24.302 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 24.302 * [taylor]: Taking taylor expansion of (* t y) in y 24.302 * [taylor]: Taking taylor expansion of t in y 24.302 * [taylor]: Taking taylor expansion of y in y 24.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in y 24.302 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 24.302 * [taylor]: Taking taylor expansion of (* x z) in y 24.302 * [taylor]: Taking taylor expansion of x in y 24.302 * [taylor]: Taking taylor expansion of z in y 24.302 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.302 * [taylor]: Taking taylor expansion of x in y 24.302 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.302 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.302 * [taylor]: Taking taylor expansion of (* t z) in y 24.302 * [taylor]: Taking taylor expansion of t in y 24.302 * [taylor]: Taking taylor expansion of z in y 24.302 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.302 * [taylor]: Taking taylor expansion of (* x y) in y 24.302 * [taylor]: Taking taylor expansion of x in y 24.302 * [taylor]: Taking taylor expansion of y in y 24.303 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 24.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 24.303 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 24.303 * [taylor]: Taking taylor expansion of (* t y) in x 24.303 * [taylor]: Taking taylor expansion of t in x 24.303 * [taylor]: Taking taylor expansion of y in x 24.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 24.303 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 24.303 * [taylor]: Taking taylor expansion of (* x z) in x 24.303 * [taylor]: Taking taylor expansion of x in x 24.303 * [taylor]: Taking taylor expansion of z in x 24.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.303 * [taylor]: Taking taylor expansion of x in x 24.303 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.303 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.303 * [taylor]: Taking taylor expansion of (* t z) in x 24.303 * [taylor]: Taking taylor expansion of t in x 24.303 * [taylor]: Taking taylor expansion of z in x 24.304 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.304 * [taylor]: Taking taylor expansion of (* x y) in x 24.304 * [taylor]: Taking taylor expansion of x in x 24.304 * [taylor]: Taking taylor expansion of y in x 24.304 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 24.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (+ (/ 1 (* x z)) (/ 1 x))) in x 24.304 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 24.304 * [taylor]: Taking taylor expansion of (* t y) in x 24.304 * [taylor]: Taking taylor expansion of t in x 24.304 * [taylor]: Taking taylor expansion of y in x 24.304 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 x)) in x 24.304 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 24.304 * [taylor]: Taking taylor expansion of (* x z) in x 24.304 * [taylor]: Taking taylor expansion of x in x 24.304 * [taylor]: Taking taylor expansion of z in x 24.304 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.304 * [taylor]: Taking taylor expansion of x in x 24.305 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.305 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.305 * [taylor]: Taking taylor expansion of (* t z) in x 24.305 * [taylor]: Taking taylor expansion of t in x 24.305 * [taylor]: Taking taylor expansion of z in x 24.305 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.305 * [taylor]: Taking taylor expansion of (* x y) in x 24.305 * [taylor]: Taking taylor expansion of x in x 24.305 * [taylor]: Taking taylor expansion of y in x 24.305 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y 24.305 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y 24.306 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.306 * [taylor]: Taking taylor expansion of z in y 24.306 * [taylor]: Taking taylor expansion of 1 in y 24.306 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.306 * [taylor]: Taking taylor expansion of y in y 24.306 * [taylor]: Taking taylor expansion of -1 in z 24.308 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y 24.308 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 24.308 * [taylor]: Taking taylor expansion of (* t y) in y 24.308 * [taylor]: Taking taylor expansion of t in y 24.308 * [taylor]: Taking taylor expansion of y in y 24.309 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.309 * [taylor]: Taking taylor expansion of (* t z) in y 24.309 * [taylor]: Taking taylor expansion of t in y 24.309 * [taylor]: Taking taylor expansion of z in y 24.309 * [taylor]: Taking taylor expansion of (/ 1 t) in z 24.309 * [taylor]: Taking taylor expansion of t in z 24.310 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 24.310 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.310 * [taylor]: Taking taylor expansion of z in z 24.310 * [taylor]: Taking taylor expansion of 1 in z 24.310 * [taylor]: Taking taylor expansion of 1 in t 24.310 * [taylor]: Taking taylor expansion of -1 in t 24.314 * [taylor]: Taking taylor expansion of 0 in y 24.314 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 24.314 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.314 * [taylor]: Taking taylor expansion of (* t z) in z 24.314 * [taylor]: Taking taylor expansion of t in z 24.314 * [taylor]: Taking taylor expansion of z in z 24.315 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 24.315 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.315 * [taylor]: Taking taylor expansion of t in t 24.317 * [taylor]: Taking taylor expansion of 0 in z 24.317 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.317 * [taylor]: Taking taylor expansion of t in t 24.318 * [taylor]: Taking taylor expansion of 1 in t 24.318 * [taylor]: Taking taylor expansion of 0 in t 24.318 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x y z t) around 0 24.319 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t 24.319 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 24.319 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 24.319 * [taylor]: Taking taylor expansion of (* x z) in t 24.319 * [taylor]: Taking taylor expansion of x in t 24.319 * [taylor]: Taking taylor expansion of z in t 24.319 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 24.319 * [taylor]: Taking taylor expansion of (* t y) in t 24.319 * [taylor]: Taking taylor expansion of t in t 24.319 * [taylor]: Taking taylor expansion of y in t 24.319 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t 24.319 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.319 * [taylor]: Taking taylor expansion of (* t z) in t 24.319 * [taylor]: Taking taylor expansion of t in t 24.319 * [taylor]: Taking taylor expansion of z in t 24.319 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t 24.319 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.319 * [taylor]: Taking taylor expansion of (* x y) in t 24.319 * [taylor]: Taking taylor expansion of x in t 24.320 * [taylor]: Taking taylor expansion of y in t 24.320 * [taylor]: Taking taylor expansion of (/ 1 x) in t 24.320 * [taylor]: Taking taylor expansion of x in t 24.320 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z 24.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z 24.320 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 24.320 * [taylor]: Taking taylor expansion of (* x z) in z 24.320 * [taylor]: Taking taylor expansion of x in z 24.320 * [taylor]: Taking taylor expansion of z in z 24.320 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 24.320 * [taylor]: Taking taylor expansion of (* t y) in z 24.320 * [taylor]: Taking taylor expansion of t in z 24.320 * [taylor]: Taking taylor expansion of y in z 24.320 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z 24.320 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.320 * [taylor]: Taking taylor expansion of (* t z) in z 24.320 * [taylor]: Taking taylor expansion of t in z 24.320 * [taylor]: Taking taylor expansion of z in z 24.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z 24.321 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.321 * [taylor]: Taking taylor expansion of (* x y) in z 24.321 * [taylor]: Taking taylor expansion of x in z 24.321 * [taylor]: Taking taylor expansion of y in z 24.321 * [taylor]: Taking taylor expansion of (/ 1 x) in z 24.321 * [taylor]: Taking taylor expansion of x in z 24.321 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y 24.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y 24.321 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 24.321 * [taylor]: Taking taylor expansion of (* x z) in y 24.321 * [taylor]: Taking taylor expansion of x in y 24.321 * [taylor]: Taking taylor expansion of z in y 24.321 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 24.321 * [taylor]: Taking taylor expansion of (* t y) in y 24.321 * [taylor]: Taking taylor expansion of t in y 24.321 * [taylor]: Taking taylor expansion of y in y 24.321 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y 24.321 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.321 * [taylor]: Taking taylor expansion of (* t z) in y 24.321 * [taylor]: Taking taylor expansion of t in y 24.321 * [taylor]: Taking taylor expansion of z in y 24.322 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 24.322 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.322 * [taylor]: Taking taylor expansion of (* x y) in y 24.322 * [taylor]: Taking taylor expansion of x in y 24.322 * [taylor]: Taking taylor expansion of y in y 24.322 * [taylor]: Taking taylor expansion of (/ 1 x) in y 24.322 * [taylor]: Taking taylor expansion of x in y 24.322 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 24.322 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 24.322 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 24.322 * [taylor]: Taking taylor expansion of (* x z) in x 24.322 * [taylor]: Taking taylor expansion of x in x 24.322 * [taylor]: Taking taylor expansion of z in x 24.322 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 24.322 * [taylor]: Taking taylor expansion of (* t y) in x 24.322 * [taylor]: Taking taylor expansion of t in x 24.322 * [taylor]: Taking taylor expansion of y in x 24.323 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 24.323 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.323 * [taylor]: Taking taylor expansion of (* t z) in x 24.323 * [taylor]: Taking taylor expansion of t in x 24.323 * [taylor]: Taking taylor expansion of z in x 24.323 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 24.323 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.323 * [taylor]: Taking taylor expansion of (* x y) in x 24.323 * [taylor]: Taking taylor expansion of x in x 24.323 * [taylor]: Taking taylor expansion of y in x 24.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.323 * [taylor]: Taking taylor expansion of x in x 24.323 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 24.323 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 24.323 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 24.323 * [taylor]: Taking taylor expansion of (* x z) in x 24.323 * [taylor]: Taking taylor expansion of x in x 24.323 * [taylor]: Taking taylor expansion of z in x 24.324 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 24.324 * [taylor]: Taking taylor expansion of (* t y) in x 24.324 * [taylor]: Taking taylor expansion of t in x 24.324 * [taylor]: Taking taylor expansion of y in x 24.324 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 24.324 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.324 * [taylor]: Taking taylor expansion of (* t z) in x 24.324 * [taylor]: Taking taylor expansion of t in x 24.324 * [taylor]: Taking taylor expansion of z in x 24.324 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 24.324 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.324 * [taylor]: Taking taylor expansion of (* x y) in x 24.324 * [taylor]: Taking taylor expansion of x in x 24.324 * [taylor]: Taking taylor expansion of y in x 24.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 24.324 * [taylor]: Taking taylor expansion of x in x 24.325 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y 24.325 * [taylor]: Taking taylor expansion of (/ 1 z) in y 24.325 * [taylor]: Taking taylor expansion of z in y 24.325 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 24.325 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.325 * [taylor]: Taking taylor expansion of y in y 24.325 * [taylor]: Taking taylor expansion of 1 in y 24.326 * [taylor]: Taking taylor expansion of -1 in z 24.331 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in y 24.331 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 24.331 * [taylor]: Taking taylor expansion of (* t y) in y 24.331 * [taylor]: Taking taylor expansion of t in y 24.331 * [taylor]: Taking taylor expansion of y in y 24.331 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.331 * [taylor]: Taking taylor expansion of (* t z) in y 24.331 * [taylor]: Taking taylor expansion of t in y 24.331 * [taylor]: Taking taylor expansion of z in y 24.331 * [taylor]: Taking taylor expansion of (/ 1 t) in z 24.331 * [taylor]: Taking taylor expansion of t in z 24.332 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z 24.332 * [taylor]: Taking taylor expansion of (/ 1 z) in z 24.332 * [taylor]: Taking taylor expansion of z in z 24.332 * [taylor]: Taking taylor expansion of 1 in z 24.333 * [taylor]: Taking taylor expansion of 1 in t 24.333 * [taylor]: Taking taylor expansion of -1 in t 24.336 * [taylor]: Taking taylor expansion of 0 in y 24.337 * [taylor]: Taking taylor expansion of (- (/ 1 (* t z))) in z 24.337 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.337 * [taylor]: Taking taylor expansion of (* t z) in z 24.337 * [taylor]: Taking taylor expansion of t in z 24.337 * [taylor]: Taking taylor expansion of z in z 24.337 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 24.337 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.337 * [taylor]: Taking taylor expansion of t in t 24.339 * [taylor]: Taking taylor expansion of 0 in z 24.339 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.339 * [taylor]: Taking taylor expansion of t in t 24.340 * [taylor]: Taking taylor expansion of -1 in t 24.340 * [taylor]: Taking taylor expansion of 0 in t 24.341 * * * [progress]: simplifying candidates 24.342 * [simplify]: Simplifying using # : (* (- y z) (- t x)) (+ (log (- y z)) (log (- t x))) (log (* (- y z) (- t x))) (exp (* (- y z) (- t x))) (* (* (* (- y z) (- y z)) (- y z)) (* (* (- t x) (- t x)) (- t x))) (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x)))) (cbrt (* (- y z) (- t x))) (* (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* (- y z) (- t x))) (sqrt (* (- y z) (- t x))) (sqrt (* (- y z) (- t x))) (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3))) (* (+ (* y y) (+ (* z z) (* y z))) (+ (* t t) (+ (* x x) (* t x)))) (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x))) (* (+ (* y y) (+ (* z z) (* y z))) (+ t x)) (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3))) (* (+ y z) (+ (* t t) (+ (* x x) (* t x)))) (* (- (* y y) (* z z)) (- (* t t) (* x x))) (* (+ y z) (+ t x)) (* (sqrt (- y z)) (sqrt (- t x))) (* (sqrt (- y z)) (sqrt (- t x))) (* (- y z) t) (* (- y z) (- x)) (* (- y z) t) (* (- y z) (- x)) (* t (- y z)) (* (- x) (- y z)) (* t (- y z)) (* (- x) (- y z)) (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (* (- y z) (sqrt (- t x))) (* (- y z) 1) (* (- y z) (+ (sqrt t) (sqrt x))) (* (- y z) 1) (* (cbrt (- y z)) (- t x)) (* (sqrt (- y z)) (- t x)) (* (- y z) (- t x)) (* (- (sqrt y) (sqrt z)) (- t x)) (* (- y z) (- t x)) (* (- y z) (- (pow t 3) (pow x 3))) (* (- y z) (- (* t t) (* x x))) (* (- (pow y 3) (pow z 3)) (- t x)) (* (- (* y y) (* z z)) (- t x)) (* (exp x) (exp (* (- y z) (- t x)))) (log (+ x (* (- y z) (- t x)))) (exp (+ x (* (- y z) (- t x)))) (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x))))) (cbrt (+ x (* (- y z) (- t x)))) (* (* (+ x (* (- y z) (- t x))) (+ x (* (- y z) (- t x)))) (+ x (* (- y z) (- t x)))) (sqrt (+ x (* (- y z) (- t x)))) (sqrt (+ x (* (- y z) (- t x)))) (+ (pow x 3) (pow (* (- y z) (- t x)) 3)) (+ (* x x) (- (* (* (- y z) (- t x)) (* (- y z) (- t x))) (* x (* (- y z) (- t x))))) (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x)))) (- x (* (- y z) (- t x))) (+ x (* (- y z) t)) (+ x (* (- y z) t)) (+ x (* t (- y z))) (+ x (* t (- y z))) 0 (- (* x z) (+ (* t z) (* x y))) (- (* x z) (+ (* t z) (* x y))) (- (+ (* x z) x) (* x y)) (- (+ (* x z) (* t y)) (* t z)) (- (+ (* x z) (* t y)) (* t z)) 24.344 * * [simplify]: iteration 0 : 110 enodes (cost 687 ) 24.362 * * [simplify]: iteration 1 : 290 enodes (cost 651 ) 24.422 * * [simplify]: iteration 2 : 1057 enodes (cost 611 ) 25.159 * * [simplify]: iteration 3 : 4703 enodes (cost 609 ) 26.363 * * [simplify]: iteration done : 5000 enodes (cost 609 ) 26.364 * [simplify]: Simplified to: (* (- y z) (- t x)) (log (* (- y z) (- t x))) (log (* (- y z) (- t x))) (exp (* (- y z) (- t x))) (pow (* (- y z) (- t x)) 3) (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x)))) (cbrt (* (- y z) (- t x))) (pow (* (- y z) (- t x)) 3) (sqrt (* (- y z) (- t x))) (sqrt (* (- y z) (- t x))) (* (- (pow y 3) (pow z 3)) (- (pow t 3) (pow x 3))) (* (+ (* y y) (* z (+ y z))) (+ (* x (+ t x)) (* t t))) (* (- (pow y 3) (pow z 3)) (- (* t t) (* x x))) (* (+ (* y y) (* z (+ y z))) (+ t x)) (* (- (* y y) (* z z)) (- (pow t 3) (pow x 3))) (* (+ y z) (+ (* x (+ t x)) (* t t))) (* (- (* y y) (* z z)) (- (* t t) (* x x))) (* (+ y z) (+ t x)) (* (sqrt (- y z)) (sqrt (- t x))) (* (sqrt (- y z)) (sqrt (- t x))) (* t (- y z)) (* (- y z) (- x)) (* t (- y z)) (* (- y z) (- x)) (* t (- y z)) (* (- y z) (- x)) (* t (- y z)) (* (- y z) (- x)) (* (- y z) (* (cbrt (- t x)) (cbrt (- t x)))) (* (- y z) (sqrt (- t x))) (- y z) (* (- y z) (+ (sqrt t) (sqrt x))) (- y z) (* (cbrt (- y z)) (- t x)) (* (sqrt (- y z)) (- t x)) (* (- y z) (- t x)) (* (- (sqrt y) (sqrt z)) (- t x)) (* (- y z) (- t x)) (* (- y z) (- (pow t 3) (pow x 3))) (* (- y z) (- (* t t) (* x x))) (* (- (pow y 3) (pow z 3)) (- t x)) (* (- (* y y) (* z z)) (- t x)) (exp (+ x (* (- y z) (- t x)))) (log (+ x (* (- y z) (- t x)))) (exp (+ x (* (- y z) (- t x)))) (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x))))) (cbrt (+ x (* (- y z) (- t x)))) (pow (+ x (* (- y z) (- t x))) 3) (sqrt (+ x (* (- y z) (- t x)))) (sqrt (+ x (* (- y z) (- t x)))) (+ (pow x 3) (pow (* (- y z) (- t x)) 3)) (+ (* (* (- y z) (- t x)) (- (* (- y z) (- t x)) x)) (* x x)) (- (* x x) (* (* (- y z) (- t x)) (* (- y z) (- t x)))) (- x (* (- y z) (- t x))) (+ x (* t (- y z))) (+ x (* t (- y z))) (+ x (* t (- y z))) (+ x (* t (- y z))) 0 (- (* z (- x t)) (* x y)) (- (* z (- x t)) (* x y)) (* x (- (+ z 1) y)) (+ (* x z) (* t (- y z))) (+ (* x z) (* t (- y z))) 26.364 * * * [progress]: adding candidates to table 26.474 * * [progress]: iteration 2 / 4 26.474 * * * [progress]: picking best candidate 26.478 * * * * [pick]: Picked # 26.478 * * * [progress]: localizing error 26.486 * * * [progress]: generating rewritten candidates 26.486 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 26.493 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 26.506 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 26.518 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 26.533 * * * [progress]: generating series expansions 26.533 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 26.534 * [approximate]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in (t y z x) around 0 26.534 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in x 26.534 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in x 26.534 * [taylor]: Taking taylor expansion of (* x z) in x 26.534 * [taylor]: Taking taylor expansion of x in x 26.534 * [taylor]: Taking taylor expansion of z in x 26.534 * [taylor]: Taking taylor expansion of (* t y) in x 26.534 * [taylor]: Taking taylor expansion of t in x 26.534 * [taylor]: Taking taylor expansion of y in x 26.534 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 26.534 * [taylor]: Taking taylor expansion of (* t z) in x 26.534 * [taylor]: Taking taylor expansion of t in x 26.534 * [taylor]: Taking taylor expansion of z in x 26.534 * [taylor]: Taking taylor expansion of (* x y) in x 26.534 * [taylor]: Taking taylor expansion of x in x 26.534 * [taylor]: Taking taylor expansion of y in x 26.534 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in z 26.534 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in z 26.534 * [taylor]: Taking taylor expansion of (* x z) in z 26.534 * [taylor]: Taking taylor expansion of x in z 26.534 * [taylor]: Taking taylor expansion of z in z 26.534 * [taylor]: Taking taylor expansion of (* t y) in z 26.534 * [taylor]: Taking taylor expansion of t in z 26.534 * [taylor]: Taking taylor expansion of y in z 26.534 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 26.534 * [taylor]: Taking taylor expansion of (* t z) in z 26.534 * [taylor]: Taking taylor expansion of t in z 26.534 * [taylor]: Taking taylor expansion of z in z 26.534 * [taylor]: Taking taylor expansion of (* x y) in z 26.534 * [taylor]: Taking taylor expansion of x in z 26.534 * [taylor]: Taking taylor expansion of y in z 26.534 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in y 26.534 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in y 26.534 * [taylor]: Taking taylor expansion of (* x z) in y 26.534 * [taylor]: Taking taylor expansion of x in y 26.534 * [taylor]: Taking taylor expansion of z in y 26.534 * [taylor]: Taking taylor expansion of (* t y) in y 26.534 * [taylor]: Taking taylor expansion of t in y 26.534 * [taylor]: Taking taylor expansion of y in y 26.534 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 26.534 * [taylor]: Taking taylor expansion of (* t z) in y 26.534 * [taylor]: Taking taylor expansion of t in y 26.534 * [taylor]: Taking taylor expansion of z in y 26.534 * [taylor]: Taking taylor expansion of (* x y) in y 26.534 * [taylor]: Taking taylor expansion of x in y 26.534 * [taylor]: Taking taylor expansion of y in y 26.534 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in t 26.534 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in t 26.534 * [taylor]: Taking taylor expansion of (* x z) in t 26.534 * [taylor]: Taking taylor expansion of x in t 26.534 * [taylor]: Taking taylor expansion of z in t 26.534 * [taylor]: Taking taylor expansion of (* t y) in t 26.534 * [taylor]: Taking taylor expansion of t in t 26.534 * [taylor]: Taking taylor expansion of y in t 26.534 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 26.534 * [taylor]: Taking taylor expansion of (* t z) in t 26.534 * [taylor]: Taking taylor expansion of t in t 26.534 * [taylor]: Taking taylor expansion of z in t 26.534 * [taylor]: Taking taylor expansion of (* x y) in t 26.534 * [taylor]: Taking taylor expansion of x in t 26.534 * [taylor]: Taking taylor expansion of y in t 26.535 * [taylor]: Taking taylor expansion of (- (+ (* x z) (* t y)) (+ (* t z) (* x y))) in t 26.535 * [taylor]: Taking taylor expansion of (+ (* x z) (* t y)) in t 26.535 * [taylor]: Taking taylor expansion of (* x z) in t 26.535 * [taylor]: Taking taylor expansion of x in t 26.535 * [taylor]: Taking taylor expansion of z in t 26.535 * [taylor]: Taking taylor expansion of (* t y) in t 26.535 * [taylor]: Taking taylor expansion of t in t 26.535 * [taylor]: Taking taylor expansion of y in t 26.535 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 26.535 * [taylor]: Taking taylor expansion of (* t z) in t 26.535 * [taylor]: Taking taylor expansion of t in t 26.535 * [taylor]: Taking taylor expansion of z in t 26.535 * [taylor]: Taking taylor expansion of (* x y) in t 26.535 * [taylor]: Taking taylor expansion of x in t 26.535 * [taylor]: Taking taylor expansion of y in t 26.535 * [taylor]: Taking taylor expansion of (- (* x z) (* x y)) in y 26.535 * [taylor]: Taking taylor expansion of (* x z) in y 26.535 * [taylor]: Taking taylor expansion of x in y 26.535 * [taylor]: Taking taylor expansion of z in y 26.535 * [taylor]: Taking taylor expansion of (* x y) in y 26.535 * [taylor]: Taking taylor expansion of x in y 26.535 * [taylor]: Taking taylor expansion of y in y 26.536 * [taylor]: Taking taylor expansion of (* x z) in z 26.536 * [taylor]: Taking taylor expansion of x in z 26.536 * [taylor]: Taking taylor expansion of z in z 26.536 * [taylor]: Taking taylor expansion of 0 in x 26.536 * [taylor]: Taking taylor expansion of (- y z) in y 26.536 * [taylor]: Taking taylor expansion of y in y 26.536 * [taylor]: Taking taylor expansion of z in y 26.537 * [taylor]: Taking taylor expansion of (- z) in z 26.537 * [taylor]: Taking taylor expansion of z in z 26.537 * [taylor]: Taking taylor expansion of 0 in x 26.537 * [taylor]: Taking taylor expansion of (- x) in z 26.537 * [taylor]: Taking taylor expansion of x in z 26.537 * [taylor]: Taking taylor expansion of (- x) in x 26.537 * [taylor]: Taking taylor expansion of x in x 26.538 * [taylor]: Taking taylor expansion of x in x 26.540 * [taylor]: Taking taylor expansion of 0 in y 26.540 * [taylor]: Taking taylor expansion of 0 in z 26.540 * [taylor]: Taking taylor expansion of 0 in x 26.541 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (t y z x) around 0 26.541 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 26.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 26.541 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 26.541 * [taylor]: Taking taylor expansion of (* x z) in x 26.541 * [taylor]: Taking taylor expansion of x in x 26.541 * [taylor]: Taking taylor expansion of z in x 26.541 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 26.541 * [taylor]: Taking taylor expansion of (* t y) in x 26.541 * [taylor]: Taking taylor expansion of t in x 26.541 * [taylor]: Taking taylor expansion of y in x 26.541 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 26.541 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 26.541 * [taylor]: Taking taylor expansion of (* t z) in x 26.541 * [taylor]: Taking taylor expansion of t in x 26.541 * [taylor]: Taking taylor expansion of z in x 26.541 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.541 * [taylor]: Taking taylor expansion of (* x y) in x 26.541 * [taylor]: Taking taylor expansion of x in x 26.541 * [taylor]: Taking taylor expansion of y in x 26.542 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z 26.542 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z 26.542 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 26.542 * [taylor]: Taking taylor expansion of (* x z) in z 26.542 * [taylor]: Taking taylor expansion of x in z 26.542 * [taylor]: Taking taylor expansion of z in z 26.542 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 26.542 * [taylor]: Taking taylor expansion of (* t y) in z 26.542 * [taylor]: Taking taylor expansion of t in z 26.542 * [taylor]: Taking taylor expansion of y in z 26.542 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 26.542 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 26.542 * [taylor]: Taking taylor expansion of (* t z) in z 26.542 * [taylor]: Taking taylor expansion of t in z 26.542 * [taylor]: Taking taylor expansion of z in z 26.543 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 26.543 * [taylor]: Taking taylor expansion of (* x y) in z 26.543 * [taylor]: Taking taylor expansion of x in z 26.543 * [taylor]: Taking taylor expansion of y in z 26.543 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y 26.543 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y 26.543 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 26.543 * [taylor]: Taking taylor expansion of (* x z) in y 26.543 * [taylor]: Taking taylor expansion of x in y 26.543 * [taylor]: Taking taylor expansion of z in y 26.543 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 26.543 * [taylor]: Taking taylor expansion of (* t y) in y 26.543 * [taylor]: Taking taylor expansion of t in y 26.543 * [taylor]: Taking taylor expansion of y in y 26.543 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 26.543 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 26.543 * [taylor]: Taking taylor expansion of (* t z) in y 26.543 * [taylor]: Taking taylor expansion of t in y 26.543 * [taylor]: Taking taylor expansion of z in y 26.543 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 26.543 * [taylor]: Taking taylor expansion of (* x y) in y 26.543 * [taylor]: Taking taylor expansion of x in y 26.543 * [taylor]: Taking taylor expansion of y in y 26.544 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 26.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 26.544 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 26.544 * [taylor]: Taking taylor expansion of (* x z) in t 26.544 * [taylor]: Taking taylor expansion of x in t 26.544 * [taylor]: Taking taylor expansion of z in t 26.544 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 26.544 * [taylor]: Taking taylor expansion of (* t y) in t 26.544 * [taylor]: Taking taylor expansion of t in t 26.544 * [taylor]: Taking taylor expansion of y in t 26.544 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 26.544 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 26.544 * [taylor]: Taking taylor expansion of (* t z) in t 26.544 * [taylor]: Taking taylor expansion of t in t 26.544 * [taylor]: Taking taylor expansion of z in t 26.545 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 26.545 * [taylor]: Taking taylor expansion of (* x y) in t 26.545 * [taylor]: Taking taylor expansion of x in t 26.545 * [taylor]: Taking taylor expansion of y in t 26.545 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 26.545 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 26.545 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 26.545 * [taylor]: Taking taylor expansion of (* x z) in t 26.545 * [taylor]: Taking taylor expansion of x in t 26.545 * [taylor]: Taking taylor expansion of z in t 26.545 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 26.545 * [taylor]: Taking taylor expansion of (* t y) in t 26.545 * [taylor]: Taking taylor expansion of t in t 26.545 * [taylor]: Taking taylor expansion of y in t 26.546 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 26.546 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 26.546 * [taylor]: Taking taylor expansion of (* t z) in t 26.546 * [taylor]: Taking taylor expansion of t in t 26.546 * [taylor]: Taking taylor expansion of z in t 26.546 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 26.546 * [taylor]: Taking taylor expansion of (* x y) in t 26.546 * [taylor]: Taking taylor expansion of x in t 26.546 * [taylor]: Taking taylor expansion of y in t 26.546 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 26.546 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.546 * [taylor]: Taking taylor expansion of y in y 26.547 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.547 * [taylor]: Taking taylor expansion of z in y 26.547 * [taylor]: Taking taylor expansion of 1 in z 26.548 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* x y))) in y 26.548 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 26.548 * [taylor]: Taking taylor expansion of (* x z) in y 26.548 * [taylor]: Taking taylor expansion of x in y 26.548 * [taylor]: Taking taylor expansion of z in y 26.548 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 26.548 * [taylor]: Taking taylor expansion of (* x y) in y 26.548 * [taylor]: Taking taylor expansion of x in y 26.548 * [taylor]: Taking taylor expansion of y in y 26.549 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 26.549 * [taylor]: Taking taylor expansion of (/ 1 x) in z 26.549 * [taylor]: Taking taylor expansion of x in z 26.549 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 26.549 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.549 * [taylor]: Taking taylor expansion of z in z 26.550 * [taylor]: Taking taylor expansion of -1 in x 26.550 * [taylor]: Taking taylor expansion of 1 in x 26.553 * [taylor]: Taking taylor expansion of 0 in y 26.553 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 26.554 * [taylor]: Taking taylor expansion of (* x z) in z 26.554 * [taylor]: Taking taylor expansion of x in z 26.554 * [taylor]: Taking taylor expansion of z in z 26.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.554 * [taylor]: Taking taylor expansion of x in x 26.555 * [taylor]: Taking taylor expansion of 0 in z 26.555 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 26.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.555 * [taylor]: Taking taylor expansion of x in x 26.556 * [taylor]: Taking taylor expansion of 0 in x 26.556 * [taylor]: Taking taylor expansion of 0 in x 26.557 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (t y z x) around 0 26.557 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 26.557 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 26.557 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 26.557 * [taylor]: Taking taylor expansion of (* x z) in x 26.557 * [taylor]: Taking taylor expansion of x in x 26.557 * [taylor]: Taking taylor expansion of z in x 26.558 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 26.558 * [taylor]: Taking taylor expansion of (* t y) in x 26.558 * [taylor]: Taking taylor expansion of t in x 26.558 * [taylor]: Taking taylor expansion of y in x 26.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 26.558 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 26.558 * [taylor]: Taking taylor expansion of (* t z) in x 26.558 * [taylor]: Taking taylor expansion of t in x 26.558 * [taylor]: Taking taylor expansion of z in x 26.558 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.558 * [taylor]: Taking taylor expansion of (* x y) in x 26.558 * [taylor]: Taking taylor expansion of x in x 26.558 * [taylor]: Taking taylor expansion of y in x 26.558 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z 26.558 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z 26.558 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 26.558 * [taylor]: Taking taylor expansion of (* x z) in z 26.558 * [taylor]: Taking taylor expansion of x in z 26.558 * [taylor]: Taking taylor expansion of z in z 26.559 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 26.559 * [taylor]: Taking taylor expansion of (* t y) in z 26.559 * [taylor]: Taking taylor expansion of t in z 26.559 * [taylor]: Taking taylor expansion of y in z 26.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 26.559 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 26.559 * [taylor]: Taking taylor expansion of (* t z) in z 26.559 * [taylor]: Taking taylor expansion of t in z 26.559 * [taylor]: Taking taylor expansion of z in z 26.559 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 26.559 * [taylor]: Taking taylor expansion of (* x y) in z 26.559 * [taylor]: Taking taylor expansion of x in z 26.559 * [taylor]: Taking taylor expansion of y in z 26.559 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y 26.559 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y 26.559 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 26.559 * [taylor]: Taking taylor expansion of (* x z) in y 26.559 * [taylor]: Taking taylor expansion of x in y 26.559 * [taylor]: Taking taylor expansion of z in y 26.560 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 26.560 * [taylor]: Taking taylor expansion of (* t y) in y 26.560 * [taylor]: Taking taylor expansion of t in y 26.560 * [taylor]: Taking taylor expansion of y in y 26.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 26.560 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 26.560 * [taylor]: Taking taylor expansion of (* t z) in y 26.560 * [taylor]: Taking taylor expansion of t in y 26.560 * [taylor]: Taking taylor expansion of z in y 26.560 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 26.560 * [taylor]: Taking taylor expansion of (* x y) in y 26.560 * [taylor]: Taking taylor expansion of x in y 26.560 * [taylor]: Taking taylor expansion of y in y 26.560 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 26.560 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 26.560 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 26.560 * [taylor]: Taking taylor expansion of (* x z) in t 26.560 * [taylor]: Taking taylor expansion of x in t 26.560 * [taylor]: Taking taylor expansion of z in t 26.561 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 26.561 * [taylor]: Taking taylor expansion of (* t y) in t 26.561 * [taylor]: Taking taylor expansion of t in t 26.561 * [taylor]: Taking taylor expansion of y in t 26.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 26.561 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 26.561 * [taylor]: Taking taylor expansion of (* t z) in t 26.561 * [taylor]: Taking taylor expansion of t in t 26.561 * [taylor]: Taking taylor expansion of z in t 26.561 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 26.561 * [taylor]: Taking taylor expansion of (* x y) in t 26.561 * [taylor]: Taking taylor expansion of x in t 26.561 * [taylor]: Taking taylor expansion of y in t 26.561 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 26.561 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 26.561 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 26.561 * [taylor]: Taking taylor expansion of (* x z) in t 26.561 * [taylor]: Taking taylor expansion of x in t 26.561 * [taylor]: Taking taylor expansion of z in t 26.562 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 26.562 * [taylor]: Taking taylor expansion of (* t y) in t 26.562 * [taylor]: Taking taylor expansion of t in t 26.562 * [taylor]: Taking taylor expansion of y in t 26.562 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 26.562 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 26.562 * [taylor]: Taking taylor expansion of (* t z) in t 26.562 * [taylor]: Taking taylor expansion of t in t 26.562 * [taylor]: Taking taylor expansion of z in t 26.562 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 26.562 * [taylor]: Taking taylor expansion of (* x y) in t 26.562 * [taylor]: Taking taylor expansion of x in t 26.562 * [taylor]: Taking taylor expansion of y in t 26.563 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 26.563 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.563 * [taylor]: Taking taylor expansion of y in y 26.563 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.563 * [taylor]: Taking taylor expansion of z in y 26.563 * [taylor]: Taking taylor expansion of 1 in z 26.565 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z)) (/ 1 (* x y))) in y 26.565 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 26.565 * [taylor]: Taking taylor expansion of (* x z) in y 26.565 * [taylor]: Taking taylor expansion of x in y 26.565 * [taylor]: Taking taylor expansion of z in y 26.565 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 26.565 * [taylor]: Taking taylor expansion of (* x y) in y 26.565 * [taylor]: Taking taylor expansion of x in y 26.565 * [taylor]: Taking taylor expansion of y in y 26.565 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in z 26.565 * [taylor]: Taking taylor expansion of (/ 1 x) in z 26.565 * [taylor]: Taking taylor expansion of x in z 26.566 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 26.566 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.566 * [taylor]: Taking taylor expansion of z in z 26.567 * [taylor]: Taking taylor expansion of -1 in x 26.567 * [taylor]: Taking taylor expansion of 1 in x 26.569 * [taylor]: Taking taylor expansion of 0 in y 26.570 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 26.570 * [taylor]: Taking taylor expansion of (* x z) in z 26.570 * [taylor]: Taking taylor expansion of x in z 26.570 * [taylor]: Taking taylor expansion of z in z 26.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.570 * [taylor]: Taking taylor expansion of x in x 26.572 * [taylor]: Taking taylor expansion of 0 in z 26.572 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 26.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.572 * [taylor]: Taking taylor expansion of x in x 26.573 * [taylor]: Taking taylor expansion of 0 in x 26.573 * [taylor]: Taking taylor expansion of 0 in x 26.574 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 26.574 * [approximate]: Taking taylor expansion of (* (- y z) t) in (t y z) around 0 26.574 * [taylor]: Taking taylor expansion of (* (- y z) t) in z 26.574 * [taylor]: Taking taylor expansion of (- y z) in z 26.574 * [taylor]: Taking taylor expansion of y in z 26.574 * [taylor]: Taking taylor expansion of z in z 26.574 * [taylor]: Taking taylor expansion of t in z 26.574 * [taylor]: Taking taylor expansion of (* (- y z) t) in y 26.574 * [taylor]: Taking taylor expansion of (- y z) in y 26.574 * [taylor]: Taking taylor expansion of y in y 26.574 * [taylor]: Taking taylor expansion of z in y 26.574 * [taylor]: Taking taylor expansion of t in y 26.574 * [taylor]: Taking taylor expansion of (* (- y z) t) in t 26.574 * [taylor]: Taking taylor expansion of (- y z) in t 26.574 * [taylor]: Taking taylor expansion of y in t 26.574 * [taylor]: Taking taylor expansion of z in t 26.574 * [taylor]: Taking taylor expansion of t in t 26.574 * [taylor]: Taking taylor expansion of (* (- y z) t) in t 26.574 * [taylor]: Taking taylor expansion of (- y z) in t 26.574 * [taylor]: Taking taylor expansion of y in t 26.574 * [taylor]: Taking taylor expansion of z in t 26.574 * [taylor]: Taking taylor expansion of t in t 26.574 * [taylor]: Taking taylor expansion of 0 in y 26.574 * [taylor]: Taking taylor expansion of 0 in z 26.575 * [taylor]: Taking taylor expansion of (- y z) in y 26.575 * [taylor]: Taking taylor expansion of y in y 26.575 * [taylor]: Taking taylor expansion of z in y 26.575 * [taylor]: Taking taylor expansion of (- z) in z 26.575 * [taylor]: Taking taylor expansion of z in z 26.575 * [taylor]: Taking taylor expansion of 0 in z 26.576 * [taylor]: Taking taylor expansion of 0 in y 26.576 * [taylor]: Taking taylor expansion of 0 in z 26.577 * [taylor]: Taking taylor expansion of 1 in z 26.577 * [taylor]: Taking taylor expansion of 0 in z 26.578 * [taylor]: Taking taylor expansion of 0 in y 26.578 * [taylor]: Taking taylor expansion of 0 in z 26.578 * [taylor]: Taking taylor expansion of 0 in z 26.579 * [taylor]: Taking taylor expansion of 0 in z 26.579 * [taylor]: Taking taylor expansion of 0 in z 26.579 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in (t y z) around 0 26.579 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in z 26.579 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 26.579 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.579 * [taylor]: Taking taylor expansion of y in z 26.579 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.579 * [taylor]: Taking taylor expansion of z in z 26.579 * [taylor]: Taking taylor expansion of t in z 26.580 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in y 26.580 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 26.580 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.580 * [taylor]: Taking taylor expansion of y in y 26.580 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.580 * [taylor]: Taking taylor expansion of z in y 26.580 * [taylor]: Taking taylor expansion of t in y 26.581 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t 26.581 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t 26.581 * [taylor]: Taking taylor expansion of (/ 1 y) in t 26.581 * [taylor]: Taking taylor expansion of y in t 26.581 * [taylor]: Taking taylor expansion of (/ 1 z) in t 26.581 * [taylor]: Taking taylor expansion of z in t 26.581 * [taylor]: Taking taylor expansion of t in t 26.581 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) t) in t 26.581 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in t 26.581 * [taylor]: Taking taylor expansion of (/ 1 y) in t 26.581 * [taylor]: Taking taylor expansion of y in t 26.581 * [taylor]: Taking taylor expansion of (/ 1 z) in t 26.581 * [taylor]: Taking taylor expansion of z in t 26.581 * [taylor]: Taking taylor expansion of t in t 26.581 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 26.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.581 * [taylor]: Taking taylor expansion of y in y 26.581 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.581 * [taylor]: Taking taylor expansion of z in y 26.582 * [taylor]: Taking taylor expansion of 1 in z 26.586 * [taylor]: Taking taylor expansion of 0 in y 26.586 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 26.586 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.586 * [taylor]: Taking taylor expansion of z in z 26.588 * [taylor]: Taking taylor expansion of 0 in y 26.588 * [taylor]: Taking taylor expansion of 0 in z 26.589 * [taylor]: Taking taylor expansion of 0 in z 26.592 * [taylor]: Taking taylor expansion of 0 in y 26.592 * [taylor]: Taking taylor expansion of 0 in z 26.592 * [taylor]: Taking taylor expansion of 0 in z 26.593 * [taylor]: Taking taylor expansion of 0 in z 26.594 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in (t y z) around 0 26.594 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in z 26.594 * [taylor]: Taking taylor expansion of -1 in z 26.594 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in z 26.594 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 26.594 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.594 * [taylor]: Taking taylor expansion of z in z 26.595 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.595 * [taylor]: Taking taylor expansion of y in z 26.595 * [taylor]: Taking taylor expansion of t in z 26.595 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in y 26.595 * [taylor]: Taking taylor expansion of -1 in y 26.595 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in y 26.595 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 26.595 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.595 * [taylor]: Taking taylor expansion of z in y 26.595 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.595 * [taylor]: Taking taylor expansion of y in y 26.596 * [taylor]: Taking taylor expansion of t in y 26.596 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t 26.596 * [taylor]: Taking taylor expansion of -1 in t 26.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t 26.596 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t 26.596 * [taylor]: Taking taylor expansion of (/ 1 z) in t 26.596 * [taylor]: Taking taylor expansion of z in t 26.596 * [taylor]: Taking taylor expansion of (/ 1 y) in t 26.596 * [taylor]: Taking taylor expansion of y in t 26.596 * [taylor]: Taking taylor expansion of t in t 26.596 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) t)) in t 26.596 * [taylor]: Taking taylor expansion of -1 in t 26.596 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) t) in t 26.596 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in t 26.596 * [taylor]: Taking taylor expansion of (/ 1 z) in t 26.596 * [taylor]: Taking taylor expansion of z in t 26.597 * [taylor]: Taking taylor expansion of (/ 1 y) in t 26.597 * [taylor]: Taking taylor expansion of y in t 26.597 * [taylor]: Taking taylor expansion of t in t 26.597 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 y))) in y 26.597 * [taylor]: Taking taylor expansion of -1 in y 26.597 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 26.597 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.597 * [taylor]: Taking taylor expansion of z in y 26.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.597 * [taylor]: Taking taylor expansion of y in y 26.598 * [taylor]: Taking taylor expansion of 1 in z 26.599 * [taylor]: Taking taylor expansion of 0 in y 26.600 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 26.600 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.601 * [taylor]: Taking taylor expansion of z in z 26.603 * [taylor]: Taking taylor expansion of 0 in y 26.603 * [taylor]: Taking taylor expansion of 0 in z 26.605 * [taylor]: Taking taylor expansion of 0 in z 26.608 * [taylor]: Taking taylor expansion of 0 in y 26.608 * [taylor]: Taking taylor expansion of 0 in z 26.608 * [taylor]: Taking taylor expansion of 0 in z 26.610 * [taylor]: Taking taylor expansion of 0 in z 26.611 * * * * [progress]: [ 3 / 4 ] generating series at (2) 26.611 * [approximate]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in (x t y z) around 0 26.611 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in z 26.611 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in z 26.611 * [taylor]: Taking taylor expansion of (* x z) in z 26.611 * [taylor]: Taking taylor expansion of x in z 26.611 * [taylor]: Taking taylor expansion of z in z 26.611 * [taylor]: Taking taylor expansion of (+ x (* t y)) in z 26.611 * [taylor]: Taking taylor expansion of x in z 26.611 * [taylor]: Taking taylor expansion of (* t y) in z 26.611 * [taylor]: Taking taylor expansion of t in z 26.611 * [taylor]: Taking taylor expansion of y in z 26.611 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 26.611 * [taylor]: Taking taylor expansion of (* t z) in z 26.611 * [taylor]: Taking taylor expansion of t in z 26.611 * [taylor]: Taking taylor expansion of z in z 26.611 * [taylor]: Taking taylor expansion of (* x y) in z 26.611 * [taylor]: Taking taylor expansion of x in z 26.611 * [taylor]: Taking taylor expansion of y in z 26.611 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in y 26.611 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in y 26.611 * [taylor]: Taking taylor expansion of (* x z) in y 26.611 * [taylor]: Taking taylor expansion of x in y 26.611 * [taylor]: Taking taylor expansion of z in y 26.611 * [taylor]: Taking taylor expansion of (+ x (* t y)) in y 26.611 * [taylor]: Taking taylor expansion of x in y 26.612 * [taylor]: Taking taylor expansion of (* t y) in y 26.612 * [taylor]: Taking taylor expansion of t in y 26.612 * [taylor]: Taking taylor expansion of y in y 26.612 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 26.612 * [taylor]: Taking taylor expansion of (* t z) in y 26.612 * [taylor]: Taking taylor expansion of t in y 26.612 * [taylor]: Taking taylor expansion of z in y 26.612 * [taylor]: Taking taylor expansion of (* x y) in y 26.612 * [taylor]: Taking taylor expansion of x in y 26.612 * [taylor]: Taking taylor expansion of y in y 26.612 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in t 26.612 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in t 26.612 * [taylor]: Taking taylor expansion of (* x z) in t 26.612 * [taylor]: Taking taylor expansion of x in t 26.612 * [taylor]: Taking taylor expansion of z in t 26.612 * [taylor]: Taking taylor expansion of (+ x (* t y)) in t 26.612 * [taylor]: Taking taylor expansion of x in t 26.612 * [taylor]: Taking taylor expansion of (* t y) in t 26.612 * [taylor]: Taking taylor expansion of t in t 26.612 * [taylor]: Taking taylor expansion of y in t 26.612 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 26.612 * [taylor]: Taking taylor expansion of (* t z) in t 26.612 * [taylor]: Taking taylor expansion of t in t 26.612 * [taylor]: Taking taylor expansion of z in t 26.612 * [taylor]: Taking taylor expansion of (* x y) in t 26.612 * [taylor]: Taking taylor expansion of x in t 26.612 * [taylor]: Taking taylor expansion of y in t 26.612 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 26.612 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 26.612 * [taylor]: Taking taylor expansion of (* x z) in x 26.612 * [taylor]: Taking taylor expansion of x in x 26.612 * [taylor]: Taking taylor expansion of z in x 26.612 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 26.612 * [taylor]: Taking taylor expansion of x in x 26.612 * [taylor]: Taking taylor expansion of (* t y) in x 26.612 * [taylor]: Taking taylor expansion of t in x 26.612 * [taylor]: Taking taylor expansion of y in x 26.612 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 26.612 * [taylor]: Taking taylor expansion of (* t z) in x 26.612 * [taylor]: Taking taylor expansion of t in x 26.612 * [taylor]: Taking taylor expansion of z in x 26.612 * [taylor]: Taking taylor expansion of (* x y) in x 26.612 * [taylor]: Taking taylor expansion of x in x 26.612 * [taylor]: Taking taylor expansion of y in x 26.612 * [taylor]: Taking taylor expansion of (- (+ (* x z) (+ x (* t y))) (+ (* t z) (* x y))) in x 26.612 * [taylor]: Taking taylor expansion of (+ (* x z) (+ x (* t y))) in x 26.612 * [taylor]: Taking taylor expansion of (* x z) in x 26.612 * [taylor]: Taking taylor expansion of x in x 26.612 * [taylor]: Taking taylor expansion of z in x 26.612 * [taylor]: Taking taylor expansion of (+ x (* t y)) in x 26.612 * [taylor]: Taking taylor expansion of x in x 26.612 * [taylor]: Taking taylor expansion of (* t y) in x 26.612 * [taylor]: Taking taylor expansion of t in x 26.612 * [taylor]: Taking taylor expansion of y in x 26.612 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 26.612 * [taylor]: Taking taylor expansion of (* t z) in x 26.612 * [taylor]: Taking taylor expansion of t in x 26.612 * [taylor]: Taking taylor expansion of z in x 26.612 * [taylor]: Taking taylor expansion of (* x y) in x 26.612 * [taylor]: Taking taylor expansion of x in x 26.612 * [taylor]: Taking taylor expansion of y in x 26.613 * [taylor]: Taking taylor expansion of (- (* t y) (* t z)) in t 26.613 * [taylor]: Taking taylor expansion of (* t y) in t 26.613 * [taylor]: Taking taylor expansion of t in t 26.613 * [taylor]: Taking taylor expansion of y in t 26.613 * [taylor]: Taking taylor expansion of (* t z) in t 26.613 * [taylor]: Taking taylor expansion of t in t 26.613 * [taylor]: Taking taylor expansion of z in t 26.613 * [taylor]: Taking taylor expansion of 0 in y 26.613 * [taylor]: Taking taylor expansion of 0 in z 26.614 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in t 26.614 * [taylor]: Taking taylor expansion of (+ z 1) in t 26.614 * [taylor]: Taking taylor expansion of z in t 26.614 * [taylor]: Taking taylor expansion of 1 in t 26.614 * [taylor]: Taking taylor expansion of y in t 26.614 * [taylor]: Taking taylor expansion of (- (+ z 1) y) in y 26.614 * [taylor]: Taking taylor expansion of (+ z 1) in y 26.615 * [taylor]: Taking taylor expansion of z in y 26.615 * [taylor]: Taking taylor expansion of 1 in y 26.615 * [taylor]: Taking taylor expansion of y in y 26.615 * [taylor]: Taking taylor expansion of (+ z 1) in z 26.615 * [taylor]: Taking taylor expansion of z in z 26.615 * [taylor]: Taking taylor expansion of 1 in z 26.616 * [taylor]: Taking taylor expansion of (- y z) in y 26.616 * [taylor]: Taking taylor expansion of y in y 26.616 * [taylor]: Taking taylor expansion of z in y 26.616 * [taylor]: Taking taylor expansion of (- z) in z 26.616 * [taylor]: Taking taylor expansion of z in z 26.616 * [taylor]: Taking taylor expansion of 0 in z 26.619 * [taylor]: Taking taylor expansion of 0 in t 26.619 * [taylor]: Taking taylor expansion of 0 in y 26.619 * [taylor]: Taking taylor expansion of 0 in z 26.620 * [taylor]: Taking taylor expansion of 0 in y 26.620 * [taylor]: Taking taylor expansion of 0 in z 26.621 * [taylor]: Taking taylor expansion of 0 in y 26.621 * [taylor]: Taking taylor expansion of 0 in z 26.621 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in (x t y z) around 0 26.622 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in z 26.622 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in z 26.622 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 26.622 * [taylor]: Taking taylor expansion of (* x z) in z 26.622 * [taylor]: Taking taylor expansion of x in z 26.622 * [taylor]: Taking taylor expansion of z in z 26.622 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in z 26.622 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 26.622 * [taylor]: Taking taylor expansion of (* t y) in z 26.622 * [taylor]: Taking taylor expansion of t in z 26.622 * [taylor]: Taking taylor expansion of y in z 26.622 * [taylor]: Taking taylor expansion of (/ 1 x) in z 26.622 * [taylor]: Taking taylor expansion of x in z 26.622 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 26.622 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 26.622 * [taylor]: Taking taylor expansion of (* t z) in z 26.622 * [taylor]: Taking taylor expansion of t in z 26.622 * [taylor]: Taking taylor expansion of z in z 26.622 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 26.622 * [taylor]: Taking taylor expansion of (* x y) in z 26.623 * [taylor]: Taking taylor expansion of x in z 26.623 * [taylor]: Taking taylor expansion of y in z 26.623 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in y 26.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in y 26.623 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 26.623 * [taylor]: Taking taylor expansion of (* x z) in y 26.623 * [taylor]: Taking taylor expansion of x in y 26.623 * [taylor]: Taking taylor expansion of z in y 26.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in y 26.623 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 26.623 * [taylor]: Taking taylor expansion of (* t y) in y 26.623 * [taylor]: Taking taylor expansion of t in y 26.623 * [taylor]: Taking taylor expansion of y in y 26.623 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.623 * [taylor]: Taking taylor expansion of x in y 26.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 26.623 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 26.623 * [taylor]: Taking taylor expansion of (* t z) in y 26.623 * [taylor]: Taking taylor expansion of t in y 26.623 * [taylor]: Taking taylor expansion of z in y 26.623 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 26.623 * [taylor]: Taking taylor expansion of (* x y) in y 26.623 * [taylor]: Taking taylor expansion of x in y 26.623 * [taylor]: Taking taylor expansion of y in y 26.624 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in t 26.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in t 26.624 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 26.624 * [taylor]: Taking taylor expansion of (* x z) in t 26.624 * [taylor]: Taking taylor expansion of x in t 26.624 * [taylor]: Taking taylor expansion of z in t 26.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in t 26.624 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 26.624 * [taylor]: Taking taylor expansion of (* t y) in t 26.624 * [taylor]: Taking taylor expansion of t in t 26.624 * [taylor]: Taking taylor expansion of y in t 26.624 * [taylor]: Taking taylor expansion of (/ 1 x) in t 26.624 * [taylor]: Taking taylor expansion of x in t 26.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 26.624 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 26.624 * [taylor]: Taking taylor expansion of (* t z) in t 26.624 * [taylor]: Taking taylor expansion of t in t 26.624 * [taylor]: Taking taylor expansion of z in t 26.625 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 26.625 * [taylor]: Taking taylor expansion of (* x y) in t 26.625 * [taylor]: Taking taylor expansion of x in t 26.625 * [taylor]: Taking taylor expansion of y in t 26.625 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 26.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in x 26.625 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 26.625 * [taylor]: Taking taylor expansion of (* x z) in x 26.625 * [taylor]: Taking taylor expansion of x in x 26.625 * [taylor]: Taking taylor expansion of z in x 26.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x 26.625 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 26.625 * [taylor]: Taking taylor expansion of (* t y) in x 26.625 * [taylor]: Taking taylor expansion of t in x 26.625 * [taylor]: Taking taylor expansion of y in x 26.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.625 * [taylor]: Taking taylor expansion of x in x 26.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 26.626 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 26.626 * [taylor]: Taking taylor expansion of (* t z) in x 26.626 * [taylor]: Taking taylor expansion of t in x 26.626 * [taylor]: Taking taylor expansion of z in x 26.626 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.626 * [taylor]: Taking taylor expansion of (* x y) in x 26.626 * [taylor]: Taking taylor expansion of x in x 26.626 * [taylor]: Taking taylor expansion of y in x 26.626 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) (+ (/ 1 (* t z)) (/ 1 (* x y)))) in x 26.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (+ (/ 1 (* t y)) (/ 1 x))) in x 26.626 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 26.626 * [taylor]: Taking taylor expansion of (* x z) in x 26.626 * [taylor]: Taking taylor expansion of x in x 26.626 * [taylor]: Taking taylor expansion of z in x 26.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t y)) (/ 1 x)) in x 26.626 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 26.627 * [taylor]: Taking taylor expansion of (* t y) in x 26.627 * [taylor]: Taking taylor expansion of t in x 26.627 * [taylor]: Taking taylor expansion of y in x 26.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.627 * [taylor]: Taking taylor expansion of x in x 26.627 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 26.627 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 26.627 * [taylor]: Taking taylor expansion of (* t z) in x 26.627 * [taylor]: Taking taylor expansion of t in x 26.627 * [taylor]: Taking taylor expansion of z in x 26.627 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.627 * [taylor]: Taking taylor expansion of (* x y) in x 26.627 * [taylor]: Taking taylor expansion of x in x 26.627 * [taylor]: Taking taylor expansion of y in x 26.628 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in t 26.628 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in t 26.628 * [taylor]: Taking taylor expansion of (/ 1 z) in t 26.628 * [taylor]: Taking taylor expansion of z in t 26.628 * [taylor]: Taking taylor expansion of 1 in t 26.628 * [taylor]: Taking taylor expansion of (/ 1 y) in t 26.628 * [taylor]: Taking taylor expansion of y in t 26.630 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 26.630 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 26.630 * [taylor]: Taking taylor expansion of (* t y) in t 26.630 * [taylor]: Taking taylor expansion of t in t 26.630 * [taylor]: Taking taylor expansion of y in t 26.630 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 26.630 * [taylor]: Taking taylor expansion of (* t z) in t 26.630 * [taylor]: Taking taylor expansion of t in t 26.630 * [taylor]: Taking taylor expansion of z in t 26.631 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 26.631 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.631 * [taylor]: Taking taylor expansion of y in y 26.631 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.631 * [taylor]: Taking taylor expansion of z in y 26.631 * [taylor]: Taking taylor expansion of 1 in z 26.631 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) 1) (/ 1 y)) in y 26.631 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in y 26.632 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.632 * [taylor]: Taking taylor expansion of z in y 26.632 * [taylor]: Taking taylor expansion of 1 in y 26.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.632 * [taylor]: Taking taylor expansion of y in y 26.632 * [taylor]: Taking taylor expansion of -1 in z 26.636 * [taylor]: Taking taylor expansion of 0 in t 26.637 * [taylor]: Taking taylor expansion of 0 in y 26.638 * [taylor]: Taking taylor expansion of 0 in y 26.639 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 26.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.639 * [taylor]: Taking taylor expansion of z in z 26.640 * [taylor]: Taking taylor expansion of (+ (/ 1 z) 1) in z 26.640 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.640 * [taylor]: Taking taylor expansion of z in z 26.640 * [taylor]: Taking taylor expansion of 1 in z 26.641 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in (x t y z) around 0 26.641 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in z 26.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in z 26.641 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 26.641 * [taylor]: Taking taylor expansion of (* x z) in z 26.641 * [taylor]: Taking taylor expansion of x in z 26.641 * [taylor]: Taking taylor expansion of z in z 26.642 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in z 26.642 * [taylor]: Taking taylor expansion of (* t y) in z 26.642 * [taylor]: Taking taylor expansion of t in z 26.642 * [taylor]: Taking taylor expansion of y in z 26.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in z 26.642 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 26.642 * [taylor]: Taking taylor expansion of (* t z) in z 26.642 * [taylor]: Taking taylor expansion of t in z 26.642 * [taylor]: Taking taylor expansion of z in z 26.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in z 26.642 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 26.642 * [taylor]: Taking taylor expansion of (* x y) in z 26.642 * [taylor]: Taking taylor expansion of x in z 26.642 * [taylor]: Taking taylor expansion of y in z 26.642 * [taylor]: Taking taylor expansion of (/ 1 x) in z 26.642 * [taylor]: Taking taylor expansion of x in z 26.642 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in y 26.642 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in y 26.642 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 26.642 * [taylor]: Taking taylor expansion of (* x z) in y 26.642 * [taylor]: Taking taylor expansion of x in y 26.642 * [taylor]: Taking taylor expansion of z in y 26.643 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in y 26.643 * [taylor]: Taking taylor expansion of (* t y) in y 26.643 * [taylor]: Taking taylor expansion of t in y 26.643 * [taylor]: Taking taylor expansion of y in y 26.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in y 26.643 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 26.643 * [taylor]: Taking taylor expansion of (* t z) in y 26.643 * [taylor]: Taking taylor expansion of t in y 26.643 * [taylor]: Taking taylor expansion of z in y 26.643 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 26.643 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 26.643 * [taylor]: Taking taylor expansion of (* x y) in y 26.643 * [taylor]: Taking taylor expansion of x in y 26.643 * [taylor]: Taking taylor expansion of y in y 26.643 * [taylor]: Taking taylor expansion of (/ 1 x) in y 26.643 * [taylor]: Taking taylor expansion of x in y 26.643 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in t 26.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in t 26.644 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in t 26.644 * [taylor]: Taking taylor expansion of (* x z) in t 26.644 * [taylor]: Taking taylor expansion of x in t 26.644 * [taylor]: Taking taylor expansion of z in t 26.644 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 26.644 * [taylor]: Taking taylor expansion of (* t y) in t 26.644 * [taylor]: Taking taylor expansion of t in t 26.644 * [taylor]: Taking taylor expansion of y in t 26.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in t 26.644 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 26.644 * [taylor]: Taking taylor expansion of (* t z) in t 26.644 * [taylor]: Taking taylor expansion of t in t 26.644 * [taylor]: Taking taylor expansion of z in t 26.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in t 26.644 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 26.644 * [taylor]: Taking taylor expansion of (* x y) in t 26.644 * [taylor]: Taking taylor expansion of x in t 26.644 * [taylor]: Taking taylor expansion of y in t 26.645 * [taylor]: Taking taylor expansion of (/ 1 x) in t 26.645 * [taylor]: Taking taylor expansion of x in t 26.645 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 26.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 26.645 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 26.645 * [taylor]: Taking taylor expansion of (* x z) in x 26.645 * [taylor]: Taking taylor expansion of x in x 26.645 * [taylor]: Taking taylor expansion of z in x 26.645 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 26.645 * [taylor]: Taking taylor expansion of (* t y) in x 26.645 * [taylor]: Taking taylor expansion of t in x 26.645 * [taylor]: Taking taylor expansion of y in x 26.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 26.645 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 26.645 * [taylor]: Taking taylor expansion of (* t z) in x 26.645 * [taylor]: Taking taylor expansion of t in x 26.645 * [taylor]: Taking taylor expansion of z in x 26.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 26.645 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.645 * [taylor]: Taking taylor expansion of (* x y) in x 26.645 * [taylor]: Taking taylor expansion of x in x 26.645 * [taylor]: Taking taylor expansion of y in x 26.646 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.646 * [taylor]: Taking taylor expansion of x in x 26.646 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x z)) (/ 1 (* t y))) (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x)))) in x 26.646 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x z)) (/ 1 (* t y))) in x 26.646 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 26.646 * [taylor]: Taking taylor expansion of (* x z) in x 26.646 * [taylor]: Taking taylor expansion of x in x 26.646 * [taylor]: Taking taylor expansion of z in x 26.646 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in x 26.646 * [taylor]: Taking taylor expansion of (* t y) in x 26.647 * [taylor]: Taking taylor expansion of t in x 26.647 * [taylor]: Taking taylor expansion of y in x 26.647 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* x y)) (/ 1 x))) in x 26.647 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 26.647 * [taylor]: Taking taylor expansion of (* t z) in x 26.647 * [taylor]: Taking taylor expansion of t in x 26.647 * [taylor]: Taking taylor expansion of z in x 26.647 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 26.647 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.647 * [taylor]: Taking taylor expansion of (* x y) in x 26.647 * [taylor]: Taking taylor expansion of x in x 26.647 * [taylor]: Taking taylor expansion of y in x 26.647 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.647 * [taylor]: Taking taylor expansion of x in x 26.648 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in t 26.648 * [taylor]: Taking taylor expansion of (/ 1 z) in t 26.648 * [taylor]: Taking taylor expansion of z in t 26.648 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in t 26.648 * [taylor]: Taking taylor expansion of (/ 1 y) in t 26.648 * [taylor]: Taking taylor expansion of y in t 26.648 * [taylor]: Taking taylor expansion of 1 in t 26.650 * [taylor]: Taking taylor expansion of (- (/ 1 (* t y)) (/ 1 (* t z))) in t 26.650 * [taylor]: Taking taylor expansion of (/ 1 (* t y)) in t 26.650 * [taylor]: Taking taylor expansion of (* t y) in t 26.650 * [taylor]: Taking taylor expansion of t in t 26.650 * [taylor]: Taking taylor expansion of y in t 26.650 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 26.650 * [taylor]: Taking taylor expansion of (* t z) in t 26.650 * [taylor]: Taking taylor expansion of t in t 26.650 * [taylor]: Taking taylor expansion of z in t 26.651 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 26.651 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.651 * [taylor]: Taking taylor expansion of y in y 26.651 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.651 * [taylor]: Taking taylor expansion of z in y 26.651 * [taylor]: Taking taylor expansion of 1 in z 26.651 * [taylor]: Taking taylor expansion of (- (/ 1 z) (+ (/ 1 y) 1)) in y 26.651 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.651 * [taylor]: Taking taylor expansion of z in y 26.651 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 26.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.652 * [taylor]: Taking taylor expansion of y in y 26.652 * [taylor]: Taking taylor expansion of 1 in y 26.653 * [taylor]: Taking taylor expansion of -1 in z 26.656 * [taylor]: Taking taylor expansion of 0 in t 26.657 * [taylor]: Taking taylor expansion of 0 in y 26.658 * [taylor]: Taking taylor expansion of 0 in y 26.659 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 26.659 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.659 * [taylor]: Taking taylor expansion of z in z 26.660 * [taylor]: Taking taylor expansion of (- (/ 1 z) 1) in z 26.660 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.660 * [taylor]: Taking taylor expansion of z in z 26.661 * [taylor]: Taking taylor expansion of 1 in z 26.661 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 26.661 * [approximate]: Taking taylor expansion of (* -1 (* (- y z) x)) in (y z x) around 0 26.662 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in x 26.662 * [taylor]: Taking taylor expansion of -1 in x 26.662 * [taylor]: Taking taylor expansion of (* (- y z) x) in x 26.662 * [taylor]: Taking taylor expansion of (- y z) in x 26.662 * [taylor]: Taking taylor expansion of y in x 26.662 * [taylor]: Taking taylor expansion of z in x 26.662 * [taylor]: Taking taylor expansion of x in x 26.662 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in z 26.662 * [taylor]: Taking taylor expansion of -1 in z 26.662 * [taylor]: Taking taylor expansion of (* (- y z) x) in z 26.662 * [taylor]: Taking taylor expansion of (- y z) in z 26.662 * [taylor]: Taking taylor expansion of y in z 26.662 * [taylor]: Taking taylor expansion of z in z 26.662 * [taylor]: Taking taylor expansion of x in z 26.662 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y 26.662 * [taylor]: Taking taylor expansion of -1 in y 26.662 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 26.662 * [taylor]: Taking taylor expansion of (- y z) in y 26.662 * [taylor]: Taking taylor expansion of y in y 26.662 * [taylor]: Taking taylor expansion of z in y 26.662 * [taylor]: Taking taylor expansion of x in y 26.662 * [taylor]: Taking taylor expansion of (* -1 (* (- y z) x)) in y 26.662 * [taylor]: Taking taylor expansion of -1 in y 26.662 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 26.662 * [taylor]: Taking taylor expansion of (- y z) in y 26.662 * [taylor]: Taking taylor expansion of y in y 26.662 * [taylor]: Taking taylor expansion of z in y 26.662 * [taylor]: Taking taylor expansion of x in y 26.662 * [taylor]: Taking taylor expansion of (* x z) in z 26.662 * [taylor]: Taking taylor expansion of x in z 26.662 * [taylor]: Taking taylor expansion of z in z 26.662 * [taylor]: Taking taylor expansion of 0 in x 26.663 * [taylor]: Taking taylor expansion of (- x) in z 26.663 * [taylor]: Taking taylor expansion of x in z 26.663 * [taylor]: Taking taylor expansion of (- x) in x 26.663 * [taylor]: Taking taylor expansion of x in x 26.663 * [taylor]: Taking taylor expansion of x in x 26.665 * [taylor]: Taking taylor expansion of 0 in z 26.665 * [taylor]: Taking taylor expansion of 0 in x 26.665 * [taylor]: Taking taylor expansion of 0 in x 26.665 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in (y z x) around 0 26.665 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in x 26.665 * [taylor]: Taking taylor expansion of -1 in x 26.665 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 26.665 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 26.665 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.665 * [taylor]: Taking taylor expansion of y in x 26.665 * [taylor]: Taking taylor expansion of (/ 1 z) in x 26.665 * [taylor]: Taking taylor expansion of z in x 26.665 * [taylor]: Taking taylor expansion of x in x 26.665 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in z 26.665 * [taylor]: Taking taylor expansion of -1 in z 26.665 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z 26.665 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 26.665 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.665 * [taylor]: Taking taylor expansion of y in z 26.665 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.665 * [taylor]: Taking taylor expansion of z in z 26.666 * [taylor]: Taking taylor expansion of x in z 26.666 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y 26.666 * [taylor]: Taking taylor expansion of -1 in y 26.666 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 26.666 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 26.666 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.666 * [taylor]: Taking taylor expansion of y in y 26.667 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.667 * [taylor]: Taking taylor expansion of z in y 26.667 * [taylor]: Taking taylor expansion of x in y 26.667 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 y) (/ 1 z)) x)) in y 26.667 * [taylor]: Taking taylor expansion of -1 in y 26.667 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 26.667 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 26.667 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.667 * [taylor]: Taking taylor expansion of y in y 26.667 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.667 * [taylor]: Taking taylor expansion of z in y 26.667 * [taylor]: Taking taylor expansion of x in y 26.668 * [taylor]: Taking taylor expansion of (/ -1 x) in z 26.668 * [taylor]: Taking taylor expansion of -1 in z 26.668 * [taylor]: Taking taylor expansion of x in z 26.669 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 26.669 * [taylor]: Taking taylor expansion of (* x z) in z 26.669 * [taylor]: Taking taylor expansion of x in z 26.669 * [taylor]: Taking taylor expansion of z in z 26.669 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.669 * [taylor]: Taking taylor expansion of x in x 26.669 * [taylor]: Taking taylor expansion of (/ -1 x) in x 26.669 * [taylor]: Taking taylor expansion of -1 in x 26.669 * [taylor]: Taking taylor expansion of x in x 26.671 * [taylor]: Taking taylor expansion of 0 in z 26.672 * [taylor]: Taking taylor expansion of 0 in x 26.672 * [taylor]: Taking taylor expansion of 0 in x 26.677 * [taylor]: Taking taylor expansion of 0 in z 26.677 * [taylor]: Taking taylor expansion of 0 in x 26.677 * [taylor]: Taking taylor expansion of 0 in x 26.677 * [taylor]: Taking taylor expansion of 0 in x 26.679 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in (y z x) around 0 26.679 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 26.679 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 26.679 * [taylor]: Taking taylor expansion of (/ 1 z) in x 26.679 * [taylor]: Taking taylor expansion of z in x 26.679 * [taylor]: Taking taylor expansion of (/ 1 y) in x 26.679 * [taylor]: Taking taylor expansion of y in x 26.679 * [taylor]: Taking taylor expansion of x in x 26.679 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z 26.679 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 26.679 * [taylor]: Taking taylor expansion of (/ 1 z) in z 26.679 * [taylor]: Taking taylor expansion of z in z 26.679 * [taylor]: Taking taylor expansion of (/ 1 y) in z 26.679 * [taylor]: Taking taylor expansion of y in z 26.679 * [taylor]: Taking taylor expansion of x in z 26.680 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 26.680 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 26.680 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.680 * [taylor]: Taking taylor expansion of z in y 26.680 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.680 * [taylor]: Taking taylor expansion of y in y 26.680 * [taylor]: Taking taylor expansion of x in y 26.681 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 26.681 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 26.681 * [taylor]: Taking taylor expansion of (/ 1 z) in y 26.681 * [taylor]: Taking taylor expansion of z in y 26.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.681 * [taylor]: Taking taylor expansion of y in y 26.681 * [taylor]: Taking taylor expansion of x in y 26.682 * [taylor]: Taking taylor expansion of (/ -1 x) in z 26.682 * [taylor]: Taking taylor expansion of -1 in z 26.682 * [taylor]: Taking taylor expansion of x in z 26.682 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 26.682 * [taylor]: Taking taylor expansion of (* x z) in z 26.683 * [taylor]: Taking taylor expansion of x in z 26.683 * [taylor]: Taking taylor expansion of z in z 26.683 * [taylor]: Taking taylor expansion of (/ 1 x) in x 26.683 * [taylor]: Taking taylor expansion of x in x 26.683 * [taylor]: Taking taylor expansion of (/ -1 x) in x 26.683 * [taylor]: Taking taylor expansion of -1 in x 26.683 * [taylor]: Taking taylor expansion of x in x 26.685 * [taylor]: Taking taylor expansion of 0 in z 26.685 * [taylor]: Taking taylor expansion of 0 in x 26.685 * [taylor]: Taking taylor expansion of 0 in x 26.687 * [taylor]: Taking taylor expansion of 0 in z 26.687 * [taylor]: Taking taylor expansion of 0 in x 26.688 * [taylor]: Taking taylor expansion of 0 in x 26.688 * [taylor]: Taking taylor expansion of 0 in x 26.689 * * * [progress]: simplifying candidates 26.690 * [simplify]: Simplifying using # : (* (exp (* t (- y z))) (exp (* (- y z) (- x)))) (log (+ (* t (- y z)) (* (- y z) (- x)))) (exp (+ (* t (- y z)) (* (- y z) (- x)))) (* (cbrt (+ (* t (- y z)) (* (- y z) (- x)))) (cbrt (+ (* t (- y z)) (* (- y z) (- x))))) (cbrt (+ (* t (- y z)) (* (- y z) (- x)))) (* (* (+ (* t (- y z)) (* (- y z) (- x))) (+ (* t (- y z)) (* (- y z) (- x)))) (+ (* t (- y z)) (* (- y z) (- x)))) (sqrt (+ (* t (- y z)) (* (- y z) (- x)))) (sqrt (+ (* t (- y z)) (* (- y z) (- x)))) (+ (* (* t (- (pow y 3) (pow z 3))) (+ (* y y) (+ (* z z) (* y z)))) (* (+ (* y y) (+ (* z z) (* y z))) (* (- (pow y 3) (pow z 3)) (- x)))) (* (+ (* y y) (+ (* z z) (* y z))) (+ (* y y) (+ (* z z) (* y z)))) (+ (* (* t (- (pow y 3) (pow z 3))) (+ y z)) (* (+ (* y y) (+ (* z z) (* y z))) (* (- (* y y) (* z z)) (- x)))) (* (+ (* y y) (+ (* z z) (* y z))) (+ y z)) (+ (* (* t (- (* y y) (* z z))) (+ (* y y) (+ (* z z) (* y z)))) (* (+ y z) (* (- (pow y 3) (pow z 3)) (- x)))) (* (+ y z) (+ (* y y) (+ (* z z) (* y z)))) (+ (* (* t (- (* y y) (* z z))) (+ y z)) (* (+ y z) (* (- (* y y) (* z z)) (- x)))) (* (+ y z) (+ y z)) (+ (pow (* t (- y z)) 3) (pow (* (- y z) (- x)) 3)) (+ (* (* t (- y z)) (* t (- y z))) (- (* (* (- y z) (- x)) (* (- y z) (- x))) (* (* t (- y z)) (* (- y z) (- x))))) (- (* (* t (- y z)) (* t (- y z))) (* (* (- y z) (- x)) (* (- y z) (- x)))) (- (* t (- y z)) (* (- y z) (- x))) (+ (* t (- z)) (* (- y z) (- x))) (+ (* t (- z)) (* (- y z) (- x))) (+ (* (- z) t) (* (- y z) (- x))) (+ (* (- z) t) (* (- y z) (- x))) (* t (- y z)) (+ (log t) (log (- y z))) (log (* t (- y z))) (exp (* t (- y z))) (* (* (* t t) t) (* (* (- y z) (- y z)) (- y z))) (* (cbrt (* t (- y z))) (cbrt (* t (- y z)))) (cbrt (* t (- y z))) (* (* (* t (- y z)) (* t (- y z))) (* t (- y z))) (sqrt (* t (- y z))) (sqrt (* t (- y z))) (* (sqrt t) (sqrt (- y z))) (* (sqrt t) (sqrt (- y z))) (* t y) (* t (- z)) (* t y) (* t (- z)) (* y t) (* (- z) t) (* y t) (* (- z) t) (* t (* (cbrt (- y z)) (cbrt (- y z)))) (* t (sqrt (- y z))) (* t 1) (* t (+ (sqrt y) (sqrt z))) (* t 1) (* (cbrt t) (- y z)) (* (sqrt t) (- y z)) (* t (- y z)) (* t (- (pow y 3) (pow z 3))) (* t (- (* y y) (* z z))) (* (exp x) (* (exp (* t (- y z))) (exp (* (- y z) (- x))))) (* (exp x) (exp (+ (* t (- y z)) (* (- y z) (- x))))) (log (+ x (+ (* t (- y z)) (* (- y z) (- x))))) (exp (+ x (+ (* t (- y z)) (* (- y z) (- x))))) (* (cbrt (+ x (+ (* t (- y z)) (* (- y z) (- x))))) (cbrt (+ x (+ (* t (- y z)) (* (- y z) (- x)))))) (cbrt (+ x (+ (* t (- y z)) (* (- y z) (- x))))) (* (* (+ x (+ (* t (- y z)) (* (- y z) (- x)))) (+ x (+ (* t (- y z)) (* (- y z) (- x))))) (+ x (+ (* t (- y z)) (* (- y z) (- x))))) (sqrt (+ x (+ (* t (- y z)) (* (- y z) (- x))))) (sqrt (+ x (+ (* t (- y z)) (* (- y z) (- x))))) (+ (pow x 3) (pow (+ (* t (- y z)) (* (- y z) (- x))) 3)) (+ (* x x) (- (* (+ (* t (- y z)) (* (- y z) (- x))) (+ (* t (- y z)) (* (- y z) (- x)))) (* x (+ (* t (- y z)) (* (- y z) (- x)))))) (- (* x x) (* (+ (* t (- y z)) (* (- y z) (- x))) (+ (* t (- y z)) (* (- y z) (- x))))) (- x (+ (* t (- y z)) (* (- y z) (- x)))) (+ x (+ (* t (- y z)) (* (- y z) (- x)))) (+ x (* t (- y z))) (+ x (* t (- y z))) (+ x (* t (- y z))) (* (- y z) (- x)) (+ (log (- y z)) (log (- x))) (log (* (- y z) (- x))) (exp (* (- y z) (- x))) (* (* (* (- y z) (- y z)) (- y z)) (* (* (- x) (- x)) (- x))) (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (cbrt (* (- y z) (- x))) (* (* (* (- y z) (- x)) (* (- y z) (- x))) (* (- y z) (- x))) (sqrt (* (- y z) (- x))) (sqrt (* (- y z) (- x))) (* (sqrt (- y z)) (sqrt (- x))) (* (sqrt (- y z)) (sqrt (- x))) (* (- y z) x) (* (- y z) (* (cbrt (- x)) (cbrt (- x)))) (* (- y z) (sqrt (- x))) (* (- y z) 1) (* (- y z) -1) (* (- y z) (- (* (cbrt x) (cbrt x)))) (* (- y z) (- (sqrt x))) (* (- y z) (- 1)) (* (- y z) (* (cbrt x) (cbrt x))) (* (- y z) (sqrt x)) (* (- y z) 1) (* (cbrt (- y z)) (- x)) (* (sqrt (- y z)) (- x)) (* (- y z) (- x)) (* (- (sqrt y) (sqrt z)) (- x)) (* (- y z) (- x)) (* (- (pow y 3) (pow z 3)) (- x)) (* (- (* y y) (* z z)) (- x)) 0 (- (* x z) (+ (* t z) (* x y))) (- (* x z) (+ (* t z) (* x y))) (- (* t y) (* t z)) (- (* t y) (* t z)) (- (* t y) (* t z)) x (- (+ (* x z) (* t y)) (* t z)) (- (+ (* x z) (* t y)) (* t z)) 0 (- (* x z) (* x y)) (- (* x z) (* x y)) 26.694 * * [simplify]: iteration 0 : 162 enodes (cost 1334 ) 26.730 * * [simplify]: iteration 1 : 469 enodes (cost 1215 ) 26.836 * * [simplify]: iteration 2 : 1709 enodes (cost 1029 ) 27.268 * * [simplify]: iteration done : 5000 enodes (cost 996 ) 27.269 * [simplify]: Simplified to: (exp (* (- y z) (- t x))) (log (* (- y z) (- t x))) (exp (* (- y z) (- t x))) (* (cbrt (* (- y z) (- t x))) (cbrt (* (- y z) (- t x)))) (cbrt (* (- y z) (- t x))) (pow (* (- y z) (- t x)) 3) (sqrt (* (- y z) (- t x))) (sqrt (* (- y z) (- t x))) (* (- (* t (- (pow y 3) (pow z 3))) (* (- (pow y 3) (pow z 3)) x)) (+ (* z (+ y z)) (* y y))) (* (+ (* z (+ y z)) (* y y)) (+ (* z (+ y z)) (* y y))) (- (* (* t (- (pow y 3) (pow z 3))) (+ y z)) (* (+ (* z (+ y z)) (* y y)) (* (- (* y y) (* z z)) x))) (* (+ (* z (+ y z)) (* y y)) (+ y z)) (- (* (* t (- (* y y) (* z z))) (+ (* z (+ y z)) (* y y))) (* (* (- (pow y 3) (pow z 3)) x) (+ y z))) (* (+ (* z (+ y z)) (* y y)) (+ y z)) (* (+ y z) (- (* t (- (* y y) (* z z))) (* (- (* y y) (* z z)) x))) (* (+ y z) (+ y z)) (- (pow (* t (- y z)) 3) (pow (* (- y z) x) 3)) (- (* (* t (- y z)) (* t (- y z))) (* (* (- y z) x) (* (- y z) (- (- x) t)))) (* (* (* (- y z) (- t x)) (- y z)) (- t (- x))) (* (- y z) (- t (- x))) (- (* (- y z) (- x)) (* t z)) (- (* (- y z) (- x)) (* t z)) (- (* (- y z) (- x)) (* t z)) (- (* (- y z) (- x)) (* t z)) (* t (- y z)) (log (* t (- y z))) (log (* t (- y z))) (exp (* t (- y z))) (pow (* t (- y z)) 3) (* (cbrt (* t (- y z))) (cbrt (* t (- y z)))) (cbrt (* t (- y z))) (pow (* t (- y z)) 3) (sqrt (* t (- y z))) (sqrt (* t (- y z))) (* (sqrt t) (sqrt (- y z))) (* (sqrt t) (sqrt (- y z))) (* t y) (* (- z) t) (* t y) (* (- z) t) (* t y) (* (- z) t) (* t y) (* (- z) t) (* t (* (cbrt (- y z)) (cbrt (- y z)))) (* t (sqrt (- y z))) t (* t (+ (sqrt y) (sqrt z))) t (* (cbrt t) (- y z)) (* (sqrt t) (- y z)) (* t (- y z)) (* t (- (pow y 3) (pow z 3))) (* t (- (* y y) (* z z))) (exp (+ x (* (- y z) (- t x)))) (exp (+ x (* (- y z) (- t x)))) (log (+ x (* (- y z) (- t x)))) (exp (+ x (* (- y z) (- t x)))) (* (cbrt (+ x (* (- y z) (- t x)))) (cbrt (+ x (* (- y z) (- t x))))) (cbrt (+ x (* (- y z) (- t x)))) (pow (+ x (* (- y z) (- t x))) 3) (sqrt (+ x (* (- y z) (- t x)))) (sqrt (+ x (* (- y z) (- t x)))) (+ (pow (* (- y z) (- t x)) 3) (pow x 3)) (+ (* x x) (* (- y z) (* (- t x) (- (* (- y z) (- t x)) x)))) (- (* x x) (* (* (* (- y z) (- t x)) (- y z)) (- t x))) (- x (* (- y z) (- t x))) (+ x (* (- y z) (- t x))) (+ x (* t (- y z))) (+ x (* t (- y z))) (+ x (* t (- y z))) (* (- y z) (- x)) (log (* (- y z) (- x))) (log (* (- y z) (- x))) (exp (* (- y z) (- x))) (pow (* (- y z) (- x)) 3) (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (cbrt (* (- y z) (- x))) (pow (* (- y z) (- x)) 3) (sqrt (* (- y z) (- x))) (sqrt (* (- y z) (- x))) (* (sqrt (- y z)) (sqrt (- x))) (* (sqrt (- y z)) (sqrt (- x))) (* (- y z) x) (* (- y z) (* (cbrt (- x)) (cbrt (- x)))) (* (- y z) (sqrt (- x))) (- y z) (- (- y z)) (* (- y z) (- (* (cbrt x) (cbrt x)))) (* (- y z) (- (sqrt x))) (- (- y z)) (* (- y z) (* (cbrt x) (cbrt x))) (* (- y z) (sqrt x)) (- y z) (* (cbrt (- y z)) (- x)) (* (sqrt (- y z)) (- x)) (* (- y z) (- x)) (* (- (sqrt y) (sqrt z)) (- x)) (* (- y z) (- x)) (* (- (pow y 3) (pow z 3)) (- x)) (* (- (* y y) (* z z)) (- x)) 0 (- (* x (- z y)) (* t z)) (- (* x (- z y)) (* t z)) (* t (- y z)) (* t (- y z)) (* t (- y z)) x (+ (* x z) (* t (- y z))) (+ (* x z) (* t (- y z))) 0 (* x (- z y)) (* x (- z y)) 27.269 * * * [progress]: adding candidates to table 27.480 * * [progress]: iteration 3 / 4 27.480 * * * [progress]: picking best candidate 27.482 * * * * [pick]: Picked # 27.482 * * * [progress]: localizing error 27.497 * * * [progress]: generating rewritten candidates 27.497 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 27.501 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 27.506 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 27.510 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 27.524 * * * [progress]: generating series expansions 27.524 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 27.525 * [approximate]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in (y z x) around 0 27.525 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in x 27.525 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in x 27.525 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in x 27.525 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in x 27.525 * [taylor]: Taking taylor expansion of 1/3 in x 27.525 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in x 27.525 * [taylor]: Taking taylor expansion of (* (- y z) x) in x 27.525 * [taylor]: Taking taylor expansion of (- y z) in x 27.525 * [taylor]: Taking taylor expansion of y in x 27.525 * [taylor]: Taking taylor expansion of z in x 27.525 * [taylor]: Taking taylor expansion of x in x 27.526 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.526 * [taylor]: Taking taylor expansion of -1 in x 27.527 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in z 27.527 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in z 27.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in z 27.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in z 27.527 * [taylor]: Taking taylor expansion of 1/3 in z 27.527 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in z 27.527 * [taylor]: Taking taylor expansion of (* (- y z) x) in z 27.527 * [taylor]: Taking taylor expansion of (- y z) in z 27.527 * [taylor]: Taking taylor expansion of y in z 27.527 * [taylor]: Taking taylor expansion of z in z 27.528 * [taylor]: Taking taylor expansion of x in z 27.528 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.528 * [taylor]: Taking taylor expansion of -1 in z 27.529 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in y 27.529 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in y 27.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in y 27.529 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in y 27.529 * [taylor]: Taking taylor expansion of 1/3 in y 27.529 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in y 27.529 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 27.529 * [taylor]: Taking taylor expansion of (- y z) in y 27.529 * [taylor]: Taking taylor expansion of y in y 27.529 * [taylor]: Taking taylor expansion of z in y 27.529 * [taylor]: Taking taylor expansion of x in y 27.529 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.529 * [taylor]: Taking taylor expansion of -1 in y 27.530 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in y 27.530 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in y 27.530 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in y 27.530 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in y 27.530 * [taylor]: Taking taylor expansion of 1/3 in y 27.530 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in y 27.530 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 27.530 * [taylor]: Taking taylor expansion of (- y z) in y 27.530 * [taylor]: Taking taylor expansion of y in y 27.530 * [taylor]: Taking taylor expansion of z in y 27.530 * [taylor]: Taking taylor expansion of x in y 27.530 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.530 * [taylor]: Taking taylor expansion of -1 in y 27.531 * [taylor]: Taking taylor expansion of (* (pow (* -1 (* x z)) 1/3) (cbrt -1)) in z 27.531 * [taylor]: Taking taylor expansion of (pow (* -1 (* x z)) 1/3) in z 27.532 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* x z))))) in z 27.532 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* x z)))) in z 27.532 * [taylor]: Taking taylor expansion of 1/3 in z 27.532 * [taylor]: Taking taylor expansion of (log (* -1 (* x z))) in z 27.532 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in z 27.532 * [taylor]: Taking taylor expansion of -1 in z 27.532 * [taylor]: Taking taylor expansion of (* x z) in z 27.532 * [taylor]: Taking taylor expansion of x in z 27.532 * [taylor]: Taking taylor expansion of z in z 27.533 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.533 * [taylor]: Taking taylor expansion of -1 in z 27.534 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log z) (log (- x)))))) in x 27.534 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.534 * [taylor]: Taking taylor expansion of -1 in x 27.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (- x))))) in x 27.535 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (- x)))) in x 27.535 * [taylor]: Taking taylor expansion of 1/3 in x 27.535 * [taylor]: Taking taylor expansion of (+ (log z) (log (- x))) in x 27.535 * [taylor]: Taking taylor expansion of (log z) in x 27.535 * [taylor]: Taking taylor expansion of z in x 27.535 * [taylor]: Taking taylor expansion of (log (- x)) in x 27.535 * [taylor]: Taking taylor expansion of (- x) in x 27.535 * [taylor]: Taking taylor expansion of x in x 27.540 * [taylor]: Taking taylor expansion of (- (* 1/3 (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1)))) in z 27.540 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1))) in z 27.540 * [taylor]: Taking taylor expansion of 1/3 in z 27.540 * [taylor]: Taking taylor expansion of (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1)) in z 27.540 * [taylor]: Taking taylor expansion of (pow (/ (* -1 x) (pow z 2)) 1/3) in z 27.540 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 x) (pow z 2))))) in z 27.540 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 x) (pow z 2)))) in z 27.540 * [taylor]: Taking taylor expansion of 1/3 in z 27.541 * [taylor]: Taking taylor expansion of (log (/ (* -1 x) (pow z 2))) in z 27.541 * [taylor]: Taking taylor expansion of (/ (* -1 x) (pow z 2)) in z 27.541 * [taylor]: Taking taylor expansion of (* -1 x) in z 27.541 * [taylor]: Taking taylor expansion of -1 in z 27.541 * [taylor]: Taking taylor expansion of x in z 27.541 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.541 * [taylor]: Taking taylor expansion of z in z 27.541 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.541 * [taylor]: Taking taylor expansion of -1 in z 27.543 * [taylor]: Taking taylor expansion of (- (* 1/3 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z)))))))) in x 27.543 * [taylor]: Taking taylor expansion of (* 1/3 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z))))))) in x 27.543 * [taylor]: Taking taylor expansion of 1/3 in x 27.543 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z)))))) in x 27.543 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.543 * [taylor]: Taking taylor expansion of -1 in x 27.544 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z))))) in x 27.544 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 x)) (* 2 (log z)))) in x 27.544 * [taylor]: Taking taylor expansion of 1/3 in x 27.544 * [taylor]: Taking taylor expansion of (- (log (* -1 x)) (* 2 (log z))) in x 27.544 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 27.544 * [taylor]: Taking taylor expansion of (* -1 x) in x 27.544 * [taylor]: Taking taylor expansion of -1 in x 27.544 * [taylor]: Taking taylor expansion of x in x 27.545 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x 27.545 * [taylor]: Taking taylor expansion of 2 in x 27.545 * [taylor]: Taking taylor expansion of (log z) in x 27.545 * [taylor]: Taking taylor expansion of z in x 27.553 * [taylor]: Taking taylor expansion of 0 in x 27.561 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1)))) in z 27.561 * [taylor]: Taking taylor expansion of (* 1/9 (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1))) in z 27.561 * [taylor]: Taking taylor expansion of 1/9 in z 27.561 * [taylor]: Taking taylor expansion of (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1)) in z 27.561 * [taylor]: Taking taylor expansion of (pow (/ (* -1 x) (pow z 5)) 1/3) in z 27.561 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 x) (pow z 5))))) in z 27.561 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 x) (pow z 5)))) in z 27.561 * [taylor]: Taking taylor expansion of 1/3 in z 27.561 * [taylor]: Taking taylor expansion of (log (/ (* -1 x) (pow z 5))) in z 27.561 * [taylor]: Taking taylor expansion of (/ (* -1 x) (pow z 5)) in z 27.561 * [taylor]: Taking taylor expansion of (* -1 x) in z 27.561 * [taylor]: Taking taylor expansion of -1 in z 27.561 * [taylor]: Taking taylor expansion of x in z 27.561 * [taylor]: Taking taylor expansion of (pow z 5) in z 27.561 * [taylor]: Taking taylor expansion of z in z 27.563 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.563 * [taylor]: Taking taylor expansion of -1 in z 27.565 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z)))))))) in x 27.565 * [taylor]: Taking taylor expansion of (* 1/9 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z))))))) in x 27.565 * [taylor]: Taking taylor expansion of 1/9 in x 27.565 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z)))))) in x 27.565 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.565 * [taylor]: Taking taylor expansion of -1 in x 27.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z))))) in x 27.566 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 x)) (* 5 (log z)))) in x 27.566 * [taylor]: Taking taylor expansion of 1/3 in x 27.566 * [taylor]: Taking taylor expansion of (- (log (* -1 x)) (* 5 (log z))) in x 27.566 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 27.566 * [taylor]: Taking taylor expansion of (* -1 x) in x 27.566 * [taylor]: Taking taylor expansion of -1 in x 27.566 * [taylor]: Taking taylor expansion of x in x 27.567 * [taylor]: Taking taylor expansion of (* 5 (log z)) in x 27.567 * [taylor]: Taking taylor expansion of 5 in x 27.567 * [taylor]: Taking taylor expansion of (log z) in x 27.567 * [taylor]: Taking taylor expansion of z in x 27.574 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in (y z x) around 0 27.574 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in x 27.574 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.574 * [taylor]: Taking taylor expansion of -1 in x 27.574 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in x 27.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in x 27.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in x 27.575 * [taylor]: Taking taylor expansion of 1/3 in x 27.575 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in x 27.575 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 27.575 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 27.575 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.575 * [taylor]: Taking taylor expansion of y in x 27.575 * [taylor]: Taking taylor expansion of (/ 1 z) in x 27.575 * [taylor]: Taking taylor expansion of z in x 27.575 * [taylor]: Taking taylor expansion of x in x 27.575 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in z 27.576 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.576 * [taylor]: Taking taylor expansion of -1 in z 27.576 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in z 27.576 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in z 27.576 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in z 27.576 * [taylor]: Taking taylor expansion of 1/3 in z 27.576 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in z 27.576 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z 27.576 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 27.576 * [taylor]: Taking taylor expansion of (/ 1 y) in z 27.576 * [taylor]: Taking taylor expansion of y in z 27.576 * [taylor]: Taking taylor expansion of (/ 1 z) in z 27.576 * [taylor]: Taking taylor expansion of z in z 27.577 * [taylor]: Taking taylor expansion of x in z 27.578 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in y 27.578 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.578 * [taylor]: Taking taylor expansion of -1 in y 27.578 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in y 27.578 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in y 27.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in y 27.579 * [taylor]: Taking taylor expansion of 1/3 in y 27.579 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in y 27.579 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 27.579 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 27.579 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.579 * [taylor]: Taking taylor expansion of y in y 27.579 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.579 * [taylor]: Taking taylor expansion of z in y 27.579 * [taylor]: Taking taylor expansion of x in y 27.580 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in y 27.580 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.580 * [taylor]: Taking taylor expansion of -1 in y 27.580 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in y 27.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in y 27.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in y 27.580 * [taylor]: Taking taylor expansion of 1/3 in y 27.581 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in y 27.581 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 27.581 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 27.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.581 * [taylor]: Taking taylor expansion of y in y 27.581 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.581 * [taylor]: Taking taylor expansion of z in y 27.581 * [taylor]: Taking taylor expansion of x in y 27.582 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.582 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.582 * [taylor]: Taking taylor expansion of -1 in z 27.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.583 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.583 * [taylor]: Taking taylor expansion of 1/3 in z 27.583 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.583 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.583 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.583 * [taylor]: Taking taylor expansion of x in z 27.583 * [taylor]: Taking taylor expansion of (log y) in z 27.583 * [taylor]: Taking taylor expansion of y in z 27.584 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in x 27.584 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.584 * [taylor]: Taking taylor expansion of -1 in x 27.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in x 27.584 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in x 27.584 * [taylor]: Taking taylor expansion of 1/3 in x 27.585 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in x 27.585 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 27.585 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.585 * [taylor]: Taking taylor expansion of x in x 27.585 * [taylor]: Taking taylor expansion of (log y) in x 27.585 * [taylor]: Taking taylor expansion of y in x 27.592 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z))) in z 27.592 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z)) in z 27.592 * [taylor]: Taking taylor expansion of 1/3 in z 27.592 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z) in z 27.592 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.592 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.592 * [taylor]: Taking taylor expansion of -1 in z 27.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.593 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.593 * [taylor]: Taking taylor expansion of 1/3 in z 27.593 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.593 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.593 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.593 * [taylor]: Taking taylor expansion of x in z 27.593 * [taylor]: Taking taylor expansion of (log y) in z 27.593 * [taylor]: Taking taylor expansion of y in z 27.593 * [taylor]: Taking taylor expansion of z in z 27.598 * [taylor]: Taking taylor expansion of 0 in x 27.601 * [taylor]: Taking taylor expansion of 0 in x 27.609 * [taylor]: Taking taylor expansion of (- (* 1/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2)))) in z 27.609 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2))) in z 27.609 * [taylor]: Taking taylor expansion of 1/9 in z 27.609 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2)) in z 27.609 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.609 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.609 * [taylor]: Taking taylor expansion of -1 in z 27.610 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.610 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.610 * [taylor]: Taking taylor expansion of 1/3 in z 27.610 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.610 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.610 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.610 * [taylor]: Taking taylor expansion of x in z 27.610 * [taylor]: Taking taylor expansion of (log y) in z 27.610 * [taylor]: Taking taylor expansion of y in z 27.610 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.610 * [taylor]: Taking taylor expansion of z in z 27.624 * [taylor]: Taking taylor expansion of 0 in x 27.631 * [taylor]: Taking taylor expansion of 0 in x 27.637 * [taylor]: Taking taylor expansion of 0 in x 27.637 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in (y z x) around 0 27.638 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in x 27.638 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in x 27.638 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in x 27.638 * [taylor]: Taking taylor expansion of 1/3 in x 27.638 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in x 27.638 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 27.638 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 27.638 * [taylor]: Taking taylor expansion of (/ 1 z) in x 27.638 * [taylor]: Taking taylor expansion of z in x 27.638 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.638 * [taylor]: Taking taylor expansion of y in x 27.638 * [taylor]: Taking taylor expansion of x in x 27.639 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in z 27.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in z 27.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in z 27.639 * [taylor]: Taking taylor expansion of 1/3 in z 27.639 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in z 27.639 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z 27.639 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 27.639 * [taylor]: Taking taylor expansion of (/ 1 z) in z 27.639 * [taylor]: Taking taylor expansion of z in z 27.639 * [taylor]: Taking taylor expansion of (/ 1 y) in z 27.639 * [taylor]: Taking taylor expansion of y in z 27.639 * [taylor]: Taking taylor expansion of x in z 27.640 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in y 27.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in y 27.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in y 27.640 * [taylor]: Taking taylor expansion of 1/3 in y 27.640 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in y 27.640 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 27.640 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 27.640 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.640 * [taylor]: Taking taylor expansion of z in y 27.640 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.640 * [taylor]: Taking taylor expansion of y in y 27.640 * [taylor]: Taking taylor expansion of x in y 27.641 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in y 27.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in y 27.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in y 27.641 * [taylor]: Taking taylor expansion of 1/3 in y 27.641 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in y 27.641 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 27.641 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 27.641 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.641 * [taylor]: Taking taylor expansion of z in y 27.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.641 * [taylor]: Taking taylor expansion of y in y 27.642 * [taylor]: Taking taylor expansion of x in y 27.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.643 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.643 * [taylor]: Taking taylor expansion of 1/3 in z 27.643 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.643 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.643 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.643 * [taylor]: Taking taylor expansion of -1 in z 27.643 * [taylor]: Taking taylor expansion of x in z 27.643 * [taylor]: Taking taylor expansion of (log y) in z 27.643 * [taylor]: Taking taylor expansion of y in z 27.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in x 27.643 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in x 27.643 * [taylor]: Taking taylor expansion of 1/3 in x 27.643 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in x 27.643 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 27.643 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.643 * [taylor]: Taking taylor expansion of -1 in x 27.643 * [taylor]: Taking taylor expansion of x in x 27.644 * [taylor]: Taking taylor expansion of (log y) in x 27.644 * [taylor]: Taking taylor expansion of y in x 27.647 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) z)) in z 27.647 * [taylor]: Taking taylor expansion of -1/3 in z 27.647 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) z) in z 27.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.647 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.647 * [taylor]: Taking taylor expansion of 1/3 in z 27.647 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.647 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.647 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.647 * [taylor]: Taking taylor expansion of -1 in z 27.647 * [taylor]: Taking taylor expansion of x in z 27.647 * [taylor]: Taking taylor expansion of (log y) in z 27.647 * [taylor]: Taking taylor expansion of y in z 27.648 * [taylor]: Taking taylor expansion of z in z 27.651 * [taylor]: Taking taylor expansion of 0 in x 27.654 * [taylor]: Taking taylor expansion of 0 in x 27.660 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) (pow z 2))) in z 27.660 * [taylor]: Taking taylor expansion of -1/9 in z 27.660 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) (pow z 2)) in z 27.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.660 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.660 * [taylor]: Taking taylor expansion of 1/3 in z 27.660 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.660 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.660 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.660 * [taylor]: Taking taylor expansion of -1 in z 27.660 * [taylor]: Taking taylor expansion of x in z 27.660 * [taylor]: Taking taylor expansion of (log y) in z 27.660 * [taylor]: Taking taylor expansion of y in z 27.660 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.660 * [taylor]: Taking taylor expansion of z in z 27.670 * [taylor]: Taking taylor expansion of 0 in x 27.679 * [taylor]: Taking taylor expansion of 0 in x 27.683 * [taylor]: Taking taylor expansion of 0 in x 27.683 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 27.684 * [approximate]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in (y z x) around 0 27.684 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in x 27.684 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in x 27.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in x 27.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in x 27.684 * [taylor]: Taking taylor expansion of 1/3 in x 27.684 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in x 27.684 * [taylor]: Taking taylor expansion of (* (- y z) x) in x 27.684 * [taylor]: Taking taylor expansion of (- y z) in x 27.684 * [taylor]: Taking taylor expansion of y in x 27.684 * [taylor]: Taking taylor expansion of z in x 27.684 * [taylor]: Taking taylor expansion of x in x 27.685 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.685 * [taylor]: Taking taylor expansion of -1 in x 27.686 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in z 27.686 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in z 27.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in z 27.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in z 27.686 * [taylor]: Taking taylor expansion of 1/3 in z 27.686 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in z 27.686 * [taylor]: Taking taylor expansion of (* (- y z) x) in z 27.686 * [taylor]: Taking taylor expansion of (- y z) in z 27.686 * [taylor]: Taking taylor expansion of y in z 27.686 * [taylor]: Taking taylor expansion of z in z 27.686 * [taylor]: Taking taylor expansion of x in z 27.686 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.686 * [taylor]: Taking taylor expansion of -1 in z 27.687 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in y 27.687 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in y 27.687 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in y 27.687 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in y 27.687 * [taylor]: Taking taylor expansion of 1/3 in y 27.687 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in y 27.687 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 27.687 * [taylor]: Taking taylor expansion of (- y z) in y 27.687 * [taylor]: Taking taylor expansion of y in y 27.687 * [taylor]: Taking taylor expansion of z in y 27.687 * [taylor]: Taking taylor expansion of x in y 27.687 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.687 * [taylor]: Taking taylor expansion of -1 in y 27.688 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in y 27.688 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in y 27.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in y 27.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in y 27.688 * [taylor]: Taking taylor expansion of 1/3 in y 27.688 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in y 27.688 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 27.688 * [taylor]: Taking taylor expansion of (- y z) in y 27.688 * [taylor]: Taking taylor expansion of y in y 27.688 * [taylor]: Taking taylor expansion of z in y 27.688 * [taylor]: Taking taylor expansion of x in y 27.689 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.689 * [taylor]: Taking taylor expansion of -1 in y 27.690 * [taylor]: Taking taylor expansion of (* (pow (* -1 (* x z)) 1/3) (cbrt -1)) in z 27.690 * [taylor]: Taking taylor expansion of (pow (* -1 (* x z)) 1/3) in z 27.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* x z))))) in z 27.690 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* x z)))) in z 27.690 * [taylor]: Taking taylor expansion of 1/3 in z 27.690 * [taylor]: Taking taylor expansion of (log (* -1 (* x z))) in z 27.690 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in z 27.690 * [taylor]: Taking taylor expansion of -1 in z 27.690 * [taylor]: Taking taylor expansion of (* x z) in z 27.690 * [taylor]: Taking taylor expansion of x in z 27.690 * [taylor]: Taking taylor expansion of z in z 27.691 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.691 * [taylor]: Taking taylor expansion of -1 in z 27.692 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log z) (log (- x)))))) in x 27.692 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.692 * [taylor]: Taking taylor expansion of -1 in x 27.693 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (- x))))) in x 27.693 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (- x)))) in x 27.693 * [taylor]: Taking taylor expansion of 1/3 in x 27.693 * [taylor]: Taking taylor expansion of (+ (log z) (log (- x))) in x 27.693 * [taylor]: Taking taylor expansion of (log z) in x 27.693 * [taylor]: Taking taylor expansion of z in x 27.693 * [taylor]: Taking taylor expansion of (log (- x)) in x 27.693 * [taylor]: Taking taylor expansion of (- x) in x 27.693 * [taylor]: Taking taylor expansion of x in x 27.698 * [taylor]: Taking taylor expansion of (- (* 1/3 (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1)))) in z 27.698 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1))) in z 27.698 * [taylor]: Taking taylor expansion of 1/3 in z 27.698 * [taylor]: Taking taylor expansion of (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1)) in z 27.698 * [taylor]: Taking taylor expansion of (pow (/ (* -1 x) (pow z 2)) 1/3) in z 27.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 x) (pow z 2))))) in z 27.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 x) (pow z 2)))) in z 27.698 * [taylor]: Taking taylor expansion of 1/3 in z 27.698 * [taylor]: Taking taylor expansion of (log (/ (* -1 x) (pow z 2))) in z 27.698 * [taylor]: Taking taylor expansion of (/ (* -1 x) (pow z 2)) in z 27.698 * [taylor]: Taking taylor expansion of (* -1 x) in z 27.698 * [taylor]: Taking taylor expansion of -1 in z 27.698 * [taylor]: Taking taylor expansion of x in z 27.698 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.699 * [taylor]: Taking taylor expansion of z in z 27.699 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.699 * [taylor]: Taking taylor expansion of -1 in z 27.701 * [taylor]: Taking taylor expansion of (- (* 1/3 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z)))))))) in x 27.701 * [taylor]: Taking taylor expansion of (* 1/3 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z))))))) in x 27.701 * [taylor]: Taking taylor expansion of 1/3 in x 27.701 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z)))))) in x 27.701 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.701 * [taylor]: Taking taylor expansion of -1 in x 27.702 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z))))) in x 27.702 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 x)) (* 2 (log z)))) in x 27.702 * [taylor]: Taking taylor expansion of 1/3 in x 27.702 * [taylor]: Taking taylor expansion of (- (log (* -1 x)) (* 2 (log z))) in x 27.702 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 27.702 * [taylor]: Taking taylor expansion of (* -1 x) in x 27.702 * [taylor]: Taking taylor expansion of -1 in x 27.702 * [taylor]: Taking taylor expansion of x in x 27.703 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x 27.703 * [taylor]: Taking taylor expansion of 2 in x 27.703 * [taylor]: Taking taylor expansion of (log z) in x 27.703 * [taylor]: Taking taylor expansion of z in x 27.710 * [taylor]: Taking taylor expansion of 0 in x 27.718 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1)))) in z 27.718 * [taylor]: Taking taylor expansion of (* 1/9 (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1))) in z 27.718 * [taylor]: Taking taylor expansion of 1/9 in z 27.718 * [taylor]: Taking taylor expansion of (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1)) in z 27.718 * [taylor]: Taking taylor expansion of (pow (/ (* -1 x) (pow z 5)) 1/3) in z 27.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 x) (pow z 5))))) in z 27.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 x) (pow z 5)))) in z 27.718 * [taylor]: Taking taylor expansion of 1/3 in z 27.718 * [taylor]: Taking taylor expansion of (log (/ (* -1 x) (pow z 5))) in z 27.718 * [taylor]: Taking taylor expansion of (/ (* -1 x) (pow z 5)) in z 27.718 * [taylor]: Taking taylor expansion of (* -1 x) in z 27.718 * [taylor]: Taking taylor expansion of -1 in z 27.718 * [taylor]: Taking taylor expansion of x in z 27.718 * [taylor]: Taking taylor expansion of (pow z 5) in z 27.718 * [taylor]: Taking taylor expansion of z in z 27.720 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.720 * [taylor]: Taking taylor expansion of -1 in z 27.722 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z)))))))) in x 27.722 * [taylor]: Taking taylor expansion of (* 1/9 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z))))))) in x 27.722 * [taylor]: Taking taylor expansion of 1/9 in x 27.722 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z)))))) in x 27.722 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.722 * [taylor]: Taking taylor expansion of -1 in x 27.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z))))) in x 27.722 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 x)) (* 5 (log z)))) in x 27.722 * [taylor]: Taking taylor expansion of 1/3 in x 27.723 * [taylor]: Taking taylor expansion of (- (log (* -1 x)) (* 5 (log z))) in x 27.723 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 27.723 * [taylor]: Taking taylor expansion of (* -1 x) in x 27.723 * [taylor]: Taking taylor expansion of -1 in x 27.723 * [taylor]: Taking taylor expansion of x in x 27.723 * [taylor]: Taking taylor expansion of (* 5 (log z)) in x 27.724 * [taylor]: Taking taylor expansion of 5 in x 27.724 * [taylor]: Taking taylor expansion of (log z) in x 27.724 * [taylor]: Taking taylor expansion of z in x 27.730 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in (y z x) around 0 27.730 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in x 27.730 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.731 * [taylor]: Taking taylor expansion of -1 in x 27.731 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in x 27.731 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in x 27.731 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in x 27.731 * [taylor]: Taking taylor expansion of 1/3 in x 27.731 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in x 27.731 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 27.731 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 27.731 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.731 * [taylor]: Taking taylor expansion of y in x 27.731 * [taylor]: Taking taylor expansion of (/ 1 z) in x 27.731 * [taylor]: Taking taylor expansion of z in x 27.731 * [taylor]: Taking taylor expansion of x in x 27.732 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in z 27.732 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.732 * [taylor]: Taking taylor expansion of -1 in z 27.733 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in z 27.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in z 27.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in z 27.733 * [taylor]: Taking taylor expansion of 1/3 in z 27.733 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in z 27.733 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z 27.733 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 27.733 * [taylor]: Taking taylor expansion of (/ 1 y) in z 27.733 * [taylor]: Taking taylor expansion of y in z 27.733 * [taylor]: Taking taylor expansion of (/ 1 z) in z 27.733 * [taylor]: Taking taylor expansion of z in z 27.733 * [taylor]: Taking taylor expansion of x in z 27.734 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in y 27.734 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.734 * [taylor]: Taking taylor expansion of -1 in y 27.735 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in y 27.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in y 27.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in y 27.735 * [taylor]: Taking taylor expansion of 1/3 in y 27.735 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in y 27.735 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 27.735 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 27.735 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.735 * [taylor]: Taking taylor expansion of y in y 27.735 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.736 * [taylor]: Taking taylor expansion of z in y 27.736 * [taylor]: Taking taylor expansion of x in y 27.736 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in y 27.736 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.736 * [taylor]: Taking taylor expansion of -1 in y 27.737 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in y 27.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in y 27.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in y 27.737 * [taylor]: Taking taylor expansion of 1/3 in y 27.737 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in y 27.737 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 27.737 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 27.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.737 * [taylor]: Taking taylor expansion of y in y 27.737 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.737 * [taylor]: Taking taylor expansion of z in y 27.738 * [taylor]: Taking taylor expansion of x in y 27.739 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.739 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.739 * [taylor]: Taking taylor expansion of -1 in z 27.739 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.739 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.739 * [taylor]: Taking taylor expansion of 1/3 in z 27.739 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.740 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.740 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.740 * [taylor]: Taking taylor expansion of x in z 27.740 * [taylor]: Taking taylor expansion of (log y) in z 27.740 * [taylor]: Taking taylor expansion of y in z 27.740 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in x 27.740 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.740 * [taylor]: Taking taylor expansion of -1 in x 27.741 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in x 27.741 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in x 27.741 * [taylor]: Taking taylor expansion of 1/3 in x 27.741 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in x 27.741 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 27.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.741 * [taylor]: Taking taylor expansion of x in x 27.742 * [taylor]: Taking taylor expansion of (log y) in x 27.742 * [taylor]: Taking taylor expansion of y in x 27.745 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z))) in z 27.745 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z)) in z 27.745 * [taylor]: Taking taylor expansion of 1/3 in z 27.745 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z) in z 27.745 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.745 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.745 * [taylor]: Taking taylor expansion of -1 in z 27.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.746 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.746 * [taylor]: Taking taylor expansion of 1/3 in z 27.746 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.746 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.746 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.746 * [taylor]: Taking taylor expansion of x in z 27.746 * [taylor]: Taking taylor expansion of (log y) in z 27.746 * [taylor]: Taking taylor expansion of y in z 27.746 * [taylor]: Taking taylor expansion of z in z 27.751 * [taylor]: Taking taylor expansion of 0 in x 27.754 * [taylor]: Taking taylor expansion of 0 in x 27.762 * [taylor]: Taking taylor expansion of (- (* 1/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2)))) in z 27.762 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2))) in z 27.762 * [taylor]: Taking taylor expansion of 1/9 in z 27.762 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2)) in z 27.762 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.762 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.762 * [taylor]: Taking taylor expansion of -1 in z 27.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.763 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.763 * [taylor]: Taking taylor expansion of 1/3 in z 27.763 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.763 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.763 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.763 * [taylor]: Taking taylor expansion of x in z 27.763 * [taylor]: Taking taylor expansion of (log y) in z 27.763 * [taylor]: Taking taylor expansion of y in z 27.763 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.763 * [taylor]: Taking taylor expansion of z in z 27.779 * [taylor]: Taking taylor expansion of 0 in x 27.787 * [taylor]: Taking taylor expansion of 0 in x 27.792 * [taylor]: Taking taylor expansion of 0 in x 27.793 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in (y z x) around 0 27.793 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in x 27.793 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in x 27.793 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in x 27.793 * [taylor]: Taking taylor expansion of 1/3 in x 27.793 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in x 27.793 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 27.793 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 27.793 * [taylor]: Taking taylor expansion of (/ 1 z) in x 27.793 * [taylor]: Taking taylor expansion of z in x 27.793 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.793 * [taylor]: Taking taylor expansion of y in x 27.793 * [taylor]: Taking taylor expansion of x in x 27.794 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in z 27.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in z 27.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in z 27.794 * [taylor]: Taking taylor expansion of 1/3 in z 27.794 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in z 27.794 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z 27.794 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 27.794 * [taylor]: Taking taylor expansion of (/ 1 z) in z 27.794 * [taylor]: Taking taylor expansion of z in z 27.794 * [taylor]: Taking taylor expansion of (/ 1 y) in z 27.794 * [taylor]: Taking taylor expansion of y in z 27.794 * [taylor]: Taking taylor expansion of x in z 27.795 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in y 27.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in y 27.795 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in y 27.795 * [taylor]: Taking taylor expansion of 1/3 in y 27.795 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in y 27.795 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 27.795 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 27.795 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.795 * [taylor]: Taking taylor expansion of z in y 27.795 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.795 * [taylor]: Taking taylor expansion of y in y 27.796 * [taylor]: Taking taylor expansion of x in y 27.797 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in y 27.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in y 27.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in y 27.797 * [taylor]: Taking taylor expansion of 1/3 in y 27.797 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in y 27.797 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 27.797 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 27.797 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.797 * [taylor]: Taking taylor expansion of z in y 27.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.797 * [taylor]: Taking taylor expansion of y in y 27.797 * [taylor]: Taking taylor expansion of x in y 27.798 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.798 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.798 * [taylor]: Taking taylor expansion of 1/3 in z 27.798 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.798 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.798 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.798 * [taylor]: Taking taylor expansion of -1 in z 27.798 * [taylor]: Taking taylor expansion of x in z 27.798 * [taylor]: Taking taylor expansion of (log y) in z 27.798 * [taylor]: Taking taylor expansion of y in z 27.799 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in x 27.799 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in x 27.799 * [taylor]: Taking taylor expansion of 1/3 in x 27.799 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in x 27.799 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 27.799 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.799 * [taylor]: Taking taylor expansion of -1 in x 27.799 * [taylor]: Taking taylor expansion of x in x 27.799 * [taylor]: Taking taylor expansion of (log y) in x 27.799 * [taylor]: Taking taylor expansion of y in x 27.803 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) z)) in z 27.803 * [taylor]: Taking taylor expansion of -1/3 in z 27.803 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) z) in z 27.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.803 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.803 * [taylor]: Taking taylor expansion of 1/3 in z 27.803 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.803 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.803 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.803 * [taylor]: Taking taylor expansion of -1 in z 27.803 * [taylor]: Taking taylor expansion of x in z 27.803 * [taylor]: Taking taylor expansion of (log y) in z 27.803 * [taylor]: Taking taylor expansion of y in z 27.803 * [taylor]: Taking taylor expansion of z in z 27.807 * [taylor]: Taking taylor expansion of 0 in x 27.809 * [taylor]: Taking taylor expansion of 0 in x 27.815 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) (pow z 2))) in z 27.815 * [taylor]: Taking taylor expansion of -1/9 in z 27.815 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) (pow z 2)) in z 27.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.816 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.816 * [taylor]: Taking taylor expansion of 1/3 in z 27.816 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.816 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.816 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.816 * [taylor]: Taking taylor expansion of -1 in z 27.816 * [taylor]: Taking taylor expansion of x in z 27.816 * [taylor]: Taking taylor expansion of (log y) in z 27.816 * [taylor]: Taking taylor expansion of y in z 27.816 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.816 * [taylor]: Taking taylor expansion of z in z 27.825 * [taylor]: Taking taylor expansion of 0 in x 27.831 * [taylor]: Taking taylor expansion of 0 in x 27.835 * [taylor]: Taking taylor expansion of 0 in x 27.835 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 27.835 * [approximate]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in (y z x) around 0 27.835 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in x 27.835 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in x 27.835 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in x 27.835 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in x 27.835 * [taylor]: Taking taylor expansion of 1/3 in x 27.835 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in x 27.835 * [taylor]: Taking taylor expansion of (* (- y z) x) in x 27.835 * [taylor]: Taking taylor expansion of (- y z) in x 27.835 * [taylor]: Taking taylor expansion of y in x 27.835 * [taylor]: Taking taylor expansion of z in x 27.835 * [taylor]: Taking taylor expansion of x in x 27.837 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.837 * [taylor]: Taking taylor expansion of -1 in x 27.837 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in z 27.837 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in z 27.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in z 27.838 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in z 27.838 * [taylor]: Taking taylor expansion of 1/3 in z 27.838 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in z 27.838 * [taylor]: Taking taylor expansion of (* (- y z) x) in z 27.838 * [taylor]: Taking taylor expansion of (- y z) in z 27.838 * [taylor]: Taking taylor expansion of y in z 27.838 * [taylor]: Taking taylor expansion of z in z 27.838 * [taylor]: Taking taylor expansion of x in z 27.838 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.838 * [taylor]: Taking taylor expansion of -1 in z 27.839 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in y 27.839 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in y 27.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in y 27.839 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in y 27.839 * [taylor]: Taking taylor expansion of 1/3 in y 27.839 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in y 27.839 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 27.839 * [taylor]: Taking taylor expansion of (- y z) in y 27.839 * [taylor]: Taking taylor expansion of y in y 27.839 * [taylor]: Taking taylor expansion of z in y 27.839 * [taylor]: Taking taylor expansion of x in y 27.839 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.839 * [taylor]: Taking taylor expansion of -1 in y 27.840 * [taylor]: Taking taylor expansion of (* (pow (* (- y z) x) 1/3) (cbrt -1)) in y 27.840 * [taylor]: Taking taylor expansion of (pow (* (- y z) x) 1/3) in y 27.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (- y z) x)))) in y 27.840 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (- y z) x))) in y 27.840 * [taylor]: Taking taylor expansion of 1/3 in y 27.840 * [taylor]: Taking taylor expansion of (log (* (- y z) x)) in y 27.840 * [taylor]: Taking taylor expansion of (* (- y z) x) in y 27.840 * [taylor]: Taking taylor expansion of (- y z) in y 27.840 * [taylor]: Taking taylor expansion of y in y 27.840 * [taylor]: Taking taylor expansion of z in y 27.840 * [taylor]: Taking taylor expansion of x in y 27.840 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.840 * [taylor]: Taking taylor expansion of -1 in y 27.841 * [taylor]: Taking taylor expansion of (* (pow (* -1 (* x z)) 1/3) (cbrt -1)) in z 27.841 * [taylor]: Taking taylor expansion of (pow (* -1 (* x z)) 1/3) in z 27.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* -1 (* x z))))) in z 27.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (* -1 (* x z)))) in z 27.841 * [taylor]: Taking taylor expansion of 1/3 in z 27.841 * [taylor]: Taking taylor expansion of (log (* -1 (* x z))) in z 27.841 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in z 27.841 * [taylor]: Taking taylor expansion of -1 in z 27.841 * [taylor]: Taking taylor expansion of (* x z) in z 27.842 * [taylor]: Taking taylor expansion of x in z 27.842 * [taylor]: Taking taylor expansion of z in z 27.843 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.843 * [taylor]: Taking taylor expansion of -1 in z 27.844 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (+ (log z) (log (- x)))))) in x 27.844 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.844 * [taylor]: Taking taylor expansion of -1 in x 27.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log z) (log (- x))))) in x 27.845 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log z) (log (- x)))) in x 27.845 * [taylor]: Taking taylor expansion of 1/3 in x 27.845 * [taylor]: Taking taylor expansion of (+ (log z) (log (- x))) in x 27.845 * [taylor]: Taking taylor expansion of (log z) in x 27.845 * [taylor]: Taking taylor expansion of z in x 27.845 * [taylor]: Taking taylor expansion of (log (- x)) in x 27.845 * [taylor]: Taking taylor expansion of (- x) in x 27.845 * [taylor]: Taking taylor expansion of x in x 27.850 * [taylor]: Taking taylor expansion of (- (* 1/3 (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1)))) in z 27.850 * [taylor]: Taking taylor expansion of (* 1/3 (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1))) in z 27.850 * [taylor]: Taking taylor expansion of 1/3 in z 27.850 * [taylor]: Taking taylor expansion of (* (pow (/ (* -1 x) (pow z 2)) 1/3) (cbrt -1)) in z 27.850 * [taylor]: Taking taylor expansion of (pow (/ (* -1 x) (pow z 2)) 1/3) in z 27.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 x) (pow z 2))))) in z 27.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 x) (pow z 2)))) in z 27.850 * [taylor]: Taking taylor expansion of 1/3 in z 27.850 * [taylor]: Taking taylor expansion of (log (/ (* -1 x) (pow z 2))) in z 27.850 * [taylor]: Taking taylor expansion of (/ (* -1 x) (pow z 2)) in z 27.850 * [taylor]: Taking taylor expansion of (* -1 x) in z 27.850 * [taylor]: Taking taylor expansion of -1 in z 27.850 * [taylor]: Taking taylor expansion of x in z 27.850 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.850 * [taylor]: Taking taylor expansion of z in z 27.851 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.851 * [taylor]: Taking taylor expansion of -1 in z 27.858 * [taylor]: Taking taylor expansion of (- (* 1/3 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z)))))))) in x 27.858 * [taylor]: Taking taylor expansion of (* 1/3 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z))))))) in x 27.858 * [taylor]: Taking taylor expansion of 1/3 in x 27.858 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z)))))) in x 27.858 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.858 * [taylor]: Taking taylor expansion of -1 in x 27.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 x)) (* 2 (log z))))) in x 27.859 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 x)) (* 2 (log z)))) in x 27.859 * [taylor]: Taking taylor expansion of 1/3 in x 27.859 * [taylor]: Taking taylor expansion of (- (log (* -1 x)) (* 2 (log z))) in x 27.859 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 27.859 * [taylor]: Taking taylor expansion of (* -1 x) in x 27.859 * [taylor]: Taking taylor expansion of -1 in x 27.859 * [taylor]: Taking taylor expansion of x in x 27.860 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x 27.860 * [taylor]: Taking taylor expansion of 2 in x 27.860 * [taylor]: Taking taylor expansion of (log z) in x 27.860 * [taylor]: Taking taylor expansion of z in x 27.867 * [taylor]: Taking taylor expansion of 0 in x 27.875 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1)))) in z 27.875 * [taylor]: Taking taylor expansion of (* 1/9 (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1))) in z 27.875 * [taylor]: Taking taylor expansion of 1/9 in z 27.875 * [taylor]: Taking taylor expansion of (* (pow (/ (* -1 x) (pow z 5)) 1/3) (cbrt -1)) in z 27.875 * [taylor]: Taking taylor expansion of (pow (/ (* -1 x) (pow z 5)) 1/3) in z 27.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (* -1 x) (pow z 5))))) in z 27.875 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (* -1 x) (pow z 5)))) in z 27.875 * [taylor]: Taking taylor expansion of 1/3 in z 27.875 * [taylor]: Taking taylor expansion of (log (/ (* -1 x) (pow z 5))) in z 27.875 * [taylor]: Taking taylor expansion of (/ (* -1 x) (pow z 5)) in z 27.875 * [taylor]: Taking taylor expansion of (* -1 x) in z 27.875 * [taylor]: Taking taylor expansion of -1 in z 27.875 * [taylor]: Taking taylor expansion of x in z 27.875 * [taylor]: Taking taylor expansion of (pow z 5) in z 27.875 * [taylor]: Taking taylor expansion of z in z 27.876 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.876 * [taylor]: Taking taylor expansion of -1 in z 27.878 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z)))))))) in x 27.878 * [taylor]: Taking taylor expansion of (* 1/9 (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z))))))) in x 27.878 * [taylor]: Taking taylor expansion of 1/9 in x 27.878 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z)))))) in x 27.878 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.878 * [taylor]: Taking taylor expansion of -1 in x 27.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (* -1 x)) (* 5 (log z))))) in x 27.879 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (* -1 x)) (* 5 (log z)))) in x 27.879 * [taylor]: Taking taylor expansion of 1/3 in x 27.879 * [taylor]: Taking taylor expansion of (- (log (* -1 x)) (* 5 (log z))) in x 27.879 * [taylor]: Taking taylor expansion of (log (* -1 x)) in x 27.879 * [taylor]: Taking taylor expansion of (* -1 x) in x 27.879 * [taylor]: Taking taylor expansion of -1 in x 27.879 * [taylor]: Taking taylor expansion of x in x 27.880 * [taylor]: Taking taylor expansion of (* 5 (log z)) in x 27.880 * [taylor]: Taking taylor expansion of 5 in x 27.880 * [taylor]: Taking taylor expansion of (log z) in x 27.880 * [taylor]: Taking taylor expansion of z in x 27.887 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in (y z x) around 0 27.887 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in x 27.887 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.887 * [taylor]: Taking taylor expansion of -1 in x 27.888 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in x 27.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in x 27.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in x 27.888 * [taylor]: Taking taylor expansion of 1/3 in x 27.888 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in x 27.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 27.888 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 27.888 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.888 * [taylor]: Taking taylor expansion of y in x 27.888 * [taylor]: Taking taylor expansion of (/ 1 z) in x 27.888 * [taylor]: Taking taylor expansion of z in x 27.888 * [taylor]: Taking taylor expansion of x in x 27.889 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in z 27.889 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.889 * [taylor]: Taking taylor expansion of -1 in z 27.889 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in z 27.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in z 27.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in z 27.889 * [taylor]: Taking taylor expansion of 1/3 in z 27.889 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in z 27.889 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z 27.890 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 27.890 * [taylor]: Taking taylor expansion of (/ 1 y) in z 27.890 * [taylor]: Taking taylor expansion of y in z 27.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 27.890 * [taylor]: Taking taylor expansion of z in z 27.890 * [taylor]: Taking taylor expansion of x in z 27.891 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in y 27.891 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.891 * [taylor]: Taking taylor expansion of -1 in y 27.892 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in y 27.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in y 27.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in y 27.892 * [taylor]: Taking taylor expansion of 1/3 in y 27.892 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in y 27.892 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 27.892 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 27.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.892 * [taylor]: Taking taylor expansion of y in y 27.892 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.892 * [taylor]: Taking taylor expansion of z in y 27.892 * [taylor]: Taking taylor expansion of x in y 27.893 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3)) in y 27.893 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.893 * [taylor]: Taking taylor expansion of -1 in y 27.894 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 y) (/ 1 z)) x) 1/3) in y 27.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x)))) in y 27.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 y) (/ 1 z)) x))) in y 27.894 * [taylor]: Taking taylor expansion of 1/3 in y 27.894 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 y) (/ 1 z)) x)) in y 27.894 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 27.894 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 27.894 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.894 * [taylor]: Taking taylor expansion of y in y 27.894 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.894 * [taylor]: Taking taylor expansion of z in y 27.894 * [taylor]: Taking taylor expansion of x in y 27.895 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.895 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.895 * [taylor]: Taking taylor expansion of -1 in z 27.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.896 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.896 * [taylor]: Taking taylor expansion of 1/3 in z 27.896 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.896 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.896 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.896 * [taylor]: Taking taylor expansion of x in z 27.896 * [taylor]: Taking taylor expansion of (log y) in z 27.896 * [taylor]: Taking taylor expansion of y in z 27.897 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in x 27.897 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.897 * [taylor]: Taking taylor expansion of -1 in x 27.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in x 27.897 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in x 27.897 * [taylor]: Taking taylor expansion of 1/3 in x 27.898 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in x 27.898 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 27.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 27.898 * [taylor]: Taking taylor expansion of x in x 27.898 * [taylor]: Taking taylor expansion of (log y) in x 27.898 * [taylor]: Taking taylor expansion of y in x 27.901 * [taylor]: Taking taylor expansion of (- (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z))) in z 27.901 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z)) in z 27.901 * [taylor]: Taking taylor expansion of 1/3 in z 27.901 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) z) in z 27.901 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.901 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.901 * [taylor]: Taking taylor expansion of -1 in z 27.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.902 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.902 * [taylor]: Taking taylor expansion of 1/3 in z 27.902 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.902 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.902 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.902 * [taylor]: Taking taylor expansion of x in z 27.902 * [taylor]: Taking taylor expansion of (log y) in z 27.902 * [taylor]: Taking taylor expansion of y in z 27.903 * [taylor]: Taking taylor expansion of z in z 27.908 * [taylor]: Taking taylor expansion of 0 in x 27.911 * [taylor]: Taking taylor expansion of 0 in x 27.918 * [taylor]: Taking taylor expansion of (- (* 1/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2)))) in z 27.918 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2))) in z 27.918 * [taylor]: Taking taylor expansion of 1/9 in z 27.918 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) (pow z 2)) in z 27.918 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (/ 1 x)) (log y))))) in z 27.918 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.918 * [taylor]: Taking taylor expansion of -1 in z 27.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 x)) (log y)))) in z 27.919 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 x)) (log y))) in z 27.919 * [taylor]: Taking taylor expansion of 1/3 in z 27.919 * [taylor]: Taking taylor expansion of (- (log (/ 1 x)) (log y)) in z 27.919 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in z 27.919 * [taylor]: Taking taylor expansion of (/ 1 x) in z 27.919 * [taylor]: Taking taylor expansion of x in z 27.919 * [taylor]: Taking taylor expansion of (log y) in z 27.919 * [taylor]: Taking taylor expansion of y in z 27.920 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.920 * [taylor]: Taking taylor expansion of z in z 27.933 * [taylor]: Taking taylor expansion of 0 in x 27.940 * [taylor]: Taking taylor expansion of 0 in x 27.951 * [taylor]: Taking taylor expansion of 0 in x 27.951 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in (y z x) around 0 27.951 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in x 27.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in x 27.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in x 27.951 * [taylor]: Taking taylor expansion of 1/3 in x 27.951 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in x 27.951 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 27.951 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 27.951 * [taylor]: Taking taylor expansion of (/ 1 z) in x 27.951 * [taylor]: Taking taylor expansion of z in x 27.952 * [taylor]: Taking taylor expansion of (/ 1 y) in x 27.952 * [taylor]: Taking taylor expansion of y in x 27.952 * [taylor]: Taking taylor expansion of x in x 27.952 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in z 27.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in z 27.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in z 27.952 * [taylor]: Taking taylor expansion of 1/3 in z 27.952 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in z 27.952 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z 27.952 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 27.952 * [taylor]: Taking taylor expansion of (/ 1 z) in z 27.952 * [taylor]: Taking taylor expansion of z in z 27.953 * [taylor]: Taking taylor expansion of (/ 1 y) in z 27.953 * [taylor]: Taking taylor expansion of y in z 27.953 * [taylor]: Taking taylor expansion of x in z 27.954 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in y 27.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in y 27.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in y 27.954 * [taylor]: Taking taylor expansion of 1/3 in y 27.954 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in y 27.954 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 27.954 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 27.954 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.954 * [taylor]: Taking taylor expansion of z in y 27.954 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.954 * [taylor]: Taking taylor expansion of y in y 27.954 * [taylor]: Taking taylor expansion of x in y 27.955 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 z) (/ 1 y)) x) 1/3) in y 27.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x)))) in y 27.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- (/ 1 z) (/ 1 y)) x))) in y 27.955 * [taylor]: Taking taylor expansion of 1/3 in y 27.955 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 z) (/ 1 y)) x)) in y 27.955 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 27.955 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 27.955 * [taylor]: Taking taylor expansion of (/ 1 z) in y 27.955 * [taylor]: Taking taylor expansion of z in y 27.955 * [taylor]: Taking taylor expansion of (/ 1 y) in y 27.955 * [taylor]: Taking taylor expansion of y in y 27.955 * [taylor]: Taking taylor expansion of x in y 27.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.956 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.957 * [taylor]: Taking taylor expansion of 1/3 in z 27.957 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.957 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.957 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.957 * [taylor]: Taking taylor expansion of -1 in z 27.957 * [taylor]: Taking taylor expansion of x in z 27.957 * [taylor]: Taking taylor expansion of (log y) in z 27.957 * [taylor]: Taking taylor expansion of y in z 27.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in x 27.957 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in x 27.957 * [taylor]: Taking taylor expansion of 1/3 in x 27.957 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in x 27.957 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 27.957 * [taylor]: Taking taylor expansion of (/ -1 x) in x 27.957 * [taylor]: Taking taylor expansion of -1 in x 27.957 * [taylor]: Taking taylor expansion of x in x 27.958 * [taylor]: Taking taylor expansion of (log y) in x 27.958 * [taylor]: Taking taylor expansion of y in x 27.961 * [taylor]: Taking taylor expansion of (* -1/3 (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) z)) in z 27.961 * [taylor]: Taking taylor expansion of -1/3 in z 27.961 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) z) in z 27.961 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.961 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.961 * [taylor]: Taking taylor expansion of 1/3 in z 27.961 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.961 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.961 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.961 * [taylor]: Taking taylor expansion of -1 in z 27.961 * [taylor]: Taking taylor expansion of x in z 27.961 * [taylor]: Taking taylor expansion of (log y) in z 27.961 * [taylor]: Taking taylor expansion of y in z 27.961 * [taylor]: Taking taylor expansion of z in z 27.965 * [taylor]: Taking taylor expansion of 0 in x 27.967 * [taylor]: Taking taylor expansion of 0 in x 27.974 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) (pow z 2))) in z 27.974 * [taylor]: Taking taylor expansion of -1/9 in z 27.974 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ -1 x)) (log y)))) (pow z 2)) in z 27.974 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ -1 x)) (log y)))) in z 27.974 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ -1 x)) (log y))) in z 27.974 * [taylor]: Taking taylor expansion of 1/3 in z 27.974 * [taylor]: Taking taylor expansion of (- (log (/ -1 x)) (log y)) in z 27.974 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in z 27.974 * [taylor]: Taking taylor expansion of (/ -1 x) in z 27.974 * [taylor]: Taking taylor expansion of -1 in z 27.974 * [taylor]: Taking taylor expansion of x in z 27.974 * [taylor]: Taking taylor expansion of (log y) in z 27.974 * [taylor]: Taking taylor expansion of y in z 27.975 * [taylor]: Taking taylor expansion of (pow z 2) in z 27.975 * [taylor]: Taking taylor expansion of z in z 27.984 * [taylor]: Taking taylor expansion of 0 in x 27.990 * [taylor]: Taking taylor expansion of 0 in x 27.993 * [taylor]: Taking taylor expansion of 0 in x 27.994 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 27.994 * [approximate]: Taking taylor expansion of (* (pow (* (pow (- y z) 2) (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (y z x) around 0 27.994 * [taylor]: Taking taylor expansion of (* (pow (* (pow (- y z) 2) (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 27.994 * [taylor]: Taking taylor expansion of (pow (* (pow (- y z) 2) (pow x 2)) 1/3) in x 27.994 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- y z) 2) (pow x 2))))) in x 27.994 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- y z) 2) (pow x 2)))) in x 27.994 * [taylor]: Taking taylor expansion of 1/3 in x 27.994 * [taylor]: Taking taylor expansion of (log (* (pow (- y z) 2) (pow x 2))) in x 27.994 * [taylor]: Taking taylor expansion of (* (pow (- y z) 2) (pow x 2)) in x 27.994 * [taylor]: Taking taylor expansion of (pow (- y z) 2) in x 27.994 * [taylor]: Taking taylor expansion of (- y z) in x 27.994 * [taylor]: Taking taylor expansion of y in x 27.994 * [taylor]: Taking taylor expansion of z in x 27.994 * [taylor]: Taking taylor expansion of (pow x 2) in x 27.994 * [taylor]: Taking taylor expansion of x in x 27.995 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 27.996 * [taylor]: Taking taylor expansion of (cbrt -1) in x 27.996 * [taylor]: Taking taylor expansion of -1 in x 27.996 * [taylor]: Taking taylor expansion of (* (pow (* (pow (- y z) 2) (pow x 2)) 1/3) (pow (cbrt -1) 2)) in z 27.996 * [taylor]: Taking taylor expansion of (pow (* (pow (- y z) 2) (pow x 2)) 1/3) in z 27.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- y z) 2) (pow x 2))))) in z 27.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- y z) 2) (pow x 2)))) in z 27.996 * [taylor]: Taking taylor expansion of 1/3 in z 27.996 * [taylor]: Taking taylor expansion of (log (* (pow (- y z) 2) (pow x 2))) in z 27.996 * [taylor]: Taking taylor expansion of (* (pow (- y z) 2) (pow x 2)) in z 27.996 * [taylor]: Taking taylor expansion of (pow (- y z) 2) in z 27.996 * [taylor]: Taking taylor expansion of (- y z) in z 27.996 * [taylor]: Taking taylor expansion of y in z 27.996 * [taylor]: Taking taylor expansion of z in z 27.997 * [taylor]: Taking taylor expansion of (pow x 2) in z 27.997 * [taylor]: Taking taylor expansion of x in z 27.997 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 27.997 * [taylor]: Taking taylor expansion of (cbrt -1) in z 27.997 * [taylor]: Taking taylor expansion of -1 in z 27.998 * [taylor]: Taking taylor expansion of (* (pow (* (pow (- y z) 2) (pow x 2)) 1/3) (pow (cbrt -1) 2)) in y 27.998 * [taylor]: Taking taylor expansion of (pow (* (pow (- y z) 2) (pow x 2)) 1/3) in y 27.998 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- y z) 2) (pow x 2))))) in y 27.998 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- y z) 2) (pow x 2)))) in y 27.998 * [taylor]: Taking taylor expansion of 1/3 in y 27.998 * [taylor]: Taking taylor expansion of (log (* (pow (- y z) 2) (pow x 2))) in y 27.998 * [taylor]: Taking taylor expansion of (* (pow (- y z) 2) (pow x 2)) in y 27.998 * [taylor]: Taking taylor expansion of (pow (- y z) 2) in y 27.998 * [taylor]: Taking taylor expansion of (- y z) in y 27.998 * [taylor]: Taking taylor expansion of y in y 27.998 * [taylor]: Taking taylor expansion of z in y 27.998 * [taylor]: Taking taylor expansion of (pow x 2) in y 27.998 * [taylor]: Taking taylor expansion of x in y 27.999 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 27.999 * [taylor]: Taking taylor expansion of (cbrt -1) in y 27.999 * [taylor]: Taking taylor expansion of -1 in y 27.999 * [taylor]: Taking taylor expansion of (* (pow (* (pow (- y z) 2) (pow x 2)) 1/3) (pow (cbrt -1) 2)) in y 27.999 * [taylor]: Taking taylor expansion of (pow (* (pow (- y z) 2) (pow x 2)) 1/3) in y 27.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow (- y z) 2) (pow x 2))))) in y 27.999 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow (- y z) 2) (pow x 2)))) in y 28.000 * [taylor]: Taking taylor expansion of 1/3 in y 28.000 * [taylor]: Taking taylor expansion of (log (* (pow (- y z) 2) (pow x 2))) in y 28.000 * [taylor]: Taking taylor expansion of (* (pow (- y z) 2) (pow x 2)) in y 28.000 * [taylor]: Taking taylor expansion of (pow (- y z) 2) in y 28.000 * [taylor]: Taking taylor expansion of (- y z) in y 28.000 * [taylor]: Taking taylor expansion of y in y 28.000 * [taylor]: Taking taylor expansion of z in y 28.000 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.000 * [taylor]: Taking taylor expansion of x in y 28.000 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 28.000 * [taylor]: Taking taylor expansion of (cbrt -1) in y 28.000 * [taylor]: Taking taylor expansion of -1 in y 28.003 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (* (pow x 2) (pow z 2)) 1/3)) in z 28.003 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 28.003 * [taylor]: Taking taylor expansion of (cbrt -1) in z 28.003 * [taylor]: Taking taylor expansion of -1 in z 28.003 * [taylor]: Taking taylor expansion of (pow (* (pow x 2) (pow z 2)) 1/3) in z 28.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow x 2) (pow z 2))))) in z 28.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow x 2) (pow z 2)))) in z 28.003 * [taylor]: Taking taylor expansion of 1/3 in z 28.003 * [taylor]: Taking taylor expansion of (log (* (pow x 2) (pow z 2))) in z 28.003 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow z 2)) in z 28.003 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.003 * [taylor]: Taking taylor expansion of x in z 28.003 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.003 * [taylor]: Taking taylor expansion of z in z 28.006 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (+ (* 2 (log z)) (log (pow x 2)))))) in x 28.006 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 28.006 * [taylor]: Taking taylor expansion of (cbrt -1) in x 28.006 * [taylor]: Taking taylor expansion of -1 in x 28.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (pow x 2))))) in x 28.007 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (pow x 2)))) in x 28.007 * [taylor]: Taking taylor expansion of 1/3 in x 28.007 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (pow x 2))) in x 28.007 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x 28.007 * [taylor]: Taking taylor expansion of 2 in x 28.007 * [taylor]: Taking taylor expansion of (log z) in x 28.007 * [taylor]: Taking taylor expansion of z in x 28.007 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 28.007 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.007 * [taylor]: Taking taylor expansion of x in x 28.014 * [taylor]: Taking taylor expansion of (- (* 2/3 (* (pow (cbrt -1) 2) (pow (/ (pow x 2) z) 1/3)))) in z 28.014 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (cbrt -1) 2) (pow (/ (pow x 2) z) 1/3))) in z 28.014 * [taylor]: Taking taylor expansion of 2/3 in z 28.014 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow x 2) z) 1/3)) in z 28.014 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 28.014 * [taylor]: Taking taylor expansion of (cbrt -1) in z 28.014 * [taylor]: Taking taylor expansion of -1 in z 28.015 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) z) 1/3) in z 28.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) z)))) in z 28.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) z))) in z 28.015 * [taylor]: Taking taylor expansion of 1/3 in z 28.015 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) z)) in z 28.015 * [taylor]: Taking taylor expansion of (/ (pow x 2) z) in z 28.015 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.015 * [taylor]: Taking taylor expansion of x in z 28.015 * [taylor]: Taking taylor expansion of z in z 28.019 * [taylor]: Taking taylor expansion of (- (* 2/3 (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow x 2)) (log z))))))) in x 28.019 * [taylor]: Taking taylor expansion of (* 2/3 (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow x 2)) (log z)))))) in x 28.019 * [taylor]: Taking taylor expansion of 2/3 in x 28.019 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow x 2)) (log z))))) in x 28.019 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 28.019 * [taylor]: Taking taylor expansion of (cbrt -1) in x 28.019 * [taylor]: Taking taylor expansion of -1 in x 28.020 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow x 2)) (log z)))) in x 28.020 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow x 2)) (log z))) in x 28.020 * [taylor]: Taking taylor expansion of 1/3 in x 28.020 * [taylor]: Taking taylor expansion of (- (log (pow x 2)) (log z)) in x 28.020 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 28.020 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.020 * [taylor]: Taking taylor expansion of x in x 28.021 * [taylor]: Taking taylor expansion of (log z) in x 28.021 * [taylor]: Taking taylor expansion of z in x 28.029 * [taylor]: Taking taylor expansion of 0 in x 28.043 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (pow (cbrt -1) 2) (pow (/ (pow x 2) (pow z 4)) 1/3)))) in z 28.043 * [taylor]: Taking taylor expansion of (* 1/9 (* (pow (cbrt -1) 2) (pow (/ (pow x 2) (pow z 4)) 1/3))) in z 28.043 * [taylor]: Taking taylor expansion of 1/9 in z 28.043 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow x 2) (pow z 4)) 1/3)) in z 28.043 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 28.043 * [taylor]: Taking taylor expansion of (cbrt -1) in z 28.043 * [taylor]: Taking taylor expansion of -1 in z 28.044 * [taylor]: Taking taylor expansion of (pow (/ (pow x 2) (pow z 4)) 1/3) in z 28.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow x 2) (pow z 4))))) in z 28.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow x 2) (pow z 4)))) in z 28.044 * [taylor]: Taking taylor expansion of 1/3 in z 28.044 * [taylor]: Taking taylor expansion of (log (/ (pow x 2) (pow z 4))) in z 28.044 * [taylor]: Taking taylor expansion of (/ (pow x 2) (pow z 4)) in z 28.044 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.044 * [taylor]: Taking taylor expansion of x in z 28.044 * [taylor]: Taking taylor expansion of (pow z 4) in z 28.044 * [taylor]: Taking taylor expansion of z in z 28.049 * [taylor]: Taking taylor expansion of (- (* 1/9 (* (exp (* 1/3 (- (log (pow x 2)) (* 4 (log z))))) (pow (cbrt -1) 2)))) in x 28.049 * [taylor]: Taking taylor expansion of (* 1/9 (* (exp (* 1/3 (- (log (pow x 2)) (* 4 (log z))))) (pow (cbrt -1) 2))) in x 28.049 * [taylor]: Taking taylor expansion of 1/9 in x 28.049 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log (pow x 2)) (* 4 (log z))))) (pow (cbrt -1) 2)) in x 28.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow x 2)) (* 4 (log z))))) in x 28.049 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow x 2)) (* 4 (log z)))) in x 28.049 * [taylor]: Taking taylor expansion of 1/3 in x 28.049 * [taylor]: Taking taylor expansion of (- (log (pow x 2)) (* 4 (log z))) in x 28.049 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 28.049 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.049 * [taylor]: Taking taylor expansion of x in x 28.049 * [taylor]: Taking taylor expansion of (* 4 (log z)) in x 28.049 * [taylor]: Taking taylor expansion of 4 in x 28.049 * [taylor]: Taking taylor expansion of (log z) in x 28.049 * [taylor]: Taking taylor expansion of z in x 28.050 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 28.050 * [taylor]: Taking taylor expansion of (cbrt -1) in x 28.050 * [taylor]: Taking taylor expansion of -1 in x 28.058 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3)) in (y z x) around 0 28.058 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3)) in x 28.058 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 28.058 * [taylor]: Taking taylor expansion of (cbrt -1) in x 28.058 * [taylor]: Taking taylor expansion of -1 in x 28.059 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3) in x 28.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2))))) in x 28.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)))) in x 28.059 * [taylor]: Taking taylor expansion of 1/3 in x 28.059 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2))) in x 28.059 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) in x 28.059 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in x 28.059 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 28.059 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.059 * [taylor]: Taking taylor expansion of y in x 28.059 * [taylor]: Taking taylor expansion of (/ 1 z) in x 28.059 * [taylor]: Taking taylor expansion of z in x 28.059 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.060 * [taylor]: Taking taylor expansion of x in x 28.061 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3)) in z 28.061 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 28.061 * [taylor]: Taking taylor expansion of (cbrt -1) in z 28.061 * [taylor]: Taking taylor expansion of -1 in z 28.062 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3) in z 28.062 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2))))) in z 28.062 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)))) in z 28.062 * [taylor]: Taking taylor expansion of 1/3 in z 28.062 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2))) in z 28.062 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) in z 28.062 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in z 28.062 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 28.062 * [taylor]: Taking taylor expansion of (/ 1 y) in z 28.062 * [taylor]: Taking taylor expansion of y in z 28.062 * [taylor]: Taking taylor expansion of (/ 1 z) in z 28.062 * [taylor]: Taking taylor expansion of z in z 28.063 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.063 * [taylor]: Taking taylor expansion of x in z 28.064 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3)) in y 28.064 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 28.064 * [taylor]: Taking taylor expansion of (cbrt -1) in y 28.064 * [taylor]: Taking taylor expansion of -1 in y 28.065 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3) in y 28.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2))))) in y 28.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)))) in y 28.065 * [taylor]: Taking taylor expansion of 1/3 in y 28.065 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2))) in y 28.065 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) in y 28.065 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in y 28.065 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 28.065 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.065 * [taylor]: Taking taylor expansion of y in y 28.065 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.065 * [taylor]: Taking taylor expansion of z in y 28.065 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.065 * [taylor]: Taking taylor expansion of x in y 28.066 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3)) in y 28.066 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 28.066 * [taylor]: Taking taylor expansion of (cbrt -1) in y 28.066 * [taylor]: Taking taylor expansion of -1 in y 28.067 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) 1/3) in y 28.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2))))) in y 28.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)))) in y 28.067 * [taylor]: Taking taylor expansion of 1/3 in y 28.067 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2))) in y 28.067 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 y) (/ 1 z)) 2) (pow x 2)) in y 28.067 * [taylor]: Taking taylor expansion of (pow (- (/ 1 y) (/ 1 z)) 2) in y 28.067 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 28.067 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.067 * [taylor]: Taking taylor expansion of y in y 28.068 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.068 * [taylor]: Taking taylor expansion of z in y 28.068 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.068 * [taylor]: Taking taylor expansion of x in y 28.071 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) in z 28.071 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 28.071 * [taylor]: Taking taylor expansion of (cbrt -1) in z 28.071 * [taylor]: Taking taylor expansion of -1 in z 28.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) in z 28.072 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))) in z 28.072 * [taylor]: Taking taylor expansion of 1/3 in z 28.072 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 2 (log y))) in z 28.072 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 28.072 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.072 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.072 * [taylor]: Taking taylor expansion of x in z 28.072 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 28.072 * [taylor]: Taking taylor expansion of 2 in z 28.072 * [taylor]: Taking taylor expansion of (log y) in z 28.072 * [taylor]: Taking taylor expansion of y in z 28.074 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) in x 28.074 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 28.074 * [taylor]: Taking taylor expansion of (cbrt -1) in x 28.074 * [taylor]: Taking taylor expansion of -1 in x 28.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) in x 28.075 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))) in x 28.075 * [taylor]: Taking taylor expansion of 1/3 in x 28.075 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 2 (log y))) in x 28.075 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 28.075 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.075 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.075 * [taylor]: Taking taylor expansion of x in x 28.076 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 28.076 * [taylor]: Taking taylor expansion of 2 in x 28.076 * [taylor]: Taking taylor expansion of (log y) in x 28.076 * [taylor]: Taking taylor expansion of y in x 28.082 * [taylor]: Taking taylor expansion of (- (* 2/3 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) z))) in z 28.082 * [taylor]: Taking taylor expansion of (* 2/3 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) z)) in z 28.082 * [taylor]: Taking taylor expansion of 2/3 in z 28.082 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) z) in z 28.082 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) in z 28.082 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 28.082 * [taylor]: Taking taylor expansion of (cbrt -1) in z 28.082 * [taylor]: Taking taylor expansion of -1 in z 28.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) in z 28.083 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))) in z 28.083 * [taylor]: Taking taylor expansion of 1/3 in z 28.083 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 2 (log y))) in z 28.083 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 28.083 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.083 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.083 * [taylor]: Taking taylor expansion of x in z 28.083 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 28.084 * [taylor]: Taking taylor expansion of 2 in z 28.084 * [taylor]: Taking taylor expansion of (log y) in z 28.084 * [taylor]: Taking taylor expansion of y in z 28.084 * [taylor]: Taking taylor expansion of z in z 28.093 * [taylor]: Taking taylor expansion of 0 in x 28.097 * [taylor]: Taking taylor expansion of 0 in x 28.108 * [taylor]: Taking taylor expansion of (- (* 1/9 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) (pow z 2)))) in z 28.108 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) (pow z 2))) in z 28.108 * [taylor]: Taking taylor expansion of 1/9 in z 28.108 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) (pow z 2)) in z 28.108 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))))) in z 28.108 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 28.109 * [taylor]: Taking taylor expansion of (cbrt -1) in z 28.109 * [taylor]: Taking taylor expansion of -1 in z 28.109 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) in z 28.109 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))) in z 28.109 * [taylor]: Taking taylor expansion of 1/3 in z 28.109 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 2 (log y))) in z 28.109 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 28.109 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.109 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.109 * [taylor]: Taking taylor expansion of x in z 28.110 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 28.110 * [taylor]: Taking taylor expansion of 2 in z 28.110 * [taylor]: Taking taylor expansion of (log y) in z 28.110 * [taylor]: Taking taylor expansion of y in z 28.110 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.110 * [taylor]: Taking taylor expansion of z in z 28.134 * [taylor]: Taking taylor expansion of 0 in x 28.145 * [taylor]: Taking taylor expansion of 0 in x 28.152 * [taylor]: Taking taylor expansion of 0 in x 28.153 * [approximate]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in (y z x) around 0 28.153 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in x 28.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in x 28.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in x 28.153 * [taylor]: Taking taylor expansion of 1/3 in x 28.153 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2))) in x 28.153 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) in x 28.153 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 y)) 2) in x 28.153 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 28.153 * [taylor]: Taking taylor expansion of (/ 1 z) in x 28.153 * [taylor]: Taking taylor expansion of z in x 28.153 * [taylor]: Taking taylor expansion of (/ 1 y) in x 28.153 * [taylor]: Taking taylor expansion of y in x 28.154 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.154 * [taylor]: Taking taylor expansion of x in x 28.155 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in z 28.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in z 28.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in z 28.155 * [taylor]: Taking taylor expansion of 1/3 in z 28.155 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2))) in z 28.155 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) in z 28.155 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 y)) 2) in z 28.155 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 28.155 * [taylor]: Taking taylor expansion of (/ 1 z) in z 28.155 * [taylor]: Taking taylor expansion of z in z 28.155 * [taylor]: Taking taylor expansion of (/ 1 y) in z 28.155 * [taylor]: Taking taylor expansion of y in z 28.156 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.156 * [taylor]: Taking taylor expansion of x in z 28.157 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in y 28.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in y 28.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in y 28.157 * [taylor]: Taking taylor expansion of 1/3 in y 28.157 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2))) in y 28.157 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) in y 28.157 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 y)) 2) in y 28.157 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 28.157 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.157 * [taylor]: Taking taylor expansion of z in y 28.157 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.157 * [taylor]: Taking taylor expansion of y in y 28.158 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.158 * [taylor]: Taking taylor expansion of x in y 28.159 * [taylor]: Taking taylor expansion of (pow (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) 1/3) in y 28.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2))))) in y 28.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)))) in y 28.159 * [taylor]: Taking taylor expansion of 1/3 in y 28.159 * [taylor]: Taking taylor expansion of (log (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2))) in y 28.159 * [taylor]: Taking taylor expansion of (/ (pow (- (/ 1 z) (/ 1 y)) 2) (pow x 2)) in y 28.159 * [taylor]: Taking taylor expansion of (pow (- (/ 1 z) (/ 1 y)) 2) in y 28.159 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 28.159 * [taylor]: Taking taylor expansion of (/ 1 z) in y 28.159 * [taylor]: Taking taylor expansion of z in y 28.159 * [taylor]: Taking taylor expansion of (/ 1 y) in y 28.159 * [taylor]: Taking taylor expansion of y in y 28.159 * [taylor]: Taking taylor expansion of (pow x 2) in y 28.160 * [taylor]: Taking taylor expansion of x in y 28.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) in z 28.161 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))) in z 28.161 * [taylor]: Taking taylor expansion of 1/3 in z 28.161 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 2 (log y))) in z 28.161 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 28.161 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.161 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.161 * [taylor]: Taking taylor expansion of x in z 28.161 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 28.161 * [taylor]: Taking taylor expansion of 2 in z 28.161 * [taylor]: Taking taylor expansion of (log y) in z 28.161 * [taylor]: Taking taylor expansion of y in z 28.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) in x 28.161 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))) in x 28.161 * [taylor]: Taking taylor expansion of 1/3 in x 28.161 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 2 (log y))) in x 28.161 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 28.161 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 28.161 * [taylor]: Taking taylor expansion of (pow x 2) in x 28.161 * [taylor]: Taking taylor expansion of x in x 28.162 * [taylor]: Taking taylor expansion of (* 2 (log y)) in x 28.162 * [taylor]: Taking taylor expansion of 2 in x 28.162 * [taylor]: Taking taylor expansion of (log y) in x 28.162 * [taylor]: Taking taylor expansion of y in x 28.165 * [taylor]: Taking taylor expansion of (* -2/3 (/ (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) z)) in z 28.165 * [taylor]: Taking taylor expansion of -2/3 in z 28.165 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) z) in z 28.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) in z 28.165 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))) in z 28.165 * [taylor]: Taking taylor expansion of 1/3 in z 28.165 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 2 (log y))) in z 28.165 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 28.165 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.165 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.165 * [taylor]: Taking taylor expansion of x in z 28.166 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 28.166 * [taylor]: Taking taylor expansion of 2 in z 28.166 * [taylor]: Taking taylor expansion of (log y) in z 28.166 * [taylor]: Taking taylor expansion of y in z 28.166 * [taylor]: Taking taylor expansion of z in z 28.170 * [taylor]: Taking taylor expansion of 0 in x 28.173 * [taylor]: Taking taylor expansion of 0 in x 28.181 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) (pow z 2))) in z 28.181 * [taylor]: Taking taylor expansion of -1/9 in z 28.181 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) (pow z 2)) in z 28.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y))))) in z 28.181 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (/ 1 (pow x 2))) (* 2 (log y)))) in z 28.181 * [taylor]: Taking taylor expansion of 1/3 in z 28.181 * [taylor]: Taking taylor expansion of (- (log (/ 1 (pow x 2))) (* 2 (log y))) in z 28.181 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in z 28.181 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 28.181 * [taylor]: Taking taylor expansion of (pow x 2) in z 28.181 * [taylor]: Taking taylor expansion of x in z 28.181 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 28.181 * [taylor]: Taking taylor expansion of 2 in z 28.181 * [taylor]: Taking taylor expansion of (log y) in z 28.181 * [taylor]: Taking taylor expansion of y in z 28.182 * [taylor]: Taking taylor expansion of (pow z 2) in z 28.182 * [taylor]: Taking taylor expansion of z in z 28.193 * [taylor]: Taking taylor expansion of 0 in x 28.200 * [taylor]: Taking taylor expansion of 0 in x 28.205 * [taylor]: Taking taylor expansion of 0 in x 28.205 * * * [progress]: simplifying candidates 28.206 * [simplify]: Simplifying using # : (log (cbrt (* (- y z) (- x)))) (exp (cbrt (* (- y z) (- x)))) (cbrt (- y z)) (cbrt (- x)) (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (+ (* y y) (+ (* z z) (* y z)))) (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (+ y z)) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (cbrt (cbrt (* (- y z) (- x)))) (* (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) (log (cbrt (* (- y z) (- x)))) (exp (cbrt (* (- y z) (- x)))) (cbrt (- y z)) (cbrt (- x)) (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (+ (* y y) (+ (* z z) (* y z)))) (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (+ y z)) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (cbrt (cbrt (* (- y z) (- x)))) (* (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) (log (cbrt (* (- y z) (- x)))) (exp (cbrt (* (- y z) (- x)))) (cbrt (- y z)) (cbrt (- x)) (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (+ (* y y) (+ (* z z) (* y z)))) (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (+ y z)) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (cbrt (cbrt (* (- y z) (- x)))) (* (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) (+ 1/3 1/3) (+ 1 1) (* (* (- y z) (- x)) (* (- y z) (- x))) (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (+ 1 1) (+ (log (cbrt (* (- y z) (- x)))) (log (cbrt (* (- y z) (- x))))) (log (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))))) (exp (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))))) (* (* (- y z) (- x)) (* (- y z) (- x))) (* (cbrt (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))))) (cbrt (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))))) (cbrt (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))))) (* (* (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))))) (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))))) (sqrt (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))))) (sqrt (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))))) (* (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (* (- (pow y 3) (pow z 3)) (- x)))) (* (cbrt (+ (* y y) (+ (* z z) (* y z)))) (cbrt (+ (* y y) (+ (* z z) (* y z))))) (* (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (* (- (* y y) (* z z)) (- x)))) (* (cbrt (+ (* y y) (+ (* z z) (* y z)))) (cbrt (+ y z))) (* (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (* (- (pow y 3) (pow z 3)) (- x)))) (* (cbrt (+ y z)) (cbrt (+ (* y y) (+ (* z z) (* y z))))) (* (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (* (- (* y y) (* z z)) (- x)))) (* (cbrt (+ y z)) (cbrt (+ y z))) (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- x)) (cbrt (- x))) (* (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x)))))) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (* (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x))))) (* (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x))))) (* 1 1) (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (* (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x))))) (* (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x))))) (* 2 1/3) (* 2 1) (* (cbrt (* (- y z) (- x))) (cbrt (- y z))) (* (cbrt (* (- y z) (- x))) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x)))))) (* (cbrt (* (- y z) (- x))) (sqrt (cbrt (* (- y z) (- x))))) (* (cbrt (* (- y z) (- x))) 1) (* (cbrt (- x)) (cbrt (* (- y z) (- x)))) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (* (- y z) (- x)))) (* (sqrt (cbrt (* (- y z) (- x)))) (cbrt (* (- y z) (- x)))) (* (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x)))) (* (cbrt (* (- y z) (- x))) (cbrt (* (- (pow y 3) (pow z 3)) (- x)))) (* (cbrt (* (- y z) (- x))) (cbrt (* (- (* y y) (* z z)) (- x)))) (* (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (* (- y z) (- x)))) (* (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (* (- y z) (- x)))) (- (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log -1) (log x)))))) (+ (* 1/9 (* (cbrt -1) (* (pow y 2) (exp (* 1/3 (- (+ (log -1) (log x)) (* 5 (log z)))))))) (* 1/3 (* (cbrt -1) (* (exp (* 1/3 (- (+ (log -1) (log x)) (* 2 (log z))))) y))))) (* (cbrt -1) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (exp (* 1/3 (- (log -1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (- (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log -1) (log x)))))) (+ (* 1/9 (* (cbrt -1) (* (pow y 2) (exp (* 1/3 (- (+ (log -1) (log x)) (* 5 (log z)))))))) (* 1/3 (* (cbrt -1) (* (exp (* 1/3 (- (+ (log -1) (log x)) (* 2 (log z))))) y))))) (* (cbrt -1) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (exp (* 1/3 (- (log -1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (- (* (cbrt -1) (exp (* 1/3 (+ (log z) (+ (log -1) (log x)))))) (+ (* 1/9 (* (cbrt -1) (* (pow y 2) (exp (* 1/3 (- (+ (log -1) (log x)) (* 5 (log z)))))))) (* 1/3 (* (cbrt -1) (* (exp (* 1/3 (- (+ (log -1) (log x)) (* 2 (log z))))) y))))) (* (cbrt -1) (exp (* -1/3 (+ (log (/ 1 x)) (log (/ 1 y)))))) (exp (* 1/3 (- (log -1) (+ (log (/ -1 y)) (log (/ -1 x)))))) (- (* (pow (cbrt -1) 2) (exp (* 1/3 (+ (* 2 (log z)) (* 2 (log x)))))) (+ (* 1/9 (* (exp (* 1/3 (- (* 2 (log x)) (* 4 (log z))))) (* (pow (cbrt -1) 2) (pow y 2)))) (* 2/3 (* (pow (cbrt -1) 2) (* (exp (* 1/3 (- (* 2 (log x)) (log z)))) y))))) (* (pow (cbrt -1) 2) (exp (* -1/3 (+ (* 2 (log (/ 1 x))) (* 2 (log (/ 1 y))))))) (exp (* -1/3 (+ (* 2 (log (/ -1 y))) (* 2 (log (/ -1 x)))))) 28.211 * * [simplify]: iteration 0 : 153 enodes (cost 1480 ) 28.245 * * [simplify]: iteration 1 : 362 enodes (cost 1369 ) 28.305 * * [simplify]: iteration 2 : 1024 enodes (cost 1255 ) 28.688 * * [simplify]: iteration 3 : 3265 enodes (cost 1137 ) 29.327 * * [simplify]: iteration done : 5000 enodes (cost 1137 ) 29.328 * [simplify]: Simplified to: (log (cbrt (* (- y z) (- x)))) (exp (cbrt (* (- y z) (- x)))) (cbrt (- y z)) (cbrt (- x)) (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (+ (* z (+ y z)) (* y y))) (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (+ y z)) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (cbrt (cbrt (* (- y z) (- x)))) (* (- y z) (- x)) (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) (log (cbrt (* (- y z) (- x)))) (exp (cbrt (* (- y z) (- x)))) (cbrt (- y z)) (cbrt (- x)) (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (+ (* z (+ y z)) (* y y))) (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (+ y z)) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (cbrt (cbrt (* (- y z) (- x)))) (* (- y z) (- x)) (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) (log (cbrt (* (- y z) (- x)))) (exp (cbrt (* (- y z) (- x)))) (cbrt (- y z)) (cbrt (- x)) (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (+ (* z (+ y z)) (* y y))) (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (+ y z)) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (cbrt (cbrt (* (- y z) (- x)))) (* (- y z) (- x)) (sqrt (cbrt (* (- y z) (- x)))) (sqrt (cbrt (* (- y z) (- x)))) 2/3 2 (pow (cbrt (* (- y z) (- x))) 6) (pow (sqrt (cbrt (* (- y z) (- x)))) 4) 2 (* 2 (log (cbrt (* (- y z) (- x))))) (* 2 (log (cbrt (* (- y z) (- x))))) (exp (pow (sqrt (cbrt (* (- y z) (- x)))) 4)) (pow (cbrt (* (- y z) (- x))) 6) (* (cbrt (pow (sqrt (cbrt (* (- y z) (- x)))) 4)) (cbrt (pow (sqrt (cbrt (* (- y z) (- x)))) 4))) (cbrt (pow (sqrt (cbrt (* (- y z) (- x)))) 4)) (pow (cbrt (* (- y z) (- x))) 6) (fabs (cbrt (* (- y z) (- x)))) (fabs (cbrt (* (- y z) (- x)))) (* (cbrt (* (- (pow y 3) (pow z 3)) (- x))) (cbrt (* (- (pow y 3) (pow z 3)) (- x)))) (* (cbrt (+ (* z (+ y z)) (* y y))) (cbrt (+ (* z (+ y z)) (* y y)))) (* (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (* (- (pow y 3) (pow z 3)) (- x)))) (* (cbrt (+ (* z (+ y z)) (* y y))) (cbrt (+ y z))) (* (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (* (- (pow y 3) (pow z 3)) (- x)))) (* (cbrt (+ (* z (+ y z)) (* y y))) (cbrt (+ y z))) (* (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (* (- (* y y) (* z z)) (- x)))) (* (cbrt (+ y z)) (cbrt (+ y z))) (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt (- x)) (cbrt (- x))) (pow (cbrt (cbrt (* (- y z) (- x)))) 4) (* (cbrt (cbrt (* (- y z) (- x)))) (cbrt (cbrt (* (- y z) (- x))))) (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))) 1 (pow (sqrt (cbrt (* (- y z) (- x)))) 4) (cbrt (* (- y z) (- x))) (cbrt (* (- y z) (- x))) 2/3 2 (* (cbrt (* (- y z) (- x))) (cbrt (- y z))) (* (cbrt (cbrt (* (- y z) (- x)))) (pow (cbrt (cbrt (* (- y z) (- x)))) 4)) (pow (sqrt (cbrt (* (- y z) (- x)))) 3) (cbrt (* (- y z) (- x))) (* (cbrt (- x)) (cbrt (* (- y z) (- x)))) (pow (cbrt (cbrt (* (- y z) (- x)))) 4) (pow (sqrt (cbrt (* (- y z) (- x)))) 3) (pow (sqrt (cbrt (* (- y z) (- x)))) 4) (* (cbrt (* (- y z) (- x))) (cbrt (* (- (pow y 3) (pow z 3)) (- x)))) (* (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (* (- y z) (- x)))) (* (cbrt (* (- y z) (- x))) (cbrt (* (- (pow y 3) (pow z 3)) (- x)))) (* (cbrt (* (- (* y y) (* z z)) (- x))) (cbrt (* (- y z) (- x)))) (- (* (cbrt -1) (- (cbrt (exp (+ (log z) (+ (log -1) (log x))))) (* (* y 1/3) (cbrt (exp (- (+ (log -1) (log x)) (* 2 (log z)))))))) (* (cbrt (exp (- (+ (log -1) (log x)) (* 5 (log z))))) (* (* 1/9 (cbrt -1)) (* y y)))) (* (pow (exp (- (- (log y)) (log x))) -1/3) (cbrt -1)) (cbrt (exp (+ 0 (- (log y) (log (/ -1 x)))))) (- (* (cbrt -1) (- (cbrt (exp (+ (log z) (+ (log -1) (log x))))) (* (* y 1/3) (cbrt (exp (- (+ (log -1) (log x)) (* 2 (log z)))))))) (* (cbrt (exp (- (+ (log -1) (log x)) (* 5 (log z))))) (* (* 1/9 (cbrt -1)) (* y y)))) (* (pow (exp (- (- (log y)) (log x))) -1/3) (cbrt -1)) (cbrt (exp (+ 0 (- (log y) (log (/ -1 x)))))) (- (* (cbrt -1) (- (cbrt (exp (+ (log z) (+ (log -1) (log x))))) (* (* y 1/3) (cbrt (exp (- (+ (log -1) (log x)) (* 2 (log z)))))))) (* (cbrt (exp (- (+ (log -1) (log x)) (* 5 (log z))))) (* (* 1/9 (cbrt -1)) (* y y)))) (* (pow (exp (- (- (log y)) (log x))) -1/3) (cbrt -1)) (cbrt (exp (+ 0 (- (log y) (log (/ -1 x)))))) (- (* (pow (cbrt -1) 2) (- (* (pow x 2/3) (pow z 2/3)) (* (* y 2/3) (cbrt (exp (- (* 2 (log x)) (log z))))))) (* (* (pow x 2/3) (exp (* (log z) -4/3))) (* 1/9 (* (pow (cbrt -1) 2) (pow y 2))))) (* (pow (cbrt -1) 2) (exp (* -2/3 (- (- (log y)) (log x))))) (* (pow (/ -1 x) -2/3) (pow (/ -1 y) -2/3)) 29.328 * * * [progress]: adding candidates to table 29.623 * [progress]: [Phase 3 of 3] Extracting. 29.623 * * [regime]: Finding splitpoints for: (# # #) 29.624 * * * [regime-changes]: Trying 6 branch expressions: ((- y z) (+ x (* (- y z) (- t x))) t z y x) 29.624 * * * * [regimes]: Trying to branch on (- y z) from (# # #) 29.644 * * * * [regimes]: Trying to branch on (+ x (* (- y z) (- t x))) from (# # #) 29.661 * * * * [regimes]: Trying to branch on t from (# # #) 29.679 * * * * [regimes]: Trying to branch on z from (# # #) 29.695 * * * * [regimes]: Trying to branch on y from (# # #) 29.714 * * * * [regimes]: Trying to branch on x from (# # #) 29.729 * * * [regime]: Found split indices: #