22.174 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 1.543 * * * [progress]: [2/2] Setting up program. 1.547 * [progress]: [Phase 2 of 3] Improving. 1.548 * [simplify]: Simplifying using # : (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (*.f64 (*.f64 a 27.0) b)) 1.591 * * [simplify]: iteration 0 : 838 enodes (cost 17 ) 1.591 * * [simplify]: iteration 1 : 838 enodes (cost 17 ) 1.592 * [simplify]: Simplified to: (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (*.f64 (*.f64 a 27.0) b)) 1.597 * * [progress]: iteration 1 / 4 1.597 * * * [progress]: picking best candidate 1.601 * * * * [pick]: Picked # 1.601 * * * [progress]: localizing error 1.614 * * * [progress]: generating rewritten candidates 1.614 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.621 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.626 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 1.631 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.637 * * * [progress]: generating series expansions 1.637 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.637 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0 1.637 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 1.637 * [taylor]: Taking taylor expansion of 9.0 in t 1.637 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.637 * [taylor]: Taking taylor expansion of t in t 1.637 * [taylor]: Taking taylor expansion of (* z y) in t 1.638 * [taylor]: Taking taylor expansion of z in t 1.638 * [taylor]: Taking taylor expansion of y in t 1.638 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 1.638 * [taylor]: Taking taylor expansion of 9.0 in z 1.638 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.638 * [taylor]: Taking taylor expansion of t in z 1.638 * [taylor]: Taking taylor expansion of (* z y) in z 1.638 * [taylor]: Taking taylor expansion of z in z 1.638 * [taylor]: Taking taylor expansion of y in z 1.638 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.638 * [taylor]: Taking taylor expansion of 9.0 in y 1.638 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.638 * [taylor]: Taking taylor expansion of t in y 1.638 * [taylor]: Taking taylor expansion of (* z y) in y 1.638 * [taylor]: Taking taylor expansion of z in y 1.638 * [taylor]: Taking taylor expansion of y in y 1.638 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.638 * [taylor]: Taking taylor expansion of 9.0 in y 1.638 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.638 * [taylor]: Taking taylor expansion of t in y 1.638 * [taylor]: Taking taylor expansion of (* z y) in y 1.638 * [taylor]: Taking taylor expansion of z in y 1.638 * [taylor]: Taking taylor expansion of y in y 1.638 * [taylor]: Taking taylor expansion of 0 in z 1.638 * [taylor]: Taking taylor expansion of 0 in t 1.638 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.638 * [taylor]: Taking taylor expansion of 9.0 in z 1.638 * [taylor]: Taking taylor expansion of (* t z) in z 1.638 * [taylor]: Taking taylor expansion of t in z 1.638 * [taylor]: Taking taylor expansion of z in z 1.638 * [taylor]: Taking taylor expansion of 0 in t 1.638 * [taylor]: Taking taylor expansion of 0 in t 1.639 * [taylor]: Taking taylor expansion of 0 in z 1.639 * [taylor]: Taking taylor expansion of 0 in t 1.639 * [taylor]: Taking taylor expansion of (* 9.0 t) in t 1.639 * [taylor]: Taking taylor expansion of 9.0 in t 1.639 * [taylor]: Taking taylor expansion of t in t 1.639 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0 1.639 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t 1.639 * [taylor]: Taking taylor expansion of 9.0 in t 1.639 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.639 * [taylor]: Taking taylor expansion of t in t 1.639 * [taylor]: Taking taylor expansion of (* z y) in t 1.639 * [taylor]: Taking taylor expansion of z in t 1.639 * [taylor]: Taking taylor expansion of y in t 1.639 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z 1.639 * [taylor]: Taking taylor expansion of 9.0 in z 1.639 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.639 * [taylor]: Taking taylor expansion of t in z 1.639 * [taylor]: Taking taylor expansion of (* z y) in z 1.639 * [taylor]: Taking taylor expansion of z in z 1.639 * [taylor]: Taking taylor expansion of y in z 1.639 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y 1.640 * [taylor]: Taking taylor expansion of 9.0 in y 1.640 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.640 * [taylor]: Taking taylor expansion of t in y 1.640 * [taylor]: Taking taylor expansion of (* z y) in y 1.640 * [taylor]: Taking taylor expansion of z in y 1.640 * [taylor]: Taking taylor expansion of y in y 1.640 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y 1.640 * [taylor]: Taking taylor expansion of 9.0 in y 1.640 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.640 * [taylor]: Taking taylor expansion of t in y 1.640 * [taylor]: Taking taylor expansion of (* z y) in y 1.640 * [taylor]: Taking taylor expansion of z in y 1.640 * [taylor]: Taking taylor expansion of y in y 1.640 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 1.640 * [taylor]: Taking taylor expansion of 9.0 in z 1.640 * [taylor]: Taking taylor expansion of (* t z) in z 1.640 * [taylor]: Taking taylor expansion of t in z 1.640 * [taylor]: Taking taylor expansion of z in z 1.640 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 1.640 * [taylor]: Taking taylor expansion of 9.0 in t 1.640 * [taylor]: Taking taylor expansion of t in t 1.641 * [taylor]: Taking taylor expansion of 0 in z 1.641 * [taylor]: Taking taylor expansion of 0 in t 1.641 * [taylor]: Taking taylor expansion of 0 in z 1.641 * [taylor]: Taking taylor expansion of 0 in t 1.641 * [taylor]: Taking taylor expansion of 0 in t 1.642 * [taylor]: Taking taylor expansion of 0 in z 1.642 * [taylor]: Taking taylor expansion of 0 in t 1.642 * [taylor]: Taking taylor expansion of 0 in t 1.642 * [taylor]: Taking taylor expansion of 0 in t 1.642 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0 1.643 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t 1.643 * [taylor]: Taking taylor expansion of -9.0 in t 1.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.643 * [taylor]: Taking taylor expansion of t in t 1.643 * [taylor]: Taking taylor expansion of (* z y) in t 1.643 * [taylor]: Taking taylor expansion of z in t 1.643 * [taylor]: Taking taylor expansion of y in t 1.643 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z 1.643 * [taylor]: Taking taylor expansion of -9.0 in z 1.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.643 * [taylor]: Taking taylor expansion of t in z 1.643 * [taylor]: Taking taylor expansion of (* z y) in z 1.643 * [taylor]: Taking taylor expansion of z in z 1.643 * [taylor]: Taking taylor expansion of y in z 1.643 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y 1.643 * [taylor]: Taking taylor expansion of -9.0 in y 1.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.643 * [taylor]: Taking taylor expansion of t in y 1.643 * [taylor]: Taking taylor expansion of (* z y) in y 1.643 * [taylor]: Taking taylor expansion of z in y 1.643 * [taylor]: Taking taylor expansion of y in y 1.643 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y 1.643 * [taylor]: Taking taylor expansion of -9.0 in y 1.643 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.643 * [taylor]: Taking taylor expansion of t in y 1.643 * [taylor]: Taking taylor expansion of (* z y) in y 1.643 * [taylor]: Taking taylor expansion of z in y 1.643 * [taylor]: Taking taylor expansion of y in y 1.644 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z 1.644 * [taylor]: Taking taylor expansion of -9.0 in z 1.644 * [taylor]: Taking taylor expansion of (* t z) in z 1.644 * [taylor]: Taking taylor expansion of t in z 1.644 * [taylor]: Taking taylor expansion of z in z 1.644 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t 1.644 * [taylor]: Taking taylor expansion of -9.0 in t 1.644 * [taylor]: Taking taylor expansion of t in t 1.644 * [taylor]: Taking taylor expansion of 0 in z 1.644 * [taylor]: Taking taylor expansion of 0 in t 1.645 * [taylor]: Taking taylor expansion of 0 in z 1.645 * [taylor]: Taking taylor expansion of 0 in t 1.645 * [taylor]: Taking taylor expansion of 0 in t 1.645 * [taylor]: Taking taylor expansion of 0 in z 1.645 * [taylor]: Taking taylor expansion of 0 in t 1.645 * [taylor]: Taking taylor expansion of 0 in t 1.645 * [taylor]: Taking taylor expansion of 0 in t 1.646 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.646 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0 1.646 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b 1.646 * [taylor]: Taking taylor expansion of 27.0 in b 1.646 * [taylor]: Taking taylor expansion of (* a b) in b 1.646 * [taylor]: Taking taylor expansion of a in b 1.646 * [taylor]: Taking taylor expansion of b in b 1.646 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 1.646 * [taylor]: Taking taylor expansion of 27.0 in a 1.646 * [taylor]: Taking taylor expansion of (* a b) in a 1.646 * [taylor]: Taking taylor expansion of a in a 1.646 * [taylor]: Taking taylor expansion of b in a 1.646 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 1.646 * [taylor]: Taking taylor expansion of 27.0 in a 1.646 * [taylor]: Taking taylor expansion of (* a b) in a 1.646 * [taylor]: Taking taylor expansion of a in a 1.646 * [taylor]: Taking taylor expansion of b in a 1.646 * [taylor]: Taking taylor expansion of 0 in b 1.646 * [taylor]: Taking taylor expansion of (* 27.0 b) in b 1.646 * [taylor]: Taking taylor expansion of 27.0 in b 1.646 * [taylor]: Taking taylor expansion of b in b 1.646 * [taylor]: Taking taylor expansion of 0 in b 1.647 * [taylor]: Taking taylor expansion of 0 in b 1.647 * [taylor]: Taking taylor expansion of 0 in b 1.647 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0 1.647 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b 1.647 * [taylor]: Taking taylor expansion of 27.0 in b 1.647 * [taylor]: Taking taylor expansion of (* a b) in b 1.647 * [taylor]: Taking taylor expansion of a in b 1.647 * [taylor]: Taking taylor expansion of b in b 1.647 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.647 * [taylor]: Taking taylor expansion of 27.0 in a 1.647 * [taylor]: Taking taylor expansion of (* a b) in a 1.647 * [taylor]: Taking taylor expansion of a in a 1.647 * [taylor]: Taking taylor expansion of b in a 1.647 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.647 * [taylor]: Taking taylor expansion of 27.0 in a 1.647 * [taylor]: Taking taylor expansion of (* a b) in a 1.647 * [taylor]: Taking taylor expansion of a in a 1.647 * [taylor]: Taking taylor expansion of b in a 1.648 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 1.648 * [taylor]: Taking taylor expansion of 27.0 in b 1.648 * [taylor]: Taking taylor expansion of b in b 1.648 * [taylor]: Taking taylor expansion of 0 in b 1.648 * [taylor]: Taking taylor expansion of 0 in b 1.648 * [taylor]: Taking taylor expansion of 0 in b 1.649 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0 1.649 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b 1.649 * [taylor]: Taking taylor expansion of 27.0 in b 1.649 * [taylor]: Taking taylor expansion of (* a b) in b 1.649 * [taylor]: Taking taylor expansion of a in b 1.649 * [taylor]: Taking taylor expansion of b in b 1.649 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.649 * [taylor]: Taking taylor expansion of 27.0 in a 1.649 * [taylor]: Taking taylor expansion of (* a b) in a 1.649 * [taylor]: Taking taylor expansion of a in a 1.649 * [taylor]: Taking taylor expansion of b in a 1.649 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.649 * [taylor]: Taking taylor expansion of 27.0 in a 1.649 * [taylor]: Taking taylor expansion of (* a b) in a 1.649 * [taylor]: Taking taylor expansion of a in a 1.649 * [taylor]: Taking taylor expansion of b in a 1.649 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 1.649 * [taylor]: Taking taylor expansion of 27.0 in b 1.649 * [taylor]: Taking taylor expansion of b in b 1.649 * [taylor]: Taking taylor expansion of 0 in b 1.650 * [taylor]: Taking taylor expansion of 0 in b 1.650 * [taylor]: Taking taylor expansion of 0 in b 1.650 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 1.650 * [approximate]: Taking taylor expansion of (* 9.0 (* z y)) in (y z) around 0 1.650 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z 1.650 * [taylor]: Taking taylor expansion of 9.0 in z 1.650 * [taylor]: Taking taylor expansion of (* z y) in z 1.650 * [taylor]: Taking taylor expansion of z in z 1.650 * [taylor]: Taking taylor expansion of y in z 1.650 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y 1.650 * [taylor]: Taking taylor expansion of 9.0 in y 1.650 * [taylor]: Taking taylor expansion of (* z y) in y 1.650 * [taylor]: Taking taylor expansion of z in y 1.650 * [taylor]: Taking taylor expansion of y in y 1.650 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y 1.650 * [taylor]: Taking taylor expansion of 9.0 in y 1.650 * [taylor]: Taking taylor expansion of (* z y) in y 1.650 * [taylor]: Taking taylor expansion of z in y 1.650 * [taylor]: Taking taylor expansion of y in y 1.651 * [taylor]: Taking taylor expansion of 0 in z 1.651 * [taylor]: Taking taylor expansion of (* 9.0 z) in z 1.651 * [taylor]: Taking taylor expansion of 9.0 in z 1.651 * [taylor]: Taking taylor expansion of z in z 1.651 * [taylor]: Taking taylor expansion of 0 in z 1.651 * [taylor]: Taking taylor expansion of 0 in z 1.651 * [taylor]: Taking taylor expansion of 0 in z 1.651 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0 1.651 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z 1.651 * [taylor]: Taking taylor expansion of 9.0 in z 1.651 * [taylor]: Taking taylor expansion of (* z y) in z 1.651 * [taylor]: Taking taylor expansion of z in z 1.652 * [taylor]: Taking taylor expansion of y in z 1.652 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y 1.652 * [taylor]: Taking taylor expansion of 9.0 in y 1.652 * [taylor]: Taking taylor expansion of (* z y) in y 1.652 * [taylor]: Taking taylor expansion of z in y 1.652 * [taylor]: Taking taylor expansion of y in y 1.652 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y 1.652 * [taylor]: Taking taylor expansion of 9.0 in y 1.652 * [taylor]: Taking taylor expansion of (* z y) in y 1.652 * [taylor]: Taking taylor expansion of z in y 1.652 * [taylor]: Taking taylor expansion of y in y 1.652 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z 1.652 * [taylor]: Taking taylor expansion of 9.0 in z 1.652 * [taylor]: Taking taylor expansion of z in z 1.652 * [taylor]: Taking taylor expansion of 0 in z 1.652 * [taylor]: Taking taylor expansion of 0 in z 1.653 * [taylor]: Taking taylor expansion of 0 in z 1.653 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0 1.653 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z 1.653 * [taylor]: Taking taylor expansion of 9.0 in z 1.653 * [taylor]: Taking taylor expansion of (* z y) in z 1.653 * [taylor]: Taking taylor expansion of z in z 1.653 * [taylor]: Taking taylor expansion of y in z 1.653 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y 1.653 * [taylor]: Taking taylor expansion of 9.0 in y 1.653 * [taylor]: Taking taylor expansion of (* z y) in y 1.653 * [taylor]: Taking taylor expansion of z in y 1.653 * [taylor]: Taking taylor expansion of y in y 1.653 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y 1.653 * [taylor]: Taking taylor expansion of 9.0 in y 1.653 * [taylor]: Taking taylor expansion of (* z y) in y 1.653 * [taylor]: Taking taylor expansion of z in y 1.653 * [taylor]: Taking taylor expansion of y in y 1.653 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z 1.654 * [taylor]: Taking taylor expansion of 9.0 in z 1.654 * [taylor]: Taking taylor expansion of z in z 1.654 * [taylor]: Taking taylor expansion of 0 in z 1.654 * [taylor]: Taking taylor expansion of 0 in z 1.654 * [taylor]: Taking taylor expansion of 0 in z 1.654 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.655 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0 1.655 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t 1.655 * [taylor]: Taking taylor expansion of (* 2.0 x) in t 1.655 * [taylor]: Taking taylor expansion of 2.0 in t 1.655 * [taylor]: Taking taylor expansion of x in t 1.655 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 1.655 * [taylor]: Taking taylor expansion of 9.0 in t 1.655 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.655 * [taylor]: Taking taylor expansion of t in t 1.655 * [taylor]: Taking taylor expansion of (* z y) in t 1.655 * [taylor]: Taking taylor expansion of z in t 1.655 * [taylor]: Taking taylor expansion of y in t 1.655 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z 1.655 * [taylor]: Taking taylor expansion of (* 2.0 x) in z 1.655 * [taylor]: Taking taylor expansion of 2.0 in z 1.655 * [taylor]: Taking taylor expansion of x in z 1.655 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 1.655 * [taylor]: Taking taylor expansion of 9.0 in z 1.655 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.655 * [taylor]: Taking taylor expansion of t in z 1.655 * [taylor]: Taking taylor expansion of (* z y) in z 1.655 * [taylor]: Taking taylor expansion of z in z 1.655 * [taylor]: Taking taylor expansion of y in z 1.655 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y 1.655 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 1.655 * [taylor]: Taking taylor expansion of 2.0 in y 1.655 * [taylor]: Taking taylor expansion of x in y 1.655 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.655 * [taylor]: Taking taylor expansion of 9.0 in y 1.655 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.655 * [taylor]: Taking taylor expansion of t in y 1.655 * [taylor]: Taking taylor expansion of (* z y) in y 1.655 * [taylor]: Taking taylor expansion of z in y 1.655 * [taylor]: Taking taylor expansion of y in y 1.655 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x 1.655 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.655 * [taylor]: Taking taylor expansion of 2.0 in x 1.655 * [taylor]: Taking taylor expansion of x in x 1.655 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 1.655 * [taylor]: Taking taylor expansion of 9.0 in x 1.655 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.655 * [taylor]: Taking taylor expansion of t in x 1.655 * [taylor]: Taking taylor expansion of (* z y) in x 1.655 * [taylor]: Taking taylor expansion of z in x 1.655 * [taylor]: Taking taylor expansion of y in x 1.655 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x 1.655 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.655 * [taylor]: Taking taylor expansion of 2.0 in x 1.656 * [taylor]: Taking taylor expansion of x in x 1.656 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 1.656 * [taylor]: Taking taylor expansion of 9.0 in x 1.656 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.656 * [taylor]: Taking taylor expansion of t in x 1.656 * [taylor]: Taking taylor expansion of (* z y) in x 1.656 * [taylor]: Taking taylor expansion of z in x 1.656 * [taylor]: Taking taylor expansion of y in x 1.656 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in y 1.656 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.656 * [taylor]: Taking taylor expansion of 9.0 in y 1.656 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.656 * [taylor]: Taking taylor expansion of t in y 1.656 * [taylor]: Taking taylor expansion of (* z y) in y 1.656 * [taylor]: Taking taylor expansion of z in y 1.656 * [taylor]: Taking taylor expansion of y in y 1.656 * [taylor]: Taking taylor expansion of 0 in z 1.656 * [taylor]: Taking taylor expansion of 0 in t 1.656 * [taylor]: Taking taylor expansion of 2.0 in y 1.656 * [taylor]: Taking taylor expansion of 2.0 in z 1.657 * [taylor]: Taking taylor expansion of 2.0 in t 1.657 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z 1.657 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.657 * [taylor]: Taking taylor expansion of 9.0 in z 1.657 * [taylor]: Taking taylor expansion of (* t z) in z 1.657 * [taylor]: Taking taylor expansion of t in z 1.657 * [taylor]: Taking taylor expansion of z in z 1.657 * [taylor]: Taking taylor expansion of 0 in t 1.657 * [taylor]: Taking taylor expansion of 0 in t 1.657 * [taylor]: Taking taylor expansion of 0 in y 1.657 * [taylor]: Taking taylor expansion of 0 in z 1.657 * [taylor]: Taking taylor expansion of 0 in t 1.657 * [taylor]: Taking taylor expansion of 0 in z 1.657 * [taylor]: Taking taylor expansion of 0 in t 1.658 * [taylor]: Taking taylor expansion of 0 in z 1.658 * [taylor]: Taking taylor expansion of 0 in t 1.658 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0 1.658 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t 1.658 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 1.658 * [taylor]: Taking taylor expansion of 2.0 in t 1.658 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.658 * [taylor]: Taking taylor expansion of x in t 1.658 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 1.658 * [taylor]: Taking taylor expansion of 9.0 in t 1.658 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 1.658 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.658 * [taylor]: Taking taylor expansion of t in t 1.658 * [taylor]: Taking taylor expansion of (* z y) in t 1.658 * [taylor]: Taking taylor expansion of z in t 1.658 * [taylor]: Taking taylor expansion of y in t 1.658 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z 1.658 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 1.658 * [taylor]: Taking taylor expansion of 2.0 in z 1.658 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.658 * [taylor]: Taking taylor expansion of x in z 1.658 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 1.658 * [taylor]: Taking taylor expansion of 9.0 in z 1.659 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 1.659 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.659 * [taylor]: Taking taylor expansion of t in z 1.659 * [taylor]: Taking taylor expansion of (* z y) in z 1.659 * [taylor]: Taking taylor expansion of z in z 1.659 * [taylor]: Taking taylor expansion of y in z 1.659 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y 1.659 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 1.659 * [taylor]: Taking taylor expansion of 2.0 in y 1.659 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.659 * [taylor]: Taking taylor expansion of x in y 1.659 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.659 * [taylor]: Taking taylor expansion of 9.0 in y 1.659 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.659 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.659 * [taylor]: Taking taylor expansion of t in y 1.659 * [taylor]: Taking taylor expansion of (* z y) in y 1.659 * [taylor]: Taking taylor expansion of z in y 1.659 * [taylor]: Taking taylor expansion of y in y 1.659 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x 1.659 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.659 * [taylor]: Taking taylor expansion of 2.0 in x 1.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.659 * [taylor]: Taking taylor expansion of x in x 1.659 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.659 * [taylor]: Taking taylor expansion of 9.0 in x 1.659 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.659 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.659 * [taylor]: Taking taylor expansion of t in x 1.659 * [taylor]: Taking taylor expansion of (* z y) in x 1.659 * [taylor]: Taking taylor expansion of z in x 1.659 * [taylor]: Taking taylor expansion of y in x 1.660 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x 1.660 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.660 * [taylor]: Taking taylor expansion of 2.0 in x 1.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.660 * [taylor]: Taking taylor expansion of x in x 1.660 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.660 * [taylor]: Taking taylor expansion of 9.0 in x 1.660 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.660 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.660 * [taylor]: Taking taylor expansion of t in x 1.660 * [taylor]: Taking taylor expansion of (* z y) in x 1.660 * [taylor]: Taking taylor expansion of z in x 1.660 * [taylor]: Taking taylor expansion of y in x 1.660 * [taylor]: Taking taylor expansion of 2.0 in y 1.660 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in y 1.660 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.660 * [taylor]: Taking taylor expansion of 9.0 in y 1.660 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.660 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.660 * [taylor]: Taking taylor expansion of t in y 1.660 * [taylor]: Taking taylor expansion of (* z y) in y 1.660 * [taylor]: Taking taylor expansion of z in y 1.660 * [taylor]: Taking taylor expansion of y in y 1.661 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z 1.661 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.661 * [taylor]: Taking taylor expansion of 9.0 in z 1.661 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.661 * [taylor]: Taking taylor expansion of (* t z) in z 1.661 * [taylor]: Taking taylor expansion of t in z 1.661 * [taylor]: Taking taylor expansion of z in z 1.661 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t 1.661 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t 1.661 * [taylor]: Taking taylor expansion of 9.0 in t 1.661 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.661 * [taylor]: Taking taylor expansion of t in t 1.661 * [taylor]: Taking taylor expansion of 2.0 in z 1.661 * [taylor]: Taking taylor expansion of 0 in y 1.662 * [taylor]: Taking taylor expansion of 0 in z 1.662 * [taylor]: Taking taylor expansion of 0 in z 1.662 * [taylor]: Taking taylor expansion of 0 in t 1.662 * [taylor]: Taking taylor expansion of 2.0 in t 1.663 * [taylor]: Taking taylor expansion of 0 in y 1.663 * [taylor]: Taking taylor expansion of 0 in z 1.663 * [taylor]: Taking taylor expansion of 0 in z 1.663 * [taylor]: Taking taylor expansion of 0 in z 1.663 * [taylor]: Taking taylor expansion of 0 in t 1.663 * [taylor]: Taking taylor expansion of 0 in t 1.664 * [taylor]: Taking taylor expansion of 0 in t 1.664 * [taylor]: Taking taylor expansion of 0 in t 1.664 * [taylor]: Taking taylor expansion of 0 in y 1.664 * [taylor]: Taking taylor expansion of 0 in z 1.665 * [taylor]: Taking taylor expansion of 0 in z 1.665 * [taylor]: Taking taylor expansion of 0 in z 1.665 * [taylor]: Taking taylor expansion of 0 in z 1.665 * [taylor]: Taking taylor expansion of 0 in t 1.665 * [taylor]: Taking taylor expansion of 0 in t 1.665 * [taylor]: Taking taylor expansion of 0 in t 1.665 * [taylor]: Taking taylor expansion of 0 in t 1.665 * [taylor]: Taking taylor expansion of 0 in t 1.665 * [taylor]: Taking taylor expansion of 0 in t 1.665 * [taylor]: Taking taylor expansion of 0 in t 1.666 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0 1.666 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t 1.666 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 1.666 * [taylor]: Taking taylor expansion of 9.0 in t 1.666 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 1.666 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.666 * [taylor]: Taking taylor expansion of t in t 1.666 * [taylor]: Taking taylor expansion of (* z y) in t 1.666 * [taylor]: Taking taylor expansion of z in t 1.666 * [taylor]: Taking taylor expansion of y in t 1.666 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 1.666 * [taylor]: Taking taylor expansion of 2.0 in t 1.666 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.666 * [taylor]: Taking taylor expansion of x in t 1.666 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z 1.666 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 1.667 * [taylor]: Taking taylor expansion of 9.0 in z 1.667 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 1.667 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.667 * [taylor]: Taking taylor expansion of t in z 1.667 * [taylor]: Taking taylor expansion of (* z y) in z 1.667 * [taylor]: Taking taylor expansion of z in z 1.667 * [taylor]: Taking taylor expansion of y in z 1.667 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 1.667 * [taylor]: Taking taylor expansion of 2.0 in z 1.667 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.667 * [taylor]: Taking taylor expansion of x in z 1.667 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y 1.667 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.667 * [taylor]: Taking taylor expansion of 9.0 in y 1.667 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.667 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.667 * [taylor]: Taking taylor expansion of t in y 1.667 * [taylor]: Taking taylor expansion of (* z y) in y 1.667 * [taylor]: Taking taylor expansion of z in y 1.667 * [taylor]: Taking taylor expansion of y in y 1.667 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 1.667 * [taylor]: Taking taylor expansion of 2.0 in y 1.667 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.667 * [taylor]: Taking taylor expansion of x in y 1.667 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x 1.667 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.667 * [taylor]: Taking taylor expansion of 9.0 in x 1.667 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.667 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.667 * [taylor]: Taking taylor expansion of t in x 1.667 * [taylor]: Taking taylor expansion of (* z y) in x 1.667 * [taylor]: Taking taylor expansion of z in x 1.667 * [taylor]: Taking taylor expansion of y in x 1.667 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.668 * [taylor]: Taking taylor expansion of 2.0 in x 1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.668 * [taylor]: Taking taylor expansion of x in x 1.668 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x 1.668 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.668 * [taylor]: Taking taylor expansion of 9.0 in x 1.668 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.668 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.668 * [taylor]: Taking taylor expansion of t in x 1.668 * [taylor]: Taking taylor expansion of (* z y) in x 1.668 * [taylor]: Taking taylor expansion of z in x 1.668 * [taylor]: Taking taylor expansion of y in x 1.668 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.668 * [taylor]: Taking taylor expansion of 2.0 in x 1.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.668 * [taylor]: Taking taylor expansion of x in x 1.668 * [taylor]: Taking taylor expansion of (neg 2.0) in y 1.668 * [taylor]: Taking taylor expansion of 2.0 in y 1.668 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.668 * [taylor]: Taking taylor expansion of 9.0 in y 1.668 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.668 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.668 * [taylor]: Taking taylor expansion of t in y 1.668 * [taylor]: Taking taylor expansion of (* z y) in y 1.668 * [taylor]: Taking taylor expansion of z in y 1.668 * [taylor]: Taking taylor expansion of y in y 1.669 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 1.669 * [taylor]: Taking taylor expansion of 9.0 in z 1.669 * [taylor]: Taking taylor expansion of (* t z) in z 1.669 * [taylor]: Taking taylor expansion of t in z 1.669 * [taylor]: Taking taylor expansion of z in z 1.669 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 1.669 * [taylor]: Taking taylor expansion of 9.0 in t 1.669 * [taylor]: Taking taylor expansion of t in t 1.669 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.669 * [taylor]: Taking taylor expansion of 2.0 in z 1.669 * [taylor]: Taking taylor expansion of 0 in y 1.670 * [taylor]: Taking taylor expansion of 0 in z 1.670 * [taylor]: Taking taylor expansion of 0 in z 1.670 * [taylor]: Taking taylor expansion of 0 in t 1.670 * [taylor]: Taking taylor expansion of (neg 2.0) in t 1.670 * [taylor]: Taking taylor expansion of 2.0 in t 1.670 * [taylor]: Taking taylor expansion of 0 in y 1.670 * [taylor]: Taking taylor expansion of 0 in z 1.671 * [taylor]: Taking taylor expansion of 0 in z 1.671 * [taylor]: Taking taylor expansion of 0 in z 1.671 * [taylor]: Taking taylor expansion of 0 in t 1.671 * [taylor]: Taking taylor expansion of 0 in t 1.671 * [taylor]: Taking taylor expansion of 0 in t 1.671 * [taylor]: Taking taylor expansion of 0 in t 1.672 * [taylor]: Taking taylor expansion of 0 in y 1.672 * [taylor]: Taking taylor expansion of 0 in z 1.672 * [taylor]: Taking taylor expansion of 0 in z 1.672 * [taylor]: Taking taylor expansion of 0 in z 1.672 * [taylor]: Taking taylor expansion of 0 in z 1.672 * [taylor]: Taking taylor expansion of 0 in t 1.672 * [taylor]: Taking taylor expansion of 0 in t 1.672 * [taylor]: Taking taylor expansion of 0 in t 1.672 * [taylor]: Taking taylor expansion of 0 in t 1.672 * [taylor]: Taking taylor expansion of 0 in t 1.673 * [taylor]: Taking taylor expansion of 0 in t 1.673 * [taylor]: Taking taylor expansion of 0 in t 1.673 * * * [progress]: simplifying candidates 1.674 * [simplify]: Simplifying using # : (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t) (+.f64 (+.f64 (+.f64 (log.f64 y) (log.f64 9.0)) (log.f64 z)) (log.f64 t)) (+.f64 (+.f64 (log.f64 (*.f64 y 9.0)) (log.f64 z)) (log.f64 t)) (+.f64 (log.f64 (*.f64 (*.f64 y 9.0) z)) (log.f64 t)) (log.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (exp.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 9.0 9.0) 9.0)) (*.f64 (*.f64 z z) z)) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) (*.f64 y 9.0)) (*.f64 y 9.0)) (*.f64 (*.f64 z z) z)) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) (*.f64 (*.f64 y 9.0) z)) (*.f64 (*.f64 y 9.0) z)) (*.f64 (*.f64 t t) t)) (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (cbrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (cbrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (sqrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (sqrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (*.f64 (*.f64 (*.f64 y 9.0) z) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (*.f64 (*.f64 y 9.0) z) (sqrt.f64 t)) (*.f64 (*.f64 (*.f64 y 9.0) z) 1) (*.f64 z t) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (+.f64 (+.f64 (log.f64 a) (log.f64 27.0)) (log.f64 b)) (+.f64 (log.f64 (*.f64 a 27.0)) (log.f64 b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (exp.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 27.0 27.0) 27.0)) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (*.f64 (*.f64 a 27.0) (*.f64 a 27.0)) (*.f64 a 27.0)) (*.f64 (*.f64 b b) b)) (*.f64 (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (cbrt.f64 (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (*.f64 a 27.0) (sqrt.f64 b)) (*.f64 (*.f64 a 27.0) 1) (*.f64 27.0 b) (*.f64 (*.f64 y 9.0) z) (*.f64 (*.f64 y 9.0) z) (+.f64 (+.f64 (log.f64 y) (log.f64 9.0)) (log.f64 z)) (+.f64 (log.f64 (*.f64 y 9.0)) (log.f64 z)) (log.f64 (*.f64 (*.f64 y 9.0) z)) (exp.f64 (*.f64 (*.f64 y 9.0) z)) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 9.0 9.0) 9.0)) (*.f64 (*.f64 z z) z)) (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) (*.f64 y 9.0)) (*.f64 y 9.0)) (*.f64 (*.f64 z z) z)) (*.f64 (cbrt.f64 (*.f64 (*.f64 y 9.0) z)) (cbrt.f64 (*.f64 (*.f64 y 9.0) z))) (cbrt.f64 (*.f64 (*.f64 y 9.0) z)) (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) (*.f64 (*.f64 y 9.0) z)) (*.f64 (*.f64 y 9.0) z)) (sqrt.f64 (*.f64 (*.f64 y 9.0) z)) (sqrt.f64 (*.f64 (*.f64 y 9.0) z)) (*.f64 (*.f64 y 9.0) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 (*.f64 y 9.0) (sqrt.f64 z)) (*.f64 (*.f64 y 9.0) 1) (*.f64 9.0 z) (/.f64 (exp.f64 (*.f64 x 2.0)) (exp.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (log.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (*.f64 (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (-.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) 3)) (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (+.f64 (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (*.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)))) (neg.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (+.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) 0 (*.f64 9.0 (*.f64 t (*.f64 z y))) (*.f64 9.0 (*.f64 t (*.f64 z y))) (*.f64 27.0 (*.f64 a b)) (*.f64 27.0 (*.f64 a b)) (*.f64 27.0 (*.f64 a b)) (*.f64 9.0 (*.f64 z y)) (*.f64 9.0 (*.f64 z y)) (*.f64 9.0 (*.f64 z y)) (*.f64 2.0 x) (-.f64 (*.f64 2.0 x) (*.f64 9.0 (*.f64 t (*.f64 z y)))) (-.f64 (*.f64 2.0 x) (*.f64 9.0 (*.f64 t (*.f64 z y)))) 1.717 * * [simplify]: iteration 0 : 5044 enodes (cost 643 ) 1.720 * [simplify]: Simplified to: (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t) (log.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (log.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (log.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (log.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (exp.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (pow.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) 3) (pow.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) 3) (pow.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (cbrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (cbrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (pow.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) 3) (sqrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (sqrt.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (*.f64 (*.f64 (*.f64 y 9.0) z) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (*.f64 (*.f64 y 9.0) z) (sqrt.f64 t)) (*.f64 (*.f64 y 9.0) z) (*.f64 z t) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (log.f64 (*.f64 (*.f64 a 27.0) b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (exp.f64 (*.f64 (*.f64 a 27.0) b)) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (cbrt.f64 (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (*.f64 a 27.0) (sqrt.f64 b)) (*.f64 a 27.0) (*.f64 27.0 b) (*.f64 (*.f64 y 9.0) z) (*.f64 (*.f64 y 9.0) z) (log.f64 (*.f64 (*.f64 y 9.0) z)) (log.f64 (*.f64 (*.f64 y 9.0) z)) (log.f64 (*.f64 (*.f64 y 9.0) z)) (exp.f64 (*.f64 (*.f64 y 9.0) z)) (pow.f64 (*.f64 (*.f64 y 9.0) z) 3) (pow.f64 (*.f64 (*.f64 y 9.0) z) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 y 9.0) z)) (cbrt.f64 (*.f64 (*.f64 y 9.0) z))) (cbrt.f64 (*.f64 (*.f64 y 9.0) z)) (pow.f64 (*.f64 (*.f64 y 9.0) z) 3) (sqrt.f64 (*.f64 (*.f64 y 9.0) z)) (sqrt.f64 (*.f64 (*.f64 y 9.0) z)) (*.f64 (*.f64 y 9.0) (*.f64 (cbrt.f64 z) (cbrt.f64 z))) (*.f64 (*.f64 y 9.0) (sqrt.f64 z)) (*.f64 y 9.0) (*.f64 9.0 z) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (log.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (pow.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) 3) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (-.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) 3)) (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 y 9.0) (*.f64 (*.f64 z t) (+.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 x 2.0))))) (neg.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t))) (+.f64 (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 x 2.0)) 0 (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 y 9.0) z) (*.f64 (*.f64 y 9.0) z) (*.f64 (*.f64 y 9.0) z) (*.f64 x 2.0) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) 1.720 * * * [progress]: adding candidates to table 1.836 * * [progress]: iteration 2 / 4 1.836 * * * [progress]: picking best candidate 1.862 * * * * [pick]: Picked # 1.862 * * * [progress]: localizing error 1.877 * * * [progress]: generating rewritten candidates 1.877 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 1.884 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 1.889 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 1.893 * * * * [progress]: [ 4 / 4 ] rewriting at (2) 1.903 * * * [progress]: generating series expansions 1.903 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 1.903 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0 1.903 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 1.903 * [taylor]: Taking taylor expansion of 9.0 in t 1.903 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.903 * [taylor]: Taking taylor expansion of t in t 1.903 * [taylor]: Taking taylor expansion of (* z y) in t 1.903 * [taylor]: Taking taylor expansion of z in t 1.903 * [taylor]: Taking taylor expansion of y in t 1.903 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 1.903 * [taylor]: Taking taylor expansion of 9.0 in z 1.903 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.903 * [taylor]: Taking taylor expansion of t in z 1.903 * [taylor]: Taking taylor expansion of (* z y) in z 1.903 * [taylor]: Taking taylor expansion of z in z 1.903 * [taylor]: Taking taylor expansion of y in z 1.903 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.903 * [taylor]: Taking taylor expansion of 9.0 in y 1.903 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.903 * [taylor]: Taking taylor expansion of t in y 1.903 * [taylor]: Taking taylor expansion of (* z y) in y 1.903 * [taylor]: Taking taylor expansion of z in y 1.903 * [taylor]: Taking taylor expansion of y in y 1.903 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.903 * [taylor]: Taking taylor expansion of 9.0 in y 1.903 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.903 * [taylor]: Taking taylor expansion of t in y 1.903 * [taylor]: Taking taylor expansion of (* z y) in y 1.903 * [taylor]: Taking taylor expansion of z in y 1.903 * [taylor]: Taking taylor expansion of y in y 1.903 * [taylor]: Taking taylor expansion of 0 in z 1.903 * [taylor]: Taking taylor expansion of 0 in t 1.904 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.904 * [taylor]: Taking taylor expansion of 9.0 in z 1.904 * [taylor]: Taking taylor expansion of (* t z) in z 1.904 * [taylor]: Taking taylor expansion of t in z 1.904 * [taylor]: Taking taylor expansion of z in z 1.904 * [taylor]: Taking taylor expansion of 0 in t 1.904 * [taylor]: Taking taylor expansion of 0 in t 1.904 * [taylor]: Taking taylor expansion of 0 in z 1.904 * [taylor]: Taking taylor expansion of 0 in t 1.904 * [taylor]: Taking taylor expansion of (* 9.0 t) in t 1.904 * [taylor]: Taking taylor expansion of 9.0 in t 1.904 * [taylor]: Taking taylor expansion of t in t 1.904 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0 1.904 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t 1.904 * [taylor]: Taking taylor expansion of 9.0 in t 1.904 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.904 * [taylor]: Taking taylor expansion of t in t 1.904 * [taylor]: Taking taylor expansion of (* z y) in t 1.904 * [taylor]: Taking taylor expansion of z in t 1.904 * [taylor]: Taking taylor expansion of y in t 1.905 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z 1.905 * [taylor]: Taking taylor expansion of 9.0 in z 1.905 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.905 * [taylor]: Taking taylor expansion of t in z 1.905 * [taylor]: Taking taylor expansion of (* z y) in z 1.905 * [taylor]: Taking taylor expansion of z in z 1.905 * [taylor]: Taking taylor expansion of y in z 1.905 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y 1.905 * [taylor]: Taking taylor expansion of 9.0 in y 1.905 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.905 * [taylor]: Taking taylor expansion of t in y 1.905 * [taylor]: Taking taylor expansion of (* z y) in y 1.905 * [taylor]: Taking taylor expansion of z in y 1.905 * [taylor]: Taking taylor expansion of y in y 1.905 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y 1.905 * [taylor]: Taking taylor expansion of 9.0 in y 1.905 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.905 * [taylor]: Taking taylor expansion of t in y 1.905 * [taylor]: Taking taylor expansion of (* z y) in y 1.905 * [taylor]: Taking taylor expansion of z in y 1.905 * [taylor]: Taking taylor expansion of y in y 1.905 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 1.905 * [taylor]: Taking taylor expansion of 9.0 in z 1.905 * [taylor]: Taking taylor expansion of (* t z) in z 1.905 * [taylor]: Taking taylor expansion of t in z 1.906 * [taylor]: Taking taylor expansion of z in z 1.906 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 1.906 * [taylor]: Taking taylor expansion of 9.0 in t 1.906 * [taylor]: Taking taylor expansion of t in t 1.906 * [taylor]: Taking taylor expansion of 0 in z 1.906 * [taylor]: Taking taylor expansion of 0 in t 1.906 * [taylor]: Taking taylor expansion of 0 in z 1.906 * [taylor]: Taking taylor expansion of 0 in t 1.907 * [taylor]: Taking taylor expansion of 0 in t 1.907 * [taylor]: Taking taylor expansion of 0 in z 1.907 * [taylor]: Taking taylor expansion of 0 in t 1.907 * [taylor]: Taking taylor expansion of 0 in t 1.907 * [taylor]: Taking taylor expansion of 0 in t 1.908 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0 1.908 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t 1.908 * [taylor]: Taking taylor expansion of -9.0 in t 1.908 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.908 * [taylor]: Taking taylor expansion of t in t 1.908 * [taylor]: Taking taylor expansion of (* z y) in t 1.908 * [taylor]: Taking taylor expansion of z in t 1.908 * [taylor]: Taking taylor expansion of y in t 1.908 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z 1.908 * [taylor]: Taking taylor expansion of -9.0 in z 1.908 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.908 * [taylor]: Taking taylor expansion of t in z 1.908 * [taylor]: Taking taylor expansion of (* z y) in z 1.908 * [taylor]: Taking taylor expansion of z in z 1.908 * [taylor]: Taking taylor expansion of y in z 1.908 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y 1.908 * [taylor]: Taking taylor expansion of -9.0 in y 1.908 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.908 * [taylor]: Taking taylor expansion of t in y 1.908 * [taylor]: Taking taylor expansion of (* z y) in y 1.908 * [taylor]: Taking taylor expansion of z in y 1.908 * [taylor]: Taking taylor expansion of y in y 1.909 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y 1.909 * [taylor]: Taking taylor expansion of -9.0 in y 1.909 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.909 * [taylor]: Taking taylor expansion of t in y 1.909 * [taylor]: Taking taylor expansion of (* z y) in y 1.909 * [taylor]: Taking taylor expansion of z in y 1.909 * [taylor]: Taking taylor expansion of y in y 1.909 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z 1.909 * [taylor]: Taking taylor expansion of -9.0 in z 1.909 * [taylor]: Taking taylor expansion of (* t z) in z 1.909 * [taylor]: Taking taylor expansion of t in z 1.909 * [taylor]: Taking taylor expansion of z in z 1.909 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t 1.909 * [taylor]: Taking taylor expansion of -9.0 in t 1.909 * [taylor]: Taking taylor expansion of t in t 1.909 * [taylor]: Taking taylor expansion of 0 in z 1.910 * [taylor]: Taking taylor expansion of 0 in t 1.910 * [taylor]: Taking taylor expansion of 0 in z 1.910 * [taylor]: Taking taylor expansion of 0 in t 1.910 * [taylor]: Taking taylor expansion of 0 in t 1.911 * [taylor]: Taking taylor expansion of 0 in z 1.911 * [taylor]: Taking taylor expansion of 0 in t 1.911 * [taylor]: Taking taylor expansion of 0 in t 1.911 * [taylor]: Taking taylor expansion of 0 in t 1.911 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 1.911 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0 1.911 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b 1.911 * [taylor]: Taking taylor expansion of 27.0 in b 1.911 * [taylor]: Taking taylor expansion of (* a b) in b 1.911 * [taylor]: Taking taylor expansion of a in b 1.911 * [taylor]: Taking taylor expansion of b in b 1.911 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 1.911 * [taylor]: Taking taylor expansion of 27.0 in a 1.911 * [taylor]: Taking taylor expansion of (* a b) in a 1.911 * [taylor]: Taking taylor expansion of a in a 1.911 * [taylor]: Taking taylor expansion of b in a 1.911 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 1.912 * [taylor]: Taking taylor expansion of 27.0 in a 1.912 * [taylor]: Taking taylor expansion of (* a b) in a 1.912 * [taylor]: Taking taylor expansion of a in a 1.912 * [taylor]: Taking taylor expansion of b in a 1.912 * [taylor]: Taking taylor expansion of 0 in b 1.912 * [taylor]: Taking taylor expansion of (* 27.0 b) in b 1.912 * [taylor]: Taking taylor expansion of 27.0 in b 1.912 * [taylor]: Taking taylor expansion of b in b 1.912 * [taylor]: Taking taylor expansion of 0 in b 1.912 * [taylor]: Taking taylor expansion of 0 in b 1.912 * [taylor]: Taking taylor expansion of 0 in b 1.913 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0 1.913 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b 1.913 * [taylor]: Taking taylor expansion of 27.0 in b 1.913 * [taylor]: Taking taylor expansion of (* a b) in b 1.913 * [taylor]: Taking taylor expansion of a in b 1.913 * [taylor]: Taking taylor expansion of b in b 1.913 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.913 * [taylor]: Taking taylor expansion of 27.0 in a 1.913 * [taylor]: Taking taylor expansion of (* a b) in a 1.913 * [taylor]: Taking taylor expansion of a in a 1.913 * [taylor]: Taking taylor expansion of b in a 1.913 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.913 * [taylor]: Taking taylor expansion of 27.0 in a 1.913 * [taylor]: Taking taylor expansion of (* a b) in a 1.913 * [taylor]: Taking taylor expansion of a in a 1.913 * [taylor]: Taking taylor expansion of b in a 1.913 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 1.913 * [taylor]: Taking taylor expansion of 27.0 in b 1.913 * [taylor]: Taking taylor expansion of b in b 1.913 * [taylor]: Taking taylor expansion of 0 in b 1.913 * [taylor]: Taking taylor expansion of 0 in b 1.914 * [taylor]: Taking taylor expansion of 0 in b 1.914 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0 1.914 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b 1.914 * [taylor]: Taking taylor expansion of 27.0 in b 1.914 * [taylor]: Taking taylor expansion of (* a b) in b 1.914 * [taylor]: Taking taylor expansion of a in b 1.914 * [taylor]: Taking taylor expansion of b in b 1.914 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.914 * [taylor]: Taking taylor expansion of 27.0 in a 1.914 * [taylor]: Taking taylor expansion of (* a b) in a 1.914 * [taylor]: Taking taylor expansion of a in a 1.914 * [taylor]: Taking taylor expansion of b in a 1.914 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.914 * [taylor]: Taking taylor expansion of 27.0 in a 1.914 * [taylor]: Taking taylor expansion of (* a b) in a 1.914 * [taylor]: Taking taylor expansion of a in a 1.914 * [taylor]: Taking taylor expansion of b in a 1.915 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 1.915 * [taylor]: Taking taylor expansion of 27.0 in b 1.915 * [taylor]: Taking taylor expansion of b in b 1.915 * [taylor]: Taking taylor expansion of 0 in b 1.915 * [taylor]: Taking taylor expansion of 0 in b 1.915 * [taylor]: Taking taylor expansion of 0 in b 1.916 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 1.916 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0 1.916 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t 1.916 * [taylor]: Taking taylor expansion of (* 2.0 x) in t 1.916 * [taylor]: Taking taylor expansion of 2.0 in t 1.916 * [taylor]: Taking taylor expansion of x in t 1.916 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 1.916 * [taylor]: Taking taylor expansion of 9.0 in t 1.916 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.916 * [taylor]: Taking taylor expansion of t in t 1.916 * [taylor]: Taking taylor expansion of (* z y) in t 1.916 * [taylor]: Taking taylor expansion of z in t 1.916 * [taylor]: Taking taylor expansion of y in t 1.916 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z 1.916 * [taylor]: Taking taylor expansion of (* 2.0 x) in z 1.916 * [taylor]: Taking taylor expansion of 2.0 in z 1.916 * [taylor]: Taking taylor expansion of x in z 1.916 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 1.916 * [taylor]: Taking taylor expansion of 9.0 in z 1.916 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.916 * [taylor]: Taking taylor expansion of t in z 1.916 * [taylor]: Taking taylor expansion of (* z y) in z 1.916 * [taylor]: Taking taylor expansion of z in z 1.916 * [taylor]: Taking taylor expansion of y in z 1.916 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y 1.916 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 1.916 * [taylor]: Taking taylor expansion of 2.0 in y 1.916 * [taylor]: Taking taylor expansion of x in y 1.916 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.916 * [taylor]: Taking taylor expansion of 9.0 in y 1.916 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.916 * [taylor]: Taking taylor expansion of t in y 1.916 * [taylor]: Taking taylor expansion of (* z y) in y 1.916 * [taylor]: Taking taylor expansion of z in y 1.916 * [taylor]: Taking taylor expansion of y in y 1.916 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x 1.916 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.916 * [taylor]: Taking taylor expansion of 2.0 in x 1.916 * [taylor]: Taking taylor expansion of x in x 1.916 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 1.916 * [taylor]: Taking taylor expansion of 9.0 in x 1.916 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.916 * [taylor]: Taking taylor expansion of t in x 1.916 * [taylor]: Taking taylor expansion of (* z y) in x 1.916 * [taylor]: Taking taylor expansion of z in x 1.916 * [taylor]: Taking taylor expansion of y in x 1.916 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x 1.917 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.917 * [taylor]: Taking taylor expansion of 2.0 in x 1.917 * [taylor]: Taking taylor expansion of x in x 1.917 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 1.917 * [taylor]: Taking taylor expansion of 9.0 in x 1.917 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.917 * [taylor]: Taking taylor expansion of t in x 1.917 * [taylor]: Taking taylor expansion of (* z y) in x 1.917 * [taylor]: Taking taylor expansion of z in x 1.917 * [taylor]: Taking taylor expansion of y in x 1.917 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in y 1.917 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.917 * [taylor]: Taking taylor expansion of 9.0 in y 1.917 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.917 * [taylor]: Taking taylor expansion of t in y 1.917 * [taylor]: Taking taylor expansion of (* z y) in y 1.917 * [taylor]: Taking taylor expansion of z in y 1.917 * [taylor]: Taking taylor expansion of y in y 1.917 * [taylor]: Taking taylor expansion of 0 in z 1.917 * [taylor]: Taking taylor expansion of 0 in t 1.917 * [taylor]: Taking taylor expansion of 2.0 in y 1.917 * [taylor]: Taking taylor expansion of 2.0 in z 1.917 * [taylor]: Taking taylor expansion of 2.0 in t 1.918 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z 1.918 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.918 * [taylor]: Taking taylor expansion of 9.0 in z 1.918 * [taylor]: Taking taylor expansion of (* t z) in z 1.918 * [taylor]: Taking taylor expansion of t in z 1.918 * [taylor]: Taking taylor expansion of z in z 1.918 * [taylor]: Taking taylor expansion of 0 in t 1.918 * [taylor]: Taking taylor expansion of 0 in t 1.918 * [taylor]: Taking taylor expansion of 0 in y 1.918 * [taylor]: Taking taylor expansion of 0 in z 1.918 * [taylor]: Taking taylor expansion of 0 in t 1.918 * [taylor]: Taking taylor expansion of 0 in z 1.918 * [taylor]: Taking taylor expansion of 0 in t 1.918 * [taylor]: Taking taylor expansion of 0 in z 1.918 * [taylor]: Taking taylor expansion of 0 in t 1.919 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0 1.919 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t 1.919 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 1.919 * [taylor]: Taking taylor expansion of 2.0 in t 1.919 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.919 * [taylor]: Taking taylor expansion of x in t 1.919 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 1.919 * [taylor]: Taking taylor expansion of 9.0 in t 1.919 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 1.919 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.919 * [taylor]: Taking taylor expansion of t in t 1.919 * [taylor]: Taking taylor expansion of (* z y) in t 1.919 * [taylor]: Taking taylor expansion of z in t 1.919 * [taylor]: Taking taylor expansion of y in t 1.919 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z 1.919 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 1.919 * [taylor]: Taking taylor expansion of 2.0 in z 1.919 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.919 * [taylor]: Taking taylor expansion of x in z 1.919 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 1.919 * [taylor]: Taking taylor expansion of 9.0 in z 1.919 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 1.919 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.919 * [taylor]: Taking taylor expansion of t in z 1.919 * [taylor]: Taking taylor expansion of (* z y) in z 1.919 * [taylor]: Taking taylor expansion of z in z 1.919 * [taylor]: Taking taylor expansion of y in z 1.919 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y 1.920 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 1.920 * [taylor]: Taking taylor expansion of 2.0 in y 1.920 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.920 * [taylor]: Taking taylor expansion of x in y 1.920 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.920 * [taylor]: Taking taylor expansion of 9.0 in y 1.920 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.920 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.920 * [taylor]: Taking taylor expansion of t in y 1.920 * [taylor]: Taking taylor expansion of (* z y) in y 1.920 * [taylor]: Taking taylor expansion of z in y 1.920 * [taylor]: Taking taylor expansion of y in y 1.920 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x 1.920 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.920 * [taylor]: Taking taylor expansion of 2.0 in x 1.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.920 * [taylor]: Taking taylor expansion of x in x 1.920 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.920 * [taylor]: Taking taylor expansion of 9.0 in x 1.920 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.920 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.920 * [taylor]: Taking taylor expansion of t in x 1.920 * [taylor]: Taking taylor expansion of (* z y) in x 1.920 * [taylor]: Taking taylor expansion of z in x 1.920 * [taylor]: Taking taylor expansion of y in x 1.920 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x 1.920 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.920 * [taylor]: Taking taylor expansion of 2.0 in x 1.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.920 * [taylor]: Taking taylor expansion of x in x 1.920 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.920 * [taylor]: Taking taylor expansion of 9.0 in x 1.920 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.920 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.920 * [taylor]: Taking taylor expansion of t in x 1.920 * [taylor]: Taking taylor expansion of (* z y) in x 1.920 * [taylor]: Taking taylor expansion of z in x 1.920 * [taylor]: Taking taylor expansion of y in x 1.921 * [taylor]: Taking taylor expansion of 2.0 in y 1.921 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in y 1.921 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.921 * [taylor]: Taking taylor expansion of 9.0 in y 1.921 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.921 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.921 * [taylor]: Taking taylor expansion of t in y 1.921 * [taylor]: Taking taylor expansion of (* z y) in y 1.921 * [taylor]: Taking taylor expansion of z in y 1.921 * [taylor]: Taking taylor expansion of y in y 1.921 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z 1.921 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.921 * [taylor]: Taking taylor expansion of 9.0 in z 1.921 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.921 * [taylor]: Taking taylor expansion of (* t z) in z 1.921 * [taylor]: Taking taylor expansion of t in z 1.921 * [taylor]: Taking taylor expansion of z in z 1.921 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t 1.922 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t 1.922 * [taylor]: Taking taylor expansion of 9.0 in t 1.922 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.922 * [taylor]: Taking taylor expansion of t in t 1.922 * [taylor]: Taking taylor expansion of 2.0 in z 1.922 * [taylor]: Taking taylor expansion of 0 in y 1.922 * [taylor]: Taking taylor expansion of 0 in z 1.922 * [taylor]: Taking taylor expansion of 0 in z 1.922 * [taylor]: Taking taylor expansion of 0 in t 1.923 * [taylor]: Taking taylor expansion of 2.0 in t 1.923 * [taylor]: Taking taylor expansion of 0 in y 1.923 * [taylor]: Taking taylor expansion of 0 in z 1.923 * [taylor]: Taking taylor expansion of 0 in z 1.923 * [taylor]: Taking taylor expansion of 0 in z 1.924 * [taylor]: Taking taylor expansion of 0 in t 1.924 * [taylor]: Taking taylor expansion of 0 in t 1.924 * [taylor]: Taking taylor expansion of 0 in t 1.924 * [taylor]: Taking taylor expansion of 0 in t 1.925 * [taylor]: Taking taylor expansion of 0 in y 1.925 * [taylor]: Taking taylor expansion of 0 in z 1.925 * [taylor]: Taking taylor expansion of 0 in z 1.925 * [taylor]: Taking taylor expansion of 0 in z 1.925 * [taylor]: Taking taylor expansion of 0 in z 1.925 * [taylor]: Taking taylor expansion of 0 in t 1.925 * [taylor]: Taking taylor expansion of 0 in t 1.925 * [taylor]: Taking taylor expansion of 0 in t 1.925 * [taylor]: Taking taylor expansion of 0 in t 1.925 * [taylor]: Taking taylor expansion of 0 in t 1.925 * [taylor]: Taking taylor expansion of 0 in t 1.926 * [taylor]: Taking taylor expansion of 0 in t 1.926 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0 1.926 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t 1.926 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 1.926 * [taylor]: Taking taylor expansion of 9.0 in t 1.926 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 1.926 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.926 * [taylor]: Taking taylor expansion of t in t 1.926 * [taylor]: Taking taylor expansion of (* z y) in t 1.926 * [taylor]: Taking taylor expansion of z in t 1.926 * [taylor]: Taking taylor expansion of y in t 1.926 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 1.926 * [taylor]: Taking taylor expansion of 2.0 in t 1.926 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.926 * [taylor]: Taking taylor expansion of x in t 1.926 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z 1.927 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 1.927 * [taylor]: Taking taylor expansion of 9.0 in z 1.927 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 1.927 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.927 * [taylor]: Taking taylor expansion of t in z 1.927 * [taylor]: Taking taylor expansion of (* z y) in z 1.927 * [taylor]: Taking taylor expansion of z in z 1.927 * [taylor]: Taking taylor expansion of y in z 1.927 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 1.927 * [taylor]: Taking taylor expansion of 2.0 in z 1.927 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.927 * [taylor]: Taking taylor expansion of x in z 1.927 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y 1.927 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.927 * [taylor]: Taking taylor expansion of 9.0 in y 1.927 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.927 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.927 * [taylor]: Taking taylor expansion of t in y 1.927 * [taylor]: Taking taylor expansion of (* z y) in y 1.927 * [taylor]: Taking taylor expansion of z in y 1.927 * [taylor]: Taking taylor expansion of y in y 1.927 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 1.927 * [taylor]: Taking taylor expansion of 2.0 in y 1.927 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.927 * [taylor]: Taking taylor expansion of x in y 1.927 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x 1.927 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.927 * [taylor]: Taking taylor expansion of 9.0 in x 1.927 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.928 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.928 * [taylor]: Taking taylor expansion of t in x 1.928 * [taylor]: Taking taylor expansion of (* z y) in x 1.928 * [taylor]: Taking taylor expansion of z in x 1.928 * [taylor]: Taking taylor expansion of y in x 1.928 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.928 * [taylor]: Taking taylor expansion of 2.0 in x 1.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.928 * [taylor]: Taking taylor expansion of x in x 1.928 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x 1.928 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.928 * [taylor]: Taking taylor expansion of 9.0 in x 1.928 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.928 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.928 * [taylor]: Taking taylor expansion of t in x 1.928 * [taylor]: Taking taylor expansion of (* z y) in x 1.928 * [taylor]: Taking taylor expansion of z in x 1.928 * [taylor]: Taking taylor expansion of y in x 1.928 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.928 * [taylor]: Taking taylor expansion of 2.0 in x 1.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.928 * [taylor]: Taking taylor expansion of x in x 1.928 * [taylor]: Taking taylor expansion of (neg 2.0) in y 1.928 * [taylor]: Taking taylor expansion of 2.0 in y 1.928 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.928 * [taylor]: Taking taylor expansion of 9.0 in y 1.928 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.928 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.929 * [taylor]: Taking taylor expansion of t in y 1.929 * [taylor]: Taking taylor expansion of (* z y) in y 1.929 * [taylor]: Taking taylor expansion of z in y 1.929 * [taylor]: Taking taylor expansion of y in y 1.929 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 1.929 * [taylor]: Taking taylor expansion of 9.0 in z 1.929 * [taylor]: Taking taylor expansion of (* t z) in z 1.929 * [taylor]: Taking taylor expansion of t in z 1.929 * [taylor]: Taking taylor expansion of z in z 1.929 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 1.929 * [taylor]: Taking taylor expansion of 9.0 in t 1.929 * [taylor]: Taking taylor expansion of t in t 1.929 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.929 * [taylor]: Taking taylor expansion of 2.0 in z 1.929 * [taylor]: Taking taylor expansion of 0 in y 1.930 * [taylor]: Taking taylor expansion of 0 in z 1.930 * [taylor]: Taking taylor expansion of 0 in z 1.930 * [taylor]: Taking taylor expansion of 0 in t 1.930 * [taylor]: Taking taylor expansion of (neg 2.0) in t 1.930 * [taylor]: Taking taylor expansion of 2.0 in t 1.930 * [taylor]: Taking taylor expansion of 0 in y 1.931 * [taylor]: Taking taylor expansion of 0 in z 1.931 * [taylor]: Taking taylor expansion of 0 in z 1.931 * [taylor]: Taking taylor expansion of 0 in z 1.931 * [taylor]: Taking taylor expansion of 0 in t 1.931 * [taylor]: Taking taylor expansion of 0 in t 1.931 * [taylor]: Taking taylor expansion of 0 in t 1.931 * [taylor]: Taking taylor expansion of 0 in t 1.932 * [taylor]: Taking taylor expansion of 0 in y 1.932 * [taylor]: Taking taylor expansion of 0 in z 1.932 * [taylor]: Taking taylor expansion of 0 in z 1.932 * [taylor]: Taking taylor expansion of 0 in z 1.932 * [taylor]: Taking taylor expansion of 0 in z 1.932 * [taylor]: Taking taylor expansion of 0 in t 1.932 * [taylor]: Taking taylor expansion of 0 in t 1.932 * [taylor]: Taking taylor expansion of 0 in t 1.933 * [taylor]: Taking taylor expansion of 0 in t 1.933 * [taylor]: Taking taylor expansion of 0 in t 1.933 * [taylor]: Taking taylor expansion of 0 in t 1.933 * [taylor]: Taking taylor expansion of 0 in t 1.933 * * * * [progress]: [ 4 / 4 ] generating series at (2) 1.933 * [approximate]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in (x y z t a b) around 0 1.933 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in b 1.934 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in b 1.934 * [taylor]: Taking taylor expansion of (* 2.0 x) in b 1.934 * [taylor]: Taking taylor expansion of 2.0 in b 1.934 * [taylor]: Taking taylor expansion of x in b 1.934 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b 1.934 * [taylor]: Taking taylor expansion of 27.0 in b 1.934 * [taylor]: Taking taylor expansion of (* a b) in b 1.934 * [taylor]: Taking taylor expansion of a in b 1.934 * [taylor]: Taking taylor expansion of b in b 1.934 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in b 1.934 * [taylor]: Taking taylor expansion of 9.0 in b 1.934 * [taylor]: Taking taylor expansion of (* t (* z y)) in b 1.934 * [taylor]: Taking taylor expansion of t in b 1.934 * [taylor]: Taking taylor expansion of (* z y) in b 1.934 * [taylor]: Taking taylor expansion of z in b 1.934 * [taylor]: Taking taylor expansion of y in b 1.934 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in a 1.934 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in a 1.934 * [taylor]: Taking taylor expansion of (* 2.0 x) in a 1.934 * [taylor]: Taking taylor expansion of 2.0 in a 1.934 * [taylor]: Taking taylor expansion of x in a 1.934 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 1.934 * [taylor]: Taking taylor expansion of 27.0 in a 1.934 * [taylor]: Taking taylor expansion of (* a b) in a 1.934 * [taylor]: Taking taylor expansion of a in a 1.934 * [taylor]: Taking taylor expansion of b in a 1.934 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in a 1.934 * [taylor]: Taking taylor expansion of 9.0 in a 1.934 * [taylor]: Taking taylor expansion of (* t (* z y)) in a 1.934 * [taylor]: Taking taylor expansion of t in a 1.934 * [taylor]: Taking taylor expansion of (* z y) in a 1.934 * [taylor]: Taking taylor expansion of z in a 1.934 * [taylor]: Taking taylor expansion of y in a 1.934 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in t 1.934 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in t 1.934 * [taylor]: Taking taylor expansion of (* 2.0 x) in t 1.934 * [taylor]: Taking taylor expansion of 2.0 in t 1.934 * [taylor]: Taking taylor expansion of x in t 1.934 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t 1.934 * [taylor]: Taking taylor expansion of 27.0 in t 1.934 * [taylor]: Taking taylor expansion of (* a b) in t 1.934 * [taylor]: Taking taylor expansion of a in t 1.934 * [taylor]: Taking taylor expansion of b in t 1.934 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 1.934 * [taylor]: Taking taylor expansion of 9.0 in t 1.934 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.934 * [taylor]: Taking taylor expansion of t in t 1.934 * [taylor]: Taking taylor expansion of (* z y) in t 1.934 * [taylor]: Taking taylor expansion of z in t 1.934 * [taylor]: Taking taylor expansion of y in t 1.934 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in z 1.934 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in z 1.934 * [taylor]: Taking taylor expansion of (* 2.0 x) in z 1.934 * [taylor]: Taking taylor expansion of 2.0 in z 1.934 * [taylor]: Taking taylor expansion of x in z 1.934 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z 1.934 * [taylor]: Taking taylor expansion of 27.0 in z 1.935 * [taylor]: Taking taylor expansion of (* a b) in z 1.935 * [taylor]: Taking taylor expansion of a in z 1.935 * [taylor]: Taking taylor expansion of b in z 1.935 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 1.935 * [taylor]: Taking taylor expansion of 9.0 in z 1.935 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.935 * [taylor]: Taking taylor expansion of t in z 1.935 * [taylor]: Taking taylor expansion of (* z y) in z 1.935 * [taylor]: Taking taylor expansion of z in z 1.935 * [taylor]: Taking taylor expansion of y in z 1.935 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in y 1.935 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in y 1.935 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 1.935 * [taylor]: Taking taylor expansion of 2.0 in y 1.935 * [taylor]: Taking taylor expansion of x in y 1.935 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y 1.935 * [taylor]: Taking taylor expansion of 27.0 in y 1.935 * [taylor]: Taking taylor expansion of (* a b) in y 1.935 * [taylor]: Taking taylor expansion of a in y 1.935 * [taylor]: Taking taylor expansion of b in y 1.935 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.935 * [taylor]: Taking taylor expansion of 9.0 in y 1.935 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.935 * [taylor]: Taking taylor expansion of t in y 1.935 * [taylor]: Taking taylor expansion of (* z y) in y 1.935 * [taylor]: Taking taylor expansion of z in y 1.935 * [taylor]: Taking taylor expansion of y in y 1.935 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x 1.935 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x 1.935 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.935 * [taylor]: Taking taylor expansion of 2.0 in x 1.935 * [taylor]: Taking taylor expansion of x in x 1.935 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x 1.935 * [taylor]: Taking taylor expansion of 27.0 in x 1.935 * [taylor]: Taking taylor expansion of (* a b) in x 1.935 * [taylor]: Taking taylor expansion of a in x 1.935 * [taylor]: Taking taylor expansion of b in x 1.935 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 1.935 * [taylor]: Taking taylor expansion of 9.0 in x 1.935 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.935 * [taylor]: Taking taylor expansion of t in x 1.935 * [taylor]: Taking taylor expansion of (* z y) in x 1.935 * [taylor]: Taking taylor expansion of z in x 1.935 * [taylor]: Taking taylor expansion of y in x 1.935 * [taylor]: Taking taylor expansion of (- (+ (* 2.0 x) (* 27.0 (* a b))) (* 9.0 (* t (* z y)))) in x 1.935 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (* 27.0 (* a b))) in x 1.935 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 1.935 * [taylor]: Taking taylor expansion of 2.0 in x 1.935 * [taylor]: Taking taylor expansion of x in x 1.935 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in x 1.935 * [taylor]: Taking taylor expansion of 27.0 in x 1.935 * [taylor]: Taking taylor expansion of (* a b) in x 1.935 * [taylor]: Taking taylor expansion of a in x 1.935 * [taylor]: Taking taylor expansion of b in x 1.935 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 1.935 * [taylor]: Taking taylor expansion of 9.0 in x 1.935 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.935 * [taylor]: Taking taylor expansion of t in x 1.936 * [taylor]: Taking taylor expansion of (* z y) in x 1.936 * [taylor]: Taking taylor expansion of z in x 1.936 * [taylor]: Taking taylor expansion of y in x 1.936 * [taylor]: Taking taylor expansion of (- (* 27.0 (* a b)) (* 9.0 (* t (* z y)))) in y 1.936 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in y 1.936 * [taylor]: Taking taylor expansion of 27.0 in y 1.936 * [taylor]: Taking taylor expansion of (* a b) in y 1.936 * [taylor]: Taking taylor expansion of a in y 1.936 * [taylor]: Taking taylor expansion of b in y 1.936 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 1.936 * [taylor]: Taking taylor expansion of 9.0 in y 1.936 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.936 * [taylor]: Taking taylor expansion of t in y 1.936 * [taylor]: Taking taylor expansion of (* z y) in y 1.936 * [taylor]: Taking taylor expansion of z in y 1.936 * [taylor]: Taking taylor expansion of y in y 1.936 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in z 1.936 * [taylor]: Taking taylor expansion of 27.0 in z 1.936 * [taylor]: Taking taylor expansion of (* a b) in z 1.936 * [taylor]: Taking taylor expansion of a in z 1.936 * [taylor]: Taking taylor expansion of b in z 1.936 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in t 1.936 * [taylor]: Taking taylor expansion of 27.0 in t 1.936 * [taylor]: Taking taylor expansion of (* a b) in t 1.937 * [taylor]: Taking taylor expansion of a in t 1.937 * [taylor]: Taking taylor expansion of b in t 1.937 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 1.937 * [taylor]: Taking taylor expansion of 27.0 in a 1.937 * [taylor]: Taking taylor expansion of (* a b) in a 1.937 * [taylor]: Taking taylor expansion of a in a 1.937 * [taylor]: Taking taylor expansion of b in a 1.937 * [taylor]: Taking taylor expansion of 0 in b 1.937 * [taylor]: Taking taylor expansion of 2.0 in y 1.937 * [taylor]: Taking taylor expansion of 2.0 in z 1.937 * [taylor]: Taking taylor expansion of 2.0 in t 1.937 * [taylor]: Taking taylor expansion of 2.0 in a 1.937 * [taylor]: Taking taylor expansion of 2.0 in b 1.937 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z 1.938 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 1.938 * [taylor]: Taking taylor expansion of 9.0 in z 1.938 * [taylor]: Taking taylor expansion of (* t z) in z 1.938 * [taylor]: Taking taylor expansion of t in z 1.938 * [taylor]: Taking taylor expansion of z in z 1.938 * [taylor]: Taking taylor expansion of 0 in t 1.938 * [taylor]: Taking taylor expansion of 0 in a 1.938 * [taylor]: Taking taylor expansion of 0 in b 1.938 * [taylor]: Taking taylor expansion of 0 in t 1.938 * [taylor]: Taking taylor expansion of 0 in a 1.938 * [taylor]: Taking taylor expansion of 0 in b 1.938 * [taylor]: Taking taylor expansion of 0 in a 1.938 * [taylor]: Taking taylor expansion of 0 in b 1.938 * [taylor]: Taking taylor expansion of (* 27.0 b) in b 1.938 * [taylor]: Taking taylor expansion of 27.0 in b 1.938 * [taylor]: Taking taylor expansion of b in b 1.939 * [taylor]: Taking taylor expansion of 0 in y 1.939 * [taylor]: Taking taylor expansion of 0 in z 1.939 * [taylor]: Taking taylor expansion of 0 in t 1.939 * [taylor]: Taking taylor expansion of 0 in a 1.939 * [taylor]: Taking taylor expansion of 0 in b 1.939 * [approximate]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t a b) around 0 1.939 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in b 1.939 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in b 1.939 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b 1.939 * [taylor]: Taking taylor expansion of 27.0 in b 1.939 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.939 * [taylor]: Taking taylor expansion of (* a b) in b 1.939 * [taylor]: Taking taylor expansion of a in b 1.939 * [taylor]: Taking taylor expansion of b in b 1.939 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b 1.939 * [taylor]: Taking taylor expansion of 2.0 in b 1.939 * [taylor]: Taking taylor expansion of (/ 1 x) in b 1.939 * [taylor]: Taking taylor expansion of x in b 1.939 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b 1.939 * [taylor]: Taking taylor expansion of 9.0 in b 1.939 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b 1.939 * [taylor]: Taking taylor expansion of (* t (* z y)) in b 1.939 * [taylor]: Taking taylor expansion of t in b 1.939 * [taylor]: Taking taylor expansion of (* z y) in b 1.939 * [taylor]: Taking taylor expansion of z in b 1.940 * [taylor]: Taking taylor expansion of y in b 1.940 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in a 1.940 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in a 1.940 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a 1.940 * [taylor]: Taking taylor expansion of 27.0 in a 1.940 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in a 1.940 * [taylor]: Taking taylor expansion of (* a b) in a 1.940 * [taylor]: Taking taylor expansion of a in a 1.940 * [taylor]: Taking taylor expansion of b in a 1.940 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a 1.940 * [taylor]: Taking taylor expansion of 2.0 in a 1.940 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.940 * [taylor]: Taking taylor expansion of x in a 1.940 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a 1.940 * [taylor]: Taking taylor expansion of 9.0 in a 1.940 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a 1.940 * [taylor]: Taking taylor expansion of (* t (* z y)) in a 1.940 * [taylor]: Taking taylor expansion of t in a 1.940 * [taylor]: Taking taylor expansion of (* z y) in a 1.940 * [taylor]: Taking taylor expansion of z in a 1.940 * [taylor]: Taking taylor expansion of y in a 1.940 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in t 1.940 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in t 1.940 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t 1.940 * [taylor]: Taking taylor expansion of 27.0 in t 1.940 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.940 * [taylor]: Taking taylor expansion of (* a b) in t 1.940 * [taylor]: Taking taylor expansion of a in t 1.940 * [taylor]: Taking taylor expansion of b in t 1.940 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 1.940 * [taylor]: Taking taylor expansion of 2.0 in t 1.940 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.940 * [taylor]: Taking taylor expansion of x in t 1.940 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 1.940 * [taylor]: Taking taylor expansion of 9.0 in t 1.940 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 1.940 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.940 * [taylor]: Taking taylor expansion of t in t 1.941 * [taylor]: Taking taylor expansion of (* z y) in t 1.941 * [taylor]: Taking taylor expansion of z in t 1.941 * [taylor]: Taking taylor expansion of y in t 1.941 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in z 1.941 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in z 1.941 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z 1.941 * [taylor]: Taking taylor expansion of 27.0 in z 1.941 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.941 * [taylor]: Taking taylor expansion of (* a b) in z 1.941 * [taylor]: Taking taylor expansion of a in z 1.941 * [taylor]: Taking taylor expansion of b in z 1.941 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 1.941 * [taylor]: Taking taylor expansion of 2.0 in z 1.941 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.941 * [taylor]: Taking taylor expansion of x in z 1.941 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 1.941 * [taylor]: Taking taylor expansion of 9.0 in z 1.941 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 1.941 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.941 * [taylor]: Taking taylor expansion of t in z 1.941 * [taylor]: Taking taylor expansion of (* z y) in z 1.941 * [taylor]: Taking taylor expansion of z in z 1.941 * [taylor]: Taking taylor expansion of y in z 1.941 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in y 1.941 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in y 1.941 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y 1.941 * [taylor]: Taking taylor expansion of 27.0 in y 1.941 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.941 * [taylor]: Taking taylor expansion of (* a b) in y 1.941 * [taylor]: Taking taylor expansion of a in y 1.941 * [taylor]: Taking taylor expansion of b in y 1.941 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 1.941 * [taylor]: Taking taylor expansion of 2.0 in y 1.941 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.942 * [taylor]: Taking taylor expansion of x in y 1.942 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.942 * [taylor]: Taking taylor expansion of 9.0 in y 1.942 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.942 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.942 * [taylor]: Taking taylor expansion of t in y 1.942 * [taylor]: Taking taylor expansion of (* z y) in y 1.942 * [taylor]: Taking taylor expansion of z in y 1.942 * [taylor]: Taking taylor expansion of y in y 1.942 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x 1.942 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x 1.942 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x 1.942 * [taylor]: Taking taylor expansion of 27.0 in x 1.942 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.942 * [taylor]: Taking taylor expansion of (* a b) in x 1.942 * [taylor]: Taking taylor expansion of a in x 1.942 * [taylor]: Taking taylor expansion of b in x 1.942 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.942 * [taylor]: Taking taylor expansion of 2.0 in x 1.942 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.942 * [taylor]: Taking taylor expansion of x in x 1.942 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.942 * [taylor]: Taking taylor expansion of 9.0 in x 1.942 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.942 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.942 * [taylor]: Taking taylor expansion of t in x 1.942 * [taylor]: Taking taylor expansion of (* z y) in x 1.942 * [taylor]: Taking taylor expansion of z in x 1.942 * [taylor]: Taking taylor expansion of y in x 1.942 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) (* 9.0 (/ 1 (* t (* z y))))) in x 1.942 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 2.0 (/ 1 x))) in x 1.942 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x 1.942 * [taylor]: Taking taylor expansion of 27.0 in x 1.942 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.942 * [taylor]: Taking taylor expansion of (* a b) in x 1.942 * [taylor]: Taking taylor expansion of a in x 1.942 * [taylor]: Taking taylor expansion of b in x 1.943 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.943 * [taylor]: Taking taylor expansion of 2.0 in x 1.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.943 * [taylor]: Taking taylor expansion of x in x 1.943 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.943 * [taylor]: Taking taylor expansion of 9.0 in x 1.943 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.943 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.943 * [taylor]: Taking taylor expansion of t in x 1.943 * [taylor]: Taking taylor expansion of (* z y) in x 1.943 * [taylor]: Taking taylor expansion of z in x 1.943 * [taylor]: Taking taylor expansion of y in x 1.943 * [taylor]: Taking taylor expansion of 2.0 in y 1.943 * [taylor]: Taking taylor expansion of (- (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y 1.943 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y 1.943 * [taylor]: Taking taylor expansion of 27.0 in y 1.943 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.943 * [taylor]: Taking taylor expansion of (* a b) in y 1.943 * [taylor]: Taking taylor expansion of a in y 1.943 * [taylor]: Taking taylor expansion of b in y 1.944 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.944 * [taylor]: Taking taylor expansion of 9.0 in y 1.944 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.944 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.944 * [taylor]: Taking taylor expansion of t in y 1.944 * [taylor]: Taking taylor expansion of (* z y) in y 1.944 * [taylor]: Taking taylor expansion of z in y 1.944 * [taylor]: Taking taylor expansion of y in y 1.944 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z 1.944 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.944 * [taylor]: Taking taylor expansion of 9.0 in z 1.944 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.944 * [taylor]: Taking taylor expansion of (* t z) in z 1.944 * [taylor]: Taking taylor expansion of t in z 1.944 * [taylor]: Taking taylor expansion of z in z 1.944 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t 1.944 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t 1.944 * [taylor]: Taking taylor expansion of 9.0 in t 1.944 * [taylor]: Taking taylor expansion of (/ 1 t) in t 1.944 * [taylor]: Taking taylor expansion of t in t 1.944 * [taylor]: Taking taylor expansion of (neg 9.0) in a 1.944 * [taylor]: Taking taylor expansion of 9.0 in a 1.944 * [taylor]: Taking taylor expansion of 2.0 in z 1.945 * [taylor]: Taking taylor expansion of 0 in y 1.945 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z 1.945 * [taylor]: Taking taylor expansion of 27.0 in z 1.945 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.945 * [taylor]: Taking taylor expansion of (* a b) in z 1.945 * [taylor]: Taking taylor expansion of a in z 1.945 * [taylor]: Taking taylor expansion of b in z 1.945 * [taylor]: Taking taylor expansion of 0 in z 1.946 * [taylor]: Taking taylor expansion of 0 in t 1.946 * [taylor]: Taking taylor expansion of 2.0 in t 1.946 * [taylor]: Taking taylor expansion of 0 in a 1.946 * [taylor]: Taking taylor expansion of (neg 9.0) in b 1.946 * [taylor]: Taking taylor expansion of 9.0 in b 1.947 * [taylor]: Taking taylor expansion of 0 in y 1.947 * [taylor]: Taking taylor expansion of 0 in z 1.947 * [taylor]: Taking taylor expansion of 0 in z 1.947 * [taylor]: Taking taylor expansion of 0 in z 1.947 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in t 1.947 * [taylor]: Taking taylor expansion of 27.0 in t 1.947 * [taylor]: Taking taylor expansion of (* a b) in t 1.947 * [taylor]: Taking taylor expansion of a in t 1.947 * [taylor]: Taking taylor expansion of b in t 1.947 * [taylor]: Taking taylor expansion of 0 in t 1.948 * [taylor]: Taking taylor expansion of 0 in t 1.948 * [taylor]: Taking taylor expansion of 0 in t 1.948 * [taylor]: Taking taylor expansion of 0 in a 1.948 * [taylor]: Taking taylor expansion of 2.0 in a 1.948 * [taylor]: Taking taylor expansion of 0 in a 1.948 * [taylor]: Taking taylor expansion of 0 in b 1.948 * [taylor]: Taking taylor expansion of 0 in b 1.949 * [taylor]: Taking taylor expansion of 0 in y 1.949 * [taylor]: Taking taylor expansion of 0 in z 1.949 * [taylor]: Taking taylor expansion of 0 in z 1.950 * [taylor]: Taking taylor expansion of 0 in z 1.950 * [taylor]: Taking taylor expansion of 0 in z 1.950 * [taylor]: Taking taylor expansion of 0 in t 1.950 * [taylor]: Taking taylor expansion of 0 in t 1.950 * [taylor]: Taking taylor expansion of 0 in t 1.950 * [taylor]: Taking taylor expansion of 0 in t 1.950 * [taylor]: Taking taylor expansion of 0 in t 1.950 * [taylor]: Taking taylor expansion of 0 in t 1.951 * [taylor]: Taking taylor expansion of 0 in t 1.951 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.951 * [taylor]: Taking taylor expansion of 27.0 in a 1.951 * [taylor]: Taking taylor expansion of (* a b) in a 1.951 * [taylor]: Taking taylor expansion of a in a 1.951 * [taylor]: Taking taylor expansion of b in a 1.951 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 1.951 * [taylor]: Taking taylor expansion of 27.0 in b 1.951 * [taylor]: Taking taylor expansion of b in b 1.951 * [taylor]: Taking taylor expansion of 0 in a 1.951 * [taylor]: Taking taylor expansion of 0 in a 1.951 * [taylor]: Taking taylor expansion of 0 in a 1.951 * [taylor]: Taking taylor expansion of 0 in a 1.951 * [taylor]: Taking taylor expansion of 0 in a 1.951 * [taylor]: Taking taylor expansion of 0 in a 1.951 * [taylor]: Taking taylor expansion of 0 in b 1.951 * [taylor]: Taking taylor expansion of 2.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 * [taylor]: Taking taylor expansion of 0 in b 1.953 * [taylor]: Taking taylor expansion of 0 in y 1.953 * [taylor]: Taking taylor expansion of 0 in z 1.953 * [taylor]: Taking taylor expansion of 0 in z 1.953 * [taylor]: Taking taylor expansion of 0 in z 1.954 * [taylor]: Taking taylor expansion of 0 in z 1.954 * [taylor]: Taking taylor expansion of 0 in z 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.954 * [taylor]: Taking taylor expansion of 0 in t 1.955 * [taylor]: Taking taylor expansion of 0 in t 1.955 * [taylor]: Taking taylor expansion of 0 in t 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 1.955 * [taylor]: Taking taylor expansion of 0 in a 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 b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.956 * [taylor]: Taking taylor expansion of 0 in b 1.957 * [taylor]: Taking taylor expansion of 0 in b 1.958 * [approximate]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in (x y z t a b) around 0 1.958 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in b 1.958 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in b 1.958 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in b 1.958 * [taylor]: Taking taylor expansion of 27.0 in b 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in b 1.958 * [taylor]: Taking taylor expansion of (* a b) in b 1.958 * [taylor]: Taking taylor expansion of a in b 1.958 * [taylor]: Taking taylor expansion of b in b 1.958 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in b 1.958 * [taylor]: Taking taylor expansion of 9.0 in b 1.958 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in b 1.958 * [taylor]: Taking taylor expansion of (* t (* z y)) in b 1.958 * [taylor]: Taking taylor expansion of t in b 1.958 * [taylor]: Taking taylor expansion of (* z y) in b 1.958 * [taylor]: Taking taylor expansion of z in b 1.958 * [taylor]: Taking taylor expansion of y in b 1.958 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in b 1.958 * [taylor]: Taking taylor expansion of 2.0 in b 1.958 * [taylor]: Taking taylor expansion of (/ 1 x) in b 1.958 * [taylor]: Taking taylor expansion of x in b 1.958 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in a 1.958 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in a 1.958 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in a 1.958 * [taylor]: Taking taylor expansion of 27.0 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.959 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in a 1.959 * [taylor]: Taking taylor expansion of 9.0 in a 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in a 1.959 * [taylor]: Taking taylor expansion of (* t (* z y)) in a 1.959 * [taylor]: Taking taylor expansion of t in a 1.959 * [taylor]: Taking taylor expansion of (* z y) in a 1.959 * [taylor]: Taking taylor expansion of z in a 1.959 * [taylor]: Taking taylor expansion of y in a 1.959 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in a 1.959 * [taylor]: Taking taylor expansion of 2.0 in a 1.959 * [taylor]: Taking taylor expansion of (/ 1 x) in a 1.959 * [taylor]: Taking taylor expansion of x in a 1.959 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in t 1.959 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in t 1.959 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in t 1.959 * [taylor]: Taking taylor expansion of 27.0 in t 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in t 1.959 * [taylor]: Taking taylor expansion of (* a b) in t 1.959 * [taylor]: Taking taylor expansion of a in t 1.959 * [taylor]: Taking taylor expansion of b in t 1.959 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 1.959 * [taylor]: Taking taylor expansion of 9.0 in t 1.959 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 1.959 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 1.959 * [taylor]: Taking taylor expansion of t in t 1.959 * [taylor]: Taking taylor expansion of (* z y) in t 1.959 * [taylor]: Taking taylor expansion of z in t 1.959 * [taylor]: Taking taylor expansion of y in t 1.959 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 1.959 * [taylor]: Taking taylor expansion of 2.0 in t 1.959 * [taylor]: Taking taylor expansion of (/ 1 x) in t 1.959 * [taylor]: Taking taylor expansion of x in t 1.959 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in z 1.959 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in z 1.959 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z 1.959 * [taylor]: Taking taylor expansion of 27.0 in z 1.960 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.960 * [taylor]: Taking taylor expansion of (* a b) in z 1.960 * [taylor]: Taking taylor expansion of a in z 1.960 * [taylor]: Taking taylor expansion of b in z 1.960 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 1.960 * [taylor]: Taking taylor expansion of 9.0 in z 1.960 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 1.960 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 1.960 * [taylor]: Taking taylor expansion of t in z 1.960 * [taylor]: Taking taylor expansion of (* z y) in z 1.960 * [taylor]: Taking taylor expansion of z in z 1.960 * [taylor]: Taking taylor expansion of y in z 1.960 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 1.960 * [taylor]: Taking taylor expansion of 2.0 in z 1.960 * [taylor]: Taking taylor expansion of (/ 1 x) in z 1.960 * [taylor]: Taking taylor expansion of x in z 1.960 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in y 1.960 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y 1.960 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y 1.960 * [taylor]: Taking taylor expansion of 27.0 in y 1.960 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.960 * [taylor]: Taking taylor expansion of (* a b) in y 1.960 * [taylor]: Taking taylor expansion of a in y 1.960 * [taylor]: Taking taylor expansion of b in y 1.960 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.960 * [taylor]: Taking taylor expansion of 9.0 in y 1.960 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.960 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.960 * [taylor]: Taking taylor expansion of t in y 1.960 * [taylor]: Taking taylor expansion of (* z y) in y 1.960 * [taylor]: Taking taylor expansion of z in y 1.960 * [taylor]: Taking taylor expansion of y in y 1.960 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 1.961 * [taylor]: Taking taylor expansion of 2.0 in y 1.961 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.961 * [taylor]: Taking taylor expansion of x in y 1.961 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x 1.961 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x 1.961 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x 1.961 * [taylor]: Taking taylor expansion of 27.0 in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.961 * [taylor]: Taking taylor expansion of (* a b) in x 1.961 * [taylor]: Taking taylor expansion of a in x 1.961 * [taylor]: Taking taylor expansion of b in x 1.961 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.961 * [taylor]: Taking taylor expansion of 9.0 in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.961 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.961 * [taylor]: Taking taylor expansion of t in x 1.961 * [taylor]: Taking taylor expansion of (* z y) in x 1.961 * [taylor]: Taking taylor expansion of z in x 1.961 * [taylor]: Taking taylor expansion of y in x 1.961 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.961 * [taylor]: Taking taylor expansion of 2.0 in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.961 * [taylor]: Taking taylor expansion of x in x 1.961 * [taylor]: Taking taylor expansion of (- (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) (* 2.0 (/ 1 x))) in x 1.961 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in x 1.961 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in x 1.961 * [taylor]: Taking taylor expansion of 27.0 in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in x 1.961 * [taylor]: Taking taylor expansion of (* a b) in x 1.961 * [taylor]: Taking taylor expansion of a in x 1.961 * [taylor]: Taking taylor expansion of b in x 1.961 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 1.961 * [taylor]: Taking taylor expansion of 9.0 in x 1.961 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 1.961 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 1.961 * [taylor]: Taking taylor expansion of t in x 1.961 * [taylor]: Taking taylor expansion of (* z y) in x 1.961 * [taylor]: Taking taylor expansion of z in x 1.961 * [taylor]: Taking taylor expansion of y in x 1.964 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 1.965 * [taylor]: Taking taylor expansion of 2.0 in x 1.965 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.965 * [taylor]: Taking taylor expansion of x in x 1.965 * [taylor]: Taking taylor expansion of (neg 2.0) in y 1.965 * [taylor]: Taking taylor expansion of 2.0 in y 1.965 * [taylor]: Taking taylor expansion of (+ (* 27.0 (/ 1 (* a b))) (* 9.0 (/ 1 (* t (* z y))))) in y 1.965 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in y 1.965 * [taylor]: Taking taylor expansion of 27.0 in y 1.965 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in y 1.965 * [taylor]: Taking taylor expansion of (* a b) in y 1.965 * [taylor]: Taking taylor expansion of a in y 1.965 * [taylor]: Taking taylor expansion of b in y 1.965 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 1.965 * [taylor]: Taking taylor expansion of 9.0 in y 1.965 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 1.965 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 1.965 * [taylor]: Taking taylor expansion of t in y 1.965 * [taylor]: Taking taylor expansion of (* z y) in y 1.966 * [taylor]: Taking taylor expansion of z in y 1.966 * [taylor]: Taking taylor expansion of y in y 1.966 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 1.966 * [taylor]: Taking taylor expansion of 9.0 in z 1.966 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 1.966 * [taylor]: Taking taylor expansion of (* t z) in z 1.966 * [taylor]: Taking taylor expansion of t in z 1.966 * [taylor]: Taking taylor expansion of z in z 1.966 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 1.966 * [taylor]: Taking taylor expansion of 9.0 in t 1.966 * [taylor]: Taking taylor expansion of t in t 1.966 * [taylor]: Taking taylor expansion of 9.0 in a 1.966 * [taylor]: Taking taylor expansion of (neg 2.0) in z 1.966 * [taylor]: Taking taylor expansion of 2.0 in z 1.967 * [taylor]: Taking taylor expansion of 0 in y 1.967 * [taylor]: Taking taylor expansion of (* 27.0 (/ 1 (* a b))) in z 1.967 * [taylor]: Taking taylor expansion of 27.0 in z 1.967 * [taylor]: Taking taylor expansion of (/ 1 (* a b)) in z 1.967 * [taylor]: Taking taylor expansion of (* a b) in z 1.967 * [taylor]: Taking taylor expansion of a in z 1.967 * [taylor]: Taking taylor expansion of b in z 1.967 * [taylor]: Taking taylor expansion of 0 in z 1.967 * [taylor]: Taking taylor expansion of 0 in t 1.967 * [taylor]: Taking taylor expansion of (neg 2.0) in t 1.967 * [taylor]: Taking taylor expansion of 2.0 in t 1.968 * [taylor]: Taking taylor expansion of 0 in a 1.968 * [taylor]: Taking taylor expansion of 9.0 in b 1.968 * [taylor]: Taking taylor expansion of 0 in y 1.968 * [taylor]: Taking taylor expansion of 0 in z 1.969 * [taylor]: Taking taylor expansion of 0 in z 1.969 * [taylor]: Taking taylor expansion of 0 in z 1.969 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in t 1.969 * [taylor]: Taking taylor expansion of 27.0 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 0 in t 1.969 * [taylor]: Taking taylor expansion of 0 in t 1.969 * [taylor]: Taking taylor expansion of 0 in t 1.970 * [taylor]: Taking taylor expansion of 0 in a 1.970 * [taylor]: Taking taylor expansion of (neg 2.0) in a 1.970 * [taylor]: Taking taylor expansion of 2.0 in a 1.970 * [taylor]: Taking taylor expansion of 0 in a 1.970 * [taylor]: Taking taylor expansion of 0 in b 1.970 * [taylor]: Taking taylor expansion of 0 in b 1.971 * [taylor]: Taking taylor expansion of 0 in y 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [taylor]: Taking taylor expansion of 0 in z 1.972 * [taylor]: Taking taylor expansion of 0 in z 1.972 * [taylor]: Taking taylor expansion of 0 in z 1.972 * [taylor]: Taking taylor expansion of 0 in t 1.972 * [taylor]: Taking taylor expansion of 0 in t 1.972 * [taylor]: Taking taylor expansion of 0 in t 1.972 * [taylor]: Taking taylor expansion of 0 in t 1.972 * [taylor]: Taking taylor expansion of 0 in t 1.972 * [taylor]: Taking taylor expansion of 0 in t 1.972 * [taylor]: Taking taylor expansion of 0 in t 1.972 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 1.972 * [taylor]: Taking taylor expansion of 27.0 in a 1.972 * [taylor]: Taking taylor expansion of (* a b) in a 1.972 * [taylor]: Taking taylor expansion of a in a 1.972 * [taylor]: Taking taylor expansion of b in a 1.973 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 1.973 * [taylor]: Taking taylor expansion of 27.0 in b 1.973 * [taylor]: Taking taylor expansion of b in b 1.973 * [taylor]: Taking taylor expansion of 0 in a 1.973 * [taylor]: Taking taylor expansion of 0 in a 1.973 * [taylor]: Taking taylor expansion of 0 in a 1.973 * [taylor]: Taking taylor expansion of 0 in a 1.973 * [taylor]: Taking taylor expansion of 0 in a 1.973 * [taylor]: Taking taylor expansion of 0 in a 1.973 * [taylor]: Taking taylor expansion of 0 in b 1.973 * [taylor]: Taking taylor expansion of (neg 2.0) in b 1.973 * [taylor]: Taking taylor expansion of 2.0 in b 1.973 * [taylor]: Taking taylor expansion of 0 in b 1.973 * [taylor]: Taking taylor expansion of 0 in b 1.973 * [taylor]: Taking taylor expansion of 0 in b 1.975 * [taylor]: Taking taylor expansion of 0 in y 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 0 in z 1.975 * [taylor]: Taking taylor expansion of 0 in z 1.976 * [taylor]: Taking taylor expansion of 0 in z 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.976 * [taylor]: Taking taylor expansion of 0 in t 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [taylor]: Taking taylor expansion of 0 in a 1.977 * [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.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]: simplifying candidates 1.980 * [simplify]: Simplifying using # : (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)) (+.f64 (+.f64 (log.f64 y) (log.f64 9.0)) (+.f64 (log.f64 z) (log.f64 t))) (+.f64 (+.f64 (log.f64 y) (log.f64 9.0)) (log.f64 (*.f64 z t))) (+.f64 (log.f64 (*.f64 y 9.0)) (+.f64 (log.f64 z) (log.f64 t))) (+.f64 (log.f64 (*.f64 y 9.0)) (log.f64 (*.f64 z t))) (log.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (exp.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 9.0 9.0) 9.0)) (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t))) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 9.0 9.0) 9.0)) (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t))) (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) (*.f64 y 9.0)) (*.f64 y 9.0)) (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t))) (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) (*.f64 y 9.0)) (*.f64 y 9.0)) (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t))) (*.f64 (cbrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (cbrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (cbrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (sqrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (sqrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 y 9.0) z) (*.f64 9.0 (*.f64 z t)) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (+.f64 (+.f64 (log.f64 a) (log.f64 27.0)) (log.f64 b)) (+.f64 (log.f64 (*.f64 a 27.0)) (log.f64 b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (exp.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 27.0 27.0) 27.0)) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (*.f64 (*.f64 a 27.0) (*.f64 a 27.0)) (*.f64 a 27.0)) (*.f64 (*.f64 b b) b)) (*.f64 (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (cbrt.f64 (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (*.f64 a 27.0) (sqrt.f64 b)) (*.f64 (*.f64 a 27.0) 1) (*.f64 27.0 b) (/.f64 (exp.f64 (*.f64 x 2.0)) (exp.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (log.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (*.f64 (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (-.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) 3)) (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (+.f64 (*.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (neg.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (+.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (/.f64 (exp.f64 (*.f64 x 2.0)) (exp.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (exp.f64 (*.f64 (*.f64 a 27.0) b))) (*.f64 (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (exp.f64 (*.f64 (*.f64 a 27.0) b))) (log.f64 (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b))) (exp.f64 (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b))) (*.f64 (cbrt.f64 (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b)))) (cbrt.f64 (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b))) (*.f64 (*.f64 (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b)) (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b))) (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b))) (sqrt.f64 (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b))) (sqrt.f64 (+.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b))) (+.f64 (pow.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) 3) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3)) (+.f64 (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (-.f64 (*.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b)) (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b)))) (-.f64 (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (*.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b))) (-.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b)) (+.f64 (neg.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b)) (-.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 a 27.0) b)) 0 (*.f64 9.0 (*.f64 t (*.f64 z y))) (*.f64 9.0 (*.f64 t (*.f64 z y))) (*.f64 27.0 (*.f64 a b)) (*.f64 27.0 (*.f64 a b)) (*.f64 27.0 (*.f64 a b)) (*.f64 2.0 x) (-.f64 (*.f64 2.0 x) (*.f64 9.0 (*.f64 t (*.f64 z y)))) (-.f64 (*.f64 2.0 x) (*.f64 9.0 (*.f64 t (*.f64 z y)))) (*.f64 2.0 x) (-.f64 (+.f64 (*.f64 2.0 x) (*.f64 27.0 (*.f64 a b))) (*.f64 9.0 (*.f64 t (*.f64 z y)))) (-.f64 (+.f64 (*.f64 2.0 x) (*.f64 27.0 (*.f64 a b))) (*.f64 9.0 (*.f64 t (*.f64 z y)))) 2.012 * * [simplify]: iteration 0 : 5084 enodes (cost 887 ) 2.016 * [simplify]: Simplified to: (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)) (log.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (log.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (log.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (log.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (log.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (exp.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (pow.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) 3) (pow.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) 3) (pow.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) 3) (pow.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (cbrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (cbrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (pow.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) 3) (sqrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (sqrt.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 y 9.0) z) (*.f64 9.0 (*.f64 z t)) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (log.f64 (*.f64 (*.f64 a 27.0) b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (exp.f64 (*.f64 (*.f64 a 27.0) b)) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (cbrt.f64 (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (*.f64 a 27.0) (sqrt.f64 b)) (*.f64 a 27.0) (*.f64 27.0 b) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (log.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (pow.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) 3) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (-.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) 3)) (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 y (*.f64 (*.f64 9.0 (*.f64 z t)) (+.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 x 2.0))))) (neg.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (+.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 x 2.0)) (exp.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (exp.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (log.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (exp.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (*.f64 (cbrt.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))))) (cbrt.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (pow.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) 3) (sqrt.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (sqrt.f64 (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))))) (+.f64 (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (pow.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) 3)) (+.f64 (*.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b)) (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b)))) (-.f64 (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (*.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b))) (-.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 (*.f64 a 27.0) b)) (-.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 a 27.0) b)) 0 (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 y 9.0) (*.f64 z t)) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (*.f64 x 2.0) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t))) (*.f64 x 2.0) (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) (+.f64 (*.f64 (*.f64 a 27.0) b) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y 9.0) (*.f64 z t)))) 2.017 * * * [progress]: adding candidates to table 2.114 * * [progress]: iteration 3 / 4 2.114 * * * [progress]: picking best candidate 2.145 * * * * [pick]: Picked # 2.145 * * * [progress]: localizing error 2.158 * * * [progress]: generating rewritten candidates 2.158 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.166 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 2.173 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 2.178 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.184 * * * [progress]: generating series expansions 2.184 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.184 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0 2.184 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 2.184 * [taylor]: Taking taylor expansion of 9.0 in t 2.184 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.184 * [taylor]: Taking taylor expansion of t in t 2.184 * [taylor]: Taking taylor expansion of (* z y) in t 2.184 * [taylor]: Taking taylor expansion of z in t 2.184 * [taylor]: Taking taylor expansion of y in t 2.184 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 2.184 * [taylor]: Taking taylor expansion of 9.0 in z 2.184 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.184 * [taylor]: Taking taylor expansion of t in z 2.184 * [taylor]: Taking taylor expansion of (* z y) in z 2.184 * [taylor]: Taking taylor expansion of z in z 2.184 * [taylor]: Taking taylor expansion of y in z 2.184 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 2.184 * [taylor]: Taking taylor expansion of 9.0 in y 2.184 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.184 * [taylor]: Taking taylor expansion of t in y 2.185 * [taylor]: Taking taylor expansion of (* z y) in y 2.185 * [taylor]: Taking taylor expansion of z in y 2.185 * [taylor]: Taking taylor expansion of y in y 2.185 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 2.185 * [taylor]: Taking taylor expansion of 9.0 in y 2.185 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.185 * [taylor]: Taking taylor expansion of t in y 2.185 * [taylor]: Taking taylor expansion of (* z y) in y 2.185 * [taylor]: Taking taylor expansion of z in y 2.185 * [taylor]: Taking taylor expansion of y in y 2.185 * [taylor]: Taking taylor expansion of 0 in z 2.185 * [taylor]: Taking taylor expansion of 0 in t 2.185 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 2.185 * [taylor]: Taking taylor expansion of 9.0 in z 2.185 * [taylor]: Taking taylor expansion of (* t z) in z 2.185 * [taylor]: Taking taylor expansion of t in z 2.185 * [taylor]: Taking taylor expansion of z in z 2.185 * [taylor]: Taking taylor expansion of 0 in t 2.185 * [taylor]: Taking taylor expansion of 0 in t 2.185 * [taylor]: Taking taylor expansion of 0 in z 2.185 * [taylor]: Taking taylor expansion of 0 in t 2.185 * [taylor]: Taking taylor expansion of (* 9.0 t) in t 2.185 * [taylor]: Taking taylor expansion of 9.0 in t 2.186 * [taylor]: Taking taylor expansion of t in t 2.186 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0 2.186 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t 2.186 * [taylor]: Taking taylor expansion of 9.0 in t 2.186 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.186 * [taylor]: Taking taylor expansion of t in t 2.186 * [taylor]: Taking taylor expansion of (* z y) in t 2.186 * [taylor]: Taking taylor expansion of z in t 2.186 * [taylor]: Taking taylor expansion of y in t 2.186 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z 2.186 * [taylor]: Taking taylor expansion of 9.0 in z 2.186 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.186 * [taylor]: Taking taylor expansion of t in z 2.186 * [taylor]: Taking taylor expansion of (* z y) in z 2.186 * [taylor]: Taking taylor expansion of z in z 2.186 * [taylor]: Taking taylor expansion of y in z 2.186 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y 2.186 * [taylor]: Taking taylor expansion of 9.0 in y 2.186 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.186 * [taylor]: Taking taylor expansion of t in y 2.186 * [taylor]: Taking taylor expansion of (* z y) in y 2.186 * [taylor]: Taking taylor expansion of z in y 2.186 * [taylor]: Taking taylor expansion of y in y 2.186 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y 2.187 * [taylor]: Taking taylor expansion of 9.0 in y 2.187 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.187 * [taylor]: Taking taylor expansion of t in y 2.187 * [taylor]: Taking taylor expansion of (* z y) in y 2.187 * [taylor]: Taking taylor expansion of z in y 2.187 * [taylor]: Taking taylor expansion of y in y 2.187 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 2.187 * [taylor]: Taking taylor expansion of 9.0 in z 2.187 * [taylor]: Taking taylor expansion of (* t z) in z 2.187 * [taylor]: Taking taylor expansion of t in z 2.187 * [taylor]: Taking taylor expansion of z in z 2.187 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 2.187 * [taylor]: Taking taylor expansion of 9.0 in t 2.187 * [taylor]: Taking taylor expansion of t in t 2.187 * [taylor]: Taking taylor expansion of 0 in z 2.187 * [taylor]: Taking taylor expansion of 0 in t 2.188 * [taylor]: Taking taylor expansion of 0 in z 2.188 * [taylor]: Taking taylor expansion of 0 in t 2.188 * [taylor]: Taking taylor expansion of 0 in t 2.188 * [taylor]: Taking taylor expansion of 0 in z 2.188 * [taylor]: Taking taylor expansion of 0 in t 2.188 * [taylor]: Taking taylor expansion of 0 in t 2.189 * [taylor]: Taking taylor expansion of 0 in t 2.189 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0 2.189 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t 2.189 * [taylor]: Taking taylor expansion of -9.0 in t 2.189 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.189 * [taylor]: Taking taylor expansion of t in t 2.189 * [taylor]: Taking taylor expansion of (* z y) in t 2.189 * [taylor]: Taking taylor expansion of z in t 2.189 * [taylor]: Taking taylor expansion of y in t 2.189 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z 2.189 * [taylor]: Taking taylor expansion of -9.0 in z 2.189 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.189 * [taylor]: Taking taylor expansion of t in z 2.189 * [taylor]: Taking taylor expansion of (* z y) in z 2.189 * [taylor]: Taking taylor expansion of z in z 2.189 * [taylor]: Taking taylor expansion of y in z 2.190 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y 2.190 * [taylor]: Taking taylor expansion of -9.0 in y 2.190 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.190 * [taylor]: Taking taylor expansion of t in y 2.190 * [taylor]: Taking taylor expansion of (* z y) in y 2.190 * [taylor]: Taking taylor expansion of z in y 2.190 * [taylor]: Taking taylor expansion of y in y 2.190 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y 2.190 * [taylor]: Taking taylor expansion of -9.0 in y 2.190 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.190 * [taylor]: Taking taylor expansion of t in y 2.190 * [taylor]: Taking taylor expansion of (* z y) in y 2.190 * [taylor]: Taking taylor expansion of z in y 2.190 * [taylor]: Taking taylor expansion of y in y 2.190 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z 2.190 * [taylor]: Taking taylor expansion of -9.0 in z 2.190 * [taylor]: Taking taylor expansion of (* t z) in z 2.190 * [taylor]: Taking taylor expansion of t in z 2.190 * [taylor]: Taking taylor expansion of z in z 2.190 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t 2.190 * [taylor]: Taking taylor expansion of -9.0 in t 2.190 * [taylor]: Taking taylor expansion of t in t 2.191 * [taylor]: Taking taylor expansion of 0 in z 2.191 * [taylor]: Taking taylor expansion of 0 in t 2.191 * [taylor]: Taking taylor expansion of 0 in z 2.191 * [taylor]: Taking taylor expansion of 0 in t 2.191 * [taylor]: Taking taylor expansion of 0 in t 2.192 * [taylor]: Taking taylor expansion of 0 in z 2.192 * [taylor]: Taking taylor expansion of 0 in t 2.192 * [taylor]: Taking taylor expansion of 0 in t 2.192 * [taylor]: Taking taylor expansion of 0 in t 2.192 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 2.192 * [approximate]: Taking taylor expansion of (* 9.0 (* t z)) in (z t) around 0 2.192 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in t 2.192 * [taylor]: Taking taylor expansion of 9.0 in t 2.192 * [taylor]: Taking taylor expansion of (* t z) in t 2.192 * [taylor]: Taking taylor expansion of t in t 2.192 * [taylor]: Taking taylor expansion of z in t 2.192 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 2.192 * [taylor]: Taking taylor expansion of 9.0 in z 2.192 * [taylor]: Taking taylor expansion of (* t z) in z 2.192 * [taylor]: Taking taylor expansion of t in z 2.192 * [taylor]: Taking taylor expansion of z in z 2.192 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 2.193 * [taylor]: Taking taylor expansion of 9.0 in z 2.193 * [taylor]: Taking taylor expansion of (* t z) in z 2.193 * [taylor]: Taking taylor expansion of t in z 2.193 * [taylor]: Taking taylor expansion of z in z 2.193 * [taylor]: Taking taylor expansion of 0 in t 2.193 * [taylor]: Taking taylor expansion of (* 9.0 t) in t 2.193 * [taylor]: Taking taylor expansion of 9.0 in t 2.193 * [taylor]: Taking taylor expansion of t in t 2.193 * [taylor]: Taking taylor expansion of 0 in t 2.193 * [taylor]: Taking taylor expansion of 0 in t 2.194 * [taylor]: Taking taylor expansion of 0 in t 2.194 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0 2.194 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t 2.194 * [taylor]: Taking taylor expansion of 9.0 in t 2.194 * [taylor]: Taking taylor expansion of (* t z) in t 2.194 * [taylor]: Taking taylor expansion of t in t 2.194 * [taylor]: Taking taylor expansion of z in t 2.194 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 2.194 * [taylor]: Taking taylor expansion of 9.0 in z 2.194 * [taylor]: Taking taylor expansion of (* t z) in z 2.194 * [taylor]: Taking taylor expansion of t in z 2.194 * [taylor]: Taking taylor expansion of z in z 2.194 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 2.194 * [taylor]: Taking taylor expansion of 9.0 in z 2.194 * [taylor]: Taking taylor expansion of (* t z) in z 2.194 * [taylor]: Taking taylor expansion of t in z 2.194 * [taylor]: Taking taylor expansion of z in z 2.194 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 2.194 * [taylor]: Taking taylor expansion of 9.0 in t 2.194 * [taylor]: Taking taylor expansion of t in t 2.195 * [taylor]: Taking taylor expansion of 0 in t 2.195 * [taylor]: Taking taylor expansion of 0 in t 2.195 * [taylor]: Taking taylor expansion of 0 in t 2.195 * [approximate]: Taking taylor expansion of (/ 9.0 (* t z)) in (z t) around 0 2.195 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in t 2.195 * [taylor]: Taking taylor expansion of 9.0 in t 2.195 * [taylor]: Taking taylor expansion of (* t z) in t 2.195 * [taylor]: Taking taylor expansion of t in t 2.195 * [taylor]: Taking taylor expansion of z in t 2.196 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 2.196 * [taylor]: Taking taylor expansion of 9.0 in z 2.196 * [taylor]: Taking taylor expansion of (* t z) in z 2.196 * [taylor]: Taking taylor expansion of t in z 2.196 * [taylor]: Taking taylor expansion of z in z 2.196 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 2.196 * [taylor]: Taking taylor expansion of 9.0 in z 2.196 * [taylor]: Taking taylor expansion of (* t z) in z 2.196 * [taylor]: Taking taylor expansion of t in z 2.196 * [taylor]: Taking taylor expansion of z in z 2.196 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 2.196 * [taylor]: Taking taylor expansion of 9.0 in t 2.196 * [taylor]: Taking taylor expansion of t in t 2.196 * [taylor]: Taking taylor expansion of 0 in t 2.196 * [taylor]: Taking taylor expansion of 0 in t 2.197 * [taylor]: Taking taylor expansion of 0 in t 2.197 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 2.197 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0 2.197 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b 2.197 * [taylor]: Taking taylor expansion of 27.0 in b 2.197 * [taylor]: Taking taylor expansion of (* a b) in b 2.197 * [taylor]: Taking taylor expansion of a in b 2.197 * [taylor]: Taking taylor expansion of b in b 2.197 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 2.197 * [taylor]: Taking taylor expansion of 27.0 in a 2.197 * [taylor]: Taking taylor expansion of (* a b) in a 2.197 * [taylor]: Taking taylor expansion of a in a 2.197 * [taylor]: Taking taylor expansion of b in a 2.197 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 2.197 * [taylor]: Taking taylor expansion of 27.0 in a 2.197 * [taylor]: Taking taylor expansion of (* a b) in a 2.197 * [taylor]: Taking taylor expansion of a in a 2.197 * [taylor]: Taking taylor expansion of b in a 2.197 * [taylor]: Taking taylor expansion of 0 in b 2.197 * [taylor]: Taking taylor expansion of (* 27.0 b) in b 2.197 * [taylor]: Taking taylor expansion of 27.0 in b 2.197 * [taylor]: Taking taylor expansion of b in b 2.198 * [taylor]: Taking taylor expansion of 0 in b 2.198 * [taylor]: Taking taylor expansion of 0 in b 2.198 * [taylor]: Taking taylor expansion of 0 in b 2.198 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0 2.198 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b 2.198 * [taylor]: Taking taylor expansion of 27.0 in b 2.198 * [taylor]: Taking taylor expansion of (* a b) in b 2.198 * [taylor]: Taking taylor expansion of a in b 2.198 * [taylor]: Taking taylor expansion of b in b 2.198 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 2.198 * [taylor]: Taking taylor expansion of 27.0 in a 2.198 * [taylor]: Taking taylor expansion of (* a b) in a 2.198 * [taylor]: Taking taylor expansion of a in a 2.198 * [taylor]: Taking taylor expansion of b in a 2.199 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 2.199 * [taylor]: Taking taylor expansion of 27.0 in a 2.199 * [taylor]: Taking taylor expansion of (* a b) in a 2.199 * [taylor]: Taking taylor expansion of a in a 2.199 * [taylor]: Taking taylor expansion of b in a 2.199 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 2.199 * [taylor]: Taking taylor expansion of 27.0 in b 2.199 * [taylor]: Taking taylor expansion of b in b 2.199 * [taylor]: Taking taylor expansion of 0 in b 2.199 * [taylor]: Taking taylor expansion of 0 in b 2.199 * [taylor]: Taking taylor expansion of 0 in b 2.200 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0 2.200 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b 2.200 * [taylor]: Taking taylor expansion of 27.0 in b 2.200 * [taylor]: Taking taylor expansion of (* a b) in b 2.200 * [taylor]: Taking taylor expansion of a in b 2.200 * [taylor]: Taking taylor expansion of b in b 2.200 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 2.200 * [taylor]: Taking taylor expansion of 27.0 in a 2.200 * [taylor]: Taking taylor expansion of (* a b) in a 2.200 * [taylor]: Taking taylor expansion of a in a 2.200 * [taylor]: Taking taylor expansion of b in a 2.200 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 2.200 * [taylor]: Taking taylor expansion of 27.0 in a 2.200 * [taylor]: Taking taylor expansion of (* a b) in a 2.200 * [taylor]: Taking taylor expansion of a in a 2.200 * [taylor]: Taking taylor expansion of b in a 2.200 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 2.200 * [taylor]: Taking taylor expansion of 27.0 in b 2.200 * [taylor]: Taking taylor expansion of b in b 2.201 * [taylor]: Taking taylor expansion of 0 in b 2.201 * [taylor]: Taking taylor expansion of 0 in b 2.201 * [taylor]: Taking taylor expansion of 0 in b 2.201 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.201 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0 2.201 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t 2.201 * [taylor]: Taking taylor expansion of (* 2.0 x) in t 2.201 * [taylor]: Taking taylor expansion of 2.0 in t 2.202 * [taylor]: Taking taylor expansion of x in t 2.202 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 2.202 * [taylor]: Taking taylor expansion of 9.0 in t 2.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.202 * [taylor]: Taking taylor expansion of t in t 2.202 * [taylor]: Taking taylor expansion of (* z y) in t 2.202 * [taylor]: Taking taylor expansion of z in t 2.202 * [taylor]: Taking taylor expansion of y in t 2.202 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z 2.202 * [taylor]: Taking taylor expansion of (* 2.0 x) in z 2.202 * [taylor]: Taking taylor expansion of 2.0 in z 2.202 * [taylor]: Taking taylor expansion of x in z 2.202 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 2.202 * [taylor]: Taking taylor expansion of 9.0 in z 2.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.202 * [taylor]: Taking taylor expansion of t in z 2.202 * [taylor]: Taking taylor expansion of (* z y) in z 2.202 * [taylor]: Taking taylor expansion of z in z 2.202 * [taylor]: Taking taylor expansion of y in z 2.202 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y 2.202 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 2.202 * [taylor]: Taking taylor expansion of 2.0 in y 2.202 * [taylor]: Taking taylor expansion of x in y 2.202 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 2.202 * [taylor]: Taking taylor expansion of 9.0 in y 2.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.202 * [taylor]: Taking taylor expansion of t in y 2.202 * [taylor]: Taking taylor expansion of (* z y) in y 2.202 * [taylor]: Taking taylor expansion of z in y 2.202 * [taylor]: Taking taylor expansion of y in y 2.202 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x 2.202 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.202 * [taylor]: Taking taylor expansion of 2.0 in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 2.202 * [taylor]: Taking taylor expansion of 9.0 in x 2.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.202 * [taylor]: Taking taylor expansion of t in x 2.202 * [taylor]: Taking taylor expansion of (* z y) in x 2.202 * [taylor]: Taking taylor expansion of z in x 2.202 * [taylor]: Taking taylor expansion of y in x 2.202 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x 2.202 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.202 * [taylor]: Taking taylor expansion of 2.0 in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 2.202 * [taylor]: Taking taylor expansion of 9.0 in x 2.202 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.202 * [taylor]: Taking taylor expansion of t in x 2.202 * [taylor]: Taking taylor expansion of (* z y) in x 2.202 * [taylor]: Taking taylor expansion of z in x 2.202 * [taylor]: Taking taylor expansion of y in x 2.203 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in y 2.203 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 2.203 * [taylor]: Taking taylor expansion of 9.0 in y 2.203 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.203 * [taylor]: Taking taylor expansion of t in y 2.203 * [taylor]: Taking taylor expansion of (* z y) in y 2.203 * [taylor]: Taking taylor expansion of z in y 2.203 * [taylor]: Taking taylor expansion of y in y 2.203 * [taylor]: Taking taylor expansion of 0 in z 2.203 * [taylor]: Taking taylor expansion of 0 in t 2.203 * [taylor]: Taking taylor expansion of 2.0 in y 2.203 * [taylor]: Taking taylor expansion of 2.0 in z 2.203 * [taylor]: Taking taylor expansion of 2.0 in t 2.203 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z 2.203 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 2.203 * [taylor]: Taking taylor expansion of 9.0 in z 2.203 * [taylor]: Taking taylor expansion of (* t z) in z 2.203 * [taylor]: Taking taylor expansion of t in z 2.203 * [taylor]: Taking taylor expansion of z in z 2.204 * [taylor]: Taking taylor expansion of 0 in t 2.204 * [taylor]: Taking taylor expansion of 0 in t 2.204 * [taylor]: Taking taylor expansion of 0 in y 2.204 * [taylor]: Taking taylor expansion of 0 in z 2.204 * [taylor]: Taking taylor expansion of 0 in t 2.204 * [taylor]: Taking taylor expansion of 0 in z 2.204 * [taylor]: Taking taylor expansion of 0 in t 2.204 * [taylor]: Taking taylor expansion of 0 in z 2.204 * [taylor]: Taking taylor expansion of 0 in t 2.204 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0 2.204 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t 2.204 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 2.204 * [taylor]: Taking taylor expansion of 2.0 in t 2.205 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.205 * [taylor]: Taking taylor expansion of x in t 2.205 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 2.205 * [taylor]: Taking taylor expansion of 9.0 in t 2.205 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 2.205 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.205 * [taylor]: Taking taylor expansion of t in t 2.205 * [taylor]: Taking taylor expansion of (* z y) in t 2.205 * [taylor]: Taking taylor expansion of z in t 2.205 * [taylor]: Taking taylor expansion of y in t 2.205 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z 2.205 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 2.205 * [taylor]: Taking taylor expansion of 2.0 in z 2.205 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.205 * [taylor]: Taking taylor expansion of x in z 2.205 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 2.205 * [taylor]: Taking taylor expansion of 9.0 in z 2.205 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 2.205 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.205 * [taylor]: Taking taylor expansion of t in z 2.205 * [taylor]: Taking taylor expansion of (* z y) in z 2.205 * [taylor]: Taking taylor expansion of z in z 2.205 * [taylor]: Taking taylor expansion of y in z 2.205 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y 2.205 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 2.205 * [taylor]: Taking taylor expansion of 2.0 in y 2.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.205 * [taylor]: Taking taylor expansion of x in y 2.205 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 2.205 * [taylor]: Taking taylor expansion of 9.0 in y 2.205 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 2.205 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.205 * [taylor]: Taking taylor expansion of t in y 2.205 * [taylor]: Taking taylor expansion of (* z y) in y 2.205 * [taylor]: Taking taylor expansion of z in y 2.205 * [taylor]: Taking taylor expansion of y in y 2.206 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x 2.206 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 2.206 * [taylor]: Taking taylor expansion of 2.0 in x 2.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.206 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 2.206 * [taylor]: Taking taylor expansion of 9.0 in x 2.206 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 2.206 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.206 * [taylor]: Taking taylor expansion of t in x 2.206 * [taylor]: Taking taylor expansion of (* z y) in x 2.206 * [taylor]: Taking taylor expansion of z in x 2.206 * [taylor]: Taking taylor expansion of y in x 2.206 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x 2.206 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 2.206 * [taylor]: Taking taylor expansion of 2.0 in x 2.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.206 * [taylor]: Taking taylor expansion of x in x 2.206 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 2.206 * [taylor]: Taking taylor expansion of 9.0 in x 2.206 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 2.206 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.206 * [taylor]: Taking taylor expansion of t in x 2.206 * [taylor]: Taking taylor expansion of (* z y) in x 2.206 * [taylor]: Taking taylor expansion of z in x 2.206 * [taylor]: Taking taylor expansion of y in x 2.206 * [taylor]: Taking taylor expansion of 2.0 in y 2.207 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in y 2.207 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 2.207 * [taylor]: Taking taylor expansion of 9.0 in y 2.207 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 2.207 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.207 * [taylor]: Taking taylor expansion of t in y 2.207 * [taylor]: Taking taylor expansion of (* z y) in y 2.207 * [taylor]: Taking taylor expansion of z in y 2.207 * [taylor]: Taking taylor expansion of y in y 2.207 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z 2.207 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 2.207 * [taylor]: Taking taylor expansion of 9.0 in z 2.207 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.207 * [taylor]: Taking taylor expansion of (* t z) in z 2.207 * [taylor]: Taking taylor expansion of t in z 2.207 * [taylor]: Taking taylor expansion of z in z 2.207 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t 2.207 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t 2.207 * [taylor]: Taking taylor expansion of 9.0 in t 2.207 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.207 * [taylor]: Taking taylor expansion of t in t 2.207 * [taylor]: Taking taylor expansion of 2.0 in z 2.208 * [taylor]: Taking taylor expansion of 0 in y 2.208 * [taylor]: Taking taylor expansion of 0 in z 2.208 * [taylor]: Taking taylor expansion of 0 in z 2.208 * [taylor]: Taking taylor expansion of 0 in t 2.208 * [taylor]: Taking taylor expansion of 2.0 in t 2.209 * [taylor]: Taking taylor expansion of 0 in y 2.209 * [taylor]: Taking taylor expansion of 0 in z 2.209 * [taylor]: Taking taylor expansion of 0 in z 2.209 * [taylor]: Taking taylor expansion of 0 in z 2.209 * [taylor]: Taking taylor expansion of 0 in t 2.209 * [taylor]: Taking taylor expansion of 0 in t 2.210 * [taylor]: Taking taylor expansion of 0 in t 2.210 * [taylor]: Taking taylor expansion of 0 in t 2.211 * [taylor]: Taking taylor expansion of 0 in y 2.211 * [taylor]: Taking taylor expansion of 0 in z 2.211 * [taylor]: Taking taylor expansion of 0 in z 2.211 * [taylor]: Taking taylor expansion of 0 in z 2.211 * [taylor]: Taking taylor expansion of 0 in z 2.211 * [taylor]: Taking taylor expansion of 0 in t 2.211 * [taylor]: Taking taylor expansion of 0 in t 2.211 * [taylor]: Taking taylor expansion of 0 in t 2.211 * [taylor]: Taking taylor expansion of 0 in t 2.211 * [taylor]: Taking taylor expansion of 0 in t 2.212 * [taylor]: Taking taylor expansion of 0 in t 2.212 * [taylor]: Taking taylor expansion of 0 in t 2.212 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0 2.212 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t 2.212 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 2.212 * [taylor]: Taking taylor expansion of 9.0 in t 2.212 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 2.212 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.212 * [taylor]: Taking taylor expansion of t in t 2.212 * [taylor]: Taking taylor expansion of (* z y) in t 2.212 * [taylor]: Taking taylor expansion of z in t 2.212 * [taylor]: Taking taylor expansion of y in t 2.212 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 2.213 * [taylor]: Taking taylor expansion of 2.0 in t 2.213 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.213 * [taylor]: Taking taylor expansion of x in t 2.213 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z 2.213 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 2.213 * [taylor]: Taking taylor expansion of 9.0 in z 2.213 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 2.213 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.213 * [taylor]: Taking taylor expansion of t in z 2.213 * [taylor]: Taking taylor expansion of (* z y) in z 2.213 * [taylor]: Taking taylor expansion of z in z 2.213 * [taylor]: Taking taylor expansion of y in z 2.213 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 2.213 * [taylor]: Taking taylor expansion of 2.0 in z 2.213 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.213 * [taylor]: Taking taylor expansion of x in z 2.213 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y 2.213 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 2.213 * [taylor]: Taking taylor expansion of 9.0 in y 2.213 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 2.213 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.213 * [taylor]: Taking taylor expansion of t in y 2.213 * [taylor]: Taking taylor expansion of (* z y) in y 2.213 * [taylor]: Taking taylor expansion of z in y 2.213 * [taylor]: Taking taylor expansion of y in y 2.214 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 2.214 * [taylor]: Taking taylor expansion of 2.0 in y 2.214 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.214 * [taylor]: Taking taylor expansion of x in y 2.214 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x 2.214 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 2.214 * [taylor]: Taking taylor expansion of 9.0 in x 2.214 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 2.214 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.214 * [taylor]: Taking taylor expansion of t in x 2.214 * [taylor]: Taking taylor expansion of (* z y) in x 2.214 * [taylor]: Taking taylor expansion of z in x 2.214 * [taylor]: Taking taylor expansion of y in x 2.214 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 2.214 * [taylor]: Taking taylor expansion of 2.0 in x 2.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.214 * [taylor]: Taking taylor expansion of x in x 2.214 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x 2.214 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 2.214 * [taylor]: Taking taylor expansion of 9.0 in x 2.214 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 2.214 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.214 * [taylor]: Taking taylor expansion of t in x 2.214 * [taylor]: Taking taylor expansion of (* z y) in x 2.214 * [taylor]: Taking taylor expansion of z in x 2.214 * [taylor]: Taking taylor expansion of y in x 2.214 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 2.214 * [taylor]: Taking taylor expansion of 2.0 in x 2.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.214 * [taylor]: Taking taylor expansion of x in x 2.214 * [taylor]: Taking taylor expansion of (neg 2.0) in y 2.214 * [taylor]: Taking taylor expansion of 2.0 in y 2.215 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 2.215 * [taylor]: Taking taylor expansion of 9.0 in y 2.215 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 2.215 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.215 * [taylor]: Taking taylor expansion of t in y 2.215 * [taylor]: Taking taylor expansion of (* z y) in y 2.215 * [taylor]: Taking taylor expansion of z in y 2.215 * [taylor]: Taking taylor expansion of y in y 2.215 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 2.215 * [taylor]: Taking taylor expansion of 9.0 in z 2.215 * [taylor]: Taking taylor expansion of (* t z) in z 2.215 * [taylor]: Taking taylor expansion of t in z 2.215 * [taylor]: Taking taylor expansion of z in z 2.215 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 2.215 * [taylor]: Taking taylor expansion of 9.0 in t 2.215 * [taylor]: Taking taylor expansion of t in t 2.215 * [taylor]: Taking taylor expansion of (neg 2.0) in z 2.215 * [taylor]: Taking taylor expansion of 2.0 in z 2.216 * [taylor]: Taking taylor expansion of 0 in y 2.216 * [taylor]: Taking taylor expansion of 0 in z 2.216 * [taylor]: Taking taylor expansion of 0 in z 2.216 * [taylor]: Taking taylor expansion of 0 in t 2.216 * [taylor]: Taking taylor expansion of (neg 2.0) in t 2.216 * [taylor]: Taking taylor expansion of 2.0 in t 2.217 * [taylor]: Taking taylor expansion of 0 in y 2.217 * [taylor]: Taking taylor expansion of 0 in z 2.217 * [taylor]: Taking taylor expansion of 0 in z 2.217 * [taylor]: Taking taylor expansion of 0 in z 2.217 * [taylor]: Taking taylor expansion of 0 in t 2.217 * [taylor]: Taking taylor expansion of 0 in t 2.217 * [taylor]: Taking taylor expansion of 0 in t 2.217 * [taylor]: Taking taylor expansion of 0 in t 2.218 * [taylor]: Taking taylor expansion of 0 in y 2.218 * [taylor]: Taking taylor expansion of 0 in z 2.218 * [taylor]: Taking taylor expansion of 0 in z 2.219 * [taylor]: Taking taylor expansion of 0 in z 2.219 * [taylor]: Taking taylor expansion of 0 in z 2.219 * [taylor]: Taking taylor expansion of 0 in t 2.219 * [taylor]: Taking taylor expansion of 0 in t 2.219 * [taylor]: Taking taylor expansion of 0 in t 2.219 * [taylor]: Taking taylor expansion of 0 in t 2.219 * [taylor]: Taking taylor expansion of 0 in t 2.219 * [taylor]: Taking taylor expansion of 0 in t 2.219 * [taylor]: Taking taylor expansion of 0 in t 2.220 * * * [progress]: simplifying candidates 2.221 * [simplify]: Simplifying using # : (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t))) (+.f64 (log.f64 y) (+.f64 (log.f64 9.0) (+.f64 (log.f64 z) (log.f64 t)))) (+.f64 (log.f64 y) (+.f64 (log.f64 9.0) (log.f64 (*.f64 z t)))) (+.f64 (log.f64 y) (log.f64 (*.f64 9.0 (*.f64 z t)))) (log.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (exp.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 9.0 9.0) 9.0) (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t)))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 9.0 9.0) 9.0) (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t)))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 9.0 (*.f64 z t)) (*.f64 9.0 (*.f64 z t))) (*.f64 9.0 (*.f64 z t)))) (*.f64 (cbrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (cbrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))))) (cbrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (*.f64 (*.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t)))) (*.f64 y (*.f64 9.0 (*.f64 z t)))) (sqrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (sqrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (*.f64 y 9.0) (*.f64 (cbrt.f64 y) (*.f64 9.0 (*.f64 z t))) (*.f64 (sqrt.f64 y) (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 9.0 (*.f64 z t)) (*.f64 9.0 (*.f64 z t)) (+.f64 (log.f64 9.0) (+.f64 (log.f64 z) (log.f64 t))) (+.f64 (log.f64 9.0) (log.f64 (*.f64 z t))) (log.f64 (*.f64 9.0 (*.f64 z t))) (exp.f64 (*.f64 9.0 (*.f64 z t))) (*.f64 (*.f64 (*.f64 9.0 9.0) 9.0) (*.f64 (*.f64 (*.f64 z z) z) (*.f64 (*.f64 t t) t))) (*.f64 (*.f64 (*.f64 9.0 9.0) 9.0) (*.f64 (*.f64 (*.f64 z t) (*.f64 z t)) (*.f64 z t))) (*.f64 (cbrt.f64 (*.f64 9.0 (*.f64 z t))) (cbrt.f64 (*.f64 9.0 (*.f64 z t)))) (cbrt.f64 (*.f64 9.0 (*.f64 z t))) (*.f64 (*.f64 (*.f64 9.0 (*.f64 z t)) (*.f64 9.0 (*.f64 z t))) (*.f64 9.0 (*.f64 z t))) (sqrt.f64 (*.f64 9.0 (*.f64 z t))) (sqrt.f64 (*.f64 9.0 (*.f64 z t))) (*.f64 9.0 z) (*.f64 (cbrt.f64 9.0) (*.f64 z t)) (*.f64 (sqrt.f64 9.0) (*.f64 z t)) (*.f64 9.0 (*.f64 z t)) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (+.f64 (+.f64 (log.f64 a) (log.f64 27.0)) (log.f64 b)) (+.f64 (log.f64 (*.f64 a 27.0)) (log.f64 b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (exp.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 27.0 27.0) 27.0)) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (*.f64 (*.f64 a 27.0) (*.f64 a 27.0)) (*.f64 a 27.0)) (*.f64 (*.f64 b b) b)) (*.f64 (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (cbrt.f64 (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (*.f64 a 27.0) (sqrt.f64 b)) (*.f64 (*.f64 a 27.0) 1) (*.f64 27.0 b) (/.f64 (exp.f64 (*.f64 x 2.0)) (exp.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))))) (log.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t)))))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (*.f64 (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t)))) (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (-.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) 3)) (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (+.f64 (*.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t)))) (*.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t)))))) (neg.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (+.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t)))) 0 (*.f64 9.0 (*.f64 t (*.f64 z y))) (*.f64 9.0 (*.f64 t (*.f64 z y))) (*.f64 9.0 (*.f64 t z)) (*.f64 9.0 (*.f64 t z)) (*.f64 9.0 (*.f64 t z)) (*.f64 27.0 (*.f64 a b)) (*.f64 27.0 (*.f64 a b)) (*.f64 27.0 (*.f64 a b)) (*.f64 2.0 x) (-.f64 (*.f64 2.0 x) (*.f64 9.0 (*.f64 t (*.f64 z y)))) (-.f64 (*.f64 2.0 x) (*.f64 9.0 (*.f64 t (*.f64 z y)))) 2.261 * * [simplify]: iteration 0 : 5209 enodes (cost 641 ) 2.264 * [simplify]: Simplified to: (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t))) (log.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (log.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (log.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (log.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (exp.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (pow.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) 3) (pow.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) 3) (pow.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) 3) (*.f64 (cbrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (cbrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))))) (cbrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (pow.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) 3) (sqrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (sqrt.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (*.f64 y 9.0) (*.f64 (*.f64 9.0 (*.f64 z t)) (cbrt.f64 y)) (*.f64 (*.f64 9.0 (*.f64 z t)) (sqrt.f64 y)) (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 9.0 (*.f64 z t)) (*.f64 9.0 (*.f64 z t)) (log.f64 (*.f64 9.0 (*.f64 z t))) (log.f64 (*.f64 9.0 (*.f64 z t))) (log.f64 (*.f64 9.0 (*.f64 z t))) (exp.f64 (*.f64 9.0 (*.f64 z t))) (pow.f64 (*.f64 9.0 (*.f64 z t)) 3) (pow.f64 (*.f64 9.0 (*.f64 z t)) 3) (*.f64 (cbrt.f64 (*.f64 9.0 (*.f64 z t))) (cbrt.f64 (*.f64 9.0 (*.f64 z t)))) (cbrt.f64 (*.f64 9.0 (*.f64 z t))) (pow.f64 (*.f64 9.0 (*.f64 z t)) 3) (sqrt.f64 (*.f64 9.0 (*.f64 z t))) (sqrt.f64 (*.f64 9.0 (*.f64 z t))) (*.f64 9.0 z) (*.f64 (*.f64 z t) (cbrt.f64 9.0)) (*.f64 (*.f64 z t) (sqrt.f64 9.0)) (*.f64 9.0 (*.f64 z t)) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (log.f64 (*.f64 (*.f64 a 27.0) b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (exp.f64 (*.f64 (*.f64 a 27.0) b)) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (cbrt.f64 (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (*.f64 a 27.0) (sqrt.f64 b)) (*.f64 a 27.0) (*.f64 27.0 b) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (log.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t)))))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (pow.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t)))) 3) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (-.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) 3)) (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 y (*.f64 (*.f64 9.0 (*.f64 z t)) (+.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 x 2.0))))) (neg.f64 (*.f64 y (*.f64 9.0 (*.f64 z t)))) (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t))))) (+.f64 (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 x 2.0)) 0 (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 y (*.f64 9.0 (*.f64 z t))) (*.f64 9.0 (*.f64 z t)) (*.f64 9.0 (*.f64 z t)) (*.f64 9.0 (*.f64 z t)) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (*.f64 x 2.0) (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t)))) (-.f64 (*.f64 x 2.0) (*.f64 y (*.f64 9.0 (*.f64 z t)))) 2.264 * * * [progress]: adding candidates to table 2.363 * * [progress]: iteration 4 / 4 2.363 * * * [progress]: picking best candidate 2.396 * * * * [pick]: Picked # 2.396 * * * [progress]: localizing error 2.409 * * * [progress]: generating rewritten candidates 2.409 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 2.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 2.422 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 2.427 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.433 * * * [progress]: generating series expansions 2.433 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 2.433 * [approximate]: Taking taylor expansion of (* 9.0 (* t (* z y))) in (y z t) around 0 2.433 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 2.433 * [taylor]: Taking taylor expansion of 9.0 in t 2.433 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.433 * [taylor]: Taking taylor expansion of t in t 2.433 * [taylor]: Taking taylor expansion of (* z y) in t 2.433 * [taylor]: Taking taylor expansion of z in t 2.433 * [taylor]: Taking taylor expansion of y in t 2.433 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 2.433 * [taylor]: Taking taylor expansion of 9.0 in z 2.433 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.433 * [taylor]: Taking taylor expansion of t in z 2.433 * [taylor]: Taking taylor expansion of (* z y) in z 2.433 * [taylor]: Taking taylor expansion of z in z 2.433 * [taylor]: Taking taylor expansion of y in z 2.433 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 2.433 * [taylor]: Taking taylor expansion of 9.0 in y 2.433 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.433 * [taylor]: Taking taylor expansion of t in y 2.433 * [taylor]: Taking taylor expansion of (* z y) in y 2.433 * [taylor]: Taking taylor expansion of z in y 2.433 * [taylor]: Taking taylor expansion of y in y 2.434 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 2.434 * [taylor]: Taking taylor expansion of 9.0 in y 2.434 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.434 * [taylor]: Taking taylor expansion of t in y 2.434 * [taylor]: Taking taylor expansion of (* z y) in y 2.434 * [taylor]: Taking taylor expansion of z in y 2.434 * [taylor]: Taking taylor expansion of y in y 2.434 * [taylor]: Taking taylor expansion of 0 in z 2.434 * [taylor]: Taking taylor expansion of 0 in t 2.434 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 2.434 * [taylor]: Taking taylor expansion of 9.0 in z 2.434 * [taylor]: Taking taylor expansion of (* t z) in z 2.434 * [taylor]: Taking taylor expansion of t in z 2.434 * [taylor]: Taking taylor expansion of z in z 2.434 * [taylor]: Taking taylor expansion of 0 in t 2.434 * [taylor]: Taking taylor expansion of 0 in t 2.434 * [taylor]: Taking taylor expansion of 0 in z 2.434 * [taylor]: Taking taylor expansion of 0 in t 2.434 * [taylor]: Taking taylor expansion of (* 9.0 t) in t 2.434 * [taylor]: Taking taylor expansion of 9.0 in t 2.434 * [taylor]: Taking taylor expansion of t in t 2.435 * [approximate]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in (y z t) around 0 2.435 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in t 2.435 * [taylor]: Taking taylor expansion of 9.0 in t 2.435 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.435 * [taylor]: Taking taylor expansion of t in t 2.435 * [taylor]: Taking taylor expansion of (* z y) in t 2.435 * [taylor]: Taking taylor expansion of z in t 2.435 * [taylor]: Taking taylor expansion of y in t 2.435 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in z 2.435 * [taylor]: Taking taylor expansion of 9.0 in z 2.435 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.435 * [taylor]: Taking taylor expansion of t in z 2.435 * [taylor]: Taking taylor expansion of (* z y) in z 2.435 * [taylor]: Taking taylor expansion of z in z 2.435 * [taylor]: Taking taylor expansion of y in z 2.435 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y 2.435 * [taylor]: Taking taylor expansion of 9.0 in y 2.435 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.435 * [taylor]: Taking taylor expansion of t in y 2.435 * [taylor]: Taking taylor expansion of (* z y) in y 2.435 * [taylor]: Taking taylor expansion of z in y 2.435 * [taylor]: Taking taylor expansion of y in y 2.435 * [taylor]: Taking taylor expansion of (/ 9.0 (* t (* z y))) in y 2.435 * [taylor]: Taking taylor expansion of 9.0 in y 2.435 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.436 * [taylor]: Taking taylor expansion of t in y 2.436 * [taylor]: Taking taylor expansion of (* z y) in y 2.436 * [taylor]: Taking taylor expansion of z in y 2.436 * [taylor]: Taking taylor expansion of y in y 2.436 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 2.436 * [taylor]: Taking taylor expansion of 9.0 in z 2.436 * [taylor]: Taking taylor expansion of (* t z) in z 2.436 * [taylor]: Taking taylor expansion of t in z 2.436 * [taylor]: Taking taylor expansion of z in z 2.436 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 2.436 * [taylor]: Taking taylor expansion of 9.0 in t 2.436 * [taylor]: Taking taylor expansion of t in t 2.436 * [taylor]: Taking taylor expansion of 0 in z 2.436 * [taylor]: Taking taylor expansion of 0 in t 2.437 * [taylor]: Taking taylor expansion of 0 in z 2.437 * [taylor]: Taking taylor expansion of 0 in t 2.437 * [taylor]: Taking taylor expansion of 0 in t 2.437 * [taylor]: Taking taylor expansion of 0 in z 2.437 * [taylor]: Taking taylor expansion of 0 in t 2.437 * [taylor]: Taking taylor expansion of 0 in t 2.438 * [taylor]: Taking taylor expansion of 0 in t 2.438 * [approximate]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in (y z t) around 0 2.438 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in t 2.438 * [taylor]: Taking taylor expansion of -9.0 in t 2.438 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.438 * [taylor]: Taking taylor expansion of t in t 2.438 * [taylor]: Taking taylor expansion of (* z y) in t 2.438 * [taylor]: Taking taylor expansion of z in t 2.438 * [taylor]: Taking taylor expansion of y in t 2.438 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in z 2.438 * [taylor]: Taking taylor expansion of -9.0 in z 2.438 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.438 * [taylor]: Taking taylor expansion of t in z 2.438 * [taylor]: Taking taylor expansion of (* z y) in z 2.438 * [taylor]: Taking taylor expansion of z in z 2.438 * [taylor]: Taking taylor expansion of y in z 2.438 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y 2.438 * [taylor]: Taking taylor expansion of -9.0 in y 2.439 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.439 * [taylor]: Taking taylor expansion of t in y 2.439 * [taylor]: Taking taylor expansion of (* z y) in y 2.439 * [taylor]: Taking taylor expansion of z in y 2.439 * [taylor]: Taking taylor expansion of y in y 2.439 * [taylor]: Taking taylor expansion of (/ -9.0 (* t (* z y))) in y 2.439 * [taylor]: Taking taylor expansion of -9.0 in y 2.439 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.439 * [taylor]: Taking taylor expansion of t in y 2.439 * [taylor]: Taking taylor expansion of (* z y) in y 2.439 * [taylor]: Taking taylor expansion of z in y 2.439 * [taylor]: Taking taylor expansion of y in y 2.439 * [taylor]: Taking taylor expansion of (/ -9.0 (* t z)) in z 2.439 * [taylor]: Taking taylor expansion of -9.0 in z 2.439 * [taylor]: Taking taylor expansion of (* t z) in z 2.439 * [taylor]: Taking taylor expansion of t in z 2.439 * [taylor]: Taking taylor expansion of z in z 2.439 * [taylor]: Taking taylor expansion of (/ -9.0 t) in t 2.439 * [taylor]: Taking taylor expansion of -9.0 in t 2.439 * [taylor]: Taking taylor expansion of t in t 2.439 * [taylor]: Taking taylor expansion of 0 in z 2.440 * [taylor]: Taking taylor expansion of 0 in t 2.440 * [taylor]: Taking taylor expansion of 0 in z 2.440 * [taylor]: Taking taylor expansion of 0 in t 2.440 * [taylor]: Taking taylor expansion of 0 in t 2.441 * [taylor]: Taking taylor expansion of 0 in z 2.441 * [taylor]: Taking taylor expansion of 0 in t 2.441 * [taylor]: Taking taylor expansion of 0 in t 2.441 * [taylor]: Taking taylor expansion of 0 in t 2.441 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 2.441 * [approximate]: Taking taylor expansion of (* 27.0 (* a b)) in (a b) around 0 2.441 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in b 2.441 * [taylor]: Taking taylor expansion of 27.0 in b 2.441 * [taylor]: Taking taylor expansion of (* a b) in b 2.441 * [taylor]: Taking taylor expansion of a in b 2.441 * [taylor]: Taking taylor expansion of b in b 2.441 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 2.441 * [taylor]: Taking taylor expansion of 27.0 in a 2.441 * [taylor]: Taking taylor expansion of (* a b) in a 2.441 * [taylor]: Taking taylor expansion of a in a 2.441 * [taylor]: Taking taylor expansion of b in a 2.441 * [taylor]: Taking taylor expansion of (* 27.0 (* a b)) in a 2.441 * [taylor]: Taking taylor expansion of 27.0 in a 2.441 * [taylor]: Taking taylor expansion of (* a b) in a 2.441 * [taylor]: Taking taylor expansion of a in a 2.441 * [taylor]: Taking taylor expansion of b in a 2.442 * [taylor]: Taking taylor expansion of 0 in b 2.442 * [taylor]: Taking taylor expansion of (* 27.0 b) in b 2.442 * [taylor]: Taking taylor expansion of 27.0 in b 2.442 * [taylor]: Taking taylor expansion of b in b 2.442 * [taylor]: Taking taylor expansion of 0 in b 2.442 * [taylor]: Taking taylor expansion of 0 in b 2.442 * [taylor]: Taking taylor expansion of 0 in b 2.442 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0 2.442 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b 2.442 * [taylor]: Taking taylor expansion of 27.0 in b 2.442 * [taylor]: Taking taylor expansion of (* a b) in b 2.443 * [taylor]: Taking taylor expansion of a in b 2.443 * [taylor]: Taking taylor expansion of b in b 2.443 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 2.443 * [taylor]: Taking taylor expansion of 27.0 in a 2.443 * [taylor]: Taking taylor expansion of (* a b) in a 2.443 * [taylor]: Taking taylor expansion of a in a 2.443 * [taylor]: Taking taylor expansion of b in a 2.443 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 2.443 * [taylor]: Taking taylor expansion of 27.0 in a 2.443 * [taylor]: Taking taylor expansion of (* a b) in a 2.443 * [taylor]: Taking taylor expansion of a in a 2.443 * [taylor]: Taking taylor expansion of b in a 2.443 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 2.443 * [taylor]: Taking taylor expansion of 27.0 in b 2.443 * [taylor]: Taking taylor expansion of b in b 2.443 * [taylor]: Taking taylor expansion of 0 in b 2.443 * [taylor]: Taking taylor expansion of 0 in b 2.444 * [taylor]: Taking taylor expansion of 0 in b 2.444 * [approximate]: Taking taylor expansion of (/ 27.0 (* a b)) in (a b) around 0 2.444 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in b 2.444 * [taylor]: Taking taylor expansion of 27.0 in b 2.444 * [taylor]: Taking taylor expansion of (* a b) in b 2.444 * [taylor]: Taking taylor expansion of a in b 2.444 * [taylor]: Taking taylor expansion of b in b 2.444 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 2.444 * [taylor]: Taking taylor expansion of 27.0 in a 2.444 * [taylor]: Taking taylor expansion of (* a b) in a 2.444 * [taylor]: Taking taylor expansion of a in a 2.444 * [taylor]: Taking taylor expansion of b in a 2.444 * [taylor]: Taking taylor expansion of (/ 27.0 (* a b)) in a 2.444 * [taylor]: Taking taylor expansion of 27.0 in a 2.444 * [taylor]: Taking taylor expansion of (* a b) in a 2.444 * [taylor]: Taking taylor expansion of a in a 2.444 * [taylor]: Taking taylor expansion of b in a 2.445 * [taylor]: Taking taylor expansion of (/ 27.0 b) in b 2.445 * [taylor]: Taking taylor expansion of 27.0 in b 2.445 * [taylor]: Taking taylor expansion of b in b 2.445 * [taylor]: Taking taylor expansion of 0 in b 2.445 * [taylor]: Taking taylor expansion of 0 in b 2.445 * [taylor]: Taking taylor expansion of 0 in b 2.446 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 2.446 * [approximate]: Taking taylor expansion of (* 9.0 (* z y)) in (y z) around 0 2.446 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in z 2.446 * [taylor]: Taking taylor expansion of 9.0 in z 2.446 * [taylor]: Taking taylor expansion of (* z y) in z 2.446 * [taylor]: Taking taylor expansion of z in z 2.446 * [taylor]: Taking taylor expansion of y in z 2.446 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y 2.446 * [taylor]: Taking taylor expansion of 9.0 in y 2.446 * [taylor]: Taking taylor expansion of (* z y) in y 2.446 * [taylor]: Taking taylor expansion of z in y 2.446 * [taylor]: Taking taylor expansion of y in y 2.446 * [taylor]: Taking taylor expansion of (* 9.0 (* z y)) in y 2.446 * [taylor]: Taking taylor expansion of 9.0 in y 2.446 * [taylor]: Taking taylor expansion of (* z y) in y 2.446 * [taylor]: Taking taylor expansion of z in y 2.446 * [taylor]: Taking taylor expansion of y in y 2.446 * [taylor]: Taking taylor expansion of 0 in z 2.446 * [taylor]: Taking taylor expansion of (* 9.0 z) in z 2.446 * [taylor]: Taking taylor expansion of 9.0 in z 2.446 * [taylor]: Taking taylor expansion of z in z 2.446 * [taylor]: Taking taylor expansion of 0 in z 2.446 * [taylor]: Taking taylor expansion of 0 in z 2.447 * [taylor]: Taking taylor expansion of 0 in z 2.447 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0 2.447 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z 2.447 * [taylor]: Taking taylor expansion of 9.0 in z 2.447 * [taylor]: Taking taylor expansion of (* z y) in z 2.447 * [taylor]: Taking taylor expansion of z in z 2.447 * [taylor]: Taking taylor expansion of y in z 2.447 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y 2.447 * [taylor]: Taking taylor expansion of 9.0 in y 2.447 * [taylor]: Taking taylor expansion of (* z y) in y 2.447 * [taylor]: Taking taylor expansion of z in y 2.447 * [taylor]: Taking taylor expansion of y in y 2.447 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y 2.447 * [taylor]: Taking taylor expansion of 9.0 in y 2.447 * [taylor]: Taking taylor expansion of (* z y) in y 2.447 * [taylor]: Taking taylor expansion of z in y 2.447 * [taylor]: Taking taylor expansion of y in y 2.447 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z 2.447 * [taylor]: Taking taylor expansion of 9.0 in z 2.447 * [taylor]: Taking taylor expansion of z in z 2.448 * [taylor]: Taking taylor expansion of 0 in z 2.448 * [taylor]: Taking taylor expansion of 0 in z 2.448 * [taylor]: Taking taylor expansion of 0 in z 2.448 * [approximate]: Taking taylor expansion of (/ 9.0 (* z y)) in (y z) around 0 2.448 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in z 2.448 * [taylor]: Taking taylor expansion of 9.0 in z 2.448 * [taylor]: Taking taylor expansion of (* z y) in z 2.448 * [taylor]: Taking taylor expansion of z in z 2.448 * [taylor]: Taking taylor expansion of y in z 2.449 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y 2.449 * [taylor]: Taking taylor expansion of 9.0 in y 2.449 * [taylor]: Taking taylor expansion of (* z y) in y 2.449 * [taylor]: Taking taylor expansion of z in y 2.449 * [taylor]: Taking taylor expansion of y in y 2.449 * [taylor]: Taking taylor expansion of (/ 9.0 (* z y)) in y 2.449 * [taylor]: Taking taylor expansion of 9.0 in y 2.449 * [taylor]: Taking taylor expansion of (* z y) in y 2.449 * [taylor]: Taking taylor expansion of z in y 2.449 * [taylor]: Taking taylor expansion of y in y 2.449 * [taylor]: Taking taylor expansion of (/ 9.0 z) in z 2.449 * [taylor]: Taking taylor expansion of 9.0 in z 2.449 * [taylor]: Taking taylor expansion of z in z 2.449 * [taylor]: Taking taylor expansion of 0 in z 2.449 * [taylor]: Taking taylor expansion of 0 in z 2.450 * [taylor]: Taking taylor expansion of 0 in z 2.450 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.450 * [approximate]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in (x y z t) around 0 2.450 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in t 2.450 * [taylor]: Taking taylor expansion of (* 2.0 x) in t 2.450 * [taylor]: Taking taylor expansion of 2.0 in t 2.450 * [taylor]: Taking taylor expansion of x in t 2.450 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in t 2.450 * [taylor]: Taking taylor expansion of 9.0 in t 2.450 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.450 * [taylor]: Taking taylor expansion of t in t 2.450 * [taylor]: Taking taylor expansion of (* z y) in t 2.450 * [taylor]: Taking taylor expansion of z in t 2.450 * [taylor]: Taking taylor expansion of y in t 2.450 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in z 2.450 * [taylor]: Taking taylor expansion of (* 2.0 x) in z 2.450 * [taylor]: Taking taylor expansion of 2.0 in z 2.450 * [taylor]: Taking taylor expansion of x in z 2.450 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in z 2.450 * [taylor]: Taking taylor expansion of 9.0 in z 2.450 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.450 * [taylor]: Taking taylor expansion of t in z 2.450 * [taylor]: Taking taylor expansion of (* z y) in z 2.450 * [taylor]: Taking taylor expansion of z in z 2.450 * [taylor]: Taking taylor expansion of y in z 2.450 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in y 2.450 * [taylor]: Taking taylor expansion of (* 2.0 x) in y 2.450 * [taylor]: Taking taylor expansion of 2.0 in y 2.450 * [taylor]: Taking taylor expansion of x in y 2.450 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 2.451 * [taylor]: Taking taylor expansion of 9.0 in y 2.451 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.451 * [taylor]: Taking taylor expansion of t in y 2.451 * [taylor]: Taking taylor expansion of (* z y) in y 2.451 * [taylor]: Taking taylor expansion of z in y 2.451 * [taylor]: Taking taylor expansion of y in y 2.451 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x 2.451 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.451 * [taylor]: Taking taylor expansion of 2.0 in x 2.451 * [taylor]: Taking taylor expansion of x in x 2.451 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 2.451 * [taylor]: Taking taylor expansion of 9.0 in x 2.451 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.451 * [taylor]: Taking taylor expansion of t in x 2.451 * [taylor]: Taking taylor expansion of (* z y) in x 2.451 * [taylor]: Taking taylor expansion of z in x 2.451 * [taylor]: Taking taylor expansion of y in x 2.451 * [taylor]: Taking taylor expansion of (- (* 2.0 x) (* 9.0 (* t (* z y)))) in x 2.451 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 2.451 * [taylor]: Taking taylor expansion of 2.0 in x 2.451 * [taylor]: Taking taylor expansion of x in x 2.451 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in x 2.451 * [taylor]: Taking taylor expansion of 9.0 in x 2.451 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.451 * [taylor]: Taking taylor expansion of t in x 2.451 * [taylor]: Taking taylor expansion of (* z y) in x 2.451 * [taylor]: Taking taylor expansion of z in x 2.451 * [taylor]: Taking taylor expansion of y in x 2.451 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t (* z y)))) in y 2.451 * [taylor]: Taking taylor expansion of (* 9.0 (* t (* z y))) in y 2.451 * [taylor]: Taking taylor expansion of 9.0 in y 2.451 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.451 * [taylor]: Taking taylor expansion of t in y 2.451 * [taylor]: Taking taylor expansion of (* z y) in y 2.451 * [taylor]: Taking taylor expansion of z in y 2.451 * [taylor]: Taking taylor expansion of y in y 2.451 * [taylor]: Taking taylor expansion of 0 in z 2.451 * [taylor]: Taking taylor expansion of 0 in t 2.452 * [taylor]: Taking taylor expansion of 2.0 in y 2.452 * [taylor]: Taking taylor expansion of 2.0 in z 2.452 * [taylor]: Taking taylor expansion of 2.0 in t 2.452 * [taylor]: Taking taylor expansion of (neg (* 9.0 (* t z))) in z 2.452 * [taylor]: Taking taylor expansion of (* 9.0 (* t z)) in z 2.452 * [taylor]: Taking taylor expansion of 9.0 in z 2.452 * [taylor]: Taking taylor expansion of (* t z) in z 2.452 * [taylor]: Taking taylor expansion of t in z 2.452 * [taylor]: Taking taylor expansion of z in z 2.452 * [taylor]: Taking taylor expansion of 0 in t 2.452 * [taylor]: Taking taylor expansion of 0 in t 2.452 * [taylor]: Taking taylor expansion of 0 in y 2.452 * [taylor]: Taking taylor expansion of 0 in z 2.452 * [taylor]: Taking taylor expansion of 0 in t 2.453 * [taylor]: Taking taylor expansion of 0 in z 2.453 * [taylor]: Taking taylor expansion of 0 in t 2.453 * [taylor]: Taking taylor expansion of 0 in z 2.453 * [taylor]: Taking taylor expansion of 0 in t 2.453 * [approximate]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in (x y z t) around 0 2.453 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in t 2.453 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 2.453 * [taylor]: Taking taylor expansion of 2.0 in t 2.453 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.453 * [taylor]: Taking taylor expansion of x in t 2.453 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 2.453 * [taylor]: Taking taylor expansion of 9.0 in t 2.453 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 2.453 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.453 * [taylor]: Taking taylor expansion of t in t 2.453 * [taylor]: Taking taylor expansion of (* z y) in t 2.453 * [taylor]: Taking taylor expansion of z in t 2.453 * [taylor]: Taking taylor expansion of y in t 2.453 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in z 2.453 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 2.453 * [taylor]: Taking taylor expansion of 2.0 in z 2.453 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.454 * [taylor]: Taking taylor expansion of x in z 2.454 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 2.454 * [taylor]: Taking taylor expansion of 9.0 in z 2.454 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 2.454 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.454 * [taylor]: Taking taylor expansion of t in z 2.454 * [taylor]: Taking taylor expansion of (* z y) in z 2.454 * [taylor]: Taking taylor expansion of z in z 2.454 * [taylor]: Taking taylor expansion of y in z 2.454 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in y 2.454 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 2.454 * [taylor]: Taking taylor expansion of 2.0 in y 2.454 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.454 * [taylor]: Taking taylor expansion of x in y 2.454 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 2.454 * [taylor]: Taking taylor expansion of 9.0 in y 2.454 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 2.454 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.454 * [taylor]: Taking taylor expansion of t in y 2.454 * [taylor]: Taking taylor expansion of (* z y) in y 2.454 * [taylor]: Taking taylor expansion of z in y 2.454 * [taylor]: Taking taylor expansion of y in y 2.454 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x 2.454 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 2.454 * [taylor]: Taking taylor expansion of 2.0 in x 2.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.454 * [taylor]: Taking taylor expansion of x in x 2.454 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 2.454 * [taylor]: Taking taylor expansion of 9.0 in x 2.454 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 2.454 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.454 * [taylor]: Taking taylor expansion of t in x 2.454 * [taylor]: Taking taylor expansion of (* z y) in x 2.454 * [taylor]: Taking taylor expansion of z in x 2.454 * [taylor]: Taking taylor expansion of y in x 2.455 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 x)) (* 9.0 (/ 1 (* t (* z y))))) in x 2.455 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 2.455 * [taylor]: Taking taylor expansion of 2.0 in x 2.455 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.455 * [taylor]: Taking taylor expansion of x in x 2.455 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 2.455 * [taylor]: Taking taylor expansion of 9.0 in x 2.455 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 2.455 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.455 * [taylor]: Taking taylor expansion of t in x 2.455 * [taylor]: Taking taylor expansion of (* z y) in x 2.455 * [taylor]: Taking taylor expansion of z in x 2.455 * [taylor]: Taking taylor expansion of y in x 2.455 * [taylor]: Taking taylor expansion of 2.0 in y 2.455 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t (* z y))))) in y 2.455 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 2.455 * [taylor]: Taking taylor expansion of 9.0 in y 2.455 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 2.455 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.455 * [taylor]: Taking taylor expansion of t in y 2.455 * [taylor]: Taking taylor expansion of (* z y) in y 2.455 * [taylor]: Taking taylor expansion of z in y 2.455 * [taylor]: Taking taylor expansion of y in y 2.456 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 (* t z)))) in z 2.456 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t z))) in z 2.456 * [taylor]: Taking taylor expansion of 9.0 in z 2.456 * [taylor]: Taking taylor expansion of (/ 1 (* t z)) in z 2.456 * [taylor]: Taking taylor expansion of (* t z) in z 2.456 * [taylor]: Taking taylor expansion of t in z 2.456 * [taylor]: Taking taylor expansion of z in z 2.456 * [taylor]: Taking taylor expansion of (neg (* 9.0 (/ 1 t))) in t 2.456 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 t)) in t 2.456 * [taylor]: Taking taylor expansion of 9.0 in t 2.456 * [taylor]: Taking taylor expansion of (/ 1 t) in t 2.456 * [taylor]: Taking taylor expansion of t in t 2.456 * [taylor]: Taking taylor expansion of 2.0 in z 2.456 * [taylor]: Taking taylor expansion of 0 in y 2.457 * [taylor]: Taking taylor expansion of 0 in z 2.457 * [taylor]: Taking taylor expansion of 0 in z 2.457 * [taylor]: Taking taylor expansion of 0 in t 2.457 * [taylor]: Taking taylor expansion of 2.0 in t 2.457 * [taylor]: Taking taylor expansion of 0 in y 2.458 * [taylor]: Taking taylor expansion of 0 in z 2.458 * [taylor]: Taking taylor expansion of 0 in z 2.458 * [taylor]: Taking taylor expansion of 0 in z 2.458 * [taylor]: Taking taylor expansion of 0 in t 2.458 * [taylor]: Taking taylor expansion of 0 in t 2.458 * [taylor]: Taking taylor expansion of 0 in t 2.458 * [taylor]: Taking taylor expansion of 0 in t 2.459 * [taylor]: Taking taylor expansion of 0 in y 2.459 * [taylor]: Taking taylor expansion of 0 in z 2.459 * [taylor]: Taking taylor expansion of 0 in z 2.459 * [taylor]: Taking taylor expansion of 0 in z 2.459 * [taylor]: Taking taylor expansion of 0 in z 2.460 * [taylor]: Taking taylor expansion of 0 in t 2.460 * [taylor]: Taking taylor expansion of 0 in t 2.460 * [taylor]: Taking taylor expansion of 0 in t 2.460 * [taylor]: Taking taylor expansion of 0 in t 2.460 * [taylor]: Taking taylor expansion of 0 in t 2.460 * [taylor]: Taking taylor expansion of 0 in t 2.460 * [taylor]: Taking taylor expansion of 0 in t 2.460 * [approximate]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in (x y z t) around 0 2.461 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in t 2.461 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in t 2.461 * [taylor]: Taking taylor expansion of 9.0 in t 2.461 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in t 2.461 * [taylor]: Taking taylor expansion of (* t (* z y)) in t 2.461 * [taylor]: Taking taylor expansion of t in t 2.461 * [taylor]: Taking taylor expansion of (* z y) in t 2.461 * [taylor]: Taking taylor expansion of z in t 2.461 * [taylor]: Taking taylor expansion of y in t 2.461 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in t 2.461 * [taylor]: Taking taylor expansion of 2.0 in t 2.461 * [taylor]: Taking taylor expansion of (/ 1 x) in t 2.461 * [taylor]: Taking taylor expansion of x in t 2.461 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in z 2.461 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in z 2.461 * [taylor]: Taking taylor expansion of 9.0 in z 2.461 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in z 2.461 * [taylor]: Taking taylor expansion of (* t (* z y)) in z 2.461 * [taylor]: Taking taylor expansion of t in z 2.461 * [taylor]: Taking taylor expansion of (* z y) in z 2.461 * [taylor]: Taking taylor expansion of z in z 2.461 * [taylor]: Taking taylor expansion of y in z 2.461 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in z 2.461 * [taylor]: Taking taylor expansion of 2.0 in z 2.461 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.461 * [taylor]: Taking taylor expansion of x in z 2.461 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in y 2.461 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 2.461 * [taylor]: Taking taylor expansion of 9.0 in y 2.461 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 2.461 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.461 * [taylor]: Taking taylor expansion of t in y 2.461 * [taylor]: Taking taylor expansion of (* z y) in y 2.461 * [taylor]: Taking taylor expansion of z in y 2.461 * [taylor]: Taking taylor expansion of y in y 2.462 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in y 2.462 * [taylor]: Taking taylor expansion of 2.0 in y 2.462 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.462 * [taylor]: Taking taylor expansion of x in y 2.462 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x 2.462 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 2.462 * [taylor]: Taking taylor expansion of 9.0 in x 2.462 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 2.462 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.462 * [taylor]: Taking taylor expansion of t in x 2.462 * [taylor]: Taking taylor expansion of (* z y) in x 2.462 * [taylor]: Taking taylor expansion of z in x 2.462 * [taylor]: Taking taylor expansion of y in x 2.462 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 2.462 * [taylor]: Taking taylor expansion of 2.0 in x 2.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.462 * [taylor]: Taking taylor expansion of x in x 2.462 * [taylor]: Taking taylor expansion of (- (* 9.0 (/ 1 (* t (* z y)))) (* 2.0 (/ 1 x))) in x 2.462 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in x 2.462 * [taylor]: Taking taylor expansion of 9.0 in x 2.462 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in x 2.462 * [taylor]: Taking taylor expansion of (* t (* z y)) in x 2.462 * [taylor]: Taking taylor expansion of t in x 2.462 * [taylor]: Taking taylor expansion of (* z y) in x 2.462 * [taylor]: Taking taylor expansion of z in x 2.462 * [taylor]: Taking taylor expansion of y in x 2.462 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 2.462 * [taylor]: Taking taylor expansion of 2.0 in x 2.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.463 * [taylor]: Taking taylor expansion of x in x 2.463 * [taylor]: Taking taylor expansion of (neg 2.0) in y 2.463 * [taylor]: Taking taylor expansion of 2.0 in y 2.463 * [taylor]: Taking taylor expansion of (* 9.0 (/ 1 (* t (* z y)))) in y 2.463 * [taylor]: Taking taylor expansion of 9.0 in y 2.463 * [taylor]: Taking taylor expansion of (/ 1 (* t (* z y))) in y 2.463 * [taylor]: Taking taylor expansion of (* t (* z y)) in y 2.463 * [taylor]: Taking taylor expansion of t in y 2.463 * [taylor]: Taking taylor expansion of (* z y) in y 2.463 * [taylor]: Taking taylor expansion of z in y 2.463 * [taylor]: Taking taylor expansion of y in y 2.463 * [taylor]: Taking taylor expansion of (/ 9.0 (* t z)) in z 2.463 * [taylor]: Taking taylor expansion of 9.0 in z 2.463 * [taylor]: Taking taylor expansion of (* t z) in z 2.463 * [taylor]: Taking taylor expansion of t in z 2.463 * [taylor]: Taking taylor expansion of z in z 2.463 * [taylor]: Taking taylor expansion of (/ 9.0 t) in t 2.463 * [taylor]: Taking taylor expansion of 9.0 in t 2.463 * [taylor]: Taking taylor expansion of t in t 2.463 * [taylor]: Taking taylor expansion of (neg 2.0) in z 2.463 * [taylor]: Taking taylor expansion of 2.0 in z 2.464 * [taylor]: Taking taylor expansion of 0 in y 2.464 * [taylor]: Taking taylor expansion of 0 in z 2.464 * [taylor]: Taking taylor expansion of 0 in z 2.464 * [taylor]: Taking taylor expansion of 0 in t 2.464 * [taylor]: Taking taylor expansion of (neg 2.0) in t 2.464 * [taylor]: Taking taylor expansion of 2.0 in t 2.465 * [taylor]: Taking taylor expansion of 0 in y 2.465 * [taylor]: Taking taylor expansion of 0 in z 2.465 * [taylor]: Taking taylor expansion of 0 in z 2.465 * [taylor]: Taking taylor expansion of 0 in z 2.465 * [taylor]: Taking taylor expansion of 0 in t 2.465 * [taylor]: Taking taylor expansion of 0 in t 2.466 * [taylor]: Taking taylor expansion of 0 in t 2.466 * [taylor]: Taking taylor expansion of 0 in t 2.466 * [taylor]: Taking taylor expansion of 0 in y 2.466 * [taylor]: Taking taylor expansion of 0 in z 2.466 * [taylor]: Taking taylor expansion of 0 in z 2.467 * [taylor]: Taking taylor expansion of 0 in z 2.467 * [taylor]: Taking taylor expansion of 0 in z 2.467 * [taylor]: Taking taylor expansion of 0 in t 2.467 * [taylor]: Taking taylor expansion of 0 in t 2.467 * [taylor]: Taking taylor expansion of 0 in t 2.467 * [taylor]: Taking taylor expansion of 0 in t 2.467 * [taylor]: Taking taylor expansion of 0 in t 2.467 * [taylor]: Taking taylor expansion of 0 in t 2.467 * [taylor]: Taking taylor expansion of 0 in t 2.468 * * * [progress]: simplifying candidates 2.469 * [simplify]: Simplifying using # : (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t) (+.f64 (+.f64 (log.f64 y) (+.f64 (log.f64 9.0) (log.f64 z))) (log.f64 t)) (+.f64 (+.f64 (log.f64 y) (log.f64 (*.f64 9.0 z))) (log.f64 t)) (+.f64 (log.f64 (*.f64 y (*.f64 9.0 z))) (log.f64 t)) (log.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (exp.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 9.0 9.0) 9.0) (*.f64 (*.f64 z z) z))) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 9.0 z) (*.f64 9.0 z)) (*.f64 9.0 z))) (*.f64 (*.f64 t t) t)) (*.f64 (*.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) (*.f64 y (*.f64 9.0 z))) (*.f64 y (*.f64 9.0 z))) (*.f64 (*.f64 t t) t)) (*.f64 (cbrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (cbrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (cbrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (*.f64 (*.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (sqrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (sqrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (*.f64 (*.f64 y (*.f64 9.0 z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (*.f64 y (*.f64 9.0 z)) (sqrt.f64 t)) (*.f64 (*.f64 y (*.f64 9.0 z)) 1) (*.f64 (*.f64 9.0 z) t) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (+.f64 (+.f64 (log.f64 a) (log.f64 27.0)) (log.f64 b)) (+.f64 (log.f64 (*.f64 a 27.0)) (log.f64 b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (exp.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 (*.f64 (*.f64 a a) a) (*.f64 (*.f64 27.0 27.0) 27.0)) (*.f64 (*.f64 b b) b)) (*.f64 (*.f64 (*.f64 (*.f64 a 27.0) (*.f64 a 27.0)) (*.f64 a 27.0)) (*.f64 (*.f64 b b) b)) (*.f64 (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (cbrt.f64 (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (*.f64 a 27.0) (sqrt.f64 b)) (*.f64 (*.f64 a 27.0) 1) (*.f64 27.0 b) (*.f64 y (*.f64 9.0 z)) (*.f64 y (*.f64 9.0 z)) (+.f64 (log.f64 y) (+.f64 (log.f64 9.0) (log.f64 z))) (+.f64 (log.f64 y) (log.f64 (*.f64 9.0 z))) (log.f64 (*.f64 y (*.f64 9.0 z))) (exp.f64 (*.f64 y (*.f64 9.0 z))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 9.0 9.0) 9.0) (*.f64 (*.f64 z z) z))) (*.f64 (*.f64 (*.f64 y y) y) (*.f64 (*.f64 (*.f64 9.0 z) (*.f64 9.0 z)) (*.f64 9.0 z))) (*.f64 (cbrt.f64 (*.f64 y (*.f64 9.0 z))) (cbrt.f64 (*.f64 y (*.f64 9.0 z)))) (cbrt.f64 (*.f64 y (*.f64 9.0 z))) (*.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) (*.f64 y (*.f64 9.0 z))) (*.f64 y (*.f64 9.0 z))) (sqrt.f64 (*.f64 y (*.f64 9.0 z))) (sqrt.f64 (*.f64 y (*.f64 9.0 z))) (*.f64 y 9.0) (*.f64 (cbrt.f64 y) (*.f64 9.0 z)) (*.f64 (sqrt.f64 y) (*.f64 9.0 z)) (*.f64 y (*.f64 9.0 z)) (/.f64 (exp.f64 (*.f64 x 2.0)) (exp.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (log.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t)))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (*.f64 (*.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (-.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) 3)) (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (+.f64 (*.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (*.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t)))) (neg.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (+.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t)) 0 (*.f64 9.0 (*.f64 t (*.f64 z y))) (*.f64 9.0 (*.f64 t (*.f64 z y))) (*.f64 27.0 (*.f64 a b)) (*.f64 27.0 (*.f64 a b)) (*.f64 27.0 (*.f64 a b)) (*.f64 9.0 (*.f64 z y)) (*.f64 9.0 (*.f64 z y)) (*.f64 9.0 (*.f64 z y)) (*.f64 2.0 x) (-.f64 (*.f64 2.0 x) (*.f64 9.0 (*.f64 t (*.f64 z y)))) (-.f64 (*.f64 2.0 x) (*.f64 9.0 (*.f64 t (*.f64 z y)))) 2.509 * * [simplify]: iteration 0 : 5112 enodes (cost 644 ) 2.512 * [simplify]: Simplified to: (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t) (log.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (log.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (log.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (log.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (exp.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (pow.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) 3) (pow.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) 3) (pow.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (cbrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (cbrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (pow.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) 3) (sqrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (sqrt.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (*.f64 (*.f64 y (*.f64 9.0 z)) (*.f64 (cbrt.f64 t) (cbrt.f64 t))) (*.f64 (*.f64 y (*.f64 9.0 z)) (sqrt.f64 t)) (*.f64 y (*.f64 9.0 z)) (*.f64 (*.f64 9.0 z) t) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (log.f64 (*.f64 (*.f64 a 27.0) b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (log.f64 (*.f64 (*.f64 a 27.0) b)) (exp.f64 (*.f64 (*.f64 a 27.0) b)) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (*.f64 (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (cbrt.f64 (*.f64 (*.f64 a 27.0) b))) (cbrt.f64 (*.f64 (*.f64 a 27.0) b)) (pow.f64 (*.f64 (*.f64 a 27.0) b) 3) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (sqrt.f64 (*.f64 (*.f64 a 27.0) b)) (*.f64 (*.f64 a 27.0) (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (*.f64 (*.f64 a 27.0) (sqrt.f64 b)) (*.f64 a 27.0) (*.f64 27.0 b) (*.f64 y (*.f64 9.0 z)) (*.f64 y (*.f64 9.0 z)) (log.f64 (*.f64 y (*.f64 9.0 z))) (log.f64 (*.f64 y (*.f64 9.0 z))) (log.f64 (*.f64 y (*.f64 9.0 z))) (exp.f64 (*.f64 y (*.f64 9.0 z))) (pow.f64 (*.f64 y (*.f64 9.0 z)) 3) (pow.f64 (*.f64 y (*.f64 9.0 z)) 3) (*.f64 (cbrt.f64 (*.f64 y (*.f64 9.0 z))) (cbrt.f64 (*.f64 y (*.f64 9.0 z)))) (cbrt.f64 (*.f64 y (*.f64 9.0 z))) (pow.f64 (*.f64 y (*.f64 9.0 z)) 3) (sqrt.f64 (*.f64 y (*.f64 9.0 z))) (sqrt.f64 (*.f64 y (*.f64 9.0 z))) (*.f64 y 9.0) (*.f64 (*.f64 9.0 z) (cbrt.f64 y)) (*.f64 (*.f64 9.0 z) (sqrt.f64 y)) (*.f64 y (*.f64 9.0 z)) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (log.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (exp.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (*.f64 (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t)))) (cbrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (pow.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t)) 3) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (sqrt.f64 (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (-.f64 (pow.f64 (*.f64 x 2.0) 3) (pow.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) 3)) (+.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 y (*.f64 (*.f64 (*.f64 9.0 z) t) (+.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 x 2.0))))) (neg.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (-.f64 (*.f64 (*.f64 x 2.0) (*.f64 x 2.0)) (*.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t))) (+.f64 (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 x 2.0)) 0 (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 y (*.f64 9.0 z)) t) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (*.f64 (*.f64 a 27.0) b) (*.f64 y (*.f64 9.0 z)) (*.f64 y (*.f64 9.0 z)) (*.f64 y (*.f64 9.0 z)) (*.f64 x 2.0) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t)) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 y (*.f64 9.0 z)) t)) 2.512 * * * [progress]: adding candidates to table 2.608 * [progress]: [Phase 3 of 3] Extracting. 2.608 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 2.613 * * * [regime-changes]: Trying 13 branch expressions: ((*.f64 a 27.0) (*.f64 (*.f64 a 27.0) b) (*.f64 y 9.0) (*.f64 (*.f64 y 9.0) z) (*.f64 (*.f64 (*.f64 y 9.0) z) t) (*.f64 x 2.0) (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) b a t z y x) 2.613 * * * * [regimes]: Trying to branch on (*.f64 a 27.0) from (# # # # # # # # #) 2.714 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 a 27.0) b) from (# # # # # # # # #) 2.814 * * * * [regimes]: Trying to branch on (*.f64 y 9.0) from (# # # # # # # # #) 2.928 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 y 9.0) z) from (# # # # # # # # #) 3.033 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 y 9.0) z) from (# # # #) 3.108 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 (*.f64 y 9.0) z) t) from (# # # # # # # # #) 3.218 * * * * [regimes]: Trying to branch on (*.f64 (*.f64 (*.f64 y 9.0) z) t) from (# # #) 3.287 * * * * [regimes]: Trying to branch on (*.f64 x 2.0) from (# # # # # # # # #) 3.387 * * * * [regimes]: Trying to branch on (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) from (# # # # # # # # #) 3.501 * * * * [regimes]: Trying to branch on (-.f64 (*.f64 x 2.0) (*.f64 (*.f64 (*.f64 y 9.0) z) t)) from (# # #) 3.572 * * * * [regimes]: Trying to branch on b from (# # # # # # # # #) 3.669 * * * * [regimes]: Trying to branch on a from (# # # # # # # # #) 3.769 * * * * [regimes]: Trying to branch on t from (# # # # # # # # #) 3.879 * * * * [regimes]: Trying to branch on z from (# # # # # # # # #) 3.979 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 4.089 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 4.188 * * * [regime]: Found split indices: #