19.743 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (+ x (* (* (- y x) 6.0) z)) 0.021 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.023 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.025 * * [simplify]: iteration 2 : 31 enodes (cost 8 ) 0.029 * * [simplify]: iteration 3 : 63 enodes (cost 8 ) 0.043 * * [simplify]: iteration 4 : 104 enodes (cost 8 ) 0.059 * * [simplify]: iteration 5 : 161 enodes (cost 8 ) 0.094 * * [simplify]: iteration 6 : 198 enodes (cost 8 ) 0.135 * * [simplify]: iteration 7 : 238 enodes (cost 8 ) 0.185 * * [simplify]: iteration 8 : 294 enodes (cost 8 ) 0.293 * * [simplify]: iteration 9 : 416 enodes (cost 8 ) 0.508 * * [simplify]: iteration 10 : 565 enodes (cost 8 ) 0.658 * * [simplify]: iteration 11 : 653 enodes (cost 8 ) 0.895 * * [simplify]: iteration 12 : 762 enodes (cost 8 ) 1.237 * * [simplify]: iteration 13 : 835 enodes (cost 8 ) 1.483 * * [simplify]: iteration 14 : 854 enodes (cost 8 ) 1.806 * * [simplify]: iteration 15 : 898 enodes (cost 8 ) 2.158 * * [simplify]: iteration 16 : 997 enodes (cost 8 ) 2.637 * * [simplify]: iteration 17 : 1247 enodes (cost 8 ) 3.201 * * [simplify]: iteration 18 : 1505 enodes (cost 8 ) 3.921 * * [simplify]: iteration 19 : 1827 enodes (cost 8 ) 4.759 * * [simplify]: iteration 20 : 2039 enodes (cost 8 ) 5.414 * * [simplify]: iteration 21 : 2049 enodes (cost 8 ) 6.074 * * [simplify]: iteration 22 : 2051 enodes (cost 8 ) 6.728 * * [simplify]: iteration done : 2051 enodes (cost 8 ) 6.728 * [simplify]: Simplified to: (fma (- y x) (* 6.0 z) x) 6.731 * * [progress]: iteration 1 / 4 6.731 * * * [progress]: picking best candidate 6.739 * * * * [pick]: Picked # 6.739 * * * [progress]: localizing error 6.746 * * * [progress]: generating rewritten candidates 6.746 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.747 * * * [progress]: generating series expansions 6.747 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.747 * [approximate]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in (y x z) around 0 6.747 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in z 6.747 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x) 6.747 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in z 6.747 * [taylor]: Taking taylor expansion of (- y x) in z 6.747 * [taylor]: Taking taylor expansion of y in z 6.747 * [taylor]: Taking taylor expansion of x in z 6.747 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 6.747 * [taylor]: Taking taylor expansion of 6.0 in z 6.747 * [taylor]: Taking taylor expansion of z in z 6.748 * [taylor]: Taking taylor expansion of x in z 6.748 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in x 6.748 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x) 6.748 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in x 6.748 * [taylor]: Taking taylor expansion of (- y x) in x 6.748 * [taylor]: Taking taylor expansion of y in x 6.748 * [taylor]: Taking taylor expansion of x in x 6.748 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 6.748 * [taylor]: Taking taylor expansion of 6.0 in x 6.748 * [taylor]: Taking taylor expansion of z in x 6.748 * [taylor]: Taking taylor expansion of x in x 6.748 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in y 6.748 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x) 6.748 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in y 6.748 * [taylor]: Taking taylor expansion of (- y x) in y 6.748 * [taylor]: Taking taylor expansion of y in y 6.748 * [taylor]: Taking taylor expansion of x in y 6.748 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 6.748 * [taylor]: Taking taylor expansion of 6.0 in y 6.748 * [taylor]: Taking taylor expansion of z in y 6.748 * [taylor]: Taking taylor expansion of x in y 6.748 * [taylor]: Taking taylor expansion of (fma (- y x) (* 6.0 z) x) in y 6.748 * [taylor]: Rewrote expression to (+ (* (- y x) (* 6.0 z)) x) 6.748 * [taylor]: Taking taylor expansion of (* (- y x) (* 6.0 z)) in y 6.748 * [taylor]: Taking taylor expansion of (- y x) in y 6.748 * [taylor]: Taking taylor expansion of y in y 6.748 * [taylor]: Taking taylor expansion of x in y 6.748 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 6.748 * [taylor]: Taking taylor expansion of 6.0 in y 6.748 * [taylor]: Taking taylor expansion of z in y 6.748 * [taylor]: Taking taylor expansion of x in y 6.749 * [taylor]: Taking taylor expansion of (- x (* 6.0 (* x z))) in x 6.749 * [taylor]: Taking taylor expansion of x in x 6.749 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 6.749 * [taylor]: Taking taylor expansion of 6.0 in x 6.749 * [taylor]: Taking taylor expansion of (* x z) in x 6.749 * [taylor]: Taking taylor expansion of x in x 6.749 * [taylor]: Taking taylor expansion of z in x 6.750 * [taylor]: Taking taylor expansion of 0 in z 6.751 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 6.751 * [taylor]: Taking taylor expansion of 6.0 in x 6.751 * [taylor]: Taking taylor expansion of z in x 6.751 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 6.751 * [taylor]: Taking taylor expansion of 6.0 in z 6.751 * [taylor]: Taking taylor expansion of z in z 6.752 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 6.752 * [taylor]: Taking taylor expansion of 1 in z 6.752 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 6.752 * [taylor]: Taking taylor expansion of 6.0 in z 6.752 * [taylor]: Taking taylor expansion of z in z 6.755 * [taylor]: Taking taylor expansion of 0 in x 6.755 * [taylor]: Taking taylor expansion of 0 in z 6.755 * [taylor]: Taking taylor expansion of 0 in z 6.757 * [taylor]: Taking taylor expansion of 0 in z 6.761 * [approximate]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in (y x z) around 0 6.761 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in z 6.761 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x)) 6.761 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in z 6.761 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 6.761 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.761 * [taylor]: Taking taylor expansion of y in z 6.761 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.761 * [taylor]: Taking taylor expansion of x in z 6.761 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 6.761 * [taylor]: Taking taylor expansion of 6.0 in z 6.761 * [taylor]: Taking taylor expansion of z in z 6.761 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.762 * [taylor]: Taking taylor expansion of x in z 6.762 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in x 6.762 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x)) 6.762 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in x 6.762 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 6.762 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.762 * [taylor]: Taking taylor expansion of y in x 6.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.762 * [taylor]: Taking taylor expansion of x in x 6.762 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 6.762 * [taylor]: Taking taylor expansion of 6.0 in x 6.762 * [taylor]: Taking taylor expansion of z in x 6.762 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.762 * [taylor]: Taking taylor expansion of x in x 6.763 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in y 6.763 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x)) 6.763 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in y 6.763 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 6.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.763 * [taylor]: Taking taylor expansion of y in y 6.763 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.763 * [taylor]: Taking taylor expansion of x in y 6.763 * [taylor]: Taking taylor expansion of (/ 6.0 z) in y 6.763 * [taylor]: Taking taylor expansion of 6.0 in y 6.763 * [taylor]: Taking taylor expansion of z in y 6.763 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.763 * [taylor]: Taking taylor expansion of x in y 6.763 * [taylor]: Taking taylor expansion of (fma (- (/ 1 y) (/ 1 x)) (/ 6.0 z) (/ 1 x)) in y 6.763 * [taylor]: Rewrote expression to (+ (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) (/ 1 x)) 6.763 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (/ 6.0 z)) in y 6.763 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 6.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.763 * [taylor]: Taking taylor expansion of y in y 6.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.764 * [taylor]: Taking taylor expansion of x in y 6.764 * [taylor]: Taking taylor expansion of (/ 6.0 z) in y 6.764 * [taylor]: Taking taylor expansion of 6.0 in y 6.764 * [taylor]: Taking taylor expansion of z in y 6.764 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.764 * [taylor]: Taking taylor expansion of x in y 6.764 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x 6.764 * [taylor]: Taking taylor expansion of 6.0 in x 6.764 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.764 * [taylor]: Taking taylor expansion of z in x 6.766 * [taylor]: Taking taylor expansion of (- (/ 1 x) (* 6.0 (/ 1 (* x z)))) in x 6.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.766 * [taylor]: Taking taylor expansion of x in x 6.766 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 6.766 * [taylor]: Taking taylor expansion of 6.0 in x 6.766 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.766 * [taylor]: Taking taylor expansion of (* x z) in x 6.766 * [taylor]: Taking taylor expansion of x in x 6.766 * [taylor]: Taking taylor expansion of z in x 6.767 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 6.767 * [taylor]: Taking taylor expansion of 1 in z 6.767 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 6.767 * [taylor]: Taking taylor expansion of 6.0 in z 6.767 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.767 * [taylor]: Taking taylor expansion of z in z 6.769 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 6.769 * [taylor]: Taking taylor expansion of 6.0 in z 6.769 * [taylor]: Taking taylor expansion of z in z 6.771 * [taylor]: Taking taylor expansion of 0 in x 6.773 * [taylor]: Taking taylor expansion of 0 in z 6.774 * [taylor]: Taking taylor expansion of 0 in z 6.776 * [approximate]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in (y x z) around 0 6.776 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in z 6.776 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x)) 6.776 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in z 6.776 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 6.776 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.776 * [taylor]: Taking taylor expansion of x in z 6.776 * [taylor]: Taking taylor expansion of (/ 1 y) in z 6.776 * [taylor]: Taking taylor expansion of y in z 6.776 * [taylor]: Taking taylor expansion of (/ -6.0 z) in z 6.776 * [taylor]: Taking taylor expansion of -6.0 in z 6.776 * [taylor]: Taking taylor expansion of z in z 6.777 * [taylor]: Taking taylor expansion of (/ -1 x) in z 6.777 * [taylor]: Taking taylor expansion of -1 in z 6.777 * [taylor]: Taking taylor expansion of x in z 6.777 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in x 6.777 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x)) 6.777 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in x 6.777 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 6.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.777 * [taylor]: Taking taylor expansion of x in x 6.777 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.777 * [taylor]: Taking taylor expansion of y in x 6.777 * [taylor]: Taking taylor expansion of (/ -6.0 z) in x 6.777 * [taylor]: Taking taylor expansion of -6.0 in x 6.777 * [taylor]: Taking taylor expansion of z in x 6.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.777 * [taylor]: Taking taylor expansion of -1 in x 6.777 * [taylor]: Taking taylor expansion of x in x 6.778 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in y 6.778 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x)) 6.778 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in y 6.778 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 6.778 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.778 * [taylor]: Taking taylor expansion of x in y 6.778 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.778 * [taylor]: Taking taylor expansion of y in y 6.778 * [taylor]: Taking taylor expansion of (/ -6.0 z) in y 6.778 * [taylor]: Taking taylor expansion of -6.0 in y 6.778 * [taylor]: Taking taylor expansion of z in y 6.778 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.778 * [taylor]: Taking taylor expansion of -1 in y 6.778 * [taylor]: Taking taylor expansion of x in y 6.778 * [taylor]: Taking taylor expansion of (fma (- (/ 1 x) (/ 1 y)) (/ -6.0 z) (/ -1 x)) in y 6.779 * [taylor]: Rewrote expression to (+ (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) (/ -1 x)) 6.779 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (/ -6.0 z)) in y 6.779 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 6.779 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.779 * [taylor]: Taking taylor expansion of x in y 6.779 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.779 * [taylor]: Taking taylor expansion of y in y 6.779 * [taylor]: Taking taylor expansion of (/ -6.0 z) in y 6.779 * [taylor]: Taking taylor expansion of -6.0 in y 6.779 * [taylor]: Taking taylor expansion of z in y 6.779 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.779 * [taylor]: Taking taylor expansion of -1 in y 6.779 * [taylor]: Taking taylor expansion of x in y 6.780 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in x 6.780 * [taylor]: Taking taylor expansion of 6.0 in x 6.780 * [taylor]: Taking taylor expansion of (/ 1 z) in x 6.780 * [taylor]: Taking taylor expansion of z in x 6.781 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 6.781 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 6.781 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 6.781 * [taylor]: Taking taylor expansion of 6.0 in x 6.781 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 6.781 * [taylor]: Taking taylor expansion of (* x z) in x 6.781 * [taylor]: Taking taylor expansion of x in x 6.781 * [taylor]: Taking taylor expansion of z in x 6.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.782 * [taylor]: Taking taylor expansion of x in x 6.782 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 6.782 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 6.782 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 6.782 * [taylor]: Taking taylor expansion of 6.0 in z 6.782 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.782 * [taylor]: Taking taylor expansion of z in z 6.783 * [taylor]: Taking taylor expansion of 1 in z 6.784 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 6.784 * [taylor]: Taking taylor expansion of 6.0 in z 6.784 * [taylor]: Taking taylor expansion of z in z 6.786 * [taylor]: Taking taylor expansion of 0 in x 6.787 * [taylor]: Taking taylor expansion of 0 in z 6.788 * [taylor]: Taking taylor expansion of 0 in z 6.790 * * * [progress]: simplifying candidates 6.790 * [simplify]: Simplifying using # : (expm1 (fma (- y x) (* 6.0 z) x)) (log1p (fma (- y x) (* 6.0 z) x)) (* (- y x) (* 6.0 z)) (log (fma (- y x) (* 6.0 z) x)) (exp (fma (- y x) (* 6.0 z) x)) (* (cbrt (fma (- y x) (* 6.0 z) x)) (cbrt (fma (- y x) (* 6.0 z) x))) (cbrt (fma (- y x) (* 6.0 z) x)) (* (* (fma (- y x) (* 6.0 z) x) (fma (- y x) (* 6.0 z) x)) (fma (- y x) (* 6.0 z) x)) (sqrt (fma (- y x) (* 6.0 z) x)) (sqrt (fma (- y x) (* 6.0 z) 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))) 6.791 * * [simplify]: iteration 0 : 23 enodes (cost 154 ) 6.794 * * [simplify]: iteration 1 : 44 enodes (cost 151 ) 6.800 * * [simplify]: iteration 2 : 107 enodes (cost 135 ) 6.830 * * [simplify]: iteration 3 : 297 enodes (cost 123 ) 6.942 * * [simplify]: iteration 4 : 1295 enodes (cost 123 ) 7.800 * * [simplify]: iteration done : 5002 enodes (cost 123 ) 7.801 * [simplify]: Simplified to: (expm1 (fma (- y x) (* 6.0 z) x)) (log1p (fma (- y x) (* 6.0 z) x)) (* (- y x) (* 6.0 z)) (log (fma (- y x) (* 6.0 z) x)) (exp (fma (- y x) (* 6.0 z) x)) (* (cbrt (fma (- y x) (* 6.0 z) x)) (cbrt (fma (- y x) (* 6.0 z) x))) (cbrt (fma (- y x) (* 6.0 z) x)) (pow (fma (- y x) (* 6.0 z) x) 3) (sqrt (fma (- y x) (* 6.0 z) x)) (sqrt (fma (- y x) (* 6.0 z) x)) (fma (- y x) (* 6.0 z) x) (fma (- y x) (* 6.0 z) x) (fma (- y x) (* 6.0 z) x) 7.801 * * * [progress]: adding candidates to table 7.837 * * [progress]: iteration 2 / 4 7.837 * * * [progress]: picking best candidate 7.844 * * * * [pick]: Picked # 7.844 * * * [progress]: localizing error 7.851 * * * [progress]: generating rewritten candidates 7.851 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 7.867 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 7.878 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 7.882 * * * [progress]: generating series expansions 7.882 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 7.883 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 7.883 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 7.883 * [taylor]: Taking taylor expansion of 6.0 in z 7.883 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 7.883 * [taylor]: Taking taylor expansion of (- y x) in z 7.883 * [taylor]: Taking taylor expansion of y in z 7.883 * [taylor]: Taking taylor expansion of x in z 7.883 * [taylor]: Taking taylor expansion of z in z 7.883 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 7.883 * [taylor]: Taking taylor expansion of 6.0 in x 7.883 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 7.883 * [taylor]: Taking taylor expansion of (- y x) in x 7.883 * [taylor]: Taking taylor expansion of y in x 7.883 * [taylor]: Taking taylor expansion of x in x 7.883 * [taylor]: Taking taylor expansion of z in x 7.883 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 7.883 * [taylor]: Taking taylor expansion of 6.0 in y 7.883 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.883 * [taylor]: Taking taylor expansion of (- y x) in y 7.883 * [taylor]: Taking taylor expansion of y in y 7.883 * [taylor]: Taking taylor expansion of x in y 7.883 * [taylor]: Taking taylor expansion of z in y 7.883 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 7.883 * [taylor]: Taking taylor expansion of 6.0 in y 7.883 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 7.883 * [taylor]: Taking taylor expansion of (- y x) in y 7.883 * [taylor]: Taking taylor expansion of y in y 7.883 * [taylor]: Taking taylor expansion of x in y 7.883 * [taylor]: Taking taylor expansion of z in y 7.883 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 7.883 * [taylor]: Taking taylor expansion of -6.0 in x 7.883 * [taylor]: Taking taylor expansion of (* x z) in x 7.883 * [taylor]: Taking taylor expansion of x in x 7.883 * [taylor]: Taking taylor expansion of z in x 7.884 * [taylor]: Taking taylor expansion of 0 in z 7.885 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 7.885 * [taylor]: Taking taylor expansion of 6.0 in x 7.885 * [taylor]: Taking taylor expansion of z in x 7.885 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.885 * [taylor]: Taking taylor expansion of 6.0 in z 7.885 * [taylor]: Taking taylor expansion of z in z 7.886 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 7.886 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.886 * [taylor]: Taking taylor expansion of 6.0 in z 7.886 * [taylor]: Taking taylor expansion of z in z 7.888 * [taylor]: Taking taylor expansion of 0 in x 7.888 * [taylor]: Taking taylor expansion of 0 in z 7.888 * [taylor]: Taking taylor expansion of 0 in z 7.889 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 7.889 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 7.889 * [taylor]: Taking taylor expansion of 6.0 in z 7.889 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 7.889 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 7.889 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.889 * [taylor]: Taking taylor expansion of y in z 7.889 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.889 * [taylor]: Taking taylor expansion of x in z 7.889 * [taylor]: Taking taylor expansion of z in z 7.889 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 7.889 * [taylor]: Taking taylor expansion of 6.0 in x 7.889 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 7.889 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.889 * [taylor]: Taking taylor expansion of y in x 7.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.889 * [taylor]: Taking taylor expansion of x in x 7.890 * [taylor]: Taking taylor expansion of z in x 7.890 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 7.891 * [taylor]: Taking taylor expansion of 6.0 in y 7.891 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 7.891 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.891 * [taylor]: Taking taylor expansion of y in y 7.891 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.891 * [taylor]: Taking taylor expansion of x in y 7.891 * [taylor]: Taking taylor expansion of z in y 7.891 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 7.891 * [taylor]: Taking taylor expansion of 6.0 in y 7.891 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 7.891 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.891 * [taylor]: Taking taylor expansion of y in y 7.892 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.892 * [taylor]: Taking taylor expansion of x in y 7.892 * [taylor]: Taking taylor expansion of z in y 7.892 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 7.892 * [taylor]: Taking taylor expansion of 6.0 in x 7.892 * [taylor]: Taking taylor expansion of z in x 7.893 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 7.893 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.893 * [taylor]: Taking taylor expansion of 6.0 in x 7.893 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.893 * [taylor]: Taking taylor expansion of (* x z) in x 7.893 * [taylor]: Taking taylor expansion of x in x 7.893 * [taylor]: Taking taylor expansion of z in x 7.894 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 7.894 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.894 * [taylor]: Taking taylor expansion of 6.0 in z 7.894 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.894 * [taylor]: Taking taylor expansion of z in z 7.895 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.895 * [taylor]: Taking taylor expansion of 6.0 in z 7.895 * [taylor]: Taking taylor expansion of z in z 7.897 * [taylor]: Taking taylor expansion of 0 in x 7.898 * [taylor]: Taking taylor expansion of 0 in z 7.898 * [taylor]: Taking taylor expansion of 0 in z 7.902 * [taylor]: Taking taylor expansion of 0 in x 7.902 * [taylor]: Taking taylor expansion of 0 in z 7.908 * [taylor]: Taking taylor expansion of 0 in z 7.908 * [taylor]: Taking taylor expansion of 0 in z 7.911 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 7.911 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 7.911 * [taylor]: Taking taylor expansion of -6.0 in z 7.911 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 7.911 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 7.911 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.911 * [taylor]: Taking taylor expansion of x in z 7.911 * [taylor]: Taking taylor expansion of (/ 1 y) in z 7.912 * [taylor]: Taking taylor expansion of y in z 7.912 * [taylor]: Taking taylor expansion of z in z 7.912 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 7.912 * [taylor]: Taking taylor expansion of -6.0 in x 7.912 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 7.912 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.912 * [taylor]: Taking taylor expansion of x in x 7.912 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.912 * [taylor]: Taking taylor expansion of y in x 7.912 * [taylor]: Taking taylor expansion of z in x 7.913 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 7.913 * [taylor]: Taking taylor expansion of -6.0 in y 7.913 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 7.913 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.913 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.913 * [taylor]: Taking taylor expansion of x in y 7.913 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.913 * [taylor]: Taking taylor expansion of y in y 7.913 * [taylor]: Taking taylor expansion of z in y 7.914 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 7.914 * [taylor]: Taking taylor expansion of -6.0 in y 7.914 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 7.914 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.914 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.914 * [taylor]: Taking taylor expansion of x in y 7.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.914 * [taylor]: Taking taylor expansion of y in y 7.914 * [taylor]: Taking taylor expansion of z in y 7.915 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 7.915 * [taylor]: Taking taylor expansion of 6.0 in x 7.915 * [taylor]: Taking taylor expansion of z in x 7.916 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 7.916 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.916 * [taylor]: Taking taylor expansion of 6.0 in x 7.916 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.916 * [taylor]: Taking taylor expansion of (* x z) in x 7.916 * [taylor]: Taking taylor expansion of x in x 7.916 * [taylor]: Taking taylor expansion of z in x 7.916 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 7.916 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.917 * [taylor]: Taking taylor expansion of 6.0 in z 7.917 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.917 * [taylor]: Taking taylor expansion of z in z 7.918 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.918 * [taylor]: Taking taylor expansion of 6.0 in z 7.918 * [taylor]: Taking taylor expansion of z in z 7.920 * [taylor]: Taking taylor expansion of 0 in x 7.921 * [taylor]: Taking taylor expansion of 0 in z 7.921 * [taylor]: Taking taylor expansion of 0 in z 7.925 * [taylor]: Taking taylor expansion of 0 in x 7.925 * [taylor]: Taking taylor expansion of 0 in z 7.927 * [taylor]: Taking taylor expansion of 0 in z 7.927 * [taylor]: Taking taylor expansion of 0 in z 7.929 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 7.929 * [approximate]: Taking taylor expansion of (* 6.0 (- y x)) in (y x) around 0 7.930 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in x 7.930 * [taylor]: Taking taylor expansion of 6.0 in x 7.930 * [taylor]: Taking taylor expansion of (- y x) in x 7.930 * [taylor]: Taking taylor expansion of y in x 7.930 * [taylor]: Taking taylor expansion of x in x 7.930 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 7.930 * [taylor]: Taking taylor expansion of 6.0 in y 7.930 * [taylor]: Taking taylor expansion of (- y x) in y 7.930 * [taylor]: Taking taylor expansion of y in y 7.930 * [taylor]: Taking taylor expansion of x in y 7.930 * [taylor]: Taking taylor expansion of (* 6.0 (- y x)) in y 7.930 * [taylor]: Taking taylor expansion of 6.0 in y 7.930 * [taylor]: Taking taylor expansion of (- y x) in y 7.930 * [taylor]: Taking taylor expansion of y in y 7.930 * [taylor]: Taking taylor expansion of x in y 7.930 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 7.930 * [taylor]: Taking taylor expansion of -6.0 in x 7.930 * [taylor]: Taking taylor expansion of x in x 7.931 * [taylor]: Taking taylor expansion of 6.0 in x 7.934 * [taylor]: Taking taylor expansion of 0 in x 7.936 * [taylor]: Taking taylor expansion of 0 in x 7.936 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in (y x) around 0 7.936 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in x 7.936 * [taylor]: Taking taylor expansion of 6.0 in x 7.936 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 7.936 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.936 * [taylor]: Taking taylor expansion of y in x 7.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.936 * [taylor]: Taking taylor expansion of x in x 7.937 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 7.937 * [taylor]: Taking taylor expansion of 6.0 in y 7.937 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.937 * [taylor]: Taking taylor expansion of y in y 7.937 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.937 * [taylor]: Taking taylor expansion of x in y 7.937 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 y) (/ 1 x))) in y 7.937 * [taylor]: Taking taylor expansion of 6.0 in y 7.937 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 7.937 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.937 * [taylor]: Taking taylor expansion of y in y 7.938 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.938 * [taylor]: Taking taylor expansion of x in y 7.938 * [taylor]: Taking taylor expansion of 6.0 in x 7.939 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 7.939 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 7.939 * [taylor]: Taking taylor expansion of 6.0 in x 7.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.939 * [taylor]: Taking taylor expansion of x in x 7.942 * [taylor]: Taking taylor expansion of 0 in x 7.946 * [taylor]: Taking taylor expansion of 0 in x 7.949 * [taylor]: Taking taylor expansion of 0 in x 7.950 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in (y x) around 0 7.950 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in x 7.950 * [taylor]: Taking taylor expansion of 6.0 in x 7.950 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 7.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.950 * [taylor]: Taking taylor expansion of x in x 7.950 * [taylor]: Taking taylor expansion of (/ 1 y) in x 7.950 * [taylor]: Taking taylor expansion of y in x 7.950 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 7.950 * [taylor]: Taking taylor expansion of 6.0 in y 7.950 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.950 * [taylor]: Taking taylor expansion of x in y 7.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.950 * [taylor]: Taking taylor expansion of y in y 7.951 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 x) (/ 1 y))) in y 7.951 * [taylor]: Taking taylor expansion of 6.0 in y 7.951 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 7.951 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.951 * [taylor]: Taking taylor expansion of x in y 7.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y 7.951 * [taylor]: Taking taylor expansion of y in y 7.952 * [taylor]: Taking taylor expansion of -6.0 in x 7.953 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 7.953 * [taylor]: Taking taylor expansion of 6.0 in x 7.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.953 * [taylor]: Taking taylor expansion of x in x 7.955 * [taylor]: Taking taylor expansion of 0 in x 7.958 * [taylor]: Taking taylor expansion of 0 in x 7.962 * [taylor]: Taking taylor expansion of 0 in x 7.962 * * * * [progress]: [ 3 / 3 ] generating series at (2) 7.962 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 7.962 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 7.962 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 7.962 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 7.962 * [taylor]: Taking taylor expansion of 6.0 in z 7.962 * [taylor]: Taking taylor expansion of (* z y) in z 7.962 * [taylor]: Taking taylor expansion of z in z 7.962 * [taylor]: Taking taylor expansion of y in z 7.962 * [taylor]: Taking taylor expansion of x in z 7.962 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 7.962 * [taylor]: Taking taylor expansion of 6.0 in z 7.962 * [taylor]: Taking taylor expansion of (* x z) in z 7.962 * [taylor]: Taking taylor expansion of x in z 7.963 * [taylor]: Taking taylor expansion of z in z 7.963 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 7.963 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 7.963 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 7.963 * [taylor]: Taking taylor expansion of 6.0 in y 7.963 * [taylor]: Taking taylor expansion of (* z y) in y 7.963 * [taylor]: Taking taylor expansion of z in y 7.963 * [taylor]: Taking taylor expansion of y in y 7.963 * [taylor]: Taking taylor expansion of x in y 7.963 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 7.963 * [taylor]: Taking taylor expansion of 6.0 in y 7.963 * [taylor]: Taking taylor expansion of (* x z) in y 7.963 * [taylor]: Taking taylor expansion of x in y 7.963 * [taylor]: Taking taylor expansion of z in y 7.963 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 7.963 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 7.963 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 7.963 * [taylor]: Taking taylor expansion of 6.0 in x 7.963 * [taylor]: Taking taylor expansion of (* z y) in x 7.963 * [taylor]: Taking taylor expansion of z in x 7.963 * [taylor]: Taking taylor expansion of y in x 7.963 * [taylor]: Taking taylor expansion of x in x 7.963 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 7.963 * [taylor]: Taking taylor expansion of 6.0 in x 7.963 * [taylor]: Taking taylor expansion of (* x z) in x 7.963 * [taylor]: Taking taylor expansion of x in x 7.963 * [taylor]: Taking taylor expansion of z in x 7.963 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 7.963 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 7.963 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 7.963 * [taylor]: Taking taylor expansion of 6.0 in x 7.963 * [taylor]: Taking taylor expansion of (* z y) in x 7.963 * [taylor]: Taking taylor expansion of z in x 7.963 * [taylor]: Taking taylor expansion of y in x 7.963 * [taylor]: Taking taylor expansion of x in x 7.963 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 7.963 * [taylor]: Taking taylor expansion of 6.0 in x 7.963 * [taylor]: Taking taylor expansion of (* x z) in x 7.963 * [taylor]: Taking taylor expansion of x in x 7.963 * [taylor]: Taking taylor expansion of z in x 7.964 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 7.964 * [taylor]: Taking taylor expansion of 6.0 in y 7.964 * [taylor]: Taking taylor expansion of (* z y) in y 7.964 * [taylor]: Taking taylor expansion of z in y 7.964 * [taylor]: Taking taylor expansion of y in y 7.965 * [taylor]: Taking taylor expansion of 0 in z 7.966 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 7.966 * [taylor]: Taking taylor expansion of 1 in y 7.966 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 7.966 * [taylor]: Taking taylor expansion of 6.0 in y 7.966 * [taylor]: Taking taylor expansion of z in y 7.966 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 7.966 * [taylor]: Taking taylor expansion of 1 in z 7.966 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.966 * [taylor]: Taking taylor expansion of 6.0 in z 7.966 * [taylor]: Taking taylor expansion of z in z 7.968 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 7.968 * [taylor]: Taking taylor expansion of 6.0 in z 7.968 * [taylor]: Taking taylor expansion of z in z 7.971 * [taylor]: Taking taylor expansion of 0 in y 7.971 * [taylor]: Taking taylor expansion of 0 in z 7.972 * [taylor]: Taking taylor expansion of 0 in z 7.973 * [taylor]: Taking taylor expansion of 0 in z 7.976 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 7.977 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 7.977 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 7.977 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 7.977 * [taylor]: Taking taylor expansion of 6.0 in z 7.977 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.977 * [taylor]: Taking taylor expansion of (* z y) in z 7.977 * [taylor]: Taking taylor expansion of z in z 7.977 * [taylor]: Taking taylor expansion of y in z 7.977 * [taylor]: Taking taylor expansion of (/ 1 x) in z 7.977 * [taylor]: Taking taylor expansion of x in z 7.977 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 7.977 * [taylor]: Taking taylor expansion of 6.0 in z 7.977 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.977 * [taylor]: Taking taylor expansion of (* x z) in z 7.977 * [taylor]: Taking taylor expansion of x in z 7.977 * [taylor]: Taking taylor expansion of z in z 7.978 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 7.978 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 7.978 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.978 * [taylor]: Taking taylor expansion of 6.0 in y 7.978 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.978 * [taylor]: Taking taylor expansion of (* z y) in y 7.978 * [taylor]: Taking taylor expansion of z in y 7.978 * [taylor]: Taking taylor expansion of y in y 7.978 * [taylor]: Taking taylor expansion of (/ 1 x) in y 7.978 * [taylor]: Taking taylor expansion of x in y 7.978 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 7.978 * [taylor]: Taking taylor expansion of 6.0 in y 7.978 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 7.978 * [taylor]: Taking taylor expansion of (* x z) in y 7.978 * [taylor]: Taking taylor expansion of x in y 7.978 * [taylor]: Taking taylor expansion of z in y 7.978 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 7.978 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 7.978 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.978 * [taylor]: Taking taylor expansion of 6.0 in x 7.978 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.978 * [taylor]: Taking taylor expansion of (* z y) in x 7.978 * [taylor]: Taking taylor expansion of z in x 7.978 * [taylor]: Taking taylor expansion of y in x 7.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.979 * [taylor]: Taking taylor expansion of x in x 7.979 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.979 * [taylor]: Taking taylor expansion of 6.0 in x 7.979 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.979 * [taylor]: Taking taylor expansion of (* x z) in x 7.979 * [taylor]: Taking taylor expansion of x in x 7.979 * [taylor]: Taking taylor expansion of z in x 7.979 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 7.979 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 7.979 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 7.979 * [taylor]: Taking taylor expansion of 6.0 in x 7.979 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 7.979 * [taylor]: Taking taylor expansion of (* z y) in x 7.979 * [taylor]: Taking taylor expansion of z in x 7.979 * [taylor]: Taking taylor expansion of y in x 7.979 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.979 * [taylor]: Taking taylor expansion of x in x 7.980 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 7.980 * [taylor]: Taking taylor expansion of 6.0 in x 7.980 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 7.980 * [taylor]: Taking taylor expansion of (* x z) in x 7.980 * [taylor]: Taking taylor expansion of x in x 7.980 * [taylor]: Taking taylor expansion of z in x 7.981 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 7.981 * [taylor]: Taking taylor expansion of 1 in y 7.981 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 7.981 * [taylor]: Taking taylor expansion of 6.0 in y 7.981 * [taylor]: Taking taylor expansion of (/ 1 z) in y 7.981 * [taylor]: Taking taylor expansion of z in y 7.983 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 7.983 * [taylor]: Taking taylor expansion of 6.0 in y 7.983 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 7.983 * [taylor]: Taking taylor expansion of (* z y) in y 7.983 * [taylor]: Taking taylor expansion of z in y 7.983 * [taylor]: Taking taylor expansion of y in y 7.983 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 7.983 * [taylor]: Taking taylor expansion of 6.0 in z 7.983 * [taylor]: Taking taylor expansion of z in z 7.984 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 7.984 * [taylor]: Taking taylor expansion of 1 in z 7.984 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 7.984 * [taylor]: Taking taylor expansion of 6.0 in z 7.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 7.984 * [taylor]: Taking taylor expansion of z in z 7.989 * [taylor]: Taking taylor expansion of 0 in y 7.990 * [taylor]: Taking taylor expansion of 0 in z 7.991 * [taylor]: Taking taylor expansion of 0 in z 7.994 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 7.994 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 7.994 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 7.994 * [taylor]: Taking taylor expansion of 6.0 in z 7.994 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 7.994 * [taylor]: Taking taylor expansion of (* z y) in z 7.994 * [taylor]: Taking taylor expansion of z in z 7.994 * [taylor]: Taking taylor expansion of y in z 7.999 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 7.999 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 7.999 * [taylor]: Taking taylor expansion of 6.0 in z 7.999 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 7.999 * [taylor]: Taking taylor expansion of (* x z) in z 7.999 * [taylor]: Taking taylor expansion of x in z 7.999 * [taylor]: Taking taylor expansion of z in z 8.000 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.000 * [taylor]: Taking taylor expansion of x in z 8.000 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 8.000 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 8.000 * [taylor]: Taking taylor expansion of 6.0 in y 8.000 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.000 * [taylor]: Taking taylor expansion of (* z y) in y 8.000 * [taylor]: Taking taylor expansion of z in y 8.000 * [taylor]: Taking taylor expansion of y in y 8.001 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 8.001 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 8.001 * [taylor]: Taking taylor expansion of 6.0 in y 8.001 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 8.001 * [taylor]: Taking taylor expansion of (* x z) in y 8.001 * [taylor]: Taking taylor expansion of x in y 8.001 * [taylor]: Taking taylor expansion of z in y 8.001 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.001 * [taylor]: Taking taylor expansion of x in y 8.001 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 8.001 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 8.001 * [taylor]: Taking taylor expansion of 6.0 in x 8.001 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.001 * [taylor]: Taking taylor expansion of (* z y) in x 8.001 * [taylor]: Taking taylor expansion of z in x 8.001 * [taylor]: Taking taylor expansion of y in x 8.001 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 8.001 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 8.001 * [taylor]: Taking taylor expansion of 6.0 in x 8.001 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.001 * [taylor]: Taking taylor expansion of (* x z) in x 8.001 * [taylor]: Taking taylor expansion of x in x 8.001 * [taylor]: Taking taylor expansion of z in x 8.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.002 * [taylor]: Taking taylor expansion of x in x 8.002 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 8.002 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 8.002 * [taylor]: Taking taylor expansion of 6.0 in x 8.002 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.002 * [taylor]: Taking taylor expansion of (* z y) in x 8.002 * [taylor]: Taking taylor expansion of z in x 8.002 * [taylor]: Taking taylor expansion of y in x 8.002 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 8.002 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 8.002 * [taylor]: Taking taylor expansion of 6.0 in x 8.002 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 8.002 * [taylor]: Taking taylor expansion of (* x z) in x 8.002 * [taylor]: Taking taylor expansion of x in x 8.002 * [taylor]: Taking taylor expansion of z in x 8.003 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.003 * [taylor]: Taking taylor expansion of x in x 8.003 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y 8.004 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 8.004 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 8.004 * [taylor]: Taking taylor expansion of 6.0 in y 8.004 * [taylor]: Taking taylor expansion of (/ 1 z) in y 8.004 * [taylor]: Taking taylor expansion of z in y 8.004 * [taylor]: Taking taylor expansion of 1 in y 8.006 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 8.006 * [taylor]: Taking taylor expansion of 6.0 in y 8.006 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.006 * [taylor]: Taking taylor expansion of (* z y) in y 8.006 * [taylor]: Taking taylor expansion of z in y 8.006 * [taylor]: Taking taylor expansion of y in y 8.006 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 8.006 * [taylor]: Taking taylor expansion of 6.0 in z 8.006 * [taylor]: Taking taylor expansion of z in z 8.007 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 8.007 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 8.007 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 8.007 * [taylor]: Taking taylor expansion of 6.0 in z 8.007 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.007 * [taylor]: Taking taylor expansion of z in z 8.007 * [taylor]: Taking taylor expansion of 1 in z 8.012 * [taylor]: Taking taylor expansion of 0 in y 8.012 * [taylor]: Taking taylor expansion of 0 in z 8.013 * [taylor]: Taking taylor expansion of 0 in z 8.016 * * * [progress]: simplifying candidates 8.017 * [simplify]: Simplifying using # : (expm1 (* (* (- y x) 6.0) z)) (log1p (* (* (- y x) 6.0) z)) (* (* (- 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) (expm1 (* (- y x) 6.0)) (log1p (* (- y x) 6.0)) (* (- 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) (expm1 (+ x (* (* (- y x) 6.0) z))) (log1p (+ x (* (* (- y 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 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))) 8.020 * * [simplify]: iteration 0 : 104 enodes (cost 692 ) 8.038 * * [simplify]: iteration 1 : 259 enodes (cost 647 ) 8.151 * * [simplify]: iteration 2 : 960 enodes (cost 553 ) 9.390 * * [simplify]: iteration 3 : 4700 enodes (cost 553 ) 10.905 * * [simplify]: iteration done : 5000 enodes (cost 553 ) 10.905 * [simplify]: Simplified to: (expm1 (* (* (- y x) 6.0) z)) (log1p (* (* (- y x) 6.0) z)) (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (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) (expm1 (* (- y x) 6.0)) (log1p (* (- y x) 6.0)) (* (- 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) (expm1 (fma (* (- y x) 6.0) z x)) (log1p (fma (* (- y x) 6.0) z x)) (exp (fma (* (- y x) 6.0) z x)) (log (fma (* (- y x) 6.0) z x)) (exp (fma (* (- y x) 6.0) z x)) (* (cbrt (fma (* (- y x) 6.0) z x)) (cbrt (fma (* (- y x) 6.0) z x))) (cbrt (fma (* (- y x) 6.0) z x)) (pow (fma (* (- y x) 6.0) z x) 3) (sqrt (fma (* (- y x) 6.0) z x)) (sqrt (fma (* (- y x) 6.0) z x)) (+ (pow x 3) (pow (* (* (- y x) 6.0) z) 3)) (fma x x (* (* (* (- y x) 6.0) z) (- (* (* (- y x) 6.0) z) x))) (* (- x (* (* (- y x) 6.0) z)) (fma (* (- y x) 6.0) z x)) (- x (* (* (- y x) 6.0) z)) 0 (* (* (- y x) 6.0) z) (* (* (- y x) 6.0) z) (* (- y x) 6.0) (* (- y x) 6.0) (* (- y x) 6.0) (fma (* (- y x) 6.0) z x) (fma (* (- y x) 6.0) z x) (fma (* (- y x) 6.0) z x) 10.906 * * * [progress]: adding candidates to table 11.078 * * [progress]: iteration 3 / 4 11.078 * * * [progress]: picking best candidate 11.090 * * * * [pick]: Picked # 11.091 * * * [progress]: localizing error 11.103 * * * [progress]: generating rewritten candidates 11.103 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 11.113 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1) 11.117 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 11.140 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 11.154 * * * [progress]: generating series expansions 11.154 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 11.154 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in (y x) around 0 11.154 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in x 11.154 * [taylor]: Taking taylor expansion of 6.0 in x 11.154 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in x 11.154 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 11.154 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.154 * [taylor]: Taking taylor expansion of y in x 11.154 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.154 * [taylor]: Taking taylor expansion of x in x 11.154 * [taylor]: Taking taylor expansion of (+ x y) in x 11.154 * [taylor]: Taking taylor expansion of x in x 11.154 * [taylor]: Taking taylor expansion of y in x 11.155 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in y 11.155 * [taylor]: Taking taylor expansion of 6.0 in y 11.155 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in y 11.155 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 11.155 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.155 * [taylor]: Taking taylor expansion of y in y 11.155 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.155 * [taylor]: Taking taylor expansion of x in y 11.155 * [taylor]: Taking taylor expansion of (+ x y) in y 11.155 * [taylor]: Taking taylor expansion of x in y 11.155 * [taylor]: Taking taylor expansion of y in y 11.155 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (pow y 2) (pow x 2)) (+ x y))) in y 11.155 * [taylor]: Taking taylor expansion of 6.0 in y 11.155 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) (pow x 2)) (+ x y)) in y 11.155 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 11.155 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.155 * [taylor]: Taking taylor expansion of y in y 11.155 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.155 * [taylor]: Taking taylor expansion of x in y 11.155 * [taylor]: Taking taylor expansion of (+ x y) in y 11.155 * [taylor]: Taking taylor expansion of x in y 11.155 * [taylor]: Taking taylor expansion of y in y 11.156 * [taylor]: Taking taylor expansion of (* -6.0 x) in x 11.156 * [taylor]: Taking taylor expansion of -6.0 in x 11.156 * [taylor]: Taking taylor expansion of x in x 11.158 * [taylor]: Taking taylor expansion of 6.0 in x 11.161 * [taylor]: Taking taylor expansion of 0 in x 11.169 * [taylor]: Taking taylor expansion of 0 in x 11.170 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in (y x) around 0 11.170 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in x 11.170 * [taylor]: Taking taylor expansion of 6.0 in x 11.170 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in x 11.170 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 11.170 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.170 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.170 * [taylor]: Taking taylor expansion of y in x 11.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.170 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.170 * [taylor]: Taking taylor expansion of x in x 11.171 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.171 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.171 * [taylor]: Taking taylor expansion of y in x 11.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.171 * [taylor]: Taking taylor expansion of x in x 11.172 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 11.172 * [taylor]: Taking taylor expansion of 6.0 in y 11.172 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 11.172 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.172 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.172 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.172 * [taylor]: Taking taylor expansion of y in y 11.173 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.173 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.173 * [taylor]: Taking taylor expansion of x in y 11.173 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.173 * [taylor]: Taking taylor expansion of y in y 11.174 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.174 * [taylor]: Taking taylor expansion of x in y 11.174 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 11.174 * [taylor]: Taking taylor expansion of 6.0 in y 11.175 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 11.175 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.175 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.175 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.175 * [taylor]: Taking taylor expansion of y in y 11.175 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.175 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.175 * [taylor]: Taking taylor expansion of x in y 11.175 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.175 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.175 * [taylor]: Taking taylor expansion of y in y 11.176 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.176 * [taylor]: Taking taylor expansion of x in y 11.177 * [taylor]: Taking taylor expansion of 6.0 in x 11.179 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 x))) in x 11.179 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 11.179 * [taylor]: Taking taylor expansion of 6.0 in x 11.179 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.179 * [taylor]: Taking taylor expansion of x in x 11.184 * [taylor]: Taking taylor expansion of 0 in x 11.190 * [taylor]: Taking taylor expansion of 0 in x 11.197 * [taylor]: Taking taylor expansion of 0 in x 11.198 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in (y x) around 0 11.198 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in x 11.198 * [taylor]: Taking taylor expansion of -6.0 in x 11.198 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in x 11.198 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 11.198 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.198 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.198 * [taylor]: Taking taylor expansion of y in x 11.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.198 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.198 * [taylor]: Taking taylor expansion of x in x 11.199 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.199 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.199 * [taylor]: Taking taylor expansion of y in x 11.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.199 * [taylor]: Taking taylor expansion of x in x 11.200 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 11.200 * [taylor]: Taking taylor expansion of -6.0 in y 11.200 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 11.200 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.200 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.200 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.200 * [taylor]: Taking taylor expansion of y in y 11.201 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.201 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.201 * [taylor]: Taking taylor expansion of x in y 11.201 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.201 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.201 * [taylor]: Taking taylor expansion of y in y 11.201 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.201 * [taylor]: Taking taylor expansion of x in y 11.202 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x)))) in y 11.202 * [taylor]: Taking taylor expansion of -6.0 in y 11.202 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (+ (/ 1 y) (/ 1 x))) in y 11.202 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.202 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.202 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.202 * [taylor]: Taking taylor expansion of y in y 11.203 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.203 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.203 * [taylor]: Taking taylor expansion of x in y 11.203 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.203 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.203 * [taylor]: Taking taylor expansion of y in y 11.204 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.204 * [taylor]: Taking taylor expansion of x in y 11.205 * [taylor]: Taking taylor expansion of -6.0 in x 11.207 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 x)) in x 11.207 * [taylor]: Taking taylor expansion of 6.0 in x 11.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.207 * [taylor]: Taking taylor expansion of x in x 11.211 * [taylor]: Taking taylor expansion of 0 in x 11.217 * [taylor]: Taking taylor expansion of 0 in x 11.224 * [taylor]: Taking taylor expansion of 0 in x 11.224 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1) 11.225 * [approximate]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in (y x) around 0 11.225 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 11.225 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.225 * [taylor]: Taking taylor expansion of y in x 11.225 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.225 * [taylor]: Taking taylor expansion of x in x 11.225 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 11.225 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.225 * [taylor]: Taking taylor expansion of y in y 11.225 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.225 * [taylor]: Taking taylor expansion of x in y 11.225 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 11.225 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.225 * [taylor]: Taking taylor expansion of y in y 11.225 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.225 * [taylor]: Taking taylor expansion of x in y 11.225 * [taylor]: Taking taylor expansion of (- (pow x 2)) in x 11.225 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.225 * [taylor]: Taking taylor expansion of x in x 11.226 * [taylor]: Taking taylor expansion of 0 in x 11.227 * [taylor]: Taking taylor expansion of 1 in x 11.229 * [taylor]: Taking taylor expansion of 0 in x 11.232 * [taylor]: Taking taylor expansion of 0 in x 11.232 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0 11.233 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 11.233 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.233 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.233 * [taylor]: Taking taylor expansion of y in x 11.233 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.233 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.233 * [taylor]: Taking taylor expansion of x in x 11.233 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.233 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.233 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.233 * [taylor]: Taking taylor expansion of y in y 11.234 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.234 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.234 * [taylor]: Taking taylor expansion of x in y 11.234 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.234 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.234 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.234 * [taylor]: Taking taylor expansion of y in y 11.235 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.235 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.235 * [taylor]: Taking taylor expansion of x in y 11.235 * [taylor]: Taking taylor expansion of 1 in x 11.237 * [taylor]: Taking taylor expansion of 0 in x 11.238 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 11.238 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.238 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.238 * [taylor]: Taking taylor expansion of x in x 11.241 * [taylor]: Taking taylor expansion of 0 in x 11.244 * [taylor]: Taking taylor expansion of 0 in x 11.246 * [approximate]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in (y x) around 0 11.247 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 11.247 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.247 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.247 * [taylor]: Taking taylor expansion of y in x 11.247 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.247 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.247 * [taylor]: Taking taylor expansion of x in x 11.247 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.247 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.247 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.247 * [taylor]: Taking taylor expansion of y in y 11.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.248 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.248 * [taylor]: Taking taylor expansion of x in y 11.248 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.248 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.248 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.248 * [taylor]: Taking taylor expansion of y in y 11.249 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.249 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.249 * [taylor]: Taking taylor expansion of x in y 11.249 * [taylor]: Taking taylor expansion of 1 in x 11.251 * [taylor]: Taking taylor expansion of 0 in x 11.252 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 11.252 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.252 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.252 * [taylor]: Taking taylor expansion of x in x 11.258 * [taylor]: Taking taylor expansion of 0 in x 11.262 * [taylor]: Taking taylor expansion of 0 in x 11.264 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 11.264 * [approximate]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in (y x z) around 0 11.264 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in z 11.264 * [taylor]: Taking taylor expansion of 6.0 in z 11.264 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in z 11.264 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in z 11.264 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in z 11.264 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.264 * [taylor]: Taking taylor expansion of y in z 11.264 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.265 * [taylor]: Taking taylor expansion of x in z 11.265 * [taylor]: Taking taylor expansion of z in z 11.265 * [taylor]: Taking taylor expansion of (+ x y) in z 11.265 * [taylor]: Taking taylor expansion of x in z 11.265 * [taylor]: Taking taylor expansion of y in z 11.266 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in x 11.267 * [taylor]: Taking taylor expansion of 6.0 in x 11.267 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in x 11.267 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in x 11.267 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 11.267 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.267 * [taylor]: Taking taylor expansion of y in x 11.267 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.267 * [taylor]: Taking taylor expansion of x in x 11.267 * [taylor]: Taking taylor expansion of z in x 11.267 * [taylor]: Taking taylor expansion of (+ x y) in x 11.267 * [taylor]: Taking taylor expansion of x in x 11.267 * [taylor]: Taking taylor expansion of y in x 11.267 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in y 11.267 * [taylor]: Taking taylor expansion of 6.0 in y 11.267 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in y 11.267 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y 11.267 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 11.267 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.267 * [taylor]: Taking taylor expansion of y in y 11.267 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.267 * [taylor]: Taking taylor expansion of x in y 11.267 * [taylor]: Taking taylor expansion of z in y 11.267 * [taylor]: Taking taylor expansion of (+ x y) in y 11.267 * [taylor]: Taking taylor expansion of x in y 11.267 * [taylor]: Taking taylor expansion of y in y 11.268 * [taylor]: Taking taylor expansion of (* 6.0 (/ (* (- (pow y 2) (pow x 2)) z) (+ x y))) in y 11.268 * [taylor]: Taking taylor expansion of 6.0 in y 11.268 * [taylor]: Taking taylor expansion of (/ (* (- (pow y 2) (pow x 2)) z) (+ x y)) in y 11.268 * [taylor]: Taking taylor expansion of (* (- (pow y 2) (pow x 2)) z) in y 11.268 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 11.268 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.268 * [taylor]: Taking taylor expansion of y in y 11.268 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.268 * [taylor]: Taking taylor expansion of x in y 11.268 * [taylor]: Taking taylor expansion of z in y 11.268 * [taylor]: Taking taylor expansion of (+ x y) in y 11.268 * [taylor]: Taking taylor expansion of x in y 11.268 * [taylor]: Taking taylor expansion of y in y 11.269 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 11.269 * [taylor]: Taking taylor expansion of -6.0 in x 11.269 * [taylor]: Taking taylor expansion of (* x z) in x 11.269 * [taylor]: Taking taylor expansion of x in x 11.269 * [taylor]: Taking taylor expansion of z in x 11.269 * [taylor]: Taking taylor expansion of 0 in z 11.271 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 11.271 * [taylor]: Taking taylor expansion of 6.0 in x 11.271 * [taylor]: Taking taylor expansion of z in x 11.271 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 11.271 * [taylor]: Taking taylor expansion of 6.0 in z 11.271 * [taylor]: Taking taylor expansion of z in z 11.272 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 11.272 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 11.272 * [taylor]: Taking taylor expansion of 6.0 in z 11.273 * [taylor]: Taking taylor expansion of z in z 11.276 * [taylor]: Taking taylor expansion of 0 in x 11.276 * [taylor]: Taking taylor expansion of 0 in z 11.277 * [taylor]: Taking taylor expansion of 0 in z 11.278 * [taylor]: Taking taylor expansion of 0 in z 11.280 * [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 11.280 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in z 11.280 * [taylor]: Taking taylor expansion of 6.0 in z 11.280 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in z 11.280 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z 11.280 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 11.280 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.280 * [taylor]: Taking taylor expansion of y in z 11.280 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.280 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.280 * [taylor]: Taking taylor expansion of x in z 11.281 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in z 11.281 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 11.281 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.281 * [taylor]: Taking taylor expansion of y in z 11.281 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.281 * [taylor]: Taking taylor expansion of x in z 11.281 * [taylor]: Taking taylor expansion of z in z 11.282 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in x 11.282 * [taylor]: Taking taylor expansion of 6.0 in x 11.282 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in x 11.282 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 11.282 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.283 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.283 * [taylor]: Taking taylor expansion of y in x 11.283 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.283 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.283 * [taylor]: Taking taylor expansion of x in x 11.283 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in x 11.283 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.283 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.283 * [taylor]: Taking taylor expansion of y in x 11.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.283 * [taylor]: Taking taylor expansion of x in x 11.284 * [taylor]: Taking taylor expansion of z in x 11.285 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 11.285 * [taylor]: Taking taylor expansion of 6.0 in y 11.285 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 11.285 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.285 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.285 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.285 * [taylor]: Taking taylor expansion of y in y 11.285 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.285 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.285 * [taylor]: Taking taylor expansion of x in y 11.286 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 11.286 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.286 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.286 * [taylor]: Taking taylor expansion of y in y 11.286 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.286 * [taylor]: Taking taylor expansion of x in y 11.286 * [taylor]: Taking taylor expansion of z in y 11.287 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 11.287 * [taylor]: Taking taylor expansion of 6.0 in y 11.287 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 11.287 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.287 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.287 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.287 * [taylor]: Taking taylor expansion of y in y 11.287 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.287 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.287 * [taylor]: Taking taylor expansion of x in y 11.288 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 11.288 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.288 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.288 * [taylor]: Taking taylor expansion of y in y 11.288 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.288 * [taylor]: Taking taylor expansion of x in y 11.288 * [taylor]: Taking taylor expansion of z in y 11.289 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 11.289 * [taylor]: Taking taylor expansion of 6.0 in x 11.289 * [taylor]: Taking taylor expansion of z in x 11.291 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 11.291 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 11.291 * [taylor]: Taking taylor expansion of 6.0 in x 11.291 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 11.291 * [taylor]: Taking taylor expansion of (* x z) in x 11.291 * [taylor]: Taking taylor expansion of x in x 11.291 * [taylor]: Taking taylor expansion of z in x 11.292 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 11.292 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 11.292 * [taylor]: Taking taylor expansion of 6.0 in z 11.292 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.292 * [taylor]: Taking taylor expansion of z in z 11.293 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 11.293 * [taylor]: Taking taylor expansion of 6.0 in z 11.293 * [taylor]: Taking taylor expansion of z in z 11.296 * [taylor]: Taking taylor expansion of 0 in x 11.298 * [taylor]: Taking taylor expansion of 0 in z 11.298 * [taylor]: Taking taylor expansion of 0 in z 11.304 * [taylor]: Taking taylor expansion of 0 in x 11.304 * [taylor]: Taking taylor expansion of 0 in z 11.306 * [taylor]: Taking taylor expansion of 0 in z 11.306 * [taylor]: Taking taylor expansion of 0 in z 11.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 11.309 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in z 11.309 * [taylor]: Taking taylor expansion of 6.0 in z 11.309 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in z 11.309 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in z 11.309 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in z 11.309 * [taylor]: Taking taylor expansion of (pow y 2) in z 11.309 * [taylor]: Taking taylor expansion of y in z 11.309 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 11.309 * [taylor]: Taking taylor expansion of (pow x 2) in z 11.309 * [taylor]: Taking taylor expansion of x in z 11.309 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in z 11.309 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in z 11.309 * [taylor]: Taking taylor expansion of (/ 1 y) in z 11.309 * [taylor]: Taking taylor expansion of y in z 11.309 * [taylor]: Taking taylor expansion of (/ 1 x) in z 11.309 * [taylor]: Taking taylor expansion of x in z 11.309 * [taylor]: Taking taylor expansion of z in z 11.311 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in x 11.311 * [taylor]: Taking taylor expansion of 6.0 in x 11.311 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in x 11.311 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 11.311 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.311 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.311 * [taylor]: Taking taylor expansion of y in x 11.311 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.311 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.311 * [taylor]: Taking taylor expansion of x in x 11.312 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in x 11.312 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 11.312 * [taylor]: Taking taylor expansion of (/ 1 y) in x 11.312 * [taylor]: Taking taylor expansion of y in x 11.312 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.312 * [taylor]: Taking taylor expansion of x in x 11.312 * [taylor]: Taking taylor expansion of z in x 11.313 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 11.313 * [taylor]: Taking taylor expansion of 6.0 in y 11.313 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 11.313 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.313 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.313 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.313 * [taylor]: Taking taylor expansion of y in y 11.314 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.314 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.314 * [taylor]: Taking taylor expansion of x in y 11.314 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 11.314 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.314 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.314 * [taylor]: Taking taylor expansion of y in y 11.315 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.315 * [taylor]: Taking taylor expansion of x in y 11.315 * [taylor]: Taking taylor expansion of z in y 11.315 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z))) in y 11.315 * [taylor]: Taking taylor expansion of 6.0 in y 11.315 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) (* (+ (/ 1 y) (/ 1 x)) z)) in y 11.316 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.316 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.316 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.316 * [taylor]: Taking taylor expansion of y in y 11.316 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.316 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.316 * [taylor]: Taking taylor expansion of x in y 11.316 * [taylor]: Taking taylor expansion of (* (+ (/ 1 y) (/ 1 x)) z) in y 11.316 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 11.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y 11.316 * [taylor]: Taking taylor expansion of y in y 11.317 * [taylor]: Taking taylor expansion of (/ 1 x) in y 11.317 * [taylor]: Taking taylor expansion of x in y 11.317 * [taylor]: Taking taylor expansion of z in y 11.317 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 11.318 * [taylor]: Taking taylor expansion of 6.0 in x 11.318 * [taylor]: Taking taylor expansion of z in x 11.320 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 11.320 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 11.320 * [taylor]: Taking taylor expansion of 6.0 in x 11.320 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 11.320 * [taylor]: Taking taylor expansion of (* x z) in x 11.320 * [taylor]: Taking taylor expansion of x in x 11.320 * [taylor]: Taking taylor expansion of z in x 11.321 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 11.321 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 11.321 * [taylor]: Taking taylor expansion of 6.0 in z 11.321 * [taylor]: Taking taylor expansion of (/ 1 z) in z 11.321 * [taylor]: Taking taylor expansion of z in z 11.322 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 11.322 * [taylor]: Taking taylor expansion of 6.0 in z 11.322 * [taylor]: Taking taylor expansion of z in z 11.326 * [taylor]: Taking taylor expansion of 0 in x 11.327 * [taylor]: Taking taylor expansion of 0 in z 11.328 * [taylor]: Taking taylor expansion of 0 in z 11.334 * [taylor]: Taking taylor expansion of 0 in x 11.334 * [taylor]: Taking taylor expansion of 0 in z 11.335 * [taylor]: Taking taylor expansion of 0 in z 11.336 * [taylor]: Taking taylor expansion of 0 in z 11.338 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 11.338 * [approximate]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in (y x) around 0 11.338 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in x 11.338 * [taylor]: Taking taylor expansion of 6.0 in x 11.339 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in x 11.339 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.339 * [taylor]: Taking taylor expansion of y in x 11.339 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.339 * [taylor]: Taking taylor expansion of x in x 11.339 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in y 11.339 * [taylor]: Taking taylor expansion of 6.0 in y 11.339 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 11.339 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.339 * [taylor]: Taking taylor expansion of y in y 11.339 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.339 * [taylor]: Taking taylor expansion of x in y 11.339 * [taylor]: Taking taylor expansion of (* 6.0 (- (pow y 2) (pow x 2))) in y 11.339 * [taylor]: Taking taylor expansion of 6.0 in y 11.339 * [taylor]: Taking taylor expansion of (- (pow y 2) (pow x 2)) in y 11.339 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.339 * [taylor]: Taking taylor expansion of y in y 11.339 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.339 * [taylor]: Taking taylor expansion of x in y 11.339 * [taylor]: Taking taylor expansion of (* -6.0 (pow x 2)) in x 11.339 * [taylor]: Taking taylor expansion of -6.0 in x 11.339 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.339 * [taylor]: Taking taylor expansion of x in x 11.340 * [taylor]: Taking taylor expansion of 0 in x 11.342 * [taylor]: Taking taylor expansion of 6.0 in x 11.346 * [taylor]: Taking taylor expansion of 0 in x 11.353 * [taylor]: Taking taylor expansion of 0 in x 11.353 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0 11.353 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x 11.353 * [taylor]: Taking taylor expansion of 6.0 in x 11.353 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 11.353 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.353 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.353 * [taylor]: Taking taylor expansion of y in x 11.354 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.354 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.354 * [taylor]: Taking taylor expansion of x in x 11.354 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 11.354 * [taylor]: Taking taylor expansion of 6.0 in y 11.354 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.354 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.354 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.354 * [taylor]: Taking taylor expansion of y in y 11.355 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.355 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.355 * [taylor]: Taking taylor expansion of x in y 11.355 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 11.355 * [taylor]: Taking taylor expansion of 6.0 in y 11.355 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.355 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.355 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.355 * [taylor]: Taking taylor expansion of y in y 11.356 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.356 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.356 * [taylor]: Taking taylor expansion of x in y 11.357 * [taylor]: Taking taylor expansion of 6.0 in x 11.358 * [taylor]: Taking taylor expansion of 0 in x 11.360 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (pow x 2)))) in x 11.360 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x 11.360 * [taylor]: Taking taylor expansion of 6.0 in x 11.361 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.361 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.361 * [taylor]: Taking taylor expansion of x in x 11.365 * [taylor]: Taking taylor expansion of 0 in x 11.370 * [taylor]: Taking taylor expansion of 0 in x 11.373 * [approximate]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in (y x) around 0 11.373 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in x 11.373 * [taylor]: Taking taylor expansion of 6.0 in x 11.373 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in x 11.373 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 11.373 * [taylor]: Taking taylor expansion of (pow y 2) in x 11.373 * [taylor]: Taking taylor expansion of y in x 11.373 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.373 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.373 * [taylor]: Taking taylor expansion of x in x 11.374 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 11.374 * [taylor]: Taking taylor expansion of 6.0 in y 11.374 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.374 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.374 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.374 * [taylor]: Taking taylor expansion of y in y 11.375 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.375 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.375 * [taylor]: Taking taylor expansion of x in y 11.375 * [taylor]: Taking taylor expansion of (* 6.0 (- (/ 1 (pow y 2)) (/ 1 (pow x 2)))) in y 11.375 * [taylor]: Taking taylor expansion of 6.0 in y 11.375 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) (/ 1 (pow x 2))) in y 11.375 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 11.375 * [taylor]: Taking taylor expansion of (pow y 2) in y 11.375 * [taylor]: Taking taylor expansion of y in y 11.376 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 11.376 * [taylor]: Taking taylor expansion of (pow x 2) in y 11.376 * [taylor]: Taking taylor expansion of x in y 11.376 * [taylor]: Taking taylor expansion of 6.0 in x 11.378 * [taylor]: Taking taylor expansion of 0 in x 11.380 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (pow x 2)))) in x 11.380 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (pow x 2))) in x 11.380 * [taylor]: Taking taylor expansion of 6.0 in x 11.380 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.380 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.380 * [taylor]: Taking taylor expansion of x in x 11.384 * [taylor]: Taking taylor expansion of 0 in x 11.389 * [taylor]: Taking taylor expansion of 0 in x 11.392 * * * [progress]: simplifying candidates 11.394 * [simplify]: Simplifying using # : (expm1 (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (log1p (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (- (+ (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))) (fma y y (- (* x x))) (fma (- x) x (* x x)) (expm1 (- (* y y) (* x x))) (log1p (- (* y y) (* x x))) (- (* 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)) (expm1 (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (log1p (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (/ (* (- (* 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) (expm1 (* (- (* y y) (* x x)) 6.0)) (log1p (* (- (* y y) (* x x)) 6.0)) (* (- (* 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))) 11.399 * * [simplify]: iteration 0 : 158 enodes (cost 1701 ) 11.436 * * [simplify]: iteration 1 : 430 enodes (cost 1633 ) 11.612 * * [simplify]: iteration 2 : 1847 enodes (cost 1354 ) 12.160 * * [simplify]: iteration done : 5000 enodes (cost 1354 ) 12.161 * [simplify]: Simplified to: (expm1 (/ (* (- (* y y) (* x x)) 6.0) (+ y x))) (log1p (/ (* (- (* 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))) (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))) (* (fma (* x x) (fma y y (* x x)) (pow y 4)) (+ y x)) (* (+ y x) (fma y y (* x x))) (- (* y y) (* x x)) (* x (+ (- x) x)) (expm1 (- (* y y) (* x x))) (log1p (- (* y y) (* x x))) (- (* x x)) (exp (- (* y y) (* 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))) (pow (- (* y y) (* x x)) 3) (sqrt (- (* y y) (* x x))) (sqrt (- (* y y) (* x x))) (- (pow y 6) (pow x 6)) (fma (* x x) (fma y y (* x x)) (pow y 4)) (- (* x x)) (- (pow y 4) (pow x 4)) (fma y y (* x x)) (+ y x) (- y x) (- (* x x)) (expm1 (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (log1p (* (/ (* (- (* y y) (* x x)) 6.0) (+ y x)) z)) (* (/ (* (- (* 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)) (* (fma y y (* x (- x y))) z) (* (- y x) z) (* (* (- (* y y) (* x x)) 6.0) z) (expm1 (* (- (* y y) (* x x)) 6.0)) (log1p (* (- (* y y) (* x x)) 6.0)) (* (- (* 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))) (* (- (pow y 4) (pow x 4)) 6.0) (* (- 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) 12.162 * * * [progress]: adding candidates to table 12.456 * * [progress]: iteration 4 / 4 12.456 * * * [progress]: picking best candidate 12.465 * * * * [pick]: Picked # 12.465 * * * [progress]: localizing error 12.472 * * * [progress]: generating rewritten candidates 12.472 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 12.487 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 12.498 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 12.502 * * * [progress]: generating series expansions 12.502 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 12.503 * [approximate]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in (y x z) around 0 12.503 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in z 12.503 * [taylor]: Taking taylor expansion of 6.0 in z 12.503 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 12.503 * [taylor]: Taking taylor expansion of (- y x) in z 12.503 * [taylor]: Taking taylor expansion of y in z 12.503 * [taylor]: Taking taylor expansion of x in z 12.503 * [taylor]: Taking taylor expansion of z in z 12.503 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in x 12.503 * [taylor]: Taking taylor expansion of 6.0 in x 12.503 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 12.503 * [taylor]: Taking taylor expansion of (- y x) in x 12.503 * [taylor]: Taking taylor expansion of y in x 12.503 * [taylor]: Taking taylor expansion of x in x 12.503 * [taylor]: Taking taylor expansion of z in x 12.503 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 12.503 * [taylor]: Taking taylor expansion of 6.0 in y 12.503 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 12.503 * [taylor]: Taking taylor expansion of (- y x) in y 12.503 * [taylor]: Taking taylor expansion of y in y 12.503 * [taylor]: Taking taylor expansion of x in y 12.503 * [taylor]: Taking taylor expansion of z in y 12.503 * [taylor]: Taking taylor expansion of (* 6.0 (* (- y x) z)) in y 12.503 * [taylor]: Taking taylor expansion of 6.0 in y 12.503 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 12.503 * [taylor]: Taking taylor expansion of (- y x) in y 12.503 * [taylor]: Taking taylor expansion of y in y 12.503 * [taylor]: Taking taylor expansion of x in y 12.503 * [taylor]: Taking taylor expansion of z in y 12.503 * [taylor]: Taking taylor expansion of (* -6.0 (* x z)) in x 12.503 * [taylor]: Taking taylor expansion of -6.0 in x 12.503 * [taylor]: Taking taylor expansion of (* x z) in x 12.503 * [taylor]: Taking taylor expansion of x in x 12.503 * [taylor]: Taking taylor expansion of z in x 12.504 * [taylor]: Taking taylor expansion of 0 in z 12.505 * [taylor]: Taking taylor expansion of (* 6.0 z) in x 12.505 * [taylor]: Taking taylor expansion of 6.0 in x 12.505 * [taylor]: Taking taylor expansion of z in x 12.505 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 12.505 * [taylor]: Taking taylor expansion of 6.0 in z 12.505 * [taylor]: Taking taylor expansion of z in z 12.506 * [taylor]: Taking taylor expansion of (- (* 6.0 z)) in z 12.506 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 12.506 * [taylor]: Taking taylor expansion of 6.0 in z 12.506 * [taylor]: Taking taylor expansion of z in z 12.508 * [taylor]: Taking taylor expansion of 0 in x 12.508 * [taylor]: Taking taylor expansion of 0 in z 12.508 * [taylor]: Taking taylor expansion of 0 in z 12.509 * [approximate]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in (y x z) around 0 12.509 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in z 12.509 * [taylor]: Taking taylor expansion of 6.0 in z 12.509 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 12.509 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 12.509 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.509 * [taylor]: Taking taylor expansion of y in z 12.509 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.509 * [taylor]: Taking taylor expansion of x in z 12.509 * [taylor]: Taking taylor expansion of z in z 12.509 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in x 12.509 * [taylor]: Taking taylor expansion of 6.0 in x 12.509 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 12.509 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 12.509 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.509 * [taylor]: Taking taylor expansion of y in x 12.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.509 * [taylor]: Taking taylor expansion of x in x 12.509 * [taylor]: Taking taylor expansion of z in x 12.510 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 12.510 * [taylor]: Taking taylor expansion of 6.0 in y 12.510 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 12.510 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 12.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.510 * [taylor]: Taking taylor expansion of y in y 12.510 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.510 * [taylor]: Taking taylor expansion of x in y 12.511 * [taylor]: Taking taylor expansion of z in y 12.511 * [taylor]: Taking taylor expansion of (* 6.0 (/ (- (/ 1 y) (/ 1 x)) z)) in y 12.511 * [taylor]: Taking taylor expansion of 6.0 in y 12.511 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 12.511 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 12.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.511 * [taylor]: Taking taylor expansion of y in y 12.511 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.511 * [taylor]: Taking taylor expansion of x in y 12.511 * [taylor]: Taking taylor expansion of z in y 12.512 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 12.512 * [taylor]: Taking taylor expansion of 6.0 in x 12.512 * [taylor]: Taking taylor expansion of z in x 12.513 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 12.513 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 12.513 * [taylor]: Taking taylor expansion of 6.0 in x 12.513 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.513 * [taylor]: Taking taylor expansion of (* x z) in x 12.513 * [taylor]: Taking taylor expansion of x in x 12.513 * [taylor]: Taking taylor expansion of z in x 12.513 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 12.513 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 12.513 * [taylor]: Taking taylor expansion of 6.0 in z 12.513 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.513 * [taylor]: Taking taylor expansion of z in z 12.514 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 12.514 * [taylor]: Taking taylor expansion of 6.0 in z 12.515 * [taylor]: Taking taylor expansion of z in z 12.517 * [taylor]: Taking taylor expansion of 0 in x 12.518 * [taylor]: Taking taylor expansion of 0 in z 12.518 * [taylor]: Taking taylor expansion of 0 in z 12.522 * [taylor]: Taking taylor expansion of 0 in x 12.522 * [taylor]: Taking taylor expansion of 0 in z 12.523 * [taylor]: Taking taylor expansion of 0 in z 12.524 * [taylor]: Taking taylor expansion of 0 in z 12.526 * [approximate]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 12.526 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in z 12.526 * [taylor]: Taking taylor expansion of -6.0 in z 12.526 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 12.526 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 12.526 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.526 * [taylor]: Taking taylor expansion of x in z 12.527 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.527 * [taylor]: Taking taylor expansion of y in z 12.527 * [taylor]: Taking taylor expansion of z in z 12.527 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in x 12.527 * [taylor]: Taking taylor expansion of -6.0 in x 12.527 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 12.527 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 12.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.527 * [taylor]: Taking taylor expansion of x in x 12.527 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.527 * [taylor]: Taking taylor expansion of y in x 12.527 * [taylor]: Taking taylor expansion of z in x 12.528 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 12.528 * [taylor]: Taking taylor expansion of -6.0 in y 12.528 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 12.528 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 12.528 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.528 * [taylor]: Taking taylor expansion of x in y 12.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.528 * [taylor]: Taking taylor expansion of y in y 12.528 * [taylor]: Taking taylor expansion of z in y 12.529 * [taylor]: Taking taylor expansion of (* -6.0 (/ (- (/ 1 x) (/ 1 y)) z)) in y 12.529 * [taylor]: Taking taylor expansion of -6.0 in y 12.529 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 12.529 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 12.529 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.529 * [taylor]: Taking taylor expansion of x in y 12.529 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.529 * [taylor]: Taking taylor expansion of y in y 12.529 * [taylor]: Taking taylor expansion of z in y 12.530 * [taylor]: Taking taylor expansion of (/ 6.0 z) in x 12.530 * [taylor]: Taking taylor expansion of 6.0 in x 12.530 * [taylor]: Taking taylor expansion of z in x 12.531 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* x z)))) in x 12.531 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 12.531 * [taylor]: Taking taylor expansion of 6.0 in x 12.531 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.531 * [taylor]: Taking taylor expansion of (* x z) in x 12.531 * [taylor]: Taking taylor expansion of x in x 12.531 * [taylor]: Taking taylor expansion of z in x 12.531 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 z))) in z 12.531 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 12.531 * [taylor]: Taking taylor expansion of 6.0 in z 12.531 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.531 * [taylor]: Taking taylor expansion of z in z 12.533 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 12.533 * [taylor]: Taking taylor expansion of 6.0 in z 12.533 * [taylor]: Taking taylor expansion of z in z 12.535 * [taylor]: Taking taylor expansion of 0 in x 12.536 * [taylor]: Taking taylor expansion of 0 in z 12.536 * [taylor]: Taking taylor expansion of 0 in z 12.540 * [taylor]: Taking taylor expansion of 0 in x 12.540 * [taylor]: Taking taylor expansion of 0 in z 12.542 * [taylor]: Taking taylor expansion of 0 in z 12.542 * [taylor]: Taking taylor expansion of 0 in z 12.548 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 12.548 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0 12.548 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 12.548 * [taylor]: Taking taylor expansion of (- y x) in z 12.548 * [taylor]: Taking taylor expansion of y in z 12.548 * [taylor]: Taking taylor expansion of x in z 12.548 * [taylor]: Taking taylor expansion of z in z 12.548 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 12.548 * [taylor]: Taking taylor expansion of (- y x) in x 12.548 * [taylor]: Taking taylor expansion of y in x 12.548 * [taylor]: Taking taylor expansion of x in x 12.548 * [taylor]: Taking taylor expansion of z in x 12.548 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 12.548 * [taylor]: Taking taylor expansion of (- y x) in y 12.549 * [taylor]: Taking taylor expansion of y in y 12.549 * [taylor]: Taking taylor expansion of x in y 12.549 * [taylor]: Taking taylor expansion of z in y 12.549 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 12.549 * [taylor]: Taking taylor expansion of (- y x) in y 12.549 * [taylor]: Taking taylor expansion of y in y 12.549 * [taylor]: Taking taylor expansion of x in y 12.549 * [taylor]: Taking taylor expansion of z in y 12.549 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 12.549 * [taylor]: Taking taylor expansion of -1 in x 12.549 * [taylor]: Taking taylor expansion of (* x z) in x 12.549 * [taylor]: Taking taylor expansion of x in x 12.549 * [taylor]: Taking taylor expansion of z in x 12.550 * [taylor]: Taking taylor expansion of 0 in z 12.550 * [taylor]: Taking taylor expansion of z in x 12.550 * [taylor]: Taking taylor expansion of z in z 12.551 * [taylor]: Taking taylor expansion of (- z) in z 12.551 * [taylor]: Taking taylor expansion of z in z 12.552 * [taylor]: Taking taylor expansion of 0 in x 12.552 * [taylor]: Taking taylor expansion of 0 in z 12.552 * [taylor]: Taking taylor expansion of 0 in z 12.552 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 12.552 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 12.553 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 12.553 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.553 * [taylor]: Taking taylor expansion of y in z 12.553 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.553 * [taylor]: Taking taylor expansion of x in z 12.553 * [taylor]: Taking taylor expansion of z in z 12.553 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 12.553 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 12.553 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.553 * [taylor]: Taking taylor expansion of y in x 12.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.553 * [taylor]: Taking taylor expansion of x in x 12.553 * [taylor]: Taking taylor expansion of z in x 12.554 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 12.554 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 12.554 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.554 * [taylor]: Taking taylor expansion of y in y 12.554 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.554 * [taylor]: Taking taylor expansion of x in y 12.554 * [taylor]: Taking taylor expansion of z in y 12.555 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 12.555 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 12.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.555 * [taylor]: Taking taylor expansion of y in y 12.555 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.555 * [taylor]: Taking taylor expansion of x in y 12.555 * [taylor]: Taking taylor expansion of z in y 12.555 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.556 * [taylor]: Taking taylor expansion of z in x 12.556 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 12.556 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.556 * [taylor]: Taking taylor expansion of (* x z) in x 12.556 * [taylor]: Taking taylor expansion of x in x 12.556 * [taylor]: Taking taylor expansion of z in x 12.557 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.557 * [taylor]: Taking taylor expansion of z in z 12.557 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.557 * [taylor]: Taking taylor expansion of z in z 12.559 * [taylor]: Taking taylor expansion of 0 in x 12.560 * [taylor]: Taking taylor expansion of 0 in z 12.560 * [taylor]: Taking taylor expansion of 0 in z 12.562 * [taylor]: Taking taylor expansion of 0 in x 12.563 * [taylor]: Taking taylor expansion of 0 in z 12.564 * [taylor]: Taking taylor expansion of 0 in z 12.564 * [taylor]: Taking taylor expansion of 0 in z 12.566 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 12.566 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 12.566 * [taylor]: Taking taylor expansion of -1 in z 12.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 12.566 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 12.566 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.566 * [taylor]: Taking taylor expansion of x in z 12.566 * [taylor]: Taking taylor expansion of (/ 1 y) in z 12.566 * [taylor]: Taking taylor expansion of y in z 12.566 * [taylor]: Taking taylor expansion of z in z 12.566 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x 12.566 * [taylor]: Taking taylor expansion of -1 in x 12.566 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 12.566 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 12.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.566 * [taylor]: Taking taylor expansion of x in x 12.566 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.567 * [taylor]: Taking taylor expansion of y in x 12.567 * [taylor]: Taking taylor expansion of z in x 12.567 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 12.567 * [taylor]: Taking taylor expansion of -1 in y 12.567 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 12.567 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 12.567 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.567 * [taylor]: Taking taylor expansion of x in y 12.567 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.567 * [taylor]: Taking taylor expansion of y in y 12.567 * [taylor]: Taking taylor expansion of z in y 12.568 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 12.568 * [taylor]: Taking taylor expansion of -1 in y 12.568 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 12.568 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 12.568 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.568 * [taylor]: Taking taylor expansion of x in y 12.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.568 * [taylor]: Taking taylor expansion of y in y 12.568 * [taylor]: Taking taylor expansion of z in y 12.569 * [taylor]: Taking taylor expansion of (/ 1 z) in x 12.569 * [taylor]: Taking taylor expansion of z in x 12.570 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 12.570 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.570 * [taylor]: Taking taylor expansion of (* x z) in x 12.570 * [taylor]: Taking taylor expansion of x in x 12.570 * [taylor]: Taking taylor expansion of z in x 12.571 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 12.571 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.571 * [taylor]: Taking taylor expansion of z in z 12.571 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.571 * [taylor]: Taking taylor expansion of z in z 12.573 * [taylor]: Taking taylor expansion of 0 in x 12.574 * [taylor]: Taking taylor expansion of 0 in z 12.574 * [taylor]: Taking taylor expansion of 0 in z 12.578 * [taylor]: Taking taylor expansion of 0 in x 12.578 * [taylor]: Taking taylor expansion of 0 in z 12.579 * [taylor]: Taking taylor expansion of 0 in z 12.579 * [taylor]: Taking taylor expansion of 0 in z 12.581 * * * * [progress]: [ 3 / 3 ] generating series at (2) 12.581 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in (x y z) around 0 12.581 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in z 12.581 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in z 12.581 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in z 12.581 * [taylor]: Taking taylor expansion of 6.0 in z 12.581 * [taylor]: Taking taylor expansion of (* z y) in z 12.581 * [taylor]: Taking taylor expansion of z in z 12.581 * [taylor]: Taking taylor expansion of y in z 12.581 * [taylor]: Taking taylor expansion of x in z 12.581 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in z 12.581 * [taylor]: Taking taylor expansion of 6.0 in z 12.581 * [taylor]: Taking taylor expansion of (* x z) in z 12.581 * [taylor]: Taking taylor expansion of x in z 12.581 * [taylor]: Taking taylor expansion of z in z 12.581 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in y 12.581 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in y 12.581 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 12.581 * [taylor]: Taking taylor expansion of 6.0 in y 12.581 * [taylor]: Taking taylor expansion of (* z y) in y 12.581 * [taylor]: Taking taylor expansion of z in y 12.581 * [taylor]: Taking taylor expansion of y in y 12.581 * [taylor]: Taking taylor expansion of x in y 12.581 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in y 12.581 * [taylor]: Taking taylor expansion of 6.0 in y 12.581 * [taylor]: Taking taylor expansion of (* x z) in y 12.581 * [taylor]: Taking taylor expansion of x in y 12.581 * [taylor]: Taking taylor expansion of z in y 12.581 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 12.581 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 12.581 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 12.581 * [taylor]: Taking taylor expansion of 6.0 in x 12.581 * [taylor]: Taking taylor expansion of (* z y) in x 12.581 * [taylor]: Taking taylor expansion of z in x 12.581 * [taylor]: Taking taylor expansion of y in x 12.581 * [taylor]: Taking taylor expansion of x in x 12.582 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 12.582 * [taylor]: Taking taylor expansion of 6.0 in x 12.582 * [taylor]: Taking taylor expansion of (* x z) in x 12.582 * [taylor]: Taking taylor expansion of x in x 12.582 * [taylor]: Taking taylor expansion of z in x 12.582 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (* z y)) x) (* 6.0 (* x z))) in x 12.582 * [taylor]: Taking taylor expansion of (+ (* 6.0 (* z y)) x) in x 12.582 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in x 12.582 * [taylor]: Taking taylor expansion of 6.0 in x 12.582 * [taylor]: Taking taylor expansion of (* z y) in x 12.582 * [taylor]: Taking taylor expansion of z in x 12.582 * [taylor]: Taking taylor expansion of y in x 12.582 * [taylor]: Taking taylor expansion of x in x 12.582 * [taylor]: Taking taylor expansion of (* 6.0 (* x z)) in x 12.582 * [taylor]: Taking taylor expansion of 6.0 in x 12.582 * [taylor]: Taking taylor expansion of (* x z) in x 12.582 * [taylor]: Taking taylor expansion of x in x 12.582 * [taylor]: Taking taylor expansion of z in x 12.583 * [taylor]: Taking taylor expansion of (* 6.0 (* z y)) in y 12.583 * [taylor]: Taking taylor expansion of 6.0 in y 12.583 * [taylor]: Taking taylor expansion of (* z y) in y 12.583 * [taylor]: Taking taylor expansion of z in y 12.583 * [taylor]: Taking taylor expansion of y in y 12.583 * [taylor]: Taking taylor expansion of 0 in z 12.585 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in y 12.585 * [taylor]: Taking taylor expansion of 1 in y 12.585 * [taylor]: Taking taylor expansion of (* 6.0 z) in y 12.585 * [taylor]: Taking taylor expansion of 6.0 in y 12.585 * [taylor]: Taking taylor expansion of z in y 12.585 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 z)) in z 12.585 * [taylor]: Taking taylor expansion of 1 in z 12.585 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 12.585 * [taylor]: Taking taylor expansion of 6.0 in z 12.585 * [taylor]: Taking taylor expansion of z in z 12.586 * [taylor]: Taking taylor expansion of (* 6.0 z) in z 12.586 * [taylor]: Taking taylor expansion of 6.0 in z 12.586 * [taylor]: Taking taylor expansion of z in z 12.590 * [taylor]: Taking taylor expansion of 0 in y 12.590 * [taylor]: Taking taylor expansion of 0 in z 12.591 * [taylor]: Taking taylor expansion of 0 in z 12.592 * [taylor]: Taking taylor expansion of 0 in z 12.596 * [approximate]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in (x y z) around 0 12.596 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in z 12.596 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in z 12.596 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 12.596 * [taylor]: Taking taylor expansion of 6.0 in z 12.596 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 12.596 * [taylor]: Taking taylor expansion of (* z y) in z 12.596 * [taylor]: Taking taylor expansion of z in z 12.596 * [taylor]: Taking taylor expansion of y in z 12.596 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.596 * [taylor]: Taking taylor expansion of x in z 12.596 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 12.596 * [taylor]: Taking taylor expansion of 6.0 in z 12.596 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 12.596 * [taylor]: Taking taylor expansion of (* x z) in z 12.596 * [taylor]: Taking taylor expansion of x in z 12.596 * [taylor]: Taking taylor expansion of z in z 12.597 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in y 12.597 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in y 12.597 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 12.597 * [taylor]: Taking taylor expansion of 6.0 in y 12.597 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 12.597 * [taylor]: Taking taylor expansion of (* z y) in y 12.597 * [taylor]: Taking taylor expansion of z in y 12.597 * [taylor]: Taking taylor expansion of y in y 12.597 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.597 * [taylor]: Taking taylor expansion of x in y 12.597 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 12.597 * [taylor]: Taking taylor expansion of 6.0 in y 12.597 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 12.597 * [taylor]: Taking taylor expansion of (* x z) in y 12.597 * [taylor]: Taking taylor expansion of x in y 12.597 * [taylor]: Taking taylor expansion of z in y 12.597 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 12.597 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 12.597 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 12.598 * [taylor]: Taking taylor expansion of 6.0 in x 12.598 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 12.598 * [taylor]: Taking taylor expansion of (* z y) in x 12.598 * [taylor]: Taking taylor expansion of z in x 12.598 * [taylor]: Taking taylor expansion of y in x 12.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.598 * [taylor]: Taking taylor expansion of x in x 12.598 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 12.598 * [taylor]: Taking taylor expansion of 6.0 in x 12.598 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.598 * [taylor]: Taking taylor expansion of (* x z) in x 12.598 * [taylor]: Taking taylor expansion of x in x 12.598 * [taylor]: Taking taylor expansion of z in x 12.598 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) (* 6.0 (/ 1 (* x z)))) in x 12.598 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* z y))) (/ 1 x)) in x 12.598 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 12.598 * [taylor]: Taking taylor expansion of 6.0 in x 12.598 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 12.599 * [taylor]: Taking taylor expansion of (* z y) in x 12.599 * [taylor]: Taking taylor expansion of z in x 12.599 * [taylor]: Taking taylor expansion of y in x 12.599 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.599 * [taylor]: Taking taylor expansion of x in x 12.599 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 12.599 * [taylor]: Taking taylor expansion of 6.0 in x 12.599 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.599 * [taylor]: Taking taylor expansion of (* x z) in x 12.599 * [taylor]: Taking taylor expansion of x in x 12.599 * [taylor]: Taking taylor expansion of z in x 12.600 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in y 12.600 * [taylor]: Taking taylor expansion of 1 in y 12.600 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 12.600 * [taylor]: Taking taylor expansion of 6.0 in y 12.600 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.600 * [taylor]: Taking taylor expansion of z in y 12.602 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 12.602 * [taylor]: Taking taylor expansion of 6.0 in y 12.602 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 12.602 * [taylor]: Taking taylor expansion of (* z y) in y 12.602 * [taylor]: Taking taylor expansion of z in y 12.602 * [taylor]: Taking taylor expansion of y in y 12.602 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 12.602 * [taylor]: Taking taylor expansion of 6.0 in z 12.602 * [taylor]: Taking taylor expansion of z in z 12.603 * [taylor]: Taking taylor expansion of (- 1 (* 6.0 (/ 1 z))) in z 12.603 * [taylor]: Taking taylor expansion of 1 in z 12.603 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 12.603 * [taylor]: Taking taylor expansion of 6.0 in z 12.603 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.603 * [taylor]: Taking taylor expansion of z in z 12.608 * [taylor]: Taking taylor expansion of 0 in y 12.609 * [taylor]: Taking taylor expansion of 0 in z 12.610 * [taylor]: Taking taylor expansion of 0 in z 12.612 * [approximate]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in (x y z) around 0 12.612 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in z 12.612 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in z 12.612 * [taylor]: Taking taylor expansion of 6.0 in z 12.612 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 12.612 * [taylor]: Taking taylor expansion of (* z y) in z 12.612 * [taylor]: Taking taylor expansion of z in z 12.612 * [taylor]: Taking taylor expansion of y in z 12.613 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in z 12.613 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in z 12.613 * [taylor]: Taking taylor expansion of 6.0 in z 12.613 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in z 12.613 * [taylor]: Taking taylor expansion of (* x z) in z 12.613 * [taylor]: Taking taylor expansion of x in z 12.613 * [taylor]: Taking taylor expansion of z in z 12.613 * [taylor]: Taking taylor expansion of (/ 1 x) in z 12.613 * [taylor]: Taking taylor expansion of x in z 12.613 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in y 12.613 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 12.613 * [taylor]: Taking taylor expansion of 6.0 in y 12.613 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 12.614 * [taylor]: Taking taylor expansion of (* z y) in y 12.614 * [taylor]: Taking taylor expansion of z in y 12.614 * [taylor]: Taking taylor expansion of y in y 12.614 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in y 12.614 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in y 12.614 * [taylor]: Taking taylor expansion of 6.0 in y 12.614 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in y 12.614 * [taylor]: Taking taylor expansion of (* x z) in y 12.614 * [taylor]: Taking taylor expansion of x in y 12.614 * [taylor]: Taking taylor expansion of z in y 12.614 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.614 * [taylor]: Taking taylor expansion of x in y 12.614 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 12.614 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 12.614 * [taylor]: Taking taylor expansion of 6.0 in x 12.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 12.614 * [taylor]: Taking taylor expansion of (* z y) in x 12.614 * [taylor]: Taking taylor expansion of z in x 12.614 * [taylor]: Taking taylor expansion of y in x 12.614 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 12.614 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 12.614 * [taylor]: Taking taylor expansion of 6.0 in x 12.614 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.614 * [taylor]: Taking taylor expansion of (* x z) in x 12.614 * [taylor]: Taking taylor expansion of x in x 12.614 * [taylor]: Taking taylor expansion of z in x 12.615 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.615 * [taylor]: Taking taylor expansion of x in x 12.615 * [taylor]: Taking taylor expansion of (- (* 6.0 (/ 1 (* z y))) (+ (* 6.0 (/ 1 (* x z))) (/ 1 x))) in x 12.615 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in x 12.615 * [taylor]: Taking taylor expansion of 6.0 in x 12.615 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 12.615 * [taylor]: Taking taylor expansion of (* z y) in x 12.615 * [taylor]: Taking taylor expansion of z in x 12.615 * [taylor]: Taking taylor expansion of y in x 12.615 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 (* x z))) (/ 1 x)) in x 12.615 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* x z))) in x 12.615 * [taylor]: Taking taylor expansion of 6.0 in x 12.615 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 12.615 * [taylor]: Taking taylor expansion of (* x z) in x 12.615 * [taylor]: Taking taylor expansion of x in x 12.615 * [taylor]: Taking taylor expansion of z in x 12.616 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.616 * [taylor]: Taking taylor expansion of x in x 12.616 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in y 12.616 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in y 12.616 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in y 12.616 * [taylor]: Taking taylor expansion of 6.0 in y 12.616 * [taylor]: Taking taylor expansion of (/ 1 z) in y 12.616 * [taylor]: Taking taylor expansion of z in y 12.616 * [taylor]: Taking taylor expansion of 1 in y 12.619 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 (* z y))) in y 12.619 * [taylor]: Taking taylor expansion of 6.0 in y 12.619 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 12.619 * [taylor]: Taking taylor expansion of (* z y) in y 12.619 * [taylor]: Taking taylor expansion of z in y 12.619 * [taylor]: Taking taylor expansion of y in y 12.619 * [taylor]: Taking taylor expansion of (/ 6.0 z) in z 12.619 * [taylor]: Taking taylor expansion of 6.0 in z 12.619 * [taylor]: Taking taylor expansion of z in z 12.620 * [taylor]: Taking taylor expansion of (- (+ (* 6.0 (/ 1 z)) 1)) in z 12.620 * [taylor]: Taking taylor expansion of (+ (* 6.0 (/ 1 z)) 1) in z 12.620 * [taylor]: Taking taylor expansion of (* 6.0 (/ 1 z)) in z 12.620 * [taylor]: Taking taylor expansion of 6.0 in z 12.620 * [taylor]: Taking taylor expansion of (/ 1 z) in z 12.620 * [taylor]: Taking taylor expansion of z in z 12.620 * [taylor]: Taking taylor expansion of 1 in z 12.624 * [taylor]: Taking taylor expansion of 0 in y 12.625 * [taylor]: Taking taylor expansion of 0 in z 12.626 * [taylor]: Taking taylor expansion of 0 in z 12.629 * * * [progress]: simplifying candidates 12.630 * [simplify]: Simplifying using # : (expm1 (* 6.0 (* (- y x) z))) (log1p (* 6.0 (* (- y x) z))) (* 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)) (expm1 (* (- y x) z)) (log1p (* (- y 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) (expm1 (+ x (* 6.0 (* (- y x) z)))) (log1p (+ x (* 6.0 (* (- y 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))) 12.633 * * [simplify]: iteration 0 : 100 enodes (cost 685 ) 12.653 * * [simplify]: iteration 1 : 252 enodes (cost 648 ) 12.726 * * [simplify]: iteration 2 : 835 enodes (cost 550 ) 13.914 * * [simplify]: iteration 3 : 4409 enodes (cost 550 ) 15.262 * * [simplify]: iteration done : 5001 enodes (cost 550 ) 15.262 * [simplify]: Simplified to: (expm1 (* 6.0 (* (- y x) z))) (log1p (* 6.0 (* (- y x) z))) (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) (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 (* 6.0 (* (- y x) z)) 3) (pow (* 6.0 (* (- y x) z)) 3) (* (cbrt (* 6.0 (* (- y x) z))) (cbrt (* 6.0 (* (- y x) z)))) (cbrt (* 6.0 (* (- y x) z))) (pow (* 6.0 (* (- y x) z)) 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)) (* 6.0 (* (- y x) z)) (* 6.0 (* (- (pow y 3) (pow x 3)) z)) (* 6.0 (* (- (* y y) (* x x)) z)) (expm1 (* (- y x) z)) (log1p (* (- y 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) (expm1 (fma (* 6.0 (- y x)) z x)) (log1p (fma (* 6.0 (- y x)) z x)) (exp (fma (* 6.0 (- y x)) z x)) (log (fma (* 6.0 (- y x)) z x)) (exp (fma (* 6.0 (- y x)) z x)) (* (cbrt (fma (* 6.0 (- y x)) z x)) (cbrt (fma (* 6.0 (- y x)) z x))) (cbrt (fma (* 6.0 (- y x)) z x)) (pow (fma (* 6.0 (- y x)) z x) 3) (sqrt (fma (* 6.0 (- y x)) z x)) (sqrt (fma (* 6.0 (- y x)) z x)) (+ (pow x 3) (pow (* 6.0 (* (- y x) z)) 3)) (fma x x (* (* 6.0 (* (- y x) z)) (- (* 6.0 (* (- y x) z)) x))) (* (fma (* 6.0 (- y x)) z x) (- x (* 6.0 (* (- y x) z)))) (- x (* 6.0 (* (- y x) z))) 0 (* 6.0 (* (- y x) z)) (* 6.0 (* (- y x) z)) 0 (* (- y x) z) (* (- y x) z) (fma (* 6.0 (- y x)) z x) (fma (* 6.0 (- y x)) z x) (fma (* 6.0 (- y x)) z x) 15.263 * * * [progress]: adding candidates to table 15.443 * [progress]: [Phase 3 of 3] Extracting. 15.443 * * [regime]: Finding splitpoints for: (# # # # # # #) 15.444 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* (* (- y x) 6.0) z)) z y x) 15.444 * * * * [regimes]: Trying to branch on (+ x (* (* (- y x) 6.0) z)) from (# # # # # # #) 15.477 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 15.508 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 15.536 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 15.567 * * * [regime]: Found split indices: #