10.391 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.625 * * * [progress]: [2/2] Setting up program. 1.630 * [progress]: [Phase 2 of 3] Improving. 1.630 * [simplify]: Simplifying using # : (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) 1.678 * * [simplify]: iteration 0 : 936 enodes (cost 17 ) 1.679 * * [simplify]: iteration 1 : 936 enodes (cost 17 ) 1.679 * [simplify]: Simplified to: (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) 1.679 * * [progress]: iteration 1 / 4 1.679 * * * [progress]: picking best candidate 1.689 * * * * [pick]: Picked # 1.689 * * * [progress]: localizing error 1.702 * * * [progress]: generating rewritten candidates 1.702 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 1.712 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 1.718 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.723 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 1.729 * * * [progress]: generating series expansions 1.729 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 1.729 * [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.729 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in b 1.729 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in b 1.729 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in b 1.729 * [taylor]: Taking taylor expansion of 1/16 in b 1.729 * [taylor]: Taking taylor expansion of (* t z) in b 1.729 * [taylor]: Taking taylor expansion of t in b 1.729 * [taylor]: Taking taylor expansion of z in b 1.729 * [taylor]: Taking taylor expansion of (* x y) in b 1.729 * [taylor]: Taking taylor expansion of x in b 1.729 * [taylor]: Taking taylor expansion of y in b 1.729 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in b 1.729 * [taylor]: Taking taylor expansion of 1/4 in b 1.729 * [taylor]: Taking taylor expansion of (* a b) in b 1.729 * [taylor]: Taking taylor expansion of a in b 1.730 * [taylor]: Taking taylor expansion of b in b 1.730 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in a 1.730 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in a 1.730 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in a 1.730 * [taylor]: Taking taylor expansion of 1/16 in a 1.730 * [taylor]: Taking taylor expansion of (* t z) in a 1.730 * [taylor]: Taking taylor expansion of t in a 1.730 * [taylor]: Taking taylor expansion of z in a 1.730 * [taylor]: Taking taylor expansion of (* x y) in a 1.730 * [taylor]: Taking taylor expansion of x in a 1.730 * [taylor]: Taking taylor expansion of y in a 1.730 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.730 * [taylor]: Taking taylor expansion of 1/4 in a 1.730 * [taylor]: Taking taylor expansion of (* a b) in a 1.730 * [taylor]: Taking taylor expansion of a in a 1.730 * [taylor]: Taking taylor expansion of b in a 1.730 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in t 1.730 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in t 1.730 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.730 * [taylor]: Taking taylor expansion of 1/16 in t 1.730 * [taylor]: Taking taylor expansion of (* t z) in t 1.730 * [taylor]: Taking taylor expansion of t in t 1.730 * [taylor]: Taking taylor expansion of z in t 1.730 * [taylor]: Taking taylor expansion of (* x y) in t 1.730 * [taylor]: Taking taylor expansion of x in t 1.730 * [taylor]: Taking taylor expansion of y in t 1.730 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in t 1.730 * [taylor]: Taking taylor expansion of 1/4 in t 1.730 * [taylor]: Taking taylor expansion of (* a b) in t 1.730 * [taylor]: Taking taylor expansion of a in t 1.730 * [taylor]: Taking taylor expansion of b in t 1.730 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in z 1.730 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in z 1.730 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.730 * [taylor]: Taking taylor expansion of 1/16 in z 1.730 * [taylor]: Taking taylor expansion of (* t z) in z 1.730 * [taylor]: Taking taylor expansion of t in z 1.730 * [taylor]: Taking taylor expansion of z in z 1.730 * [taylor]: Taking taylor expansion of (* x y) in z 1.730 * [taylor]: Taking taylor expansion of x in z 1.730 * [taylor]: Taking taylor expansion of y in z 1.730 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in z 1.730 * [taylor]: Taking taylor expansion of 1/4 in z 1.730 * [taylor]: Taking taylor expansion of (* a b) in z 1.730 * [taylor]: Taking taylor expansion of a in z 1.730 * [taylor]: Taking taylor expansion of b in z 1.730 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in y 1.730 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in y 1.730 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.730 * [taylor]: Taking taylor expansion of 1/16 in y 1.730 * [taylor]: Taking taylor expansion of (* t z) in y 1.730 * [taylor]: Taking taylor expansion of t in y 1.730 * [taylor]: Taking taylor expansion of z in y 1.730 * [taylor]: Taking taylor expansion of (* x y) in y 1.730 * [taylor]: Taking taylor expansion of x in y 1.730 * [taylor]: Taking taylor expansion of y in y 1.730 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in y 1.730 * [taylor]: Taking taylor expansion of 1/4 in y 1.730 * [taylor]: Taking taylor expansion of (* a b) in y 1.730 * [taylor]: Taking taylor expansion of a in y 1.730 * [taylor]: Taking taylor expansion of b in y 1.730 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in x 1.730 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.730 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.730 * [taylor]: Taking taylor expansion of 1/16 in x 1.730 * [taylor]: Taking taylor expansion of (* t z) in x 1.730 * [taylor]: Taking taylor expansion of t in x 1.730 * [taylor]: Taking taylor expansion of z in x 1.731 * [taylor]: Taking taylor expansion of (* x y) in x 1.731 * [taylor]: Taking taylor expansion of x in x 1.731 * [taylor]: Taking taylor expansion of y in x 1.731 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in x 1.731 * [taylor]: Taking taylor expansion of 1/4 in x 1.731 * [taylor]: Taking taylor expansion of (* a b) in x 1.731 * [taylor]: Taking taylor expansion of a in x 1.731 * [taylor]: Taking taylor expansion of b in x 1.731 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in x 1.731 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.731 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.731 * [taylor]: Taking taylor expansion of 1/16 in x 1.731 * [taylor]: Taking taylor expansion of (* t z) in x 1.731 * [taylor]: Taking taylor expansion of t in x 1.731 * [taylor]: Taking taylor expansion of z in x 1.731 * [taylor]: Taking taylor expansion of (* x y) in x 1.731 * [taylor]: Taking taylor expansion of x in x 1.731 * [taylor]: Taking taylor expansion of y in x 1.731 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in x 1.731 * [taylor]: Taking taylor expansion of 1/4 in x 1.731 * [taylor]: Taking taylor expansion of (* a b) in x 1.731 * [taylor]: Taking taylor expansion of a in x 1.731 * [taylor]: Taking taylor expansion of b in x 1.731 * [taylor]: Taking taylor expansion of (- (* 1/16 (* t z)) (* 1/4 (* a b))) in y 1.731 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.731 * [taylor]: Taking taylor expansion of 1/16 in y 1.731 * [taylor]: Taking taylor expansion of (* t z) in y 1.731 * [taylor]: Taking taylor expansion of t in y 1.731 * [taylor]: Taking taylor expansion of z in y 1.731 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in y 1.731 * [taylor]: Taking taylor expansion of 1/4 in y 1.731 * [taylor]: Taking taylor expansion of (* a b) in y 1.731 * [taylor]: Taking taylor expansion of a in y 1.731 * [taylor]: Taking taylor expansion of b in y 1.731 * [taylor]: Taking taylor expansion of (- (* 1/16 (* t z)) (* 1/4 (* a b))) in z 1.732 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.732 * [taylor]: Taking taylor expansion of 1/16 in z 1.732 * [taylor]: Taking taylor expansion of (* t z) in z 1.732 * [taylor]: Taking taylor expansion of t in z 1.732 * [taylor]: Taking taylor expansion of z in z 1.732 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in z 1.732 * [taylor]: Taking taylor expansion of 1/4 in z 1.732 * [taylor]: Taking taylor expansion of (* a b) in z 1.732 * [taylor]: Taking taylor expansion of a in z 1.732 * [taylor]: Taking taylor expansion of b in z 1.732 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* a b))) in t 1.732 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in t 1.732 * [taylor]: Taking taylor expansion of 1/4 in t 1.732 * [taylor]: Taking taylor expansion of (* a b) in t 1.732 * [taylor]: Taking taylor expansion of a in t 1.732 * [taylor]: Taking taylor expansion of b in t 1.732 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* a b))) in a 1.732 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.732 * [taylor]: Taking taylor expansion of 1/4 in a 1.732 * [taylor]: Taking taylor expansion of (* a b) in a 1.732 * [taylor]: Taking taylor expansion of a in a 1.732 * [taylor]: Taking taylor expansion of b in a 1.732 * [taylor]: Taking taylor expansion of 0 in b 1.732 * [taylor]: Taking taylor expansion of y in y 1.732 * [taylor]: Taking taylor expansion of 0 in z 1.732 * [taylor]: Taking taylor expansion of 0 in t 1.732 * [taylor]: Taking taylor expansion of 0 in a 1.732 * [taylor]: Taking taylor expansion of 0 in b 1.733 * [taylor]: Taking taylor expansion of 0 in z 1.733 * [taylor]: Taking taylor expansion of 0 in t 1.733 * [taylor]: Taking taylor expansion of 0 in a 1.733 * [taylor]: Taking taylor expansion of 0 in b 1.733 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.733 * [taylor]: Taking taylor expansion of 1/16 in t 1.733 * [taylor]: Taking taylor expansion of t in t 1.733 * [taylor]: Taking taylor expansion of 0 in a 1.733 * [taylor]: Taking taylor expansion of 0 in b 1.733 * [taylor]: Taking taylor expansion of 0 in a 1.733 * [taylor]: Taking taylor expansion of 0 in b 1.733 * [taylor]: Taking taylor expansion of (neg (* 1/4 b)) in b 1.733 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 1.733 * [taylor]: Taking taylor expansion of 1/4 in b 1.733 * [taylor]: Taking taylor expansion of b in b 1.733 * [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.734 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in b 1.734 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.734 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in b 1.734 * [taylor]: Taking taylor expansion of 1/16 in b 1.734 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.734 * [taylor]: Taking taylor expansion of (* t z) in b 1.734 * [taylor]: Taking taylor expansion of t in b 1.734 * [taylor]: Taking taylor expansion of z in b 1.734 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.734 * [taylor]: Taking taylor expansion of (* x y) in b 1.734 * [taylor]: Taking taylor expansion of x in b 1.734 * [taylor]: Taking taylor expansion of y in b 1.734 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in b 1.734 * [taylor]: Taking taylor expansion of 1/4 in b 1.734 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.734 * [taylor]: Taking taylor expansion of (* a b) in b 1.734 * [taylor]: Taking taylor expansion of a in b 1.734 * [taylor]: Taking taylor expansion of b in b 1.734 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in a 1.734 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.734 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in a 1.734 * [taylor]: Taking taylor expansion of 1/16 in a 1.734 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.734 * [taylor]: Taking taylor expansion of (* t z) in a 1.734 * [taylor]: Taking taylor expansion of t in a 1.734 * [taylor]: Taking taylor expansion of z in a 1.734 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.734 * [taylor]: Taking taylor expansion of (* x y) in a 1.734 * [taylor]: Taking taylor expansion of x in a 1.734 * [taylor]: Taking taylor expansion of y in a 1.734 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.734 * [taylor]: Taking taylor expansion of 1/4 in a 1.734 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.734 * [taylor]: Taking taylor expansion of (* a b) in a 1.734 * [taylor]: Taking taylor expansion of a in a 1.734 * [taylor]: Taking taylor expansion of b in a 1.734 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in t 1.734 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.734 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.734 * [taylor]: Taking taylor expansion of 1/16 in t 1.734 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.734 * [taylor]: Taking taylor expansion of (* t z) in t 1.734 * [taylor]: Taking taylor expansion of t in t 1.734 * [taylor]: Taking taylor expansion of z in t 1.735 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.735 * [taylor]: Taking taylor expansion of (* x y) in t 1.735 * [taylor]: Taking taylor expansion of x in t 1.735 * [taylor]: Taking taylor expansion of y in t 1.735 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.735 * [taylor]: Taking taylor expansion of 1/4 in t 1.735 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.735 * [taylor]: Taking taylor expansion of (* a b) in t 1.735 * [taylor]: Taking taylor expansion of a in t 1.735 * [taylor]: Taking taylor expansion of b in t 1.735 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in z 1.735 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.735 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.735 * [taylor]: Taking taylor expansion of 1/16 in z 1.735 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.735 * [taylor]: Taking taylor expansion of (* t z) in z 1.735 * [taylor]: Taking taylor expansion of t in z 1.735 * [taylor]: Taking taylor expansion of z in z 1.735 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.735 * [taylor]: Taking taylor expansion of (* x y) in z 1.735 * [taylor]: Taking taylor expansion of x in z 1.735 * [taylor]: Taking taylor expansion of y in z 1.735 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.735 * [taylor]: Taking taylor expansion of 1/4 in z 1.735 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.735 * [taylor]: Taking taylor expansion of (* a b) in z 1.735 * [taylor]: Taking taylor expansion of a in z 1.735 * [taylor]: Taking taylor expansion of b in z 1.735 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in y 1.735 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.735 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.735 * [taylor]: Taking taylor expansion of 1/16 in y 1.735 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.735 * [taylor]: Taking taylor expansion of (* t z) in y 1.735 * [taylor]: Taking taylor expansion of t in y 1.735 * [taylor]: Taking taylor expansion of z in y 1.735 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.735 * [taylor]: Taking taylor expansion of (* x y) in y 1.735 * [taylor]: Taking taylor expansion of x in y 1.735 * [taylor]: Taking taylor expansion of y in y 1.735 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.735 * [taylor]: Taking taylor expansion of 1/4 in y 1.736 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.736 * [taylor]: Taking taylor expansion of (* a b) in y 1.736 * [taylor]: Taking taylor expansion of a in y 1.736 * [taylor]: Taking taylor expansion of b in y 1.736 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.736 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.736 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.736 * [taylor]: Taking taylor expansion of 1/16 in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.736 * [taylor]: Taking taylor expansion of (* t z) in x 1.736 * [taylor]: Taking taylor expansion of t in x 1.736 * [taylor]: Taking taylor expansion of z in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.736 * [taylor]: Taking taylor expansion of (* x y) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of y in x 1.736 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.736 * [taylor]: Taking taylor expansion of 1/4 in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.736 * [taylor]: Taking taylor expansion of (* a b) in x 1.736 * [taylor]: Taking taylor expansion of a in x 1.736 * [taylor]: Taking taylor expansion of b in x 1.736 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.736 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.736 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.736 * [taylor]: Taking taylor expansion of 1/16 in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.736 * [taylor]: Taking taylor expansion of (* t z) in x 1.736 * [taylor]: Taking taylor expansion of t in x 1.736 * [taylor]: Taking taylor expansion of z in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.736 * [taylor]: Taking taylor expansion of (* x y) in x 1.736 * [taylor]: Taking taylor expansion of x in x 1.736 * [taylor]: Taking taylor expansion of y in x 1.736 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.736 * [taylor]: Taking taylor expansion of 1/4 in x 1.736 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.736 * [taylor]: Taking taylor expansion of (* a b) in x 1.736 * [taylor]: Taking taylor expansion of a in x 1.736 * [taylor]: Taking taylor expansion of b in x 1.737 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.737 * [taylor]: Taking taylor expansion of y in y 1.737 * [taylor]: Taking taylor expansion of 1 in z 1.737 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in y 1.737 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.737 * [taylor]: Taking taylor expansion of 1/16 in y 1.737 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.737 * [taylor]: Taking taylor expansion of (* t z) in y 1.737 * [taylor]: Taking taylor expansion of t in y 1.737 * [taylor]: Taking taylor expansion of z in y 1.737 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.737 * [taylor]: Taking taylor expansion of 1/4 in y 1.737 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.737 * [taylor]: Taking taylor expansion of (* a b) in y 1.737 * [taylor]: Taking taylor expansion of a in y 1.737 * [taylor]: Taking taylor expansion of b in y 1.737 * [taylor]: Taking taylor expansion of 0 in z 1.737 * [taylor]: Taking taylor expansion of 1 in t 1.738 * [taylor]: Taking taylor expansion of 0 in y 1.738 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in z 1.738 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.738 * [taylor]: Taking taylor expansion of 1/16 in z 1.738 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.738 * [taylor]: Taking taylor expansion of (* t z) in z 1.738 * [taylor]: Taking taylor expansion of t in z 1.738 * [taylor]: Taking taylor expansion of z in z 1.738 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.738 * [taylor]: Taking taylor expansion of 1/4 in z 1.738 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.738 * [taylor]: Taking taylor expansion of (* a b) in z 1.738 * [taylor]: Taking taylor expansion of a in z 1.738 * [taylor]: Taking taylor expansion of b in z 1.738 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 t)) in t 1.738 * [taylor]: Taking taylor expansion of 1/16 in t 1.738 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.738 * [taylor]: Taking taylor expansion of t in t 1.738 * [taylor]: Taking taylor expansion of 1/16 in a 1.738 * [taylor]: Taking taylor expansion of 0 in z 1.738 * [taylor]: Taking taylor expansion of 0 in t 1.739 * [taylor]: Taking taylor expansion of 0 in t 1.739 * [taylor]: Taking taylor expansion of 1 in a 1.739 * [taylor]: Taking taylor expansion of 0 in y 1.739 * [taylor]: Taking taylor expansion of 0 in z 1.740 * [taylor]: Taking taylor expansion of 0 in z 1.740 * [taylor]: Taking taylor expansion of 0 in z 1.740 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in t 1.740 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.740 * [taylor]: Taking taylor expansion of 1/4 in t 1.740 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.740 * [taylor]: Taking taylor expansion of (* a b) in t 1.740 * [taylor]: Taking taylor expansion of a in t 1.740 * [taylor]: Taking taylor expansion of b in t 1.740 * [taylor]: Taking taylor expansion of 0 in t 1.740 * [taylor]: Taking taylor expansion of 0 in t 1.740 * [taylor]: Taking taylor expansion of 0 in t 1.740 * [taylor]: Taking taylor expansion of 0 in a 1.740 * [taylor]: Taking taylor expansion of 0 in a 1.740 * [taylor]: Taking taylor expansion of 0 in a 1.740 * [taylor]: Taking taylor expansion of 0 in a 1.740 * [taylor]: Taking taylor expansion of 1/16 in b 1.740 * [taylor]: Taking taylor expansion of 1 in b 1.741 * [taylor]: Taking taylor expansion of 0 in y 1.741 * [taylor]: Taking taylor expansion of 0 in z 1.741 * [taylor]: Taking taylor expansion of 0 in z 1.742 * [taylor]: Taking taylor expansion of 0 in z 1.742 * [taylor]: Taking taylor expansion of 0 in z 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of 0 in t 1.742 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in a 1.742 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.742 * [taylor]: Taking taylor expansion of 1/4 in a 1.742 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.742 * [taylor]: Taking taylor expansion of (* a b) in a 1.742 * [taylor]: Taking taylor expansion of a in a 1.742 * [taylor]: Taking taylor expansion of b in a 1.743 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 b))) in b 1.743 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 1.743 * [taylor]: Taking taylor expansion of 1/4 in b 1.743 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.743 * [taylor]: Taking taylor expansion of b in b 1.743 * [taylor]: Taking taylor expansion of 0 in a 1.743 * [taylor]: Taking taylor expansion of 0 in a 1.743 * [taylor]: Taking taylor expansion of 0 in a 1.743 * [taylor]: Taking taylor expansion of 0 in a 1.743 * [taylor]: Taking taylor expansion of 0 in a 1.743 * [taylor]: Taking taylor expansion of 0 in a 1.743 * [taylor]: Taking taylor expansion of 0 in a 1.743 * [taylor]: Taking taylor expansion of 0 in b 1.743 * [taylor]: Taking taylor expansion of 0 in b 1.743 * [taylor]: Taking taylor expansion of 0 in b 1.743 * [taylor]: Taking taylor expansion of 0 in b 1.743 * [taylor]: Taking taylor expansion of 0 in b 1.743 * [taylor]: Taking taylor expansion of 0 in b 1.744 * [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.744 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in b 1.744 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.744 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in b 1.744 * [taylor]: Taking taylor expansion of 1/16 in b 1.744 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.744 * [taylor]: Taking taylor expansion of (* t z) in b 1.744 * [taylor]: Taking taylor expansion of t in b 1.744 * [taylor]: Taking taylor expansion of z in b 1.744 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.744 * [taylor]: Taking taylor expansion of (* x y) in b 1.744 * [taylor]: Taking taylor expansion of x in b 1.744 * [taylor]: Taking taylor expansion of y in b 1.744 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in b 1.744 * [taylor]: Taking taylor expansion of 1/4 in b 1.744 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.744 * [taylor]: Taking taylor expansion of (* a b) in b 1.744 * [taylor]: Taking taylor expansion of a in b 1.744 * [taylor]: Taking taylor expansion of b in b 1.745 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in a 1.745 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.745 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in a 1.745 * [taylor]: Taking taylor expansion of 1/16 in a 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.745 * [taylor]: Taking taylor expansion of (* t z) in a 1.745 * [taylor]: Taking taylor expansion of t in a 1.745 * [taylor]: Taking taylor expansion of z in a 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.745 * [taylor]: Taking taylor expansion of (* x y) in a 1.745 * [taylor]: Taking taylor expansion of x in a 1.745 * [taylor]: Taking taylor expansion of y in a 1.745 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.745 * [taylor]: Taking taylor expansion of 1/4 in a 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.745 * [taylor]: Taking taylor expansion of (* a b) in a 1.745 * [taylor]: Taking taylor expansion of a in a 1.745 * [taylor]: Taking taylor expansion of b in a 1.745 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in t 1.745 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.745 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.745 * [taylor]: Taking taylor expansion of 1/16 in t 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.745 * [taylor]: Taking taylor expansion of (* t z) in t 1.745 * [taylor]: Taking taylor expansion of t in t 1.745 * [taylor]: Taking taylor expansion of z in t 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.745 * [taylor]: Taking taylor expansion of (* x y) in t 1.745 * [taylor]: Taking taylor expansion of x in t 1.745 * [taylor]: Taking taylor expansion of y in t 1.745 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.745 * [taylor]: Taking taylor expansion of 1/4 in t 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.745 * [taylor]: Taking taylor expansion of (* a b) in t 1.745 * [taylor]: Taking taylor expansion of a in t 1.745 * [taylor]: Taking taylor expansion of b in t 1.745 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in z 1.745 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.745 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.745 * [taylor]: Taking taylor expansion of 1/16 in z 1.745 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.745 * [taylor]: Taking taylor expansion of (* t z) in z 1.745 * [taylor]: Taking taylor expansion of t in z 1.746 * [taylor]: Taking taylor expansion of z in z 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.746 * [taylor]: Taking taylor expansion of (* x y) in z 1.746 * [taylor]: Taking taylor expansion of x in z 1.746 * [taylor]: Taking taylor expansion of y in z 1.746 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.746 * [taylor]: Taking taylor expansion of 1/4 in z 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.746 * [taylor]: Taking taylor expansion of (* a b) in z 1.746 * [taylor]: Taking taylor expansion of a in z 1.746 * [taylor]: Taking taylor expansion of b in z 1.746 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in y 1.746 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.746 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.746 * [taylor]: Taking taylor expansion of 1/16 in y 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.746 * [taylor]: Taking taylor expansion of (* t z) in y 1.746 * [taylor]: Taking taylor expansion of t in y 1.746 * [taylor]: Taking taylor expansion of z in y 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.746 * [taylor]: Taking taylor expansion of (* x y) in y 1.746 * [taylor]: Taking taylor expansion of x in y 1.746 * [taylor]: Taking taylor expansion of y in y 1.746 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.746 * [taylor]: Taking taylor expansion of 1/4 in y 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.746 * [taylor]: Taking taylor expansion of (* a b) in y 1.746 * [taylor]: Taking taylor expansion of a in y 1.746 * [taylor]: Taking taylor expansion of b in y 1.746 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.746 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.746 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.746 * [taylor]: Taking taylor expansion of 1/16 in x 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.746 * [taylor]: Taking taylor expansion of (* t z) in x 1.746 * [taylor]: Taking taylor expansion of t in x 1.746 * [taylor]: Taking taylor expansion of z in x 1.746 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.746 * [taylor]: Taking taylor expansion of (* x y) in x 1.746 * [taylor]: Taking taylor expansion of x in x 1.746 * [taylor]: Taking taylor expansion of y in x 1.746 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.747 * [taylor]: Taking taylor expansion of 1/4 in x 1.747 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.747 * [taylor]: Taking taylor expansion of (* a b) in x 1.747 * [taylor]: Taking taylor expansion of a in x 1.747 * [taylor]: Taking taylor expansion of b in x 1.747 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.747 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.747 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.747 * [taylor]: Taking taylor expansion of 1/16 in x 1.747 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.747 * [taylor]: Taking taylor expansion of (* t z) in x 1.747 * [taylor]: Taking taylor expansion of t in x 1.747 * [taylor]: Taking taylor expansion of z in x 1.747 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.747 * [taylor]: Taking taylor expansion of (* x y) in x 1.747 * [taylor]: Taking taylor expansion of x in x 1.747 * [taylor]: Taking taylor expansion of y in x 1.747 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.747 * [taylor]: Taking taylor expansion of 1/4 in x 1.747 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.747 * [taylor]: Taking taylor expansion of (* a b) in x 1.747 * [taylor]: Taking taylor expansion of a in x 1.747 * [taylor]: Taking taylor expansion of b in x 1.747 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.747 * [taylor]: Taking taylor expansion of y in y 1.747 * [taylor]: Taking taylor expansion of 1 in z 1.748 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in y 1.748 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.748 * [taylor]: Taking taylor expansion of 1/16 in y 1.748 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.748 * [taylor]: Taking taylor expansion of (* t z) in y 1.748 * [taylor]: Taking taylor expansion of t in y 1.748 * [taylor]: Taking taylor expansion of z in y 1.748 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.748 * [taylor]: Taking taylor expansion of 1/4 in y 1.748 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.748 * [taylor]: Taking taylor expansion of (* a b) in y 1.748 * [taylor]: Taking taylor expansion of a in y 1.748 * [taylor]: Taking taylor expansion of b in y 1.748 * [taylor]: Taking taylor expansion of 0 in z 1.748 * [taylor]: Taking taylor expansion of 1 in t 1.748 * [taylor]: Taking taylor expansion of 0 in y 1.749 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in z 1.749 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.749 * [taylor]: Taking taylor expansion of 1/16 in z 1.749 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.749 * [taylor]: Taking taylor expansion of (* t z) in z 1.749 * [taylor]: Taking taylor expansion of t in z 1.749 * [taylor]: Taking taylor expansion of z in z 1.749 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.749 * [taylor]: Taking taylor expansion of 1/4 in z 1.749 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.749 * [taylor]: Taking taylor expansion of (* a b) in z 1.749 * [taylor]: Taking taylor expansion of a in z 1.749 * [taylor]: Taking taylor expansion of b in z 1.749 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 t)) in t 1.749 * [taylor]: Taking taylor expansion of 1/16 in t 1.749 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.749 * [taylor]: Taking taylor expansion of t in t 1.749 * [taylor]: Taking taylor expansion of 1/16 in a 1.749 * [taylor]: Taking taylor expansion of 0 in z 1.749 * [taylor]: Taking taylor expansion of 0 in t 1.749 * [taylor]: Taking taylor expansion of 0 in t 1.749 * [taylor]: Taking taylor expansion of 1 in a 1.750 * [taylor]: Taking taylor expansion of 0 in y 1.750 * [taylor]: Taking taylor expansion of 0 in z 1.750 * [taylor]: Taking taylor expansion of 0 in z 1.750 * [taylor]: Taking taylor expansion of 0 in z 1.750 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in t 1.750 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.750 * [taylor]: Taking taylor expansion of 1/4 in t 1.750 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.750 * [taylor]: Taking taylor expansion of (* a b) in t 1.750 * [taylor]: Taking taylor expansion of a in t 1.751 * [taylor]: Taking taylor expansion of b in t 1.751 * [taylor]: Taking taylor expansion of 0 in t 1.751 * [taylor]: Taking taylor expansion of 0 in t 1.751 * [taylor]: Taking taylor expansion of 0 in t 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 0 in a 1.751 * [taylor]: Taking taylor expansion of 1/16 in b 1.751 * [taylor]: Taking taylor expansion of 1 in b 1.752 * [taylor]: Taking taylor expansion of 0 in y 1.752 * [taylor]: Taking taylor expansion of 0 in z 1.752 * [taylor]: Taking taylor expansion of 0 in z 1.752 * [taylor]: Taking taylor expansion of 0 in z 1.752 * [taylor]: Taking taylor expansion of 0 in z 1.752 * [taylor]: Taking taylor expansion of 0 in t 1.752 * [taylor]: Taking taylor expansion of 0 in t 1.752 * [taylor]: Taking taylor expansion of 0 in t 1.753 * [taylor]: Taking taylor expansion of 0 in t 1.753 * [taylor]: Taking taylor expansion of 0 in t 1.753 * [taylor]: Taking taylor expansion of 0 in t 1.753 * [taylor]: Taking taylor expansion of 0 in t 1.753 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in a 1.753 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.753 * [taylor]: Taking taylor expansion of 1/4 in a 1.753 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.753 * [taylor]: Taking taylor expansion of (* a b) in a 1.753 * [taylor]: Taking taylor expansion of a in a 1.753 * [taylor]: Taking taylor expansion of b in a 1.753 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 b))) in b 1.753 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 1.753 * [taylor]: Taking taylor expansion of 1/4 in b 1.753 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.753 * [taylor]: Taking taylor expansion of b in b 1.753 * [taylor]: Taking taylor expansion of 0 in a 1.753 * [taylor]: Taking taylor expansion of 0 in a 1.753 * [taylor]: Taking taylor expansion of 0 in a 1.753 * [taylor]: Taking taylor expansion of 0 in a 1.753 * [taylor]: Taking taylor expansion of 0 in a 1.753 * [taylor]: Taking taylor expansion of 0 in a 1.753 * [taylor]: Taking taylor expansion of 0 in a 1.754 * [taylor]: Taking taylor expansion of 0 in b 1.754 * [taylor]: Taking taylor expansion of 0 in b 1.754 * [taylor]: Taking taylor expansion of 0 in b 1.754 * [taylor]: Taking taylor expansion of 0 in b 1.754 * [taylor]: Taking taylor expansion of 0 in b 1.754 * [taylor]: Taking taylor expansion of 0 in b 1.754 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 1.754 * [approximate]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in (x y z t) around 0 1.754 * [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/16 (* t z)) (* x y)) in z 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.755 * [taylor]: Taking taylor expansion of 1/16 in z 1.755 * [taylor]: Taking taylor expansion of (* t z) in z 1.755 * [taylor]: Taking taylor expansion of t in z 1.755 * [taylor]: Taking taylor expansion of z in z 1.755 * [taylor]: Taking taylor expansion of (* x y) in z 1.755 * [taylor]: Taking taylor expansion of x in z 1.755 * [taylor]: Taking taylor expansion of y in z 1.755 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in y 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.755 * [taylor]: Taking taylor expansion of 1/16 in y 1.755 * [taylor]: Taking taylor expansion of (* t z) in y 1.755 * [taylor]: Taking taylor expansion of t in y 1.755 * [taylor]: Taking taylor expansion of z in y 1.755 * [taylor]: Taking taylor expansion of (* x y) in y 1.755 * [taylor]: Taking taylor expansion of x in y 1.755 * [taylor]: Taking taylor expansion of y in y 1.755 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.755 * [taylor]: Taking taylor expansion of 1/16 in x 1.755 * [taylor]: Taking taylor expansion of (* t z) in x 1.755 * [taylor]: Taking taylor expansion of t in x 1.755 * [taylor]: Taking taylor expansion of z in x 1.755 * [taylor]: Taking taylor expansion of (* x y) in x 1.755 * [taylor]: Taking taylor expansion of x in x 1.755 * [taylor]: Taking taylor expansion of y in x 1.755 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.755 * [taylor]: Taking taylor expansion of 1/16 in x 1.755 * [taylor]: Taking taylor expansion of (* t z) in x 1.755 * [taylor]: Taking taylor expansion of t in x 1.755 * [taylor]: Taking taylor expansion of z in x 1.755 * [taylor]: Taking taylor expansion of (* x y) in x 1.755 * [taylor]: Taking taylor expansion of x in x 1.755 * [taylor]: Taking taylor expansion of y in x 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.755 * [taylor]: Taking taylor expansion of 1/16 in y 1.755 * [taylor]: Taking taylor expansion of (* t z) in y 1.755 * [taylor]: Taking taylor expansion of t in y 1.755 * [taylor]: Taking taylor expansion of z in y 1.755 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.755 * [taylor]: Taking taylor expansion of 1/16 in z 1.755 * [taylor]: Taking taylor expansion of (* t z) in z 1.755 * [taylor]: Taking taylor expansion of t in z 1.755 * [taylor]: Taking taylor expansion of z in z 1.756 * [taylor]: Taking taylor expansion of 0 in t 1.756 * [taylor]: Taking taylor expansion of y in y 1.756 * [taylor]: Taking taylor expansion of 0 in z 1.756 * [taylor]: Taking taylor expansion of 0 in t 1.756 * [taylor]: Taking taylor expansion of 0 in z 1.756 * [taylor]: Taking taylor expansion of 0 in t 1.756 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.756 * [taylor]: Taking taylor expansion of 1/16 in t 1.756 * [taylor]: Taking taylor expansion of t in t 1.756 * [taylor]: Taking taylor expansion of 0 in y 1.756 * [taylor]: Taking taylor expansion of 0 in z 1.756 * [taylor]: Taking taylor expansion of 0 in t 1.756 * [approximate]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 1.756 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.756 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.756 * [taylor]: Taking taylor expansion of 1/16 in t 1.756 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.756 * [taylor]: Taking taylor expansion of (* t z) in t 1.756 * [taylor]: Taking taylor expansion of t in t 1.756 * [taylor]: Taking taylor expansion of z in t 1.756 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.757 * [taylor]: Taking taylor expansion of (* x y) in t 1.757 * [taylor]: Taking taylor expansion of x in t 1.757 * [taylor]: Taking taylor expansion of y in t 1.757 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.757 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.757 * [taylor]: Taking taylor expansion of 1/16 in z 1.757 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) 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 (* x y)) in z 1.757 * [taylor]: Taking taylor expansion of (* x y) in z 1.757 * [taylor]: Taking taylor expansion of x in z 1.757 * [taylor]: Taking taylor expansion of y in z 1.757 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.757 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.757 * [taylor]: Taking taylor expansion of 1/16 in y 1.757 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) 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 (* x y)) in y 1.757 * [taylor]: Taking taylor expansion of (* x y) in y 1.757 * [taylor]: Taking taylor expansion of x in y 1.757 * [taylor]: Taking taylor expansion of y in y 1.757 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.757 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.757 * [taylor]: Taking taylor expansion of 1/16 in x 1.757 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.757 * [taylor]: Taking taylor expansion of (* t z) in x 1.757 * [taylor]: Taking taylor expansion of t in x 1.757 * [taylor]: Taking taylor expansion of z in x 1.757 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.757 * [taylor]: Taking taylor expansion of (* x y) in x 1.757 * [taylor]: Taking taylor expansion of x in x 1.757 * [taylor]: Taking taylor expansion of y in x 1.757 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.757 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.757 * [taylor]: Taking taylor expansion of 1/16 in x 1.757 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.757 * [taylor]: Taking taylor expansion of (* t z) in x 1.757 * [taylor]: Taking taylor expansion of t in x 1.757 * [taylor]: Taking taylor expansion of z in x 1.758 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.758 * [taylor]: Taking taylor expansion of (* x y) in x 1.758 * [taylor]: Taking taylor expansion of x in x 1.758 * [taylor]: Taking taylor expansion of y in x 1.758 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.758 * [taylor]: Taking taylor expansion of y in y 1.758 * [taylor]: Taking taylor expansion of 1 in z 1.758 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.758 * [taylor]: Taking taylor expansion of 1/16 in y 1.758 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.758 * [taylor]: Taking taylor expansion of (* t z) in y 1.758 * [taylor]: Taking taylor expansion of t in y 1.758 * [taylor]: Taking taylor expansion of z in y 1.758 * [taylor]: Taking taylor expansion of 0 in z 1.758 * [taylor]: Taking taylor expansion of 1 in t 1.758 * [taylor]: Taking taylor expansion of 0 in y 1.758 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.758 * [taylor]: Taking taylor expansion of 1/16 in z 1.759 * [taylor]: Taking taylor expansion of (* t z) in z 1.759 * [taylor]: Taking taylor expansion of t in z 1.759 * [taylor]: Taking taylor expansion of z in z 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 z 1.759 * [taylor]: Taking taylor expansion of 0 in t 1.759 * [taylor]: Taking taylor expansion of 0 in t 1.759 * [taylor]: Taking taylor expansion of 0 in y 1.759 * [taylor]: Taking taylor expansion of 0 in z 1.759 * [taylor]: Taking taylor expansion of 0 in z 1.759 * [taylor]: Taking taylor expansion of 0 in z 1.760 * [taylor]: Taking taylor expansion of 0 in t 1.760 * [taylor]: Taking taylor expansion of 0 in t 1.760 * [taylor]: Taking taylor expansion of 0 in t 1.760 * [taylor]: Taking taylor expansion of 0 in t 1.760 * [taylor]: Taking taylor expansion of 0 in y 1.760 * [taylor]: Taking taylor expansion of 0 in z 1.760 * [taylor]: Taking taylor expansion of 0 in z 1.760 * [taylor]: Taking taylor expansion of 0 in z 1.761 * [taylor]: Taking taylor expansion of 0 in z 1.761 * [taylor]: Taking taylor expansion of 0 in t 1.761 * [taylor]: Taking taylor expansion of 0 in t 1.761 * [taylor]: Taking taylor expansion of 0 in t 1.761 * [taylor]: Taking taylor expansion of 0 in t 1.761 * [taylor]: Taking taylor expansion of 0 in t 1.761 * [taylor]: Taking taylor expansion of 0 in t 1.761 * [taylor]: Taking taylor expansion of 0 in t 1.761 * [approximate]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 1.761 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.761 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.761 * [taylor]: Taking taylor expansion of 1/16 in t 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.761 * [taylor]: Taking taylor expansion of (* t z) in t 1.761 * [taylor]: Taking taylor expansion of t in t 1.761 * [taylor]: Taking taylor expansion of z in t 1.761 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.761 * [taylor]: Taking taylor expansion of (* x y) in t 1.761 * [taylor]: Taking taylor expansion of x in t 1.761 * [taylor]: Taking taylor expansion of y in t 1.762 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.762 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.762 * [taylor]: Taking taylor expansion of 1/16 in z 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.762 * [taylor]: Taking taylor expansion of (* t z) in z 1.762 * [taylor]: Taking taylor expansion of t in z 1.762 * [taylor]: Taking taylor expansion of z in z 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.762 * [taylor]: Taking taylor expansion of (* x y) in z 1.762 * [taylor]: Taking taylor expansion of x in z 1.762 * [taylor]: Taking taylor expansion of y in z 1.762 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.762 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.762 * [taylor]: Taking taylor expansion of 1/16 in y 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.762 * [taylor]: Taking taylor expansion of (* t z) in y 1.762 * [taylor]: Taking taylor expansion of t in y 1.762 * [taylor]: Taking taylor expansion of z in y 1.762 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.762 * [taylor]: Taking taylor expansion of (* x y) in y 1.762 * [taylor]: Taking taylor expansion of x in y 1.762 * [taylor]: Taking taylor expansion of y in y 1.762 * [taylor]: Taking taylor expansion of (+ (* 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/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.763 * [taylor]: Taking taylor expansion of x in x 1.763 * [taylor]: Taking taylor expansion of y in x 1.763 * [taylor]: Taking taylor expansion of (/ 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))) 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 0 in z 1.763 * [taylor]: Taking taylor expansion of 1 in t 1.763 * [taylor]: Taking taylor expansion of 0 in y 1.763 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.763 * [taylor]: Taking taylor expansion of 1/16 in z 1.763 * [taylor]: Taking taylor expansion of (* t z) in z 1.763 * [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/16 t) in t 1.764 * [taylor]: Taking taylor expansion of 1/16 in t 1.764 * [taylor]: Taking taylor expansion of t in t 1.764 * [taylor]: Taking taylor expansion of 0 in z 1.764 * [taylor]: Taking taylor expansion of 0 in t 1.764 * [taylor]: Taking taylor expansion of 0 in t 1.764 * [taylor]: Taking taylor expansion of 0 in y 1.764 * [taylor]: Taking taylor expansion of 0 in z 1.764 * [taylor]: Taking taylor expansion of 0 in z 1.764 * [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 0 in t 1.765 * [taylor]: Taking taylor expansion of 0 in t 1.765 * [taylor]: Taking taylor expansion of 0 in y 1.765 * [taylor]: Taking taylor expansion of 0 in z 1.765 * [taylor]: Taking taylor expansion of 0 in z 1.765 * [taylor]: Taking taylor expansion of 0 in z 1.765 * [taylor]: Taking taylor expansion of 0 in z 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.766 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.766 * [approximate]: Taking taylor expansion of (* 1/16 (* t z)) in (z t) around 0 1.766 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.766 * [taylor]: Taking taylor expansion of 1/16 in t 1.766 * [taylor]: Taking taylor expansion of (* t z) in t 1.766 * [taylor]: Taking taylor expansion of t in t 1.766 * [taylor]: Taking taylor expansion of z in t 1.766 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.766 * [taylor]: Taking taylor expansion of 1/16 in z 1.766 * [taylor]: Taking taylor expansion of (* t z) in z 1.766 * [taylor]: Taking taylor expansion of t in z 1.766 * [taylor]: Taking taylor expansion of z in z 1.766 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.766 * [taylor]: Taking taylor expansion of 1/16 in z 1.766 * [taylor]: Taking taylor expansion of (* t z) in z 1.766 * [taylor]: Taking taylor expansion of t in z 1.766 * [taylor]: Taking taylor expansion of z in z 1.766 * [taylor]: Taking taylor expansion of 0 in t 1.767 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.767 * [taylor]: Taking taylor expansion of 1/16 in t 1.767 * [taylor]: Taking taylor expansion of t 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 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0 1.767 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t 1.767 * [taylor]: Taking taylor expansion of 1/16 in t 1.767 * [taylor]: Taking taylor expansion of (* t z) in t 1.767 * [taylor]: Taking taylor expansion of t in t 1.767 * [taylor]: Taking taylor expansion of z in t 1.767 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.767 * [taylor]: Taking taylor expansion of 1/16 in z 1.767 * [taylor]: Taking taylor expansion of (* t z) in z 1.767 * [taylor]: Taking taylor expansion of t in z 1.767 * [taylor]: Taking taylor expansion of z in z 1.767 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.768 * [taylor]: Taking taylor expansion of 1/16 in z 1.768 * [taylor]: Taking taylor expansion of (* t z) in z 1.768 * [taylor]: Taking taylor expansion of t in z 1.768 * [taylor]: Taking taylor expansion of z in z 1.768 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.768 * [taylor]: Taking taylor expansion of 1/16 in t 1.768 * [taylor]: Taking taylor expansion of t in t 1.768 * [taylor]: Taking taylor expansion of 0 in t 1.768 * [taylor]: Taking taylor expansion of 0 in t 1.768 * [taylor]: Taking taylor expansion of 0 in t 1.768 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0 1.769 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t 1.769 * [taylor]: Taking taylor expansion of 1/16 in t 1.769 * [taylor]: Taking taylor expansion of (* t z) in t 1.769 * [taylor]: Taking taylor expansion of t in t 1.769 * [taylor]: Taking taylor expansion of z in t 1.769 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.769 * [taylor]: Taking taylor expansion of 1/16 in z 1.769 * [taylor]: Taking taylor expansion of (* t z) in z 1.769 * [taylor]: Taking taylor expansion of t in z 1.769 * [taylor]: Taking taylor expansion of z in z 1.769 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.769 * [taylor]: Taking taylor expansion of 1/16 in z 1.769 * [taylor]: Taking taylor expansion of (* t z) in z 1.769 * [taylor]: Taking taylor expansion of t in z 1.769 * [taylor]: Taking taylor expansion of z in z 1.769 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.769 * [taylor]: Taking taylor expansion of 1/16 in t 1.769 * [taylor]: Taking taylor expansion of t in t 1.769 * [taylor]: Taking taylor expansion of 0 in t 1.769 * [taylor]: Taking taylor expansion of 0 in t 1.770 * [taylor]: Taking taylor expansion of 0 in t 1.770 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 1.770 * [approximate]: Taking taylor expansion of (* 1/4 (* a b)) in (a b) around 0 1.770 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in b 1.770 * [taylor]: Taking taylor expansion of 1/4 in b 1.770 * [taylor]: Taking taylor expansion of (* a b) in b 1.770 * [taylor]: Taking taylor expansion of a in b 1.770 * [taylor]: Taking taylor expansion of b in b 1.770 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.770 * [taylor]: Taking taylor expansion of 1/4 in a 1.770 * [taylor]: Taking taylor expansion of (* a b) in a 1.770 * [taylor]: Taking taylor expansion of a in a 1.770 * [taylor]: Taking taylor expansion of b in a 1.770 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.770 * [taylor]: Taking taylor expansion of 1/4 in a 1.770 * [taylor]: Taking taylor expansion of (* a b) in a 1.770 * [taylor]: Taking taylor expansion of a in a 1.770 * [taylor]: Taking taylor expansion of b in a 1.770 * [taylor]: Taking taylor expansion of 0 in b 1.770 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 1.770 * [taylor]: Taking taylor expansion of 1/4 in b 1.770 * [taylor]: Taking taylor expansion of b in b 1.770 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [taylor]: Taking taylor expansion of 0 in b 1.771 * [approximate]: Taking taylor expansion of (/ 1/4 (* a b)) in (a b) around 0 1.771 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in b 1.771 * [taylor]: Taking taylor expansion of 1/4 in b 1.771 * [taylor]: Taking taylor expansion of (* a b) in b 1.771 * [taylor]: Taking taylor expansion of a in b 1.771 * [taylor]: Taking taylor expansion of b in b 1.771 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.771 * [taylor]: Taking taylor expansion of 1/4 in a 1.771 * [taylor]: Taking taylor expansion of (* a b) in a 1.771 * [taylor]: Taking taylor expansion of a in a 1.771 * [taylor]: Taking taylor expansion of b in a 1.771 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.771 * [taylor]: Taking taylor expansion of 1/4 in a 1.771 * [taylor]: Taking taylor expansion of (* a b) in a 1.771 * [taylor]: Taking taylor expansion of a in a 1.771 * [taylor]: Taking taylor expansion of b in a 1.771 * [taylor]: Taking taylor expansion of (/ 1/4 b) in b 1.771 * [taylor]: Taking taylor expansion of 1/4 in b 1.771 * [taylor]: Taking taylor expansion of b in b 1.772 * [taylor]: Taking taylor expansion of 0 in b 1.772 * [taylor]: Taking taylor expansion of 0 in b 1.772 * [taylor]: Taking taylor expansion of 0 in b 1.772 * [approximate]: Taking taylor expansion of (/ 1/4 (* a b)) in (a b) around 0 1.772 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in b 1.772 * [taylor]: Taking taylor expansion of 1/4 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/4 (* a b)) in a 1.772 * [taylor]: Taking taylor expansion of 1/4 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/4 (* a b)) in a 1.772 * [taylor]: Taking taylor expansion of 1/4 in a 1.773 * [taylor]: Taking taylor expansion of (* a b) in a 1.773 * [taylor]: Taking taylor expansion of a in a 1.773 * [taylor]: Taking taylor expansion of b in a 1.773 * [taylor]: Taking taylor expansion of (/ 1/4 b) in b 1.773 * [taylor]: Taking taylor expansion of 1/4 in b 1.773 * [taylor]: Taking taylor expansion of b in b 1.773 * [taylor]: Taking taylor expansion of 0 in b 1.773 * [taylor]: Taking taylor expansion of 0 in b 1.773 * [taylor]: Taking taylor expansion of 0 in b 1.773 * * * [progress]: simplifying candidates 1.775 * [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.811 * * [simplify]: iteration 0 : 4951 enodes (cost 925 ) 1.811 * * [simplify]: iteration 1 : 4951 enodes (cost 925 ) 1.815 * [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.815 * * * [progress]: adding candidates to table 1.889 * * [progress]: iteration 2 / 4 1.889 * * * [progress]: picking best candidate 1.893 * * * * [pick]: Picked # 1.893 * * * [progress]: localizing error 1.906 * * * [progress]: generating rewritten candidates 1.906 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.912 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 1.934 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 1.940 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 1.949 * * * [progress]: generating series expansions 1.949 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.949 * [approximate]: Taking taylor expansion of (* 1/4 (* a b)) in (a b) around 0 1.949 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in b 1.949 * [taylor]: Taking taylor expansion of 1/4 in b 1.949 * [taylor]: Taking taylor expansion of (* a b) in b 1.949 * [taylor]: Taking taylor expansion of a in b 1.949 * [taylor]: Taking taylor expansion of b in b 1.949 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.949 * [taylor]: Taking taylor expansion of 1/4 in a 1.949 * [taylor]: Taking taylor expansion of (* a b) in a 1.949 * [taylor]: Taking taylor expansion of a in a 1.949 * [taylor]: Taking taylor expansion of b in a 1.949 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.949 * [taylor]: Taking taylor expansion of 1/4 in a 1.949 * [taylor]: Taking taylor expansion of (* a b) in a 1.949 * [taylor]: Taking taylor expansion of a in a 1.949 * [taylor]: Taking taylor expansion of b in a 1.949 * [taylor]: Taking taylor expansion of 0 in b 1.949 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 1.949 * [taylor]: Taking taylor expansion of 1/4 in b 1.949 * [taylor]: Taking taylor expansion of b in b 1.950 * [taylor]: Taking taylor expansion of 0 in b 1.950 * [taylor]: Taking taylor expansion of 0 in b 1.950 * [taylor]: Taking taylor expansion of 0 in b 1.950 * [approximate]: Taking taylor expansion of (/ 1/4 (* a b)) in (a b) around 0 1.950 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in b 1.950 * [taylor]: Taking taylor expansion of 1/4 in b 1.950 * [taylor]: Taking taylor expansion of (* a b) in b 1.950 * [taylor]: Taking taylor expansion of a in b 1.950 * [taylor]: Taking taylor expansion of b in b 1.950 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.950 * [taylor]: Taking taylor expansion of 1/4 in a 1.950 * [taylor]: Taking taylor expansion of (* a b) in a 1.950 * [taylor]: Taking taylor expansion of a in a 1.950 * [taylor]: Taking taylor expansion of b in a 1.950 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.950 * [taylor]: Taking taylor expansion of 1/4 in a 1.950 * [taylor]: Taking taylor expansion of (* a b) in a 1.950 * [taylor]: Taking taylor expansion of a in a 1.950 * [taylor]: Taking taylor expansion of b in a 1.951 * [taylor]: Taking taylor expansion of (/ 1/4 b) in b 1.951 * [taylor]: Taking taylor expansion of 1/4 in b 1.951 * [taylor]: Taking taylor expansion of b in b 1.951 * [taylor]: Taking taylor expansion of 0 in b 1.951 * [taylor]: Taking taylor expansion of 0 in b 1.951 * [taylor]: Taking taylor expansion of 0 in b 1.951 * [approximate]: Taking taylor expansion of (/ 1/4 (* a b)) in (a b) around 0 1.951 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in b 1.951 * [taylor]: Taking taylor expansion of 1/4 in b 1.951 * [taylor]: Taking taylor expansion of (* a b) in b 1.951 * [taylor]: Taking taylor expansion of a in b 1.952 * [taylor]: Taking taylor expansion of b in b 1.952 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.952 * [taylor]: Taking taylor expansion of 1/4 in a 1.952 * [taylor]: Taking taylor expansion of (* a b) in a 1.952 * [taylor]: Taking taylor expansion of a in a 1.952 * [taylor]: Taking taylor expansion of b in a 1.952 * [taylor]: Taking taylor expansion of (/ 1/4 (* a b)) in a 1.952 * [taylor]: Taking taylor expansion of 1/4 in a 1.952 * [taylor]: Taking taylor expansion of (* a b) in a 1.952 * [taylor]: Taking taylor expansion of a in a 1.952 * [taylor]: Taking taylor expansion of b in a 1.952 * [taylor]: Taking taylor expansion of (/ 1/4 b) in b 1.952 * [taylor]: Taking taylor expansion of 1/4 in b 1.952 * [taylor]: Taking taylor expansion of b in b 1.952 * [taylor]: Taking taylor expansion of 0 in b 1.952 * [taylor]: Taking taylor expansion of 0 in b 1.952 * [taylor]: Taking taylor expansion of 0 in b 1.953 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 1.953 * [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.953 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in b 1.953 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in b 1.953 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in b 1.953 * [taylor]: Taking taylor expansion of 1/16 in b 1.953 * [taylor]: Taking taylor expansion of (* t z) in b 1.953 * [taylor]: Taking taylor expansion of t in b 1.953 * [taylor]: Taking taylor expansion of z in b 1.953 * [taylor]: Taking taylor expansion of (* x y) in b 1.953 * [taylor]: Taking taylor expansion of x in b 1.953 * [taylor]: Taking taylor expansion of y in b 1.953 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in b 1.953 * [taylor]: Taking taylor expansion of 1/4 in b 1.953 * [taylor]: Taking taylor expansion of (* a b) in b 1.953 * [taylor]: Taking taylor expansion of a in b 1.953 * [taylor]: Taking taylor expansion of b in b 1.953 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in a 1.953 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in a 1.953 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in a 1.953 * [taylor]: Taking taylor expansion of 1/16 in a 1.953 * [taylor]: Taking taylor expansion of (* t z) in a 1.953 * [taylor]: Taking taylor expansion of t in a 1.953 * [taylor]: Taking taylor expansion of z in a 1.953 * [taylor]: Taking taylor expansion of (* x y) in a 1.953 * [taylor]: Taking taylor expansion of x in a 1.953 * [taylor]: Taking taylor expansion of y in a 1.953 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.953 * [taylor]: Taking taylor expansion of 1/4 in a 1.953 * [taylor]: Taking taylor expansion of (* a b) in a 1.953 * [taylor]: Taking taylor expansion of a in a 1.953 * [taylor]: Taking taylor expansion of b in a 1.953 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in t 1.953 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in t 1.953 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.953 * [taylor]: Taking taylor expansion of 1/16 in t 1.953 * [taylor]: Taking taylor expansion of (* t z) in t 1.953 * [taylor]: Taking taylor expansion of t in t 1.953 * [taylor]: Taking taylor expansion of z in t 1.953 * [taylor]: Taking taylor expansion of (* x y) in t 1.954 * [taylor]: Taking taylor expansion of x in t 1.954 * [taylor]: Taking taylor expansion of y in t 1.954 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in t 1.954 * [taylor]: Taking taylor expansion of 1/4 in t 1.954 * [taylor]: Taking taylor expansion of (* a b) in t 1.954 * [taylor]: Taking taylor expansion of a in t 1.954 * [taylor]: Taking taylor expansion of b in t 1.954 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in z 1.954 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in z 1.954 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.954 * [taylor]: Taking taylor expansion of 1/16 in z 1.954 * [taylor]: Taking taylor expansion of (* t z) in z 1.954 * [taylor]: Taking taylor expansion of t in z 1.954 * [taylor]: Taking taylor expansion of z in z 1.954 * [taylor]: Taking taylor expansion of (* x y) in z 1.954 * [taylor]: Taking taylor expansion of x in z 1.954 * [taylor]: Taking taylor expansion of y in z 1.954 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in z 1.954 * [taylor]: Taking taylor expansion of 1/4 in z 1.954 * [taylor]: Taking taylor expansion of (* a b) in z 1.954 * [taylor]: Taking taylor expansion of a in z 1.954 * [taylor]: Taking taylor expansion of b in z 1.954 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in y 1.954 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in y 1.954 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.954 * [taylor]: Taking taylor expansion of 1/16 in y 1.954 * [taylor]: Taking taylor expansion of (* t z) in y 1.954 * [taylor]: Taking taylor expansion of t in y 1.954 * [taylor]: Taking taylor expansion of z in y 1.954 * [taylor]: Taking taylor expansion of (* x y) in y 1.954 * [taylor]: Taking taylor expansion of x in y 1.954 * [taylor]: Taking taylor expansion of y in y 1.954 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in y 1.954 * [taylor]: Taking taylor expansion of 1/4 in y 1.954 * [taylor]: Taking taylor expansion of (* a b) in y 1.954 * [taylor]: Taking taylor expansion of a in y 1.954 * [taylor]: Taking taylor expansion of b in y 1.954 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in x 1.954 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.954 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.954 * [taylor]: Taking taylor expansion of 1/16 in x 1.954 * [taylor]: Taking taylor expansion of (* t z) in x 1.954 * [taylor]: Taking taylor expansion of t in x 1.954 * [taylor]: Taking taylor expansion of z in x 1.954 * [taylor]: Taking taylor expansion of (* x y) in x 1.954 * [taylor]: Taking taylor expansion of x in x 1.954 * [taylor]: Taking taylor expansion of y in x 1.954 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in x 1.954 * [taylor]: Taking taylor expansion of 1/4 in x 1.954 * [taylor]: Taking taylor expansion of (* a b) in x 1.954 * [taylor]: Taking taylor expansion of a in x 1.954 * [taylor]: Taking taylor expansion of b in x 1.954 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (* t z)) (* x y)) (* 1/4 (* a b))) in x 1.954 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.954 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.954 * [taylor]: Taking taylor expansion of 1/16 in x 1.954 * [taylor]: Taking taylor expansion of (* t z) in x 1.954 * [taylor]: Taking taylor expansion of t in x 1.954 * [taylor]: Taking taylor expansion of z in x 1.954 * [taylor]: Taking taylor expansion of (* x y) in x 1.954 * [taylor]: Taking taylor expansion of x in x 1.954 * [taylor]: Taking taylor expansion of y in x 1.954 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in x 1.954 * [taylor]: Taking taylor expansion of 1/4 in x 1.954 * [taylor]: Taking taylor expansion of (* a b) in x 1.954 * [taylor]: Taking taylor expansion of a in x 1.954 * [taylor]: Taking taylor expansion of b in x 1.955 * [taylor]: Taking taylor expansion of (- (* 1/16 (* t z)) (* 1/4 (* a b))) in y 1.955 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.955 * [taylor]: Taking taylor expansion of 1/16 in y 1.955 * [taylor]: Taking taylor expansion of (* t z) in y 1.955 * [taylor]: Taking taylor expansion of t in y 1.955 * [taylor]: Taking taylor expansion of z in y 1.955 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in y 1.955 * [taylor]: Taking taylor expansion of 1/4 in y 1.955 * [taylor]: Taking taylor expansion of (* a b) in y 1.955 * [taylor]: Taking taylor expansion of a in y 1.955 * [taylor]: Taking taylor expansion of b in y 1.955 * [taylor]: Taking taylor expansion of (- (* 1/16 (* t z)) (* 1/4 (* a b))) in z 1.955 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.955 * [taylor]: Taking taylor expansion of 1/16 in z 1.955 * [taylor]: Taking taylor expansion of (* t z) in z 1.955 * [taylor]: Taking taylor expansion of t in z 1.955 * [taylor]: Taking taylor expansion of z in z 1.955 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in z 1.955 * [taylor]: Taking taylor expansion of 1/4 in z 1.955 * [taylor]: Taking taylor expansion of (* a b) in z 1.955 * [taylor]: Taking taylor expansion of a in z 1.955 * [taylor]: Taking taylor expansion of b in z 1.955 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* a b))) in t 1.955 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in t 1.955 * [taylor]: Taking taylor expansion of 1/4 in t 1.955 * [taylor]: Taking taylor expansion of (* a b) in t 1.955 * [taylor]: Taking taylor expansion of a in t 1.955 * [taylor]: Taking taylor expansion of b in t 1.956 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* a b))) in a 1.956 * [taylor]: Taking taylor expansion of (* 1/4 (* a b)) in a 1.956 * [taylor]: Taking taylor expansion of 1/4 in a 1.956 * [taylor]: Taking taylor expansion of (* a b) in a 1.956 * [taylor]: Taking taylor expansion of a in a 1.956 * [taylor]: Taking taylor expansion of b in a 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of y in y 1.956 * [taylor]: Taking taylor expansion of 0 in z 1.956 * [taylor]: Taking taylor expansion of 0 in t 1.956 * [taylor]: Taking taylor expansion of 0 in a 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in z 1.956 * [taylor]: Taking taylor expansion of 0 in t 1.956 * [taylor]: Taking taylor expansion of 0 in a 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.956 * [taylor]: Taking taylor expansion of 1/16 in t 1.956 * [taylor]: Taking taylor expansion of t in t 1.956 * [taylor]: Taking taylor expansion of 0 in a 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.957 * [taylor]: Taking taylor expansion of 0 in a 1.957 * [taylor]: Taking taylor expansion of 0 in b 1.957 * [taylor]: Taking taylor expansion of (neg (* 1/4 b)) in b 1.957 * [taylor]: Taking taylor expansion of (* 1/4 b) in b 1.957 * [taylor]: Taking taylor expansion of 1/4 in b 1.957 * [taylor]: Taking taylor expansion of b in b 1.957 * [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.957 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in b 1.957 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.957 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in b 1.957 * [taylor]: Taking taylor expansion of 1/16 in b 1.957 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.957 * [taylor]: Taking taylor expansion of (* t z) in b 1.957 * [taylor]: Taking taylor expansion of t in b 1.957 * [taylor]: Taking taylor expansion of z in b 1.957 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.957 * [taylor]: Taking taylor expansion of (* x y) in b 1.957 * [taylor]: Taking taylor expansion of x in b 1.957 * [taylor]: Taking taylor expansion of y in b 1.957 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in b 1.957 * [taylor]: Taking taylor expansion of 1/4 in b 1.957 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.957 * [taylor]: Taking taylor expansion of (* a b) in b 1.957 * [taylor]: Taking taylor expansion of a in b 1.957 * [taylor]: Taking taylor expansion of b in b 1.958 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in a 1.958 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.958 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in a 1.958 * [taylor]: Taking taylor expansion of 1/16 in a 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.958 * [taylor]: Taking taylor expansion of (* t z) in a 1.958 * [taylor]: Taking taylor expansion of t in a 1.958 * [taylor]: Taking taylor expansion of z in a 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.958 * [taylor]: Taking taylor expansion of (* x y) in a 1.958 * [taylor]: Taking taylor expansion of x in a 1.958 * [taylor]: Taking taylor expansion of y in a 1.958 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.958 * [taylor]: Taking taylor expansion of 1/4 in a 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.958 * [taylor]: Taking taylor expansion of (* a b) in a 1.958 * [taylor]: Taking taylor expansion of a in a 1.958 * [taylor]: Taking taylor expansion of b in a 1.958 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in t 1.958 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.958 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.958 * [taylor]: Taking taylor expansion of 1/16 in t 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.958 * [taylor]: Taking taylor expansion of (* t z) in t 1.958 * [taylor]: Taking taylor expansion of t in t 1.958 * [taylor]: Taking taylor expansion of z in t 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.958 * [taylor]: Taking taylor expansion of (* x y) in t 1.958 * [taylor]: Taking taylor expansion of x in t 1.958 * [taylor]: Taking taylor expansion of y in t 1.958 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.958 * [taylor]: Taking taylor expansion of 1/4 in t 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.958 * [taylor]: Taking taylor expansion of (* a b) in t 1.958 * [taylor]: Taking taylor expansion of a in t 1.958 * [taylor]: Taking taylor expansion of b in t 1.958 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in z 1.958 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.958 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.958 * [taylor]: Taking taylor expansion of 1/16 in z 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.958 * [taylor]: Taking taylor expansion of (* t z) in z 1.958 * [taylor]: Taking taylor expansion of t in z 1.958 * [taylor]: Taking taylor expansion of z in z 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.959 * [taylor]: Taking taylor expansion of (* x y) in z 1.959 * [taylor]: Taking taylor expansion of x in z 1.959 * [taylor]: Taking taylor expansion of y in z 1.959 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.959 * [taylor]: Taking taylor expansion of 1/4 in z 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.959 * [taylor]: Taking taylor expansion of (* a b) in z 1.959 * [taylor]: Taking taylor expansion of a in z 1.959 * [taylor]: Taking taylor expansion of b in z 1.959 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in y 1.959 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.959 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.959 * [taylor]: Taking taylor expansion of 1/16 in y 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.959 * [taylor]: Taking taylor expansion of (* t z) in y 1.959 * [taylor]: Taking taylor expansion of t in y 1.959 * [taylor]: Taking taylor expansion of z in y 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.959 * [taylor]: Taking taylor expansion of (* x y) in y 1.959 * [taylor]: Taking taylor expansion of x in y 1.959 * [taylor]: Taking taylor expansion of y in y 1.959 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.959 * [taylor]: Taking taylor expansion of 1/4 in y 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.959 * [taylor]: Taking taylor expansion of (* a b) in y 1.959 * [taylor]: Taking taylor expansion of a in y 1.959 * [taylor]: Taking taylor expansion of b in y 1.959 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.959 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.959 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.959 * [taylor]: Taking taylor expansion of 1/16 in x 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.959 * [taylor]: Taking taylor expansion of (* t z) in x 1.959 * [taylor]: Taking taylor expansion of t in x 1.959 * [taylor]: Taking taylor expansion of z in x 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.959 * [taylor]: Taking taylor expansion of (* x y) in x 1.959 * [taylor]: Taking taylor expansion of x in x 1.959 * [taylor]: Taking taylor expansion of y in x 1.959 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.960 * [taylor]: Taking taylor expansion of 1/4 in x 1.960 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.960 * [taylor]: Taking taylor expansion of (* a b) in x 1.960 * [taylor]: Taking taylor expansion of a in x 1.960 * [taylor]: Taking taylor expansion of b in x 1.960 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.960 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.960 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.960 * [taylor]: Taking taylor expansion of 1/16 in x 1.960 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.960 * [taylor]: Taking taylor expansion of (* t z) in x 1.960 * [taylor]: Taking taylor expansion of t in x 1.960 * [taylor]: Taking taylor expansion of z in x 1.960 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.960 * [taylor]: Taking taylor expansion of (* x y) in x 1.960 * [taylor]: Taking taylor expansion of x in x 1.960 * [taylor]: Taking taylor expansion of y in x 1.960 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.960 * [taylor]: Taking taylor expansion of 1/4 in x 1.960 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.960 * [taylor]: Taking taylor expansion of (* a b) in x 1.960 * [taylor]: Taking taylor expansion of a in x 1.960 * [taylor]: Taking taylor expansion of b in x 1.960 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.960 * [taylor]: Taking taylor expansion of y in y 1.960 * [taylor]: Taking taylor expansion of 1 in z 1.961 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in y 1.961 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.961 * [taylor]: Taking taylor expansion of 1/16 in y 1.961 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.961 * [taylor]: Taking taylor expansion of (* t z) in y 1.961 * [taylor]: Taking taylor expansion of t in y 1.961 * [taylor]: Taking taylor expansion of z in y 1.961 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.961 * [taylor]: Taking taylor expansion of 1/4 in y 1.961 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.961 * [taylor]: Taking taylor expansion of (* a b) in y 1.961 * [taylor]: Taking taylor expansion of a in y 1.961 * [taylor]: Taking taylor expansion of b in y 1.961 * [taylor]: Taking taylor expansion of 0 in z 1.961 * [taylor]: Taking taylor expansion of 1 in t 1.961 * [taylor]: Taking taylor expansion of 0 in y 1.962 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in z 1.962 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.962 * [taylor]: Taking taylor expansion of 1/16 in z 1.962 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.962 * [taylor]: Taking taylor expansion of (* t z) in z 1.962 * [taylor]: Taking taylor expansion of t in z 1.962 * [taylor]: Taking taylor expansion of z in z 1.962 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.962 * [taylor]: Taking taylor expansion of 1/4 in z 1.962 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.962 * [taylor]: Taking taylor expansion of (* a b) in z 1.962 * [taylor]: Taking taylor expansion of a in z 1.962 * [taylor]: Taking taylor expansion of b in z 1.962 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 t)) in t 1.962 * [taylor]: Taking taylor expansion of 1/16 in t 1.962 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.962 * [taylor]: Taking taylor expansion of t in t 1.962 * [taylor]: Taking taylor expansion of 1/16 in a 1.962 * [taylor]: Taking taylor expansion of 0 in z 1.962 * [taylor]: Taking taylor expansion of 0 in t 1.962 * [taylor]: Taking taylor expansion of 0 in t 1.962 * [taylor]: Taking taylor expansion of 1 in a 1.963 * [taylor]: Taking taylor expansion of 0 in y 1.963 * [taylor]: Taking taylor expansion of 0 in z 1.963 * [taylor]: Taking taylor expansion of 0 in z 1.963 * [taylor]: Taking taylor expansion of 0 in z 1.964 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in t 1.964 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.964 * [taylor]: Taking taylor expansion of 1/4 in t 1.964 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.964 * [taylor]: Taking taylor expansion of (* a b) in t 1.964 * [taylor]: Taking taylor expansion of a in t 1.964 * [taylor]: Taking taylor expansion of b in t 1.964 * [taylor]: Taking taylor expansion of 0 in t 1.964 * [taylor]: Taking taylor expansion of 0 in t 1.964 * [taylor]: Taking taylor expansion of 0 in t 1.964 * [taylor]: Taking taylor expansion of 0 in a 1.964 * [taylor]: Taking taylor expansion of 0 in a 1.964 * [taylor]: Taking taylor expansion of 0 in a 1.964 * [taylor]: Taking taylor expansion of 0 in a 1.964 * [taylor]: Taking taylor expansion of 1/16 in b 1.964 * [taylor]: Taking taylor expansion of 1 in b 1.965 * [taylor]: Taking taylor expansion of 0 in y 1.965 * [taylor]: Taking taylor expansion of 0 in z 1.965 * [taylor]: Taking taylor expansion of 0 in z 1.965 * [taylor]: Taking taylor expansion of 0 in z 1.966 * [taylor]: Taking taylor expansion of 0 in z 1.966 * [taylor]: Taking taylor expansion of 0 in t 1.966 * [taylor]: Taking taylor expansion of 0 in t 1.966 * [taylor]: Taking taylor expansion of 0 in t 1.966 * [taylor]: Taking taylor expansion of 0 in t 1.966 * [taylor]: Taking taylor expansion of 0 in t 1.966 * [taylor]: Taking taylor expansion of 0 in t 1.966 * [taylor]: Taking taylor expansion of 0 in t 1.966 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in a 1.966 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.966 * [taylor]: Taking taylor expansion of 1/4 in a 1.966 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.966 * [taylor]: Taking taylor expansion of (* a b) in a 1.966 * [taylor]: Taking taylor expansion of a in a 1.966 * [taylor]: Taking taylor expansion of b in a 1.966 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 b))) in b 1.966 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 1.966 * [taylor]: Taking taylor expansion of 1/4 in b 1.966 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.966 * [taylor]: Taking taylor expansion of b in b 1.967 * [taylor]: Taking taylor expansion of 0 in a 1.967 * [taylor]: Taking taylor expansion of 0 in a 1.967 * [taylor]: Taking taylor expansion of 0 in a 1.967 * [taylor]: Taking taylor expansion of 0 in a 1.967 * [taylor]: Taking taylor expansion of 0 in a 1.967 * [taylor]: Taking taylor expansion of 0 in a 1.967 * [taylor]: Taking taylor expansion of 0 in a 1.967 * [taylor]: Taking taylor expansion of 0 in b 1.967 * [taylor]: Taking taylor expansion of 0 in b 1.967 * [taylor]: Taking taylor expansion of 0 in b 1.967 * [taylor]: Taking taylor expansion of 0 in b 1.967 * [taylor]: Taking taylor expansion of 0 in b 1.967 * [taylor]: Taking taylor expansion of 0 in b 1.968 * [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.968 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in b 1.968 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in b 1.968 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in b 1.968 * [taylor]: Taking taylor expansion of 1/16 in b 1.968 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in b 1.968 * [taylor]: Taking taylor expansion of (* t z) in b 1.968 * [taylor]: Taking taylor expansion of t in b 1.968 * [taylor]: Taking taylor expansion of z in b 1.968 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in b 1.968 * [taylor]: Taking taylor expansion of (* x y) in b 1.968 * [taylor]: Taking taylor expansion of x in b 1.968 * [taylor]: Taking taylor expansion of y in b 1.968 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in b 1.968 * [taylor]: Taking taylor expansion of 1/4 in b 1.968 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.968 * [taylor]: Taking taylor expansion of (* a b) in b 1.968 * [taylor]: Taking taylor expansion of a in b 1.968 * [taylor]: Taking taylor expansion of b in b 1.968 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in a 1.968 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in a 1.969 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in a 1.969 * [taylor]: Taking taylor expansion of 1/16 in a 1.969 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in a 1.969 * [taylor]: Taking taylor expansion of (* t z) in a 1.969 * [taylor]: Taking taylor expansion of t in a 1.969 * [taylor]: Taking taylor expansion of z in a 1.969 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in a 1.969 * [taylor]: Taking taylor expansion of (* x y) in a 1.969 * [taylor]: Taking taylor expansion of x in a 1.969 * [taylor]: Taking taylor expansion of y in a 1.969 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.969 * [taylor]: Taking taylor expansion of 1/4 in a 1.969 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.969 * [taylor]: Taking taylor expansion of (* a b) in a 1.969 * [taylor]: Taking taylor expansion of a in a 1.969 * [taylor]: Taking taylor expansion of b in a 1.969 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in t 1.969 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.969 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.969 * [taylor]: Taking taylor expansion of 1/16 in t 1.969 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.969 * [taylor]: Taking taylor expansion of (* t z) in t 1.969 * [taylor]: Taking taylor expansion of t in t 1.969 * [taylor]: Taking taylor expansion of z in t 1.969 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.969 * [taylor]: Taking taylor expansion of (* x y) in t 1.969 * [taylor]: Taking taylor expansion of x in t 1.969 * [taylor]: Taking taylor expansion of y in t 1.969 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.969 * [taylor]: Taking taylor expansion of 1/4 in t 1.969 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.969 * [taylor]: Taking taylor expansion of (* a b) in t 1.969 * [taylor]: Taking taylor expansion of a in t 1.969 * [taylor]: Taking taylor expansion of b in t 1.969 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in z 1.969 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.969 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.969 * [taylor]: Taking taylor expansion of 1/16 in z 1.969 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.969 * [taylor]: Taking taylor expansion of (* t z) in z 1.969 * [taylor]: Taking taylor expansion of t in z 1.969 * [taylor]: Taking taylor expansion of z in z 1.969 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.970 * [taylor]: Taking taylor expansion of (* x y) in z 1.970 * [taylor]: Taking taylor expansion of x in z 1.970 * [taylor]: Taking taylor expansion of y in z 1.970 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.970 * [taylor]: Taking taylor expansion of 1/4 in z 1.970 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.970 * [taylor]: Taking taylor expansion of (* a b) in z 1.970 * [taylor]: Taking taylor expansion of a in z 1.970 * [taylor]: Taking taylor expansion of b in z 1.970 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in y 1.970 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.970 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.970 * [taylor]: Taking taylor expansion of 1/16 in y 1.970 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.970 * [taylor]: Taking taylor expansion of (* t z) in y 1.970 * [taylor]: Taking taylor expansion of t in y 1.970 * [taylor]: Taking taylor expansion of z in y 1.970 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.970 * [taylor]: Taking taylor expansion of (* x y) in y 1.970 * [taylor]: Taking taylor expansion of x in y 1.970 * [taylor]: Taking taylor expansion of y in y 1.970 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.970 * [taylor]: Taking taylor expansion of 1/4 in y 1.970 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.970 * [taylor]: Taking taylor expansion of (* a b) in y 1.970 * [taylor]: Taking taylor expansion of a in y 1.970 * [taylor]: Taking taylor expansion of b in y 1.970 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.970 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.970 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.970 * [taylor]: Taking taylor expansion of 1/16 in x 1.970 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.970 * [taylor]: Taking taylor expansion of (* t z) in x 1.970 * [taylor]: Taking taylor expansion of t in x 1.970 * [taylor]: Taking taylor expansion of z in x 1.970 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.970 * [taylor]: Taking taylor expansion of (* x y) in x 1.970 * [taylor]: Taking taylor expansion of x in x 1.970 * [taylor]: Taking taylor expansion of y in x 1.970 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.970 * [taylor]: Taking taylor expansion of 1/4 in x 1.970 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.970 * [taylor]: Taking taylor expansion of (* a b) in x 1.970 * [taylor]: Taking taylor expansion of a in x 1.970 * [taylor]: Taking taylor expansion of b in x 1.971 * [taylor]: Taking taylor expansion of (- (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) (* 1/4 (/ 1 (* a b)))) in x 1.971 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.971 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.971 * [taylor]: Taking taylor expansion of 1/16 in x 1.971 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.971 * [taylor]: Taking taylor expansion of (* t z) in x 1.971 * [taylor]: Taking taylor expansion of t in x 1.971 * [taylor]: Taking taylor expansion of z in x 1.971 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.971 * [taylor]: Taking taylor expansion of (* x y) in x 1.971 * [taylor]: Taking taylor expansion of x in x 1.971 * [taylor]: Taking taylor expansion of y in x 1.971 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in x 1.971 * [taylor]: Taking taylor expansion of 1/4 in x 1.971 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.971 * [taylor]: Taking taylor expansion of (* a b) in x 1.971 * [taylor]: Taking taylor expansion of a in x 1.971 * [taylor]: Taking taylor expansion of b in x 1.971 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.971 * [taylor]: Taking taylor expansion of y in y 1.971 * [taylor]: Taking taylor expansion of 1 in z 1.972 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in y 1.972 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.972 * [taylor]: Taking taylor expansion of 1/16 in y 1.972 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.972 * [taylor]: Taking taylor expansion of (* t z) in y 1.972 * [taylor]: Taking taylor expansion of t in y 1.972 * [taylor]: Taking taylor expansion of z in y 1.972 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in y 1.972 * [taylor]: Taking taylor expansion of 1/4 in y 1.972 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.972 * [taylor]: Taking taylor expansion of (* a b) in y 1.972 * [taylor]: Taking taylor expansion of a in y 1.972 * [taylor]: Taking taylor expansion of b in y 1.972 * [taylor]: Taking taylor expansion of 0 in z 1.972 * [taylor]: Taking taylor expansion of 1 in t 1.973 * [taylor]: Taking taylor expansion of 0 in y 1.973 * [taylor]: Taking taylor expansion of (- (* 1/16 (/ 1 (* t z))) (* 1/4 (/ 1 (* a b)))) in z 1.973 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.973 * [taylor]: Taking taylor expansion of 1/16 in z 1.973 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.973 * [taylor]: Taking taylor expansion of (* t z) in z 1.973 * [taylor]: Taking taylor expansion of t in z 1.973 * [taylor]: Taking taylor expansion of z in z 1.973 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in z 1.973 * [taylor]: Taking taylor expansion of 1/4 in z 1.973 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.973 * [taylor]: Taking taylor expansion of (* a b) in z 1.973 * [taylor]: Taking taylor expansion of a in z 1.973 * [taylor]: Taking taylor expansion of b in z 1.973 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 t)) in t 1.973 * [taylor]: Taking taylor expansion of 1/16 in t 1.973 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.973 * [taylor]: Taking taylor expansion of t in t 1.973 * [taylor]: Taking taylor expansion of 1/16 in a 1.974 * [taylor]: Taking taylor expansion of 0 in z 1.974 * [taylor]: Taking taylor expansion of 0 in t 1.974 * [taylor]: Taking taylor expansion of 0 in t 1.974 * [taylor]: Taking taylor expansion of 1 in a 1.974 * [taylor]: Taking taylor expansion of 0 in y 1.974 * [taylor]: Taking taylor expansion of 0 in z 1.975 * [taylor]: Taking taylor expansion of 0 in z 1.975 * [taylor]: Taking taylor expansion of 0 in z 1.975 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in t 1.975 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in t 1.975 * [taylor]: Taking taylor expansion of 1/4 in t 1.975 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.975 * [taylor]: Taking taylor expansion of (* a b) in t 1.975 * [taylor]: Taking taylor expansion of a in t 1.975 * [taylor]: Taking taylor expansion of b in t 1.975 * [taylor]: Taking taylor expansion of 0 in t 1.975 * [taylor]: Taking taylor expansion of 0 in t 1.975 * [taylor]: Taking taylor expansion of 0 in t 1.975 * [taylor]: Taking taylor expansion of 0 in a 1.975 * [taylor]: Taking taylor expansion of 0 in a 1.975 * [taylor]: Taking taylor expansion of 0 in a 1.975 * [taylor]: Taking taylor expansion of 0 in a 1.975 * [taylor]: Taking taylor expansion of 1/16 in b 1.975 * [taylor]: Taking taylor expansion of 1 in b 1.976 * [taylor]: Taking taylor expansion of 0 in y 1.976 * [taylor]: Taking taylor expansion of 0 in z 1.976 * [taylor]: Taking taylor expansion of 0 in z 1.977 * [taylor]: Taking taylor expansion of 0 in z 1.977 * [taylor]: Taking taylor expansion of 0 in z 1.977 * [taylor]: Taking taylor expansion of 0 in t 1.977 * [taylor]: Taking taylor expansion of 0 in t 1.977 * [taylor]: Taking taylor expansion of 0 in t 1.977 * [taylor]: Taking taylor expansion of 0 in t 1.977 * [taylor]: Taking taylor expansion of 0 in t 1.977 * [taylor]: Taking taylor expansion of 0 in t 1.977 * [taylor]: Taking taylor expansion of 0 in t 1.977 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 (* a b)))) in a 1.977 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 (* a b))) in a 1.977 * [taylor]: Taking taylor expansion of 1/4 in a 1.977 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.977 * [taylor]: Taking taylor expansion of (* a b) in a 1.977 * [taylor]: Taking taylor expansion of a in a 1.977 * [taylor]: Taking taylor expansion of b in a 1.978 * [taylor]: Taking taylor expansion of (neg (* 1/4 (/ 1 b))) in b 1.978 * [taylor]: Taking taylor expansion of (* 1/4 (/ 1 b)) in b 1.978 * [taylor]: Taking taylor expansion of 1/4 in b 1.978 * [taylor]: Taking taylor expansion of (/ 1 b) in b 1.978 * [taylor]: Taking taylor expansion of b in b 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [taylor]: Taking taylor expansion of 0 in a 1.978 * [taylor]: Taking taylor expansion of 0 in b 1.978 * [taylor]: Taking taylor expansion of 0 in b 1.978 * [taylor]: Taking taylor expansion of 0 in b 1.978 * [taylor]: Taking taylor expansion of 0 in b 1.978 * [taylor]: Taking taylor expansion of 0 in b 1.978 * [taylor]: Taking taylor expansion of 0 in b 1.979 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 1.979 * [approximate]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in (x y z t) around 0 1.979 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in t 1.979 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.979 * [taylor]: Taking taylor expansion of 1/16 in t 1.979 * [taylor]: Taking taylor expansion of (* t z) in t 1.979 * [taylor]: Taking taylor expansion of t in t 1.979 * [taylor]: Taking taylor expansion of z in t 1.979 * [taylor]: Taking taylor expansion of (* x y) in t 1.979 * [taylor]: Taking taylor expansion of x in t 1.979 * [taylor]: Taking taylor expansion of y in t 1.979 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in z 1.979 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.979 * [taylor]: Taking taylor expansion of 1/16 in z 1.979 * [taylor]: Taking taylor expansion of (* t z) in z 1.979 * [taylor]: Taking taylor expansion of t in z 1.979 * [taylor]: Taking taylor expansion of z in z 1.979 * [taylor]: Taking taylor expansion of (* x y) in z 1.979 * [taylor]: Taking taylor expansion of x in z 1.979 * [taylor]: Taking taylor expansion of y in z 1.979 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in y 1.979 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.979 * [taylor]: Taking taylor expansion of 1/16 in y 1.979 * [taylor]: Taking taylor expansion of (* t z) in y 1.979 * [taylor]: Taking taylor expansion of t in y 1.979 * [taylor]: Taking taylor expansion of z in y 1.979 * [taylor]: Taking taylor expansion of (* x y) in y 1.979 * [taylor]: Taking taylor expansion of x in y 1.979 * [taylor]: Taking taylor expansion of y in y 1.979 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.980 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.980 * [taylor]: Taking taylor expansion of 1/16 in x 1.980 * [taylor]: Taking taylor expansion of (* t z) in x 1.980 * [taylor]: Taking taylor expansion of t in x 1.980 * [taylor]: Taking taylor expansion of z in x 1.980 * [taylor]: Taking taylor expansion of (* x y) in x 1.980 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of y in x 1.980 * [taylor]: Taking taylor expansion of (+ (* 1/16 (* t z)) (* x y)) in x 1.980 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in x 1.980 * [taylor]: Taking taylor expansion of 1/16 in x 1.980 * [taylor]: Taking taylor expansion of (* t z) in x 1.980 * [taylor]: Taking taylor expansion of t in x 1.980 * [taylor]: Taking taylor expansion of z in x 1.980 * [taylor]: Taking taylor expansion of (* x y) in x 1.980 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of y in x 1.980 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in y 1.980 * [taylor]: Taking taylor expansion of 1/16 in y 1.980 * [taylor]: Taking taylor expansion of (* t z) in y 1.980 * [taylor]: Taking taylor expansion of t in y 1.980 * [taylor]: Taking taylor expansion of z in y 1.980 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in z 1.980 * [taylor]: Taking taylor expansion of 1/16 in z 1.980 * [taylor]: Taking taylor expansion of (* t z) in z 1.980 * [taylor]: Taking taylor expansion of t in z 1.980 * [taylor]: Taking taylor expansion of z in z 1.980 * [taylor]: Taking taylor expansion of 0 in t 1.980 * [taylor]: Taking taylor expansion of y in y 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of 0 in t 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of 0 in t 1.980 * [taylor]: Taking taylor expansion of (* 1/16 t) in t 1.981 * [taylor]: Taking taylor expansion of 1/16 in t 1.981 * [taylor]: Taking taylor expansion of t in t 1.981 * [taylor]: Taking taylor expansion of 0 in y 1.981 * [taylor]: Taking taylor expansion of 0 in z 1.981 * [taylor]: Taking taylor expansion of 0 in t 1.981 * [approximate]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 1.981 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.981 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.981 * [taylor]: Taking taylor expansion of 1/16 in t 1.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.981 * [taylor]: Taking taylor expansion of (* t z) in t 1.981 * [taylor]: Taking taylor expansion of t in t 1.981 * [taylor]: Taking taylor expansion of z in t 1.981 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.981 * [taylor]: Taking taylor expansion of (* x y) in t 1.981 * [taylor]: Taking taylor expansion of x in t 1.981 * [taylor]: Taking taylor expansion of y in t 1.981 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.981 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.981 * [taylor]: Taking taylor expansion of 1/16 in z 1.981 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.981 * [taylor]: Taking taylor expansion of (* t z) in z 1.981 * [taylor]: Taking taylor expansion of t in z 1.981 * [taylor]: Taking taylor expansion of z in z 1.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.982 * [taylor]: Taking taylor expansion of (* x y) in z 1.982 * [taylor]: Taking taylor expansion of x in z 1.982 * [taylor]: Taking taylor expansion of y in z 1.982 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.982 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.982 * [taylor]: Taking taylor expansion of 1/16 in y 1.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.982 * [taylor]: Taking taylor expansion of (* t z) in y 1.982 * [taylor]: Taking taylor expansion of t in y 1.982 * [taylor]: Taking taylor expansion of z in y 1.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.982 * [taylor]: Taking taylor expansion of (* x y) in y 1.982 * [taylor]: Taking taylor expansion of x in y 1.982 * [taylor]: Taking taylor expansion of y in y 1.982 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.982 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.982 * [taylor]: Taking taylor expansion of 1/16 in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.982 * [taylor]: Taking taylor expansion of (* t z) in x 1.982 * [taylor]: Taking taylor expansion of t in x 1.982 * [taylor]: Taking taylor expansion of z in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.982 * [taylor]: Taking taylor expansion of (* x y) in x 1.982 * [taylor]: Taking taylor expansion of x in x 1.982 * [taylor]: Taking taylor expansion of y in x 1.982 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.982 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.982 * [taylor]: Taking taylor expansion of 1/16 in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.982 * [taylor]: Taking taylor expansion of (* t z) in x 1.982 * [taylor]: Taking taylor expansion of t in x 1.982 * [taylor]: Taking taylor expansion of z in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.982 * [taylor]: Taking taylor expansion of (* x y) in x 1.982 * [taylor]: Taking taylor expansion of x in x 1.982 * [taylor]: Taking taylor expansion of y in x 1.983 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.983 * [taylor]: Taking taylor expansion of y in y 1.983 * [taylor]: Taking taylor expansion of 1 in z 1.983 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.983 * [taylor]: Taking taylor expansion of 1/16 in y 1.983 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.983 * [taylor]: Taking taylor expansion of (* t z) in y 1.983 * [taylor]: Taking taylor expansion of t in y 1.983 * [taylor]: Taking taylor expansion of z in y 1.983 * [taylor]: Taking taylor expansion of 0 in z 1.983 * [taylor]: Taking taylor expansion of 1 in t 1.983 * [taylor]: Taking taylor expansion of 0 in y 1.983 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.983 * [taylor]: Taking taylor expansion of 1/16 in z 1.983 * [taylor]: Taking taylor expansion of (* t z) in z 1.983 * [taylor]: Taking taylor expansion of t in z 1.983 * [taylor]: Taking taylor expansion of z in z 1.983 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.983 * [taylor]: Taking taylor expansion of 1/16 in t 1.984 * [taylor]: Taking taylor expansion of t in t 1.984 * [taylor]: Taking taylor expansion of 0 in z 1.984 * [taylor]: Taking taylor expansion of 0 in t 1.984 * [taylor]: Taking taylor expansion of 0 in t 1.984 * [taylor]: Taking taylor expansion of 0 in y 1.984 * [taylor]: Taking taylor expansion of 0 in z 1.984 * [taylor]: Taking taylor expansion of 0 in z 1.984 * [taylor]: Taking taylor expansion of 0 in z 1.984 * [taylor]: Taking taylor expansion of 0 in t 1.984 * [taylor]: Taking taylor expansion of 0 in t 1.984 * [taylor]: Taking taylor expansion of 0 in t 1.985 * [taylor]: Taking taylor expansion of 0 in t 1.985 * [taylor]: Taking taylor expansion of 0 in y 1.985 * [taylor]: Taking taylor expansion of 0 in z 1.985 * [taylor]: Taking taylor expansion of 0 in z 1.985 * [taylor]: Taking taylor expansion of 0 in z 1.985 * [taylor]: Taking taylor expansion of 0 in z 1.985 * [taylor]: Taking taylor expansion of 0 in t 1.985 * [taylor]: Taking taylor expansion of 0 in t 1.985 * [taylor]: Taking taylor expansion of 0 in t 1.986 * [taylor]: Taking taylor expansion of 0 in t 1.986 * [taylor]: Taking taylor expansion of 0 in t 1.986 * [taylor]: Taking taylor expansion of 0 in t 1.986 * [taylor]: Taking taylor expansion of 0 in t 1.986 * [approximate]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in (x y z t) around 0 1.986 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in t 1.986 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in t 1.986 * [taylor]: Taking taylor expansion of 1/16 in t 1.986 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in t 1.986 * [taylor]: Taking taylor expansion of (* t z) in t 1.986 * [taylor]: Taking taylor expansion of t in t 1.986 * [taylor]: Taking taylor expansion of z in t 1.986 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in t 1.986 * [taylor]: Taking taylor expansion of (* x y) in t 1.986 * [taylor]: Taking taylor expansion of x in t 1.986 * [taylor]: Taking taylor expansion of y in t 1.986 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in z 1.986 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in z 1.986 * [taylor]: Taking taylor expansion of 1/16 in z 1.986 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.987 * [taylor]: Taking taylor expansion of (* t z) in z 1.987 * [taylor]: Taking taylor expansion of t in z 1.987 * [taylor]: Taking taylor expansion of z in z 1.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 1.987 * [taylor]: Taking taylor expansion of (* x y) in z 1.987 * [taylor]: Taking taylor expansion of x in z 1.987 * [taylor]: Taking taylor expansion of y in z 1.987 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in y 1.987 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.987 * [taylor]: Taking taylor expansion of 1/16 in y 1.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.987 * [taylor]: Taking taylor expansion of (* t z) in y 1.987 * [taylor]: Taking taylor expansion of t in y 1.987 * [taylor]: Taking taylor expansion of z in y 1.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 1.987 * [taylor]: Taking taylor expansion of (* x y) in y 1.987 * [taylor]: Taking taylor expansion of x in y 1.987 * [taylor]: Taking taylor expansion of y in y 1.987 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.987 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.987 * [taylor]: Taking taylor expansion of 1/16 in x 1.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.987 * [taylor]: Taking taylor expansion of (* t z) in x 1.987 * [taylor]: Taking taylor expansion of t in x 1.987 * [taylor]: Taking taylor expansion of z in x 1.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.987 * [taylor]: Taking taylor expansion of (* x y) in x 1.987 * [taylor]: Taking taylor expansion of x in x 1.987 * [taylor]: Taking taylor expansion of y in x 1.987 * [taylor]: Taking taylor expansion of (+ (* 1/16 (/ 1 (* t z))) (/ 1 (* x y))) in x 1.987 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in x 1.987 * [taylor]: Taking taylor expansion of 1/16 in x 1.987 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in x 1.987 * [taylor]: Taking taylor expansion of (* t z) in x 1.987 * [taylor]: Taking taylor expansion of t in x 1.987 * [taylor]: Taking taylor expansion of z in x 1.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 1.987 * [taylor]: Taking taylor expansion of (* x y) in x 1.987 * [taylor]: Taking taylor expansion of x in x 1.987 * [taylor]: Taking taylor expansion of y in x 1.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.988 * [taylor]: Taking taylor expansion of y in y 1.988 * [taylor]: Taking taylor expansion of 1 in z 1.988 * [taylor]: Taking taylor expansion of (* 1/16 (/ 1 (* t z))) in y 1.988 * [taylor]: Taking taylor expansion of 1/16 in y 1.988 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in y 1.988 * [taylor]: Taking taylor expansion of (* t z) in y 1.988 * [taylor]: Taking taylor expansion of t in y 1.988 * [taylor]: Taking taylor expansion of z in y 1.988 * [taylor]: Taking taylor expansion of 0 in z 1.988 * [taylor]: Taking taylor expansion of 1 in t 1.988 * [taylor]: Taking taylor expansion of 0 in y 1.988 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.988 * [taylor]: Taking taylor expansion of 1/16 in z 1.988 * [taylor]: Taking taylor expansion of (* t z) in z 1.988 * [taylor]: Taking taylor expansion of t in z 1.988 * [taylor]: Taking taylor expansion of z in z 1.989 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.989 * [taylor]: Taking taylor expansion of 1/16 in t 1.989 * [taylor]: Taking taylor expansion of t in t 1.989 * [taylor]: Taking taylor expansion of 0 in z 1.989 * [taylor]: Taking taylor expansion of 0 in t 1.989 * [taylor]: Taking taylor expansion of 0 in t 1.989 * [taylor]: Taking taylor expansion of 0 in y 1.989 * [taylor]: Taking taylor expansion of 0 in z 1.989 * [taylor]: Taking taylor expansion of 0 in z 1.989 * [taylor]: Taking taylor expansion of 0 in z 1.989 * [taylor]: Taking taylor expansion of 0 in t 1.989 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in y 1.990 * [taylor]: Taking taylor expansion of 0 in z 1.990 * [taylor]: Taking taylor expansion of 0 in z 1.990 * [taylor]: Taking taylor expansion of 0 in z 1.990 * [taylor]: Taking taylor expansion of 0 in z 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.990 * [taylor]: Taking taylor expansion of 0 in t 1.991 * [taylor]: Taking taylor expansion of 0 in t 1.991 * [taylor]: Taking taylor expansion of 0 in t 1.991 * [taylor]: Taking taylor expansion of 0 in t 1.991 * [taylor]: Taking taylor expansion of 0 in t 1.991 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 1.991 * [approximate]: Taking taylor expansion of (* 1/16 (* t z)) in (z t) around 0 1.991 * [taylor]: Taking taylor expansion of (* 1/16 (* t z)) in t 1.991 * [taylor]: Taking taylor expansion of 1/16 in t 1.991 * [taylor]: Taking taylor expansion of (* t z) in t 1.991 * [taylor]: Taking taylor expansion of t in t 1.991 * [taylor]: Taking taylor expansion of z in t 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/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 0 in t 1.991 * [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 t 1.992 * [taylor]: Taking taylor expansion of 0 in t 1.992 * [taylor]: Taking taylor expansion of 0 in t 1.992 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0 1.992 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t 1.992 * [taylor]: Taking taylor expansion of 1/16 in t 1.992 * [taylor]: Taking taylor expansion of (* t z) in t 1.992 * [taylor]: Taking taylor expansion of t in t 1.992 * [taylor]: Taking taylor expansion of z in t 1.992 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.992 * [taylor]: Taking taylor expansion of 1/16 in z 1.992 * [taylor]: Taking taylor expansion of (* t z) in z 1.992 * [taylor]: Taking taylor expansion of t in z 1.992 * [taylor]: Taking taylor expansion of z in z 1.992 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.992 * [taylor]: Taking taylor expansion of 1/16 in z 1.992 * [taylor]: Taking taylor expansion of (* t z) in z 1.992 * [taylor]: Taking taylor expansion of t in z 1.992 * [taylor]: Taking taylor expansion of z in z 1.993 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.993 * [taylor]: Taking taylor expansion of 1/16 in t 1.993 * [taylor]: Taking taylor expansion of t in t 1.993 * [taylor]: Taking taylor expansion of 0 in t 1.993 * [taylor]: Taking taylor expansion of 0 in t 1.993 * [taylor]: Taking taylor expansion of 0 in t 1.993 * [approximate]: Taking taylor expansion of (/ 1/16 (* t z)) in (z t) around 0 1.993 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in t 1.993 * [taylor]: Taking taylor expansion of 1/16 in t 1.993 * [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/16 (* t z)) in z 1.994 * [taylor]: Taking taylor expansion of 1/16 in z 1.994 * [taylor]: Taking taylor expansion of (* t z) in z 1.994 * [taylor]: Taking taylor expansion of t in z 1.994 * [taylor]: Taking taylor expansion of z in z 1.994 * [taylor]: Taking taylor expansion of (/ 1/16 (* t z)) in z 1.994 * [taylor]: Taking taylor expansion of 1/16 in z 1.994 * [taylor]: Taking taylor expansion of (* t z) in z 1.994 * [taylor]: Taking taylor expansion of t in z 1.994 * [taylor]: Taking taylor expansion of z in z 1.994 * [taylor]: Taking taylor expansion of (/ 1/16 t) in t 1.994 * [taylor]: Taking taylor expansion of 1/16 in t 1.994 * [taylor]: Taking taylor expansion of t in t 1.994 * [taylor]: Taking taylor expansion of 0 in t 1.994 * [taylor]: Taking taylor expansion of 0 in t 1.994 * [taylor]: Taking taylor expansion of 0 in t 1.995 * * * [progress]: simplifying candidates 1.996 * [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.034 * * [simplify]: iteration 0 : 4951 enodes (cost 1599 ) 2.035 * * [simplify]: iteration 1 : 4951 enodes (cost 1599 ) 2.041 * [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.044 * * * [progress]: adding candidates to table 2.169 * [progress]: [Phase 3 of 3] Extracting. 2.169 * * [regime]: Finding splitpoints for: (# #) 2.170 * * * [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.170 * * * * [regimes]: Trying to branch on (*.f64 a b) from (# #) 2.242 * * * * [regimes]: Trying to branch on (/.f64 (*.f64 a b) 4) from (# #) 2.315 * * * * [regimes]: Trying to branch on (*.f64 z t) from (# #) 2.386 * * * * [regimes]: Trying to branch on (/.f64 (*.f64 z t) 16) from (# #) 2.459 * * * * [regimes]: Trying to branch on (*.f64 x y) from (# #) 2.530 * * * * [regimes]: Trying to branch on (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) from (# #) 2.605 * * * * [regimes]: Trying to branch on (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) from (# #) 2.680 * * * * [regimes]: Trying to branch on (+.f64 (-.f64 (+.f64 (*.f64 x y) (/.f64 (*.f64 z t) 16)) (/.f64 (*.f64 a b) 4)) c) from (# #) 2.754 * * * * [regimes]: Trying to branch on c from (# #) 2.825 * * * * [regimes]: Trying to branch on b from (# #) 2.896 * * * * [regimes]: Trying to branch on a from (# #) 2.966 * * * * [regimes]: Trying to branch on t from (# #) 3.034 * * * * [regimes]: Trying to branch on z from (# #) 3.103 * * * * [regimes]: Trying to branch on y from (# #) 3.173 * * * * [regimes]: Trying to branch on x from (# #) 3.245 * * * [regime]: Found split indices: #