27.085 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (+ x (* (* (- y x) 6.0) z)) 0.022 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.023 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.024 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 0.028 * * [simplify]: iteration 3 : 56 enodes (cost 9 ) 0.035 * * [simplify]: iteration 4 : 91 enodes (cost 9 ) 0.051 * * [simplify]: iteration 5 : 117 enodes (cost 9 ) 0.075 * * [simplify]: iteration 6 : 134 enodes (cost 9 ) 0.103 * * [simplify]: iteration 7 : 151 enodes (cost 9 ) 0.319 * * [simplify]: iteration 8 : 202 enodes (cost 9 ) 0.363 * * [simplify]: iteration 9 : 304 enodes (cost 9 ) 0.470 * * [simplify]: iteration 10 : 543 enodes (cost 9 ) 0.755 * * [simplify]: iteration 11 : 919 enodes (cost 9 ) 1.626 * * [simplify]: iteration 12 : 1617 enodes (cost 9 ) 4.226 * * [simplify]: iteration 13 : 2016 enodes (cost 9 ) 7.886 * * [simplify]: iteration 14 : 2875 enodes (cost 9 ) 14.722 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 14.722 * [simplify]: Simplified to: (+ x (* (* (- y x) 6.0) z)) 14.722 * * [progress]: iteration 1 / 4 14.722 * * * [progress]: picking best candidate 14.724 * * * * [pick]: Picked # 14.724 * * * [progress]: localizing error 14.730 * * * [progress]: generating rewritten candidates 14.730 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 14.745 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 14.755 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 14.759 * * * [progress]: generating series expansions 14.759 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 14.759 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 14.759 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 14.759 * [taylor]: Taking taylor expansion of 6.0 in z 14.759 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 14.759 * [taylor]: Taking taylor expansion of (- y x) in z 14.759 * [taylor]: Taking taylor expansion of y in z 14.759 * [taylor]: Taking taylor expansion of x in z 14.759 * [taylor]: Taking taylor expansion of z in z 14.759 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 14.759 * [taylor]: Taking taylor expansion of 6.0 in x 14.759 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 14.759 * [taylor]: Taking taylor expansion of (- y x) in x 14.759 * [taylor]: Taking taylor expansion of y in x 14.759 * [taylor]: Taking taylor expansion of x in x 14.759 * [taylor]: Taking taylor expansion of z in x 14.759 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 14.759 * [taylor]: Taking taylor expansion of 6.0 in y 14.759 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 14.759 * [taylor]: Taking taylor expansion of (- y x) in y 14.759 * [taylor]: Taking taylor expansion of y in y 14.759 * [taylor]: Taking taylor expansion of x in y 14.759 * [taylor]: Taking taylor expansion of z in y 14.759 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 14.759 * [taylor]: Taking taylor expansion of 6.0 in y 14.759 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 14.759 * [taylor]: Taking taylor expansion of (- y x) in y 14.759 * [taylor]: Taking taylor expansion of y in y 14.759 * [taylor]: Taking taylor expansion of x in y 14.759 * [taylor]: Taking taylor expansion of z in y 14.759 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 14.759 * [taylor]: Taking taylor expansion of -6.0 in x 14.759 * [taylor]: Taking taylor expansion of (* x z) in x 14.759 * [taylor]: Taking taylor expansion of x in x 14.760 * [taylor]: Taking taylor expansion of z in x 14.760 * [taylor]: Taking taylor expansion of 0 in z 14.761 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 14.761 * [taylor]: Taking taylor expansion of 6.0 in x 14.761 * [taylor]: Taking taylor expansion of z in x 14.761 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 14.761 * [taylor]: Taking taylor expansion of 6.0 in z 14.761 * [taylor]: Taking taylor expansion of z in z 14.762 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 14.762 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 14.762 * [taylor]: Taking taylor expansion of 6.0 in z 14.762 * [taylor]: Taking taylor expansion of z in z 14.763 * [taylor]: Taking taylor expansion of 0 in x 14.763 * [taylor]: Taking taylor expansion of 0 in z 14.764 * [taylor]: Taking taylor expansion of 0 in z 14.764 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 14.764 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 14.764 * [taylor]: Taking taylor expansion of 6.0 in z 14.764 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 14.764 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 14.764 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.764 * [taylor]: Taking taylor expansion of y in z 14.764 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.764 * [taylor]: Taking taylor expansion of x in z 14.764 * [taylor]: Taking taylor expansion of z in z 14.764 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 14.764 * [taylor]: Taking taylor expansion of 6.0 in x 14.764 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 14.764 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 14.764 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.764 * [taylor]: Taking taylor expansion of y in x 14.764 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.764 * [taylor]: Taking taylor expansion of x in x 14.765 * [taylor]: Taking taylor expansion of z in x 14.765 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 14.765 * [taylor]: Taking taylor expansion of 6.0 in y 14.765 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 14.765 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 14.765 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.765 * [taylor]: Taking taylor expansion of y in y 14.765 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.765 * [taylor]: Taking taylor expansion of x in y 14.765 * [taylor]: Taking taylor expansion of z in y 14.766 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 14.766 * [taylor]: Taking taylor expansion of 6.0 in y 14.766 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 14.766 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 14.766 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.766 * [taylor]: Taking taylor expansion of y in y 14.766 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.766 * [taylor]: Taking taylor expansion of x in y 14.766 * [taylor]: Taking taylor expansion of z in y 14.767 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 14.767 * [taylor]: Taking taylor expansion of 6.0 in x 14.767 * [taylor]: Taking taylor expansion of z in x 14.767 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 14.767 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 14.767 * [taylor]: Taking taylor expansion of 6.0 in x 14.767 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.767 * [taylor]: Taking taylor expansion of (* x z) in x 14.767 * [taylor]: Taking taylor expansion of x in x 14.767 * [taylor]: Taking taylor expansion of z in x 14.768 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 14.768 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 14.768 * [taylor]: Taking taylor expansion of 6.0 in z 14.768 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.768 * [taylor]: Taking taylor expansion of z in z 14.769 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 14.769 * [taylor]: Taking taylor expansion of 6.0 in z 14.769 * [taylor]: Taking taylor expansion of z in z 14.771 * [taylor]: Taking taylor expansion of 0 in x 14.772 * [taylor]: Taking taylor expansion of 0 in z 14.772 * [taylor]: Taking taylor expansion of 0 in z 14.775 * [taylor]: Taking taylor expansion of 0 in x 14.775 * [taylor]: Taking taylor expansion of 0 in z 14.777 * [taylor]: Taking taylor expansion of 0 in z 14.777 * [taylor]: Taking taylor expansion of 0 in z 14.779 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 14.779 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 14.779 * [taylor]: Taking taylor expansion of -6.0 in z 14.779 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 14.780 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 14.780 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.780 * [taylor]: Taking taylor expansion of x in z 14.780 * [taylor]: Taking taylor expansion of (/ 1 y) in z 14.780 * [taylor]: Taking taylor expansion of y in z 14.780 * [taylor]: Taking taylor expansion of z in z 14.780 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 14.780 * [taylor]: Taking taylor expansion of -6.0 in x 14.780 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 14.780 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 14.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.780 * [taylor]: Taking taylor expansion of x in x 14.780 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.780 * [taylor]: Taking taylor expansion of y in x 14.780 * [taylor]: Taking taylor expansion of z in x 14.780 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 14.781 * [taylor]: Taking taylor expansion of -6.0 in y 14.781 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 14.781 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 14.781 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.781 * [taylor]: Taking taylor expansion of x in y 14.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.781 * [taylor]: Taking taylor expansion of y in y 14.781 * [taylor]: Taking taylor expansion of z in y 14.781 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 14.781 * [taylor]: Taking taylor expansion of -6.0 in y 14.781 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 14.781 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 14.781 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.782 * [taylor]: Taking taylor expansion of x in y 14.782 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.782 * [taylor]: Taking taylor expansion of y in y 14.782 * [taylor]: Taking taylor expansion of z in y 14.782 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 14.782 * [taylor]: Taking taylor expansion of 6.0 in x 14.782 * [taylor]: Taking taylor expansion of z in x 14.783 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 14.783 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 14.783 * [taylor]: Taking taylor expansion of 6.0 in x 14.783 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.783 * [taylor]: Taking taylor expansion of (* x z) in x 14.783 * [taylor]: Taking taylor expansion of x in x 14.783 * [taylor]: Taking taylor expansion of z in x 14.784 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 14.784 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 14.784 * [taylor]: Taking taylor expansion of 6.0 in z 14.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.784 * [taylor]: Taking taylor expansion of z in z 14.785 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 14.785 * [taylor]: Taking taylor expansion of 6.0 in z 14.785 * [taylor]: Taking taylor expansion of z in z 14.787 * [taylor]: Taking taylor expansion of 0 in x 14.788 * [taylor]: Taking taylor expansion of 0 in z 14.788 * [taylor]: Taking taylor expansion of 0 in z 14.791 * [taylor]: Taking taylor expansion of 0 in x 14.791 * [taylor]: Taking taylor expansion of 0 in z 14.796 * [taylor]: Taking taylor expansion of 0 in z 14.796 * [taylor]: Taking taylor expansion of 0 in z 14.799 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 14.799 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0 14.799 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x 14.799 * [taylor]: Taking taylor expansion of 6.0 in x 14.799 * [taylor]: Taking taylor expansion of (- y x) in x 14.799 * [taylor]: Taking taylor expansion of y in x 14.799 * [taylor]: Taking taylor expansion of x in x 14.799 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 14.799 * [taylor]: Taking taylor expansion of 6.0 in y 14.799 * [taylor]: Taking taylor expansion of (- y x) in y 14.799 * [taylor]: Taking taylor expansion of y in y 14.799 * [taylor]: Taking taylor expansion of x in y 14.799 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 14.799 * [taylor]: Taking taylor expansion of 6.0 in y 14.799 * [taylor]: Taking taylor expansion of (- y x) in y 14.799 * [taylor]: Taking taylor expansion of y in y 14.799 * [taylor]: Taking taylor expansion of x in y 14.799 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 14.799 * [taylor]: Taking taylor expansion of -6.0 in x 14.799 * [taylor]: Taking taylor expansion of x in x 14.800 * [taylor]: Taking taylor expansion of 6.0 in x 14.803 * [taylor]: Taking taylor expansion of 0 in x 14.805 * [taylor]: Taking taylor expansion of 0 in x 14.805 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0 14.805 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x 14.805 * [taylor]: Taking taylor expansion of 6.0 in x 14.805 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 14.805 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.805 * [taylor]: Taking taylor expansion of y in x 14.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.805 * [taylor]: Taking taylor expansion of x in x 14.805 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 14.805 * [taylor]: Taking taylor expansion of 6.0 in y 14.805 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 14.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.806 * [taylor]: Taking taylor expansion of y in y 14.806 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.806 * [taylor]: Taking taylor expansion of x in y 14.806 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 14.806 * [taylor]: Taking taylor expansion of 6.0 in y 14.806 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 14.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.806 * [taylor]: Taking taylor expansion of y in y 14.806 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.806 * [taylor]: Taking taylor expansion of x in y 14.807 * [taylor]: Taking taylor expansion of 6.0 in x 14.808 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 14.808 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 14.808 * [taylor]: Taking taylor expansion of 6.0 in x 14.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.808 * [taylor]: Taking taylor expansion of x in x 14.810 * [taylor]: Taking taylor expansion of 0 in x 14.813 * [taylor]: Taking taylor expansion of 0 in x 14.816 * [taylor]: Taking taylor expansion of 0 in x 14.817 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0 14.817 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 14.817 * [taylor]: Taking taylor expansion of 6.0 in x 14.817 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 14.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.817 * [taylor]: Taking taylor expansion of x in x 14.817 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.817 * [taylor]: Taking taylor expansion of y in x 14.817 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 14.817 * [taylor]: Taking taylor expansion of 6.0 in y 14.817 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 14.817 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.817 * [taylor]: Taking taylor expansion of x in y 14.817 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.817 * [taylor]: Taking taylor expansion of y in y 14.818 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 14.818 * [taylor]: Taking taylor expansion of 6.0 in y 14.818 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 14.818 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.818 * [taylor]: Taking taylor expansion of x in y 14.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.818 * [taylor]: Taking taylor expansion of y in y 14.819 * [taylor]: Taking taylor expansion of -6.0 in x 14.820 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 14.820 * [taylor]: Taking taylor expansion of 6.0 in x 14.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.820 * [taylor]: Taking taylor expansion of x in x 14.822 * [taylor]: Taking taylor expansion of 0 in x 14.824 * [taylor]: Taking taylor expansion of 0 in x 14.828 * [taylor]: Taking taylor expansion of 0 in x 14.828 * * * * [progress]: [ 3 / 3 ] generating series at (2) 14.828 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 14.828 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 14.828 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 14.828 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 14.828 * [taylor]: Taking taylor expansion of 6.0 in z 14.828 * [taylor]: Taking taylor expansion of (* z y) in z 14.828 * [taylor]: Taking taylor expansion of z in z 14.828 * [taylor]: Taking taylor expansion of y in z 14.828 * [taylor]: Taking taylor expansion of x in z 14.828 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 14.828 * [taylor]: Taking taylor expansion of 6.0 in z 14.828 * [taylor]: Taking taylor expansion of (* x z) in z 14.828 * [taylor]: Taking taylor expansion of x in z 14.828 * [taylor]: Taking taylor expansion of z in z 14.828 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 14.828 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 14.828 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 14.828 * [taylor]: Taking taylor expansion of 6.0 in y 14.828 * [taylor]: Taking taylor expansion of (* z y) in y 14.828 * [taylor]: Taking taylor expansion of z in y 14.828 * [taylor]: Taking taylor expansion of y in y 14.828 * [taylor]: Taking taylor expansion of x in y 14.828 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 14.828 * [taylor]: Taking taylor expansion of 6.0 in y 14.828 * [taylor]: Taking taylor expansion of (* x z) in y 14.828 * [taylor]: Taking taylor expansion of x in y 14.828 * [taylor]: Taking taylor expansion of z in y 14.828 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 14.828 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 14.828 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 14.828 * [taylor]: Taking taylor expansion of 6.0 in x 14.828 * [taylor]: Taking taylor expansion of (* z y) in x 14.828 * [taylor]: Taking taylor expansion of z in x 14.828 * [taylor]: Taking taylor expansion of y in x 14.828 * [taylor]: Taking taylor expansion of x in x 14.829 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 14.829 * [taylor]: Taking taylor expansion of 6.0 in x 14.829 * [taylor]: Taking taylor expansion of (* x z) in x 14.829 * [taylor]: Taking taylor expansion of x in x 14.829 * [taylor]: Taking taylor expansion of z in x 14.829 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 14.829 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 14.829 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 14.829 * [taylor]: Taking taylor expansion of 6.0 in x 14.829 * [taylor]: Taking taylor expansion of (* z y) in x 14.829 * [taylor]: Taking taylor expansion of z in x 14.829 * [taylor]: Taking taylor expansion of y in x 14.829 * [taylor]: Taking taylor expansion of x in x 14.829 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 14.829 * [taylor]: Taking taylor expansion of 6.0 in x 14.829 * [taylor]: Taking taylor expansion of (* x z) in x 14.829 * [taylor]: Taking taylor expansion of x in x 14.829 * [taylor]: Taking taylor expansion of z in x 14.830 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 14.830 * [taylor]: Taking taylor expansion of 6.0 in y 14.830 * [taylor]: Taking taylor expansion of (* z y) in y 14.830 * [taylor]: Taking taylor expansion of z in y 14.830 * [taylor]: Taking taylor expansion of y in y 14.830 * [taylor]: Taking taylor expansion of 0 in z 14.831 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 14.831 * [taylor]: Taking taylor expansion of 1 in y 14.831 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 14.831 * [taylor]: Taking taylor expansion of 6.0 in y 14.831 * [taylor]: Taking taylor expansion of z in y 14.831 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 14.831 * [taylor]: Taking taylor expansion of 1 in z 14.831 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 14.831 * [taylor]: Taking taylor expansion of 6.0 in z 14.831 * [taylor]: Taking taylor expansion of z in z 14.833 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 14.833 * [taylor]: Taking taylor expansion of 6.0 in z 14.833 * [taylor]: Taking taylor expansion of z in z 14.835 * [taylor]: Taking taylor expansion of 0 in y 14.835 * [taylor]: Taking taylor expansion of 0 in z 14.836 * [taylor]: Taking taylor expansion of 0 in z 14.837 * [taylor]: Taking taylor expansion of 0 in z 14.840 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 14.840 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 14.840 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 14.840 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 14.840 * [taylor]: Taking taylor expansion of 6.0 in z 14.840 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 14.840 * [taylor]: Taking taylor expansion of (* z y) in z 14.840 * [taylor]: Taking taylor expansion of z in z 14.840 * [taylor]: Taking taylor expansion of y in z 14.841 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.841 * [taylor]: Taking taylor expansion of x in z 14.841 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 14.841 * [taylor]: Taking taylor expansion of 6.0 in z 14.841 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 14.841 * [taylor]: Taking taylor expansion of (* x z) in z 14.841 * [taylor]: Taking taylor expansion of x in z 14.841 * [taylor]: Taking taylor expansion of z in z 14.841 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 14.841 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 14.841 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 14.841 * [taylor]: Taking taylor expansion of 6.0 in y 14.841 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 14.841 * [taylor]: Taking taylor expansion of (* z y) in y 14.841 * [taylor]: Taking taylor expansion of z in y 14.841 * [taylor]: Taking taylor expansion of y in y 14.842 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.842 * [taylor]: Taking taylor expansion of x in y 14.842 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 14.842 * [taylor]: Taking taylor expansion of 6.0 in y 14.842 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 14.842 * [taylor]: Taking taylor expansion of (* x z) in y 14.842 * [taylor]: Taking taylor expansion of x in y 14.842 * [taylor]: Taking taylor expansion of z in y 14.842 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 14.842 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 14.842 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 14.842 * [taylor]: Taking taylor expansion of 6.0 in x 14.842 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 14.842 * [taylor]: Taking taylor expansion of (* z y) in x 14.842 * [taylor]: Taking taylor expansion of z in x 14.842 * [taylor]: Taking taylor expansion of y in x 14.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.842 * [taylor]: Taking taylor expansion of x in x 14.842 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 14.843 * [taylor]: Taking taylor expansion of 6.0 in x 14.843 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.843 * [taylor]: Taking taylor expansion of (* x z) in x 14.843 * [taylor]: Taking taylor expansion of x in x 14.843 * [taylor]: Taking taylor expansion of z in x 14.843 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 14.843 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 14.843 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 14.843 * [taylor]: Taking taylor expansion of 6.0 in x 14.843 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 14.843 * [taylor]: Taking taylor expansion of (* z y) in x 14.843 * [taylor]: Taking taylor expansion of z in x 14.843 * [taylor]: Taking taylor expansion of y in x 14.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.843 * [taylor]: Taking taylor expansion of x in x 14.843 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 14.843 * [taylor]: Taking taylor expansion of 6.0 in x 14.843 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.843 * [taylor]: Taking taylor expansion of (* x z) in x 14.843 * [taylor]: Taking taylor expansion of x in x 14.843 * [taylor]: Taking taylor expansion of z in x 14.844 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 14.844 * [taylor]: Taking taylor expansion of 1 in y 14.844 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 14.844 * [taylor]: Taking taylor expansion of 6.0 in y 14.844 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.844 * [taylor]: Taking taylor expansion of z in y 14.846 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 14.846 * [taylor]: Taking taylor expansion of 6.0 in y 14.846 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 14.846 * [taylor]: Taking taylor expansion of (* z y) in y 14.846 * [taylor]: Taking taylor expansion of z in y 14.846 * [taylor]: Taking taylor expansion of y in y 14.847 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 14.847 * [taylor]: Taking taylor expansion of 6.0 in z 14.847 * [taylor]: Taking taylor expansion of z in z 14.847 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 14.847 * [taylor]: Taking taylor expansion of 1 in z 14.847 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 14.847 * [taylor]: Taking taylor expansion of 6.0 in z 14.847 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.847 * [taylor]: Taking taylor expansion of z in z 14.852 * [taylor]: Taking taylor expansion of 0 in y 14.853 * [taylor]: Taking taylor expansion of 0 in z 14.853 * [taylor]: Taking taylor expansion of 0 in z 14.856 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 14.856 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 14.856 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 14.856 * [taylor]: Taking taylor expansion of 6.0 in z 14.856 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 14.856 * [taylor]: Taking taylor expansion of (* z y) in z 14.856 * [taylor]: Taking taylor expansion of z in z 14.856 * [taylor]: Taking taylor expansion of y in z 14.856 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 14.856 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 14.856 * [taylor]: Taking taylor expansion of 6.0 in z 14.856 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 14.856 * [taylor]: Taking taylor expansion of (* x z) in z 14.856 * [taylor]: Taking taylor expansion of x in z 14.856 * [taylor]: Taking taylor expansion of z in z 14.857 * [taylor]: Taking taylor expansion of (/ 1 x) in z 14.857 * [taylor]: Taking taylor expansion of x in z 14.857 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 14.857 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 14.857 * [taylor]: Taking taylor expansion of 6.0 in y 14.857 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 14.857 * [taylor]: Taking taylor expansion of (* z y) in y 14.857 * [taylor]: Taking taylor expansion of z in y 14.857 * [taylor]: Taking taylor expansion of y in y 14.857 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 14.857 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 14.857 * [taylor]: Taking taylor expansion of 6.0 in y 14.857 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 14.857 * [taylor]: Taking taylor expansion of (* x z) in y 14.857 * [taylor]: Taking taylor expansion of x in y 14.857 * [taylor]: Taking taylor expansion of z in y 14.857 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.857 * [taylor]: Taking taylor expansion of x in y 14.857 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 14.857 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 14.858 * [taylor]: Taking taylor expansion of 6.0 in x 14.858 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 14.858 * [taylor]: Taking taylor expansion of (* z y) in x 14.858 * [taylor]: Taking taylor expansion of z in x 14.858 * [taylor]: Taking taylor expansion of y in x 14.858 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 14.858 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 14.858 * [taylor]: Taking taylor expansion of 6.0 in x 14.858 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.858 * [taylor]: Taking taylor expansion of (* x z) in x 14.858 * [taylor]: Taking taylor expansion of x in x 14.858 * [taylor]: Taking taylor expansion of z in x 14.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.858 * [taylor]: Taking taylor expansion of x in x 14.858 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 14.858 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 14.858 * [taylor]: Taking taylor expansion of 6.0 in x 14.858 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 14.858 * [taylor]: Taking taylor expansion of (* z y) in x 14.858 * [taylor]: Taking taylor expansion of z in x 14.858 * [taylor]: Taking taylor expansion of y in x 14.859 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 14.859 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 14.859 * [taylor]: Taking taylor expansion of 6.0 in x 14.859 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 14.859 * [taylor]: Taking taylor expansion of (* x z) in x 14.859 * [taylor]: Taking taylor expansion of x in x 14.859 * [taylor]: Taking taylor expansion of z in x 14.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.859 * [taylor]: Taking taylor expansion of x in x 14.859 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y 14.859 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 14.860 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 14.860 * [taylor]: Taking taylor expansion of 6.0 in y 14.860 * [taylor]: Taking taylor expansion of (/ 1 z) in y 14.860 * [taylor]: Taking taylor expansion of z in y 14.860 * [taylor]: Taking taylor expansion of 1 in y 14.861 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 14.861 * [taylor]: Taking taylor expansion of 6.0 in y 14.861 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 14.861 * [taylor]: Taking taylor expansion of (* z y) in y 14.861 * [taylor]: Taking taylor expansion of z in y 14.862 * [taylor]: Taking taylor expansion of y in y 14.862 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 14.862 * [taylor]: Taking taylor expansion of 6.0 in z 14.862 * [taylor]: Taking taylor expansion of z in z 14.862 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 14.862 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 14.862 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 14.862 * [taylor]: Taking taylor expansion of 6.0 in z 14.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z 14.862 * [taylor]: Taking taylor expansion of z in z 14.863 * [taylor]: Taking taylor expansion of 1 in z 14.867 * [taylor]: Taking taylor expansion of 0 in y 14.868 * [taylor]: Taking taylor expansion of 0 in z 14.868 * [taylor]: Taking taylor expansion of 0 in z 14.871 * * * [progress]: simplifying candidates 14.871 * [simplify]: Simplifying using # : (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (+ (+ (log (- y x)) (log 6.0)) (log z)) (+ (log (* (- y x) 6.0)) (log z)) (log (* (* (- y x) 6.0) z)) (exp (* (* (- y x) 6.0) z)) (* (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (* z z) z)) (* (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (* (* z z) z)) (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z))) (cbrt (* (* (- y x) 6.0) z)) (* (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) (* (cbrt z) (cbrt z))) (* (* (- y x) 6.0) (sqrt z)) (* (* (- y x) 6.0) 1) (* 6.0 z) (* (* (- (pow y 3) (pow x 3)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- y x) 6.0) (+ (log (- y x)) (log 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (* (* (* (- y x) (- y x)) (- y x)) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (* (* (* (- y x) 6.0) (* (- y x) 6.0)) (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (* (- y x) 1) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (* (exp x) (exp (* (* (- y x) 6.0) z))) (log (+ x (* (* (- y x) 6.0) z))) (exp (+ x (* (* (- y x) 6.0) z))) (* (cbrt (+ x (* (* (- y x) 6.0) z))) (cbrt (+ x (* (* (- y x) 6.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) z))) (* (* (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z))) (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3)) (+ (* x x) (- (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z)) (* x (* (* (- y x) 6.0) z)))) (- (* x x) (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z))) (- x (* (* (- y x) 6.0) z)) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 14.874 * * [simplify]: iteration 0 : 98 enodes (cost 644 ) 14.892 * * [simplify]: iteration 1 : 252 enodes (cost 603 ) 14.945 * * [simplify]: iteration 2 : 984 enodes (cost 521 ) 15.356 * * [simplify]: iteration 3 : 4873 enodes (cost 521 ) 17.714 * * [simplify]: iteration done : 5000 enodes (cost 521 ) 17.714 * [simplify]: Simplified to: (* z (* (- y x) 6.0)) (* z (* (- y x) 6.0)) (log (* (* (- y x) 6.0) z)) (log (* (* (- y x) 6.0) z)) (log (* (* (- y x) 6.0) z)) (exp (* (* (- y x) 6.0) z)) (pow (* (* (- y x) 6.0) z) 3) (pow (* (* (- y x) 6.0) z) 3) (* (cbrt (* (* (- y x) 6.0) z)) (cbrt (* (* (- y x) 6.0) z))) (cbrt (* (* (- y x) 6.0) z)) (pow (* (* (- y x) 6.0) z) 3) (sqrt (* (* (- y x) 6.0) z)) (sqrt (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) (* (cbrt z) (cbrt z))) (* (* (- y x) 6.0) (sqrt z)) (* (- y x) 6.0) (* 6.0 z) (* (* (- (pow y 3) (pow x 3)) 6.0) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- y x) 6.0) (log (* (- y x) 6.0)) (log (* (- y x) 6.0)) (exp (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (* (cbrt (* (- y x) 6.0)) (cbrt (* (- y x) 6.0))) (cbrt (* (- y x) 6.0)) (pow (* (- y x) 6.0) 3) (sqrt (* (- y x) 6.0)) (sqrt (* (- y x) 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (sqrt (- y x)) (sqrt 6.0)) (* (- y x) (* (cbrt 6.0) (cbrt 6.0))) (* (- y x) (sqrt 6.0)) (- y x) (* (cbrt (- y x)) 6.0) (* (sqrt (- y x)) 6.0) (* (- y x) 6.0) (* (- (sqrt y) (sqrt x)) 6.0) (* (- y x) 6.0) (* (- (pow y 3) (pow x 3)) 6.0) (* (- (* y y) (* x x)) 6.0) (exp (+ x (* (* (- y x) 6.0) z))) (log (+ x (* (* (- y x) 6.0) z))) (exp (+ x (* (* (- y x) 6.0) z))) (* (cbrt (+ x (* (* (- y x) 6.0) z))) (cbrt (+ x (* (* (- y x) 6.0) z)))) (cbrt (+ x (* (* (- y x) 6.0) z))) (pow (+ x (* (* (- y x) 6.0) z)) 3) (sqrt (+ x (* (* (- y x) 6.0) z))) (sqrt (+ x (* (* (- y x) 6.0) z))) (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3)) (+ (* x x) (* (* (* (- y x) 6.0) z) (- (* (* (- y x) 6.0) z) x))) (- (* x x) (* (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z))) (- x (* (* (- y x) 6.0) z)) 0 (* z (* (- y x) 6.0)) (* z (* (- y x) 6.0)) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z)) (+ x (* (* (- y x) 6.0) z)) 17.714 * * * [progress]: adding candidates to table 17.818 * * [progress]: iteration 2 / 4 17.818 * * * [progress]: picking best candidate 17.829 * * * * [pick]: Picked # 17.829 * * * [progress]: localizing error 17.835 * * * [progress]: generating rewritten candidates 17.835 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 17.848 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 17.851 * * * [progress]: generating series expansions 17.851 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 17.852 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 17.852 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 17.852 * [taylor]: Taking taylor expansion of 6.0 in z 17.852 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 17.852 * [taylor]: Taking taylor expansion of (- y x) in z 17.852 * [taylor]: Taking taylor expansion of y in z 17.852 * [taylor]: Taking taylor expansion of x in z 17.852 * [taylor]: Taking taylor expansion of z in z 17.852 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 17.852 * [taylor]: Taking taylor expansion of 6.0 in x 17.852 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 17.852 * [taylor]: Taking taylor expansion of (- y x) in x 17.852 * [taylor]: Taking taylor expansion of y in x 17.852 * [taylor]: Taking taylor expansion of x in x 17.852 * [taylor]: Taking taylor expansion of z in x 17.852 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 17.852 * [taylor]: Taking taylor expansion of 6.0 in y 17.852 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 17.852 * [taylor]: Taking taylor expansion of (- y x) in y 17.852 * [taylor]: Taking taylor expansion of y in y 17.852 * [taylor]: Taking taylor expansion of x in y 17.852 * [taylor]: Taking taylor expansion of z in y 17.852 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 17.852 * [taylor]: Taking taylor expansion of 6.0 in y 17.852 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 17.852 * [taylor]: Taking taylor expansion of (- y x) in y 17.852 * [taylor]: Taking taylor expansion of y in y 17.852 * [taylor]: Taking taylor expansion of x in y 17.852 * [taylor]: Taking taylor expansion of z in y 17.852 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 17.852 * [taylor]: Taking taylor expansion of -6.0 in x 17.852 * [taylor]: Taking taylor expansion of (* x z) in x 17.852 * [taylor]: Taking taylor expansion of x in x 17.852 * [taylor]: Taking taylor expansion of z in x 17.853 * [taylor]: Taking taylor expansion of 0 in z 17.853 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 17.853 * [taylor]: Taking taylor expansion of 6.0 in x 17.854 * [taylor]: Taking taylor expansion of z in x 17.854 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 17.854 * [taylor]: Taking taylor expansion of 6.0 in z 17.854 * [taylor]: Taking taylor expansion of z in z 17.854 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 17.854 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 17.854 * [taylor]: Taking taylor expansion of 6.0 in z 17.854 * [taylor]: Taking taylor expansion of z in z 17.856 * [taylor]: Taking taylor expansion of 0 in x 17.856 * [taylor]: Taking taylor expansion of 0 in z 17.856 * [taylor]: Taking taylor expansion of 0 in z 17.856 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 17.857 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 17.857 * [taylor]: Taking taylor expansion of 6.0 in z 17.857 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 17.857 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 17.857 * [taylor]: Taking taylor expansion of (/ 1 y) in z 17.857 * [taylor]: Taking taylor expansion of y in z 17.857 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.857 * [taylor]: Taking taylor expansion of x in z 17.857 * [taylor]: Taking taylor expansion of z in z 17.857 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 17.857 * [taylor]: Taking taylor expansion of 6.0 in x 17.857 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 17.857 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 17.857 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.857 * [taylor]: Taking taylor expansion of y in x 17.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.857 * [taylor]: Taking taylor expansion of x in x 17.857 * [taylor]: Taking taylor expansion of z in x 17.858 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 17.858 * [taylor]: Taking taylor expansion of 6.0 in y 17.858 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 17.858 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 17.858 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.858 * [taylor]: Taking taylor expansion of y in y 17.858 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.858 * [taylor]: Taking taylor expansion of x in y 17.858 * [taylor]: Taking taylor expansion of z in y 17.858 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 17.859 * [taylor]: Taking taylor expansion of 6.0 in y 17.859 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 17.859 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 17.859 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.859 * [taylor]: Taking taylor expansion of y in y 17.859 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.859 * [taylor]: Taking taylor expansion of x in y 17.859 * [taylor]: Taking taylor expansion of z in y 17.859 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 17.859 * [taylor]: Taking taylor expansion of 6.0 in x 17.859 * [taylor]: Taking taylor expansion of z in x 17.860 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 17.860 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 17.860 * [taylor]: Taking taylor expansion of 6.0 in x 17.860 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 17.860 * [taylor]: Taking taylor expansion of (* x z) in x 17.860 * [taylor]: Taking taylor expansion of x in x 17.860 * [taylor]: Taking taylor expansion of z in x 17.861 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 17.861 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 17.861 * [taylor]: Taking taylor expansion of 6.0 in z 17.861 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.861 * [taylor]: Taking taylor expansion of z in z 17.862 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 17.862 * [taylor]: Taking taylor expansion of 6.0 in z 17.862 * [taylor]: Taking taylor expansion of z in z 17.864 * [taylor]: Taking taylor expansion of 0 in x 17.865 * [taylor]: Taking taylor expansion of 0 in z 17.865 * [taylor]: Taking taylor expansion of 0 in z 17.868 * [taylor]: Taking taylor expansion of 0 in x 17.868 * [taylor]: Taking taylor expansion of 0 in z 17.870 * [taylor]: Taking taylor expansion of 0 in z 17.870 * [taylor]: Taking taylor expansion of 0 in z 17.873 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 17.873 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 17.873 * [taylor]: Taking taylor expansion of -6.0 in z 17.873 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 17.873 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 17.873 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.873 * [taylor]: Taking taylor expansion of x in z 17.873 * [taylor]: Taking taylor expansion of (/ 1 y) in z 17.873 * [taylor]: Taking taylor expansion of y in z 17.873 * [taylor]: Taking taylor expansion of z in z 17.873 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 17.873 * [taylor]: Taking taylor expansion of -6.0 in x 17.873 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 17.873 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 17.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.873 * [taylor]: Taking taylor expansion of x in x 17.873 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.874 * [taylor]: Taking taylor expansion of y in x 17.874 * [taylor]: Taking taylor expansion of z in x 17.874 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 17.874 * [taylor]: Taking taylor expansion of -6.0 in y 17.874 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 17.874 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 17.874 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.874 * [taylor]: Taking taylor expansion of x in y 17.874 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.874 * [taylor]: Taking taylor expansion of y in y 17.874 * [taylor]: Taking taylor expansion of z in y 17.875 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 17.875 * [taylor]: Taking taylor expansion of -6.0 in y 17.875 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 17.875 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 17.875 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.875 * [taylor]: Taking taylor expansion of x in y 17.875 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.875 * [taylor]: Taking taylor expansion of y in y 17.875 * [taylor]: Taking taylor expansion of z in y 17.876 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 17.876 * [taylor]: Taking taylor expansion of 6.0 in x 17.876 * [taylor]: Taking taylor expansion of z in x 17.877 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 17.877 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 17.877 * [taylor]: Taking taylor expansion of 6.0 in x 17.877 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 17.877 * [taylor]: Taking taylor expansion of (* x z) in x 17.877 * [taylor]: Taking taylor expansion of x in x 17.877 * [taylor]: Taking taylor expansion of z in x 17.877 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 17.877 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 17.877 * [taylor]: Taking taylor expansion of 6.0 in z 17.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.877 * [taylor]: Taking taylor expansion of z in z 17.878 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 17.878 * [taylor]: Taking taylor expansion of 6.0 in z 17.878 * [taylor]: Taking taylor expansion of z in z 17.880 * [taylor]: Taking taylor expansion of 0 in x 17.881 * [taylor]: Taking taylor expansion of 0 in z 17.881 * [taylor]: Taking taylor expansion of 0 in z 17.884 * [taylor]: Taking taylor expansion of 0 in x 17.885 * [taylor]: Taking taylor expansion of 0 in z 17.886 * [taylor]: Taking taylor expansion of 0 in z 17.886 * [taylor]: Taking taylor expansion of 0 in z 17.891 * * * * [progress]: [ 2 / 2 ] generating series at (2) 17.891 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 17.891 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 17.891 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 17.891 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 17.891 * [taylor]: Taking taylor expansion of 6.0 in z 17.891 * [taylor]: Taking taylor expansion of (* z y) in z 17.891 * [taylor]: Taking taylor expansion of z in z 17.891 * [taylor]: Taking taylor expansion of y in z 17.891 * [taylor]: Taking taylor expansion of x in z 17.891 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 17.891 * [taylor]: Taking taylor expansion of 6.0 in z 17.891 * [taylor]: Taking taylor expansion of (* x z) in z 17.891 * [taylor]: Taking taylor expansion of x in z 17.891 * [taylor]: Taking taylor expansion of z in z 17.891 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 17.891 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 17.891 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 17.891 * [taylor]: Taking taylor expansion of 6.0 in y 17.892 * [taylor]: Taking taylor expansion of (* z y) in y 17.892 * [taylor]: Taking taylor expansion of z in y 17.892 * [taylor]: Taking taylor expansion of y in y 17.892 * [taylor]: Taking taylor expansion of x in y 17.892 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 17.892 * [taylor]: Taking taylor expansion of 6.0 in y 17.892 * [taylor]: Taking taylor expansion of (* x z) in y 17.892 * [taylor]: Taking taylor expansion of x in y 17.892 * [taylor]: Taking taylor expansion of z in y 17.892 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 17.892 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 17.892 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 17.892 * [taylor]: Taking taylor expansion of 6.0 in x 17.892 * [taylor]: Taking taylor expansion of (* z y) in x 17.892 * [taylor]: Taking taylor expansion of z in x 17.892 * [taylor]: Taking taylor expansion of y in x 17.892 * [taylor]: Taking taylor expansion of x in x 17.892 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 17.892 * [taylor]: Taking taylor expansion of 6.0 in x 17.892 * [taylor]: Taking taylor expansion of (* x z) in x 17.892 * [taylor]: Taking taylor expansion of x in x 17.892 * [taylor]: Taking taylor expansion of z in x 17.892 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 17.892 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 17.892 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 17.892 * [taylor]: Taking taylor expansion of 6.0 in x 17.892 * [taylor]: Taking taylor expansion of (* z y) in x 17.892 * [taylor]: Taking taylor expansion of z in x 17.892 * [taylor]: Taking taylor expansion of y in x 17.892 * [taylor]: Taking taylor expansion of x in x 17.892 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 17.892 * [taylor]: Taking taylor expansion of 6.0 in x 17.892 * [taylor]: Taking taylor expansion of (* x z) in x 17.892 * [taylor]: Taking taylor expansion of x in x 17.892 * [taylor]: Taking taylor expansion of z in x 17.893 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 17.893 * [taylor]: Taking taylor expansion of 6.0 in y 17.893 * [taylor]: Taking taylor expansion of (* z y) in y 17.893 * [taylor]: Taking taylor expansion of z in y 17.893 * [taylor]: Taking taylor expansion of y in y 17.893 * [taylor]: Taking taylor expansion of 0 in z 17.894 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 17.894 * [taylor]: Taking taylor expansion of 1 in y 17.894 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 17.894 * [taylor]: Taking taylor expansion of 6.0 in y 17.894 * [taylor]: Taking taylor expansion of z in y 17.894 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 17.895 * [taylor]: Taking taylor expansion of 1 in z 17.895 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 17.895 * [taylor]: Taking taylor expansion of 6.0 in z 17.895 * [taylor]: Taking taylor expansion of z in z 17.896 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 17.896 * [taylor]: Taking taylor expansion of 6.0 in z 17.896 * [taylor]: Taking taylor expansion of z in z 17.899 * [taylor]: Taking taylor expansion of 0 in y 17.899 * [taylor]: Taking taylor expansion of 0 in z 17.900 * [taylor]: Taking taylor expansion of 0 in z 17.901 * [taylor]: Taking taylor expansion of 0 in z 17.904 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 17.904 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 17.904 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 17.904 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 17.904 * [taylor]: Taking taylor expansion of 6.0 in z 17.904 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 17.904 * [taylor]: Taking taylor expansion of (* z y) in z 17.904 * [taylor]: Taking taylor expansion of z in z 17.904 * [taylor]: Taking taylor expansion of y in z 17.905 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.905 * [taylor]: Taking taylor expansion of x in z 17.905 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 17.905 * [taylor]: Taking taylor expansion of 6.0 in z 17.905 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 17.905 * [taylor]: Taking taylor expansion of (* x z) in z 17.905 * [taylor]: Taking taylor expansion of x in z 17.905 * [taylor]: Taking taylor expansion of z in z 17.905 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 17.905 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 17.905 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 17.905 * [taylor]: Taking taylor expansion of 6.0 in y 17.905 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 17.905 * [taylor]: Taking taylor expansion of (* z y) in y 17.905 * [taylor]: Taking taylor expansion of z in y 17.905 * [taylor]: Taking taylor expansion of y in y 17.906 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.906 * [taylor]: Taking taylor expansion of x in y 17.906 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 17.906 * [taylor]: Taking taylor expansion of 6.0 in y 17.906 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 17.906 * [taylor]: Taking taylor expansion of (* x z) in y 17.906 * [taylor]: Taking taylor expansion of x in y 17.906 * [taylor]: Taking taylor expansion of z in y 17.906 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 17.906 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 17.906 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 17.906 * [taylor]: Taking taylor expansion of 6.0 in x 17.906 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 17.906 * [taylor]: Taking taylor expansion of (* z y) in x 17.906 * [taylor]: Taking taylor expansion of z in x 17.906 * [taylor]: Taking taylor expansion of y in x 17.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.906 * [taylor]: Taking taylor expansion of x in x 17.906 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 17.906 * [taylor]: Taking taylor expansion of 6.0 in x 17.907 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 17.907 * [taylor]: Taking taylor expansion of (* x z) in x 17.907 * [taylor]: Taking taylor expansion of x in x 17.907 * [taylor]: Taking taylor expansion of z in x 17.907 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 17.907 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 17.907 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 17.907 * [taylor]: Taking taylor expansion of 6.0 in x 17.907 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 17.907 * [taylor]: Taking taylor expansion of (* z y) in x 17.907 * [taylor]: Taking taylor expansion of z in x 17.907 * [taylor]: Taking taylor expansion of y in x 17.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.907 * [taylor]: Taking taylor expansion of x in x 17.907 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 17.907 * [taylor]: Taking taylor expansion of 6.0 in x 17.907 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 17.907 * [taylor]: Taking taylor expansion of (* x z) in x 17.907 * [taylor]: Taking taylor expansion of x in x 17.907 * [taylor]: Taking taylor expansion of z in x 17.908 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 17.908 * [taylor]: Taking taylor expansion of 1 in y 17.908 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 17.908 * [taylor]: Taking taylor expansion of 6.0 in y 17.908 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.908 * [taylor]: Taking taylor expansion of z in y 17.910 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 17.910 * [taylor]: Taking taylor expansion of 6.0 in y 17.910 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 17.910 * [taylor]: Taking taylor expansion of (* z y) in y 17.910 * [taylor]: Taking taylor expansion of z in y 17.910 * [taylor]: Taking taylor expansion of y in y 17.910 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 17.910 * [taylor]: Taking taylor expansion of 6.0 in z 17.910 * [taylor]: Taking taylor expansion of z in z 17.911 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 17.911 * [taylor]: Taking taylor expansion of 1 in z 17.911 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 17.911 * [taylor]: Taking taylor expansion of 6.0 in z 17.911 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.911 * [taylor]: Taking taylor expansion of z in z 17.915 * [taylor]: Taking taylor expansion of 0 in y 17.916 * [taylor]: Taking taylor expansion of 0 in z 17.917 * [taylor]: Taking taylor expansion of 0 in z 17.920 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 17.920 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 17.920 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 17.920 * [taylor]: Taking taylor expansion of 6.0 in z 17.920 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 17.920 * [taylor]: Taking taylor expansion of (* z y) in z 17.920 * [taylor]: Taking taylor expansion of z in z 17.920 * [taylor]: Taking taylor expansion of y in z 17.920 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 17.920 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 17.920 * [taylor]: Taking taylor expansion of 6.0 in z 17.920 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 17.920 * [taylor]: Taking taylor expansion of (* x z) in z 17.920 * [taylor]: Taking taylor expansion of x in z 17.920 * [taylor]: Taking taylor expansion of z in z 17.921 * [taylor]: Taking taylor expansion of (/ 1 x) in z 17.921 * [taylor]: Taking taylor expansion of x in z 17.921 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 17.921 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 17.921 * [taylor]: Taking taylor expansion of 6.0 in y 17.921 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 17.921 * [taylor]: Taking taylor expansion of (* z y) in y 17.921 * [taylor]: Taking taylor expansion of z in y 17.921 * [taylor]: Taking taylor expansion of y in y 17.921 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 17.921 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 17.921 * [taylor]: Taking taylor expansion of 6.0 in y 17.921 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 17.921 * [taylor]: Taking taylor expansion of (* x z) in y 17.921 * [taylor]: Taking taylor expansion of x in y 17.921 * [taylor]: Taking taylor expansion of z in y 17.921 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.921 * [taylor]: Taking taylor expansion of x in y 17.922 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 17.922 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 17.922 * [taylor]: Taking taylor expansion of 6.0 in x 17.922 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 17.922 * [taylor]: Taking taylor expansion of (* z y) in x 17.922 * [taylor]: Taking taylor expansion of z in x 17.922 * [taylor]: Taking taylor expansion of y in x 17.922 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 17.922 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 17.922 * [taylor]: Taking taylor expansion of 6.0 in x 17.922 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 17.922 * [taylor]: Taking taylor expansion of (* x z) in x 17.922 * [taylor]: Taking taylor expansion of x in x 17.922 * [taylor]: Taking taylor expansion of z in x 17.922 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.922 * [taylor]: Taking taylor expansion of x in x 17.922 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 17.922 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 17.922 * [taylor]: Taking taylor expansion of 6.0 in x 17.922 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 17.922 * [taylor]: Taking taylor expansion of (* z y) in x 17.922 * [taylor]: Taking taylor expansion of z in x 17.922 * [taylor]: Taking taylor expansion of y in x 17.923 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 17.923 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 17.923 * [taylor]: Taking taylor expansion of 6.0 in x 17.923 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 17.923 * [taylor]: Taking taylor expansion of (* x z) in x 17.923 * [taylor]: Taking taylor expansion of x in x 17.923 * [taylor]: Taking taylor expansion of z in x 17.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.923 * [taylor]: Taking taylor expansion of x in x 17.923 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y 17.924 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 17.924 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 17.924 * [taylor]: Taking taylor expansion of 6.0 in y 17.924 * [taylor]: Taking taylor expansion of (/ 1 z) in y 17.924 * [taylor]: Taking taylor expansion of z in y 17.924 * [taylor]: Taking taylor expansion of 1 in y 17.925 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 17.925 * [taylor]: Taking taylor expansion of 6.0 in y 17.925 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 17.926 * [taylor]: Taking taylor expansion of (* z y) in y 17.926 * [taylor]: Taking taylor expansion of z in y 17.926 * [taylor]: Taking taylor expansion of y in y 17.926 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 17.926 * [taylor]: Taking taylor expansion of 6.0 in z 17.926 * [taylor]: Taking taylor expansion of z in z 17.926 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 17.926 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 17.926 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 17.926 * [taylor]: Taking taylor expansion of 6.0 in z 17.926 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.926 * [taylor]: Taking taylor expansion of z in z 17.927 * [taylor]: Taking taylor expansion of 1 in z 17.931 * [taylor]: Taking taylor expansion of 0 in y 17.931 * [taylor]: Taking taylor expansion of 0 in z 17.932 * [taylor]: Taking taylor expansion of 0 in z 17.935 * * * [progress]: simplifying candidates 17.935 * [simplify]: Simplifying using # : (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)) (+ (log (- y x)) (+ (log 6.0) (log z))) (+ (log (- y x)) (log (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (exp (* (- y x) (* 6.0 z))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 6.0) 6.0) (* (* z z) z))) (* (* (* (- y x) (- y x)) (- y x)) (* (* (* 6.0 z) (* 6.0 z)) (* 6.0 z))) (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z)))) (cbrt (* (- y x) (* 6.0 z))) (* (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))) (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 z)) (* (sqrt (- y x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (sqrt y) (sqrt x)) (* 6.0 z)) (* (- y x) (* 6.0 z)) (* (- (pow y 3) (pow x 3)) (* 6.0 z)) (* (- (* y y) (* x x)) (* 6.0 z)) (* (exp x) (exp (* (- y x) (* 6.0 z)))) (log (+ x (* (- y x) (* 6.0 z)))) (exp (+ x (* (- y x) (* 6.0 z)))) (* (cbrt (+ x (* (- y x) (* 6.0 z)))) (cbrt (+ x (* (- y x) (* 6.0 z))))) (cbrt (+ x (* (- y x) (* 6.0 z)))) (* (* (+ x (* (- y x) (* 6.0 z))) (+ x (* (- y x) (* 6.0 z)))) (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (+ (pow x 3) (pow (* (- y x) (* 6.0 z)) 3)) (+ (* x x) (- (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z))) (* x (* (- y x) (* 6.0 z))))) (- (* x x) (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)))) (- x (* (- y x) (* 6.0 z))) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 17.937 * * [simplify]: iteration 0 : 75 enodes (cost 468 ) 17.949 * * [simplify]: iteration 1 : 207 enodes (cost 438 ) 17.988 * * [simplify]: iteration 2 : 667 enodes (cost 376 ) 18.178 * * [simplify]: iteration 3 : 3011 enodes (cost 376 ) 19.071 * * [simplify]: iteration done : 5000 enodes (cost 376 ) 19.071 * [simplify]: Simplified to: (* (* 6.0 z) (- y x)) (* (* 6.0 z) (- y x)) (log (* (- y x) (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (log (* (- y x) (* 6.0 z))) (exp (* (- y x) (* 6.0 z))) (pow (* (* 6.0 z) (- y x)) 3) (pow (* (* 6.0 z) (- y x)) 3) (* (cbrt (* (- y x) (* 6.0 z))) (cbrt (* (- y x) (* 6.0 z)))) (cbrt (* (- y x) (* 6.0 z))) (pow (* (* 6.0 z) (- y x)) 3) (sqrt (* (- y x) (* 6.0 z))) (sqrt (* (- y x) (* 6.0 z))) (* (- y x) 6.0) (* (cbrt (- y x)) (* 6.0 z)) (* (sqrt (- y x)) (* 6.0 z)) (* (* 6.0 z) (- y x)) (* (- (sqrt y) (sqrt x)) (* 6.0 z)) (* (* 6.0 z) (- y x)) (* (- (pow y 3) (pow x 3)) (* 6.0 z)) (* (- (* y y) (* x x)) (* 6.0 z)) (exp (+ x (* (- y x) (* 6.0 z)))) (log (+ x (* (- y x) (* 6.0 z)))) (exp (+ x (* (- y x) (* 6.0 z)))) (* (cbrt (+ x (* (- y x) (* 6.0 z)))) (cbrt (+ x (* (- y x) (* 6.0 z))))) (cbrt (+ x (* (- y x) (* 6.0 z)))) (pow (+ x (* (* 6.0 z) (- y x))) 3) (sqrt (+ x (* (- y x) (* 6.0 z)))) (sqrt (+ x (* (- y x) (* 6.0 z)))) (+ (pow x 3) (pow (* (- y x) (* 6.0 z)) 3)) (+ (* x x) (* (* (- y x) (* 6.0 z)) (- (* (- y x) (* 6.0 z)) x))) (- (* x x) (* (* (- y x) (* 6.0 z)) (* (- y x) (* 6.0 z)))) (- x (* (- y x) (* 6.0 z))) 0 (* (* 6.0 z) (- y x)) (* (* 6.0 z) (- y x)) (+ x (* (* 6.0 z) (- y x))) (+ x (* (* 6.0 z) (- y x))) (+ x (* (* 6.0 z) (- y x))) 19.072 * * * [progress]: adding candidates to table 19.137 * * [progress]: iteration 3 / 4 19.137 * * * [progress]: picking best candidate 19.147 * * * * [pick]: Picked # 19.147 * * * [progress]: localizing error 19.157 * * * [progress]: generating rewritten candidates 19.157 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 19.168 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 19.171 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 19.192 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 19.204 * * * [progress]: generating series expansions 19.204 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 19.204 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in (y x) around 0 19.205 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in x 19.205 * [taylor]: Taking taylor expansion of 6.0 in x 19.205 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in x 19.205 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 19.205 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.205 * [taylor]: Taking taylor expansion of y in x 19.205 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.205 * [taylor]: Taking taylor expansion of x in x 19.205 * [taylor]: Taking taylor expansion of (+ x y) in x 19.205 * [taylor]: Taking taylor expansion of x in x 19.205 * [taylor]: Taking taylor expansion of y in x 19.205 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in y 19.205 * [taylor]: Taking taylor expansion of 6.0 in y 19.205 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in y 19.205 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 19.205 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.205 * [taylor]: Taking taylor expansion of y in y 19.205 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.205 * [taylor]: Taking taylor expansion of x in y 19.205 * [taylor]: Taking taylor expansion of (+ x y) in y 19.205 * [taylor]: Taking taylor expansion of x in y 19.205 * [taylor]: Taking taylor expansion of y in y 19.205 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in y 19.205 * [taylor]: Taking taylor expansion of 6.0 in y 19.205 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in y 19.205 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 19.205 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.205 * [taylor]: Taking taylor expansion of y in y 19.205 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.205 * [taylor]: Taking taylor expansion of x in y 19.206 * [taylor]: Taking taylor expansion of (+ x y) in y 19.206 * [taylor]: Taking taylor expansion of x in y 19.206 * [taylor]: Taking taylor expansion of y in y 19.206 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 19.206 * [taylor]: Taking taylor expansion of -6.0 in x 19.206 * [taylor]: Taking taylor expansion of x in x 19.207 * [taylor]: Taking taylor expansion of 6.0 in x 19.210 * [taylor]: Taking taylor expansion of 0 in x 19.213 * [taylor]: Taking taylor expansion of 0 in x 19.214 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in (y x) around 0 19.214 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in x 19.214 * [taylor]: Taking taylor expansion of 6.0 in x 19.214 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in x 19.214 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 19.214 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 19.214 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.214 * [taylor]: Taking taylor expansion of y in x 19.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.214 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.214 * [taylor]: Taking taylor expansion of x in x 19.215 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 19.215 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.215 * [taylor]: Taking taylor expansion of y in x 19.215 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.215 * [taylor]: Taking taylor expansion of x in x 19.216 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 19.216 * [taylor]: Taking taylor expansion of 6.0 in y 19.216 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 19.216 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.216 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.216 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.216 * [taylor]: Taking taylor expansion of y in y 19.217 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.217 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.217 * [taylor]: Taking taylor expansion of x in y 19.217 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 19.217 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.217 * [taylor]: Taking taylor expansion of y in y 19.217 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.217 * [taylor]: Taking taylor expansion of x in y 19.218 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 19.218 * [taylor]: Taking taylor expansion of 6.0 in y 19.218 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 19.218 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.218 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.218 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.218 * [taylor]: Taking taylor expansion of y in y 19.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.219 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.219 * [taylor]: Taking taylor expansion of x in y 19.219 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 19.219 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.219 * [taylor]: Taking taylor expansion of y in y 19.219 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.219 * [taylor]: Taking taylor expansion of x in y 19.220 * [taylor]: Taking taylor expansion of 6.0 in x 19.222 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 19.222 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 19.222 * [taylor]: Taking taylor expansion of 6.0 in x 19.222 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.222 * [taylor]: Taking taylor expansion of x in x 19.226 * [taylor]: Taking taylor expansion of 0 in x 19.232 * [taylor]: Taking taylor expansion of 0 in x 19.238 * [taylor]: Taking taylor expansion of 0 in x 19.239 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in (y x) around 0 19.239 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in x 19.239 * [taylor]: Taking taylor expansion of -6.0 in x 19.239 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in x 19.239 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 19.239 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 19.239 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.239 * [taylor]: Taking taylor expansion of y in x 19.239 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.239 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.239 * [taylor]: Taking taylor expansion of x in x 19.240 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 19.240 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.240 * [taylor]: Taking taylor expansion of y in x 19.240 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.240 * [taylor]: Taking taylor expansion of x in x 19.241 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 19.241 * [taylor]: Taking taylor expansion of -6.0 in y 19.241 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 19.241 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.241 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.241 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.241 * [taylor]: Taking taylor expansion of y in y 19.242 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.242 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.242 * [taylor]: Taking taylor expansion of x in y 19.242 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 19.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.242 * [taylor]: Taking taylor expansion of y in y 19.242 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.242 * [taylor]: Taking taylor expansion of x in y 19.243 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 19.243 * [taylor]: Taking taylor expansion of -6.0 in y 19.243 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 19.243 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.243 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.243 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.243 * [taylor]: Taking taylor expansion of y in y 19.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.244 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.244 * [taylor]: Taking taylor expansion of x in y 19.244 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 19.244 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.244 * [taylor]: Taking taylor expansion of y in y 19.244 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.244 * [taylor]: Taking taylor expansion of x in y 19.245 * [taylor]: Taking taylor expansion of -6.0 in x 19.247 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 19.248 * [taylor]: Taking taylor expansion of 6.0 in x 19.248 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.248 * [taylor]: Taking taylor expansion of x in x 19.254 * [taylor]: Taking taylor expansion of 0 in x 19.259 * [taylor]: Taking taylor expansion of 0 in x 19.265 * [taylor]: Taking taylor expansion of 0 in x 19.265 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 19.265 * [approximate]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in (y x) around 0 19.265 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 19.265 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.265 * [taylor]: Taking taylor expansion of y in x 19.265 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.265 * [taylor]: Taking taylor expansion of x in x 19.265 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 19.265 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.265 * [taylor]: Taking taylor expansion of y in y 19.266 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.266 * [taylor]: Taking taylor expansion of x in y 19.266 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 19.266 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.266 * [taylor]: Taking taylor expansion of y in y 19.266 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.266 * [taylor]: Taking taylor expansion of x in y 19.266 * [taylor]: Taking taylor expansion of (- (pow x 2)) in x 19.266 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.266 * [taylor]: Taking taylor expansion of x in x 19.266 * [taylor]: Taking taylor expansion of 0 in x 19.267 * [taylor]: Taking taylor expansion of 1 in x 19.269 * [taylor]: Taking taylor expansion of 0 in x 19.272 * [taylor]: Taking taylor expansion of 0 in x 19.272 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0 19.272 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 19.272 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 19.272 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.272 * [taylor]: Taking taylor expansion of y in x 19.272 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.272 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.272 * [taylor]: Taking taylor expansion of x in x 19.273 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.273 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.273 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.273 * [taylor]: Taking taylor expansion of y in y 19.273 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.273 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.273 * [taylor]: Taking taylor expansion of x in y 19.273 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.273 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.273 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.273 * [taylor]: Taking taylor expansion of y in y 19.274 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.274 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.274 * [taylor]: Taking taylor expansion of x in y 19.274 * [taylor]: Taking taylor expansion of 1 in x 19.276 * [taylor]: Taking taylor expansion of 0 in x 19.277 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 19.277 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.277 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.277 * [taylor]: Taking taylor expansion of x in x 19.279 * [taylor]: Taking taylor expansion of 0 in x 19.282 * [taylor]: Taking taylor expansion of 0 in x 19.284 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0 19.284 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 19.284 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 19.284 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.284 * [taylor]: Taking taylor expansion of y in x 19.284 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.284 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.284 * [taylor]: Taking taylor expansion of x in x 19.285 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.285 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.285 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.285 * [taylor]: Taking taylor expansion of y in y 19.285 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.285 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.285 * [taylor]: Taking taylor expansion of x in y 19.285 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.285 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.285 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.285 * [taylor]: Taking taylor expansion of y in y 19.286 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.286 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.286 * [taylor]: Taking taylor expansion of x in y 19.286 * [taylor]: Taking taylor expansion of 1 in x 19.287 * [taylor]: Taking taylor expansion of 0 in x 19.289 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 19.289 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.289 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.289 * [taylor]: Taking taylor expansion of x in x 19.291 * [taylor]: Taking taylor expansion of 0 in x 19.294 * [taylor]: Taking taylor expansion of 0 in x 19.296 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 19.296 * [approximate]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in (y x z) around 0 19.296 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in z 19.296 * [taylor]: Taking taylor expansion of 6.0 in z 19.296 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in z 19.296 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in z 19.296 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in z 19.296 * [taylor]: Taking taylor expansion of (pow y 2) in z 19.296 * [taylor]: Taking taylor expansion of y in z 19.296 * [taylor]: Taking taylor expansion of (pow x 2) in z 19.296 * [taylor]: Taking taylor expansion of x in z 19.296 * [taylor]: Taking taylor expansion of z in z 19.296 * [taylor]: Taking taylor expansion of (+ x y) in z 19.296 * [taylor]: Taking taylor expansion of x in z 19.296 * [taylor]: Taking taylor expansion of y in z 19.298 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in x 19.298 * [taylor]: Taking taylor expansion of 6.0 in x 19.298 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in x 19.298 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in x 19.298 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 19.298 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.298 * [taylor]: Taking taylor expansion of y in x 19.298 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.298 * [taylor]: Taking taylor expansion of x in x 19.298 * [taylor]: Taking taylor expansion of z in x 19.298 * [taylor]: Taking taylor expansion of (+ x y) in x 19.298 * [taylor]: Taking taylor expansion of x in x 19.298 * [taylor]: Taking taylor expansion of y in x 19.298 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in y 19.298 * [taylor]: Taking taylor expansion of 6.0 in y 19.298 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in y 19.298 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y 19.298 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 19.298 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.298 * [taylor]: Taking taylor expansion of y in y 19.298 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.298 * [taylor]: Taking taylor expansion of x in y 19.298 * [taylor]: Taking taylor expansion of z in y 19.298 * [taylor]: Taking taylor expansion of (+ x y) in y 19.298 * [taylor]: Taking taylor expansion of x in y 19.298 * [taylor]: Taking taylor expansion of y in y 19.299 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in y 19.299 * [taylor]: Taking taylor expansion of 6.0 in y 19.299 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in y 19.299 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y 19.299 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 19.299 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.299 * [taylor]: Taking taylor expansion of y in y 19.299 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.299 * [taylor]: Taking taylor expansion of x in y 19.299 * [taylor]: Taking taylor expansion of z in y 19.299 * [taylor]: Taking taylor expansion of (+ x y) in y 19.299 * [taylor]: Taking taylor expansion of x in y 19.299 * [taylor]: Taking taylor expansion of y in y 19.299 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 19.299 * [taylor]: Taking taylor expansion of -6.0 in x 19.299 * [taylor]: Taking taylor expansion of (* x z) in x 19.299 * [taylor]: Taking taylor expansion of x in x 19.299 * [taylor]: Taking taylor expansion of z in x 19.300 * [taylor]: Taking taylor expansion of 0 in z 19.301 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 19.301 * [taylor]: Taking taylor expansion of 6.0 in x 19.301 * [taylor]: Taking taylor expansion of z in x 19.301 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 19.301 * [taylor]: Taking taylor expansion of 6.0 in z 19.301 * [taylor]: Taking taylor expansion of z in z 19.302 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 19.302 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 19.302 * [taylor]: Taking taylor expansion of 6.0 in z 19.302 * [taylor]: Taking taylor expansion of z in z 19.306 * [taylor]: Taking taylor expansion of 0 in x 19.306 * [taylor]: Taking taylor expansion of 0 in z 19.306 * [taylor]: Taking taylor expansion of 0 in z 19.307 * [taylor]: Taking taylor expansion of 0 in z 19.309 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in (y x z) around 0 19.309 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in z 19.309 * [taylor]: Taking taylor expansion of 6.0 in z 19.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in z 19.309 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z 19.309 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 19.309 * [taylor]: Taking taylor expansion of (pow y 2) in z 19.309 * [taylor]: Taking taylor expansion of y in z 19.309 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 19.309 * [taylor]: Taking taylor expansion of (pow x 2) in z 19.309 * [taylor]: Taking taylor expansion of x in z 19.309 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in z 19.309 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 19.310 * [taylor]: Taking taylor expansion of (/ 1 y) in z 19.310 * [taylor]: Taking taylor expansion of y in z 19.310 * [taylor]: Taking taylor expansion of (/ 1 x) in z 19.310 * [taylor]: Taking taylor expansion of x in z 19.310 * [taylor]: Taking taylor expansion of z in z 19.311 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in x 19.311 * [taylor]: Taking taylor expansion of 6.0 in x 19.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in x 19.311 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 19.311 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 19.311 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.311 * [taylor]: Taking taylor expansion of y in x 19.311 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.311 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.311 * [taylor]: Taking taylor expansion of x in x 19.312 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in x 19.312 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 19.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.312 * [taylor]: Taking taylor expansion of y in x 19.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.312 * [taylor]: Taking taylor expansion of x in x 19.312 * [taylor]: Taking taylor expansion of z in x 19.313 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 19.313 * [taylor]: Taking taylor expansion of 6.0 in y 19.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 19.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.313 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.313 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.313 * [taylor]: Taking taylor expansion of y in y 19.313 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.313 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.313 * [taylor]: Taking taylor expansion of x in y 19.313 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 19.313 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 19.313 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.314 * [taylor]: Taking taylor expansion of y in y 19.314 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.314 * [taylor]: Taking taylor expansion of x in y 19.314 * [taylor]: Taking taylor expansion of z in y 19.314 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 19.314 * [taylor]: Taking taylor expansion of 6.0 in y 19.314 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 19.314 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.314 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.314 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.315 * [taylor]: Taking taylor expansion of y in y 19.315 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.315 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.315 * [taylor]: Taking taylor expansion of x in y 19.315 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 19.315 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 19.315 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.315 * [taylor]: Taking taylor expansion of y in y 19.315 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.315 * [taylor]: Taking taylor expansion of x in y 19.316 * [taylor]: Taking taylor expansion of z in y 19.316 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 19.316 * [taylor]: Taking taylor expansion of 6.0 in x 19.316 * [taylor]: Taking taylor expansion of z in x 19.318 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 19.318 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 19.318 * [taylor]: Taking taylor expansion of 6.0 in x 19.318 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 19.318 * [taylor]: Taking taylor expansion of (* x z) in x 19.318 * [taylor]: Taking taylor expansion of x in x 19.318 * [taylor]: Taking taylor expansion of z in x 19.319 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 19.319 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 19.319 * [taylor]: Taking taylor expansion of 6.0 in z 19.319 * [taylor]: Taking taylor expansion of (/ 1 z) in z 19.319 * [taylor]: Taking taylor expansion of z in z 19.320 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 19.320 * [taylor]: Taking taylor expansion of 6.0 in z 19.320 * [taylor]: Taking taylor expansion of z in z 19.323 * [taylor]: Taking taylor expansion of 0 in x 19.324 * [taylor]: Taking taylor expansion of 0 in z 19.324 * [taylor]: Taking taylor expansion of 0 in z 19.330 * [taylor]: Taking taylor expansion of 0 in x 19.330 * [taylor]: Taking taylor expansion of 0 in z 19.331 * [taylor]: Taking taylor expansion of 0 in z 19.331 * [taylor]: Taking taylor expansion of 0 in z 19.334 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in (y x z) around 0 19.334 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in z 19.334 * [taylor]: Taking taylor expansion of 6.0 in z 19.334 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in z 19.334 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z 19.334 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 19.334 * [taylor]: Taking taylor expansion of (pow y 2) in z 19.334 * [taylor]: Taking taylor expansion of y in z 19.334 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 19.334 * [taylor]: Taking taylor expansion of (pow x 2) in z 19.335 * [taylor]: Taking taylor expansion of x in z 19.335 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in z 19.335 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 19.335 * [taylor]: Taking taylor expansion of (/ 1 y) in z 19.335 * [taylor]: Taking taylor expansion of y in z 19.335 * [taylor]: Taking taylor expansion of (/ 1 x) in z 19.335 * [taylor]: Taking taylor expansion of x in z 19.335 * [taylor]: Taking taylor expansion of z in z 19.338 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in x 19.338 * [taylor]: Taking taylor expansion of 6.0 in x 19.338 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in x 19.338 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 19.338 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 19.338 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.338 * [taylor]: Taking taylor expansion of y in x 19.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.338 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.338 * [taylor]: Taking taylor expansion of x in x 19.339 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in x 19.339 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 19.339 * [taylor]: Taking taylor expansion of (/ 1 y) in x 19.339 * [taylor]: Taking taylor expansion of y in x 19.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.339 * [taylor]: Taking taylor expansion of x in x 19.339 * [taylor]: Taking taylor expansion of z in x 19.340 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 19.340 * [taylor]: Taking taylor expansion of 6.0 in y 19.340 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 19.340 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.340 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.340 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.340 * [taylor]: Taking taylor expansion of y in y 19.341 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.341 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.341 * [taylor]: Taking taylor expansion of x in y 19.341 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 19.341 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 19.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.341 * [taylor]: Taking taylor expansion of y in y 19.341 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.341 * [taylor]: Taking taylor expansion of x in y 19.341 * [taylor]: Taking taylor expansion of z in y 19.342 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 19.342 * [taylor]: Taking taylor expansion of 6.0 in y 19.342 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 19.342 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.342 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.342 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.342 * [taylor]: Taking taylor expansion of y in y 19.342 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.342 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.343 * [taylor]: Taking taylor expansion of x in y 19.343 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 19.343 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 19.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.343 * [taylor]: Taking taylor expansion of y in y 19.343 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.343 * [taylor]: Taking taylor expansion of x in y 19.343 * [taylor]: Taking taylor expansion of z in y 19.344 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 19.344 * [taylor]: Taking taylor expansion of 6.0 in x 19.344 * [taylor]: Taking taylor expansion of z in x 19.346 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 19.346 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 19.346 * [taylor]: Taking taylor expansion of 6.0 in x 19.346 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 19.346 * [taylor]: Taking taylor expansion of (* x z) in x 19.346 * [taylor]: Taking taylor expansion of x in x 19.346 * [taylor]: Taking taylor expansion of z in x 19.346 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 19.346 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 19.346 * [taylor]: Taking taylor expansion of 6.0 in z 19.346 * [taylor]: Taking taylor expansion of (/ 1 z) in z 19.346 * [taylor]: Taking taylor expansion of z in z 19.347 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 19.347 * [taylor]: Taking taylor expansion of 6.0 in z 19.347 * [taylor]: Taking taylor expansion of z in z 19.350 * [taylor]: Taking taylor expansion of 0 in x 19.352 * [taylor]: Taking taylor expansion of 0 in z 19.352 * [taylor]: Taking taylor expansion of 0 in z 19.357 * [taylor]: Taking taylor expansion of 0 in x 19.357 * [taylor]: Taking taylor expansion of 0 in z 19.359 * [taylor]: Taking taylor expansion of 0 in z 19.359 * [taylor]: Taking taylor expansion of 0 in z 19.361 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 19.361 * [approximate]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in (y x) around 0 19.361 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in x 19.361 * [taylor]: Taking taylor expansion of 6.0 in x 19.361 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 19.361 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.361 * [taylor]: Taking taylor expansion of y in x 19.361 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.361 * [taylor]: Taking taylor expansion of x in x 19.361 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in y 19.361 * [taylor]: Taking taylor expansion of 6.0 in y 19.361 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 19.361 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.361 * [taylor]: Taking taylor expansion of y in y 19.361 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.362 * [taylor]: Taking taylor expansion of x in y 19.362 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in y 19.362 * [taylor]: Taking taylor expansion of 6.0 in y 19.362 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 19.362 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.362 * [taylor]: Taking taylor expansion of y in y 19.362 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.362 * [taylor]: Taking taylor expansion of x in y 19.362 * [taylor]: Taking taylor expansion of (* -6.0 (pow x 2)) in x 19.362 * [taylor]: Taking taylor expansion of -6.0 in x 19.362 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.362 * [taylor]: Taking taylor expansion of x in x 19.363 * [taylor]: Taking taylor expansion of 0 in x 19.364 * [taylor]: Taking taylor expansion of 6.0 in x 19.367 * [taylor]: Taking taylor expansion of 0 in x 19.371 * [taylor]: Taking taylor expansion of 0 in x 19.371 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0 19.371 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x 19.371 * [taylor]: Taking taylor expansion of 6.0 in x 19.371 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 19.371 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 19.371 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.371 * [taylor]: Taking taylor expansion of y in x 19.371 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.371 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.371 * [taylor]: Taking taylor expansion of x in x 19.372 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 19.372 * [taylor]: Taking taylor expansion of 6.0 in y 19.372 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.372 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.372 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.372 * [taylor]: Taking taylor expansion of y in y 19.372 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.372 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.372 * [taylor]: Taking taylor expansion of x in y 19.372 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 19.373 * [taylor]: Taking taylor expansion of 6.0 in y 19.373 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.373 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.373 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.373 * [taylor]: Taking taylor expansion of y in y 19.373 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.373 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.373 * [taylor]: Taking taylor expansion of x in y 19.374 * [taylor]: Taking taylor expansion of 6.0 in x 19.375 * [taylor]: Taking taylor expansion of 0 in x 19.377 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (pow x 2)))) in x 19.377 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x 19.377 * [taylor]: Taking taylor expansion of 6.0 in x 19.377 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.377 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.377 * [taylor]: Taking taylor expansion of x in x 19.381 * [taylor]: Taking taylor expansion of 0 in x 19.385 * [taylor]: Taking taylor expansion of 0 in x 19.388 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0 19.388 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x 19.388 * [taylor]: Taking taylor expansion of 6.0 in x 19.388 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 19.388 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 19.388 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.388 * [taylor]: Taking taylor expansion of y in x 19.388 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.388 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.388 * [taylor]: Taking taylor expansion of x in x 19.388 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 19.389 * [taylor]: Taking taylor expansion of 6.0 in y 19.389 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.389 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.389 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.389 * [taylor]: Taking taylor expansion of y in y 19.389 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.389 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.389 * [taylor]: Taking taylor expansion of x in y 19.389 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 19.389 * [taylor]: Taking taylor expansion of 6.0 in y 19.389 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 19.389 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.389 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.389 * [taylor]: Taking taylor expansion of y in y 19.390 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 19.390 * [taylor]: Taking taylor expansion of (pow x 2) in y 19.390 * [taylor]: Taking taylor expansion of x in y 19.390 * [taylor]: Taking taylor expansion of 6.0 in x 19.392 * [taylor]: Taking taylor expansion of 0 in x 19.393 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (pow x 2)))) in x 19.394 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x 19.394 * [taylor]: Taking taylor expansion of 6.0 in x 19.394 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 19.394 * [taylor]: Taking taylor expansion of (pow x 2) in x 19.394 * [taylor]: Taking taylor expansion of x in x 19.397 * [taylor]: Taking taylor expansion of 0 in x 19.402 * [taylor]: Taking taylor expansion of 0 in x 19.404 * * * [progress]: simplifying candidates 19.405 * [simplify]: Simplifying using # : (- (+ (log (- (* y y) (* x x))) (log 6.0)) (log (+ y x))) (- (log (* (- (* y y) (* x x)) 6.0)) (log (+ y x))) (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (exp (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (/ (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0)) (* (* (+ y x) (+ y x)) (+ y x))) (/ (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0)) (* (* (+ y x) (+ y x)) (+ y x))) (* (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x)))) (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (* (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (- (* (- (* y y) (* x x)) 6.0)) (- (+ y x)) (/ (- (* y y) (* x x)) (* (cbrt (+ y x)) (cbrt (+ y x)))) (/ 6.0 (cbrt (+ y x))) (/ (- (* y y) (* x x)) (sqrt (+ y x))) (/ 6.0 (sqrt (+ y x))) (/ (- (* y y) (* x x)) 1) (/ 6.0 (+ y x)) (/ (- (* y y) (* x x)) 1) (/ 6.0 (+ y x)) (/ 1 (+ y x)) (/ (+ y x) (* (- (* y y) (* x x)) 6.0)) (/ (* (- (* y y) (* x x)) 6.0) (* (cbrt (+ y x)) (cbrt (+ y x)))) (/ (* (- (* y y) (* x x)) 6.0) (sqrt (+ y x))) (/ (* (- (* y y) (* x x)) 6.0) 1) (/ (* (- (* y y) (* x x)) 6.0) 1) (/ (+ y x) 6.0) (/ (* (- (* y y) (* x x)) 6.0) (+ (pow y 3) (pow x 3))) (/ (* (- (* y y) (* x x)) 6.0) (- (* y y) (* x x))) (* (+ y x) (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x))))) (* (+ y x) (+ (* y y) (* x x))) (/ (exp (* y y)) (exp (* x x))) (log (- (* y y) (* x x))) (exp (- (* y y) (* x x))) (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))) (cbrt (- (* y y) (* x x))) (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (sqrt (- (* y y) (* x x))) (sqrt (- (* y y) (* x x))) (- (pow (* y y) 3) (pow (* x x) 3)) (+ (* (* y y) (* y y)) (+ (* (* x x) (* x x)) (* (* y y) (* x x)))) (- (* x x)) (- (* (* y y) (* y y)) (* (* x x) (* x x))) (+ (* y y) (* x x)) (+ y x) (- y x) (- (* x x)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (+ (- (+ (log (- (* y y) (* x x))) (log 6.0)) (log (+ y x))) (log z)) (+ (- (log (* (- (* y y) (* x x)) 6.0)) (log (+ y x))) (log z)) (+ (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (log z)) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (exp (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (/ (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* z z) z)) (* (/ (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0)) (* (* (+ y x) (+ y x)) (+ y x))) (* (* z z) z)) (* (* (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (* (* z z) z)) (* (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z))) (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (* (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (sqrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (sqrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt z)) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt z)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (* (cbrt z) (cbrt z))) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (sqrt z)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) 1) (* (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) z) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) z) (* (/ 6.0 (cbrt (+ y x))) z) (* (/ 6.0 (sqrt (+ y x))) z) (* (/ 6.0 (+ y x)) z) (* (/ 6.0 (+ y x)) z) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (* (/ 1 (+ y x)) z) (* (+ (* y y) (- (* x x) (* y x))) z) (* (- y x) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- (* y y) (* x x)) 6.0) (+ (log (- (* y y) (* x x))) (log 6.0)) (log (* (- (* y y) (* x x)) 6.0)) (exp (* (- (* y y) (* x x)) 6.0)) (* (* (* (- (* y y) (* x x)) (- (* y y) (* x x))) (- (* y y) (* x x))) (* (* 6.0 6.0) 6.0)) (* (cbrt (* (- (* y y) (* x x)) 6.0)) (cbrt (* (- (* y y) (* x x)) 6.0))) (cbrt (* (- (* y y) (* x x)) 6.0)) (* (* (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0)) (* (- (* y y) (* x x)) 6.0)) (sqrt (* (- (* y y) (* x x)) 6.0)) (sqrt (* (- (* y y) (* x x)) 6.0)) (* (sqrt (- (* y y) (* x x))) (sqrt 6.0)) (* (sqrt (- (* y y) (* x x))) (sqrt 6.0)) (* (- (* y y) (* x x)) (* (cbrt 6.0) (cbrt 6.0))) (* (- (* y y) (* x x)) (sqrt 6.0)) (* (- (* y y) (* x x)) 1) (* (cbrt (- (* y y) (* x x))) 6.0) (* (sqrt (- (* y y) (* x x))) 6.0) (* (- (* y y) (* x x)) 6.0) (* (- y x) 6.0) (* (- (pow (* y y) 3) (pow (* x x) 3)) 6.0) (* (- (* (* y y) (* y y)) (* (* x x) (* x x))) 6.0) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (* 6.0 y) (* 6.0 x)) (- (pow y 2) (pow x 2)) (- (pow y 2) (pow x 2)) (- (pow y 2) (pow x 2)) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2))) (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2))) (- (* 6.0 (pow y 2)) (* 6.0 (pow x 2))) 19.409 * * [simplify]: iteration 0 : 147 enodes (cost 1587 ) 19.438 * * [simplify]: iteration 1 : 420 enodes (cost 1524 ) 19.541 * * [simplify]: iteration 2 : 2011 enodes (cost 1248 ) 20.073 * * [simplify]: iteration done : 5000 enodes (cost 1248 ) 20.074 * [simplify]: Simplified to: (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (log (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (exp (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (pow (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) 3) (pow (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) 3) (* (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x)))) (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (pow (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) 3) (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (- (* (- (* y y) (* x x)) 6.0)) (- (+ y x)) (/ (- (* y y) (* x x)) (* (cbrt (+ y x)) (cbrt (+ y x)))) (/ 6.0 (cbrt (+ y x))) (/ (- (* y y) (* x x)) (sqrt (+ y x))) (/ 6.0 (sqrt (+ y x))) (- (* y y) (* x x)) (/ 6.0 (+ y x)) (- (* y y) (* x x)) (/ 6.0 (+ y x)) (/ 1 (+ y x)) (/ (+ y x) (* (- (* y y) (* x x)) 6.0)) (/ (* (- (* y y) (* x x)) 6.0) (* (cbrt (+ y x)) (cbrt (+ y x)))) (/ (* (- (* y y) (* x x)) 6.0) (sqrt (+ y x))) (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0) (/ (+ y x) 6.0) (/ (* (- (* y y) (* x x)) 6.0) (+ (pow y 3) (pow x 3))) (/ (* (- (* y y) (* x x)) 6.0) (- (* y y) (* x x))) (* (+ y x) (+ (pow y 4) (* (pow x 2) (+ (* y y) (* x x))))) (* (+ y x) (+ (* y y) (* x x))) (exp (* (+ y x) (- y x))) (log (- (* y y) (* x x))) (exp (* (+ y x) (- y x))) (* (cbrt (- (* y y) (* x x))) (cbrt (- (* y y) (* x x)))) (cbrt (- (* y y) (* x x))) (pow (- (* y y) (* x x)) 3) (sqrt (- (* y y) (* x x))) (sqrt (- (* y y) (* x x))) (- (pow y 6) (pow x 6)) (+ (pow y 4) (* (pow x 2) (+ (* y y) (* x x)))) (- (* x x)) (- (pow y 4) (pow x 4)) (+ (* y y) (* x x)) (+ y x) (- y x) (- (* x x)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (log (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (exp (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (pow (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) 3) (pow (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) 3) (pow (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) 3) (* (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z))) (cbrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (pow (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) 3) (sqrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (sqrt (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt z)) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (sqrt z)) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (* (cbrt z) (cbrt z))) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (sqrt z)) (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) (* (cbrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) z) (* (sqrt (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) z) (* (/ 6.0 (cbrt (+ y x))) z) (* (/ 6.0 (sqrt (+ y x))) z) (* (/ 6.0 (+ y x)) z) (* (/ 6.0 (+ y x)) z) (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z) (/ z (+ y x)) (* (+ (* x (- x y)) (* y y)) z) (* (- y x) z) (* (* (- (* y y) (* x x)) 6.0) z) (* (- (* y y) (* x x)) 6.0) (log (* (- (* y y) (* x x)) 6.0)) (log (* (- (* y y) (* x x)) 6.0)) (exp (* (- (* y y) (* x x)) 6.0)) (pow (* (- (* y y) (* x x)) 6.0) 3) (* (cbrt (* (- (* y y) (* x x)) 6.0)) (cbrt (* (- (* y y) (* x x)) 6.0))) (cbrt (* (- (* y y) (* x x)) 6.0)) (pow (* (- (* y y) (* x x)) 6.0) 3) (sqrt (* (- (* y y) (* x x)) 6.0)) (sqrt (* (- (* y y) (* x x)) 6.0)) (* (sqrt (- (* y y) (* x x))) (sqrt 6.0)) (* (sqrt (- (* y y) (* x x))) (sqrt 6.0)) (* (- (* y y) (* x x)) (* (cbrt 6.0) (cbrt 6.0))) (* (- (* y y) (* x x)) (sqrt 6.0)) (- (* y y) (* x x)) (* (cbrt (- (* y y) (* x x))) 6.0) (* (sqrt (- (* y y) (* x x))) 6.0) (* (- (* y y) (* x x)) 6.0) (* (- y x) 6.0) (* 6.0 (- (pow y 6) (pow x 6))) (* 6.0 (- (pow y 4) (pow x 4))) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) (- (* y y) (* x x)) (- (* y y) (* x x)) (- (* y y) (* x x)) (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0) (* (- (* y y) (* x x)) 6.0) 20.075 * * * [progress]: adding candidates to table 20.272 * * [progress]: iteration 4 / 4 20.272 * * * [progress]: picking best candidate 20.280 * * * * [pick]: Picked # 20.280 * * * [progress]: localizing error 20.287 * * * [progress]: generating rewritten candidates 20.287 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 20.301 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 20.311 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 20.315 * * * [progress]: generating series expansions 20.315 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 20.315 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 20.315 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 20.315 * [taylor]: Taking taylor expansion of 6.0 in z 20.315 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 20.315 * [taylor]: Taking taylor expansion of (- y x) in z 20.315 * [taylor]: Taking taylor expansion of y in z 20.315 * [taylor]: Taking taylor expansion of x in z 20.315 * [taylor]: Taking taylor expansion of z in z 20.315 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 20.315 * [taylor]: Taking taylor expansion of 6.0 in x 20.316 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 20.316 * [taylor]: Taking taylor expansion of (- y x) in x 20.316 * [taylor]: Taking taylor expansion of y in x 20.316 * [taylor]: Taking taylor expansion of x in x 20.316 * [taylor]: Taking taylor expansion of z in x 20.316 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 20.316 * [taylor]: Taking taylor expansion of 6.0 in y 20.316 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 20.316 * [taylor]: Taking taylor expansion of (- y x) in y 20.316 * [taylor]: Taking taylor expansion of y in y 20.316 * [taylor]: Taking taylor expansion of x in y 20.316 * [taylor]: Taking taylor expansion of z in y 20.316 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 20.316 * [taylor]: Taking taylor expansion of 6.0 in y 20.316 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 20.316 * [taylor]: Taking taylor expansion of (- y x) in y 20.316 * [taylor]: Taking taylor expansion of y in y 20.316 * [taylor]: Taking taylor expansion of x in y 20.316 * [taylor]: Taking taylor expansion of z in y 20.316 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 20.316 * [taylor]: Taking taylor expansion of -6.0 in x 20.316 * [taylor]: Taking taylor expansion of (* x z) in x 20.316 * [taylor]: Taking taylor expansion of x in x 20.316 * [taylor]: Taking taylor expansion of z in x 20.317 * [taylor]: Taking taylor expansion of 0 in z 20.317 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 20.317 * [taylor]: Taking taylor expansion of 6.0 in x 20.317 * [taylor]: Taking taylor expansion of z in x 20.317 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 20.318 * [taylor]: Taking taylor expansion of 6.0 in z 20.318 * [taylor]: Taking taylor expansion of z in z 20.318 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 20.318 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 20.318 * [taylor]: Taking taylor expansion of 6.0 in z 20.318 * [taylor]: Taking taylor expansion of z in z 20.320 * [taylor]: Taking taylor expansion of 0 in x 20.320 * [taylor]: Taking taylor expansion of 0 in z 20.320 * [taylor]: Taking taylor expansion of 0 in z 20.321 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 20.321 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 20.321 * [taylor]: Taking taylor expansion of 6.0 in z 20.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 20.321 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 20.321 * [taylor]: Taking taylor expansion of (/ 1 y) in z 20.321 * [taylor]: Taking taylor expansion of y in z 20.321 * [taylor]: Taking taylor expansion of (/ 1 x) in z 20.321 * [taylor]: Taking taylor expansion of x in z 20.321 * [taylor]: Taking taylor expansion of z in z 20.321 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 20.321 * [taylor]: Taking taylor expansion of 6.0 in x 20.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 20.321 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 20.321 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.321 * [taylor]: Taking taylor expansion of y in x 20.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.321 * [taylor]: Taking taylor expansion of x in x 20.321 * [taylor]: Taking taylor expansion of z in x 20.322 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 20.322 * [taylor]: Taking taylor expansion of 6.0 in y 20.322 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 20.322 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 20.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.322 * [taylor]: Taking taylor expansion of y in y 20.322 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.322 * [taylor]: Taking taylor expansion of x in y 20.322 * [taylor]: Taking taylor expansion of z in y 20.323 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 20.323 * [taylor]: Taking taylor expansion of 6.0 in y 20.323 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 20.323 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 20.323 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.323 * [taylor]: Taking taylor expansion of y in y 20.323 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.323 * [taylor]: Taking taylor expansion of x in y 20.323 * [taylor]: Taking taylor expansion of z in y 20.324 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 20.324 * [taylor]: Taking taylor expansion of 6.0 in x 20.324 * [taylor]: Taking taylor expansion of z in x 20.324 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 20.324 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 20.324 * [taylor]: Taking taylor expansion of 6.0 in x 20.324 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 20.324 * [taylor]: Taking taylor expansion of (* x z) in x 20.324 * [taylor]: Taking taylor expansion of x in x 20.325 * [taylor]: Taking taylor expansion of z in x 20.325 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 20.325 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 20.325 * [taylor]: Taking taylor expansion of 6.0 in z 20.325 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.325 * [taylor]: Taking taylor expansion of z in z 20.326 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 20.326 * [taylor]: Taking taylor expansion of 6.0 in z 20.326 * [taylor]: Taking taylor expansion of z in z 20.328 * [taylor]: Taking taylor expansion of 0 in x 20.329 * [taylor]: Taking taylor expansion of 0 in z 20.329 * [taylor]: Taking taylor expansion of 0 in z 20.333 * [taylor]: Taking taylor expansion of 0 in x 20.333 * [taylor]: Taking taylor expansion of 0 in z 20.334 * [taylor]: Taking taylor expansion of 0 in z 20.334 * [taylor]: Taking taylor expansion of 0 in z 20.337 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 20.337 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 20.337 * [taylor]: Taking taylor expansion of -6.0 in z 20.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 20.337 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 20.337 * [taylor]: Taking taylor expansion of (/ 1 x) in z 20.337 * [taylor]: Taking taylor expansion of x in z 20.337 * [taylor]: Taking taylor expansion of (/ 1 y) in z 20.337 * [taylor]: Taking taylor expansion of y in z 20.337 * [taylor]: Taking taylor expansion of z in z 20.337 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 20.337 * [taylor]: Taking taylor expansion of -6.0 in x 20.337 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 20.337 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 20.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.337 * [taylor]: Taking taylor expansion of x in x 20.338 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.338 * [taylor]: Taking taylor expansion of y in x 20.338 * [taylor]: Taking taylor expansion of z in x 20.338 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 20.338 * [taylor]: Taking taylor expansion of -6.0 in y 20.338 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 20.338 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 20.338 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.338 * [taylor]: Taking taylor expansion of x in y 20.338 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.338 * [taylor]: Taking taylor expansion of y in y 20.338 * [taylor]: Taking taylor expansion of z in y 20.339 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 20.339 * [taylor]: Taking taylor expansion of -6.0 in y 20.339 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 20.339 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 20.339 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.339 * [taylor]: Taking taylor expansion of x in y 20.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.339 * [taylor]: Taking taylor expansion of y in y 20.339 * [taylor]: Taking taylor expansion of z in y 20.340 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 20.340 * [taylor]: Taking taylor expansion of 6.0 in x 20.340 * [taylor]: Taking taylor expansion of z in x 20.341 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 20.341 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 20.341 * [taylor]: Taking taylor expansion of 6.0 in x 20.341 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 20.341 * [taylor]: Taking taylor expansion of (* x z) in x 20.341 * [taylor]: Taking taylor expansion of x in x 20.341 * [taylor]: Taking taylor expansion of z in x 20.341 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 20.341 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 20.341 * [taylor]: Taking taylor expansion of 6.0 in z 20.341 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.342 * [taylor]: Taking taylor expansion of z in z 20.342 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 20.343 * [taylor]: Taking taylor expansion of 6.0 in z 20.343 * [taylor]: Taking taylor expansion of z in z 20.344 * [taylor]: Taking taylor expansion of 0 in x 20.346 * [taylor]: Taking taylor expansion of 0 in z 20.346 * [taylor]: Taking taylor expansion of 0 in z 20.349 * [taylor]: Taking taylor expansion of 0 in x 20.349 * [taylor]: Taking taylor expansion of 0 in z 20.351 * [taylor]: Taking taylor expansion of 0 in z 20.351 * [taylor]: Taking taylor expansion of 0 in z 20.353 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 20.353 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0 20.353 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 20.353 * [taylor]: Taking taylor expansion of (- y x) in z 20.353 * [taylor]: Taking taylor expansion of y in z 20.353 * [taylor]: Taking taylor expansion of x in z 20.353 * [taylor]: Taking taylor expansion of z in z 20.353 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 20.353 * [taylor]: Taking taylor expansion of (- y x) in x 20.353 * [taylor]: Taking taylor expansion of y in x 20.353 * [taylor]: Taking taylor expansion of x in x 20.353 * [taylor]: Taking taylor expansion of z in x 20.353 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 20.353 * [taylor]: Taking taylor expansion of (- y x) in y 20.353 * [taylor]: Taking taylor expansion of y in y 20.353 * [taylor]: Taking taylor expansion of x in y 20.353 * [taylor]: Taking taylor expansion of z in y 20.353 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 20.353 * [taylor]: Taking taylor expansion of (- y x) in y 20.353 * [taylor]: Taking taylor expansion of y in y 20.353 * [taylor]: Taking taylor expansion of x in y 20.354 * [taylor]: Taking taylor expansion of z in y 20.354 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 20.354 * [taylor]: Taking taylor expansion of -1 in x 20.354 * [taylor]: Taking taylor expansion of (* x z) in x 20.354 * [taylor]: Taking taylor expansion of x in x 20.354 * [taylor]: Taking taylor expansion of z in x 20.354 * [taylor]: Taking taylor expansion of 0 in z 20.355 * [taylor]: Taking taylor expansion of z in x 20.355 * [taylor]: Taking taylor expansion of z in z 20.355 * [taylor]: Taking taylor expansion of (- z) in z 20.355 * [taylor]: Taking taylor expansion of z in z 20.356 * [taylor]: Taking taylor expansion of 0 in x 20.356 * [taylor]: Taking taylor expansion of 0 in z 20.356 * [taylor]: Taking taylor expansion of 0 in z 20.356 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 20.356 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 20.356 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 20.356 * [taylor]: Taking taylor expansion of (/ 1 y) in z 20.356 * [taylor]: Taking taylor expansion of y in z 20.356 * [taylor]: Taking taylor expansion of (/ 1 x) in z 20.356 * [taylor]: Taking taylor expansion of x in z 20.357 * [taylor]: Taking taylor expansion of z in z 20.357 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 20.357 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 20.357 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.357 * [taylor]: Taking taylor expansion of y in x 20.357 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.357 * [taylor]: Taking taylor expansion of x in x 20.357 * [taylor]: Taking taylor expansion of z in x 20.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 20.358 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 20.358 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.358 * [taylor]: Taking taylor expansion of y in y 20.358 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.358 * [taylor]: Taking taylor expansion of x in y 20.358 * [taylor]: Taking taylor expansion of z in y 20.358 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 20.358 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 20.358 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.358 * [taylor]: Taking taylor expansion of y in y 20.359 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.359 * [taylor]: Taking taylor expansion of x in y 20.359 * [taylor]: Taking taylor expansion of z in y 20.359 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.359 * [taylor]: Taking taylor expansion of z in x 20.360 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 20.360 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 20.360 * [taylor]: Taking taylor expansion of (* x z) in x 20.360 * [taylor]: Taking taylor expansion of x in x 20.360 * [taylor]: Taking taylor expansion of z in x 20.360 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 20.360 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.360 * [taylor]: Taking taylor expansion of z in z 20.361 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.361 * [taylor]: Taking taylor expansion of z in z 20.362 * [taylor]: Taking taylor expansion of 0 in x 20.363 * [taylor]: Taking taylor expansion of 0 in z 20.363 * [taylor]: Taking taylor expansion of 0 in z 20.365 * [taylor]: Taking taylor expansion of 0 in x 20.365 * [taylor]: Taking taylor expansion of 0 in z 20.366 * [taylor]: Taking taylor expansion of 0 in z 20.366 * [taylor]: Taking taylor expansion of 0 in z 20.368 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 20.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 20.368 * [taylor]: Taking taylor expansion of -1 in z 20.368 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 20.368 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 20.368 * [taylor]: Taking taylor expansion of (/ 1 x) in z 20.368 * [taylor]: Taking taylor expansion of x in z 20.368 * [taylor]: Taking taylor expansion of (/ 1 y) in z 20.368 * [taylor]: Taking taylor expansion of y in z 20.368 * [taylor]: Taking taylor expansion of z in z 20.368 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x 20.368 * [taylor]: Taking taylor expansion of -1 in x 20.368 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 20.368 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 20.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.368 * [taylor]: Taking taylor expansion of x in x 20.369 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.369 * [taylor]: Taking taylor expansion of y in x 20.369 * [taylor]: Taking taylor expansion of z in x 20.369 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 20.369 * [taylor]: Taking taylor expansion of -1 in y 20.369 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 20.369 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 20.369 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.369 * [taylor]: Taking taylor expansion of x in y 20.369 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.369 * [taylor]: Taking taylor expansion of y in y 20.370 * [taylor]: Taking taylor expansion of z in y 20.370 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 20.370 * [taylor]: Taking taylor expansion of -1 in y 20.370 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 20.370 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 20.370 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.370 * [taylor]: Taking taylor expansion of x in y 20.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.370 * [taylor]: Taking taylor expansion of y in y 20.370 * [taylor]: Taking taylor expansion of z in y 20.371 * [taylor]: Taking taylor expansion of (/ 1 z) in x 20.371 * [taylor]: Taking taylor expansion of z in x 20.372 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 20.372 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 20.372 * [taylor]: Taking taylor expansion of (* x z) in x 20.372 * [taylor]: Taking taylor expansion of x in x 20.372 * [taylor]: Taking taylor expansion of z in x 20.372 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 20.372 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.372 * [taylor]: Taking taylor expansion of z in z 20.373 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.373 * [taylor]: Taking taylor expansion of z in z 20.375 * [taylor]: Taking taylor expansion of 0 in x 20.376 * [taylor]: Taking taylor expansion of 0 in z 20.376 * [taylor]: Taking taylor expansion of 0 in z 20.379 * [taylor]: Taking taylor expansion of 0 in x 20.379 * [taylor]: Taking taylor expansion of 0 in z 20.380 * [taylor]: Taking taylor expansion of 0 in z 20.380 * [taylor]: Taking taylor expansion of 0 in z 20.384 * * * * [progress]: [ 3 / 3 ] generating series at (2) 20.384 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 20.384 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 20.384 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 20.384 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 20.384 * [taylor]: Taking taylor expansion of 6.0 in z 20.384 * [taylor]: Taking taylor expansion of (* z y) in z 20.384 * [taylor]: Taking taylor expansion of z in z 20.384 * [taylor]: Taking taylor expansion of y in z 20.384 * [taylor]: Taking taylor expansion of x in z 20.384 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 20.384 * [taylor]: Taking taylor expansion of 6.0 in z 20.384 * [taylor]: Taking taylor expansion of (* x z) in z 20.384 * [taylor]: Taking taylor expansion of x in z 20.384 * [taylor]: Taking taylor expansion of z in z 20.384 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 20.384 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 20.384 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 20.385 * [taylor]: Taking taylor expansion of 6.0 in y 20.385 * [taylor]: Taking taylor expansion of (* z y) in y 20.385 * [taylor]: Taking taylor expansion of z in y 20.385 * [taylor]: Taking taylor expansion of y in y 20.385 * [taylor]: Taking taylor expansion of x in y 20.385 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 20.385 * [taylor]: Taking taylor expansion of 6.0 in y 20.385 * [taylor]: Taking taylor expansion of (* x z) in y 20.385 * [taylor]: Taking taylor expansion of x in y 20.385 * [taylor]: Taking taylor expansion of z in y 20.385 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 20.385 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 20.385 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 20.385 * [taylor]: Taking taylor expansion of 6.0 in x 20.385 * [taylor]: Taking taylor expansion of (* z y) in x 20.385 * [taylor]: Taking taylor expansion of z in x 20.385 * [taylor]: Taking taylor expansion of y in x 20.385 * [taylor]: Taking taylor expansion of x in x 20.385 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 20.385 * [taylor]: Taking taylor expansion of 6.0 in x 20.385 * [taylor]: Taking taylor expansion of (* x z) in x 20.385 * [taylor]: Taking taylor expansion of x in x 20.385 * [taylor]: Taking taylor expansion of z in x 20.385 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 20.385 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 20.385 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 20.385 * [taylor]: Taking taylor expansion of 6.0 in x 20.385 * [taylor]: Taking taylor expansion of (* z y) in x 20.385 * [taylor]: Taking taylor expansion of z in x 20.385 * [taylor]: Taking taylor expansion of y in x 20.385 * [taylor]: Taking taylor expansion of x in x 20.385 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 20.385 * [taylor]: Taking taylor expansion of 6.0 in x 20.385 * [taylor]: Taking taylor expansion of (* x z) in x 20.385 * [taylor]: Taking taylor expansion of x in x 20.385 * [taylor]: Taking taylor expansion of z in x 20.386 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 20.386 * [taylor]: Taking taylor expansion of 6.0 in y 20.386 * [taylor]: Taking taylor expansion of (* z y) in y 20.386 * [taylor]: Taking taylor expansion of z in y 20.386 * [taylor]: Taking taylor expansion of y in y 20.386 * [taylor]: Taking taylor expansion of 0 in z 20.387 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 20.387 * [taylor]: Taking taylor expansion of 1 in y 20.387 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 20.387 * [taylor]: Taking taylor expansion of 6.0 in y 20.387 * [taylor]: Taking taylor expansion of z in y 20.388 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 20.388 * [taylor]: Taking taylor expansion of 1 in z 20.388 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 20.388 * [taylor]: Taking taylor expansion of 6.0 in z 20.388 * [taylor]: Taking taylor expansion of z in z 20.389 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 20.389 * [taylor]: Taking taylor expansion of 6.0 in z 20.389 * [taylor]: Taking taylor expansion of z in z 20.392 * [taylor]: Taking taylor expansion of 0 in y 20.392 * [taylor]: Taking taylor expansion of 0 in z 20.392 * [taylor]: Taking taylor expansion of 0 in z 20.393 * [taylor]: Taking taylor expansion of 0 in z 20.396 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 20.397 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 20.397 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 20.397 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 20.397 * [taylor]: Taking taylor expansion of 6.0 in z 20.397 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 20.397 * [taylor]: Taking taylor expansion of (* z y) in z 20.397 * [taylor]: Taking taylor expansion of z in z 20.397 * [taylor]: Taking taylor expansion of y in z 20.397 * [taylor]: Taking taylor expansion of (/ 1 x) in z 20.397 * [taylor]: Taking taylor expansion of x in z 20.397 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 20.397 * [taylor]: Taking taylor expansion of 6.0 in z 20.397 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 20.397 * [taylor]: Taking taylor expansion of (* x z) in z 20.397 * [taylor]: Taking taylor expansion of x in z 20.397 * [taylor]: Taking taylor expansion of z in z 20.397 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 20.397 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 20.397 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 20.398 * [taylor]: Taking taylor expansion of 6.0 in y 20.398 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 20.398 * [taylor]: Taking taylor expansion of (* z y) in y 20.398 * [taylor]: Taking taylor expansion of z in y 20.398 * [taylor]: Taking taylor expansion of y in y 20.398 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.398 * [taylor]: Taking taylor expansion of x in y 20.398 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 20.398 * [taylor]: Taking taylor expansion of 6.0 in y 20.398 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 20.398 * [taylor]: Taking taylor expansion of (* x z) in y 20.398 * [taylor]: Taking taylor expansion of x in y 20.398 * [taylor]: Taking taylor expansion of z in y 20.398 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 20.398 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 20.398 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 20.398 * [taylor]: Taking taylor expansion of 6.0 in x 20.398 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 20.398 * [taylor]: Taking taylor expansion of (* z y) in x 20.398 * [taylor]: Taking taylor expansion of z in x 20.398 * [taylor]: Taking taylor expansion of y in x 20.398 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.398 * [taylor]: Taking taylor expansion of x in x 20.399 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 20.399 * [taylor]: Taking taylor expansion of 6.0 in x 20.399 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 20.399 * [taylor]: Taking taylor expansion of (* x z) in x 20.399 * [taylor]: Taking taylor expansion of x in x 20.399 * [taylor]: Taking taylor expansion of z in x 20.399 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 20.399 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 20.399 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 20.399 * [taylor]: Taking taylor expansion of 6.0 in x 20.399 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 20.399 * [taylor]: Taking taylor expansion of (* z y) in x 20.399 * [taylor]: Taking taylor expansion of z in x 20.399 * [taylor]: Taking taylor expansion of y in x 20.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.399 * [taylor]: Taking taylor expansion of x in x 20.399 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 20.399 * [taylor]: Taking taylor expansion of 6.0 in x 20.399 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 20.399 * [taylor]: Taking taylor expansion of (* x z) in x 20.400 * [taylor]: Taking taylor expansion of x in x 20.400 * [taylor]: Taking taylor expansion of z in x 20.400 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 20.400 * [taylor]: Taking taylor expansion of 1 in y 20.400 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 20.400 * [taylor]: Taking taylor expansion of 6.0 in y 20.400 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.400 * [taylor]: Taking taylor expansion of z in y 20.402 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 20.402 * [taylor]: Taking taylor expansion of 6.0 in y 20.402 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 20.402 * [taylor]: Taking taylor expansion of (* z y) in y 20.402 * [taylor]: Taking taylor expansion of z in y 20.402 * [taylor]: Taking taylor expansion of y in y 20.402 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 20.403 * [taylor]: Taking taylor expansion of 6.0 in z 20.403 * [taylor]: Taking taylor expansion of z in z 20.403 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 20.403 * [taylor]: Taking taylor expansion of 1 in z 20.403 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 20.403 * [taylor]: Taking taylor expansion of 6.0 in z 20.403 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.403 * [taylor]: Taking taylor expansion of z in z 20.407 * [taylor]: Taking taylor expansion of 0 in y 20.408 * [taylor]: Taking taylor expansion of 0 in z 20.409 * [taylor]: Taking taylor expansion of 0 in z 20.411 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 20.411 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 20.411 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 20.411 * [taylor]: Taking taylor expansion of 6.0 in z 20.411 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 20.412 * [taylor]: Taking taylor expansion of (* z y) in z 20.412 * [taylor]: Taking taylor expansion of z in z 20.412 * [taylor]: Taking taylor expansion of y in z 20.412 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 20.412 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 20.412 * [taylor]: Taking taylor expansion of 6.0 in z 20.412 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 20.412 * [taylor]: Taking taylor expansion of (* x z) in z 20.412 * [taylor]: Taking taylor expansion of x in z 20.412 * [taylor]: Taking taylor expansion of z in z 20.412 * [taylor]: Taking taylor expansion of (/ 1 x) in z 20.412 * [taylor]: Taking taylor expansion of x in z 20.412 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 20.412 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 20.412 * [taylor]: Taking taylor expansion of 6.0 in y 20.412 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 20.412 * [taylor]: Taking taylor expansion of (* z y) in y 20.412 * [taylor]: Taking taylor expansion of z in y 20.412 * [taylor]: Taking taylor expansion of y in y 20.413 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 20.413 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 20.413 * [taylor]: Taking taylor expansion of 6.0 in y 20.413 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 20.413 * [taylor]: Taking taylor expansion of (* x z) in y 20.413 * [taylor]: Taking taylor expansion of x in y 20.413 * [taylor]: Taking taylor expansion of z in y 20.413 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.413 * [taylor]: Taking taylor expansion of x in y 20.413 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 20.413 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 20.413 * [taylor]: Taking taylor expansion of 6.0 in x 20.413 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 20.413 * [taylor]: Taking taylor expansion of (* z y) in x 20.413 * [taylor]: Taking taylor expansion of z in x 20.413 * [taylor]: Taking taylor expansion of y in x 20.413 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 20.413 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 20.413 * [taylor]: Taking taylor expansion of 6.0 in x 20.413 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 20.413 * [taylor]: Taking taylor expansion of (* x z) in x 20.413 * [taylor]: Taking taylor expansion of x in x 20.413 * [taylor]: Taking taylor expansion of z in x 20.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.414 * [taylor]: Taking taylor expansion of x in x 20.414 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 20.414 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 20.414 * [taylor]: Taking taylor expansion of 6.0 in x 20.414 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 20.414 * [taylor]: Taking taylor expansion of (* z y) in x 20.414 * [taylor]: Taking taylor expansion of z in x 20.414 * [taylor]: Taking taylor expansion of y in x 20.414 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 20.414 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 20.414 * [taylor]: Taking taylor expansion of 6.0 in x 20.414 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 20.414 * [taylor]: Taking taylor expansion of (* x z) in x 20.414 * [taylor]: Taking taylor expansion of x in x 20.414 * [taylor]: Taking taylor expansion of z in x 20.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.414 * [taylor]: Taking taylor expansion of x in x 20.415 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y 20.415 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 20.415 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 20.415 * [taylor]: Taking taylor expansion of 6.0 in y 20.415 * [taylor]: Taking taylor expansion of (/ 1 z) in y 20.415 * [taylor]: Taking taylor expansion of z in y 20.415 * [taylor]: Taking taylor expansion of 1 in y 20.417 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 20.417 * [taylor]: Taking taylor expansion of 6.0 in y 20.417 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 20.417 * [taylor]: Taking taylor expansion of (* z y) in y 20.417 * [taylor]: Taking taylor expansion of z in y 20.417 * [taylor]: Taking taylor expansion of y in y 20.418 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 20.418 * [taylor]: Taking taylor expansion of 6.0 in z 20.418 * [taylor]: Taking taylor expansion of z in z 20.418 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 20.418 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 20.418 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 20.418 * [taylor]: Taking taylor expansion of 6.0 in z 20.418 * [taylor]: Taking taylor expansion of (/ 1 z) in z 20.418 * [taylor]: Taking taylor expansion of z in z 20.418 * [taylor]: Taking taylor expansion of 1 in z 20.422 * [taylor]: Taking taylor expansion of 0 in y 20.423 * [taylor]: Taking taylor expansion of 0 in z 20.424 * [taylor]: Taking taylor expansion of 0 in z 20.426 * * * [progress]: simplifying candidates 20.427 * [simplify]: Simplifying using # : (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) (+ (log 6.0) (+ (log (- y x)) (log z))) (+ (log 6.0) (log (* (- y x) z))) (log (* 6.0 (* (- y x) z))) (exp (* 6.0 (* (- y x) z))) (* (* (* 6.0 6.0) 6.0) (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z))) (* (* (* 6.0 6.0) 6.0) (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z))) (* (cbrt (* 6.0 (* (- y x) z))) (cbrt (* 6.0 (* (- y x) z)))) (cbrt (* 6.0 (* (- y x) z))) (* (* (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z))) (* 6.0 (* (- y x) z))) (sqrt (* 6.0 (* (- y x) z))) (sqrt (* 6.0 (* (- y x) z))) (* 6.0 (- y x)) (* (cbrt 6.0) (* (- y x) z)) (* (sqrt 6.0) (* (- y x) z)) (* 6.0 (* (- y x) z)) (* 6.0 (* (- (pow y 3) (pow x 3)) z)) (* 6.0 (* (- (* y y) (* x x)) z)) (* (- y x) z) (+ (log (- y x)) (log z)) (log (* (- y x) z)) (exp (* (- y x) z)) (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z))) (cbrt (* (- y x) z)) (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (sqrt (* (- y x) z)) (sqrt (* (- y x) z)) (* (sqrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (sqrt z)) (* (- y x) 1) (* (cbrt (- y x)) z) (* (sqrt (- y x)) z) (* (- y x) z) (* (- (sqrt y) (sqrt x)) z) (* (- y x) z) (* (- (pow y 3) (pow x 3)) z) (* (- (* y y) (* x x)) z) (* (exp x) (exp (* 6.0 (* (- y x) z)))) (log (+ x (* 6.0 (* (- y x) z)))) (exp (+ x (* 6.0 (* (- y x) z)))) (* (cbrt (+ x (* 6.0 (* (- y x) z)))) (cbrt (+ x (* 6.0 (* (- y x) z))))) (cbrt (+ x (* 6.0 (* (- y x) z)))) (* (* (+ x (* 6.0 (* (- y x) z))) (+ x (* 6.0 (* (- y x) z)))) (+ x (* 6.0 (* (- y x) z)))) (sqrt (+ x (* 6.0 (* (- y x) z)))) (sqrt (+ x (* 6.0 (* (- y x) z)))) (+ (pow x 3) (pow (* 6.0 (* (- y x) z)) 3)) (+ (* x x) (- (* (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z))) (* x (* 6.0 (* (- y x) z))))) (- (* x x) (* (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)))) (- x (* 6.0 (* (- y x) z))) 0 (- (* 6.0 (* z y)) (* 6.0 (* x z))) (- (* 6.0 (* z y)) (* 6.0 (* x z))) 0 (- (* z y) (* x z)) (- (* z y) (* x z)) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) 20.430 * * [simplify]: iteration 0 : 94 enodes (cost 637 ) 20.444 * * [simplify]: iteration 1 : 241 enodes (cost 604 ) 20.492 * * [simplify]: iteration 2 : 843 enodes (cost 518 ) 20.782 * * [simplify]: iteration 3 : 4476 enodes (cost 518 ) 22.493 * * [simplify]: iteration done : 5000 enodes (cost 518 ) 22.494 * [simplify]: Simplified to: (* (* (- y x) z) 6.0) (* (* (- y x) z) 6.0) (log (* 6.0 (* (- y x) z))) (log (* 6.0 (* (- y x) z))) (log (* 6.0 (* (- y x) z))) (exp (* 6.0 (* (- y x) z))) (pow (* (* (- y x) z) 6.0) 3) (pow (* (* (- y x) z) 6.0) 3) (* (cbrt (* 6.0 (* (- y x) z))) (cbrt (* 6.0 (* (- y x) z)))) (cbrt (* 6.0 (* (- y x) z))) (pow (* (* (- y x) z) 6.0) 3) (sqrt (* 6.0 (* (- y x) z))) (sqrt (* 6.0 (* (- y x) z))) (* 6.0 (- y x)) (* (cbrt 6.0) (* (- y x) z)) (* (sqrt 6.0) (* (- y x) z)) (* (* (- y x) z) 6.0) (* 6.0 (* (- (pow y 3) (pow x 3)) z)) (* 6.0 (* (- (* y y) (* x x)) z)) (* (- y x) z) (log (* (- y x) z)) (log (* (- y x) z)) (exp (* (- y x) z)) (pow (* (- y x) z) 3) (* (cbrt (* (- y x) z)) (cbrt (* (- y x) z))) (cbrt (* (- y x) z)) (pow (* (- y x) z) 3) (sqrt (* (- y x) z)) (sqrt (* (- y x) z)) (* (sqrt (- y x)) (sqrt z)) (* (sqrt (- y x)) (sqrt z)) (* (- y x) (* (cbrt z) (cbrt z))) (* (- y x) (sqrt z)) (- y x) (* (cbrt (- y x)) z) (* (sqrt (- y x)) z) (* (- y x) z) (* (- (sqrt y) (sqrt x)) z) (* (- y x) z) (* (- (pow y 3) (pow x 3)) z) (* (- (* y y) (* x x)) z) (exp (+ x (* 6.0 (* (- y x) z)))) (log (+ x (* 6.0 (* (- y x) z)))) (exp (+ x (* 6.0 (* (- y x) z)))) (* (cbrt (+ x (* 6.0 (* (- y x) z)))) (cbrt (+ x (* 6.0 (* (- y x) z))))) (cbrt (+ x (* 6.0 (* (- y x) z)))) (pow (+ (* (* (- y x) z) 6.0) x) 3) (sqrt (+ x (* 6.0 (* (- y x) z)))) (sqrt (+ x (* 6.0 (* (- y x) z)))) (+ (pow x 3) (pow (* 6.0 (* (- y x) z)) 3)) (+ (* (* 6.0 (* (- y x) z)) (- (* 6.0 (* (- y x) z)) x)) (* x x)) (- (* x x) (* (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)))) (- x (* 6.0 (* (- y x) z))) 0 (* (* (- y x) z) 6.0) (* (* (- y x) z) 6.0) 0 (* (- y x) z) (* (- y x) z) (+ (* (* (- y x) z) 6.0) x) (+ (* (* (- y x) z) 6.0) x) (+ (* (* (- y x) z) 6.0) x) 22.494 * * * [progress]: adding candidates to table 22.607 * [progress]: [Phase 3 of 3] Extracting. 22.607 * * [regime]: Finding splitpoints for: (# # # # # # #) 22.608 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* (* (- y x) 6.0) z)) z y x) 22.609 * * * * [regimes]: Trying to branch on (+ x (* (* (- y x) 6.0) z)) from (# # # # # # #) 22.635 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 22.659 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 22.685 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 22.713 * * * [regime]: Found split indices: #