0.534 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.142 * * * [progress]: [2/2] Setting up program. 0.151 * [progress]: [Phase 2 of 3] Improving. 0.155 * [simplify]: Simplifying: (+ x (* y (- z x))) 0.156 * * [simplify]: iteration 0: 6 enodes 0.165 * * [simplify]: iteration 1: 10 enodes 0.168 * * [simplify]: iteration 2: 17 enodes 0.176 * * [simplify]: iteration 3: 31 enodes 0.184 * * [simplify]: iteration 4: 47 enodes 0.197 * * [simplify]: iteration 5: 59 enodes 0.211 * * [simplify]: iteration 6: 69 enodes 0.228 * * [simplify]: iteration 7: 91 enodes 0.288 * * [simplify]: iteration 8: 150 enodes 0.334 * * [simplify]: iteration 9: 266 enodes 0.434 * * [simplify]: iteration 10: 566 enodes 0.700 * * [simplify]: iteration 11: 1546 enodes 1.837 * * [simplify]: iteration 12: 2995 enodes 3.587 * * [simplify]: iteration complete: 5000 enodes 3.587 * * [simplify]: Extracting #0: cost 1 inf + 0 3.588 * * [simplify]: Extracting #1: cost 101 inf + 0 3.593 * * [simplify]: Extracting #2: cost 897 inf + 42 3.606 * * [simplify]: Extracting #3: cost 975 inf + 6711 3.629 * * [simplify]: Extracting #4: cost 365 inf + 60781 3.651 * * [simplify]: Extracting #5: cost 18 inf + 101518 3.686 * * [simplify]: Extracting #6: cost 0 inf + 104324 3.731 * [simplify]: Simplified to: (+ x (* y (- z x))) 3.734 * * [progress]: iteration 1 / 4 3.734 * * * [progress]: picking best candidate 3.741 * * * * [pick]: Picked # 3.742 * * * [progress]: localizing error 3.760 * * * [progress]: generating rewritten candidates 3.760 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 3.796 * * * [progress]: generating series expansions 3.797 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 3.803 * [backup-simplify]: Simplify (* y (- z x)) into (* (- z x) y) 3.803 * [approximate]: Taking taylor expansion of (* (- z x) y) in (y z x) around 0 3.804 * [taylor]: Taking taylor expansion of (* (- z x) y) in x 3.804 * [taylor]: Taking taylor expansion of (- z x) in x 3.804 * [taylor]: Taking taylor expansion of z in x 3.805 * [backup-simplify]: Simplify z into z 3.805 * [taylor]: Taking taylor expansion of x in x 3.805 * [backup-simplify]: Simplify 0 into 0 3.805 * [backup-simplify]: Simplify 1 into 1 3.805 * [taylor]: Taking taylor expansion of y in x 3.805 * [backup-simplify]: Simplify y into y 3.805 * [taylor]: Taking taylor expansion of (* (- z x) y) in z 3.805 * [taylor]: Taking taylor expansion of (- z x) in z 3.805 * [taylor]: Taking taylor expansion of z in z 3.805 * [backup-simplify]: Simplify 0 into 0 3.805 * [backup-simplify]: Simplify 1 into 1 3.805 * [taylor]: Taking taylor expansion of x in z 3.805 * [backup-simplify]: Simplify x into x 3.805 * [taylor]: Taking taylor expansion of y in z 3.805 * [backup-simplify]: Simplify y into y 3.805 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 3.805 * [taylor]: Taking taylor expansion of (- z x) in y 3.805 * [taylor]: Taking taylor expansion of z in y 3.805 * [backup-simplify]: Simplify z into z 3.805 * [taylor]: Taking taylor expansion of x in y 3.805 * [backup-simplify]: Simplify x into x 3.805 * [taylor]: Taking taylor expansion of y in y 3.805 * [backup-simplify]: Simplify 0 into 0 3.805 * [backup-simplify]: Simplify 1 into 1 3.805 * [taylor]: Taking taylor expansion of (* (- z x) y) in y 3.805 * [taylor]: Taking taylor expansion of (- z x) in y 3.805 * [taylor]: Taking taylor expansion of z in y 3.805 * [backup-simplify]: Simplify z into z 3.805 * [taylor]: Taking taylor expansion of x in y 3.805 * [backup-simplify]: Simplify x into x 3.805 * [taylor]: Taking taylor expansion of y in y 3.806 * [backup-simplify]: Simplify 0 into 0 3.806 * [backup-simplify]: Simplify 1 into 1 3.806 * [backup-simplify]: Simplify (- x) into (- x) 3.807 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 3.807 * [backup-simplify]: Simplify (* (- z x) 0) into 0 3.807 * [taylor]: Taking taylor expansion of 0 in z 3.807 * [backup-simplify]: Simplify 0 into 0 3.807 * [taylor]: Taking taylor expansion of 0 in x 3.807 * [backup-simplify]: Simplify 0 into 0 3.807 * [backup-simplify]: Simplify 0 into 0 3.808 * [backup-simplify]: Simplify (- 0) into 0 3.808 * [backup-simplify]: Simplify (+ 0 0) into 0 3.809 * [backup-simplify]: Simplify (+ (* (- z x) 1) (* 0 0)) into (- z x) 3.809 * [taylor]: Taking taylor expansion of (- z x) in z 3.809 * [taylor]: Taking taylor expansion of z in z 3.809 * [backup-simplify]: Simplify 0 into 0 3.809 * [backup-simplify]: Simplify 1 into 1 3.809 * [taylor]: Taking taylor expansion of x in z 3.809 * [backup-simplify]: Simplify x into x 3.809 * [backup-simplify]: Simplify (- x) into (- x) 3.809 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 3.809 * [taylor]: Taking taylor expansion of (- x) in x 3.809 * [taylor]: Taking taylor expansion of x in x 3.809 * [backup-simplify]: Simplify 0 into 0 3.809 * [backup-simplify]: Simplify 1 into 1 3.809 * [backup-simplify]: Simplify (- 0) into 0 3.809 * [backup-simplify]: Simplify 0 into 0 3.809 * [taylor]: Taking taylor expansion of 0 in x 3.810 * [backup-simplify]: Simplify 0 into 0 3.810 * [backup-simplify]: Simplify 0 into 0 3.810 * [backup-simplify]: Simplify 0 into 0 3.810 * [backup-simplify]: Simplify (- 0) into 0 3.810 * [backup-simplify]: Simplify (+ 0 0) into 0 3.811 * [backup-simplify]: Simplify (+ (* (- z x) 0) (+ (* 0 1) (* 0 0))) into 0 3.811 * [taylor]: Taking taylor expansion of 0 in z 3.811 * [backup-simplify]: Simplify 0 into 0 3.811 * [taylor]: Taking taylor expansion of 0 in x 3.811 * [backup-simplify]: Simplify 0 into 0 3.811 * [backup-simplify]: Simplify 0 into 0 3.811 * [backup-simplify]: Simplify (- 0) into 0 3.812 * [backup-simplify]: Simplify (+ 1 0) into 1 3.812 * [taylor]: Taking taylor expansion of 1 in x 3.812 * [backup-simplify]: Simplify 1 into 1 3.812 * [backup-simplify]: Simplify 1 into 1 3.812 * [taylor]: Taking taylor expansion of 0 in x 3.812 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify (- 1) into -1 3.813 * [backup-simplify]: Simplify -1 into -1 3.813 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify 0 into 0 3.813 * [backup-simplify]: Simplify (- 0) into 0 3.814 * [backup-simplify]: Simplify (+ 0 0) into 0 3.815 * [backup-simplify]: Simplify (+ (* (- z x) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.815 * [taylor]: Taking taylor expansion of 0 in z 3.815 * [backup-simplify]: Simplify 0 into 0 3.815 * [taylor]: Taking taylor expansion of 0 in x 3.815 * [backup-simplify]: Simplify 0 into 0 3.815 * [backup-simplify]: Simplify 0 into 0 3.815 * [taylor]: Taking taylor expansion of 0 in x 3.815 * [backup-simplify]: Simplify 0 into 0 3.815 * [backup-simplify]: Simplify 0 into 0 3.815 * [backup-simplify]: Simplify (- 0) into 0 3.816 * [backup-simplify]: Simplify (+ 0 0) into 0 3.816 * [taylor]: Taking taylor expansion of 0 in x 3.816 * [backup-simplify]: Simplify 0 into 0 3.816 * [backup-simplify]: Simplify 0 into 0 3.816 * [taylor]: Taking taylor expansion of 0 in x 3.816 * [backup-simplify]: Simplify 0 into 0 3.816 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (- (* z y) (* x y)) 3.817 * [backup-simplify]: Simplify (* (/ 1 y) (- (/ 1 z) (/ 1 x))) into (/ (- (/ 1 z) (/ 1 x)) y) 3.817 * [approximate]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in (y z x) around 0 3.817 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in x 3.817 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in x 3.817 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.817 * [taylor]: Taking taylor expansion of z in x 3.817 * [backup-simplify]: Simplify z into z 3.817 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.817 * [taylor]: Taking taylor expansion of x in x 3.817 * [backup-simplify]: Simplify 0 into 0 3.817 * [backup-simplify]: Simplify 1 into 1 3.818 * [backup-simplify]: Simplify (/ 1 1) into 1 3.818 * [taylor]: Taking taylor expansion of y in x 3.818 * [backup-simplify]: Simplify y into y 3.819 * [backup-simplify]: Simplify (- 1) into -1 3.819 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.819 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.819 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in z 3.819 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.819 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.819 * [taylor]: Taking taylor expansion of z in z 3.819 * [backup-simplify]: Simplify 0 into 0 3.819 * [backup-simplify]: Simplify 1 into 1 3.826 * [backup-simplify]: Simplify (/ 1 1) into 1 3.826 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.826 * [taylor]: Taking taylor expansion of x in z 3.826 * [backup-simplify]: Simplify x into x 3.826 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.826 * [taylor]: Taking taylor expansion of y in z 3.826 * [backup-simplify]: Simplify y into y 3.827 * [backup-simplify]: Simplify (+ 1 0) into 1 3.827 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.827 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 3.827 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 3.827 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.827 * [taylor]: Taking taylor expansion of z in y 3.827 * [backup-simplify]: Simplify z into z 3.827 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.827 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.827 * [taylor]: Taking taylor expansion of x in y 3.827 * [backup-simplify]: Simplify x into x 3.827 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.827 * [taylor]: Taking taylor expansion of y in y 3.827 * [backup-simplify]: Simplify 0 into 0 3.827 * [backup-simplify]: Simplify 1 into 1 3.827 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.827 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 3.827 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 3.827 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 x)) y) in y 3.827 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in y 3.827 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.827 * [taylor]: Taking taylor expansion of z in y 3.827 * [backup-simplify]: Simplify z into z 3.827 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.828 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.828 * [taylor]: Taking taylor expansion of x in y 3.828 * [backup-simplify]: Simplify x into x 3.828 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.828 * [taylor]: Taking taylor expansion of y in y 3.828 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify 1 into 1 3.828 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.828 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 3.828 * [backup-simplify]: Simplify (/ (- (/ 1 z) (/ 1 x)) 1) into (- (/ 1 z) (/ 1 x)) 3.828 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 3.828 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.828 * [taylor]: Taking taylor expansion of z in z 3.828 * [backup-simplify]: Simplify 0 into 0 3.828 * [backup-simplify]: Simplify 1 into 1 3.828 * [backup-simplify]: Simplify (/ 1 1) into 1 3.828 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.828 * [taylor]: Taking taylor expansion of x in z 3.828 * [backup-simplify]: Simplify x into x 3.828 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.829 * [backup-simplify]: Simplify (+ 1 0) into 1 3.829 * [taylor]: Taking taylor expansion of 1 in x 3.829 * [backup-simplify]: Simplify 1 into 1 3.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.829 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.829 * [backup-simplify]: Simplify (- 0) into 0 3.830 * [backup-simplify]: Simplify (+ 0 0) into 0 3.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)))) into 0 3.830 * [taylor]: Taking taylor expansion of 0 in z 3.830 * [backup-simplify]: Simplify 0 into 0 3.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.831 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.831 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 3.831 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.831 * [taylor]: Taking taylor expansion of x in x 3.831 * [backup-simplify]: Simplify 0 into 0 3.831 * [backup-simplify]: Simplify 1 into 1 3.831 * [backup-simplify]: Simplify (/ 1 1) into 1 3.831 * [backup-simplify]: Simplify (- 1) into -1 3.831 * [backup-simplify]: Simplify -1 into -1 3.831 * [backup-simplify]: Simplify 1 into 1 3.831 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.832 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.832 * [backup-simplify]: Simplify (- 0) into 0 3.832 * [backup-simplify]: Simplify (+ 0 0) into 0 3.833 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.833 * [taylor]: Taking taylor expansion of 0 in z 3.833 * [backup-simplify]: Simplify 0 into 0 3.833 * [taylor]: Taking taylor expansion of 0 in x 3.833 * [backup-simplify]: Simplify 0 into 0 3.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.834 * [backup-simplify]: Simplify (- 0) into 0 3.834 * [backup-simplify]: Simplify (+ 0 0) into 0 3.834 * [taylor]: Taking taylor expansion of 0 in x 3.834 * [backup-simplify]: Simplify 0 into 0 3.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.835 * [backup-simplify]: Simplify (- 0) into 0 3.835 * [backup-simplify]: Simplify 0 into 0 3.835 * [backup-simplify]: Simplify 0 into 0 3.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.835 * [backup-simplify]: Simplify (- 0) into 0 3.836 * [backup-simplify]: Simplify (+ 0 0) into 0 3.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 z) (/ 1 x)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.837 * [taylor]: Taking taylor expansion of 0 in z 3.837 * [backup-simplify]: Simplify 0 into 0 3.837 * [taylor]: Taking taylor expansion of 0 in x 3.837 * [backup-simplify]: Simplify 0 into 0 3.837 * [taylor]: Taking taylor expansion of 0 in x 3.837 * [backup-simplify]: Simplify 0 into 0 3.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.838 * [backup-simplify]: Simplify (- 0) into 0 3.838 * [backup-simplify]: Simplify (+ 0 0) into 0 3.838 * [taylor]: Taking taylor expansion of 0 in x 3.838 * [backup-simplify]: Simplify 0 into 0 3.838 * [backup-simplify]: Simplify 0 into 0 3.838 * [backup-simplify]: Simplify 0 into 0 3.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.839 * [backup-simplify]: Simplify (- 0) into 0 3.839 * [backup-simplify]: Simplify 0 into 0 3.839 * [backup-simplify]: Simplify 0 into 0 3.839 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (- (* z y) (* x y)) 3.839 * [backup-simplify]: Simplify (* (/ 1 (- y)) (- (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) 3.839 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in (y z x) around 0 3.840 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in x 3.840 * [taylor]: Taking taylor expansion of -1 in x 3.840 * [backup-simplify]: Simplify -1 into -1 3.840 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in x 3.840 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in x 3.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.840 * [taylor]: Taking taylor expansion of x in x 3.840 * [backup-simplify]: Simplify 0 into 0 3.840 * [backup-simplify]: Simplify 1 into 1 3.840 * [backup-simplify]: Simplify (/ 1 1) into 1 3.840 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.840 * [taylor]: Taking taylor expansion of z in x 3.840 * [backup-simplify]: Simplify z into z 3.840 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.840 * [taylor]: Taking taylor expansion of y in x 3.840 * [backup-simplify]: Simplify y into y 3.840 * [backup-simplify]: Simplify (+ 1 0) into 1 3.840 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.840 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in z 3.840 * [taylor]: Taking taylor expansion of -1 in z 3.840 * [backup-simplify]: Simplify -1 into -1 3.840 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in z 3.840 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.840 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.840 * [taylor]: Taking taylor expansion of x in z 3.840 * [backup-simplify]: Simplify x into x 3.840 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.841 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.841 * [taylor]: Taking taylor expansion of z in z 3.841 * [backup-simplify]: Simplify 0 into 0 3.841 * [backup-simplify]: Simplify 1 into 1 3.841 * [backup-simplify]: Simplify (/ 1 1) into 1 3.841 * [taylor]: Taking taylor expansion of y in z 3.841 * [backup-simplify]: Simplify y into y 3.841 * [backup-simplify]: Simplify (- 1) into -1 3.841 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.841 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.841 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 3.841 * [taylor]: Taking taylor expansion of -1 in y 3.841 * [backup-simplify]: Simplify -1 into -1 3.841 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 3.841 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 3.841 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.841 * [taylor]: Taking taylor expansion of x in y 3.841 * [backup-simplify]: Simplify x into x 3.841 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.842 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.842 * [taylor]: Taking taylor expansion of z in y 3.842 * [backup-simplify]: Simplify z into z 3.842 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.842 * [taylor]: Taking taylor expansion of y in y 3.842 * [backup-simplify]: Simplify 0 into 0 3.842 * [backup-simplify]: Simplify 1 into 1 3.842 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.842 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 3.842 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 3.842 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 z)) y)) in y 3.842 * [taylor]: Taking taylor expansion of -1 in y 3.842 * [backup-simplify]: Simplify -1 into -1 3.842 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 z)) y) in y 3.842 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in y 3.842 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.842 * [taylor]: Taking taylor expansion of x in y 3.842 * [backup-simplify]: Simplify x into x 3.842 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.842 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.842 * [taylor]: Taking taylor expansion of z in y 3.842 * [backup-simplify]: Simplify z into z 3.842 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 3.842 * [taylor]: Taking taylor expansion of y in y 3.842 * [backup-simplify]: Simplify 0 into 0 3.842 * [backup-simplify]: Simplify 1 into 1 3.842 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 3.842 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 z))) into (- (/ 1 x) (/ 1 z)) 3.842 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 z)) 1) into (- (/ 1 x) (/ 1 z)) 3.842 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 z))) into (* -1 (- (/ 1 x) (/ 1 z))) 3.842 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 x) (/ 1 z))) in z 3.842 * [taylor]: Taking taylor expansion of -1 in z 3.842 * [backup-simplify]: Simplify -1 into -1 3.842 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 z)) in z 3.842 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.843 * [taylor]: Taking taylor expansion of x in z 3.843 * [backup-simplify]: Simplify x into x 3.843 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.843 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.843 * [taylor]: Taking taylor expansion of z in z 3.843 * [backup-simplify]: Simplify 0 into 0 3.843 * [backup-simplify]: Simplify 1 into 1 3.843 * [backup-simplify]: Simplify (/ 1 1) into 1 3.843 * [backup-simplify]: Simplify (- 1) into -1 3.843 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.844 * [backup-simplify]: Simplify (* -1 -1) into 1 3.844 * [taylor]: Taking taylor expansion of 1 in x 3.844 * [backup-simplify]: Simplify 1 into 1 3.844 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.844 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 3.844 * [backup-simplify]: Simplify (- 0) into 0 3.844 * [backup-simplify]: Simplify (+ 0 0) into 0 3.845 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)))) into 0 3.845 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 z)))) into 0 3.846 * [taylor]: Taking taylor expansion of 0 in z 3.846 * [backup-simplify]: Simplify 0 into 0 3.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.846 * [backup-simplify]: Simplify (- 0) into 0 3.847 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.847 * [backup-simplify]: Simplify (+ (* -1 (/ 1 x)) (* 0 -1)) into (- (/ 1 x)) 3.847 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.847 * [taylor]: Taking taylor expansion of x in x 3.847 * [backup-simplify]: Simplify 0 into 0 3.847 * [backup-simplify]: Simplify 1 into 1 3.847 * [backup-simplify]: Simplify (/ 1 1) into 1 3.847 * [backup-simplify]: Simplify (- 1) into -1 3.847 * [backup-simplify]: Simplify -1 into -1 3.847 * [backup-simplify]: Simplify 1 into 1 3.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.848 * [backup-simplify]: Simplify (- 0) into 0 3.848 * [backup-simplify]: Simplify (+ 0 0) into 0 3.849 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.850 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z))))) into 0 3.850 * [taylor]: Taking taylor expansion of 0 in z 3.850 * [backup-simplify]: Simplify 0 into 0 3.850 * [taylor]: Taking taylor expansion of 0 in x 3.850 * [backup-simplify]: Simplify 0 into 0 3.850 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.850 * [backup-simplify]: Simplify (- 0) into 0 3.851 * [backup-simplify]: Simplify (+ 0 0) into 0 3.851 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (/ 1 x)) (* 0 -1))) into 0 3.851 * [taylor]: Taking taylor expansion of 0 in x 3.851 * [backup-simplify]: Simplify 0 into 0 3.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.852 * [backup-simplify]: Simplify (- 0) into 0 3.852 * [backup-simplify]: Simplify 0 into 0 3.852 * [backup-simplify]: Simplify 0 into 0 3.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.852 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 3.852 * [backup-simplify]: Simplify (- 0) into 0 3.853 * [backup-simplify]: Simplify (+ 0 0) into 0 3.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (- (/ 1 x) (/ 1 z)) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.855 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 z)))))) into 0 3.855 * [taylor]: Taking taylor expansion of 0 in z 3.855 * [backup-simplify]: Simplify 0 into 0 3.855 * [taylor]: Taking taylor expansion of 0 in x 3.855 * [backup-simplify]: Simplify 0 into 0 3.855 * [taylor]: Taking taylor expansion of 0 in x 3.855 * [backup-simplify]: Simplify 0 into 0 3.855 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.856 * [backup-simplify]: Simplify (- 0) into 0 3.856 * [backup-simplify]: Simplify (+ 0 0) into 0 3.857 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (/ 1 x)) (* 0 -1)))) into 0 3.857 * [taylor]: Taking taylor expansion of 0 in x 3.857 * [backup-simplify]: Simplify 0 into 0 3.857 * [backup-simplify]: Simplify 0 into 0 3.857 * [backup-simplify]: Simplify 0 into 0 3.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.857 * [backup-simplify]: Simplify (- 0) into 0 3.857 * [backup-simplify]: Simplify 0 into 0 3.857 * [backup-simplify]: Simplify 0 into 0 3.858 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* z y) (* x y)) 3.858 * * * [progress]: simplifying candidates 3.859 * [simplify]: Simplifying: (* y (- z x)) (+ (log y) (log (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (* (* (* y y) y) (* (* (- z x) (- z x)) (- z x))) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y z) (* y (- x)) (* y z) (* y (- x)) (* z y) (* (- x) y) (* z y) (* (- x) y) (* y (* (cbrt (- z x)) (cbrt (- z x)))) (* y (sqrt (- z x))) (* y 1) (* y (+ (sqrt z) (sqrt x))) (* y 1) (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* y (- z x)) (* y (- (pow z 3) (pow x 3))) (* y (- (* z z) (* x x))) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) 3.859 * * [simplify]: iteration 0: 52 enodes 3.877 * * [simplify]: iteration 1: 121 enodes 3.922 * * [simplify]: iteration 2: 317 enodes 4.121 * * [simplify]: iteration 3: 1078 enodes 5.546 * * [simplify]: iteration complete: 5000 enodes 5.546 * * [simplify]: Extracting #0: cost 18 inf + 0 5.547 * * [simplify]: Extracting #1: cost 192 inf + 1 5.554 * * [simplify]: Extracting #2: cost 735 inf + 6678 5.574 * * [simplify]: Extracting #3: cost 746 inf + 75302 5.631 * * [simplify]: Extracting #4: cost 111 inf + 199489 5.709 * * [simplify]: Extracting #5: cost 48 inf + 220093 5.813 * * [simplify]: Extracting #6: cost 5 inf + 233161 5.915 * * [simplify]: Extracting #7: cost 0 inf + 234426 6.020 * [simplify]: Simplified to: (* (- z x) y) (log (* (- z x) y)) (log (* (- z x) y)) (exp (* (- z x) y)) (* (* (- z x) y) (* (* (- z x) y) (* (- z x) y))) (* (cbrt (* (- z x) y)) (cbrt (* (- z x) y))) (cbrt (* (- z x) y)) (* (* (- z x) y) (* (* (- z x) y) (* (- z x) y))) (sqrt (* (- z x) y)) (sqrt (* (- z x) y)) (* (sqrt y) (sqrt (- z x))) (* (sqrt y) (sqrt (- z x))) (* y z) (- (* y x)) (* y z) (- (* y x)) (* y z) (- (* y x)) (* y z) (- (* y x)) (* (cbrt (- z x)) (* (cbrt (- z x)) y)) (* (sqrt (- z x)) y) y (* (+ (sqrt x) (sqrt z)) y) y (* (cbrt y) (- z x)) (* (sqrt y) (- z x)) (* (- z x) y) (* y (- (* z (* z z)) (* (* x x) x))) (* (- z x) (* y (+ z x))) (* (- z x) y) (* (- z x) y) (* (- z x) y) 6.022 * * * [progress]: adding candidates to table 6.170 * * [progress]: iteration 2 / 4 6.170 * * * [progress]: picking best candidate 6.182 * * * * [pick]: Picked # 6.182 * * * [progress]: localizing error 6.205 * * * [progress]: generating rewritten candidates 6.205 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2) 6.218 * * * [progress]: generating series expansions 6.218 * * * * [progress]: [ 1 / 1 ] generating series at (2 2) 6.219 * [backup-simplify]: Simplify (+ (* y z) (* y (- x))) into (- (* z y) (* x y)) 6.219 * [approximate]: Taking taylor expansion of (- (* z y) (* x y)) in (y z x) around 0 6.219 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in x 6.219 * [taylor]: Taking taylor expansion of (* z y) in x 6.219 * [taylor]: Taking taylor expansion of z in x 6.219 * [backup-simplify]: Simplify z into z 6.219 * [taylor]: Taking taylor expansion of y in x 6.219 * [backup-simplify]: Simplify y into y 6.219 * [taylor]: Taking taylor expansion of (* x y) in x 6.219 * [taylor]: Taking taylor expansion of x in x 6.219 * [backup-simplify]: Simplify 0 into 0 6.219 * [backup-simplify]: Simplify 1 into 1 6.219 * [taylor]: Taking taylor expansion of y in x 6.219 * [backup-simplify]: Simplify y into y 6.219 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in z 6.219 * [taylor]: Taking taylor expansion of (* z y) in z 6.219 * [taylor]: Taking taylor expansion of z in z 6.219 * [backup-simplify]: Simplify 0 into 0 6.219 * [backup-simplify]: Simplify 1 into 1 6.219 * [taylor]: Taking taylor expansion of y in z 6.219 * [backup-simplify]: Simplify y into y 6.219 * [taylor]: Taking taylor expansion of (* x y) in z 6.219 * [taylor]: Taking taylor expansion of x in z 6.219 * [backup-simplify]: Simplify x into x 6.219 * [taylor]: Taking taylor expansion of y in z 6.219 * [backup-simplify]: Simplify y into y 6.219 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y 6.219 * [taylor]: Taking taylor expansion of (* z y) in y 6.220 * [taylor]: Taking taylor expansion of z in y 6.220 * [backup-simplify]: Simplify z into z 6.220 * [taylor]: Taking taylor expansion of y in y 6.220 * [backup-simplify]: Simplify 0 into 0 6.220 * [backup-simplify]: Simplify 1 into 1 6.220 * [taylor]: Taking taylor expansion of (* x y) in y 6.220 * [taylor]: Taking taylor expansion of x in y 6.220 * [backup-simplify]: Simplify x into x 6.220 * [taylor]: Taking taylor expansion of y in y 6.220 * [backup-simplify]: Simplify 0 into 0 6.220 * [backup-simplify]: Simplify 1 into 1 6.220 * [taylor]: Taking taylor expansion of (- (* z y) (* x y)) in y 6.220 * [taylor]: Taking taylor expansion of (* z y) in y 6.220 * [taylor]: Taking taylor expansion of z in y 6.220 * [backup-simplify]: Simplify z into z 6.220 * [taylor]: Taking taylor expansion of y in y 6.220 * [backup-simplify]: Simplify 0 into 0 6.220 * [backup-simplify]: Simplify 1 into 1 6.220 * [taylor]: Taking taylor expansion of (* x y) in y 6.220 * [taylor]: Taking taylor expansion of x in y 6.220 * [backup-simplify]: Simplify x into x 6.220 * [taylor]: Taking taylor expansion of y in y 6.220 * [backup-simplify]: Simplify 0 into 0 6.220 * [backup-simplify]: Simplify 1 into 1 6.220 * [backup-simplify]: Simplify (* z 0) into 0 6.220 * [backup-simplify]: Simplify (* x 0) into 0 6.221 * [backup-simplify]: Simplify (- 0) into 0 6.221 * [backup-simplify]: Simplify (+ 0 0) into 0 6.221 * [taylor]: Taking taylor expansion of 0 in z 6.221 * [backup-simplify]: Simplify 0 into 0 6.221 * [taylor]: Taking taylor expansion of 0 in x 6.221 * [backup-simplify]: Simplify 0 into 0 6.221 * [backup-simplify]: Simplify 0 into 0 6.222 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.222 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.222 * [backup-simplify]: Simplify (- x) into (- x) 6.222 * [backup-simplify]: Simplify (+ z (- x)) into (- z x) 6.222 * [taylor]: Taking taylor expansion of (- z x) in z 6.222 * [taylor]: Taking taylor expansion of z in z 6.222 * [backup-simplify]: Simplify 0 into 0 6.222 * [backup-simplify]: Simplify 1 into 1 6.222 * [taylor]: Taking taylor expansion of x in z 6.222 * [backup-simplify]: Simplify x into x 6.222 * [backup-simplify]: Simplify (- x) into (- x) 6.223 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 6.223 * [taylor]: Taking taylor expansion of (- x) in x 6.223 * [taylor]: Taking taylor expansion of x in x 6.223 * [backup-simplify]: Simplify 0 into 0 6.223 * [backup-simplify]: Simplify 1 into 1 6.223 * [backup-simplify]: Simplify (- 0) into 0 6.223 * [backup-simplify]: Simplify 0 into 0 6.223 * [taylor]: Taking taylor expansion of 0 in x 6.223 * [backup-simplify]: Simplify 0 into 0 6.223 * [backup-simplify]: Simplify 0 into 0 6.223 * [backup-simplify]: Simplify 0 into 0 6.224 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.224 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 6.225 * [backup-simplify]: Simplify (- 0) into 0 6.225 * [backup-simplify]: Simplify (+ 0 0) into 0 6.225 * [taylor]: Taking taylor expansion of 0 in z 6.225 * [backup-simplify]: Simplify 0 into 0 6.225 * [taylor]: Taking taylor expansion of 0 in x 6.225 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify 0 into 0 6.225 * [backup-simplify]: Simplify (- 0) into 0 6.226 * [backup-simplify]: Simplify (+ 1 0) into 1 6.226 * [taylor]: Taking taylor expansion of 1 in x 6.226 * [backup-simplify]: Simplify 1 into 1 6.226 * [backup-simplify]: Simplify 1 into 1 6.226 * [taylor]: Taking taylor expansion of 0 in x 6.226 * [backup-simplify]: Simplify 0 into 0 6.226 * [backup-simplify]: Simplify 0 into 0 6.226 * [backup-simplify]: Simplify (- 1) into -1 6.226 * [backup-simplify]: Simplify -1 into -1 6.226 * [backup-simplify]: Simplify 0 into 0 6.226 * [backup-simplify]: Simplify 0 into 0 6.227 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.228 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.228 * [backup-simplify]: Simplify (- 0) into 0 6.228 * [backup-simplify]: Simplify (+ 0 0) into 0 6.228 * [taylor]: Taking taylor expansion of 0 in z 6.228 * [backup-simplify]: Simplify 0 into 0 6.228 * [taylor]: Taking taylor expansion of 0 in x 6.228 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [taylor]: Taking taylor expansion of 0 in x 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify (- 0) into 0 6.229 * [backup-simplify]: Simplify (+ 0 0) into 0 6.229 * [taylor]: Taking taylor expansion of 0 in x 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [taylor]: Taking taylor expansion of 0 in x 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify 0 into 0 6.229 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (- (* z y) (* x y)) 6.229 * [backup-simplify]: Simplify (+ (* (/ 1 y) (/ 1 z)) (* (/ 1 y) (- (/ 1 x)))) into (- (/ 1 (* z y)) (/ 1 (* x y))) 6.230 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0 6.230 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x 6.230 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.230 * [taylor]: Taking taylor expansion of (* z y) in x 6.230 * [taylor]: Taking taylor expansion of z in x 6.230 * [backup-simplify]: Simplify z into z 6.230 * [taylor]: Taking taylor expansion of y in x 6.230 * [backup-simplify]: Simplify y into y 6.230 * [backup-simplify]: Simplify (* z y) into (* z y) 6.230 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.230 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.230 * [taylor]: Taking taylor expansion of (* x y) in x 6.230 * [taylor]: Taking taylor expansion of x in x 6.230 * [backup-simplify]: Simplify 0 into 0 6.230 * [backup-simplify]: Simplify 1 into 1 6.230 * [taylor]: Taking taylor expansion of y in x 6.230 * [backup-simplify]: Simplify y into y 6.230 * [backup-simplify]: Simplify (* 0 y) into 0 6.230 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.230 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.230 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z 6.230 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 6.230 * [taylor]: Taking taylor expansion of (* z y) in z 6.230 * [taylor]: Taking taylor expansion of z in z 6.230 * [backup-simplify]: Simplify 0 into 0 6.230 * [backup-simplify]: Simplify 1 into 1 6.230 * [taylor]: Taking taylor expansion of y in z 6.230 * [backup-simplify]: Simplify y into y 6.230 * [backup-simplify]: Simplify (* 0 y) into 0 6.231 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.231 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.231 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 6.231 * [taylor]: Taking taylor expansion of (* x y) in z 6.231 * [taylor]: Taking taylor expansion of x in z 6.231 * [backup-simplify]: Simplify x into x 6.231 * [taylor]: Taking taylor expansion of y in z 6.231 * [backup-simplify]: Simplify y into y 6.231 * [backup-simplify]: Simplify (* x y) into (* x y) 6.231 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 6.231 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 6.231 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.231 * [taylor]: Taking taylor expansion of (* z y) in y 6.231 * [taylor]: Taking taylor expansion of z in y 6.231 * [backup-simplify]: Simplify z into z 6.231 * [taylor]: Taking taylor expansion of y in y 6.231 * [backup-simplify]: Simplify 0 into 0 6.231 * [backup-simplify]: Simplify 1 into 1 6.231 * [backup-simplify]: Simplify (* z 0) into 0 6.231 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.231 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.231 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.231 * [taylor]: Taking taylor expansion of (* x y) in y 6.231 * [taylor]: Taking taylor expansion of x in y 6.231 * [backup-simplify]: Simplify x into x 6.231 * [taylor]: Taking taylor expansion of y in y 6.231 * [backup-simplify]: Simplify 0 into 0 6.231 * [backup-simplify]: Simplify 1 into 1 6.231 * [backup-simplify]: Simplify (* x 0) into 0 6.232 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.232 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.232 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 6.232 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.232 * [taylor]: Taking taylor expansion of (* z y) in y 6.232 * [taylor]: Taking taylor expansion of z in y 6.232 * [backup-simplify]: Simplify z into z 6.232 * [taylor]: Taking taylor expansion of y in y 6.232 * [backup-simplify]: Simplify 0 into 0 6.232 * [backup-simplify]: Simplify 1 into 1 6.232 * [backup-simplify]: Simplify (* z 0) into 0 6.232 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.232 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.232 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.232 * [taylor]: Taking taylor expansion of (* x y) in y 6.232 * [taylor]: Taking taylor expansion of x in y 6.232 * [backup-simplify]: Simplify x into x 6.232 * [taylor]: Taking taylor expansion of y in y 6.232 * [backup-simplify]: Simplify 0 into 0 6.232 * [backup-simplify]: Simplify 1 into 1 6.232 * [backup-simplify]: Simplify (* x 0) into 0 6.233 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.233 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.233 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 6.233 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 6.233 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.233 * [taylor]: Taking taylor expansion of z in z 6.233 * [backup-simplify]: Simplify 0 into 0 6.233 * [backup-simplify]: Simplify 1 into 1 6.233 * [backup-simplify]: Simplify (/ 1 1) into 1 6.233 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.233 * [taylor]: Taking taylor expansion of x in z 6.233 * [backup-simplify]: Simplify x into x 6.233 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.234 * [backup-simplify]: Simplify (+ 1 0) into 1 6.234 * [taylor]: Taking taylor expansion of 1 in x 6.234 * [backup-simplify]: Simplify 1 into 1 6.234 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.234 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.235 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 6.235 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.235 * [backup-simplify]: Simplify (- 0) into 0 6.235 * [backup-simplify]: Simplify (+ 0 0) into 0 6.235 * [taylor]: Taking taylor expansion of 0 in z 6.235 * [backup-simplify]: Simplify 0 into 0 6.236 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.236 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.236 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 6.236 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.236 * [taylor]: Taking taylor expansion of x in x 6.236 * [backup-simplify]: Simplify 0 into 0 6.236 * [backup-simplify]: Simplify 1 into 1 6.236 * [backup-simplify]: Simplify (/ 1 1) into 1 6.236 * [backup-simplify]: Simplify (- 1) into -1 6.236 * [backup-simplify]: Simplify -1 into -1 6.236 * [backup-simplify]: Simplify 1 into 1 6.237 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.237 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.237 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.238 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.238 * [backup-simplify]: Simplify (- 0) into 0 6.238 * [backup-simplify]: Simplify (+ 0 0) into 0 6.238 * [taylor]: Taking taylor expansion of 0 in z 6.238 * [backup-simplify]: Simplify 0 into 0 6.238 * [taylor]: Taking taylor expansion of 0 in x 6.238 * [backup-simplify]: Simplify 0 into 0 6.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.239 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.239 * [backup-simplify]: Simplify (- 0) into 0 6.239 * [backup-simplify]: Simplify (+ 0 0) into 0 6.239 * [taylor]: Taking taylor expansion of 0 in x 6.239 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.240 * [backup-simplify]: Simplify (- 0) into 0 6.240 * [backup-simplify]: Simplify 0 into 0 6.240 * [backup-simplify]: Simplify 0 into 0 6.241 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.241 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.241 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.242 * [backup-simplify]: Simplify (- 0) into 0 6.242 * [backup-simplify]: Simplify (+ 0 0) into 0 6.242 * [taylor]: Taking taylor expansion of 0 in z 6.242 * [backup-simplify]: Simplify 0 into 0 6.242 * [taylor]: Taking taylor expansion of 0 in x 6.242 * [backup-simplify]: Simplify 0 into 0 6.242 * [taylor]: Taking taylor expansion of 0 in x 6.242 * [backup-simplify]: Simplify 0 into 0 6.243 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.243 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.243 * [backup-simplify]: Simplify (- 0) into 0 6.243 * [backup-simplify]: Simplify (+ 0 0) into 0 6.243 * [taylor]: Taking taylor expansion of 0 in x 6.243 * [backup-simplify]: Simplify 0 into 0 6.243 * [backup-simplify]: Simplify 0 into 0 6.243 * [backup-simplify]: Simplify 0 into 0 6.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.245 * [backup-simplify]: Simplify (- 0) into 0 6.245 * [backup-simplify]: Simplify 0 into 0 6.245 * [backup-simplify]: Simplify 0 into 0 6.245 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (- (* z y) (* x y)) 6.245 * [backup-simplify]: Simplify (+ (* (/ 1 (- y)) (/ 1 (- z))) (* (/ 1 (- y)) (- (/ 1 (- x))))) into (- (/ 1 (* z y)) (/ 1 (* x y))) 6.245 * [approximate]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0 6.245 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in x 6.245 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 6.245 * [taylor]: Taking taylor expansion of (* z y) in x 6.245 * [taylor]: Taking taylor expansion of z in x 6.245 * [backup-simplify]: Simplify z into z 6.245 * [taylor]: Taking taylor expansion of y in x 6.245 * [backup-simplify]: Simplify y into y 6.245 * [backup-simplify]: Simplify (* z y) into (* z y) 6.245 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 6.245 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 6.245 * [taylor]: Taking taylor expansion of (* x y) in x 6.245 * [taylor]: Taking taylor expansion of x in x 6.245 * [backup-simplify]: Simplify 0 into 0 6.245 * [backup-simplify]: Simplify 1 into 1 6.245 * [taylor]: Taking taylor expansion of y in x 6.246 * [backup-simplify]: Simplify y into y 6.246 * [backup-simplify]: Simplify (* 0 y) into 0 6.246 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.246 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.246 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in z 6.246 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 6.246 * [taylor]: Taking taylor expansion of (* z y) in z 6.246 * [taylor]: Taking taylor expansion of z in z 6.246 * [backup-simplify]: Simplify 0 into 0 6.246 * [backup-simplify]: Simplify 1 into 1 6.246 * [taylor]: Taking taylor expansion of y in z 6.246 * [backup-simplify]: Simplify y into y 6.246 * [backup-simplify]: Simplify (* 0 y) into 0 6.246 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 6.246 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.246 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 6.246 * [taylor]: Taking taylor expansion of (* x y) in z 6.246 * [taylor]: Taking taylor expansion of x in z 6.246 * [backup-simplify]: Simplify x into x 6.247 * [taylor]: Taking taylor expansion of y in z 6.247 * [backup-simplify]: Simplify y into y 6.247 * [backup-simplify]: Simplify (* x y) into (* x y) 6.247 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 6.247 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 6.247 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.247 * [taylor]: Taking taylor expansion of (* z y) in y 6.247 * [taylor]: Taking taylor expansion of z in y 6.247 * [backup-simplify]: Simplify z into z 6.247 * [taylor]: Taking taylor expansion of y in y 6.247 * [backup-simplify]: Simplify 0 into 0 6.247 * [backup-simplify]: Simplify 1 into 1 6.247 * [backup-simplify]: Simplify (* z 0) into 0 6.247 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.247 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.247 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.247 * [taylor]: Taking taylor expansion of (* x y) in y 6.247 * [taylor]: Taking taylor expansion of x in y 6.247 * [backup-simplify]: Simplify x into x 6.247 * [taylor]: Taking taylor expansion of y in y 6.247 * [backup-simplify]: Simplify 0 into 0 6.247 * [backup-simplify]: Simplify 1 into 1 6.247 * [backup-simplify]: Simplify (* x 0) into 0 6.248 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.248 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.248 * [taylor]: Taking taylor expansion of (- (/ 1 (* z y)) (/ 1 (* x y))) in y 6.248 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 6.248 * [taylor]: Taking taylor expansion of (* z y) in y 6.248 * [taylor]: Taking taylor expansion of z in y 6.248 * [backup-simplify]: Simplify z into z 6.248 * [taylor]: Taking taylor expansion of y in y 6.248 * [backup-simplify]: Simplify 0 into 0 6.248 * [backup-simplify]: Simplify 1 into 1 6.248 * [backup-simplify]: Simplify (* z 0) into 0 6.248 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 6.248 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.248 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 6.248 * [taylor]: Taking taylor expansion of (* x y) in y 6.248 * [taylor]: Taking taylor expansion of x in y 6.248 * [backup-simplify]: Simplify x into x 6.248 * [taylor]: Taking taylor expansion of y in y 6.248 * [backup-simplify]: Simplify 0 into 0 6.248 * [backup-simplify]: Simplify 1 into 1 6.248 * [backup-simplify]: Simplify (* x 0) into 0 6.248 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 6.248 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.249 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.249 * [backup-simplify]: Simplify (+ (/ 1 z) (- (/ 1 x))) into (- (/ 1 z) (/ 1 x)) 6.249 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 x)) in z 6.249 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.249 * [taylor]: Taking taylor expansion of z in z 6.249 * [backup-simplify]: Simplify 0 into 0 6.249 * [backup-simplify]: Simplify 1 into 1 6.249 * [backup-simplify]: Simplify (/ 1 1) into 1 6.249 * [taylor]: Taking taylor expansion of (/ 1 x) in z 6.249 * [taylor]: Taking taylor expansion of x in z 6.249 * [backup-simplify]: Simplify x into x 6.249 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.249 * [backup-simplify]: Simplify (+ 1 0) into 1 6.249 * [taylor]: Taking taylor expansion of 1 in x 6.249 * [backup-simplify]: Simplify 1 into 1 6.250 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 6.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.250 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 6.250 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.251 * [backup-simplify]: Simplify (- 0) into 0 6.251 * [backup-simplify]: Simplify (+ 0 0) into 0 6.251 * [taylor]: Taking taylor expansion of 0 in z 6.251 * [backup-simplify]: Simplify 0 into 0 6.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.251 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 6.251 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 6.251 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.251 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.251 * [taylor]: Taking taylor expansion of x in x 6.251 * [backup-simplify]: Simplify 0 into 0 6.251 * [backup-simplify]: Simplify 1 into 1 6.252 * [backup-simplify]: Simplify (/ 1 1) into 1 6.252 * [backup-simplify]: Simplify (- 1) into -1 6.252 * [backup-simplify]: Simplify -1 into -1 6.252 * [backup-simplify]: Simplify 1 into 1 6.252 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.253 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.253 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.253 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.253 * [backup-simplify]: Simplify (- 0) into 0 6.254 * [backup-simplify]: Simplify (+ 0 0) into 0 6.254 * [taylor]: Taking taylor expansion of 0 in z 6.254 * [backup-simplify]: Simplify 0 into 0 6.254 * [taylor]: Taking taylor expansion of 0 in x 6.254 * [backup-simplify]: Simplify 0 into 0 6.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.254 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 6.255 * [backup-simplify]: Simplify (- 0) into 0 6.255 * [backup-simplify]: Simplify (+ 0 0) into 0 6.255 * [taylor]: Taking taylor expansion of 0 in x 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.255 * [backup-simplify]: Simplify (- 0) into 0 6.255 * [backup-simplify]: Simplify 0 into 0 6.256 * [backup-simplify]: Simplify 0 into 0 6.256 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.256 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 6.257 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.257 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.257 * [backup-simplify]: Simplify (- 0) into 0 6.257 * [backup-simplify]: Simplify (+ 0 0) into 0 6.257 * [taylor]: Taking taylor expansion of 0 in z 6.257 * [backup-simplify]: Simplify 0 into 0 6.257 * [taylor]: Taking taylor expansion of 0 in x 6.257 * [backup-simplify]: Simplify 0 into 0 6.257 * [taylor]: Taking taylor expansion of 0 in x 6.257 * [backup-simplify]: Simplify 0 into 0 6.258 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.258 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 6.258 * [backup-simplify]: Simplify (- 0) into 0 6.258 * [backup-simplify]: Simplify (+ 0 0) into 0 6.259 * [taylor]: Taking taylor expansion of 0 in x 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.259 * [backup-simplify]: Simplify (- 0) into 0 6.259 * [backup-simplify]: Simplify 0 into 0 6.259 * [backup-simplify]: Simplify 0 into 0 6.260 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* z y) (* x y)) 6.260 * * * [progress]: simplifying candidates 6.260 * [simplify]: Simplifying: (* (exp (* y z)) (exp (* y (- x)))) (log (+ (* y z) (* y (- x)))) (exp (+ (* y z) (* y (- x)))) (* (cbrt (+ (* y z) (* y (- x)))) (cbrt (+ (* y z) (* y (- x))))) (cbrt (+ (* y z) (* y (- x)))) (* (* (+ (* y z) (* y (- x))) (+ (* y z) (* y (- x)))) (+ (* y z) (* y (- x)))) (sqrt (+ (* y z) (* y (- x)))) (sqrt (+ (* y z) (* y (- x)))) (+ (pow (* y z) 3) (pow (* y (- x)) 3)) (+ (* (* y z) (* y z)) (- (* (* y (- x)) (* y (- x))) (* (* y z) (* y (- x))))) (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))) (+ z (- x)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) 6.260 * * [simplify]: iteration 0: 32 enodes 6.267 * * [simplify]: iteration 1: 107 enodes 6.321 * * [simplify]: iteration 2: 410 enodes 6.569 * * [simplify]: iteration 3: 1435 enodes 7.785 * * [simplify]: iteration complete: 5000 enodes 7.785 * * [simplify]: Extracting #0: cost 12 inf + 0 7.785 * * [simplify]: Extracting #1: cost 203 inf + 0 7.791 * * [simplify]: Extracting #2: cost 1048 inf + 169 7.811 * * [simplify]: Extracting #3: cost 1153 inf + 64076 7.875 * * [simplify]: Extracting #4: cost 229 inf + 255054 7.970 * * [simplify]: Extracting #5: cost 15 inf + 315947 8.054 * * [simplify]: Extracting #6: cost 1 inf + 317804 8.136 * * [simplify]: Extracting #7: cost 0 inf + 318057 8.241 * [simplify]: Simplified to: (exp (* y (- z x))) (log (* y (- z x))) (exp (* y (- z x))) (* (cbrt (* y (- z x))) (cbrt (* y (- z x)))) (cbrt (* y (- z x))) (* (* (* y (- z x)) (* y (- z x))) (* y (- z x))) (sqrt (* y (- z x))) (sqrt (* y (- z x))) (- (* (* y z) (* (* y z) (* y z))) (* (* (* x y) (* x y)) (* x y))) (* y (+ (* (* x y) x) (* (* y z) (+ x z)))) (- (* (* y z) (* y z)) (* (* x y) (* x y))) (* (+ x z) y) (- z x) (* y (- z x)) (* y (- z x)) (* y (- z x)) 8.242 * * * [progress]: adding candidates to table 8.299 * * [progress]: iteration 3 / 4 8.299 * * * [progress]: picking best candidate 8.303 * * * * [pick]: Picked # 8.303 * * * [progress]: localizing error 8.336 * * * [progress]: generating rewritten candidates 8.336 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 8.443 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 8.475 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2) 8.531 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 8.575 * * * [progress]: generating series expansions 8.575 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 8.576 * [backup-simplify]: Simplify (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x)))) into (/ (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (+ (* z y) (* x y))) 8.576 * [approximate]: Taking taylor expansion of (/ (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (+ (* z y) (* x y))) in (y z x) around 0 8.576 * [taylor]: Taking taylor expansion of (/ (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (+ (* z y) (* x y))) in x 8.576 * [taylor]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in x 8.576 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 8.576 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.576 * [taylor]: Taking taylor expansion of z in x 8.576 * [backup-simplify]: Simplify z into z 8.576 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.576 * [taylor]: Taking taylor expansion of y in x 8.576 * [backup-simplify]: Simplify y into y 8.576 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.576 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.576 * [taylor]: Taking taylor expansion of x in x 8.576 * [backup-simplify]: Simplify 0 into 0 8.576 * [backup-simplify]: Simplify 1 into 1 8.576 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.576 * [taylor]: Taking taylor expansion of y in x 8.576 * [backup-simplify]: Simplify y into y 8.576 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in x 8.576 * [taylor]: Taking taylor expansion of (* z y) in x 8.576 * [taylor]: Taking taylor expansion of z in x 8.576 * [backup-simplify]: Simplify z into z 8.576 * [taylor]: Taking taylor expansion of y in x 8.576 * [backup-simplify]: Simplify y into y 8.576 * [taylor]: Taking taylor expansion of (* x y) in x 8.576 * [taylor]: Taking taylor expansion of x in x 8.576 * [backup-simplify]: Simplify 0 into 0 8.576 * [backup-simplify]: Simplify 1 into 1 8.576 * [taylor]: Taking taylor expansion of y in x 8.576 * [backup-simplify]: Simplify y into y 8.577 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.577 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.577 * [backup-simplify]: Simplify (* (pow z 2) (pow y 2)) into (* (pow z 2) (pow y 2)) 8.577 * [backup-simplify]: Simplify (+ (* (pow z 2) (pow y 2)) 0) into (* (pow z 2) (pow y 2)) 8.577 * [backup-simplify]: Simplify (* z y) into (* z y) 8.577 * [backup-simplify]: Simplify (* 0 y) into 0 8.577 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 8.577 * [backup-simplify]: Simplify (/ (* (pow z 2) (pow y 2)) (* z y)) into (* z y) 8.577 * [taylor]: Taking taylor expansion of (/ (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (+ (* z y) (* x y))) in z 8.577 * [taylor]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in z 8.577 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.577 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.577 * [taylor]: Taking taylor expansion of z in z 8.577 * [backup-simplify]: Simplify 0 into 0 8.577 * [backup-simplify]: Simplify 1 into 1 8.577 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.577 * [taylor]: Taking taylor expansion of y in z 8.577 * [backup-simplify]: Simplify y into y 8.577 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z 8.578 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.578 * [taylor]: Taking taylor expansion of x in z 8.578 * [backup-simplify]: Simplify x into x 8.578 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.578 * [taylor]: Taking taylor expansion of y in z 8.578 * [backup-simplify]: Simplify y into y 8.578 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in z 8.578 * [taylor]: Taking taylor expansion of (* z y) in z 8.578 * [taylor]: Taking taylor expansion of z in z 8.578 * [backup-simplify]: Simplify 0 into 0 8.578 * [backup-simplify]: Simplify 1 into 1 8.578 * [taylor]: Taking taylor expansion of y in z 8.578 * [backup-simplify]: Simplify y into y 8.578 * [taylor]: Taking taylor expansion of (* x y) in z 8.578 * [taylor]: Taking taylor expansion of x in z 8.578 * [backup-simplify]: Simplify x into x 8.578 * [taylor]: Taking taylor expansion of y in z 8.578 * [backup-simplify]: Simplify y into y 8.578 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.578 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.578 * [backup-simplify]: Simplify (* (pow x 2) (pow y 2)) into (* (pow x 2) (pow y 2)) 8.578 * [backup-simplify]: Simplify (- (* (pow x 2) (pow y 2))) into (- (* (pow x 2) (pow y 2))) 8.578 * [backup-simplify]: Simplify (+ 0 (- (* (pow x 2) (pow y 2)))) into (- (* (pow x 2) (pow y 2))) 8.578 * [backup-simplify]: Simplify (* 0 y) into 0 8.578 * [backup-simplify]: Simplify (* x y) into (* x y) 8.578 * [backup-simplify]: Simplify (+ 0 (* x y)) into (* x y) 8.579 * [backup-simplify]: Simplify (/ (- (* (pow x 2) (pow y 2))) (* x y)) into (* -1 (* x y)) 8.579 * [taylor]: Taking taylor expansion of (/ (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (+ (* z y) (* x y))) in y 8.579 * [taylor]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in y 8.579 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.579 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.579 * [taylor]: Taking taylor expansion of z in y 8.579 * [backup-simplify]: Simplify z into z 8.579 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.579 * [taylor]: Taking taylor expansion of y in y 8.579 * [backup-simplify]: Simplify 0 into 0 8.579 * [backup-simplify]: Simplify 1 into 1 8.579 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.579 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.579 * [taylor]: Taking taylor expansion of x in y 8.579 * [backup-simplify]: Simplify x into x 8.579 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.579 * [taylor]: Taking taylor expansion of y in y 8.579 * [backup-simplify]: Simplify 0 into 0 8.579 * [backup-simplify]: Simplify 1 into 1 8.579 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in y 8.579 * [taylor]: Taking taylor expansion of (* z y) in y 8.579 * [taylor]: Taking taylor expansion of z in y 8.579 * [backup-simplify]: Simplify z into z 8.579 * [taylor]: Taking taylor expansion of y in y 8.579 * [backup-simplify]: Simplify 0 into 0 8.579 * [backup-simplify]: Simplify 1 into 1 8.579 * [taylor]: Taking taylor expansion of (* x y) in y 8.579 * [taylor]: Taking taylor expansion of x in y 8.579 * [backup-simplify]: Simplify x into x 8.579 * [taylor]: Taking taylor expansion of y in y 8.579 * [backup-simplify]: Simplify 0 into 0 8.579 * [backup-simplify]: Simplify 1 into 1 8.579 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.580 * [backup-simplify]: Simplify (* 1 1) into 1 8.580 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.580 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.580 * [backup-simplify]: Simplify (* 1 1) into 1 8.580 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.580 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2)) 8.580 * [backup-simplify]: Simplify (+ (pow z 2) (- (pow x 2))) into (- (pow z 2) (pow x 2)) 8.580 * [backup-simplify]: Simplify (* z 0) into 0 8.580 * [backup-simplify]: Simplify (* x 0) into 0 8.581 * [backup-simplify]: Simplify (+ 0 0) into 0 8.581 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 8.581 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.581 * [backup-simplify]: Simplify (+ z x) into (+ x z) 8.582 * [backup-simplify]: Simplify (/ (- (pow z 2) (pow x 2)) (+ x z)) into (/ (- (pow z 2) (pow x 2)) (+ x z)) 8.582 * [taylor]: Taking taylor expansion of (/ (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (+ (* z y) (* x y))) in y 8.582 * [taylor]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in y 8.582 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.582 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.582 * [taylor]: Taking taylor expansion of z in y 8.582 * [backup-simplify]: Simplify z into z 8.582 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.582 * [taylor]: Taking taylor expansion of y in y 8.582 * [backup-simplify]: Simplify 0 into 0 8.582 * [backup-simplify]: Simplify 1 into 1 8.582 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.582 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.582 * [taylor]: Taking taylor expansion of x in y 8.582 * [backup-simplify]: Simplify x into x 8.582 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.582 * [taylor]: Taking taylor expansion of y in y 8.582 * [backup-simplify]: Simplify 0 into 0 8.582 * [backup-simplify]: Simplify 1 into 1 8.582 * [taylor]: Taking taylor expansion of (+ (* z y) (* x y)) in y 8.582 * [taylor]: Taking taylor expansion of (* z y) in y 8.582 * [taylor]: Taking taylor expansion of z in y 8.582 * [backup-simplify]: Simplify z into z 8.582 * [taylor]: Taking taylor expansion of y in y 8.582 * [backup-simplify]: Simplify 0 into 0 8.582 * [backup-simplify]: Simplify 1 into 1 8.582 * [taylor]: Taking taylor expansion of (* x y) in y 8.582 * [taylor]: Taking taylor expansion of x in y 8.582 * [backup-simplify]: Simplify x into x 8.582 * [taylor]: Taking taylor expansion of y in y 8.582 * [backup-simplify]: Simplify 0 into 0 8.582 * [backup-simplify]: Simplify 1 into 1 8.582 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.582 * [backup-simplify]: Simplify (* 1 1) into 1 8.582 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.582 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.583 * [backup-simplify]: Simplify (* 1 1) into 1 8.583 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.583 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2)) 8.583 * [backup-simplify]: Simplify (+ (pow z 2) (- (pow x 2))) into (- (pow z 2) (pow x 2)) 8.583 * [backup-simplify]: Simplify (* z 0) into 0 8.583 * [backup-simplify]: Simplify (* x 0) into 0 8.583 * [backup-simplify]: Simplify (+ 0 0) into 0 8.584 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 8.584 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.584 * [backup-simplify]: Simplify (+ z x) into (+ x z) 8.584 * [backup-simplify]: Simplify (/ (- (pow z 2) (pow x 2)) (+ x z)) into (/ (- (pow z 2) (pow x 2)) (+ x z)) 8.584 * [taylor]: Taking taylor expansion of (/ (- (pow z 2) (pow x 2)) (+ x z)) in z 8.584 * [taylor]: Taking taylor expansion of (- (pow z 2) (pow x 2)) in z 8.584 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.584 * [taylor]: Taking taylor expansion of z in z 8.584 * [backup-simplify]: Simplify 0 into 0 8.584 * [backup-simplify]: Simplify 1 into 1 8.584 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.584 * [taylor]: Taking taylor expansion of x in z 8.584 * [backup-simplify]: Simplify x into x 8.584 * [taylor]: Taking taylor expansion of (+ x z) in z 8.584 * [taylor]: Taking taylor expansion of x in z 8.584 * [backup-simplify]: Simplify x into x 8.584 * [taylor]: Taking taylor expansion of z in z 8.584 * [backup-simplify]: Simplify 0 into 0 8.584 * [backup-simplify]: Simplify 1 into 1 8.584 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.584 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2)) 8.585 * [backup-simplify]: Simplify (+ 0 (- (pow x 2))) into (- (pow x 2)) 8.585 * [backup-simplify]: Simplify (+ x 0) into x 8.585 * [backup-simplify]: Simplify (/ (- (pow x 2)) x) into (* -1 x) 8.585 * [taylor]: Taking taylor expansion of (* -1 x) in x 8.585 * [taylor]: Taking taylor expansion of -1 in x 8.585 * [backup-simplify]: Simplify -1 into -1 8.585 * [taylor]: Taking taylor expansion of x in x 8.585 * [backup-simplify]: Simplify 0 into 0 8.585 * [backup-simplify]: Simplify 1 into 1 8.585 * [backup-simplify]: Simplify (* -1 0) into 0 8.585 * [backup-simplify]: Simplify 0 into 0 8.586 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.586 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.586 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.586 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.586 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.587 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.587 * [backup-simplify]: Simplify (- 0) into 0 8.587 * [backup-simplify]: Simplify (+ 0 0) into 0 8.588 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 8.588 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 8.588 * [backup-simplify]: Simplify (+ 0 0) into 0 8.589 * [backup-simplify]: Simplify (- (/ 0 (+ x z)) (+ (* (/ (- (pow z 2) (pow x 2)) (+ x z)) (/ 0 (+ x z))))) into 0 8.589 * [taylor]: Taking taylor expansion of 0 in z 8.589 * [backup-simplify]: Simplify 0 into 0 8.589 * [taylor]: Taking taylor expansion of 0 in x 8.589 * [backup-simplify]: Simplify 0 into 0 8.589 * [backup-simplify]: Simplify 0 into 0 8.589 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.589 * [backup-simplify]: Simplify (- 0) into 0 8.590 * [backup-simplify]: Simplify (+ 0 0) into 0 8.590 * [backup-simplify]: Simplify (+ 0 1) into 1 8.590 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (* -1 x) (/ 1 x)))) into 1 8.590 * [taylor]: Taking taylor expansion of 1 in x 8.590 * [backup-simplify]: Simplify 1 into 1 8.591 * [backup-simplify]: Simplify 1 into 1 8.591 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 8.591 * [backup-simplify]: Simplify -1 into -1 8.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.593 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.593 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.595 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.596 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.596 * [backup-simplify]: Simplify (- 0) into 0 8.596 * [backup-simplify]: Simplify (+ 0 0) into 0 8.597 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.598 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.598 * [backup-simplify]: Simplify (+ 0 0) into 0 8.599 * [backup-simplify]: Simplify (- (/ 0 (+ x z)) (+ (* (/ (- (pow z 2) (pow x 2)) (+ x z)) (/ 0 (+ x z))) (* 0 (/ 0 (+ x z))))) into 0 8.599 * [taylor]: Taking taylor expansion of 0 in z 8.599 * [backup-simplify]: Simplify 0 into 0 8.599 * [taylor]: Taking taylor expansion of 0 in x 8.599 * [backup-simplify]: Simplify 0 into 0 8.599 * [backup-simplify]: Simplify 0 into 0 8.599 * [taylor]: Taking taylor expansion of 0 in x 8.599 * [backup-simplify]: Simplify 0 into 0 8.599 * [backup-simplify]: Simplify 0 into 0 8.600 * [backup-simplify]: Simplify (* 1 1) into 1 8.600 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.600 * [backup-simplify]: Simplify (- 0) into 0 8.601 * [backup-simplify]: Simplify (+ 1 0) into 1 8.601 * [backup-simplify]: Simplify (+ 0 0) into 0 8.601 * [backup-simplify]: Simplify (- (/ 1 x) (+ (* (* -1 x) (/ 0 x)) (* 1 (/ 1 x)))) into 0 8.601 * [taylor]: Taking taylor expansion of 0 in x 8.601 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify 0 into 0 8.603 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 8.603 * [backup-simplify]: Simplify 0 into 0 8.603 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 y))) (* 1 (* 1 (* z y)))) into (- (* z y) (* x y)) 8.604 * [backup-simplify]: Simplify (/ (- (* (* (/ 1 y) (/ 1 z)) (* (/ 1 y) (/ 1 z))) (* (* (/ 1 y) (- (/ 1 x))) (* (/ 1 y) (- (/ 1 x))))) (- (* (/ 1 y) (/ 1 z)) (* (/ 1 y) (- (/ 1 x))))) into (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) 8.604 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in (y z x) around 0 8.604 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in x 8.604 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x 8.604 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 8.604 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 8.604 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.604 * [taylor]: Taking taylor expansion of z in x 8.604 * [backup-simplify]: Simplify z into z 8.604 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.604 * [taylor]: Taking taylor expansion of y in x 8.604 * [backup-simplify]: Simplify y into y 8.604 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.604 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.604 * [backup-simplify]: Simplify (* (pow z 2) (pow y 2)) into (* (pow z 2) (pow y 2)) 8.605 * [backup-simplify]: Simplify (/ 1 (* (pow z 2) (pow y 2))) into (/ 1 (* (pow z 2) (pow y 2))) 8.605 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 8.605 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.605 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.605 * [taylor]: Taking taylor expansion of x in x 8.605 * [backup-simplify]: Simplify 0 into 0 8.605 * [backup-simplify]: Simplify 1 into 1 8.605 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.605 * [taylor]: Taking taylor expansion of y in x 8.605 * [backup-simplify]: Simplify y into y 8.605 * [backup-simplify]: Simplify (* 1 1) into 1 8.605 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.606 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.606 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.606 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in x 8.606 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.606 * [taylor]: Taking taylor expansion of (* x y) in x 8.606 * [taylor]: Taking taylor expansion of x in x 8.606 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify 1 into 1 8.606 * [taylor]: Taking taylor expansion of y in x 8.606 * [backup-simplify]: Simplify y into y 8.606 * [backup-simplify]: Simplify (* 0 y) into 0 8.606 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.607 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.607 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.607 * [taylor]: Taking taylor expansion of (* z y) in x 8.607 * [taylor]: Taking taylor expansion of z in x 8.607 * [backup-simplify]: Simplify z into z 8.607 * [taylor]: Taking taylor expansion of y in x 8.607 * [backup-simplify]: Simplify y into y 8.607 * [backup-simplify]: Simplify (* z y) into (* z y) 8.607 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 8.607 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 8.607 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2))) 8.607 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.608 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2))) (/ 1 y)) into (/ -1 y) 8.608 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in z 8.608 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in z 8.608 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 8.608 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.608 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.608 * [taylor]: Taking taylor expansion of z in z 8.608 * [backup-simplify]: Simplify 0 into 0 8.608 * [backup-simplify]: Simplify 1 into 1 8.608 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.608 * [taylor]: Taking taylor expansion of y in z 8.608 * [backup-simplify]: Simplify y into y 8.608 * [backup-simplify]: Simplify (* 1 1) into 1 8.608 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.608 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.609 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.609 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in z 8.609 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z 8.609 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.609 * [taylor]: Taking taylor expansion of x in z 8.609 * [backup-simplify]: Simplify x into x 8.609 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.609 * [taylor]: Taking taylor expansion of y in z 8.609 * [backup-simplify]: Simplify y into y 8.609 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.609 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.609 * [backup-simplify]: Simplify (* (pow x 2) (pow y 2)) into (* (pow x 2) (pow y 2)) 8.609 * [backup-simplify]: Simplify (/ 1 (* (pow x 2) (pow y 2))) into (/ 1 (* (pow x 2) (pow y 2))) 8.609 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in z 8.609 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 8.609 * [taylor]: Taking taylor expansion of (* x y) in z 8.609 * [taylor]: Taking taylor expansion of x in z 8.610 * [backup-simplify]: Simplify x into x 8.610 * [taylor]: Taking taylor expansion of y in z 8.610 * [backup-simplify]: Simplify y into y 8.610 * [backup-simplify]: Simplify (* x y) into (* x y) 8.610 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 8.610 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 8.610 * [taylor]: Taking taylor expansion of (* z y) in z 8.610 * [taylor]: Taking taylor expansion of z in z 8.610 * [backup-simplify]: Simplify 0 into 0 8.610 * [backup-simplify]: Simplify 1 into 1 8.610 * [taylor]: Taking taylor expansion of y in z 8.610 * [backup-simplify]: Simplify y into y 8.610 * [backup-simplify]: Simplify (* 0 y) into 0 8.610 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.610 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.611 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 8.611 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 8.611 * [backup-simplify]: Simplify (/ (/ 1 (pow y 2)) (/ 1 y)) into (/ 1 y) 8.611 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in y 8.611 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y 8.611 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.611 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.611 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.611 * [taylor]: Taking taylor expansion of z in y 8.611 * [backup-simplify]: Simplify z into z 8.611 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.611 * [taylor]: Taking taylor expansion of y in y 8.611 * [backup-simplify]: Simplify 0 into 0 8.611 * [backup-simplify]: Simplify 1 into 1 8.611 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.612 * [backup-simplify]: Simplify (* 1 1) into 1 8.612 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.612 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.612 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.612 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.612 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.612 * [taylor]: Taking taylor expansion of x in y 8.612 * [backup-simplify]: Simplify x into x 8.612 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.612 * [taylor]: Taking taylor expansion of y in y 8.612 * [backup-simplify]: Simplify 0 into 0 8.612 * [backup-simplify]: Simplify 1 into 1 8.612 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.613 * [backup-simplify]: Simplify (* 1 1) into 1 8.613 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.613 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.613 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y 8.613 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.613 * [taylor]: Taking taylor expansion of (* x y) in y 8.613 * [taylor]: Taking taylor expansion of x in y 8.613 * [backup-simplify]: Simplify x into x 8.613 * [taylor]: Taking taylor expansion of y in y 8.613 * [backup-simplify]: Simplify 0 into 0 8.613 * [backup-simplify]: Simplify 1 into 1 8.613 * [backup-simplify]: Simplify (* x 0) into 0 8.614 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.614 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.614 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.614 * [taylor]: Taking taylor expansion of (* z y) in y 8.614 * [taylor]: Taking taylor expansion of z in y 8.614 * [backup-simplify]: Simplify z into z 8.614 * [taylor]: Taking taylor expansion of y in y 8.614 * [backup-simplify]: Simplify 0 into 0 8.614 * [backup-simplify]: Simplify 1 into 1 8.614 * [backup-simplify]: Simplify (* z 0) into 0 8.614 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 8.614 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.615 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.615 * [backup-simplify]: Simplify (+ (/ 1 (pow z 2)) (- (/ 1 (pow x 2)))) into (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) 8.615 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 8.615 * [backup-simplify]: Simplify (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) into (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) 8.615 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in y 8.616 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y 8.616 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.616 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.616 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.616 * [taylor]: Taking taylor expansion of z in y 8.616 * [backup-simplify]: Simplify z into z 8.616 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.616 * [taylor]: Taking taylor expansion of y in y 8.616 * [backup-simplify]: Simplify 0 into 0 8.616 * [backup-simplify]: Simplify 1 into 1 8.616 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.616 * [backup-simplify]: Simplify (* 1 1) into 1 8.616 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.617 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.617 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.617 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.617 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.617 * [taylor]: Taking taylor expansion of x in y 8.617 * [backup-simplify]: Simplify x into x 8.617 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.617 * [taylor]: Taking taylor expansion of y in y 8.617 * [backup-simplify]: Simplify 0 into 0 8.617 * [backup-simplify]: Simplify 1 into 1 8.617 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.617 * [backup-simplify]: Simplify (* 1 1) into 1 8.617 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.618 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.618 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y 8.618 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.618 * [taylor]: Taking taylor expansion of (* x y) in y 8.618 * [taylor]: Taking taylor expansion of x in y 8.618 * [backup-simplify]: Simplify x into x 8.618 * [taylor]: Taking taylor expansion of y in y 8.618 * [backup-simplify]: Simplify 0 into 0 8.618 * [backup-simplify]: Simplify 1 into 1 8.618 * [backup-simplify]: Simplify (* x 0) into 0 8.618 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.618 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.618 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.618 * [taylor]: Taking taylor expansion of (* z y) in y 8.618 * [taylor]: Taking taylor expansion of z in y 8.619 * [backup-simplify]: Simplify z into z 8.619 * [taylor]: Taking taylor expansion of y in y 8.619 * [backup-simplify]: Simplify 0 into 0 8.619 * [backup-simplify]: Simplify 1 into 1 8.619 * [backup-simplify]: Simplify (* z 0) into 0 8.619 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 8.619 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.620 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.620 * [backup-simplify]: Simplify (+ (/ 1 (pow z 2)) (- (/ 1 (pow x 2)))) into (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) 8.620 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 8.620 * [backup-simplify]: Simplify (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) into (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) 8.621 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) in z 8.621 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) in z 8.621 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.621 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.621 * [taylor]: Taking taylor expansion of z in z 8.621 * [backup-simplify]: Simplify 0 into 0 8.621 * [backup-simplify]: Simplify 1 into 1 8.621 * [backup-simplify]: Simplify (* 1 1) into 1 8.622 * [backup-simplify]: Simplify (/ 1 1) into 1 8.622 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 8.622 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.622 * [taylor]: Taking taylor expansion of x in z 8.622 * [backup-simplify]: Simplify x into x 8.622 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.622 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.622 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z 8.622 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.622 * [taylor]: Taking taylor expansion of x in z 8.622 * [backup-simplify]: Simplify x into x 8.622 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.622 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.622 * [taylor]: Taking taylor expansion of z in z 8.622 * [backup-simplify]: Simplify 0 into 0 8.622 * [backup-simplify]: Simplify 1 into 1 8.623 * [backup-simplify]: Simplify (/ 1 1) into 1 8.623 * [backup-simplify]: Simplify (+ 1 0) into 1 8.623 * [backup-simplify]: Simplify (+ 0 1) into 1 8.624 * [backup-simplify]: Simplify (/ 1 1) into 1 8.624 * [taylor]: Taking taylor expansion of 1 in x 8.624 * [backup-simplify]: Simplify 1 into 1 8.625 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.625 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.625 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.626 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.627 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.627 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.628 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.628 * [backup-simplify]: Simplify (- 0) into 0 8.628 * [backup-simplify]: Simplify (+ 0 0) into 0 8.629 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 8.629 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.630 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 8.630 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.630 * [backup-simplify]: Simplify (+ 0 0) into 0 8.631 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 x) (/ 1 z))) (+ (* (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) (/ 0 (+ (/ 1 x) (/ 1 z)))))) into 0 8.631 * [taylor]: Taking taylor expansion of 0 in z 8.631 * [backup-simplify]: Simplify 0 into 0 8.632 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.633 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.633 * [backup-simplify]: Simplify (+ 0 0) into 0 8.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.634 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 8.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ (/ 1 x) 1)))) into (- (/ 1 x)) 8.634 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.634 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.634 * [taylor]: Taking taylor expansion of x in x 8.634 * [backup-simplify]: Simplify 0 into 0 8.634 * [backup-simplify]: Simplify 1 into 1 8.635 * [backup-simplify]: Simplify (/ 1 1) into 1 8.635 * [backup-simplify]: Simplify (- 1) into -1 8.635 * [backup-simplify]: Simplify -1 into -1 8.635 * [backup-simplify]: Simplify 1 into 1 8.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.637 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.637 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.638 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.639 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.640 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.640 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.641 * [backup-simplify]: Simplify (- 0) into 0 8.641 * [backup-simplify]: Simplify (+ 0 0) into 0 8.642 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.642 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 8.643 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.643 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.644 * [backup-simplify]: Simplify (+ 0 0) into 0 8.645 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 x) (/ 1 z))) (+ (* (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) (/ 0 (+ (/ 1 x) (/ 1 z)))) (* 0 (/ 0 (+ (/ 1 x) (/ 1 z)))))) into 0 8.645 * [taylor]: Taking taylor expansion of 0 in z 8.645 * [backup-simplify]: Simplify 0 into 0 8.645 * [taylor]: Taking taylor expansion of 0 in x 8.645 * [backup-simplify]: Simplify 0 into 0 8.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.647 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.647 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x 2)))) into (- (/ 1 (pow x 2))) 8.647 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.648 * [backup-simplify]: Simplify (+ 0 0) into 0 8.649 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow x 2))) 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 x)) (/ (/ 1 x) 1)))) into 0 8.649 * [taylor]: Taking taylor expansion of 0 in x 8.649 * [backup-simplify]: Simplify 0 into 0 8.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.651 * [backup-simplify]: Simplify (- 0) into 0 8.651 * [backup-simplify]: Simplify 0 into 0 8.651 * [backup-simplify]: Simplify 0 into 0 8.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.653 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.653 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.654 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.656 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.657 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.657 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.658 * [backup-simplify]: Simplify (- 0) into 0 8.658 * [backup-simplify]: Simplify (+ 0 0) into 0 8.659 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 8.659 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 8.660 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 8.660 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.661 * [backup-simplify]: Simplify (+ 0 0) into 0 8.662 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 x) (/ 1 z))) (+ (* (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) (/ 0 (+ (/ 1 x) (/ 1 z)))) (* 0 (/ 0 (+ (/ 1 x) (/ 1 z)))) (* 0 (/ 0 (+ (/ 1 x) (/ 1 z)))))) into 0 8.662 * [taylor]: Taking taylor expansion of 0 in z 8.662 * [backup-simplify]: Simplify 0 into 0 8.662 * [taylor]: Taking taylor expansion of 0 in x 8.662 * [backup-simplify]: Simplify 0 into 0 8.662 * [taylor]: Taking taylor expansion of 0 in x 8.662 * [backup-simplify]: Simplify 0 into 0 8.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.664 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.664 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.665 * [backup-simplify]: Simplify (- 0) into 0 8.665 * [backup-simplify]: Simplify (+ 0 0) into 0 8.665 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 8.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.667 * [backup-simplify]: Simplify (+ 0 0) into 0 8.668 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 x)) (/ 0 1)) (* 0 (/ (/ 1 x) 1)))) into 0 8.668 * [taylor]: Taking taylor expansion of 0 in x 8.668 * [backup-simplify]: Simplify 0 into 0 8.668 * [backup-simplify]: Simplify 0 into 0 8.668 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.670 * [backup-simplify]: Simplify (- 0) into 0 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify 0 into 0 8.670 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))))) into (- (* z y) (* x y)) 8.671 * [backup-simplify]: Simplify (/ (- (* (* (/ 1 (- y)) (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (- z)))) (* (* (/ 1 (- y)) (- (/ 1 (- x)))) (* (/ 1 (- y)) (- (/ 1 (- x)))))) (- (* (/ 1 (- y)) (/ 1 (- z))) (* (/ 1 (- y)) (- (/ 1 (- x)))))) into (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) 8.671 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in (y z x) around 0 8.671 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in x 8.671 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x 8.671 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 8.671 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 8.671 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.671 * [taylor]: Taking taylor expansion of z in x 8.671 * [backup-simplify]: Simplify z into z 8.671 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.671 * [taylor]: Taking taylor expansion of y in x 8.671 * [backup-simplify]: Simplify y into y 8.672 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.672 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.672 * [backup-simplify]: Simplify (* (pow z 2) (pow y 2)) into (* (pow z 2) (pow y 2)) 8.672 * [backup-simplify]: Simplify (/ 1 (* (pow z 2) (pow y 2))) into (/ 1 (* (pow z 2) (pow y 2))) 8.672 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 8.672 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.672 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.672 * [taylor]: Taking taylor expansion of x in x 8.672 * [backup-simplify]: Simplify 0 into 0 8.672 * [backup-simplify]: Simplify 1 into 1 8.672 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.672 * [taylor]: Taking taylor expansion of y in x 8.672 * [backup-simplify]: Simplify y into y 8.673 * [backup-simplify]: Simplify (* 1 1) into 1 8.673 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.673 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.673 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.673 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in x 8.673 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 8.673 * [taylor]: Taking taylor expansion of (* x y) in x 8.673 * [taylor]: Taking taylor expansion of x in x 8.673 * [backup-simplify]: Simplify 0 into 0 8.673 * [backup-simplify]: Simplify 1 into 1 8.673 * [taylor]: Taking taylor expansion of y in x 8.673 * [backup-simplify]: Simplify y into y 8.673 * [backup-simplify]: Simplify (* 0 y) into 0 8.674 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.674 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.674 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x 8.674 * [taylor]: Taking taylor expansion of (* z y) in x 8.674 * [taylor]: Taking taylor expansion of z in x 8.674 * [backup-simplify]: Simplify z into z 8.674 * [taylor]: Taking taylor expansion of y in x 8.674 * [backup-simplify]: Simplify y into y 8.674 * [backup-simplify]: Simplify (* z y) into (* z y) 8.674 * [backup-simplify]: Simplify (/ 1 (* z y)) into (/ 1 (* z y)) 8.674 * [backup-simplify]: Simplify (- (/ 1 (pow y 2))) into (- (/ 1 (pow y 2))) 8.675 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow y 2)))) into (- (/ 1 (pow y 2))) 8.675 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 8.675 * [backup-simplify]: Simplify (/ (- (/ 1 (pow y 2))) (/ 1 y)) into (/ -1 y) 8.675 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in z 8.675 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in z 8.675 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 8.675 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.675 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.675 * [taylor]: Taking taylor expansion of z in z 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify 1 into 1 8.675 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.675 * [taylor]: Taking taylor expansion of y in z 8.675 * [backup-simplify]: Simplify y into y 8.676 * [backup-simplify]: Simplify (* 1 1) into 1 8.676 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.676 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.676 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.676 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in z 8.676 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z 8.676 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.676 * [taylor]: Taking taylor expansion of x in z 8.676 * [backup-simplify]: Simplify x into x 8.676 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.676 * [taylor]: Taking taylor expansion of y in z 8.676 * [backup-simplify]: Simplify y into y 8.676 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.676 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.677 * [backup-simplify]: Simplify (* (pow x 2) (pow y 2)) into (* (pow x 2) (pow y 2)) 8.677 * [backup-simplify]: Simplify (/ 1 (* (pow x 2) (pow y 2))) into (/ 1 (* (pow x 2) (pow y 2))) 8.677 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in z 8.677 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z 8.677 * [taylor]: Taking taylor expansion of (* x y) in z 8.677 * [taylor]: Taking taylor expansion of x in z 8.677 * [backup-simplify]: Simplify x into x 8.677 * [taylor]: Taking taylor expansion of y in z 8.677 * [backup-simplify]: Simplify y into y 8.677 * [backup-simplify]: Simplify (* x y) into (* x y) 8.677 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 8.677 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z 8.677 * [taylor]: Taking taylor expansion of (* z y) in z 8.677 * [taylor]: Taking taylor expansion of z in z 8.677 * [backup-simplify]: Simplify 0 into 0 8.677 * [backup-simplify]: Simplify 1 into 1 8.677 * [taylor]: Taking taylor expansion of y in z 8.677 * [backup-simplify]: Simplify y into y 8.677 * [backup-simplify]: Simplify (* 0 y) into 0 8.678 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 8.678 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.678 * [backup-simplify]: Simplify (+ (/ 1 (pow y 2)) 0) into (/ 1 (pow y 2)) 8.678 * [backup-simplify]: Simplify (+ 0 (/ 1 y)) into (/ 1 y) 8.678 * [backup-simplify]: Simplify (/ (/ 1 (pow y 2)) (/ 1 y)) into (/ 1 y) 8.678 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in y 8.678 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y 8.678 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.679 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.679 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.679 * [taylor]: Taking taylor expansion of z in y 8.679 * [backup-simplify]: Simplify z into z 8.679 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.679 * [taylor]: Taking taylor expansion of y in y 8.679 * [backup-simplify]: Simplify 0 into 0 8.679 * [backup-simplify]: Simplify 1 into 1 8.679 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.679 * [backup-simplify]: Simplify (* 1 1) into 1 8.679 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.679 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.679 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.680 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.680 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.680 * [taylor]: Taking taylor expansion of x in y 8.680 * [backup-simplify]: Simplify x into x 8.680 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.680 * [taylor]: Taking taylor expansion of y in y 8.680 * [backup-simplify]: Simplify 0 into 0 8.680 * [backup-simplify]: Simplify 1 into 1 8.680 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.680 * [backup-simplify]: Simplify (* 1 1) into 1 8.680 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.680 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.680 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y 8.680 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.681 * [taylor]: Taking taylor expansion of (* x y) in y 8.681 * [taylor]: Taking taylor expansion of x in y 8.681 * [backup-simplify]: Simplify x into x 8.681 * [taylor]: Taking taylor expansion of y in y 8.681 * [backup-simplify]: Simplify 0 into 0 8.681 * [backup-simplify]: Simplify 1 into 1 8.681 * [backup-simplify]: Simplify (* x 0) into 0 8.681 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.681 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.681 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.681 * [taylor]: Taking taylor expansion of (* z y) in y 8.681 * [taylor]: Taking taylor expansion of z in y 8.681 * [backup-simplify]: Simplify z into z 8.681 * [taylor]: Taking taylor expansion of y in y 8.681 * [backup-simplify]: Simplify 0 into 0 8.681 * [backup-simplify]: Simplify 1 into 1 8.681 * [backup-simplify]: Simplify (* z 0) into 0 8.682 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 8.682 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.682 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.682 * [backup-simplify]: Simplify (+ (/ 1 (pow z 2)) (- (/ 1 (pow x 2)))) into (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) 8.683 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 8.683 * [backup-simplify]: Simplify (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) into (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) 8.683 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) (+ (/ 1 (* x y)) (/ 1 (* z y)))) in y 8.683 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y 8.683 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.683 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.683 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.683 * [taylor]: Taking taylor expansion of z in y 8.683 * [backup-simplify]: Simplify z into z 8.683 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.683 * [taylor]: Taking taylor expansion of y in y 8.683 * [backup-simplify]: Simplify 0 into 0 8.683 * [backup-simplify]: Simplify 1 into 1 8.683 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.684 * [backup-simplify]: Simplify (* 1 1) into 1 8.684 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.684 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.684 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.684 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.684 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.684 * [taylor]: Taking taylor expansion of x in y 8.684 * [backup-simplify]: Simplify x into x 8.684 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.684 * [taylor]: Taking taylor expansion of y in y 8.684 * [backup-simplify]: Simplify 0 into 0 8.684 * [backup-simplify]: Simplify 1 into 1 8.684 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.685 * [backup-simplify]: Simplify (* 1 1) into 1 8.685 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.685 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.685 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 (* z y))) in y 8.685 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 8.685 * [taylor]: Taking taylor expansion of (* x y) in y 8.685 * [taylor]: Taking taylor expansion of x in y 8.685 * [backup-simplify]: Simplify x into x 8.685 * [taylor]: Taking taylor expansion of y in y 8.685 * [backup-simplify]: Simplify 0 into 0 8.685 * [backup-simplify]: Simplify 1 into 1 8.685 * [backup-simplify]: Simplify (* x 0) into 0 8.686 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 8.686 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.686 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y 8.686 * [taylor]: Taking taylor expansion of (* z y) in y 8.686 * [taylor]: Taking taylor expansion of z in y 8.686 * [backup-simplify]: Simplify z into z 8.686 * [taylor]: Taking taylor expansion of y in y 8.686 * [backup-simplify]: Simplify 0 into 0 8.686 * [backup-simplify]: Simplify 1 into 1 8.686 * [backup-simplify]: Simplify (* z 0) into 0 8.687 * [backup-simplify]: Simplify (+ (* z 1) (* 0 0)) into z 8.687 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 8.687 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.687 * [backup-simplify]: Simplify (+ (/ 1 (pow z 2)) (- (/ 1 (pow x 2)))) into (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) 8.687 * [backup-simplify]: Simplify (+ (/ 1 x) (/ 1 z)) into (+ (/ 1 x) (/ 1 z)) 8.688 * [backup-simplify]: Simplify (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) into (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) 8.688 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) in z 8.688 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) in z 8.688 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.688 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.688 * [taylor]: Taking taylor expansion of z in z 8.688 * [backup-simplify]: Simplify 0 into 0 8.688 * [backup-simplify]: Simplify 1 into 1 8.688 * [backup-simplify]: Simplify (* 1 1) into 1 8.689 * [backup-simplify]: Simplify (/ 1 1) into 1 8.689 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 8.689 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.689 * [taylor]: Taking taylor expansion of x in z 8.689 * [backup-simplify]: Simplify x into x 8.689 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.689 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.689 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z 8.689 * [taylor]: Taking taylor expansion of (/ 1 x) in z 8.689 * [taylor]: Taking taylor expansion of x in z 8.689 * [backup-simplify]: Simplify x into x 8.689 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.689 * [taylor]: Taking taylor expansion of (/ 1 z) in z 8.689 * [taylor]: Taking taylor expansion of z in z 8.689 * [backup-simplify]: Simplify 0 into 0 8.689 * [backup-simplify]: Simplify 1 into 1 8.690 * [backup-simplify]: Simplify (/ 1 1) into 1 8.690 * [backup-simplify]: Simplify (+ 1 0) into 1 8.691 * [backup-simplify]: Simplify (+ 0 1) into 1 8.691 * [backup-simplify]: Simplify (/ 1 1) into 1 8.691 * [taylor]: Taking taylor expansion of 1 in x 8.691 * [backup-simplify]: Simplify 1 into 1 8.692 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.692 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.692 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.693 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.693 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.693 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.694 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.694 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.695 * [backup-simplify]: Simplify (- 0) into 0 8.695 * [backup-simplify]: Simplify (+ 0 0) into 0 8.696 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 8.696 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.697 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 1) (* 0 0))) into 0 8.697 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 8.697 * [backup-simplify]: Simplify (+ 0 0) into 0 8.698 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 x) (/ 1 z))) (+ (* (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) (/ 0 (+ (/ 1 x) (/ 1 z)))))) into 0 8.698 * [taylor]: Taking taylor expansion of 0 in z 8.698 * [backup-simplify]: Simplify 0 into 0 8.698 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.699 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.700 * [backup-simplify]: Simplify (+ 0 0) into 0 8.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.700 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 8.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ (/ 1 x) 1)))) into (- (/ 1 x)) 8.701 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 8.701 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.701 * [taylor]: Taking taylor expansion of x in x 8.701 * [backup-simplify]: Simplify 0 into 0 8.701 * [backup-simplify]: Simplify 1 into 1 8.701 * [backup-simplify]: Simplify (/ 1 1) into 1 8.702 * [backup-simplify]: Simplify (- 1) into -1 8.702 * [backup-simplify]: Simplify -1 into -1 8.702 * [backup-simplify]: Simplify 1 into 1 8.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.703 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.704 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.704 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.705 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.706 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.706 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.706 * [backup-simplify]: Simplify (- 0) into 0 8.706 * [backup-simplify]: Simplify (+ 0 0) into 0 8.707 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.707 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 8.707 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.708 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.708 * [backup-simplify]: Simplify (+ 0 0) into 0 8.708 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 x) (/ 1 z))) (+ (* (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) (/ 0 (+ (/ 1 x) (/ 1 z)))) (* 0 (/ 0 (+ (/ 1 x) (/ 1 z)))))) into 0 8.708 * [taylor]: Taking taylor expansion of 0 in z 8.708 * [backup-simplify]: Simplify 0 into 0 8.708 * [taylor]: Taking taylor expansion of 0 in x 8.708 * [backup-simplify]: Simplify 0 into 0 8.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.710 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.710 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x 2)))) into (- (/ 1 (pow x 2))) 8.710 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.713 * [backup-simplify]: Simplify (+ 0 0) into 0 8.713 * [backup-simplify]: Simplify (- (/ (- (/ 1 (pow x 2))) 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 x)) (/ (/ 1 x) 1)))) into 0 8.713 * [taylor]: Taking taylor expansion of 0 in x 8.713 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.714 * [backup-simplify]: Simplify (- 0) into 0 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.715 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.716 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.716 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.717 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.718 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.718 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.718 * [backup-simplify]: Simplify (- 0) into 0 8.718 * [backup-simplify]: Simplify (+ 0 0) into 0 8.719 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 8.719 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 8.720 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 8.720 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 8.720 * [backup-simplify]: Simplify (+ 0 0) into 0 8.721 * [backup-simplify]: Simplify (- (/ 0 (+ (/ 1 x) (/ 1 z))) (+ (* (/ (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) (+ (/ 1 x) (/ 1 z))) (/ 0 (+ (/ 1 x) (/ 1 z)))) (* 0 (/ 0 (+ (/ 1 x) (/ 1 z)))) (* 0 (/ 0 (+ (/ 1 x) (/ 1 z)))))) into 0 8.721 * [taylor]: Taking taylor expansion of 0 in z 8.721 * [backup-simplify]: Simplify 0 into 0 8.721 * [taylor]: Taking taylor expansion of 0 in x 8.721 * [backup-simplify]: Simplify 0 into 0 8.721 * [taylor]: Taking taylor expansion of 0 in x 8.721 * [backup-simplify]: Simplify 0 into 0 8.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.722 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.722 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.722 * [backup-simplify]: Simplify (- 0) into 0 8.723 * [backup-simplify]: Simplify (+ 0 0) into 0 8.723 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 8.723 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.723 * [backup-simplify]: Simplify (+ 0 0) into 0 8.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* (- (/ 1 x)) (/ 0 1)) (* 0 (/ (/ 1 x) 1)))) into 0 8.724 * [taylor]: Taking taylor expansion of 0 in x 8.724 * [backup-simplify]: Simplify 0 into 0 8.724 * [backup-simplify]: Simplify 0 into 0 8.724 * [backup-simplify]: Simplify 0 into 0 8.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.725 * [backup-simplify]: Simplify (- 0) into 0 8.725 * [backup-simplify]: Simplify 0 into 0 8.725 * [backup-simplify]: Simplify 0 into 0 8.725 * [backup-simplify]: Simplify (+ (* 1 (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* z y) (* x y)) 8.726 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 8.726 * [backup-simplify]: Simplify (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) into (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) 8.726 * [approximate]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in (y z x) around 0 8.726 * [taylor]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in x 8.726 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 8.726 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.726 * [taylor]: Taking taylor expansion of z in x 8.726 * [backup-simplify]: Simplify z into z 8.726 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.726 * [taylor]: Taking taylor expansion of y in x 8.726 * [backup-simplify]: Simplify y into y 8.726 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.726 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.726 * [taylor]: Taking taylor expansion of x in x 8.726 * [backup-simplify]: Simplify 0 into 0 8.726 * [backup-simplify]: Simplify 1 into 1 8.726 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.726 * [taylor]: Taking taylor expansion of y in x 8.726 * [backup-simplify]: Simplify y into y 8.726 * [taylor]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in z 8.726 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.726 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.726 * [taylor]: Taking taylor expansion of z in z 8.726 * [backup-simplify]: Simplify 0 into 0 8.726 * [backup-simplify]: Simplify 1 into 1 8.726 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.726 * [taylor]: Taking taylor expansion of y in z 8.726 * [backup-simplify]: Simplify y into y 8.726 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z 8.726 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.726 * [taylor]: Taking taylor expansion of x in z 8.726 * [backup-simplify]: Simplify x into x 8.726 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.726 * [taylor]: Taking taylor expansion of y in z 8.726 * [backup-simplify]: Simplify y into y 8.726 * [taylor]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in y 8.726 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.726 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.726 * [taylor]: Taking taylor expansion of z in y 8.726 * [backup-simplify]: Simplify z into z 8.726 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.726 * [taylor]: Taking taylor expansion of y in y 8.726 * [backup-simplify]: Simplify 0 into 0 8.726 * [backup-simplify]: Simplify 1 into 1 8.726 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.726 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.727 * [taylor]: Taking taylor expansion of x in y 8.727 * [backup-simplify]: Simplify x into x 8.727 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.727 * [taylor]: Taking taylor expansion of y in y 8.727 * [backup-simplify]: Simplify 0 into 0 8.727 * [backup-simplify]: Simplify 1 into 1 8.727 * [taylor]: Taking taylor expansion of (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) in y 8.727 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.727 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.727 * [taylor]: Taking taylor expansion of z in y 8.727 * [backup-simplify]: Simplify z into z 8.727 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.727 * [taylor]: Taking taylor expansion of y in y 8.727 * [backup-simplify]: Simplify 0 into 0 8.727 * [backup-simplify]: Simplify 1 into 1 8.727 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.727 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.727 * [taylor]: Taking taylor expansion of x in y 8.727 * [backup-simplify]: Simplify x into x 8.727 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.727 * [taylor]: Taking taylor expansion of y in y 8.727 * [backup-simplify]: Simplify 0 into 0 8.727 * [backup-simplify]: Simplify 1 into 1 8.727 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.727 * [backup-simplify]: Simplify (* 1 1) into 1 8.727 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.727 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.728 * [backup-simplify]: Simplify (* 1 1) into 1 8.728 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.728 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2)) 8.728 * [backup-simplify]: Simplify (+ (pow z 2) (- (pow x 2))) into (- (pow z 2) (pow x 2)) 8.728 * [taylor]: Taking taylor expansion of (- (pow z 2) (pow x 2)) in z 8.728 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.728 * [taylor]: Taking taylor expansion of z in z 8.728 * [backup-simplify]: Simplify 0 into 0 8.728 * [backup-simplify]: Simplify 1 into 1 8.728 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.728 * [taylor]: Taking taylor expansion of x in z 8.728 * [backup-simplify]: Simplify x into x 8.728 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.728 * [backup-simplify]: Simplify (- (pow x 2)) into (- (pow x 2)) 8.728 * [backup-simplify]: Simplify (+ 0 (- (pow x 2))) into (- (pow x 2)) 8.728 * [taylor]: Taking taylor expansion of (- (pow x 2)) in x 8.728 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.728 * [taylor]: Taking taylor expansion of x in x 8.728 * [backup-simplify]: Simplify 0 into 0 8.728 * [backup-simplify]: Simplify 1 into 1 8.729 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.729 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.729 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.730 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.730 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.730 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.730 * [backup-simplify]: Simplify (- 0) into 0 8.730 * [backup-simplify]: Simplify (+ 0 0) into 0 8.730 * [taylor]: Taking taylor expansion of 0 in z 8.731 * [backup-simplify]: Simplify 0 into 0 8.731 * [taylor]: Taking taylor expansion of 0 in x 8.731 * [backup-simplify]: Simplify 0 into 0 8.731 * [backup-simplify]: Simplify 0 into 0 8.731 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.731 * [backup-simplify]: Simplify (- 0) into 0 8.731 * [backup-simplify]: Simplify (+ 0 0) into 0 8.731 * [taylor]: Taking taylor expansion of 0 in x 8.731 * [backup-simplify]: Simplify 0 into 0 8.731 * [backup-simplify]: Simplify 0 into 0 8.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.732 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.733 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.734 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.735 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.735 * [backup-simplify]: Simplify (- 0) into 0 8.736 * [backup-simplify]: Simplify (+ 0 0) into 0 8.736 * [taylor]: Taking taylor expansion of 0 in z 8.736 * [backup-simplify]: Simplify 0 into 0 8.736 * [taylor]: Taking taylor expansion of 0 in x 8.736 * [backup-simplify]: Simplify 0 into 0 8.736 * [backup-simplify]: Simplify 0 into 0 8.737 * [taylor]: Taking taylor expansion of 0 in x 8.737 * [backup-simplify]: Simplify 0 into 0 8.737 * [backup-simplify]: Simplify 0 into 0 8.737 * [backup-simplify]: Simplify (* 1 1) into 1 8.737 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.738 * [backup-simplify]: Simplify (- 0) into 0 8.738 * [backup-simplify]: Simplify (+ 1 0) into 1 8.738 * [taylor]: Taking taylor expansion of 1 in x 8.738 * [backup-simplify]: Simplify 1 into 1 8.738 * [backup-simplify]: Simplify 1 into 1 8.738 * [backup-simplify]: Simplify 0 into 0 8.738 * [backup-simplify]: Simplify 0 into 0 8.739 * [backup-simplify]: Simplify (* 1 1) into 1 8.739 * [backup-simplify]: Simplify (- 1) into -1 8.739 * [backup-simplify]: Simplify -1 into -1 8.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.741 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.742 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.744 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.745 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.746 * [backup-simplify]: Simplify (- 0) into 0 8.746 * [backup-simplify]: Simplify (+ 0 0) into 0 8.746 * [taylor]: Taking taylor expansion of 0 in z 8.746 * [backup-simplify]: Simplify 0 into 0 8.746 * [taylor]: Taking taylor expansion of 0 in x 8.746 * [backup-simplify]: Simplify 0 into 0 8.746 * [backup-simplify]: Simplify 0 into 0 8.746 * [taylor]: Taking taylor expansion of 0 in x 8.746 * [backup-simplify]: Simplify 0 into 0 8.746 * [backup-simplify]: Simplify 0 into 0 8.746 * [taylor]: Taking taylor expansion of 0 in x 8.746 * [backup-simplify]: Simplify 0 into 0 8.746 * [backup-simplify]: Simplify 0 into 0 8.747 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.748 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.748 * [backup-simplify]: Simplify (- 0) into 0 8.749 * [backup-simplify]: Simplify (+ 0 0) into 0 8.749 * [taylor]: Taking taylor expansion of 0 in x 8.749 * [backup-simplify]: Simplify 0 into 0 8.749 * [backup-simplify]: Simplify 0 into 0 8.749 * [backup-simplify]: Simplify 0 into 0 8.749 * [backup-simplify]: Simplify 0 into 0 8.749 * [backup-simplify]: Simplify (+ (* -1 (pow (* x (* 1 y)) 2)) (* 1 (pow (* 1 (* z y)) 2))) into (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) 8.750 * [backup-simplify]: Simplify (- (* (* (/ 1 y) (/ 1 z)) (* (/ 1 y) (/ 1 z))) (* (* (/ 1 y) (- (/ 1 x))) (* (/ 1 y) (- (/ 1 x))))) into (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) 8.750 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in (y z x) around 0 8.750 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x 8.750 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 8.750 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 8.750 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.750 * [taylor]: Taking taylor expansion of z in x 8.750 * [backup-simplify]: Simplify z into z 8.750 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.750 * [taylor]: Taking taylor expansion of y in x 8.750 * [backup-simplify]: Simplify y into y 8.750 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.751 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.751 * [backup-simplify]: Simplify (* (pow z 2) (pow y 2)) into (* (pow z 2) (pow y 2)) 8.751 * [backup-simplify]: Simplify (/ 1 (* (pow z 2) (pow y 2))) into (/ 1 (* (pow z 2) (pow y 2))) 8.751 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 8.751 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.751 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.751 * [taylor]: Taking taylor expansion of x in x 8.751 * [backup-simplify]: Simplify 0 into 0 8.751 * [backup-simplify]: Simplify 1 into 1 8.751 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.751 * [taylor]: Taking taylor expansion of y in x 8.751 * [backup-simplify]: Simplify y into y 8.752 * [backup-simplify]: Simplify (* 1 1) into 1 8.752 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.752 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.752 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.752 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in z 8.752 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 8.752 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.752 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.752 * [taylor]: Taking taylor expansion of z in z 8.752 * [backup-simplify]: Simplify 0 into 0 8.752 * [backup-simplify]: Simplify 1 into 1 8.752 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.752 * [taylor]: Taking taylor expansion of y in z 8.752 * [backup-simplify]: Simplify y into y 8.753 * [backup-simplify]: Simplify (* 1 1) into 1 8.753 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.753 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.753 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.753 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in z 8.753 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z 8.753 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.753 * [taylor]: Taking taylor expansion of x in z 8.753 * [backup-simplify]: Simplify x into x 8.753 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.753 * [taylor]: Taking taylor expansion of y in z 8.753 * [backup-simplify]: Simplify y into y 8.753 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.753 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.754 * [backup-simplify]: Simplify (* (pow x 2) (pow y 2)) into (* (pow x 2) (pow y 2)) 8.754 * [backup-simplify]: Simplify (/ 1 (* (pow x 2) (pow y 2))) into (/ 1 (* (pow x 2) (pow y 2))) 8.754 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y 8.754 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.754 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.754 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.754 * [taylor]: Taking taylor expansion of z in y 8.754 * [backup-simplify]: Simplify z into z 8.754 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.754 * [taylor]: Taking taylor expansion of y in y 8.754 * [backup-simplify]: Simplify 0 into 0 8.754 * [backup-simplify]: Simplify 1 into 1 8.754 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.755 * [backup-simplify]: Simplify (* 1 1) into 1 8.755 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.755 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.755 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.755 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.755 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.755 * [taylor]: Taking taylor expansion of x in y 8.755 * [backup-simplify]: Simplify x into x 8.755 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.755 * [taylor]: Taking taylor expansion of y in y 8.755 * [backup-simplify]: Simplify 0 into 0 8.755 * [backup-simplify]: Simplify 1 into 1 8.755 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.755 * [backup-simplify]: Simplify (* 1 1) into 1 8.756 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.756 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.756 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y 8.756 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.756 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.756 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.756 * [taylor]: Taking taylor expansion of z in y 8.756 * [backup-simplify]: Simplify z into z 8.756 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.756 * [taylor]: Taking taylor expansion of y in y 8.756 * [backup-simplify]: Simplify 0 into 0 8.756 * [backup-simplify]: Simplify 1 into 1 8.756 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.756 * [backup-simplify]: Simplify (* 1 1) into 1 8.757 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.757 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.757 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.757 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.757 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.757 * [taylor]: Taking taylor expansion of x in y 8.757 * [backup-simplify]: Simplify x into x 8.757 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.757 * [taylor]: Taking taylor expansion of y in y 8.757 * [backup-simplify]: Simplify 0 into 0 8.757 * [backup-simplify]: Simplify 1 into 1 8.757 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.757 * [backup-simplify]: Simplify (* 1 1) into 1 8.757 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.758 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.758 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.758 * [backup-simplify]: Simplify (+ (/ 1 (pow z 2)) (- (/ 1 (pow x 2)))) into (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) 8.758 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) in z 8.758 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.758 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.758 * [taylor]: Taking taylor expansion of z in z 8.758 * [backup-simplify]: Simplify 0 into 0 8.758 * [backup-simplify]: Simplify 1 into 1 8.759 * [backup-simplify]: Simplify (* 1 1) into 1 8.759 * [backup-simplify]: Simplify (/ 1 1) into 1 8.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 8.759 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.759 * [taylor]: Taking taylor expansion of x in z 8.759 * [backup-simplify]: Simplify x into x 8.759 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.759 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.760 * [backup-simplify]: Simplify (+ 1 0) into 1 8.760 * [taylor]: Taking taylor expansion of 1 in x 8.760 * [backup-simplify]: Simplify 1 into 1 8.760 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.760 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.761 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.761 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.762 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.762 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.762 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.763 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.763 * [backup-simplify]: Simplify (- 0) into 0 8.763 * [backup-simplify]: Simplify (+ 0 0) into 0 8.763 * [taylor]: Taking taylor expansion of 0 in z 8.763 * [backup-simplify]: Simplify 0 into 0 8.764 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.765 * [backup-simplify]: Simplify (+ 0 0) into 0 8.765 * [taylor]: Taking taylor expansion of 0 in x 8.765 * [backup-simplify]: Simplify 0 into 0 8.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.766 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.767 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.767 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.768 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.769 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.769 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.770 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.770 * [backup-simplify]: Simplify (- 0) into 0 8.770 * [backup-simplify]: Simplify (+ 0 0) into 0 8.770 * [taylor]: Taking taylor expansion of 0 in z 8.770 * [backup-simplify]: Simplify 0 into 0 8.771 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.772 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.773 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x 2)))) into (- (/ 1 (pow x 2))) 8.773 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 8.773 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.773 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.773 * [taylor]: Taking taylor expansion of x in x 8.773 * [backup-simplify]: Simplify 0 into 0 8.773 * [backup-simplify]: Simplify 1 into 1 8.773 * [backup-simplify]: Simplify (* 1 1) into 1 8.773 * [backup-simplify]: Simplify (/ 1 1) into 1 8.774 * [backup-simplify]: Simplify (- 1) into -1 8.774 * [backup-simplify]: Simplify -1 into -1 8.774 * [backup-simplify]: Simplify 1 into 1 8.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.776 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.777 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.777 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.779 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.780 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.781 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.781 * [backup-simplify]: Simplify (- 0) into 0 8.781 * [backup-simplify]: Simplify (+ 0 0) into 0 8.781 * [taylor]: Taking taylor expansion of 0 in z 8.781 * [backup-simplify]: Simplify 0 into 0 8.781 * [taylor]: Taking taylor expansion of 0 in x 8.781 * [backup-simplify]: Simplify 0 into 0 8.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.784 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.784 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.784 * [backup-simplify]: Simplify (- 0) into 0 8.785 * [backup-simplify]: Simplify (+ 0 0) into 0 8.785 * [taylor]: Taking taylor expansion of 0 in x 8.785 * [backup-simplify]: Simplify 0 into 0 8.786 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.787 * [backup-simplify]: Simplify (- 0) into 0 8.787 * [backup-simplify]: Simplify 0 into 0 8.787 * [backup-simplify]: Simplify 0 into 0 8.787 * [backup-simplify]: Simplify 0 into 0 8.789 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.790 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 8.791 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.794 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 8.796 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.797 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.797 * [backup-simplify]: Simplify (- 0) into 0 8.797 * [backup-simplify]: Simplify (+ 0 0) into 0 8.797 * [taylor]: Taking taylor expansion of 0 in z 8.797 * [backup-simplify]: Simplify 0 into 0 8.798 * [taylor]: Taking taylor expansion of 0 in x 8.798 * [backup-simplify]: Simplify 0 into 0 8.798 * [taylor]: Taking taylor expansion of 0 in x 8.798 * [backup-simplify]: Simplify 0 into 0 8.799 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.800 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.801 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.801 * [backup-simplify]: Simplify (- 0) into 0 8.802 * [backup-simplify]: Simplify (+ 0 0) into 0 8.802 * [taylor]: Taking taylor expansion of 0 in x 8.802 * [backup-simplify]: Simplify 0 into 0 8.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.804 * [backup-simplify]: Simplify (- 0) into 0 8.804 * [backup-simplify]: Simplify 0 into 0 8.804 * [backup-simplify]: Simplify 0 into 0 8.804 * [backup-simplify]: Simplify 0 into 0 8.805 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y)))) 2)) (* -1 (pow (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 y)))) 2))) into (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) 8.806 * [backup-simplify]: Simplify (- (* (* (/ 1 (- y)) (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (- z)))) (* (* (/ 1 (- y)) (- (/ 1 (- x)))) (* (/ 1 (- y)) (- (/ 1 (- x)))))) into (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) 8.806 * [approximate]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in (y z x) around 0 8.806 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in x 8.806 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in x 8.806 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in x 8.806 * [taylor]: Taking taylor expansion of (pow z 2) in x 8.806 * [taylor]: Taking taylor expansion of z in x 8.806 * [backup-simplify]: Simplify z into z 8.806 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.806 * [taylor]: Taking taylor expansion of y in x 8.806 * [backup-simplify]: Simplify y into y 8.806 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.806 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.806 * [backup-simplify]: Simplify (* (pow z 2) (pow y 2)) into (* (pow z 2) (pow y 2)) 8.807 * [backup-simplify]: Simplify (/ 1 (* (pow z 2) (pow y 2))) into (/ 1 (* (pow z 2) (pow y 2))) 8.807 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 8.807 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.807 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.807 * [taylor]: Taking taylor expansion of x in x 8.807 * [backup-simplify]: Simplify 0 into 0 8.807 * [backup-simplify]: Simplify 1 into 1 8.807 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.807 * [taylor]: Taking taylor expansion of y in x 8.807 * [backup-simplify]: Simplify y into y 8.807 * [backup-simplify]: Simplify (* 1 1) into 1 8.807 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.808 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.808 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.808 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in z 8.808 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 8.808 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.808 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.808 * [taylor]: Taking taylor expansion of z in z 8.808 * [backup-simplify]: Simplify 0 into 0 8.808 * [backup-simplify]: Simplify 1 into 1 8.808 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.808 * [taylor]: Taking taylor expansion of y in z 8.808 * [backup-simplify]: Simplify y into y 8.808 * [backup-simplify]: Simplify (* 1 1) into 1 8.808 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.809 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.809 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.809 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in z 8.809 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in z 8.809 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.809 * [taylor]: Taking taylor expansion of x in z 8.809 * [backup-simplify]: Simplify x into x 8.809 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.809 * [taylor]: Taking taylor expansion of y in z 8.809 * [backup-simplify]: Simplify y into y 8.809 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.809 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.809 * [backup-simplify]: Simplify (* (pow x 2) (pow y 2)) into (* (pow x 2) (pow y 2)) 8.810 * [backup-simplify]: Simplify (/ 1 (* (pow x 2) (pow y 2))) into (/ 1 (* (pow x 2) (pow y 2))) 8.810 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y 8.810 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.810 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.810 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.810 * [taylor]: Taking taylor expansion of z in y 8.810 * [backup-simplify]: Simplify z into z 8.810 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.810 * [taylor]: Taking taylor expansion of y in y 8.810 * [backup-simplify]: Simplify 0 into 0 8.810 * [backup-simplify]: Simplify 1 into 1 8.810 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.810 * [backup-simplify]: Simplify (* 1 1) into 1 8.810 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.811 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.811 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.811 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.811 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.811 * [taylor]: Taking taylor expansion of x in y 8.811 * [backup-simplify]: Simplify x into x 8.811 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.811 * [taylor]: Taking taylor expansion of y in y 8.811 * [backup-simplify]: Simplify 0 into 0 8.811 * [backup-simplify]: Simplify 1 into 1 8.811 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.811 * [backup-simplify]: Simplify (* 1 1) into 1 8.811 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.812 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.812 * [taylor]: Taking taylor expansion of (- (/ 1 (* (pow z 2) (pow y 2))) (/ 1 (* (pow x 2) (pow y 2)))) in y 8.812 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.812 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.812 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.812 * [taylor]: Taking taylor expansion of z in y 8.812 * [backup-simplify]: Simplify z into z 8.812 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.812 * [taylor]: Taking taylor expansion of y in y 8.812 * [backup-simplify]: Simplify 0 into 0 8.812 * [backup-simplify]: Simplify 1 into 1 8.812 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.812 * [backup-simplify]: Simplify (* 1 1) into 1 8.812 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.813 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.813 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.813 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.813 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.813 * [taylor]: Taking taylor expansion of x in y 8.813 * [backup-simplify]: Simplify x into x 8.813 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.813 * [taylor]: Taking taylor expansion of y in y 8.813 * [backup-simplify]: Simplify 0 into 0 8.813 * [backup-simplify]: Simplify 1 into 1 8.813 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.813 * [backup-simplify]: Simplify (* 1 1) into 1 8.813 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.814 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.814 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.814 * [backup-simplify]: Simplify (+ (/ 1 (pow z 2)) (- (/ 1 (pow x 2)))) into (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) 8.814 * [taylor]: Taking taylor expansion of (- (/ 1 (pow z 2)) (/ 1 (pow x 2))) in z 8.814 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.814 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.814 * [taylor]: Taking taylor expansion of z in z 8.814 * [backup-simplify]: Simplify 0 into 0 8.814 * [backup-simplify]: Simplify 1 into 1 8.815 * [backup-simplify]: Simplify (* 1 1) into 1 8.815 * [backup-simplify]: Simplify (/ 1 1) into 1 8.815 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in z 8.815 * [taylor]: Taking taylor expansion of (pow x 2) in z 8.815 * [taylor]: Taking taylor expansion of x in z 8.815 * [backup-simplify]: Simplify x into x 8.815 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.815 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.816 * [backup-simplify]: Simplify (+ 1 0) into 1 8.816 * [taylor]: Taking taylor expansion of 1 in x 8.816 * [backup-simplify]: Simplify 1 into 1 8.817 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.817 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.817 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.818 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.818 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.818 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.819 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.819 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.820 * [backup-simplify]: Simplify (- 0) into 0 8.820 * [backup-simplify]: Simplify (+ 0 0) into 0 8.820 * [taylor]: Taking taylor expansion of 0 in z 8.820 * [backup-simplify]: Simplify 0 into 0 8.821 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.822 * [backup-simplify]: Simplify (+ 0 0) into 0 8.822 * [taylor]: Taking taylor expansion of 0 in x 8.822 * [backup-simplify]: Simplify 0 into 0 8.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.823 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.824 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.824 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.825 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.826 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.827 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.827 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.827 * [backup-simplify]: Simplify (- 0) into 0 8.828 * [backup-simplify]: Simplify (+ 0 0) into 0 8.828 * [taylor]: Taking taylor expansion of 0 in z 8.828 * [backup-simplify]: Simplify 0 into 0 8.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.830 * [backup-simplify]: Simplify (- (/ 1 (pow x 2))) into (- (/ 1 (pow x 2))) 8.830 * [backup-simplify]: Simplify (+ 0 (- (/ 1 (pow x 2)))) into (- (/ 1 (pow x 2))) 8.830 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2))) in x 8.830 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.830 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.830 * [taylor]: Taking taylor expansion of x in x 8.830 * [backup-simplify]: Simplify 0 into 0 8.830 * [backup-simplify]: Simplify 1 into 1 8.830 * [backup-simplify]: Simplify (* 1 1) into 1 8.831 * [backup-simplify]: Simplify (/ 1 1) into 1 8.831 * [backup-simplify]: Simplify (- 1) into -1 8.831 * [backup-simplify]: Simplify -1 into -1 8.831 * [backup-simplify]: Simplify 1 into 1 8.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.833 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.834 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.835 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.837 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.838 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.839 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.839 * [backup-simplify]: Simplify (- 0) into 0 8.839 * [backup-simplify]: Simplify (+ 0 0) into 0 8.839 * [taylor]: Taking taylor expansion of 0 in z 8.839 * [backup-simplify]: Simplify 0 into 0 8.840 * [taylor]: Taking taylor expansion of 0 in x 8.840 * [backup-simplify]: Simplify 0 into 0 8.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.842 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.842 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.842 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.843 * [backup-simplify]: Simplify (- 0) into 0 8.843 * [backup-simplify]: Simplify (+ 0 0) into 0 8.843 * [taylor]: Taking taylor expansion of 0 in x 8.843 * [backup-simplify]: Simplify 0 into 0 8.844 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.845 * [backup-simplify]: Simplify (- 0) into 0 8.845 * [backup-simplify]: Simplify 0 into 0 8.845 * [backup-simplify]: Simplify 0 into 0 8.845 * [backup-simplify]: Simplify 0 into 0 8.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.848 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 8.849 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.850 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.852 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 8.853 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.854 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.859 * [backup-simplify]: Simplify (- 0) into 0 8.860 * [backup-simplify]: Simplify (+ 0 0) into 0 8.860 * [taylor]: Taking taylor expansion of 0 in z 8.860 * [backup-simplify]: Simplify 0 into 0 8.860 * [taylor]: Taking taylor expansion of 0 in x 8.860 * [backup-simplify]: Simplify 0 into 0 8.860 * [taylor]: Taking taylor expansion of 0 in x 8.860 * [backup-simplify]: Simplify 0 into 0 8.861 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.863 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.864 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.864 * [backup-simplify]: Simplify (- 0) into 0 8.864 * [backup-simplify]: Simplify (+ 0 0) into 0 8.864 * [taylor]: Taking taylor expansion of 0 in x 8.864 * [backup-simplify]: Simplify 0 into 0 8.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.866 * [backup-simplify]: Simplify (- 0) into 0 8.866 * [backup-simplify]: Simplify 0 into 0 8.866 * [backup-simplify]: Simplify 0 into 0 8.866 * [backup-simplify]: Simplify 0 into 0 8.866 * [backup-simplify]: Simplify (+ (* 1 (pow (* 1 (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y))))) 2)) (* -1 (pow (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- y))))) 2))) into (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) 8.866 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2) 8.866 * [backup-simplify]: Simplify (* (* y (- x)) (* y (- x))) into (* (pow x 2) (pow y 2)) 8.866 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in (y x) around 0 8.866 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.867 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.867 * [taylor]: Taking taylor expansion of x in x 8.867 * [backup-simplify]: Simplify 0 into 0 8.867 * [backup-simplify]: Simplify 1 into 1 8.867 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.867 * [taylor]: Taking taylor expansion of y in x 8.867 * [backup-simplify]: Simplify y into y 8.867 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.867 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.867 * [taylor]: Taking taylor expansion of x in y 8.867 * [backup-simplify]: Simplify x into x 8.867 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.867 * [taylor]: Taking taylor expansion of y in y 8.867 * [backup-simplify]: Simplify 0 into 0 8.867 * [backup-simplify]: Simplify 1 into 1 8.867 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.867 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.867 * [taylor]: Taking taylor expansion of x in y 8.867 * [backup-simplify]: Simplify x into x 8.867 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.867 * [taylor]: Taking taylor expansion of y in y 8.867 * [backup-simplify]: Simplify 0 into 0 8.867 * [backup-simplify]: Simplify 1 into 1 8.867 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.867 * [backup-simplify]: Simplify (* 1 1) into 1 8.867 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.867 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.867 * [taylor]: Taking taylor expansion of x in x 8.867 * [backup-simplify]: Simplify 0 into 0 8.867 * [backup-simplify]: Simplify 1 into 1 8.868 * [backup-simplify]: Simplify (* 1 1) into 1 8.868 * [backup-simplify]: Simplify 1 into 1 8.868 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.868 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.868 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.869 * [taylor]: Taking taylor expansion of 0 in x 8.869 * [backup-simplify]: Simplify 0 into 0 8.869 * [backup-simplify]: Simplify 0 into 0 8.869 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.869 * [backup-simplify]: Simplify 0 into 0 8.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.870 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.870 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.870 * [taylor]: Taking taylor expansion of 0 in x 8.870 * [backup-simplify]: Simplify 0 into 0 8.870 * [backup-simplify]: Simplify 0 into 0 8.870 * [backup-simplify]: Simplify 0 into 0 8.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.871 * [backup-simplify]: Simplify 0 into 0 8.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.872 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.872 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.873 * [taylor]: Taking taylor expansion of 0 in x 8.873 * [backup-simplify]: Simplify 0 into 0 8.873 * [backup-simplify]: Simplify 0 into 0 8.873 * [backup-simplify]: Simplify (* 1 (pow (* x y) 2)) into (* (pow x 2) (pow y 2)) 8.873 * [backup-simplify]: Simplify (* (* (/ 1 y) (- (/ 1 x))) (* (/ 1 y) (- (/ 1 x)))) into (/ 1 (* (pow x 2) (pow y 2))) 8.873 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (y x) around 0 8.873 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 8.873 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.873 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.873 * [taylor]: Taking taylor expansion of x in x 8.873 * [backup-simplify]: Simplify 0 into 0 8.873 * [backup-simplify]: Simplify 1 into 1 8.873 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.873 * [taylor]: Taking taylor expansion of y in x 8.873 * [backup-simplify]: Simplify y into y 8.873 * [backup-simplify]: Simplify (* 1 1) into 1 8.873 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.873 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.873 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.874 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.874 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.874 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.874 * [taylor]: Taking taylor expansion of x in y 8.874 * [backup-simplify]: Simplify x into x 8.874 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.874 * [taylor]: Taking taylor expansion of y in y 8.874 * [backup-simplify]: Simplify 0 into 0 8.874 * [backup-simplify]: Simplify 1 into 1 8.874 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.874 * [backup-simplify]: Simplify (* 1 1) into 1 8.874 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.874 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.874 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.874 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.874 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.874 * [taylor]: Taking taylor expansion of x in y 8.874 * [backup-simplify]: Simplify x into x 8.874 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.874 * [taylor]: Taking taylor expansion of y in y 8.874 * [backup-simplify]: Simplify 0 into 0 8.874 * [backup-simplify]: Simplify 1 into 1 8.874 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.875 * [backup-simplify]: Simplify (* 1 1) into 1 8.875 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.875 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.875 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.875 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.875 * [taylor]: Taking taylor expansion of x in x 8.875 * [backup-simplify]: Simplify 0 into 0 8.875 * [backup-simplify]: Simplify 1 into 1 8.875 * [backup-simplify]: Simplify (* 1 1) into 1 8.875 * [backup-simplify]: Simplify (/ 1 1) into 1 8.875 * [backup-simplify]: Simplify 1 into 1 8.876 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.876 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.876 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.876 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.876 * [taylor]: Taking taylor expansion of 0 in x 8.876 * [backup-simplify]: Simplify 0 into 0 8.877 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.877 * [backup-simplify]: Simplify 0 into 0 8.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.878 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.879 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.879 * [taylor]: Taking taylor expansion of 0 in x 8.879 * [backup-simplify]: Simplify 0 into 0 8.880 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.880 * [backup-simplify]: Simplify 0 into 0 8.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.881 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.882 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.882 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.882 * [taylor]: Taking taylor expansion of 0 in x 8.882 * [backup-simplify]: Simplify 0 into 0 8.882 * [backup-simplify]: Simplify 0 into 0 8.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.883 * [backup-simplify]: Simplify 0 into 0 8.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.885 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 8.885 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.886 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.886 * [taylor]: Taking taylor expansion of 0 in x 8.886 * [backup-simplify]: Simplify 0 into 0 8.886 * [backup-simplify]: Simplify 0 into 0 8.886 * [backup-simplify]: Simplify 0 into 0 8.886 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))) 2)) into (* (pow x 2) (pow y 2)) 8.886 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (- (/ 1 (- x)))) (* (/ 1 (- y)) (- (/ 1 (- x))))) into (/ 1 (* (pow x 2) (pow y 2))) 8.886 * [approximate]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in (y x) around 0 8.886 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in x 8.886 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in x 8.886 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.886 * [taylor]: Taking taylor expansion of x in x 8.886 * [backup-simplify]: Simplify 0 into 0 8.886 * [backup-simplify]: Simplify 1 into 1 8.886 * [taylor]: Taking taylor expansion of (pow y 2) in x 8.886 * [taylor]: Taking taylor expansion of y in x 8.886 * [backup-simplify]: Simplify y into y 8.887 * [backup-simplify]: Simplify (* 1 1) into 1 8.887 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.887 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.887 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.887 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.887 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.887 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.887 * [taylor]: Taking taylor expansion of x in y 8.887 * [backup-simplify]: Simplify x into x 8.887 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.887 * [taylor]: Taking taylor expansion of y in y 8.887 * [backup-simplify]: Simplify 0 into 0 8.887 * [backup-simplify]: Simplify 1 into 1 8.887 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.887 * [backup-simplify]: Simplify (* 1 1) into 1 8.887 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.887 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.887 * [taylor]: Taking taylor expansion of (/ 1 (* (pow x 2) (pow y 2))) in y 8.887 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow y 2)) in y 8.887 * [taylor]: Taking taylor expansion of (pow x 2) in y 8.887 * [taylor]: Taking taylor expansion of x in y 8.887 * [backup-simplify]: Simplify x into x 8.888 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.888 * [taylor]: Taking taylor expansion of y in y 8.888 * [backup-simplify]: Simplify 0 into 0 8.888 * [backup-simplify]: Simplify 1 into 1 8.888 * [backup-simplify]: Simplify (* x x) into (pow x 2) 8.888 * [backup-simplify]: Simplify (* 1 1) into 1 8.888 * [backup-simplify]: Simplify (* (pow x 2) 1) into (pow x 2) 8.888 * [backup-simplify]: Simplify (/ 1 (pow x 2)) into (/ 1 (pow x 2)) 8.888 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 8.888 * [taylor]: Taking taylor expansion of (pow x 2) in x 8.888 * [taylor]: Taking taylor expansion of x in x 8.888 * [backup-simplify]: Simplify 0 into 0 8.888 * [backup-simplify]: Simplify 1 into 1 8.888 * [backup-simplify]: Simplify (* 1 1) into 1 8.889 * [backup-simplify]: Simplify (/ 1 1) into 1 8.889 * [backup-simplify]: Simplify 1 into 1 8.889 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.889 * [backup-simplify]: Simplify (+ (* x 0) (* 0 x)) into 0 8.889 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (* 0 1)) into 0 8.890 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))))) into 0 8.890 * [taylor]: Taking taylor expansion of 0 in x 8.890 * [backup-simplify]: Simplify 0 into 0 8.890 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.891 * [backup-simplify]: Simplify 0 into 0 8.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.891 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 x))) into 0 8.892 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.892 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.892 * [taylor]: Taking taylor expansion of 0 in x 8.892 * [backup-simplify]: Simplify 0 into 0 8.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.894 * [backup-simplify]: Simplify 0 into 0 8.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.896 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 8.897 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.897 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.897 * [taylor]: Taking taylor expansion of 0 in x 8.897 * [backup-simplify]: Simplify 0 into 0 8.897 * [backup-simplify]: Simplify 0 into 0 8.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.899 * [backup-simplify]: Simplify 0 into 0 8.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.902 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 x))))) into 0 8.903 * [backup-simplify]: Simplify (+ (* (pow x 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.903 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow x 2)) (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))) (* 0 (/ 0 (pow x 2))))) into 0 8.903 * [taylor]: Taking taylor expansion of 0 in x 8.903 * [backup-simplify]: Simplify 0 into 0 8.903 * [backup-simplify]: Simplify 0 into 0 8.903 * [backup-simplify]: Simplify 0 into 0 8.904 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))) 2)) into (* (pow x 2) (pow y 2)) 8.904 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 8.904 * [backup-simplify]: Simplify (* (* y z) (* y z)) into (* (pow z 2) (pow y 2)) 8.904 * [approximate]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in (y z) around 0 8.904 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.904 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.904 * [taylor]: Taking taylor expansion of z in z 8.904 * [backup-simplify]: Simplify 0 into 0 8.904 * [backup-simplify]: Simplify 1 into 1 8.904 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.904 * [taylor]: Taking taylor expansion of y in z 8.904 * [backup-simplify]: Simplify y into y 8.904 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.904 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.904 * [taylor]: Taking taylor expansion of z in y 8.904 * [backup-simplify]: Simplify z into z 8.904 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.904 * [taylor]: Taking taylor expansion of y in y 8.904 * [backup-simplify]: Simplify 0 into 0 8.904 * [backup-simplify]: Simplify 1 into 1 8.904 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.905 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.905 * [taylor]: Taking taylor expansion of z in y 8.905 * [backup-simplify]: Simplify z into z 8.905 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.905 * [taylor]: Taking taylor expansion of y in y 8.905 * [backup-simplify]: Simplify 0 into 0 8.905 * [backup-simplify]: Simplify 1 into 1 8.905 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.905 * [backup-simplify]: Simplify (* 1 1) into 1 8.905 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.905 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.905 * [taylor]: Taking taylor expansion of z in z 8.905 * [backup-simplify]: Simplify 0 into 0 8.905 * [backup-simplify]: Simplify 1 into 1 8.906 * [backup-simplify]: Simplify (* 1 1) into 1 8.906 * [backup-simplify]: Simplify 1 into 1 8.906 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.907 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.907 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.907 * [taylor]: Taking taylor expansion of 0 in z 8.907 * [backup-simplify]: Simplify 0 into 0 8.907 * [backup-simplify]: Simplify 0 into 0 8.908 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.908 * [backup-simplify]: Simplify 0 into 0 8.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.909 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.910 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.910 * [taylor]: Taking taylor expansion of 0 in z 8.910 * [backup-simplify]: Simplify 0 into 0 8.910 * [backup-simplify]: Simplify 0 into 0 8.910 * [backup-simplify]: Simplify 0 into 0 8.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.911 * [backup-simplify]: Simplify 0 into 0 8.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.913 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.914 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.914 * [taylor]: Taking taylor expansion of 0 in z 8.914 * [backup-simplify]: Simplify 0 into 0 8.914 * [backup-simplify]: Simplify 0 into 0 8.914 * [backup-simplify]: Simplify (* 1 (pow (* z y) 2)) into (* (pow z 2) (pow y 2)) 8.914 * [backup-simplify]: Simplify (* (* (/ 1 y) (/ 1 z)) (* (/ 1 y) (/ 1 z))) into (/ 1 (* (pow z 2) (pow y 2))) 8.914 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in (y z) around 0 8.914 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 8.914 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.914 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.915 * [taylor]: Taking taylor expansion of z in z 8.915 * [backup-simplify]: Simplify 0 into 0 8.915 * [backup-simplify]: Simplify 1 into 1 8.915 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.915 * [taylor]: Taking taylor expansion of y in z 8.915 * [backup-simplify]: Simplify y into y 8.915 * [backup-simplify]: Simplify (* 1 1) into 1 8.915 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.915 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.915 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.915 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.915 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.915 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.915 * [taylor]: Taking taylor expansion of z in y 8.916 * [backup-simplify]: Simplify z into z 8.916 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.916 * [taylor]: Taking taylor expansion of y in y 8.916 * [backup-simplify]: Simplify 0 into 0 8.916 * [backup-simplify]: Simplify 1 into 1 8.916 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.916 * [backup-simplify]: Simplify (* 1 1) into 1 8.916 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.916 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.916 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.916 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.916 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.916 * [taylor]: Taking taylor expansion of z in y 8.916 * [backup-simplify]: Simplify z into z 8.917 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.917 * [taylor]: Taking taylor expansion of y in y 8.917 * [backup-simplify]: Simplify 0 into 0 8.917 * [backup-simplify]: Simplify 1 into 1 8.917 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.917 * [backup-simplify]: Simplify (* 1 1) into 1 8.917 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.918 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.918 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.918 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.918 * [taylor]: Taking taylor expansion of z in z 8.918 * [backup-simplify]: Simplify 0 into 0 8.918 * [backup-simplify]: Simplify 1 into 1 8.918 * [backup-simplify]: Simplify (* 1 1) into 1 8.919 * [backup-simplify]: Simplify (/ 1 1) into 1 8.919 * [backup-simplify]: Simplify 1 into 1 8.919 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.919 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.920 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.920 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.920 * [taylor]: Taking taylor expansion of 0 in z 8.920 * [backup-simplify]: Simplify 0 into 0 8.921 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.922 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.922 * [backup-simplify]: Simplify 0 into 0 8.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.923 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.924 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.924 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.925 * [taylor]: Taking taylor expansion of 0 in z 8.925 * [backup-simplify]: Simplify 0 into 0 8.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.926 * [backup-simplify]: Simplify 0 into 0 8.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.928 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.929 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.930 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.930 * [taylor]: Taking taylor expansion of 0 in z 8.930 * [backup-simplify]: Simplify 0 into 0 8.930 * [backup-simplify]: Simplify 0 into 0 8.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.932 * [backup-simplify]: Simplify 0 into 0 8.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.934 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 8.935 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.936 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.936 * [taylor]: Taking taylor expansion of 0 in z 8.936 * [backup-simplify]: Simplify 0 into 0 8.936 * [backup-simplify]: Simplify 0 into 0 8.936 * [backup-simplify]: Simplify 0 into 0 8.937 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 z)) (/ 1 (/ 1 y))) 2)) into (* (pow z 2) (pow y 2)) 8.937 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (/ 1 (- z))) (* (/ 1 (- y)) (/ 1 (- z)))) into (/ 1 (* (pow z 2) (pow y 2))) 8.937 * [approximate]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in (y z) around 0 8.937 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in z 8.937 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in z 8.937 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.937 * [taylor]: Taking taylor expansion of z in z 8.937 * [backup-simplify]: Simplify 0 into 0 8.937 * [backup-simplify]: Simplify 1 into 1 8.937 * [taylor]: Taking taylor expansion of (pow y 2) in z 8.937 * [taylor]: Taking taylor expansion of y in z 8.937 * [backup-simplify]: Simplify y into y 8.938 * [backup-simplify]: Simplify (* 1 1) into 1 8.938 * [backup-simplify]: Simplify (* y y) into (pow y 2) 8.938 * [backup-simplify]: Simplify (* 1 (pow y 2)) into (pow y 2) 8.938 * [backup-simplify]: Simplify (/ 1 (pow y 2)) into (/ 1 (pow y 2)) 8.938 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.938 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.938 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.938 * [taylor]: Taking taylor expansion of z in y 8.938 * [backup-simplify]: Simplify z into z 8.938 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.938 * [taylor]: Taking taylor expansion of y in y 8.938 * [backup-simplify]: Simplify 0 into 0 8.938 * [backup-simplify]: Simplify 1 into 1 8.938 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.939 * [backup-simplify]: Simplify (* 1 1) into 1 8.939 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.939 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.939 * [taylor]: Taking taylor expansion of (/ 1 (* (pow z 2) (pow y 2))) in y 8.939 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow y 2)) in y 8.939 * [taylor]: Taking taylor expansion of (pow z 2) in y 8.939 * [taylor]: Taking taylor expansion of z in y 8.939 * [backup-simplify]: Simplify z into z 8.939 * [taylor]: Taking taylor expansion of (pow y 2) in y 8.939 * [taylor]: Taking taylor expansion of y in y 8.939 * [backup-simplify]: Simplify 0 into 0 8.939 * [backup-simplify]: Simplify 1 into 1 8.940 * [backup-simplify]: Simplify (* z z) into (pow z 2) 8.940 * [backup-simplify]: Simplify (* 1 1) into 1 8.940 * [backup-simplify]: Simplify (* (pow z 2) 1) into (pow z 2) 8.940 * [backup-simplify]: Simplify (/ 1 (pow z 2)) into (/ 1 (pow z 2)) 8.940 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 8.940 * [taylor]: Taking taylor expansion of (pow z 2) in z 8.940 * [taylor]: Taking taylor expansion of z in z 8.940 * [backup-simplify]: Simplify 0 into 0 8.940 * [backup-simplify]: Simplify 1 into 1 8.941 * [backup-simplify]: Simplify (* 1 1) into 1 8.941 * [backup-simplify]: Simplify (/ 1 1) into 1 8.941 * [backup-simplify]: Simplify 1 into 1 8.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.942 * [backup-simplify]: Simplify (+ (* z 0) (* 0 z)) into 0 8.943 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (* 0 1)) into 0 8.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))))) into 0 8.943 * [taylor]: Taking taylor expansion of 0 in z 8.943 * [backup-simplify]: Simplify 0 into 0 8.944 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.945 * [backup-simplify]: Simplify 0 into 0 8.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.946 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (* 0 z))) into 0 8.947 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (* 0 1))) into 0 8.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.947 * [taylor]: Taking taylor expansion of 0 in z 8.948 * [backup-simplify]: Simplify 0 into 0 8.948 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.949 * [backup-simplify]: Simplify 0 into 0 8.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.951 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (* 0 z)))) into 0 8.952 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.953 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.953 * [taylor]: Taking taylor expansion of 0 in z 8.953 * [backup-simplify]: Simplify 0 into 0 8.953 * [backup-simplify]: Simplify 0 into 0 8.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.955 * [backup-simplify]: Simplify 0 into 0 8.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.957 * [backup-simplify]: Simplify (+ (* z 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 z))))) into 0 8.957 * [backup-simplify]: Simplify (+ (* (pow z 2) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.958 * [backup-simplify]: Simplify (- (+ (* (/ 1 (pow z 2)) (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))) (* 0 (/ 0 (pow z 2))))) into 0 8.958 * [taylor]: Taking taylor expansion of 0 in z 8.958 * [backup-simplify]: Simplify 0 into 0 8.958 * [backup-simplify]: Simplify 0 into 0 8.958 * [backup-simplify]: Simplify 0 into 0 8.958 * [backup-simplify]: Simplify (* 1 (pow (* (/ 1 (/ 1 (- z))) (/ 1 (/ 1 (- y)))) 2)) into (* (pow z 2) (pow y 2)) 8.958 * * * [progress]: simplifying candidates 8.960 * [simplify]: Simplifying: (- (log (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (log (- (* y z) (* y (- x))))) (log (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))))) (exp (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))))) (/ (* (* (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (* (* (- (* y z) (* y (- x))) (- (* y z) (* y (- x)))) (- (* y z) (* y (- x))))) (* (cbrt (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))))) (cbrt (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x)))))) (cbrt (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))))) (* (* (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x)))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))))) (sqrt (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))))) (sqrt (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x))))) (- (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (- (- (* y z) (* y (- x)))) (/ (* (* y z) (* y z)) (- (* y z) (* y (- x)))) (/ (* (* y (- x)) (* y (- x))) (- (* y z) (* y (- x)))) (/ (* (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))))) (* (cbrt (- (* y z) (* y (- x)))) (cbrt (- (* y z) (* y (- x)))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (cbrt (- (* y z) (* y (- x))))) (/ (* (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))))) (sqrt (- (* y z) (* y (- x))))) (/ (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (sqrt (- (* y z) (* y (- x))))) (/ (* (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))))) 1) (/ (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (- (* y z) (* y (- x)))) (/ (* (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))))) y) (/ (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (- z (- x))) (/ (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (* (cbrt (- (* y z) (* y (- x)))) (cbrt (- (* y z) (* y (- x)))))) (/ (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (cbrt (- (* y z) (* y (- x))))) (/ (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (sqrt (- (* y z) (* y (- x))))) (/ (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (sqrt (- (* y z) (* y (- x))))) (/ (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) 1) (/ (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (- (* y z) (* y (- x)))) (/ (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) y) (/ (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (- z (- x))) (/ 1 (* (cbrt (- (* y z) (* y (- x)))) (cbrt (- (* y z) (* y (- x)))))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (cbrt (- (* y z) (* y (- x))))) (/ 1 (sqrt (- (* y z) (* y (- x))))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (sqrt (- (* y z) (* y (- x))))) (/ 1 1) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* y z) (* y (- x)))) (/ 1 y) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- z (- x))) (/ (+ (* y z) (* y (- x))) (* (cbrt (- (* y z) (* y (- x)))) (cbrt (- (* y z) (* y (- x)))))) (/ (- (* y z) (* y (- x))) (cbrt (- (* y z) (* y (- x))))) (/ (+ (* y z) (* y (- x))) (sqrt (- (* y z) (* y (- x))))) (/ (- (* y z) (* y (- x))) (sqrt (- (* y z) (* y (- x))))) (/ (+ (* y z) (* y (- x))) 1) (/ (- (* y z) (* y (- x))) (- (* y z) (* y (- x)))) (/ (+ (* y z) (* y (- x))) y) (/ (- (* y z) (* y (- x))) (- z (- x))) (/ 1 (- (* y z) (* y (- x)))) (/ (- (* y z) (* y (- x))) (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (* (cbrt (- (* y z) (* y (- x)))) (cbrt (- (* y z) (* y (- x)))))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (sqrt (- (* y z) (* y (- x))))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) 1) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) y) (/ (- (* y z) (* y (- x))) (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))))) (/ (- (* y z) (* y (- x))) (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))))) (/ (- (* y z) (* y (- x))) (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (/ (- (* y z) (* y (- x))) (- (* y z) (* y (- x)))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (pow (* y z) 3) (pow (* y (- x)) 3))) (/ (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (* (- (* y z) (* y (- x))) (+ (* (* (* y z) (* y z)) (* (* y z) (* y z))) (+ (* (* (* y (- x)) (* y (- x))) (* (* y (- x)) (* y (- x)))) (* (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))))) (* (- (* y z) (* y (- x))) (+ (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (/ (exp (* (* y z) (* y z))) (exp (* (* y (- x)) (* y (- x))))) (log (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (exp (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (* (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))))) (cbrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (* (* (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (sqrt (- (* (* y z) (* y z)) (* (* y (- x)) (* y (- x))))) (- (pow (* (* y z) (* y z)) 3) (pow (* (* y (- x)) (* y (- x))) 3)) (+ (* (* (* y z) (* y z)) (* (* y z) (* y z))) (+ (* (* (* y (- x)) (* y (- x))) (* (* y (- x)) (* y (- x)))) (* (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))))) (- (* (* y (- x)) (* y (- x)))) (- (* (* (* y z) (* y z)) (* (* y z) (* y z))) (* (* (* y (- x)) (* y (- x))) (* (* y (- x)) (* y (- x))))) (+ (* (* y z) (* y z)) (* (* y (- x)) (* y (- x)))) (+ (* y z) (* y (- x))) (- (* y z) (* y (- x))) (- (* (* y (- x)) (* y (- x)))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* y (- x)) (* y (- x))) (* (* y (- x)) (* y (- x))) (* (* y (- x)) (* y (- x))) (* (* y (- x)) (* y (- x))) (+ 1 1) (+ 1 1) (+ (+ (log y) (log (- x))) (+ (log y) (log (- x)))) (+ (+ (log y) (log (- x))) (log (* y (- x)))) (+ (log (* y (- x))) (+ (log y) (log (- x)))) (+ (log (* y (- x))) (log (* y (- x)))) (log (* (* y (- x)) (* y (- x)))) (exp (* (* y (- x)) (* y (- x)))) (* (* (* (* y y) y) (* (* (- x) (- x)) (- x))) (* (* (* y y) y) (* (* (- x) (- x)) (- x)))) (* (* (* (* y y) y) (* (* (- x) (- x)) (- x))) (* (* (* y (- x)) (* y (- x))) (* y (- x)))) (* (* (* (* y (- x)) (* y (- x))) (* y (- x))) (* (* (* y y) y) (* (* (- x) (- x)) (- x)))) (* (* (* (* y (- x)) (* y (- x))) (* y (- x))) (* (* (* y (- x)) (* y (- x))) (* y (- x)))) (* (cbrt (* (* y (- x)) (* y (- x)))) (cbrt (* (* y (- x)) (* y (- x))))) (cbrt (* (* y (- x)) (* y (- x)))) (* (* (* (* y (- x)) (* y (- x))) (* (* y (- x)) (* y (- x)))) (* (* y (- x)) (* y (- x)))) (sqrt (* (* y (- x)) (* y (- x)))) (sqrt (* (* y (- x)) (* y (- x)))) (* y y) (* (- x) (- x)) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* y x) (* y (- x))) (* (* y (- x)) (* y x)) (* (* y (- x)) y) (* (- x) (* y (- x))) (+ 1 1) (+ 1 1) (+ 1 1) (+ 1 1) (* (* y z) (* y z)) (* (* y z) (* y z)) (* (* y z) (* y z)) (* (* y z) (* y z)) (+ 1 1) (+ 1 1) (+ (+ (log y) (log z)) (+ (log y) (log z))) (+ (+ (log y) (log z)) (log (* y z))) (+ (log (* y z)) (+ (log y) (log z))) (+ (log (* y z)) (log (* y z))) (log (* (* y z) (* y z))) (exp (* (* y z) (* y z))) (* (* (* (* y y) y) (* (* z z) z)) (* (* (* y y) y) (* (* z z) z))) (* (* (* (* y y) y) (* (* z z) z)) (* (* (* y z) (* y z)) (* y z))) (* (* (* (* y z) (* y z)) (* y z)) (* (* (* y y) y) (* (* z z) z))) (* (* (* (* y z) (* y z)) (* y z)) (* (* (* y z) (* y z)) (* y z))) (* (cbrt (* (* y z) (* y z))) (cbrt (* (* y z) (* y z)))) (cbrt (* (* y z) (* y z))) (* (* (* (* y z) (* y z)) (* (* y z) (* y z))) (* (* y z) (* y z))) (sqrt (* (* y z) (* y z))) (sqrt (* (* y z) (* y z))) (* y y) (* z z) (* 2 1) (* 2 1) (* 2 1) (* 2 1) (* (* y z) y) (* z (* y z)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* z y) (* x y)) (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (- (* (pow z 2) (pow y 2)) (* (pow x 2) (pow y 2))) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) (* (pow x 2) (pow y 2)) (* (pow z 2) (pow y 2)) (* (pow z 2) (pow y 2)) (* (pow z 2) (pow y 2)) 8.962 * * [simplify]: iteration 0: 161 enodes 9.029 * * [simplify]: iteration 1: 459 enodes 9.306 * * [simplify]: iteration 2: 2156 enodes 10.003 * * [simplify]: iteration complete: 5030 enodes 10.003 * * [simplify]: Extracting #0: cost 81 inf + 0 10.006 * * [simplify]: Extracting #1: cost 801 inf + 2 10.017 * * [simplify]: Extracting #2: cost 1517 inf + 9441 10.041 * * [simplify]: Extracting #3: cost 1407 inf + 95460 10.145 * * [simplify]: Extracting #4: cost 540 inf + 361405 10.249 * * [simplify]: Extracting #5: cost 14 inf + 490298 10.410 * * [simplify]: Extracting #6: cost 0 inf + 495192 10.502 * * [simplify]: Extracting #7: cost 0 inf + 495112 10.675 * [simplify]: Simplified to: (log (* (- z x) y)) (log (* (- z x) y)) (exp (* (- z x) y)) (* (* (- z x) y) (* (* (- z x) y) (* (- z x) y))) (* (cbrt (* (- z x) y)) (cbrt (* (- z x) y))) (cbrt (* (- z x) y)) (* (* (- z x) y) (* (* (- z x) y) (* (- z x) y))) (sqrt (* (- z x) y)) (sqrt (* (- z x) y)) (* (- (* y y)) (- (* z z) (* x x))) (* (- y) (+ z x)) (/ (/ (* (* y z) (* y z)) y) (+ z x)) (/ (/ (* (* x y) (* x y)) y) (+ z x)) (* (/ (cbrt (* (* y y) (- (* z z) (* x x)))) (cbrt (* y (+ z x)))) (/ (cbrt (* (* y y) (- (* z z) (* x x)))) (cbrt (* y (+ z x))))) (/ (cbrt (* (* y y) (- (* z z) (* x x)))) (cbrt (* y (+ z x)))) (/ (* (cbrt (* (* y y) (- (* z z) (* x x)))) (cbrt (* (* y y) (- (* z z) (* x x))))) (sqrt (* y (+ z x)))) (/ (cbrt (* (* y y) (- (* z z) (* x x)))) (sqrt (* y (+ z x)))) (* (cbrt (* (* y y) (- (* z z) (* x x)))) (cbrt (* (* y y) (- (* z z) (* x x))))) (/ (/ (cbrt (* (* y y) (- (* z z) (* x x)))) y) (+ z x)) (/ (* (cbrt (* (* y y) (- (* z z) (* x x)))) (cbrt (* (* y y) (- (* z z) (* x x))))) y) (/ (cbrt (* (* y y) (- (* z z) (* x x)))) (+ z x)) (/ (sqrt (* (* y y) (- (* z z) (* x x)))) (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))) (/ (sqrt (* (* y y) (- (* z z) (* x x)))) (cbrt (* y (+ z x)))) (/ (sqrt (* (* y y) (- (* z z) (* x x)))) (sqrt (* y (+ z x)))) (/ (sqrt (* (* y y) (- (* z z) (* x x)))) (sqrt (* y (+ z x)))) (sqrt (* (* y y) (- (* z z) (* x x)))) (/ (sqrt (* (* y y) (- (* z z) (* x x)))) (* y (+ z x))) (/ (sqrt (* (* y y) (- (* z z) (* x x)))) y) (/ (sqrt (* (* y y) (- (* z z) (* x x)))) (+ z x)) (/ 1 (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))) (/ (* (- z x) y) (/ (cbrt (* y (+ z x))) (* y (+ z x)))) (/ 1 (sqrt (* y (+ z x)))) (/ (* (- z x) y) (/ (sqrt (* y (+ z x))) (* y (+ z x)))) 1 (* (- z x) y) (/ 1 y) (/ (* (- z x) y) (/ (+ z x) (* y (+ z x)))) (/ (* (- z x) y) (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))) (/ (* y (+ z x)) (cbrt (* y (+ z x)))) (/ (* (- z x) y) (sqrt (* y (+ z x)))) (/ (* y (+ z x)) (sqrt (* y (+ z x)))) (* (- z x) y) 1 (/ y (/ y (- z x))) (/ y (/ (+ z x) (+ z x))) (/ (/ 1 y) (+ z x)) (/ (* (/ y y) (/ (+ z x) (- z x))) (* y (+ z x))) (/ (* (- z x) y) (/ (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x)))) (* y (+ z x)))) (/ (* (- z x) y) (/ (sqrt (* y (+ z x))) (* y (+ z x)))) (* (* y y) (- (* z z) (* x x))) (/ (* (* y y) (- (* z z) (* x x))) y) (/ (* y (+ z x)) (cbrt (* (* y y) (- (* z z) (* x x))))) (/ (* y (+ z x)) (sqrt (* (* y y) (- (* z z) (* x x))))) (/ (* (/ y y) (/ (+ z x) (- z x))) (* y (+ z x))) 1 (- (/ (* (* y z) (* y z)) (+ (* (* (* x y) (* x y)) (* x y)) (* (* (* y z) (* y z)) (* y z)))) (/ (* (* x y) (* x y)) (+ (* (* (* x y) (* x y)) (* x y)) (* (* (* y z) (* y z)) (* y z))))) 1 (* (* (+ (* (* (* y z) (* x y)) (* (* y z) (* x y))) (+ (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (* (* y z) (* y z)) (* (* y z) (* y z))))) y) (+ z x)) (* (* y (+ z x)) (* (* y y) (+ (* x x) (* z z)))) (exp (* (* y y) (- (* z z) (* x x)))) (log (* (* y y) (- (* z z) (* x x)))) (exp (* (* y y) (- (* z z) (* x x)))) (* (cbrt (* (* y y) (- (* z z) (* x x)))) (cbrt (* (* y y) (- (* z z) (* x x))))) (cbrt (* (* y y) (- (* z z) (* x x)))) (* (* (* y y) (- (* z z) (* x x))) (* (* (* y y) (- (* z z) (* x x))) (* (* y y) (- (* z z) (* x x))))) (sqrt (* (* y y) (- (* z z) (* x x)))) (sqrt (* (* y y) (- (* z z) (* x x)))) (- (* (* (* y z) (* y z)) (* (* (* y z) (* y z)) (* (* y z) (* y z)))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y)))) (+ (* (* (* y z) (* x y)) (* (* y z) (* x y))) (+ (* (* (* x y) (* x y)) (* (* x y) (* x y))) (* (* (* y z) (* y z)) (* (* y z) (* y z))))) (- (* (* x y) (* x y))) (- (* (* (* y z) (* y z)) (* (* y z) (* y z))) (* (* (* x y) (* x y)) (* (* x y) (* x y)))) (* (* y y) (+ (* x x) (* z z))) (* (- z x) y) (* y (+ z x)) (- (* (* x y) (* x y))) 2 2 2 2 (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) 2 2 (log (* (* x y) (* x y))) (log (* (* x y) (* x y))) (log (* (* x y) (* x y))) (log (* (* x y) (* x y))) (log (* (* x y) (* x y))) (exp (* (* x y) (* x y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y))) (* (cbrt (* (* x y) (* x y))) (cbrt (* (* x y) (* x y)))) (cbrt (* (* x y) (* x y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (* x y) (* x y)) (* x y))) (sqrt (* (* x y) (* x y))) (sqrt (* (* x y) (* x y))) (* y y) (* x x) 2 2 2 2 (- (* (* x y) (* x y))) (- (* (* x y) (* x y))) (- (* y (* x y))) (* y (* x x)) 2 2 2 2 (* (* y z) (* y z)) (* (* y z) (* y z)) (* (* y z) (* y z)) (* (* y z) (* y z)) 2 2 (+ (log (* y z)) (log (* y z))) (+ (log (* y z)) (log (* y z))) (+ (log (* y z)) (log (* y z))) (+ (log (* y z)) (log (* y z))) (+ (log (* y z)) (log (* y z))) (exp (* (* y z) (* y z))) (* (* (* y z) (* y z)) (* (* (* y z) (* y z)) (* (* y z) (* y z)))) (* (* (* y z) (* y z)) (* (* (* y z) (* y z)) (* (* y z) (* y z)))) (* (* (* y z) (* y z)) (* (* (* y z) (* y z)) (* (* y z) (* y z)))) (* (* (* y z) (* y z)) (* (* (* y z) (* y z)) (* (* y z) (* y z)))) (* (cbrt (* (* y z) (* y z))) (cbrt (* (* y z) (* y z)))) (cbrt (* (* y z) (* y z))) (* (* (* y z) (* y z)) (* (* (* y z) (* y z)) (* (* y z) (* y z)))) (fabs (* y z)) (fabs (* y z)) (* y y) (* z z) 2 2 2 2 (* (* y y) z) (* (* y z) z) (* (- z x) y) (* (- z x) y) (* (- z x) y) (* (* y y) (- (* z z) (* x x))) (* (* y y) (- (* z z) (* x x))) (* (* y y) (- (* z z) (* x x))) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* x y) (* x y)) (* (* y z) (* y z)) (* (* y z) (* y z)) (* (* y z) (* y z)) 10.687 * * * [progress]: adding candidates to table 11.358 * [progress]: [Phase 3 of 3] Extracting. 11.359 * * [regime]: Finding splitpoints for: (# # #) 11.360 * * * [regime-changes]: Trying 4 branch expressions: ((+ x (* y (- z x))) z y x) 11.360 * * * * [regimes]: Trying to branch on (+ x (* y (- z x))) from (# # #) 11.410 * * * * [regimes]: Trying to branch on z from (# # #) 11.478 * * * * [regimes]: Trying to branch on y from (# # #) 11.537 * * * * [regimes]: Trying to branch on x from (# # #) 11.576 * * * [regime]: Found split indices: #