4.012 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.169 * * * [progress]: [2/2] Setting up program. 1.174 * [progress]: [Phase 2 of 3] Improving. 1.174 * [simplify]: Simplifying using # : (+ (+ (* x y) (* z t)) (* a b)) 1.177 * * [simplify]: iteration 0 : 52 enodes (cost 11 ) 1.178 * * [simplify]: iteration 1 : 52 enodes (cost 11 ) 1.178 * [simplify]: Simplified to: (+ (* x y) (+ (* z t) (* a b))) 1.183 * * [progress]: iteration 1 / 4 1.183 * * * [progress]: picking best candidate 1.188 * * * * [pick]: Picked # 1.188 * * * [progress]: localizing error 1.200 * * * [progress]: generating rewritten candidates 1.200 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 1.204 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.210 * * * [progress]: generating series expansions 1.210 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 1.211 * [approximate]: Taking taylor expansion of (+ (* t z) (* x y)) in (x y z t) around 0 1.211 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 1.211 * [taylor]: Taking taylor expansion of (* t z) in t 1.211 * [taylor]: Taking taylor expansion of t in t 1.211 * [taylor]: Taking taylor expansion of z in t 1.211 * [taylor]: Taking taylor expansion of (* x y) in t 1.211 * [taylor]: Taking taylor expansion of x in t 1.211 * [taylor]: Taking taylor expansion of y in t 1.211 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 1.211 * [taylor]: Taking taylor expansion of (* t z) in z 1.211 * [taylor]: Taking taylor expansion of t in z 1.211 * [taylor]: Taking taylor expansion of z in z 1.211 * [taylor]: Taking taylor expansion of (* x y) in z 1.211 * [taylor]: Taking taylor expansion of x in z 1.211 * [taylor]: Taking taylor expansion of y in z 1.211 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 1.211 * [taylor]: Taking taylor expansion of (* t z) in y 1.211 * [taylor]: Taking taylor expansion of t in y 1.211 * [taylor]: Taking taylor expansion of z in y 1.211 * [taylor]: Taking taylor expansion of (* x y) in y 1.211 * [taylor]: Taking taylor expansion of x in y 1.211 * [taylor]: Taking taylor expansion of y in y 1.211 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 1.211 * [taylor]: Taking taylor expansion of (* t z) in x 1.211 * [taylor]: Taking taylor expansion of t in x 1.211 * [taylor]: Taking taylor expansion of z in x 1.211 * [taylor]: Taking taylor expansion of (* x y) in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of y in x 1.211 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 1.211 * [taylor]: Taking taylor expansion of (* t z) in x 1.211 * [taylor]: Taking taylor expansion of t in x 1.211 * [taylor]: Taking taylor expansion of z in x 1.211 * [taylor]: Taking taylor expansion of (* x y) in x 1.211 * [taylor]: Taking taylor expansion of x in x 1.211 * [taylor]: Taking taylor expansion of y in x 1.211 * [taylor]: Taking taylor expansion of (* t z) in y 1.211 * [taylor]: Taking taylor expansion of t in y 1.211 * [taylor]: Taking taylor expansion of z in y 1.211 * [taylor]: Taking taylor expansion of (* t z) in z 1.211 * [taylor]: Taking taylor expansion of t in z 1.211 * [taylor]: Taking taylor expansion of z in z 1.211 * [taylor]: Taking taylor expansion of 0 in t 1.211 * [taylor]: Taking taylor expansion of y in y 1.212 * [taylor]: Taking taylor expansion of 0 in z 1.212 * [taylor]: Taking taylor expansion of 0 in t 1.212 * [taylor]: Taking taylor expansion of 0 in z 1.212 * [taylor]: Taking taylor expansion of 0 in t 1.212 * [taylor]: Taking taylor expansion of t in t 1.212 * [taylor]: Taking taylor expansion of 0 in y 1.212 * [taylor]: Taking taylor expansion of 0 in z 1.212 * [taylor]: Taking taylor expansion of 0 in t 1.212 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 1.212 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.212 * [taylor]: Taking taylor expansion of (* t z) in t 1.212 * [taylor]: Taking taylor expansion of t in t 1.212 * [taylor]: Taking taylor expansion of z in t 1.212 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.212 * [taylor]: Taking taylor expansion of (* x y) in t 1.212 * [taylor]: Taking taylor expansion of x in t 1.212 * [taylor]: Taking taylor expansion of y in t 1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 1.212 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.212 * [taylor]: Taking taylor expansion of (* t z) in z 1.212 * [taylor]: Taking taylor expansion of t in z 1.212 * [taylor]: Taking taylor expansion of z in z 1.212 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.212 * [taylor]: Taking taylor expansion of (* x y) in z 1.212 * [taylor]: Taking taylor expansion of x in z 1.212 * [taylor]: Taking taylor expansion of y in z 1.212 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 1.212 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.212 * [taylor]: Taking taylor expansion of (* t z) in y 1.212 * [taylor]: Taking taylor expansion of t in y 1.212 * [taylor]: Taking taylor expansion of z in y 1.213 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.213 * [taylor]: Taking taylor expansion of (* x y) in y 1.213 * [taylor]: Taking taylor expansion of x in y 1.213 * [taylor]: Taking taylor expansion of y in y 1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.213 * [taylor]: Taking taylor expansion of (* t z) in x 1.213 * [taylor]: Taking taylor expansion of t in x 1.213 * [taylor]: Taking taylor expansion of z in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.213 * [taylor]: Taking taylor expansion of (* x y) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of y in x 1.213 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.213 * [taylor]: Taking taylor expansion of (* t z) in x 1.213 * [taylor]: Taking taylor expansion of t in x 1.213 * [taylor]: Taking taylor expansion of z in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.213 * [taylor]: Taking taylor expansion of (* x y) in x 1.213 * [taylor]: Taking taylor expansion of x in x 1.213 * [taylor]: Taking taylor expansion of y in x 1.213 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.213 * [taylor]: Taking taylor expansion of y in y 1.213 * [taylor]: Taking taylor expansion of 1 in z 1.213 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.213 * [taylor]: Taking taylor expansion of (* t z) in y 1.213 * [taylor]: Taking taylor expansion of t in y 1.213 * [taylor]: Taking taylor expansion of z in y 1.213 * [taylor]: Taking taylor expansion of 0 in z 1.213 * [taylor]: Taking taylor expansion of 1 in t 1.214 * [taylor]: Taking taylor expansion of 0 in y 1.214 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.214 * [taylor]: Taking taylor expansion of (* t z) in z 1.214 * [taylor]: Taking taylor expansion of t in z 1.214 * [taylor]: Taking taylor expansion of z in z 1.214 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.214 * [taylor]: Taking taylor expansion of t in t 1.214 * [taylor]: Taking taylor expansion of 0 in z 1.214 * [taylor]: Taking taylor expansion of 0 in t 1.214 * [taylor]: Taking taylor expansion of 0 in t 1.214 * [taylor]: Taking taylor expansion of 0 in y 1.214 * [taylor]: Taking taylor expansion of 0 in z 1.214 * [taylor]: Taking taylor expansion of 0 in z 1.214 * [taylor]: Taking taylor expansion of 0 in z 1.215 * [taylor]: Taking taylor expansion of 0 in t 1.215 * [taylor]: Taking taylor expansion of 0 in t 1.215 * [taylor]: Taking taylor expansion of 0 in t 1.215 * [taylor]: Taking taylor expansion of 0 in t 1.215 * [taylor]: Taking taylor expansion of 0 in y 1.215 * [taylor]: Taking taylor expansion of 0 in z 1.215 * [taylor]: Taking taylor expansion of 0 in z 1.215 * [taylor]: Taking taylor expansion of 0 in z 1.215 * [taylor]: Taking taylor expansion of 0 in z 1.215 * [taylor]: Taking taylor expansion of 0 in t 1.215 * [taylor]: Taking taylor expansion of 0 in t 1.215 * [taylor]: Taking taylor expansion of 0 in t 1.216 * [taylor]: Taking taylor expansion of 0 in t 1.216 * [taylor]: Taking taylor expansion of 0 in t 1.216 * [taylor]: Taking taylor expansion of 0 in t 1.216 * [taylor]: Taking taylor expansion of 0 in t 1.216 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 1.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 1.216 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.216 * [taylor]: Taking taylor expansion of (* t z) in t 1.216 * [taylor]: Taking taylor expansion of t in t 1.216 * [taylor]: Taking taylor expansion of z in t 1.216 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.216 * [taylor]: Taking taylor expansion of (* x y) in t 1.216 * [taylor]: Taking taylor expansion of x in t 1.216 * [taylor]: Taking taylor expansion of y in t 1.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 1.216 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.216 * [taylor]: Taking taylor expansion of (* t z) in z 1.216 * [taylor]: Taking taylor expansion of t in z 1.216 * [taylor]: Taking taylor expansion of z in z 1.216 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.216 * [taylor]: Taking taylor expansion of (* x y) in z 1.216 * [taylor]: Taking taylor expansion of x in z 1.216 * [taylor]: Taking taylor expansion of y in z 1.216 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 1.216 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.216 * [taylor]: Taking taylor expansion of (* t z) in y 1.216 * [taylor]: Taking taylor expansion of t in y 1.217 * [taylor]: Taking taylor expansion of z in y 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.217 * [taylor]: Taking taylor expansion of (* x y) in y 1.217 * [taylor]: Taking taylor expansion of x in y 1.217 * [taylor]: Taking taylor expansion of y in y 1.217 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.217 * [taylor]: Taking taylor expansion of (* t z) in x 1.217 * [taylor]: Taking taylor expansion of t in x 1.217 * [taylor]: Taking taylor expansion of z in x 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.217 * [taylor]: Taking taylor expansion of (* x y) in x 1.217 * [taylor]: Taking taylor expansion of x in x 1.217 * [taylor]: Taking taylor expansion of y in x 1.217 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.217 * [taylor]: Taking taylor expansion of (* t z) in x 1.217 * [taylor]: Taking taylor expansion of t in x 1.217 * [taylor]: Taking taylor expansion of z in x 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.217 * [taylor]: Taking taylor expansion of (* x y) in x 1.217 * [taylor]: Taking taylor expansion of x in x 1.217 * [taylor]: Taking taylor expansion of y in x 1.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.217 * [taylor]: Taking taylor expansion of y in y 1.217 * [taylor]: Taking taylor expansion of 1 in z 1.217 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.217 * [taylor]: Taking taylor expansion of (* t z) in y 1.217 * [taylor]: Taking taylor expansion of t in y 1.217 * [taylor]: Taking taylor expansion of z in y 1.217 * [taylor]: Taking taylor expansion of 0 in z 1.218 * [taylor]: Taking taylor expansion of 1 in t 1.218 * [taylor]: Taking taylor expansion of 0 in y 1.218 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.218 * [taylor]: Taking taylor expansion of (* t z) in z 1.218 * [taylor]: Taking taylor expansion of t in z 1.218 * [taylor]: Taking taylor expansion of z in z 1.218 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.218 * [taylor]: Taking taylor expansion of t in t 1.218 * [taylor]: Taking taylor expansion of 0 in z 1.218 * [taylor]: Taking taylor expansion of 0 in t 1.218 * [taylor]: Taking taylor expansion of 0 in t 1.218 * [taylor]: Taking taylor expansion of 0 in y 1.218 * [taylor]: Taking taylor expansion of 0 in z 1.218 * [taylor]: Taking taylor expansion of 0 in z 1.219 * [taylor]: Taking taylor expansion of 0 in z 1.219 * [taylor]: Taking taylor expansion of 0 in t 1.219 * [taylor]: Taking taylor expansion of 0 in t 1.219 * [taylor]: Taking taylor expansion of 0 in t 1.219 * [taylor]: Taking taylor expansion of 0 in t 1.219 * [taylor]: Taking taylor expansion of 0 in y 1.219 * [taylor]: Taking taylor expansion of 0 in z 1.219 * [taylor]: Taking taylor expansion of 0 in z 1.219 * [taylor]: Taking taylor expansion of 0 in z 1.219 * [taylor]: Taking taylor expansion of 0 in z 1.219 * [taylor]: Taking taylor expansion of 0 in t 1.219 * [taylor]: Taking taylor expansion of 0 in t 1.219 * [taylor]: Taking taylor expansion of 0 in t 1.220 * [taylor]: Taking taylor expansion of 0 in t 1.220 * [taylor]: Taking taylor expansion of 0 in t 1.220 * [taylor]: Taking taylor expansion of 0 in t 1.220 * [taylor]: Taking taylor expansion of 0 in t 1.220 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.220 * [approximate]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in (x y z t a b) around 0 1.220 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in b 1.220 * [taylor]: Taking taylor expansion of (* t z) in b 1.220 * [taylor]: Taking taylor expansion of t in b 1.220 * [taylor]: Taking taylor expansion of z in b 1.220 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in b 1.220 * [taylor]: Taking taylor expansion of (* a b) in b 1.220 * [taylor]: Taking taylor expansion of a in b 1.220 * [taylor]: Taking taylor expansion of b in b 1.220 * [taylor]: Taking taylor expansion of (* x y) in b 1.220 * [taylor]: Taking taylor expansion of x in b 1.220 * [taylor]: Taking taylor expansion of y in b 1.220 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in a 1.220 * [taylor]: Taking taylor expansion of (* t z) in a 1.220 * [taylor]: Taking taylor expansion of t in a 1.220 * [taylor]: Taking taylor expansion of z in a 1.220 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in a 1.220 * [taylor]: Taking taylor expansion of (* a b) in a 1.220 * [taylor]: Taking taylor expansion of a in a 1.220 * [taylor]: Taking taylor expansion of b in a 1.220 * [taylor]: Taking taylor expansion of (* x y) in a 1.220 * [taylor]: Taking taylor expansion of x in a 1.220 * [taylor]: Taking taylor expansion of y in a 1.220 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in t 1.220 * [taylor]: Taking taylor expansion of (* t z) in t 1.220 * [taylor]: Taking taylor expansion of t in t 1.220 * [taylor]: Taking taylor expansion of z in t 1.220 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in t 1.221 * [taylor]: Taking taylor expansion of (* a b) in t 1.221 * [taylor]: Taking taylor expansion of a in t 1.221 * [taylor]: Taking taylor expansion of b in t 1.221 * [taylor]: Taking taylor expansion of (* x y) in t 1.221 * [taylor]: Taking taylor expansion of x in t 1.221 * [taylor]: Taking taylor expansion of y in t 1.221 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in z 1.221 * [taylor]: Taking taylor expansion of (* t z) in z 1.221 * [taylor]: Taking taylor expansion of t in z 1.221 * [taylor]: Taking taylor expansion of z in z 1.221 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in z 1.221 * [taylor]: Taking taylor expansion of (* a b) in z 1.221 * [taylor]: Taking taylor expansion of a in z 1.221 * [taylor]: Taking taylor expansion of b in z 1.221 * [taylor]: Taking taylor expansion of (* x y) in z 1.221 * [taylor]: Taking taylor expansion of x in z 1.221 * [taylor]: Taking taylor expansion of y in z 1.221 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in y 1.221 * [taylor]: Taking taylor expansion of (* t z) in y 1.221 * [taylor]: Taking taylor expansion of t in y 1.221 * [taylor]: Taking taylor expansion of z in y 1.221 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in y 1.221 * [taylor]: Taking taylor expansion of (* a b) in y 1.221 * [taylor]: Taking taylor expansion of a in y 1.221 * [taylor]: Taking taylor expansion of b in y 1.221 * [taylor]: Taking taylor expansion of (* x y) in y 1.221 * [taylor]: Taking taylor expansion of x in y 1.221 * [taylor]: Taking taylor expansion of y in y 1.221 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x 1.221 * [taylor]: Taking taylor expansion of (* t z) in x 1.221 * [taylor]: Taking taylor expansion of t in x 1.221 * [taylor]: Taking taylor expansion of z in x 1.221 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x 1.221 * [taylor]: Taking taylor expansion of (* a b) in x 1.221 * [taylor]: Taking taylor expansion of a in x 1.221 * [taylor]: Taking taylor expansion of b in x 1.221 * [taylor]: Taking taylor expansion of (* x y) in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of y in x 1.221 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x 1.221 * [taylor]: Taking taylor expansion of (* t z) in x 1.221 * [taylor]: Taking taylor expansion of t in x 1.221 * [taylor]: Taking taylor expansion of z in x 1.221 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x 1.221 * [taylor]: Taking taylor expansion of (* a b) in x 1.221 * [taylor]: Taking taylor expansion of a in x 1.221 * [taylor]: Taking taylor expansion of b in x 1.221 * [taylor]: Taking taylor expansion of (* x y) in x 1.221 * [taylor]: Taking taylor expansion of x in x 1.221 * [taylor]: Taking taylor expansion of y in x 1.221 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in y 1.221 * [taylor]: Taking taylor expansion of (* t z) in y 1.221 * [taylor]: Taking taylor expansion of t in y 1.221 * [taylor]: Taking taylor expansion of z in y 1.221 * [taylor]: Taking taylor expansion of (* a b) in y 1.221 * [taylor]: Taking taylor expansion of a in y 1.222 * [taylor]: Taking taylor expansion of b in y 1.222 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in z 1.222 * [taylor]: Taking taylor expansion of (* t z) in z 1.222 * [taylor]: Taking taylor expansion of t in z 1.222 * [taylor]: Taking taylor expansion of z in z 1.222 * [taylor]: Taking taylor expansion of (* a b) in z 1.222 * [taylor]: Taking taylor expansion of a in z 1.222 * [taylor]: Taking taylor expansion of b in z 1.222 * [taylor]: Taking taylor expansion of (* a b) in t 1.222 * [taylor]: Taking taylor expansion of a in t 1.222 * [taylor]: Taking taylor expansion of b in t 1.222 * [taylor]: Taking taylor expansion of (* a b) in a 1.222 * [taylor]: Taking taylor expansion of a in a 1.222 * [taylor]: Taking taylor expansion of b in a 1.222 * [taylor]: Taking taylor expansion of 0 in b 1.222 * [taylor]: Taking taylor expansion of y in y 1.222 * [taylor]: Taking taylor expansion of 0 in z 1.222 * [taylor]: Taking taylor expansion of 0 in t 1.222 * [taylor]: Taking taylor expansion of 0 in a 1.222 * [taylor]: Taking taylor expansion of 0 in b 1.222 * [taylor]: Taking taylor expansion of 0 in z 1.222 * [taylor]: Taking taylor expansion of 0 in t 1.222 * [taylor]: Taking taylor expansion of 0 in a 1.222 * [taylor]: Taking taylor expansion of 0 in b 1.222 * [taylor]: Taking taylor expansion of t in t 1.222 * [taylor]: Taking taylor expansion of 0 in a 1.222 * [taylor]: Taking taylor expansion of 0 in b 1.222 * [taylor]: Taking taylor expansion of 0 in a 1.222 * [taylor]: Taking taylor expansion of 0 in b 1.222 * [taylor]: Taking taylor expansion of b in b 1.223 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.223 * [taylor]: Taking taylor expansion of (* t z) in b 1.223 * [taylor]: Taking taylor expansion of t in b 1.223 * [taylor]: Taking taylor expansion of z in b 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.223 * [taylor]: Taking taylor expansion of (* a b) in b 1.223 * [taylor]: Taking taylor expansion of a in b 1.223 * [taylor]: Taking taylor expansion of b in b 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.223 * [taylor]: Taking taylor expansion of (* x y) in b 1.223 * [taylor]: Taking taylor expansion of x in b 1.223 * [taylor]: Taking taylor expansion of y in b 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.223 * [taylor]: Taking taylor expansion of (* t z) in a 1.223 * [taylor]: Taking taylor expansion of t in a 1.223 * [taylor]: Taking taylor expansion of z in a 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.223 * [taylor]: Taking taylor expansion of (* a b) in a 1.223 * [taylor]: Taking taylor expansion of a in a 1.223 * [taylor]: Taking taylor expansion of b in a 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.223 * [taylor]: Taking taylor expansion of (* x y) in a 1.223 * [taylor]: Taking taylor expansion of x in a 1.223 * [taylor]: Taking taylor expansion of y in a 1.223 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t 1.223 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.223 * [taylor]: Taking taylor expansion of (* t z) in t 1.223 * [taylor]: Taking taylor expansion of t in t 1.223 * [taylor]: Taking taylor expansion of z in t 1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.224 * [taylor]: Taking taylor expansion of (* a b) in t 1.224 * [taylor]: Taking taylor expansion of a in t 1.224 * [taylor]: Taking taylor expansion of b in t 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.224 * [taylor]: Taking taylor expansion of (* x y) in t 1.224 * [taylor]: Taking taylor expansion of x in t 1.224 * [taylor]: Taking taylor expansion of y in t 1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.224 * [taylor]: Taking taylor expansion of (* t z) in z 1.224 * [taylor]: Taking taylor expansion of t in z 1.224 * [taylor]: Taking taylor expansion of z in z 1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.224 * [taylor]: Taking taylor expansion of (* a b) in z 1.224 * [taylor]: Taking taylor expansion of a in z 1.224 * [taylor]: Taking taylor expansion of b in z 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.224 * [taylor]: Taking taylor expansion of (* x y) in z 1.224 * [taylor]: Taking taylor expansion of x in z 1.224 * [taylor]: Taking taylor expansion of y in z 1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.224 * [taylor]: Taking taylor expansion of (* t z) in y 1.224 * [taylor]: Taking taylor expansion of t in y 1.224 * [taylor]: Taking taylor expansion of z in y 1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.224 * [taylor]: Taking taylor expansion of (* a b) in y 1.224 * [taylor]: Taking taylor expansion of a in y 1.224 * [taylor]: Taking taylor expansion of b in y 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.224 * [taylor]: Taking taylor expansion of (* x y) in y 1.224 * [taylor]: Taking taylor expansion of x in y 1.224 * [taylor]: Taking taylor expansion of y in y 1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 1.224 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.224 * [taylor]: Taking taylor expansion of (* t z) in x 1.224 * [taylor]: Taking taylor expansion of t in x 1.224 * [taylor]: Taking taylor expansion of z in x 1.224 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 1.225 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.225 * [taylor]: Taking taylor expansion of (* a b) in x 1.225 * [taylor]: Taking taylor expansion of a in x 1.225 * [taylor]: Taking taylor expansion of b in x 1.225 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.225 * [taylor]: Taking taylor expansion of (* x y) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of y in x 1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 1.225 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.225 * [taylor]: Taking taylor expansion of (* t z) in x 1.225 * [taylor]: Taking taylor expansion of t in x 1.225 * [taylor]: Taking taylor expansion of z in x 1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 1.225 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.225 * [taylor]: Taking taylor expansion of (* a b) in x 1.225 * [taylor]: Taking taylor expansion of a in x 1.225 * [taylor]: Taking taylor expansion of b in x 1.225 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.225 * [taylor]: Taking taylor expansion of (* x y) in x 1.225 * [taylor]: Taking taylor expansion of x in x 1.225 * [taylor]: Taking taylor expansion of y in x 1.225 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.225 * [taylor]: Taking taylor expansion of y in y 1.225 * [taylor]: Taking taylor expansion of 1 in z 1.225 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y 1.225 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.225 * [taylor]: Taking taylor expansion of (* t z) in y 1.225 * [taylor]: Taking taylor expansion of t in y 1.225 * [taylor]: Taking taylor expansion of z in y 1.225 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.226 * [taylor]: Taking taylor expansion of (* a b) in y 1.226 * [taylor]: Taking taylor expansion of a in y 1.226 * [taylor]: Taking taylor expansion of b in y 1.226 * [taylor]: Taking taylor expansion of 0 in z 1.226 * [taylor]: Taking taylor expansion of 1 in t 1.226 * [taylor]: Taking taylor expansion of 0 in y 1.226 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.226 * [taylor]: Taking taylor expansion of (* t z) in z 1.226 * [taylor]: Taking taylor expansion of t in z 1.226 * [taylor]: Taking taylor expansion of z in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.226 * [taylor]: Taking taylor expansion of (* a b) in z 1.226 * [taylor]: Taking taylor expansion of a in z 1.226 * [taylor]: Taking taylor expansion of b in z 1.226 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.226 * [taylor]: Taking taylor expansion of t in t 1.226 * [taylor]: Taking taylor expansion of 1 in a 1.226 * [taylor]: Taking taylor expansion of 0 in z 1.226 * [taylor]: Taking taylor expansion of 0 in t 1.226 * [taylor]: Taking taylor expansion of 0 in t 1.227 * [taylor]: Taking taylor expansion of 1 in a 1.227 * [taylor]: Taking taylor expansion of 0 in y 1.227 * [taylor]: Taking taylor expansion of 0 in z 1.227 * [taylor]: Taking taylor expansion of 0 in z 1.227 * [taylor]: Taking taylor expansion of 0 in z 1.227 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.227 * [taylor]: Taking taylor expansion of (* a b) in t 1.227 * [taylor]: Taking taylor expansion of a in t 1.227 * [taylor]: Taking taylor expansion of b in t 1.227 * [taylor]: Taking taylor expansion of 0 in t 1.228 * [taylor]: Taking taylor expansion of 0 in t 1.228 * [taylor]: Taking taylor expansion of 0 in t 1.228 * [taylor]: Taking taylor expansion of 0 in a 1.228 * [taylor]: Taking taylor expansion of 0 in a 1.228 * [taylor]: Taking taylor expansion of 0 in a 1.228 * [taylor]: Taking taylor expansion of 0 in a 1.228 * [taylor]: Taking taylor expansion of 1 in b 1.228 * [taylor]: Taking taylor expansion of 1 in b 1.228 * [taylor]: Taking taylor expansion of 0 in y 1.228 * [taylor]: Taking taylor expansion of 0 in z 1.228 * [taylor]: Taking taylor expansion of 0 in z 1.229 * [taylor]: Taking taylor expansion of 0 in z 1.229 * [taylor]: Taking taylor expansion of 0 in z 1.229 * [taylor]: Taking taylor expansion of 0 in t 1.229 * [taylor]: Taking taylor expansion of 0 in t 1.229 * [taylor]: Taking taylor expansion of 0 in t 1.229 * [taylor]: Taking taylor expansion of 0 in t 1.229 * [taylor]: Taking taylor expansion of 0 in t 1.229 * [taylor]: Taking taylor expansion of 0 in t 1.229 * [taylor]: Taking taylor expansion of 0 in t 1.229 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.229 * [taylor]: Taking taylor expansion of (* a b) in a 1.229 * [taylor]: Taking taylor expansion of a in a 1.229 * [taylor]: Taking taylor expansion of b in a 1.229 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.229 * [taylor]: Taking taylor expansion of b in b 1.229 * [taylor]: Taking taylor expansion of 0 in a 1.229 * [taylor]: Taking taylor expansion of 0 in a 1.229 * [taylor]: Taking taylor expansion of 0 in a 1.230 * [taylor]: Taking taylor expansion of 0 in a 1.230 * [taylor]: Taking taylor expansion of 0 in a 1.230 * [taylor]: Taking taylor expansion of 0 in a 1.230 * [taylor]: Taking taylor expansion of 0 in a 1.230 * [taylor]: Taking taylor expansion of 0 in b 1.230 * [taylor]: Taking taylor expansion of 0 in b 1.230 * [taylor]: Taking taylor expansion of 0 in b 1.230 * [taylor]: Taking taylor expansion of 0 in b 1.230 * [taylor]: Taking taylor expansion of 0 in b 1.230 * [taylor]: Taking taylor expansion of 0 in b 1.231 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0 1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.231 * [taylor]: Taking taylor expansion of (* t z) in b 1.231 * [taylor]: Taking taylor expansion of t in b 1.231 * [taylor]: Taking taylor expansion of z in b 1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.231 * [taylor]: Taking taylor expansion of (* a b) in b 1.231 * [taylor]: Taking taylor expansion of a in b 1.231 * [taylor]: Taking taylor expansion of b in b 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.231 * [taylor]: Taking taylor expansion of (* x y) in b 1.231 * [taylor]: Taking taylor expansion of x in b 1.231 * [taylor]: Taking taylor expansion of y in b 1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.231 * [taylor]: Taking taylor expansion of (* t z) in a 1.231 * [taylor]: Taking taylor expansion of t in a 1.231 * [taylor]: Taking taylor expansion of z in a 1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.231 * [taylor]: Taking taylor expansion of (* a b) in a 1.231 * [taylor]: Taking taylor expansion of a in a 1.231 * [taylor]: Taking taylor expansion of b in a 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.231 * [taylor]: Taking taylor expansion of (* x y) in a 1.231 * [taylor]: Taking taylor expansion of x in a 1.231 * [taylor]: Taking taylor expansion of y in a 1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.231 * [taylor]: Taking taylor expansion of (* t z) in t 1.231 * [taylor]: Taking taylor expansion of t in t 1.231 * [taylor]: Taking taylor expansion of z in t 1.231 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t 1.231 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.231 * [taylor]: Taking taylor expansion of (* a b) in t 1.232 * [taylor]: Taking taylor expansion of a in t 1.232 * [taylor]: Taking taylor expansion of b in t 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.232 * [taylor]: Taking taylor expansion of (* x y) in t 1.232 * [taylor]: Taking taylor expansion of x in t 1.232 * [taylor]: Taking taylor expansion of y in t 1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.232 * [taylor]: Taking taylor expansion of (* t z) in z 1.232 * [taylor]: Taking taylor expansion of t in z 1.232 * [taylor]: Taking taylor expansion of z in z 1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.232 * [taylor]: Taking taylor expansion of (* a b) in z 1.232 * [taylor]: Taking taylor expansion of a in z 1.232 * [taylor]: Taking taylor expansion of b in z 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.232 * [taylor]: Taking taylor expansion of (* x y) in z 1.232 * [taylor]: Taking taylor expansion of x in z 1.232 * [taylor]: Taking taylor expansion of y in z 1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.232 * [taylor]: Taking taylor expansion of (* t z) in y 1.232 * [taylor]: Taking taylor expansion of t in y 1.232 * [taylor]: Taking taylor expansion of z in y 1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.232 * [taylor]: Taking taylor expansion of (* a b) in y 1.232 * [taylor]: Taking taylor expansion of a in y 1.232 * [taylor]: Taking taylor expansion of b in y 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.232 * [taylor]: Taking taylor expansion of (* x y) in y 1.232 * [taylor]: Taking taylor expansion of x in y 1.232 * [taylor]: Taking taylor expansion of y in y 1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.232 * [taylor]: Taking taylor expansion of (* t z) in x 1.232 * [taylor]: Taking taylor expansion of t in x 1.232 * [taylor]: Taking taylor expansion of z in x 1.232 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 1.232 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.232 * [taylor]: Taking taylor expansion of (* a b) in x 1.232 * [taylor]: Taking taylor expansion of a in x 1.233 * [taylor]: Taking taylor expansion of b in x 1.233 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.233 * [taylor]: Taking taylor expansion of (* x y) in x 1.233 * [taylor]: Taking taylor expansion of x in x 1.233 * [taylor]: Taking taylor expansion of y in x 1.233 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 1.233 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.233 * [taylor]: Taking taylor expansion of (* t z) in x 1.233 * [taylor]: Taking taylor expansion of t in x 1.233 * [taylor]: Taking taylor expansion of z in x 1.233 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 1.233 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.233 * [taylor]: Taking taylor expansion of (* a b) in x 1.233 * [taylor]: Taking taylor expansion of a in x 1.233 * [taylor]: Taking taylor expansion of b in x 1.233 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.233 * [taylor]: Taking taylor expansion of (* x y) in x 1.233 * [taylor]: Taking taylor expansion of x in x 1.233 * [taylor]: Taking taylor expansion of y in x 1.233 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.233 * [taylor]: Taking taylor expansion of y in y 1.233 * [taylor]: Taking taylor expansion of 1 in z 1.233 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y 1.233 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.233 * [taylor]: Taking taylor expansion of (* t z) in y 1.233 * [taylor]: Taking taylor expansion of t in y 1.233 * [taylor]: Taking taylor expansion of z in y 1.233 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.233 * [taylor]: Taking taylor expansion of (* a b) in y 1.233 * [taylor]: Taking taylor expansion of a in y 1.233 * [taylor]: Taking taylor expansion of b in y 1.234 * [taylor]: Taking taylor expansion of 0 in z 1.234 * [taylor]: Taking taylor expansion of 1 in t 1.234 * [taylor]: Taking taylor expansion of 0 in y 1.234 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z 1.234 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.234 * [taylor]: Taking taylor expansion of (* t z) in z 1.234 * [taylor]: Taking taylor expansion of t in z 1.234 * [taylor]: Taking taylor expansion of z in z 1.234 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.234 * [taylor]: Taking taylor expansion of (* a b) in z 1.234 * [taylor]: Taking taylor expansion of a in z 1.234 * [taylor]: Taking taylor expansion of b in z 1.234 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.234 * [taylor]: Taking taylor expansion of t in t 1.234 * [taylor]: Taking taylor expansion of 1 in a 1.234 * [taylor]: Taking taylor expansion of 0 in z 1.234 * [taylor]: Taking taylor expansion of 0 in t 1.234 * [taylor]: Taking taylor expansion of 0 in t 1.234 * [taylor]: Taking taylor expansion of 1 in a 1.235 * [taylor]: Taking taylor expansion of 0 in y 1.235 * [taylor]: Taking taylor expansion of 0 in z 1.235 * [taylor]: Taking taylor expansion of 0 in z 1.235 * [taylor]: Taking taylor expansion of 0 in z 1.235 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.235 * [taylor]: Taking taylor expansion of (* a b) in t 1.235 * [taylor]: Taking taylor expansion of a in t 1.235 * [taylor]: Taking taylor expansion of b in t 1.235 * [taylor]: Taking taylor expansion of 0 in t 1.235 * [taylor]: Taking taylor expansion of 0 in t 1.235 * [taylor]: Taking taylor expansion of 0 in t 1.236 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [taylor]: Taking taylor expansion of 0 in a 1.236 * [taylor]: Taking taylor expansion of 1 in b 1.236 * [taylor]: Taking taylor expansion of 1 in b 1.236 * [taylor]: Taking taylor expansion of 0 in y 1.236 * [taylor]: Taking taylor expansion of 0 in z 1.236 * [taylor]: Taking taylor expansion of 0 in z 1.237 * [taylor]: Taking taylor expansion of 0 in z 1.237 * [taylor]: Taking taylor expansion of 0 in z 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * [taylor]: Taking taylor expansion of 0 in t 1.237 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.237 * [taylor]: Taking taylor expansion of (* a b) in a 1.237 * [taylor]: Taking taylor expansion of a in a 1.237 * [taylor]: Taking taylor expansion of b in a 1.237 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.237 * [taylor]: Taking taylor expansion of b in b 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.237 * [taylor]: Taking taylor expansion of 0 in a 1.238 * [taylor]: Taking taylor expansion of 0 in a 1.238 * [taylor]: Taking taylor expansion of 0 in a 1.238 * [taylor]: Taking taylor expansion of 0 in a 1.238 * [taylor]: Taking taylor expansion of 0 in b 1.238 * [taylor]: Taking taylor expansion of 0 in b 1.238 * [taylor]: Taking taylor expansion of 0 in b 1.238 * [taylor]: Taking taylor expansion of 0 in b 1.238 * [taylor]: Taking taylor expansion of 0 in b 1.238 * [taylor]: Taking taylor expansion of 0 in b 1.238 * * * [progress]: simplifying candidates 1.239 * [simplify]: Simplifying using # : (* (exp (* x y)) (exp (* z t))) (log (+ (* x y) (* z t))) (exp (+ (* x y) (* z t))) (* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))) (* (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))) (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* x y) (* z t)) (* (* (exp (* x y)) (exp (* z t))) (exp (* a b))) (* (exp (+ (* x y) (* z t))) (exp (* a b))) (log (+ (+ (* x y) (* z t)) (* a b))) (exp (+ (+ (* x y) (* z t)) (* a b))) (* (cbrt (+ (+ (* x y) (* z t)) (* a b))) (cbrt (+ (+ (* x y) (* z t)) (* a b)))) (cbrt (+ (+ (* x y) (* z t)) (* a b))) (* (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (+ (+ (* x y) (* z t)) (* a b))) (sqrt (+ (+ (* x y) (* z t)) (* a b))) (sqrt (+ (+ (* x y) (* z t)) (* a b))) (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (- (* (* a b) (* a b)) (* (+ (* x y) (* z t)) (* a b)))) (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))) (- (+ (* x y) (* z t)) (* a b)) (+ (* z t) (* a b)) 0 (+ (* t z) (* x y)) (+ (* t z) (* x y)) 0 (+ (* t z) (+ (* a b) (* x y))) (+ (* t z) (+ (* a b) (* x y))) 1.271 * * [simplify]: iteration 0 : 5806 enodes (cost 369 ) 1.273 * [simplify]: Simplified to: (exp (+ (* x y) (* z t))) (log (+ (* x y) (* z t))) (exp (+ (* x y) (* z t))) (* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))) (pow (+ (* x y) (* z t)) 3) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* x (* x (* y y))) (* z (* t (- (* z t) (* x y))))) (- (* x (* x (* y y))) (* z (* z (* t t)))) (- (* x y) (* z t)) (exp (+ (* x y) (+ (* z t) (* a b)))) (exp (+ (* x y) (+ (* z t) (* a b)))) (log (+ (* x y) (+ (* z t) (* a b)))) (exp (+ (* x y) (+ (* z t) (* a b)))) (* (cbrt (+ (* x y) (+ (* z t) (* a b)))) (cbrt (+ (* x y) (+ (* z t) (* a b))))) (cbrt (+ (* x y) (+ (* z t) (* a b)))) (pow (+ (* x y) (+ (* z t) (* a b))) 3) (sqrt (+ (* x y) (+ (* z t) (* a b)))) (sqrt (+ (* x y) (+ (* z t) (* a b)))) (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (* a (* a (* b b))) (* (+ (* x y) (* z t)) (+ (* x y) (- (* z t) (* a b))))) (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* a (* a (* b b)))) (+ (* x y) (- (* z t) (* a b))) (+ (* z t) (* a b)) 0 (+ (* x y) (* z t)) (+ (* x y) (* z t)) 0 (+ (* x y) (+ (* z t) (* a b))) (+ (* x y) (+ (* z t) (* a b))) 1.273 * * * [progress]: adding candidates to table 1.312 * * [progress]: iteration 2 / 4 1.312 * * * [progress]: picking best candidate 1.318 * * * * [pick]: Picked # 1.318 * * * [progress]: localizing error 1.330 * * * [progress]: generating rewritten candidates 1.330 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.335 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.340 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 1.344 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.355 * * * [progress]: generating series expansions 1.355 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.355 * [approximate]: Taking taylor expansion of (+ (* t z) (* x y)) in (x y z t) around 0 1.355 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 1.355 * [taylor]: Taking taylor expansion of (* t z) in t 1.355 * [taylor]: Taking taylor expansion of t in t 1.355 * [taylor]: Taking taylor expansion of z in t 1.355 * [taylor]: Taking taylor expansion of (* x y) in t 1.355 * [taylor]: Taking taylor expansion of x in t 1.355 * [taylor]: Taking taylor expansion of y in t 1.355 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 1.355 * [taylor]: Taking taylor expansion of (* t z) in z 1.355 * [taylor]: Taking taylor expansion of t in z 1.355 * [taylor]: Taking taylor expansion of z in z 1.355 * [taylor]: Taking taylor expansion of (* x y) in z 1.355 * [taylor]: Taking taylor expansion of x in z 1.355 * [taylor]: Taking taylor expansion of y in z 1.355 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 1.355 * [taylor]: Taking taylor expansion of (* t z) in y 1.355 * [taylor]: Taking taylor expansion of t in y 1.355 * [taylor]: Taking taylor expansion of z in y 1.355 * [taylor]: Taking taylor expansion of (* x y) in y 1.355 * [taylor]: Taking taylor expansion of x in y 1.355 * [taylor]: Taking taylor expansion of y in y 1.355 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 1.356 * [taylor]: Taking taylor expansion of (* t z) in x 1.356 * [taylor]: Taking taylor expansion of t in x 1.356 * [taylor]: Taking taylor expansion of z in x 1.356 * [taylor]: Taking taylor expansion of (* x y) in x 1.356 * [taylor]: Taking taylor expansion of x in x 1.356 * [taylor]: Taking taylor expansion of y in x 1.356 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 1.356 * [taylor]: Taking taylor expansion of (* t z) in x 1.356 * [taylor]: Taking taylor expansion of t in x 1.356 * [taylor]: Taking taylor expansion of z in x 1.356 * [taylor]: Taking taylor expansion of (* x y) in x 1.356 * [taylor]: Taking taylor expansion of x in x 1.356 * [taylor]: Taking taylor expansion of y in x 1.356 * [taylor]: Taking taylor expansion of (* t z) in y 1.356 * [taylor]: Taking taylor expansion of t in y 1.356 * [taylor]: Taking taylor expansion of z in y 1.356 * [taylor]: Taking taylor expansion of (* t z) in z 1.356 * [taylor]: Taking taylor expansion of t in z 1.356 * [taylor]: Taking taylor expansion of z in z 1.356 * [taylor]: Taking taylor expansion of 0 in t 1.356 * [taylor]: Taking taylor expansion of y in y 1.356 * [taylor]: Taking taylor expansion of 0 in z 1.356 * [taylor]: Taking taylor expansion of 0 in t 1.356 * [taylor]: Taking taylor expansion of 0 in z 1.356 * [taylor]: Taking taylor expansion of 0 in t 1.356 * [taylor]: Taking taylor expansion of t in t 1.356 * [taylor]: Taking taylor expansion of 0 in y 1.356 * [taylor]: Taking taylor expansion of 0 in z 1.356 * [taylor]: Taking taylor expansion of 0 in t 1.357 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 1.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.357 * [taylor]: Taking taylor expansion of (* t z) in t 1.357 * [taylor]: Taking taylor expansion of t in t 1.357 * [taylor]: Taking taylor expansion of z in t 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.357 * [taylor]: Taking taylor expansion of (* x y) in t 1.357 * [taylor]: Taking taylor expansion of x in t 1.357 * [taylor]: Taking taylor expansion of y in t 1.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.357 * [taylor]: Taking taylor expansion of (* t z) in z 1.357 * [taylor]: Taking taylor expansion of t in z 1.357 * [taylor]: Taking taylor expansion of z in z 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.357 * [taylor]: Taking taylor expansion of (* x y) in z 1.357 * [taylor]: Taking taylor expansion of x in z 1.357 * [taylor]: Taking taylor expansion of y in z 1.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.357 * [taylor]: Taking taylor expansion of (* t z) in y 1.357 * [taylor]: Taking taylor expansion of t in y 1.357 * [taylor]: Taking taylor expansion of z in y 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.357 * [taylor]: Taking taylor expansion of (* x y) in y 1.357 * [taylor]: Taking taylor expansion of x in y 1.357 * [taylor]: Taking taylor expansion of y in y 1.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.357 * [taylor]: Taking taylor expansion of (* t z) in x 1.357 * [taylor]: Taking taylor expansion of t in x 1.357 * [taylor]: Taking taylor expansion of z in x 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.357 * [taylor]: Taking taylor expansion of (* x y) in x 1.357 * [taylor]: Taking taylor expansion of x in x 1.357 * [taylor]: Taking taylor expansion of y in x 1.357 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.357 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.358 * [taylor]: Taking taylor expansion of (* t z) in x 1.358 * [taylor]: Taking taylor expansion of t in x 1.358 * [taylor]: Taking taylor expansion of z in x 1.358 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.358 * [taylor]: Taking taylor expansion of (* x y) in x 1.358 * [taylor]: Taking taylor expansion of x in x 1.358 * [taylor]: Taking taylor expansion of y in x 1.358 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.358 * [taylor]: Taking taylor expansion of y in y 1.358 * [taylor]: Taking taylor expansion of 1 in z 1.358 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.358 * [taylor]: Taking taylor expansion of (* t z) in y 1.358 * [taylor]: Taking taylor expansion of t in y 1.358 * [taylor]: Taking taylor expansion of z in y 1.358 * [taylor]: Taking taylor expansion of 0 in z 1.358 * [taylor]: Taking taylor expansion of 1 in t 1.358 * [taylor]: Taking taylor expansion of 0 in y 1.358 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.358 * [taylor]: Taking taylor expansion of (* t z) in z 1.358 * [taylor]: Taking taylor expansion of t in z 1.358 * [taylor]: Taking taylor expansion of z in z 1.358 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.358 * [taylor]: Taking taylor expansion of t in t 1.359 * [taylor]: Taking taylor expansion of 0 in z 1.359 * [taylor]: Taking taylor expansion of 0 in t 1.359 * [taylor]: Taking taylor expansion of 0 in t 1.359 * [taylor]: Taking taylor expansion of 0 in y 1.359 * [taylor]: Taking taylor expansion of 0 in z 1.359 * [taylor]: Taking taylor expansion of 0 in z 1.359 * [taylor]: Taking taylor expansion of 0 in z 1.359 * [taylor]: Taking taylor expansion of 0 in t 1.359 * [taylor]: Taking taylor expansion of 0 in t 1.359 * [taylor]: Taking taylor expansion of 0 in t 1.359 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in y 1.360 * [taylor]: Taking taylor expansion of 0 in z 1.360 * [taylor]: Taking taylor expansion of 0 in z 1.360 * [taylor]: Taking taylor expansion of 0 in z 1.360 * [taylor]: Taking taylor expansion of 0 in z 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.360 * [taylor]: Taking taylor expansion of 0 in t 1.361 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 1.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.361 * [taylor]: Taking taylor expansion of (* t z) in t 1.361 * [taylor]: Taking taylor expansion of t in t 1.361 * [taylor]: Taking taylor expansion of z in t 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.361 * [taylor]: Taking taylor expansion of (* x y) in t 1.361 * [taylor]: Taking taylor expansion of x in t 1.361 * [taylor]: Taking taylor expansion of y in t 1.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.361 * [taylor]: Taking taylor expansion of (* t z) in z 1.361 * [taylor]: Taking taylor expansion of t in z 1.361 * [taylor]: Taking taylor expansion of z in z 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.361 * [taylor]: Taking taylor expansion of (* x y) in z 1.361 * [taylor]: Taking taylor expansion of x in z 1.361 * [taylor]: Taking taylor expansion of y in z 1.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.361 * [taylor]: Taking taylor expansion of (* t z) in y 1.361 * [taylor]: Taking taylor expansion of t in y 1.361 * [taylor]: Taking taylor expansion of z in y 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.361 * [taylor]: Taking taylor expansion of (* x y) in y 1.361 * [taylor]: Taking taylor expansion of x in y 1.361 * [taylor]: Taking taylor expansion of y in y 1.361 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.361 * [taylor]: Taking taylor expansion of (* t z) in x 1.361 * [taylor]: Taking taylor expansion of t in x 1.361 * [taylor]: Taking taylor expansion of z in x 1.361 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.361 * [taylor]: Taking taylor expansion of (* x y) in x 1.361 * [taylor]: Taking taylor expansion of x in x 1.361 * [taylor]: Taking taylor expansion of y in x 1.362 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.362 * [taylor]: Taking taylor expansion of (* t z) in x 1.362 * [taylor]: Taking taylor expansion of t in x 1.362 * [taylor]: Taking taylor expansion of z in x 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.362 * [taylor]: Taking taylor expansion of (* x y) in x 1.362 * [taylor]: Taking taylor expansion of x in x 1.362 * [taylor]: Taking taylor expansion of y in x 1.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.362 * [taylor]: Taking taylor expansion of y in y 1.362 * [taylor]: Taking taylor expansion of 1 in z 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.362 * [taylor]: Taking taylor expansion of (* t z) in y 1.362 * [taylor]: Taking taylor expansion of t in y 1.362 * [taylor]: Taking taylor expansion of z in y 1.362 * [taylor]: Taking taylor expansion of 0 in z 1.362 * [taylor]: Taking taylor expansion of 1 in t 1.362 * [taylor]: Taking taylor expansion of 0 in y 1.362 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.362 * [taylor]: Taking taylor expansion of (* t z) in z 1.362 * [taylor]: Taking taylor expansion of t in z 1.362 * [taylor]: Taking taylor expansion of z in z 1.363 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.363 * [taylor]: Taking taylor expansion of t in t 1.363 * [taylor]: Taking taylor expansion of 0 in z 1.363 * [taylor]: Taking taylor expansion of 0 in t 1.363 * [taylor]: Taking taylor expansion of 0 in t 1.363 * [taylor]: Taking taylor expansion of 0 in y 1.363 * [taylor]: Taking taylor expansion of 0 in z 1.363 * [taylor]: Taking taylor expansion of 0 in z 1.363 * [taylor]: Taking taylor expansion of 0 in z 1.363 * [taylor]: Taking taylor expansion of 0 in t 1.363 * [taylor]: Taking taylor expansion of 0 in t 1.363 * [taylor]: Taking taylor expansion of 0 in t 1.363 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of 0 in y 1.364 * [taylor]: Taking taylor expansion of 0 in z 1.364 * [taylor]: Taking taylor expansion of 0 in z 1.364 * [taylor]: Taking taylor expansion of 0 in z 1.364 * [taylor]: Taking taylor expansion of 0 in z 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.364 * [taylor]: Taking taylor expansion of 0 in t 1.365 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.365 * [approximate]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in (x y z t) around 0 1.365 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in t 1.365 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 1.365 * [taylor]: Taking taylor expansion of (* t z) in t 1.365 * [taylor]: Taking taylor expansion of t in t 1.365 * [taylor]: Taking taylor expansion of z in t 1.365 * [taylor]: Taking taylor expansion of (* x y) in t 1.365 * [taylor]: Taking taylor expansion of x in t 1.365 * [taylor]: Taking taylor expansion of y in t 1.365 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in z 1.365 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 1.365 * [taylor]: Taking taylor expansion of (* t z) in z 1.365 * [taylor]: Taking taylor expansion of t in z 1.365 * [taylor]: Taking taylor expansion of z in z 1.365 * [taylor]: Taking taylor expansion of (* x y) in z 1.365 * [taylor]: Taking taylor expansion of x in z 1.365 * [taylor]: Taking taylor expansion of y in z 1.365 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in y 1.365 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 1.365 * [taylor]: Taking taylor expansion of (* t z) in y 1.365 * [taylor]: Taking taylor expansion of t in y 1.365 * [taylor]: Taking taylor expansion of z in y 1.365 * [taylor]: Taking taylor expansion of (* x y) in y 1.365 * [taylor]: Taking taylor expansion of x in y 1.365 * [taylor]: Taking taylor expansion of y in y 1.365 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in x 1.365 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 1.365 * [taylor]: Taking taylor expansion of (* t z) in x 1.365 * [taylor]: Taking taylor expansion of t in x 1.365 * [taylor]: Taking taylor expansion of z in x 1.365 * [taylor]: Taking taylor expansion of (* x y) in x 1.365 * [taylor]: Taking taylor expansion of x in x 1.365 * [taylor]: Taking taylor expansion of y in x 1.365 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in x 1.365 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 1.365 * [taylor]: Taking taylor expansion of (* t z) in x 1.365 * [taylor]: Taking taylor expansion of t in x 1.365 * [taylor]: Taking taylor expansion of z in x 1.365 * [taylor]: Taking taylor expansion of (* x y) in x 1.366 * [taylor]: Taking taylor expansion of x in x 1.366 * [taylor]: Taking taylor expansion of y in x 1.366 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y 1.366 * [taylor]: Taking taylor expansion of (pow t 3) in y 1.366 * [taylor]: Taking taylor expansion of t in y 1.366 * [taylor]: Taking taylor expansion of (pow z 3) in y 1.366 * [taylor]: Taking taylor expansion of z in y 1.366 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z 1.366 * [taylor]: Taking taylor expansion of (pow t 3) in z 1.366 * [taylor]: Taking taylor expansion of t in z 1.366 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.366 * [taylor]: Taking taylor expansion of z in z 1.366 * [taylor]: Taking taylor expansion of (* 3 (* (pow t 2) (* (pow z 2) y))) in y 1.366 * [taylor]: Taking taylor expansion of 3 in y 1.367 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y 1.367 * [taylor]: Taking taylor expansion of (pow t 2) in y 1.367 * [taylor]: Taking taylor expansion of t in y 1.367 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.367 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.367 * [taylor]: Taking taylor expansion of z in y 1.367 * [taylor]: Taking taylor expansion of y in y 1.367 * [taylor]: Taking taylor expansion of 0 in z 1.367 * [taylor]: Taking taylor expansion of 0 in t 1.367 * [taylor]: Taking taylor expansion of 0 in z 1.367 * [taylor]: Taking taylor expansion of 0 in t 1.368 * [taylor]: Taking taylor expansion of (* 3 (* t (* z (pow y 2)))) in y 1.368 * [taylor]: Taking taylor expansion of 3 in y 1.368 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y 1.368 * [taylor]: Taking taylor expansion of t in y 1.368 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 1.368 * [taylor]: Taking taylor expansion of z in y 1.368 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.368 * [taylor]: Taking taylor expansion of y in y 1.368 * [taylor]: Taking taylor expansion of (* 3 (* (pow t 2) (pow z 2))) in z 1.368 * [taylor]: Taking taylor expansion of 3 in z 1.368 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z 1.368 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.368 * [taylor]: Taking taylor expansion of t in z 1.368 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.368 * [taylor]: Taking taylor expansion of z in z 1.368 * [taylor]: Taking taylor expansion of 0 in z 1.368 * [taylor]: Taking taylor expansion of 0 in t 1.368 * [taylor]: Taking taylor expansion of 0 in t 1.369 * [taylor]: Taking taylor expansion of 0 in t 1.369 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in (x y z t) around 0 1.369 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in t 1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.369 * [taylor]: Taking taylor expansion of (* t z) in t 1.369 * [taylor]: Taking taylor expansion of t in t 1.369 * [taylor]: Taking taylor expansion of z in t 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.369 * [taylor]: Taking taylor expansion of (* x y) in t 1.369 * [taylor]: Taking taylor expansion of x in t 1.369 * [taylor]: Taking taylor expansion of y in t 1.369 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in z 1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.369 * [taylor]: Taking taylor expansion of (* t z) in z 1.369 * [taylor]: Taking taylor expansion of t in z 1.369 * [taylor]: Taking taylor expansion of z in z 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.369 * [taylor]: Taking taylor expansion of (* x y) in z 1.369 * [taylor]: Taking taylor expansion of x in z 1.369 * [taylor]: Taking taylor expansion of y in z 1.369 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in y 1.369 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.369 * [taylor]: Taking taylor expansion of (* t z) in y 1.369 * [taylor]: Taking taylor expansion of t in y 1.369 * [taylor]: Taking taylor expansion of z in y 1.369 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.369 * [taylor]: Taking taylor expansion of (* x y) in y 1.369 * [taylor]: Taking taylor expansion of x in y 1.369 * [taylor]: Taking taylor expansion of y in y 1.370 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in x 1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.370 * [taylor]: Taking taylor expansion of (* t z) in x 1.370 * [taylor]: Taking taylor expansion of t in x 1.370 * [taylor]: Taking taylor expansion of z in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.370 * [taylor]: Taking taylor expansion of (* x y) in x 1.370 * [taylor]: Taking taylor expansion of x in x 1.370 * [taylor]: Taking taylor expansion of y in x 1.370 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in x 1.370 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.370 * [taylor]: Taking taylor expansion of (* t z) in x 1.370 * [taylor]: Taking taylor expansion of t in x 1.370 * [taylor]: Taking taylor expansion of z in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.370 * [taylor]: Taking taylor expansion of (* x y) in x 1.370 * [taylor]: Taking taylor expansion of x in x 1.370 * [taylor]: Taking taylor expansion of y in x 1.370 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.370 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.370 * [taylor]: Taking taylor expansion of y in y 1.370 * [taylor]: Taking taylor expansion of 1 in z 1.371 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t (* z (pow y 2))))) in y 1.371 * [taylor]: Taking taylor expansion of 3 in y 1.371 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z (pow y 2)))) in y 1.371 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y 1.371 * [taylor]: Taking taylor expansion of t in y 1.371 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 1.371 * [taylor]: Taking taylor expansion of z in y 1.371 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.371 * [taylor]: Taking taylor expansion of y in y 1.371 * [taylor]: Taking taylor expansion of 0 in z 1.372 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow t 2) (* (pow z 2) y)))) in y 1.372 * [taylor]: Taking taylor expansion of 3 in y 1.372 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* (pow z 2) y))) in y 1.372 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y 1.372 * [taylor]: Taking taylor expansion of (pow t 2) in y 1.372 * [taylor]: Taking taylor expansion of t in y 1.372 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.372 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.372 * [taylor]: Taking taylor expansion of z in y 1.372 * [taylor]: Taking taylor expansion of y in y 1.372 * [taylor]: Taking taylor expansion of (/ 3 (* t z)) in z 1.372 * [taylor]: Taking taylor expansion of 3 in z 1.373 * [taylor]: Taking taylor expansion of (* t z) in z 1.373 * [taylor]: Taking taylor expansion of t in z 1.373 * [taylor]: Taking taylor expansion of z in z 1.373 * [taylor]: Taking taylor expansion of 0 in z 1.373 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y 1.374 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y 1.374 * [taylor]: Taking taylor expansion of (pow t 3) in y 1.374 * [taylor]: Taking taylor expansion of t in y 1.374 * [taylor]: Taking taylor expansion of (pow z 3) in y 1.374 * [taylor]: Taking taylor expansion of z in y 1.374 * [taylor]: Taking taylor expansion of 0 in z 1.374 * [taylor]: Taking taylor expansion of 0 in z 1.374 * [taylor]: Taking taylor expansion of 1 in t 1.375 * [taylor]: Taking taylor expansion of 0 in y 1.375 * [taylor]: Taking taylor expansion of (/ 3 (* (pow t 2) (pow z 2))) in z 1.375 * [taylor]: Taking taylor expansion of 3 in z 1.375 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z 1.375 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.375 * [taylor]: Taking taylor expansion of t in z 1.375 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.375 * [taylor]: Taking taylor expansion of z in z 1.376 * [taylor]: Taking taylor expansion of 0 in z 1.376 * [taylor]: Taking taylor expansion of 0 in z 1.376 * [taylor]: Taking taylor expansion of (/ 3 t) in t 1.376 * [taylor]: Taking taylor expansion of 3 in t 1.376 * [taylor]: Taking taylor expansion of t in t 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.376 * [taylor]: Taking taylor expansion of 0 in t 1.377 * [taylor]: Taking taylor expansion of 0 in y 1.377 * [taylor]: Taking taylor expansion of 0 in z 1.378 * [taylor]: Taking taylor expansion of 0 in z 1.378 * [taylor]: Taking taylor expansion of 0 in z 1.378 * [taylor]: Taking taylor expansion of (/ 3 (pow t 2)) in t 1.378 * [taylor]: Taking taylor expansion of 3 in t 1.378 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.378 * [taylor]: Taking taylor expansion of t in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.378 * [taylor]: Taking taylor expansion of 0 in t 1.379 * [taylor]: Taking taylor expansion of 0 in y 1.379 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z 1.379 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z 1.379 * [taylor]: Taking taylor expansion of (pow t 3) in z 1.379 * [taylor]: Taking taylor expansion of t in z 1.379 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.379 * [taylor]: Taking taylor expansion of z in z 1.380 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 1.380 * [taylor]: Taking taylor expansion of (pow t 3) in t 1.380 * [taylor]: Taking taylor expansion of t in t 1.380 * [taylor]: Taking taylor expansion of 0 in z 1.381 * [taylor]: Taking taylor expansion of 0 in z 1.381 * [taylor]: Taking taylor expansion of 0 in z 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.381 * [taylor]: Taking taylor expansion of 0 in t 1.382 * [taylor]: Taking taylor expansion of 0 in t 1.383 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in (x y z t) around 0 1.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in t 1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.383 * [taylor]: Taking taylor expansion of (* t z) in t 1.383 * [taylor]: Taking taylor expansion of t in t 1.383 * [taylor]: Taking taylor expansion of z in t 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.383 * [taylor]: Taking taylor expansion of (* x y) in t 1.383 * [taylor]: Taking taylor expansion of x in t 1.383 * [taylor]: Taking taylor expansion of y in t 1.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in z 1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.383 * [taylor]: Taking taylor expansion of (* t z) in z 1.383 * [taylor]: Taking taylor expansion of t in z 1.383 * [taylor]: Taking taylor expansion of z in z 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.383 * [taylor]: Taking taylor expansion of (* x y) in z 1.383 * [taylor]: Taking taylor expansion of x in z 1.383 * [taylor]: Taking taylor expansion of y in z 1.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in y 1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.383 * [taylor]: Taking taylor expansion of (* t z) in y 1.383 * [taylor]: Taking taylor expansion of t in y 1.383 * [taylor]: Taking taylor expansion of z in y 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.383 * [taylor]: Taking taylor expansion of (* x y) in y 1.383 * [taylor]: Taking taylor expansion of x in y 1.383 * [taylor]: Taking taylor expansion of y in y 1.383 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in x 1.383 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.383 * [taylor]: Taking taylor expansion of (* t z) in x 1.383 * [taylor]: Taking taylor expansion of t in x 1.383 * [taylor]: Taking taylor expansion of z in x 1.383 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.383 * [taylor]: Taking taylor expansion of (* x y) in x 1.384 * [taylor]: Taking taylor expansion of x in x 1.384 * [taylor]: Taking taylor expansion of y in x 1.384 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in x 1.384 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.384 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.384 * [taylor]: Taking taylor expansion of (* t z) in x 1.384 * [taylor]: Taking taylor expansion of t in x 1.384 * [taylor]: Taking taylor expansion of z in x 1.384 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.384 * [taylor]: Taking taylor expansion of (* x y) in x 1.384 * [taylor]: Taking taylor expansion of x in x 1.384 * [taylor]: Taking taylor expansion of y in x 1.386 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 1.386 * [taylor]: Taking taylor expansion of (pow y 3) in y 1.386 * [taylor]: Taking taylor expansion of y in y 1.386 * [taylor]: Taking taylor expansion of 1 in z 1.386 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t (* z (pow y 2))))) in y 1.386 * [taylor]: Taking taylor expansion of 3 in y 1.386 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z (pow y 2)))) in y 1.386 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y 1.386 * [taylor]: Taking taylor expansion of t in y 1.386 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 1.386 * [taylor]: Taking taylor expansion of z in y 1.387 * [taylor]: Taking taylor expansion of (pow y 2) in y 1.387 * [taylor]: Taking taylor expansion of y in y 1.387 * [taylor]: Taking taylor expansion of 0 in z 1.387 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow t 2) (* (pow z 2) y)))) in y 1.387 * [taylor]: Taking taylor expansion of 3 in y 1.387 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* (pow z 2) y))) in y 1.387 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y 1.387 * [taylor]: Taking taylor expansion of (pow t 2) in y 1.387 * [taylor]: Taking taylor expansion of t in y 1.387 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 1.387 * [taylor]: Taking taylor expansion of (pow z 2) in y 1.387 * [taylor]: Taking taylor expansion of z in y 1.387 * [taylor]: Taking taylor expansion of y in y 1.388 * [taylor]: Taking taylor expansion of (/ 3 (* t z)) in z 1.388 * [taylor]: Taking taylor expansion of 3 in z 1.388 * [taylor]: Taking taylor expansion of (* t z) in z 1.388 * [taylor]: Taking taylor expansion of t in z 1.388 * [taylor]: Taking taylor expansion of z in z 1.388 * [taylor]: Taking taylor expansion of 0 in z 1.389 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y 1.389 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y 1.389 * [taylor]: Taking taylor expansion of (pow t 3) in y 1.389 * [taylor]: Taking taylor expansion of t in y 1.389 * [taylor]: Taking taylor expansion of (pow z 3) in y 1.389 * [taylor]: Taking taylor expansion of z in y 1.389 * [taylor]: Taking taylor expansion of 0 in z 1.389 * [taylor]: Taking taylor expansion of 0 in z 1.390 * [taylor]: Taking taylor expansion of 1 in t 1.390 * [taylor]: Taking taylor expansion of 0 in y 1.390 * [taylor]: Taking taylor expansion of (/ 3 (* (pow t 2) (pow z 2))) in z 1.390 * [taylor]: Taking taylor expansion of 3 in z 1.390 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z 1.390 * [taylor]: Taking taylor expansion of (pow t 2) in z 1.390 * [taylor]: Taking taylor expansion of t in z 1.390 * [taylor]: Taking taylor expansion of (pow z 2) in z 1.391 * [taylor]: Taking taylor expansion of z in z 1.391 * [taylor]: Taking taylor expansion of 0 in z 1.391 * [taylor]: Taking taylor expansion of 0 in z 1.391 * [taylor]: Taking taylor expansion of (/ 3 t) in t 1.391 * [taylor]: Taking taylor expansion of 3 in t 1.391 * [taylor]: Taking taylor expansion of t in t 1.391 * [taylor]: Taking taylor expansion of 0 in t 1.391 * [taylor]: Taking taylor expansion of 0 in t 1.392 * [taylor]: Taking taylor expansion of 0 in y 1.393 * [taylor]: Taking taylor expansion of 0 in z 1.393 * [taylor]: Taking taylor expansion of 0 in z 1.393 * [taylor]: Taking taylor expansion of 0 in z 1.393 * [taylor]: Taking taylor expansion of (/ 3 (pow t 2)) in t 1.393 * [taylor]: Taking taylor expansion of 3 in t 1.393 * [taylor]: Taking taylor expansion of (pow t 2) in t 1.393 * [taylor]: Taking taylor expansion of t in t 1.393 * [taylor]: Taking taylor expansion of 0 in t 1.393 * [taylor]: Taking taylor expansion of 0 in t 1.393 * [taylor]: Taking taylor expansion of 0 in t 1.393 * [taylor]: Taking taylor expansion of 0 in t 1.394 * [taylor]: Taking taylor expansion of 0 in y 1.394 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z 1.394 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z 1.394 * [taylor]: Taking taylor expansion of (pow t 3) in z 1.394 * [taylor]: Taking taylor expansion of t in z 1.395 * [taylor]: Taking taylor expansion of (pow z 3) in z 1.395 * [taylor]: Taking taylor expansion of z in z 1.395 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 1.395 * [taylor]: Taking taylor expansion of (pow t 3) in t 1.395 * [taylor]: Taking taylor expansion of t in t 1.395 * [taylor]: Taking taylor expansion of 0 in z 1.396 * [taylor]: Taking taylor expansion of 0 in z 1.396 * [taylor]: Taking taylor expansion of 0 in z 1.396 * [taylor]: Taking taylor expansion of 0 in t 1.396 * [taylor]: Taking taylor expansion of 0 in t 1.396 * [taylor]: Taking taylor expansion of 0 in t 1.397 * [taylor]: Taking taylor expansion of 0 in t 1.397 * [taylor]: Taking taylor expansion of 0 in t 1.397 * [taylor]: Taking taylor expansion of 0 in t 1.397 * [taylor]: Taking taylor expansion of 0 in t 1.398 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 1.398 * [approximate]: Taking taylor expansion of (+ (* t z) (* x y)) in (x y z t) around 0 1.398 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 1.398 * [taylor]: Taking taylor expansion of (* t z) in t 1.398 * [taylor]: Taking taylor expansion of t in t 1.398 * [taylor]: Taking taylor expansion of z in t 1.398 * [taylor]: Taking taylor expansion of (* x y) in t 1.398 * [taylor]: Taking taylor expansion of x in t 1.398 * [taylor]: Taking taylor expansion of y in t 1.398 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 1.398 * [taylor]: Taking taylor expansion of (* t z) in z 1.398 * [taylor]: Taking taylor expansion of t in z 1.398 * [taylor]: Taking taylor expansion of z in z 1.398 * [taylor]: Taking taylor expansion of (* x y) in z 1.398 * [taylor]: Taking taylor expansion of x in z 1.398 * [taylor]: Taking taylor expansion of y in z 1.398 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 1.398 * [taylor]: Taking taylor expansion of (* t z) in y 1.398 * [taylor]: Taking taylor expansion of t in y 1.398 * [taylor]: Taking taylor expansion of z in y 1.398 * [taylor]: Taking taylor expansion of (* x y) in y 1.398 * [taylor]: Taking taylor expansion of x in y 1.398 * [taylor]: Taking taylor expansion of y in y 1.398 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 1.398 * [taylor]: Taking taylor expansion of (* t z) in x 1.398 * [taylor]: Taking taylor expansion of t in x 1.398 * [taylor]: Taking taylor expansion of z in x 1.398 * [taylor]: Taking taylor expansion of (* x y) in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.398 * [taylor]: Taking taylor expansion of y in x 1.398 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 1.398 * [taylor]: Taking taylor expansion of (* t z) in x 1.398 * [taylor]: Taking taylor expansion of t in x 1.398 * [taylor]: Taking taylor expansion of z in x 1.398 * [taylor]: Taking taylor expansion of (* x y) in x 1.398 * [taylor]: Taking taylor expansion of x in x 1.398 * [taylor]: Taking taylor expansion of y in x 1.398 * [taylor]: Taking taylor expansion of (* t z) in y 1.398 * [taylor]: Taking taylor expansion of t in y 1.398 * [taylor]: Taking taylor expansion of z in y 1.398 * [taylor]: Taking taylor expansion of (* t z) in z 1.398 * [taylor]: Taking taylor expansion of t in z 1.399 * [taylor]: Taking taylor expansion of z in z 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.399 * [taylor]: Taking taylor expansion of y in y 1.399 * [taylor]: Taking taylor expansion of 0 in z 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.399 * [taylor]: Taking taylor expansion of 0 in z 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.399 * [taylor]: Taking taylor expansion of t in t 1.399 * [taylor]: Taking taylor expansion of 0 in y 1.399 * [taylor]: Taking taylor expansion of 0 in z 1.399 * [taylor]: Taking taylor expansion of 0 in t 1.399 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 1.399 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.399 * [taylor]: Taking taylor expansion of (* t z) in t 1.399 * [taylor]: Taking taylor expansion of t in t 1.399 * [taylor]: Taking taylor expansion of z in t 1.399 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.399 * [taylor]: Taking taylor expansion of (* x y) in t 1.399 * [taylor]: Taking taylor expansion of x in t 1.399 * [taylor]: Taking taylor expansion of y in t 1.399 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 1.399 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.399 * [taylor]: Taking taylor expansion of (* t z) in z 1.399 * [taylor]: Taking taylor expansion of t in z 1.399 * [taylor]: Taking taylor expansion of z in z 1.399 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.399 * [taylor]: Taking taylor expansion of (* x y) in z 1.399 * [taylor]: Taking taylor expansion of x in z 1.400 * [taylor]: Taking taylor expansion of y in z 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.400 * [taylor]: Taking taylor expansion of (* t z) in y 1.400 * [taylor]: Taking taylor expansion of t in y 1.400 * [taylor]: Taking taylor expansion of z in y 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.400 * [taylor]: Taking taylor expansion of (* x y) in y 1.400 * [taylor]: Taking taylor expansion of x in y 1.400 * [taylor]: Taking taylor expansion of y in y 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.400 * [taylor]: Taking taylor expansion of (* t z) in x 1.400 * [taylor]: Taking taylor expansion of t in x 1.400 * [taylor]: Taking taylor expansion of z in x 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.400 * [taylor]: Taking taylor expansion of (* x y) in x 1.400 * [taylor]: Taking taylor expansion of x in x 1.400 * [taylor]: Taking taylor expansion of y in x 1.400 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.400 * [taylor]: Taking taylor expansion of (* t z) in x 1.400 * [taylor]: Taking taylor expansion of t in x 1.400 * [taylor]: Taking taylor expansion of z in x 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.400 * [taylor]: Taking taylor expansion of (* x y) in x 1.400 * [taylor]: Taking taylor expansion of x in x 1.400 * [taylor]: Taking taylor expansion of y in x 1.400 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.400 * [taylor]: Taking taylor expansion of y in y 1.400 * [taylor]: Taking taylor expansion of 1 in z 1.400 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.400 * [taylor]: Taking taylor expansion of (* t z) in y 1.400 * [taylor]: Taking taylor expansion of t in y 1.400 * [taylor]: Taking taylor expansion of z in y 1.401 * [taylor]: Taking taylor expansion of 0 in z 1.401 * [taylor]: Taking taylor expansion of 1 in t 1.401 * [taylor]: Taking taylor expansion of 0 in y 1.401 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.401 * [taylor]: Taking taylor expansion of (* t z) in z 1.401 * [taylor]: Taking taylor expansion of t in z 1.401 * [taylor]: Taking taylor expansion of z in z 1.401 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.401 * [taylor]: Taking taylor expansion of t in t 1.401 * [taylor]: Taking taylor expansion of 0 in z 1.401 * [taylor]: Taking taylor expansion of 0 in t 1.401 * [taylor]: Taking taylor expansion of 0 in t 1.401 * [taylor]: Taking taylor expansion of 0 in y 1.401 * [taylor]: Taking taylor expansion of 0 in z 1.402 * [taylor]: Taking taylor expansion of 0 in z 1.402 * [taylor]: Taking taylor expansion of 0 in z 1.402 * [taylor]: Taking taylor expansion of 0 in t 1.402 * [taylor]: Taking taylor expansion of 0 in t 1.402 * [taylor]: Taking taylor expansion of 0 in t 1.402 * [taylor]: Taking taylor expansion of 0 in t 1.402 * [taylor]: Taking taylor expansion of 0 in y 1.402 * [taylor]: Taking taylor expansion of 0 in z 1.402 * [taylor]: Taking taylor expansion of 0 in z 1.402 * [taylor]: Taking taylor expansion of 0 in z 1.402 * [taylor]: Taking taylor expansion of 0 in z 1.402 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [taylor]: Taking taylor expansion of 0 in t 1.403 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 1.403 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.403 * [taylor]: Taking taylor expansion of (* t z) in t 1.403 * [taylor]: Taking taylor expansion of t in t 1.403 * [taylor]: Taking taylor expansion of z in t 1.403 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.403 * [taylor]: Taking taylor expansion of (* x y) in t 1.403 * [taylor]: Taking taylor expansion of x in t 1.403 * [taylor]: Taking taylor expansion of y in t 1.403 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 1.403 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.403 * [taylor]: Taking taylor expansion of (* t z) in z 1.403 * [taylor]: Taking taylor expansion of t in z 1.403 * [taylor]: Taking taylor expansion of z in z 1.403 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.403 * [taylor]: Taking taylor expansion of (* x y) in z 1.403 * [taylor]: Taking taylor expansion of x in z 1.403 * [taylor]: Taking taylor expansion of y in z 1.404 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.404 * [taylor]: Taking taylor expansion of (* t z) in y 1.404 * [taylor]: Taking taylor expansion of t in y 1.404 * [taylor]: Taking taylor expansion of z in y 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.404 * [taylor]: Taking taylor expansion of (* x y) in y 1.404 * [taylor]: Taking taylor expansion of x in y 1.404 * [taylor]: Taking taylor expansion of y in y 1.404 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.404 * [taylor]: Taking taylor expansion of (* t z) in x 1.404 * [taylor]: Taking taylor expansion of t in x 1.404 * [taylor]: Taking taylor expansion of z in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.404 * [taylor]: Taking taylor expansion of (* x y) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of y in x 1.404 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.404 * [taylor]: Taking taylor expansion of (* t z) in x 1.404 * [taylor]: Taking taylor expansion of t in x 1.404 * [taylor]: Taking taylor expansion of z in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.404 * [taylor]: Taking taylor expansion of (* x y) in x 1.404 * [taylor]: Taking taylor expansion of x in x 1.404 * [taylor]: Taking taylor expansion of y in x 1.404 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.404 * [taylor]: Taking taylor expansion of y in y 1.404 * [taylor]: Taking taylor expansion of 1 in z 1.404 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.405 * [taylor]: Taking taylor expansion of (* t z) in y 1.405 * [taylor]: Taking taylor expansion of t in y 1.405 * [taylor]: Taking taylor expansion of z in y 1.405 * [taylor]: Taking taylor expansion of 0 in z 1.405 * [taylor]: Taking taylor expansion of 1 in t 1.405 * [taylor]: Taking taylor expansion of 0 in y 1.405 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.405 * [taylor]: Taking taylor expansion of (* t z) in z 1.405 * [taylor]: Taking taylor expansion of t in z 1.405 * [taylor]: Taking taylor expansion of z in z 1.405 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.405 * [taylor]: Taking taylor expansion of t in t 1.405 * [taylor]: Taking taylor expansion of 0 in z 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in t 1.405 * [taylor]: Taking taylor expansion of 0 in y 1.405 * [taylor]: Taking taylor expansion of 0 in z 1.406 * [taylor]: Taking taylor expansion of 0 in z 1.406 * [taylor]: Taking taylor expansion of 0 in z 1.406 * [taylor]: Taking taylor expansion of 0 in t 1.406 * [taylor]: Taking taylor expansion of 0 in t 1.406 * [taylor]: Taking taylor expansion of 0 in t 1.406 * [taylor]: Taking taylor expansion of 0 in t 1.406 * [taylor]: Taking taylor expansion of 0 in y 1.406 * [taylor]: Taking taylor expansion of 0 in z 1.406 * [taylor]: Taking taylor expansion of 0 in z 1.406 * [taylor]: Taking taylor expansion of 0 in z 1.407 * [taylor]: Taking taylor expansion of 0 in z 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * [taylor]: Taking taylor expansion of 0 in t 1.407 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.407 * [approximate]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in (x y z t a b) around 0 1.407 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in b 1.407 * [taylor]: Taking taylor expansion of (* t z) in b 1.407 * [taylor]: Taking taylor expansion of t in b 1.407 * [taylor]: Taking taylor expansion of z in b 1.407 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in b 1.407 * [taylor]: Taking taylor expansion of (* a b) in b 1.407 * [taylor]: Taking taylor expansion of a in b 1.407 * [taylor]: Taking taylor expansion of b in b 1.407 * [taylor]: Taking taylor expansion of (* x y) in b 1.407 * [taylor]: Taking taylor expansion of x in b 1.407 * [taylor]: Taking taylor expansion of y in b 1.408 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in a 1.408 * [taylor]: Taking taylor expansion of (* t z) in a 1.408 * [taylor]: Taking taylor expansion of t in a 1.408 * [taylor]: Taking taylor expansion of z in a 1.408 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in a 1.408 * [taylor]: Taking taylor expansion of (* a b) in a 1.408 * [taylor]: Taking taylor expansion of a in a 1.408 * [taylor]: Taking taylor expansion of b in a 1.408 * [taylor]: Taking taylor expansion of (* x y) in a 1.408 * [taylor]: Taking taylor expansion of x in a 1.408 * [taylor]: Taking taylor expansion of y in a 1.408 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in t 1.408 * [taylor]: Taking taylor expansion of (* t z) in t 1.408 * [taylor]: Taking taylor expansion of t in t 1.408 * [taylor]: Taking taylor expansion of z in t 1.408 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in t 1.408 * [taylor]: Taking taylor expansion of (* a b) in t 1.408 * [taylor]: Taking taylor expansion of a in t 1.408 * [taylor]: Taking taylor expansion of b in t 1.408 * [taylor]: Taking taylor expansion of (* x y) in t 1.408 * [taylor]: Taking taylor expansion of x in t 1.408 * [taylor]: Taking taylor expansion of y in t 1.408 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in z 1.408 * [taylor]: Taking taylor expansion of (* t z) in z 1.408 * [taylor]: Taking taylor expansion of t in z 1.408 * [taylor]: Taking taylor expansion of z in z 1.408 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in z 1.408 * [taylor]: Taking taylor expansion of (* a b) in z 1.408 * [taylor]: Taking taylor expansion of a in z 1.408 * [taylor]: Taking taylor expansion of b in z 1.408 * [taylor]: Taking taylor expansion of (* x y) in z 1.408 * [taylor]: Taking taylor expansion of x in z 1.408 * [taylor]: Taking taylor expansion of y in z 1.408 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in y 1.408 * [taylor]: Taking taylor expansion of (* t z) in y 1.408 * [taylor]: Taking taylor expansion of t in y 1.408 * [taylor]: Taking taylor expansion of z in y 1.408 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in y 1.408 * [taylor]: Taking taylor expansion of (* a b) in y 1.408 * [taylor]: Taking taylor expansion of a in y 1.408 * [taylor]: Taking taylor expansion of b in y 1.408 * [taylor]: Taking taylor expansion of (* x y) in y 1.408 * [taylor]: Taking taylor expansion of x in y 1.408 * [taylor]: Taking taylor expansion of y in y 1.408 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x 1.408 * [taylor]: Taking taylor expansion of (* t z) in x 1.408 * [taylor]: Taking taylor expansion of t in x 1.408 * [taylor]: Taking taylor expansion of z in x 1.408 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x 1.408 * [taylor]: Taking taylor expansion of (* a b) in x 1.408 * [taylor]: Taking taylor expansion of a in x 1.408 * [taylor]: Taking taylor expansion of b in x 1.408 * [taylor]: Taking taylor expansion of (* x y) in x 1.408 * [taylor]: Taking taylor expansion of x in x 1.408 * [taylor]: Taking taylor expansion of y in x 1.408 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x 1.408 * [taylor]: Taking taylor expansion of (* t z) in x 1.408 * [taylor]: Taking taylor expansion of t in x 1.408 * [taylor]: Taking taylor expansion of z in x 1.408 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x 1.408 * [taylor]: Taking taylor expansion of (* a b) in x 1.408 * [taylor]: Taking taylor expansion of a in x 1.408 * [taylor]: Taking taylor expansion of b in x 1.408 * [taylor]: Taking taylor expansion of (* x y) in x 1.408 * [taylor]: Taking taylor expansion of x in x 1.409 * [taylor]: Taking taylor expansion of y in x 1.409 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in y 1.409 * [taylor]: Taking taylor expansion of (* t z) in y 1.409 * [taylor]: Taking taylor expansion of t in y 1.409 * [taylor]: Taking taylor expansion of z in y 1.409 * [taylor]: Taking taylor expansion of (* a b) in y 1.409 * [taylor]: Taking taylor expansion of a in y 1.409 * [taylor]: Taking taylor expansion of b in y 1.409 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in z 1.409 * [taylor]: Taking taylor expansion of (* t z) in z 1.409 * [taylor]: Taking taylor expansion of t in z 1.409 * [taylor]: Taking taylor expansion of z in z 1.409 * [taylor]: Taking taylor expansion of (* a b) in z 1.409 * [taylor]: Taking taylor expansion of a in z 1.409 * [taylor]: Taking taylor expansion of b in z 1.409 * [taylor]: Taking taylor expansion of (* a b) in t 1.409 * [taylor]: Taking taylor expansion of a in t 1.409 * [taylor]: Taking taylor expansion of b in t 1.409 * [taylor]: Taking taylor expansion of (* a b) in a 1.409 * [taylor]: Taking taylor expansion of a in a 1.409 * [taylor]: Taking taylor expansion of b in a 1.409 * [taylor]: Taking taylor expansion of 0 in b 1.409 * [taylor]: Taking taylor expansion of y in y 1.409 * [taylor]: Taking taylor expansion of 0 in z 1.409 * [taylor]: Taking taylor expansion of 0 in t 1.409 * [taylor]: Taking taylor expansion of 0 in a 1.409 * [taylor]: Taking taylor expansion of 0 in b 1.409 * [taylor]: Taking taylor expansion of 0 in z 1.409 * [taylor]: Taking taylor expansion of 0 in t 1.409 * [taylor]: Taking taylor expansion of 0 in a 1.409 * [taylor]: Taking taylor expansion of 0 in b 1.410 * [taylor]: Taking taylor expansion of t in t 1.410 * [taylor]: Taking taylor expansion of 0 in a 1.410 * [taylor]: Taking taylor expansion of 0 in b 1.410 * [taylor]: Taking taylor expansion of 0 in a 1.410 * [taylor]: Taking taylor expansion of 0 in b 1.410 * [taylor]: Taking taylor expansion of b in b 1.410 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0 1.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b 1.410 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.410 * [taylor]: Taking taylor expansion of (* t z) in b 1.410 * [taylor]: Taking taylor expansion of t in b 1.410 * [taylor]: Taking taylor expansion of z in b 1.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b 1.410 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.410 * [taylor]: Taking taylor expansion of (* a b) in b 1.410 * [taylor]: Taking taylor expansion of a in b 1.410 * [taylor]: Taking taylor expansion of b in b 1.410 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.410 * [taylor]: Taking taylor expansion of (* x y) in b 1.410 * [taylor]: Taking taylor expansion of x in b 1.410 * [taylor]: Taking taylor expansion of y in b 1.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a 1.410 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.410 * [taylor]: Taking taylor expansion of (* t z) in a 1.410 * [taylor]: Taking taylor expansion of t in a 1.410 * [taylor]: Taking taylor expansion of z in a 1.410 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a 1.410 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.411 * [taylor]: Taking taylor expansion of (* a b) in a 1.411 * [taylor]: Taking taylor expansion of a in a 1.411 * [taylor]: Taking taylor expansion of b in a 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.411 * [taylor]: Taking taylor expansion of (* x y) in a 1.411 * [taylor]: Taking taylor expansion of x in a 1.411 * [taylor]: Taking taylor expansion of y in a 1.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.411 * [taylor]: Taking taylor expansion of (* t z) in t 1.411 * [taylor]: Taking taylor expansion of t in t 1.411 * [taylor]: Taking taylor expansion of z in t 1.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.411 * [taylor]: Taking taylor expansion of (* a b) in t 1.411 * [taylor]: Taking taylor expansion of a in t 1.411 * [taylor]: Taking taylor expansion of b in t 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.411 * [taylor]: Taking taylor expansion of (* x y) in t 1.411 * [taylor]: Taking taylor expansion of x in t 1.411 * [taylor]: Taking taylor expansion of y in t 1.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.411 * [taylor]: Taking taylor expansion of (* t z) in z 1.411 * [taylor]: Taking taylor expansion of t in z 1.411 * [taylor]: Taking taylor expansion of z in z 1.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.411 * [taylor]: Taking taylor expansion of (* a b) in z 1.411 * [taylor]: Taking taylor expansion of a in z 1.411 * [taylor]: Taking taylor expansion of b in z 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.411 * [taylor]: Taking taylor expansion of (* x y) in z 1.411 * [taylor]: Taking taylor expansion of x in z 1.411 * [taylor]: Taking taylor expansion of y in z 1.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.411 * [taylor]: Taking taylor expansion of (* t z) in y 1.411 * [taylor]: Taking taylor expansion of t in y 1.411 * [taylor]: Taking taylor expansion of z in y 1.411 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y 1.411 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.412 * [taylor]: Taking taylor expansion of (* a b) in y 1.412 * [taylor]: Taking taylor expansion of a in y 1.412 * [taylor]: Taking taylor expansion of b in y 1.412 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.412 * [taylor]: Taking taylor expansion of (* x y) in y 1.412 * [taylor]: Taking taylor expansion of x in y 1.412 * [taylor]: Taking taylor expansion of y in y 1.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.412 * [taylor]: Taking taylor expansion of (* t z) in x 1.412 * [taylor]: Taking taylor expansion of t in x 1.412 * [taylor]: Taking taylor expansion of z in x 1.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.412 * [taylor]: Taking taylor expansion of (* a b) in x 1.412 * [taylor]: Taking taylor expansion of a in x 1.412 * [taylor]: Taking taylor expansion of b in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.412 * [taylor]: Taking taylor expansion of (* x y) in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of y in x 1.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.412 * [taylor]: Taking taylor expansion of (* t z) in x 1.412 * [taylor]: Taking taylor expansion of t in x 1.412 * [taylor]: Taking taylor expansion of z in x 1.412 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.412 * [taylor]: Taking taylor expansion of (* a b) in x 1.412 * [taylor]: Taking taylor expansion of a in x 1.412 * [taylor]: Taking taylor expansion of b in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.412 * [taylor]: Taking taylor expansion of (* x y) in x 1.412 * [taylor]: Taking taylor expansion of x in x 1.412 * [taylor]: Taking taylor expansion of y in x 1.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.412 * [taylor]: Taking taylor expansion of y in y 1.412 * [taylor]: Taking taylor expansion of 1 in z 1.413 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y 1.413 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.413 * [taylor]: Taking taylor expansion of (* t z) in y 1.413 * [taylor]: Taking taylor expansion of t in y 1.413 * [taylor]: Taking taylor expansion of z in y 1.413 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.413 * [taylor]: Taking taylor expansion of (* a b) in y 1.413 * [taylor]: Taking taylor expansion of a in y 1.413 * [taylor]: Taking taylor expansion of b in y 1.413 * [taylor]: Taking taylor expansion of 0 in z 1.413 * [taylor]: Taking taylor expansion of 1 in t 1.413 * [taylor]: Taking taylor expansion of 0 in y 1.413 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z 1.413 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.413 * [taylor]: Taking taylor expansion of (* t z) in z 1.413 * [taylor]: Taking taylor expansion of t in z 1.413 * [taylor]: Taking taylor expansion of z in z 1.413 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.413 * [taylor]: Taking taylor expansion of (* a b) in z 1.413 * [taylor]: Taking taylor expansion of a in z 1.414 * [taylor]: Taking taylor expansion of b in z 1.414 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.414 * [taylor]: Taking taylor expansion of t in t 1.414 * [taylor]: Taking taylor expansion of 1 in a 1.414 * [taylor]: Taking taylor expansion of 0 in z 1.414 * [taylor]: Taking taylor expansion of 0 in t 1.414 * [taylor]: Taking taylor expansion of 0 in t 1.414 * [taylor]: Taking taylor expansion of 1 in a 1.414 * [taylor]: Taking taylor expansion of 0 in y 1.414 * [taylor]: Taking taylor expansion of 0 in z 1.414 * [taylor]: Taking taylor expansion of 0 in z 1.414 * [taylor]: Taking taylor expansion of 0 in z 1.415 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.415 * [taylor]: Taking taylor expansion of (* a b) in t 1.415 * [taylor]: Taking taylor expansion of a in t 1.415 * [taylor]: Taking taylor expansion of b in t 1.415 * [taylor]: Taking taylor expansion of 0 in t 1.415 * [taylor]: Taking taylor expansion of 0 in t 1.415 * [taylor]: Taking taylor expansion of 0 in t 1.415 * [taylor]: Taking taylor expansion of 0 in a 1.415 * [taylor]: Taking taylor expansion of 0 in a 1.415 * [taylor]: Taking taylor expansion of 0 in a 1.415 * [taylor]: Taking taylor expansion of 0 in a 1.415 * [taylor]: Taking taylor expansion of 1 in b 1.415 * [taylor]: Taking taylor expansion of 1 in b 1.416 * [taylor]: Taking taylor expansion of 0 in y 1.416 * [taylor]: Taking taylor expansion of 0 in z 1.416 * [taylor]: Taking taylor expansion of 0 in z 1.416 * [taylor]: Taking taylor expansion of 0 in z 1.416 * [taylor]: Taking taylor expansion of 0 in z 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of 0 in t 1.416 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.416 * [taylor]: Taking taylor expansion of (* a b) in a 1.416 * [taylor]: Taking taylor expansion of a in a 1.416 * [taylor]: Taking taylor expansion of b in a 1.417 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.417 * [taylor]: Taking taylor expansion of b in b 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in a 1.417 * [taylor]: Taking taylor expansion of 0 in b 1.417 * [taylor]: Taking taylor expansion of 0 in b 1.417 * [taylor]: Taking taylor expansion of 0 in b 1.417 * [taylor]: Taking taylor expansion of 0 in b 1.417 * [taylor]: Taking taylor expansion of 0 in b 1.417 * [taylor]: Taking taylor expansion of 0 in b 1.418 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0 1.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b 1.418 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.418 * [taylor]: Taking taylor expansion of (* t z) in b 1.418 * [taylor]: Taking taylor expansion of t in b 1.418 * [taylor]: Taking taylor expansion of z in b 1.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b 1.418 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.418 * [taylor]: Taking taylor expansion of (* a b) in b 1.418 * [taylor]: Taking taylor expansion of a in b 1.418 * [taylor]: Taking taylor expansion of b in b 1.418 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.418 * [taylor]: Taking taylor expansion of (* x y) in b 1.418 * [taylor]: Taking taylor expansion of x in b 1.418 * [taylor]: Taking taylor expansion of y in b 1.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a 1.418 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.418 * [taylor]: Taking taylor expansion of (* t z) in a 1.418 * [taylor]: Taking taylor expansion of t in a 1.418 * [taylor]: Taking taylor expansion of z in a 1.418 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a 1.418 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.418 * [taylor]: Taking taylor expansion of (* a b) in a 1.418 * [taylor]: Taking taylor expansion of a in a 1.418 * [taylor]: Taking taylor expansion of b in a 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.419 * [taylor]: Taking taylor expansion of (* x y) in a 1.419 * [taylor]: Taking taylor expansion of x in a 1.419 * [taylor]: Taking taylor expansion of y in a 1.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.419 * [taylor]: Taking taylor expansion of (* t z) in t 1.419 * [taylor]: Taking taylor expansion of t in t 1.419 * [taylor]: Taking taylor expansion of z in t 1.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.419 * [taylor]: Taking taylor expansion of (* a b) in t 1.419 * [taylor]: Taking taylor expansion of a in t 1.419 * [taylor]: Taking taylor expansion of b in t 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.419 * [taylor]: Taking taylor expansion of (* x y) in t 1.419 * [taylor]: Taking taylor expansion of x in t 1.419 * [taylor]: Taking taylor expansion of y in t 1.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.419 * [taylor]: Taking taylor expansion of (* t z) in z 1.419 * [taylor]: Taking taylor expansion of t in z 1.419 * [taylor]: Taking taylor expansion of z in z 1.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.419 * [taylor]: Taking taylor expansion of (* a b) in z 1.419 * [taylor]: Taking taylor expansion of a in z 1.419 * [taylor]: Taking taylor expansion of b in z 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.419 * [taylor]: Taking taylor expansion of (* x y) in z 1.419 * [taylor]: Taking taylor expansion of x in z 1.419 * [taylor]: Taking taylor expansion of y in z 1.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.419 * [taylor]: Taking taylor expansion of (* t z) in y 1.419 * [taylor]: Taking taylor expansion of t in y 1.419 * [taylor]: Taking taylor expansion of z in y 1.419 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y 1.419 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.419 * [taylor]: Taking taylor expansion of (* a b) in y 1.419 * [taylor]: Taking taylor expansion of a in y 1.420 * [taylor]: Taking taylor expansion of b in y 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.420 * [taylor]: Taking taylor expansion of (* x y) in y 1.420 * [taylor]: Taking taylor expansion of x in y 1.420 * [taylor]: Taking taylor expansion of y in y 1.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.420 * [taylor]: Taking taylor expansion of (* t z) in x 1.420 * [taylor]: Taking taylor expansion of t in x 1.420 * [taylor]: Taking taylor expansion of z in x 1.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.420 * [taylor]: Taking taylor expansion of (* a b) in x 1.420 * [taylor]: Taking taylor expansion of a in x 1.420 * [taylor]: Taking taylor expansion of b in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.420 * [taylor]: Taking taylor expansion of (* x y) in x 1.420 * [taylor]: Taking taylor expansion of x in x 1.420 * [taylor]: Taking taylor expansion of y in x 1.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.420 * [taylor]: Taking taylor expansion of (* t z) in x 1.420 * [taylor]: Taking taylor expansion of t in x 1.420 * [taylor]: Taking taylor expansion of z in x 1.420 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.420 * [taylor]: Taking taylor expansion of (* a b) in x 1.420 * [taylor]: Taking taylor expansion of a in x 1.420 * [taylor]: Taking taylor expansion of b in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.420 * [taylor]: Taking taylor expansion of (* x y) in x 1.420 * [taylor]: Taking taylor expansion of x in x 1.420 * [taylor]: Taking taylor expansion of y in x 1.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.420 * [taylor]: Taking taylor expansion of y in y 1.421 * [taylor]: Taking taylor expansion of 1 in z 1.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y 1.421 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.421 * [taylor]: Taking taylor expansion of (* t z) in y 1.421 * [taylor]: Taking taylor expansion of t in y 1.421 * [taylor]: Taking taylor expansion of z in y 1.421 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.421 * [taylor]: Taking taylor expansion of (* a b) in y 1.421 * [taylor]: Taking taylor expansion of a in y 1.421 * [taylor]: Taking taylor expansion of b in y 1.421 * [taylor]: Taking taylor expansion of 0 in z 1.421 * [taylor]: Taking taylor expansion of 1 in t 1.421 * [taylor]: Taking taylor expansion of 0 in y 1.421 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z 1.421 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.421 * [taylor]: Taking taylor expansion of (* t z) in z 1.421 * [taylor]: Taking taylor expansion of t in z 1.422 * [taylor]: Taking taylor expansion of z in z 1.422 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.422 * [taylor]: Taking taylor expansion of (* a b) in z 1.422 * [taylor]: Taking taylor expansion of a in z 1.422 * [taylor]: Taking taylor expansion of b in z 1.422 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.422 * [taylor]: Taking taylor expansion of t in t 1.422 * [taylor]: Taking taylor expansion of 1 in a 1.422 * [taylor]: Taking taylor expansion of 0 in z 1.422 * [taylor]: Taking taylor expansion of 0 in t 1.422 * [taylor]: Taking taylor expansion of 0 in t 1.422 * [taylor]: Taking taylor expansion of 1 in a 1.423 * [taylor]: Taking taylor expansion of 0 in y 1.423 * [taylor]: Taking taylor expansion of 0 in z 1.423 * [taylor]: Taking taylor expansion of 0 in z 1.423 * [taylor]: Taking taylor expansion of 0 in z 1.423 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.423 * [taylor]: Taking taylor expansion of (* a b) in t 1.423 * [taylor]: Taking taylor expansion of a in t 1.423 * [taylor]: Taking taylor expansion of b in t 1.423 * [taylor]: Taking taylor expansion of 0 in t 1.423 * [taylor]: Taking taylor expansion of 0 in t 1.423 * [taylor]: Taking taylor expansion of 0 in t 1.423 * [taylor]: Taking taylor expansion of 0 in a 1.423 * [taylor]: Taking taylor expansion of 0 in a 1.423 * [taylor]: Taking taylor expansion of 0 in a 1.424 * [taylor]: Taking taylor expansion of 0 in a 1.424 * [taylor]: Taking taylor expansion of 1 in b 1.424 * [taylor]: Taking taylor expansion of 1 in b 1.424 * [taylor]: Taking taylor expansion of 0 in y 1.424 * [taylor]: Taking taylor expansion of 0 in z 1.424 * [taylor]: Taking taylor expansion of 0 in z 1.425 * [taylor]: Taking taylor expansion of 0 in z 1.425 * [taylor]: Taking taylor expansion of 0 in z 1.425 * [taylor]: Taking taylor expansion of 0 in t 1.425 * [taylor]: Taking taylor expansion of 0 in t 1.425 * [taylor]: Taking taylor expansion of 0 in t 1.425 * [taylor]: Taking taylor expansion of 0 in t 1.425 * [taylor]: Taking taylor expansion of 0 in t 1.425 * [taylor]: Taking taylor expansion of 0 in t 1.425 * [taylor]: Taking taylor expansion of 0 in t 1.425 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.425 * [taylor]: Taking taylor expansion of (* a b) in a 1.425 * [taylor]: Taking taylor expansion of a in a 1.425 * [taylor]: Taking taylor expansion of b in a 1.425 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.425 * [taylor]: Taking taylor expansion of b in b 1.425 * [taylor]: Taking taylor expansion of 0 in a 1.425 * [taylor]: Taking taylor expansion of 0 in a 1.425 * [taylor]: Taking taylor expansion of 0 in a 1.426 * [taylor]: Taking taylor expansion of 0 in a 1.426 * [taylor]: Taking taylor expansion of 0 in a 1.426 * [taylor]: Taking taylor expansion of 0 in a 1.426 * [taylor]: Taking taylor expansion of 0 in a 1.426 * [taylor]: Taking taylor expansion of 0 in b 1.426 * [taylor]: Taking taylor expansion of 0 in b 1.426 * [taylor]: Taking taylor expansion of 0 in b 1.426 * [taylor]: Taking taylor expansion of 0 in b 1.426 * [taylor]: Taking taylor expansion of 0 in b 1.426 * [taylor]: Taking taylor expansion of 0 in b 1.426 * * * [progress]: simplifying candidates 1.427 * [simplify]: Simplifying using # : (log (cbrt (pow (+ (* x y) (* z t)) 3))) (exp (cbrt (pow (+ (* x y) (* z t)) 3))) (cbrt (pow (* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t)))) 3)) (cbrt (pow (cbrt (+ (* x y) (* z t))) 3)) (cbrt (pow (sqrt (+ (* x y) (* z t))) 3)) (cbrt (pow (sqrt (+ (* x y) (* z t))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* x y) (* z t)) 3)) (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))) (cbrt (* (cbrt (pow (+ (* x y) (* z t)) 3)) (cbrt (pow (+ (* x y) (* z t)) 3)))) (cbrt (cbrt (pow (+ (* x y) (* z t)) 3))) (cbrt (pow (* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t)))) 3)) (cbrt (pow (cbrt (+ (* x y) (* z t))) 3)) (cbrt (pow (sqrt (+ (* x y) (* z t))) 3)) (cbrt (pow (sqrt (+ (* x y) (* z t))) 3)) (cbrt (pow 1 3)) (cbrt (pow (+ (* x y) (* z t)) 3)) (cbrt (+ (* x y) (* z t))) (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (sqrt (pow (+ (* x y) (* z t)) 3))) (cbrt (sqrt (pow (+ (* x y) (* z t)) 3))) (cbrt 1) (cbrt (pow (+ (* x y) (* z t)) 3)) (cbrt (pow (+ (* x y) (* z t)) (/ 3 2))) (cbrt (pow (+ (* x y) (* z t)) (/ 3 2))) (cbrt (pow (+ (pow (* x y) 3) (pow (* z t) 3)) 3)) (cbrt (pow (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))) 3)) (cbrt (pow (- (* (* x y) (* x y)) (* (* z t) (* z t))) 3)) (cbrt (pow (- (* x y) (* z t)) 3)) (* (cbrt (cbrt (pow (+ (* x y) (* z t)) 3))) (cbrt (cbrt (pow (+ (* x y) (* z t)) 3)))) (cbrt (cbrt (pow (+ (* x y) (* z t)) 3))) (* (* (cbrt (pow (+ (* x y) (* z t)) 3)) (cbrt (pow (+ (* x y) (* z t)) 3))) (cbrt (pow (+ (* x y) (* z t)) 3))) (sqrt (cbrt (pow (+ (* x y) (* z t)) 3))) (sqrt (cbrt (pow (+ (* x y) (* z t)) 3))) (* (log (+ (* x y) (* z t))) 3) (* (log (+ (* x y) (* z t))) 3) (* 1 3) (pow (+ (* x y) (* z t)) (* (cbrt 3) (cbrt 3))) (pow (+ (* x y) (* z t)) (sqrt 3)) (pow (+ (* x y) (* z t)) 1) (pow (* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t)))) 3) (pow (cbrt (+ (* x y) (* z t))) 3) (pow (sqrt (+ (* x y) (* z t))) 3) (pow (sqrt (+ (* x y) (* z t))) 3) (pow 1 3) (pow (+ (* x y) (* z t)) 3) (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (log (pow (+ (* x y) (* z t)) 3)) (exp (pow (+ (* x y) (* z t)) 3)) (* (cbrt (pow (+ (* x y) (* z t)) 3)) (cbrt (pow (+ (* x y) (* z t)) 3))) (cbrt (pow (+ (* x y) (* z t)) 3)) (* (* (pow (+ (* x y) (* z t)) 3) (pow (+ (* x y) (* z t)) 3)) (pow (+ (* x y) (* z t)) 3)) (pow (* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t)))) 3) (pow (cbrt (+ (* x y) (* z t))) 3) (pow (sqrt (+ (* x y) (* z t))) 3) (pow (sqrt (+ (* x y) (* z t))) 3) (pow 1 3) (pow (+ (* x y) (* z t)) 3) (pow (+ (pow (* x y) 3) (pow (* z t) 3)) 3) (pow (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))) 3) (pow (- (* (* x y) (* x y)) (* (* z t) (* z t))) 3) (pow (- (* x y) (* z t)) 3) (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (sqrt (pow (+ (* x y) (* z t)) 3)) (sqrt (pow (+ (* x y) (* z t)) 3)) (pow (+ (* x y) (* z t)) (/ 3 2)) (pow (+ (* x y) (* z t)) (/ 3 2)) (* (exp (* x y)) (exp (* z t))) (log (+ (* x y) (* z t))) (exp (+ (* x y) (* z t))) (* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))) (* (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* x y) (* x y)) (- (* (* z t) (* z t)) (* (* x y) (* z t)))) (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* x y) (* z t)) (* (exp (cbrt (pow (+ (* x y) (* z t)) 3))) (exp (* a b))) (log (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (exp (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (* (cbrt (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (cbrt (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b)))) (cbrt (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (* (* (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b)) (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (sqrt (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (sqrt (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (+ (pow (cbrt (pow (+ (* x y) (* z t)) 3)) 3) (pow (* a b) 3)) (+ (* (cbrt (pow (+ (* x y) (* z t)) 3)) (cbrt (pow (+ (* x y) (* z t)) 3))) (- (* (* a b) (* a b)) (* (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b)))) (- (* (cbrt (pow (+ (* x y) (* z t)) 3)) (cbrt (pow (+ (* x y) (* z t)) 3))) (* (* a b) (* a b))) (- (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b)) 0 (+ (* t z) (* x y)) (+ (* t z) (* x y)) 0 (+ (* 3 (* (pow t 2) (* x (* (pow z 2) y)))) (+ (* (pow t 3) (pow z 3)) (* 3 (* t (* (pow x 2) (* z (pow y 2))))))) (+ (* 3 (* (pow t 2) (* x (* (pow z 2) y)))) (+ (* (pow t 3) (pow z 3)) (* 3 (* t (* (pow x 2) (* z (pow y 2))))))) 0 (+ (* t z) (* x y)) (+ (* t z) (* x y)) 0 (+ (* t z) (+ (* a b) (* x y))) (+ (* t z) (+ (* a b) (* x y))) 1.463 * * [simplify]: iteration 0 : 5051 enodes (cost 1013 ) 1.467 * [simplify]: Simplified to: (log (+ (* x y) (* z t))) (exp (+ (* x y) (* z t))) (cbrt (pow (+ (* x y) (* z t)) 2)) (cbrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (cbrt 1) (+ (* x y) (* z t)) (cbrt (pow (+ (* x y) (* z t)) 2)) (cbrt (+ (* x y) (* z t))) (cbrt (pow (+ (* x y) (* z t)) 2)) (cbrt (+ (* x y) (* z t))) (cbrt (pow (+ (* x y) (* z t)) 2)) (cbrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (cbrt 1) (+ (* x y) (* z t)) (cbrt (+ (* x y) (* z t))) (cbrt (pow (+ (* x y) (* z t)) 2)) (cbrt (sqrt (pow (+ (* x y) (* z t)) 3))) (cbrt (sqrt (pow (+ (* x y) (* z t)) 3))) (cbrt 1) (+ (* x y) (* z t)) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* x (* y (* x y))) (* z (* t (- (* z t) (* x y))))) (- (* x (* y (* x y))) (* z (* t (* z t)))) (- (* x y) (* z t)) (cbrt (pow (+ (* x y) (* z t)) 2)) (cbrt (+ (* x y) (* z t))) (pow (+ (* x y) (* z t)) 3) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (* 3 (log (+ (* x y) (* z t)))) (* 3 (log (+ (* x y) (* z t)))) 3 (pow (+ (* x y) (* z t)) (* (cbrt 3) (cbrt 3))) (pow (+ (* x y) (* z t)) (sqrt 3)) (+ (* x y) (* z t)) (pow (+ (* x y) (* z t)) 2) (+ (* x y) (* z t)) (pow (+ (* x y) (* z t)) 3/2) (pow (+ (* x y) (* z t)) 3/2) 1 (pow (+ (* x y) (* z t)) 3) (pow (+ (* x y) (* z t)) 2) (* 3 (log (+ (* x y) (* z t)))) (exp (pow (+ (* x y) (* z t)) 3)) (pow (+ (* x y) (* z t)) 2) (+ (* x y) (* z t)) (pow (pow (+ (* x y) (* z t)) 3) 3) (pow (+ (* x y) (* z t)) 2) (+ (* x y) (* z t)) (pow (+ (* x y) (* z t)) 3/2) (pow (+ (* x y) (* z t)) 3/2) 1 (pow (+ (* x y) (* z t)) 3) (pow (+ (pow (* x y) 3) (pow (* z t) 3)) 3) (pow (+ (* x (* y (* x y))) (* z (* t (- (* z t) (* x y))))) 3) (pow (- (* x (* y (* x y))) (* z (* t (* z t)))) 3) (pow (- (* x y) (* z t)) 3) (pow (+ (* x y) (* z t)) 2) (sqrt (pow (+ (* x y) (* z t)) 3)) (sqrt (pow (+ (* x y) (* z t)) 3)) (pow (+ (* x y) (* z t)) 3/2) (pow (+ (* x y) (* z t)) 3/2) (exp (+ (* x y) (* z t))) (log (+ (* x y) (* z t))) (exp (+ (* x y) (* z t))) (cbrt (pow (+ (* x y) (* z t)) 2)) (cbrt (+ (* x y) (* z t))) (pow (+ (* x y) (* z t)) 3) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* x (* y (* x y))) (* z (* t (- (* z t) (* x y))))) (- (* x (* y (* x y))) (* z (* t (* z t)))) (- (* x y) (* z t)) (exp (+ (* x y) (+ (* z t) (* a b)))) (log (+ (* x y) (+ (* z t) (* a b)))) (exp (+ (* x y) (+ (* z t) (* a b)))) (* (cbrt (+ (* x y) (+ (* z t) (* a b)))) (cbrt (+ (* x y) (+ (* z t) (* a b))))) (cbrt (+ (* x y) (+ (* z t) (* a b)))) (pow (+ (* x y) (+ (* z t) (* a b))) 3) (sqrt (+ (* x y) (+ (* z t) (* a b)))) (sqrt (+ (* x y) (+ (* z t) (* a b)))) (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (+ (* x y) (* z t)) 2) (* a (* b (- (* a b) (+ (* x y) (* z t)))))) (- (pow (+ (* x y) (* z t)) 2) (* a (* b (* a b)))) (+ (* x y) (- (* z t) (* a b))) 0 (+ (* x y) (* z t)) (+ (* x y) (* z t)) 0 (+ (pow (* z t) 3) (* 3 (+ (* t (* x (* x (* y (* y z))))) (* x (* (* y (* z z)) (* t t)))))) (+ (pow (* z t) 3) (* 3 (+ (* t (* x (* x (* y (* y z))))) (* x (* (* y (* z z)) (* t t)))))) 0 (+ (* x y) (* z t)) (+ (* x y) (* z t)) 0 (+ (* x y) (+ (* z t) (* a b))) (+ (* x y) (+ (* z t) (* a b))) 1.467 * * * [progress]: adding candidates to table 1.558 * [progress]: [Phase 3 of 3] Extracting. 1.558 * * [regime]: Finding splitpoints for: (# #) 1.559 * * * [regime-changes]: Trying 11 branch expressions: ((* a b) (* z t) (* x y) (+ (* x y) (* z t)) (+ (+ (* x y) (* z t)) (* a b)) b a t z y x) 1.559 * * * * [regimes]: Trying to branch on (* a b) from (# #) 1.625 * * * * [regimes]: Trying to branch on (* z t) from (# #) 1.689 * * * * [regimes]: Trying to branch on (* x y) from (# #) 1.752 * * * * [regimes]: Trying to branch on (+ (* x y) (* z t)) from (# #) 1.817 * * * * [regimes]: Trying to branch on (+ (+ (* x y) (* z t)) (* a b)) from (# #) 1.882 * * * * [regimes]: Trying to branch on b from (# #) 1.944 * * * * [regimes]: Trying to branch on a from (# #) 2.008 * * * * [regimes]: Trying to branch on t from (# #) 2.071 * * * * [regimes]: Trying to branch on z from (# #) 2.135 * * * * [regimes]: Trying to branch on y from (# #) 2.200 * * * * [regimes]: Trying to branch on x from (# #) 2.263 * * * [regime]: Found split indices: #