1.169 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying using # : (+ x (/ (* (- y x) z) t)) 0.022 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.023 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.025 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 0.028 * * [simplify]: iteration 3 : 51 enodes (cost 8 ) 0.034 * * [simplify]: iteration 4 : 88 enodes (cost 8 ) 0.049 * * [simplify]: iteration 5 : 146 enodes (cost 8 ) 0.070 * * [simplify]: iteration 6 : 210 enodes (cost 8 ) 0.102 * * [simplify]: iteration 7 : 240 enodes (cost 8 ) 0.139 * * [simplify]: iteration 8 : 270 enodes (cost 8 ) 0.179 * * [simplify]: iteration 9 : 323 enodes (cost 8 ) 0.238 * * [simplify]: iteration 10 : 504 enodes (cost 8 ) 0.376 * * [simplify]: iteration 11 : 769 enodes (cost 8 ) 0.608 * * [simplify]: iteration 12 : 836 enodes (cost 8 ) 0.863 * * [simplify]: iteration 13 : 997 enodes (cost 8 ) 1.212 * * [simplify]: iteration 14 : 1284 enodes (cost 8 ) 1.803 * * [simplify]: iteration 15 : 1816 enodes (cost 8 ) 3.100 * * [simplify]: iteration 16 : 2341 enodes (cost 8 ) 5.576 * * [simplify]: iteration 17 : 3181 enodes (cost 8 ) 10.830 * * [simplify]: iteration 18 : 4124 enodes (cost 8 ) 21.182 * * [simplify]: iteration 19 : 4243 enodes (cost 8 ) 32.234 * * [simplify]: iteration 20 : 4249 enodes (cost 8 ) 43.791 * * [simplify]: iteration done : 4249 enodes (cost 8 ) 43.792 * [simplify]: Simplified to: (fma (/ (- y x) t) z x) 43.795 * * [progress]: iteration 1 / 4 43.795 * * * [progress]: picking best candidate 43.802 * * * * [pick]: Picked # 43.802 * * * [progress]: localizing error 43.809 * * * [progress]: generating rewritten candidates 43.809 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 43.816 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 43.826 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 43.833 * * * [progress]: generating series expansions 43.833 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 43.834 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x z t) around 0 43.834 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 43.834 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 43.834 * [taylor]: Taking taylor expansion of (- y x) in t 43.834 * [taylor]: Taking taylor expansion of y in t 43.834 * [taylor]: Taking taylor expansion of x in t 43.834 * [taylor]: Taking taylor expansion of z in t 43.834 * [taylor]: Taking taylor expansion of t in t 43.834 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 43.834 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 43.834 * [taylor]: Taking taylor expansion of (- y x) in z 43.834 * [taylor]: Taking taylor expansion of y in z 43.834 * [taylor]: Taking taylor expansion of x in z 43.834 * [taylor]: Taking taylor expansion of z in z 43.834 * [taylor]: Taking taylor expansion of t in z 43.836 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 43.836 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 43.836 * [taylor]: Taking taylor expansion of (- y x) in x 43.836 * [taylor]: Taking taylor expansion of y in x 43.836 * [taylor]: Taking taylor expansion of x in x 43.836 * [taylor]: Taking taylor expansion of z in x 43.836 * [taylor]: Taking taylor expansion of t in x 43.836 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 43.836 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 43.836 * [taylor]: Taking taylor expansion of (- y x) in y 43.836 * [taylor]: Taking taylor expansion of y in y 43.836 * [taylor]: Taking taylor expansion of x in y 43.836 * [taylor]: Taking taylor expansion of z in y 43.836 * [taylor]: Taking taylor expansion of t in y 43.836 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 43.836 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 43.836 * [taylor]: Taking taylor expansion of (- y x) in y 43.836 * [taylor]: Taking taylor expansion of y in y 43.836 * [taylor]: Taking taylor expansion of x in y 43.836 * [taylor]: Taking taylor expansion of z in y 43.836 * [taylor]: Taking taylor expansion of t in y 43.837 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x 43.837 * [taylor]: Taking taylor expansion of -1 in x 43.837 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 43.837 * [taylor]: Taking taylor expansion of (* x z) in x 43.837 * [taylor]: Taking taylor expansion of x in x 43.837 * [taylor]: Taking taylor expansion of z in x 43.837 * [taylor]: Taking taylor expansion of t in x 43.838 * [taylor]: Taking taylor expansion of (/ z t) in x 43.838 * [taylor]: Taking taylor expansion of z in x 43.838 * [taylor]: Taking taylor expansion of t in x 43.838 * [taylor]: Taking taylor expansion of (/ z t) in z 43.838 * [taylor]: Taking taylor expansion of z in z 43.838 * [taylor]: Taking taylor expansion of t in z 43.838 * [taylor]: Taking taylor expansion of (/ 1 t) in t 43.838 * [taylor]: Taking taylor expansion of t in t 43.839 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z 43.839 * [taylor]: Taking taylor expansion of -1 in z 43.839 * [taylor]: Taking taylor expansion of (/ z t) in z 43.839 * [taylor]: Taking taylor expansion of z in z 43.839 * [taylor]: Taking taylor expansion of t in z 43.839 * [taylor]: Taking taylor expansion of (/ -1 t) in t 43.839 * [taylor]: Taking taylor expansion of -1 in t 43.839 * [taylor]: Taking taylor expansion of t in t 43.840 * [taylor]: Taking taylor expansion of 0 in x 43.840 * [taylor]: Taking taylor expansion of 0 in z 43.840 * [taylor]: Taking taylor expansion of 0 in t 43.841 * [taylor]: Taking taylor expansion of 0 in z 43.841 * [taylor]: Taking taylor expansion of 0 in t 43.842 * [taylor]: Taking taylor expansion of 0 in z 43.842 * [taylor]: Taking taylor expansion of 0 in t 43.842 * [taylor]: Taking taylor expansion of 0 in t 43.842 * [taylor]: Taking taylor expansion of 0 in t 43.845 * [taylor]: Taking taylor expansion of 0 in x 43.845 * [taylor]: Taking taylor expansion of 0 in z 43.845 * [taylor]: Taking taylor expansion of 0 in t 43.845 * [taylor]: Taking taylor expansion of 0 in z 43.845 * [taylor]: Taking taylor expansion of 0 in t 43.845 * [taylor]: Taking taylor expansion of 0 in z 43.845 * [taylor]: Taking taylor expansion of 0 in t 43.846 * [taylor]: Taking taylor expansion of 0 in z 43.846 * [taylor]: Taking taylor expansion of 0 in t 43.846 * [taylor]: Taking taylor expansion of 0 in t 43.847 * [taylor]: Taking taylor expansion of 0 in t 43.847 * [taylor]: Taking taylor expansion of 0 in t 43.847 * [taylor]: Taking taylor expansion of 0 in t 43.847 * [taylor]: Taking taylor expansion of 0 in t 43.848 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0 43.848 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 43.848 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 43.848 * [taylor]: Taking taylor expansion of t in t 43.848 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 43.848 * [taylor]: Taking taylor expansion of (/ 1 y) in t 43.848 * [taylor]: Taking taylor expansion of y in t 43.848 * [taylor]: Taking taylor expansion of (/ 1 x) in t 43.848 * [taylor]: Taking taylor expansion of x in t 43.848 * [taylor]: Taking taylor expansion of z in t 43.849 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 43.849 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 43.849 * [taylor]: Taking taylor expansion of t in z 43.849 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 43.849 * [taylor]: Taking taylor expansion of (/ 1 y) in z 43.849 * [taylor]: Taking taylor expansion of y in z 43.849 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.849 * [taylor]: Taking taylor expansion of x in z 43.849 * [taylor]: Taking taylor expansion of z in z 43.850 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 43.850 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 43.850 * [taylor]: Taking taylor expansion of t in x 43.850 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 43.850 * [taylor]: Taking taylor expansion of (/ 1 y) in x 43.850 * [taylor]: Taking taylor expansion of y in x 43.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.850 * [taylor]: Taking taylor expansion of x in x 43.850 * [taylor]: Taking taylor expansion of z in x 43.851 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 43.851 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 43.851 * [taylor]: Taking taylor expansion of t in y 43.851 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 43.851 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.851 * [taylor]: Taking taylor expansion of y in y 43.851 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.851 * [taylor]: Taking taylor expansion of x in y 43.851 * [taylor]: Taking taylor expansion of z in y 43.852 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 43.852 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 43.852 * [taylor]: Taking taylor expansion of t in y 43.852 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 43.852 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.852 * [taylor]: Taking taylor expansion of y in y 43.852 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.852 * [taylor]: Taking taylor expansion of x in y 43.852 * [taylor]: Taking taylor expansion of z in y 43.853 * [taylor]: Taking taylor expansion of (/ t z) in x 43.853 * [taylor]: Taking taylor expansion of t in x 43.853 * [taylor]: Taking taylor expansion of z in x 43.854 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x 43.854 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.854 * [taylor]: Taking taylor expansion of t in x 43.854 * [taylor]: Taking taylor expansion of (* x z) in x 43.854 * [taylor]: Taking taylor expansion of x in x 43.854 * [taylor]: Taking taylor expansion of z in x 43.854 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 43.854 * [taylor]: Taking taylor expansion of (/ t z) in z 43.854 * [taylor]: Taking taylor expansion of t in z 43.854 * [taylor]: Taking taylor expansion of z in z 43.854 * [taylor]: Taking taylor expansion of (- t) in t 43.854 * [taylor]: Taking taylor expansion of t in t 43.855 * [taylor]: Taking taylor expansion of (/ t z) in z 43.855 * [taylor]: Taking taylor expansion of t in z 43.855 * [taylor]: Taking taylor expansion of z in z 43.855 * [taylor]: Taking taylor expansion of t in t 43.856 * [taylor]: Taking taylor expansion of 0 in x 43.857 * [taylor]: Taking taylor expansion of 0 in z 43.858 * [taylor]: Taking taylor expansion of 0 in z 43.859 * [taylor]: Taking taylor expansion of 0 in t 43.859 * [taylor]: Taking taylor expansion of 0 in t 43.861 * [taylor]: Taking taylor expansion of 0 in x 43.861 * [taylor]: Taking taylor expansion of 0 in z 43.863 * [taylor]: Taking taylor expansion of 0 in z 43.863 * [taylor]: Taking taylor expansion of 0 in z 43.863 * [taylor]: Taking taylor expansion of 0 in t 43.863 * [taylor]: Taking taylor expansion of 0 in t 43.863 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in (y x z t) around 0 43.863 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in t 43.864 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t 43.864 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 43.864 * [taylor]: Taking taylor expansion of (/ 1 x) in t 43.864 * [taylor]: Taking taylor expansion of x in t 43.864 * [taylor]: Taking taylor expansion of (/ 1 y) in t 43.864 * [taylor]: Taking taylor expansion of y in t 43.864 * [taylor]: Taking taylor expansion of t in t 43.864 * [taylor]: Taking taylor expansion of z in t 43.865 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in z 43.865 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z 43.865 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 43.865 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.865 * [taylor]: Taking taylor expansion of x in z 43.865 * [taylor]: Taking taylor expansion of (/ 1 y) in z 43.865 * [taylor]: Taking taylor expansion of y in z 43.865 * [taylor]: Taking taylor expansion of t in z 43.865 * [taylor]: Taking taylor expansion of z in z 43.865 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in x 43.865 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x 43.865 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 43.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.865 * [taylor]: Taking taylor expansion of x in x 43.866 * [taylor]: Taking taylor expansion of (/ 1 y) in x 43.866 * [taylor]: Taking taylor expansion of y in x 43.866 * [taylor]: Taking taylor expansion of t in x 43.866 * [taylor]: Taking taylor expansion of z in x 43.866 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 43.866 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 43.866 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 43.866 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.866 * [taylor]: Taking taylor expansion of x in y 43.866 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.866 * [taylor]: Taking taylor expansion of y in y 43.867 * [taylor]: Taking taylor expansion of t in y 43.867 * [taylor]: Taking taylor expansion of z in y 43.867 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 43.867 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 43.867 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 43.867 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.867 * [taylor]: Taking taylor expansion of x in y 43.867 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.868 * [taylor]: Taking taylor expansion of y in y 43.868 * [taylor]: Taking taylor expansion of t in y 43.868 * [taylor]: Taking taylor expansion of z in y 43.869 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x 43.869 * [taylor]: Taking taylor expansion of -1 in x 43.869 * [taylor]: Taking taylor expansion of (/ t z) in x 43.869 * [taylor]: Taking taylor expansion of t in x 43.869 * [taylor]: Taking taylor expansion of z in x 43.870 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.870 * [taylor]: Taking taylor expansion of t in x 43.870 * [taylor]: Taking taylor expansion of (* x z) in x 43.870 * [taylor]: Taking taylor expansion of x in x 43.870 * [taylor]: Taking taylor expansion of z in x 43.871 * [taylor]: Taking taylor expansion of (/ t z) in z 43.871 * [taylor]: Taking taylor expansion of t in z 43.871 * [taylor]: Taking taylor expansion of z in z 43.871 * [taylor]: Taking taylor expansion of t in t 43.871 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z 43.871 * [taylor]: Taking taylor expansion of -1 in z 43.871 * [taylor]: Taking taylor expansion of (/ t z) in z 43.871 * [taylor]: Taking taylor expansion of t in z 43.871 * [taylor]: Taking taylor expansion of z in z 43.871 * [taylor]: Taking taylor expansion of (* -1 t) in t 43.871 * [taylor]: Taking taylor expansion of -1 in t 43.871 * [taylor]: Taking taylor expansion of t in t 43.873 * [taylor]: Taking taylor expansion of 0 in x 43.874 * [taylor]: Taking taylor expansion of 0 in z 43.874 * [taylor]: Taking taylor expansion of 0 in z 43.875 * [taylor]: Taking taylor expansion of 0 in t 43.876 * [taylor]: Taking taylor expansion of 0 in t 43.879 * [taylor]: Taking taylor expansion of 0 in x 43.879 * [taylor]: Taking taylor expansion of 0 in z 43.880 * [taylor]: Taking taylor expansion of 0 in z 43.881 * [taylor]: Taking taylor expansion of 0 in z 43.881 * [taylor]: Taking taylor expansion of 0 in t 43.881 * [taylor]: Taking taylor expansion of 0 in t 43.881 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 43.882 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0 43.882 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 43.882 * [taylor]: Taking taylor expansion of (- y x) in z 43.882 * [taylor]: Taking taylor expansion of y in z 43.882 * [taylor]: Taking taylor expansion of x in z 43.882 * [taylor]: Taking taylor expansion of z in z 43.882 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 43.882 * [taylor]: Taking taylor expansion of (- y x) in x 43.882 * [taylor]: Taking taylor expansion of y in x 43.882 * [taylor]: Taking taylor expansion of x in x 43.882 * [taylor]: Taking taylor expansion of z in x 43.882 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 43.882 * [taylor]: Taking taylor expansion of (- y x) in y 43.882 * [taylor]: Taking taylor expansion of y in y 43.882 * [taylor]: Taking taylor expansion of x in y 43.882 * [taylor]: Taking taylor expansion of z in y 43.882 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 43.882 * [taylor]: Taking taylor expansion of (- y x) in y 43.882 * [taylor]: Taking taylor expansion of y in y 43.882 * [taylor]: Taking taylor expansion of x in y 43.882 * [taylor]: Taking taylor expansion of z in y 43.882 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 43.882 * [taylor]: Taking taylor expansion of -1 in x 43.882 * [taylor]: Taking taylor expansion of (* x z) in x 43.882 * [taylor]: Taking taylor expansion of x in x 43.882 * [taylor]: Taking taylor expansion of z in x 43.883 * [taylor]: Taking taylor expansion of 0 in z 43.883 * [taylor]: Taking taylor expansion of z in x 43.883 * [taylor]: Taking taylor expansion of z in z 43.884 * [taylor]: Taking taylor expansion of (- z) in z 43.884 * [taylor]: Taking taylor expansion of z in z 43.885 * [taylor]: Taking taylor expansion of 0 in x 43.885 * [taylor]: Taking taylor expansion of 0 in z 43.885 * [taylor]: Taking taylor expansion of 0 in z 43.886 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 43.886 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 43.886 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 43.886 * [taylor]: Taking taylor expansion of (/ 1 y) in z 43.886 * [taylor]: Taking taylor expansion of y in z 43.886 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.886 * [taylor]: Taking taylor expansion of x in z 43.886 * [taylor]: Taking taylor expansion of z in z 43.886 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 43.886 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 43.886 * [taylor]: Taking taylor expansion of (/ 1 y) in x 43.886 * [taylor]: Taking taylor expansion of y in x 43.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.886 * [taylor]: Taking taylor expansion of x in x 43.886 * [taylor]: Taking taylor expansion of z in x 43.887 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 43.887 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 43.887 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.887 * [taylor]: Taking taylor expansion of y in y 43.887 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.887 * [taylor]: Taking taylor expansion of x in y 43.887 * [taylor]: Taking taylor expansion of z in y 43.888 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 43.888 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 43.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.888 * [taylor]: Taking taylor expansion of y in y 43.888 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.888 * [taylor]: Taking taylor expansion of x in y 43.888 * [taylor]: Taking taylor expansion of z in y 43.888 * [taylor]: Taking taylor expansion of (/ 1 z) in x 43.888 * [taylor]: Taking taylor expansion of z in x 43.889 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 43.889 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 43.889 * [taylor]: Taking taylor expansion of (* x z) in x 43.889 * [taylor]: Taking taylor expansion of x in x 43.889 * [taylor]: Taking taylor expansion of z in x 43.890 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 43.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 43.890 * [taylor]: Taking taylor expansion of z in z 43.890 * [taylor]: Taking taylor expansion of (/ 1 z) in z 43.890 * [taylor]: Taking taylor expansion of z in z 43.892 * [taylor]: Taking taylor expansion of 0 in x 43.893 * [taylor]: Taking taylor expansion of 0 in z 43.893 * [taylor]: Taking taylor expansion of 0 in z 43.898 * [taylor]: Taking taylor expansion of 0 in x 43.899 * [taylor]: Taking taylor expansion of 0 in z 43.900 * [taylor]: Taking taylor expansion of 0 in z 43.900 * [taylor]: Taking taylor expansion of 0 in z 43.902 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 43.902 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 43.902 * [taylor]: Taking taylor expansion of -1 in z 43.902 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 43.902 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 43.902 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.902 * [taylor]: Taking taylor expansion of x in z 43.902 * [taylor]: Taking taylor expansion of (/ 1 y) in z 43.902 * [taylor]: Taking taylor expansion of y in z 43.902 * [taylor]: Taking taylor expansion of z in z 43.902 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x 43.902 * [taylor]: Taking taylor expansion of -1 in x 43.902 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 43.902 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 43.902 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.902 * [taylor]: Taking taylor expansion of x in x 43.903 * [taylor]: Taking taylor expansion of (/ 1 y) in x 43.903 * [taylor]: Taking taylor expansion of y in x 43.903 * [taylor]: Taking taylor expansion of z in x 43.903 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 43.903 * [taylor]: Taking taylor expansion of -1 in y 43.903 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 43.903 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 43.903 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.903 * [taylor]: Taking taylor expansion of x in y 43.903 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.903 * [taylor]: Taking taylor expansion of y in y 43.903 * [taylor]: Taking taylor expansion of z in y 43.904 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 43.904 * [taylor]: Taking taylor expansion of -1 in y 43.904 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 43.904 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 43.904 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.904 * [taylor]: Taking taylor expansion of x in y 43.904 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.904 * [taylor]: Taking taylor expansion of y in y 43.905 * [taylor]: Taking taylor expansion of z in y 43.905 * [taylor]: Taking taylor expansion of (/ 1 z) in x 43.905 * [taylor]: Taking taylor expansion of z in x 43.906 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 43.906 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 43.906 * [taylor]: Taking taylor expansion of (* x z) in x 43.906 * [taylor]: Taking taylor expansion of x in x 43.906 * [taylor]: Taking taylor expansion of z in x 43.907 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 43.907 * [taylor]: Taking taylor expansion of (/ 1 z) in z 43.907 * [taylor]: Taking taylor expansion of z in z 43.907 * [taylor]: Taking taylor expansion of (/ 1 z) in z 43.907 * [taylor]: Taking taylor expansion of z in z 43.909 * [taylor]: Taking taylor expansion of 0 in x 43.910 * [taylor]: Taking taylor expansion of 0 in z 43.910 * [taylor]: Taking taylor expansion of 0 in z 43.913 * [taylor]: Taking taylor expansion of 0 in x 43.914 * [taylor]: Taking taylor expansion of 0 in z 43.915 * [taylor]: Taking taylor expansion of 0 in z 43.915 * [taylor]: Taking taylor expansion of 0 in z 43.916 * * * * [progress]: [ 3 / 3 ] generating series at (2) 43.917 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x y z t) around 0 43.917 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t 43.917 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 43.917 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 43.917 * [taylor]: Taking taylor expansion of (* z y) in t 43.917 * [taylor]: Taking taylor expansion of z in t 43.917 * [taylor]: Taking taylor expansion of y in t 43.917 * [taylor]: Taking taylor expansion of t in t 43.917 * [taylor]: Taking taylor expansion of x in t 43.917 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t 43.917 * [taylor]: Taking taylor expansion of (* x z) in t 43.917 * [taylor]: Taking taylor expansion of x in t 43.917 * [taylor]: Taking taylor expansion of z in t 43.917 * [taylor]: Taking taylor expansion of t in t 43.917 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 43.917 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 43.917 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 43.917 * [taylor]: Taking taylor expansion of (* z y) in z 43.917 * [taylor]: Taking taylor expansion of z in z 43.917 * [taylor]: Taking taylor expansion of y in z 43.917 * [taylor]: Taking taylor expansion of t in z 43.918 * [taylor]: Taking taylor expansion of x in z 43.918 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 43.918 * [taylor]: Taking taylor expansion of (* x z) in z 43.918 * [taylor]: Taking taylor expansion of x in z 43.918 * [taylor]: Taking taylor expansion of z in z 43.918 * [taylor]: Taking taylor expansion of t in z 43.918 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y 43.918 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 43.918 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 43.918 * [taylor]: Taking taylor expansion of (* z y) in y 43.918 * [taylor]: Taking taylor expansion of z in y 43.918 * [taylor]: Taking taylor expansion of y in y 43.918 * [taylor]: Taking taylor expansion of t in y 43.919 * [taylor]: Taking taylor expansion of x in y 43.919 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y 43.919 * [taylor]: Taking taylor expansion of (* x z) in y 43.919 * [taylor]: Taking taylor expansion of x in y 43.919 * [taylor]: Taking taylor expansion of z in y 43.919 * [taylor]: Taking taylor expansion of t in y 43.919 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 43.919 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 43.919 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 43.919 * [taylor]: Taking taylor expansion of (* z y) in x 43.919 * [taylor]: Taking taylor expansion of z in x 43.919 * [taylor]: Taking taylor expansion of y in x 43.919 * [taylor]: Taking taylor expansion of t in x 43.919 * [taylor]: Taking taylor expansion of x in x 43.919 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 43.919 * [taylor]: Taking taylor expansion of (* x z) in x 43.919 * [taylor]: Taking taylor expansion of x in x 43.919 * [taylor]: Taking taylor expansion of z in x 43.919 * [taylor]: Taking taylor expansion of t in x 43.920 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 43.920 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 43.920 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 43.920 * [taylor]: Taking taylor expansion of (* z y) in x 43.920 * [taylor]: Taking taylor expansion of z in x 43.920 * [taylor]: Taking taylor expansion of y in x 43.920 * [taylor]: Taking taylor expansion of t in x 43.920 * [taylor]: Taking taylor expansion of x in x 43.920 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 43.920 * [taylor]: Taking taylor expansion of (* x z) in x 43.920 * [taylor]: Taking taylor expansion of x in x 43.920 * [taylor]: Taking taylor expansion of z in x 43.920 * [taylor]: Taking taylor expansion of t in x 43.920 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 43.921 * [taylor]: Taking taylor expansion of (* z y) in y 43.921 * [taylor]: Taking taylor expansion of z in y 43.921 * [taylor]: Taking taylor expansion of y in y 43.921 * [taylor]: Taking taylor expansion of t in y 43.922 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in y 43.922 * [taylor]: Taking taylor expansion of 1 in y 43.922 * [taylor]: Taking taylor expansion of (/ z t) in y 43.922 * [taylor]: Taking taylor expansion of z in y 43.922 * [taylor]: Taking taylor expansion of t in y 43.922 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 43.922 * [taylor]: Taking taylor expansion of 1 in z 43.922 * [taylor]: Taking taylor expansion of (/ z t) in z 43.922 * [taylor]: Taking taylor expansion of z in z 43.922 * [taylor]: Taking taylor expansion of t in z 43.922 * [taylor]: Taking taylor expansion of 1 in t 43.922 * [taylor]: Taking taylor expansion of (/ z t) in z 43.922 * [taylor]: Taking taylor expansion of z in z 43.922 * [taylor]: Taking taylor expansion of t in z 43.924 * [taylor]: Taking taylor expansion of 0 in y 43.924 * [taylor]: Taking taylor expansion of 0 in z 43.924 * [taylor]: Taking taylor expansion of 0 in t 43.925 * [taylor]: Taking taylor expansion of 0 in z 43.925 * [taylor]: Taking taylor expansion of 0 in t 43.926 * [taylor]: Taking taylor expansion of 0 in z 43.926 * [taylor]: Taking taylor expansion of 0 in t 43.926 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 43.926 * [taylor]: Taking taylor expansion of (/ 1 t) in t 43.926 * [taylor]: Taking taylor expansion of t in t 43.927 * [taylor]: Taking taylor expansion of (/ 1 t) in t 43.927 * [taylor]: Taking taylor expansion of t in t 43.928 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x y z t) around 0 43.928 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t 43.928 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 43.928 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 43.928 * [taylor]: Taking taylor expansion of t in t 43.928 * [taylor]: Taking taylor expansion of (* z y) in t 43.928 * [taylor]: Taking taylor expansion of z in t 43.928 * [taylor]: Taking taylor expansion of y in t 43.928 * [taylor]: Taking taylor expansion of (/ 1 x) in t 43.928 * [taylor]: Taking taylor expansion of x in t 43.928 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 43.928 * [taylor]: Taking taylor expansion of t in t 43.928 * [taylor]: Taking taylor expansion of (* x z) in t 43.928 * [taylor]: Taking taylor expansion of x in t 43.928 * [taylor]: Taking taylor expansion of z in t 43.928 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 43.928 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 43.928 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 43.928 * [taylor]: Taking taylor expansion of t in z 43.928 * [taylor]: Taking taylor expansion of (* z y) in z 43.928 * [taylor]: Taking taylor expansion of z in z 43.928 * [taylor]: Taking taylor expansion of y in z 43.929 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.929 * [taylor]: Taking taylor expansion of x in z 43.929 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 43.929 * [taylor]: Taking taylor expansion of t in z 43.929 * [taylor]: Taking taylor expansion of (* x z) in z 43.929 * [taylor]: Taking taylor expansion of x in z 43.929 * [taylor]: Taking taylor expansion of z in z 43.929 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y 43.929 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 43.929 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 43.929 * [taylor]: Taking taylor expansion of t in y 43.929 * [taylor]: Taking taylor expansion of (* z y) in y 43.929 * [taylor]: Taking taylor expansion of z in y 43.929 * [taylor]: Taking taylor expansion of y in y 43.930 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.930 * [taylor]: Taking taylor expansion of x in y 43.930 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 43.930 * [taylor]: Taking taylor expansion of t in y 43.930 * [taylor]: Taking taylor expansion of (* x z) in y 43.930 * [taylor]: Taking taylor expansion of x in y 43.930 * [taylor]: Taking taylor expansion of z in y 43.930 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 43.930 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 43.930 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 43.930 * [taylor]: Taking taylor expansion of t in x 43.930 * [taylor]: Taking taylor expansion of (* z y) in x 43.930 * [taylor]: Taking taylor expansion of z in x 43.930 * [taylor]: Taking taylor expansion of y in x 43.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.930 * [taylor]: Taking taylor expansion of x in x 43.930 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.930 * [taylor]: Taking taylor expansion of t in x 43.930 * [taylor]: Taking taylor expansion of (* x z) in x 43.930 * [taylor]: Taking taylor expansion of x in x 43.930 * [taylor]: Taking taylor expansion of z in x 43.931 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 43.931 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 43.931 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 43.931 * [taylor]: Taking taylor expansion of t in x 43.931 * [taylor]: Taking taylor expansion of (* z y) in x 43.931 * [taylor]: Taking taylor expansion of z in x 43.931 * [taylor]: Taking taylor expansion of y in x 43.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.931 * [taylor]: Taking taylor expansion of x in x 43.931 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.931 * [taylor]: Taking taylor expansion of t in x 43.931 * [taylor]: Taking taylor expansion of (* x z) in x 43.931 * [taylor]: Taking taylor expansion of x in x 43.931 * [taylor]: Taking taylor expansion of z in x 43.932 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in y 43.932 * [taylor]: Taking taylor expansion of 1 in y 43.932 * [taylor]: Taking taylor expansion of (/ t z) in y 43.932 * [taylor]: Taking taylor expansion of t in y 43.932 * [taylor]: Taking taylor expansion of z in y 43.934 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 43.934 * [taylor]: Taking taylor expansion of t in y 43.934 * [taylor]: Taking taylor expansion of (* z y) in y 43.934 * [taylor]: Taking taylor expansion of z in y 43.934 * [taylor]: Taking taylor expansion of y in y 43.934 * [taylor]: Taking taylor expansion of (/ t z) in z 43.934 * [taylor]: Taking taylor expansion of t in z 43.934 * [taylor]: Taking taylor expansion of z in z 43.934 * [taylor]: Taking taylor expansion of t in t 43.935 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 43.935 * [taylor]: Taking taylor expansion of 1 in z 43.935 * [taylor]: Taking taylor expansion of (/ t z) in z 43.935 * [taylor]: Taking taylor expansion of t in z 43.935 * [taylor]: Taking taylor expansion of z in z 43.935 * [taylor]: Taking taylor expansion of (- t) in t 43.935 * [taylor]: Taking taylor expansion of t in t 43.937 * [taylor]: Taking taylor expansion of 0 in y 43.938 * [taylor]: Taking taylor expansion of 0 in z 43.939 * [taylor]: Taking taylor expansion of 0 in z 43.939 * [taylor]: Taking taylor expansion of 0 in t 43.940 * [taylor]: Taking taylor expansion of 1 in t 43.942 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0 43.942 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t 43.942 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 43.942 * [taylor]: Taking taylor expansion of t in t 43.942 * [taylor]: Taking taylor expansion of (* x z) in t 43.942 * [taylor]: Taking taylor expansion of x in t 43.942 * [taylor]: Taking taylor expansion of z in t 43.942 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 43.942 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 43.942 * [taylor]: Taking taylor expansion of t in t 43.942 * [taylor]: Taking taylor expansion of (* z y) in t 43.942 * [taylor]: Taking taylor expansion of z in t 43.942 * [taylor]: Taking taylor expansion of y in t 43.942 * [taylor]: Taking taylor expansion of (/ 1 x) in t 43.942 * [taylor]: Taking taylor expansion of x in t 43.942 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 43.942 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 43.942 * [taylor]: Taking taylor expansion of t in z 43.942 * [taylor]: Taking taylor expansion of (* x z) in z 43.942 * [taylor]: Taking taylor expansion of x in z 43.942 * [taylor]: Taking taylor expansion of z in z 43.943 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 43.943 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 43.943 * [taylor]: Taking taylor expansion of t in z 43.943 * [taylor]: Taking taylor expansion of (* z y) in z 43.943 * [taylor]: Taking taylor expansion of z in z 43.943 * [taylor]: Taking taylor expansion of y in z 43.943 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.943 * [taylor]: Taking taylor expansion of x in z 43.943 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y 43.943 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 43.943 * [taylor]: Taking taylor expansion of t in y 43.943 * [taylor]: Taking taylor expansion of (* x z) in y 43.943 * [taylor]: Taking taylor expansion of x in y 43.943 * [taylor]: Taking taylor expansion of z in y 43.943 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 43.943 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 43.943 * [taylor]: Taking taylor expansion of t in y 43.943 * [taylor]: Taking taylor expansion of (* z y) in y 43.943 * [taylor]: Taking taylor expansion of z in y 43.943 * [taylor]: Taking taylor expansion of y in y 43.944 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.944 * [taylor]: Taking taylor expansion of x in y 43.944 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 43.944 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.944 * [taylor]: Taking taylor expansion of t in x 43.944 * [taylor]: Taking taylor expansion of (* x z) in x 43.944 * [taylor]: Taking taylor expansion of x in x 43.944 * [taylor]: Taking taylor expansion of z in x 43.944 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 43.944 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 43.944 * [taylor]: Taking taylor expansion of t in x 43.944 * [taylor]: Taking taylor expansion of (* z y) in x 43.944 * [taylor]: Taking taylor expansion of z in x 43.944 * [taylor]: Taking taylor expansion of y in x 43.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.944 * [taylor]: Taking taylor expansion of x in x 43.945 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 43.945 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.945 * [taylor]: Taking taylor expansion of t in x 43.945 * [taylor]: Taking taylor expansion of (* x z) in x 43.945 * [taylor]: Taking taylor expansion of x in x 43.945 * [taylor]: Taking taylor expansion of z in x 43.945 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 43.945 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 43.945 * [taylor]: Taking taylor expansion of t in x 43.945 * [taylor]: Taking taylor expansion of (* z y) in x 43.945 * [taylor]: Taking taylor expansion of z in x 43.945 * [taylor]: Taking taylor expansion of y in x 43.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.945 * [taylor]: Taking taylor expansion of x in x 43.946 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in y 43.946 * [taylor]: Taking taylor expansion of (/ t z) in y 43.946 * [taylor]: Taking taylor expansion of t in y 43.946 * [taylor]: Taking taylor expansion of z in y 43.946 * [taylor]: Taking taylor expansion of 1 in y 43.948 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y 43.948 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 43.948 * [taylor]: Taking taylor expansion of t in y 43.948 * [taylor]: Taking taylor expansion of (* z y) in y 43.948 * [taylor]: Taking taylor expansion of z in y 43.948 * [taylor]: Taking taylor expansion of y in y 43.948 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 43.948 * [taylor]: Taking taylor expansion of (/ t z) in z 43.948 * [taylor]: Taking taylor expansion of t in z 43.948 * [taylor]: Taking taylor expansion of z in z 43.948 * [taylor]: Taking taylor expansion of (- t) in t 43.949 * [taylor]: Taking taylor expansion of t in t 43.949 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 43.949 * [taylor]: Taking taylor expansion of (/ t z) in z 43.949 * [taylor]: Taking taylor expansion of t in z 43.949 * [taylor]: Taking taylor expansion of z in z 43.949 * [taylor]: Taking taylor expansion of 1 in z 43.949 * [taylor]: Taking taylor expansion of t in t 43.952 * [taylor]: Taking taylor expansion of 0 in y 43.953 * [taylor]: Taking taylor expansion of 0 in z 43.953 * [taylor]: Taking taylor expansion of 0 in z 43.954 * [taylor]: Taking taylor expansion of 0 in t 43.955 * [taylor]: Taking taylor expansion of -1 in t 43.956 * * * [progress]: simplifying candidates 43.957 * [simplify]: Simplifying using # : (expm1 (/ (* (- y x) z) t)) (log1p (/ (* (- y x) z) t)) (- (+ (log (- y x)) (log z)) (log t)) (- (log (* (- y x) z)) (log t)) (log (/ (* (- y x) z) t)) (exp (/ (* (- y x) z) t)) (/ (* (* (* (- y x) (- y x)) (- y x)) (* (* z z) z)) (* (* t t) t)) (/ (* (* (* (- y x) z) (* (- y x) z)) (* (- y x) z)) (* (* t t) t)) (* (cbrt (/ (* (- y x) z) t)) (cbrt (/ (* (- y x) z) t))) (cbrt (/ (* (- y x) z) t)) (* (* (/ (* (- y x) z) t) (/ (* (- y x) z) t)) (/ (* (- y x) z) t)) (sqrt (/ (* (- y x) z) t)) (sqrt (/ (* (- y x) z) t)) (- (* (- y x) z)) (- t) (/ (- y x) (* (cbrt t) (cbrt t))) (/ z (cbrt t)) (/ (- y x) (sqrt t)) (/ z (sqrt t)) (/ (- y x) 1) (/ z t) (/ 1 t) (/ t (* (- y x) z)) (/ (* (- y x) z) (* (cbrt t) (cbrt t))) (/ (* (- y x) z) (sqrt t)) (/ (* (- y x) z) 1) (/ t z) (* t (+ (* y y) (+ (* x x) (* y x)))) (* t (+ y x)) (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 (/ (* (- y x) z) t))) (log1p (+ x (/ (* (- y x) z) t))) (* (exp x) (exp (/ (* (- y x) z) t))) (log (+ x (/ (* (- y x) z) t))) (exp (+ x (/ (* (- y x) z) t))) (* (cbrt (+ x (/ (* (- y x) z) t))) (cbrt (+ x (/ (* (- y x) z) t)))) (cbrt (+ x (/ (* (- y x) z) t))) (* (* (+ x (/ (* (- y x) z) t)) (+ x (/ (* (- y x) z) t))) (+ x (/ (* (- y x) z) t))) (sqrt (+ x (/ (* (- y x) z) t))) (sqrt (+ x (/ (* (- y x) z) t))) (+ (pow x 3) (pow (/ (* (- y x) z) t) 3)) (+ (* x x) (- (* (/ (* (- y x) z) t) (/ (* (- y x) z) t)) (* x (/ (* (- y x) z) t)))) (- (* x x) (* (/ (* (- y x) z) t) (/ (* (- y x) z) t))) (- x (/ (* (- y x) z) t)) (+ x (/ (* (- y x) z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) (- (/ (* z y) t) (/ (* x z) t)) 0 (- (* z y) (* x z)) (- (* z y) (* x z)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) (- (+ (/ (* z y) t) x) (/ (* x z) t)) 43.960 * * [simplify]: iteration 0 : 116 enodes (cost 736 ) 43.983 * * [simplify]: iteration 1 : 303 enodes (cost 699 )