3.819 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.089 * * * [progress]: [2/2] Setting up program. 0.092 * [progress]: [Phase 2 of 3] Improving. 0.093 * [simplify]: Simplifying using # : (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 0.094 * * [simplify]: iteration 0 : 18 enodes (cost 19 ) 0.096 * * [simplify]: iteration 1 : 38 enodes (cost 19 ) 0.101 * * [simplify]: iteration 2 : 119 enodes (cost 19 ) 0.134 * * [simplify]: iteration 3 : 465 enodes (cost 19 ) 0.533 * * [simplify]: iteration 4 : 2000 enodes (cost 19 ) 3.649 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 3.649 * [simplify]: Simplified to: (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.650 * * [progress]: iteration 1 / 4 3.650 * * * [progress]: picking best candidate 3.653 * * * * [pick]: Picked # 3.653 * * * [progress]: localizing error 3.668 * * * [progress]: generating rewritten candidates 3.668 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1) 3.677 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 3.709 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 3.717 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1 2) 3.729 * * * [progress]: generating series expansions 3.730 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1) 3.730 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0 3.730 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z 3.730 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.730 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z 3.730 * [taylor]: Taking taylor expansion of x in z 3.730 * [taylor]: Taking taylor expansion of (* z y) in z 3.730 * [taylor]: Taking taylor expansion of z in z 3.730 * [taylor]: Taking taylor expansion of y in z 3.731 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y 3.731 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 3.731 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y 3.731 * [taylor]: Taking taylor expansion of x in y 3.731 * [taylor]: Taking taylor expansion of (* z y) in y 3.731 * [taylor]: Taking taylor expansion of z in y 3.731 * [taylor]: Taking taylor expansion of y in y 3.731 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x 3.731 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 3.731 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 3.731 * [taylor]: Taking taylor expansion of x in x 3.731 * [taylor]: Taking taylor expansion of (* z y) in x 3.731 * [taylor]: Taking taylor expansion of z in x 3.732 * [taylor]: Taking taylor expansion of y in x 3.732 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x 3.732 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 3.732 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 3.732 * [taylor]: Taking taylor expansion of x in x 3.732 * [taylor]: Taking taylor expansion of (* z y) in x 3.732 * [taylor]: Taking taylor expansion of z in x 3.732 * [taylor]: Taking taylor expansion of y in x 3.732 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y 3.732 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 3.732 * [taylor]: Taking taylor expansion of (* z y) in y 3.732 * [taylor]: Taking taylor expansion of z in y 3.732 * [taylor]: Taking taylor expansion of y in y 3.733 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z 3.733 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.733 * [taylor]: Taking taylor expansion of z in z 3.734 * [taylor]: Taking taylor expansion of 0 in y 3.735 * [taylor]: Taking taylor expansion of 0 in z 3.736 * [taylor]: Taking taylor expansion of 0 in y 3.736 * [taylor]: Taking taylor expansion of 0 in z 3.737 * [taylor]: Taking taylor expansion of 0 in z 3.739 * [taylor]: Taking taylor expansion of 0 in y 3.740 * [taylor]: Taking taylor expansion of 0 in z 3.740 * [taylor]: Taking taylor expansion of 0 in z 3.740 * [taylor]: Taking taylor expansion of 0 in z 3.741 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0 3.741 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z 3.741 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.741 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 3.741 * [taylor]: Taking taylor expansion of (* z y) in z 3.741 * [taylor]: Taking taylor expansion of z in z 3.741 * [taylor]: Taking taylor expansion of y in z 3.741 * [taylor]: Taking taylor expansion of x in z 3.741 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y 3.741 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 3.741 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 3.741 * [taylor]: Taking taylor expansion of (* z y) in y 3.741 * [taylor]: Taking taylor expansion of z in y 3.741 * [taylor]: Taking taylor expansion of y in y 3.741 * [taylor]: Taking taylor expansion of x in y 3.742 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x 3.742 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 3.742 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 3.742 * [taylor]: Taking taylor expansion of (* z y) in x 3.742 * [taylor]: Taking taylor expansion of z in x 3.742 * [taylor]: Taking taylor expansion of y in x 3.742 * [taylor]: Taking taylor expansion of x in x 3.742 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x 3.742 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 3.742 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 3.742 * [taylor]: Taking taylor expansion of (* z y) in x 3.742 * [taylor]: Taking taylor expansion of z in x 3.742 * [taylor]: Taking taylor expansion of y in x 3.742 * [taylor]: Taking taylor expansion of x in x 3.742 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y 3.742 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 3.742 * [taylor]: Taking taylor expansion of (* z y) in y 3.742 * [taylor]: Taking taylor expansion of z in y 3.742 * [taylor]: Taking taylor expansion of y in y 3.743 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z 3.743 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.743 * [taylor]: Taking taylor expansion of z in z 3.745 * [taylor]: Taking taylor expansion of 0 in y 3.745 * [taylor]: Taking taylor expansion of 0 in z 3.746 * [taylor]: Taking taylor expansion of 0 in z 3.749 * [taylor]: Taking taylor expansion of 0 in y 3.749 * [taylor]: Taking taylor expansion of 0 in z 3.749 * [taylor]: Taking taylor expansion of 0 in z 3.750 * [taylor]: Taking taylor expansion of 0 in z 3.750 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0 3.750 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z 3.750 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z 3.750 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 3.750 * [taylor]: Taking taylor expansion of (* z y) in z 3.751 * [taylor]: Taking taylor expansion of z in z 3.751 * [taylor]: Taking taylor expansion of y in z 3.751 * [taylor]: Taking taylor expansion of x in z 3.751 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y 3.751 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 3.751 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 3.751 * [taylor]: Taking taylor expansion of (* z y) in y 3.751 * [taylor]: Taking taylor expansion of z in y 3.751 * [taylor]: Taking taylor expansion of y in y 3.751 * [taylor]: Taking taylor expansion of x in y 3.751 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x 3.752 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 3.752 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 3.752 * [taylor]: Taking taylor expansion of (* z y) in x 3.752 * [taylor]: Taking taylor expansion of z in x 3.752 * [taylor]: Taking taylor expansion of y in x 3.752 * [taylor]: Taking taylor expansion of x in x 3.752 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x 3.752 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 3.752 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 3.752 * [taylor]: Taking taylor expansion of (* z y) in x 3.752 * [taylor]: Taking taylor expansion of z in x 3.752 * [taylor]: Taking taylor expansion of y in x 3.752 * [taylor]: Taking taylor expansion of x in x 3.752 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y 3.752 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 3.752 * [taylor]: Taking taylor expansion of (* z y) in y 3.752 * [taylor]: Taking taylor expansion of z in y 3.752 * [taylor]: Taking taylor expansion of y in y 3.753 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z 3.753 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z 3.753 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.753 * [taylor]: Taking taylor expansion of z in z 3.755 * [taylor]: Taking taylor expansion of 0 in y 3.756 * [taylor]: Taking taylor expansion of 0 in z 3.757 * [taylor]: Taking taylor expansion of 0 in z 3.759 * [taylor]: Taking taylor expansion of 0 in y 3.759 * [taylor]: Taking taylor expansion of 0 in z 3.759 * [taylor]: Taking taylor expansion of 0 in z 3.761 * [taylor]: Taking taylor expansion of 0 in z 3.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 3.761 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0 3.761 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t 3.761 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 3.761 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t 3.761 * [taylor]: Taking taylor expansion of (sqrt t) in t 3.762 * [taylor]: Taking taylor expansion of t in t 3.763 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t 3.763 * [taylor]: Taking taylor expansion of x in t 3.763 * [taylor]: Taking taylor expansion of (* z y) in t 3.763 * [taylor]: Taking taylor expansion of z in t 3.763 * [taylor]: Taking taylor expansion of y in t 3.763 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z 3.763 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.763 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z 3.763 * [taylor]: Taking taylor expansion of (sqrt t) in z 3.763 * [taylor]: Taking taylor expansion of t in z 3.763 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z 3.763 * [taylor]: Taking taylor expansion of x in z 3.763 * [taylor]: Taking taylor expansion of (* z y) in z 3.763 * [taylor]: Taking taylor expansion of z in z 3.763 * [taylor]: Taking taylor expansion of y in z 3.764 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y 3.764 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 3.764 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y 3.764 * [taylor]: Taking taylor expansion of (sqrt t) in y 3.764 * [taylor]: Taking taylor expansion of t in y 3.764 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y 3.764 * [taylor]: Taking taylor expansion of x in y 3.764 * [taylor]: Taking taylor expansion of (* z y) in y 3.764 * [taylor]: Taking taylor expansion of z in y 3.764 * [taylor]: Taking taylor expansion of y in y 3.764 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x 3.764 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 3.764 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x 3.764 * [taylor]: Taking taylor expansion of (sqrt t) in x 3.764 * [taylor]: Taking taylor expansion of t in x 3.764 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 3.764 * [taylor]: Taking taylor expansion of x in x 3.764 * [taylor]: Taking taylor expansion of (* z y) in x 3.765 * [taylor]: Taking taylor expansion of z in x 3.765 * [taylor]: Taking taylor expansion of y in x 3.765 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x 3.765 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 3.765 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x 3.765 * [taylor]: Taking taylor expansion of (sqrt t) in x 3.765 * [taylor]: Taking taylor expansion of t in x 3.765 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 3.765 * [taylor]: Taking taylor expansion of x in x 3.765 * [taylor]: Taking taylor expansion of (* z y) in x 3.765 * [taylor]: Taking taylor expansion of z in x 3.765 * [taylor]: Taking taylor expansion of y in x 3.765 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y 3.765 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 3.765 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y 3.765 * [taylor]: Taking taylor expansion of (sqrt t) in y 3.765 * [taylor]: Taking taylor expansion of t in y 3.765 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 3.765 * [taylor]: Taking taylor expansion of (* z y) in y 3.765 * [taylor]: Taking taylor expansion of z in y 3.765 * [taylor]: Taking taylor expansion of y in y 3.766 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z 3.766 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.766 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z 3.766 * [taylor]: Taking taylor expansion of (sqrt t) in z 3.766 * [taylor]: Taking taylor expansion of t in z 3.766 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.766 * [taylor]: Taking taylor expansion of z in z 3.766 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t 3.766 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 3.766 * [taylor]: Taking taylor expansion of (sqrt t) in t 3.766 * [taylor]: Taking taylor expansion of t in t 3.768 * [taylor]: Taking taylor expansion of 0 in y 3.769 * [taylor]: Taking taylor expansion of 0 in z 3.771 * [taylor]: Taking taylor expansion of 0 in t 3.774 * [taylor]: Taking taylor expansion of 0 in y 3.774 * [taylor]: Taking taylor expansion of 0 in z 3.776 * [taylor]: Taking taylor expansion of 0 in z 3.776 * [taylor]: Taking taylor expansion of 0 in t 3.778 * [taylor]: Taking taylor expansion of 0 in t 3.785 * [taylor]: Taking taylor expansion of 0 in y 3.785 * [taylor]: Taking taylor expansion of 0 in z 3.785 * [taylor]: Taking taylor expansion of 0 in z 3.787 * [taylor]: Taking taylor expansion of 0 in z 3.787 * [taylor]: Taking taylor expansion of 0 in t 3.787 * [taylor]: Taking taylor expansion of 0 in t 3.787 * [taylor]: Taking taylor expansion of 0 in t 3.790 * [taylor]: Taking taylor expansion of 0 in t 3.791 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0 3.791 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t 3.791 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 3.791 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t 3.791 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 3.791 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.791 * [taylor]: Taking taylor expansion of t in t 3.792 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t 3.792 * [taylor]: Taking taylor expansion of (* z y) in t 3.793 * [taylor]: Taking taylor expansion of z in t 3.793 * [taylor]: Taking taylor expansion of y in t 3.793 * [taylor]: Taking taylor expansion of x in t 3.793 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z 3.793 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.793 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z 3.793 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z 3.793 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.793 * [taylor]: Taking taylor expansion of t in z 3.793 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 3.793 * [taylor]: Taking taylor expansion of (* z y) in z 3.793 * [taylor]: Taking taylor expansion of z in z 3.793 * [taylor]: Taking taylor expansion of y in z 3.793 * [taylor]: Taking taylor expansion of x in z 3.793 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y 3.793 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 3.793 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y 3.793 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y 3.793 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.793 * [taylor]: Taking taylor expansion of t in y 3.794 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 3.794 * [taylor]: Taking taylor expansion of (* z y) in y 3.794 * [taylor]: Taking taylor expansion of z in y 3.794 * [taylor]: Taking taylor expansion of y in y 3.794 * [taylor]: Taking taylor expansion of x in y 3.794 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x 3.794 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 3.794 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x 3.794 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x 3.794 * [taylor]: Taking taylor expansion of (/ 1 t) in x 3.794 * [taylor]: Taking taylor expansion of t in x 3.794 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 3.794 * [taylor]: Taking taylor expansion of (* z y) in x 3.794 * [taylor]: Taking taylor expansion of z in x 3.794 * [taylor]: Taking taylor expansion of y in x 3.794 * [taylor]: Taking taylor expansion of x in x 3.794 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x 3.795 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 3.795 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x 3.795 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x 3.795 * [taylor]: Taking taylor expansion of (/ 1 t) in x 3.795 * [taylor]: Taking taylor expansion of t in x 3.795 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 3.795 * [taylor]: Taking taylor expansion of (* z y) in x 3.795 * [taylor]: Taking taylor expansion of z in x 3.795 * [taylor]: Taking taylor expansion of y in x 3.795 * [taylor]: Taking taylor expansion of x in x 3.795 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y 3.795 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 3.795 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y 3.795 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y 3.795 * [taylor]: Taking taylor expansion of (/ 1 t) in y 3.795 * [taylor]: Taking taylor expansion of t in y 3.795 * [taylor]: Taking taylor expansion of (* z y) in y 3.795 * [taylor]: Taking taylor expansion of z in y 3.795 * [taylor]: Taking taylor expansion of y in y 3.797 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z 3.797 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.797 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z 3.797 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z 3.797 * [taylor]: Taking taylor expansion of (/ 1 t) in z 3.797 * [taylor]: Taking taylor expansion of t in z 3.797 * [taylor]: Taking taylor expansion of z in z 3.798 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t 3.798 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 3.798 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 3.798 * [taylor]: Taking taylor expansion of (/ 1 t) in t 3.798 * [taylor]: Taking taylor expansion of t in t 3.800 * [taylor]: Taking taylor expansion of 0 in y 3.801 * [taylor]: Taking taylor expansion of 0 in z 3.801 * [taylor]: Taking taylor expansion of 0 in t 3.802 * [taylor]: Taking taylor expansion of 0 in z 3.803 * [taylor]: Taking taylor expansion of 0 in t 3.804 * [taylor]: Taking taylor expansion of 0 in t 3.808 * [taylor]: Taking taylor expansion of 0 in y 3.808 * [taylor]: Taking taylor expansion of 0 in z 3.808 * [taylor]: Taking taylor expansion of 0 in t 3.808 * [taylor]: Taking taylor expansion of 0 in z 3.808 * [taylor]: Taking taylor expansion of 0 in t 3.811 * [taylor]: Taking taylor expansion of 0 in z 3.811 * [taylor]: Taking taylor expansion of 0 in t 3.811 * [taylor]: Taking taylor expansion of 0 in t 3.811 * [taylor]: Taking taylor expansion of 0 in t 3.813 * [taylor]: Taking taylor expansion of 0 in t 3.825 * [taylor]: Taking taylor expansion of 0 in y 3.825 * [taylor]: Taking taylor expansion of 0 in z 3.825 * [taylor]: Taking taylor expansion of 0 in t 3.825 * [taylor]: Taking taylor expansion of 0 in z 3.825 * [taylor]: Taking taylor expansion of 0 in t 3.825 * [taylor]: Taking taylor expansion of 0 in z 3.825 * [taylor]: Taking taylor expansion of 0 in t 3.829 * [taylor]: Taking taylor expansion of 0 in z 3.829 * [taylor]: Taking taylor expansion of 0 in t 3.830 * [taylor]: Taking taylor expansion of 0 in t 3.830 * [taylor]: Taking taylor expansion of 0 in t 3.830 * [taylor]: Taking taylor expansion of 0 in t 3.830 * [taylor]: Taking taylor expansion of 0 in t 3.830 * [taylor]: Taking taylor expansion of 0 in t 3.832 * [taylor]: Taking taylor expansion of 0 in t 3.834 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0 3.834 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t 3.834 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t 3.834 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t 3.834 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t 3.834 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 3.834 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.834 * [taylor]: Taking taylor expansion of -1 in t 3.834 * [taylor]: Taking taylor expansion of t in t 3.836 * [taylor]: Taking taylor expansion of (* z y) in t 3.836 * [taylor]: Taking taylor expansion of z in t 3.836 * [taylor]: Taking taylor expansion of y in t 3.836 * [taylor]: Taking taylor expansion of x in t 3.836 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z 3.836 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z 3.836 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z 3.836 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z 3.837 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z 3.837 * [taylor]: Taking taylor expansion of (/ -1 t) in z 3.837 * [taylor]: Taking taylor expansion of -1 in z 3.837 * [taylor]: Taking taylor expansion of t in z 3.837 * [taylor]: Taking taylor expansion of (* z y) in z 3.837 * [taylor]: Taking taylor expansion of z in z 3.837 * [taylor]: Taking taylor expansion of y in z 3.837 * [taylor]: Taking taylor expansion of x in z 3.838 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y 3.838 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 3.838 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y 3.838 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y 3.838 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y 3.838 * [taylor]: Taking taylor expansion of (/ -1 t) in y 3.838 * [taylor]: Taking taylor expansion of -1 in y 3.838 * [taylor]: Taking taylor expansion of t in y 3.838 * [taylor]: Taking taylor expansion of (* z y) in y 3.838 * [taylor]: Taking taylor expansion of z in y 3.838 * [taylor]: Taking taylor expansion of y in y 3.838 * [taylor]: Taking taylor expansion of x in y 3.839 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x 3.839 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 3.839 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x 3.839 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x 3.839 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x 3.839 * [taylor]: Taking taylor expansion of (/ -1 t) in x 3.839 * [taylor]: Taking taylor expansion of -1 in x 3.839 * [taylor]: Taking taylor expansion of t in x 3.839 * [taylor]: Taking taylor expansion of (* z y) in x 3.839 * [taylor]: Taking taylor expansion of z in x 3.839 * [taylor]: Taking taylor expansion of y in x 3.839 * [taylor]: Taking taylor expansion of x in x 3.839 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x 3.839 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 3.839 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x 3.839 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x 3.839 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x 3.839 * [taylor]: Taking taylor expansion of (/ -1 t) in x 3.839 * [taylor]: Taking taylor expansion of -1 in x 3.839 * [taylor]: Taking taylor expansion of t in x 3.840 * [taylor]: Taking taylor expansion of (* z y) in x 3.840 * [taylor]: Taking taylor expansion of z in x 3.840 * [taylor]: Taking taylor expansion of y in x 3.840 * [taylor]: Taking taylor expansion of x in x 3.840 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y 3.840 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 3.840 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y 3.840 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y 3.840 * [taylor]: Taking taylor expansion of (/ -1 t) in y 3.840 * [taylor]: Taking taylor expansion of -1 in y 3.840 * [taylor]: Taking taylor expansion of t in y 3.840 * [taylor]: Taking taylor expansion of (* z y) in y 3.840 * [taylor]: Taking taylor expansion of z in y 3.840 * [taylor]: Taking taylor expansion of y in y 3.841 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z 3.841 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z 3.842 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 3.842 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z 3.842 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z 3.842 * [taylor]: Taking taylor expansion of (/ -1 t) in z 3.842 * [taylor]: Taking taylor expansion of -1 in z 3.842 * [taylor]: Taking taylor expansion of t in z 3.842 * [taylor]: Taking taylor expansion of z in z 3.843 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t 3.843 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t 3.843 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 3.843 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 3.843 * [taylor]: Taking taylor expansion of (/ -1 t) in t 3.843 * [taylor]: Taking taylor expansion of -1 in t 3.843 * [taylor]: Taking taylor expansion of t in t 3.847 * [taylor]: Taking taylor expansion of 0 in y 3.847 * [taylor]: Taking taylor expansion of 0 in z 3.847 * [taylor]: Taking taylor expansion of 0 in t 3.849 * [taylor]: Taking taylor expansion of 0 in z 3.849 * [taylor]: Taking taylor expansion of 0 in t 3.851 * [taylor]: Taking taylor expansion of 0 in t 3.858 * [taylor]: Taking taylor expansion of 0 in y 3.858 * [taylor]: Taking taylor expansion of 0 in z 3.858 * [taylor]: Taking taylor expansion of 0 in t 3.858 * [taylor]: Taking taylor expansion of 0 in z 3.858 * [taylor]: Taking taylor expansion of 0 in t 3.861 * [taylor]: Taking taylor expansion of 0 in z 3.861 * [taylor]: Taking taylor expansion of 0 in t 3.861 * [taylor]: Taking taylor expansion of 0 in t 3.861 * [taylor]: Taking taylor expansion of 0 in t 3.863 * [taylor]: Taking taylor expansion of 0 in t 3.864 * * * * [progress]: [ 3 / 4 ] generating series at (2) 3.865 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in (x y z t) around 0 3.865 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t 3.865 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 3.865 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t 3.865 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z 3.865 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 3.865 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z 3.865 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y 3.865 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 3.865 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y 3.865 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x 3.865 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 3.865 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x 3.865 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x 3.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 3.866 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x 3.866 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y 3.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 3.866 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y 3.866 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z 3.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 3.866 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z 3.866 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t 3.866 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 3.866 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t 3.867 * [taylor]: Taking taylor expansion of 0 in y 3.867 * [taylor]: Taking taylor expansion of 0 in z 3.867 * [taylor]: Taking taylor expansion of 0 in t 3.868 * [taylor]: Taking taylor expansion of 0 in z 3.868 * [taylor]: Taking taylor expansion of 0 in t 3.868 * [taylor]: Taking taylor expansion of 0 in t 3.870 * [taylor]: Taking taylor expansion of 0 in y 3.870 * [taylor]: Taking taylor expansion of 0 in z 3.870 * [taylor]: Taking taylor expansion of 0 in t 3.870 * [taylor]: Taking taylor expansion of 0 in z 3.870 * [taylor]: Taking taylor expansion of 0 in t 3.871 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in (x y z t) around 0 3.871 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t 3.871 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 3.871 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t 3.871 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z 3.871 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 3.871 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z 3.871 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y 3.871 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 3.871 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y 3.871 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x 3.871 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 3.871 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x 3.871 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x 3.871 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 3.871 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x 3.872 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y 3.872 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 3.872 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y 3.872 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z 3.872 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 3.872 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z 3.872 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t 3.872 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 3.872 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t 3.873 * [taylor]: Taking taylor expansion of 0 in y 3.874 * [taylor]: Taking taylor expansion of 0 in z 3.874 * [taylor]: Taking taylor expansion of 0 in t 3.874 * [taylor]: Taking taylor expansion of 0 in z 3.874 * [taylor]: Taking taylor expansion of 0 in t 3.875 * [taylor]: Taking taylor expansion of 0 in t 3.876 * [taylor]: Taking taylor expansion of 0 in y 3.876 * [taylor]: Taking taylor expansion of 0 in z 3.876 * [taylor]: Taking taylor expansion of 0 in t 3.876 * [taylor]: Taking taylor expansion of 0 in z 3.876 * [taylor]: Taking taylor expansion of 0 in t 3.877 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in (x y z t) around 0 3.877 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t 3.877 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 3.877 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t 3.877 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z 3.877 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 3.877 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z 3.877 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y 3.877 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 3.877 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y 3.878 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x 3.878 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 3.878 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x 3.878 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x 3.878 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 3.878 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x 3.878 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y 3.878 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 3.878 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y 3.878 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z 3.878 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 3.878 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z 3.879 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t 3.879 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 3.879 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t 3.880 * [taylor]: Taking taylor expansion of 0 in y 3.880 * [taylor]: Taking taylor expansion of 0 in z 3.880 * [taylor]: Taking taylor expansion of 0 in t 3.880 * [taylor]: Taking taylor expansion of 0 in z 3.880 * [taylor]: Taking taylor expansion of 0 in t 3.881 * [taylor]: Taking taylor expansion of 0 in t 3.882 * [taylor]: Taking taylor expansion of 0 in y 3.882 * [taylor]: Taking taylor expansion of 0 in z 3.882 * [taylor]: Taking taylor expansion of 0 in t 3.882 * [taylor]: Taking taylor expansion of 0 in z 3.882 * [taylor]: Taking taylor expansion of 0 in t 3.882 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1 2) 3.882 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in (x y) around 0 3.883 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in y 3.883 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 3.883 * [taylor]: Taking taylor expansion of (/ x y) in y 3.883 * [taylor]: Taking taylor expansion of x in y 3.883 * [taylor]: Taking taylor expansion of y in y 3.883 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x 3.883 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 3.883 * [taylor]: Taking taylor expansion of (/ x y) in x 3.883 * [taylor]: Taking taylor expansion of x in x 3.883 * [taylor]: Taking taylor expansion of y in x 3.883 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x 3.883 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 3.883 * [taylor]: Taking taylor expansion of (/ x y) in x 3.883 * [taylor]: Taking taylor expansion of x in x 3.883 * [taylor]: Taking taylor expansion of y in x 3.883 * [taylor]: Taking taylor expansion of (/ 0.037037037037037035 y) in y 3.883 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 3.883 * [taylor]: Taking taylor expansion of y in y 3.884 * [taylor]: Taking taylor expansion of 0 in y 3.885 * [taylor]: Taking taylor expansion of 0 in y 3.887 * [taylor]: Taking taylor expansion of 0 in y 3.887 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0 3.887 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y 3.887 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 3.887 * [taylor]: Taking taylor expansion of (/ y x) in y 3.888 * [taylor]: Taking taylor expansion of y in y 3.888 * [taylor]: Taking taylor expansion of x in y 3.888 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x 3.888 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 3.888 * [taylor]: Taking taylor expansion of (/ y x) in x 3.888 * [taylor]: Taking taylor expansion of y in x 3.888 * [taylor]: Taking taylor expansion of x in x 3.888 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x 3.888 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 3.888 * [taylor]: Taking taylor expansion of (/ y x) in x 3.888 * [taylor]: Taking taylor expansion of y in x 3.888 * [taylor]: Taking taylor expansion of x in x 3.888 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y 3.888 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 3.888 * [taylor]: Taking taylor expansion of y in y 3.890 * [taylor]: Taking taylor expansion of 0 in y 3.892 * [taylor]: Taking taylor expansion of 0 in y 3.894 * [taylor]: Taking taylor expansion of 0 in y 3.895 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0 3.895 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y 3.895 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 3.895 * [taylor]: Taking taylor expansion of (/ y x) in y 3.895 * [taylor]: Taking taylor expansion of y in y 3.895 * [taylor]: Taking taylor expansion of x in y 3.895 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x 3.895 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 3.895 * [taylor]: Taking taylor expansion of (/ y x) in x 3.895 * [taylor]: Taking taylor expansion of y in x 3.895 * [taylor]: Taking taylor expansion of x in x 3.895 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x 3.895 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 3.895 * [taylor]: Taking taylor expansion of (/ y x) in x 3.895 * [taylor]: Taking taylor expansion of y in x 3.895 * [taylor]: Taking taylor expansion of x in x 3.895 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y 3.895 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 3.895 * [taylor]: Taking taylor expansion of y in y 3.897 * [taylor]: Taking taylor expansion of 0 in y 3.899 * [taylor]: Taking taylor expansion of 0 in y 3.902 * [taylor]: Taking taylor expansion of 0 in y 3.902 * * * [progress]: simplifying candidates 3.904 * [simplify]: Simplifying using # : (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (* 3.0 (/ x (* y 27.0)))) (- (* z 2.0)) (/ 3.0 z) (/ (/ x (* y 27.0)) 2.0) (/ 1 (* z 2.0)) (/ (* z 2.0) (* 3.0 (/ x (* y 27.0)))) (/ (* 3.0 (/ x (* y 27.0))) z) (/ (* z 2.0) (/ x (* y 27.0))) (* (* z 2.0) (* y 27.0)) (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (* (cbrt t) (cbrt t)))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 1) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (/ (/ x (* y 27.0)) 2.0) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ 1 (* z 2.0)) (sqrt t)) (* (* 3.0 (/ x (* y 27.0))) (sqrt t)) (expm1 (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log1p (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (+ (- (log 1.0) (log 3.0)) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (+ (log (/ 1.0 3.0)) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (exp (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (* (* 1.0 1.0) 1.0) (* (* 3.0 3.0) 3.0)) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (* (* (/ 1.0 3.0) (/ 1.0 3.0)) (/ 1.0 3.0)) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (* (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ 1.0 3.0) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))) (* (/ 1.0 3.0) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ 1.0 3.0) 1) (* (cbrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (sqrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (expm1 (/ x (* y 27.0))) (log1p (/ x (* y 27.0))) (- (log x) (+ (log y) (log 27.0))) (- (log x) (log (* y 27.0))) (log (/ x (* y 27.0))) (exp (/ x (* y 27.0))) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))) (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0)))) (cbrt (/ x (* y 27.0))) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0))) (sqrt (/ x (* y 27.0))) (sqrt (/ x (* y 27.0))) (- x) (- (* y 27.0)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) 27.0) (/ (sqrt x) y) (/ (sqrt x) 27.0) (/ 1 y) (/ x 27.0) (/ 1 (* y 27.0)) (/ (* y 27.0) x) (/ x y) (/ (* y 27.0) (cbrt x)) (/ (* y 27.0) (sqrt x)) (/ (* y 27.0) x) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y)))))) (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y))))))) (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y))))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.037037037037037035 (/ x y)) (* 0.037037037037037035 (/ x y)) (* 0.037037037037037035 (/ x y)) 3.917 * * [simplify]: iteration 0 : 256 enodes (cost 2759 ) 3.962 * * [simplify]: iteration 1 : 732 enodes (cost 2643 ) 4.307 * * [simplify]: iteration 2 : 3313 enodes (cost 2051 ) 5.077 * * [simplify]: iteration done : 5000 enodes (cost 2051 ) 5.079 * [simplify]: Simplified to: (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (* 3.0 (/ x (* y 27.0)))) (- (* z 2.0)) (/ 3.0 z) (/ (/ x (* y 27.0)) 2.0) (/ 1 (* z 2.0)) (/ (* z 2.0) (* 3.0 (/ x (* y 27.0)))) (/ (* 3.0 (/ x (* y 27.0))) z) (* 2.0 (/ z (/ x (* y 27.0)))) (* (* z 2.0) (* y 27.0)) (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))) (* (fabs (cbrt t)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (/ (/ x (* y 27.0)) 2.0) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (/ (sqrt t) (* z 2.0)) (* (* 3.0 (/ x (* y 27.0))) (sqrt t)) (expm1 (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log1p (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (exp (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3) (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3) (* (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))) (cbrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (pow (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3) (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (sqrt (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (sqrt (/ 1.0 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (sqrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ 1.0 3.0) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))) (* (/ 1.0 3.0) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (/ 1.0 3.0) (* (cbrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (sqrt (/ 1.0 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 (sqrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1.0 3.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0) (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (expm1 (/ x (* y 27.0))) (log1p (/ x (* y 27.0))) (log (/ x (* y 27.0))) (log (/ x (* y 27.0))) (log (/ x (* y 27.0))) (exp (/ x (* y 27.0))) (pow (/ x (* y 27.0)) 3) (pow (/ x (* y 27.0)) 3) (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0)))) (cbrt (/ x (* y 27.0))) (pow (/ x (* y 27.0)) 3) (sqrt (/ x (* y 27.0))) (sqrt (/ x (* y 27.0))) (- x) (- (* y 27.0)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) 27.0) (/ (sqrt x) y) (/ (sqrt x) 27.0) (/ 1 y) (/ x 27.0) (/ 1 (* y 27.0)) (/ (* y 27.0) x) (/ x y) (/ (* y 27.0) (cbrt x)) (/ (* y 27.0) (sqrt x)) (/ (* y 27.0) x) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (- (* +nan.0 (- (/ (* t x) (* z y)) (/ (* (pow t 2) x) (* z y))))) (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y)))))) (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.037037037037037035 (/ x y)) (* 0.037037037037037035 (/ x y)) (* 0.037037037037037035 (/ x y)) 5.080 * * * [progress]: adding candidates to table 5.447 * * [progress]: iteration 2 / 4 5.447 * * * [progress]: picking best candidate 5.457 * * * * [pick]: Picked # 5.457 * * * [progress]: localizing error 5.477 * * * [progress]: generating rewritten candidates 5.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 1) 5.486 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 5.517 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 5.521 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 5.553 * * * [progress]: generating series expansions 5.553 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 1) 5.553 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0 5.553 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z 5.553 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.553 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z 5.553 * [taylor]: Taking taylor expansion of x in z 5.553 * [taylor]: Taking taylor expansion of (* z y) in z 5.553 * [taylor]: Taking taylor expansion of z in z 5.553 * [taylor]: Taking taylor expansion of y in z 5.554 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y 5.554 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 5.554 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y 5.554 * [taylor]: Taking taylor expansion of x in y 5.554 * [taylor]: Taking taylor expansion of (* z y) in y 5.554 * [taylor]: Taking taylor expansion of z in y 5.554 * [taylor]: Taking taylor expansion of y in y 5.554 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x 5.554 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 5.555 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 5.555 * [taylor]: Taking taylor expansion of x in x 5.555 * [taylor]: Taking taylor expansion of (* z y) in x 5.555 * [taylor]: Taking taylor expansion of z in x 5.555 * [taylor]: Taking taylor expansion of y in x 5.555 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x 5.555 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 5.555 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 5.555 * [taylor]: Taking taylor expansion of x in x 5.555 * [taylor]: Taking taylor expansion of (* z y) in x 5.555 * [taylor]: Taking taylor expansion of z in x 5.555 * [taylor]: Taking taylor expansion of y in x 5.555 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y 5.555 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 5.555 * [taylor]: Taking taylor expansion of (* z y) in y 5.555 * [taylor]: Taking taylor expansion of z in y 5.555 * [taylor]: Taking taylor expansion of y in y 5.555 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z 5.556 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.556 * [taylor]: Taking taylor expansion of z in z 5.556 * [taylor]: Taking taylor expansion of 0 in y 5.557 * [taylor]: Taking taylor expansion of 0 in z 5.559 * [taylor]: Taking taylor expansion of 0 in y 5.559 * [taylor]: Taking taylor expansion of 0 in z 5.559 * [taylor]: Taking taylor expansion of 0 in z 5.562 * [taylor]: Taking taylor expansion of 0 in y 5.562 * [taylor]: Taking taylor expansion of 0 in z 5.562 * [taylor]: Taking taylor expansion of 0 in z 5.562 * [taylor]: Taking taylor expansion of 0 in z 5.563 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0 5.563 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z 5.563 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.563 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 5.563 * [taylor]: Taking taylor expansion of (* z y) in z 5.563 * [taylor]: Taking taylor expansion of z in z 5.563 * [taylor]: Taking taylor expansion of y in z 5.563 * [taylor]: Taking taylor expansion of x in z 5.563 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y 5.563 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 5.563 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 5.563 * [taylor]: Taking taylor expansion of (* z y) in y 5.563 * [taylor]: Taking taylor expansion of z in y 5.563 * [taylor]: Taking taylor expansion of y in y 5.563 * [taylor]: Taking taylor expansion of x in y 5.564 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x 5.564 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 5.564 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 5.564 * [taylor]: Taking taylor expansion of (* z y) in x 5.564 * [taylor]: Taking taylor expansion of z in x 5.564 * [taylor]: Taking taylor expansion of y in x 5.564 * [taylor]: Taking taylor expansion of x in x 5.564 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x 5.564 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 5.564 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 5.564 * [taylor]: Taking taylor expansion of (* z y) in x 5.564 * [taylor]: Taking taylor expansion of z in x 5.564 * [taylor]: Taking taylor expansion of y in x 5.564 * [taylor]: Taking taylor expansion of x in x 5.565 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y 5.565 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 5.565 * [taylor]: Taking taylor expansion of (* z y) in y 5.565 * [taylor]: Taking taylor expansion of z in y 5.565 * [taylor]: Taking taylor expansion of y in y 5.566 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z 5.566 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.566 * [taylor]: Taking taylor expansion of z in z 5.568 * [taylor]: Taking taylor expansion of 0 in y 5.568 * [taylor]: Taking taylor expansion of 0 in z 5.569 * [taylor]: Taking taylor expansion of 0 in z 5.571 * [taylor]: Taking taylor expansion of 0 in y 5.571 * [taylor]: Taking taylor expansion of 0 in z 5.571 * [taylor]: Taking taylor expansion of 0 in z 5.572 * [taylor]: Taking taylor expansion of 0 in z 5.572 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0 5.573 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z 5.573 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z 5.573 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 5.573 * [taylor]: Taking taylor expansion of (* z y) in z 5.573 * [taylor]: Taking taylor expansion of z in z 5.573 * [taylor]: Taking taylor expansion of y in z 5.573 * [taylor]: Taking taylor expansion of x in z 5.573 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y 5.573 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 5.573 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 5.573 * [taylor]: Taking taylor expansion of (* z y) in y 5.573 * [taylor]: Taking taylor expansion of z in y 5.573 * [taylor]: Taking taylor expansion of y in y 5.573 * [taylor]: Taking taylor expansion of x in y 5.573 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x 5.573 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 5.573 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 5.573 * [taylor]: Taking taylor expansion of (* z y) in x 5.574 * [taylor]: Taking taylor expansion of z in x 5.574 * [taylor]: Taking taylor expansion of y in x 5.574 * [taylor]: Taking taylor expansion of x in x 5.574 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x 5.574 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 5.574 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 5.574 * [taylor]: Taking taylor expansion of (* z y) in x 5.574 * [taylor]: Taking taylor expansion of z in x 5.574 * [taylor]: Taking taylor expansion of y in x 5.574 * [taylor]: Taking taylor expansion of x in x 5.574 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y 5.574 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 5.574 * [taylor]: Taking taylor expansion of (* z y) in y 5.574 * [taylor]: Taking taylor expansion of z in y 5.574 * [taylor]: Taking taylor expansion of y in y 5.575 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z 5.575 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z 5.575 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.575 * [taylor]: Taking taylor expansion of z in z 5.577 * [taylor]: Taking taylor expansion of 0 in y 5.577 * [taylor]: Taking taylor expansion of 0 in z 5.578 * [taylor]: Taking taylor expansion of 0 in z 5.580 * [taylor]: Taking taylor expansion of 0 in y 5.580 * [taylor]: Taking taylor expansion of 0 in z 5.580 * [taylor]: Taking taylor expansion of 0 in z 5.582 * [taylor]: Taking taylor expansion of 0 in z 5.582 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 5.582 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0 5.582 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t 5.582 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 5.582 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t 5.582 * [taylor]: Taking taylor expansion of (sqrt t) in t 5.582 * [taylor]: Taking taylor expansion of t in t 5.584 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t 5.584 * [taylor]: Taking taylor expansion of x in t 5.584 * [taylor]: Taking taylor expansion of (* z y) in t 5.584 * [taylor]: Taking taylor expansion of z in t 5.584 * [taylor]: Taking taylor expansion of y in t 5.584 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z 5.584 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.584 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z 5.584 * [taylor]: Taking taylor expansion of (sqrt t) in z 5.584 * [taylor]: Taking taylor expansion of t in z 5.584 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z 5.584 * [taylor]: Taking taylor expansion of x in z 5.584 * [taylor]: Taking taylor expansion of (* z y) in z 5.584 * [taylor]: Taking taylor expansion of z in z 5.584 * [taylor]: Taking taylor expansion of y in z 5.585 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y 5.585 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 5.585 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y 5.585 * [taylor]: Taking taylor expansion of (sqrt t) in y 5.585 * [taylor]: Taking taylor expansion of t in y 5.585 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y 5.585 * [taylor]: Taking taylor expansion of x in y 5.585 * [taylor]: Taking taylor expansion of (* z y) in y 5.585 * [taylor]: Taking taylor expansion of z in y 5.585 * [taylor]: Taking taylor expansion of y in y 5.585 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x 5.585 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 5.585 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x 5.585 * [taylor]: Taking taylor expansion of (sqrt t) in x 5.585 * [taylor]: Taking taylor expansion of t in x 5.585 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 5.585 * [taylor]: Taking taylor expansion of x in x 5.585 * [taylor]: Taking taylor expansion of (* z y) in x 5.585 * [taylor]: Taking taylor expansion of z in x 5.586 * [taylor]: Taking taylor expansion of y in x 5.586 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x 5.586 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 5.586 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x 5.586 * [taylor]: Taking taylor expansion of (sqrt t) in x 5.586 * [taylor]: Taking taylor expansion of t in x 5.586 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 5.586 * [taylor]: Taking taylor expansion of x in x 5.586 * [taylor]: Taking taylor expansion of (* z y) in x 5.586 * [taylor]: Taking taylor expansion of z in x 5.586 * [taylor]: Taking taylor expansion of y in x 5.586 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y 5.586 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 5.586 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y 5.586 * [taylor]: Taking taylor expansion of (sqrt t) in y 5.586 * [taylor]: Taking taylor expansion of t in y 5.586 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 5.586 * [taylor]: Taking taylor expansion of (* z y) in y 5.586 * [taylor]: Taking taylor expansion of z in y 5.586 * [taylor]: Taking taylor expansion of y in y 5.587 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z 5.587 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.587 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z 5.587 * [taylor]: Taking taylor expansion of (sqrt t) in z 5.587 * [taylor]: Taking taylor expansion of t in z 5.587 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.587 * [taylor]: Taking taylor expansion of z in z 5.587 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t 5.587 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 5.587 * [taylor]: Taking taylor expansion of (sqrt t) in t 5.587 * [taylor]: Taking taylor expansion of t in t 5.589 * [taylor]: Taking taylor expansion of 0 in y 5.590 * [taylor]: Taking taylor expansion of 0 in z 5.591 * [taylor]: Taking taylor expansion of 0 in t 5.594 * [taylor]: Taking taylor expansion of 0 in y 5.594 * [taylor]: Taking taylor expansion of 0 in z 5.596 * [taylor]: Taking taylor expansion of 0 in z 5.596 * [taylor]: Taking taylor expansion of 0 in t 5.598 * [taylor]: Taking taylor expansion of 0 in t 5.604 * [taylor]: Taking taylor expansion of 0 in y 5.604 * [taylor]: Taking taylor expansion of 0 in z 5.604 * [taylor]: Taking taylor expansion of 0 in z 5.606 * [taylor]: Taking taylor expansion of 0 in z 5.607 * [taylor]: Taking taylor expansion of 0 in t 5.607 * [taylor]: Taking taylor expansion of 0 in t 5.607 * [taylor]: Taking taylor expansion of 0 in t 5.609 * [taylor]: Taking taylor expansion of 0 in t 5.610 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0 5.610 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t 5.610 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 5.610 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t 5.610 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 5.610 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.610 * [taylor]: Taking taylor expansion of t in t 5.612 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t 5.612 * [taylor]: Taking taylor expansion of (* z y) in t 5.612 * [taylor]: Taking taylor expansion of z in t 5.612 * [taylor]: Taking taylor expansion of y in t 5.612 * [taylor]: Taking taylor expansion of x in t 5.612 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z 5.612 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.612 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z 5.612 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z 5.612 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.612 * [taylor]: Taking taylor expansion of t in z 5.612 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 5.612 * [taylor]: Taking taylor expansion of (* z y) in z 5.612 * [taylor]: Taking taylor expansion of z in z 5.612 * [taylor]: Taking taylor expansion of y in z 5.612 * [taylor]: Taking taylor expansion of x in z 5.613 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y 5.613 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 5.613 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y 5.613 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y 5.613 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.613 * [taylor]: Taking taylor expansion of t in y 5.613 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 5.613 * [taylor]: Taking taylor expansion of (* z y) in y 5.613 * [taylor]: Taking taylor expansion of z in y 5.613 * [taylor]: Taking taylor expansion of y in y 5.613 * [taylor]: Taking taylor expansion of x in y 5.613 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x 5.613 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 5.613 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x 5.613 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x 5.613 * [taylor]: Taking taylor expansion of (/ 1 t) in x 5.613 * [taylor]: Taking taylor expansion of t in x 5.613 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 5.613 * [taylor]: Taking taylor expansion of (* z y) in x 5.614 * [taylor]: Taking taylor expansion of z in x 5.614 * [taylor]: Taking taylor expansion of y in x 5.614 * [taylor]: Taking taylor expansion of x in x 5.614 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x 5.614 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 5.614 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x 5.614 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x 5.614 * [taylor]: Taking taylor expansion of (/ 1 t) in x 5.614 * [taylor]: Taking taylor expansion of t in x 5.614 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 5.614 * [taylor]: Taking taylor expansion of (* z y) in x 5.614 * [taylor]: Taking taylor expansion of z in x 5.614 * [taylor]: Taking taylor expansion of y in x 5.614 * [taylor]: Taking taylor expansion of x in x 5.614 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y 5.614 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 5.614 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y 5.614 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y 5.614 * [taylor]: Taking taylor expansion of (/ 1 t) in y 5.614 * [taylor]: Taking taylor expansion of t in y 5.614 * [taylor]: Taking taylor expansion of (* z y) in y 5.614 * [taylor]: Taking taylor expansion of z in y 5.614 * [taylor]: Taking taylor expansion of y in y 5.616 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z 5.616 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.616 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z 5.616 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z 5.616 * [taylor]: Taking taylor expansion of (/ 1 t) in z 5.616 * [taylor]: Taking taylor expansion of t in z 5.616 * [taylor]: Taking taylor expansion of z in z 5.617 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t 5.617 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 5.617 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 5.617 * [taylor]: Taking taylor expansion of (/ 1 t) in t 5.617 * [taylor]: Taking taylor expansion of t in t 5.626 * [taylor]: Taking taylor expansion of 0 in y 5.626 * [taylor]: Taking taylor expansion of 0 in z 5.626 * [taylor]: Taking taylor expansion of 0 in t 5.628 * [taylor]: Taking taylor expansion of 0 in z 5.628 * [taylor]: Taking taylor expansion of 0 in t 5.630 * [taylor]: Taking taylor expansion of 0 in t 5.634 * [taylor]: Taking taylor expansion of 0 in y 5.634 * [taylor]: Taking taylor expansion of 0 in z 5.634 * [taylor]: Taking taylor expansion of 0 in t 5.634 * [taylor]: Taking taylor expansion of 0 in z 5.634 * [taylor]: Taking taylor expansion of 0 in t 5.636 * [taylor]: Taking taylor expansion of 0 in z 5.637 * [taylor]: Taking taylor expansion of 0 in t 5.637 * [taylor]: Taking taylor expansion of 0 in t 5.637 * [taylor]: Taking taylor expansion of 0 in t 5.639 * [taylor]: Taking taylor expansion of 0 in t 5.647 * [taylor]: Taking taylor expansion of 0 in y 5.647 * [taylor]: Taking taylor expansion of 0 in z 5.647 * [taylor]: Taking taylor expansion of 0 in t 5.647 * [taylor]: Taking taylor expansion of 0 in z 5.647 * [taylor]: Taking taylor expansion of 0 in t 5.647 * [taylor]: Taking taylor expansion of 0 in z 5.647 * [taylor]: Taking taylor expansion of 0 in t 5.650 * [taylor]: Taking taylor expansion of 0 in z 5.650 * [taylor]: Taking taylor expansion of 0 in t 5.650 * [taylor]: Taking taylor expansion of 0 in t 5.650 * [taylor]: Taking taylor expansion of 0 in t 5.650 * [taylor]: Taking taylor expansion of 0 in t 5.651 * [taylor]: Taking taylor expansion of 0 in t 5.651 * [taylor]: Taking taylor expansion of 0 in t 5.653 * [taylor]: Taking taylor expansion of 0 in t 5.654 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0 5.654 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t 5.654 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t 5.654 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t 5.654 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t 5.654 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 5.654 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.654 * [taylor]: Taking taylor expansion of -1 in t 5.654 * [taylor]: Taking taylor expansion of t in t 5.656 * [taylor]: Taking taylor expansion of (* z y) in t 5.656 * [taylor]: Taking taylor expansion of z in t 5.656 * [taylor]: Taking taylor expansion of y in t 5.656 * [taylor]: Taking taylor expansion of x in t 5.657 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z 5.657 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z 5.657 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z 5.657 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z 5.657 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z 5.657 * [taylor]: Taking taylor expansion of (/ -1 t) in z 5.657 * [taylor]: Taking taylor expansion of -1 in z 5.657 * [taylor]: Taking taylor expansion of t in z 5.657 * [taylor]: Taking taylor expansion of (* z y) in z 5.657 * [taylor]: Taking taylor expansion of z in z 5.657 * [taylor]: Taking taylor expansion of y in z 5.657 * [taylor]: Taking taylor expansion of x in z 5.658 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y 5.658 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 5.658 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y 5.658 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y 5.658 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y 5.658 * [taylor]: Taking taylor expansion of (/ -1 t) in y 5.658 * [taylor]: Taking taylor expansion of -1 in y 5.658 * [taylor]: Taking taylor expansion of t in y 5.658 * [taylor]: Taking taylor expansion of (* z y) in y 5.658 * [taylor]: Taking taylor expansion of z in y 5.658 * [taylor]: Taking taylor expansion of y in y 5.658 * [taylor]: Taking taylor expansion of x in y 5.659 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x 5.659 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 5.659 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x 5.659 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x 5.659 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x 5.659 * [taylor]: Taking taylor expansion of (/ -1 t) in x 5.659 * [taylor]: Taking taylor expansion of -1 in x 5.659 * [taylor]: Taking taylor expansion of t in x 5.659 * [taylor]: Taking taylor expansion of (* z y) in x 5.659 * [taylor]: Taking taylor expansion of z in x 5.659 * [taylor]: Taking taylor expansion of y in x 5.659 * [taylor]: Taking taylor expansion of x in x 5.659 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x 5.659 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 5.659 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x 5.659 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x 5.659 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x 5.659 * [taylor]: Taking taylor expansion of (/ -1 t) in x 5.659 * [taylor]: Taking taylor expansion of -1 in x 5.659 * [taylor]: Taking taylor expansion of t in x 5.660 * [taylor]: Taking taylor expansion of (* z y) in x 5.660 * [taylor]: Taking taylor expansion of z in x 5.660 * [taylor]: Taking taylor expansion of y in x 5.660 * [taylor]: Taking taylor expansion of x in x 5.660 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y 5.660 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 5.660 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y 5.660 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y 5.660 * [taylor]: Taking taylor expansion of (/ -1 t) in y 5.660 * [taylor]: Taking taylor expansion of -1 in y 5.660 * [taylor]: Taking taylor expansion of t in y 5.660 * [taylor]: Taking taylor expansion of (* z y) in y 5.660 * [taylor]: Taking taylor expansion of z in y 5.660 * [taylor]: Taking taylor expansion of y in y 5.661 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z 5.661 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z 5.662 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 5.662 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z 5.662 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z 5.662 * [taylor]: Taking taylor expansion of (/ -1 t) in z 5.662 * [taylor]: Taking taylor expansion of -1 in z 5.662 * [taylor]: Taking taylor expansion of t in z 5.662 * [taylor]: Taking taylor expansion of z in z 5.663 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t 5.663 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t 5.663 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 5.663 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 5.663 * [taylor]: Taking taylor expansion of (/ -1 t) in t 5.663 * [taylor]: Taking taylor expansion of -1 in t 5.663 * [taylor]: Taking taylor expansion of t in t 5.667 * [taylor]: Taking taylor expansion of 0 in y 5.668 * [taylor]: Taking taylor expansion of 0 in z 5.668 * [taylor]: Taking taylor expansion of 0 in t 5.670 * [taylor]: Taking taylor expansion of 0 in z 5.670 * [taylor]: Taking taylor expansion of 0 in t 5.671 * [taylor]: Taking taylor expansion of 0 in t 5.679 * [taylor]: Taking taylor expansion of 0 in y 5.679 * [taylor]: Taking taylor expansion of 0 in z 5.679 * [taylor]: Taking taylor expansion of 0 in t 5.679 * [taylor]: Taking taylor expansion of 0 in z 5.679 * [taylor]: Taking taylor expansion of 0 in t 5.682 * [taylor]: Taking taylor expansion of 0 in z 5.682 * [taylor]: Taking taylor expansion of 0 in t 5.682 * [taylor]: Taking taylor expansion of 0 in t 5.682 * [taylor]: Taking taylor expansion of 0 in t 5.684 * [taylor]: Taking taylor expansion of 0 in t 5.685 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 5.685 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 5.686 * [approximate]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (cbrt 3.0)) in (x y z t) around 0 5.686 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (cbrt 3.0)) in t 5.686 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t 5.686 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t 5.686 * [taylor]: Taking taylor expansion of 1.0 in t 5.687 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t 5.687 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t 5.687 * [taylor]: Taking taylor expansion of 3.0 in t 5.689 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (cbrt 3.0)) in z 5.689 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z 5.689 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.689 * [taylor]: Taking taylor expansion of 1.0 in z 5.690 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z 5.690 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 5.690 * [taylor]: Taking taylor expansion of 3.0 in z 5.692 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (cbrt 3.0)) in y 5.692 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y 5.692 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 5.692 * [taylor]: Taking taylor expansion of 1.0 in y 5.693 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y 5.693 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 5.693 * [taylor]: Taking taylor expansion of 3.0 in y 5.695 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (cbrt 3.0)) in x 5.695 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x 5.695 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.695 * [taylor]: Taking taylor expansion of 1.0 in x 5.695 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x 5.696 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 5.696 * [taylor]: Taking taylor expansion of 3.0 in x 5.697 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (cbrt 3.0)) in x 5.697 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x 5.698 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.698 * [taylor]: Taking taylor expansion of 1.0 in x 5.698 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x 5.698 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 5.698 * [taylor]: Taking taylor expansion of 3.0 in x 5.700 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) in y 5.700 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) in y 5.700 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y 5.701 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 5.701 * [taylor]: Taking taylor expansion of 1.0 in y 5.701 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 5.701 * [taylor]: Taking taylor expansion of 3.0 in y 5.703 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) in z 5.703 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) in z 5.703 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z 5.703 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.703 * [taylor]: Taking taylor expansion of 1.0 in z 5.704 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 5.704 * [taylor]: Taking taylor expansion of 3.0 in z 5.706 * [taylor]: Taking taylor expansion of (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) in t 5.706 * [taylor]: Taking taylor expansion of (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) in t 5.706 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t 5.706 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t 5.706 * [taylor]: Taking taylor expansion of 1.0 in t 5.707 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t 5.707 * [taylor]: Taking taylor expansion of 3.0 in t 5.711 * [taylor]: Taking taylor expansion of 0 in y 5.711 * [taylor]: Taking taylor expansion of 0 in z 5.711 * [taylor]: Taking taylor expansion of 0 in t 5.713 * [taylor]: Taking taylor expansion of 0 in z 5.713 * [taylor]: Taking taylor expansion of 0 in t 5.720 * [taylor]: Taking taylor expansion of 0 in t 5.726 * [taylor]: Taking taylor expansion of 0 in y 5.726 * [taylor]: Taking taylor expansion of 0 in z 5.726 * [taylor]: Taking taylor expansion of 0 in t 5.727 * [taylor]: Taking taylor expansion of 0 in z 5.727 * [taylor]: Taking taylor expansion of 0 in t 5.729 * [approximate]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in (x y z t) around 0 5.729 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in t 5.729 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t 5.729 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t 5.729 * [taylor]: Taking taylor expansion of 1.0 in t 5.729 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t 5.730 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t 5.730 * [taylor]: Taking taylor expansion of 3.0 in t 5.732 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in z 5.732 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z 5.732 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.732 * [taylor]: Taking taylor expansion of 1.0 in z 5.732 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z 5.733 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 5.733 * [taylor]: Taking taylor expansion of 3.0 in z 5.734 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in y 5.735 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y 5.735 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 5.735 * [taylor]: Taking taylor expansion of 1.0 in y 5.735 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y 5.736 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 5.736 * [taylor]: Taking taylor expansion of 3.0 in y 5.737 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in x 5.737 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x 5.738 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.738 * [taylor]: Taking taylor expansion of 1.0 in x 5.738 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x 5.739 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 5.739 * [taylor]: Taking taylor expansion of 3.0 in x 5.740 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in x 5.741 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x 5.741 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.741 * [taylor]: Taking taylor expansion of 1.0 in x 5.741 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x 5.742 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 5.742 * [taylor]: Taking taylor expansion of 3.0 in x 5.743 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in y 5.744 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y 5.744 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 5.744 * [taylor]: Taking taylor expansion of 1.0 in y 5.744 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y 5.745 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 5.745 * [taylor]: Taking taylor expansion of 3.0 in y 5.746 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in z 5.746 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z 5.746 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.747 * [taylor]: Taking taylor expansion of 1.0 in z 5.747 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z 5.747 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 5.747 * [taylor]: Taking taylor expansion of 3.0 in z 5.749 * [taylor]: Taking taylor expansion of (/ (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) (cbrt 3.0)) in t 5.749 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t 5.749 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t 5.749 * [taylor]: Taking taylor expansion of 1.0 in t 5.750 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t 5.750 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t 5.750 * [taylor]: Taking taylor expansion of 3.0 in t 5.755 * [taylor]: Taking taylor expansion of 0 in y 5.755 * [taylor]: Taking taylor expansion of 0 in z 5.755 * [taylor]: Taking taylor expansion of 0 in t 5.757 * [taylor]: Taking taylor expansion of 0 in z 5.757 * [taylor]: Taking taylor expansion of 0 in t 5.759 * [taylor]: Taking taylor expansion of 0 in t 5.765 * [taylor]: Taking taylor expansion of 0 in y 5.766 * [taylor]: Taking taylor expansion of 0 in z 5.766 * [taylor]: Taking taylor expansion of 0 in t 5.766 * [taylor]: Taking taylor expansion of 0 in z 5.766 * [taylor]: Taking taylor expansion of 0 in t 5.768 * [approximate]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in (x y z t) around 0 5.768 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in t 5.768 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) in t 5.768 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t 5.768 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t 5.768 * [taylor]: Taking taylor expansion of 1.0 in t 5.769 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t 5.769 * [taylor]: Taking taylor expansion of 3.0 in t 5.771 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in z 5.771 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) in z 5.771 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z 5.771 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.771 * [taylor]: Taking taylor expansion of 1.0 in z 5.772 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 5.772 * [taylor]: Taking taylor expansion of 3.0 in z 5.773 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in y 5.774 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) in y 5.774 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y 5.774 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 5.774 * [taylor]: Taking taylor expansion of 1.0 in y 5.775 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 5.775 * [taylor]: Taking taylor expansion of 3.0 in y 5.777 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in x 5.777 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) in x 5.777 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x 5.777 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.777 * [taylor]: Taking taylor expansion of 1.0 in x 5.778 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 5.778 * [taylor]: Taking taylor expansion of 3.0 in x 5.780 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in x 5.780 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) in x 5.780 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x 5.780 * [taylor]: Taking taylor expansion of (sqrt 1.0) in x 5.780 * [taylor]: Taking taylor expansion of 1.0 in x 5.781 * [taylor]: Taking taylor expansion of (cbrt 3.0) in x 5.781 * [taylor]: Taking taylor expansion of 3.0 in x 5.783 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in y 5.783 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) in y 5.783 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y 5.783 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 5.783 * [taylor]: Taking taylor expansion of 1.0 in y 5.784 * [taylor]: Taking taylor expansion of (cbrt 3.0) in y 5.784 * [taylor]: Taking taylor expansion of 3.0 in y 5.786 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in z 5.786 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) in z 5.786 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z 5.786 * [taylor]: Taking taylor expansion of (sqrt 1.0) in z 5.786 * [taylor]: Taking taylor expansion of 1.0 in z 5.787 * [taylor]: Taking taylor expansion of (cbrt 3.0) in z 5.787 * [taylor]: Taking taylor expansion of 3.0 in z 5.788 * [taylor]: Taking taylor expansion of (/ (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) (cbrt 3.0)) in t 5.788 * [taylor]: Taking taylor expansion of (* (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) (sqrt 1.0)) in t 5.789 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t 5.789 * [taylor]: Taking taylor expansion of (sqrt 1.0) in t 5.789 * [taylor]: Taking taylor expansion of 1.0 in t 5.789 * [taylor]: Taking taylor expansion of (cbrt 3.0) in t 5.789 * [taylor]: Taking taylor expansion of 3.0 in t 5.794 * [taylor]: Taking taylor expansion of 0 in y 5.794 * [taylor]: Taking taylor expansion of 0 in z 5.794 * [taylor]: Taking taylor expansion of 0 in t 5.796 * [taylor]: Taking taylor expansion of 0 in z 5.796 * [taylor]: Taking taylor expansion of 0 in t 5.798 * [taylor]: Taking taylor expansion of 0 in t 5.804 * [taylor]: Taking taylor expansion of 0 in y 5.804 * [taylor]: Taking taylor expansion of 0 in z 5.804 * [taylor]: Taking taylor expansion of 0 in t 5.804 * [taylor]: Taking taylor expansion of 0 in z 5.804 * [taylor]: Taking taylor expansion of 0 in t 5.805 * * * [progress]: simplifying candidates 5.808 * [simplify]: Simplifying using # : (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (* 3.0 (/ x (* y 27.0)))) (- (* z 2.0)) (/ 3.0 z) (/ (/ x (* y 27.0)) 2.0) (/ 1 (* z 2.0)) (/ (* z 2.0) (* 3.0 (/ x (* y 27.0)))) (/ (* 3.0 (/ x (* y 27.0))) z) (/ (* z 2.0) (/ x (* y 27.0))) (* (* z 2.0) (* y 27.0)) (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (* (cbrt t) (cbrt t)))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 1) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (/ (/ x (* y 27.0)) 2.0) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ 1 (* z 2.0)) (sqrt t)) (* (* 3.0 (/ x (* y 27.0))) (sqrt t)) (expm1 (/ (sqrt 1.0) (cbrt 3.0))) (log1p (/ (sqrt 1.0) (cbrt 3.0))) (- (log (sqrt 1.0)) (log (cbrt 3.0))) (log (/ (sqrt 1.0) (cbrt 3.0))) (exp (/ (sqrt 1.0) (cbrt 3.0))) (/ (* (* (sqrt 1.0) (sqrt 1.0)) (sqrt 1.0)) 3.0) (* (cbrt (/ (sqrt 1.0) (cbrt 3.0))) (cbrt (/ (sqrt 1.0) (cbrt 3.0)))) (cbrt (/ (sqrt 1.0) (cbrt 3.0))) (* (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (cbrt 3.0))) (/ (sqrt 1.0) (cbrt 3.0))) (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (- (sqrt 1.0)) (- (cbrt 3.0)) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 3.0))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt 1)) (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt (cbrt 3.0))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) 1) (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt (sqrt 3.0))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (cbrt 1)) (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) (sqrt (cbrt 3.0))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (/ (sqrt (* (cbrt 1.0) (cbrt 1.0))) 1) (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (/ (sqrt (sqrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt 1)) (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (/ (sqrt (sqrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) 1) (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (/ (sqrt 1) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (/ (sqrt 1) (cbrt (sqrt 3.0))) (/ (sqrt 1.0) (cbrt (sqrt 3.0))) (/ (sqrt 1) (cbrt 1)) (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (/ (sqrt 1) (sqrt (cbrt 3.0))) (/ (sqrt 1.0) (sqrt (cbrt 3.0))) (/ (sqrt 1) 1) (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt (sqrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt 1)) (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (/ (sqrt (sqrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) 1) (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (/ 1 (cbrt (sqrt 3.0))) (/ (sqrt 1.0) (cbrt (sqrt 3.0))) (/ 1 (cbrt 1)) (/ (sqrt 1.0) (cbrt 3.0)) (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (/ 1 (sqrt (cbrt 3.0))) (/ (sqrt 1.0) (sqrt (cbrt 3.0))) (/ 1 1) (/ (sqrt 1.0) (cbrt 3.0)) (/ 1 (cbrt 3.0)) (/ (cbrt 3.0) (sqrt 1.0)) (/ (sqrt 1.0) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (sqrt 3.0))) (/ (sqrt 1.0) (cbrt 1)) (/ (sqrt 1.0) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt 1.0) (sqrt (cbrt 3.0))) (/ (sqrt 1.0) 1) (/ (cbrt 3.0) (cbrt (sqrt 1.0))) (/ (cbrt 3.0) (sqrt (cbrt 1.0))) (/ (cbrt 3.0) (sqrt (sqrt 1.0))) (/ (cbrt 3.0) (sqrt 1.0)) (/ (cbrt 3.0) (sqrt (sqrt 1.0))) (/ (cbrt 3.0) (sqrt 1.0)) (expm1 (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log1p (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (+ (- (log (sqrt 1.0)) (log (cbrt 3.0))) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (+ (log (/ (sqrt 1.0) (cbrt 3.0))) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (exp (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (* (* (sqrt 1.0) (sqrt 1.0)) (sqrt 1.0)) 3.0) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (* (* (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt 1.0) (cbrt 3.0))) (/ (sqrt 1.0) (cbrt 3.0))) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (cbrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))) (cbrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (* (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (sqrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (sqrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (cbrt 3.0)) 1) (* (cbrt (/ (sqrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ 1 (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (sqrt 1.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y)))))) (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y))))))) (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y))))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) 5.827 * * [simplify]: iteration 0 : 303 enodes (cost 4123 ) 5.890 * * [simplify]: iteration 1 : 804 enodes (cost 3942 ) 6.275 * * [simplify]: iteration 2 : 3423 enodes (cost 3370 ) 7.007 * * [simplify]: iteration done : 5000 enodes (cost 3370 ) 7.008 * [simplify]: Simplified to: (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (* 3.0 (/ x (* y 27.0)))) (- (* z 2.0)) (/ 3.0 z) (/ (/ x (* y 27.0)) 2.0) (/ 1 (* z 2.0)) (/ (* z 2.0) (* 3.0 (/ x (* y 27.0)))) (/ (* 3.0 (/ x (* y 27.0))) z) (* 2.0 (/ z (/ x (* y 27.0)))) (* (* z 2.0) (* y 27.0)) (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))) (* (fabs (cbrt t)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (/ (/ x (* y 27.0)) 2.0) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (/ (/ (sqrt t) 2.0) z) (* (* 3.0 (/ x (* y 27.0))) (sqrt t)) (expm1 (/ (sqrt 1.0) (cbrt 3.0))) (log1p (/ (sqrt 1.0) (cbrt 3.0))) (log (/ (sqrt 1.0) (cbrt 3.0))) (log (/ (sqrt 1.0) (cbrt 3.0))) (exp (/ (sqrt 1.0) (cbrt 3.0))) (/ (* (sqrt 1.0) 1.0) 3.0) (* (cbrt (/ (sqrt 1.0) (cbrt 3.0))) (cbrt (/ (sqrt 1.0) (cbrt 3.0)))) (cbrt (/ (sqrt 1.0) (cbrt 3.0))) (pow (/ (sqrt 1.0) (cbrt 3.0)) 3) (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (- (sqrt 1.0)) (- (cbrt 3.0)) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (cbrt (sqrt 3.0))) (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (sqrt (cbrt 3.0))) (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (* (cbrt (sqrt 1.0)) (cbrt (sqrt 1.0))) (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (/ (fabs (cbrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (/ (fabs (cbrt 1.0)) (cbrt (sqrt 3.0))) (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (fabs (cbrt 1.0)) (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (/ (fabs (cbrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (/ (fabs (cbrt 1.0)) (sqrt (cbrt 3.0))) (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (fabs (cbrt 1.0)) (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (/ (sqrt (sqrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (sqrt 1.0)) (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (/ (sqrt (sqrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (sqrt 1.0)) (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (/ 1 (cbrt (sqrt 3.0))) (/ (sqrt 1.0) (cbrt (sqrt 3.0))) 1 (/ (sqrt 1.0) (cbrt 3.0)) (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (/ 1 (sqrt (cbrt 3.0))) (/ (sqrt 1.0) (sqrt (cbrt 3.0))) 1 (/ (sqrt 1.0) (cbrt 3.0)) (/ (sqrt (sqrt 1.0)) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (sqrt 1.0)) (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (/ (sqrt (sqrt 1.0)) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (sqrt 1.0)) (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (/ 1 (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (/ 1 (cbrt (sqrt 3.0))) (/ (sqrt 1.0) (cbrt (sqrt 3.0))) 1 (/ (sqrt 1.0) (cbrt 3.0)) (/ 1 (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (/ 1 (sqrt (cbrt 3.0))) (/ (sqrt 1.0) (sqrt (cbrt 3.0))) 1 (/ (sqrt 1.0) (cbrt 3.0)) (/ 1 (cbrt 3.0)) (/ (cbrt 3.0) (sqrt 1.0)) (/ (sqrt 1.0) (cbrt (* (cbrt 3.0) (cbrt 3.0)))) (/ (sqrt 1.0) (cbrt (sqrt 3.0))) (sqrt 1.0) (/ (sqrt 1.0) (* (cbrt (cbrt 3.0)) (cbrt (cbrt 3.0)))) (/ (sqrt 1.0) (sqrt (cbrt 3.0))) (sqrt 1.0) (/ (cbrt 3.0) (cbrt (sqrt 1.0))) (/ (cbrt 3.0) (sqrt (cbrt 1.0))) (/ (cbrt 3.0) (sqrt (sqrt 1.0))) (/ (cbrt 3.0) (sqrt 1.0)) (/ (cbrt 3.0) (sqrt (sqrt 1.0))) (/ (cbrt 3.0) (sqrt 1.0)) (expm1 (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log1p (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (log (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (exp (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (pow (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3) (/ (* (sqrt 1.0) 1.0) 3.0)) (pow (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3) (* (cbrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (cbrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))) (cbrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (pow (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3) (sqrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (sqrt (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (* (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (sqrt (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (/ (sqrt 1.0) (cbrt 3.0)) (* (cbrt (/ (sqrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (sqrt (/ (sqrt 1.0) (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (cbrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (cbrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt (sqrt 1.0)) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (sqrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (sqrt (cbrt 3.0))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0)) (* (sqrt 1.0) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (- (* +nan.0 (- (/ (* t x) (* z y)) (/ (* (pow t 2) x) (* z y))))) (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y)))))) (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y)))))) (* (/ (sqrt 1.0) (cbrt 3.0)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) (/ (* (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) (sqrt 1.0)) (cbrt 3.0)) 7.010 * * * [progress]: adding candidates to table 7.774 * * [progress]: iteration 3 / 4 7.774 * * * [progress]: picking best candidate 7.777 * * * * [pick]: Picked # 7.777 * * * [progress]: localizing error 7.792 * * * [progress]: generating rewritten candidates 7.792 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 7.801 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 1) 7.836 * * * * [progress]: [ 3 / 4 ] rewriting at (2) 7.839 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1 2) 7.847 * * * [progress]: generating series expansions 7.847 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 7.848 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in (x y z) around 0 7.848 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in z 7.848 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.848 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z 7.848 * [taylor]: Taking taylor expansion of x in z 7.848 * [taylor]: Taking taylor expansion of (* z y) in z 7.848 * [taylor]: Taking taylor expansion of z in z 7.848 * [taylor]: Taking taylor expansion of y in z 7.849 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in y 7.849 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 7.849 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y 7.849 * [taylor]: Taking taylor expansion of x in y 7.849 * [taylor]: Taking taylor expansion of (* z y) in y 7.849 * [taylor]: Taking taylor expansion of z in y 7.849 * [taylor]: Taking taylor expansion of y in y 7.849 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x 7.849 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 7.849 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 7.849 * [taylor]: Taking taylor expansion of x in x 7.849 * [taylor]: Taking taylor expansion of (* z y) in x 7.849 * [taylor]: Taking taylor expansion of z in x 7.849 * [taylor]: Taking taylor expansion of y in x 7.849 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ x (* z y))) in x 7.849 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 7.849 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 7.849 * [taylor]: Taking taylor expansion of x in x 7.849 * [taylor]: Taking taylor expansion of (* z y) in x 7.849 * [taylor]: Taking taylor expansion of z in x 7.850 * [taylor]: Taking taylor expansion of y in x 7.850 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 (* z y)) in y 7.850 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 7.850 * [taylor]: Taking taylor expansion of (* z y) in y 7.850 * [taylor]: Taking taylor expansion of z in y 7.850 * [taylor]: Taking taylor expansion of y in y 7.850 * [taylor]: Taking taylor expansion of (/ 0.05555555555555555 z) in z 7.850 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.850 * [taylor]: Taking taylor expansion of z in z 7.851 * [taylor]: Taking taylor expansion of 0 in y 7.852 * [taylor]: Taking taylor expansion of 0 in z 7.853 * [taylor]: Taking taylor expansion of 0 in y 7.853 * [taylor]: Taking taylor expansion of 0 in z 7.854 * [taylor]: Taking taylor expansion of 0 in z 7.856 * [taylor]: Taking taylor expansion of 0 in y 7.857 * [taylor]: Taking taylor expansion of 0 in z 7.857 * [taylor]: Taking taylor expansion of 0 in z 7.857 * [taylor]: Taking taylor expansion of 0 in z 7.858 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in (x y z) around 0 7.858 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in z 7.858 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.858 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 7.858 * [taylor]: Taking taylor expansion of (* z y) in z 7.858 * [taylor]: Taking taylor expansion of z in z 7.858 * [taylor]: Taking taylor expansion of y in z 7.858 * [taylor]: Taking taylor expansion of x in z 7.858 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in y 7.858 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 7.858 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 7.858 * [taylor]: Taking taylor expansion of (* z y) in y 7.858 * [taylor]: Taking taylor expansion of z in y 7.858 * [taylor]: Taking taylor expansion of y in y 7.858 * [taylor]: Taking taylor expansion of x in y 7.859 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x 7.859 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 7.859 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 7.859 * [taylor]: Taking taylor expansion of (* z y) in x 7.859 * [taylor]: Taking taylor expansion of z in x 7.859 * [taylor]: Taking taylor expansion of y in x 7.859 * [taylor]: Taking taylor expansion of x in x 7.859 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (/ (* z y) x)) in x 7.859 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 7.859 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 7.859 * [taylor]: Taking taylor expansion of (* z y) in x 7.859 * [taylor]: Taking taylor expansion of z in x 7.859 * [taylor]: Taking taylor expansion of y in x 7.859 * [taylor]: Taking taylor expansion of x in x 7.859 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* z y)) in y 7.859 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 7.859 * [taylor]: Taking taylor expansion of (* z y) in y 7.859 * [taylor]: Taking taylor expansion of z in y 7.859 * [taylor]: Taking taylor expansion of y in y 7.860 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z 7.860 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.860 * [taylor]: Taking taylor expansion of z in z 7.862 * [taylor]: Taking taylor expansion of 0 in y 7.863 * [taylor]: Taking taylor expansion of 0 in z 7.864 * [taylor]: Taking taylor expansion of 0 in z 7.866 * [taylor]: Taking taylor expansion of 0 in y 7.866 * [taylor]: Taking taylor expansion of 0 in z 7.866 * [taylor]: Taking taylor expansion of 0 in z 7.867 * [taylor]: Taking taylor expansion of 0 in z 7.868 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in (x y z) around 0 7.868 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in z 7.868 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z 7.868 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 7.868 * [taylor]: Taking taylor expansion of (* z y) in z 7.868 * [taylor]: Taking taylor expansion of z in z 7.868 * [taylor]: Taking taylor expansion of y in z 7.868 * [taylor]: Taking taylor expansion of x in z 7.868 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in y 7.868 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 7.868 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 7.868 * [taylor]: Taking taylor expansion of (* z y) in y 7.868 * [taylor]: Taking taylor expansion of z in y 7.868 * [taylor]: Taking taylor expansion of y in y 7.868 * [taylor]: Taking taylor expansion of x in y 7.869 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x 7.869 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 7.869 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 7.869 * [taylor]: Taking taylor expansion of (* z y) in x 7.869 * [taylor]: Taking taylor expansion of z in x 7.869 * [taylor]: Taking taylor expansion of y in x 7.869 * [taylor]: Taking taylor expansion of x in x 7.869 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* z y) x)) in x 7.869 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 7.869 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 7.869 * [taylor]: Taking taylor expansion of (* z y) in x 7.869 * [taylor]: Taking taylor expansion of z in x 7.869 * [taylor]: Taking taylor expansion of y in x 7.869 * [taylor]: Taking taylor expansion of x in x 7.869 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* z y)) in y 7.869 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 7.869 * [taylor]: Taking taylor expansion of (* z y) in y 7.869 * [taylor]: Taking taylor expansion of z in y 7.869 * [taylor]: Taking taylor expansion of y in y 7.870 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 z)) in z 7.870 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 z) in z 7.870 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.870 * [taylor]: Taking taylor expansion of z in z 7.872 * [taylor]: Taking taylor expansion of 0 in y 7.872 * [taylor]: Taking taylor expansion of 0 in z 7.873 * [taylor]: Taking taylor expansion of 0 in z 7.876 * [taylor]: Taking taylor expansion of 0 in y 7.876 * [taylor]: Taking taylor expansion of 0 in z 7.876 * [taylor]: Taking taylor expansion of 0 in z 7.877 * [taylor]: Taking taylor expansion of 0 in z 7.878 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 1) 7.878 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in (x y z t) around 0 7.878 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in t 7.878 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 7.878 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in t 7.878 * [taylor]: Taking taylor expansion of (sqrt t) in t 7.878 * [taylor]: Taking taylor expansion of t in t 7.879 * [taylor]: Taking taylor expansion of (/ x (* z y)) in t 7.880 * [taylor]: Taking taylor expansion of x in t 7.880 * [taylor]: Taking taylor expansion of (* z y) in t 7.880 * [taylor]: Taking taylor expansion of z in t 7.880 * [taylor]: Taking taylor expansion of y in t 7.880 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in z 7.880 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.880 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in z 7.880 * [taylor]: Taking taylor expansion of (sqrt t) in z 7.880 * [taylor]: Taking taylor expansion of t in z 7.880 * [taylor]: Taking taylor expansion of (/ x (* z y)) in z 7.880 * [taylor]: Taking taylor expansion of x in z 7.880 * [taylor]: Taking taylor expansion of (* z y) in z 7.880 * [taylor]: Taking taylor expansion of z in z 7.880 * [taylor]: Taking taylor expansion of y in z 7.880 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in y 7.880 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 7.880 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in y 7.880 * [taylor]: Taking taylor expansion of (sqrt t) in y 7.880 * [taylor]: Taking taylor expansion of t in y 7.880 * [taylor]: Taking taylor expansion of (/ x (* z y)) in y 7.880 * [taylor]: Taking taylor expansion of x in y 7.880 * [taylor]: Taking taylor expansion of (* z y) in y 7.880 * [taylor]: Taking taylor expansion of z in y 7.881 * [taylor]: Taking taylor expansion of y in y 7.881 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x 7.881 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 7.881 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x 7.881 * [taylor]: Taking taylor expansion of (sqrt t) in x 7.881 * [taylor]: Taking taylor expansion of t in x 7.881 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 7.881 * [taylor]: Taking taylor expansion of x in x 7.881 * [taylor]: Taking taylor expansion of (* z y) in x 7.881 * [taylor]: Taking taylor expansion of z in x 7.881 * [taylor]: Taking taylor expansion of y in x 7.881 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))) in x 7.881 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 7.881 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ x (* z y))) in x 7.881 * [taylor]: Taking taylor expansion of (sqrt t) in x 7.881 * [taylor]: Taking taylor expansion of t in x 7.881 * [taylor]: Taking taylor expansion of (/ x (* z y)) in x 7.881 * [taylor]: Taking taylor expansion of x in x 7.881 * [taylor]: Taking taylor expansion of (* z y) in x 7.881 * [taylor]: Taking taylor expansion of z in x 7.881 * [taylor]: Taking taylor expansion of y in x 7.882 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 (* z y)))) in y 7.882 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 7.882 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 (* z y))) in y 7.882 * [taylor]: Taking taylor expansion of (sqrt t) in y 7.882 * [taylor]: Taking taylor expansion of t in y 7.882 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.882 * [taylor]: Taking taylor expansion of (* z y) in y 7.882 * [taylor]: Taking taylor expansion of z in y 7.882 * [taylor]: Taking taylor expansion of y in y 7.882 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt t) (/ 1 z))) in z 7.882 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.882 * [taylor]: Taking taylor expansion of (* (sqrt t) (/ 1 z)) in z 7.882 * [taylor]: Taking taylor expansion of (sqrt t) in z 7.882 * [taylor]: Taking taylor expansion of t in z 7.883 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.883 * [taylor]: Taking taylor expansion of z in z 7.883 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt t)) in t 7.883 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 7.883 * [taylor]: Taking taylor expansion of (sqrt t) in t 7.883 * [taylor]: Taking taylor expansion of t in t 7.885 * [taylor]: Taking taylor expansion of 0 in y 7.886 * [taylor]: Taking taylor expansion of 0 in z 7.887 * [taylor]: Taking taylor expansion of 0 in t 7.890 * [taylor]: Taking taylor expansion of 0 in y 7.890 * [taylor]: Taking taylor expansion of 0 in z 7.892 * [taylor]: Taking taylor expansion of 0 in z 7.892 * [taylor]: Taking taylor expansion of 0 in t 7.894 * [taylor]: Taking taylor expansion of 0 in t 7.901 * [taylor]: Taking taylor expansion of 0 in y 7.901 * [taylor]: Taking taylor expansion of 0 in z 7.901 * [taylor]: Taking taylor expansion of 0 in z 7.903 * [taylor]: Taking taylor expansion of 0 in z 7.903 * [taylor]: Taking taylor expansion of 0 in t 7.903 * [taylor]: Taking taylor expansion of 0 in t 7.903 * [taylor]: Taking taylor expansion of 0 in t 7.906 * [taylor]: Taking taylor expansion of 0 in t 7.907 * [approximate]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in (x y z t) around 0 7.907 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in t 7.907 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 7.907 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in t 7.907 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 7.907 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.907 * [taylor]: Taking taylor expansion of t in t 7.909 * [taylor]: Taking taylor expansion of (/ (* z y) x) in t 7.909 * [taylor]: Taking taylor expansion of (* z y) in t 7.909 * [taylor]: Taking taylor expansion of z in t 7.909 * [taylor]: Taking taylor expansion of y in t 7.909 * [taylor]: Taking taylor expansion of x in t 7.909 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in z 7.909 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.909 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in z 7.909 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z 7.909 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.909 * [taylor]: Taking taylor expansion of t in z 7.909 * [taylor]: Taking taylor expansion of (/ (* z y) x) in z 7.909 * [taylor]: Taking taylor expansion of (* z y) in z 7.909 * [taylor]: Taking taylor expansion of z in z 7.909 * [taylor]: Taking taylor expansion of y in z 7.909 * [taylor]: Taking taylor expansion of x in z 7.910 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in y 7.910 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 7.910 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in y 7.910 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y 7.910 * [taylor]: Taking taylor expansion of (/ 1 t) in y 7.910 * [taylor]: Taking taylor expansion of t in y 7.910 * [taylor]: Taking taylor expansion of (/ (* z y) x) in y 7.910 * [taylor]: Taking taylor expansion of (* z y) in y 7.910 * [taylor]: Taking taylor expansion of z in y 7.910 * [taylor]: Taking taylor expansion of y in y 7.910 * [taylor]: Taking taylor expansion of x in y 7.910 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x 7.910 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 7.910 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x 7.910 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x 7.910 * [taylor]: Taking taylor expansion of (/ 1 t) in x 7.910 * [taylor]: Taking taylor expansion of t in x 7.910 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 7.911 * [taylor]: Taking taylor expansion of (* z y) in x 7.911 * [taylor]: Taking taylor expansion of z in x 7.911 * [taylor]: Taking taylor expansion of y in x 7.911 * [taylor]: Taking taylor expansion of x in x 7.911 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))) in x 7.911 * [taylor]: Taking taylor expansion of 0.05555555555555555 in x 7.911 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (/ (* z y) x)) in x 7.911 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in x 7.911 * [taylor]: Taking taylor expansion of (/ 1 t) in x 7.911 * [taylor]: Taking taylor expansion of t in x 7.911 * [taylor]: Taking taylor expansion of (/ (* z y) x) in x 7.911 * [taylor]: Taking taylor expansion of (* z y) in x 7.911 * [taylor]: Taking taylor expansion of z in x 7.911 * [taylor]: Taking taylor expansion of y in x 7.911 * [taylor]: Taking taylor expansion of x in x 7.912 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) (* z y))) in y 7.912 * [taylor]: Taking taylor expansion of 0.05555555555555555 in y 7.912 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) (* z y)) in y 7.912 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in y 7.912 * [taylor]: Taking taylor expansion of (/ 1 t) in y 7.912 * [taylor]: Taking taylor expansion of t in y 7.912 * [taylor]: Taking taylor expansion of (* z y) in y 7.912 * [taylor]: Taking taylor expansion of z in y 7.912 * [taylor]: Taking taylor expansion of y in y 7.913 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ 1 t)) z)) in z 7.913 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.913 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 t)) z) in z 7.913 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in z 7.913 * [taylor]: Taking taylor expansion of (/ 1 t) in z 7.913 * [taylor]: Taking taylor expansion of t in z 7.913 * [taylor]: Taking taylor expansion of z in z 7.914 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ 1 t))) in t 7.914 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 7.914 * [taylor]: Taking taylor expansion of (sqrt (/ 1 t)) in t 7.914 * [taylor]: Taking taylor expansion of (/ 1 t) in t 7.914 * [taylor]: Taking taylor expansion of t in t 7.917 * [taylor]: Taking taylor expansion of 0 in y 7.917 * [taylor]: Taking taylor expansion of 0 in z 7.917 * [taylor]: Taking taylor expansion of 0 in t 7.925 * [taylor]: Taking taylor expansion of 0 in z 7.926 * [taylor]: Taking taylor expansion of 0 in t 7.927 * [taylor]: Taking taylor expansion of 0 in t 7.931 * [taylor]: Taking taylor expansion of 0 in y 7.931 * [taylor]: Taking taylor expansion of 0 in z 7.931 * [taylor]: Taking taylor expansion of 0 in t 7.931 * [taylor]: Taking taylor expansion of 0 in z 7.932 * [taylor]: Taking taylor expansion of 0 in t 7.934 * [taylor]: Taking taylor expansion of 0 in z 7.934 * [taylor]: Taking taylor expansion of 0 in t 7.934 * [taylor]: Taking taylor expansion of 0 in t 7.934 * [taylor]: Taking taylor expansion of 0 in t 7.936 * [taylor]: Taking taylor expansion of 0 in t 7.944 * [taylor]: Taking taylor expansion of 0 in y 7.944 * [taylor]: Taking taylor expansion of 0 in z 7.944 * [taylor]: Taking taylor expansion of 0 in t 7.944 * [taylor]: Taking taylor expansion of 0 in z 7.944 * [taylor]: Taking taylor expansion of 0 in t 7.944 * [taylor]: Taking taylor expansion of 0 in z 7.944 * [taylor]: Taking taylor expansion of 0 in t 7.947 * [taylor]: Taking taylor expansion of 0 in z 7.947 * [taylor]: Taking taylor expansion of 0 in t 7.947 * [taylor]: Taking taylor expansion of 0 in t 7.947 * [taylor]: Taking taylor expansion of 0 in t 7.947 * [taylor]: Taking taylor expansion of 0 in t 7.947 * [taylor]: Taking taylor expansion of 0 in t 7.947 * [taylor]: Taking taylor expansion of 0 in t 7.949 * [taylor]: Taking taylor expansion of 0 in t 7.951 * [approximate]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in (x y z t) around 0 7.951 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in t 7.951 * [taylor]: Taking taylor expansion of -0.05555555555555555 in t 7.951 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in t 7.951 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in t 7.951 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 7.951 * [taylor]: Taking taylor expansion of (/ -1 t) in t 7.951 * [taylor]: Taking taylor expansion of -1 in t 7.951 * [taylor]: Taking taylor expansion of t in t 7.952 * [taylor]: Taking taylor expansion of (* z y) in t 7.952 * [taylor]: Taking taylor expansion of z in t 7.952 * [taylor]: Taking taylor expansion of y in t 7.952 * [taylor]: Taking taylor expansion of x in t 7.953 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in z 7.953 * [taylor]: Taking taylor expansion of -0.05555555555555555 in z 7.953 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in z 7.953 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in z 7.953 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z 7.953 * [taylor]: Taking taylor expansion of (/ -1 t) in z 7.953 * [taylor]: Taking taylor expansion of -1 in z 7.953 * [taylor]: Taking taylor expansion of t in z 7.953 * [taylor]: Taking taylor expansion of (* z y) in z 7.953 * [taylor]: Taking taylor expansion of z in z 7.953 * [taylor]: Taking taylor expansion of y in z 7.953 * [taylor]: Taking taylor expansion of x in z 7.954 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in y 7.954 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 7.954 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in y 7.954 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y 7.954 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y 7.954 * [taylor]: Taking taylor expansion of (/ -1 t) in y 7.954 * [taylor]: Taking taylor expansion of -1 in y 7.954 * [taylor]: Taking taylor expansion of t in y 7.954 * [taylor]: Taking taylor expansion of (* z y) in y 7.954 * [taylor]: Taking taylor expansion of z in y 7.954 * [taylor]: Taking taylor expansion of y in y 7.954 * [taylor]: Taking taylor expansion of x in y 7.955 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x 7.955 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 7.955 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x 7.955 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x 7.955 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x 7.955 * [taylor]: Taking taylor expansion of (/ -1 t) in x 7.955 * [taylor]: Taking taylor expansion of -1 in x 7.955 * [taylor]: Taking taylor expansion of t in x 7.955 * [taylor]: Taking taylor expansion of (* z y) in x 7.955 * [taylor]: Taking taylor expansion of z in x 7.955 * [taylor]: Taking taylor expansion of y in x 7.955 * [taylor]: Taking taylor expansion of x in x 7.956 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)) in x 7.956 * [taylor]: Taking taylor expansion of -0.05555555555555555 in x 7.956 * [taylor]: Taking taylor expansion of (/ (* (sqrt (/ -1 t)) (* z y)) x) in x 7.956 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in x 7.956 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in x 7.956 * [taylor]: Taking taylor expansion of (/ -1 t) in x 7.956 * [taylor]: Taking taylor expansion of -1 in x 7.956 * [taylor]: Taking taylor expansion of t in x 7.956 * [taylor]: Taking taylor expansion of (* z y) in x 7.956 * [taylor]: Taking taylor expansion of z in x 7.956 * [taylor]: Taking taylor expansion of y in x 7.956 * [taylor]: Taking taylor expansion of x in x 7.956 * [taylor]: Taking taylor expansion of (* -0.05555555555555555 (* (sqrt (/ -1 t)) (* z y))) in y 7.956 * [taylor]: Taking taylor expansion of -0.05555555555555555 in y 7.956 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) (* z y)) in y 7.956 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in y 7.956 * [taylor]: Taking taylor expansion of (/ -1 t) in y 7.956 * [taylor]: Taking taylor expansion of -1 in y 7.956 * [taylor]: Taking taylor expansion of t in y 7.957 * [taylor]: Taking taylor expansion of (* z y) in y 7.957 * [taylor]: Taking taylor expansion of z in y 7.957 * [taylor]: Taking taylor expansion of y in y 7.958 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (* (sqrt (/ -1 t)) z))) in z 7.958 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (* (sqrt (/ -1 t)) z)) in z 7.958 * [taylor]: Taking taylor expansion of 0.05555555555555555 in z 7.958 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 t)) z) in z 7.958 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in z 7.958 * [taylor]: Taking taylor expansion of (/ -1 t) in z 7.958 * [taylor]: Taking taylor expansion of -1 in z 7.958 * [taylor]: Taking taylor expansion of t in z 7.958 * [taylor]: Taking taylor expansion of z in z 7.959 * [taylor]: Taking taylor expansion of (- (* 0.05555555555555555 (sqrt (/ -1 t)))) in t 7.959 * [taylor]: Taking taylor expansion of (* 0.05555555555555555 (sqrt (/ -1 t))) in t 7.959 * [taylor]: Taking taylor expansion of 0.05555555555555555 in t 7.959 * [taylor]: Taking taylor expansion of (sqrt (/ -1 t)) in t 7.959 * [taylor]: Taking taylor expansion of (/ -1 t) in t 7.959 * [taylor]: Taking taylor expansion of -1 in t 7.959 * [taylor]: Taking taylor expansion of t in t 7.964 * [taylor]: Taking taylor expansion of 0 in y 7.964 * [taylor]: Taking taylor expansion of 0 in z 7.964 * [taylor]: Taking taylor expansion of 0 in t 7.966 * [taylor]: Taking taylor expansion of 0 in z 7.966 * [taylor]: Taking taylor expansion of 0 in t 7.968 * [taylor]: Taking taylor expansion of 0 in t 7.975 * [taylor]: Taking taylor expansion of 0 in y 7.975 * [taylor]: Taking taylor expansion of 0 in z 7.975 * [taylor]: Taking taylor expansion of 0 in t 7.975 * [taylor]: Taking taylor expansion of 0 in z 7.975 * [taylor]: Taking taylor expansion of 0 in t 7.978 * [taylor]: Taking taylor expansion of 0 in z 7.978 * [taylor]: Taking taylor expansion of 0 in t 7.978 * [taylor]: Taking taylor expansion of 0 in t 7.978 * [taylor]: Taking taylor expansion of 0 in t 7.980 * [taylor]: Taking taylor expansion of 0 in t 7.981 * * * * [progress]: [ 3 / 4 ] generating series at (2) 7.981 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in (x y z t) around 0 7.981 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t 7.981 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 7.981 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t 7.982 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z 7.982 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 7.982 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z 7.982 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y 7.982 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 7.982 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y 7.982 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x 7.982 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 7.982 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x 7.982 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in x 7.982 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 7.982 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in x 7.982 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in y 7.982 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 7.982 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in y 7.983 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in z 7.983 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 7.983 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in z 7.983 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) in t 7.983 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 7.983 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y))))) in t 7.984 * [taylor]: Taking taylor expansion of 0 in y 7.984 * [taylor]: Taking taylor expansion of 0 in z 7.984 * [taylor]: Taking taylor expansion of 0 in t 7.984 * [taylor]: Taking taylor expansion of 0 in z 7.984 * [taylor]: Taking taylor expansion of 0 in t 7.985 * [taylor]: Taking taylor expansion of 0 in t 7.986 * [taylor]: Taking taylor expansion of 0 in y 7.986 * [taylor]: Taking taylor expansion of 0 in z 7.986 * [taylor]: Taking taylor expansion of 0 in t 7.986 * [taylor]: Taking taylor expansion of 0 in z 7.986 * [taylor]: Taking taylor expansion of 0 in t 7.987 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in (x y z t) around 0 7.987 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t 7.987 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 7.987 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t 7.987 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z 7.987 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 7.987 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z 7.987 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y 7.987 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 7.987 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y 7.987 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x 7.987 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 7.987 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x 7.987 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in x 7.987 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 7.988 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in x 7.988 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in y 7.988 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 7.988 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in y 7.988 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in z 7.988 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 7.988 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in z 7.988 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x))))) in t 7.988 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 7.988 * [taylor]: Taking taylor expansion of (acos (* 0.05555555555555555 (* (sqrt (/ 1 t)) (/ (* z y) x)))) in t 7.989 * [taylor]: Taking taylor expansion of 0 in y 7.990 * [taylor]: Taking taylor expansion of 0 in z 7.990 * [taylor]: Taking taylor expansion of 0 in t 7.990 * [taylor]: Taking taylor expansion of 0 in z 7.990 * [taylor]: Taking taylor expansion of 0 in t 7.991 * [taylor]: Taking taylor expansion of 0 in t 7.992 * [taylor]: Taking taylor expansion of 0 in y 7.992 * [taylor]: Taking taylor expansion of 0 in z 7.992 * [taylor]: Taking taylor expansion of 0 in t 7.992 * [taylor]: Taking taylor expansion of 0 in z 7.992 * [taylor]: Taking taylor expansion of 0 in t 7.992 * [approximate]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in (x y z t) around 0 7.993 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t 7.993 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 7.993 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t 7.993 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z 7.993 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 7.993 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z 7.993 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y 7.993 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 7.993 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y 7.993 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x 7.993 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 7.993 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x 7.993 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in x 7.993 * [taylor]: Taking taylor expansion of 0.3333333333333333 in x 7.993 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in x 7.994 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in y 7.994 * [taylor]: Taking taylor expansion of 0.3333333333333333 in y 7.994 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in y 7.994 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in z 7.994 * [taylor]: Taking taylor expansion of 0.3333333333333333 in z 7.994 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in z 7.994 * [taylor]: Taking taylor expansion of (* 0.3333333333333333 (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x)))) in t 7.994 * [taylor]: Taking taylor expansion of 0.3333333333333333 in t 7.994 * [taylor]: Taking taylor expansion of (acos (* -0.05555555555555555 (/ (* (sqrt (/ -1 t)) (* z y)) x))) in t 7.996 * [taylor]: Taking taylor expansion of 0 in y 7.996 * [taylor]: Taking taylor expansion of 0 in z 7.996 * [taylor]: Taking taylor expansion of 0 in t 7.996 * [taylor]: Taking taylor expansion of 0 in z 7.996 * [taylor]: Taking taylor expansion of 0 in t 7.997 * [taylor]: Taking taylor expansion of 0 in t 7.998 * [taylor]: Taking taylor expansion of 0 in y 7.998 * [taylor]: Taking taylor expansion of 0 in z 7.998 * [taylor]: Taking taylor expansion of 0 in t 7.998 * [taylor]: Taking taylor expansion of 0 in z 7.998 * [taylor]: Taking taylor expansion of 0 in t 7.998 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1 2) 7.999 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in (x y) around 0 7.999 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in y 7.999 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 7.999 * [taylor]: Taking taylor expansion of (/ x y) in y 7.999 * [taylor]: Taking taylor expansion of x in y 7.999 * [taylor]: Taking taylor expansion of y in y 7.999 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x 7.999 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 7.999 * [taylor]: Taking taylor expansion of (/ x y) in x 7.999 * [taylor]: Taking taylor expansion of x in x 7.999 * [taylor]: Taking taylor expansion of y in x 7.999 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ x y)) in x 7.999 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 7.999 * [taylor]: Taking taylor expansion of (/ x y) in x 7.999 * [taylor]: Taking taylor expansion of x in x 7.999 * [taylor]: Taking taylor expansion of y in x 7.999 * [taylor]: Taking taylor expansion of (/ 0.037037037037037035 y) in y 7.999 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 7.999 * [taylor]: Taking taylor expansion of y in y 8.000 * [taylor]: Taking taylor expansion of 0 in y 8.001 * [taylor]: Taking taylor expansion of 0 in y 8.003 * [taylor]: Taking taylor expansion of 0 in y 8.003 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0 8.004 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y 8.004 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 8.004 * [taylor]: Taking taylor expansion of (/ y x) in y 8.004 * [taylor]: Taking taylor expansion of y in y 8.004 * [taylor]: Taking taylor expansion of x in y 8.004 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x 8.004 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 8.004 * [taylor]: Taking taylor expansion of (/ y x) in x 8.004 * [taylor]: Taking taylor expansion of y in x 8.004 * [taylor]: Taking taylor expansion of x in x 8.004 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x 8.004 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 8.004 * [taylor]: Taking taylor expansion of (/ y x) in x 8.004 * [taylor]: Taking taylor expansion of y in x 8.004 * [taylor]: Taking taylor expansion of x in x 8.004 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y 8.004 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 8.004 * [taylor]: Taking taylor expansion of y in y 8.006 * [taylor]: Taking taylor expansion of 0 in y 8.008 * [taylor]: Taking taylor expansion of 0 in y 8.011 * [taylor]: Taking taylor expansion of 0 in y 8.011 * [approximate]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in (x y) around 0 8.011 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in y 8.011 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 8.011 * [taylor]: Taking taylor expansion of (/ y x) in y 8.011 * [taylor]: Taking taylor expansion of y in y 8.011 * [taylor]: Taking taylor expansion of x in y 8.011 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x 8.011 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 8.011 * [taylor]: Taking taylor expansion of (/ y x) in x 8.011 * [taylor]: Taking taylor expansion of y in x 8.011 * [taylor]: Taking taylor expansion of x in x 8.011 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 (/ y x)) in x 8.011 * [taylor]: Taking taylor expansion of 0.037037037037037035 in x 8.011 * [taylor]: Taking taylor expansion of (/ y x) in x 8.011 * [taylor]: Taking taylor expansion of y in x 8.011 * [taylor]: Taking taylor expansion of x in x 8.012 * [taylor]: Taking taylor expansion of (* 0.037037037037037035 y) in y 8.012 * [taylor]: Taking taylor expansion of 0.037037037037037035 in y 8.012 * [taylor]: Taking taylor expansion of y in y 8.014 * [taylor]: Taking taylor expansion of 0 in y 8.022 * [taylor]: Taking taylor expansion of 0 in y 8.025 * [taylor]: Taking taylor expansion of 0 in y 8.025 * * * [progress]: simplifying candidates 8.027 * [simplify]: Simplifying using # : (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (* 3.0 (/ x (* y 27.0)))) (- (* z 2.0)) (/ 3.0 z) (/ (/ x (* y 27.0)) 2.0) (/ 1 (* z 2.0)) (/ (* z 2.0) (* 3.0 (/ x (* y 27.0)))) (/ (* 3.0 (/ x (* y 27.0))) z) (/ (* z 2.0) (/ x (* y 27.0))) (* (* z 2.0) (* y 27.0)) (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (+ (log y) (log 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (- (log x) (log (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (+ (log 3.0) (log (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (- (log (* 3.0 (/ x (* y 27.0)))) (+ (log z) (log 2.0))) (log (sqrt t))) (+ (- (log (* 3.0 (/ x (* y 27.0)))) (log (* z 2.0))) (log (sqrt t))) (+ (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 3.0) 3.0) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z z) z) (* (* 2.0 2.0) 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (/ (* (* (* 3.0 (/ x (* y 27.0))) (* 3.0 (/ x (* y 27.0)))) (* 3.0 (/ x (* y 27.0)))) (* (* (* z 2.0) (* z 2.0)) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (* (sqrt t) (sqrt t)) (sqrt t))) (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (* (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (* (cbrt t) (cbrt t)))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt 1)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 1) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (/ (/ x (* y 27.0)) 2.0) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (* (/ 1 (* z 2.0)) (sqrt t)) (* (* 3.0 (/ x (* y 27.0))) (sqrt t)) (expm1 (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (log1p (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (- (+ (log 1.0) (log (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log 3.0)) (- (log (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (log 3.0)) (log (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (exp (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (/ (* (* (* 1.0 1.0) 1.0) (* (* (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (* 3.0 3.0) 3.0)) (/ (* (* (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (* (* 3.0 3.0) 3.0)) (* (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))) (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (* (* (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (sqrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (sqrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (- (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (- 3.0) (/ 1.0 (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0)) (/ 1.0 (sqrt 3.0)) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt 3.0)) (/ 1.0 1) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0) (/ 1 3.0) (/ 3.0 (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 3.0)) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 1) (/ 3.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (expm1 (/ x (* y 27.0))) (log1p (/ x (* y 27.0))) (- (log x) (+ (log y) (log 27.0))) (- (log x) (log (* y 27.0))) (log (/ x (* y 27.0))) (exp (/ x (* y 27.0))) (/ (* (* x x) x) (* (* (* y y) y) (* (* 27.0 27.0) 27.0))) (/ (* (* x x) x) (* (* (* y 27.0) (* y 27.0)) (* y 27.0))) (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0)))) (cbrt (/ x (* y 27.0))) (* (* (/ x (* y 27.0)) (/ x (* y 27.0))) (/ x (* y 27.0))) (sqrt (/ x (* y 27.0))) (sqrt (/ x (* y 27.0))) (- x) (- (* y 27.0)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) 27.0) (/ (sqrt x) y) (/ (sqrt x) 27.0) (/ 1 y) (/ x 27.0) (/ 1 (* y 27.0)) (/ (* y 27.0) x) (/ x y) (/ (* y 27.0) (cbrt x)) (/ (* y 27.0) (sqrt x)) (/ (* y 27.0) x) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (- (+ (* +nan.0 (/ (* t x) (* z y))) (- (* +nan.0 (/ (* (pow t 2) x) (* z y)))))) (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y))))))) (- (+ (* +nan.0 (/ x (* z y))) (- (* +nan.0 (/ x (* t (* z y))))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.037037037037037035 (/ x y)) (* 0.037037037037037035 (/ x y)) (* 0.037037037037037035 (/ x y)) 8.036 * * [simplify]: iteration 0 : 238 enodes (cost 2502 ) 8.085 * * [simplify]: iteration 1 : 691 enodes (cost 2384 ) 8.389 * * [simplify]: iteration 2 : 3253 enodes (cost 1794 ) 9.095 * * [simplify]: iteration done : 5000 enodes (cost 1794 ) 9.096 * [simplify]: Simplified to: (expm1 (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log1p (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (log (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (exp (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)))) (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (pow (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) 3) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (- (* 3.0 (/ x (* y 27.0)))) (- (* z 2.0)) (/ 3.0 z) (/ (/ x (* y 27.0)) 2.0) (/ 1 (* z 2.0)) (/ (* z 2.0) (* 3.0 (/ x (* y 27.0)))) (/ (* 3.0 (/ x (* y 27.0))) z) (* 2.0 (/ z (/ x (* y 27.0)))) (* (* z 2.0) (* y 27.0)) (expm1 (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log1p (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (log (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (exp (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (* (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (cbrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (pow (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) 3) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt (sqrt t))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (sqrt t)) (cbrt (sqrt t)))) (* (fabs (cbrt t)) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt (sqrt t))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (cbrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (sqrt (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0))) (sqrt t)) (* (/ (/ x (* y 27.0)) 2.0) (sqrt t)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (/ (sqrt t) (* z 2.0)) (* (* 3.0 (/ x (* y 27.0))) (sqrt t)) (expm1 (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (log1p (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (log (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (log (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (log (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (exp (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (pow (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0) 3) (pow (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0) 3) (* (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0))) (cbrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (pow (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0) 3) (sqrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (sqrt (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) 3.0)) (- (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (- 3.0) (/ 1.0 (* (cbrt 3.0) (cbrt 3.0))) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (cbrt 3.0)) (/ 1.0 (sqrt 3.0)) (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) (sqrt 3.0)) 1.0 (/ (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) 3.0) (/ 1 3.0) (/ 3.0 (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))))) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (* (cbrt 3.0) (cbrt 3.0))) (/ (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (sqrt 3.0)) (* 1.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (/ 3.0 (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)))) (expm1 (/ x (* y 27.0))) (log1p (/ x (* y 27.0))) (log (/ x (* y 27.0))) (log (/ x (* y 27.0))) (log (/ x (* y 27.0))) (exp (/ x (* y 27.0))) (pow (/ x (* y 27.0)) 3) (pow (/ x (* y 27.0)) 3) (* (cbrt (/ x (* y 27.0))) (cbrt (/ x (* y 27.0)))) (cbrt (/ x (* y 27.0))) (pow (/ x (* y 27.0)) 3) (sqrt (/ x (* y 27.0))) (sqrt (/ x (* y 27.0))) (- x) (- (* y 27.0)) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) 27.0) (/ (sqrt x) y) (/ (sqrt x) 27.0) (/ 1 y) (/ x 27.0) (/ 1 (* y 27.0)) (/ (* y 27.0) x) (/ x y) (/ (* y 27.0) (cbrt x)) (/ (* y 27.0) (sqrt x)) (/ (* y 27.0) x) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (* 0.05555555555555555 (/ x (* z y))) (- (* +nan.0 (- (/ (* t x) (* z y)) (/ (* (pow t 2) x) (* z y))))) (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y)))))) (- (* +nan.0 (- (/ x (* z y)) (/ x (* t (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.3333333333333333 (acos (* 0.05555555555555555 (* (sqrt t) (/ x (* z y)))))) (* 0.037037037037037035 (/ x y)) (* 0.037037037037037035 (/ x y)) (* 0.037037037037037035 (/ x y)) 9.097 * * * [progress]: adding candidates to table 9.420 * [progress]: [Phase 3 of 3] Extracting. 9.420 * * [regime]: Finding splitpoints for: (# #) 9.421 * * * [regime-changes]: Trying 12 branch expressions: ((sqrt t) (* z 2.0) (* y 27.0) (/ x (* y 27.0)) (* 3.0 (/ x (* y 27.0))) (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) t z y x) 9.421 * * * * [regimes]: Trying to branch on (sqrt t) from (# #) 9.448 * * * * [regimes]: Trying to branch on (* z 2.0) from (# #) 9.466 * * * * [regimes]: Trying to branch on (* y 27.0) from (# #) 9.488 * * * * [regimes]: Trying to branch on (/ x (* y 27.0)) from (# #) 9.507 * * * * [regimes]: Trying to branch on (* 3.0 (/ x (* y 27.0))) from (# #) 9.525 * * * * [regimes]: Trying to branch on (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) from (# #) 9.547 * * * * [regimes]: Trying to branch on (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t)) from (# #) 9.569 * * * * [regimes]: Trying to branch on (acos (* (/ (* 3.0 (/ x (* y 27.0))) (* z 2.0)) (sqrt t))) from (# #) 9.594 * * * * [regimes]: Trying to branch on t from (# #) 9.612 * * * * [regimes]: Trying to branch on z from (# #) 9.634 * * * * [regimes]: Trying to branch on y from (# #) 9.652 * * * * [regimes]: Trying to branch on x from (# #) 9.674 * * * [regime]: Found split indices: #