9.467 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.594 * * * [progress]: [2/2] Setting up program. 1.600 * [progress]: [Phase 2 of 3] Improving. 1.600 * [simplify]: Simplifying using # : (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 1.602 * * [simplify]: iteration 0 : 32 enodes (cost 8 ) 1.603 * * [simplify]: iteration 1 : 69 enodes (cost 8 ) 1.605 * * [simplify]: iteration 2 : 134 enodes (cost 8 ) 1.607 * * [simplify]: iteration 3 : 225 enodes (cost 8 ) 1.610 * * [simplify]: iteration 4 : 378 enodes (cost 8 ) 1.614 * * [simplify]: iteration 5 : 598 enodes (cost 8 ) 1.620 * * [simplify]: iteration 6 : 815 enodes (cost 8 ) 1.628 * * [simplify]: iteration 7 : 1035 enodes (cost 8 ) 1.636 * * [simplify]: iteration 8 : 1143 enodes (cost 8 ) 1.644 * * [simplify]: iteration 9 : 1211 enodes (cost 8 ) 1.651 * * [simplify]: iteration 10 : 1211 enodes (cost 8 ) 1.651 * [simplify]: Simplified to: (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 1.652 * * [progress]: iteration 1 / 4 1.652 * * * [progress]: picking best candidate 1.657 * * * * [pick]: Picked # 1.657 * * * [progress]: localizing error 1.669 * * * [progress]: generating rewritten candidates 1.670 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 1.678 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.682 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 1.698 * * * [progress]: generating series expansions 1.698 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 1.699 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in (x y z t a b) around 0 1.699 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in b 1.699 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in b 1.699 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in b 1.699 * [taylor]: Taking taylor expansion of 0.0625 in b 1.699 * [taylor]: Taking taylor expansion of (* t z) in b 1.699 * [taylor]: Taking taylor expansion of t in b 1.699 * [taylor]: Taking taylor expansion of z in b 1.699 * [taylor]: Taking taylor expansion of (* x y) in b 1.699 * [taylor]: Taking taylor expansion of x in b 1.699 * [taylor]: Taking taylor expansion of y in b 1.699 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in b 1.699 * [taylor]: Taking taylor expansion of 0.25 in b 1.699 * [taylor]: Taking taylor expansion of (* a b) in b 1.699 * [taylor]: Taking taylor expansion of a in b 1.699 * [taylor]: Taking taylor expansion of b in b 1.699 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in a 1.699 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in a 1.699 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in a 1.699 * [taylor]: Taking taylor expansion of 0.0625 in a 1.699 * [taylor]: Taking taylor expansion of (* t z) in a 1.699 * [taylor]: Taking taylor expansion of t in a 1.699 * [taylor]: Taking taylor expansion of z in a 1.699 * [taylor]: Taking taylor expansion of (* x y) in a 1.699 * [taylor]: Taking taylor expansion of x in a 1.699 * [taylor]: Taking taylor expansion of y in a 1.699 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 1.699 * [taylor]: Taking taylor expansion of 0.25 in a 1.699 * [taylor]: Taking taylor expansion of (* a b) in a 1.699 * [taylor]: Taking taylor expansion of a in a 1.699 * [taylor]: Taking taylor expansion of b in a 1.699 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in t 1.699 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in t 1.699 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 1.699 * [taylor]: Taking taylor expansion of 0.0625 in t 1.699 * [taylor]: Taking taylor expansion of (* t z) in t 1.699 * [taylor]: Taking taylor expansion of t in t 1.699 * [taylor]: Taking taylor expansion of z in t 1.699 * [taylor]: Taking taylor expansion of (* x y) in t 1.699 * [taylor]: Taking taylor expansion of x in t 1.699 * [taylor]: Taking taylor expansion of y in t 1.699 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 1.699 * [taylor]: Taking taylor expansion of 0.25 in t 1.699 * [taylor]: Taking taylor expansion of (* a b) in t 1.699 * [taylor]: Taking taylor expansion of a in t 1.699 * [taylor]: Taking taylor expansion of b in t 1.699 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in z 1.699 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in z 1.699 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 1.699 * [taylor]: Taking taylor expansion of 0.0625 in z 1.699 * [taylor]: Taking taylor expansion of (* t z) in z 1.699 * [taylor]: Taking taylor expansion of t in z 1.699 * [taylor]: Taking taylor expansion of z in z 1.699 * [taylor]: Taking taylor expansion of (* x y) in z 1.699 * [taylor]: Taking taylor expansion of x in z 1.699 * [taylor]: Taking taylor expansion of y in z 1.700 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in z 1.700 * [taylor]: Taking taylor expansion of 0.25 in z 1.700 * [taylor]: Taking taylor expansion of (* a b) in z 1.700 * [taylor]: Taking taylor expansion of a in z 1.700 * [taylor]: Taking taylor expansion of b in z 1.700 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in y 1.700 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in y 1.700 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 1.700 * [taylor]: Taking taylor expansion of 0.0625 in y 1.700 * [taylor]: Taking taylor expansion of (* t z) in y 1.700 * [taylor]: Taking taylor expansion of t in y 1.700 * [taylor]: Taking taylor expansion of z in y 1.700 * [taylor]: Taking taylor expansion of (* x y) in y 1.700 * [taylor]: Taking taylor expansion of x in y 1.700 * [taylor]: Taking taylor expansion of y in y 1.700 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 1.700 * [taylor]: Taking taylor expansion of 0.25 in y 1.700 * [taylor]: Taking taylor expansion of (* a b) in y 1.700 * [taylor]: Taking taylor expansion of a in y 1.700 * [taylor]: Taking taylor expansion of b in y 1.700 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in x 1.700 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 1.700 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 1.700 * [taylor]: Taking taylor expansion of 0.0625 in x 1.700 * [taylor]: Taking taylor expansion of (* t z) in x 1.700 * [taylor]: Taking taylor expansion of t in x 1.700 * [taylor]: Taking taylor expansion of z in x 1.700 * [taylor]: Taking taylor expansion of (* x y) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of y in x 1.700 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 1.700 * [taylor]: Taking taylor expansion of 0.25 in x 1.700 * [taylor]: Taking taylor expansion of (* a b) in x 1.700 * [taylor]: Taking taylor expansion of a in x 1.700 * [taylor]: Taking taylor expansion of b in x 1.700 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in x 1.700 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 1.700 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 1.700 * [taylor]: Taking taylor expansion of 0.0625 in x 1.700 * [taylor]: Taking taylor expansion of (* t z) in x 1.700 * [taylor]: Taking taylor expansion of t in x 1.700 * [taylor]: Taking taylor expansion of z in x 1.700 * [taylor]: Taking taylor expansion of (* x y) in x 1.700 * [taylor]: Taking taylor expansion of x in x 1.700 * [taylor]: Taking taylor expansion of y in x 1.700 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 1.700 * [taylor]: Taking taylor expansion of 0.25 in x 1.700 * [taylor]: Taking taylor expansion of (* a b) in x 1.700 * [taylor]: Taking taylor expansion of a in x 1.700 * [taylor]: Taking taylor expansion of b in x 1.701 * [taylor]: Taking taylor expansion of (- (* 0.0625 (* t z)) (* 0.25 (* a b))) in y 1.701 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 1.701 * [taylor]: Taking taylor expansion of 0.0625 in y 1.701 * [taylor]: Taking taylor expansion of (* t z) in y 1.701 * [taylor]: Taking taylor expansion of t in y 1.701 * [taylor]: Taking taylor expansion of z in y 1.701 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 1.701 * [taylor]: Taking taylor expansion of 0.25 in y 1.701 * [taylor]: Taking taylor expansion of (* a b) in y 1.701 * [taylor]: Taking taylor expansion of a in y 1.701 * [taylor]: Taking taylor expansion of b in y 1.701 * [taylor]: Taking taylor expansion of (- (* 0.0625 (* t z)) (* 0.25 (* a b))) in z 1.701 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 1.701 * [taylor]: Taking taylor expansion of 0.0625 in z 1.701 * [taylor]: Taking taylor expansion of (* t z) in z 1.701 * [taylor]: Taking taylor expansion of t in z 1.701 * [taylor]: Taking taylor expansion of z in z 1.701 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in z 1.701 * [taylor]: Taking taylor expansion of 0.25 in z 1.701 * [taylor]: Taking taylor expansion of (* a b) in z 1.701 * [taylor]: Taking taylor expansion of a in z 1.701 * [taylor]: Taking taylor expansion of b in z 1.701 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* a b))) in t 1.701 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 1.701 * [taylor]: Taking taylor expansion of 0.25 in t 1.701 * [taylor]: Taking taylor expansion of (* a b) in t 1.701 * [taylor]: Taking taylor expansion of a in t 1.701 * [taylor]: Taking taylor expansion of b in t 1.701 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* a b))) in a 1.701 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 1.701 * [taylor]: Taking taylor expansion of 0.25 in a 1.701 * [taylor]: Taking taylor expansion of (* a b) in a 1.701 * [taylor]: Taking taylor expansion of a in a 1.702 * [taylor]: Taking taylor expansion of b in a 1.702 * [taylor]: Taking taylor expansion of 0 in b 1.702 * [taylor]: Taking taylor expansion of y in y 1.702 * [taylor]: Taking taylor expansion of 0 in z 1.702 * [taylor]: Taking taylor expansion of 0 in t 1.702 * [taylor]: Taking taylor expansion of 0 in a 1.702 * [taylor]: Taking taylor expansion of 0 in b 1.702 * [taylor]: Taking taylor expansion of 0 in z 1.702 * [taylor]: Taking taylor expansion of 0 in t 1.702 * [taylor]: Taking taylor expansion of 0 in a 1.702 * [taylor]: Taking taylor expansion of 0 in b 1.702 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 1.702 * [taylor]: Taking taylor expansion of 0.0625 in t 1.702 * [taylor]: Taking taylor expansion of t in t 1.702 * [taylor]: Taking taylor expansion of 0 in a 1.702 * [taylor]: Taking taylor expansion of 0 in b 1.702 * [taylor]: Taking taylor expansion of 0 in a 1.702 * [taylor]: Taking taylor expansion of 0 in b 1.702 * [taylor]: Taking taylor expansion of (neg (* 0.25 b)) in b 1.703 * [taylor]: Taking taylor expansion of (* 0.25 b) in b 1.703 * [taylor]: Taking taylor expansion of 0.25 in b 1.703 * [taylor]: Taking taylor expansion of b in b 1.703 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in (x y z t a b) around 0 1.703 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in b 1.703 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.703 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in b 1.703 * [taylor]: Taking taylor expansion of 0.0625 in b 1.703 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.703 * [taylor]: Taking taylor expansion of (* t z) in b 1.703 * [taylor]: Taking taylor expansion of t in b 1.703 * [taylor]: Taking taylor expansion of z in b 1.703 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.703 * [taylor]: Taking taylor expansion of (* x y) in b 1.703 * [taylor]: Taking taylor expansion of x in b 1.703 * [taylor]: Taking taylor expansion of y in b 1.703 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 1.703 * [taylor]: Taking taylor expansion of 0.25 in b 1.703 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.703 * [taylor]: Taking taylor expansion of (* a b) in b 1.703 * [taylor]: Taking taylor expansion of a in b 1.703 * [taylor]: Taking taylor expansion of b in b 1.703 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in a 1.703 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.703 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in a 1.703 * [taylor]: Taking taylor expansion of 0.0625 in a 1.703 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.703 * [taylor]: Taking taylor expansion of (* t z) in a 1.703 * [taylor]: Taking taylor expansion of t in a 1.703 * [taylor]: Taking taylor expansion of z in a 1.703 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.703 * [taylor]: Taking taylor expansion of (* x y) in a 1.703 * [taylor]: Taking taylor expansion of x in a 1.704 * [taylor]: Taking taylor expansion of y in a 1.704 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 1.704 * [taylor]: Taking taylor expansion of 0.25 in a 1.704 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.704 * [taylor]: Taking taylor expansion of (* a b) in a 1.704 * [taylor]: Taking taylor expansion of a in a 1.704 * [taylor]: Taking taylor expansion of b in a 1.704 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in t 1.704 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.704 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 1.704 * [taylor]: Taking taylor expansion of 0.0625 in t 1.704 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.704 * [taylor]: Taking taylor expansion of (* t z) in t 1.704 * [taylor]: Taking taylor expansion of t in t 1.704 * [taylor]: Taking taylor expansion of z in t 1.704 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.704 * [taylor]: Taking taylor expansion of (* x y) in t 1.704 * [taylor]: Taking taylor expansion of x in t 1.704 * [taylor]: Taking taylor expansion of y in t 1.704 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 1.704 * [taylor]: Taking taylor expansion of 0.25 in t 1.704 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.704 * [taylor]: Taking taylor expansion of (* a b) in t 1.704 * [taylor]: Taking taylor expansion of a in t 1.704 * [taylor]: Taking taylor expansion of b in t 1.704 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in z 1.704 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.704 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.704 * [taylor]: Taking taylor expansion of 0.0625 in z 1.704 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.704 * [taylor]: Taking taylor expansion of (* t z) in z 1.704 * [taylor]: Taking taylor expansion of t in z 1.704 * [taylor]: Taking taylor expansion of z in z 1.704 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.704 * [taylor]: Taking taylor expansion of (* x y) in z 1.704 * [taylor]: Taking taylor expansion of x in z 1.704 * [taylor]: Taking taylor expansion of y in z 1.704 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 1.704 * [taylor]: Taking taylor expansion of 0.25 in z 1.704 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.704 * [taylor]: Taking taylor expansion of (* a b) in z 1.704 * [taylor]: Taking taylor expansion of a in z 1.705 * [taylor]: Taking taylor expansion of b in z 1.705 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in y 1.705 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.705 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.705 * [taylor]: Taking taylor expansion of 0.0625 in y 1.705 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.705 * [taylor]: Taking taylor expansion of (* t z) in y 1.705 * [taylor]: Taking taylor expansion of t in y 1.705 * [taylor]: Taking taylor expansion of z in y 1.705 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.705 * [taylor]: Taking taylor expansion of (* x y) in y 1.705 * [taylor]: Taking taylor expansion of x in y 1.705 * [taylor]: Taking taylor expansion of y in y 1.705 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 1.705 * [taylor]: Taking taylor expansion of 0.25 in y 1.705 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.705 * [taylor]: Taking taylor expansion of (* a b) in y 1.705 * [taylor]: Taking taylor expansion of a in y 1.705 * [taylor]: Taking taylor expansion of b in y 1.705 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 1.705 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.705 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.705 * [taylor]: Taking taylor expansion of 0.0625 in x 1.705 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.705 * [taylor]: Taking taylor expansion of (* t z) in x 1.705 * [taylor]: Taking taylor expansion of t in x 1.705 * [taylor]: Taking taylor expansion of z in x 1.705 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.705 * [taylor]: Taking taylor expansion of (* x y) in x 1.705 * [taylor]: Taking taylor expansion of x in x 1.705 * [taylor]: Taking taylor expansion of y in x 1.705 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 1.705 * [taylor]: Taking taylor expansion of 0.25 in x 1.705 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.705 * [taylor]: Taking taylor expansion of (* a b) in x 1.705 * [taylor]: Taking taylor expansion of a in x 1.705 * [taylor]: Taking taylor expansion of b in x 1.705 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 1.705 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.705 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.705 * [taylor]: Taking taylor expansion of 0.0625 in x 1.705 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.705 * [taylor]: Taking taylor expansion of (* t z) in x 1.706 * [taylor]: Taking taylor expansion of t in x 1.706 * [taylor]: Taking taylor expansion of z in x 1.706 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.706 * [taylor]: Taking taylor expansion of (* x y) in x 1.706 * [taylor]: Taking taylor expansion of x in x 1.706 * [taylor]: Taking taylor expansion of y in x 1.706 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 1.706 * [taylor]: Taking taylor expansion of 0.25 in x 1.706 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.706 * [taylor]: Taking taylor expansion of (* a b) in x 1.706 * [taylor]: Taking taylor expansion of a in x 1.706 * [taylor]: Taking taylor expansion of b in x 1.706 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.706 * [taylor]: Taking taylor expansion of y in y 1.706 * [taylor]: Taking taylor expansion of 1 in z 1.706 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (* 0.25 (/ 1 (* a b)))) in y 1.706 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.706 * [taylor]: Taking taylor expansion of 0.0625 in y 1.706 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.706 * [taylor]: Taking taylor expansion of (* t z) in y 1.706 * [taylor]: Taking taylor expansion of t in y 1.706 * [taylor]: Taking taylor expansion of z in y 1.706 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 1.706 * [taylor]: Taking taylor expansion of 0.25 in y 1.706 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.706 * [taylor]: Taking taylor expansion of (* a b) in y 1.706 * [taylor]: Taking taylor expansion of a in y 1.707 * [taylor]: Taking taylor expansion of b in y 1.707 * [taylor]: Taking taylor expansion of 0 in z 1.707 * [taylor]: Taking taylor expansion of 1 in t 1.707 * [taylor]: Taking taylor expansion of 0 in y 1.707 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (* 0.25 (/ 1 (* a b)))) in z 1.707 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.707 * [taylor]: Taking taylor expansion of 0.0625 in z 1.707 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.707 * [taylor]: Taking taylor expansion of (* t z) in z 1.707 * [taylor]: Taking taylor expansion of t in z 1.707 * [taylor]: Taking taylor expansion of z in z 1.707 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 1.707 * [taylor]: Taking taylor expansion of 0.25 in z 1.707 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.707 * [taylor]: Taking taylor expansion of (* a b) in z 1.707 * [taylor]: Taking taylor expansion of a in z 1.707 * [taylor]: Taking taylor expansion of b in z 1.708 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 1.708 * [taylor]: Taking taylor expansion of 0.0625 in t 1.708 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.708 * [taylor]: Taking taylor expansion of t in t 1.708 * [taylor]: Taking taylor expansion of 0.0625 in a 1.708 * [taylor]: Taking taylor expansion of 0 in z 1.708 * [taylor]: Taking taylor expansion of 0 in t 1.708 * [taylor]: Taking taylor expansion of 0 in t 1.708 * [taylor]: Taking taylor expansion of 1 in a 1.708 * [taylor]: Taking taylor expansion of 0 in y 1.708 * [taylor]: Taking taylor expansion of 0 in z 1.709 * [taylor]: Taking taylor expansion of 0 in z 1.709 * [taylor]: Taking taylor expansion of 0 in z 1.709 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (* a b)))) in t 1.709 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 1.709 * [taylor]: Taking taylor expansion of 0.25 in t 1.709 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.709 * [taylor]: Taking taylor expansion of (* a b) in t 1.709 * [taylor]: Taking taylor expansion of a in t 1.709 * [taylor]: Taking taylor expansion of b in t 1.709 * [taylor]: Taking taylor expansion of 0 in t 1.709 * [taylor]: Taking taylor expansion of 0 in t 1.709 * [taylor]: Taking taylor expansion of 0 in t 1.709 * [taylor]: Taking taylor expansion of 0 in a 1.709 * [taylor]: Taking taylor expansion of 0 in a 1.709 * [taylor]: Taking taylor expansion of 0 in a 1.709 * [taylor]: Taking taylor expansion of 0 in a 1.710 * [taylor]: Taking taylor expansion of 0.0625 in b 1.710 * [taylor]: Taking taylor expansion of 1 in b 1.710 * [taylor]: Taking taylor expansion of 0 in y 1.710 * [taylor]: Taking taylor expansion of 0 in z 1.710 * [taylor]: Taking taylor expansion of 0 in z 1.711 * [taylor]: Taking taylor expansion of 0 in z 1.711 * [taylor]: Taking taylor expansion of 0 in z 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of 0 in t 1.711 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (* a b)))) in a 1.711 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 1.711 * [taylor]: Taking taylor expansion of 0.25 in a 1.711 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.711 * [taylor]: Taking taylor expansion of (* a b) in a 1.711 * [taylor]: Taking taylor expansion of a in a 1.712 * [taylor]: Taking taylor expansion of b in a 1.712 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 b))) in b 1.712 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 1.712 * [taylor]: Taking taylor expansion of 0.25 in b 1.712 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.712 * [taylor]: Taking taylor expansion of b in b 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.712 * [taylor]: Taking taylor expansion of 0 in a 1.712 * [taylor]: Taking taylor expansion of 0 in b 1.712 * [taylor]: Taking taylor expansion of 0 in b 1.712 * [taylor]: Taking taylor expansion of 0 in b 1.712 * [taylor]: Taking taylor expansion of 0 in b 1.712 * [taylor]: Taking taylor expansion of 0 in b 1.712 * [taylor]: Taking taylor expansion of 0 in b 1.713 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in (x y z t a b) around 0 1.713 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in b 1.713 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.713 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in b 1.713 * [taylor]: Taking taylor expansion of 0.0625 in b 1.713 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.713 * [taylor]: Taking taylor expansion of (* t z) in b 1.713 * [taylor]: Taking taylor expansion of t in b 1.713 * [taylor]: Taking taylor expansion of z in b 1.713 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.713 * [taylor]: Taking taylor expansion of (* x y) in b 1.713 * [taylor]: Taking taylor expansion of x in b 1.713 * [taylor]: Taking taylor expansion of y in b 1.713 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 1.713 * [taylor]: Taking taylor expansion of 0.25 in b 1.713 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.713 * [taylor]: Taking taylor expansion of (* a b) in b 1.713 * [taylor]: Taking taylor expansion of a in b 1.713 * [taylor]: Taking taylor expansion of b in b 1.714 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in a 1.714 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.714 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in a 1.714 * [taylor]: Taking taylor expansion of 0.0625 in a 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.714 * [taylor]: Taking taylor expansion of (* t z) in a 1.714 * [taylor]: Taking taylor expansion of t in a 1.714 * [taylor]: Taking taylor expansion of z in a 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.714 * [taylor]: Taking taylor expansion of (* x y) in a 1.714 * [taylor]: Taking taylor expansion of x in a 1.714 * [taylor]: Taking taylor expansion of y in a 1.714 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 1.714 * [taylor]: Taking taylor expansion of 0.25 in a 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.714 * [taylor]: Taking taylor expansion of (* a b) in a 1.714 * [taylor]: Taking taylor expansion of a in a 1.714 * [taylor]: Taking taylor expansion of b in a 1.714 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in t 1.714 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.714 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 1.714 * [taylor]: Taking taylor expansion of 0.0625 in t 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.714 * [taylor]: Taking taylor expansion of (* t z) in t 1.714 * [taylor]: Taking taylor expansion of t in t 1.714 * [taylor]: Taking taylor expansion of z in t 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.714 * [taylor]: Taking taylor expansion of (* x y) in t 1.714 * [taylor]: Taking taylor expansion of x in t 1.714 * [taylor]: Taking taylor expansion of y in t 1.714 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 1.714 * [taylor]: Taking taylor expansion of 0.25 in t 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.714 * [taylor]: Taking taylor expansion of (* a b) in t 1.714 * [taylor]: Taking taylor expansion of a in t 1.714 * [taylor]: Taking taylor expansion of b in t 1.714 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in z 1.714 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.714 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.714 * [taylor]: Taking taylor expansion of 0.0625 in z 1.714 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.714 * [taylor]: Taking taylor expansion of (* t z) in z 1.714 * [taylor]: Taking taylor expansion of t in z 1.714 * [taylor]: Taking taylor expansion of z in z 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.715 * [taylor]: Taking taylor expansion of (* x y) in z 1.715 * [taylor]: Taking taylor expansion of x in z 1.715 * [taylor]: Taking taylor expansion of y in z 1.715 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 1.715 * [taylor]: Taking taylor expansion of 0.25 in z 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.715 * [taylor]: Taking taylor expansion of (* a b) in z 1.715 * [taylor]: Taking taylor expansion of a in z 1.715 * [taylor]: Taking taylor expansion of b in z 1.715 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in y 1.715 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.715 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.715 * [taylor]: Taking taylor expansion of 0.0625 in y 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.715 * [taylor]: Taking taylor expansion of (* t z) in y 1.715 * [taylor]: Taking taylor expansion of t in y 1.715 * [taylor]: Taking taylor expansion of z in y 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.715 * [taylor]: Taking taylor expansion of (* x y) in y 1.715 * [taylor]: Taking taylor expansion of x in y 1.715 * [taylor]: Taking taylor expansion of y in y 1.715 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 1.715 * [taylor]: Taking taylor expansion of 0.25 in y 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.715 * [taylor]: Taking taylor expansion of (* a b) in y 1.715 * [taylor]: Taking taylor expansion of a in y 1.715 * [taylor]: Taking taylor expansion of b in y 1.715 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 1.715 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.715 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.715 * [taylor]: Taking taylor expansion of 0.0625 in x 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.715 * [taylor]: Taking taylor expansion of (* t z) in x 1.715 * [taylor]: Taking taylor expansion of t in x 1.715 * [taylor]: Taking taylor expansion of z in x 1.715 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.715 * [taylor]: Taking taylor expansion of (* x y) in x 1.715 * [taylor]: Taking taylor expansion of x in x 1.715 * [taylor]: Taking taylor expansion of y in x 1.716 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 1.716 * [taylor]: Taking taylor expansion of 0.25 in x 1.716 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.716 * [taylor]: Taking taylor expansion of (* a b) in x 1.716 * [taylor]: Taking taylor expansion of a in x 1.716 * [taylor]: Taking taylor expansion of b in x 1.716 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 1.716 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.716 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.716 * [taylor]: Taking taylor expansion of 0.0625 in x 1.716 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.716 * [taylor]: Taking taylor expansion of (* t z) in x 1.716 * [taylor]: Taking taylor expansion of t in x 1.716 * [taylor]: Taking taylor expansion of z in x 1.716 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.716 * [taylor]: Taking taylor expansion of (* x y) in x 1.716 * [taylor]: Taking taylor expansion of x in x 1.716 * [taylor]: Taking taylor expansion of y in x 1.716 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 1.716 * [taylor]: Taking taylor expansion of 0.25 in x 1.716 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.716 * [taylor]: Taking taylor expansion of (* a b) in x 1.716 * [taylor]: Taking taylor expansion of a in x 1.716 * [taylor]: Taking taylor expansion of b in x 1.716 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.716 * [taylor]: Taking taylor expansion of y in y 1.716 * [taylor]: Taking taylor expansion of 1 in z 1.717 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (* 0.25 (/ 1 (* a b)))) in y 1.717 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.717 * [taylor]: Taking taylor expansion of 0.0625 in y 1.717 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.717 * [taylor]: Taking taylor expansion of (* t z) in y 1.717 * [taylor]: Taking taylor expansion of t in y 1.717 * [taylor]: Taking taylor expansion of z in y 1.717 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 1.717 * [taylor]: Taking taylor expansion of 0.25 in y 1.717 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.717 * [taylor]: Taking taylor expansion of (* a b) in y 1.717 * [taylor]: Taking taylor expansion of a in y 1.717 * [taylor]: Taking taylor expansion of b in y 1.717 * [taylor]: Taking taylor expansion of 0 in z 1.717 * [taylor]: Taking taylor expansion of 1 in t 1.717 * [taylor]: Taking taylor expansion of 0 in y 1.717 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (* 0.25 (/ 1 (* a b)))) in z 1.717 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.717 * [taylor]: Taking taylor expansion of 0.0625 in z 1.718 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.718 * [taylor]: Taking taylor expansion of (* t z) in z 1.718 * [taylor]: Taking taylor expansion of t in z 1.718 * [taylor]: Taking taylor expansion of z in z 1.718 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 1.718 * [taylor]: Taking taylor expansion of 0.25 in z 1.718 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.718 * [taylor]: Taking taylor expansion of (* a b) in z 1.718 * [taylor]: Taking taylor expansion of a in z 1.718 * [taylor]: Taking taylor expansion of b in z 1.718 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 1.718 * [taylor]: Taking taylor expansion of 0.0625 in t 1.718 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.718 * [taylor]: Taking taylor expansion of t in t 1.718 * [taylor]: Taking taylor expansion of 0.0625 in a 1.718 * [taylor]: Taking taylor expansion of 0 in z 1.718 * [taylor]: Taking taylor expansion of 0 in t 1.718 * [taylor]: Taking taylor expansion of 0 in t 1.718 * [taylor]: Taking taylor expansion of 1 in a 1.719 * [taylor]: Taking taylor expansion of 0 in y 1.719 * [taylor]: Taking taylor expansion of 0 in z 1.719 * [taylor]: Taking taylor expansion of 0 in z 1.719 * [taylor]: Taking taylor expansion of 0 in z 1.719 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (* a b)))) in t 1.719 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 1.719 * [taylor]: Taking taylor expansion of 0.25 in t 1.719 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.719 * [taylor]: Taking taylor expansion of (* a b) in t 1.719 * [taylor]: Taking taylor expansion of a in t 1.719 * [taylor]: Taking taylor expansion of b in t 1.719 * [taylor]: Taking taylor expansion of 0 in t 1.719 * [taylor]: Taking taylor expansion of 0 in t 1.719 * [taylor]: Taking taylor expansion of 0 in t 1.720 * [taylor]: Taking taylor expansion of 0 in a 1.720 * [taylor]: Taking taylor expansion of 0 in a 1.720 * [taylor]: Taking taylor expansion of 0 in a 1.720 * [taylor]: Taking taylor expansion of 0 in a 1.720 * [taylor]: Taking taylor expansion of 0.0625 in b 1.720 * [taylor]: Taking taylor expansion of 1 in b 1.720 * [taylor]: Taking taylor expansion of 0 in y 1.720 * [taylor]: Taking taylor expansion of 0 in z 1.720 * [taylor]: Taking taylor expansion of 0 in z 1.721 * [taylor]: Taking taylor expansion of 0 in z 1.721 * [taylor]: Taking taylor expansion of 0 in z 1.721 * [taylor]: Taking taylor expansion of 0 in t 1.721 * [taylor]: Taking taylor expansion of 0 in t 1.721 * [taylor]: Taking taylor expansion of 0 in t 1.721 * [taylor]: Taking taylor expansion of 0 in t 1.721 * [taylor]: Taking taylor expansion of 0 in t 1.721 * [taylor]: Taking taylor expansion of 0 in t 1.721 * [taylor]: Taking taylor expansion of 0 in t 1.722 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (* a b)))) in a 1.722 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 1.722 * [taylor]: Taking taylor expansion of 0.25 in a 1.722 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.722 * [taylor]: Taking taylor expansion of (* a b) in a 1.722 * [taylor]: Taking taylor expansion of a in a 1.722 * [taylor]: Taking taylor expansion of b in a 1.722 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 b))) in b 1.722 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 1.722 * [taylor]: Taking taylor expansion of 0.25 in b 1.722 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.722 * [taylor]: Taking taylor expansion of b in b 1.722 * [taylor]: Taking taylor expansion of 0 in a 1.722 * [taylor]: Taking taylor expansion of 0 in a 1.722 * [taylor]: Taking taylor expansion of 0 in a 1.722 * [taylor]: Taking taylor expansion of 0 in a 1.722 * [taylor]: Taking taylor expansion of 0 in a 1.722 * [taylor]: Taking taylor expansion of 0 in a 1.722 * [taylor]: Taking taylor expansion of 0 in a 1.722 * [taylor]: Taking taylor expansion of 0 in b 1.722 * [taylor]: Taking taylor expansion of 0 in b 1.722 * [taylor]: Taking taylor expansion of 0 in b 1.722 * [taylor]: Taking taylor expansion of 0 in b 1.722 * [taylor]: Taking taylor expansion of 0 in b 1.722 * [taylor]: Taking taylor expansion of 0 in b 1.723 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 1.723 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in (x y z t) around 0 1.723 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in t 1.723 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 1.723 * [taylor]: Taking taylor expansion of 0.0625 in t 1.723 * [taylor]: Taking taylor expansion of (* t z) in t 1.723 * [taylor]: Taking taylor expansion of t in t 1.723 * [taylor]: Taking taylor expansion of z in t 1.723 * [taylor]: Taking taylor expansion of (* x y) in t 1.723 * [taylor]: Taking taylor expansion of x in t 1.723 * [taylor]: Taking taylor expansion of y in t 1.723 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in z 1.723 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 1.723 * [taylor]: Taking taylor expansion of 0.0625 in z 1.723 * [taylor]: Taking taylor expansion of (* t z) in z 1.723 * [taylor]: Taking taylor expansion of t in z 1.723 * [taylor]: Taking taylor expansion of z in z 1.723 * [taylor]: Taking taylor expansion of (* x y) in z 1.723 * [taylor]: Taking taylor expansion of x in z 1.723 * [taylor]: Taking taylor expansion of y in z 1.723 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in y 1.723 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 1.723 * [taylor]: Taking taylor expansion of 0.0625 in y 1.723 * [taylor]: Taking taylor expansion of (* t z) in y 1.723 * [taylor]: Taking taylor expansion of t in y 1.723 * [taylor]: Taking taylor expansion of z in y 1.723 * [taylor]: Taking taylor expansion of (* x y) in y 1.724 * [taylor]: Taking taylor expansion of x in y 1.724 * [taylor]: Taking taylor expansion of y in y 1.724 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 1.724 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 1.724 * [taylor]: Taking taylor expansion of 0.0625 in x 1.724 * [taylor]: Taking taylor expansion of (* t z) in x 1.724 * [taylor]: Taking taylor expansion of t in x 1.724 * [taylor]: Taking taylor expansion of z in x 1.724 * [taylor]: Taking taylor expansion of (* x y) in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of y in x 1.724 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 1.724 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 1.724 * [taylor]: Taking taylor expansion of 0.0625 in x 1.724 * [taylor]: Taking taylor expansion of (* t z) in x 1.724 * [taylor]: Taking taylor expansion of t in x 1.724 * [taylor]: Taking taylor expansion of z in x 1.724 * [taylor]: Taking taylor expansion of (* x y) in x 1.724 * [taylor]: Taking taylor expansion of x in x 1.724 * [taylor]: Taking taylor expansion of y in x 1.724 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 1.724 * [taylor]: Taking taylor expansion of 0.0625 in y 1.724 * [taylor]: Taking taylor expansion of (* t z) in y 1.724 * [taylor]: Taking taylor expansion of t in y 1.724 * [taylor]: Taking taylor expansion of z in y 1.724 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 1.724 * [taylor]: Taking taylor expansion of 0.0625 in z 1.724 * [taylor]: Taking taylor expansion of (* t z) in z 1.724 * [taylor]: Taking taylor expansion of t in z 1.724 * [taylor]: Taking taylor expansion of z in z 1.724 * [taylor]: Taking taylor expansion of 0 in t 1.724 * [taylor]: Taking taylor expansion of y in y 1.724 * [taylor]: Taking taylor expansion of 0 in z 1.724 * [taylor]: Taking taylor expansion of 0 in t 1.724 * [taylor]: Taking taylor expansion of 0 in z 1.724 * [taylor]: Taking taylor expansion of 0 in t 1.725 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 1.725 * [taylor]: Taking taylor expansion of 0.0625 in t 1.725 * [taylor]: Taking taylor expansion of t in t 1.725 * [taylor]: Taking taylor expansion of 0 in y 1.725 * [taylor]: Taking taylor expansion of 0 in z 1.725 * [taylor]: Taking taylor expansion of 0 in t 1.725 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 1.725 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.725 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 1.725 * [taylor]: Taking taylor expansion of 0.0625 in t 1.725 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.725 * [taylor]: Taking taylor expansion of (* t z) in t 1.725 * [taylor]: Taking taylor expansion of t in t 1.725 * [taylor]: Taking taylor expansion of z in t 1.725 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.725 * [taylor]: Taking taylor expansion of (* x y) in t 1.725 * [taylor]: Taking taylor expansion of x in t 1.725 * [taylor]: Taking taylor expansion of y in t 1.725 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.725 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.725 * [taylor]: Taking taylor expansion of 0.0625 in z 1.725 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.725 * [taylor]: Taking taylor expansion of (* t z) in z 1.725 * [taylor]: Taking taylor expansion of t in z 1.725 * [taylor]: Taking taylor expansion of z in z 1.725 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.725 * [taylor]: Taking taylor expansion of (* x y) in z 1.725 * [taylor]: Taking taylor expansion of x in z 1.725 * [taylor]: Taking taylor expansion of y in z 1.725 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.725 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.725 * [taylor]: Taking taylor expansion of 0.0625 in y 1.726 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.726 * [taylor]: Taking taylor expansion of (* t z) in y 1.726 * [taylor]: Taking taylor expansion of t in y 1.726 * [taylor]: Taking taylor expansion of z in y 1.726 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.726 * [taylor]: Taking taylor expansion of (* x y) in y 1.726 * [taylor]: Taking taylor expansion of x in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.726 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.726 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.726 * [taylor]: Taking taylor expansion of 0.0625 in x 1.726 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.726 * [taylor]: Taking taylor expansion of (* t z) in x 1.726 * [taylor]: Taking taylor expansion of t in x 1.726 * [taylor]: Taking taylor expansion of z in x 1.726 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.726 * [taylor]: Taking taylor expansion of (* x y) in x 1.726 * [taylor]: Taking taylor expansion of x in x 1.726 * [taylor]: Taking taylor expansion of y in x 1.726 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.726 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.726 * [taylor]: Taking taylor expansion of 0.0625 in x 1.726 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.726 * [taylor]: Taking taylor expansion of (* t z) in x 1.726 * [taylor]: Taking taylor expansion of t in x 1.726 * [taylor]: Taking taylor expansion of z in x 1.726 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.726 * [taylor]: Taking taylor expansion of (* x y) in x 1.726 * [taylor]: Taking taylor expansion of x in x 1.726 * [taylor]: Taking taylor expansion of y in x 1.726 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.726 * [taylor]: Taking taylor expansion of y in y 1.726 * [taylor]: Taking taylor expansion of 1 in z 1.727 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.727 * [taylor]: Taking taylor expansion of 0.0625 in y 1.727 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.727 * [taylor]: Taking taylor expansion of (* t z) in y 1.727 * [taylor]: Taking taylor expansion of t in y 1.727 * [taylor]: Taking taylor expansion of z in y 1.727 * [taylor]: Taking taylor expansion of 0 in z 1.727 * [taylor]: Taking taylor expansion of 1 in t 1.727 * [taylor]: Taking taylor expansion of 0 in y 1.727 * [taylor]: Taking taylor expansion of (/ 0.0625 (* t z)) in z 1.727 * [taylor]: Taking taylor expansion of 0.0625 in z 1.727 * [taylor]: Taking taylor expansion of (* t z) in z 1.727 * [taylor]: Taking taylor expansion of t in z 1.727 * [taylor]: Taking taylor expansion of z in z 1.727 * [taylor]: Taking taylor expansion of (/ 0.0625 t) in t 1.727 * [taylor]: Taking taylor expansion of 0.0625 in t 1.727 * [taylor]: Taking taylor expansion of t in t 1.727 * [taylor]: Taking taylor expansion of 0 in z 1.727 * [taylor]: Taking taylor expansion of 0 in t 1.727 * [taylor]: Taking taylor expansion of 0 in t 1.728 * [taylor]: Taking taylor expansion of 0 in y 1.728 * [taylor]: Taking taylor expansion of 0 in z 1.728 * [taylor]: Taking taylor expansion of 0 in z 1.728 * [taylor]: Taking taylor expansion of 0 in z 1.728 * [taylor]: Taking taylor expansion of 0 in t 1.728 * [taylor]: Taking taylor expansion of 0 in t 1.728 * [taylor]: Taking taylor expansion of 0 in t 1.728 * [taylor]: Taking taylor expansion of 0 in t 1.729 * [taylor]: Taking taylor expansion of 0 in y 1.729 * [taylor]: Taking taylor expansion of 0 in z 1.729 * [taylor]: Taking taylor expansion of 0 in z 1.729 * [taylor]: Taking taylor expansion of 0 in z 1.729 * [taylor]: Taking taylor expansion of 0 in z 1.729 * [taylor]: Taking taylor expansion of 0 in t 1.729 * [taylor]: Taking taylor expansion of 0 in t 1.729 * [taylor]: Taking taylor expansion of 0 in t 1.729 * [taylor]: Taking taylor expansion of 0 in t 1.729 * [taylor]: Taking taylor expansion of 0 in t 1.729 * [taylor]: Taking taylor expansion of 0 in t 1.729 * [taylor]: Taking taylor expansion of 0 in t 1.730 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 1.730 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.730 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 1.730 * [taylor]: Taking taylor expansion of 0.0625 in t 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.730 * [taylor]: Taking taylor expansion of (* t z) in t 1.730 * [taylor]: Taking taylor expansion of t in t 1.730 * [taylor]: Taking taylor expansion of z in t 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.730 * [taylor]: Taking taylor expansion of (* x y) in t 1.730 * [taylor]: Taking taylor expansion of x in t 1.730 * [taylor]: Taking taylor expansion of y in t 1.730 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.730 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.730 * [taylor]: Taking taylor expansion of 0.0625 in z 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.730 * [taylor]: Taking taylor expansion of (* t z) in z 1.730 * [taylor]: Taking taylor expansion of t in z 1.730 * [taylor]: Taking taylor expansion of z in z 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.730 * [taylor]: Taking taylor expansion of (* x y) in z 1.730 * [taylor]: Taking taylor expansion of x in z 1.730 * [taylor]: Taking taylor expansion of y in z 1.730 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.730 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.730 * [taylor]: Taking taylor expansion of 0.0625 in y 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.730 * [taylor]: Taking taylor expansion of (* t z) in y 1.730 * [taylor]: Taking taylor expansion of t in y 1.730 * [taylor]: Taking taylor expansion of z in y 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.730 * [taylor]: Taking taylor expansion of (* x y) in y 1.730 * [taylor]: Taking taylor expansion of x in y 1.730 * [taylor]: Taking taylor expansion of y in y 1.730 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.730 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.730 * [taylor]: Taking taylor expansion of 0.0625 in x 1.730 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.730 * [taylor]: Taking taylor expansion of (* t z) in x 1.731 * [taylor]: Taking taylor expansion of t in x 1.731 * [taylor]: Taking taylor expansion of z in x 1.731 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.731 * [taylor]: Taking taylor expansion of (* x y) in x 1.731 * [taylor]: Taking taylor expansion of x in x 1.731 * [taylor]: Taking taylor expansion of y in x 1.731 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.731 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.731 * [taylor]: Taking taylor expansion of 0.0625 in x 1.731 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.731 * [taylor]: Taking taylor expansion of (* t z) in x 1.731 * [taylor]: Taking taylor expansion of t in x 1.731 * [taylor]: Taking taylor expansion of z in x 1.731 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.731 * [taylor]: Taking taylor expansion of (* x y) in x 1.731 * [taylor]: Taking taylor expansion of x in x 1.731 * [taylor]: Taking taylor expansion of y in x 1.731 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.731 * [taylor]: Taking taylor expansion of y in y 1.731 * [taylor]: Taking taylor expansion of 1 in z 1.731 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.731 * [taylor]: Taking taylor expansion of 0.0625 in y 1.731 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.731 * [taylor]: Taking taylor expansion of (* t z) in y 1.731 * [taylor]: Taking taylor expansion of t in y 1.731 * [taylor]: Taking taylor expansion of z in y 1.731 * [taylor]: Taking taylor expansion of 0 in z 1.731 * [taylor]: Taking taylor expansion of 1 in t 1.732 * [taylor]: Taking taylor expansion of 0 in y 1.732 * [taylor]: Taking taylor expansion of (/ 0.0625 (* t z)) in z 1.732 * [taylor]: Taking taylor expansion of 0.0625 in z 1.732 * [taylor]: Taking taylor expansion of (* t z) in z 1.732 * [taylor]: Taking taylor expansion of t in z 1.732 * [taylor]: Taking taylor expansion of z in z 1.732 * [taylor]: Taking taylor expansion of (/ 0.0625 t) in t 1.732 * [taylor]: Taking taylor expansion of 0.0625 in t 1.732 * [taylor]: Taking taylor expansion of t in t 1.732 * [taylor]: Taking taylor expansion of 0 in z 1.732 * [taylor]: Taking taylor expansion of 0 in t 1.732 * [taylor]: Taking taylor expansion of 0 in t 1.732 * [taylor]: Taking taylor expansion of 0 in y 1.732 * [taylor]: Taking taylor expansion of 0 in z 1.733 * [taylor]: Taking taylor expansion of 0 in z 1.733 * [taylor]: Taking taylor expansion of 0 in z 1.733 * [taylor]: Taking taylor expansion of 0 in t 1.733 * [taylor]: Taking taylor expansion of 0 in t 1.733 * [taylor]: Taking taylor expansion of 0 in t 1.733 * [taylor]: Taking taylor expansion of 0 in t 1.733 * [taylor]: Taking taylor expansion of 0 in y 1.733 * [taylor]: Taking taylor expansion of 0 in z 1.733 * [taylor]: Taking taylor expansion of 0 in z 1.734 * [taylor]: Taking taylor expansion of 0 in z 1.734 * [taylor]: Taking taylor expansion of 0 in z 1.734 * [taylor]: Taking taylor expansion of 0 in t 1.734 * [taylor]: Taking taylor expansion of 0 in t 1.734 * [taylor]: Taking taylor expansion of 0 in t 1.734 * [taylor]: Taking taylor expansion of 0 in t 1.734 * [taylor]: Taking taylor expansion of 0 in t 1.734 * [taylor]: Taking taylor expansion of 0 in t 1.734 * [taylor]: Taking taylor expansion of 0 in t 1.734 * * * * [progress]: [ 3 / 3 ] generating series at (2) 1.735 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in (x y z t a b c) around 0 1.735 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in c 1.735 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (+ (* x y) c)) in c 1.735 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in c 1.735 * [taylor]: Taking taylor expansion of 0.0625 in c 1.735 * [taylor]: Taking taylor expansion of (* t z) in c 1.735 * [taylor]: Taking taylor expansion of t in c 1.735 * [taylor]: Taking taylor expansion of z in c 1.735 * [taylor]: Taking taylor expansion of (+ (* x y) c) in c 1.735 * [taylor]: Taking taylor expansion of (* x y) in c 1.735 * [taylor]: Taking taylor expansion of x in c 1.735 * [taylor]: Taking taylor expansion of y in c 1.735 * [taylor]: Taking taylor expansion of c in c 1.735 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in c 1.735 * [taylor]: Taking taylor expansion of 0.25 in c 1.735 * [taylor]: Taking taylor expansion of (* a b) in c 1.735 * [taylor]: Taking taylor expansion of a in c 1.735 * [taylor]: Taking taylor expansion of b in c 1.735 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in b 1.735 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (+ (* x y) c)) in b 1.735 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in b 1.735 * [taylor]: Taking taylor expansion of 0.0625 in b 1.735 * [taylor]: Taking taylor expansion of (* t z) in b 1.735 * [taylor]: Taking taylor expansion of t in b 1.735 * [taylor]: Taking taylor expansion of z in b 1.735 * [taylor]: Taking taylor expansion of (+ (* x y) c) in b 1.735 * [taylor]: Taking taylor expansion of (* x y) in b 1.735 * [taylor]: Taking taylor expansion of x in b 1.735 * [taylor]: Taking taylor expansion of y in b 1.735 * [taylor]: Taking taylor expansion of c in b 1.735 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in b 1.735 * [taylor]: Taking taylor expansion of 0.25 in b 1.735 * [taylor]: Taking taylor expansion of (* a b) in b 1.735 * [taylor]: Taking taylor expansion of a in b 1.735 * [taylor]: Taking taylor expansion of b in b 1.735 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in a 1.735 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (+ (* x y) c)) in a 1.735 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in a 1.735 * [taylor]: Taking taylor expansion of 0.0625 in a 1.735 * [taylor]: Taking taylor expansion of (* t z) in a 1.735 * [taylor]: Taking taylor expansion of t in a 1.735 * [taylor]: Taking taylor expansion of z in a 1.735 * [taylor]: Taking taylor expansion of (+ (* x y) c) in a 1.735 * [taylor]: Taking taylor expansion of (* x y) in a 1.735 * [taylor]: Taking taylor expansion of x in a 1.735 * [taylor]: Taking taylor expansion of y in a 1.735 * [taylor]: Taking taylor expansion of c in a 1.735 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 1.735 * [taylor]: Taking taylor expansion of 0.25 in a 1.735 * [taylor]: Taking taylor expansion of (* a b) in a 1.735 * [taylor]: Taking taylor expansion of a in a 1.736 * [taylor]: Taking taylor expansion of b in a 1.736 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in t 1.736 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (+ (* x y) c)) in t 1.736 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 1.736 * [taylor]: Taking taylor expansion of 0.0625 in t 1.736 * [taylor]: Taking taylor expansion of (* t z) in t 1.736 * [taylor]: Taking taylor expansion of t in t 1.736 * [taylor]: Taking taylor expansion of z in t 1.736 * [taylor]: Taking taylor expansion of (+ (* x y) c) in t 1.736 * [taylor]: Taking taylor expansion of (* x y) in t 1.736 * [taylor]: Taking taylor expansion of x in t 1.736 * [taylor]: Taking taylor expansion of y in t 1.736 * [taylor]: Taking taylor expansion of c in t 1.736 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 1.736 * [taylor]: Taking taylor expansion of 0.25 in t 1.736 * [taylor]: Taking taylor expansion of (* a b) in t 1.736 * [taylor]: Taking taylor expansion of a in t 1.736 * [taylor]: Taking taylor expansion of b in t 1.736 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in z 1.736 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (+ (* x y) c)) in z 1.736 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 1.736 * [taylor]: Taking taylor expansion of 0.0625 in z 1.736 * [taylor]: Taking taylor expansion of (* t z) in z 1.736 * [taylor]: Taking taylor expansion of t in z 1.736 * [taylor]: Taking taylor expansion of z in z 1.736 * [taylor]: Taking taylor expansion of (+ (* x y) c) in z 1.736 * [taylor]: Taking taylor expansion of (* x y) in z 1.736 * [taylor]: Taking taylor expansion of x in z 1.736 * [taylor]: Taking taylor expansion of y in z 1.736 * [taylor]: Taking taylor expansion of c in z 1.736 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in z 1.736 * [taylor]: Taking taylor expansion of 0.25 in z 1.736 * [taylor]: Taking taylor expansion of (* a b) in z 1.736 * [taylor]: Taking taylor expansion of a in z 1.736 * [taylor]: Taking taylor expansion of b in z 1.736 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in y 1.736 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (+ (* x y) c)) in y 1.736 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 1.736 * [taylor]: Taking taylor expansion of 0.0625 in y 1.736 * [taylor]: Taking taylor expansion of (* t z) in y 1.736 * [taylor]: Taking taylor expansion of t in y 1.736 * [taylor]: Taking taylor expansion of z in y 1.736 * [taylor]: Taking taylor expansion of (+ (* x y) c) in y 1.736 * [taylor]: Taking taylor expansion of (* x y) in y 1.736 * [taylor]: Taking taylor expansion of x in y 1.736 * [taylor]: Taking taylor expansion of y in y 1.736 * [taylor]: Taking taylor expansion of c in y 1.736 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 1.736 * [taylor]: Taking taylor expansion of 0.25 in y 1.736 * [taylor]: Taking taylor expansion of (* a b) in y 1.736 * [taylor]: Taking taylor expansion of a in y 1.736 * [taylor]: Taking taylor expansion of b in y 1.736 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in x 1.736 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (+ (* x y) c)) in x 1.736 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 1.736 * [taylor]: Taking taylor expansion of 0.0625 in x 1.736 * [taylor]: Taking taylor expansion of (* t z) in x 1.736 * [taylor]: Taking taylor expansion of t in x 1.736 * [taylor]: Taking taylor expansion of z in x 1.736 * [taylor]: Taking taylor expansion of (+ (* x y) c) in x 1.736 * [taylor]: Taking taylor expansion of (* x y) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.737 * [taylor]: Taking taylor expansion of y in x 1.737 * [taylor]: Taking taylor expansion of c in x 1.737 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 1.737 * [taylor]: Taking taylor expansion of 0.25 in x 1.737 * [taylor]: Taking taylor expansion of (* a b) in x 1.737 * [taylor]: Taking taylor expansion of a in x 1.737 * [taylor]: Taking taylor expansion of b in x 1.737 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (+ (* x y) c)) (* 0.25 (* a b))) in x 1.737 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (+ (* x y) c)) in x 1.737 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 1.737 * [taylor]: Taking taylor expansion of 0.0625 in x 1.737 * [taylor]: Taking taylor expansion of (* t z) in x 1.737 * [taylor]: Taking taylor expansion of t in x 1.737 * [taylor]: Taking taylor expansion of z in x 1.737 * [taylor]: Taking taylor expansion of (+ (* x y) c) in x 1.737 * [taylor]: Taking taylor expansion of (* x y) in x 1.737 * [taylor]: Taking taylor expansion of x in x 1.737 * [taylor]: Taking taylor expansion of y in x 1.737 * [taylor]: Taking taylor expansion of c in x 1.737 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 1.737 * [taylor]: Taking taylor expansion of 0.25 in x 1.737 * [taylor]: Taking taylor expansion of (* a b) in x 1.737 * [taylor]: Taking taylor expansion of a in x 1.737 * [taylor]: Taking taylor expansion of b in x 1.737 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) c) (* 0.25 (* a b))) in y 1.737 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) c) in y 1.737 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 1.737 * [taylor]: Taking taylor expansion of 0.0625 in y 1.737 * [taylor]: Taking taylor expansion of (* t z) in y 1.737 * [taylor]: Taking taylor expansion of t in y 1.737 * [taylor]: Taking taylor expansion of z in y 1.737 * [taylor]: Taking taylor expansion of c in y 1.737 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 1.737 * [taylor]: Taking taylor expansion of 0.25 in y 1.737 * [taylor]: Taking taylor expansion of (* a b) in y 1.737 * [taylor]: Taking taylor expansion of a in y 1.737 * [taylor]: Taking taylor expansion of b in y 1.738 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) c) (* 0.25 (* a b))) in z 1.738 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) c) in z 1.738 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 1.738 * [taylor]: Taking taylor expansion of 0.0625 in z 1.738 * [taylor]: Taking taylor expansion of (* t z) in z 1.738 * [taylor]: Taking taylor expansion of t in z 1.738 * [taylor]: Taking taylor expansion of z in z 1.738 * [taylor]: Taking taylor expansion of c in z 1.738 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in z 1.738 * [taylor]: Taking taylor expansion of 0.25 in z 1.738 * [taylor]: Taking taylor expansion of (* a b) in z 1.738 * [taylor]: Taking taylor expansion of a in z 1.738 * [taylor]: Taking taylor expansion of b in z 1.738 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in t 1.738 * [taylor]: Taking taylor expansion of c in t 1.738 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 1.738 * [taylor]: Taking taylor expansion of 0.25 in t 1.738 * [taylor]: Taking taylor expansion of (* a b) in t 1.738 * [taylor]: Taking taylor expansion of a in t 1.738 * [taylor]: Taking taylor expansion of b in t 1.738 * [taylor]: Taking taylor expansion of (- c (* 0.25 (* a b))) in a 1.738 * [taylor]: Taking taylor expansion of c in a 1.738 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 1.738 * [taylor]: Taking taylor expansion of 0.25 in a 1.738 * [taylor]: Taking taylor expansion of (* a b) in a 1.738 * [taylor]: Taking taylor expansion of a in a 1.738 * [taylor]: Taking taylor expansion of b in a 1.738 * [taylor]: Taking taylor expansion of c in b 1.738 * [taylor]: Taking taylor expansion of c in c 1.739 * [taylor]: Taking taylor expansion of y in y 1.739 * [taylor]: Taking taylor expansion of 0 in z 1.739 * [taylor]: Taking taylor expansion of 0 in t 1.739 * [taylor]: Taking taylor expansion of 0 in a 1.739 * [taylor]: Taking taylor expansion of 0 in b 1.739 * [taylor]: Taking taylor expansion of 0 in c 1.739 * [taylor]: Taking taylor expansion of 0 in z 1.739 * [taylor]: Taking taylor expansion of 0 in t 1.739 * [taylor]: Taking taylor expansion of 0 in a 1.739 * [taylor]: Taking taylor expansion of 0 in b 1.739 * [taylor]: Taking taylor expansion of 0 in c 1.739 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 1.739 * [taylor]: Taking taylor expansion of 0.0625 in t 1.739 * [taylor]: Taking taylor expansion of t in t 1.739 * [taylor]: Taking taylor expansion of 0 in a 1.739 * [taylor]: Taking taylor expansion of 0 in b 1.739 * [taylor]: Taking taylor expansion of 0 in c 1.739 * [taylor]: Taking taylor expansion of 0 in a 1.739 * [taylor]: Taking taylor expansion of 0 in b 1.739 * [taylor]: Taking taylor expansion of 0 in c 1.739 * [taylor]: Taking taylor expansion of (neg (* 0.25 b)) in b 1.739 * [taylor]: Taking taylor expansion of (* 0.25 b) in b 1.739 * [taylor]: Taking taylor expansion of 0.25 in b 1.740 * [taylor]: Taking taylor expansion of b in b 1.740 * [taylor]: Taking taylor expansion of 0 in c 1.740 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in (x y z t a b c) around 0 1.740 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in c 1.740 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) in c 1.740 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in c 1.740 * [taylor]: Taking taylor expansion of 0.0625 in c 1.740 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in c 1.740 * [taylor]: Taking taylor expansion of (* t z) in c 1.740 * [taylor]: Taking taylor expansion of t in c 1.740 * [taylor]: Taking taylor expansion of z in c 1.740 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in c 1.740 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.740 * [taylor]: Taking taylor expansion of c in c 1.740 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in c 1.740 * [taylor]: Taking taylor expansion of (* x y) in c 1.740 * [taylor]: Taking taylor expansion of x in c 1.740 * [taylor]: Taking taylor expansion of y in c 1.740 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 1.740 * [taylor]: Taking taylor expansion of 0.25 in c 1.740 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 1.740 * [taylor]: Taking taylor expansion of (* a b) in c 1.740 * [taylor]: Taking taylor expansion of a in c 1.740 * [taylor]: Taking taylor expansion of b in c 1.740 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in b 1.740 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) in b 1.740 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in b 1.740 * [taylor]: Taking taylor expansion of 0.0625 in b 1.740 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.740 * [taylor]: Taking taylor expansion of (* t z) in b 1.740 * [taylor]: Taking taylor expansion of t in b 1.741 * [taylor]: Taking taylor expansion of z in b 1.741 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in b 1.741 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.741 * [taylor]: Taking taylor expansion of c in b 1.741 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.741 * [taylor]: Taking taylor expansion of (* x y) in b 1.741 * [taylor]: Taking taylor expansion of x in b 1.741 * [taylor]: Taking taylor expansion of y in b 1.741 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 1.741 * [taylor]: Taking taylor expansion of 0.25 in b 1.741 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.741 * [taylor]: Taking taylor expansion of (* a b) in b 1.741 * [taylor]: Taking taylor expansion of a in b 1.741 * [taylor]: Taking taylor expansion of b in b 1.741 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in a 1.741 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) in a 1.741 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in a 1.741 * [taylor]: Taking taylor expansion of 0.0625 in a 1.741 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.741 * [taylor]: Taking taylor expansion of (* t z) in a 1.741 * [taylor]: Taking taylor expansion of t in a 1.741 * [taylor]: Taking taylor expansion of z in a 1.741 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in a 1.741 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.741 * [taylor]: Taking taylor expansion of c in a 1.741 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.741 * [taylor]: Taking taylor expansion of (* x y) in a 1.741 * [taylor]: Taking taylor expansion of x in a 1.741 * [taylor]: Taking taylor expansion of y in a 1.741 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 1.741 * [taylor]: Taking taylor expansion of 0.25 in a 1.741 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.741 * [taylor]: Taking taylor expansion of (* a b) in a 1.741 * [taylor]: Taking taylor expansion of a in a 1.741 * [taylor]: Taking taylor expansion of b in a 1.741 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in t 1.741 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) in t 1.741 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 1.741 * [taylor]: Taking taylor expansion of 0.0625 in t 1.741 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.741 * [taylor]: Taking taylor expansion of (* t z) in t 1.741 * [taylor]: Taking taylor expansion of t in t 1.741 * [taylor]: Taking taylor expansion of z in t 1.742 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in t 1.742 * [taylor]: Taking taylor expansion of (/ 1 c) in t 1.742 * [taylor]: Taking taylor expansion of c in t 1.742 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.742 * [taylor]: Taking taylor expansion of (* x y) in t 1.742 * [taylor]: Taking taylor expansion of x in t 1.742 * [taylor]: Taking taylor expansion of y in t 1.742 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 1.742 * [taylor]: Taking taylor expansion of 0.25 in t 1.742 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.742 * [taylor]: Taking taylor expansion of (* a b) in t 1.742 * [taylor]: Taking taylor expansion of a in t 1.742 * [taylor]: Taking taylor expansion of b in t 1.742 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in z 1.742 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) in z 1.742 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.742 * [taylor]: Taking taylor expansion of 0.0625 in z 1.742 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.742 * [taylor]: Taking taylor expansion of (* t z) in z 1.742 * [taylor]: Taking taylor expansion of t in z 1.742 * [taylor]: Taking taylor expansion of z in z 1.742 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in z 1.742 * [taylor]: Taking taylor expansion of (/ 1 c) in z 1.742 * [taylor]: Taking taylor expansion of c in z 1.742 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.742 * [taylor]: Taking taylor expansion of (* x y) in z 1.742 * [taylor]: Taking taylor expansion of x in z 1.742 * [taylor]: Taking taylor expansion of y in z 1.742 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 1.742 * [taylor]: Taking taylor expansion of 0.25 in z 1.742 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.742 * [taylor]: Taking taylor expansion of (* a b) in z 1.742 * [taylor]: Taking taylor expansion of a in z 1.742 * [taylor]: Taking taylor expansion of b in z 1.742 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in y 1.742 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) in y 1.742 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.742 * [taylor]: Taking taylor expansion of 0.0625 in y 1.742 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.742 * [taylor]: Taking taylor expansion of (* t z) in y 1.742 * [taylor]: Taking taylor expansion of t in y 1.742 * [taylor]: Taking taylor expansion of z in y 1.743 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in y 1.743 * [taylor]: Taking taylor expansion of (/ 1 c) in y 1.743 * [taylor]: Taking taylor expansion of c in y 1.743 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.743 * [taylor]: Taking taylor expansion of (* x y) in y 1.743 * [taylor]: Taking taylor expansion of x in y 1.743 * [taylor]: Taking taylor expansion of y in y 1.743 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 1.743 * [taylor]: Taking taylor expansion of 0.25 in y 1.743 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.743 * [taylor]: Taking taylor expansion of (* a b) in y 1.743 * [taylor]: Taking taylor expansion of a in y 1.743 * [taylor]: Taking taylor expansion of b in y 1.743 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in x 1.743 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) in x 1.743 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.743 * [taylor]: Taking taylor expansion of 0.0625 in x 1.743 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.743 * [taylor]: Taking taylor expansion of (* t z) in x 1.743 * [taylor]: Taking taylor expansion of t in x 1.743 * [taylor]: Taking taylor expansion of z in x 1.743 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in x 1.743 * [taylor]: Taking taylor expansion of (/ 1 c) in x 1.743 * [taylor]: Taking taylor expansion of c in x 1.743 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.743 * [taylor]: Taking taylor expansion of (* x y) in x 1.743 * [taylor]: Taking taylor expansion of x in x 1.743 * [taylor]: Taking taylor expansion of y in x 1.743 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 1.743 * [taylor]: Taking taylor expansion of 0.25 in x 1.743 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.743 * [taylor]: Taking taylor expansion of (* a b) in x 1.743 * [taylor]: Taking taylor expansion of a in x 1.743 * [taylor]: Taking taylor expansion of b in x 1.743 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) (* 0.25 (/ 1 (* a b)))) in x 1.743 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (+ (/ 1 c) (/ 1 (* x y)))) in x 1.743 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.743 * [taylor]: Taking taylor expansion of 0.0625 in x 1.743 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.743 * [taylor]: Taking taylor expansion of (* t z) in x 1.743 * [taylor]: Taking taylor expansion of t in x 1.743 * [taylor]: Taking taylor expansion of z in x 1.744 * [taylor]: Taking taylor expansion of (+ (/ 1 c) (/ 1 (* x y))) in x 1.744 * [taylor]: Taking taylor expansion of (/ 1 c) in x 1.744 * [taylor]: Taking taylor expansion of c in x 1.744 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.744 * [taylor]: Taking taylor expansion of (* x y) in x 1.744 * [taylor]: Taking taylor expansion of x in x 1.744 * [taylor]: Taking taylor expansion of y in x 1.744 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 1.744 * [taylor]: Taking taylor expansion of 0.25 in x 1.744 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.744 * [taylor]: Taking taylor expansion of (* a b) in x 1.744 * [taylor]: Taking taylor expansion of a in x 1.744 * [taylor]: Taking taylor expansion of b in x 1.744 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.744 * [taylor]: Taking taylor expansion of y in y 1.744 * [taylor]: Taking taylor expansion of 1 in z 1.744 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 c)) (* 0.25 (/ 1 (* a b)))) in y 1.744 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 c)) in y 1.744 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.744 * [taylor]: Taking taylor expansion of 0.0625 in y 1.744 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.744 * [taylor]: Taking taylor expansion of (* t z) in y 1.744 * [taylor]: Taking taylor expansion of t in y 1.744 * [taylor]: Taking taylor expansion of z in y 1.745 * [taylor]: Taking taylor expansion of (/ 1 c) in y 1.745 * [taylor]: Taking taylor expansion of c in y 1.745 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 1.745 * [taylor]: Taking taylor expansion of 0.25 in y 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.745 * [taylor]: Taking taylor expansion of (* a b) in y 1.745 * [taylor]: Taking taylor expansion of a in y 1.745 * [taylor]: Taking taylor expansion of b in y 1.745 * [taylor]: Taking taylor expansion of 0 in z 1.745 * [taylor]: Taking taylor expansion of 1 in t 1.745 * [taylor]: Taking taylor expansion of 0 in y 1.746 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 c)) (* 0.25 (/ 1 (* a b)))) in z 1.746 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 c)) in z 1.746 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.746 * [taylor]: Taking taylor expansion of 0.0625 in z 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.746 * [taylor]: Taking taylor expansion of (* t z) in z 1.746 * [taylor]: Taking taylor expansion of t in z 1.746 * [taylor]: Taking taylor expansion of z in z 1.746 * [taylor]: Taking taylor expansion of (/ 1 c) in z 1.746 * [taylor]: Taking taylor expansion of c in z 1.746 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 1.746 * [taylor]: Taking taylor expansion of 0.25 in z 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.746 * [taylor]: Taking taylor expansion of (* a b) in z 1.746 * [taylor]: Taking taylor expansion of a in z 1.746 * [taylor]: Taking taylor expansion of b in z 1.746 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 1.746 * [taylor]: Taking taylor expansion of 0.0625 in t 1.746 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.746 * [taylor]: Taking taylor expansion of t in t 1.746 * [taylor]: Taking taylor expansion of 0.0625 in a 1.746 * [taylor]: Taking taylor expansion of 0 in z 1.746 * [taylor]: Taking taylor expansion of 0 in t 1.746 * [taylor]: Taking taylor expansion of 0 in t 1.746 * [taylor]: Taking taylor expansion of 1 in a 1.747 * [taylor]: Taking taylor expansion of 0 in y 1.747 * [taylor]: Taking taylor expansion of 0 in z 1.747 * [taylor]: Taking taylor expansion of 0 in z 1.747 * [taylor]: Taking taylor expansion of 0 in z 1.748 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in t 1.748 * [taylor]: Taking taylor expansion of (/ 1 c) in t 1.748 * [taylor]: Taking taylor expansion of c in t 1.748 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 1.748 * [taylor]: Taking taylor expansion of 0.25 in t 1.748 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.748 * [taylor]: Taking taylor expansion of (* a b) in t 1.748 * [taylor]: Taking taylor expansion of a in t 1.748 * [taylor]: Taking taylor expansion of b in t 1.748 * [taylor]: Taking taylor expansion of 0 in t 1.748 * [taylor]: Taking taylor expansion of 0 in t 1.748 * [taylor]: Taking taylor expansion of 0 in t 1.748 * [taylor]: Taking taylor expansion of 0 in a 1.748 * [taylor]: Taking taylor expansion of 0 in a 1.748 * [taylor]: Taking taylor expansion of 0 in a 1.748 * [taylor]: Taking taylor expansion of 0 in a 1.748 * [taylor]: Taking taylor expansion of 0.0625 in b 1.748 * [taylor]: Taking taylor expansion of 1 in b 1.749 * [taylor]: Taking taylor expansion of 0 in y 1.749 * [taylor]: Taking taylor expansion of 0 in z 1.749 * [taylor]: Taking taylor expansion of 0 in z 1.750 * [taylor]: Taking taylor expansion of 0 in z 1.750 * [taylor]: Taking taylor expansion of 0 in z 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of 0 in t 1.750 * [taylor]: Taking taylor expansion of (- (/ 1 c) (* 0.25 (/ 1 (* a b)))) in a 1.750 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.751 * [taylor]: Taking taylor expansion of c in a 1.751 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 1.751 * [taylor]: Taking taylor expansion of 0.25 in a 1.751 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.751 * [taylor]: Taking taylor expansion of (* a b) in a 1.751 * [taylor]: Taking taylor expansion of a in a 1.751 * [taylor]: Taking taylor expansion of b in a 1.751 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 b))) in b 1.751 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 1.751 * [taylor]: Taking taylor expansion of 0.25 in b 1.751 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.751 * [taylor]: Taking taylor expansion of b in b 1.751 * [taylor]: Taking taylor expansion of (neg 0.25) in c 1.751 * [taylor]: Taking taylor expansion of 0.25 in c 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in b 1.751 * [taylor]: Taking taylor expansion of 0 in b 1.751 * [taylor]: Taking taylor expansion of 0 in b 1.751 * [taylor]: Taking taylor expansion of 0 in b 1.751 * [taylor]: Taking taylor expansion of 0 in b 1.752 * [taylor]: Taking taylor expansion of 0 in b 1.752 * [taylor]: Taking taylor expansion of 0.0625 in c 1.752 * [taylor]: Taking taylor expansion of 1 in c 1.753 * [taylor]: Taking taylor expansion of 0 in y 1.753 * [taylor]: Taking taylor expansion of 0 in z 1.753 * [taylor]: Taking taylor expansion of 0 in z 1.753 * [taylor]: Taking taylor expansion of 0 in z 1.754 * [taylor]: Taking taylor expansion of 0 in z 1.754 * [taylor]: Taking taylor expansion of 0 in z 1.754 * [taylor]: Taking taylor expansion of 0 in t 1.754 * [taylor]: Taking taylor expansion of 0 in t 1.754 * [taylor]: Taking taylor expansion of 0 in t 1.754 * [taylor]: Taking taylor expansion of 0 in t 1.754 * [taylor]: Taking taylor expansion of 0 in t 1.754 * [taylor]: Taking taylor expansion of 0 in t 1.754 * [taylor]: Taking taylor expansion of 0 in t 1.755 * [taylor]: Taking taylor expansion of 0 in t 1.755 * [taylor]: Taking taylor expansion of 0 in t 1.755 * [taylor]: Taking taylor expansion of 0 in t 1.755 * [taylor]: Taking taylor expansion of 0 in t 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.755 * [taylor]: Taking taylor expansion of 0 in a 1.756 * [taylor]: Taking taylor expansion of 0 in a 1.756 * [taylor]: Taking taylor expansion of 0 in a 1.756 * [taylor]: Taking taylor expansion of 0 in a 1.756 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.756 * [taylor]: Taking taylor expansion of c in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.756 * [taylor]: Taking taylor expansion of 0 in b 1.757 * [taylor]: Taking taylor expansion of 0 in b 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.757 * [taylor]: Taking taylor expansion of 0 in c 1.759 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in (x y z t a b c) around 0 1.759 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in c 1.759 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in c 1.759 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in c 1.759 * [taylor]: Taking taylor expansion of 0.0625 in c 1.759 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in c 1.759 * [taylor]: Taking taylor expansion of (* t z) in c 1.759 * [taylor]: Taking taylor expansion of t in c 1.759 * [taylor]: Taking taylor expansion of z in c 1.759 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in c 1.759 * [taylor]: Taking taylor expansion of (* x y) in c 1.759 * [taylor]: Taking taylor expansion of x in c 1.759 * [taylor]: Taking taylor expansion of y in c 1.759 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in c 1.759 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in c 1.759 * [taylor]: Taking taylor expansion of 0.25 in c 1.759 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in c 1.760 * [taylor]: Taking taylor expansion of (* a b) in c 1.760 * [taylor]: Taking taylor expansion of a in c 1.760 * [taylor]: Taking taylor expansion of b in c 1.760 * [taylor]: Taking taylor expansion of (/ 1 c) in c 1.760 * [taylor]: Taking taylor expansion of c in c 1.760 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in b 1.760 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.760 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in b 1.760 * [taylor]: Taking taylor expansion of 0.0625 in b 1.760 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.760 * [taylor]: Taking taylor expansion of (* t z) in b 1.760 * [taylor]: Taking taylor expansion of t in b 1.760 * [taylor]: Taking taylor expansion of z in b 1.760 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.760 * [taylor]: Taking taylor expansion of (* x y) in b 1.760 * [taylor]: Taking taylor expansion of x in b 1.760 * [taylor]: Taking taylor expansion of y in b 1.760 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in b 1.760 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 1.760 * [taylor]: Taking taylor expansion of 0.25 in b 1.760 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.760 * [taylor]: Taking taylor expansion of (* a b) in b 1.760 * [taylor]: Taking taylor expansion of a in b 1.760 * [taylor]: Taking taylor expansion of b in b 1.760 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.760 * [taylor]: Taking taylor expansion of c in b 1.760 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in a 1.760 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.760 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in a 1.760 * [taylor]: Taking taylor expansion of 0.0625 in a 1.760 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.760 * [taylor]: Taking taylor expansion of (* t z) in a 1.760 * [taylor]: Taking taylor expansion of t in a 1.760 * [taylor]: Taking taylor expansion of z in a 1.760 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.760 * [taylor]: Taking taylor expansion of (* x y) in a 1.760 * [taylor]: Taking taylor expansion of x in a 1.760 * [taylor]: Taking taylor expansion of y in a 1.760 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in a 1.760 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 1.760 * [taylor]: Taking taylor expansion of 0.25 in a 1.760 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.760 * [taylor]: Taking taylor expansion of (* a b) in a 1.760 * [taylor]: Taking taylor expansion of a in a 1.761 * [taylor]: Taking taylor expansion of b in a 1.761 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.761 * [taylor]: Taking taylor expansion of c in a 1.761 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in t 1.761 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.761 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 1.761 * [taylor]: Taking taylor expansion of 0.0625 in t 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.761 * [taylor]: Taking taylor expansion of (* t z) in t 1.761 * [taylor]: Taking taylor expansion of t in t 1.761 * [taylor]: Taking taylor expansion of z in t 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.761 * [taylor]: Taking taylor expansion of (* x y) in t 1.761 * [taylor]: Taking taylor expansion of x in t 1.761 * [taylor]: Taking taylor expansion of y in t 1.761 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in t 1.761 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 1.761 * [taylor]: Taking taylor expansion of 0.25 in t 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.761 * [taylor]: Taking taylor expansion of (* a b) in t 1.761 * [taylor]: Taking taylor expansion of a in t 1.761 * [taylor]: Taking taylor expansion of b in t 1.761 * [taylor]: Taking taylor expansion of (/ 1 c) in t 1.761 * [taylor]: Taking taylor expansion of c in t 1.761 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in z 1.761 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.761 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.761 * [taylor]: Taking taylor expansion of 0.0625 in z 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.761 * [taylor]: Taking taylor expansion of (* t z) in z 1.761 * [taylor]: Taking taylor expansion of t in z 1.761 * [taylor]: Taking taylor expansion of z in z 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.761 * [taylor]: Taking taylor expansion of (* x y) in z 1.761 * [taylor]: Taking taylor expansion of x in z 1.761 * [taylor]: Taking taylor expansion of y in z 1.761 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in z 1.761 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 1.761 * [taylor]: Taking taylor expansion of 0.25 in z 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.761 * [taylor]: Taking taylor expansion of (* a b) in z 1.761 * [taylor]: Taking taylor expansion of a in z 1.762 * [taylor]: Taking taylor expansion of b in z 1.762 * [taylor]: Taking taylor expansion of (/ 1 c) in z 1.762 * [taylor]: Taking taylor expansion of c in z 1.762 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in y 1.762 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.762 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.762 * [taylor]: Taking taylor expansion of 0.0625 in y 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.762 * [taylor]: Taking taylor expansion of (* t z) in y 1.762 * [taylor]: Taking taylor expansion of t in y 1.762 * [taylor]: Taking taylor expansion of z in y 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.762 * [taylor]: Taking taylor expansion of (* x y) in y 1.762 * [taylor]: Taking taylor expansion of x in y 1.762 * [taylor]: Taking taylor expansion of y in y 1.762 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in y 1.762 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 1.762 * [taylor]: Taking taylor expansion of 0.25 in y 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.762 * [taylor]: Taking taylor expansion of (* a b) in y 1.762 * [taylor]: Taking taylor expansion of a in y 1.762 * [taylor]: Taking taylor expansion of b in y 1.762 * [taylor]: Taking taylor expansion of (/ 1 c) in y 1.762 * [taylor]: Taking taylor expansion of c in y 1.762 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in x 1.762 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.762 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.762 * [taylor]: Taking taylor expansion of 0.0625 in x 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.762 * [taylor]: Taking taylor expansion of (* t z) in x 1.762 * [taylor]: Taking taylor expansion of t in x 1.762 * [taylor]: Taking taylor expansion of z in x 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.762 * [taylor]: Taking taylor expansion of (* x y) in x 1.762 * [taylor]: Taking taylor expansion of x in x 1.762 * [taylor]: Taking taylor expansion of y in x 1.762 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in x 1.762 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 1.762 * [taylor]: Taking taylor expansion of 0.25 in x 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.762 * [taylor]: Taking taylor expansion of (* a b) in x 1.762 * [taylor]: Taking taylor expansion of a in x 1.762 * [taylor]: Taking taylor expansion of b in x 1.763 * [taylor]: Taking taylor expansion of (/ 1 c) in x 1.763 * [taylor]: Taking taylor expansion of c in x 1.763 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in x 1.763 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.763 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 1.763 * [taylor]: Taking taylor expansion of 0.0625 in x 1.763 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.763 * [taylor]: Taking taylor expansion of (* t z) in x 1.763 * [taylor]: Taking taylor expansion of t in x 1.763 * [taylor]: Taking taylor expansion of z in x 1.763 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.763 * [taylor]: Taking taylor expansion of (* x y) in x 1.763 * [taylor]: Taking taylor expansion of x in x 1.763 * [taylor]: Taking taylor expansion of y in x 1.763 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in x 1.763 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 1.763 * [taylor]: Taking taylor expansion of 0.25 in x 1.763 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.763 * [taylor]: Taking taylor expansion of (* a b) in x 1.763 * [taylor]: Taking taylor expansion of a in x 1.763 * [taylor]: Taking taylor expansion of b in x 1.763 * [taylor]: Taking taylor expansion of (/ 1 c) in x 1.763 * [taylor]: Taking taylor expansion of c in x 1.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.763 * [taylor]: Taking taylor expansion of y in y 1.763 * [taylor]: Taking taylor expansion of 1 in z 1.764 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in y 1.764 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 1.764 * [taylor]: Taking taylor expansion of 0.0625 in y 1.764 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.764 * [taylor]: Taking taylor expansion of (* t z) in y 1.764 * [taylor]: Taking taylor expansion of t in y 1.764 * [taylor]: Taking taylor expansion of z in y 1.764 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in y 1.764 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 1.764 * [taylor]: Taking taylor expansion of 0.25 in y 1.764 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.764 * [taylor]: Taking taylor expansion of (* a b) in y 1.764 * [taylor]: Taking taylor expansion of a in y 1.764 * [taylor]: Taking taylor expansion of b in y 1.764 * [taylor]: Taking taylor expansion of (/ 1 c) in y 1.764 * [taylor]: Taking taylor expansion of c in y 1.764 * [taylor]: Taking taylor expansion of 0 in z 1.764 * [taylor]: Taking taylor expansion of 1 in t 1.765 * [taylor]: Taking taylor expansion of 0 in y 1.765 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in z 1.765 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 1.765 * [taylor]: Taking taylor expansion of 0.0625 in z 1.765 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.765 * [taylor]: Taking taylor expansion of (* t z) in z 1.765 * [taylor]: Taking taylor expansion of t in z 1.765 * [taylor]: Taking taylor expansion of z in z 1.765 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in z 1.765 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 1.765 * [taylor]: Taking taylor expansion of 0.25 in z 1.765 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.765 * [taylor]: Taking taylor expansion of (* a b) in z 1.765 * [taylor]: Taking taylor expansion of a in z 1.765 * [taylor]: Taking taylor expansion of b in z 1.765 * [taylor]: Taking taylor expansion of (/ 1 c) in z 1.765 * [taylor]: Taking taylor expansion of c in z 1.765 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 1.765 * [taylor]: Taking taylor expansion of 0.0625 in t 1.765 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.765 * [taylor]: Taking taylor expansion of t in t 1.765 * [taylor]: Taking taylor expansion of 0.0625 in a 1.765 * [taylor]: Taking taylor expansion of 0 in z 1.765 * [taylor]: Taking taylor expansion of 0 in t 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.766 * [taylor]: Taking taylor expansion of 1 in a 1.766 * [taylor]: Taking taylor expansion of 0 in y 1.766 * [taylor]: Taking taylor expansion of 0 in z 1.767 * [taylor]: Taking taylor expansion of 0 in z 1.767 * [taylor]: Taking taylor expansion of 0 in z 1.767 * [taylor]: Taking taylor expansion of (neg (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in t 1.767 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in t 1.767 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 1.767 * [taylor]: Taking taylor expansion of 0.25 in t 1.767 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.767 * [taylor]: Taking taylor expansion of (* a b) in t 1.767 * [taylor]: Taking taylor expansion of a in t 1.767 * [taylor]: Taking taylor expansion of b in t 1.767 * [taylor]: Taking taylor expansion of (/ 1 c) in t 1.767 * [taylor]: Taking taylor expansion of c in t 1.767 * [taylor]: Taking taylor expansion of 0 in t 1.767 * [taylor]: Taking taylor expansion of 0 in t 1.767 * [taylor]: Taking taylor expansion of 0 in t 1.767 * [taylor]: Taking taylor expansion of 0 in a 1.767 * [taylor]: Taking taylor expansion of 0 in a 1.767 * [taylor]: Taking taylor expansion of 0 in a 1.768 * [taylor]: Taking taylor expansion of 0 in a 1.768 * [taylor]: Taking taylor expansion of 0.0625 in b 1.768 * [taylor]: Taking taylor expansion of 1 in b 1.768 * [taylor]: Taking taylor expansion of 0 in y 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [taylor]: Taking taylor expansion of 0 in t 1.769 * [taylor]: Taking taylor expansion of 0 in t 1.769 * [taylor]: Taking taylor expansion of 0 in t 1.770 * [taylor]: Taking taylor expansion of 0 in t 1.770 * [taylor]: Taking taylor expansion of 0 in t 1.770 * [taylor]: Taking taylor expansion of 0 in t 1.770 * [taylor]: Taking taylor expansion of 0 in t 1.770 * [taylor]: Taking taylor expansion of (neg (+ (* 0.25 (/ 1 (* a b))) (/ 1 c))) in a 1.770 * [taylor]: Taking taylor expansion of (+ (* 0.25 (/ 1 (* a b))) (/ 1 c)) in a 1.770 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 1.770 * [taylor]: Taking taylor expansion of 0.25 in a 1.770 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.770 * [taylor]: Taking taylor expansion of (* a b) in a 1.770 * [taylor]: Taking taylor expansion of a in a 1.770 * [taylor]: Taking taylor expansion of b in a 1.770 * [taylor]: Taking taylor expansion of (/ 1 c) in a 1.770 * [taylor]: Taking taylor expansion of c in a 1.770 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 b))) in b 1.770 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 1.770 * [taylor]: Taking taylor expansion of 0.25 in b 1.770 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.770 * [taylor]: Taking taylor expansion of b in b 1.770 * [taylor]: Taking taylor expansion of (neg 0.25) in c 1.770 * [taylor]: Taking taylor expansion of 0.25 in c 1.770 * [taylor]: Taking taylor expansion of 0 in a 1.770 * [taylor]: Taking taylor expansion of 0 in a 1.770 * [taylor]: Taking taylor expansion of 0 in a 1.770 * [taylor]: Taking taylor expansion of 0 in a 1.771 * [taylor]: Taking taylor expansion of 0 in a 1.771 * [taylor]: Taking taylor expansion of 0 in a 1.771 * [taylor]: Taking taylor expansion of 0 in a 1.771 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [taylor]: Taking taylor expansion of 0.0625 in c 1.771 * [taylor]: Taking taylor expansion of 1 in c 1.772 * [taylor]: Taking taylor expansion of 0 in y 1.773 * [taylor]: Taking taylor expansion of 0 in z 1.773 * [taylor]: Taking taylor expansion of 0 in z 1.773 * [taylor]: Taking taylor expansion of 0 in z 1.773 * [taylor]: Taking taylor expansion of 0 in z 1.773 * [taylor]: Taking taylor expansion of 0 in z 1.773 * [taylor]: Taking taylor expansion of 0 in t 1.773 * [taylor]: Taking taylor expansion of 0 in t 1.773 * [taylor]: Taking taylor expansion of 0 in t 1.773 * [taylor]: Taking taylor expansion of 0 in t 1.773 * [taylor]: Taking taylor expansion of 0 in t 1.773 * [taylor]: Taking taylor expansion of 0 in t 1.773 * [taylor]: Taking taylor expansion of 0 in t 1.774 * [taylor]: Taking taylor expansion of 0 in t 1.774 * [taylor]: Taking taylor expansion of 0 in t 1.774 * [taylor]: Taking taylor expansion of 0 in t 1.774 * [taylor]: Taking taylor expansion of 0 in t 1.774 * [taylor]: Taking taylor expansion of 0 in a 1.774 * [taylor]: Taking taylor expansion of 0 in a 1.774 * [taylor]: Taking taylor expansion of 0 in a 1.774 * [taylor]: Taking taylor expansion of 0 in a 1.774 * [taylor]: Taking taylor expansion of 0 in a 1.774 * [taylor]: Taking taylor expansion of 0 in a 1.774 * [taylor]: Taking taylor expansion of 0 in a 1.774 * [taylor]: Taking taylor expansion of 0 in a 1.775 * [taylor]: Taking taylor expansion of 0 in a 1.775 * [taylor]: Taking taylor expansion of 0 in a 1.775 * [taylor]: Taking taylor expansion of 0 in a 1.775 * [taylor]: Taking taylor expansion of 0 in a 1.775 * [taylor]: Taking taylor expansion of 0 in a 1.775 * [taylor]: Taking taylor expansion of 0 in a 1.775 * [taylor]: Taking taylor expansion of 0 in a 1.775 * [taylor]: Taking taylor expansion of (neg (/ 1 c)) in b 1.775 * [taylor]: Taking taylor expansion of (/ 1 c) in b 1.775 * [taylor]: Taking taylor expansion of c in b 1.775 * [taylor]: Taking taylor expansion of 0 in b 1.775 * [taylor]: Taking taylor expansion of 0 in b 1.775 * [taylor]: Taking taylor expansion of 0 in b 1.775 * [taylor]: Taking taylor expansion of 0 in b 1.775 * [taylor]: Taking taylor expansion of 0 in b 1.775 * [taylor]: Taking taylor expansion of 0 in b 1.775 * [taylor]: Taking taylor expansion of 0 in b 1.776 * [taylor]: Taking taylor expansion of 0 in b 1.776 * [taylor]: Taking taylor expansion of 0 in b 1.776 * [taylor]: Taking taylor expansion of 0 in b 1.776 * [taylor]: Taking taylor expansion of 0 in b 1.776 * [taylor]: Taking taylor expansion of 0 in b 1.776 * [taylor]: Taking taylor expansion of 0 in b 1.776 * [taylor]: Taking taylor expansion of 0 in c 1.776 * [taylor]: Taking taylor expansion of 0 in c 1.776 * [taylor]: Taking taylor expansion of 0 in c 1.776 * [taylor]: Taking taylor expansion of 0 in c 1.776 * [taylor]: Taking taylor expansion of 0 in c 1.776 * [taylor]: Taking taylor expansion of 0 in c 1.776 * [taylor]: Taking taylor expansion of 0 in c 1.777 * [taylor]: Taking taylor expansion of 0 in c 1.777 * [taylor]: Taking taylor expansion of 0 in c 1.778 * * * [progress]: simplifying candidates 1.779 * [simplify]: Simplifying using # : (/ (* (exp (* x y)) (exp (/ (* z t) 16.0))) (exp (/ (* a b) 4.0))) (/ (exp (+ (* x y) (/ (* z t) 16.0))) (exp (/ (* a b) 4.0))) (log (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (exp (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* (cbrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (cbrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (cbrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (sqrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (sqrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (- (* (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) 4.0) (* (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0)))) (* a b))) (* (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0)))) 4.0) (- (* (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) 4.0) (* (- (* x y) (/ (* z t) 16.0)) (* a b))) (* (- (* x y) (/ (* z t) 16.0)) 4.0) (- (pow (+ (* x y) (/ (* z t) 16.0)) 3) (pow (/ (* a b) 4.0) 3)) (+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (neg (/ (* a b) 4.0)) (- (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (/ (* a b) 4.0))) (+ (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (+ (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (/ (* a b) 4.0))) (- (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (/ (* a b) 4.0))) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (/ (* z t) 16.0) (/ (* a b) 4.0)) (neg (/ (* a b) 4.0)) (* (exp (* x y)) (exp (/ (* z t) 16.0))) (log (+ (* x y) (/ (* z t) 16.0))) (exp (+ (* x y) (/ (* z t) 16.0))) (* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0)))) (cbrt (+ (* x y) (/ (* z t) 16.0))) (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0)))) (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (- (* x y) (/ (* z t) 16.0)) (* (/ (* (exp (* x y)) (exp (/ (* z t) 16.0))) (exp (/ (* a b) 4.0))) (exp c)) (* (/ (exp (+ (* x y) (/ (* z t) 16.0))) (exp (/ (* a b) 4.0))) (exp c)) (* (exp (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (exp c)) (log (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (exp (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (* (* (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (+ (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3)) (+ (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (- (* c c) (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))) (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (+ (neg (/ (* a b) 4.0)) c) (+ (- (/ (* z t) 16.0) (/ (* a b) 4.0)) c) (+ (neg (/ (* a b) 4.0)) c) (- (/ (* a b) 4.0) c) 0 (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 0 (+ (* 0.0625 (* t z)) (* x y)) (+ (* 0.0625 (* t z)) (* x y)) 0 (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 1.787 * * [simplify]: iteration 0 : 282 enodes (cost 548 ) 1.793 * * [simplify]: iteration 1 : 1017 enodes (cost 527 ) 1.821 * * [simplify]: iteration 2 : 4883 enodes (cost 513 ) 1.917 * * [simplify]: iteration 3 : 5001 enodes (cost 513 ) 1.923 * [simplify]: Simplified to: (exp (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (exp (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (log (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (exp (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* (cbrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (cbrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)))) (cbrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (sqrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (sqrt (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (+ (* (neg (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y)))) (* a b)) (* (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) 4.0)) (* 4.0 (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y)))) (* (- (* x y) (/ (* z t) 16.0)) (- (* 4.0 (+ (* x y) (/ (* z t) 16.0))) (* a b))) (* (- (* x y) (/ (* z t) 16.0)) 4.0) (- (pow (+ (* x y) (/ (* z t) 16.0)) 3) (pow (/ (* a b) 4.0) 3)) (+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* (/ (* a b) 4.0) (/ (* a b) 4.0))) (neg (/ (* a b) 4.0)) (- (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (/ (* a b) 4.0))) (+ (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (+ (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (/ (* a b) 4.0))) (- (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (/ (* a b) 4.0))) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (/ (* z t) 16.0) (/ (* a b) 4.0)) (neg (/ (* a b) 4.0)) (exp (+ (* x y) (/ (* z t) 16.0))) (log (+ (* x y) (/ (* z t) 16.0))) (exp (+ (* x y) (/ (* z t) 16.0))) (* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0)))) (cbrt (+ (* x y) (/ (* z t) 16.0))) (pow (+ (* x y) (/ (* z t) 16.0)) 3) (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (- (* x y) (/ (* z t) 16.0)) (exp (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (exp (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (exp (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (log (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (exp (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (* (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c))) (cbrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (pow (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) 3) (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (sqrt (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (+ (pow (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) 3) (pow c 3)) (+ (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)) (* c c)) (- (* (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))) (* c c)) (- (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) (- c (/ (* a b) 4.0)) (+ (- (/ (* z t) 16.0) (/ (* a b) 4.0)) c) (- c (/ (* a b) 4.0)) (- (/ (* a b) 4.0) c) 0 (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 0 (+ (* 0.0625 (* t z)) (* x y)) (+ (* 0.0625 (* t z)) (* x y)) 0 (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 1.923 * * * [progress]: adding candidates to table 1.991 * * [progress]: iteration 2 / 4 1.991 * * * [progress]: picking best candidate 1.997 * * * * [pick]: Picked # 1.997 * * * [progress]: localizing error 2.013 * * * [progress]: generating rewritten candidates 2.013 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 2.019 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 2.023 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 2.034 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1) 2.040 * * * [progress]: generating series expansions 2.040 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 2.040 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in (x y z t) around 0 2.040 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in t 2.040 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 2.040 * [taylor]: Taking taylor expansion of 0.0625 in t 2.040 * [taylor]: Taking taylor expansion of (* t z) in t 2.040 * [taylor]: Taking taylor expansion of t in t 2.040 * [taylor]: Taking taylor expansion of z in t 2.040 * [taylor]: Taking taylor expansion of (* x y) in t 2.040 * [taylor]: Taking taylor expansion of x in t 2.040 * [taylor]: Taking taylor expansion of y in t 2.040 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in z 2.040 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 2.040 * [taylor]: Taking taylor expansion of 0.0625 in z 2.040 * [taylor]: Taking taylor expansion of (* t z) in z 2.040 * [taylor]: Taking taylor expansion of t in z 2.040 * [taylor]: Taking taylor expansion of z in z 2.040 * [taylor]: Taking taylor expansion of (* x y) in z 2.040 * [taylor]: Taking taylor expansion of x in z 2.040 * [taylor]: Taking taylor expansion of y in z 2.040 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in y 2.040 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 2.040 * [taylor]: Taking taylor expansion of 0.0625 in y 2.040 * [taylor]: Taking taylor expansion of (* t z) in y 2.040 * [taylor]: Taking taylor expansion of t in y 2.040 * [taylor]: Taking taylor expansion of z in y 2.040 * [taylor]: Taking taylor expansion of (* x y) in y 2.040 * [taylor]: Taking taylor expansion of x in y 2.040 * [taylor]: Taking taylor expansion of y in y 2.040 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 2.040 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 2.040 * [taylor]: Taking taylor expansion of 0.0625 in x 2.040 * [taylor]: Taking taylor expansion of (* t z) in x 2.040 * [taylor]: Taking taylor expansion of t in x 2.040 * [taylor]: Taking taylor expansion of z in x 2.040 * [taylor]: Taking taylor expansion of (* x y) in x 2.040 * [taylor]: Taking taylor expansion of x in x 2.040 * [taylor]: Taking taylor expansion of y in x 2.040 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 2.040 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 2.040 * [taylor]: Taking taylor expansion of 0.0625 in x 2.040 * [taylor]: Taking taylor expansion of (* t z) in x 2.040 * [taylor]: Taking taylor expansion of t in x 2.040 * [taylor]: Taking taylor expansion of z in x 2.041 * [taylor]: Taking taylor expansion of (* x y) in x 2.041 * [taylor]: Taking taylor expansion of x in x 2.041 * [taylor]: Taking taylor expansion of y in x 2.041 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 2.041 * [taylor]: Taking taylor expansion of 0.0625 in y 2.041 * [taylor]: Taking taylor expansion of (* t z) in y 2.041 * [taylor]: Taking taylor expansion of t in y 2.041 * [taylor]: Taking taylor expansion of z in y 2.041 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 2.041 * [taylor]: Taking taylor expansion of 0.0625 in z 2.041 * [taylor]: Taking taylor expansion of (* t z) in z 2.041 * [taylor]: Taking taylor expansion of t in z 2.041 * [taylor]: Taking taylor expansion of z in z 2.041 * [taylor]: Taking taylor expansion of 0 in t 2.041 * [taylor]: Taking taylor expansion of y in y 2.041 * [taylor]: Taking taylor expansion of 0 in z 2.041 * [taylor]: Taking taylor expansion of 0 in t 2.041 * [taylor]: Taking taylor expansion of 0 in z 2.041 * [taylor]: Taking taylor expansion of 0 in t 2.041 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 2.041 * [taylor]: Taking taylor expansion of 0.0625 in t 2.041 * [taylor]: Taking taylor expansion of t in t 2.041 * [taylor]: Taking taylor expansion of 0 in y 2.041 * [taylor]: Taking taylor expansion of 0 in z 2.042 * [taylor]: Taking taylor expansion of 0 in t 2.042 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 2.042 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.042 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 2.042 * [taylor]: Taking taylor expansion of 0.0625 in t 2.042 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.042 * [taylor]: Taking taylor expansion of (* t z) in t 2.042 * [taylor]: Taking taylor expansion of t in t 2.042 * [taylor]: Taking taylor expansion of z in t 2.042 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.042 * [taylor]: Taking taylor expansion of (* x y) in t 2.042 * [taylor]: Taking taylor expansion of x in t 2.042 * [taylor]: Taking taylor expansion of y in t 2.042 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.042 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.042 * [taylor]: Taking taylor expansion of 0.0625 in z 2.042 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.042 * [taylor]: Taking taylor expansion of (* t z) in z 2.042 * [taylor]: Taking taylor expansion of t in z 2.042 * [taylor]: Taking taylor expansion of z in z 2.042 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.042 * [taylor]: Taking taylor expansion of (* x y) in z 2.042 * [taylor]: Taking taylor expansion of x in z 2.042 * [taylor]: Taking taylor expansion of y in z 2.042 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.042 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.042 * [taylor]: Taking taylor expansion of 0.0625 in y 2.042 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.042 * [taylor]: Taking taylor expansion of (* t z) in y 2.042 * [taylor]: Taking taylor expansion of t in y 2.042 * [taylor]: Taking taylor expansion of z in y 2.042 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.042 * [taylor]: Taking taylor expansion of (* x y) in y 2.042 * [taylor]: Taking taylor expansion of x in y 2.042 * [taylor]: Taking taylor expansion of y in y 2.043 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.043 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.043 * [taylor]: Taking taylor expansion of 0.0625 in x 2.043 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.043 * [taylor]: Taking taylor expansion of (* t z) in x 2.043 * [taylor]: Taking taylor expansion of t in x 2.043 * [taylor]: Taking taylor expansion of z in x 2.043 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.043 * [taylor]: Taking taylor expansion of (* x y) in x 2.043 * [taylor]: Taking taylor expansion of x in x 2.043 * [taylor]: Taking taylor expansion of y in x 2.043 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.043 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.043 * [taylor]: Taking taylor expansion of 0.0625 in x 2.043 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.043 * [taylor]: Taking taylor expansion of (* t z) in x 2.043 * [taylor]: Taking taylor expansion of t in x 2.043 * [taylor]: Taking taylor expansion of z in x 2.043 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.043 * [taylor]: Taking taylor expansion of (* x y) in x 2.043 * [taylor]: Taking taylor expansion of x in x 2.043 * [taylor]: Taking taylor expansion of y in x 2.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.043 * [taylor]: Taking taylor expansion of y in y 2.043 * [taylor]: Taking taylor expansion of 1 in z 2.043 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.043 * [taylor]: Taking taylor expansion of 0.0625 in y 2.043 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.043 * [taylor]: Taking taylor expansion of (* t z) in y 2.043 * [taylor]: Taking taylor expansion of t in y 2.043 * [taylor]: Taking taylor expansion of z in y 2.044 * [taylor]: Taking taylor expansion of 0 in z 2.044 * [taylor]: Taking taylor expansion of 1 in t 2.044 * [taylor]: Taking taylor expansion of 0 in y 2.044 * [taylor]: Taking taylor expansion of (/ 0.0625 (* t z)) in z 2.044 * [taylor]: Taking taylor expansion of 0.0625 in z 2.044 * [taylor]: Taking taylor expansion of (* t z) in z 2.044 * [taylor]: Taking taylor expansion of t in z 2.044 * [taylor]: Taking taylor expansion of z in z 2.044 * [taylor]: Taking taylor expansion of (/ 0.0625 t) in t 2.044 * [taylor]: Taking taylor expansion of 0.0625 in t 2.044 * [taylor]: Taking taylor expansion of t in t 2.044 * [taylor]: Taking taylor expansion of 0 in z 2.044 * [taylor]: Taking taylor expansion of 0 in t 2.044 * [taylor]: Taking taylor expansion of 0 in t 2.045 * [taylor]: Taking taylor expansion of 0 in y 2.045 * [taylor]: Taking taylor expansion of 0 in z 2.045 * [taylor]: Taking taylor expansion of 0 in z 2.045 * [taylor]: Taking taylor expansion of 0 in z 2.045 * [taylor]: Taking taylor expansion of 0 in t 2.045 * [taylor]: Taking taylor expansion of 0 in t 2.045 * [taylor]: Taking taylor expansion of 0 in t 2.045 * [taylor]: Taking taylor expansion of 0 in t 2.045 * [taylor]: Taking taylor expansion of 0 in y 2.045 * [taylor]: Taking taylor expansion of 0 in z 2.046 * [taylor]: Taking taylor expansion of 0 in z 2.046 * [taylor]: Taking taylor expansion of 0 in z 2.046 * [taylor]: Taking taylor expansion of 0 in z 2.046 * [taylor]: Taking taylor expansion of 0 in t 2.046 * [taylor]: Taking taylor expansion of 0 in t 2.046 * [taylor]: Taking taylor expansion of 0 in t 2.046 * [taylor]: Taking taylor expansion of 0 in t 2.046 * [taylor]: Taking taylor expansion of 0 in t 2.046 * [taylor]: Taking taylor expansion of 0 in t 2.046 * [taylor]: Taking taylor expansion of 0 in t 2.047 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 2.047 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.047 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 2.047 * [taylor]: Taking taylor expansion of 0.0625 in t 2.047 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.047 * [taylor]: Taking taylor expansion of (* t z) in t 2.047 * [taylor]: Taking taylor expansion of t in t 2.047 * [taylor]: Taking taylor expansion of z in t 2.047 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.047 * [taylor]: Taking taylor expansion of (* x y) in t 2.047 * [taylor]: Taking taylor expansion of x in t 2.047 * [taylor]: Taking taylor expansion of y in t 2.047 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.047 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.047 * [taylor]: Taking taylor expansion of 0.0625 in z 2.047 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.047 * [taylor]: Taking taylor expansion of (* t z) in z 2.047 * [taylor]: Taking taylor expansion of t in z 2.047 * [taylor]: Taking taylor expansion of z in z 2.047 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.047 * [taylor]: Taking taylor expansion of (* x y) in z 2.047 * [taylor]: Taking taylor expansion of x in z 2.047 * [taylor]: Taking taylor expansion of y in z 2.047 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.047 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.047 * [taylor]: Taking taylor expansion of 0.0625 in y 2.047 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.047 * [taylor]: Taking taylor expansion of (* t z) in y 2.047 * [taylor]: Taking taylor expansion of t in y 2.047 * [taylor]: Taking taylor expansion of z in y 2.047 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.047 * [taylor]: Taking taylor expansion of (* x y) in y 2.047 * [taylor]: Taking taylor expansion of x in y 2.047 * [taylor]: Taking taylor expansion of y in y 2.047 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.047 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.047 * [taylor]: Taking taylor expansion of 0.0625 in x 2.047 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.047 * [taylor]: Taking taylor expansion of (* t z) in x 2.047 * [taylor]: Taking taylor expansion of t in x 2.047 * [taylor]: Taking taylor expansion of z in x 2.048 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.048 * [taylor]: Taking taylor expansion of (* x y) in x 2.048 * [taylor]: Taking taylor expansion of x in x 2.048 * [taylor]: Taking taylor expansion of y in x 2.048 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.048 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.048 * [taylor]: Taking taylor expansion of 0.0625 in x 2.048 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.048 * [taylor]: Taking taylor expansion of (* t z) in x 2.048 * [taylor]: Taking taylor expansion of t in x 2.048 * [taylor]: Taking taylor expansion of z in x 2.048 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.048 * [taylor]: Taking taylor expansion of (* x y) in x 2.048 * [taylor]: Taking taylor expansion of x in x 2.048 * [taylor]: Taking taylor expansion of y in x 2.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.048 * [taylor]: Taking taylor expansion of y in y 2.048 * [taylor]: Taking taylor expansion of 1 in z 2.048 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.048 * [taylor]: Taking taylor expansion of 0.0625 in y 2.048 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.048 * [taylor]: Taking taylor expansion of (* t z) in y 2.048 * [taylor]: Taking taylor expansion of t in y 2.048 * [taylor]: Taking taylor expansion of z in y 2.048 * [taylor]: Taking taylor expansion of 0 in z 2.048 * [taylor]: Taking taylor expansion of 1 in t 2.049 * [taylor]: Taking taylor expansion of 0 in y 2.049 * [taylor]: Taking taylor expansion of (/ 0.0625 (* t z)) in z 2.049 * [taylor]: Taking taylor expansion of 0.0625 in z 2.049 * [taylor]: Taking taylor expansion of (* t z) in z 2.049 * [taylor]: Taking taylor expansion of t in z 2.049 * [taylor]: Taking taylor expansion of z in z 2.049 * [taylor]: Taking taylor expansion of (/ 0.0625 t) in t 2.049 * [taylor]: Taking taylor expansion of 0.0625 in t 2.049 * [taylor]: Taking taylor expansion of t in t 2.049 * [taylor]: Taking taylor expansion of 0 in z 2.049 * [taylor]: Taking taylor expansion of 0 in t 2.049 * [taylor]: Taking taylor expansion of 0 in t 2.049 * [taylor]: Taking taylor expansion of 0 in y 2.049 * [taylor]: Taking taylor expansion of 0 in z 2.049 * [taylor]: Taking taylor expansion of 0 in z 2.050 * [taylor]: Taking taylor expansion of 0 in z 2.050 * [taylor]: Taking taylor expansion of 0 in t 2.050 * [taylor]: Taking taylor expansion of 0 in t 2.050 * [taylor]: Taking taylor expansion of 0 in t 2.050 * [taylor]: Taking taylor expansion of 0 in t 2.050 * [taylor]: Taking taylor expansion of 0 in y 2.050 * [taylor]: Taking taylor expansion of 0 in z 2.050 * [taylor]: Taking taylor expansion of 0 in z 2.050 * [taylor]: Taking taylor expansion of 0 in z 2.051 * [taylor]: Taking taylor expansion of 0 in z 2.051 * [taylor]: Taking taylor expansion of 0 in t 2.051 * [taylor]: Taking taylor expansion of 0 in t 2.051 * [taylor]: Taking taylor expansion of 0 in t 2.051 * [taylor]: Taking taylor expansion of 0 in t 2.051 * [taylor]: Taking taylor expansion of 0 in t 2.051 * [taylor]: Taking taylor expansion of 0 in t 2.051 * [taylor]: Taking taylor expansion of 0 in t 2.051 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 2.051 * [approximate]: Taking taylor expansion of (log (+ (* 0.0625 (* t z)) (* x y))) in (x y z t) around 0 2.051 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (* t z)) (* x y))) in t 2.051 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in t 2.051 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 2.051 * [taylor]: Taking taylor expansion of 0.0625 in t 2.051 * [taylor]: Taking taylor expansion of (* t z) in t 2.051 * [taylor]: Taking taylor expansion of t in t 2.051 * [taylor]: Taking taylor expansion of z in t 2.051 * [taylor]: Taking taylor expansion of (* x y) in t 2.051 * [taylor]: Taking taylor expansion of x in t 2.051 * [taylor]: Taking taylor expansion of y in t 2.051 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (* t z)) (* x y))) in z 2.052 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in z 2.052 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 2.052 * [taylor]: Taking taylor expansion of 0.0625 in z 2.052 * [taylor]: Taking taylor expansion of (* t z) in z 2.052 * [taylor]: Taking taylor expansion of t in z 2.052 * [taylor]: Taking taylor expansion of z in z 2.052 * [taylor]: Taking taylor expansion of (* x y) in z 2.052 * [taylor]: Taking taylor expansion of x in z 2.052 * [taylor]: Taking taylor expansion of y in z 2.052 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (* t z)) (* x y))) in y 2.052 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in y 2.052 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 2.052 * [taylor]: Taking taylor expansion of 0.0625 in y 2.052 * [taylor]: Taking taylor expansion of (* t z) in y 2.052 * [taylor]: Taking taylor expansion of t in y 2.052 * [taylor]: Taking taylor expansion of z in y 2.052 * [taylor]: Taking taylor expansion of (* x y) in y 2.052 * [taylor]: Taking taylor expansion of x in y 2.052 * [taylor]: Taking taylor expansion of y in y 2.052 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (* t z)) (* x y))) in x 2.052 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 2.052 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 2.052 * [taylor]: Taking taylor expansion of 0.0625 in x 2.052 * [taylor]: Taking taylor expansion of (* t z) in x 2.052 * [taylor]: Taking taylor expansion of t in x 2.052 * [taylor]: Taking taylor expansion of z in x 2.052 * [taylor]: Taking taylor expansion of (* x y) in x 2.052 * [taylor]: Taking taylor expansion of x in x 2.052 * [taylor]: Taking taylor expansion of y in x 2.052 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (* t z)) (* x y))) in x 2.052 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 2.052 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 2.052 * [taylor]: Taking taylor expansion of 0.0625 in x 2.052 * [taylor]: Taking taylor expansion of (* t z) in x 2.052 * [taylor]: Taking taylor expansion of t in x 2.052 * [taylor]: Taking taylor expansion of z in x 2.052 * [taylor]: Taking taylor expansion of (* x y) in x 2.052 * [taylor]: Taking taylor expansion of x in x 2.052 * [taylor]: Taking taylor expansion of y in x 2.053 * [taylor]: Taking taylor expansion of (log (* 0.0625 (* t z))) in y 2.053 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 2.053 * [taylor]: Taking taylor expansion of 0.0625 in y 2.053 * [taylor]: Taking taylor expansion of (* t z) in y 2.053 * [taylor]: Taking taylor expansion of t in y 2.053 * [taylor]: Taking taylor expansion of z in y 2.053 * [taylor]: Taking taylor expansion of (log (* 0.0625 (* t z))) in z 2.053 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 2.053 * [taylor]: Taking taylor expansion of 0.0625 in z 2.053 * [taylor]: Taking taylor expansion of (* t z) in z 2.053 * [taylor]: Taking taylor expansion of t in z 2.053 * [taylor]: Taking taylor expansion of z in z 2.053 * [taylor]: Taking taylor expansion of (+ (log z) (log (* 0.0625 t))) in t 2.053 * [taylor]: Taking taylor expansion of (log z) in t 2.053 * [taylor]: Taking taylor expansion of z in t 2.053 * [taylor]: Taking taylor expansion of (log (* 0.0625 t)) in t 2.053 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 2.053 * [taylor]: Taking taylor expansion of 0.0625 in t 2.053 * [taylor]: Taking taylor expansion of t in t 2.054 * [taylor]: Taking taylor expansion of (* 16.0 (/ y (* t z))) in y 2.054 * [taylor]: Taking taylor expansion of 16.0 in y 2.054 * [taylor]: Taking taylor expansion of (/ y (* t z)) in y 2.054 * [taylor]: Taking taylor expansion of y in y 2.054 * [taylor]: Taking taylor expansion of (* t z) in y 2.054 * [taylor]: Taking taylor expansion of t in y 2.054 * [taylor]: Taking taylor expansion of z in y 2.054 * [taylor]: Taking taylor expansion of 0 in z 2.054 * [taylor]: Taking taylor expansion of 0 in t 2.054 * [taylor]: Taking taylor expansion of 0 in t 2.055 * [taylor]: Taking taylor expansion of (* -1/2 (/ (pow y 2) (* (pow t 2) (* (pow 0.0625 2) (pow z 2))))) in y 2.055 * [taylor]: Taking taylor expansion of -1/2 in y 2.055 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* (pow t 2) (* (pow 0.0625 2) (pow z 2)))) in y 2.055 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.055 * [taylor]: Taking taylor expansion of y in y 2.055 * [taylor]: Taking taylor expansion of (* (pow t 2) (* (pow 0.0625 2) (pow z 2))) in y 2.055 * [taylor]: Taking taylor expansion of (pow t 2) in y 2.055 * [taylor]: Taking taylor expansion of t in y 2.055 * [taylor]: Taking taylor expansion of (* (pow 0.0625 2) (pow z 2)) in y 2.055 * [taylor]: Taking taylor expansion of (pow 0.0625 2) in y 2.055 * [taylor]: Taking taylor expansion of 0.0625 in y 2.055 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.055 * [taylor]: Taking taylor expansion of z in y 2.055 * [taylor]: Taking taylor expansion of (/ 16.0 (* t z)) in z 2.055 * [taylor]: Taking taylor expansion of 16.0 in z 2.056 * [taylor]: Taking taylor expansion of (* t z) in z 2.056 * [taylor]: Taking taylor expansion of t in z 2.056 * [taylor]: Taking taylor expansion of z in z 2.056 * [taylor]: Taking taylor expansion of 0 in t 2.058 * [taylor]: Taking taylor expansion of 0 in z 2.058 * [taylor]: Taking taylor expansion of 0 in t 2.058 * [taylor]: Taking taylor expansion of 0 in t 2.058 * [approximate]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in (x y z t) around 0 2.058 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in t 2.058 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.058 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 2.058 * [taylor]: Taking taylor expansion of 0.0625 in t 2.058 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.058 * [taylor]: Taking taylor expansion of (* t z) in t 2.058 * [taylor]: Taking taylor expansion of t in t 2.058 * [taylor]: Taking taylor expansion of z in t 2.058 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.059 * [taylor]: Taking taylor expansion of (* x y) in t 2.059 * [taylor]: Taking taylor expansion of x in t 2.059 * [taylor]: Taking taylor expansion of y in t 2.059 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in z 2.059 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.059 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.059 * [taylor]: Taking taylor expansion of 0.0625 in z 2.059 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.059 * [taylor]: Taking taylor expansion of (* t z) in z 2.059 * [taylor]: Taking taylor expansion of t in z 2.059 * [taylor]: Taking taylor expansion of z in z 2.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.059 * [taylor]: Taking taylor expansion of (* x y) in z 2.059 * [taylor]: Taking taylor expansion of x in z 2.059 * [taylor]: Taking taylor expansion of y in z 2.059 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in y 2.059 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.059 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.059 * [taylor]: Taking taylor expansion of 0.0625 in y 2.059 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.059 * [taylor]: Taking taylor expansion of (* t z) in y 2.059 * [taylor]: Taking taylor expansion of t in y 2.059 * [taylor]: Taking taylor expansion of z in y 2.059 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.059 * [taylor]: Taking taylor expansion of (* x y) in y 2.059 * [taylor]: Taking taylor expansion of x in y 2.059 * [taylor]: Taking taylor expansion of y in y 2.059 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in x 2.059 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.059 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.059 * [taylor]: Taking taylor expansion of 0.0625 in x 2.059 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.059 * [taylor]: Taking taylor expansion of (* t z) in x 2.059 * [taylor]: Taking taylor expansion of t in x 2.059 * [taylor]: Taking taylor expansion of z in x 2.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.060 * [taylor]: Taking taylor expansion of (* x y) in x 2.060 * [taylor]: Taking taylor expansion of x in x 2.060 * [taylor]: Taking taylor expansion of y in x 2.060 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in x 2.060 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.060 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.060 * [taylor]: Taking taylor expansion of 0.0625 in x 2.060 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.060 * [taylor]: Taking taylor expansion of (* t z) in x 2.060 * [taylor]: Taking taylor expansion of t in x 2.060 * [taylor]: Taking taylor expansion of z in x 2.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.060 * [taylor]: Taking taylor expansion of (* x y) in x 2.060 * [taylor]: Taking taylor expansion of x in x 2.060 * [taylor]: Taking taylor expansion of y in x 2.060 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 2.060 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.060 * [taylor]: Taking taylor expansion of y in y 2.060 * [taylor]: Taking taylor expansion of (log x) in y 2.060 * [taylor]: Taking taylor expansion of x in y 2.060 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log x) (log y))) in z 2.060 * [taylor]: Taking taylor expansion of (log 1) in z 2.060 * [taylor]: Taking taylor expansion of 1 in z 2.060 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.060 * [taylor]: Taking taylor expansion of (log x) in z 2.060 * [taylor]: Taking taylor expansion of x in z 2.061 * [taylor]: Taking taylor expansion of (log y) in z 2.061 * [taylor]: Taking taylor expansion of y in z 2.061 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log x) (log y))) in t 2.061 * [taylor]: Taking taylor expansion of (log 1) in t 2.061 * [taylor]: Taking taylor expansion of 1 in t 2.061 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in t 2.061 * [taylor]: Taking taylor expansion of (log x) in t 2.061 * [taylor]: Taking taylor expansion of x in t 2.061 * [taylor]: Taking taylor expansion of (log y) in t 2.061 * [taylor]: Taking taylor expansion of y in t 2.061 * [taylor]: Taking taylor expansion of (* 0.0625 (/ y (* t z))) in y 2.061 * [taylor]: Taking taylor expansion of 0.0625 in y 2.061 * [taylor]: Taking taylor expansion of (/ y (* t z)) in y 2.061 * [taylor]: Taking taylor expansion of y in y 2.061 * [taylor]: Taking taylor expansion of (* t z) in y 2.061 * [taylor]: Taking taylor expansion of t in y 2.061 * [taylor]: Taking taylor expansion of z in y 2.062 * [taylor]: Taking taylor expansion of 0 in z 2.062 * [taylor]: Taking taylor expansion of 0 in t 2.062 * [taylor]: Taking taylor expansion of 0 in t 2.063 * [taylor]: Taking taylor expansion of (* -0.001953125 (/ (pow y 2) (* (pow t 2) (pow z 2)))) in y 2.063 * [taylor]: Taking taylor expansion of -0.001953125 in y 2.063 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* (pow t 2) (pow z 2))) in y 2.063 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.063 * [taylor]: Taking taylor expansion of y in y 2.063 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y 2.063 * [taylor]: Taking taylor expansion of (pow t 2) in y 2.063 * [taylor]: Taking taylor expansion of t in y 2.063 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.063 * [taylor]: Taking taylor expansion of z in y 2.063 * [taylor]: Taking taylor expansion of (/ 0.0625 (* t z)) in z 2.063 * [taylor]: Taking taylor expansion of 0.0625 in z 2.063 * [taylor]: Taking taylor expansion of (* t z) in z 2.063 * [taylor]: Taking taylor expansion of t in z 2.064 * [taylor]: Taking taylor expansion of z in z 2.064 * [taylor]: Taking taylor expansion of 0 in t 2.064 * [taylor]: Taking taylor expansion of 0 in z 2.064 * [taylor]: Taking taylor expansion of 0 in t 2.064 * [taylor]: Taking taylor expansion of 0 in t 2.064 * [approximate]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in (x y z t) around 0 2.064 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in t 2.065 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.065 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 2.065 * [taylor]: Taking taylor expansion of 0.0625 in t 2.065 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.065 * [taylor]: Taking taylor expansion of (* t z) in t 2.065 * [taylor]: Taking taylor expansion of t in t 2.065 * [taylor]: Taking taylor expansion of z in t 2.065 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.065 * [taylor]: Taking taylor expansion of (* x y) in t 2.065 * [taylor]: Taking taylor expansion of x in t 2.065 * [taylor]: Taking taylor expansion of y in t 2.065 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in z 2.065 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.065 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.065 * [taylor]: Taking taylor expansion of 0.0625 in z 2.065 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.065 * [taylor]: Taking taylor expansion of (* t z) in z 2.065 * [taylor]: Taking taylor expansion of t in z 2.065 * [taylor]: Taking taylor expansion of z in z 2.065 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.065 * [taylor]: Taking taylor expansion of (* x y) in z 2.065 * [taylor]: Taking taylor expansion of x in z 2.065 * [taylor]: Taking taylor expansion of y in z 2.065 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in y 2.065 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.065 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.065 * [taylor]: Taking taylor expansion of 0.0625 in y 2.065 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.065 * [taylor]: Taking taylor expansion of (* t z) in y 2.065 * [taylor]: Taking taylor expansion of t in y 2.065 * [taylor]: Taking taylor expansion of z in y 2.065 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.065 * [taylor]: Taking taylor expansion of (* x y) in y 2.066 * [taylor]: Taking taylor expansion of x in y 2.066 * [taylor]: Taking taylor expansion of y in y 2.066 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in x 2.066 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.066 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.066 * [taylor]: Taking taylor expansion of 0.0625 in x 2.066 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.066 * [taylor]: Taking taylor expansion of (* t z) in x 2.066 * [taylor]: Taking taylor expansion of t in x 2.066 * [taylor]: Taking taylor expansion of z in x 2.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.066 * [taylor]: Taking taylor expansion of (* x y) in x 2.066 * [taylor]: Taking taylor expansion of x in x 2.066 * [taylor]: Taking taylor expansion of y in x 2.066 * [taylor]: Taking taylor expansion of (log (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y)))) in x 2.066 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.066 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.066 * [taylor]: Taking taylor expansion of 0.0625 in x 2.066 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.066 * [taylor]: Taking taylor expansion of (* t z) in x 2.066 * [taylor]: Taking taylor expansion of t in x 2.066 * [taylor]: Taking taylor expansion of z in x 2.066 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.066 * [taylor]: Taking taylor expansion of (* x y) in x 2.066 * [taylor]: Taking taylor expansion of x in x 2.066 * [taylor]: Taking taylor expansion of y in x 2.066 * [taylor]: Taking taylor expansion of (- (log (/ 1 y)) (log x)) in y 2.066 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 2.066 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.066 * [taylor]: Taking taylor expansion of y in y 2.067 * [taylor]: Taking taylor expansion of (log x) in y 2.067 * [taylor]: Taking taylor expansion of x in y 2.067 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log x) (log y))) in z 2.067 * [taylor]: Taking taylor expansion of (log 1) in z 2.067 * [taylor]: Taking taylor expansion of 1 in z 2.067 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in z 2.067 * [taylor]: Taking taylor expansion of (log x) in z 2.067 * [taylor]: Taking taylor expansion of x in z 2.067 * [taylor]: Taking taylor expansion of (log y) in z 2.067 * [taylor]: Taking taylor expansion of y in z 2.067 * [taylor]: Taking taylor expansion of (- (log 1) (+ (log x) (log y))) in t 2.067 * [taylor]: Taking taylor expansion of (log 1) in t 2.067 * [taylor]: Taking taylor expansion of 1 in t 2.067 * [taylor]: Taking taylor expansion of (+ (log x) (log y)) in t 2.067 * [taylor]: Taking taylor expansion of (log x) in t 2.067 * [taylor]: Taking taylor expansion of x in t 2.067 * [taylor]: Taking taylor expansion of (log y) in t 2.067 * [taylor]: Taking taylor expansion of y in t 2.068 * [taylor]: Taking taylor expansion of (* 0.0625 (/ y (* t z))) in y 2.068 * [taylor]: Taking taylor expansion of 0.0625 in y 2.068 * [taylor]: Taking taylor expansion of (/ y (* t z)) in y 2.068 * [taylor]: Taking taylor expansion of y in y 2.068 * [taylor]: Taking taylor expansion of (* t z) in y 2.068 * [taylor]: Taking taylor expansion of t in y 2.068 * [taylor]: Taking taylor expansion of z in y 2.068 * [taylor]: Taking taylor expansion of 0 in z 2.068 * [taylor]: Taking taylor expansion of 0 in t 2.069 * [taylor]: Taking taylor expansion of 0 in t 2.070 * [taylor]: Taking taylor expansion of (* -0.001953125 (/ (pow y 2) (* (pow t 2) (pow z 2)))) in y 2.070 * [taylor]: Taking taylor expansion of -0.001953125 in y 2.070 * [taylor]: Taking taylor expansion of (/ (pow y 2) (* (pow t 2) (pow z 2))) in y 2.070 * [taylor]: Taking taylor expansion of (pow y 2) in y 2.070 * [taylor]: Taking taylor expansion of y in y 2.070 * [taylor]: Taking taylor expansion of (* (pow t 2) (pow z 2)) in y 2.070 * [taylor]: Taking taylor expansion of (pow t 2) in y 2.070 * [taylor]: Taking taylor expansion of t in y 2.070 * [taylor]: Taking taylor expansion of (pow z 2) in y 2.070 * [taylor]: Taking taylor expansion of z in y 2.070 * [taylor]: Taking taylor expansion of (/ 0.0625 (* t z)) in z 2.070 * [taylor]: Taking taylor expansion of 0.0625 in z 2.070 * [taylor]: Taking taylor expansion of (* t z) in z 2.070 * [taylor]: Taking taylor expansion of t in z 2.070 * [taylor]: Taking taylor expansion of z in z 2.070 * [taylor]: Taking taylor expansion of 0 in t 2.071 * [taylor]: Taking taylor expansion of 0 in z 2.071 * [taylor]: Taking taylor expansion of 0 in t 2.071 * [taylor]: Taking taylor expansion of 0 in t 2.071 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 2.071 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in (x y z t a b) around 0 2.071 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in b 2.071 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in b 2.071 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in b 2.071 * [taylor]: Taking taylor expansion of 0.0625 in b 2.071 * [taylor]: Taking taylor expansion of (* t z) in b 2.071 * [taylor]: Taking taylor expansion of t in b 2.071 * [taylor]: Taking taylor expansion of z in b 2.071 * [taylor]: Taking taylor expansion of (* x y) in b 2.071 * [taylor]: Taking taylor expansion of x in b 2.071 * [taylor]: Taking taylor expansion of y in b 2.071 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in b 2.071 * [taylor]: Taking taylor expansion of 0.25 in b 2.071 * [taylor]: Taking taylor expansion of (* a b) in b 2.071 * [taylor]: Taking taylor expansion of a in b 2.071 * [taylor]: Taking taylor expansion of b in b 2.071 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in a 2.071 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in a 2.071 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in a 2.071 * [taylor]: Taking taylor expansion of 0.0625 in a 2.071 * [taylor]: Taking taylor expansion of (* t z) in a 2.071 * [taylor]: Taking taylor expansion of t in a 2.072 * [taylor]: Taking taylor expansion of z in a 2.072 * [taylor]: Taking taylor expansion of (* x y) in a 2.072 * [taylor]: Taking taylor expansion of x in a 2.072 * [taylor]: Taking taylor expansion of y in a 2.072 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 2.072 * [taylor]: Taking taylor expansion of 0.25 in a 2.072 * [taylor]: Taking taylor expansion of (* a b) in a 2.072 * [taylor]: Taking taylor expansion of a in a 2.072 * [taylor]: Taking taylor expansion of b in a 2.072 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in t 2.072 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in t 2.072 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 2.072 * [taylor]: Taking taylor expansion of 0.0625 in t 2.072 * [taylor]: Taking taylor expansion of (* t z) in t 2.072 * [taylor]: Taking taylor expansion of t in t 2.072 * [taylor]: Taking taylor expansion of z in t 2.072 * [taylor]: Taking taylor expansion of (* x y) in t 2.072 * [taylor]: Taking taylor expansion of x in t 2.072 * [taylor]: Taking taylor expansion of y in t 2.072 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 2.072 * [taylor]: Taking taylor expansion of 0.25 in t 2.072 * [taylor]: Taking taylor expansion of (* a b) in t 2.072 * [taylor]: Taking taylor expansion of a in t 2.072 * [taylor]: Taking taylor expansion of b in t 2.072 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in z 2.072 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in z 2.072 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 2.072 * [taylor]: Taking taylor expansion of 0.0625 in z 2.072 * [taylor]: Taking taylor expansion of (* t z) in z 2.072 * [taylor]: Taking taylor expansion of t in z 2.072 * [taylor]: Taking taylor expansion of z in z 2.072 * [taylor]: Taking taylor expansion of (* x y) in z 2.072 * [taylor]: Taking taylor expansion of x in z 2.072 * [taylor]: Taking taylor expansion of y in z 2.072 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in z 2.072 * [taylor]: Taking taylor expansion of 0.25 in z 2.072 * [taylor]: Taking taylor expansion of (* a b) in z 2.072 * [taylor]: Taking taylor expansion of a in z 2.072 * [taylor]: Taking taylor expansion of b in z 2.072 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in y 2.072 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in y 2.072 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 2.072 * [taylor]: Taking taylor expansion of 0.0625 in y 2.072 * [taylor]: Taking taylor expansion of (* t z) in y 2.072 * [taylor]: Taking taylor expansion of t in y 2.072 * [taylor]: Taking taylor expansion of z in y 2.072 * [taylor]: Taking taylor expansion of (* x y) in y 2.072 * [taylor]: Taking taylor expansion of x in y 2.072 * [taylor]: Taking taylor expansion of y in y 2.072 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 2.072 * [taylor]: Taking taylor expansion of 0.25 in y 2.072 * [taylor]: Taking taylor expansion of (* a b) in y 2.072 * [taylor]: Taking taylor expansion of a in y 2.072 * [taylor]: Taking taylor expansion of b in y 2.072 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in x 2.072 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 2.072 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 2.072 * [taylor]: Taking taylor expansion of 0.0625 in x 2.072 * [taylor]: Taking taylor expansion of (* t z) in x 2.072 * [taylor]: Taking taylor expansion of t in x 2.072 * [taylor]: Taking taylor expansion of z in x 2.073 * [taylor]: Taking taylor expansion of (* x y) in x 2.073 * [taylor]: Taking taylor expansion of x in x 2.073 * [taylor]: Taking taylor expansion of y in x 2.073 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 2.073 * [taylor]: Taking taylor expansion of 0.25 in x 2.073 * [taylor]: Taking taylor expansion of (* a b) in x 2.073 * [taylor]: Taking taylor expansion of a in x 2.073 * [taylor]: Taking taylor expansion of b in x 2.073 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) in x 2.073 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 2.073 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 2.073 * [taylor]: Taking taylor expansion of 0.0625 in x 2.073 * [taylor]: Taking taylor expansion of (* t z) in x 2.073 * [taylor]: Taking taylor expansion of t in x 2.073 * [taylor]: Taking taylor expansion of z in x 2.073 * [taylor]: Taking taylor expansion of (* x y) in x 2.073 * [taylor]: Taking taylor expansion of x in x 2.073 * [taylor]: Taking taylor expansion of y in x 2.073 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in x 2.073 * [taylor]: Taking taylor expansion of 0.25 in x 2.073 * [taylor]: Taking taylor expansion of (* a b) in x 2.073 * [taylor]: Taking taylor expansion of a in x 2.073 * [taylor]: Taking taylor expansion of b in x 2.073 * [taylor]: Taking taylor expansion of (- (* 0.0625 (* t z)) (* 0.25 (* a b))) in y 2.073 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 2.073 * [taylor]: Taking taylor expansion of 0.0625 in y 2.073 * [taylor]: Taking taylor expansion of (* t z) in y 2.073 * [taylor]: Taking taylor expansion of t in y 2.073 * [taylor]: Taking taylor expansion of z in y 2.073 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in y 2.073 * [taylor]: Taking taylor expansion of 0.25 in y 2.073 * [taylor]: Taking taylor expansion of (* a b) in y 2.073 * [taylor]: Taking taylor expansion of a in y 2.073 * [taylor]: Taking taylor expansion of b in y 2.073 * [taylor]: Taking taylor expansion of (- (* 0.0625 (* t z)) (* 0.25 (* a b))) in z 2.073 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 2.074 * [taylor]: Taking taylor expansion of 0.0625 in z 2.074 * [taylor]: Taking taylor expansion of (* t z) in z 2.074 * [taylor]: Taking taylor expansion of t in z 2.074 * [taylor]: Taking taylor expansion of z in z 2.074 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in z 2.074 * [taylor]: Taking taylor expansion of 0.25 in z 2.074 * [taylor]: Taking taylor expansion of (* a b) in z 2.074 * [taylor]: Taking taylor expansion of a in z 2.074 * [taylor]: Taking taylor expansion of b in z 2.074 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* a b))) in t 2.074 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in t 2.074 * [taylor]: Taking taylor expansion of 0.25 in t 2.074 * [taylor]: Taking taylor expansion of (* a b) in t 2.074 * [taylor]: Taking taylor expansion of a in t 2.074 * [taylor]: Taking taylor expansion of b in t 2.074 * [taylor]: Taking taylor expansion of (neg (* 0.25 (* a b))) in a 2.074 * [taylor]: Taking taylor expansion of (* 0.25 (* a b)) in a 2.074 * [taylor]: Taking taylor expansion of 0.25 in a 2.074 * [taylor]: Taking taylor expansion of (* a b) in a 2.074 * [taylor]: Taking taylor expansion of a in a 2.074 * [taylor]: Taking taylor expansion of b in a 2.074 * [taylor]: Taking taylor expansion of 0 in b 2.074 * [taylor]: Taking taylor expansion of y in y 2.074 * [taylor]: Taking taylor expansion of 0 in z 2.074 * [taylor]: Taking taylor expansion of 0 in t 2.074 * [taylor]: Taking taylor expansion of 0 in a 2.074 * [taylor]: Taking taylor expansion of 0 in b 2.074 * [taylor]: Taking taylor expansion of 0 in z 2.074 * [taylor]: Taking taylor expansion of 0 in t 2.075 * [taylor]: Taking taylor expansion of 0 in a 2.075 * [taylor]: Taking taylor expansion of 0 in b 2.075 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 2.075 * [taylor]: Taking taylor expansion of 0.0625 in t 2.075 * [taylor]: Taking taylor expansion of t in t 2.075 * [taylor]: Taking taylor expansion of 0 in a 2.075 * [taylor]: Taking taylor expansion of 0 in b 2.075 * [taylor]: Taking taylor expansion of 0 in a 2.075 * [taylor]: Taking taylor expansion of 0 in b 2.075 * [taylor]: Taking taylor expansion of (neg (* 0.25 b)) in b 2.075 * [taylor]: Taking taylor expansion of (* 0.25 b) in b 2.075 * [taylor]: Taking taylor expansion of 0.25 in b 2.075 * [taylor]: Taking taylor expansion of b in b 2.075 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in (x y z t a b) around 0 2.075 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in b 2.075 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in b 2.075 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in b 2.075 * [taylor]: Taking taylor expansion of 0.0625 in b 2.075 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 2.076 * [taylor]: Taking taylor expansion of (* t z) in b 2.076 * [taylor]: Taking taylor expansion of t in b 2.076 * [taylor]: Taking taylor expansion of z in b 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 2.076 * [taylor]: Taking taylor expansion of (* x y) in b 2.076 * [taylor]: Taking taylor expansion of x in b 2.076 * [taylor]: Taking taylor expansion of y in b 2.076 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 2.076 * [taylor]: Taking taylor expansion of 0.25 in b 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.076 * [taylor]: Taking taylor expansion of (* a b) in b 2.076 * [taylor]: Taking taylor expansion of a in b 2.076 * [taylor]: Taking taylor expansion of b in b 2.076 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in a 2.076 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in a 2.076 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in a 2.076 * [taylor]: Taking taylor expansion of 0.0625 in a 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 2.076 * [taylor]: Taking taylor expansion of (* t z) in a 2.076 * [taylor]: Taking taylor expansion of t in a 2.076 * [taylor]: Taking taylor expansion of z in a 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 2.076 * [taylor]: Taking taylor expansion of (* x y) in a 2.076 * [taylor]: Taking taylor expansion of x in a 2.076 * [taylor]: Taking taylor expansion of y in a 2.076 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.076 * [taylor]: Taking taylor expansion of 0.25 in a 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.076 * [taylor]: Taking taylor expansion of (* a b) in a 2.076 * [taylor]: Taking taylor expansion of a in a 2.076 * [taylor]: Taking taylor expansion of b in a 2.076 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in t 2.076 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.076 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 2.076 * [taylor]: Taking taylor expansion of 0.0625 in t 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.076 * [taylor]: Taking taylor expansion of (* t z) in t 2.076 * [taylor]: Taking taylor expansion of t in t 2.076 * [taylor]: Taking taylor expansion of z in t 2.076 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.076 * [taylor]: Taking taylor expansion of (* x y) in t 2.076 * [taylor]: Taking taylor expansion of x in t 2.077 * [taylor]: Taking taylor expansion of y in t 2.077 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.077 * [taylor]: Taking taylor expansion of 0.25 in t 2.077 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.077 * [taylor]: Taking taylor expansion of (* a b) in t 2.077 * [taylor]: Taking taylor expansion of a in t 2.077 * [taylor]: Taking taylor expansion of b in t 2.077 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in z 2.077 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.077 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.077 * [taylor]: Taking taylor expansion of 0.0625 in z 2.077 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.077 * [taylor]: Taking taylor expansion of (* t z) in z 2.077 * [taylor]: Taking taylor expansion of t in z 2.077 * [taylor]: Taking taylor expansion of z in z 2.077 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.077 * [taylor]: Taking taylor expansion of (* x y) in z 2.077 * [taylor]: Taking taylor expansion of x in z 2.077 * [taylor]: Taking taylor expansion of y in z 2.077 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 2.077 * [taylor]: Taking taylor expansion of 0.25 in z 2.077 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.077 * [taylor]: Taking taylor expansion of (* a b) in z 2.077 * [taylor]: Taking taylor expansion of a in z 2.077 * [taylor]: Taking taylor expansion of b in z 2.077 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in y 2.077 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.077 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.077 * [taylor]: Taking taylor expansion of 0.0625 in y 2.077 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.077 * [taylor]: Taking taylor expansion of (* t z) in y 2.077 * [taylor]: Taking taylor expansion of t in y 2.077 * [taylor]: Taking taylor expansion of z in y 2.077 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.077 * [taylor]: Taking taylor expansion of (* x y) in y 2.077 * [taylor]: Taking taylor expansion of x in y 2.077 * [taylor]: Taking taylor expansion of y in y 2.077 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.077 * [taylor]: Taking taylor expansion of 0.25 in y 2.077 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.077 * [taylor]: Taking taylor expansion of (* a b) in y 2.077 * [taylor]: Taking taylor expansion of a in y 2.077 * [taylor]: Taking taylor expansion of b in y 2.078 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 2.078 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.078 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.078 * [taylor]: Taking taylor expansion of 0.0625 in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.078 * [taylor]: Taking taylor expansion of (* t z) in x 2.078 * [taylor]: Taking taylor expansion of t in x 2.078 * [taylor]: Taking taylor expansion of z in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.078 * [taylor]: Taking taylor expansion of (* x y) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of y in x 2.078 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.078 * [taylor]: Taking taylor expansion of 0.25 in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.078 * [taylor]: Taking taylor expansion of (* a b) in x 2.078 * [taylor]: Taking taylor expansion of a in x 2.078 * [taylor]: Taking taylor expansion of b in x 2.078 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 2.078 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.078 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.078 * [taylor]: Taking taylor expansion of 0.0625 in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.078 * [taylor]: Taking taylor expansion of (* t z) in x 2.078 * [taylor]: Taking taylor expansion of t in x 2.078 * [taylor]: Taking taylor expansion of z in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.078 * [taylor]: Taking taylor expansion of (* x y) in x 2.078 * [taylor]: Taking taylor expansion of x in x 2.078 * [taylor]: Taking taylor expansion of y in x 2.078 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.078 * [taylor]: Taking taylor expansion of 0.25 in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.078 * [taylor]: Taking taylor expansion of (* a b) in x 2.078 * [taylor]: Taking taylor expansion of a in x 2.078 * [taylor]: Taking taylor expansion of b in x 2.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.078 * [taylor]: Taking taylor expansion of y in y 2.079 * [taylor]: Taking taylor expansion of 1 in z 2.079 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (* 0.25 (/ 1 (* a b)))) in y 2.079 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.079 * [taylor]: Taking taylor expansion of 0.0625 in y 2.079 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.079 * [taylor]: Taking taylor expansion of (* t z) in y 2.079 * [taylor]: Taking taylor expansion of t in y 2.079 * [taylor]: Taking taylor expansion of z in y 2.079 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.079 * [taylor]: Taking taylor expansion of 0.25 in y 2.079 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.079 * [taylor]: Taking taylor expansion of (* a b) in y 2.079 * [taylor]: Taking taylor expansion of a in y 2.079 * [taylor]: Taking taylor expansion of b in y 2.079 * [taylor]: Taking taylor expansion of 0 in z 2.079 * [taylor]: Taking taylor expansion of 1 in t 2.080 * [taylor]: Taking taylor expansion of 0 in y 2.080 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (* 0.25 (/ 1 (* a b)))) in z 2.080 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.080 * [taylor]: Taking taylor expansion of 0.0625 in z 2.080 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.080 * [taylor]: Taking taylor expansion of (* t z) in z 2.080 * [taylor]: Taking taylor expansion of t in z 2.080 * [taylor]: Taking taylor expansion of z in z 2.080 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 2.080 * [taylor]: Taking taylor expansion of 0.25 in z 2.080 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.080 * [taylor]: Taking taylor expansion of (* a b) in z 2.080 * [taylor]: Taking taylor expansion of a in z 2.080 * [taylor]: Taking taylor expansion of b in z 2.080 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 2.080 * [taylor]: Taking taylor expansion of 0.0625 in t 2.080 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.080 * [taylor]: Taking taylor expansion of t in t 2.080 * [taylor]: Taking taylor expansion of 0.0625 in a 2.080 * [taylor]: Taking taylor expansion of 0 in z 2.080 * [taylor]: Taking taylor expansion of 0 in t 2.080 * [taylor]: Taking taylor expansion of 0 in t 2.080 * [taylor]: Taking taylor expansion of 1 in a 2.081 * [taylor]: Taking taylor expansion of 0 in y 2.081 * [taylor]: Taking taylor expansion of 0 in z 2.081 * [taylor]: Taking taylor expansion of 0 in z 2.081 * [taylor]: Taking taylor expansion of 0 in z 2.082 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (* a b)))) in t 2.082 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.082 * [taylor]: Taking taylor expansion of 0.25 in t 2.082 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.082 * [taylor]: Taking taylor expansion of (* a b) in t 2.082 * [taylor]: Taking taylor expansion of a in t 2.082 * [taylor]: Taking taylor expansion of b in t 2.082 * [taylor]: Taking taylor expansion of 0 in t 2.082 * [taylor]: Taking taylor expansion of 0 in t 2.082 * [taylor]: Taking taylor expansion of 0 in t 2.082 * [taylor]: Taking taylor expansion of 0 in a 2.082 * [taylor]: Taking taylor expansion of 0 in a 2.082 * [taylor]: Taking taylor expansion of 0 in a 2.082 * [taylor]: Taking taylor expansion of 0 in a 2.082 * [taylor]: Taking taylor expansion of 0.0625 in b 2.082 * [taylor]: Taking taylor expansion of 1 in b 2.083 * [taylor]: Taking taylor expansion of 0 in y 2.083 * [taylor]: Taking taylor expansion of 0 in z 2.083 * [taylor]: Taking taylor expansion of 0 in z 2.083 * [taylor]: Taking taylor expansion of 0 in z 2.083 * [taylor]: Taking taylor expansion of 0 in z 2.083 * [taylor]: Taking taylor expansion of 0 in t 2.083 * [taylor]: Taking taylor expansion of 0 in t 2.083 * [taylor]: Taking taylor expansion of 0 in t 2.084 * [taylor]: Taking taylor expansion of 0 in t 2.084 * [taylor]: Taking taylor expansion of 0 in t 2.084 * [taylor]: Taking taylor expansion of 0 in t 2.084 * [taylor]: Taking taylor expansion of 0 in t 2.084 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (* a b)))) in a 2.084 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.084 * [taylor]: Taking taylor expansion of 0.25 in a 2.084 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.084 * [taylor]: Taking taylor expansion of (* a b) in a 2.084 * [taylor]: Taking taylor expansion of a in a 2.084 * [taylor]: Taking taylor expansion of b in a 2.084 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 b))) in b 2.084 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 2.084 * [taylor]: Taking taylor expansion of 0.25 in b 2.084 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.084 * [taylor]: Taking taylor expansion of b in b 2.084 * [taylor]: Taking taylor expansion of 0 in a 2.084 * [taylor]: Taking taylor expansion of 0 in a 2.084 * [taylor]: Taking taylor expansion of 0 in a 2.084 * [taylor]: Taking taylor expansion of 0 in a 2.084 * [taylor]: Taking taylor expansion of 0 in a 2.084 * [taylor]: Taking taylor expansion of 0 in a 2.084 * [taylor]: Taking taylor expansion of 0 in a 2.085 * [taylor]: Taking taylor expansion of 0 in b 2.085 * [taylor]: Taking taylor expansion of 0 in b 2.085 * [taylor]: Taking taylor expansion of 0 in b 2.085 * [taylor]: Taking taylor expansion of 0 in b 2.085 * [taylor]: Taking taylor expansion of 0 in b 2.085 * [taylor]: Taking taylor expansion of 0 in b 2.086 * [approximate]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in (x y z t a b) around 0 2.086 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in b 2.086 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in b 2.086 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in b 2.086 * [taylor]: Taking taylor expansion of 0.0625 in b 2.086 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 2.086 * [taylor]: Taking taylor expansion of (* t z) in b 2.086 * [taylor]: Taking taylor expansion of t in b 2.086 * [taylor]: Taking taylor expansion of z in b 2.086 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 2.086 * [taylor]: Taking taylor expansion of (* x y) in b 2.086 * [taylor]: Taking taylor expansion of x in b 2.086 * [taylor]: Taking taylor expansion of y in b 2.086 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in b 2.086 * [taylor]: Taking taylor expansion of 0.25 in b 2.086 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.086 * [taylor]: Taking taylor expansion of (* a b) in b 2.086 * [taylor]: Taking taylor expansion of a in b 2.086 * [taylor]: Taking taylor expansion of b in b 2.086 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in a 2.086 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in a 2.086 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in a 2.086 * [taylor]: Taking taylor expansion of 0.0625 in a 2.086 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 2.086 * [taylor]: Taking taylor expansion of (* t z) in a 2.086 * [taylor]: Taking taylor expansion of t in a 2.086 * [taylor]: Taking taylor expansion of z in a 2.086 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 2.086 * [taylor]: Taking taylor expansion of (* x y) in a 2.086 * [taylor]: Taking taylor expansion of x in a 2.086 * [taylor]: Taking taylor expansion of y in a 2.086 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.086 * [taylor]: Taking taylor expansion of 0.25 in a 2.086 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.086 * [taylor]: Taking taylor expansion of (* a b) in a 2.086 * [taylor]: Taking taylor expansion of a in a 2.086 * [taylor]: Taking taylor expansion of b in a 2.086 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in t 2.086 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.087 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 2.087 * [taylor]: Taking taylor expansion of 0.0625 in t 2.087 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.087 * [taylor]: Taking taylor expansion of (* t z) in t 2.087 * [taylor]: Taking taylor expansion of t in t 2.087 * [taylor]: Taking taylor expansion of z in t 2.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.087 * [taylor]: Taking taylor expansion of (* x y) in t 2.087 * [taylor]: Taking taylor expansion of x in t 2.087 * [taylor]: Taking taylor expansion of y in t 2.087 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.087 * [taylor]: Taking taylor expansion of 0.25 in t 2.087 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.087 * [taylor]: Taking taylor expansion of (* a b) in t 2.087 * [taylor]: Taking taylor expansion of a in t 2.087 * [taylor]: Taking taylor expansion of b in t 2.087 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in z 2.087 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.087 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.087 * [taylor]: Taking taylor expansion of 0.0625 in z 2.087 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.087 * [taylor]: Taking taylor expansion of (* t z) in z 2.087 * [taylor]: Taking taylor expansion of t in z 2.087 * [taylor]: Taking taylor expansion of z in z 2.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.087 * [taylor]: Taking taylor expansion of (* x y) in z 2.087 * [taylor]: Taking taylor expansion of x in z 2.087 * [taylor]: Taking taylor expansion of y in z 2.087 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 2.087 * [taylor]: Taking taylor expansion of 0.25 in z 2.087 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.087 * [taylor]: Taking taylor expansion of (* a b) in z 2.087 * [taylor]: Taking taylor expansion of a in z 2.087 * [taylor]: Taking taylor expansion of b in z 2.087 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in y 2.087 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.087 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.087 * [taylor]: Taking taylor expansion of 0.0625 in y 2.087 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.087 * [taylor]: Taking taylor expansion of (* t z) in y 2.087 * [taylor]: Taking taylor expansion of t in y 2.087 * [taylor]: Taking taylor expansion of z in y 2.087 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.088 * [taylor]: Taking taylor expansion of (* x y) in y 2.088 * [taylor]: Taking taylor expansion of x in y 2.088 * [taylor]: Taking taylor expansion of y in y 2.088 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.088 * [taylor]: Taking taylor expansion of 0.25 in y 2.088 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.088 * [taylor]: Taking taylor expansion of (* a b) in y 2.088 * [taylor]: Taking taylor expansion of a in y 2.088 * [taylor]: Taking taylor expansion of b in y 2.088 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 2.088 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.088 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.088 * [taylor]: Taking taylor expansion of 0.0625 in x 2.088 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.088 * [taylor]: Taking taylor expansion of (* t z) in x 2.088 * [taylor]: Taking taylor expansion of t in x 2.088 * [taylor]: Taking taylor expansion of z in x 2.088 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.088 * [taylor]: Taking taylor expansion of (* x y) in x 2.088 * [taylor]: Taking taylor expansion of x in x 2.088 * [taylor]: Taking taylor expansion of y in x 2.088 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.088 * [taylor]: Taking taylor expansion of 0.25 in x 2.088 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.088 * [taylor]: Taking taylor expansion of (* a b) in x 2.088 * [taylor]: Taking taylor expansion of a in x 2.088 * [taylor]: Taking taylor expansion of b in x 2.088 * [taylor]: Taking taylor expansion of (- (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) (* 0.25 (/ 1 (* a b)))) in x 2.088 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.088 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.088 * [taylor]: Taking taylor expansion of 0.0625 in x 2.088 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.088 * [taylor]: Taking taylor expansion of (* t z) in x 2.088 * [taylor]: Taking taylor expansion of t in x 2.088 * [taylor]: Taking taylor expansion of z in x 2.088 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.088 * [taylor]: Taking taylor expansion of (* x y) in x 2.088 * [taylor]: Taking taylor expansion of x in x 2.088 * [taylor]: Taking taylor expansion of y in x 2.088 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in x 2.088 * [taylor]: Taking taylor expansion of 0.25 in x 2.088 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.089 * [taylor]: Taking taylor expansion of (* a b) in x 2.089 * [taylor]: Taking taylor expansion of a in x 2.089 * [taylor]: Taking taylor expansion of b in x 2.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.089 * [taylor]: Taking taylor expansion of y in y 2.089 * [taylor]: Taking taylor expansion of 1 in z 2.089 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (* 0.25 (/ 1 (* a b)))) in y 2.089 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.089 * [taylor]: Taking taylor expansion of 0.0625 in y 2.089 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.089 * [taylor]: Taking taylor expansion of (* t z) in y 2.089 * [taylor]: Taking taylor expansion of t in y 2.089 * [taylor]: Taking taylor expansion of z in y 2.089 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in y 2.089 * [taylor]: Taking taylor expansion of 0.25 in y 2.089 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.089 * [taylor]: Taking taylor expansion of (* a b) in y 2.089 * [taylor]: Taking taylor expansion of a in y 2.089 * [taylor]: Taking taylor expansion of b in y 2.089 * [taylor]: Taking taylor expansion of 0 in z 2.089 * [taylor]: Taking taylor expansion of 1 in t 2.090 * [taylor]: Taking taylor expansion of 0 in y 2.090 * [taylor]: Taking taylor expansion of (- (* 0.0625 (/ 1 (* t z))) (* 0.25 (/ 1 (* a b)))) in z 2.090 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.090 * [taylor]: Taking taylor expansion of 0.0625 in z 2.090 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.090 * [taylor]: Taking taylor expansion of (* t z) in z 2.090 * [taylor]: Taking taylor expansion of t in z 2.090 * [taylor]: Taking taylor expansion of z in z 2.090 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in z 2.090 * [taylor]: Taking taylor expansion of 0.25 in z 2.090 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.090 * [taylor]: Taking taylor expansion of (* a b) in z 2.090 * [taylor]: Taking taylor expansion of a in z 2.090 * [taylor]: Taking taylor expansion of b in z 2.090 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 t)) in t 2.090 * [taylor]: Taking taylor expansion of 0.0625 in t 2.090 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.090 * [taylor]: Taking taylor expansion of t in t 2.090 * [taylor]: Taking taylor expansion of 0.0625 in a 2.090 * [taylor]: Taking taylor expansion of 0 in z 2.091 * [taylor]: Taking taylor expansion of 0 in t 2.091 * [taylor]: Taking taylor expansion of 0 in t 2.091 * [taylor]: Taking taylor expansion of 1 in a 2.091 * [taylor]: Taking taylor expansion of 0 in y 2.091 * [taylor]: Taking taylor expansion of 0 in z 2.091 * [taylor]: Taking taylor expansion of 0 in z 2.092 * [taylor]: Taking taylor expansion of 0 in z 2.092 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (* a b)))) in t 2.092 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in t 2.092 * [taylor]: Taking taylor expansion of 0.25 in t 2.092 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.092 * [taylor]: Taking taylor expansion of (* a b) in t 2.092 * [taylor]: Taking taylor expansion of a in t 2.092 * [taylor]: Taking taylor expansion of b in t 2.092 * [taylor]: Taking taylor expansion of 0 in t 2.092 * [taylor]: Taking taylor expansion of 0 in t 2.092 * [taylor]: Taking taylor expansion of 0 in t 2.092 * [taylor]: Taking taylor expansion of 0 in a 2.092 * [taylor]: Taking taylor expansion of 0 in a 2.092 * [taylor]: Taking taylor expansion of 0 in a 2.092 * [taylor]: Taking taylor expansion of 0 in a 2.092 * [taylor]: Taking taylor expansion of 0.0625 in b 2.092 * [taylor]: Taking taylor expansion of 1 in b 2.093 * [taylor]: Taking taylor expansion of 0 in y 2.093 * [taylor]: Taking taylor expansion of 0 in z 2.093 * [taylor]: Taking taylor expansion of 0 in z 2.093 * [taylor]: Taking taylor expansion of 0 in z 2.093 * [taylor]: Taking taylor expansion of 0 in z 2.093 * [taylor]: Taking taylor expansion of 0 in t 2.094 * [taylor]: Taking taylor expansion of 0 in t 2.094 * [taylor]: Taking taylor expansion of 0 in t 2.094 * [taylor]: Taking taylor expansion of 0 in t 2.094 * [taylor]: Taking taylor expansion of 0 in t 2.094 * [taylor]: Taking taylor expansion of 0 in t 2.094 * [taylor]: Taking taylor expansion of 0 in t 2.094 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 (* a b)))) in a 2.094 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (* a b))) in a 2.094 * [taylor]: Taking taylor expansion of 0.25 in a 2.094 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.094 * [taylor]: Taking taylor expansion of (* a b) in a 2.094 * [taylor]: Taking taylor expansion of a in a 2.094 * [taylor]: Taking taylor expansion of b in a 2.094 * [taylor]: Taking taylor expansion of (neg (* 0.25 (/ 1 b))) in b 2.094 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 b)) in b 2.094 * [taylor]: Taking taylor expansion of 0.25 in b 2.094 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.094 * [taylor]: Taking taylor expansion of b in b 2.094 * [taylor]: Taking taylor expansion of 0 in a 2.094 * [taylor]: Taking taylor expansion of 0 in a 2.094 * [taylor]: Taking taylor expansion of 0 in a 2.095 * [taylor]: Taking taylor expansion of 0 in a 2.095 * [taylor]: Taking taylor expansion of 0 in a 2.095 * [taylor]: Taking taylor expansion of 0 in a 2.095 * [taylor]: Taking taylor expansion of 0 in a 2.095 * [taylor]: Taking taylor expansion of 0 in b 2.095 * [taylor]: Taking taylor expansion of 0 in b 2.095 * [taylor]: Taking taylor expansion of 0 in b 2.095 * [taylor]: Taking taylor expansion of 0 in b 2.095 * [taylor]: Taking taylor expansion of 0 in b 2.095 * [taylor]: Taking taylor expansion of 0 in b 2.095 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1) 2.096 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in (x y z t) around 0 2.096 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in t 2.096 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in t 2.096 * [taylor]: Taking taylor expansion of 0.0625 in t 2.096 * [taylor]: Taking taylor expansion of (* t z) in t 2.096 * [taylor]: Taking taylor expansion of t in t 2.096 * [taylor]: Taking taylor expansion of z in t 2.096 * [taylor]: Taking taylor expansion of (* x y) in t 2.096 * [taylor]: Taking taylor expansion of x in t 2.096 * [taylor]: Taking taylor expansion of y in t 2.096 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in z 2.096 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 2.096 * [taylor]: Taking taylor expansion of 0.0625 in z 2.096 * [taylor]: Taking taylor expansion of (* t z) in z 2.096 * [taylor]: Taking taylor expansion of t in z 2.096 * [taylor]: Taking taylor expansion of z in z 2.096 * [taylor]: Taking taylor expansion of (* x y) in z 2.096 * [taylor]: Taking taylor expansion of x in z 2.096 * [taylor]: Taking taylor expansion of y in z 2.096 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in y 2.096 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 2.096 * [taylor]: Taking taylor expansion of 0.0625 in y 2.096 * [taylor]: Taking taylor expansion of (* t z) in y 2.096 * [taylor]: Taking taylor expansion of t in y 2.096 * [taylor]: Taking taylor expansion of z in y 2.096 * [taylor]: Taking taylor expansion of (* x y) in y 2.096 * [taylor]: Taking taylor expansion of x in y 2.096 * [taylor]: Taking taylor expansion of y in y 2.096 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 2.096 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 2.096 * [taylor]: Taking taylor expansion of 0.0625 in x 2.096 * [taylor]: Taking taylor expansion of (* t z) in x 2.096 * [taylor]: Taking taylor expansion of t in x 2.096 * [taylor]: Taking taylor expansion of z in x 2.096 * [taylor]: Taking taylor expansion of (* x y) in x 2.096 * [taylor]: Taking taylor expansion of x in x 2.096 * [taylor]: Taking taylor expansion of y in x 2.096 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (* t z)) (* x y)) in x 2.096 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in x 2.096 * [taylor]: Taking taylor expansion of 0.0625 in x 2.096 * [taylor]: Taking taylor expansion of (* t z) in x 2.096 * [taylor]: Taking taylor expansion of t in x 2.096 * [taylor]: Taking taylor expansion of z in x 2.096 * [taylor]: Taking taylor expansion of (* x y) in x 2.096 * [taylor]: Taking taylor expansion of x in x 2.096 * [taylor]: Taking taylor expansion of y in x 2.096 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in y 2.096 * [taylor]: Taking taylor expansion of 0.0625 in y 2.097 * [taylor]: Taking taylor expansion of (* t z) in y 2.097 * [taylor]: Taking taylor expansion of t in y 2.097 * [taylor]: Taking taylor expansion of z in y 2.097 * [taylor]: Taking taylor expansion of (* 0.0625 (* t z)) in z 2.097 * [taylor]: Taking taylor expansion of 0.0625 in z 2.097 * [taylor]: Taking taylor expansion of (* t z) in z 2.097 * [taylor]: Taking taylor expansion of t in z 2.097 * [taylor]: Taking taylor expansion of z in z 2.097 * [taylor]: Taking taylor expansion of 0 in t 2.097 * [taylor]: Taking taylor expansion of y in y 2.097 * [taylor]: Taking taylor expansion of 0 in z 2.097 * [taylor]: Taking taylor expansion of 0 in t 2.097 * [taylor]: Taking taylor expansion of 0 in z 2.097 * [taylor]: Taking taylor expansion of 0 in t 2.097 * [taylor]: Taking taylor expansion of (* 0.0625 t) in t 2.097 * [taylor]: Taking taylor expansion of 0.0625 in t 2.097 * [taylor]: Taking taylor expansion of t in t 2.097 * [taylor]: Taking taylor expansion of 0 in y 2.097 * [taylor]: Taking taylor expansion of 0 in z 2.097 * [taylor]: Taking taylor expansion of 0 in t 2.097 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 2.097 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.097 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 2.097 * [taylor]: Taking taylor expansion of 0.0625 in t 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.098 * [taylor]: Taking taylor expansion of (* t z) in t 2.098 * [taylor]: Taking taylor expansion of t in t 2.098 * [taylor]: Taking taylor expansion of z in t 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.098 * [taylor]: Taking taylor expansion of (* x y) in t 2.098 * [taylor]: Taking taylor expansion of x in t 2.098 * [taylor]: Taking taylor expansion of y in t 2.098 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.098 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.098 * [taylor]: Taking taylor expansion of 0.0625 in z 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.098 * [taylor]: Taking taylor expansion of (* t z) in z 2.098 * [taylor]: Taking taylor expansion of t in z 2.098 * [taylor]: Taking taylor expansion of z in z 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.098 * [taylor]: Taking taylor expansion of (* x y) in z 2.098 * [taylor]: Taking taylor expansion of x in z 2.098 * [taylor]: Taking taylor expansion of y in z 2.098 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.098 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.098 * [taylor]: Taking taylor expansion of 0.0625 in y 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.098 * [taylor]: Taking taylor expansion of (* t z) in y 2.098 * [taylor]: Taking taylor expansion of t in y 2.098 * [taylor]: Taking taylor expansion of z in y 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.098 * [taylor]: Taking taylor expansion of (* x y) in y 2.098 * [taylor]: Taking taylor expansion of x in y 2.098 * [taylor]: Taking taylor expansion of y in y 2.098 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.098 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.098 * [taylor]: Taking taylor expansion of 0.0625 in x 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.098 * [taylor]: Taking taylor expansion of (* t z) in x 2.098 * [taylor]: Taking taylor expansion of t in x 2.098 * [taylor]: Taking taylor expansion of z in x 2.098 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.098 * [taylor]: Taking taylor expansion of (* x y) in x 2.098 * [taylor]: Taking taylor expansion of x in x 2.098 * [taylor]: Taking taylor expansion of y in x 2.099 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.099 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.099 * [taylor]: Taking taylor expansion of 0.0625 in x 2.099 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.099 * [taylor]: Taking taylor expansion of (* t z) in x 2.099 * [taylor]: Taking taylor expansion of t in x 2.099 * [taylor]: Taking taylor expansion of z in x 2.099 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.099 * [taylor]: Taking taylor expansion of (* x y) in x 2.099 * [taylor]: Taking taylor expansion of x in x 2.099 * [taylor]: Taking taylor expansion of y in x 2.099 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.099 * [taylor]: Taking taylor expansion of y in y 2.099 * [taylor]: Taking taylor expansion of 1 in z 2.099 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.099 * [taylor]: Taking taylor expansion of 0.0625 in y 2.099 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.099 * [taylor]: Taking taylor expansion of (* t z) in y 2.099 * [taylor]: Taking taylor expansion of t in y 2.099 * [taylor]: Taking taylor expansion of z in y 2.099 * [taylor]: Taking taylor expansion of 0 in z 2.099 * [taylor]: Taking taylor expansion of 1 in t 2.100 * [taylor]: Taking taylor expansion of 0 in y 2.100 * [taylor]: Taking taylor expansion of (/ 0.0625 (* t z)) in z 2.100 * [taylor]: Taking taylor expansion of 0.0625 in z 2.100 * [taylor]: Taking taylor expansion of (* t z) in z 2.100 * [taylor]: Taking taylor expansion of t in z 2.100 * [taylor]: Taking taylor expansion of z in z 2.100 * [taylor]: Taking taylor expansion of (/ 0.0625 t) in t 2.100 * [taylor]: Taking taylor expansion of 0.0625 in t 2.100 * [taylor]: Taking taylor expansion of t in t 2.100 * [taylor]: Taking taylor expansion of 0 in z 2.100 * [taylor]: Taking taylor expansion of 0 in t 2.100 * [taylor]: Taking taylor expansion of 0 in t 2.100 * [taylor]: Taking taylor expansion of 0 in y 2.100 * [taylor]: Taking taylor expansion of 0 in z 2.100 * [taylor]: Taking taylor expansion of 0 in z 2.100 * [taylor]: Taking taylor expansion of 0 in z 2.101 * [taylor]: Taking taylor expansion of 0 in t 2.101 * [taylor]: Taking taylor expansion of 0 in t 2.101 * [taylor]: Taking taylor expansion of 0 in t 2.101 * [taylor]: Taking taylor expansion of 0 in t 2.101 * [taylor]: Taking taylor expansion of 0 in y 2.101 * [taylor]: Taking taylor expansion of 0 in z 2.101 * [taylor]: Taking taylor expansion of 0 in z 2.101 * [taylor]: Taking taylor expansion of 0 in z 2.101 * [taylor]: Taking taylor expansion of 0 in z 2.101 * [taylor]: Taking taylor expansion of 0 in t 2.102 * [taylor]: Taking taylor expansion of 0 in t 2.102 * [taylor]: Taking taylor expansion of 0 in t 2.102 * [taylor]: Taking taylor expansion of 0 in t 2.102 * [taylor]: Taking taylor expansion of 0 in t 2.102 * [taylor]: Taking taylor expansion of 0 in t 2.102 * [taylor]: Taking taylor expansion of 0 in t 2.102 * [approximate]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 2.102 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.102 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in t 2.102 * [taylor]: Taking taylor expansion of 0.0625 in t 2.102 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.102 * [taylor]: Taking taylor expansion of (* t z) in t 2.102 * [taylor]: Taking taylor expansion of t in t 2.102 * [taylor]: Taking taylor expansion of z in t 2.102 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.102 * [taylor]: Taking taylor expansion of (* x y) in t 2.102 * [taylor]: Taking taylor expansion of x in t 2.102 * [taylor]: Taking taylor expansion of y in t 2.102 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.102 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in z 2.102 * [taylor]: Taking taylor expansion of 0.0625 in z 2.102 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.102 * [taylor]: Taking taylor expansion of (* t z) in z 2.103 * [taylor]: Taking taylor expansion of t in z 2.103 * [taylor]: Taking taylor expansion of z in z 2.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.103 * [taylor]: Taking taylor expansion of (* x y) in z 2.103 * [taylor]: Taking taylor expansion of x in z 2.103 * [taylor]: Taking taylor expansion of y in z 2.103 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.103 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.103 * [taylor]: Taking taylor expansion of 0.0625 in y 2.103 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.103 * [taylor]: Taking taylor expansion of (* t z) in y 2.103 * [taylor]: Taking taylor expansion of t in y 2.103 * [taylor]: Taking taylor expansion of z in y 2.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.103 * [taylor]: Taking taylor expansion of (* x y) in y 2.103 * [taylor]: Taking taylor expansion of x in y 2.103 * [taylor]: Taking taylor expansion of y in y 2.103 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.103 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.103 * [taylor]: Taking taylor expansion of 0.0625 in x 2.103 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.103 * [taylor]: Taking taylor expansion of (* t z) in x 2.103 * [taylor]: Taking taylor expansion of t in x 2.103 * [taylor]: Taking taylor expansion of z in x 2.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.103 * [taylor]: Taking taylor expansion of (* x y) in x 2.103 * [taylor]: Taking taylor expansion of x in x 2.103 * [taylor]: Taking taylor expansion of y in x 2.103 * [taylor]: Taking taylor expansion of (+ (* 0.0625 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.103 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in x 2.103 * [taylor]: Taking taylor expansion of 0.0625 in x 2.103 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.103 * [taylor]: Taking taylor expansion of (* t z) in x 2.103 * [taylor]: Taking taylor expansion of t in x 2.103 * [taylor]: Taking taylor expansion of z in x 2.103 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.103 * [taylor]: Taking taylor expansion of (* x y) in x 2.103 * [taylor]: Taking taylor expansion of x in x 2.103 * [taylor]: Taking taylor expansion of y in x 2.104 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.104 * [taylor]: Taking taylor expansion of y in y 2.104 * [taylor]: Taking taylor expansion of 1 in z 2.104 * [taylor]: Taking taylor expansion of (* 0.0625 (/ 1 (* t z))) in y 2.104 * [taylor]: Taking taylor expansion of 0.0625 in y 2.104 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.104 * [taylor]: Taking taylor expansion of (* t z) in y 2.104 * [taylor]: Taking taylor expansion of t in y 2.104 * [taylor]: Taking taylor expansion of z in y 2.104 * [taylor]: Taking taylor expansion of 0 in z 2.104 * [taylor]: Taking taylor expansion of 1 in t 2.104 * [taylor]: Taking taylor expansion of 0 in y 2.104 * [taylor]: Taking taylor expansion of (/ 0.0625 (* t z)) in z 2.104 * [taylor]: Taking taylor expansion of 0.0625 in z 2.104 * [taylor]: Taking taylor expansion of (* t z) in z 2.104 * [taylor]: Taking taylor expansion of t in z 2.104 * [taylor]: Taking taylor expansion of z in z 2.104 * [taylor]: Taking taylor expansion of (/ 0.0625 t) in t 2.104 * [taylor]: Taking taylor expansion of 0.0625 in t 2.104 * [taylor]: Taking taylor expansion of t in t 2.105 * [taylor]: Taking taylor expansion of 0 in z 2.105 * [taylor]: Taking taylor expansion of 0 in t 2.105 * [taylor]: Taking taylor expansion of 0 in t 2.105 * [taylor]: Taking taylor expansion of 0 in y 2.105 * [taylor]: Taking taylor expansion of 0 in z 2.105 * [taylor]: Taking taylor expansion of 0 in z 2.105 * [taylor]: Taking taylor expansion of 0 in z 2.105 * [taylor]: Taking taylor expansion of 0 in t 2.105 * [taylor]: Taking taylor expansion of 0 in t 2.105 * [taylor]: Taking taylor expansion of 0 in t 2.105 * [taylor]: Taking taylor expansion of 0 in t 2.106 * [taylor]: Taking taylor expansion of 0 in y 2.106 * [taylor]: Taking taylor expansion of 0 in z 2.106 * [taylor]: Taking taylor expansion of 0 in z 2.106 * [taylor]: Taking taylor expansion of 0 in z 2.106 * [taylor]: Taking taylor expansion of 0 in z 2.106 * [taylor]: Taking taylor expansion of 0 in t 2.106 * [taylor]: Taking taylor expansion of 0 in t 2.106 * [taylor]: Taking taylor expansion of 0 in t 2.106 * [taylor]: Taking taylor expansion of 0 in t 2.106 * [taylor]: Taking taylor expansion of 0 in t 2.106 * [taylor]: Taking taylor expansion of 0 in t 2.106 * [taylor]: Taking taylor expansion of 0 in t 2.107 * * * [progress]: simplifying candidates 2.108 * [simplify]: Simplifying using # : (exp 1) (exp (* (cbrt (log (+ (* x y) (/ (* z t) 16.0)))) (cbrt (log (+ (* x y) (/ (* z t) 16.0)))))) (exp (sqrt (log (+ (* x y) (/ (* z t) 16.0))))) (exp 1) (exp (log (* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0)))))) (exp (log (cbrt (+ (* x y) (/ (* z t) 16.0))))) (exp (log (sqrt (+ (* x y) (/ (* z t) 16.0))))) (exp (log (sqrt (+ (* x y) (/ (* z t) 16.0))))) (exp (log 1)) (exp (log (+ (* x y) (/ (* z t) 16.0)))) (exp (log (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)))) (exp (log (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0)))))) (exp (log (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))))) (exp (log (- (* x y) (/ (* z t) 16.0)))) (log (exp (log (+ (* x y) (/ (* z t) 16.0))))) (exp (exp (log (+ (* x y) (/ (* z t) 16.0))))) (* (cbrt (exp (log (+ (* x y) (/ (* z t) 16.0))))) (cbrt (exp (log (+ (* x y) (/ (* z t) 16.0)))))) (cbrt (exp (log (+ (* x y) (/ (* z t) 16.0))))) (* (* (exp (log (+ (* x y) (/ (* z t) 16.0)))) (exp (log (+ (* x y) (/ (* z t) 16.0))))) (exp (log (+ (* x y) (/ (* z t) 16.0))))) (sqrt (exp (log (+ (* x y) (/ (* z t) 16.0))))) (sqrt (exp (log (+ (* x y) (/ (* z t) 16.0))))) (log (* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0))))) (log (cbrt (+ (* x y) (/ (* z t) 16.0)))) (log (sqrt (+ (* x y) (/ (* z t) 16.0)))) (log (sqrt (+ (* x y) (/ (* z t) 16.0)))) (log 1) (log (+ (* x y) (/ (* z t) 16.0))) (log (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3))) (log (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0))))) (log (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0)))) (log (- (* x y) (/ (* z t) 16.0))) (log (+ (* x y) (/ (* z t) 16.0))) (log (log (+ (* x y) (/ (* z t) 16.0)))) (exp (log (+ (* x y) (/ (* z t) 16.0)))) (* (cbrt (log (+ (* x y) (/ (* z t) 16.0)))) (cbrt (log (+ (* x y) (/ (* z t) 16.0))))) (cbrt (log (+ (* x y) (/ (* z t) 16.0)))) (* (* (log (+ (* x y) (/ (* z t) 16.0))) (log (+ (* x y) (/ (* z t) 16.0)))) (log (+ (* x y) (/ (* z t) 16.0)))) (sqrt (log (+ (* x y) (/ (* z t) 16.0)))) (sqrt (log (+ (* x y) (/ (* z t) 16.0)))) (/ (exp (exp (log (+ (* x y) (/ (* z t) 16.0))))) (exp (/ (* a b) 4.0))) (log (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (exp (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (* (cbrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (cbrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0)))) (cbrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (* (* (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0)) (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (sqrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (sqrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (- (* (exp (log (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)))) 4.0) (* (exp (log (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0)))))) (* a b))) (* (exp (log (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0)))))) 4.0) (- (* (exp (log (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))))) 4.0) (* (exp (log (- (* x y) (/ (* z t) 16.0)))) (* a b))) (* (exp (log (- (* x y) (/ (* z t) 16.0)))) 4.0) (- (pow (exp (log (+ (* x y) (/ (* z t) 16.0)))) 3) (pow (/ (* a b) 4.0) 3)) (+ (* (exp (log (+ (* x y) (/ (* z t) 16.0)))) (exp (log (+ (* x y) (/ (* z t) 16.0))))) (+ (* (/ (* a b) 4.0) (/ (* a b) 4.0)) (* (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0)))) (neg (/ (* a b) 4.0)) (- (* (exp (log (+ (* x y) (/ (* z t) 16.0)))) (exp (log (+ (* x y) (/ (* z t) 16.0))))) (* (/ (* a b) 4.0) (/ (* a b) 4.0))) (+ (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0)) (+ (exp (log (sqrt (+ (* x y) (/ (* z t) 16.0))))) (sqrt (/ (* a b) 4.0))) (- (exp (log (sqrt (+ (* x y) (/ (* z t) 16.0))))) (sqrt (/ (* a b) 4.0))) (+ (sqrt (exp (log (+ (* x y) (/ (* z t) 16.0))))) (sqrt (/ (* a b) 4.0))) (- (sqrt (exp (log (+ (* x y) (/ (* z t) 16.0))))) (sqrt (/ (* a b) 4.0))) (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0)) (neg (/ (* a b) 4.0)) (* (exp (* x y)) (exp (/ (* z t) 16.0))) (log (+ (* x y) (/ (* z t) 16.0))) (exp (+ (* x y) (/ (* z t) 16.0))) (* (cbrt (+ (* x y) (/ (* z t) 16.0))) (cbrt (+ (* x y) (/ (* z t) 16.0)))) (cbrt (+ (* x y) (/ (* z t) 16.0))) (* (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0)))) (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (- (* x y) (/ (* z t) 16.0)) 0 (+ (* 0.0625 (* t z)) (* x y)) (+ (* 0.0625 (* t z)) (* x y)) (+ (log z) (+ (log t) (log 0.0625))) (- (log 1) (+ (log (/ 1 x)) (log (/ 1 y)))) (- (log 1) (+ (log (/ -1 y)) (log (/ -1 x)))) 0 (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 0 (+ (* 0.0625 (* t z)) (* x y)) (+ (* 0.0625 (* t z)) (* x y)) 2.113 * * [simplify]: iteration 0 : 289 enodes (cost 673 ) 2.117 * * [simplify]: iteration 1 : 943 enodes (cost 611 ) 2.132 * * [simplify]: iteration 2 : 3620 enodes (cost 590 ) 2.188 * * [simplify]: iteration 3 : 5001 enodes (cost 582 ) 2.192 * [simplify]: Simplified to: E (exp (* (cbrt (log (+ (* x y) (/ (* z t) 16.0)))) (cbrt (log (+ (* x y) (/ (* z t) 16.0)))))) (exp (sqrt (log (+ (* x y) (/ (* z t) 16.0))))) E (pow (cbrt (+ (* x y) (/ (* z t) 16.0))) 2) (cbrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) 1 (+ (* x y) (/ (* z t) 16.0)) (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (- (* x y) (/ (* z t) 16.0)) (log (+ (* x y) (/ (* z t) 16.0))) (exp (+ (* x y) (/ (* z t) 16.0))) (pow (cbrt (+ (* x y) (/ (* z t) 16.0))) 2) (cbrt (+ (* x y) (/ (* z t) 16.0))) (pow (+ (* x y) (/ (* z t) 16.0)) 3) (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) (* 2 (log (cbrt (+ (* x y) (/ (* z t) 16.0))))) (log (cbrt (+ (* x y) (/ (* z t) 16.0)))) (log (sqrt (+ (* x y) (/ (* z t) 16.0)))) (log (sqrt (+ (* x y) (/ (* z t) 16.0)))) 0 (log (+ (* x y) (/ (* z t) 16.0))) (log (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3))) (log (+ (* (* x y) (* x y)) (- (* (/ (* z t) 16.0) (/ (* z t) 16.0)) (* (* x y) (/ (* z t) 16.0))))) (log (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0)))) (log (- (* x y) (/ (* z t) 16.0))) (log (+ (* x y) (/ (* z t) 16.0))) (log (log (+ (* x y) (/ (* z t) 16.0)))) (+ (* x y) (/ (* z t) 16.0)) (* (cbrt (log (+ (* x y) (/ (* z t) 16.0)))) (cbrt (log (+ (* x y) (/ (* z t) 16.0))))) (cbrt (log (+ (* x y) (/ (* z t) 16.0)))) (pow (log (+ (* x y) (/ (* z t) 16.0))) 3) (sqrt (log (+ (* x y) (/ (* z t) 16.0)))) (sqrt (log (+ (* x y) (/ (* z t) 16.0)))) (exp (- (* x y) (- (/ (* a b) 4.0) (/ (* z t) 16.0)))) (log (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (exp (- (* x y) (- (/ (* a b) 4.0) (/ (* z t) 16.0)))) (* (cbrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (cbrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0)))) (cbrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (pow (+ (* x y) (- (/ (* z t) 16.0) (/ (* a b) 4.0))) 3) (sqrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (sqrt (- (exp (log (+ (* x y) (/ (* z t) 16.0)))) (/ (* a b) 4.0))) (+ (* (neg (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y)))) (* a b)) (* 4.0 (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)))) (* 4.0 (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y)))) (* (- (* x y) (/ (* z t) 16.0)) (- (* 4.0 (+ (* x y) (/ (* z t) 16.0))) (* a b))) (* 4.0 (- (* x y) (/ (* z t) 16.0))) (- (pow (+ (* x y) (/ (* z t) 16.0)) 3) (pow (/ (* a b) 4.0) 3)) (+ (* (+ (* x y) (/ (* z t) 16.0)) (+ (/ (* a b) 4.0) (+ (* x y) (/ (* z t) 16.0)))) (* (/ (* a b) 4.0) (/ (* a b) 4.0))) (neg (/ (* a b) 4.0)) (- (* (+ (* x y) (/ (* z t) 16.0)) (+ (* x y) (/ (* z t) 16.0))) (* (/ (* a b) 4.0) (/ (* a b) 4.0))) (+ (/ (* a b) 4.0) (+ (* x y) (/ (* z t) 16.0))) (+ (sqrt (/ (* a b) 4.0)) (sqrt (+ (* x y) (/ (* z t) 16.0)))) (+ (sqrt (+ (* x y) (/ (* z t) 16.0))) (neg (sqrt (/ (* a b) 4.0)))) (+ (sqrt (/ (* a b) 4.0)) (sqrt (+ (* x y) (/ (* z t) 16.0)))) (+ (sqrt (+ (* x y) (/ (* z t) 16.0))) (neg (sqrt (/ (* a b) 4.0)))) (+ (* x y) (- (/ (* z t) 16.0) (/ (* a b) 4.0))) (neg (/ (* a b) 4.0)) (exp (+ (* x y) (/ (* z t) 16.0))) (log (+ (* x y) (/ (* z t) 16.0))) (exp (+ (* x y) (/ (* z t) 16.0))) (pow (cbrt (+ (* x y) (/ (* z t) 16.0))) 2) (cbrt (+ (* x y) (/ (* z t) 16.0))) (pow (+ (* x y) (/ (* z t) 16.0)) 3) (sqrt (+ (* x y) (/ (* z t) 16.0))) (sqrt (+ (* x y) (/ (* z t) 16.0))) (+ (pow (* x y) 3) (pow (/ (* z t) 16.0) 3)) (+ (* (/ (* z t) 16.0) (- (/ (* z t) 16.0) (* x y))) (* (* x y) (* x y))) (- (* (* x y) (* x y)) (* (/ (* z t) 16.0) (/ (* z t) 16.0))) (- (* x y) (/ (* z t) 16.0)) 0 (+ (* 0.0625 (* t z)) (* x y)) (+ (* 0.0625 (* t z)) (* x y)) (+ (log z) (+ (log t) (log 0.0625))) (+ (log y) (log x)) (- (- 0 (log (/ -1 x))) (log (/ -1 y))) 0 (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) (- (+ (* 0.0625 (* t z)) (* x y)) (* 0.25 (* a b))) 0 (+ (* 0.0625 (* t z)) (* x y)) (+ (* 0.0625 (* t z)) (* x y)) 2.192 * * * [progress]: adding candidates to table 2.295 * [progress]: [Phase 3 of 3] Extracting. 2.295 * * [regime]: Finding splitpoints for: (# #) 2.296 * * * [regime-changes]: Trying 15 branch expressions: ((* a b) (/ (* a b) 4.0) (* z t) (/ (* z t) 16.0) (* x y) (+ (* x y) (/ (* z t) 16.0)) (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) c b a t z y x) 2.296 * * * * [regimes]: Trying to branch on (* a b) from (# #) 2.370 * * * * [regimes]: Trying to branch on (/ (* a b) 4.0) from (# #) 2.450 * * * * [regimes]: Trying to branch on (* z t) from (# #) 2.527 * * * * [regimes]: Trying to branch on (/ (* z t) 16.0) from (# #) 2.604 * * * * [regimes]: Trying to branch on (* x y) from (# #) 2.680 * * * * [regimes]: Trying to branch on (+ (* x y) (/ (* z t) 16.0)) from (# #) 2.762 * * * * [regimes]: Trying to branch on (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) from (# #) 2.842 * * * * [regimes]: Trying to branch on (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c) from (# #) 2.922 * * * * [regimes]: Trying to branch on c from (# #) 2.997 * * * * [regimes]: Trying to branch on b from (# #) 3.072 * * * * [regimes]: Trying to branch on a from (# #) 3.148 * * * * [regimes]: Trying to branch on t from (# #) 3.223 * * * * [regimes]: Trying to branch on z from (# #) 3.299 * * * * [regimes]: Trying to branch on y from (# #) 3.374 * * * * [regimes]: Trying to branch on x from (# #) 3.450 * * * [regime]: Found split indices: #