9.380 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 1.644 * * * [progress]: [2/2] Setting up program. 1.649 * [progress]: [Phase 2 of 3] Improving. 1.650 * [simplify]: Simplifying using # : (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) 1.699 * * [simplify]: iteration 0 : 936 enodes (cost 17 ) 1.699 * * [simplify]: iteration 1 : 936 enodes (cost 17 ) 1.699 * [simplify]: Simplified to: (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) 1.700 * * [progress]: iteration 1 / 4 1.700 * * * [progress]: picking best candidate 1.705 * * * * [pick]: Picked # 1.705 * * * [progress]: localizing error 1.719 * * * [progress]: generating rewritten candidates 1.719 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.736 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.742 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.747 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.754 * * * [progress]: generating series expansions 1.754 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.755 * [approximate]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in (x y z t a b) around 0 1.755 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in b 1.755 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in b 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in b 1.755 * [taylor]: Taking taylor expansion of 1/16 in b 1.755 * [taylor]: Taking taylor expansion of (* t z) in b 1.755 * [taylor]: Taking taylor expansion of t in b 1.755 * [taylor]: Taking taylor expansion of z in b 1.755 * [taylor]: Taking taylor expansion of (* x y) in b 1.755 * [taylor]: Taking taylor expansion of x in b 1.755 * [taylor]: Taking taylor expansion of y in b 1.755 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in b 1.755 * [taylor]: Taking taylor expansion of 1/4 in b 1.755 * [taylor]: Taking taylor expansion of (* a b) in b 1.755 * [taylor]: Taking taylor expansion of a in b 1.755 * [taylor]: Taking taylor expansion of b in b 1.755 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in a 1.755 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in a 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in a 1.755 * [taylor]: Taking taylor expansion of 1/16 in a 1.755 * [taylor]: Taking taylor expansion of (* t z) in a 1.755 * [taylor]: Taking taylor expansion of t in a 1.755 * [taylor]: Taking taylor expansion of z in a 1.755 * [taylor]: Taking taylor expansion of (* x y) in a 1.755 * [taylor]: Taking taylor expansion of x in a 1.755 * [taylor]: Taking taylor expansion of y in a 1.755 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.755 * [taylor]: Taking taylor expansion of 1/4 in a 1.755 * [taylor]: Taking taylor expansion of (* a b) in a 1.755 * [taylor]: Taking taylor expansion of a in a 1.755 * [taylor]: Taking taylor expansion of b in a 1.755 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in t 1.755 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in t 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.755 * [taylor]: Taking taylor expansion of 1/16 in t 1.755 * [taylor]: Taking taylor expansion of (* t z) in t 1.755 * [taylor]: Taking taylor expansion of t in t 1.755 * [taylor]: Taking taylor expansion of z in t 1.755 * [taylor]: Taking taylor expansion of (* x y) in t 1.755 * [taylor]: Taking taylor expansion of x in t 1.755 * [taylor]: Taking taylor expansion of y in t 1.755 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in t 1.756 * [taylor]: Taking taylor expansion of 1/4 in t 1.756 * [taylor]: Taking taylor expansion of (* a b) in t 1.756 * [taylor]: Taking taylor expansion of a in t 1.756 * [taylor]: Taking taylor expansion of b in t 1.756 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in z 1.756 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in z 1.756 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.756 * [taylor]: Taking taylor expansion of 1/16 in z 1.756 * [taylor]: Taking taylor expansion of (* t z) in z 1.756 * [taylor]: Taking taylor expansion of t in z 1.756 * [taylor]: Taking taylor expansion of z in z 1.756 * [taylor]: Taking taylor expansion of (* x y) in z 1.756 * [taylor]: Taking taylor expansion of x in z 1.756 * [taylor]: Taking taylor expansion of y in z 1.756 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in z 1.756 * [taylor]: Taking taylor expansion of 1/4 in z 1.756 * [taylor]: Taking taylor expansion of (* a b) in z 1.756 * [taylor]: Taking taylor expansion of a in z 1.756 * [taylor]: Taking taylor expansion of b in z 1.756 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in y 1.756 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in y 1.756 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.756 * [taylor]: Taking taylor expansion of 1/16 in y 1.756 * [taylor]: Taking taylor expansion of (* t z) in y 1.756 * [taylor]: Taking taylor expansion of t in y 1.756 * [taylor]: Taking taylor expansion of z in y 1.756 * [taylor]: Taking taylor expansion of (* x y) in y 1.756 * [taylor]: Taking taylor expansion of x in y 1.756 * [taylor]: Taking taylor expansion of y in y 1.756 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in y 1.756 * [taylor]: Taking taylor expansion of 1/4 in y 1.756 * [taylor]: Taking taylor expansion of (* a b) in y 1.756 * [taylor]: Taking taylor expansion of a in y 1.756 * [taylor]: Taking taylor expansion of b in y 1.756 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in x 1.756 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.756 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.756 * [taylor]: Taking taylor expansion of 1/16 in x 1.756 * [taylor]: Taking taylor expansion of (* t z) in x 1.756 * [taylor]: Taking taylor expansion of t in x 1.756 * [taylor]: Taking taylor expansion of z in x 1.756 * [taylor]: Taking taylor expansion of (* x y) in x 1.756 * [taylor]: Taking taylor expansion of x in x 1.756 * [taylor]: Taking taylor expansion of y in x 1.756 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in x 1.756 * [taylor]: Taking taylor expansion of 1/4 in x 1.756 * [taylor]: Taking taylor expansion of (* a b) in x 1.756 * [taylor]: Taking taylor expansion of a in x 1.756 * [taylor]: Taking taylor expansion of b in x 1.756 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in x 1.756 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.756 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.756 * [taylor]: Taking taylor expansion of 1/16 in x 1.756 * [taylor]: Taking taylor expansion of (* t z) in x 1.756 * [taylor]: Taking taylor expansion of t in x 1.756 * [taylor]: Taking taylor expansion of z in x 1.756 * [taylor]: Taking taylor expansion of (* x y) in x 1.756 * [taylor]: Taking taylor expansion of x in x 1.756 * [taylor]: Taking taylor expansion of y in x 1.756 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in x 1.756 * [taylor]: Taking taylor expansion of 1/4 in x 1.756 * [taylor]: Taking taylor expansion of (* a b) in x 1.756 * [taylor]: Taking taylor expansion of a in x 1.757 * [taylor]: Taking taylor expansion of b in x 1.757 * [taylor]: Taking taylor expansion of (- (* 1/16 (* t z)) (* 1/4 (* a b))) in y 1.757 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.757 * [taylor]: Taking taylor expansion of 1/16 in y 1.757 * [taylor]: Taking taylor expansion of (* t z) in y 1.757 * [taylor]: Taking taylor expansion of t in y 1.757 * [taylor]: Taking taylor expansion of z in y 1.757 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in y 1.757 * [taylor]: Taking taylor expansion of 1/4 in y 1.757 * [taylor]: Taking taylor expansion of (* a b) in y 1.757 * [taylor]: Taking taylor expansion of a in y 1.757 * [taylor]: Taking taylor expansion of b in y 1.757 * [taylor]: Taking taylor expansion of (- (* 1/16 (* t z)) (* 1/4 (* a b))) in z 1.757 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.757 * [taylor]: Taking taylor expansion of 1/16 in z 1.757 * [taylor]: Taking taylor expansion of (* t z) in z 1.757 * [taylor]: Taking taylor expansion of t in z 1.757 * [taylor]: Taking taylor expansion of z in z 1.757 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in z 1.757 * [taylor]: Taking taylor expansion of 1/4 in z 1.757 * [taylor]: Taking taylor expansion of (* a b) in z 1.757 * [taylor]: Taking taylor expansion of a in z 1.757 * [taylor]: Taking taylor expansion of b in z 1.758 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* a b))) in t 1.758 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in t 1.758 * [taylor]: Taking taylor expansion of 1/4 in t 1.758 * [taylor]: Taking taylor expansion of (* a b) in t 1.758 * [taylor]: Taking taylor expansion of a in t 1.758 * [taylor]: Taking taylor expansion of b in t 1.758 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* a b))) in a 1.758 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.758 * [taylor]: Taking taylor expansion of 1/4 in a 1.758 * [taylor]: Taking taylor expansion of (* a b) in a 1.758 * [taylor]: Taking taylor expansion of a in a 1.758 * [taylor]: Taking taylor expansion of b in a 1.758 * [taylor]: Taking taylor expansion of 0 in b 1.758 * [taylor]: Taking taylor expansion of y in y 1.758 * [taylor]: Taking taylor expansion of 0 in z 1.758 * [taylor]: Taking taylor expansion of 0 in t 1.758 * [taylor]: Taking taylor expansion of 0 in a 1.758 * [taylor]: Taking taylor expansion of 0 in b 1.758 * [taylor]: Taking taylor expansion of 0 in z 1.758 * [taylor]: Taking taylor expansion of 0 in t 1.758 * [taylor]: Taking taylor expansion of 0 in a 1.758 * [taylor]: Taking taylor expansion of 0 in b 1.759 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.759 * [taylor]: Taking taylor expansion of 1/16 in t 1.759 * [taylor]: Taking taylor expansion of t in t 1.759 * [taylor]: Taking taylor expansion of 0 in a 1.759 * [taylor]: Taking taylor expansion of 0 in b 1.759 * [taylor]: Taking taylor expansion of 0 in a 1.759 * [taylor]: Taking taylor expansion of 0 in b 1.759 * [taylor]: Taking taylor expansion of (neg (* 1/4 b)) in b 1.759 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 1.759 * [taylor]: Taking taylor expansion of 1/4 in b 1.759 * [taylor]: Taking taylor expansion of b in b 1.759 * [approximate]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in (x y z t a b) around 0 1.759 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in b 1.759 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.759 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in b 1.759 * [taylor]: Taking taylor expansion of 1/16 in b 1.759 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.759 * [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 (* 1/4 (/ 1 (* a b))) in b 1.760 * [taylor]: Taking taylor expansion of 1/4 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/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in a 1.760 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.760 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in a 1.760 * [taylor]: Taking taylor expansion of 1/16 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 (* 1/4 (/ 1 (* a b))) in a 1.760 * [taylor]: Taking taylor expansion of 1/4 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.760 * [taylor]: Taking taylor expansion of b in a 1.760 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in t 1.760 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.760 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.760 * [taylor]: Taking taylor expansion of 1/16 in t 1.760 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.760 * [taylor]: Taking taylor expansion of (* t z) in t 1.760 * [taylor]: Taking taylor expansion of t in t 1.760 * [taylor]: Taking taylor expansion of z in t 1.760 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.760 * [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 (* 1/4 (/ 1 (* a b))) in t 1.761 * [taylor]: Taking taylor expansion of 1/4 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/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in z 1.761 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.761 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.761 * [taylor]: Taking taylor expansion of 1/16 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 (* 1/4 (/ 1 (* a b))) in z 1.761 * [taylor]: Taking taylor expansion of 1/4 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.761 * [taylor]: Taking taylor expansion of b in z 1.761 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in y 1.761 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.761 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.761 * [taylor]: Taking taylor expansion of 1/16 in y 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.761 * [taylor]: Taking taylor expansion of (* t z) in y 1.761 * [taylor]: Taking taylor expansion of t in y 1.761 * [taylor]: Taking taylor expansion of z in y 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.761 * [taylor]: Taking taylor expansion of (* x y) in y 1.761 * [taylor]: Taking taylor expansion of x in y 1.761 * [taylor]: Taking taylor expansion of y in y 1.761 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.761 * [taylor]: Taking taylor expansion of 1/4 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/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.762 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.762 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.762 * [taylor]: Taking taylor expansion of 1/16 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 (* 1/4 (/ 1 (* a b))) in x 1.762 * [taylor]: Taking taylor expansion of 1/4 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.762 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.762 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.762 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.762 * [taylor]: Taking taylor expansion of 1/16 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 (* 1/4 (/ 1 (* a b))) in x 1.762 * [taylor]: Taking taylor expansion of 1/4 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 y) in y 1.763 * [taylor]: Taking taylor expansion of y in y 1.763 * [taylor]: Taking taylor expansion of 1 in z 1.763 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in y 1.763 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.763 * [taylor]: Taking taylor expansion of 1/16 in y 1.763 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.763 * [taylor]: Taking taylor expansion of (* t z) in y 1.763 * [taylor]: Taking taylor expansion of t in y 1.763 * [taylor]: Taking taylor expansion of z in y 1.763 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.763 * [taylor]: Taking taylor expansion of 1/4 in y 1.763 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.763 * [taylor]: Taking taylor expansion of (* a b) in y 1.763 * [taylor]: Taking taylor expansion of a in y 1.763 * [taylor]: Taking taylor expansion of b in y 1.763 * [taylor]: Taking taylor expansion of 0 in z 1.763 * [taylor]: Taking taylor expansion of 1 in t 1.764 * [taylor]: Taking taylor expansion of 0 in y 1.764 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in z 1.764 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.764 * [taylor]: Taking taylor expansion of 1/16 in z 1.764 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.764 * [taylor]: Taking taylor expansion of (* t z) in z 1.764 * [taylor]: Taking taylor expansion of t in z 1.764 * [taylor]: Taking taylor expansion of z in z 1.764 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.764 * [taylor]: Taking taylor expansion of 1/4 in z 1.764 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.764 * [taylor]: Taking taylor expansion of (* a b) in z 1.764 * [taylor]: Taking taylor expansion of a in z 1.764 * [taylor]: Taking taylor expansion of b in z 1.765 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 t)) in t 1.765 * [taylor]: Taking taylor expansion of 1/16 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 1/16 in a 1.765 * [taylor]: Taking taylor expansion of 0 in z 1.765 * [taylor]: Taking taylor expansion of 0 in t 1.765 * [taylor]: Taking taylor expansion of 0 in t 1.765 * [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.766 * [taylor]: Taking taylor expansion of 0 in z 1.766 * [taylor]: Taking taylor expansion of 0 in z 1.766 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in t 1.766 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.766 * [taylor]: Taking taylor expansion of 1/4 in t 1.766 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.766 * [taylor]: Taking taylor expansion of (* a b) in t 1.766 * [taylor]: Taking taylor expansion of a in t 1.766 * [taylor]: Taking taylor expansion of b 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.767 * [taylor]: Taking taylor expansion of 0 in a 1.767 * [taylor]: Taking taylor expansion of 1/16 in b 1.767 * [taylor]: Taking taylor expansion of 1 in b 1.768 * [taylor]: Taking taylor expansion of 0 in y 1.768 * [taylor]: Taking taylor expansion of 0 in z 1.768 * [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.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.769 * [taylor]: Taking taylor expansion of 0 in t 1.769 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in a 1.769 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.769 * [taylor]: Taking taylor expansion of 1/4 in a 1.769 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.769 * [taylor]: Taking taylor expansion of (* a b) in a 1.769 * [taylor]: Taking taylor expansion of a in a 1.769 * [taylor]: Taking taylor expansion of b in a 1.770 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 b))) in b 1.770 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 1.770 * [taylor]: Taking taylor expansion of 1/4 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 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.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 b 1.770 * [taylor]: Taking taylor expansion of 0 in b 1.770 * [taylor]: Taking taylor expansion of 0 in b 1.770 * [taylor]: Taking taylor expansion of 0 in b 1.770 * [taylor]: Taking taylor expansion of 0 in b 1.770 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [approximate]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in (x y z t a b) around 0 1.771 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in b 1.771 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.771 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in b 1.771 * [taylor]: Taking taylor expansion of 1/16 in b 1.771 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.771 * [taylor]: Taking taylor expansion of (* t z) in b 1.771 * [taylor]: Taking taylor expansion of t in b 1.771 * [taylor]: Taking taylor expansion of z in b 1.771 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.771 * [taylor]: Taking taylor expansion of (* x y) in b 1.771 * [taylor]: Taking taylor expansion of x in b 1.771 * [taylor]: Taking taylor expansion of y in b 1.771 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in b 1.771 * [taylor]: Taking taylor expansion of 1/4 in b 1.772 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.772 * [taylor]: Taking taylor expansion of (* a b) in b 1.772 * [taylor]: Taking taylor expansion of a in b 1.772 * [taylor]: Taking taylor expansion of b in b 1.772 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in a 1.772 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.772 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in a 1.772 * [taylor]: Taking taylor expansion of 1/16 in a 1.772 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.772 * [taylor]: Taking taylor expansion of (* t z) in a 1.772 * [taylor]: Taking taylor expansion of t in a 1.772 * [taylor]: Taking taylor expansion of z in a 1.772 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.772 * [taylor]: Taking taylor expansion of (* x y) in a 1.772 * [taylor]: Taking taylor expansion of x in a 1.772 * [taylor]: Taking taylor expansion of y in a 1.772 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.772 * [taylor]: Taking taylor expansion of 1/4 in a 1.772 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.772 * [taylor]: Taking taylor expansion of (* a b) in a 1.772 * [taylor]: Taking taylor expansion of a in a 1.772 * [taylor]: Taking taylor expansion of b in a 1.772 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in t 1.772 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.772 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.772 * [taylor]: Taking taylor expansion of 1/16 in t 1.772 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.772 * [taylor]: Taking taylor expansion of (* t z) in t 1.772 * [taylor]: Taking taylor expansion of t in t 1.772 * [taylor]: Taking taylor expansion of z in t 1.772 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.772 * [taylor]: Taking taylor expansion of (* x y) in t 1.772 * [taylor]: Taking taylor expansion of x in t 1.772 * [taylor]: Taking taylor expansion of y in t 1.772 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.772 * [taylor]: Taking taylor expansion of 1/4 in t 1.772 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.772 * [taylor]: Taking taylor expansion of (* a b) in t 1.772 * [taylor]: Taking taylor expansion of a in t 1.772 * [taylor]: Taking taylor expansion of b in t 1.772 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in z 1.773 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.773 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.773 * [taylor]: Taking taylor expansion of 1/16 in z 1.773 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.773 * [taylor]: Taking taylor expansion of (* t z) in z 1.773 * [taylor]: Taking taylor expansion of t in z 1.773 * [taylor]: Taking taylor expansion of z in z 1.773 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.773 * [taylor]: Taking taylor expansion of (* x y) in z 1.773 * [taylor]: Taking taylor expansion of x in z 1.773 * [taylor]: Taking taylor expansion of y in z 1.773 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.773 * [taylor]: Taking taylor expansion of 1/4 in z 1.773 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.773 * [taylor]: Taking taylor expansion of (* a b) in z 1.773 * [taylor]: Taking taylor expansion of a in z 1.773 * [taylor]: Taking taylor expansion of b in z 1.773 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in y 1.773 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.773 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.773 * [taylor]: Taking taylor expansion of 1/16 in y 1.773 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.773 * [taylor]: Taking taylor expansion of (* t z) in y 1.773 * [taylor]: Taking taylor expansion of t in y 1.773 * [taylor]: Taking taylor expansion of z in y 1.773 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.773 * [taylor]: Taking taylor expansion of (* x y) in y 1.773 * [taylor]: Taking taylor expansion of x in y 1.773 * [taylor]: Taking taylor expansion of y in y 1.773 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.773 * [taylor]: Taking taylor expansion of 1/4 in y 1.773 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.773 * [taylor]: Taking taylor expansion of (* a b) in y 1.773 * [taylor]: Taking taylor expansion of a in y 1.773 * [taylor]: Taking taylor expansion of b in y 1.773 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.773 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.773 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.773 * [taylor]: Taking taylor expansion of 1/16 in x 1.773 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.773 * [taylor]: Taking taylor expansion of (* t z) in x 1.773 * [taylor]: Taking taylor expansion of t in x 1.773 * [taylor]: Taking taylor expansion of z in x 1.774 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.774 * [taylor]: Taking taylor expansion of (* x y) in x 1.774 * [taylor]: Taking taylor expansion of x in x 1.774 * [taylor]: Taking taylor expansion of y in x 1.774 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.774 * [taylor]: Taking taylor expansion of 1/4 in x 1.774 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.774 * [taylor]: Taking taylor expansion of (* a b) in x 1.774 * [taylor]: Taking taylor expansion of a in x 1.774 * [taylor]: Taking taylor expansion of b in x 1.774 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.774 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.774 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.774 * [taylor]: Taking taylor expansion of 1/16 in x 1.774 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.774 * [taylor]: Taking taylor expansion of (* t z) in x 1.774 * [taylor]: Taking taylor expansion of t in x 1.774 * [taylor]: Taking taylor expansion of z in x 1.774 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.774 * [taylor]: Taking taylor expansion of (* x y) in x 1.774 * [taylor]: Taking taylor expansion of x in x 1.774 * [taylor]: Taking taylor expansion of y in x 1.774 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.774 * [taylor]: Taking taylor expansion of 1/4 in x 1.774 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.774 * [taylor]: Taking taylor expansion of (* a b) in x 1.774 * [taylor]: Taking taylor expansion of a in x 1.774 * [taylor]: Taking taylor expansion of b in x 1.774 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.774 * [taylor]: Taking taylor expansion of y in y 1.774 * [taylor]: Taking taylor expansion of 1 in z 1.775 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in y 1.775 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.775 * [taylor]: Taking taylor expansion of 1/16 in y 1.775 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.775 * [taylor]: Taking taylor expansion of (* t z) in y 1.775 * [taylor]: Taking taylor expansion of t in y 1.775 * [taylor]: Taking taylor expansion of z in y 1.775 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.775 * [taylor]: Taking taylor expansion of 1/4 in y 1.775 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.775 * [taylor]: Taking taylor expansion of (* a b) in y 1.775 * [taylor]: Taking taylor expansion of a in y 1.775 * [taylor]: Taking taylor expansion of b in y 1.775 * [taylor]: Taking taylor expansion of 0 in z 1.775 * [taylor]: Taking taylor expansion of 1 in t 1.776 * [taylor]: Taking taylor expansion of 0 in y 1.776 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in z 1.776 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.776 * [taylor]: Taking taylor expansion of 1/16 in z 1.776 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.776 * [taylor]: Taking taylor expansion of (* t z) in z 1.776 * [taylor]: Taking taylor expansion of t in z 1.776 * [taylor]: Taking taylor expansion of z in z 1.776 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.776 * [taylor]: Taking taylor expansion of 1/4 in z 1.776 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.776 * [taylor]: Taking taylor expansion of (* a b) in z 1.776 * [taylor]: Taking taylor expansion of a in z 1.776 * [taylor]: Taking taylor expansion of b in z 1.776 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 t)) in t 1.776 * [taylor]: Taking taylor expansion of 1/16 in t 1.776 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.776 * [taylor]: Taking taylor expansion of t in t 1.776 * [taylor]: Taking taylor expansion of 1/16 in a 1.776 * [taylor]: Taking taylor expansion of 0 in z 1.776 * [taylor]: Taking taylor expansion of 0 in t 1.776 * [taylor]: Taking taylor expansion of 0 in t 1.776 * [taylor]: Taking taylor expansion of 1 in a 1.777 * [taylor]: Taking taylor expansion of 0 in y 1.777 * [taylor]: Taking taylor expansion of 0 in z 1.777 * [taylor]: Taking taylor expansion of 0 in z 1.777 * [taylor]: Taking taylor expansion of 0 in z 1.778 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in t 1.778 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.778 * [taylor]: Taking taylor expansion of 1/4 in t 1.778 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.778 * [taylor]: Taking taylor expansion of (* a b) in t 1.778 * [taylor]: Taking taylor expansion of a in t 1.778 * [taylor]: Taking taylor expansion of b in t 1.778 * [taylor]: Taking taylor expansion of 0 in t 1.778 * [taylor]: Taking taylor expansion of 0 in t 1.778 * [taylor]: Taking taylor expansion of 0 in t 1.778 * [taylor]: Taking taylor expansion of 0 in a 1.778 * [taylor]: Taking taylor expansion of 0 in a 1.778 * [taylor]: Taking taylor expansion of 0 in a 1.778 * [taylor]: Taking taylor expansion of 0 in a 1.778 * [taylor]: Taking taylor expansion of 1/16 in b 1.778 * [taylor]: Taking taylor expansion of 1 in b 1.779 * [taylor]: Taking taylor expansion of 0 in y 1.779 * [taylor]: Taking taylor expansion of 0 in z 1.779 * [taylor]: Taking taylor expansion of 0 in z 1.780 * [taylor]: Taking taylor expansion of 0 in z 1.780 * [taylor]: Taking taylor expansion of 0 in z 1.780 * [taylor]: Taking taylor expansion of 0 in t 1.780 * [taylor]: Taking taylor expansion of 0 in t 1.780 * [taylor]: Taking taylor expansion of 0 in t 1.780 * [taylor]: Taking taylor expansion of 0 in t 1.780 * [taylor]: Taking taylor expansion of 0 in t 1.780 * [taylor]: Taking taylor expansion of 0 in t 1.780 * [taylor]: Taking taylor expansion of 0 in t 1.780 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in a 1.780 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.780 * [taylor]: Taking taylor expansion of 1/4 in a 1.780 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.780 * [taylor]: Taking taylor expansion of (* a b) in a 1.780 * [taylor]: Taking taylor expansion of a in a 1.780 * [taylor]: Taking taylor expansion of b in a 1.781 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 b))) in b 1.781 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 1.781 * [taylor]: Taking taylor expansion of 1/4 in b 1.781 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.781 * [taylor]: Taking taylor expansion of b in b 1.781 * [taylor]: Taking taylor expansion of 0 in a 1.781 * [taylor]: Taking taylor expansion of 0 in a 1.781 * [taylor]: Taking taylor expansion of 0 in a 1.781 * [taylor]: Taking taylor expansion of 0 in a 1.781 * [taylor]: Taking taylor expansion of 0 in a 1.781 * [taylor]: Taking taylor expansion of 0 in a 1.781 * [taylor]: Taking taylor expansion of 0 in a 1.781 * [taylor]: Taking taylor expansion of 0 in b 1.781 * [taylor]: Taking taylor expansion of 0 in b 1.781 * [taylor]: Taking taylor expansion of 0 in b 1.781 * [taylor]: Taking taylor expansion of 0 in b 1.782 * [taylor]: Taking taylor expansion of 0 in b 1.782 * [taylor]: Taking taylor expansion of 0 in b 1.782 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.782 * [approximate]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in (x y z t) around 0 1.782 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in t 1.782 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.782 * [taylor]: Taking taylor expansion of 1/16 in t 1.782 * [taylor]: Taking taylor expansion of (* t z) in t 1.782 * [taylor]: Taking taylor expansion of t in t 1.782 * [taylor]: Taking taylor expansion of z in t 1.782 * [taylor]: Taking taylor expansion of (* x y) in t 1.782 * [taylor]: Taking taylor expansion of x in t 1.782 * [taylor]: Taking taylor expansion of y in t 1.782 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in z 1.782 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.783 * [taylor]: Taking taylor expansion of 1/16 in z 1.783 * [taylor]: Taking taylor expansion of (* t z) in z 1.783 * [taylor]: Taking taylor expansion of t in z 1.783 * [taylor]: Taking taylor expansion of z in z 1.783 * [taylor]: Taking taylor expansion of (* x y) in z 1.783 * [taylor]: Taking taylor expansion of x in z 1.783 * [taylor]: Taking taylor expansion of y in z 1.783 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in y 1.783 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.783 * [taylor]: Taking taylor expansion of 1/16 in y 1.783 * [taylor]: Taking taylor expansion of (* t z) in y 1.783 * [taylor]: Taking taylor expansion of t in y 1.783 * [taylor]: Taking taylor expansion of z in y 1.783 * [taylor]: Taking taylor expansion of (* x y) in y 1.783 * [taylor]: Taking taylor expansion of x in y 1.783 * [taylor]: Taking taylor expansion of y in y 1.783 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.783 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.783 * [taylor]: Taking taylor expansion of 1/16 in x 1.783 * [taylor]: Taking taylor expansion of (* t z) in x 1.783 * [taylor]: Taking taylor expansion of t in x 1.783 * [taylor]: Taking taylor expansion of z in x 1.783 * [taylor]: Taking taylor expansion of (* x y) in x 1.783 * [taylor]: Taking taylor expansion of x in x 1.783 * [taylor]: Taking taylor expansion of y in x 1.783 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.783 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.783 * [taylor]: Taking taylor expansion of 1/16 in x 1.783 * [taylor]: Taking taylor expansion of (* t z) in x 1.783 * [taylor]: Taking taylor expansion of t in x 1.783 * [taylor]: Taking taylor expansion of z in x 1.783 * [taylor]: Taking taylor expansion of (* x y) in x 1.783 * [taylor]: Taking taylor expansion of x in x 1.783 * [taylor]: Taking taylor expansion of y in x 1.783 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.783 * [taylor]: Taking taylor expansion of 1/16 in y 1.783 * [taylor]: Taking taylor expansion of (* t z) in y 1.783 * [taylor]: Taking taylor expansion of t in y 1.783 * [taylor]: Taking taylor expansion of z in y 1.783 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.783 * [taylor]: Taking taylor expansion of 1/16 in z 1.783 * [taylor]: Taking taylor expansion of (* t z) in z 1.783 * [taylor]: Taking taylor expansion of t in z 1.783 * [taylor]: Taking taylor expansion of z in z 1.783 * [taylor]: Taking taylor expansion of 0 in t 1.784 * [taylor]: Taking taylor expansion of y in y 1.784 * [taylor]: Taking taylor expansion of 0 in z 1.784 * [taylor]: Taking taylor expansion of 0 in t 1.784 * [taylor]: Taking taylor expansion of 0 in z 1.784 * [taylor]: Taking taylor expansion of 0 in t 1.784 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.784 * [taylor]: Taking taylor expansion of 1/16 in t 1.784 * [taylor]: Taking taylor expansion of t in t 1.784 * [taylor]: Taking taylor expansion of 0 in y 1.784 * [taylor]: Taking taylor expansion of 0 in z 1.784 * [taylor]: Taking taylor expansion of 0 in t 1.784 * [approximate]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 1.784 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.784 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.784 * [taylor]: Taking taylor expansion of 1/16 in t 1.784 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.784 * [taylor]: Taking taylor expansion of (* t z) in t 1.784 * [taylor]: Taking taylor expansion of t in t 1.784 * [taylor]: Taking taylor expansion of z in t 1.784 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.784 * [taylor]: Taking taylor expansion of (* x y) in t 1.784 * [taylor]: Taking taylor expansion of x in t 1.784 * [taylor]: Taking taylor expansion of y in t 1.785 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.785 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.785 * [taylor]: Taking taylor expansion of 1/16 in z 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.785 * [taylor]: Taking taylor expansion of (* t z) in z 1.785 * [taylor]: Taking taylor expansion of t in z 1.785 * [taylor]: Taking taylor expansion of z in z 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.785 * [taylor]: Taking taylor expansion of (* x y) in z 1.785 * [taylor]: Taking taylor expansion of x in z 1.785 * [taylor]: Taking taylor expansion of y in z 1.785 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.785 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.785 * [taylor]: Taking taylor expansion of 1/16 in y 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.785 * [taylor]: Taking taylor expansion of (* t z) in y 1.785 * [taylor]: Taking taylor expansion of t in y 1.785 * [taylor]: Taking taylor expansion of z in y 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.785 * [taylor]: Taking taylor expansion of (* x y) in y 1.785 * [taylor]: Taking taylor expansion of x in y 1.785 * [taylor]: Taking taylor expansion of y in y 1.785 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.785 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.785 * [taylor]: Taking taylor expansion of 1/16 in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.785 * [taylor]: Taking taylor expansion of (* t z) in x 1.785 * [taylor]: Taking taylor expansion of t in x 1.785 * [taylor]: Taking taylor expansion of z in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.785 * [taylor]: Taking taylor expansion of (* x y) in x 1.785 * [taylor]: Taking taylor expansion of x in x 1.785 * [taylor]: Taking taylor expansion of y in x 1.785 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.785 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.785 * [taylor]: Taking taylor expansion of 1/16 in x 1.785 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.785 * [taylor]: Taking taylor expansion of (* t z) in x 1.785 * [taylor]: Taking taylor expansion of t in x 1.786 * [taylor]: Taking taylor expansion of z in x 1.786 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.786 * [taylor]: Taking taylor expansion of (* x y) in x 1.786 * [taylor]: Taking taylor expansion of x in x 1.786 * [taylor]: Taking taylor expansion of y in x 1.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.786 * [taylor]: Taking taylor expansion of y in y 1.786 * [taylor]: Taking taylor expansion of 1 in z 1.786 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.786 * [taylor]: Taking taylor expansion of 1/16 in y 1.786 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.786 * [taylor]: Taking taylor expansion of (* t z) in y 1.786 * [taylor]: Taking taylor expansion of t in y 1.786 * [taylor]: Taking taylor expansion of z in y 1.786 * [taylor]: Taking taylor expansion of 0 in z 1.786 * [taylor]: Taking taylor expansion of 1 in t 1.787 * [taylor]: Taking taylor expansion of 0 in y 1.787 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.787 * [taylor]: Taking taylor expansion of 1/16 in z 1.787 * [taylor]: Taking taylor expansion of (* t z) in z 1.787 * [taylor]: Taking taylor expansion of t in z 1.787 * [taylor]: Taking taylor expansion of z in z 1.787 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.787 * [taylor]: Taking taylor expansion of 1/16 in t 1.787 * [taylor]: Taking taylor expansion of t in t 1.787 * [taylor]: Taking taylor expansion of 0 in z 1.787 * [taylor]: Taking taylor expansion of 0 in t 1.787 * [taylor]: Taking taylor expansion of 0 in t 1.787 * [taylor]: Taking taylor expansion of 0 in y 1.787 * [taylor]: Taking taylor expansion of 0 in z 1.788 * [taylor]: Taking taylor expansion of 0 in z 1.788 * [taylor]: Taking taylor expansion of 0 in z 1.788 * [taylor]: Taking taylor expansion of 0 in t 1.788 * [taylor]: Taking taylor expansion of 0 in t 1.788 * [taylor]: Taking taylor expansion of 0 in t 1.788 * [taylor]: Taking taylor expansion of 0 in t 1.788 * [taylor]: Taking taylor expansion of 0 in y 1.789 * [taylor]: Taking taylor expansion of 0 in z 1.789 * [taylor]: Taking taylor expansion of 0 in z 1.789 * [taylor]: Taking taylor expansion of 0 in z 1.789 * [taylor]: Taking taylor expansion of 0 in z 1.789 * [taylor]: Taking taylor expansion of 0 in t 1.789 * [taylor]: Taking taylor expansion of 0 in t 1.789 * [taylor]: Taking taylor expansion of 0 in t 1.789 * [taylor]: Taking taylor expansion of 0 in t 1.789 * [taylor]: Taking taylor expansion of 0 in t 1.789 * [taylor]: Taking taylor expansion of 0 in t 1.789 * [taylor]: Taking taylor expansion of 0 in t 1.790 * [approximate]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 1.790 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.790 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.790 * [taylor]: Taking taylor expansion of 1/16 in t 1.790 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.790 * [taylor]: Taking taylor expansion of (* t z) in t 1.790 * [taylor]: Taking taylor expansion of t in t 1.790 * [taylor]: Taking taylor expansion of z in t 1.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.790 * [taylor]: Taking taylor expansion of (* x y) in t 1.790 * [taylor]: Taking taylor expansion of x in t 1.790 * [taylor]: Taking taylor expansion of y in t 1.790 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.790 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.790 * [taylor]: Taking taylor expansion of 1/16 in z 1.790 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.790 * [taylor]: Taking taylor expansion of (* t z) in z 1.790 * [taylor]: Taking taylor expansion of t in z 1.790 * [taylor]: Taking taylor expansion of z in z 1.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.790 * [taylor]: Taking taylor expansion of (* x y) in z 1.790 * [taylor]: Taking taylor expansion of x in z 1.790 * [taylor]: Taking taylor expansion of y in z 1.790 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.790 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.790 * [taylor]: Taking taylor expansion of 1/16 in y 1.790 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.790 * [taylor]: Taking taylor expansion of (* t z) in y 1.790 * [taylor]: Taking taylor expansion of t in y 1.790 * [taylor]: Taking taylor expansion of z in y 1.791 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.791 * [taylor]: Taking taylor expansion of (* x y) in y 1.791 * [taylor]: Taking taylor expansion of x in y 1.791 * [taylor]: Taking taylor expansion of y in y 1.791 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.791 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.791 * [taylor]: Taking taylor expansion of 1/16 in x 1.791 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.791 * [taylor]: Taking taylor expansion of (* t z) in x 1.791 * [taylor]: Taking taylor expansion of t in x 1.791 * [taylor]: Taking taylor expansion of z in x 1.791 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.791 * [taylor]: Taking taylor expansion of (* x y) in x 1.791 * [taylor]: Taking taylor expansion of x in x 1.791 * [taylor]: Taking taylor expansion of y in x 1.791 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.791 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.791 * [taylor]: Taking taylor expansion of 1/16 in x 1.791 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.791 * [taylor]: Taking taylor expansion of (* t z) in x 1.791 * [taylor]: Taking taylor expansion of t in x 1.791 * [taylor]: Taking taylor expansion of z in x 1.791 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.791 * [taylor]: Taking taylor expansion of (* x y) in x 1.791 * [taylor]: Taking taylor expansion of x in x 1.791 * [taylor]: Taking taylor expansion of y in x 1.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.791 * [taylor]: Taking taylor expansion of y in y 1.791 * [taylor]: Taking taylor expansion of 1 in z 1.792 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.792 * [taylor]: Taking taylor expansion of 1/16 in y 1.792 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.792 * [taylor]: Taking taylor expansion of (* t z) in y 1.792 * [taylor]: Taking taylor expansion of t in y 1.792 * [taylor]: Taking taylor expansion of z in y 1.792 * [taylor]: Taking taylor expansion of 0 in z 1.792 * [taylor]: Taking taylor expansion of 1 in t 1.792 * [taylor]: Taking taylor expansion of 0 in y 1.792 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.792 * [taylor]: Taking taylor expansion of 1/16 in z 1.792 * [taylor]: Taking taylor expansion of (* t z) in z 1.792 * [taylor]: Taking taylor expansion of t in z 1.792 * [taylor]: Taking taylor expansion of z in z 1.792 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.792 * [taylor]: Taking taylor expansion of 1/16 in t 1.792 * [taylor]: Taking taylor expansion of t in t 1.792 * [taylor]: Taking taylor expansion of 0 in z 1.792 * [taylor]: Taking taylor expansion of 0 in t 1.792 * [taylor]: Taking taylor expansion of 0 in t 1.793 * [taylor]: Taking taylor expansion of 0 in y 1.793 * [taylor]: Taking taylor expansion of 0 in z 1.793 * [taylor]: Taking taylor expansion of 0 in z 1.793 * [taylor]: Taking taylor expansion of 0 in z 1.793 * [taylor]: Taking taylor expansion of 0 in t 1.793 * [taylor]: Taking taylor expansion of 0 in t 1.793 * [taylor]: Taking taylor expansion of 0 in t 1.793 * [taylor]: Taking taylor expansion of 0 in t 1.794 * [taylor]: Taking taylor expansion of 0 in y 1.794 * [taylor]: Taking taylor expansion of 0 in z 1.794 * [taylor]: Taking taylor expansion of 0 in z 1.794 * [taylor]: Taking taylor expansion of 0 in z 1.794 * [taylor]: Taking taylor expansion of 0 in z 1.794 * [taylor]: Taking taylor expansion of 0 in t 1.794 * [taylor]: Taking taylor expansion of 0 in t 1.794 * [taylor]: Taking taylor expansion of 0 in t 1.794 * [taylor]: Taking taylor expansion of 0 in t 1.794 * [taylor]: Taking taylor expansion of 0 in t 1.795 * [taylor]: Taking taylor expansion of 0 in t 1.795 * [taylor]: Taking taylor expansion of 0 in t 1.795 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.795 * [approximate]: Taking taylor expansion of (* 1/16 (* t z)) in (z t) around 0 1.795 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.795 * [taylor]: Taking taylor expansion of 1/16 in t 1.795 * [taylor]: Taking taylor expansion of (* t z) in t 1.795 * [taylor]: Taking taylor expansion of t in t 1.795 * [taylor]: Taking taylor expansion of z in t 1.795 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.795 * [taylor]: Taking taylor expansion of 1/16 in z 1.795 * [taylor]: Taking taylor expansion of (* t z) in z 1.795 * [taylor]: Taking taylor expansion of t in z 1.795 * [taylor]: Taking taylor expansion of z in z 1.795 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.795 * [taylor]: Taking taylor expansion of 1/16 in z 1.795 * [taylor]: Taking taylor expansion of (* t z) in z 1.795 * [taylor]: Taking taylor expansion of t in z 1.795 * [taylor]: Taking taylor expansion of z in z 1.795 * [taylor]: Taking taylor expansion of 0 in t 1.795 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.795 * [taylor]: Taking taylor expansion of 1/16 in t 1.795 * [taylor]: Taking taylor expansion of t in t 1.796 * [taylor]: Taking taylor expansion of 0 in t 1.796 * [taylor]: Taking taylor expansion of 0 in t 1.796 * [taylor]: Taking taylor expansion of 0 in t 1.796 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0 1.796 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t 1.796 * [taylor]: Taking taylor expansion of 1/16 in t 1.796 * [taylor]: Taking taylor expansion of (* t z) in t 1.796 * [taylor]: Taking taylor expansion of t in t 1.796 * [taylor]: Taking taylor expansion of z in t 1.796 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.796 * [taylor]: Taking taylor expansion of 1/16 in z 1.796 * [taylor]: Taking taylor expansion of (* t z) in z 1.796 * [taylor]: Taking taylor expansion of t in z 1.796 * [taylor]: Taking taylor expansion of z in z 1.796 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.796 * [taylor]: Taking taylor expansion of 1/16 in z 1.796 * [taylor]: Taking taylor expansion of (* t z) in z 1.796 * [taylor]: Taking taylor expansion of t in z 1.796 * [taylor]: Taking taylor expansion of z in z 1.796 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.796 * [taylor]: Taking taylor expansion of 1/16 in t 1.797 * [taylor]: Taking taylor expansion of t in t 1.797 * [taylor]: Taking taylor expansion of 0 in t 1.797 * [taylor]: Taking taylor expansion of 0 in t 1.797 * [taylor]: Taking taylor expansion of 0 in t 1.797 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0 1.797 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t 1.797 * [taylor]: Taking taylor expansion of 1/16 in t 1.797 * [taylor]: Taking taylor expansion of (* t z) in t 1.797 * [taylor]: Taking taylor expansion of t in t 1.797 * [taylor]: Taking taylor expansion of z in t 1.798 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.798 * [taylor]: Taking taylor expansion of 1/16 in z 1.798 * [taylor]: Taking taylor expansion of (* t z) in z 1.798 * [taylor]: Taking taylor expansion of t in z 1.798 * [taylor]: Taking taylor expansion of z in z 1.798 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.798 * [taylor]: Taking taylor expansion of 1/16 in z 1.798 * [taylor]: Taking taylor expansion of (* t z) in z 1.798 * [taylor]: Taking taylor expansion of t in z 1.798 * [taylor]: Taking taylor expansion of z in z 1.798 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.798 * [taylor]: Taking taylor expansion of 1/16 in t 1.798 * [taylor]: Taking taylor expansion of t in t 1.798 * [taylor]: Taking taylor expansion of 0 in t 1.798 * [taylor]: Taking taylor expansion of 0 in t 1.798 * [taylor]: Taking taylor expansion of 0 in t 1.799 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.799 * [approximate]: Taking taylor expansion of (* 1/4 (* a b)) in (a b) around 0 1.799 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in b 1.799 * [taylor]: Taking taylor expansion of 1/4 in b 1.799 * [taylor]: Taking taylor expansion of (* a b) in b 1.799 * [taylor]: Taking taylor expansion of a in b 1.799 * [taylor]: Taking taylor expansion of b in b 1.799 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.799 * [taylor]: Taking taylor expansion of 1/4 in a 1.799 * [taylor]: Taking taylor expansion of (* a b) in a 1.799 * [taylor]: Taking taylor expansion of a in a 1.799 * [taylor]: Taking taylor expansion of b in a 1.799 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.799 * [taylor]: Taking taylor expansion of 1/4 in a 1.799 * [taylor]: Taking taylor expansion of (* a b) in a 1.799 * [taylor]: Taking taylor expansion of a in a 1.799 * [taylor]: Taking taylor expansion of b in a 1.799 * [taylor]: Taking taylor expansion of 0 in b 1.799 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 1.799 * [taylor]: Taking taylor expansion of 1/4 in b 1.799 * [taylor]: Taking taylor expansion of b in b 1.799 * [taylor]: Taking taylor expansion of 0 in b 1.800 * [taylor]: Taking taylor expansion of 0 in b 1.800 * [taylor]: Taking taylor expansion of 0 in b 1.800 * [approximate]: Taking taylor expansion of (/ 1/4 (* a b)) in (a b) around 0 1.800 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in b 1.800 * [taylor]: Taking taylor expansion of 1/4 in b 1.800 * [taylor]: Taking taylor expansion of (* a b) in b 1.800 * [taylor]: Taking taylor expansion of a in b 1.800 * [taylor]: Taking taylor expansion of b in b 1.800 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.800 * [taylor]: Taking taylor expansion of 1/4 in a 1.800 * [taylor]: Taking taylor expansion of (* a b) in a 1.800 * [taylor]: Taking taylor expansion of a in a 1.800 * [taylor]: Taking taylor expansion of b in a 1.800 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.800 * [taylor]: Taking taylor expansion of 1/4 in a 1.800 * [taylor]: Taking taylor expansion of (* a b) in a 1.800 * [taylor]: Taking taylor expansion of a in a 1.800 * [taylor]: Taking taylor expansion of b in a 1.800 * [taylor]: Taking taylor expansion of (/ 1/4 b) in b 1.800 * [taylor]: Taking taylor expansion of 1/4 in b 1.800 * [taylor]: Taking taylor expansion of b in b 1.801 * [taylor]: Taking taylor expansion of 0 in b 1.801 * [taylor]: Taking taylor expansion of 0 in b 1.801 * [taylor]: Taking taylor expansion of 0 in b 1.801 * [approximate]: Taking taylor expansion of (/ 1/4 (* a b)) in (a b) around 0 1.801 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in b 1.801 * [taylor]: Taking taylor expansion of 1/4 in b 1.801 * [taylor]: Taking taylor expansion of (* a b) in b 1.801 * [taylor]: Taking taylor expansion of a in b 1.801 * [taylor]: Taking taylor expansion of b in b 1.802 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.802 * [taylor]: Taking taylor expansion of 1/4 in a 1.802 * [taylor]: Taking taylor expansion of (* a b) in a 1.802 * [taylor]: Taking taylor expansion of a in a 1.802 * [taylor]: Taking taylor expansion of b in a 1.802 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.802 * [taylor]: Taking taylor expansion of 1/4 in a 1.802 * [taylor]: Taking taylor expansion of (* a b) in a 1.802 * [taylor]: Taking taylor expansion of a in a 1.802 * [taylor]: Taking taylor expansion of b in a 1.802 * [taylor]: Taking taylor expansion of (/ 1/4 b) in b 1.802 * [taylor]: Taking taylor expansion of 1/4 in b 1.802 * [taylor]: Taking taylor expansion of b in b 1.802 * [taylor]: Taking taylor expansion of 0 in b 1.802 * [taylor]: Taking taylor expansion of 0 in b 1.802 * [taylor]: Taking taylor expansion of 0 in b 1.803 * * * [progress]: simplifying candidates 1.804 * [simplify]: Simplifying using # : (/.f64 (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (/.f64 (*.f64 z t) 16))) (exp.f64 (/.f64 (*.f64 a b) 4))) (/.f64 (exp.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (exp.f64 (/.f64 (*.f64 a b) 4))) (log.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (exp.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (*.f64 (*.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (sqrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (sqrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (-.f64 (*.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3)) 4) (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16)) (*.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (*.f64 a b))) (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16)) (*.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) 4) (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16))) 4) (*.f64 (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (*.f64 a b))) (*.f64 (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) 4) (-.f64 (pow.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) 3) (pow.f64 (/.f64 (*.f64 a b) 4) 3)) (+.f64 (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (*.f64 (/.f64 (*.f64 a b) 4) (/.f64 (*.f64 a b) 4)) (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))) (neg.f64 (/.f64 (*.f64 a b) 4)) (-.f64 (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (/.f64 (*.f64 a b) 4) (/.f64 (*.f64 a b) 4))) (+.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (+.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (/.f64 (*.f64 a b) 4))) (-.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (/.f64 (*.f64 a b) 4))) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (-.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 a b) 4)) (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (/.f64 (*.f64 z t) 16))) (log.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (exp.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16)) (*.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16))) (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (-.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 16)) (-.f64 (log.f64 (*.f64 z t)) (log.f64 16)) (log.f64 (/.f64 (*.f64 z t) 16)) (exp.f64 (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 16 16) 16)) (/.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t)) (*.f64 (*.f64 16 16) 16)) (*.f64 (cbrt.f64 (/.f64 (*.f64 z t) 16)) (cbrt.f64 (/.f64 (*.f64 z t) 16))) (cbrt.f64 (/.f64 (*.f64 z t) 16)) (*.f64 (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 z t) 16)) (sqrt.f64 (/.f64 (*.f64 z t) 16)) (sqrt.f64 (/.f64 (*.f64 z t) 16)) (neg.f64 (*.f64 z t)) (neg.f64 16) (/.f64 z (*.f64 (cbrt.f64 16) (cbrt.f64 16))) (/.f64 t (cbrt.f64 16)) (/.f64 z (sqrt.f64 16)) (/.f64 t (sqrt.f64 16)) (/.f64 z 1) (/.f64 t 16) (/.f64 1 16) (/.f64 16 (*.f64 z t)) (/.f64 (*.f64 z t) (*.f64 (cbrt.f64 16) (cbrt.f64 16))) (/.f64 (*.f64 z t) (sqrt.f64 16)) (/.f64 (*.f64 z t) 1) (/.f64 16 t) (-.f64 (+.f64 (log.f64 a) (log.f64 b)) (log.f64 4)) (-.f64 (log.f64 (*.f64 a b)) (log.f64 4)) (log.f64 (/.f64 (*.f64 a b) 4)) (exp.f64 (/.f64 (*.f64 a b) 4)) (/.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 4 4) 4)) (/.f64 (*.f64 (*.f64 (*.f64 a b) (*.f64 a b)) (*.f64 a b)) (*.f64 (*.f64 4 4) 4)) (*.f64 (cbrt.f64 (/.f64 (*.f64 a b) 4)) (cbrt.f64 (/.f64 (*.f64 a b) 4))) (cbrt.f64 (/.f64 (*.f64 a b) 4)) (*.f64 (*.f64 (/.f64 (*.f64 a b) 4) (/.f64 (*.f64 a b) 4)) (/.f64 (*.f64 a b) 4)) (sqrt.f64 (/.f64 (*.f64 a b) 4)) (sqrt.f64 (/.f64 (*.f64 a b) 4)) (neg.f64 (*.f64 a b)) (neg.f64 4) (/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 b (cbrt.f64 4)) (/.f64 a (sqrt.f64 4)) (/.f64 b (sqrt.f64 4)) (/.f64 a 1) (/.f64 b 4) (/.f64 1 4) (/.f64 4 (*.f64 a b)) (/.f64 (*.f64 a b) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 (*.f64 a b) (sqrt.f64 4)) (/.f64 (*.f64 a b) 1) (/.f64 4 b) 0 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 x y)) (*.f64 1/4 (*.f64 a b))) (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 x y)) (*.f64 1/4 (*.f64 a b))) 0 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 x y)) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 x y)) (*.f64 1/16 (*.f64 t z)) (*.f64 1/16 (*.f64 t z)) (*.f64 1/16 (*.f64 t z)) (*.f64 1/4 (*.f64 a b)) (*.f64 1/4 (*.f64 a b)) (*.f64 1/4 (*.f64 a b)) 1.841 * * [simplify]: iteration 0 : 4951 enodes (cost 925 ) 1.841 * * [simplify]: iteration 1 : 4951 enodes (cost 925 ) 1.846 * [simplify]: Simplified to: (exp.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (exp.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (log.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (exp.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (pow.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) 3) (sqrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (sqrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4))) (-.f64 (*.f64 4 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3))) (*.f64 (*.f64 a b) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (-.f64 (/.f64 (*.f64 z t) 16) (*.f64 x y)))))) (*.f64 4 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (-.f64 (/.f64 (*.f64 z t) 16) (*.f64 x y))))) (*.f64 (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (-.f64 (*.f64 4 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 a b))) (*.f64 4 (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (-.f64 (pow.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) 3) (pow.f64 (/.f64 (*.f64 a b) 4) 3)) (+.f64 (*.f64 (/.f64 (*.f64 a b) 4) (/.f64 (*.f64 a b) 4)) (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (/.f64 (*.f64 a b) 4) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))))) (*.f64 a (*.f64 b -1/4)) (-.f64 (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (/.f64 (*.f64 a b) 4) (/.f64 (*.f64 a b) 4))) (+.f64 (/.f64 (*.f64 a b) 4) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (/.f64 (*.f64 a b) 4))) (-.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (/.f64 (*.f64 a b) 4))) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (-.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 a b) 4)) (exp.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (log.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (exp.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (pow.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) 3) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (-.f64 (/.f64 (*.f64 z t) 16) (*.f64 x y)))) (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16))) (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (log.f64 (/.f64 (*.f64 z t) 16)) (log.f64 (/.f64 (*.f64 z t) 16)) (log.f64 (/.f64 (*.f64 z t) 16)) (exp.f64 (/.f64 (*.f64 z t) 16)) (pow.f64 (/.f64 (*.f64 z t) 16) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 z t) 16)) (cbrt.f64 (/.f64 (*.f64 z t) 16))) (cbrt.f64 (/.f64 (*.f64 z t) 16)) (pow.f64 (/.f64 (*.f64 z t) 16) 3) (sqrt.f64 (/.f64 (*.f64 z t) 16)) (sqrt.f64 (/.f64 (*.f64 z t) 16)) (neg.f64 (*.f64 z t)) -16 (/.f64 z (*.f64 (cbrt.f64 16) (cbrt.f64 16))) (/.f64 t (cbrt.f64 16)) (/.f64 z 4) (/.f64 t 4) z (/.f64 t 16) 1/16 (/.f64 16 (*.f64 z t)) (*.f64 (/.f64 z (*.f64 (cbrt.f64 16) (cbrt.f64 16))) t) (*.f64 (/.f64 z 4) t) (*.f64 z t) (/.f64 16 t) (log.f64 (/.f64 (*.f64 a b) 4)) (log.f64 (/.f64 (*.f64 a b) 4)) (log.f64 (/.f64 (*.f64 a b) 4)) (exp.f64 (/.f64 (*.f64 a b) 4)) (pow.f64 (/.f64 (*.f64 a b) 4) 3) (pow.f64 (/.f64 (*.f64 a b) 4) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 a b) 4)) (cbrt.f64 (/.f64 (*.f64 a b) 4))) (cbrt.f64 (/.f64 (*.f64 a b) 4)) (pow.f64 (/.f64 (*.f64 a b) 4) 3) (sqrt.f64 (/.f64 (*.f64 a b) 4)) (sqrt.f64 (/.f64 (*.f64 a b) 4)) (neg.f64 (*.f64 a b)) -4 (/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 b (cbrt.f64 4)) (/.f64 a 2) (/.f64 b 2) a (/.f64 b 4) 1/4 (/.f64 4 (*.f64 a b)) (*.f64 (/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4))) b) (*.f64 (/.f64 a 2) b) (*.f64 a b) (/.f64 4 b) 0 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) 0 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 a b) 4) (/.f64 (*.f64 a b) 4) (/.f64 (*.f64 a b) 4) 1.846 * * * [progress]: adding candidates to table 1.925 * * [progress]: iteration 2 / 4 1.925 * * * [progress]: picking best candidate 1.930 * * * * [pick]: Picked # 1.930 * * * [progress]: localizing error 1.943 * * * [progress]: generating rewritten candidates 1.943 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.949 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.968 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.974 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.985 * * * [progress]: generating series expansions 1.985 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.985 * [approximate]: Taking taylor expansion of (* 1/4 (* a b)) in (a b) around 0 1.985 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in b 1.985 * [taylor]: Taking taylor expansion of 1/4 in b 1.985 * [taylor]: Taking taylor expansion of (* a b) in b 1.985 * [taylor]: Taking taylor expansion of a in b 1.985 * [taylor]: Taking taylor expansion of b in b 1.985 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.985 * [taylor]: Taking taylor expansion of 1/4 in a 1.985 * [taylor]: Taking taylor expansion of (* a b) in a 1.985 * [taylor]: Taking taylor expansion of a in a 1.985 * [taylor]: Taking taylor expansion of b in a 1.985 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.985 * [taylor]: Taking taylor expansion of 1/4 in a 1.985 * [taylor]: Taking taylor expansion of (* a b) in a 1.985 * [taylor]: Taking taylor expansion of a in a 1.985 * [taylor]: Taking taylor expansion of b in a 1.985 * [taylor]: Taking taylor expansion of 0 in b 1.985 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 1.985 * [taylor]: Taking taylor expansion of 1/4 in b 1.985 * [taylor]: Taking taylor expansion of b in b 1.986 * [taylor]: Taking taylor expansion of 0 in b 1.986 * [taylor]: Taking taylor expansion of 0 in b 1.986 * [taylor]: Taking taylor expansion of 0 in b 1.986 * [approximate]: Taking taylor expansion of (/ 1/4 (* a b)) in (a b) around 0 1.986 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in b 1.986 * [taylor]: Taking taylor expansion of 1/4 in b 1.986 * [taylor]: Taking taylor expansion of (* a b) in b 1.986 * [taylor]: Taking taylor expansion of a in b 1.986 * [taylor]: Taking taylor expansion of b in b 1.986 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.986 * [taylor]: Taking taylor expansion of 1/4 in a 1.986 * [taylor]: Taking taylor expansion of (* a b) in a 1.986 * [taylor]: Taking taylor expansion of a in a 1.986 * [taylor]: Taking taylor expansion of b in a 1.986 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.986 * [taylor]: Taking taylor expansion of 1/4 in a 1.986 * [taylor]: Taking taylor expansion of (* a b) in a 1.986 * [taylor]: Taking taylor expansion of a in a 1.986 * [taylor]: Taking taylor expansion of b in a 1.987 * [taylor]: Taking taylor expansion of (/ 1/4 b) in b 1.987 * [taylor]: Taking taylor expansion of 1/4 in b 1.987 * [taylor]: Taking taylor expansion of b in b 1.987 * [taylor]: Taking taylor expansion of 0 in b 1.987 * [taylor]: Taking taylor expansion of 0 in b 1.987 * [taylor]: Taking taylor expansion of 0 in b 1.987 * [approximate]: Taking taylor expansion of (/ 1/4 (* a b)) in (a b) around 0 1.987 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in b 1.987 * [taylor]: Taking taylor expansion of 1/4 in b 1.987 * [taylor]: Taking taylor expansion of (* a b) in b 1.987 * [taylor]: Taking taylor expansion of a in b 1.987 * [taylor]: Taking taylor expansion of b in b 1.988 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.988 * [taylor]: Taking taylor expansion of 1/4 in a 1.988 * [taylor]: Taking taylor expansion of (* a b) in a 1.988 * [taylor]: Taking taylor expansion of a in a 1.988 * [taylor]: Taking taylor expansion of b in a 1.988 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.988 * [taylor]: Taking taylor expansion of 1/4 in a 1.988 * [taylor]: Taking taylor expansion of (* a b) in a 1.988 * [taylor]: Taking taylor expansion of a in a 1.988 * [taylor]: Taking taylor expansion of b in a 1.988 * [taylor]: Taking taylor expansion of (/ 1/4 b) in b 1.988 * [taylor]: Taking taylor expansion of 1/4 in b 1.988 * [taylor]: Taking taylor expansion of b in b 1.988 * [taylor]: Taking taylor expansion of 0 in b 1.988 * [taylor]: Taking taylor expansion of 0 in b 1.988 * [taylor]: Taking taylor expansion of 0 in b 1.989 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.989 * [approximate]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in (x y z t a b) around 0 1.989 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in b 1.989 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in b 1.989 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in b 1.989 * [taylor]: Taking taylor expansion of 1/16 in b 1.989 * [taylor]: Taking taylor expansion of (* t z) in b 1.989 * [taylor]: Taking taylor expansion of t in b 1.989 * [taylor]: Taking taylor expansion of z in b 1.989 * [taylor]: Taking taylor expansion of (* x y) in b 1.989 * [taylor]: Taking taylor expansion of x in b 1.989 * [taylor]: Taking taylor expansion of y in b 1.989 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in b 1.989 * [taylor]: Taking taylor expansion of 1/4 in b 1.989 * [taylor]: Taking taylor expansion of (* a b) in b 1.989 * [taylor]: Taking taylor expansion of a in b 1.989 * [taylor]: Taking taylor expansion of b in b 1.989 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in a 1.989 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in a 1.989 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in a 1.989 * [taylor]: Taking taylor expansion of 1/16 in a 1.989 * [taylor]: Taking taylor expansion of (* t z) in a 1.989 * [taylor]: Taking taylor expansion of t in a 1.989 * [taylor]: Taking taylor expansion of z in a 1.989 * [taylor]: Taking taylor expansion of (* x y) in a 1.989 * [taylor]: Taking taylor expansion of x in a 1.989 * [taylor]: Taking taylor expansion of y in a 1.989 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.989 * [taylor]: Taking taylor expansion of 1/4 in a 1.989 * [taylor]: Taking taylor expansion of (* a b) in a 1.989 * [taylor]: Taking taylor expansion of a in a 1.989 * [taylor]: Taking taylor expansion of b in a 1.989 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in t 1.989 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in t 1.989 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.989 * [taylor]: Taking taylor expansion of 1/16 in t 1.989 * [taylor]: Taking taylor expansion of (* t z) in t 1.989 * [taylor]: Taking taylor expansion of t in t 1.989 * [taylor]: Taking taylor expansion of z in t 1.989 * [taylor]: Taking taylor expansion of (* x y) in t 1.989 * [taylor]: Taking taylor expansion of x in t 1.989 * [taylor]: Taking taylor expansion of y in t 1.989 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in t 1.990 * [taylor]: Taking taylor expansion of 1/4 in t 1.990 * [taylor]: Taking taylor expansion of (* a b) in t 1.990 * [taylor]: Taking taylor expansion of a in t 1.990 * [taylor]: Taking taylor expansion of b in t 1.990 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in z 1.990 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in z 1.990 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.990 * [taylor]: Taking taylor expansion of 1/16 in z 1.990 * [taylor]: Taking taylor expansion of (* t z) in z 1.990 * [taylor]: Taking taylor expansion of t in z 1.990 * [taylor]: Taking taylor expansion of z in z 1.990 * [taylor]: Taking taylor expansion of (* x y) in z 1.990 * [taylor]: Taking taylor expansion of x in z 1.990 * [taylor]: Taking taylor expansion of y in z 1.990 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in z 1.990 * [taylor]: Taking taylor expansion of 1/4 in z 1.990 * [taylor]: Taking taylor expansion of (* a b) in z 1.990 * [taylor]: Taking taylor expansion of a in z 1.990 * [taylor]: Taking taylor expansion of b in z 1.990 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in y 1.990 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in y 1.990 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.990 * [taylor]: Taking taylor expansion of 1/16 in y 1.990 * [taylor]: Taking taylor expansion of (* t z) in y 1.990 * [taylor]: Taking taylor expansion of t in y 1.990 * [taylor]: Taking taylor expansion of z in y 1.990 * [taylor]: Taking taylor expansion of (* x y) in y 1.990 * [taylor]: Taking taylor expansion of x in y 1.990 * [taylor]: Taking taylor expansion of y in y 1.990 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in y 1.990 * [taylor]: Taking taylor expansion of 1/4 in y 1.990 * [taylor]: Taking taylor expansion of (* a b) in y 1.990 * [taylor]: Taking taylor expansion of a in y 1.990 * [taylor]: Taking taylor expansion of b in y 1.990 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in x 1.990 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.990 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.990 * [taylor]: Taking taylor expansion of 1/16 in x 1.990 * [taylor]: Taking taylor expansion of (* t z) in x 1.990 * [taylor]: Taking taylor expansion of t in x 1.990 * [taylor]: Taking taylor expansion of z in x 1.990 * [taylor]: Taking taylor expansion of (* x y) in x 1.990 * [taylor]: Taking taylor expansion of x in x 1.990 * [taylor]: Taking taylor expansion of y in x 1.990 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in x 1.990 * [taylor]: Taking taylor expansion of 1/4 in x 1.990 * [taylor]: Taking taylor expansion of (* a b) in x 1.990 * [taylor]: Taking taylor expansion of a in x 1.990 * [taylor]: Taking taylor expansion of b in x 1.990 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in x 1.990 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.990 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.990 * [taylor]: Taking taylor expansion of 1/16 in x 1.990 * [taylor]: Taking taylor expansion of (* t z) in x 1.990 * [taylor]: Taking taylor expansion of t in x 1.990 * [taylor]: Taking taylor expansion of z in x 1.990 * [taylor]: Taking taylor expansion of (* x y) in x 1.990 * [taylor]: Taking taylor expansion of x in x 1.990 * [taylor]: Taking taylor expansion of y in x 1.990 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in x 1.990 * [taylor]: Taking taylor expansion of 1/4 in x 1.990 * [taylor]: Taking taylor expansion of (* a b) in x 1.990 * [taylor]: Taking taylor expansion of a in x 1.990 * [taylor]: Taking taylor expansion of b in x 1.991 * [taylor]: Taking taylor expansion of (- (* 1/16 (* t z)) (* 1/4 (* a b))) in y 1.991 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.991 * [taylor]: Taking taylor expansion of 1/16 in y 1.991 * [taylor]: Taking taylor expansion of (* t z) in y 1.991 * [taylor]: Taking taylor expansion of t in y 1.991 * [taylor]: Taking taylor expansion of z in y 1.991 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in y 1.991 * [taylor]: Taking taylor expansion of 1/4 in y 1.991 * [taylor]: Taking taylor expansion of (* a b) in y 1.991 * [taylor]: Taking taylor expansion of a in y 1.991 * [taylor]: Taking taylor expansion of b in y 1.991 * [taylor]: Taking taylor expansion of (- (* 1/16 (* t z)) (* 1/4 (* a b))) in z 1.991 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.991 * [taylor]: Taking taylor expansion of 1/16 in z 1.991 * [taylor]: Taking taylor expansion of (* t z) in z 1.991 * [taylor]: Taking taylor expansion of t in z 1.991 * [taylor]: Taking taylor expansion of z in z 1.991 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in z 1.991 * [taylor]: Taking taylor expansion of 1/4 in z 1.991 * [taylor]: Taking taylor expansion of (* a b) in z 1.991 * [taylor]: Taking taylor expansion of a in z 1.991 * [taylor]: Taking taylor expansion of b in z 1.991 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* a b))) in t 1.991 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in t 1.991 * [taylor]: Taking taylor expansion of 1/4 in t 1.991 * [taylor]: Taking taylor expansion of (* a b) in t 1.991 * [taylor]: Taking taylor expansion of a in t 1.992 * [taylor]: Taking taylor expansion of b in t 1.992 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* a b))) in a 1.992 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.992 * [taylor]: Taking taylor expansion of 1/4 in a 1.992 * [taylor]: Taking taylor expansion of (* a b) in a 1.992 * [taylor]: Taking taylor expansion of a in a 1.992 * [taylor]: Taking taylor expansion of b in a 1.992 * [taylor]: Taking taylor expansion of 0 in b 1.992 * [taylor]: Taking taylor expansion of y in y 1.992 * [taylor]: Taking taylor expansion of 0 in z 1.992 * [taylor]: Taking taylor expansion of 0 in t 1.992 * [taylor]: Taking taylor expansion of 0 in a 1.992 * [taylor]: Taking taylor expansion of 0 in b 1.992 * [taylor]: Taking taylor expansion of 0 in z 1.992 * [taylor]: Taking taylor expansion of 0 in t 1.992 * [taylor]: Taking taylor expansion of 0 in a 1.992 * [taylor]: Taking taylor expansion of 0 in b 1.992 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.992 * [taylor]: Taking taylor expansion of 1/16 in t 1.992 * [taylor]: Taking taylor expansion of t in t 1.992 * [taylor]: Taking taylor expansion of 0 in a 1.992 * [taylor]: Taking taylor expansion of 0 in b 1.993 * [taylor]: Taking taylor expansion of 0 in a 1.993 * [taylor]: Taking taylor expansion of 0 in b 1.993 * [taylor]: Taking taylor expansion of (neg (* 1/4 b)) in b 1.993 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 1.993 * [taylor]: Taking taylor expansion of 1/4 in b 1.993 * [taylor]: Taking taylor expansion of b in b 1.993 * [approximate]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in (x y z t a b) around 0 1.993 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in b 1.993 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.993 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in b 1.993 * [taylor]: Taking taylor expansion of 1/16 in b 1.993 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.993 * [taylor]: Taking taylor expansion of (* t z) in b 1.993 * [taylor]: Taking taylor expansion of t in b 1.993 * [taylor]: Taking taylor expansion of z in b 1.993 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.993 * [taylor]: Taking taylor expansion of (* x y) in b 1.993 * [taylor]: Taking taylor expansion of x in b 1.993 * [taylor]: Taking taylor expansion of y in b 1.993 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in b 1.993 * [taylor]: Taking taylor expansion of 1/4 in b 1.993 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.993 * [taylor]: Taking taylor expansion of (* a b) in b 1.993 * [taylor]: Taking taylor expansion of a in b 1.993 * [taylor]: Taking taylor expansion of b in b 1.994 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in a 1.994 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.994 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in a 1.994 * [taylor]: Taking taylor expansion of 1/16 in a 1.994 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.994 * [taylor]: Taking taylor expansion of (* t z) in a 1.994 * [taylor]: Taking taylor expansion of t in a 1.994 * [taylor]: Taking taylor expansion of z in a 1.994 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.994 * [taylor]: Taking taylor expansion of (* x y) in a 1.994 * [taylor]: Taking taylor expansion of x in a 1.994 * [taylor]: Taking taylor expansion of y in a 1.994 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.994 * [taylor]: Taking taylor expansion of 1/4 in a 1.994 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.994 * [taylor]: Taking taylor expansion of (* a b) in a 1.994 * [taylor]: Taking taylor expansion of a in a 1.994 * [taylor]: Taking taylor expansion of b in a 1.994 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in t 1.994 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.994 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.994 * [taylor]: Taking taylor expansion of 1/16 in t 1.994 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.994 * [taylor]: Taking taylor expansion of (* t z) in t 1.994 * [taylor]: Taking taylor expansion of t in t 1.994 * [taylor]: Taking taylor expansion of z in t 1.994 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.994 * [taylor]: Taking taylor expansion of (* x y) in t 1.994 * [taylor]: Taking taylor expansion of x in t 1.994 * [taylor]: Taking taylor expansion of y in t 1.994 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.994 * [taylor]: Taking taylor expansion of 1/4 in t 1.994 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.994 * [taylor]: Taking taylor expansion of (* a b) in t 1.994 * [taylor]: Taking taylor expansion of a in t 1.994 * [taylor]: Taking taylor expansion of b in t 1.994 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in z 1.994 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.994 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.994 * [taylor]: Taking taylor expansion of 1/16 in z 1.994 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.994 * [taylor]: Taking taylor expansion of (* t z) in z 1.994 * [taylor]: Taking taylor expansion of t in z 1.995 * [taylor]: Taking taylor expansion of z in z 1.995 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.995 * [taylor]: Taking taylor expansion of (* x y) in z 1.995 * [taylor]: Taking taylor expansion of x in z 1.995 * [taylor]: Taking taylor expansion of y in z 1.995 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.995 * [taylor]: Taking taylor expansion of 1/4 in z 1.995 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.995 * [taylor]: Taking taylor expansion of (* a b) in z 1.995 * [taylor]: Taking taylor expansion of a in z 1.995 * [taylor]: Taking taylor expansion of b in z 1.995 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in y 1.995 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.995 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.995 * [taylor]: Taking taylor expansion of 1/16 in y 1.995 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.995 * [taylor]: Taking taylor expansion of (* t z) in y 1.995 * [taylor]: Taking taylor expansion of t in y 1.995 * [taylor]: Taking taylor expansion of z in y 1.995 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.995 * [taylor]: Taking taylor expansion of (* x y) in y 1.995 * [taylor]: Taking taylor expansion of x in y 1.995 * [taylor]: Taking taylor expansion of y in y 1.995 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.995 * [taylor]: Taking taylor expansion of 1/4 in y 1.995 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.995 * [taylor]: Taking taylor expansion of (* a b) in y 1.995 * [taylor]: Taking taylor expansion of a in y 1.995 * [taylor]: Taking taylor expansion of b in y 1.995 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.995 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.995 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.995 * [taylor]: Taking taylor expansion of 1/16 in x 1.995 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.995 * [taylor]: Taking taylor expansion of (* t z) in x 1.995 * [taylor]: Taking taylor expansion of t in x 1.995 * [taylor]: Taking taylor expansion of z in x 1.995 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.995 * [taylor]: Taking taylor expansion of (* x y) in x 1.995 * [taylor]: Taking taylor expansion of x in x 1.995 * [taylor]: Taking taylor expansion of y in x 1.996 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.996 * [taylor]: Taking taylor expansion of 1/4 in x 1.996 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.996 * [taylor]: Taking taylor expansion of (* a b) in x 1.996 * [taylor]: Taking taylor expansion of a in x 1.996 * [taylor]: Taking taylor expansion of b in x 1.996 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.996 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.996 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.996 * [taylor]: Taking taylor expansion of 1/16 in x 1.996 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.996 * [taylor]: Taking taylor expansion of (* t z) in x 1.996 * [taylor]: Taking taylor expansion of t in x 1.996 * [taylor]: Taking taylor expansion of z in x 1.996 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.996 * [taylor]: Taking taylor expansion of (* x y) in x 1.996 * [taylor]: Taking taylor expansion of x in x 1.996 * [taylor]: Taking taylor expansion of y in x 1.996 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.996 * [taylor]: Taking taylor expansion of 1/4 in x 1.996 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.996 * [taylor]: Taking taylor expansion of (* a b) in x 1.996 * [taylor]: Taking taylor expansion of a in x 1.996 * [taylor]: Taking taylor expansion of b in x 1.996 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.996 * [taylor]: Taking taylor expansion of y in y 1.996 * [taylor]: Taking taylor expansion of 1 in z 1.997 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in y 1.997 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.997 * [taylor]: Taking taylor expansion of 1/16 in y 1.997 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.997 * [taylor]: Taking taylor expansion of (* t z) in y 1.997 * [taylor]: Taking taylor expansion of t in y 1.997 * [taylor]: Taking taylor expansion of z in y 1.997 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.997 * [taylor]: Taking taylor expansion of 1/4 in y 1.997 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.997 * [taylor]: Taking taylor expansion of (* a b) in y 1.997 * [taylor]: Taking taylor expansion of a in y 1.997 * [taylor]: Taking taylor expansion of b in y 1.997 * [taylor]: Taking taylor expansion of 0 in z 1.997 * [taylor]: Taking taylor expansion of 1 in t 1.997 * [taylor]: Taking taylor expansion of 0 in y 1.998 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in z 1.998 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.998 * [taylor]: Taking taylor expansion of 1/16 in z 1.998 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.998 * [taylor]: Taking taylor expansion of (* t z) in z 1.998 * [taylor]: Taking taylor expansion of t in z 1.998 * [taylor]: Taking taylor expansion of z in z 1.998 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.998 * [taylor]: Taking taylor expansion of 1/4 in z 1.998 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.998 * [taylor]: Taking taylor expansion of (* a b) in z 1.998 * [taylor]: Taking taylor expansion of a in z 1.998 * [taylor]: Taking taylor expansion of b in z 1.998 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 t)) in t 1.998 * [taylor]: Taking taylor expansion of 1/16 in t 1.998 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.998 * [taylor]: Taking taylor expansion of t in t 1.998 * [taylor]: Taking taylor expansion of 1/16 in a 1.998 * [taylor]: Taking taylor expansion of 0 in z 1.998 * [taylor]: Taking taylor expansion of 0 in t 1.998 * [taylor]: Taking taylor expansion of 0 in t 1.998 * [taylor]: Taking taylor expansion of 1 in a 1.999 * [taylor]: Taking taylor expansion of 0 in y 1.999 * [taylor]: Taking taylor expansion of 0 in z 1.999 * [taylor]: Taking taylor expansion of 0 in z 1.999 * [taylor]: Taking taylor expansion of 0 in z 1.999 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in t 1.999 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 2.000 * [taylor]: Taking taylor expansion of 1/4 in t 2.000 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.000 * [taylor]: Taking taylor expansion of (* a b) in t 2.000 * [taylor]: Taking taylor expansion of a in t 2.000 * [taylor]: Taking taylor expansion of b in t 2.000 * [taylor]: Taking taylor expansion of 0 in t 2.000 * [taylor]: Taking taylor expansion of 0 in t 2.000 * [taylor]: Taking taylor expansion of 0 in t 2.000 * [taylor]: Taking taylor expansion of 0 in a 2.000 * [taylor]: Taking taylor expansion of 0 in a 2.000 * [taylor]: Taking taylor expansion of 0 in a 2.000 * [taylor]: Taking taylor expansion of 0 in a 2.000 * [taylor]: Taking taylor expansion of 1/16 in b 2.000 * [taylor]: Taking taylor expansion of 1 in b 2.001 * [taylor]: Taking taylor expansion of 0 in y 2.001 * [taylor]: Taking taylor expansion of 0 in z 2.001 * [taylor]: Taking taylor expansion of 0 in z 2.001 * [taylor]: Taking taylor expansion of 0 in z 2.001 * [taylor]: Taking taylor expansion of 0 in z 2.001 * [taylor]: Taking taylor expansion of 0 in t 2.001 * [taylor]: Taking taylor expansion of 0 in t 2.001 * [taylor]: Taking taylor expansion of 0 in t 2.002 * [taylor]: Taking taylor expansion of 0 in t 2.002 * [taylor]: Taking taylor expansion of 0 in t 2.002 * [taylor]: Taking taylor expansion of 0 in t 2.002 * [taylor]: Taking taylor expansion of 0 in t 2.002 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in a 2.002 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 2.002 * [taylor]: Taking taylor expansion of 1/4 in a 2.002 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.002 * [taylor]: Taking taylor expansion of (* a b) in a 2.002 * [taylor]: Taking taylor expansion of a in a 2.002 * [taylor]: Taking taylor expansion of b in a 2.002 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 b))) in b 2.002 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 2.002 * [taylor]: Taking taylor expansion of 1/4 in b 2.002 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.002 * [taylor]: Taking taylor expansion of b in b 2.002 * [taylor]: Taking taylor expansion of 0 in a 2.002 * [taylor]: Taking taylor expansion of 0 in a 2.002 * [taylor]: Taking taylor expansion of 0 in a 2.002 * [taylor]: Taking taylor expansion of 0 in a 2.003 * [taylor]: Taking taylor expansion of 0 in a 2.003 * [taylor]: Taking taylor expansion of 0 in a 2.003 * [taylor]: Taking taylor expansion of 0 in a 2.003 * [taylor]: Taking taylor expansion of 0 in b 2.003 * [taylor]: Taking taylor expansion of 0 in b 2.003 * [taylor]: Taking taylor expansion of 0 in b 2.003 * [taylor]: Taking taylor expansion of 0 in b 2.003 * [taylor]: Taking taylor expansion of 0 in b 2.003 * [taylor]: Taking taylor expansion of 0 in b 2.004 * [approximate]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in (x y z t a b) around 0 2.004 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in b 2.004 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in b 2.004 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in b 2.004 * [taylor]: Taking taylor expansion of 1/16 in b 2.004 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 2.004 * [taylor]: Taking taylor expansion of (* t z) in b 2.004 * [taylor]: Taking taylor expansion of t in b 2.004 * [taylor]: Taking taylor expansion of z in b 2.004 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 2.004 * [taylor]: Taking taylor expansion of (* x y) in b 2.004 * [taylor]: Taking taylor expansion of x in b 2.004 * [taylor]: Taking taylor expansion of y in b 2.004 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in b 2.004 * [taylor]: Taking taylor expansion of 1/4 in b 2.004 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 2.004 * [taylor]: Taking taylor expansion of (* a b) in b 2.004 * [taylor]: Taking taylor expansion of a in b 2.004 * [taylor]: Taking taylor expansion of b in b 2.004 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in a 2.004 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in a 2.004 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in a 2.004 * [taylor]: Taking taylor expansion of 1/16 in a 2.004 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 2.004 * [taylor]: Taking taylor expansion of (* t z) in a 2.004 * [taylor]: Taking taylor expansion of t in a 2.004 * [taylor]: Taking taylor expansion of z in a 2.004 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 2.004 * [taylor]: Taking taylor expansion of (* x y) in a 2.004 * [taylor]: Taking taylor expansion of x in a 2.004 * [taylor]: Taking taylor expansion of y in a 2.004 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 2.004 * [taylor]: Taking taylor expansion of 1/4 in a 2.004 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.004 * [taylor]: Taking taylor expansion of (* a b) in a 2.004 * [taylor]: Taking taylor expansion of a in a 2.004 * [taylor]: Taking taylor expansion of b in a 2.005 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in t 2.005 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.005 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 2.005 * [taylor]: Taking taylor expansion of 1/16 in t 2.005 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.005 * [taylor]: Taking taylor expansion of (* t z) in t 2.005 * [taylor]: Taking taylor expansion of t in t 2.005 * [taylor]: Taking taylor expansion of z in t 2.005 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.005 * [taylor]: Taking taylor expansion of (* x y) in t 2.005 * [taylor]: Taking taylor expansion of x in t 2.005 * [taylor]: Taking taylor expansion of y in t 2.005 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 2.005 * [taylor]: Taking taylor expansion of 1/4 in t 2.005 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.005 * [taylor]: Taking taylor expansion of (* a b) in t 2.005 * [taylor]: Taking taylor expansion of a in t 2.005 * [taylor]: Taking taylor expansion of b in t 2.005 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in z 2.005 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.005 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 2.005 * [taylor]: Taking taylor expansion of 1/16 in z 2.005 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.005 * [taylor]: Taking taylor expansion of (* t z) in z 2.005 * [taylor]: Taking taylor expansion of t in z 2.005 * [taylor]: Taking taylor expansion of z in z 2.005 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.005 * [taylor]: Taking taylor expansion of (* x y) in z 2.005 * [taylor]: Taking taylor expansion of x in z 2.005 * [taylor]: Taking taylor expansion of y in z 2.005 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 2.005 * [taylor]: Taking taylor expansion of 1/4 in z 2.005 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.005 * [taylor]: Taking taylor expansion of (* a b) in z 2.005 * [taylor]: Taking taylor expansion of a in z 2.005 * [taylor]: Taking taylor expansion of b in z 2.005 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in y 2.005 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.005 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 2.005 * [taylor]: Taking taylor expansion of 1/16 in y 2.005 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.005 * [taylor]: Taking taylor expansion of (* t z) in y 2.006 * [taylor]: Taking taylor expansion of t in y 2.006 * [taylor]: Taking taylor expansion of z in y 2.006 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.006 * [taylor]: Taking taylor expansion of (* x y) in y 2.006 * [taylor]: Taking taylor expansion of x in y 2.006 * [taylor]: Taking taylor expansion of y in y 2.006 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 2.006 * [taylor]: Taking taylor expansion of 1/4 in y 2.006 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.006 * [taylor]: Taking taylor expansion of (* a b) in y 2.006 * [taylor]: Taking taylor expansion of a in y 2.006 * [taylor]: Taking taylor expansion of b in y 2.006 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 2.006 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.006 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 2.006 * [taylor]: Taking taylor expansion of 1/16 in x 2.006 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.006 * [taylor]: Taking taylor expansion of (* t z) in x 2.006 * [taylor]: Taking taylor expansion of t in x 2.006 * [taylor]: Taking taylor expansion of z in x 2.006 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.006 * [taylor]: Taking taylor expansion of (* x y) in x 2.006 * [taylor]: Taking taylor expansion of x in x 2.006 * [taylor]: Taking taylor expansion of y in x 2.006 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 2.006 * [taylor]: Taking taylor expansion of 1/4 in x 2.006 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.006 * [taylor]: Taking taylor expansion of (* a b) in x 2.006 * [taylor]: Taking taylor expansion of a in x 2.006 * [taylor]: Taking taylor expansion of b in x 2.006 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 2.006 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.006 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 2.006 * [taylor]: Taking taylor expansion of 1/16 in x 2.006 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.006 * [taylor]: Taking taylor expansion of (* t z) in x 2.006 * [taylor]: Taking taylor expansion of t in x 2.006 * [taylor]: Taking taylor expansion of z in x 2.006 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.006 * [taylor]: Taking taylor expansion of (* x y) in x 2.006 * [taylor]: Taking taylor expansion of x in x 2.006 * [taylor]: Taking taylor expansion of y in x 2.007 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 2.007 * [taylor]: Taking taylor expansion of 1/4 in x 2.007 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 2.007 * [taylor]: Taking taylor expansion of (* a b) in x 2.007 * [taylor]: Taking taylor expansion of a in x 2.007 * [taylor]: Taking taylor expansion of b in x 2.007 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.007 * [taylor]: Taking taylor expansion of y in y 2.007 * [taylor]: Taking taylor expansion of 1 in z 2.007 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in y 2.007 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 2.007 * [taylor]: Taking taylor expansion of 1/16 in y 2.007 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.007 * [taylor]: Taking taylor expansion of (* t z) in y 2.007 * [taylor]: Taking taylor expansion of t in y 2.007 * [taylor]: Taking taylor expansion of z in y 2.007 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 2.007 * [taylor]: Taking taylor expansion of 1/4 in y 2.007 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 2.007 * [taylor]: Taking taylor expansion of (* a b) in y 2.007 * [taylor]: Taking taylor expansion of a in y 2.007 * [taylor]: Taking taylor expansion of b in y 2.007 * [taylor]: Taking taylor expansion of 0 in z 2.008 * [taylor]: Taking taylor expansion of 1 in t 2.008 * [taylor]: Taking taylor expansion of 0 in y 2.008 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in z 2.008 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 2.008 * [taylor]: Taking taylor expansion of 1/16 in z 2.008 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.008 * [taylor]: Taking taylor expansion of (* t z) in z 2.008 * [taylor]: Taking taylor expansion of t in z 2.008 * [taylor]: Taking taylor expansion of z in z 2.008 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 2.008 * [taylor]: Taking taylor expansion of 1/4 in z 2.008 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 2.008 * [taylor]: Taking taylor expansion of (* a b) in z 2.008 * [taylor]: Taking taylor expansion of a in z 2.008 * [taylor]: Taking taylor expansion of b in z 2.009 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 t)) in t 2.009 * [taylor]: Taking taylor expansion of 1/16 in t 2.009 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.009 * [taylor]: Taking taylor expansion of t in t 2.009 * [taylor]: Taking taylor expansion of 1/16 in a 2.009 * [taylor]: Taking taylor expansion of 0 in z 2.009 * [taylor]: Taking taylor expansion of 0 in t 2.009 * [taylor]: Taking taylor expansion of 0 in t 2.009 * [taylor]: Taking taylor expansion of 1 in a 2.009 * [taylor]: Taking taylor expansion of 0 in y 2.009 * [taylor]: Taking taylor expansion of 0 in z 2.010 * [taylor]: Taking taylor expansion of 0 in z 2.010 * [taylor]: Taking taylor expansion of 0 in z 2.010 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in t 2.010 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 2.010 * [taylor]: Taking taylor expansion of 1/4 in t 2.010 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 2.010 * [taylor]: Taking taylor expansion of (* a b) in t 2.010 * [taylor]: Taking taylor expansion of a in t 2.010 * [taylor]: Taking taylor expansion of b in t 2.010 * [taylor]: Taking taylor expansion of 0 in t 2.010 * [taylor]: Taking taylor expansion of 0 in t 2.010 * [taylor]: Taking taylor expansion of 0 in t 2.010 * [taylor]: Taking taylor expansion of 0 in a 2.010 * [taylor]: Taking taylor expansion of 0 in a 2.010 * [taylor]: Taking taylor expansion of 0 in a 2.010 * [taylor]: Taking taylor expansion of 0 in a 2.010 * [taylor]: Taking taylor expansion of 1/16 in b 2.011 * [taylor]: Taking taylor expansion of 1 in b 2.011 * [taylor]: Taking taylor expansion of 0 in y 2.011 * [taylor]: Taking taylor expansion of 0 in z 2.011 * [taylor]: Taking taylor expansion of 0 in z 2.012 * [taylor]: Taking taylor expansion of 0 in z 2.012 * [taylor]: Taking taylor expansion of 0 in z 2.012 * [taylor]: Taking taylor expansion of 0 in t 2.012 * [taylor]: Taking taylor expansion of 0 in t 2.012 * [taylor]: Taking taylor expansion of 0 in t 2.012 * [taylor]: Taking taylor expansion of 0 in t 2.013 * [taylor]: Taking taylor expansion of 0 in t 2.013 * [taylor]: Taking taylor expansion of 0 in t 2.013 * [taylor]: Taking taylor expansion of 0 in t 2.013 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in a 2.013 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 2.013 * [taylor]: Taking taylor expansion of 1/4 in a 2.013 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 2.013 * [taylor]: Taking taylor expansion of (* a b) in a 2.013 * [taylor]: Taking taylor expansion of a in a 2.013 * [taylor]: Taking taylor expansion of b in a 2.013 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 b))) in b 2.013 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 2.013 * [taylor]: Taking taylor expansion of 1/4 in b 2.013 * [taylor]: Taking taylor expansion of (/ 1 b) in b 2.013 * [taylor]: Taking taylor expansion of b in b 2.013 * [taylor]: Taking taylor expansion of 0 in a 2.013 * [taylor]: Taking taylor expansion of 0 in a 2.013 * [taylor]: Taking taylor expansion of 0 in a 2.013 * [taylor]: Taking taylor expansion of 0 in a 2.013 * [taylor]: Taking taylor expansion of 0 in a 2.013 * [taylor]: Taking taylor expansion of 0 in a 2.013 * [taylor]: Taking taylor expansion of 0 in a 2.013 * [taylor]: Taking taylor expansion of 0 in b 2.013 * [taylor]: Taking taylor expansion of 0 in b 2.014 * [taylor]: Taking taylor expansion of 0 in b 2.014 * [taylor]: Taking taylor expansion of 0 in b 2.014 * [taylor]: Taking taylor expansion of 0 in b 2.014 * [taylor]: Taking taylor expansion of 0 in b 2.014 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 2.014 * [approximate]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in (x y z t) around 0 2.014 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in t 2.014 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 2.014 * [taylor]: Taking taylor expansion of 1/16 in t 2.014 * [taylor]: Taking taylor expansion of (* t z) in t 2.014 * [taylor]: Taking taylor expansion of t in t 2.014 * [taylor]: Taking taylor expansion of z in t 2.014 * [taylor]: Taking taylor expansion of (* x y) in t 2.014 * [taylor]: Taking taylor expansion of x in t 2.014 * [taylor]: Taking taylor expansion of y in t 2.015 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in z 2.015 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 2.015 * [taylor]: Taking taylor expansion of 1/16 in z 2.015 * [taylor]: Taking taylor expansion of (* t z) in z 2.015 * [taylor]: Taking taylor expansion of t in z 2.015 * [taylor]: Taking taylor expansion of z in z 2.015 * [taylor]: Taking taylor expansion of (* x y) in z 2.015 * [taylor]: Taking taylor expansion of x in z 2.015 * [taylor]: Taking taylor expansion of y in z 2.015 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in y 2.015 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 2.015 * [taylor]: Taking taylor expansion of 1/16 in y 2.015 * [taylor]: Taking taylor expansion of (* t z) in y 2.015 * [taylor]: Taking taylor expansion of t in y 2.015 * [taylor]: Taking taylor expansion of z in y 2.015 * [taylor]: Taking taylor expansion of (* x y) in y 2.015 * [taylor]: Taking taylor expansion of x in y 2.015 * [taylor]: Taking taylor expansion of y in y 2.015 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 2.015 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 2.015 * [taylor]: Taking taylor expansion of 1/16 in x 2.015 * [taylor]: Taking taylor expansion of (* t z) in x 2.015 * [taylor]: Taking taylor expansion of t in x 2.015 * [taylor]: Taking taylor expansion of z in x 2.015 * [taylor]: Taking taylor expansion of (* x y) in x 2.015 * [taylor]: Taking taylor expansion of x in x 2.015 * [taylor]: Taking taylor expansion of y in x 2.015 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 2.015 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 2.015 * [taylor]: Taking taylor expansion of 1/16 in x 2.015 * [taylor]: Taking taylor expansion of (* t z) in x 2.015 * [taylor]: Taking taylor expansion of t in x 2.015 * [taylor]: Taking taylor expansion of z in x 2.015 * [taylor]: Taking taylor expansion of (* x y) in x 2.015 * [taylor]: Taking taylor expansion of x in x 2.015 * [taylor]: Taking taylor expansion of y in x 2.015 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 2.015 * [taylor]: Taking taylor expansion of 1/16 in y 2.015 * [taylor]: Taking taylor expansion of (* t z) in y 2.015 * [taylor]: Taking taylor expansion of t in y 2.015 * [taylor]: Taking taylor expansion of z in y 2.015 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 2.015 * [taylor]: Taking taylor expansion of 1/16 in z 2.015 * [taylor]: Taking taylor expansion of (* t z) in z 2.015 * [taylor]: Taking taylor expansion of t in z 2.015 * [taylor]: Taking taylor expansion of z in z 2.015 * [taylor]: Taking taylor expansion of 0 in t 2.016 * [taylor]: Taking taylor expansion of y in y 2.016 * [taylor]: Taking taylor expansion of 0 in z 2.016 * [taylor]: Taking taylor expansion of 0 in t 2.016 * [taylor]: Taking taylor expansion of 0 in z 2.016 * [taylor]: Taking taylor expansion of 0 in t 2.016 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 2.016 * [taylor]: Taking taylor expansion of 1/16 in t 2.016 * [taylor]: Taking taylor expansion of t in t 2.016 * [taylor]: Taking taylor expansion of 0 in y 2.016 * [taylor]: Taking taylor expansion of 0 in z 2.016 * [taylor]: Taking taylor expansion of 0 in t 2.016 * [approximate]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 2.016 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.016 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 2.016 * [taylor]: Taking taylor expansion of 1/16 in t 2.016 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.016 * [taylor]: Taking taylor expansion of (* t z) in t 2.016 * [taylor]: Taking taylor expansion of t in t 2.016 * [taylor]: Taking taylor expansion of z in t 2.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.016 * [taylor]: Taking taylor expansion of (* x y) in t 2.016 * [taylor]: Taking taylor expansion of x in t 2.016 * [taylor]: Taking taylor expansion of y in t 2.017 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.017 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 2.017 * [taylor]: Taking taylor expansion of 1/16 in z 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.017 * [taylor]: Taking taylor expansion of (* t z) in z 2.017 * [taylor]: Taking taylor expansion of t in z 2.017 * [taylor]: Taking taylor expansion of z in z 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.017 * [taylor]: Taking taylor expansion of (* x y) in z 2.017 * [taylor]: Taking taylor expansion of x in z 2.017 * [taylor]: Taking taylor expansion of y in z 2.017 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.017 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 2.017 * [taylor]: Taking taylor expansion of 1/16 in y 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.017 * [taylor]: Taking taylor expansion of (* t z) in y 2.017 * [taylor]: Taking taylor expansion of t in y 2.017 * [taylor]: Taking taylor expansion of z in y 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.017 * [taylor]: Taking taylor expansion of (* x y) in y 2.017 * [taylor]: Taking taylor expansion of x in y 2.017 * [taylor]: Taking taylor expansion of y in y 2.017 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.017 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 2.017 * [taylor]: Taking taylor expansion of 1/16 in x 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.017 * [taylor]: Taking taylor expansion of (* t z) in x 2.017 * [taylor]: Taking taylor expansion of t in x 2.017 * [taylor]: Taking taylor expansion of z in x 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.017 * [taylor]: Taking taylor expansion of (* x y) in x 2.017 * [taylor]: Taking taylor expansion of x in x 2.017 * [taylor]: Taking taylor expansion of y in x 2.017 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.017 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 2.017 * [taylor]: Taking taylor expansion of 1/16 in x 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.017 * [taylor]: Taking taylor expansion of (* t z) in x 2.017 * [taylor]: Taking taylor expansion of t in x 2.017 * [taylor]: Taking taylor expansion of z in x 2.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.018 * [taylor]: Taking taylor expansion of (* x y) in x 2.018 * [taylor]: Taking taylor expansion of x in x 2.018 * [taylor]: Taking taylor expansion of y in x 2.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.018 * [taylor]: Taking taylor expansion of y in y 2.018 * [taylor]: Taking taylor expansion of 1 in z 2.018 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 2.018 * [taylor]: Taking taylor expansion of 1/16 in y 2.018 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.018 * [taylor]: Taking taylor expansion of (* t z) in y 2.018 * [taylor]: Taking taylor expansion of t in y 2.018 * [taylor]: Taking taylor expansion of z in y 2.018 * [taylor]: Taking taylor expansion of 0 in z 2.018 * [taylor]: Taking taylor expansion of 1 in t 2.018 * [taylor]: Taking taylor expansion of 0 in y 2.018 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 2.018 * [taylor]: Taking taylor expansion of 1/16 in z 2.018 * [taylor]: Taking taylor expansion of (* t z) in z 2.018 * [taylor]: Taking taylor expansion of t in z 2.018 * [taylor]: Taking taylor expansion of z in z 2.019 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 2.019 * [taylor]: Taking taylor expansion of 1/16 in t 2.019 * [taylor]: Taking taylor expansion of t in t 2.019 * [taylor]: Taking taylor expansion of 0 in z 2.019 * [taylor]: Taking taylor expansion of 0 in t 2.019 * [taylor]: Taking taylor expansion of 0 in t 2.019 * [taylor]: Taking taylor expansion of 0 in y 2.019 * [taylor]: Taking taylor expansion of 0 in z 2.019 * [taylor]: Taking taylor expansion of 0 in z 2.019 * [taylor]: Taking taylor expansion of 0 in z 2.020 * [taylor]: Taking taylor expansion of 0 in t 2.020 * [taylor]: Taking taylor expansion of 0 in t 2.020 * [taylor]: Taking taylor expansion of 0 in t 2.020 * [taylor]: Taking taylor expansion of 0 in t 2.020 * [taylor]: Taking taylor expansion of 0 in y 2.020 * [taylor]: Taking taylor expansion of 0 in z 2.020 * [taylor]: Taking taylor expansion of 0 in z 2.020 * [taylor]: Taking taylor expansion of 0 in z 2.020 * [taylor]: Taking taylor expansion of 0 in z 2.020 * [taylor]: Taking taylor expansion of 0 in t 2.021 * [taylor]: Taking taylor expansion of 0 in t 2.021 * [taylor]: Taking taylor expansion of 0 in t 2.021 * [taylor]: Taking taylor expansion of 0 in t 2.021 * [taylor]: Taking taylor expansion of 0 in t 2.021 * [taylor]: Taking taylor expansion of 0 in t 2.021 * [taylor]: Taking taylor expansion of 0 in t 2.021 * [approximate]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 2.021 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 2.021 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 2.021 * [taylor]: Taking taylor expansion of 1/16 in t 2.021 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 2.021 * [taylor]: Taking taylor expansion of (* t z) in t 2.021 * [taylor]: Taking taylor expansion of t in t 2.021 * [taylor]: Taking taylor expansion of z in t 2.021 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 2.021 * [taylor]: Taking taylor expansion of (* x y) in t 2.021 * [taylor]: Taking taylor expansion of x in t 2.021 * [taylor]: Taking taylor expansion of y in t 2.021 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 2.022 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 2.022 * [taylor]: Taking taylor expansion of 1/16 in z 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.022 * [taylor]: Taking taylor expansion of (* t z) in z 2.022 * [taylor]: Taking taylor expansion of t in z 2.022 * [taylor]: Taking taylor expansion of z in z 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 2.022 * [taylor]: Taking taylor expansion of (* x y) in z 2.022 * [taylor]: Taking taylor expansion of x in z 2.022 * [taylor]: Taking taylor expansion of y in z 2.022 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 2.022 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 2.022 * [taylor]: Taking taylor expansion of 1/16 in y 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.022 * [taylor]: Taking taylor expansion of (* t z) in y 2.022 * [taylor]: Taking taylor expansion of t in y 2.022 * [taylor]: Taking taylor expansion of z in y 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.022 * [taylor]: Taking taylor expansion of (* x y) in y 2.022 * [taylor]: Taking taylor expansion of x in y 2.022 * [taylor]: Taking taylor expansion of y in y 2.022 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.022 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 2.022 * [taylor]: Taking taylor expansion of 1/16 in x 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.022 * [taylor]: Taking taylor expansion of (* t z) in x 2.022 * [taylor]: Taking taylor expansion of t in x 2.022 * [taylor]: Taking taylor expansion of z in x 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.022 * [taylor]: Taking taylor expansion of (* x y) in x 2.022 * [taylor]: Taking taylor expansion of x in x 2.022 * [taylor]: Taking taylor expansion of y in x 2.022 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 2.022 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 2.022 * [taylor]: Taking taylor expansion of 1/16 in x 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 2.022 * [taylor]: Taking taylor expansion of (* t z) in x 2.022 * [taylor]: Taking taylor expansion of t in x 2.022 * [taylor]: Taking taylor expansion of z in x 2.022 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 2.022 * [taylor]: Taking taylor expansion of (* x y) in x 2.022 * [taylor]: Taking taylor expansion of x in x 2.023 * [taylor]: Taking taylor expansion of y in x 2.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.023 * [taylor]: Taking taylor expansion of y in y 2.023 * [taylor]: Taking taylor expansion of 1 in z 2.023 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 2.023 * [taylor]: Taking taylor expansion of 1/16 in y 2.023 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 2.023 * [taylor]: Taking taylor expansion of (* t z) in y 2.023 * [taylor]: Taking taylor expansion of t in y 2.023 * [taylor]: Taking taylor expansion of z in y 2.023 * [taylor]: Taking taylor expansion of 0 in z 2.023 * [taylor]: Taking taylor expansion of 1 in t 2.023 * [taylor]: Taking taylor expansion of 0 in y 2.023 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 2.023 * [taylor]: Taking taylor expansion of 1/16 in z 2.023 * [taylor]: Taking taylor expansion of (* t z) in z 2.023 * [taylor]: Taking taylor expansion of t in z 2.023 * [taylor]: Taking taylor expansion of z in z 2.024 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 2.024 * [taylor]: Taking taylor expansion of 1/16 in t 2.024 * [taylor]: Taking taylor expansion of t in t 2.024 * [taylor]: Taking taylor expansion of 0 in z 2.024 * [taylor]: Taking taylor expansion of 0 in t 2.024 * [taylor]: Taking taylor expansion of 0 in t 2.024 * [taylor]: Taking taylor expansion of 0 in y 2.024 * [taylor]: Taking taylor expansion of 0 in z 2.024 * [taylor]: Taking taylor expansion of 0 in z 2.024 * [taylor]: Taking taylor expansion of 0 in z 2.024 * [taylor]: Taking taylor expansion of 0 in t 2.025 * [taylor]: Taking taylor expansion of 0 in t 2.025 * [taylor]: Taking taylor expansion of 0 in t 2.025 * [taylor]: Taking taylor expansion of 0 in t 2.025 * [taylor]: Taking taylor expansion of 0 in y 2.025 * [taylor]: Taking taylor expansion of 0 in z 2.025 * [taylor]: Taking taylor expansion of 0 in z 2.025 * [taylor]: Taking taylor expansion of 0 in z 2.025 * [taylor]: Taking taylor expansion of 0 in z 2.025 * [taylor]: Taking taylor expansion of 0 in t 2.025 * [taylor]: Taking taylor expansion of 0 in t 2.026 * [taylor]: Taking taylor expansion of 0 in t 2.026 * [taylor]: Taking taylor expansion of 0 in t 2.026 * [taylor]: Taking taylor expansion of 0 in t 2.026 * [taylor]: Taking taylor expansion of 0 in t 2.026 * [taylor]: Taking taylor expansion of 0 in t 2.026 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 2.026 * [approximate]: Taking taylor expansion of (* 1/16 (* t z)) in (z t) around 0 2.026 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 2.026 * [taylor]: Taking taylor expansion of 1/16 in t 2.026 * [taylor]: Taking taylor expansion of (* t z) in t 2.026 * [taylor]: Taking taylor expansion of t in t 2.026 * [taylor]: Taking taylor expansion of z in t 2.026 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 2.026 * [taylor]: Taking taylor expansion of 1/16 in z 2.026 * [taylor]: Taking taylor expansion of (* t z) in z 2.026 * [taylor]: Taking taylor expansion of t in z 2.026 * [taylor]: Taking taylor expansion of z in z 2.026 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 2.026 * [taylor]: Taking taylor expansion of 1/16 in z 2.026 * [taylor]: Taking taylor expansion of (* t z) in z 2.026 * [taylor]: Taking taylor expansion of t in z 2.026 * [taylor]: Taking taylor expansion of z in z 2.026 * [taylor]: Taking taylor expansion of 0 in t 2.027 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 2.027 * [taylor]: Taking taylor expansion of 1/16 in t 2.027 * [taylor]: Taking taylor expansion of t in t 2.027 * [taylor]: Taking taylor expansion of 0 in t 2.027 * [taylor]: Taking taylor expansion of 0 in t 2.027 * [taylor]: Taking taylor expansion of 0 in t 2.027 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0 2.027 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t 2.027 * [taylor]: Taking taylor expansion of 1/16 in t 2.027 * [taylor]: Taking taylor expansion of (* t z) in t 2.027 * [taylor]: Taking taylor expansion of t in t 2.027 * [taylor]: Taking taylor expansion of z in t 2.027 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 2.027 * [taylor]: Taking taylor expansion of 1/16 in z 2.027 * [taylor]: Taking taylor expansion of (* t z) in z 2.027 * [taylor]: Taking taylor expansion of t in z 2.027 * [taylor]: Taking taylor expansion of z in z 2.027 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 2.027 * [taylor]: Taking taylor expansion of 1/16 in z 2.027 * [taylor]: Taking taylor expansion of (* t z) in z 2.027 * [taylor]: Taking taylor expansion of t in z 2.028 * [taylor]: Taking taylor expansion of z in z 2.028 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 2.028 * [taylor]: Taking taylor expansion of 1/16 in t 2.028 * [taylor]: Taking taylor expansion of t in t 2.028 * [taylor]: Taking taylor expansion of 0 in t 2.028 * [taylor]: Taking taylor expansion of 0 in t 2.028 * [taylor]: Taking taylor expansion of 0 in t 2.028 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0 2.028 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t 2.028 * [taylor]: Taking taylor expansion of 1/16 in t 2.029 * [taylor]: Taking taylor expansion of (* t z) in t 2.029 * [taylor]: Taking taylor expansion of t in t 2.029 * [taylor]: Taking taylor expansion of z in t 2.029 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 2.029 * [taylor]: Taking taylor expansion of 1/16 in z 2.029 * [taylor]: Taking taylor expansion of (* t z) in z 2.029 * [taylor]: Taking taylor expansion of t in z 2.029 * [taylor]: Taking taylor expansion of z in z 2.029 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 2.029 * [taylor]: Taking taylor expansion of 1/16 in z 2.029 * [taylor]: Taking taylor expansion of (* t z) in z 2.029 * [taylor]: Taking taylor expansion of t in z 2.029 * [taylor]: Taking taylor expansion of z in z 2.029 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 2.029 * [taylor]: Taking taylor expansion of 1/16 in t 2.029 * [taylor]: Taking taylor expansion of t in t 2.029 * [taylor]: Taking taylor expansion of 0 in t 2.029 * [taylor]: Taking taylor expansion of 0 in t 2.030 * [taylor]: Taking taylor expansion of 0 in t 2.030 * * * [progress]: simplifying candidates 2.032 * [simplify]: Simplifying using # : (-.f64 (log.f64 a) (-.f64 (log.f64 4) (log.f64 b))) (-.f64 (log.f64 a) (log.f64 (/.f64 4 b))) (log.f64 (/.f64 a (/.f64 4 b))) (exp.f64 (/.f64 a (/.f64 4 b))) (/.f64 (*.f64 (*.f64 a a) a) (/.f64 (*.f64 (*.f64 4 4) 4) (*.f64 (*.f64 b b) b))) (/.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 (/.f64 4 b) (/.f64 4 b)) (/.f64 4 b))) (*.f64 (cbrt.f64 (/.f64 a (/.f64 4 b))) (cbrt.f64 (/.f64 a (/.f64 4 b)))) (cbrt.f64 (/.f64 a (/.f64 4 b))) (*.f64 (*.f64 (/.f64 a (/.f64 4 b)) (/.f64 a (/.f64 4 b))) (/.f64 a (/.f64 4 b))) (sqrt.f64 (/.f64 a (/.f64 4 b))) (sqrt.f64 (/.f64 a (/.f64 4 b))) (neg.f64 a) (neg.f64 (/.f64 4 b)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (/.f64 4 b)) (cbrt.f64 (/.f64 4 b)))) (/.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 4 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (/.f64 4 b))) (/.f64 (cbrt.f64 a) (sqrt.f64 (/.f64 4 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 4) (cbrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 b))) (/.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 4) (sqrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) 1)) (/.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 4) b)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (sqrt.f64 4) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (cbrt.f64 a) (/.f64 (sqrt.f64 4) (cbrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (sqrt.f64 4) (sqrt.f64 b))) (/.f64 (cbrt.f64 a) (/.f64 (sqrt.f64 4) (sqrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (sqrt.f64 4) 1)) (/.f64 (cbrt.f64 a) (/.f64 (sqrt.f64 4) b)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 1 (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (cbrt.f64 a) (/.f64 4 (cbrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 1 (sqrt.f64 b))) (/.f64 (cbrt.f64 a) (/.f64 4 (sqrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 1 1)) (/.f64 (cbrt.f64 a) (/.f64 4 b)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 1) (/.f64 (cbrt.f64 a) (/.f64 4 b)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 4) (/.f64 (cbrt.f64 a) (/.f64 1 b)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (/.f64 4 b)) (cbrt.f64 (/.f64 4 b)))) (/.f64 (sqrt.f64 a) (cbrt.f64 (/.f64 4 b))) (/.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 4 b))) (/.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 4 b))) (/.f64 (sqrt.f64 a) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (sqrt.f64 a) (/.f64 (cbrt.f64 4) (cbrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 (cbrt.f64 4) (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) 1)) (/.f64 (sqrt.f64 a) (/.f64 (cbrt.f64 4) b)) (/.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 4) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 4) (cbrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 4) (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 4) (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 4) 1)) (/.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 4) b)) (/.f64 (sqrt.f64 a) (/.f64 1 (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (sqrt.f64 a) (/.f64 4 (cbrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 1 (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 4 (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 1 1)) (/.f64 (sqrt.f64 a) (/.f64 4 b)) (/.f64 (sqrt.f64 a) 1) (/.f64 (sqrt.f64 a) (/.f64 4 b)) (/.f64 (sqrt.f64 a) 4) (/.f64 (sqrt.f64 a) (/.f64 1 b)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 4 b)) (cbrt.f64 (/.f64 4 b)))) (/.f64 a (cbrt.f64 (/.f64 4 b))) (/.f64 1 (sqrt.f64 (/.f64 4 b))) (/.f64 a (sqrt.f64 (/.f64 4 b))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (/.f64 (cbrt.f64 4) (cbrt.f64 b))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 b))) (/.f64 a (/.f64 (cbrt.f64 4) (sqrt.f64 b))) (/.f64 1 (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) 1)) (/.f64 a (/.f64 (cbrt.f64 4) b)) (/.f64 1 (/.f64 (sqrt.f64 4) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (/.f64 (sqrt.f64 4) (cbrt.f64 b))) (/.f64 1 (/.f64 (sqrt.f64 4) (sqrt.f64 b))) (/.f64 a (/.f64 (sqrt.f64 4) (sqrt.f64 b))) (/.f64 1 (/.f64 (sqrt.f64 4) 1)) (/.f64 a (/.f64 (sqrt.f64 4) b)) (/.f64 1 (/.f64 1 (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (/.f64 4 (cbrt.f64 b))) (/.f64 1 (/.f64 1 (sqrt.f64 b))) (/.f64 a (/.f64 4 (sqrt.f64 b))) (/.f64 1 (/.f64 1 1)) (/.f64 a (/.f64 4 b)) (/.f64 1 1) (/.f64 a (/.f64 4 b)) (/.f64 1 4) (/.f64 a (/.f64 1 b)) (/.f64 1 (/.f64 4 b)) (/.f64 (/.f64 4 b) a) (/.f64 a (*.f64 (cbrt.f64 (/.f64 4 b)) (cbrt.f64 (/.f64 4 b)))) (/.f64 a (sqrt.f64 (/.f64 4 b))) (/.f64 a (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 b))) (/.f64 a (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) 1)) (/.f64 a (/.f64 (sqrt.f64 4) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (/.f64 (sqrt.f64 4) (sqrt.f64 b))) (/.f64 a (/.f64 (sqrt.f64 4) 1)) (/.f64 a (/.f64 1 (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (/.f64 1 (sqrt.f64 b))) (/.f64 a (/.f64 1 1)) (/.f64 a 1) (/.f64 a 4) (/.f64 (/.f64 4 b) (cbrt.f64 a)) (/.f64 (/.f64 4 b) (sqrt.f64 a)) (/.f64 (/.f64 4 b) a) (/.f64 a 4) (/.f64 (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (/.f64 (*.f64 z t) 16))) (exp.f64 (/.f64 a (/.f64 4 b)))) (/.f64 (exp.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (exp.f64 (/.f64 a (/.f64 4 b)))) (log.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (exp.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b))))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (*.f64 (*.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b))) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (sqrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (sqrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (-.f64 (*.f64 (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3)) (/.f64 4 b)) (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16)) (*.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) a)) (*.f64 (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16)) (*.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (/.f64 4 b)) (-.f64 (*.f64 (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16))) (/.f64 4 b)) (*.f64 (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) a)) (*.f64 (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 4 b)) (-.f64 (pow.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) 3) (pow.f64 (/.f64 a (/.f64 4 b)) 3)) (+.f64 (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (*.f64 (/.f64 a (/.f64 4 b)) (/.f64 a (/.f64 4 b))) (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b))))) (neg.f64 (/.f64 a (/.f64 4 b))) (-.f64 (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (/.f64 a (/.f64 4 b)) (/.f64 a (/.f64 4 b)))) (+.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b))) (+.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (/.f64 a (/.f64 4 b)))) (-.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (/.f64 a (/.f64 4 b)))) (+.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (/.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 4 b)))) (-.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (/.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 4 b)))) (+.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (/.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 4) (sqrt.f64 b)))) (-.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (/.f64 (sqrt.f64 a) (/.f64 (sqrt.f64 4) (sqrt.f64 b)))) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b))) (-.f64 (/.f64 (*.f64 z t) 16) (/.f64 a (/.f64 4 b))) (*.f64 (exp.f64 (*.f64 x y)) (exp.f64 (/.f64 (*.f64 z t) 16))) (log.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (exp.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (-.f64 (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16)) (*.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16))) (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (-.f64 (+.f64 (log.f64 z) (log.f64 t)) (log.f64 16)) (-.f64 (log.f64 (*.f64 z t)) (log.f64 16)) (log.f64 (/.f64 (*.f64 z t) 16)) (exp.f64 (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 16 16) 16)) (/.f64 (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t)) (*.f64 (*.f64 16 16) 16)) (*.f64 (cbrt.f64 (/.f64 (*.f64 z t) 16)) (cbrt.f64 (/.f64 (*.f64 z t) 16))) (cbrt.f64 (/.f64 (*.f64 z t) 16)) (*.f64 (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 z t) 16)) (sqrt.f64 (/.f64 (*.f64 z t) 16)) (sqrt.f64 (/.f64 (*.f64 z t) 16)) (neg.f64 (*.f64 z t)) (neg.f64 16) (/.f64 z (*.f64 (cbrt.f64 16) (cbrt.f64 16))) (/.f64 t (cbrt.f64 16)) (/.f64 z (sqrt.f64 16)) (/.f64 t (sqrt.f64 16)) (/.f64 z 1) (/.f64 t 16) (/.f64 1 16) (/.f64 16 (*.f64 z t)) (/.f64 (*.f64 z t) (*.f64 (cbrt.f64 16) (cbrt.f64 16))) (/.f64 (*.f64 z t) (sqrt.f64 16)) (/.f64 (*.f64 z t) 1) (/.f64 16 t) (*.f64 1/4 (*.f64 a b)) (*.f64 1/4 (*.f64 a b)) (*.f64 1/4 (*.f64 a b)) 0 (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 x y)) (*.f64 1/4 (*.f64 a b))) (-.f64 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 x y)) (*.f64 1/4 (*.f64 a b))) 0 (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 x y)) (+.f64 (*.f64 1/16 (*.f64 t z)) (*.f64 x y)) (*.f64 1/16 (*.f64 t z)) (*.f64 1/16 (*.f64 t z)) (*.f64 1/16 (*.f64 t z)) 2.068 * * [simplify]: iteration 0 : 4951 enodes (cost 1599 ) 2.069 * * [simplify]: iteration 1 : 4951 enodes (cost 1599 ) 2.075 * [simplify]: Simplified to: (log.f64 (/.f64 a (/.f64 4 b))) (log.f64 (/.f64 a (/.f64 4 b))) (log.f64 (/.f64 a (/.f64 4 b))) (exp.f64 (/.f64 a (/.f64 4 b))) (*.f64 (pow.f64 (*.f64 a b) 3) 1/64) (*.f64 (pow.f64 (*.f64 a b) 3) 1/64) (*.f64 (cbrt.f64 (/.f64 a (/.f64 4 b))) (cbrt.f64 (/.f64 a (/.f64 4 b)))) (cbrt.f64 (/.f64 a (/.f64 4 b))) (*.f64 (pow.f64 (*.f64 a b) 3) 1/64) (sqrt.f64 (/.f64 a (/.f64 4 b))) (sqrt.f64 (/.f64 a (/.f64 4 b))) (neg.f64 a) (/.f64 -4 b) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 (/.f64 4 b)) (cbrt.f64 (/.f64 4 b)))) (/.f64 (cbrt.f64 a) (cbrt.f64 (/.f64 4 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 (/.f64 4 b))) (/.f64 (cbrt.f64 a) (sqrt.f64 (/.f64 4 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 4) (cbrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 b))) (/.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 4) (sqrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 (cbrt.f64 a) (/.f64 (cbrt.f64 4) b)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 2 (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (cbrt.f64 a) (/.f64 2 (cbrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 2 (sqrt.f64 b))) (/.f64 (cbrt.f64 a) (/.f64 2 (sqrt.f64 b))) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 2) (/.f64 (cbrt.f64 a) (/.f64 2 b)) (*.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (/.f64 (cbrt.f64 a) (/.f64 4 (cbrt.f64 b))) (*.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (sqrt.f64 b)) (/.f64 (cbrt.f64 a) (/.f64 4 (sqrt.f64 b))) (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (cbrt.f64 a) (/.f64 4 b)) (*.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (cbrt.f64 a) (/.f64 4 b)) (/.f64 (*.f64 (cbrt.f64 a) (cbrt.f64 a)) 4) (*.f64 b (cbrt.f64 a)) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 (/.f64 4 b)) (cbrt.f64 (/.f64 4 b)))) (/.f64 (sqrt.f64 a) (cbrt.f64 (/.f64 4 b))) (/.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 4 b))) (/.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 4 b))) (/.f64 (sqrt.f64 a) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (sqrt.f64 a) (/.f64 (cbrt.f64 4) (cbrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 (cbrt.f64 4) (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 (sqrt.f64 a) (/.f64 (cbrt.f64 4) b)) (/.f64 (sqrt.f64 a) (/.f64 2 (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 (sqrt.f64 a) (/.f64 2 (cbrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 2 (sqrt.f64 b))) (/.f64 (sqrt.f64 a) (/.f64 2 (sqrt.f64 b))) (/.f64 (sqrt.f64 a) 2) (*.f64 b (/.f64 (sqrt.f64 a) 2)) (*.f64 (*.f64 (cbrt.f64 b) (cbrt.f64 b)) (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (/.f64 4 (cbrt.f64 b))) (*.f64 (sqrt.f64 b) (sqrt.f64 a)) (/.f64 (sqrt.f64 a) (/.f64 4 (sqrt.f64 b))) (sqrt.f64 a) (/.f64 (sqrt.f64 a) (/.f64 4 b)) (sqrt.f64 a) (/.f64 (sqrt.f64 a) (/.f64 4 b)) (/.f64 (sqrt.f64 a) 4) (*.f64 b (sqrt.f64 a)) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 4 b)) (cbrt.f64 (/.f64 4 b)))) (/.f64 a (cbrt.f64 (/.f64 4 b))) (/.f64 1 (sqrt.f64 (/.f64 4 b))) (/.f64 a (sqrt.f64 (/.f64 4 b))) (/.f64 (*.f64 (cbrt.f64 b) (cbrt.f64 b)) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 a (/.f64 (cbrt.f64 4) (cbrt.f64 b))) (/.f64 (sqrt.f64 b) (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 a (/.f64 (cbrt.f64 4) (sqrt.f64 b))) (/.f64 1 (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (/.f64 a (/.f64 (cbrt.f64 4) b)) (*.f64 (cbrt.f64 b) (*.f64 (cbrt.f64 b) 1/2)) (/.f64 a (/.f64 2 (cbrt.f64 b))) (*.f64 (sqrt.f64 b) 1/2) (/.f64 a (/.f64 2 (sqrt.f64 b))) 1/2 (/.f64 a (/.f64 2 b)) (*.f64 (cbrt.f64 b) (cbrt.f64 b)) (/.f64 a (/.f64 4 (cbrt.f64 b))) (sqrt.f64 b) (/.f64 a (/.f64 4 (sqrt.f64 b))) 1 (/.f64 a (/.f64 4 b)) 1 (/.f64 a (/.f64 4 b)) 1/4 (*.f64 a b) (*.f64 b 1/4) (/.f64 4 (*.f64 a b)) (/.f64 a (*.f64 (cbrt.f64 (/.f64 4 b)) (cbrt.f64 (/.f64 4 b)))) (/.f64 a (sqrt.f64 (/.f64 4 b))) (/.f64 a (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (*.f64 (cbrt.f64 b) (cbrt.f64 b)))) (/.f64 a (/.f64 (*.f64 (cbrt.f64 4) (cbrt.f64 4)) (sqrt.f64 b))) (/.f64 a (*.f64 (cbrt.f64 4) (cbrt.f64 4))) (*.f64 (cbrt.f64 b) (/.f64 a (/.f64 2 (cbrt.f64 b)))) (/.f64 a (/.f64 2 (sqrt.f64 b))) (/.f64 a 2) (*.f64 a (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 a (sqrt.f64 b)) a a (/.f64 a 4) (/.f64 4 (*.f64 b (cbrt.f64 a))) (/.f64 4 (*.f64 b (sqrt.f64 a))) (/.f64 4 (*.f64 a b)) (/.f64 a 4) (exp.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (exp.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (log.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (exp.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (*.f64 (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b))))) (cbrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (pow.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b))) 3) (sqrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (sqrt.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b)))) (-.f64 (*.f64 (/.f64 4 b) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3))) (*.f64 a (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (-.f64 (/.f64 (*.f64 z t) 16) (*.f64 x y)))))) (*.f64 (/.f64 4 b) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (-.f64 (/.f64 (*.f64 z t) 16) (*.f64 x y))))) (*.f64 (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (-.f64 (*.f64 (/.f64 4 b) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) a)) (*.f64 (/.f64 4 b) (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (-.f64 (pow.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) 3) (*.f64 (pow.f64 (*.f64 a b) 3) 1/64)) (+.f64 (*.f64 b (/.f64 (*.f64 a a) (/.f64 16 b))) (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (/.f64 a (/.f64 4 b)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))))) (*.f64 a (*.f64 b -1/4)) (-.f64 (*.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 b (/.f64 (*.f64 a a) (/.f64 16 b)))) (+.f64 (/.f64 a (/.f64 4 b)) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (sqrt.f64 (/.f64 a (/.f64 4 b))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (-.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (/.f64 a (/.f64 4 b)))) (+.f64 (/.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 4 b))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (-.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (/.f64 (sqrt.f64 a) (sqrt.f64 (/.f64 4 b)))) (+.f64 (/.f64 (sqrt.f64 a) (/.f64 2 (sqrt.f64 b))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (-.f64 (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (/.f64 (sqrt.f64 a) (/.f64 2 (sqrt.f64 b)))) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 a (/.f64 4 b))) (-.f64 (/.f64 (*.f64 z t) 16) (/.f64 a (/.f64 4 b))) (exp.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (log.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (exp.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (*.f64 (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)))) (cbrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (pow.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) 3) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (sqrt.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16))) (+.f64 (pow.f64 (*.f64 x y) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3)) (+.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (-.f64 (/.f64 (*.f64 z t) 16) (*.f64 x y)))) (-.f64 (*.f64 (*.f64 x y) (*.f64 x y)) (*.f64 (/.f64 (*.f64 z t) 16) (/.f64 (*.f64 z t) 16))) (-.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (log.f64 (/.f64 (*.f64 z t) 16)) (log.f64 (/.f64 (*.f64 z t) 16)) (log.f64 (/.f64 (*.f64 z t) 16)) (exp.f64 (/.f64 (*.f64 z t) 16)) (pow.f64 (/.f64 (*.f64 z t) 16) 3) (pow.f64 (/.f64 (*.f64 z t) 16) 3) (*.f64 (cbrt.f64 (/.f64 (*.f64 z t) 16)) (cbrt.f64 (/.f64 (*.f64 z t) 16))) (cbrt.f64 (/.f64 (*.f64 z t) 16)) (pow.f64 (/.f64 (*.f64 z t) 16) 3) (sqrt.f64 (/.f64 (*.f64 z t) 16)) (sqrt.f64 (/.f64 (*.f64 z t) 16)) (neg.f64 (*.f64 z t)) -16 (/.f64 z (*.f64 (cbrt.f64 16) (cbrt.f64 16))) (/.f64 t (cbrt.f64 16)) (/.f64 z 4) (/.f64 t 4) z (/.f64 t 16) 1/16 (/.f64 16 (*.f64 z t)) (*.f64 (/.f64 z (*.f64 (cbrt.f64 16) (cbrt.f64 16))) t) (*.f64 (/.f64 z 4) t) (*.f64 z t) (/.f64 16 t) (/.f64 a (/.f64 4 b)) (/.f64 a (/.f64 4 b)) (/.f64 a (/.f64 4 b)) 0 (-.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 z t) 1/16)) (/.f64 a (/.f64 4 b))) (-.f64 (+.f64 (*.f64 x y) (*.f64 (*.f64 z t) 1/16)) (/.f64 a (/.f64 4 b))) 0 (+.f64 (*.f64 x y) (*.f64 (*.f64 z t) 1/16)) (+.f64 (*.f64 x y) (*.f64 (*.f64 z t) 1/16)) (*.f64 (*.f64 z t) 1/16) (*.f64 (*.f64 z t) 1/16) (*.f64 (*.f64 z t) 1/16) 2.076 * * * [progress]: adding candidates to table 2.225 * [progress]: [Phase 3 of 3] Extracting. 2.225 * * [regime]: Finding splitpoints for: (# #) 2.226 * * * [regime-changes]: Trying 15 branch expressions: ((*.f64 a b) (/.f64 (*.f64 a b) 4) (*.f64 z t) (/.f64 (*.f64 z t) 16) (*.f64 x y) (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) c b a t z y x) 2.226 * * * * [regimes]: Trying to branch on (*.f64 a b) from (# #) 2.301 * * * * [regimes]: Trying to branch on (/.f64 (*.f64 a b) 4) from (# #) 2.376 * * * * [regimes]: Trying to branch on (*.f64 z t) from (# #) 2.450 * * * * [regimes]: Trying to branch on (/.f64 (*.f64 z t) 16) from (# #) 2.548 * * * * [regimes]: Trying to branch on (*.f64 x y) from (# #) 2.622 * * * * [regimes]: Trying to branch on (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) from (# #) 2.698 * * * * [regimes]: Trying to branch on (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) from (# #) 2.777 * * * * [regimes]: Trying to branch on (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) from (# #) 2.856 * * * * [regimes]: Trying to branch on c from (# #) 2.929 * * * * [regimes]: Trying to branch on b from (# #) 3.002 * * * * [regimes]: Trying to branch on a from (# #) 3.077 * * * * [regimes]: Trying to branch on t from (# #) 3.189 * * * * [regimes]: Trying to branch on z from (# #) 3.282 * * * * [regimes]: Trying to branch on y from (# #) 3.355 * * * * [regimes]: Trying to branch on x from (# #) 3.429 * * * [regime]: Found split indices: #