4.660 * [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.021 * [simplify]: Simplifying using # : (+ x (/ (* (- y x) z) t)) 0.021 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.022 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.024 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 0.027 * * [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.071 * * [simplify]: iteration 6 : 210 enodes (cost 8 ) 0.104 * * [simplify]: iteration 7 : 240 enodes (cost 8 ) 0.143 * * [simplify]: iteration 8 : 270 enodes (cost 8 ) 0.186 * * [simplify]: iteration 9 : 323 enodes (cost 8 ) 0.247 * * [simplify]: iteration 10 : 504 enodes (cost 8 ) 0.387 * * [simplify]: iteration 11 : 769 enodes (cost 8 ) 0.626 * * [simplify]: iteration 12 : 836 enodes (cost 8 ) 0.890 * * [simplify]: iteration 13 : 997 enodes (cost 8 ) 1.251 * * [simplify]: iteration 14 : 1284 enodes (cost 8 ) 1.866 * * [simplify]: iteration 15 : 1816 enodes (cost 8 ) 3.387 * * [simplify]: iteration 16 : 2341 enodes (cost 8 ) 5.901 * * [simplify]: iteration 17 : 3181 enodes (cost 8 ) 11.214 * * [simplify]: iteration 18 : 4124 enodes (cost 8 ) 21.692 * * [simplify]: iteration 19 : 4243 enodes (cost 8 ) 32.863 * * [simplify]: iteration 20 : 4249 enodes (cost 8 ) 43.760 * * [simplify]: iteration done : 4249 enodes (cost 8 ) 43.761 * [simplify]: Simplified to: (fma (/ (- y x) t) z x) 43.764 * * [progress]: iteration 1 / 4 43.764 * * * [progress]: picking best candidate 43.768 * * * * [pick]: Picked # 43.768 * * * [progress]: localizing error 43.774 * * * [progress]: generating rewritten candidates 43.775 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 43.785 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1) 43.796 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 43.803 * * * [progress]: generating series expansions 43.803 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 43.803 * [approximate]: Taking taylor expansion of (/ (* (- y x) z) t) in (y x z t) around 0 43.803 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in t 43.803 * [taylor]: Taking taylor expansion of (* (- y x) z) in t 43.803 * [taylor]: Taking taylor expansion of (- y x) in t 43.803 * [taylor]: Taking taylor expansion of y in t 43.803 * [taylor]: Taking taylor expansion of x in t 43.803 * [taylor]: Taking taylor expansion of z in t 43.803 * [taylor]: Taking taylor expansion of t in t 43.803 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in z 43.803 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 43.803 * [taylor]: Taking taylor expansion of (- y x) in z 43.803 * [taylor]: Taking taylor expansion of y in z 43.803 * [taylor]: Taking taylor expansion of x in z 43.803 * [taylor]: Taking taylor expansion of z in z 43.803 * [taylor]: Taking taylor expansion of t in z 43.805 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in x 43.805 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 43.805 * [taylor]: Taking taylor expansion of (- y x) in x 43.805 * [taylor]: Taking taylor expansion of y in x 43.805 * [taylor]: Taking taylor expansion of x in x 43.805 * [taylor]: Taking taylor expansion of z in x 43.805 * [taylor]: Taking taylor expansion of t in x 43.805 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 43.805 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 43.805 * [taylor]: Taking taylor expansion of (- y x) in y 43.805 * [taylor]: Taking taylor expansion of y in y 43.805 * [taylor]: Taking taylor expansion of x in y 43.805 * [taylor]: Taking taylor expansion of z in y 43.805 * [taylor]: Taking taylor expansion of t in y 43.805 * [taylor]: Taking taylor expansion of (/ (* (- y x) z) t) in y 43.805 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 43.805 * [taylor]: Taking taylor expansion of (- y x) in y 43.805 * [taylor]: Taking taylor expansion of y in y 43.805 * [taylor]: Taking taylor expansion of x in y 43.805 * [taylor]: Taking taylor expansion of z in y 43.805 * [taylor]: Taking taylor expansion of t in y 43.806 * [taylor]: Taking taylor expansion of (* -1 (/ (* x z) t)) in x 43.806 * [taylor]: Taking taylor expansion of -1 in x 43.806 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 43.806 * [taylor]: Taking taylor expansion of (* x z) in x 43.806 * [taylor]: Taking taylor expansion of x in x 43.806 * [taylor]: Taking taylor expansion of z in x 43.806 * [taylor]: Taking taylor expansion of t in x 43.807 * [taylor]: Taking taylor expansion of (/ z t) in x 43.807 * [taylor]: Taking taylor expansion of z in x 43.807 * [taylor]: Taking taylor expansion of t in x 43.807 * [taylor]: Taking taylor expansion of (/ z t) in z 43.807 * [taylor]: Taking taylor expansion of z in z 43.807 * [taylor]: Taking taylor expansion of t in z 43.807 * [taylor]: Taking taylor expansion of (/ 1 t) in t 43.807 * [taylor]: Taking taylor expansion of t in t 43.808 * [taylor]: Taking taylor expansion of (* -1 (/ z t)) in z 43.808 * [taylor]: Taking taylor expansion of -1 in z 43.808 * [taylor]: Taking taylor expansion of (/ z t) in z 43.808 * [taylor]: Taking taylor expansion of z in z 43.808 * [taylor]: Taking taylor expansion of t in z 43.808 * [taylor]: Taking taylor expansion of (/ -1 t) in t 43.808 * [taylor]: Taking taylor expansion of -1 in t 43.808 * [taylor]: Taking taylor expansion of t in t 43.809 * [taylor]: Taking taylor expansion of 0 in x 43.809 * [taylor]: Taking taylor expansion of 0 in z 43.809 * [taylor]: Taking taylor expansion of 0 in t 43.809 * [taylor]: Taking taylor expansion of 0 in z 43.809 * [taylor]: Taking taylor expansion of 0 in t 43.810 * [taylor]: Taking taylor expansion of 0 in z 43.811 * [taylor]: Taking taylor expansion of 0 in t 43.811 * [taylor]: Taking taylor expansion of 0 in t 43.811 * [taylor]: Taking taylor expansion of 0 in t 43.814 * [taylor]: Taking taylor expansion of 0 in x 43.814 * [taylor]: Taking taylor expansion of 0 in z 43.814 * [taylor]: Taking taylor expansion of 0 in t 43.814 * [taylor]: Taking taylor expansion of 0 in z 43.814 * [taylor]: Taking taylor expansion of 0 in t 43.814 * [taylor]: Taking taylor expansion of 0 in z 43.814 * [taylor]: Taking taylor expansion of 0 in t 43.815 * [taylor]: Taking taylor expansion of 0 in z 43.815 * [taylor]: Taking taylor expansion of 0 in t 43.816 * [taylor]: Taking taylor expansion of 0 in t 43.816 * [taylor]: Taking taylor expansion of 0 in t 43.816 * [taylor]: Taking taylor expansion of 0 in t 43.816 * [taylor]: Taking taylor expansion of 0 in t 43.816 * [taylor]: Taking taylor expansion of 0 in t 43.817 * [approximate]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in (y x z t) around 0 43.817 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in t 43.817 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in t 43.817 * [taylor]: Taking taylor expansion of t in t 43.817 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in t 43.817 * [taylor]: Taking taylor expansion of (/ 1 y) in t 43.817 * [taylor]: Taking taylor expansion of y in t 43.817 * [taylor]: Taking taylor expansion of (/ 1 x) in t 43.817 * [taylor]: Taking taylor expansion of x in t 43.817 * [taylor]: Taking taylor expansion of z in t 43.818 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in z 43.818 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in z 43.818 * [taylor]: Taking taylor expansion of t in z 43.818 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 43.818 * [taylor]: Taking taylor expansion of (/ 1 y) in z 43.818 * [taylor]: Taking taylor expansion of y in z 43.818 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.818 * [taylor]: Taking taylor expansion of x in z 43.818 * [taylor]: Taking taylor expansion of z in z 43.819 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in x 43.819 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in x 43.819 * [taylor]: Taking taylor expansion of t in x 43.819 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 43.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 43.819 * [taylor]: Taking taylor expansion of y in x 43.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.819 * [taylor]: Taking taylor expansion of x in x 43.819 * [taylor]: Taking taylor expansion of z in x 43.820 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 43.820 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 43.820 * [taylor]: Taking taylor expansion of t in y 43.820 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 43.820 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.820 * [taylor]: Taking taylor expansion of y in y 43.820 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.820 * [taylor]: Taking taylor expansion of x in y 43.820 * [taylor]: Taking taylor expansion of z in y 43.820 * [taylor]: Taking taylor expansion of (/ (* t (- (/ 1 y) (/ 1 x))) z) in y 43.821 * [taylor]: Taking taylor expansion of (* t (- (/ 1 y) (/ 1 x))) in y 43.821 * [taylor]: Taking taylor expansion of t in y 43.821 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 43.821 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.821 * [taylor]: Taking taylor expansion of y in y 43.821 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.821 * [taylor]: Taking taylor expansion of x in y 43.821 * [taylor]: Taking taylor expansion of z in y 43.821 * [taylor]: Taking taylor expansion of (/ t z) in x 43.821 * [taylor]: Taking taylor expansion of t in x 43.821 * [taylor]: Taking taylor expansion of z in x 43.822 * [taylor]: Taking taylor expansion of (- (/ t (* x z))) in x 43.822 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.823 * [taylor]: Taking taylor expansion of t in x 43.823 * [taylor]: Taking taylor expansion of (* x z) in x 43.823 * [taylor]: Taking taylor expansion of x in x 43.823 * [taylor]: Taking taylor expansion of z in x 43.823 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 43.823 * [taylor]: Taking taylor expansion of (/ t z) in z 43.823 * [taylor]: Taking taylor expansion of t in z 43.823 * [taylor]: Taking taylor expansion of z in z 43.823 * [taylor]: Taking taylor expansion of (- t) in t 43.823 * [taylor]: Taking taylor expansion of t in t 43.823 * [taylor]: Taking taylor expansion of (/ t z) in z 43.823 * [taylor]: Taking taylor expansion of t in z 43.823 * [taylor]: Taking taylor expansion of z in z 43.823 * [taylor]: Taking taylor expansion of t in t 43.825 * [taylor]: Taking taylor expansion of 0 in x 43.826 * [taylor]: Taking taylor expansion of 0 in z 43.826 * [taylor]: Taking taylor expansion of 0 in z 43.827 * [taylor]: Taking taylor expansion of 0 in t 43.827 * [taylor]: Taking taylor expansion of 0 in t 43.830 * [taylor]: Taking taylor expansion of 0 in x 43.830 * [taylor]: Taking taylor expansion of 0 in z 43.831 * [taylor]: Taking taylor expansion of 0 in z 43.831 * [taylor]: Taking taylor expansion of 0 in z 43.831 * [taylor]: Taking taylor expansion of 0 in t 43.831 * [taylor]: Taking taylor expansion of 0 in t 43.832 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in (y x z t) around 0 43.832 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in t 43.832 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in t 43.832 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in t 43.832 * [taylor]: Taking taylor expansion of (/ 1 x) in t 43.832 * [taylor]: Taking taylor expansion of x in t 43.832 * [taylor]: Taking taylor expansion of (/ 1 y) in t 43.832 * [taylor]: Taking taylor expansion of y in t 43.832 * [taylor]: Taking taylor expansion of t in t 43.832 * [taylor]: Taking taylor expansion of z in t 43.833 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in z 43.833 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in z 43.833 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 43.833 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.833 * [taylor]: Taking taylor expansion of x in z 43.833 * [taylor]: Taking taylor expansion of (/ 1 y) in z 43.833 * [taylor]: Taking taylor expansion of y in z 43.833 * [taylor]: Taking taylor expansion of t in z 43.833 * [taylor]: Taking taylor expansion of z in z 43.834 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in x 43.834 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in x 43.834 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 43.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.834 * [taylor]: Taking taylor expansion of x in x 43.834 * [taylor]: Taking taylor expansion of (/ 1 y) in x 43.834 * [taylor]: Taking taylor expansion of y in x 43.834 * [taylor]: Taking taylor expansion of t in x 43.834 * [taylor]: Taking taylor expansion of z in x 43.834 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 43.834 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 43.834 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 43.835 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.835 * [taylor]: Taking taylor expansion of x in y 43.835 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.835 * [taylor]: Taking taylor expansion of y in y 43.835 * [taylor]: Taking taylor expansion of t in y 43.835 * [taylor]: Taking taylor expansion of z in y 43.835 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 x) (/ 1 y)) t) z) in y 43.835 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) t) in y 43.835 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 43.835 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.836 * [taylor]: Taking taylor expansion of x in y 43.836 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.836 * [taylor]: Taking taylor expansion of y in y 43.836 * [taylor]: Taking taylor expansion of t in y 43.836 * [taylor]: Taking taylor expansion of z in y 43.836 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in x 43.836 * [taylor]: Taking taylor expansion of -1 in x 43.837 * [taylor]: Taking taylor expansion of (/ t z) in x 43.837 * [taylor]: Taking taylor expansion of t in x 43.837 * [taylor]: Taking taylor expansion of z in x 43.838 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.838 * [taylor]: Taking taylor expansion of t in x 43.838 * [taylor]: Taking taylor expansion of (* x z) in x 43.838 * [taylor]: Taking taylor expansion of x in x 43.838 * [taylor]: Taking taylor expansion of z in x 43.838 * [taylor]: Taking taylor expansion of (/ t z) in z 43.838 * [taylor]: Taking taylor expansion of t in z 43.838 * [taylor]: Taking taylor expansion of z in z 43.838 * [taylor]: Taking taylor expansion of t in t 43.838 * [taylor]: Taking taylor expansion of (* -1 (/ t z)) in z 43.838 * [taylor]: Taking taylor expansion of -1 in z 43.838 * [taylor]: Taking taylor expansion of (/ t z) in z 43.838 * [taylor]: Taking taylor expansion of t in z 43.838 * [taylor]: Taking taylor expansion of z in z 43.838 * [taylor]: Taking taylor expansion of (* -1 t) in t 43.838 * [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.841 * [taylor]: Taking taylor expansion of 0 in z 43.842 * [taylor]: Taking taylor expansion of 0 in z 43.842 * [taylor]: Taking taylor expansion of 0 in t 43.843 * [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.846 * [taylor]: Taking taylor expansion of 0 in z 43.847 * [taylor]: Taking taylor expansion of 0 in z 43.847 * [taylor]: Taking taylor expansion of 0 in t 43.847 * [taylor]: Taking taylor expansion of 0 in t 43.848 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1) 43.848 * [approximate]: Taking taylor expansion of (* (- y x) z) in (y x z) around 0 43.848 * [taylor]: Taking taylor expansion of (* (- y x) z) in z 43.848 * [taylor]: Taking taylor expansion of (- y x) in z 43.848 * [taylor]: Taking taylor expansion of y in z 43.848 * [taylor]: Taking taylor expansion of x in z 43.848 * [taylor]: Taking taylor expansion of z in z 43.848 * [taylor]: Taking taylor expansion of (* (- y x) z) in x 43.848 * [taylor]: Taking taylor expansion of (- y x) in x 43.848 * [taylor]: Taking taylor expansion of y in x 43.848 * [taylor]: Taking taylor expansion of x in x 43.848 * [taylor]: Taking taylor expansion of z in x 43.848 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 43.848 * [taylor]: Taking taylor expansion of (- y x) in y 43.848 * [taylor]: Taking taylor expansion of y in y 43.848 * [taylor]: Taking taylor expansion of x in y 43.848 * [taylor]: Taking taylor expansion of z in y 43.848 * [taylor]: Taking taylor expansion of (* (- y x) z) in y 43.848 * [taylor]: Taking taylor expansion of (- y x) in y 43.848 * [taylor]: Taking taylor expansion of y in y 43.848 * [taylor]: Taking taylor expansion of x in y 43.848 * [taylor]: Taking taylor expansion of z in y 43.848 * [taylor]: Taking taylor expansion of (* -1 (* x z)) in x 43.848 * [taylor]: Taking taylor expansion of -1 in x 43.848 * [taylor]: Taking taylor expansion of (* x z) in x 43.848 * [taylor]: Taking taylor expansion of x in x 43.848 * [taylor]: Taking taylor expansion of z in x 43.849 * [taylor]: Taking taylor expansion of 0 in z 43.849 * [taylor]: Taking taylor expansion of z in x 43.849 * [taylor]: Taking taylor expansion of z in z 43.850 * [taylor]: Taking taylor expansion of (- z) in z 43.850 * [taylor]: Taking taylor expansion of z in z 43.851 * [taylor]: Taking taylor expansion of 0 in x 43.851 * [taylor]: Taking taylor expansion of 0 in z 43.851 * [taylor]: Taking taylor expansion of 0 in z 43.851 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in (y x z) around 0 43.851 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in z 43.851 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 43.851 * [taylor]: Taking taylor expansion of (/ 1 y) in z 43.851 * [taylor]: Taking taylor expansion of y in z 43.851 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.851 * [taylor]: Taking taylor expansion of x in z 43.851 * [taylor]: Taking taylor expansion of z in z 43.852 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in x 43.852 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 43.852 * [taylor]: Taking taylor expansion of (/ 1 y) in x 43.852 * [taylor]: Taking taylor expansion of y in x 43.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.852 * [taylor]: Taking taylor expansion of x in x 43.852 * [taylor]: Taking taylor expansion of z in x 43.853 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 43.853 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 43.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.853 * [taylor]: Taking taylor expansion of y in y 43.853 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.853 * [taylor]: Taking taylor expansion of x in y 43.853 * [taylor]: Taking taylor expansion of z in y 43.853 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 x)) z) in y 43.853 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 43.853 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.853 * [taylor]: Taking taylor expansion of y in y 43.854 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.854 * [taylor]: Taking taylor expansion of x in y 43.854 * [taylor]: Taking taylor expansion of z in y 43.854 * [taylor]: Taking taylor expansion of (/ 1 z) in x 43.854 * [taylor]: Taking taylor expansion of z in x 43.855 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 43.855 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 43.855 * [taylor]: Taking taylor expansion of (* x z) in x 43.855 * [taylor]: Taking taylor expansion of x in x 43.855 * [taylor]: Taking taylor expansion of z in x 43.855 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 43.855 * [taylor]: Taking taylor expansion of (/ 1 z) in z 43.855 * [taylor]: Taking taylor expansion of z in z 43.856 * [taylor]: Taking taylor expansion of (/ 1 z) in z 43.856 * [taylor]: Taking taylor expansion of z in z 43.857 * [taylor]: Taking taylor expansion of 0 in x 43.858 * [taylor]: Taking taylor expansion of 0 in z 43.858 * [taylor]: Taking taylor expansion of 0 in z 43.861 * [taylor]: Taking taylor expansion of 0 in x 43.861 * [taylor]: Taking taylor expansion of 0 in z 43.862 * [taylor]: Taking taylor expansion of 0 in z 43.862 * [taylor]: Taking taylor expansion of 0 in z 43.863 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in (y x z) around 0 43.864 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in z 43.864 * [taylor]: Taking taylor expansion of -1 in z 43.864 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in z 43.864 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 43.864 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.864 * [taylor]: Taking taylor expansion of x in z 43.864 * [taylor]: Taking taylor expansion of (/ 1 y) in z 43.864 * [taylor]: Taking taylor expansion of y in z 43.864 * [taylor]: Taking taylor expansion of z in z 43.864 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in x 43.864 * [taylor]: Taking taylor expansion of -1 in x 43.864 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in x 43.864 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 43.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.864 * [taylor]: Taking taylor expansion of x in x 43.865 * [taylor]: Taking taylor expansion of (/ 1 y) in x 43.865 * [taylor]: Taking taylor expansion of y in x 43.865 * [taylor]: Taking taylor expansion of z in x 43.865 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 43.865 * [taylor]: Taking taylor expansion of -1 in y 43.865 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) in y 43.865 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 43.865 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.865 * [taylor]: Taking taylor expansion of x in y 43.865 * [taylor]: Taking taylor expansion of (/ 1 y) in y 43.865 * [taylor]: Taking taylor expansion of y in y 43.865 * [taylor]: Taking taylor expansion of z in y 43.866 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 y)) z)) in y 43.866 * [taylor]: Taking taylor expansion of -1 in y 43.866 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 y)) z) 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.866 * [taylor]: Taking taylor expansion of z in y 43.867 * [taylor]: Taking taylor expansion of (/ 1 z) in x 43.867 * [taylor]: Taking taylor expansion of z in x 43.868 * [taylor]: Taking taylor expansion of (- (/ 1 (* x z))) in x 43.868 * [taylor]: Taking taylor expansion of (/ 1 (* x z)) in x 43.868 * [taylor]: Taking taylor expansion of (* x z) in x 43.868 * [taylor]: Taking taylor expansion of x in x 43.868 * [taylor]: Taking taylor expansion of z in x 43.868 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 43.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z 43.868 * [taylor]: Taking taylor expansion of z in z 43.869 * [taylor]: Taking taylor expansion of (/ 1 z) in z 43.869 * [taylor]: Taking taylor expansion of z in z 43.871 * [taylor]: Taking taylor expansion of 0 in x 43.872 * [taylor]: Taking taylor expansion of 0 in z 43.872 * [taylor]: Taking taylor expansion of 0 in z 43.875 * [taylor]: Taking taylor expansion of 0 in x 43.875 * [taylor]: Taking taylor expansion of 0 in z 43.879 * [taylor]: Taking taylor expansion of 0 in z 43.879 * [taylor]: Taking taylor expansion of 0 in z 43.880 * * * * [progress]: [ 3 / 3 ] generating series at (2) 43.880 * [approximate]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in (x y z t) around 0 43.881 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in t 43.881 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in t 43.881 * [taylor]: Taking taylor expansion of (/ (* z y) t) in t 43.881 * [taylor]: Taking taylor expansion of (* z y) in t 43.881 * [taylor]: Taking taylor expansion of z in t 43.881 * [taylor]: Taking taylor expansion of y in t 43.881 * [taylor]: Taking taylor expansion of t in t 43.881 * [taylor]: Taking taylor expansion of x in t 43.881 * [taylor]: Taking taylor expansion of (/ (* x z) t) in t 43.881 * [taylor]: Taking taylor expansion of (* x z) in t 43.881 * [taylor]: Taking taylor expansion of x in t 43.881 * [taylor]: Taking taylor expansion of z in t 43.881 * [taylor]: Taking taylor expansion of t in t 43.881 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in z 43.881 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in z 43.881 * [taylor]: Taking taylor expansion of (/ (* z y) t) in z 43.881 * [taylor]: Taking taylor expansion of (* z y) in z 43.881 * [taylor]: Taking taylor expansion of z in z 43.881 * [taylor]: Taking taylor expansion of y in z 43.881 * [taylor]: Taking taylor expansion of t in z 43.881 * [taylor]: Taking taylor expansion of x in z 43.881 * [taylor]: Taking taylor expansion of (/ (* x z) t) in z 43.881 * [taylor]: Taking taylor expansion of (* x z) in z 43.881 * [taylor]: Taking taylor expansion of x in z 43.881 * [taylor]: Taking taylor expansion of z in z 43.882 * [taylor]: Taking taylor expansion of t in z 43.882 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in y 43.882 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in y 43.882 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 43.882 * [taylor]: Taking taylor expansion of (* z y) in y 43.882 * [taylor]: Taking taylor expansion of z in y 43.882 * [taylor]: Taking taylor expansion of y in y 43.882 * [taylor]: Taking taylor expansion of t in y 43.882 * [taylor]: Taking taylor expansion of x in y 43.882 * [taylor]: Taking taylor expansion of (/ (* x z) t) in y 43.882 * [taylor]: Taking taylor expansion of (* x z) 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 t in y 43.882 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 43.882 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 43.883 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 43.883 * [taylor]: Taking taylor expansion of (* z y) in x 43.883 * [taylor]: Taking taylor expansion of z in x 43.883 * [taylor]: Taking taylor expansion of y in x 43.883 * [taylor]: Taking taylor expansion of t in x 43.883 * [taylor]: Taking taylor expansion of x in x 43.883 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 43.883 * [taylor]: Taking taylor expansion of (* x z) in x 43.883 * [taylor]: Taking taylor expansion of x in x 43.883 * [taylor]: Taking taylor expansion of z in x 43.883 * [taylor]: Taking taylor expansion of t in x 43.883 * [taylor]: Taking taylor expansion of (- (+ (/ (* z y) t) x) (/ (* x z) t)) in x 43.883 * [taylor]: Taking taylor expansion of (+ (/ (* z y) t) x) in x 43.883 * [taylor]: Taking taylor expansion of (/ (* z y) t) in x 43.883 * [taylor]: Taking taylor expansion of (* z y) in x 43.883 * [taylor]: Taking taylor expansion of z in x 43.883 * [taylor]: Taking taylor expansion of y in x 43.883 * [taylor]: Taking taylor expansion of t in x 43.883 * [taylor]: Taking taylor expansion of x in x 43.883 * [taylor]: Taking taylor expansion of (/ (* x z) t) in x 43.883 * [taylor]: Taking taylor expansion of (* x z) in x 43.883 * [taylor]: Taking taylor expansion of x in x 43.883 * [taylor]: Taking taylor expansion of z in x 43.883 * [taylor]: Taking taylor expansion of t in x 43.884 * [taylor]: Taking taylor expansion of (/ (* z y) t) in y 43.884 * [taylor]: Taking taylor expansion of (* z y) in y 43.884 * [taylor]: Taking taylor expansion of z in y 43.884 * [taylor]: Taking taylor expansion of y in y 43.884 * [taylor]: Taking taylor expansion of t in y 43.885 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in y 43.885 * [taylor]: Taking taylor expansion of 1 in y 43.885 * [taylor]: Taking taylor expansion of (/ z t) in y 43.885 * [taylor]: Taking taylor expansion of z in y 43.885 * [taylor]: Taking taylor expansion of t in y 43.885 * [taylor]: Taking taylor expansion of (- 1 (/ z t)) in z 43.886 * [taylor]: Taking taylor expansion of 1 in z 43.886 * [taylor]: Taking taylor expansion of (/ z t) in z 43.886 * [taylor]: Taking taylor expansion of z in z 43.886 * [taylor]: Taking taylor expansion of t in z 43.886 * [taylor]: Taking taylor expansion of 1 in t 43.886 * [taylor]: Taking taylor expansion of (/ z t) in z 43.886 * [taylor]: Taking taylor expansion of z in z 43.886 * [taylor]: Taking taylor expansion of t in z 43.888 * [taylor]: Taking taylor expansion of 0 in y 43.888 * [taylor]: Taking taylor expansion of 0 in z 43.888 * [taylor]: Taking taylor expansion of 0 in t 43.888 * [taylor]: Taking taylor expansion of 0 in z 43.888 * [taylor]: Taking taylor expansion of 0 in t 43.889 * [taylor]: Taking taylor expansion of 0 in z 43.889 * [taylor]: Taking taylor expansion of 0 in t 43.889 * [taylor]: Taking taylor expansion of (- (/ 1 t)) in t 43.889 * [taylor]: Taking taylor expansion of (/ 1 t) in t 43.889 * [taylor]: Taking taylor expansion of t in t 43.890 * [taylor]: Taking taylor expansion of (/ 1 t) in t 43.890 * [taylor]: Taking taylor expansion of t in t 43.890 * [approximate]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in (x y z t) around 0 43.891 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in t 43.891 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 43.891 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 43.891 * [taylor]: Taking taylor expansion of t in t 43.891 * [taylor]: Taking taylor expansion of (* z y) in t 43.891 * [taylor]: Taking taylor expansion of z in t 43.891 * [taylor]: Taking taylor expansion of y in t 43.891 * [taylor]: Taking taylor expansion of (/ 1 x) in t 43.891 * [taylor]: Taking taylor expansion of x in t 43.891 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 43.891 * [taylor]: Taking taylor expansion of t in t 43.891 * [taylor]: Taking taylor expansion of (* x z) in t 43.891 * [taylor]: Taking taylor expansion of x in t 43.891 * [taylor]: Taking taylor expansion of z in t 43.891 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in z 43.891 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 43.891 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 43.891 * [taylor]: Taking taylor expansion of t in z 43.891 * [taylor]: Taking taylor expansion of (* z y) in z 43.891 * [taylor]: Taking taylor expansion of z in z 43.891 * [taylor]: Taking taylor expansion of y in z 43.891 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.891 * [taylor]: Taking taylor expansion of x in z 43.892 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 43.892 * [taylor]: Taking taylor expansion of t in z 43.892 * [taylor]: Taking taylor expansion of (* x z) in z 43.892 * [taylor]: Taking taylor expansion of x in z 43.892 * [taylor]: Taking taylor expansion of z in z 43.892 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in y 43.892 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 43.892 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 43.892 * [taylor]: Taking taylor expansion of t in y 43.892 * [taylor]: Taking taylor expansion of (* z y) in y 43.892 * [taylor]: Taking taylor expansion of z in y 43.892 * [taylor]: Taking taylor expansion of y in y 43.892 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.892 * [taylor]: Taking taylor expansion of x in y 43.892 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 43.892 * [taylor]: Taking taylor expansion of t in y 43.893 * [taylor]: Taking taylor expansion of (* x z) in y 43.893 * [taylor]: Taking taylor expansion of x in y 43.893 * [taylor]: Taking taylor expansion of z in y 43.893 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 43.893 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 43.893 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 43.893 * [taylor]: Taking taylor expansion of t in x 43.893 * [taylor]: Taking taylor expansion of (* z y) in x 43.893 * [taylor]: Taking taylor expansion of z in x 43.893 * [taylor]: Taking taylor expansion of y in x 43.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.893 * [taylor]: Taking taylor expansion of x in x 43.893 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.893 * [taylor]: Taking taylor expansion of t in x 43.893 * [taylor]: Taking taylor expansion of (* x z) in x 43.893 * [taylor]: Taking taylor expansion of x in x 43.893 * [taylor]: Taking taylor expansion of z in x 43.894 * [taylor]: Taking taylor expansion of (- (+ (/ t (* z y)) (/ 1 x)) (/ t (* x z))) in x 43.894 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 43.894 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 43.894 * [taylor]: Taking taylor expansion of t in x 43.894 * [taylor]: Taking taylor expansion of (* z y) in x 43.894 * [taylor]: Taking taylor expansion of z in x 43.894 * [taylor]: Taking taylor expansion of y in x 43.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.894 * [taylor]: Taking taylor expansion of x in x 43.894 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.894 * [taylor]: Taking taylor expansion of t in x 43.894 * [taylor]: Taking taylor expansion of (* x z) in x 43.894 * [taylor]: Taking taylor expansion of x in x 43.894 * [taylor]: Taking taylor expansion of z in x 43.895 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in y 43.895 * [taylor]: Taking taylor expansion of 1 in y 43.895 * [taylor]: Taking taylor expansion of (/ t z) in y 43.895 * [taylor]: Taking taylor expansion of t in y 43.895 * [taylor]: Taking taylor expansion of z in y 43.896 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 43.896 * [taylor]: Taking taylor expansion of t in y 43.896 * [taylor]: Taking taylor expansion of (* z y) in y 43.897 * [taylor]: Taking taylor expansion of z in y 43.897 * [taylor]: Taking taylor expansion of y in y 43.897 * [taylor]: Taking taylor expansion of (/ t z) in z 43.897 * [taylor]: Taking taylor expansion of t in z 43.897 * [taylor]: Taking taylor expansion of z in z 43.897 * [taylor]: Taking taylor expansion of t in t 43.897 * [taylor]: Taking taylor expansion of (- 1 (/ t z)) in z 43.897 * [taylor]: Taking taylor expansion of 1 in z 43.897 * [taylor]: Taking taylor expansion of (/ t z) in z 43.897 * [taylor]: Taking taylor expansion of t in z 43.897 * [taylor]: Taking taylor expansion of z in z 43.897 * [taylor]: Taking taylor expansion of (- t) in t 43.897 * [taylor]: Taking taylor expansion of t in t 43.900 * [taylor]: Taking taylor expansion of 0 in y 43.900 * [taylor]: Taking taylor expansion of 0 in z 43.901 * [taylor]: Taking taylor expansion of 0 in z 43.901 * [taylor]: Taking taylor expansion of 0 in t 43.903 * [taylor]: Taking taylor expansion of 1 in t 43.904 * [approximate]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in (x y z t) around 0 43.904 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in t 43.904 * [taylor]: Taking taylor expansion of (/ t (* x z)) in t 43.904 * [taylor]: Taking taylor expansion of t in t 43.904 * [taylor]: Taking taylor expansion of (* x z) in t 43.904 * [taylor]: Taking taylor expansion of x in t 43.904 * [taylor]: Taking taylor expansion of z in t 43.904 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in t 43.904 * [taylor]: Taking taylor expansion of (/ t (* z y)) in t 43.904 * [taylor]: Taking taylor expansion of t in t 43.904 * [taylor]: Taking taylor expansion of (* z y) in t 43.904 * [taylor]: Taking taylor expansion of z in t 43.904 * [taylor]: Taking taylor expansion of y in t 43.904 * [taylor]: Taking taylor expansion of (/ 1 x) in t 43.904 * [taylor]: Taking taylor expansion of x in t 43.904 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in z 43.904 * [taylor]: Taking taylor expansion of (/ t (* x z)) in z 43.904 * [taylor]: Taking taylor expansion of t in z 43.904 * [taylor]: Taking taylor expansion of (* x z) in z 43.904 * [taylor]: Taking taylor expansion of x in z 43.904 * [taylor]: Taking taylor expansion of z in z 43.905 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in z 43.905 * [taylor]: Taking taylor expansion of (/ t (* z y)) in z 43.905 * [taylor]: Taking taylor expansion of t in z 43.905 * [taylor]: Taking taylor expansion of (* z y) in z 43.905 * [taylor]: Taking taylor expansion of z in z 43.905 * [taylor]: Taking taylor expansion of y in z 43.905 * [taylor]: Taking taylor expansion of (/ 1 x) in z 43.905 * [taylor]: Taking taylor expansion of x in z 43.905 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in y 43.905 * [taylor]: Taking taylor expansion of (/ t (* x z)) in y 43.905 * [taylor]: Taking taylor expansion of t in y 43.905 * [taylor]: Taking taylor expansion of (* x z) in y 43.905 * [taylor]: Taking taylor expansion of x in y 43.905 * [taylor]: Taking taylor expansion of z in y 43.906 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in y 43.906 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 43.906 * [taylor]: Taking taylor expansion of t in y 43.906 * [taylor]: Taking taylor expansion of (* z y) in y 43.906 * [taylor]: Taking taylor expansion of z in y 43.906 * [taylor]: Taking taylor expansion of y in y 43.906 * [taylor]: Taking taylor expansion of (/ 1 x) in y 43.906 * [taylor]: Taking taylor expansion of x in y 43.906 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 43.906 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.906 * [taylor]: Taking taylor expansion of t 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.906 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 43.907 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 43.907 * [taylor]: Taking taylor expansion of t in x 43.907 * [taylor]: Taking taylor expansion of (* z y) in x 43.907 * [taylor]: Taking taylor expansion of z in x 43.907 * [taylor]: Taking taylor expansion of y in x 43.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.907 * [taylor]: Taking taylor expansion of x in x 43.907 * [taylor]: Taking taylor expansion of (- (/ t (* x z)) (+ (/ t (* z y)) (/ 1 x))) in x 43.907 * [taylor]: Taking taylor expansion of (/ t (* x z)) in x 43.907 * [taylor]: Taking taylor expansion of t in x 43.907 * [taylor]: Taking taylor expansion of (* x z) in x 43.907 * [taylor]: Taking taylor expansion of x in x 43.907 * [taylor]: Taking taylor expansion of z in x 43.907 * [taylor]: Taking taylor expansion of (+ (/ t (* z y)) (/ 1 x)) in x 43.907 * [taylor]: Taking taylor expansion of (/ t (* z y)) in x 43.907 * [taylor]: Taking taylor expansion of t in x 43.907 * [taylor]: Taking taylor expansion of (* z y) in x 43.907 * [taylor]: Taking taylor expansion of z in x 43.907 * [taylor]: Taking taylor expansion of y in x 43.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x 43.908 * [taylor]: Taking taylor expansion of x in x 43.908 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in y 43.908 * [taylor]: Taking taylor expansion of (/ t z) in y 43.908 * [taylor]: Taking taylor expansion of t in y 43.909 * [taylor]: Taking taylor expansion of z in y 43.909 * [taylor]: Taking taylor expansion of 1 in y 43.910 * [taylor]: Taking taylor expansion of (- (/ t (* z y))) in y 43.910 * [taylor]: Taking taylor expansion of (/ t (* z y)) in y 43.910 * [taylor]: Taking taylor expansion of t in y 43.910 * [taylor]: Taking taylor expansion of (* z y) in y 43.910 * [taylor]: Taking taylor expansion of z in y 43.910 * [taylor]: Taking taylor expansion of y in y 43.910 * [taylor]: Taking taylor expansion of (- (/ t z)) in z 43.910 * [taylor]: Taking taylor expansion of (/ t z) in z 43.910 * [taylor]: Taking taylor expansion of t in z 43.910 * [taylor]: Taking taylor expansion of z in z 43.910 * [taylor]: Taking taylor expansion of (- t) in t 43.910 * [taylor]: Taking taylor expansion of t in t 43.911 * [taylor]: Taking taylor expansion of (- (/ t z) 1) in z 43.911 * [taylor]: Taking taylor expansion of (/ t z) in z 43.911 * [taylor]: Taking taylor expansion of t in z 43.911 * [taylor]: Taking taylor expansion of z in z 43.911 * [taylor]: Taking taylor expansion of 1 in z 43.911 * [taylor]: Taking taylor expansion of t in t 43.913 * [taylor]: Taking taylor expansion of 0 in y 43.914 * [taylor]: Taking taylor expansion of 0 in z 43.915 * [taylor]: Taking taylor expansion of 0 in z 43.916 * [taylor]: Taking taylor expansion of 0 in t 43.917 * [taylor]: Taking taylor expansion of -1 in t 43.918 * * * [progress]: simplifying candidates 43.919 * [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.922 * * [simplify]: iteration 0 : 116 enodes (cost 736 ) 43.940 * * [simplify]: iteration 1 : 303 enodes (cost 699 )