62.659 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 24.583 * * * [progress]: [2/2] Setting up program. 24.588 * [progress]: [Phase 2 of 3] Improving. 24.588 * [simplify]: Simplifying using # : (+ (+ (* x y) (* z t)) (* a b)) 24.590 * * [simplify]: iteration 0 : 18 enodes (cost 5 ) 24.591 * * [simplify]: iteration 1 : 25 enodes (cost 5 ) 24.592 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 24.593 * * [simplify]: iteration 3 : 27 enodes (cost 5 ) 24.594 * [simplify]: Simplified to: (+ (+ (* x y) (* z t)) (* a b)) 24.594 * * [progress]: iteration 1 / 4 24.594 * * * [progress]: picking best candidate 24.598 * * * * [pick]: Picked # 24.598 * * * [progress]: localizing error 24.611 * * * [progress]: generating rewritten candidates 24.611 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 24.616 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 24.620 * * * [progress]: generating series expansions 24.620 * * * * [progress]: [ 1 / 2 ] generating series at (2) 24.620 * [approximate]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in (x y z t a b) around 0 24.620 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in b 24.620 * [taylor]: Taking taylor expansion of (* t z) in b 24.620 * [taylor]: Taking taylor expansion of t in b 24.620 * [taylor]: Taking taylor expansion of z in b 24.620 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in b 24.620 * [taylor]: Taking taylor expansion of (* a b) in b 24.620 * [taylor]: Taking taylor expansion of a in b 24.620 * [taylor]: Taking taylor expansion of b in b 24.620 * [taylor]: Taking taylor expansion of (* x y) in b 24.620 * [taylor]: Taking taylor expansion of x in b 24.620 * [taylor]: Taking taylor expansion of y in b 24.620 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in a 24.620 * [taylor]: Taking taylor expansion of (* t z) in a 24.620 * [taylor]: Taking taylor expansion of t in a 24.620 * [taylor]: Taking taylor expansion of z in a 24.620 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in a 24.620 * [taylor]: Taking taylor expansion of (* a b) in a 24.620 * [taylor]: Taking taylor expansion of a in a 24.620 * [taylor]: Taking taylor expansion of b in a 24.620 * [taylor]: Taking taylor expansion of (* x y) in a 24.620 * [taylor]: Taking taylor expansion of x in a 24.620 * [taylor]: Taking taylor expansion of y in a 24.620 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in t 24.620 * [taylor]: Taking taylor expansion of (* t z) in t 24.620 * [taylor]: Taking taylor expansion of t in t 24.620 * [taylor]: Taking taylor expansion of z in t 24.621 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in t 24.621 * [taylor]: Taking taylor expansion of (* a b) in t 24.621 * [taylor]: Taking taylor expansion of a in t 24.621 * [taylor]: Taking taylor expansion of b in t 24.621 * [taylor]: Taking taylor expansion of (* x y) in t 24.621 * [taylor]: Taking taylor expansion of x in t 24.621 * [taylor]: Taking taylor expansion of y in t 24.621 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in z 24.621 * [taylor]: Taking taylor expansion of (* t z) in z 24.621 * [taylor]: Taking taylor expansion of t in z 24.621 * [taylor]: Taking taylor expansion of z in z 24.621 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in z 24.621 * [taylor]: Taking taylor expansion of (* a b) in z 24.621 * [taylor]: Taking taylor expansion of a in z 24.621 * [taylor]: Taking taylor expansion of b in z 24.621 * [taylor]: Taking taylor expansion of (* x y) in z 24.621 * [taylor]: Taking taylor expansion of x in z 24.621 * [taylor]: Taking taylor expansion of y in z 24.621 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in y 24.621 * [taylor]: Taking taylor expansion of (* t z) in y 24.621 * [taylor]: Taking taylor expansion of t in y 24.621 * [taylor]: Taking taylor expansion of z in y 24.621 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in y 24.621 * [taylor]: Taking taylor expansion of (* a b) in y 24.621 * [taylor]: Taking taylor expansion of a in y 24.621 * [taylor]: Taking taylor expansion of b in y 24.621 * [taylor]: Taking taylor expansion of (* x y) in y 24.621 * [taylor]: Taking taylor expansion of x in y 24.621 * [taylor]: Taking taylor expansion of y in y 24.621 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x 24.621 * [taylor]: Taking taylor expansion of (* t z) in x 24.621 * [taylor]: Taking taylor expansion of t in x 24.621 * [taylor]: Taking taylor expansion of z in x 24.621 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x 24.621 * [taylor]: Taking taylor expansion of (* a b) in x 24.621 * [taylor]: Taking taylor expansion of a in x 24.621 * [taylor]: Taking taylor expansion of b in x 24.621 * [taylor]: Taking taylor expansion of (* x y) in x 24.621 * [taylor]: Taking taylor expansion of x in x 24.621 * [taylor]: Taking taylor expansion of y in x 24.621 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x 24.621 * [taylor]: Taking taylor expansion of (* t z) in x 24.621 * [taylor]: Taking taylor expansion of t in x 24.621 * [taylor]: Taking taylor expansion of z in x 24.621 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x 24.621 * [taylor]: Taking taylor expansion of (* a b) in x 24.621 * [taylor]: Taking taylor expansion of a in x 24.621 * [taylor]: Taking taylor expansion of b in x 24.621 * [taylor]: Taking taylor expansion of (* x y) in x 24.621 * [taylor]: Taking taylor expansion of x in x 24.621 * [taylor]: Taking taylor expansion of y in x 24.621 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in y 24.621 * [taylor]: Taking taylor expansion of (* t z) in y 24.621 * [taylor]: Taking taylor expansion of t in y 24.622 * [taylor]: Taking taylor expansion of z in y 24.622 * [taylor]: Taking taylor expansion of (* a b) in y 24.622 * [taylor]: Taking taylor expansion of a in y 24.622 * [taylor]: Taking taylor expansion of b in y 24.622 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in z 24.622 * [taylor]: Taking taylor expansion of (* t z) in z 24.622 * [taylor]: Taking taylor expansion of t in z 24.622 * [taylor]: Taking taylor expansion of z in z 24.622 * [taylor]: Taking taylor expansion of (* a b) in z 24.622 * [taylor]: Taking taylor expansion of a in z 24.622 * [taylor]: Taking taylor expansion of b in z 24.622 * [taylor]: Taking taylor expansion of (* a b) in t 24.622 * [taylor]: Taking taylor expansion of a in t 24.622 * [taylor]: Taking taylor expansion of b in t 24.622 * [taylor]: Taking taylor expansion of (* a b) in a 24.622 * [taylor]: Taking taylor expansion of a in a 24.622 * [taylor]: Taking taylor expansion of b in a 24.622 * [taylor]: Taking taylor expansion of 0 in b 24.622 * [taylor]: Taking taylor expansion of y in y 24.622 * [taylor]: Taking taylor expansion of 0 in z 24.622 * [taylor]: Taking taylor expansion of 0 in t 24.622 * [taylor]: Taking taylor expansion of 0 in a 24.622 * [taylor]: Taking taylor expansion of 0 in b 24.622 * [taylor]: Taking taylor expansion of 0 in z 24.622 * [taylor]: Taking taylor expansion of 0 in t 24.622 * [taylor]: Taking taylor expansion of 0 in a 24.622 * [taylor]: Taking taylor expansion of 0 in b 24.622 * [taylor]: Taking taylor expansion of t in t 24.622 * [taylor]: Taking taylor expansion of 0 in a 24.622 * [taylor]: Taking taylor expansion of 0 in b 24.622 * [taylor]: Taking taylor expansion of 0 in a 24.622 * [taylor]: Taking taylor expansion of 0 in b 24.623 * [taylor]: Taking taylor expansion of b in b 24.623 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0 24.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b 24.623 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 24.623 * [taylor]: Taking taylor expansion of (* t z) in b 24.623 * [taylor]: Taking taylor expansion of t in b 24.623 * [taylor]: Taking taylor expansion of z in b 24.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b 24.623 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 24.623 * [taylor]: Taking taylor expansion of (* a b) in b 24.623 * [taylor]: Taking taylor expansion of a in b 24.623 * [taylor]: Taking taylor expansion of b in b 24.623 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 24.623 * [taylor]: Taking taylor expansion of (* x y) in b 24.623 * [taylor]: Taking taylor expansion of x in b 24.623 * [taylor]: Taking taylor expansion of y in b 24.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a 24.623 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 24.623 * [taylor]: Taking taylor expansion of (* t z) in a 24.623 * [taylor]: Taking taylor expansion of t in a 24.623 * [taylor]: Taking taylor expansion of z in a 24.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a 24.623 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 24.623 * [taylor]: Taking taylor expansion of (* a b) in a 24.623 * [taylor]: Taking taylor expansion of a in a 24.623 * [taylor]: Taking taylor expansion of b in a 24.623 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 24.623 * [taylor]: Taking taylor expansion of (* x y) in a 24.623 * [taylor]: Taking taylor expansion of x in a 24.623 * [taylor]: Taking taylor expansion of y in a 24.623 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.624 * [taylor]: Taking taylor expansion of (* t z) in t 24.624 * [taylor]: Taking taylor expansion of t in t 24.624 * [taylor]: Taking taylor expansion of z in t 24.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 24.624 * [taylor]: Taking taylor expansion of (* a b) in t 24.624 * [taylor]: Taking taylor expansion of a in t 24.624 * [taylor]: Taking taylor expansion of b in t 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.624 * [taylor]: Taking taylor expansion of (* x y) in t 24.624 * [taylor]: Taking taylor expansion of x in t 24.624 * [taylor]: Taking taylor expansion of y in t 24.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.624 * [taylor]: Taking taylor expansion of (* t z) in z 24.624 * [taylor]: Taking taylor expansion of t in z 24.624 * [taylor]: Taking taylor expansion of z in z 24.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 24.624 * [taylor]: Taking taylor expansion of (* a b) in z 24.624 * [taylor]: Taking taylor expansion of a in z 24.624 * [taylor]: Taking taylor expansion of b in z 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.624 * [taylor]: Taking taylor expansion of (* x y) in z 24.624 * [taylor]: Taking taylor expansion of x in z 24.624 * [taylor]: Taking taylor expansion of y in z 24.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.624 * [taylor]: Taking taylor expansion of (* t z) in y 24.624 * [taylor]: Taking taylor expansion of t in y 24.624 * [taylor]: Taking taylor expansion of z in y 24.624 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 24.624 * [taylor]: Taking taylor expansion of (* a b) in y 24.624 * [taylor]: Taking taylor expansion of a in y 24.624 * [taylor]: Taking taylor expansion of b in y 24.624 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.624 * [taylor]: Taking taylor expansion of (* x y) in y 24.624 * [taylor]: Taking taylor expansion of x in y 24.624 * [taylor]: Taking taylor expansion of y in y 24.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 24.625 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.625 * [taylor]: Taking taylor expansion of (* t z) in x 24.625 * [taylor]: Taking taylor expansion of t in x 24.625 * [taylor]: Taking taylor expansion of z in x 24.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 24.625 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 24.625 * [taylor]: Taking taylor expansion of (* a b) in x 24.625 * [taylor]: Taking taylor expansion of a in x 24.625 * [taylor]: Taking taylor expansion of b in x 24.625 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.625 * [taylor]: Taking taylor expansion of (* x y) in x 24.625 * [taylor]: Taking taylor expansion of x in x 24.625 * [taylor]: Taking taylor expansion of y in x 24.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 24.625 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.625 * [taylor]: Taking taylor expansion of (* t z) in x 24.625 * [taylor]: Taking taylor expansion of t in x 24.625 * [taylor]: Taking taylor expansion of z in x 24.625 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 24.625 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 24.625 * [taylor]: Taking taylor expansion of (* a b) in x 24.625 * [taylor]: Taking taylor expansion of a in x 24.625 * [taylor]: Taking taylor expansion of b in x 24.625 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.625 * [taylor]: Taking taylor expansion of (* x y) in x 24.625 * [taylor]: Taking taylor expansion of x in x 24.625 * [taylor]: Taking taylor expansion of y in x 24.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.625 * [taylor]: Taking taylor expansion of y in y 24.625 * [taylor]: Taking taylor expansion of 1 in z 24.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y 24.626 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.626 * [taylor]: Taking taylor expansion of (* t z) in y 24.626 * [taylor]: Taking taylor expansion of t in y 24.626 * [taylor]: Taking taylor expansion of z in y 24.626 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 24.626 * [taylor]: Taking taylor expansion of (* a b) in y 24.626 * [taylor]: Taking taylor expansion of a in y 24.626 * [taylor]: Taking taylor expansion of b in y 24.626 * [taylor]: Taking taylor expansion of 0 in z 24.626 * [taylor]: Taking taylor expansion of 1 in t 24.626 * [taylor]: Taking taylor expansion of 0 in y 24.626 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z 24.626 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.626 * [taylor]: Taking taylor expansion of (* t z) in z 24.626 * [taylor]: Taking taylor expansion of t in z 24.626 * [taylor]: Taking taylor expansion of z in z 24.626 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 24.626 * [taylor]: Taking taylor expansion of (* a b) in z 24.626 * [taylor]: Taking taylor expansion of a in z 24.626 * [taylor]: Taking taylor expansion of b in z 24.627 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.627 * [taylor]: Taking taylor expansion of t in t 24.627 * [taylor]: Taking taylor expansion of 1 in a 24.627 * [taylor]: Taking taylor expansion of 0 in z 24.627 * [taylor]: Taking taylor expansion of 0 in t 24.627 * [taylor]: Taking taylor expansion of 0 in t 24.627 * [taylor]: Taking taylor expansion of 1 in a 24.627 * [taylor]: Taking taylor expansion of 0 in y 24.627 * [taylor]: Taking taylor expansion of 0 in z 24.627 * [taylor]: Taking taylor expansion of 0 in z 24.628 * [taylor]: Taking taylor expansion of 0 in z 24.628 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 24.628 * [taylor]: Taking taylor expansion of (* a b) in t 24.628 * [taylor]: Taking taylor expansion of a in t 24.628 * [taylor]: Taking taylor expansion of b in t 24.628 * [taylor]: Taking taylor expansion of 0 in t 24.628 * [taylor]: Taking taylor expansion of 0 in t 24.628 * [taylor]: Taking taylor expansion of 0 in t 24.628 * [taylor]: Taking taylor expansion of 0 in a 24.628 * [taylor]: Taking taylor expansion of 0 in a 24.628 * [taylor]: Taking taylor expansion of 0 in a 24.628 * [taylor]: Taking taylor expansion of 0 in a 24.628 * [taylor]: Taking taylor expansion of 1 in b 24.628 * [taylor]: Taking taylor expansion of 1 in b 24.629 * [taylor]: Taking taylor expansion of 0 in y 24.629 * [taylor]: Taking taylor expansion of 0 in z 24.629 * [taylor]: Taking taylor expansion of 0 in z 24.629 * [taylor]: Taking taylor expansion of 0 in z 24.629 * [taylor]: Taking taylor expansion of 0 in z 24.629 * [taylor]: Taking taylor expansion of 0 in t 24.629 * [taylor]: Taking taylor expansion of 0 in t 24.629 * [taylor]: Taking taylor expansion of 0 in t 24.629 * [taylor]: Taking taylor expansion of 0 in t 24.629 * [taylor]: Taking taylor expansion of 0 in t 24.629 * [taylor]: Taking taylor expansion of 0 in t 24.629 * [taylor]: Taking taylor expansion of 0 in t 24.630 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 24.630 * [taylor]: Taking taylor expansion of (* a b) in a 24.630 * [taylor]: Taking taylor expansion of a in a 24.630 * [taylor]: Taking taylor expansion of b in a 24.630 * [taylor]: Taking taylor expansion of (/ 1 b) in b 24.630 * [taylor]: Taking taylor expansion of b in b 24.630 * [taylor]: Taking taylor expansion of 0 in a 24.630 * [taylor]: Taking taylor expansion of 0 in a 24.630 * [taylor]: Taking taylor expansion of 0 in a 24.630 * [taylor]: Taking taylor expansion of 0 in a 24.630 * [taylor]: Taking taylor expansion of 0 in a 24.630 * [taylor]: Taking taylor expansion of 0 in a 24.630 * [taylor]: Taking taylor expansion of 0 in a 24.630 * [taylor]: Taking taylor expansion of 0 in b 24.630 * [taylor]: Taking taylor expansion of 0 in b 24.630 * [taylor]: Taking taylor expansion of 0 in b 24.630 * [taylor]: Taking taylor expansion of 0 in b 24.630 * [taylor]: Taking taylor expansion of 0 in b 24.630 * [taylor]: Taking taylor expansion of 0 in b 24.631 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0 24.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b 24.631 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 24.631 * [taylor]: Taking taylor expansion of (* t z) in b 24.631 * [taylor]: Taking taylor expansion of t in b 24.631 * [taylor]: Taking taylor expansion of z in b 24.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b 24.631 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 24.631 * [taylor]: Taking taylor expansion of (* a b) in b 24.631 * [taylor]: Taking taylor expansion of a in b 24.631 * [taylor]: Taking taylor expansion of b in b 24.631 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 24.631 * [taylor]: Taking taylor expansion of (* x y) in b 24.631 * [taylor]: Taking taylor expansion of x in b 24.631 * [taylor]: Taking taylor expansion of y in b 24.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a 24.631 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 24.631 * [taylor]: Taking taylor expansion of (* t z) in a 24.631 * [taylor]: Taking taylor expansion of t in a 24.631 * [taylor]: Taking taylor expansion of z in a 24.631 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a 24.631 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 24.631 * [taylor]: Taking taylor expansion of (* a b) in a 24.631 * [taylor]: Taking taylor expansion of a in a 24.631 * [taylor]: Taking taylor expansion of b in a 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 24.632 * [taylor]: Taking taylor expansion of (* x y) in a 24.632 * [taylor]: Taking taylor expansion of x in a 24.632 * [taylor]: Taking taylor expansion of y in a 24.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.632 * [taylor]: Taking taylor expansion of (* t z) in t 24.632 * [taylor]: Taking taylor expansion of t in t 24.632 * [taylor]: Taking taylor expansion of z in t 24.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 24.632 * [taylor]: Taking taylor expansion of (* a b) in t 24.632 * [taylor]: Taking taylor expansion of a in t 24.632 * [taylor]: Taking taylor expansion of b in t 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.632 * [taylor]: Taking taylor expansion of (* x y) in t 24.632 * [taylor]: Taking taylor expansion of x in t 24.632 * [taylor]: Taking taylor expansion of y in t 24.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.632 * [taylor]: Taking taylor expansion of (* t z) in z 24.632 * [taylor]: Taking taylor expansion of t in z 24.632 * [taylor]: Taking taylor expansion of z in z 24.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 24.632 * [taylor]: Taking taylor expansion of (* a b) in z 24.632 * [taylor]: Taking taylor expansion of a in z 24.632 * [taylor]: Taking taylor expansion of b in z 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.632 * [taylor]: Taking taylor expansion of (* x y) in z 24.632 * [taylor]: Taking taylor expansion of x in z 24.632 * [taylor]: Taking taylor expansion of y in z 24.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.632 * [taylor]: Taking taylor expansion of (* t z) in y 24.632 * [taylor]: Taking taylor expansion of t in y 24.632 * [taylor]: Taking taylor expansion of z in y 24.632 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y 24.632 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 24.632 * [taylor]: Taking taylor expansion of (* a b) in y 24.633 * [taylor]: Taking taylor expansion of a in y 24.633 * [taylor]: Taking taylor expansion of b in y 24.633 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.633 * [taylor]: Taking taylor expansion of (* x y) in y 24.633 * [taylor]: Taking taylor expansion of x in y 24.633 * [taylor]: Taking taylor expansion of y in y 24.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 24.633 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.633 * [taylor]: Taking taylor expansion of (* t z) in x 24.633 * [taylor]: Taking taylor expansion of t in x 24.633 * [taylor]: Taking taylor expansion of z in x 24.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 24.633 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 24.633 * [taylor]: Taking taylor expansion of (* a b) in x 24.633 * [taylor]: Taking taylor expansion of a in x 24.633 * [taylor]: Taking taylor expansion of b in x 24.633 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.633 * [taylor]: Taking taylor expansion of (* x y) in x 24.633 * [taylor]: Taking taylor expansion of x in x 24.633 * [taylor]: Taking taylor expansion of y in x 24.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 24.633 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.633 * [taylor]: Taking taylor expansion of (* t z) in x 24.633 * [taylor]: Taking taylor expansion of t in x 24.633 * [taylor]: Taking taylor expansion of z in x 24.633 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 24.633 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 24.633 * [taylor]: Taking taylor expansion of (* a b) in x 24.633 * [taylor]: Taking taylor expansion of a in x 24.633 * [taylor]: Taking taylor expansion of b in x 24.633 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.633 * [taylor]: Taking taylor expansion of (* x y) in x 24.633 * [taylor]: Taking taylor expansion of x in x 24.633 * [taylor]: Taking taylor expansion of y in x 24.633 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.633 * [taylor]: Taking taylor expansion of y in y 24.634 * [taylor]: Taking taylor expansion of 1 in z 24.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y 24.634 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.634 * [taylor]: Taking taylor expansion of (* t z) in y 24.634 * [taylor]: Taking taylor expansion of t in y 24.634 * [taylor]: Taking taylor expansion of z in y 24.634 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 24.634 * [taylor]: Taking taylor expansion of (* a b) in y 24.634 * [taylor]: Taking taylor expansion of a in y 24.634 * [taylor]: Taking taylor expansion of b in y 24.634 * [taylor]: Taking taylor expansion of 0 in z 24.634 * [taylor]: Taking taylor expansion of 1 in t 24.634 * [taylor]: Taking taylor expansion of 0 in y 24.634 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z 24.634 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.634 * [taylor]: Taking taylor expansion of (* t z) in z 24.634 * [taylor]: Taking taylor expansion of t in z 24.634 * [taylor]: Taking taylor expansion of z in z 24.635 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 24.635 * [taylor]: Taking taylor expansion of (* a b) in z 24.635 * [taylor]: Taking taylor expansion of a in z 24.635 * [taylor]: Taking taylor expansion of b in z 24.635 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.635 * [taylor]: Taking taylor expansion of t in t 24.635 * [taylor]: Taking taylor expansion of 1 in a 24.635 * [taylor]: Taking taylor expansion of 0 in z 24.635 * [taylor]: Taking taylor expansion of 0 in t 24.635 * [taylor]: Taking taylor expansion of 0 in t 24.635 * [taylor]: Taking taylor expansion of 1 in a 24.635 * [taylor]: Taking taylor expansion of 0 in y 24.635 * [taylor]: Taking taylor expansion of 0 in z 24.635 * [taylor]: Taking taylor expansion of 0 in z 24.636 * [taylor]: Taking taylor expansion of 0 in z 24.636 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 24.636 * [taylor]: Taking taylor expansion of (* a b) in t 24.636 * [taylor]: Taking taylor expansion of a in t 24.636 * [taylor]: Taking taylor expansion of b in t 24.636 * [taylor]: Taking taylor expansion of 0 in t 24.636 * [taylor]: Taking taylor expansion of 0 in t 24.636 * [taylor]: Taking taylor expansion of 0 in t 24.636 * [taylor]: Taking taylor expansion of 0 in a 24.636 * [taylor]: Taking taylor expansion of 0 in a 24.636 * [taylor]: Taking taylor expansion of 0 in a 24.636 * [taylor]: Taking taylor expansion of 0 in a 24.636 * [taylor]: Taking taylor expansion of 1 in b 24.636 * [taylor]: Taking taylor expansion of 1 in b 24.637 * [taylor]: Taking taylor expansion of 0 in y 24.637 * [taylor]: Taking taylor expansion of 0 in z 24.637 * [taylor]: Taking taylor expansion of 0 in z 24.637 * [taylor]: Taking taylor expansion of 0 in z 24.637 * [taylor]: Taking taylor expansion of 0 in z 24.637 * [taylor]: Taking taylor expansion of 0 in t 24.637 * [taylor]: Taking taylor expansion of 0 in t 24.637 * [taylor]: Taking taylor expansion of 0 in t 24.637 * [taylor]: Taking taylor expansion of 0 in t 24.637 * [taylor]: Taking taylor expansion of 0 in t 24.637 * [taylor]: Taking taylor expansion of 0 in t 24.637 * [taylor]: Taking taylor expansion of 0 in t 24.637 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 24.638 * [taylor]: Taking taylor expansion of (* a b) in a 24.638 * [taylor]: Taking taylor expansion of a in a 24.638 * [taylor]: Taking taylor expansion of b in a 24.638 * [taylor]: Taking taylor expansion of (/ 1 b) in b 24.638 * [taylor]: Taking taylor expansion of b in b 24.638 * [taylor]: Taking taylor expansion of 0 in a 24.638 * [taylor]: Taking taylor expansion of 0 in a 24.638 * [taylor]: Taking taylor expansion of 0 in a 24.638 * [taylor]: Taking taylor expansion of 0 in a 24.638 * [taylor]: Taking taylor expansion of 0 in a 24.638 * [taylor]: Taking taylor expansion of 0 in a 24.638 * [taylor]: Taking taylor expansion of 0 in a 24.638 * [taylor]: Taking taylor expansion of 0 in b 24.638 * [taylor]: Taking taylor expansion of 0 in b 24.638 * [taylor]: Taking taylor expansion of 0 in b 24.638 * [taylor]: Taking taylor expansion of 0 in b 24.638 * [taylor]: Taking taylor expansion of 0 in b 24.638 * [taylor]: Taking taylor expansion of 0 in b 24.639 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 24.639 * [approximate]: Taking taylor expansion of (+ (* t z) (* x y)) in (x y z t) around 0 24.639 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 24.639 * [taylor]: Taking taylor expansion of (* t z) in t 24.639 * [taylor]: Taking taylor expansion of t in t 24.639 * [taylor]: Taking taylor expansion of z in t 24.639 * [taylor]: Taking taylor expansion of (* x y) in t 24.639 * [taylor]: Taking taylor expansion of x in t 24.639 * [taylor]: Taking taylor expansion of y in t 24.639 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 24.639 * [taylor]: Taking taylor expansion of (* t z) in z 24.639 * [taylor]: Taking taylor expansion of t in z 24.639 * [taylor]: Taking taylor expansion of z in z 24.639 * [taylor]: Taking taylor expansion of (* x y) in z 24.639 * [taylor]: Taking taylor expansion of x in z 24.639 * [taylor]: Taking taylor expansion of y in z 24.639 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 24.639 * [taylor]: Taking taylor expansion of (* t z) in y 24.639 * [taylor]: Taking taylor expansion of t in y 24.639 * [taylor]: Taking taylor expansion of z in y 24.639 * [taylor]: Taking taylor expansion of (* x y) in y 24.639 * [taylor]: Taking taylor expansion of x in y 24.639 * [taylor]: Taking taylor expansion of y in y 24.639 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.639 * [taylor]: Taking taylor expansion of (* t z) in x 24.639 * [taylor]: Taking taylor expansion of t in x 24.639 * [taylor]: Taking taylor expansion of z in x 24.639 * [taylor]: Taking taylor expansion of (* x y) in x 24.639 * [taylor]: Taking taylor expansion of x in x 24.639 * [taylor]: Taking taylor expansion of y in x 24.639 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.639 * [taylor]: Taking taylor expansion of (* t z) in x 24.639 * [taylor]: Taking taylor expansion of t in x 24.639 * [taylor]: Taking taylor expansion of z in x 24.639 * [taylor]: Taking taylor expansion of (* x y) in x 24.639 * [taylor]: Taking taylor expansion of x in x 24.639 * [taylor]: Taking taylor expansion of y in x 24.640 * [taylor]: Taking taylor expansion of (* t z) in y 24.640 * [taylor]: Taking taylor expansion of t in y 24.640 * [taylor]: Taking taylor expansion of z in y 24.640 * [taylor]: Taking taylor expansion of (* t z) in z 24.640 * [taylor]: Taking taylor expansion of t in z 24.640 * [taylor]: Taking taylor expansion of z in z 24.640 * [taylor]: Taking taylor expansion of 0 in t 24.640 * [taylor]: Taking taylor expansion of y in y 24.640 * [taylor]: Taking taylor expansion of 0 in z 24.640 * [taylor]: Taking taylor expansion of 0 in t 24.640 * [taylor]: Taking taylor expansion of 0 in z 24.640 * [taylor]: Taking taylor expansion of 0 in t 24.640 * [taylor]: Taking taylor expansion of t in t 24.640 * [taylor]: Taking taylor expansion of 0 in y 24.640 * [taylor]: Taking taylor expansion of 0 in z 24.640 * [taylor]: Taking taylor expansion of 0 in t 24.640 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 24.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.640 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.640 * [taylor]: Taking taylor expansion of (* t z) in t 24.640 * [taylor]: Taking taylor expansion of t in t 24.640 * [taylor]: Taking taylor expansion of z in t 24.640 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.640 * [taylor]: Taking taylor expansion of (* x y) in t 24.640 * [taylor]: Taking taylor expansion of x in t 24.640 * [taylor]: Taking taylor expansion of y in t 24.640 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.640 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.640 * [taylor]: Taking taylor expansion of (* t z) in z 24.640 * [taylor]: Taking taylor expansion of t in z 24.640 * [taylor]: Taking taylor expansion of z in z 24.641 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.641 * [taylor]: Taking taylor expansion of (* x y) in z 24.641 * [taylor]: Taking taylor expansion of x in z 24.641 * [taylor]: Taking taylor expansion of y in z 24.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.641 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.641 * [taylor]: Taking taylor expansion of (* t z) in y 24.641 * [taylor]: Taking taylor expansion of t in y 24.641 * [taylor]: Taking taylor expansion of z in y 24.641 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.641 * [taylor]: Taking taylor expansion of (* x y) in y 24.641 * [taylor]: Taking taylor expansion of x in y 24.641 * [taylor]: Taking taylor expansion of y in y 24.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.641 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.641 * [taylor]: Taking taylor expansion of (* t z) in x 24.641 * [taylor]: Taking taylor expansion of t in x 24.641 * [taylor]: Taking taylor expansion of z in x 24.641 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.641 * [taylor]: Taking taylor expansion of (* x y) in x 24.641 * [taylor]: Taking taylor expansion of x in x 24.641 * [taylor]: Taking taylor expansion of y in x 24.641 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.641 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.641 * [taylor]: Taking taylor expansion of (* t z) in x 24.641 * [taylor]: Taking taylor expansion of t in x 24.641 * [taylor]: Taking taylor expansion of z in x 24.641 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.641 * [taylor]: Taking taylor expansion of (* x y) in x 24.641 * [taylor]: Taking taylor expansion of x in x 24.641 * [taylor]: Taking taylor expansion of y in x 24.641 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.641 * [taylor]: Taking taylor expansion of y in y 24.641 * [taylor]: Taking taylor expansion of 1 in z 24.642 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.642 * [taylor]: Taking taylor expansion of (* t z) in y 24.642 * [taylor]: Taking taylor expansion of t in y 24.642 * [taylor]: Taking taylor expansion of z in y 24.642 * [taylor]: Taking taylor expansion of 0 in z 24.642 * [taylor]: Taking taylor expansion of 1 in t 24.642 * [taylor]: Taking taylor expansion of 0 in y 24.642 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.642 * [taylor]: Taking taylor expansion of (* t z) in z 24.642 * [taylor]: Taking taylor expansion of t in z 24.642 * [taylor]: Taking taylor expansion of z in z 24.642 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.642 * [taylor]: Taking taylor expansion of t in t 24.642 * [taylor]: Taking taylor expansion of 0 in z 24.642 * [taylor]: Taking taylor expansion of 0 in t 24.642 * [taylor]: Taking taylor expansion of 0 in t 24.643 * [taylor]: Taking taylor expansion of 0 in y 24.643 * [taylor]: Taking taylor expansion of 0 in z 24.643 * [taylor]: Taking taylor expansion of 0 in z 24.643 * [taylor]: Taking taylor expansion of 0 in z 24.643 * [taylor]: Taking taylor expansion of 0 in t 24.643 * [taylor]: Taking taylor expansion of 0 in t 24.643 * [taylor]: Taking taylor expansion of 0 in t 24.643 * [taylor]: Taking taylor expansion of 0 in t 24.643 * [taylor]: Taking taylor expansion of 0 in y 24.643 * [taylor]: Taking taylor expansion of 0 in z 24.643 * [taylor]: Taking taylor expansion of 0 in z 24.643 * [taylor]: Taking taylor expansion of 0 in z 24.644 * [taylor]: Taking taylor expansion of 0 in z 24.644 * [taylor]: Taking taylor expansion of 0 in t 24.644 * [taylor]: Taking taylor expansion of 0 in t 24.644 * [taylor]: Taking taylor expansion of 0 in t 24.644 * [taylor]: Taking taylor expansion of 0 in t 24.644 * [taylor]: Taking taylor expansion of 0 in t 24.644 * [taylor]: Taking taylor expansion of 0 in t 24.644 * [taylor]: Taking taylor expansion of 0 in t 24.644 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 24.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.644 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.644 * [taylor]: Taking taylor expansion of (* t z) in t 24.644 * [taylor]: Taking taylor expansion of t in t 24.644 * [taylor]: Taking taylor expansion of z in t 24.644 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.644 * [taylor]: Taking taylor expansion of (* x y) in t 24.644 * [taylor]: Taking taylor expansion of x in t 24.644 * [taylor]: Taking taylor expansion of y in t 24.644 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.644 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.644 * [taylor]: Taking taylor expansion of (* t z) in z 24.645 * [taylor]: Taking taylor expansion of t in z 24.645 * [taylor]: Taking taylor expansion of z in z 24.645 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.645 * [taylor]: Taking taylor expansion of (* x y) in z 24.645 * [taylor]: Taking taylor expansion of x in z 24.645 * [taylor]: Taking taylor expansion of y in z 24.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.645 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.645 * [taylor]: Taking taylor expansion of (* t z) in y 24.645 * [taylor]: Taking taylor expansion of t in y 24.645 * [taylor]: Taking taylor expansion of z in y 24.645 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.645 * [taylor]: Taking taylor expansion of (* x y) in y 24.645 * [taylor]: Taking taylor expansion of x in y 24.645 * [taylor]: Taking taylor expansion of y in y 24.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.645 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.645 * [taylor]: Taking taylor expansion of (* t z) in x 24.645 * [taylor]: Taking taylor expansion of t in x 24.645 * [taylor]: Taking taylor expansion of z in x 24.645 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.645 * [taylor]: Taking taylor expansion of (* x y) in x 24.645 * [taylor]: Taking taylor expansion of x in x 24.645 * [taylor]: Taking taylor expansion of y in x 24.645 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.645 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.645 * [taylor]: Taking taylor expansion of (* t z) in x 24.645 * [taylor]: Taking taylor expansion of t in x 24.645 * [taylor]: Taking taylor expansion of z in x 24.645 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.645 * [taylor]: Taking taylor expansion of (* x y) in x 24.645 * [taylor]: Taking taylor expansion of x in x 24.645 * [taylor]: Taking taylor expansion of y in x 24.645 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.645 * [taylor]: Taking taylor expansion of y in y 24.645 * [taylor]: Taking taylor expansion of 1 in z 24.646 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.646 * [taylor]: Taking taylor expansion of (* t z) in y 24.646 * [taylor]: Taking taylor expansion of t in y 24.646 * [taylor]: Taking taylor expansion of z in y 24.646 * [taylor]: Taking taylor expansion of 0 in z 24.646 * [taylor]: Taking taylor expansion of 1 in t 24.646 * [taylor]: Taking taylor expansion of 0 in y 24.646 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.646 * [taylor]: Taking taylor expansion of (* t z) in z 24.646 * [taylor]: Taking taylor expansion of t in z 24.646 * [taylor]: Taking taylor expansion of z in z 24.646 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.646 * [taylor]: Taking taylor expansion of t in t 24.646 * [taylor]: Taking taylor expansion of 0 in z 24.646 * [taylor]: Taking taylor expansion of 0 in t 24.646 * [taylor]: Taking taylor expansion of 0 in t 24.647 * [taylor]: Taking taylor expansion of 0 in y 24.647 * [taylor]: Taking taylor expansion of 0 in z 24.647 * [taylor]: Taking taylor expansion of 0 in z 24.647 * [taylor]: Taking taylor expansion of 0 in z 24.647 * [taylor]: Taking taylor expansion of 0 in t 24.647 * [taylor]: Taking taylor expansion of 0 in t 24.647 * [taylor]: Taking taylor expansion of 0 in t 24.647 * [taylor]: Taking taylor expansion of 0 in t 24.647 * [taylor]: Taking taylor expansion of 0 in y 24.647 * [taylor]: Taking taylor expansion of 0 in z 24.647 * [taylor]: Taking taylor expansion of 0 in z 24.648 * [taylor]: Taking taylor expansion of 0 in z 24.648 * [taylor]: Taking taylor expansion of 0 in z 24.648 * [taylor]: Taking taylor expansion of 0 in t 24.648 * [taylor]: Taking taylor expansion of 0 in t 24.648 * [taylor]: Taking taylor expansion of 0 in t 24.648 * [taylor]: Taking taylor expansion of 0 in t 24.648 * [taylor]: Taking taylor expansion of 0 in t 24.648 * [taylor]: Taking taylor expansion of 0 in t 24.648 * [taylor]: Taking taylor expansion of 0 in t 24.648 * * * [progress]: simplifying candidates 24.649 * [simplify]: Simplifying using # : (* (* (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)) (* (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)) 0 (+ (* t z) (+ (* a b) (* x y))) (+ (* t z) (+ (* a b) (* x y))) 0 (+ (* t z) (* x y)) (+ (* t z) (* x y)) 24.652 * * [simplify]: iteration 0 : 187 enodes (cost 190 ) 24.656 * * [simplify]: iteration 1 : 747 enodes (cost 179 ) 24.671 * * [simplify]: iteration 2 : 2644 enodes (cost 177 ) 24.726 * * [simplify]: iteration 3 : 5001 enodes (cost 177 ) 24.727 * [simplify]: Simplified to: (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)) (+ (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))) (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))) (- (+ (* x y) (* z t)) (* a b)) (+ (* z t) (* a b)) (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)) (+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* x y) (* z t)) 0 (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b)) 0 (+ (* t z) (* x y)) (+ (* t z) (* x y)) 24.727 * * * [progress]: adding candidates to table 24.760 * * [progress]: iteration 2 / 4 24.760 * * * [progress]: picking best candidate 24.766 * * * * [pick]: Picked # 24.766 * * * [progress]: localizing error 24.778 * * * [progress]: generating rewritten candidates 24.778 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 24.783 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 24.787 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 24.795 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1) 24.800 * * * [progress]: generating series expansions 24.800 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 24.800 * [approximate]: Taking taylor expansion of (+ (* t z) (* x y)) in (x y z t) around 0 24.800 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 24.800 * [taylor]: Taking taylor expansion of (* t z) in t 24.800 * [taylor]: Taking taylor expansion of t in t 24.800 * [taylor]: Taking taylor expansion of z in t 24.800 * [taylor]: Taking taylor expansion of (* x y) in t 24.800 * [taylor]: Taking taylor expansion of x in t 24.800 * [taylor]: Taking taylor expansion of y in t 24.800 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 24.800 * [taylor]: Taking taylor expansion of (* t z) in z 24.800 * [taylor]: Taking taylor expansion of t in z 24.800 * [taylor]: Taking taylor expansion of z in z 24.800 * [taylor]: Taking taylor expansion of (* x y) in z 24.800 * [taylor]: Taking taylor expansion of x in z 24.800 * [taylor]: Taking taylor expansion of y in z 24.800 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 24.800 * [taylor]: Taking taylor expansion of (* t z) in y 24.801 * [taylor]: Taking taylor expansion of t in y 24.801 * [taylor]: Taking taylor expansion of z in y 24.801 * [taylor]: Taking taylor expansion of (* x y) in y 24.801 * [taylor]: Taking taylor expansion of x in y 24.801 * [taylor]: Taking taylor expansion of y in y 24.801 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.801 * [taylor]: Taking taylor expansion of (* t z) in x 24.801 * [taylor]: Taking taylor expansion of t in x 24.801 * [taylor]: Taking taylor expansion of z in x 24.801 * [taylor]: Taking taylor expansion of (* x y) in x 24.801 * [taylor]: Taking taylor expansion of x in x 24.801 * [taylor]: Taking taylor expansion of y in x 24.801 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.801 * [taylor]: Taking taylor expansion of (* t z) in x 24.801 * [taylor]: Taking taylor expansion of t in x 24.801 * [taylor]: Taking taylor expansion of z in x 24.801 * [taylor]: Taking taylor expansion of (* x y) in x 24.801 * [taylor]: Taking taylor expansion of x in x 24.801 * [taylor]: Taking taylor expansion of y in x 24.801 * [taylor]: Taking taylor expansion of (* t z) in y 24.801 * [taylor]: Taking taylor expansion of t in y 24.801 * [taylor]: Taking taylor expansion of z in y 24.801 * [taylor]: Taking taylor expansion of (* t z) in z 24.801 * [taylor]: Taking taylor expansion of t in z 24.801 * [taylor]: Taking taylor expansion of z in z 24.801 * [taylor]: Taking taylor expansion of 0 in t 24.801 * [taylor]: Taking taylor expansion of y in y 24.801 * [taylor]: Taking taylor expansion of 0 in z 24.801 * [taylor]: Taking taylor expansion of 0 in t 24.801 * [taylor]: Taking taylor expansion of 0 in z 24.801 * [taylor]: Taking taylor expansion of 0 in t 24.801 * [taylor]: Taking taylor expansion of t in t 24.801 * [taylor]: Taking taylor expansion of 0 in y 24.801 * [taylor]: Taking taylor expansion of 0 in z 24.802 * [taylor]: Taking taylor expansion of 0 in t 24.802 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 24.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.802 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.802 * [taylor]: Taking taylor expansion of (* t z) in t 24.802 * [taylor]: Taking taylor expansion of t in t 24.802 * [taylor]: Taking taylor expansion of z in t 24.802 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.802 * [taylor]: Taking taylor expansion of (* x y) in t 24.802 * [taylor]: Taking taylor expansion of x in t 24.802 * [taylor]: Taking taylor expansion of y in t 24.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.802 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.802 * [taylor]: Taking taylor expansion of (* t z) in z 24.802 * [taylor]: Taking taylor expansion of t in z 24.802 * [taylor]: Taking taylor expansion of z in z 24.802 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.802 * [taylor]: Taking taylor expansion of (* x y) in z 24.802 * [taylor]: Taking taylor expansion of x in z 24.802 * [taylor]: Taking taylor expansion of y in z 24.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.802 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.802 * [taylor]: Taking taylor expansion of (* t z) in y 24.802 * [taylor]: Taking taylor expansion of t in y 24.802 * [taylor]: Taking taylor expansion of z in y 24.802 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.802 * [taylor]: Taking taylor expansion of (* x y) in y 24.802 * [taylor]: Taking taylor expansion of x in y 24.802 * [taylor]: Taking taylor expansion of y in y 24.802 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.802 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.802 * [taylor]: Taking taylor expansion of (* t z) in x 24.803 * [taylor]: Taking taylor expansion of t in x 24.803 * [taylor]: Taking taylor expansion of z in x 24.803 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.803 * [taylor]: Taking taylor expansion of (* x y) in x 24.803 * [taylor]: Taking taylor expansion of x in x 24.803 * [taylor]: Taking taylor expansion of y in x 24.803 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.803 * [taylor]: Taking taylor expansion of (* t z) in x 24.803 * [taylor]: Taking taylor expansion of t in x 24.803 * [taylor]: Taking taylor expansion of z in x 24.803 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.803 * [taylor]: Taking taylor expansion of (* x y) in x 24.803 * [taylor]: Taking taylor expansion of x in x 24.803 * [taylor]: Taking taylor expansion of y in x 24.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.803 * [taylor]: Taking taylor expansion of y in y 24.803 * [taylor]: Taking taylor expansion of 1 in z 24.803 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.803 * [taylor]: Taking taylor expansion of (* t z) in y 24.803 * [taylor]: Taking taylor expansion of t in y 24.803 * [taylor]: Taking taylor expansion of z in y 24.803 * [taylor]: Taking taylor expansion of 0 in z 24.803 * [taylor]: Taking taylor expansion of 1 in t 24.804 * [taylor]: Taking taylor expansion of 0 in y 24.804 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.804 * [taylor]: Taking taylor expansion of (* t z) in z 24.804 * [taylor]: Taking taylor expansion of t in z 24.804 * [taylor]: Taking taylor expansion of z in z 24.804 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.804 * [taylor]: Taking taylor expansion of t in t 24.804 * [taylor]: Taking taylor expansion of 0 in z 24.804 * [taylor]: Taking taylor expansion of 0 in t 24.804 * [taylor]: Taking taylor expansion of 0 in t 24.804 * [taylor]: Taking taylor expansion of 0 in y 24.804 * [taylor]: Taking taylor expansion of 0 in z 24.804 * [taylor]: Taking taylor expansion of 0 in z 24.804 * [taylor]: Taking taylor expansion of 0 in z 24.804 * [taylor]: Taking taylor expansion of 0 in t 24.804 * [taylor]: Taking taylor expansion of 0 in t 24.804 * [taylor]: Taking taylor expansion of 0 in t 24.804 * [taylor]: Taking taylor expansion of 0 in t 24.805 * [taylor]: Taking taylor expansion of 0 in y 24.805 * [taylor]: Taking taylor expansion of 0 in z 24.805 * [taylor]: Taking taylor expansion of 0 in z 24.805 * [taylor]: Taking taylor expansion of 0 in z 24.805 * [taylor]: Taking taylor expansion of 0 in z 24.805 * [taylor]: Taking taylor expansion of 0 in t 24.805 * [taylor]: Taking taylor expansion of 0 in t 24.805 * [taylor]: Taking taylor expansion of 0 in t 24.805 * [taylor]: Taking taylor expansion of 0 in t 24.805 * [taylor]: Taking taylor expansion of 0 in t 24.805 * [taylor]: Taking taylor expansion of 0 in t 24.805 * [taylor]: Taking taylor expansion of 0 in t 24.806 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 24.806 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.806 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.806 * [taylor]: Taking taylor expansion of (* t z) in t 24.806 * [taylor]: Taking taylor expansion of t in t 24.806 * [taylor]: Taking taylor expansion of z in t 24.806 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.806 * [taylor]: Taking taylor expansion of (* x y) in t 24.806 * [taylor]: Taking taylor expansion of x in t 24.806 * [taylor]: Taking taylor expansion of y in t 24.806 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.806 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.806 * [taylor]: Taking taylor expansion of (* t z) in z 24.806 * [taylor]: Taking taylor expansion of t in z 24.806 * [taylor]: Taking taylor expansion of z in z 24.806 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.806 * [taylor]: Taking taylor expansion of (* x y) in z 24.806 * [taylor]: Taking taylor expansion of x in z 24.806 * [taylor]: Taking taylor expansion of y in z 24.806 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.806 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.806 * [taylor]: Taking taylor expansion of (* t z) in y 24.806 * [taylor]: Taking taylor expansion of t in y 24.806 * [taylor]: Taking taylor expansion of z in y 24.806 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.806 * [taylor]: Taking taylor expansion of (* x y) in y 24.807 * [taylor]: Taking taylor expansion of x in y 24.807 * [taylor]: Taking taylor expansion of y in y 24.807 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.807 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.807 * [taylor]: Taking taylor expansion of (* t z) in x 24.807 * [taylor]: Taking taylor expansion of t in x 24.807 * [taylor]: Taking taylor expansion of z in x 24.807 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.807 * [taylor]: Taking taylor expansion of (* x y) in x 24.807 * [taylor]: Taking taylor expansion of x in x 24.807 * [taylor]: Taking taylor expansion of y in x 24.807 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.807 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.807 * [taylor]: Taking taylor expansion of (* t z) in x 24.807 * [taylor]: Taking taylor expansion of t in x 24.807 * [taylor]: Taking taylor expansion of z in x 24.807 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.807 * [taylor]: Taking taylor expansion of (* x y) in x 24.807 * [taylor]: Taking taylor expansion of x in x 24.807 * [taylor]: Taking taylor expansion of y in x 24.807 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.807 * [taylor]: Taking taylor expansion of y in y 24.807 * [taylor]: Taking taylor expansion of 1 in z 24.807 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.807 * [taylor]: Taking taylor expansion of (* t z) in y 24.807 * [taylor]: Taking taylor expansion of t in y 24.807 * [taylor]: Taking taylor expansion of z in y 24.807 * [taylor]: Taking taylor expansion of 0 in z 24.807 * [taylor]: Taking taylor expansion of 1 in t 24.808 * [taylor]: Taking taylor expansion of 0 in y 24.808 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.808 * [taylor]: Taking taylor expansion of (* t z) in z 24.808 * [taylor]: Taking taylor expansion of t in z 24.808 * [taylor]: Taking taylor expansion of z in z 24.808 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.808 * [taylor]: Taking taylor expansion of t in t 24.808 * [taylor]: Taking taylor expansion of 0 in z 24.808 * [taylor]: Taking taylor expansion of 0 in t 24.808 * [taylor]: Taking taylor expansion of 0 in t 24.808 * [taylor]: Taking taylor expansion of 0 in y 24.808 * [taylor]: Taking taylor expansion of 0 in z 24.808 * [taylor]: Taking taylor expansion of 0 in z 24.808 * [taylor]: Taking taylor expansion of 0 in z 24.809 * [taylor]: Taking taylor expansion of 0 in t 24.809 * [taylor]: Taking taylor expansion of 0 in t 24.809 * [taylor]: Taking taylor expansion of 0 in t 24.809 * [taylor]: Taking taylor expansion of 0 in t 24.809 * [taylor]: Taking taylor expansion of 0 in y 24.809 * [taylor]: Taking taylor expansion of 0 in z 24.809 * [taylor]: Taking taylor expansion of 0 in z 24.809 * [taylor]: Taking taylor expansion of 0 in z 24.809 * [taylor]: Taking taylor expansion of 0 in z 24.809 * [taylor]: Taking taylor expansion of 0 in t 24.809 * [taylor]: Taking taylor expansion of 0 in t 24.809 * [taylor]: Taking taylor expansion of 0 in t 24.809 * [taylor]: Taking taylor expansion of 0 in t 24.810 * [taylor]: Taking taylor expansion of 0 in t 24.810 * [taylor]: Taking taylor expansion of 0 in t 24.810 * [taylor]: Taking taylor expansion of 0 in t 24.810 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 24.810 * [approximate]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in (x y z t) around 0 24.810 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in t 24.810 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 24.810 * [taylor]: Taking taylor expansion of (* t z) in t 24.810 * [taylor]: Taking taylor expansion of t in t 24.810 * [taylor]: Taking taylor expansion of z in t 24.810 * [taylor]: Taking taylor expansion of (* x y) in t 24.810 * [taylor]: Taking taylor expansion of x in t 24.810 * [taylor]: Taking taylor expansion of y in t 24.810 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in z 24.810 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 24.810 * [taylor]: Taking taylor expansion of (* t z) in z 24.810 * [taylor]: Taking taylor expansion of t in z 24.810 * [taylor]: Taking taylor expansion of z in z 24.810 * [taylor]: Taking taylor expansion of (* x y) in z 24.810 * [taylor]: Taking taylor expansion of x in z 24.810 * [taylor]: Taking taylor expansion of y in z 24.810 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in y 24.810 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 24.810 * [taylor]: Taking taylor expansion of (* t z) in y 24.810 * [taylor]: Taking taylor expansion of t in y 24.810 * [taylor]: Taking taylor expansion of z in y 24.810 * [taylor]: Taking taylor expansion of (* x y) in y 24.810 * [taylor]: Taking taylor expansion of x in y 24.810 * [taylor]: Taking taylor expansion of y in y 24.811 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in x 24.811 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.811 * [taylor]: Taking taylor expansion of (* t z) in x 24.811 * [taylor]: Taking taylor expansion of t in x 24.811 * [taylor]: Taking taylor expansion of z in x 24.811 * [taylor]: Taking taylor expansion of (* x y) in x 24.811 * [taylor]: Taking taylor expansion of x in x 24.811 * [taylor]: Taking taylor expansion of y in x 24.811 * [taylor]: Taking taylor expansion of (pow (+ (* t z) (* x y)) 3) in x 24.811 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.811 * [taylor]: Taking taylor expansion of (* t z) in x 24.811 * [taylor]: Taking taylor expansion of t in x 24.811 * [taylor]: Taking taylor expansion of z in x 24.811 * [taylor]: Taking taylor expansion of (* x y) in x 24.811 * [taylor]: Taking taylor expansion of x in x 24.811 * [taylor]: Taking taylor expansion of y in x 24.811 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y 24.811 * [taylor]: Taking taylor expansion of (pow t 3) in y 24.811 * [taylor]: Taking taylor expansion of t in y 24.811 * [taylor]: Taking taylor expansion of (pow z 3) in y 24.811 * [taylor]: Taking taylor expansion of z in y 24.811 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z 24.811 * [taylor]: Taking taylor expansion of (pow t 3) in z 24.811 * [taylor]: Taking taylor expansion of t in z 24.811 * [taylor]: Taking taylor expansion of (pow z 3) in z 24.811 * [taylor]: Taking taylor expansion of z in z 24.812 * [taylor]: Taking taylor expansion of (* 3 (* (pow t 2) (* (pow z 2) y))) in y 24.812 * [taylor]: Taking taylor expansion of 3 in y 24.812 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y 24.812 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.812 * [taylor]: Taking taylor expansion of t in y 24.812 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 24.812 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.812 * [taylor]: Taking taylor expansion of z in y 24.812 * [taylor]: Taking taylor expansion of y in y 24.812 * [taylor]: Taking taylor expansion of 0 in z 24.812 * [taylor]: Taking taylor expansion of 0 in t 24.812 * [taylor]: Taking taylor expansion of 0 in z 24.812 * [taylor]: Taking taylor expansion of 0 in t 24.813 * [taylor]: Taking taylor expansion of (* 3 (* t (* z (pow y 2)))) in y 24.813 * [taylor]: Taking taylor expansion of 3 in y 24.813 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y 24.813 * [taylor]: Taking taylor expansion of t in y 24.813 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 24.813 * [taylor]: Taking taylor expansion of z in y 24.813 * [taylor]: Taking taylor expansion of (pow y 2) in y 24.813 * [taylor]: Taking taylor expansion of y in y 24.813 * [taylor]: Taking taylor expansion of (* 3 (* (pow t 2) (pow z 2))) in z 24.813 * [taylor]: Taking taylor expansion of 3 in z 24.813 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z 24.813 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.813 * [taylor]: Taking taylor expansion of t in z 24.813 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.813 * [taylor]: Taking taylor expansion of z in z 24.814 * [taylor]: Taking taylor expansion of 0 in z 24.814 * [taylor]: Taking taylor expansion of 0 in t 24.814 * [taylor]: Taking taylor expansion of 0 in t 24.814 * [taylor]: Taking taylor expansion of 0 in t 24.814 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in (x y z t) around 0 24.814 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in t 24.814 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.814 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.814 * [taylor]: Taking taylor expansion of (* t z) in t 24.814 * [taylor]: Taking taylor expansion of t in t 24.814 * [taylor]: Taking taylor expansion of z in t 24.814 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.814 * [taylor]: Taking taylor expansion of (* x y) in t 24.814 * [taylor]: Taking taylor expansion of x in t 24.814 * [taylor]: Taking taylor expansion of y in t 24.814 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in z 24.814 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.814 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.814 * [taylor]: Taking taylor expansion of (* t z) in z 24.814 * [taylor]: Taking taylor expansion of t in z 24.814 * [taylor]: Taking taylor expansion of z in z 24.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.815 * [taylor]: Taking taylor expansion of (* x y) in z 24.815 * [taylor]: Taking taylor expansion of x in z 24.815 * [taylor]: Taking taylor expansion of y in z 24.815 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in y 24.815 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.815 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.815 * [taylor]: Taking taylor expansion of (* t z) in y 24.815 * [taylor]: Taking taylor expansion of t in y 24.815 * [taylor]: Taking taylor expansion of z in y 24.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.815 * [taylor]: Taking taylor expansion of (* x y) in y 24.815 * [taylor]: Taking taylor expansion of x in y 24.815 * [taylor]: Taking taylor expansion of y in y 24.815 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in x 24.815 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.815 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.815 * [taylor]: Taking taylor expansion of (* t z) in x 24.815 * [taylor]: Taking taylor expansion of t in x 24.815 * [taylor]: Taking taylor expansion of z in x 24.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.815 * [taylor]: Taking taylor expansion of (* x y) in x 24.815 * [taylor]: Taking taylor expansion of x in x 24.815 * [taylor]: Taking taylor expansion of y in x 24.815 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in x 24.815 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.815 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.815 * [taylor]: Taking taylor expansion of (* t z) in x 24.815 * [taylor]: Taking taylor expansion of t in x 24.815 * [taylor]: Taking taylor expansion of z in x 24.815 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.815 * [taylor]: Taking taylor expansion of (* x y) in x 24.815 * [taylor]: Taking taylor expansion of x in x 24.815 * [taylor]: Taking taylor expansion of y in x 24.816 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 24.816 * [taylor]: Taking taylor expansion of (pow y 3) in y 24.816 * [taylor]: Taking taylor expansion of y in y 24.816 * [taylor]: Taking taylor expansion of 1 in z 24.816 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t (* z (pow y 2))))) in y 24.816 * [taylor]: Taking taylor expansion of 3 in y 24.816 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z (pow y 2)))) in y 24.816 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y 24.816 * [taylor]: Taking taylor expansion of t in y 24.816 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 24.816 * [taylor]: Taking taylor expansion of z in y 24.816 * [taylor]: Taking taylor expansion of (pow y 2) in y 24.816 * [taylor]: Taking taylor expansion of y in y 24.816 * [taylor]: Taking taylor expansion of 0 in z 24.817 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow t 2) (* (pow z 2) y)))) in y 24.817 * [taylor]: Taking taylor expansion of 3 in y 24.817 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* (pow z 2) y))) in y 24.817 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y 24.817 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.817 * [taylor]: Taking taylor expansion of t in y 24.817 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 24.817 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.817 * [taylor]: Taking taylor expansion of z in y 24.817 * [taylor]: Taking taylor expansion of y in y 24.818 * [taylor]: Taking taylor expansion of (/ 3 (* t z)) in z 24.818 * [taylor]: Taking taylor expansion of 3 in z 24.818 * [taylor]: Taking taylor expansion of (* t z) in z 24.818 * [taylor]: Taking taylor expansion of t in z 24.818 * [taylor]: Taking taylor expansion of z in z 24.818 * [taylor]: Taking taylor expansion of 0 in z 24.819 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y 24.819 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y 24.819 * [taylor]: Taking taylor expansion of (pow t 3) in y 24.819 * [taylor]: Taking taylor expansion of t in y 24.819 * [taylor]: Taking taylor expansion of (pow z 3) in y 24.819 * [taylor]: Taking taylor expansion of z in y 24.819 * [taylor]: Taking taylor expansion of 0 in z 24.819 * [taylor]: Taking taylor expansion of 0 in z 24.819 * [taylor]: Taking taylor expansion of 1 in t 24.820 * [taylor]: Taking taylor expansion of 0 in y 24.820 * [taylor]: Taking taylor expansion of (/ 3 (* (pow t 2) (pow z 2))) in z 24.820 * [taylor]: Taking taylor expansion of 3 in z 24.820 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z 24.820 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.820 * [taylor]: Taking taylor expansion of t in z 24.820 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.820 * [taylor]: Taking taylor expansion of z in z 24.821 * [taylor]: Taking taylor expansion of 0 in z 24.821 * [taylor]: Taking taylor expansion of 0 in z 24.821 * [taylor]: Taking taylor expansion of (/ 3 t) in t 24.821 * [taylor]: Taking taylor expansion of 3 in t 24.821 * [taylor]: Taking taylor expansion of t in t 24.821 * [taylor]: Taking taylor expansion of 0 in t 24.821 * [taylor]: Taking taylor expansion of 0 in t 24.822 * [taylor]: Taking taylor expansion of 0 in y 24.822 * [taylor]: Taking taylor expansion of 0 in z 24.823 * [taylor]: Taking taylor expansion of 0 in z 24.823 * [taylor]: Taking taylor expansion of 0 in z 24.823 * [taylor]: Taking taylor expansion of (/ 3 (pow t 2)) in t 24.823 * [taylor]: Taking taylor expansion of 3 in t 24.823 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.823 * [taylor]: Taking taylor expansion of t in t 24.823 * [taylor]: Taking taylor expansion of 0 in t 24.823 * [taylor]: Taking taylor expansion of 0 in t 24.823 * [taylor]: Taking taylor expansion of 0 in t 24.823 * [taylor]: Taking taylor expansion of 0 in t 24.824 * [taylor]: Taking taylor expansion of 0 in y 24.824 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z 24.824 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z 24.824 * [taylor]: Taking taylor expansion of (pow t 3) in z 24.824 * [taylor]: Taking taylor expansion of t in z 24.824 * [taylor]: Taking taylor expansion of (pow z 3) in z 24.824 * [taylor]: Taking taylor expansion of z in z 24.825 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 24.825 * [taylor]: Taking taylor expansion of (pow t 3) in t 24.825 * [taylor]: Taking taylor expansion of t in t 24.825 * [taylor]: Taking taylor expansion of 0 in z 24.826 * [taylor]: Taking taylor expansion of 0 in z 24.826 * [taylor]: Taking taylor expansion of 0 in z 24.827 * [taylor]: Taking taylor expansion of 0 in t 24.827 * [taylor]: Taking taylor expansion of 0 in t 24.827 * [taylor]: Taking taylor expansion of 0 in t 24.827 * [taylor]: Taking taylor expansion of 0 in t 24.827 * [taylor]: Taking taylor expansion of 0 in t 24.827 * [taylor]: Taking taylor expansion of 0 in t 24.827 * [taylor]: Taking taylor expansion of 0 in t 24.828 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in (x y z t) around 0 24.828 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in t 24.828 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.828 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.828 * [taylor]: Taking taylor expansion of (* t z) in t 24.828 * [taylor]: Taking taylor expansion of t in t 24.828 * [taylor]: Taking taylor expansion of z in t 24.828 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.828 * [taylor]: Taking taylor expansion of (* x y) in t 24.828 * [taylor]: Taking taylor expansion of x in t 24.828 * [taylor]: Taking taylor expansion of y in t 24.828 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in z 24.828 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.828 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.828 * [taylor]: Taking taylor expansion of (* t z) in z 24.828 * [taylor]: Taking taylor expansion of t in z 24.828 * [taylor]: Taking taylor expansion of z in z 24.828 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.828 * [taylor]: Taking taylor expansion of (* x y) in z 24.828 * [taylor]: Taking taylor expansion of x in z 24.828 * [taylor]: Taking taylor expansion of y in z 24.829 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in y 24.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.829 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.829 * [taylor]: Taking taylor expansion of (* t z) in y 24.829 * [taylor]: Taking taylor expansion of t in y 24.829 * [taylor]: Taking taylor expansion of z in y 24.829 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.829 * [taylor]: Taking taylor expansion of (* x y) in y 24.829 * [taylor]: Taking taylor expansion of x in y 24.829 * [taylor]: Taking taylor expansion of y in y 24.829 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in x 24.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.829 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.829 * [taylor]: Taking taylor expansion of (* t z) in x 24.829 * [taylor]: Taking taylor expansion of t in x 24.829 * [taylor]: Taking taylor expansion of z in x 24.829 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.829 * [taylor]: Taking taylor expansion of (* x y) in x 24.829 * [taylor]: Taking taylor expansion of x in x 24.829 * [taylor]: Taking taylor expansion of y in x 24.829 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 (* t z)) (/ 1 (* x y))) 3) in x 24.829 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.829 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.829 * [taylor]: Taking taylor expansion of (* t z) in x 24.829 * [taylor]: Taking taylor expansion of t in x 24.829 * [taylor]: Taking taylor expansion of z in x 24.829 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.829 * [taylor]: Taking taylor expansion of (* x y) in x 24.829 * [taylor]: Taking taylor expansion of x in x 24.829 * [taylor]: Taking taylor expansion of y in x 24.829 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 24.830 * [taylor]: Taking taylor expansion of (pow y 3) in y 24.830 * [taylor]: Taking taylor expansion of y in y 24.830 * [taylor]: Taking taylor expansion of 1 in z 24.830 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* t (* z (pow y 2))))) in y 24.830 * [taylor]: Taking taylor expansion of 3 in y 24.830 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z (pow y 2)))) in y 24.830 * [taylor]: Taking taylor expansion of (* t (* z (pow y 2))) in y 24.830 * [taylor]: Taking taylor expansion of t in y 24.830 * [taylor]: Taking taylor expansion of (* z (pow y 2)) in y 24.830 * [taylor]: Taking taylor expansion of z in y 24.830 * [taylor]: Taking taylor expansion of (pow y 2) in y 24.830 * [taylor]: Taking taylor expansion of y in y 24.830 * [taylor]: Taking taylor expansion of 0 in z 24.831 * [taylor]: Taking taylor expansion of (* 3 (/ 1 (* (pow t 2) (* (pow z 2) y)))) in y 24.831 * [taylor]: Taking taylor expansion of 3 in y 24.831 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 2) (* (pow z 2) y))) in y 24.831 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow z 2) y)) in y 24.831 * [taylor]: Taking taylor expansion of (pow t 2) in y 24.831 * [taylor]: Taking taylor expansion of t in y 24.831 * [taylor]: Taking taylor expansion of (* (pow z 2) y) in y 24.831 * [taylor]: Taking taylor expansion of (pow z 2) in y 24.831 * [taylor]: Taking taylor expansion of z in y 24.831 * [taylor]: Taking taylor expansion of y in y 24.832 * [taylor]: Taking taylor expansion of (/ 3 (* t z)) in z 24.832 * [taylor]: Taking taylor expansion of 3 in z 24.832 * [taylor]: Taking taylor expansion of (* t z) in z 24.832 * [taylor]: Taking taylor expansion of t in z 24.832 * [taylor]: Taking taylor expansion of z in z 24.832 * [taylor]: Taking taylor expansion of 0 in z 24.832 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in y 24.832 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in y 24.832 * [taylor]: Taking taylor expansion of (pow t 3) in y 24.832 * [taylor]: Taking taylor expansion of t in y 24.833 * [taylor]: Taking taylor expansion of (pow z 3) in y 24.833 * [taylor]: Taking taylor expansion of z in y 24.833 * [taylor]: Taking taylor expansion of 0 in z 24.833 * [taylor]: Taking taylor expansion of 0 in z 24.833 * [taylor]: Taking taylor expansion of 1 in t 24.834 * [taylor]: Taking taylor expansion of 0 in y 24.834 * [taylor]: Taking taylor expansion of (/ 3 (* (pow t 2) (pow z 2))) in z 24.834 * [taylor]: Taking taylor expansion of 3 in z 24.834 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in z 24.834 * [taylor]: Taking taylor expansion of (pow t 2) in z 24.834 * [taylor]: Taking taylor expansion of t in z 24.834 * [taylor]: Taking taylor expansion of (pow z 2) in z 24.834 * [taylor]: Taking taylor expansion of z in z 24.835 * [taylor]: Taking taylor expansion of 0 in z 24.835 * [taylor]: Taking taylor expansion of 0 in z 24.835 * [taylor]: Taking taylor expansion of (/ 3 t) in t 24.835 * [taylor]: Taking taylor expansion of 3 in t 24.835 * [taylor]: Taking taylor expansion of t in t 24.835 * [taylor]: Taking taylor expansion of 0 in t 24.835 * [taylor]: Taking taylor expansion of 0 in t 24.836 * [taylor]: Taking taylor expansion of 0 in y 24.836 * [taylor]: Taking taylor expansion of 0 in z 24.837 * [taylor]: Taking taylor expansion of 0 in z 24.837 * [taylor]: Taking taylor expansion of 0 in z 24.837 * [taylor]: Taking taylor expansion of (/ 3 (pow t 2)) in t 24.837 * [taylor]: Taking taylor expansion of 3 in t 24.837 * [taylor]: Taking taylor expansion of (pow t 2) in t 24.837 * [taylor]: Taking taylor expansion of t in t 24.837 * [taylor]: Taking taylor expansion of 0 in t 24.837 * [taylor]: Taking taylor expansion of 0 in t 24.837 * [taylor]: Taking taylor expansion of 0 in t 24.837 * [taylor]: Taking taylor expansion of 0 in t 24.838 * [taylor]: Taking taylor expansion of 0 in y 24.838 * [taylor]: Taking taylor expansion of (/ 1 (* (pow t 3) (pow z 3))) in z 24.838 * [taylor]: Taking taylor expansion of (* (pow t 3) (pow z 3)) in z 24.838 * [taylor]: Taking taylor expansion of (pow t 3) in z 24.838 * [taylor]: Taking taylor expansion of t in z 24.838 * [taylor]: Taking taylor expansion of (pow z 3) in z 24.838 * [taylor]: Taking taylor expansion of z in z 24.838 * [taylor]: Taking taylor expansion of (/ 1 (pow t 3)) in t 24.838 * [taylor]: Taking taylor expansion of (pow t 3) in t 24.838 * [taylor]: Taking taylor expansion of t in t 24.839 * [taylor]: Taking taylor expansion of 0 in z 24.840 * [taylor]: Taking taylor expansion of 0 in z 24.840 * [taylor]: Taking taylor expansion of 0 in z 24.840 * [taylor]: Taking taylor expansion of 0 in t 24.840 * [taylor]: Taking taylor expansion of 0 in t 24.840 * [taylor]: Taking taylor expansion of 0 in t 24.840 * [taylor]: Taking taylor expansion of 0 in t 24.840 * [taylor]: Taking taylor expansion of 0 in t 24.840 * [taylor]: Taking taylor expansion of 0 in t 24.840 * [taylor]: Taking taylor expansion of 0 in t 24.841 * * * * [progress]: [ 3 / 4 ] generating series at (2) 24.842 * [approximate]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in (x y z t a b) around 0 24.842 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in b 24.842 * [taylor]: Taking taylor expansion of (* t z) in b 24.842 * [taylor]: Taking taylor expansion of t in b 24.842 * [taylor]: Taking taylor expansion of z in b 24.842 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in b 24.842 * [taylor]: Taking taylor expansion of (* a b) in b 24.842 * [taylor]: Taking taylor expansion of a in b 24.842 * [taylor]: Taking taylor expansion of b in b 24.842 * [taylor]: Taking taylor expansion of (* x y) in b 24.842 * [taylor]: Taking taylor expansion of x in b 24.842 * [taylor]: Taking taylor expansion of y in b 24.842 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in a 24.842 * [taylor]: Taking taylor expansion of (* t z) in a 24.842 * [taylor]: Taking taylor expansion of t in a 24.842 * [taylor]: Taking taylor expansion of z in a 24.842 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in a 24.842 * [taylor]: Taking taylor expansion of (* a b) in a 24.842 * [taylor]: Taking taylor expansion of a in a 24.842 * [taylor]: Taking taylor expansion of b in a 24.842 * [taylor]: Taking taylor expansion of (* x y) in a 24.842 * [taylor]: Taking taylor expansion of x in a 24.842 * [taylor]: Taking taylor expansion of y in a 24.842 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in t 24.842 * [taylor]: Taking taylor expansion of (* t z) in t 24.842 * [taylor]: Taking taylor expansion of t in t 24.842 * [taylor]: Taking taylor expansion of z in t 24.842 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in t 24.842 * [taylor]: Taking taylor expansion of (* a b) in t 24.842 * [taylor]: Taking taylor expansion of a in t 24.842 * [taylor]: Taking taylor expansion of b in t 24.842 * [taylor]: Taking taylor expansion of (* x y) in t 24.842 * [taylor]: Taking taylor expansion of x in t 24.842 * [taylor]: Taking taylor expansion of y in t 24.842 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in z 24.842 * [taylor]: Taking taylor expansion of (* t z) in z 24.842 * [taylor]: Taking taylor expansion of t in z 24.842 * [taylor]: Taking taylor expansion of z in z 24.842 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in z 24.842 * [taylor]: Taking taylor expansion of (* a b) in z 24.842 * [taylor]: Taking taylor expansion of a in z 24.842 * [taylor]: Taking taylor expansion of b in z 24.842 * [taylor]: Taking taylor expansion of (* x y) in z 24.842 * [taylor]: Taking taylor expansion of x in z 24.842 * [taylor]: Taking taylor expansion of y in z 24.842 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in y 24.842 * [taylor]: Taking taylor expansion of (* t z) in y 24.842 * [taylor]: Taking taylor expansion of t in y 24.842 * [taylor]: Taking taylor expansion of z in y 24.842 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in y 24.842 * [taylor]: Taking taylor expansion of (* a b) in y 24.842 * [taylor]: Taking taylor expansion of a in y 24.842 * [taylor]: Taking taylor expansion of b in y 24.842 * [taylor]: Taking taylor expansion of (* x y) in y 24.842 * [taylor]: Taking taylor expansion of x in y 24.842 * [taylor]: Taking taylor expansion of y in y 24.842 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x 24.842 * [taylor]: Taking taylor expansion of (* t z) in x 24.842 * [taylor]: Taking taylor expansion of t in x 24.842 * [taylor]: Taking taylor expansion of z in x 24.842 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x 24.843 * [taylor]: Taking taylor expansion of (* a b) in x 24.843 * [taylor]: Taking taylor expansion of a in x 24.843 * [taylor]: Taking taylor expansion of b in x 24.843 * [taylor]: Taking taylor expansion of (* x y) in x 24.843 * [taylor]: Taking taylor expansion of x in x 24.843 * [taylor]: Taking taylor expansion of y in x 24.843 * [taylor]: Taking taylor expansion of (+ (* t z) (+ (* a b) (* x y))) in x 24.843 * [taylor]: Taking taylor expansion of (* t z) in x 24.843 * [taylor]: Taking taylor expansion of t in x 24.843 * [taylor]: Taking taylor expansion of z in x 24.843 * [taylor]: Taking taylor expansion of (+ (* a b) (* x y)) in x 24.843 * [taylor]: Taking taylor expansion of (* a b) in x 24.843 * [taylor]: Taking taylor expansion of a in x 24.843 * [taylor]: Taking taylor expansion of b in x 24.843 * [taylor]: Taking taylor expansion of (* x y) in x 24.843 * [taylor]: Taking taylor expansion of x in x 24.843 * [taylor]: Taking taylor expansion of y in x 24.843 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in y 24.843 * [taylor]: Taking taylor expansion of (* t z) in y 24.843 * [taylor]: Taking taylor expansion of t in y 24.843 * [taylor]: Taking taylor expansion of z in y 24.843 * [taylor]: Taking taylor expansion of (* a b) in y 24.843 * [taylor]: Taking taylor expansion of a in y 24.843 * [taylor]: Taking taylor expansion of b in y 24.843 * [taylor]: Taking taylor expansion of (+ (* t z) (* a b)) in z 24.843 * [taylor]: Taking taylor expansion of (* t z) in z 24.843 * [taylor]: Taking taylor expansion of t in z 24.843 * [taylor]: Taking taylor expansion of z in z 24.843 * [taylor]: Taking taylor expansion of (* a b) in z 24.843 * [taylor]: Taking taylor expansion of a in z 24.843 * [taylor]: Taking taylor expansion of b in z 24.843 * [taylor]: Taking taylor expansion of (* a b) in t 24.843 * [taylor]: Taking taylor expansion of a in t 24.843 * [taylor]: Taking taylor expansion of b in t 24.843 * [taylor]: Taking taylor expansion of (* a b) in a 24.843 * [taylor]: Taking taylor expansion of a in a 24.843 * [taylor]: Taking taylor expansion of b in a 24.843 * [taylor]: Taking taylor expansion of 0 in b 24.843 * [taylor]: Taking taylor expansion of y in y 24.844 * [taylor]: Taking taylor expansion of 0 in z 24.844 * [taylor]: Taking taylor expansion of 0 in t 24.844 * [taylor]: Taking taylor expansion of 0 in a 24.844 * [taylor]: Taking taylor expansion of 0 in b 24.844 * [taylor]: Taking taylor expansion of 0 in z 24.844 * [taylor]: Taking taylor expansion of 0 in t 24.844 * [taylor]: Taking taylor expansion of 0 in a 24.844 * [taylor]: Taking taylor expansion of 0 in b 24.844 * [taylor]: Taking taylor expansion of t in t 24.844 * [taylor]: Taking taylor expansion of 0 in a 24.844 * [taylor]: Taking taylor expansion of 0 in b 24.844 * [taylor]: Taking taylor expansion of 0 in a 24.844 * [taylor]: Taking taylor expansion of 0 in b 24.844 * [taylor]: Taking taylor expansion of b in b 24.844 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0 24.844 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b 24.844 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 24.844 * [taylor]: Taking taylor expansion of (* t z) in b 24.844 * [taylor]: Taking taylor expansion of t in b 24.844 * [taylor]: Taking taylor expansion of z in b 24.844 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b 24.844 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 24.844 * [taylor]: Taking taylor expansion of (* a b) in b 24.844 * [taylor]: Taking taylor expansion of a in b 24.844 * [taylor]: Taking taylor expansion of b in b 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 24.845 * [taylor]: Taking taylor expansion of (* x y) in b 24.845 * [taylor]: Taking taylor expansion of x in b 24.845 * [taylor]: Taking taylor expansion of y in b 24.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 24.845 * [taylor]: Taking taylor expansion of (* t z) in a 24.845 * [taylor]: Taking taylor expansion of t in a 24.845 * [taylor]: Taking taylor expansion of z in a 24.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 24.845 * [taylor]: Taking taylor expansion of (* a b) in a 24.845 * [taylor]: Taking taylor expansion of a in a 24.845 * [taylor]: Taking taylor expansion of b in a 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 24.845 * [taylor]: Taking taylor expansion of (* x y) in a 24.845 * [taylor]: Taking taylor expansion of x in a 24.845 * [taylor]: Taking taylor expansion of y in a 24.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.845 * [taylor]: Taking taylor expansion of (* t z) in t 24.845 * [taylor]: Taking taylor expansion of t in t 24.845 * [taylor]: Taking taylor expansion of z in t 24.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 24.845 * [taylor]: Taking taylor expansion of (* a b) in t 24.845 * [taylor]: Taking taylor expansion of a in t 24.845 * [taylor]: Taking taylor expansion of b in t 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.845 * [taylor]: Taking taylor expansion of (* x y) in t 24.845 * [taylor]: Taking taylor expansion of x in t 24.845 * [taylor]: Taking taylor expansion of y in t 24.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.845 * [taylor]: Taking taylor expansion of (* t z) in z 24.845 * [taylor]: Taking taylor expansion of t in z 24.845 * [taylor]: Taking taylor expansion of z in z 24.845 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z 24.845 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 24.845 * [taylor]: Taking taylor expansion of (* a b) in z 24.845 * [taylor]: Taking taylor expansion of a in z 24.846 * [taylor]: Taking taylor expansion of b in z 24.846 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.846 * [taylor]: Taking taylor expansion of (* x y) in z 24.846 * [taylor]: Taking taylor expansion of x in z 24.846 * [taylor]: Taking taylor expansion of y in z 24.846 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y 24.846 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.846 * [taylor]: Taking taylor expansion of (* t z) in y 24.846 * [taylor]: Taking taylor expansion of t in y 24.846 * [taylor]: Taking taylor expansion of z in y 24.846 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y 24.846 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 24.846 * [taylor]: Taking taylor expansion of (* a b) in y 24.846 * [taylor]: Taking taylor expansion of a in y 24.846 * [taylor]: Taking taylor expansion of b in y 24.846 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.846 * [taylor]: Taking taylor expansion of (* x y) in y 24.846 * [taylor]: Taking taylor expansion of x in y 24.846 * [taylor]: Taking taylor expansion of y in y 24.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 24.848 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.848 * [taylor]: Taking taylor expansion of (* t z) in x 24.848 * [taylor]: Taking taylor expansion of t in x 24.848 * [taylor]: Taking taylor expansion of z in x 24.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 24.848 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 24.848 * [taylor]: Taking taylor expansion of (* a b) in x 24.848 * [taylor]: Taking taylor expansion of a in x 24.848 * [taylor]: Taking taylor expansion of b in x 24.848 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.848 * [taylor]: Taking taylor expansion of (* x y) in x 24.848 * [taylor]: Taking taylor expansion of x in x 24.848 * [taylor]: Taking taylor expansion of y in x 24.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 24.848 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.848 * [taylor]: Taking taylor expansion of (* t z) in x 24.848 * [taylor]: Taking taylor expansion of t in x 24.848 * [taylor]: Taking taylor expansion of z in x 24.848 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 24.848 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 24.848 * [taylor]: Taking taylor expansion of (* a b) in x 24.848 * [taylor]: Taking taylor expansion of a in x 24.848 * [taylor]: Taking taylor expansion of b in x 24.848 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.848 * [taylor]: Taking taylor expansion of (* x y) in x 24.848 * [taylor]: Taking taylor expansion of x in x 24.848 * [taylor]: Taking taylor expansion of y in x 24.849 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.849 * [taylor]: Taking taylor expansion of y in y 24.849 * [taylor]: Taking taylor expansion of 1 in z 24.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y 24.849 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.849 * [taylor]: Taking taylor expansion of (* t z) in y 24.849 * [taylor]: Taking taylor expansion of t in y 24.849 * [taylor]: Taking taylor expansion of z in y 24.849 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 24.849 * [taylor]: Taking taylor expansion of (* a b) in y 24.849 * [taylor]: Taking taylor expansion of a in y 24.849 * [taylor]: Taking taylor expansion of b in y 24.849 * [taylor]: Taking taylor expansion of 0 in z 24.849 * [taylor]: Taking taylor expansion of 1 in t 24.849 * [taylor]: Taking taylor expansion of 0 in y 24.849 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z 24.849 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.850 * [taylor]: Taking taylor expansion of (* t z) in z 24.850 * [taylor]: Taking taylor expansion of t in z 24.850 * [taylor]: Taking taylor expansion of z in z 24.850 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 24.850 * [taylor]: Taking taylor expansion of (* a b) in z 24.850 * [taylor]: Taking taylor expansion of a in z 24.850 * [taylor]: Taking taylor expansion of b in z 24.850 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.850 * [taylor]: Taking taylor expansion of t in t 24.850 * [taylor]: Taking taylor expansion of 1 in a 24.850 * [taylor]: Taking taylor expansion of 0 in z 24.850 * [taylor]: Taking taylor expansion of 0 in t 24.850 * [taylor]: Taking taylor expansion of 0 in t 24.850 * [taylor]: Taking taylor expansion of 1 in a 24.850 * [taylor]: Taking taylor expansion of 0 in y 24.851 * [taylor]: Taking taylor expansion of 0 in z 24.851 * [taylor]: Taking taylor expansion of 0 in z 24.851 * [taylor]: Taking taylor expansion of 0 in z 24.851 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 24.851 * [taylor]: Taking taylor expansion of (* a b) in t 24.851 * [taylor]: Taking taylor expansion of a in t 24.851 * [taylor]: Taking taylor expansion of b in t 24.851 * [taylor]: Taking taylor expansion of 0 in t 24.851 * [taylor]: Taking taylor expansion of 0 in t 24.851 * [taylor]: Taking taylor expansion of 0 in t 24.851 * [taylor]: Taking taylor expansion of 0 in a 24.851 * [taylor]: Taking taylor expansion of 0 in a 24.851 * [taylor]: Taking taylor expansion of 0 in a 24.851 * [taylor]: Taking taylor expansion of 0 in a 24.851 * [taylor]: Taking taylor expansion of 1 in b 24.851 * [taylor]: Taking taylor expansion of 1 in b 24.852 * [taylor]: Taking taylor expansion of 0 in y 24.852 * [taylor]: Taking taylor expansion of 0 in z 24.852 * [taylor]: Taking taylor expansion of 0 in z 24.852 * [taylor]: Taking taylor expansion of 0 in z 24.852 * [taylor]: Taking taylor expansion of 0 in z 24.852 * [taylor]: Taking taylor expansion of 0 in t 24.853 * [taylor]: Taking taylor expansion of 0 in t 24.853 * [taylor]: Taking taylor expansion of 0 in t 24.853 * [taylor]: Taking taylor expansion of 0 in t 24.853 * [taylor]: Taking taylor expansion of 0 in t 24.853 * [taylor]: Taking taylor expansion of 0 in t 24.853 * [taylor]: Taking taylor expansion of 0 in t 24.853 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 24.853 * [taylor]: Taking taylor expansion of (* a b) in a 24.853 * [taylor]: Taking taylor expansion of a in a 24.853 * [taylor]: Taking taylor expansion of b in a 24.853 * [taylor]: Taking taylor expansion of (/ 1 b) in b 24.853 * [taylor]: Taking taylor expansion of b in b 24.853 * [taylor]: Taking taylor expansion of 0 in a 24.853 * [taylor]: Taking taylor expansion of 0 in a 24.853 * [taylor]: Taking taylor expansion of 0 in a 24.853 * [taylor]: Taking taylor expansion of 0 in a 24.853 * [taylor]: Taking taylor expansion of 0 in a 24.853 * [taylor]: Taking taylor expansion of 0 in a 24.853 * [taylor]: Taking taylor expansion of 0 in a 24.853 * [taylor]: Taking taylor expansion of 0 in b 24.853 * [taylor]: Taking taylor expansion of 0 in b 24.854 * [taylor]: Taking taylor expansion of 0 in b 24.854 * [taylor]: Taking taylor expansion of 0 in b 24.854 * [taylor]: Taking taylor expansion of 0 in b 24.854 * [taylor]: Taking taylor expansion of 0 in b 24.854 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in (x y z t a b) around 0 24.854 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in b 24.854 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 24.855 * [taylor]: Taking taylor expansion of (* t z) in b 24.855 * [taylor]: Taking taylor expansion of t in b 24.855 * [taylor]: Taking taylor expansion of z in b 24.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in b 24.855 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 24.855 * [taylor]: Taking taylor expansion of (* a b) in b 24.855 * [taylor]: Taking taylor expansion of a in b 24.855 * [taylor]: Taking taylor expansion of b in b 24.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 24.855 * [taylor]: Taking taylor expansion of (* x y) in b 24.855 * [taylor]: Taking taylor expansion of x in b 24.855 * [taylor]: Taking taylor expansion of y in b 24.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in a 24.855 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 24.855 * [taylor]: Taking taylor expansion of (* t z) in a 24.855 * [taylor]: Taking taylor expansion of t in a 24.855 * [taylor]: Taking taylor expansion of z in a 24.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in a 24.855 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 24.855 * [taylor]: Taking taylor expansion of (* a b) in a 24.855 * [taylor]: Taking taylor expansion of a in a 24.855 * [taylor]: Taking taylor expansion of b in a 24.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 24.855 * [taylor]: Taking taylor expansion of (* x y) in a 24.855 * [taylor]: Taking taylor expansion of x in a 24.855 * [taylor]: Taking taylor expansion of y in a 24.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in t 24.855 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.855 * [taylor]: Taking taylor expansion of (* t z) in t 24.855 * [taylor]: Taking taylor expansion of t in t 24.855 * [taylor]: Taking taylor expansion of z in t 24.855 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in t 24.855 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 24.855 * [taylor]: Taking taylor expansion of (* a b) in t 24.855 * [taylor]: Taking taylor expansion of a in t 24.855 * [taylor]: Taking taylor expansion of b in t 24.855 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.855 * [taylor]: Taking taylor expansion of (* x y) in t 24.855 * [taylor]: Taking taylor expansion of x in t 24.855 * [taylor]: Taking taylor expansion of y in t 24.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in z 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.856 * [taylor]: Taking taylor expansion of (* t z) in z 24.856 * [taylor]: Taking taylor expansion of t in z 24.856 * [taylor]: Taking taylor expansion of z in z 24.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in z 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 24.856 * [taylor]: Taking taylor expansion of (* a b) in z 24.856 * [taylor]: Taking taylor expansion of a in z 24.856 * [taylor]: Taking taylor expansion of b in z 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.856 * [taylor]: Taking taylor expansion of (* x y) in z 24.856 * [taylor]: Taking taylor expansion of x in z 24.856 * [taylor]: Taking taylor expansion of y in z 24.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in y 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.856 * [taylor]: Taking taylor expansion of (* t z) in y 24.856 * [taylor]: Taking taylor expansion of t in y 24.856 * [taylor]: Taking taylor expansion of z in y 24.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in y 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 24.856 * [taylor]: Taking taylor expansion of (* a b) in y 24.856 * [taylor]: Taking taylor expansion of a in y 24.856 * [taylor]: Taking taylor expansion of b in y 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.856 * [taylor]: Taking taylor expansion of (* x y) in y 24.856 * [taylor]: Taking taylor expansion of x in y 24.856 * [taylor]: Taking taylor expansion of y in y 24.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.856 * [taylor]: Taking taylor expansion of (* t z) in x 24.856 * [taylor]: Taking taylor expansion of t in x 24.856 * [taylor]: Taking taylor expansion of z in x 24.856 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 24.856 * [taylor]: Taking taylor expansion of (* a b) in x 24.856 * [taylor]: Taking taylor expansion of a in x 24.856 * [taylor]: Taking taylor expansion of b in x 24.856 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.856 * [taylor]: Taking taylor expansion of (* x y) in x 24.856 * [taylor]: Taking taylor expansion of x in x 24.857 * [taylor]: Taking taylor expansion of y in x 24.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (+ (/ 1 (* a b)) (/ 1 (* x y)))) in x 24.857 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.857 * [taylor]: Taking taylor expansion of (* t z) in x 24.857 * [taylor]: Taking taylor expansion of t in x 24.857 * [taylor]: Taking taylor expansion of z in x 24.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (* a b)) (/ 1 (* x y))) in x 24.857 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 24.857 * [taylor]: Taking taylor expansion of (* a b) in x 24.857 * [taylor]: Taking taylor expansion of a in x 24.857 * [taylor]: Taking taylor expansion of b in x 24.857 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.857 * [taylor]: Taking taylor expansion of (* x y) in x 24.857 * [taylor]: Taking taylor expansion of x in x 24.857 * [taylor]: Taking taylor expansion of y in x 24.857 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.857 * [taylor]: Taking taylor expansion of y in y 24.857 * [taylor]: Taking taylor expansion of 1 in z 24.857 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in y 24.857 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.857 * [taylor]: Taking taylor expansion of (* t z) in y 24.857 * [taylor]: Taking taylor expansion of t in y 24.857 * [taylor]: Taking taylor expansion of z in y 24.857 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 24.857 * [taylor]: Taking taylor expansion of (* a b) in y 24.857 * [taylor]: Taking taylor expansion of a in y 24.857 * [taylor]: Taking taylor expansion of b in y 24.857 * [taylor]: Taking taylor expansion of 0 in z 24.858 * [taylor]: Taking taylor expansion of 1 in t 24.858 * [taylor]: Taking taylor expansion of 0 in y 24.858 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* a b))) in z 24.858 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.858 * [taylor]: Taking taylor expansion of (* t z) in z 24.858 * [taylor]: Taking taylor expansion of t in z 24.858 * [taylor]: Taking taylor expansion of z in z 24.858 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 24.858 * [taylor]: Taking taylor expansion of (* a b) in z 24.858 * [taylor]: Taking taylor expansion of a in z 24.858 * [taylor]: Taking taylor expansion of b in z 24.858 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.858 * [taylor]: Taking taylor expansion of t in t 24.858 * [taylor]: Taking taylor expansion of 1 in a 24.858 * [taylor]: Taking taylor expansion of 0 in z 24.858 * [taylor]: Taking taylor expansion of 0 in t 24.858 * [taylor]: Taking taylor expansion of 0 in t 24.858 * [taylor]: Taking taylor expansion of 1 in a 24.859 * [taylor]: Taking taylor expansion of 0 in y 24.859 * [taylor]: Taking taylor expansion of 0 in z 24.859 * [taylor]: Taking taylor expansion of 0 in z 24.859 * [taylor]: Taking taylor expansion of 0 in z 24.859 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 24.859 * [taylor]: Taking taylor expansion of (* a b) in t 24.859 * [taylor]: Taking taylor expansion of a in t 24.859 * [taylor]: Taking taylor expansion of b in t 24.859 * [taylor]: Taking taylor expansion of 0 in t 24.859 * [taylor]: Taking taylor expansion of 0 in t 24.859 * [taylor]: Taking taylor expansion of 0 in t 24.859 * [taylor]: Taking taylor expansion of 0 in a 24.859 * [taylor]: Taking taylor expansion of 0 in a 24.860 * [taylor]: Taking taylor expansion of 0 in a 24.860 * [taylor]: Taking taylor expansion of 0 in a 24.860 * [taylor]: Taking taylor expansion of 1 in b 24.860 * [taylor]: Taking taylor expansion of 1 in b 24.860 * [taylor]: Taking taylor expansion of 0 in y 24.860 * [taylor]: Taking taylor expansion of 0 in z 24.860 * [taylor]: Taking taylor expansion of 0 in z 24.861 * [taylor]: Taking taylor expansion of 0 in z 24.861 * [taylor]: Taking taylor expansion of 0 in z 24.861 * [taylor]: Taking taylor expansion of 0 in t 24.861 * [taylor]: Taking taylor expansion of 0 in t 24.861 * [taylor]: Taking taylor expansion of 0 in t 24.861 * [taylor]: Taking taylor expansion of 0 in t 24.861 * [taylor]: Taking taylor expansion of 0 in t 24.861 * [taylor]: Taking taylor expansion of 0 in t 24.861 * [taylor]: Taking taylor expansion of 0 in t 24.861 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 24.861 * [taylor]: Taking taylor expansion of (* a b) in a 24.861 * [taylor]: Taking taylor expansion of a in a 24.861 * [taylor]: Taking taylor expansion of b in a 24.861 * [taylor]: Taking taylor expansion of (/ 1 b) in b 24.861 * [taylor]: Taking taylor expansion of b in b 24.861 * [taylor]: Taking taylor expansion of 0 in a 24.861 * [taylor]: Taking taylor expansion of 0 in a 24.861 * [taylor]: Taking taylor expansion of 0 in a 24.861 * [taylor]: Taking taylor expansion of 0 in a 24.861 * [taylor]: Taking taylor expansion of 0 in a 24.861 * [taylor]: Taking taylor expansion of 0 in a 24.862 * [taylor]: Taking taylor expansion of 0 in a 24.862 * [taylor]: Taking taylor expansion of 0 in b 24.862 * [taylor]: Taking taylor expansion of 0 in b 24.862 * [taylor]: Taking taylor expansion of 0 in b 24.862 * [taylor]: Taking taylor expansion of 0 in b 24.862 * [taylor]: Taking taylor expansion of 0 in b 24.862 * [taylor]: Taking taylor expansion of 0 in b 24.862 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1) 24.862 * [approximate]: Taking taylor expansion of (+ (* t z) (* x y)) in (x y z t) around 0 24.863 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in t 24.863 * [taylor]: Taking taylor expansion of (* t z) in t 24.863 * [taylor]: Taking taylor expansion of t in t 24.863 * [taylor]: Taking taylor expansion of z in t 24.863 * [taylor]: Taking taylor expansion of (* x y) in t 24.863 * [taylor]: Taking taylor expansion of x in t 24.863 * [taylor]: Taking taylor expansion of y in t 24.863 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in z 24.863 * [taylor]: Taking taylor expansion of (* t z) in z 24.863 * [taylor]: Taking taylor expansion of t in z 24.863 * [taylor]: Taking taylor expansion of z in z 24.863 * [taylor]: Taking taylor expansion of (* x y) in z 24.863 * [taylor]: Taking taylor expansion of x in z 24.863 * [taylor]: Taking taylor expansion of y in z 24.863 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in y 24.863 * [taylor]: Taking taylor expansion of (* t z) in y 24.863 * [taylor]: Taking taylor expansion of t in y 24.863 * [taylor]: Taking taylor expansion of z in y 24.863 * [taylor]: Taking taylor expansion of (* x y) in y 24.863 * [taylor]: Taking taylor expansion of x in y 24.863 * [taylor]: Taking taylor expansion of y in y 24.863 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.863 * [taylor]: Taking taylor expansion of (* t z) in x 24.863 * [taylor]: Taking taylor expansion of t in x 24.863 * [taylor]: Taking taylor expansion of z in x 24.863 * [taylor]: Taking taylor expansion of (* x y) in x 24.863 * [taylor]: Taking taylor expansion of x in x 24.863 * [taylor]: Taking taylor expansion of y in x 24.863 * [taylor]: Taking taylor expansion of (+ (* t z) (* x y)) in x 24.863 * [taylor]: Taking taylor expansion of (* t z) in x 24.863 * [taylor]: Taking taylor expansion of t in x 24.863 * [taylor]: Taking taylor expansion of z in x 24.863 * [taylor]: Taking taylor expansion of (* x y) in x 24.863 * [taylor]: Taking taylor expansion of x in x 24.863 * [taylor]: Taking taylor expansion of y in x 24.863 * [taylor]: Taking taylor expansion of (* t z) in y 24.863 * [taylor]: Taking taylor expansion of t in y 24.863 * [taylor]: Taking taylor expansion of z in y 24.863 * [taylor]: Taking taylor expansion of (* t z) in z 24.863 * [taylor]: Taking taylor expansion of t in z 24.863 * [taylor]: Taking taylor expansion of z in z 24.863 * [taylor]: Taking taylor expansion of 0 in t 24.863 * [taylor]: Taking taylor expansion of y in y 24.863 * [taylor]: Taking taylor expansion of 0 in z 24.863 * [taylor]: Taking taylor expansion of 0 in t 24.863 * [taylor]: Taking taylor expansion of 0 in z 24.863 * [taylor]: Taking taylor expansion of 0 in t 24.864 * [taylor]: Taking taylor expansion of t in t 24.864 * [taylor]: Taking taylor expansion of 0 in y 24.864 * [taylor]: Taking taylor expansion of 0 in z 24.864 * [taylor]: Taking taylor expansion of 0 in t 24.864 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 24.864 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.864 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.864 * [taylor]: Taking taylor expansion of (* t z) in t 24.864 * [taylor]: Taking taylor expansion of t in t 24.864 * [taylor]: Taking taylor expansion of z in t 24.864 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.864 * [taylor]: Taking taylor expansion of (* x y) in t 24.864 * [taylor]: Taking taylor expansion of x in t 24.864 * [taylor]: Taking taylor expansion of y in t 24.864 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.864 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.864 * [taylor]: Taking taylor expansion of (* t z) in z 24.864 * [taylor]: Taking taylor expansion of t in z 24.864 * [taylor]: Taking taylor expansion of z in z 24.864 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.864 * [taylor]: Taking taylor expansion of (* x y) in z 24.864 * [taylor]: Taking taylor expansion of x in z 24.864 * [taylor]: Taking taylor expansion of y in z 24.864 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.864 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.864 * [taylor]: Taking taylor expansion of (* t z) in y 24.864 * [taylor]: Taking taylor expansion of t in y 24.864 * [taylor]: Taking taylor expansion of z in y 24.864 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.864 * [taylor]: Taking taylor expansion of (* x y) in y 24.864 * [taylor]: Taking taylor expansion of x in y 24.864 * [taylor]: Taking taylor expansion of y in y 24.865 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.865 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.865 * [taylor]: Taking taylor expansion of (* t z) in x 24.865 * [taylor]: Taking taylor expansion of t in x 24.865 * [taylor]: Taking taylor expansion of z in x 24.865 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.865 * [taylor]: Taking taylor expansion of (* x y) in x 24.865 * [taylor]: Taking taylor expansion of x in x 24.865 * [taylor]: Taking taylor expansion of y in x 24.865 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.865 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.865 * [taylor]: Taking taylor expansion of (* t z) in x 24.865 * [taylor]: Taking taylor expansion of t in x 24.865 * [taylor]: Taking taylor expansion of z in x 24.865 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.865 * [taylor]: Taking taylor expansion of (* x y) in x 24.865 * [taylor]: Taking taylor expansion of x in x 24.865 * [taylor]: Taking taylor expansion of y in x 24.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.865 * [taylor]: Taking taylor expansion of y in y 24.865 * [taylor]: Taking taylor expansion of 1 in z 24.865 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.865 * [taylor]: Taking taylor expansion of (* t z) in y 24.865 * [taylor]: Taking taylor expansion of t in y 24.865 * [taylor]: Taking taylor expansion of z in y 24.865 * [taylor]: Taking taylor expansion of 0 in z 24.865 * [taylor]: Taking taylor expansion of 1 in t 24.866 * [taylor]: Taking taylor expansion of 0 in y 24.866 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.866 * [taylor]: Taking taylor expansion of (* t z) in z 24.866 * [taylor]: Taking taylor expansion of t in z 24.866 * [taylor]: Taking taylor expansion of z in z 24.866 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.866 * [taylor]: Taking taylor expansion of t in t 24.866 * [taylor]: Taking taylor expansion of 0 in z 24.866 * [taylor]: Taking taylor expansion of 0 in t 24.866 * [taylor]: Taking taylor expansion of 0 in t 24.866 * [taylor]: Taking taylor expansion of 0 in y 24.866 * [taylor]: Taking taylor expansion of 0 in z 24.866 * [taylor]: Taking taylor expansion of 0 in z 24.866 * [taylor]: Taking taylor expansion of 0 in z 24.866 * [taylor]: Taking taylor expansion of 0 in t 24.866 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in y 24.867 * [taylor]: Taking taylor expansion of 0 in z 24.867 * [taylor]: Taking taylor expansion of 0 in z 24.867 * [taylor]: Taking taylor expansion of 0 in z 24.867 * [taylor]: Taking taylor expansion of 0 in z 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.867 * [taylor]: Taking taylor expansion of 0 in t 24.868 * [approximate]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in (x y z t) around 0 24.868 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in t 24.868 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 24.868 * [taylor]: Taking taylor expansion of (* t z) in t 24.868 * [taylor]: Taking taylor expansion of t in t 24.868 * [taylor]: Taking taylor expansion of z in t 24.868 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 24.868 * [taylor]: Taking taylor expansion of (* x y) in t 24.868 * [taylor]: Taking taylor expansion of x in t 24.868 * [taylor]: Taking taylor expansion of y in t 24.868 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in z 24.868 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.868 * [taylor]: Taking taylor expansion of (* t z) in z 24.868 * [taylor]: Taking taylor expansion of t in z 24.868 * [taylor]: Taking taylor expansion of z in z 24.868 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 24.868 * [taylor]: Taking taylor expansion of (* x y) in z 24.868 * [taylor]: Taking taylor expansion of x in z 24.868 * [taylor]: Taking taylor expansion of y in z 24.868 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in y 24.868 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.868 * [taylor]: Taking taylor expansion of (* t z) in y 24.868 * [taylor]: Taking taylor expansion of t in y 24.868 * [taylor]: Taking taylor expansion of z in y 24.868 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 24.868 * [taylor]: Taking taylor expansion of (* x y) in y 24.868 * [taylor]: Taking taylor expansion of x in y 24.868 * [taylor]: Taking taylor expansion of y in y 24.869 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.869 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.869 * [taylor]: Taking taylor expansion of (* t z) in x 24.869 * [taylor]: Taking taylor expansion of t in x 24.869 * [taylor]: Taking taylor expansion of z in x 24.869 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.869 * [taylor]: Taking taylor expansion of (* x y) in x 24.869 * [taylor]: Taking taylor expansion of x in x 24.869 * [taylor]: Taking taylor expansion of y in x 24.869 * [taylor]: Taking taylor expansion of (+ (/ 1 (* t z)) (/ 1 (* x y))) in x 24.869 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 24.869 * [taylor]: Taking taylor expansion of (* t z) in x 24.869 * [taylor]: Taking taylor expansion of t in x 24.869 * [taylor]: Taking taylor expansion of z in x 24.869 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 24.869 * [taylor]: Taking taylor expansion of (* x y) in x 24.869 * [taylor]: Taking taylor expansion of x in x 24.869 * [taylor]: Taking taylor expansion of y in x 24.869 * [taylor]: Taking taylor expansion of (/ 1 y) in y 24.869 * [taylor]: Taking taylor expansion of y in y 24.869 * [taylor]: Taking taylor expansion of 1 in z 24.869 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 24.869 * [taylor]: Taking taylor expansion of (* t z) in y 24.869 * [taylor]: Taking taylor expansion of t in y 24.869 * [taylor]: Taking taylor expansion of z in y 24.869 * [taylor]: Taking taylor expansion of 0 in z 24.869 * [taylor]: Taking taylor expansion of 1 in t 24.870 * [taylor]: Taking taylor expansion of 0 in y 24.870 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 24.870 * [taylor]: Taking taylor expansion of (* t z) in z 24.870 * [taylor]: Taking taylor expansion of t in z 24.870 * [taylor]: Taking taylor expansion of z in z 24.870 * [taylor]: Taking taylor expansion of (/ 1 t) in t 24.870 * [taylor]: Taking taylor expansion of t in t 24.870 * [taylor]: Taking taylor expansion of 0 in z 24.870 * [taylor]: Taking taylor expansion of 0 in t 24.870 * [taylor]: Taking taylor expansion of 0 in t 24.870 * [taylor]: Taking taylor expansion of 0 in y 24.870 * [taylor]: Taking taylor expansion of 0 in z 24.870 * [taylor]: Taking taylor expansion of 0 in z 24.870 * [taylor]: Taking taylor expansion of 0 in z 24.870 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in y 24.871 * [taylor]: Taking taylor expansion of 0 in z 24.871 * [taylor]: Taking taylor expansion of 0 in z 24.871 * [taylor]: Taking taylor expansion of 0 in z 24.871 * [taylor]: Taking taylor expansion of 0 in z 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.871 * [taylor]: Taking taylor expansion of 0 in t 24.872 * [taylor]: Taking taylor expansion of 0 in t 24.872 * * * [progress]: simplifying candidates 24.873 * [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 (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)) (* (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)) 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) (+ (* a b) (* x y))) (+ (* t z) (+ (* a b) (* x y))) 0 (+ (* t z) (* x y)) (+ (* t z) (* x y)) 24.878 * * [simplify]: iteration 0 : 340 enodes (cost 578 ) 24.885 * * [simplify]: iteration 1 : 1694 enodes (cost 519 ) 24.923 * * [simplify]: iteration 2 : 5001 enodes (cost 513 ) 24.927 * [simplify]: Simplified to: (log (+ (* x y) (* z t))) (exp (+ (* x y) (* z t))) (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) 1 (+ (* x y) (* z t)) (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))) (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))) (cbrt (* (+ (* x y) (* z t)) (+ (* x y) (* z t)))) (cbrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) 1 (+ (* x y) (* z t)) (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))) 1 (+ (* x y) (* z t)) (sqrt (+ (* x y) (* z t))) (sqrt (+ (* x y) (* z t))) (+ (pow (* x y) 3) (pow (* z t) 3)) (+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* x y) (* z t)) (cbrt (* (+ (* x y) (* z t)) (+ (* 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))) (log (pow (+ (* x y) (* z t)) 3)) (log (pow (+ (* x y) (* z t)) 3)) 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) (log (pow (+ (* x y) (* z t)) 3)) (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 (+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* 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)) (* a b))) (log (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (exp (+ (+ (* x y) (* z t)) (* 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))) (pow (+ (* a b) (+ (* x y) (* z t))) 3) (sqrt (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (sqrt (+ (cbrt (pow (+ (* x y) (* z t)) 3)) (* a b))) (+ (pow (* a b) 3) (pow (+ (* x y) (* z t)) 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))) (exp (+ (* x y) (* z t))) (log (+ (* x y) (* z t))) (exp (+ (* x y) (* z t))) (cbrt (* (+ (* x y) (* z t)) (+ (* 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)) (+ (* (* z t) (- (* z t) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (* z t) (* z t))) (- (* x y) (* z t)) 0 (+ (* x y) (* z t)) (+ (* x y) (* z t)) 0 (+ (+ (* 3 (* (pow t 2) (* x (* (pow z 2) y)))) (* 3 (* t (* (pow x 2) (* z (pow y 2)))))) (pow (* z t) 3)) (+ (+ (* 3 (* (pow t 2) (* x (* (pow z 2) y)))) (* 3 (* t (* (pow x 2) (* z (pow y 2)))))) (pow (* z t) 3)) 0 (+ (* a b) (+ (* x y) (* z t))) (+ (* a b) (+ (* x y) (* z t))) 0 (+ (* x y) (* z t)) (+ (* x y) (* z t)) 24.927 * * * [progress]: adding candidates to table 25.010 * [progress]: [Phase 3 of 3] Extracting. 25.010 * * [regime]: Finding splitpoints for: (# #) 25.010 * * * [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) 25.010 * * * * [regimes]: Trying to branch on (* a b) from (# #) 25.076 * * * * [regimes]: Trying to branch on (* z t) from (# #) 25.141 * * * * [regimes]: Trying to branch on (* x y) from (# #) 25.207 * * * * [regimes]: Trying to branch on (+ (* x y) (* z t)) from (# #) 25.273 * * * * [regimes]: Trying to branch on (+ (+ (* x y) (* z t)) (* a b)) from (# #) 25.339 * * * * [regimes]: Trying to branch on b from (# #) 25.404 * * * * [regimes]: Trying to branch on a from (# #) 25.468 * * * * [regimes]: Trying to branch on t from (# #) 25.533 * * * * [regimes]: Trying to branch on z from (# #) 25.598 * * * * [regimes]: Trying to branch on y from (# #) 25.664 * * * * [regimes]: Trying to branch on x from (# #) 25.730 * * * [regime]: Found split indices: #