69.676 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.046 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying: (* x (/ (* (/ y z) t) t)) 0.053 * * [simplify]: Extracting # 0 : cost 0 0.053 * * [simplify]: Extracting # 1 : cost 0 0.053 * * [simplify]: Extracting # 2 : cost 0 0.053 * * [simplify]: Extracting # 3 : cost 0 0.053 * * [simplify]: Extracting # 4 : cost 0 0.053 * * [simplify]: Extracting # 5 : cost 0 0.053 * * [simplify]: Extracting # 6 : cost 0 0.053 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.056 * * [simplify]: Extracting # 0 : cost 0 0.056 * * [simplify]: Extracting # 1 : cost 0 0.056 * * [simplify]: Extracting # 2 : cost 0 0.056 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 0.061 * * [simplify]: Extracting # 0 : cost 0 0.061 * * [simplify]: Extracting # 1 : cost 0 0.061 * * [simplify]: Extracting # 2 : cost 0 0.062 * * [simplify]: iteration 2 : 42 enodes (cost 7 ) 0.091 * * [simplify]: Extracting # 0 : cost 0 0.092 * * [simplify]: Extracting # 1 : cost 0 0.092 * * [simplify]: Extracting # 2 : cost 0 0.092 * * [simplify]: iteration 3 : 145 enodes (cost 5 ) 0.287 * * [simplify]: Extracting # 0 : cost 0 0.290 * * [simplify]: Extracting # 1 : cost 0 0.293 * * [simplify]: Extracting # 2 : cost 0 0.295 * * [simplify]: iteration 4 : 1001 enodes (cost 5 ) 1.633 * * [simplify]: Extracting # 0 : cost 0 1.651 * * [simplify]: Extracting # 1 : cost 0 1.665 * * [simplify]: Extracting # 2 : cost 0 1.677 * * [simplify]: Extracting # 3 : cost 0 1.693 * * [simplify]: iteration done: 5000 enodes (cost 5 ) 1.693 * [simplify]: Simplified to: (/ (* y x) z) 1.703 * * [progress]: iteration 1 / 4 1.703 * * * [progress]: picking best candidate 1.715 * * * * [pick]: Picked # 1.715 * * * [progress]: localizing error 1.736 * * * [progress]: generating rewritten candidates 1.736 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.758 * * * [progress]: generating series expansions 1.758 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.758 * [backup-simplify]: Simplify (/ (* y x) z) into (/ (* x y) z) 1.758 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y x z) around 0 1.758 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 1.758 * [taylor]: Taking taylor expansion of (* x y) in z 1.758 * [taylor]: Taking taylor expansion of x in z 1.759 * [backup-simplify]: Simplify x into x 1.759 * [taylor]: Taking taylor expansion of y in z 1.759 * [backup-simplify]: Simplify y into y 1.759 * [taylor]: Taking taylor expansion of z in z 1.759 * [backup-simplify]: Simplify 0 into 0 1.759 * [backup-simplify]: Simplify 1 into 1 1.759 * [backup-simplify]: Simplify (* x y) into (* x y) 1.759 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 1.759 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 1.759 * [taylor]: Taking taylor expansion of (* x y) in x 1.759 * [taylor]: Taking taylor expansion of x in x 1.759 * [backup-simplify]: Simplify 0 into 0 1.759 * [backup-simplify]: Simplify 1 into 1 1.759 * [taylor]: Taking taylor expansion of y in x 1.759 * [backup-simplify]: Simplify y into y 1.759 * [taylor]: Taking taylor expansion of z in x 1.759 * [backup-simplify]: Simplify z into z 1.759 * [backup-simplify]: Simplify (* 0 y) into 0 1.760 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.760 * [backup-simplify]: Simplify (/ y z) into (/ y z) 1.760 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 1.760 * [taylor]: Taking taylor expansion of (* x y) in y 1.760 * [taylor]: Taking taylor expansion of x in y 1.760 * [backup-simplify]: Simplify x into x 1.760 * [taylor]: Taking taylor expansion of y in y 1.760 * [backup-simplify]: Simplify 0 into 0 1.760 * [backup-simplify]: Simplify 1 into 1 1.760 * [taylor]: Taking taylor expansion of z in y 1.760 * [backup-simplify]: Simplify z into z 1.760 * [backup-simplify]: Simplify (* x 0) into 0 1.761 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.761 * [backup-simplify]: Simplify (/ x z) into (/ x z) 1.761 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 1.761 * [taylor]: Taking taylor expansion of (* x y) in y 1.761 * [taylor]: Taking taylor expansion of x in y 1.761 * [backup-simplify]: Simplify x into x 1.761 * [taylor]: Taking taylor expansion of y in y 1.761 * [backup-simplify]: Simplify 0 into 0 1.761 * [backup-simplify]: Simplify 1 into 1 1.761 * [taylor]: Taking taylor expansion of z in y 1.761 * [backup-simplify]: Simplify z into z 1.761 * [backup-simplify]: Simplify (* x 0) into 0 1.762 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.762 * [backup-simplify]: Simplify (/ x z) into (/ x z) 1.762 * [taylor]: Taking taylor expansion of (/ x z) in x 1.762 * [taylor]: Taking taylor expansion of x in x 1.762 * [backup-simplify]: Simplify 0 into 0 1.762 * [backup-simplify]: Simplify 1 into 1 1.762 * [taylor]: Taking taylor expansion of z in x 1.762 * [backup-simplify]: Simplify z into z 1.762 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 1.762 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.762 * [taylor]: Taking taylor expansion of z in z 1.762 * [backup-simplify]: Simplify 0 into 0 1.762 * [backup-simplify]: Simplify 1 into 1 1.763 * [backup-simplify]: Simplify (/ 1 1) into 1 1.763 * [backup-simplify]: Simplify 1 into 1 1.763 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1.764 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 1.764 * [taylor]: Taking taylor expansion of 0 in x 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [taylor]: Taking taylor expansion of 0 in z 1.764 * [backup-simplify]: Simplify 0 into 0 1.764 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)))) into 0 1.764 * [taylor]: Taking taylor expansion of 0 in z 1.764 * [backup-simplify]: Simplify 0 into 0 1.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.765 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.766 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.766 * [taylor]: Taking taylor expansion of 0 in x 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [taylor]: Taking taylor expansion of 0 in z 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [taylor]: Taking taylor expansion of 0 in z 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.766 * [taylor]: Taking taylor expansion of 0 in z 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.766 * [backup-simplify]: Simplify 0 into 0 1.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.767 * [backup-simplify]: Simplify 0 into 0 1.769 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1.769 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.769 * [taylor]: Taking taylor expansion of 0 in x 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ 1 z) (/ 0 z)) (* 0 (/ 0 z)) (* 0 (/ 0 z)))) into 0 1.769 * [taylor]: Taking taylor expansion of 0 in z 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [backup-simplify]: Simplify 0 into 0 1.769 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* x y))) into (/ (* x y) z) 1.770 * [backup-simplify]: Simplify (/ (* (/ 1 y) (/ 1 x)) (/ 1 z)) into (/ z (* x y)) 1.770 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y x z) around 0 1.770 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 1.770 * [taylor]: Taking taylor expansion of z in z 1.770 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify 1 into 1 1.770 * [taylor]: Taking taylor expansion of (* x y) in z 1.770 * [taylor]: Taking taylor expansion of x in z 1.770 * [backup-simplify]: Simplify x into x 1.770 * [taylor]: Taking taylor expansion of y in z 1.770 * [backup-simplify]: Simplify y into y 1.770 * [backup-simplify]: Simplify (* x y) into (* x y) 1.770 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1.770 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 1.770 * [taylor]: Taking taylor expansion of z in x 1.770 * [backup-simplify]: Simplify z into z 1.770 * [taylor]: Taking taylor expansion of (* x y) in x 1.770 * [taylor]: Taking taylor expansion of x in x 1.770 * [backup-simplify]: Simplify 0 into 0 1.770 * [backup-simplify]: Simplify 1 into 1 1.770 * [taylor]: Taking taylor expansion of y in x 1.770 * [backup-simplify]: Simplify y into y 1.770 * [backup-simplify]: Simplify (* 0 y) into 0 1.771 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.771 * [backup-simplify]: Simplify (/ z y) into (/ z y) 1.771 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 1.771 * [taylor]: Taking taylor expansion of z in y 1.771 * [backup-simplify]: Simplify z into z 1.771 * [taylor]: Taking taylor expansion of (* x y) in y 1.771 * [taylor]: Taking taylor expansion of x in y 1.771 * [backup-simplify]: Simplify x into x 1.771 * [taylor]: Taking taylor expansion of y in y 1.771 * [backup-simplify]: Simplify 0 into 0 1.771 * [backup-simplify]: Simplify 1 into 1 1.771 * [backup-simplify]: Simplify (* x 0) into 0 1.772 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.772 * [backup-simplify]: Simplify (/ z x) into (/ z x) 1.772 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 1.772 * [taylor]: Taking taylor expansion of z in y 1.772 * [backup-simplify]: Simplify z into z 1.772 * [taylor]: Taking taylor expansion of (* x y) in y 1.772 * [taylor]: Taking taylor expansion of x in y 1.772 * [backup-simplify]: Simplify x into x 1.772 * [taylor]: Taking taylor expansion of y in y 1.772 * [backup-simplify]: Simplify 0 into 0 1.772 * [backup-simplify]: Simplify 1 into 1 1.772 * [backup-simplify]: Simplify (* x 0) into 0 1.773 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.773 * [backup-simplify]: Simplify (/ z x) into (/ z x) 1.773 * [taylor]: Taking taylor expansion of (/ z x) in x 1.773 * [taylor]: Taking taylor expansion of z in x 1.773 * [backup-simplify]: Simplify z into z 1.773 * [taylor]: Taking taylor expansion of x in x 1.773 * [backup-simplify]: Simplify 0 into 0 1.773 * [backup-simplify]: Simplify 1 into 1 1.773 * [backup-simplify]: Simplify (/ z 1) into z 1.773 * [taylor]: Taking taylor expansion of z in z 1.773 * [backup-simplify]: Simplify 0 into 0 1.773 * [backup-simplify]: Simplify 1 into 1 1.773 * [backup-simplify]: Simplify 1 into 1 1.774 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1.774 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1.774 * [taylor]: Taking taylor expansion of 0 in x 1.774 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1.775 * [taylor]: Taking taylor expansion of 0 in z 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify 0 into 0 1.775 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.776 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.776 * [taylor]: Taking taylor expansion of 0 in x 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [taylor]: Taking taylor expansion of 0 in z 1.776 * [backup-simplify]: Simplify 0 into 0 1.776 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.778 * [taylor]: Taking taylor expansion of 0 in z 1.778 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify 0 into 0 1.778 * [backup-simplify]: Simplify 0 into 0 1.779 * [backup-simplify]: Simplify (* 1 (* (/ 1 z) (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (/ (* x y) z) 1.779 * [backup-simplify]: Simplify (/ (* (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- z))) into (* -1 (/ z (* x y))) 1.779 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y x z) around 0 1.779 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 1.779 * [taylor]: Taking taylor expansion of -1 in z 1.779 * [backup-simplify]: Simplify -1 into -1 1.779 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 1.779 * [taylor]: Taking taylor expansion of z in z 1.779 * [backup-simplify]: Simplify 0 into 0 1.779 * [backup-simplify]: Simplify 1 into 1 1.779 * [taylor]: Taking taylor expansion of (* x y) in z 1.779 * [taylor]: Taking taylor expansion of x in z 1.779 * [backup-simplify]: Simplify x into x 1.779 * [taylor]: Taking taylor expansion of y in z 1.779 * [backup-simplify]: Simplify y into y 1.780 * [backup-simplify]: Simplify (* x y) into (* x y) 1.780 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 1.780 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 1.780 * [taylor]: Taking taylor expansion of -1 in x 1.780 * [backup-simplify]: Simplify -1 into -1 1.780 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 1.780 * [taylor]: Taking taylor expansion of z in x 1.780 * [backup-simplify]: Simplify z into z 1.780 * [taylor]: Taking taylor expansion of (* x y) in x 1.780 * [taylor]: Taking taylor expansion of x in x 1.780 * [backup-simplify]: Simplify 0 into 0 1.780 * [backup-simplify]: Simplify 1 into 1 1.780 * [taylor]: Taking taylor expansion of y in x 1.780 * [backup-simplify]: Simplify y into y 1.780 * [backup-simplify]: Simplify (* 0 y) into 0 1.781 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 1.781 * [backup-simplify]: Simplify (/ z y) into (/ z y) 1.781 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1.781 * [taylor]: Taking taylor expansion of -1 in y 1.781 * [backup-simplify]: Simplify -1 into -1 1.781 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 1.781 * [taylor]: Taking taylor expansion of z in y 1.781 * [backup-simplify]: Simplify z into z 1.781 * [taylor]: Taking taylor expansion of (* x y) in y 1.781 * [taylor]: Taking taylor expansion of x in y 1.781 * [backup-simplify]: Simplify x into x 1.781 * [taylor]: Taking taylor expansion of y in y 1.781 * [backup-simplify]: Simplify 0 into 0 1.781 * [backup-simplify]: Simplify 1 into 1 1.781 * [backup-simplify]: Simplify (* x 0) into 0 1.782 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.782 * [backup-simplify]: Simplify (/ z x) into (/ z x) 1.782 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 1.782 * [taylor]: Taking taylor expansion of -1 in y 1.782 * [backup-simplify]: Simplify -1 into -1 1.782 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 1.782 * [taylor]: Taking taylor expansion of z in y 1.782 * [backup-simplify]: Simplify z into z 1.782 * [taylor]: Taking taylor expansion of (* x y) in y 1.782 * [taylor]: Taking taylor expansion of x in y 1.782 * [backup-simplify]: Simplify x into x 1.782 * [taylor]: Taking taylor expansion of y in y 1.782 * [backup-simplify]: Simplify 0 into 0 1.782 * [backup-simplify]: Simplify 1 into 1 1.782 * [backup-simplify]: Simplify (* x 0) into 0 1.783 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 1.783 * [backup-simplify]: Simplify (/ z x) into (/ z x) 1.783 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 1.783 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in x 1.783 * [taylor]: Taking taylor expansion of -1 in x 1.783 * [backup-simplify]: Simplify -1 into -1 1.783 * [taylor]: Taking taylor expansion of (/ z x) in x 1.783 * [taylor]: Taking taylor expansion of z in x 1.783 * [backup-simplify]: Simplify z into z 1.783 * [taylor]: Taking taylor expansion of x in x 1.783 * [backup-simplify]: Simplify 0 into 0 1.783 * [backup-simplify]: Simplify 1 into 1 1.784 * [backup-simplify]: Simplify (/ z 1) into z 1.784 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1.784 * [taylor]: Taking taylor expansion of (* -1 z) in z 1.784 * [taylor]: Taking taylor expansion of -1 in z 1.784 * [backup-simplify]: Simplify -1 into -1 1.784 * [taylor]: Taking taylor expansion of z in z 1.784 * [backup-simplify]: Simplify 0 into 0 1.784 * [backup-simplify]: Simplify 1 into 1 1.784 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1 1.785 * [backup-simplify]: Simplify -1 into -1 1.785 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 1.785 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 1.786 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 1.786 * [taylor]: Taking taylor expansion of 0 in x 1.786 * [backup-simplify]: Simplify 0 into 0 1.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)))) into 0 1.787 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 z)) into 0 1.787 * [taylor]: Taking taylor expansion of 0 in z 1.787 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify 0 into 0 1.788 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1.789 * [backup-simplify]: Simplify 0 into 0 1.789 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.790 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 1.790 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 1.790 * [taylor]: Taking taylor expansion of 0 in x 1.790 * [backup-simplify]: Simplify 0 into 0 1.791 * [taylor]: Taking taylor expansion of 0 in z 1.791 * [backup-simplify]: Simplify 0 into 0 1.791 * [backup-simplify]: Simplify 0 into 0 1.792 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* z (/ 0 1)) (* 0 (/ 0 1)))) into 0 1.793 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 z))) into 0 1.793 * [taylor]: Taking taylor expansion of 0 in z 1.793 * [backup-simplify]: Simplify 0 into 0 1.793 * [backup-simplify]: Simplify 0 into 0 1.793 * [backup-simplify]: Simplify 0 into 0 1.794 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1.794 * [backup-simplify]: Simplify 0 into 0 1.795 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- z)) (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 1.795 * * * [progress]: simplifying candidates 1.795 * [simplify]: Simplifying: (- (+ (log y) (log x)) (log z)) (- (log (* y x)) (log z)) (log (/ (* y x) z)) (exp (/ (* y x) z)) (/ (* (* (* y y) y) (* (* x x) x)) (* (* z z) z)) (/ (* (* (* y x) (* y x)) (* y x)) (* (* z z) z)) (* (cbrt (/ (* y x) z)) (cbrt (/ (* y x) z))) (cbrt (/ (* y x) z)) (* (* (/ (* y x) z) (/ (* y x) z)) (/ (* y x) z)) (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z)) (- (* y x)) (- z) (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ y (sqrt z)) (/ x (sqrt z)) (/ y 1) (/ x z) (/ 1 z) (/ z (* y x)) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (/ (* y x) 1) (/ z x) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 1.796 * * [simplify]: Extracting # 0 : cost 0 1.796 * * [simplify]: Extracting # 1 : cost 0 1.796 * * [simplify]: Extracting # 2 : cost 0 1.797 * * [simplify]: Extracting # 3 : cost 0 1.797 * * [simplify]: Extracting # 4 : cost 0 1.797 * * [simplify]: Extracting # 5 : cost 0 1.797 * * [simplify]: Extracting # 6 : cost 0 1.797 * * [simplify]: iteration 0 : 50 enodes (cost 186 ) 1.817 * * [simplify]: Extracting # 0 : cost 0 1.817 * * [simplify]: Extracting # 1 : cost 0 1.818 * * [simplify]: Extracting # 2 : cost 0 1.818 * * [simplify]: iteration 1 : 124 enodes (cost 179 ) 1.897 * * [simplify]: Extracting # 0 : cost 0 1.898 * * [simplify]: Extracting # 1 : cost 0 1.899 * * [simplify]: Extracting # 2 : cost 0 1.901 * * [simplify]: Extracting # 3 : cost 0 1.902 * * [simplify]: Extracting # 4 : cost 0 1.904 * * [simplify]: iteration 2 : 641 enodes (cost 155 ) 2.574 * * [simplify]: Extracting # 0 : cost 0 2.598 * * [simplify]: Extracting # 1 : cost 0 2.612 * * [simplify]: Extracting # 2 : cost 0 2.625 * * [simplify]: Extracting # 3 : cost 0 2.638 * * [simplify]: Extracting # 4 : cost 0 2.652 * * [simplify]: Extracting # 5 : cost 0 2.670 * * [simplify]: Extracting # 6 : cost 0 2.687 * * [simplify]: iteration done: 5000 enodes (cost 149 ) 2.687 * [simplify]: Simplified to: (log (/ (* y x) z)) (log (/ (* y x) z)) (log (/ (* y x) z)) (exp (/ (* y x) z)) (pow (/ (* y x) z) 3) (pow (/ (* y x) z) 3) (* (cbrt (/ (* y x) z)) (cbrt (/ (* y x) z))) (cbrt (/ (* y x) z)) (pow (/ (* y x) z) 3) (sqrt (/ (* y x) z)) (sqrt (/ (* y x) z)) (- (* y x)) (- z) (/ y (* (cbrt z) (cbrt z))) (/ x (cbrt z)) (/ y (sqrt z)) (/ x (sqrt z)) y (/ x z) (/ 1 z) (/ z (* y x)) (/ (* y x) (* (cbrt z) (cbrt z))) (/ (* y x) (sqrt z)) (* y x) (/ z x) (/ (* y x) z) (/ (* y x) z) (/ (* y x) z) 2.688 * * * [progress]: adding candidates to table 2.821 * * [progress]: iteration 2 / 4 2.821 * * * [progress]: picking best candidate 2.857 * * * * [pick]: Picked # 2.857 * * * [progress]: localizing error 2.873 * * * [progress]: generating rewritten candidates 2.873 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 2.888 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 2.924 * * * [progress]: generating series expansions 2.924 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 2.924 * [backup-simplify]: Simplify (/ z (* y x)) into (/ z (* x y)) 2.925 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z y x) around 0 2.925 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 2.925 * [taylor]: Taking taylor expansion of z in x 2.925 * [backup-simplify]: Simplify z into z 2.925 * [taylor]: Taking taylor expansion of (* x y) in x 2.925 * [taylor]: Taking taylor expansion of x in x 2.925 * [backup-simplify]: Simplify 0 into 0 2.925 * [backup-simplify]: Simplify 1 into 1 2.925 * [taylor]: Taking taylor expansion of y in x 2.925 * [backup-simplify]: Simplify y into y 2.925 * [backup-simplify]: Simplify (* 0 y) into 0 2.926 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.926 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.926 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 2.926 * [taylor]: Taking taylor expansion of z in y 2.926 * [backup-simplify]: Simplify z into z 2.926 * [taylor]: Taking taylor expansion of (* x y) in y 2.926 * [taylor]: Taking taylor expansion of x in y 2.926 * [backup-simplify]: Simplify x into x 2.926 * [taylor]: Taking taylor expansion of y in y 2.926 * [backup-simplify]: Simplify 0 into 0 2.926 * [backup-simplify]: Simplify 1 into 1 2.926 * [backup-simplify]: Simplify (* x 0) into 0 2.927 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.927 * [backup-simplify]: Simplify (/ z x) into (/ z x) 2.927 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 2.927 * [taylor]: Taking taylor expansion of z in z 2.927 * [backup-simplify]: Simplify 0 into 0 2.927 * [backup-simplify]: Simplify 1 into 1 2.927 * [taylor]: Taking taylor expansion of (* x y) in z 2.927 * [taylor]: Taking taylor expansion of x in z 2.927 * [backup-simplify]: Simplify x into x 2.927 * [taylor]: Taking taylor expansion of y in z 2.927 * [backup-simplify]: Simplify y into y 2.927 * [backup-simplify]: Simplify (* x y) into (* x y) 2.927 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.927 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 2.927 * [taylor]: Taking taylor expansion of z in z 2.927 * [backup-simplify]: Simplify 0 into 0 2.927 * [backup-simplify]: Simplify 1 into 1 2.927 * [taylor]: Taking taylor expansion of (* x y) in z 2.927 * [taylor]: Taking taylor expansion of x in z 2.927 * [backup-simplify]: Simplify x into x 2.927 * [taylor]: Taking taylor expansion of y in z 2.927 * [backup-simplify]: Simplify y into y 2.927 * [backup-simplify]: Simplify (* x y) into (* x y) 2.927 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.927 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.928 * [taylor]: Taking taylor expansion of (* x y) in y 2.928 * [taylor]: Taking taylor expansion of x in y 2.928 * [backup-simplify]: Simplify x into x 2.928 * [taylor]: Taking taylor expansion of y in y 2.928 * [backup-simplify]: Simplify 0 into 0 2.928 * [backup-simplify]: Simplify 1 into 1 2.928 * [backup-simplify]: Simplify (* x 0) into 0 2.928 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.928 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.928 * [taylor]: Taking taylor expansion of x in x 2.928 * [backup-simplify]: Simplify 0 into 0 2.928 * [backup-simplify]: Simplify 1 into 1 2.929 * [backup-simplify]: Simplify (/ 1 1) into 1 2.929 * [backup-simplify]: Simplify 1 into 1 2.929 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.929 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 2.929 * [taylor]: Taking taylor expansion of 0 in y 2.929 * [backup-simplify]: Simplify 0 into 0 2.930 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 2.930 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.930 * [taylor]: Taking taylor expansion of 0 in x 2.930 * [backup-simplify]: Simplify 0 into 0 2.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.931 * [backup-simplify]: Simplify 0 into 0 2.932 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.932 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.932 * [taylor]: Taking taylor expansion of 0 in y 2.932 * [backup-simplify]: Simplify 0 into 0 2.932 * [taylor]: Taking taylor expansion of 0 in x 2.932 * [backup-simplify]: Simplify 0 into 0 2.933 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.933 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.933 * [taylor]: Taking taylor expansion of 0 in x 2.933 * [backup-simplify]: Simplify 0 into 0 2.933 * [backup-simplify]: Simplify 0 into 0 2.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.934 * [backup-simplify]: Simplify 0 into 0 2.935 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.936 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.936 * [taylor]: Taking taylor expansion of 0 in y 2.936 * [backup-simplify]: Simplify 0 into 0 2.936 * [taylor]: Taking taylor expansion of 0 in x 2.936 * [backup-simplify]: Simplify 0 into 0 2.936 * [taylor]: Taking taylor expansion of 0 in x 2.936 * [backup-simplify]: Simplify 0 into 0 2.937 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.937 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.937 * [taylor]: Taking taylor expansion of 0 in x 2.937 * [backup-simplify]: Simplify 0 into 0 2.937 * [backup-simplify]: Simplify 0 into 0 2.937 * [backup-simplify]: Simplify 0 into 0 2.937 * [backup-simplify]: Simplify 0 into 0 2.937 * [backup-simplify]: Simplify (* 1 (* (/ 1 x) (* (/ 1 y) z))) into (/ z (* x y)) 2.938 * [backup-simplify]: Simplify (/ (/ 1 z) (* (/ 1 y) (/ 1 x))) into (/ (* x y) z) 2.938 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z y x) around 0 2.938 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 2.938 * [taylor]: Taking taylor expansion of (* x y) in x 2.938 * [taylor]: Taking taylor expansion of x in x 2.938 * [backup-simplify]: Simplify 0 into 0 2.938 * [backup-simplify]: Simplify 1 into 1 2.938 * [taylor]: Taking taylor expansion of y in x 2.938 * [backup-simplify]: Simplify y into y 2.938 * [taylor]: Taking taylor expansion of z in x 2.938 * [backup-simplify]: Simplify z into z 2.938 * [backup-simplify]: Simplify (* 0 y) into 0 2.938 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.939 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.939 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 2.939 * [taylor]: Taking taylor expansion of (* x y) in y 2.939 * [taylor]: Taking taylor expansion of x in y 2.939 * [backup-simplify]: Simplify x into x 2.939 * [taylor]: Taking taylor expansion of y in y 2.939 * [backup-simplify]: Simplify 0 into 0 2.939 * [backup-simplify]: Simplify 1 into 1 2.939 * [taylor]: Taking taylor expansion of z in y 2.939 * [backup-simplify]: Simplify z into z 2.939 * [backup-simplify]: Simplify (* x 0) into 0 2.939 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.939 * [backup-simplify]: Simplify (/ x z) into (/ x z) 2.939 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 2.939 * [taylor]: Taking taylor expansion of (* x y) in z 2.939 * [taylor]: Taking taylor expansion of x in z 2.939 * [backup-simplify]: Simplify x into x 2.939 * [taylor]: Taking taylor expansion of y in z 2.940 * [backup-simplify]: Simplify y into y 2.940 * [taylor]: Taking taylor expansion of z in z 2.940 * [backup-simplify]: Simplify 0 into 0 2.940 * [backup-simplify]: Simplify 1 into 1 2.940 * [backup-simplify]: Simplify (* x y) into (* x y) 2.940 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 2.940 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 2.940 * [taylor]: Taking taylor expansion of (* x y) in z 2.940 * [taylor]: Taking taylor expansion of x in z 2.940 * [backup-simplify]: Simplify x into x 2.940 * [taylor]: Taking taylor expansion of y in z 2.940 * [backup-simplify]: Simplify y into y 2.940 * [taylor]: Taking taylor expansion of z in z 2.940 * [backup-simplify]: Simplify 0 into 0 2.940 * [backup-simplify]: Simplify 1 into 1 2.940 * [backup-simplify]: Simplify (* x y) into (* x y) 2.940 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 2.940 * [taylor]: Taking taylor expansion of (* x y) in y 2.940 * [taylor]: Taking taylor expansion of x in y 2.940 * [backup-simplify]: Simplify x into x 2.940 * [taylor]: Taking taylor expansion of y in y 2.940 * [backup-simplify]: Simplify 0 into 0 2.940 * [backup-simplify]: Simplify 1 into 1 2.941 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.941 * [taylor]: Taking taylor expansion of x in x 2.941 * [backup-simplify]: Simplify 0 into 0 2.941 * [backup-simplify]: Simplify 1 into 1 2.941 * [backup-simplify]: Simplify 1 into 1 2.941 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.942 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 2.942 * [taylor]: Taking taylor expansion of 0 in y 2.942 * [backup-simplify]: Simplify 0 into 0 2.942 * [taylor]: Taking taylor expansion of 0 in x 2.942 * [backup-simplify]: Simplify 0 into 0 2.942 * [backup-simplify]: Simplify 0 into 0 2.943 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 2.943 * [taylor]: Taking taylor expansion of 0 in x 2.943 * [backup-simplify]: Simplify 0 into 0 2.943 * [backup-simplify]: Simplify 0 into 0 2.943 * [backup-simplify]: Simplify 0 into 0 2.944 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.945 * [taylor]: Taking taylor expansion of 0 in y 2.945 * [backup-simplify]: Simplify 0 into 0 2.945 * [taylor]: Taking taylor expansion of 0 in x 2.945 * [backup-simplify]: Simplify 0 into 0 2.945 * [backup-simplify]: Simplify 0 into 0 2.945 * [taylor]: Taking taylor expansion of 0 in x 2.945 * [backup-simplify]: Simplify 0 into 0 2.945 * [backup-simplify]: Simplify 0 into 0 2.946 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.946 * [taylor]: Taking taylor expansion of 0 in x 2.946 * [backup-simplify]: Simplify 0 into 0 2.946 * [backup-simplify]: Simplify 0 into 0 2.946 * [backup-simplify]: Simplify (* 1 (* (/ 1 x) (* (/ 1 y) (/ 1 (/ 1 z))))) into (/ z (* x y)) 2.947 * [backup-simplify]: Simplify (/ (/ 1 (- z)) (* (/ 1 (- y)) (/ 1 (- x)))) into (* -1 (/ (* x y) z)) 2.947 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z y x) around 0 2.947 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 2.947 * [taylor]: Taking taylor expansion of -1 in x 2.947 * [backup-simplify]: Simplify -1 into -1 2.947 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 2.947 * [taylor]: Taking taylor expansion of (* x y) in x 2.947 * [taylor]: Taking taylor expansion of x in x 2.947 * [backup-simplify]: Simplify 0 into 0 2.947 * [backup-simplify]: Simplify 1 into 1 2.947 * [taylor]: Taking taylor expansion of y in x 2.947 * [backup-simplify]: Simplify y into y 2.947 * [taylor]: Taking taylor expansion of z in x 2.947 * [backup-simplify]: Simplify z into z 2.947 * [backup-simplify]: Simplify (* 0 y) into 0 2.948 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.948 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.948 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 2.948 * [taylor]: Taking taylor expansion of -1 in y 2.948 * [backup-simplify]: Simplify -1 into -1 2.948 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 2.948 * [taylor]: Taking taylor expansion of (* x y) in y 2.948 * [taylor]: Taking taylor expansion of x in y 2.948 * [backup-simplify]: Simplify x into x 2.948 * [taylor]: Taking taylor expansion of y in y 2.948 * [backup-simplify]: Simplify 0 into 0 2.948 * [backup-simplify]: Simplify 1 into 1 2.948 * [taylor]: Taking taylor expansion of z in y 2.948 * [backup-simplify]: Simplify z into z 2.948 * [backup-simplify]: Simplify (* x 0) into 0 2.948 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.949 * [backup-simplify]: Simplify (/ x z) into (/ x z) 2.949 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 2.949 * [taylor]: Taking taylor expansion of -1 in z 2.949 * [backup-simplify]: Simplify -1 into -1 2.956 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 2.956 * [taylor]: Taking taylor expansion of (* x y) in z 2.956 * [taylor]: Taking taylor expansion of x in z 2.956 * [backup-simplify]: Simplify x into x 2.956 * [taylor]: Taking taylor expansion of y in z 2.956 * [backup-simplify]: Simplify y into y 2.956 * [taylor]: Taking taylor expansion of z in z 2.956 * [backup-simplify]: Simplify 0 into 0 2.956 * [backup-simplify]: Simplify 1 into 1 2.957 * [backup-simplify]: Simplify (* x y) into (* x y) 2.957 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 2.957 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 2.957 * [taylor]: Taking taylor expansion of -1 in z 2.957 * [backup-simplify]: Simplify -1 into -1 2.957 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 2.957 * [taylor]: Taking taylor expansion of (* x y) in z 2.957 * [taylor]: Taking taylor expansion of x in z 2.957 * [backup-simplify]: Simplify x into x 2.957 * [taylor]: Taking taylor expansion of y in z 2.957 * [backup-simplify]: Simplify y into y 2.957 * [taylor]: Taking taylor expansion of z in z 2.957 * [backup-simplify]: Simplify 0 into 0 2.957 * [backup-simplify]: Simplify 1 into 1 2.957 * [backup-simplify]: Simplify (* x y) into (* x y) 2.957 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 2.957 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y)) 2.957 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in y 2.957 * [taylor]: Taking taylor expansion of -1 in y 2.958 * [backup-simplify]: Simplify -1 into -1 2.958 * [taylor]: Taking taylor expansion of (* x y) in y 2.958 * [taylor]: Taking taylor expansion of x in y 2.958 * [backup-simplify]: Simplify x into x 2.958 * [taylor]: Taking taylor expansion of y in y 2.958 * [backup-simplify]: Simplify 0 into 0 2.958 * [backup-simplify]: Simplify 1 into 1 2.959 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.959 * [backup-simplify]: Simplify (* x 0) into 0 2.959 * [backup-simplify]: Simplify (+ (* -1 x) (* 0 0)) into (- x) 2.959 * [taylor]: Taking taylor expansion of (- x) in x 2.959 * [taylor]: Taking taylor expansion of x in x 2.959 * [backup-simplify]: Simplify 0 into 0 2.959 * [backup-simplify]: Simplify 1 into 1 2.960 * [backup-simplify]: Simplify (- 1) into -1 2.960 * [backup-simplify]: Simplify -1 into -1 2.960 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.961 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 2.962 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0 2.962 * [taylor]: Taking taylor expansion of 0 in y 2.962 * [backup-simplify]: Simplify 0 into 0 2.962 * [taylor]: Taking taylor expansion of 0 in x 2.962 * [backup-simplify]: Simplify 0 into 0 2.962 * [backup-simplify]: Simplify 0 into 0 2.963 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 2.964 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 x) (* 0 0))) into 0 2.964 * [taylor]: Taking taylor expansion of 0 in x 2.964 * [backup-simplify]: Simplify 0 into 0 2.964 * [backup-simplify]: Simplify 0 into 0 2.964 * [backup-simplify]: Simplify (- 0) into 0 2.964 * [backup-simplify]: Simplify 0 into 0 2.965 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.966 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.967 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0 2.967 * [taylor]: Taking taylor expansion of 0 in y 2.967 * [backup-simplify]: Simplify 0 into 0 2.967 * [taylor]: Taking taylor expansion of 0 in x 2.967 * [backup-simplify]: Simplify 0 into 0 2.967 * [backup-simplify]: Simplify 0 into 0 2.968 * [taylor]: Taking taylor expansion of 0 in x 2.968 * [backup-simplify]: Simplify 0 into 0 2.968 * [backup-simplify]: Simplify 0 into 0 2.969 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.970 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 x) (* 0 0)))) into 0 2.970 * [taylor]: Taking taylor expansion of 0 in x 2.970 * [backup-simplify]: Simplify 0 into 0 2.970 * [backup-simplify]: Simplify 0 into 0 2.970 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- x)) (* (/ 1 (- y)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y)) 2.970 * * * * [progress]: [ 2 / 2 ] generating series at (2) 2.971 * [backup-simplify]: Simplify (/ 1 (/ z (* y x))) into (/ (* x y) z) 2.971 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z y x) around 0 2.971 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 2.971 * [taylor]: Taking taylor expansion of (* x y) in x 2.971 * [taylor]: Taking taylor expansion of x in x 2.971 * [backup-simplify]: Simplify 0 into 0 2.971 * [backup-simplify]: Simplify 1 into 1 2.971 * [taylor]: Taking taylor expansion of y in x 2.971 * [backup-simplify]: Simplify y into y 2.971 * [taylor]: Taking taylor expansion of z in x 2.971 * [backup-simplify]: Simplify z into z 2.971 * [backup-simplify]: Simplify (* 0 y) into 0 2.972 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.972 * [backup-simplify]: Simplify (/ y z) into (/ y z) 2.972 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 2.972 * [taylor]: Taking taylor expansion of (* x y) in y 2.972 * [taylor]: Taking taylor expansion of x in y 2.972 * [backup-simplify]: Simplify x into x 2.972 * [taylor]: Taking taylor expansion of y in y 2.972 * [backup-simplify]: Simplify 0 into 0 2.972 * [backup-simplify]: Simplify 1 into 1 2.972 * [taylor]: Taking taylor expansion of z in y 2.972 * [backup-simplify]: Simplify z into z 2.972 * [backup-simplify]: Simplify (* x 0) into 0 2.973 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.973 * [backup-simplify]: Simplify (/ x z) into (/ x z) 2.973 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 2.973 * [taylor]: Taking taylor expansion of (* x y) in z 2.973 * [taylor]: Taking taylor expansion of x in z 2.973 * [backup-simplify]: Simplify x into x 2.973 * [taylor]: Taking taylor expansion of y in z 2.973 * [backup-simplify]: Simplify y into y 2.973 * [taylor]: Taking taylor expansion of z in z 2.973 * [backup-simplify]: Simplify 0 into 0 2.973 * [backup-simplify]: Simplify 1 into 1 2.973 * [backup-simplify]: Simplify (* x y) into (* x y) 2.973 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 2.973 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 2.973 * [taylor]: Taking taylor expansion of (* x y) in z 2.973 * [taylor]: Taking taylor expansion of x in z 2.973 * [backup-simplify]: Simplify x into x 2.973 * [taylor]: Taking taylor expansion of y in z 2.973 * [backup-simplify]: Simplify y into y 2.973 * [taylor]: Taking taylor expansion of z in z 2.973 * [backup-simplify]: Simplify 0 into 0 2.973 * [backup-simplify]: Simplify 1 into 1 2.973 * [backup-simplify]: Simplify (* x y) into (* x y) 2.973 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 2.974 * [taylor]: Taking taylor expansion of (* x y) in y 2.974 * [taylor]: Taking taylor expansion of x in y 2.974 * [backup-simplify]: Simplify x into x 2.974 * [taylor]: Taking taylor expansion of y in y 2.974 * [backup-simplify]: Simplify 0 into 0 2.974 * [backup-simplify]: Simplify 1 into 1 2.974 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.974 * [taylor]: Taking taylor expansion of x in x 2.974 * [backup-simplify]: Simplify 0 into 0 2.974 * [backup-simplify]: Simplify 1 into 1 2.974 * [backup-simplify]: Simplify 1 into 1 2.975 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.976 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 2.976 * [taylor]: Taking taylor expansion of 0 in y 2.976 * [backup-simplify]: Simplify 0 into 0 2.976 * [taylor]: Taking taylor expansion of 0 in x 2.976 * [backup-simplify]: Simplify 0 into 0 2.976 * [backup-simplify]: Simplify 0 into 0 2.977 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 2.977 * [taylor]: Taking taylor expansion of 0 in x 2.977 * [backup-simplify]: Simplify 0 into 0 2.977 * [backup-simplify]: Simplify 0 into 0 2.977 * [backup-simplify]: Simplify 0 into 0 2.977 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.979 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.979 * [taylor]: Taking taylor expansion of 0 in y 2.979 * [backup-simplify]: Simplify 0 into 0 2.979 * [taylor]: Taking taylor expansion of 0 in x 2.979 * [backup-simplify]: Simplify 0 into 0 2.979 * [backup-simplify]: Simplify 0 into 0 2.979 * [taylor]: Taking taylor expansion of 0 in x 2.979 * [backup-simplify]: Simplify 0 into 0 2.979 * [backup-simplify]: Simplify 0 into 0 2.980 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.980 * [taylor]: Taking taylor expansion of 0 in x 2.980 * [backup-simplify]: Simplify 0 into 0 2.980 * [backup-simplify]: Simplify 0 into 0 2.980 * [backup-simplify]: Simplify (* 1 (* x (* y (/ 1 z)))) into (/ (* x y) z) 2.981 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 z) (* (/ 1 y) (/ 1 x)))) into (/ z (* x y)) 2.981 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z y x) around 0 2.981 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 2.981 * [taylor]: Taking taylor expansion of z in x 2.981 * [backup-simplify]: Simplify z into z 2.981 * [taylor]: Taking taylor expansion of (* x y) in x 2.981 * [taylor]: Taking taylor expansion of x in x 2.981 * [backup-simplify]: Simplify 0 into 0 2.981 * [backup-simplify]: Simplify 1 into 1 2.981 * [taylor]: Taking taylor expansion of y in x 2.981 * [backup-simplify]: Simplify y into y 2.981 * [backup-simplify]: Simplify (* 0 y) into 0 2.982 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.982 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.982 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 2.982 * [taylor]: Taking taylor expansion of z in y 2.982 * [backup-simplify]: Simplify z into z 2.982 * [taylor]: Taking taylor expansion of (* x y) in y 2.982 * [taylor]: Taking taylor expansion of x in y 2.982 * [backup-simplify]: Simplify x into x 2.982 * [taylor]: Taking taylor expansion of y in y 2.982 * [backup-simplify]: Simplify 0 into 0 2.982 * [backup-simplify]: Simplify 1 into 1 2.982 * [backup-simplify]: Simplify (* x 0) into 0 2.983 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.983 * [backup-simplify]: Simplify (/ z x) into (/ z x) 2.983 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 2.983 * [taylor]: Taking taylor expansion of z in z 2.983 * [backup-simplify]: Simplify 0 into 0 2.983 * [backup-simplify]: Simplify 1 into 1 2.983 * [taylor]: Taking taylor expansion of (* x y) in z 2.983 * [taylor]: Taking taylor expansion of x in z 2.983 * [backup-simplify]: Simplify x into x 2.983 * [taylor]: Taking taylor expansion of y in z 2.983 * [backup-simplify]: Simplify y into y 2.983 * [backup-simplify]: Simplify (* x y) into (* x y) 2.983 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.983 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 2.983 * [taylor]: Taking taylor expansion of z in z 2.983 * [backup-simplify]: Simplify 0 into 0 2.983 * [backup-simplify]: Simplify 1 into 1 2.983 * [taylor]: Taking taylor expansion of (* x y) in z 2.983 * [taylor]: Taking taylor expansion of x in z 2.983 * [backup-simplify]: Simplify x into x 2.983 * [taylor]: Taking taylor expansion of y in z 2.983 * [backup-simplify]: Simplify y into y 2.984 * [backup-simplify]: Simplify (* x y) into (* x y) 2.984 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 2.984 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 2.984 * [taylor]: Taking taylor expansion of (* x y) in y 2.984 * [taylor]: Taking taylor expansion of x in y 2.984 * [backup-simplify]: Simplify x into x 2.984 * [taylor]: Taking taylor expansion of y in y 2.984 * [backup-simplify]: Simplify 0 into 0 2.984 * [backup-simplify]: Simplify 1 into 1 2.984 * [backup-simplify]: Simplify (* x 0) into 0 2.985 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.985 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.985 * [taylor]: Taking taylor expansion of x in x 2.985 * [backup-simplify]: Simplify 0 into 0 2.985 * [backup-simplify]: Simplify 1 into 1 2.986 * [backup-simplify]: Simplify (/ 1 1) into 1 2.986 * [backup-simplify]: Simplify 1 into 1 2.986 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 2.987 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 2.987 * [taylor]: Taking taylor expansion of 0 in y 2.987 * [backup-simplify]: Simplify 0 into 0 2.988 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 2.988 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.988 * [taylor]: Taking taylor expansion of 0 in x 2.988 * [backup-simplify]: Simplify 0 into 0 2.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.989 * [backup-simplify]: Simplify 0 into 0 2.990 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 2.990 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.990 * [taylor]: Taking taylor expansion of 0 in y 2.990 * [backup-simplify]: Simplify 0 into 0 2.990 * [taylor]: Taking taylor expansion of 0 in x 2.990 * [backup-simplify]: Simplify 0 into 0 2.992 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.992 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.992 * [taylor]: Taking taylor expansion of 0 in x 2.992 * [backup-simplify]: Simplify 0 into 0 2.992 * [backup-simplify]: Simplify 0 into 0 2.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.993 * [backup-simplify]: Simplify 0 into 0 2.994 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 2.994 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 2.995 * [taylor]: Taking taylor expansion of 0 in y 2.995 * [backup-simplify]: Simplify 0 into 0 2.995 * [taylor]: Taking taylor expansion of 0 in x 2.995 * [backup-simplify]: Simplify 0 into 0 2.995 * [taylor]: Taking taylor expansion of 0 in x 2.995 * [backup-simplify]: Simplify 0 into 0 2.996 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.996 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.996 * [taylor]: Taking taylor expansion of 0 in x 2.996 * [backup-simplify]: Simplify 0 into 0 2.996 * [backup-simplify]: Simplify 0 into 0 2.996 * [backup-simplify]: Simplify 0 into 0 2.996 * [backup-simplify]: Simplify 0 into 0 2.997 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) (/ 1 z)))) into (/ (* x y) z) 2.997 * [backup-simplify]: Simplify (/ 1 (/ (/ 1 (- z)) (* (/ 1 (- y)) (/ 1 (- x))))) into (* -1 (/ z (* x y))) 2.997 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z y x) around 0 2.997 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 2.997 * [taylor]: Taking taylor expansion of -1 in x 2.997 * [backup-simplify]: Simplify -1 into -1 2.997 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 2.997 * [taylor]: Taking taylor expansion of z in x 2.997 * [backup-simplify]: Simplify z into z 2.997 * [taylor]: Taking taylor expansion of (* x y) in x 2.997 * [taylor]: Taking taylor expansion of x in x 2.997 * [backup-simplify]: Simplify 0 into 0 2.997 * [backup-simplify]: Simplify 1 into 1 2.997 * [taylor]: Taking taylor expansion of y in x 2.997 * [backup-simplify]: Simplify y into y 2.997 * [backup-simplify]: Simplify (* 0 y) into 0 2.998 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 2.998 * [backup-simplify]: Simplify (/ z y) into (/ z y) 2.998 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 2.998 * [taylor]: Taking taylor expansion of -1 in y 2.998 * [backup-simplify]: Simplify -1 into -1 2.998 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 2.998 * [taylor]: Taking taylor expansion of z in y 2.998 * [backup-simplify]: Simplify z into z 2.998 * [taylor]: Taking taylor expansion of (* x y) in y 2.998 * [taylor]: Taking taylor expansion of x in y 2.998 * [backup-simplify]: Simplify x into x 2.998 * [taylor]: Taking taylor expansion of y in y 2.998 * [backup-simplify]: Simplify 0 into 0 2.998 * [backup-simplify]: Simplify 1 into 1 2.998 * [backup-simplify]: Simplify (* x 0) into 0 2.999 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 2.999 * [backup-simplify]: Simplify (/ z x) into (/ z x) 2.999 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 2.999 * [taylor]: Taking taylor expansion of -1 in z 2.999 * [backup-simplify]: Simplify -1 into -1 2.999 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 2.999 * [taylor]: Taking taylor expansion of z in z 2.999 * [backup-simplify]: Simplify 0 into 0 2.999 * [backup-simplify]: Simplify 1 into 1 2.999 * [taylor]: Taking taylor expansion of (* x y) in z 2.999 * [taylor]: Taking taylor expansion of x in z 2.999 * [backup-simplify]: Simplify x into x 2.999 * [taylor]: Taking taylor expansion of y in z 2.999 * [backup-simplify]: Simplify y into y 2.999 * [backup-simplify]: Simplify (* x y) into (* x y) 2.999 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 3.000 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 3.000 * [taylor]: Taking taylor expansion of -1 in z 3.000 * [backup-simplify]: Simplify -1 into -1 3.000 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 3.000 * [taylor]: Taking taylor expansion of z in z 3.000 * [backup-simplify]: Simplify 0 into 0 3.000 * [backup-simplify]: Simplify 1 into 1 3.000 * [taylor]: Taking taylor expansion of (* x y) in z 3.000 * [taylor]: Taking taylor expansion of x in z 3.000 * [backup-simplify]: Simplify x into x 3.000 * [taylor]: Taking taylor expansion of y in z 3.000 * [backup-simplify]: Simplify y into y 3.000 * [backup-simplify]: Simplify (* x y) into (* x y) 3.000 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 3.000 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y)) 3.000 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in y 3.000 * [taylor]: Taking taylor expansion of -1 in y 3.000 * [backup-simplify]: Simplify -1 into -1 3.000 * [taylor]: Taking taylor expansion of (* x y) in y 3.000 * [taylor]: Taking taylor expansion of x in y 3.000 * [backup-simplify]: Simplify x into x 3.000 * [taylor]: Taking taylor expansion of y in y 3.000 * [backup-simplify]: Simplify 0 into 0 3.000 * [backup-simplify]: Simplify 1 into 1 3.000 * [backup-simplify]: Simplify (* x 0) into 0 3.001 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.001 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 3.001 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.001 * [taylor]: Taking taylor expansion of -1 in x 3.001 * [backup-simplify]: Simplify -1 into -1 3.001 * [taylor]: Taking taylor expansion of x in x 3.001 * [backup-simplify]: Simplify 0 into 0 3.001 * [backup-simplify]: Simplify 1 into 1 3.002 * [backup-simplify]: Simplify (/ -1 1) into -1 3.002 * [backup-simplify]: Simplify -1 into -1 3.002 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 3.002 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 3.003 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0 3.003 * [taylor]: Taking taylor expansion of 0 in y 3.003 * [backup-simplify]: Simplify 0 into 0 3.004 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.004 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 3.004 * [taylor]: Taking taylor expansion of 0 in x 3.004 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 3.005 * [backup-simplify]: Simplify 0 into 0 3.006 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 3.006 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 3.007 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0 3.007 * [taylor]: Taking taylor expansion of 0 in y 3.007 * [backup-simplify]: Simplify 0 into 0 3.007 * [taylor]: Taking taylor expansion of 0 in x 3.007 * [backup-simplify]: Simplify 0 into 0 3.008 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.008 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.008 * [taylor]: Taking taylor expansion of 0 in x 3.008 * [backup-simplify]: Simplify 0 into 0 3.008 * [backup-simplify]: Simplify 0 into 0 3.009 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.009 * [backup-simplify]: Simplify 0 into 0 3.010 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 3.011 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 3.012 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0 3.012 * [taylor]: Taking taylor expansion of 0 in y 3.012 * [backup-simplify]: Simplify 0 into 0 3.012 * [taylor]: Taking taylor expansion of 0 in x 3.012 * [backup-simplify]: Simplify 0 into 0 3.012 * [taylor]: Taking taylor expansion of 0 in x 3.012 * [backup-simplify]: Simplify 0 into 0 3.013 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.014 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.014 * [taylor]: Taking taylor expansion of 0 in x 3.014 * [backup-simplify]: Simplify 0 into 0 3.014 * [backup-simplify]: Simplify 0 into 0 3.014 * [backup-simplify]: Simplify 0 into 0 3.014 * [backup-simplify]: Simplify 0 into 0 3.014 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) (/ 1 (- z))))) into (/ (* x y) z) 3.014 * * * [progress]: simplifying candidates 3.016 * [simplify]: Simplifying: (- (log z) (+ (log y) (log x))) (- (log z) (log (* y x))) (log (/ z (* y x))) (exp (/ z (* y x))) (/ (* (* z z) z) (* (* (* y y) y) (* (* x x) x))) (/ (* (* z z) z) (* (* (* y x) (* y x)) (* y x))) (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x)))) (cbrt (/ z (* y x))) (* (* (/ z (* y x)) (/ z (* y x))) (/ z (* y x))) (sqrt (/ z (* y x))) (sqrt (/ z (* y x))) (- z) (- (* y x)) (/ (* (cbrt z) (cbrt z)) y) (/ (cbrt z) x) (/ (sqrt z) y) (/ (sqrt z) x) (/ 1 y) (/ z x) (/ 1 (* y x)) (/ (* y x) z) (/ z y) (/ (* y x) (cbrt z)) (/ (* y x) (sqrt z)) (/ (* y x) z) (- 1) (- (- (log z) (+ (log y) (log x)))) (- (- (log z) (log (* y x)))) (- (log (/ z (* y x)))) (- 0 (- (log z) (+ (log y) (log x)))) (- 0 (- (log z) (log (* y x)))) (- 0 (log (/ z (* y x)))) (- (log 1) (- (log z) (+ (log y) (log x)))) (- (log 1) (- (log z) (log (* y x)))) (- (log 1) (log (/ z (* y x)))) (log (/ 1 (/ z (* y x)))) (exp (/ 1 (/ z (* y x)))) (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* y y) y) (* (* x x) x)))) (/ (* (* 1 1) 1) (/ (* (* z z) z) (* (* (* y x) (* y x)) (* y x)))) (/ (* (* 1 1) 1) (* (* (/ z (* y x)) (/ z (* y x))) (/ z (* y x)))) (* (cbrt (/ 1 (/ z (* y x)))) (cbrt (/ 1 (/ z (* y x))))) (cbrt (/ 1 (/ z (* y x)))) (* (* (/ 1 (/ z (* y x))) (/ 1 (/ z (* y x)))) (/ 1 (/ z (* y x)))) (sqrt (/ 1 (/ z (* y x)))) (sqrt (/ 1 (/ z (* y x)))) (- 1) (- (/ z (* y x))) (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))) (/ (cbrt 1) (cbrt (/ z (* y x)))) (/ (* (cbrt 1) (cbrt 1)) (sqrt (/ z (* y x)))) (/ (cbrt 1) (sqrt (/ z (* y x)))) (/ (* (cbrt 1) (cbrt 1)) (/ (* (cbrt z) (cbrt z)) y)) (/ (cbrt 1) (/ (cbrt z) x)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt z) y)) (/ (cbrt 1) (/ (sqrt z) x)) (/ (* (cbrt 1) (cbrt 1)) (/ 1 y)) (/ (cbrt 1) (/ z x)) (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (/ z (* y x))) (/ (* (cbrt 1) (cbrt 1)) z) (/ (cbrt 1) (/ 1 (* y x))) (/ (sqrt 1) (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))) (/ (sqrt 1) (cbrt (/ z (* y x)))) (/ (sqrt 1) (sqrt (/ z (* y x)))) (/ (sqrt 1) (sqrt (/ z (* y x)))) (/ (sqrt 1) (/ (* (cbrt z) (cbrt z)) y)) (/ (sqrt 1) (/ (cbrt z) x)) (/ (sqrt 1) (/ (sqrt z) y)) (/ (sqrt 1) (/ (sqrt z) x)) (/ (sqrt 1) (/ 1 y)) (/ (sqrt 1) (/ z x)) (/ (sqrt 1) 1) (/ (sqrt 1) (/ z (* y x))) (/ (sqrt 1) z) (/ (sqrt 1) (/ 1 (* y x))) (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))) (/ 1 (cbrt (/ z (* y x)))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (/ (* (cbrt z) (cbrt z)) y)) (/ 1 (/ (cbrt z) x)) (/ 1 (/ (sqrt z) y)) (/ 1 (/ (sqrt z) x)) (/ 1 (/ 1 y)) (/ 1 (/ z x)) (/ 1 1) (/ 1 (/ z (* y x))) (/ 1 z) (/ 1 (/ 1 (* y x))) (/ 1 (/ z (* y x))) (/ (/ z (* y x)) 1) (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (/ (* (cbrt z) (cbrt z)) y)) (/ 1 (/ (sqrt z) y)) (/ 1 (/ 1 y)) (/ 1 1) (/ 1 z) (/ (/ z (* y x)) (cbrt 1)) (/ (/ z (* y x)) (sqrt 1)) (/ (/ z (* y x)) 1) (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 3.019 * * [simplify]: Extracting # 0 : cost 0 3.020 * * [simplify]: Extracting # 1 : cost 0 3.020 * * [simplify]: Extracting # 2 : cost 0 3.021 * * [simplify]: Extracting # 3 : cost 0 3.021 * * [simplify]: Extracting # 4 : cost 0 3.021 * * [simplify]: Extracting # 5 : cost 0 3.022 * * [simplify]: Extracting # 6 : cost 0 3.022 * * [simplify]: Extracting # 7 : cost 0 3.022 * * [simplify]: iteration 0 : 121 enodes (cost 866 ) 3.109 * * [simplify]: Extracting # 0 : cost 0 3.110 * * [simplify]: Extracting # 1 : cost 0 3.111 * * [simplify]: Extracting # 2 : cost 0 3.116 * * [simplify]: iteration 1 : 302 enodes (cost 735 ) 3.317 * * [simplify]: Extracting # 0 : cost 0 3.320 * * [simplify]: Extracting # 1 : cost 0 3.324 * * [simplify]: Extracting # 2 : cost 0 3.327 * * [simplify]: Extracting # 3 : cost 0 3.331 * * [simplify]: Extracting # 4 : cost 0 3.334 * * [simplify]: iteration 2 : 1544 enodes (cost 665 ) 4.226 * * [simplify]: Extracting # 0 : cost 0 4.237 * * [simplify]: Extracting # 1 : cost 0 4.261 * * [simplify]: Extracting # 2 : cost 0 4.276 * * [simplify]: iteration done: 5000 enodes (cost 665 ) 4.277 * [simplify]: Simplified to: (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (exp (/ z (* y x))) (/ (pow z 3) (pow (* x y) 3)) (/ (pow z 3) (pow (* x y) 3)) (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x)))) (cbrt (/ z (* y x))) (pow (/ z (* x y)) 3) (sqrt (/ z (* y x))) (sqrt (/ z (* y x))) (- z) (- (* y x)) (/ (* (cbrt z) (cbrt z)) y) (/ (cbrt z) x) (/ (sqrt z) y) (/ (sqrt z) x) (/ 1 y) (/ z x) (/ 1 (* y x)) (/ (* y x) z) (/ z y) (/ (* y x) (cbrt z)) (/ (* y x) (sqrt z)) (/ (* y x) z) -1 (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (- (log (/ z (* x y)))) (exp (/ 1 (/ z (* y x)))) (/ (pow (* x y) 3) (pow z 3)) (/ (pow (* x y) 3) (pow z 3)) (/ 1 (pow (/ z (* x y)) 3)) (* (cbrt (/ 1 (/ z (* y x)))) (cbrt (/ 1 (/ z (* y x))))) (cbrt (/ 1 (/ z (* y x)))) (pow (* (/ 1 (/ z x)) y) 3) (sqrt (/ 1 (/ z (* y x)))) (sqrt (/ 1 (/ z (* y x)))) -1 (- (/ z (* y x))) (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))) (/ 1 (cbrt (/ z (* y x)))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (/ (* (cbrt z) (cbrt z)) y)) (/ 1 (/ (cbrt z) x)) (/ 1 (/ (sqrt z) y)) (/ 1 (/ (sqrt z) x)) y (/ 1 (/ z x)) 1 (* (/ 1 (/ z x)) y) (/ 1 z) (* x y) (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))) (/ 1 (cbrt (/ z (* y x)))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (/ (* (cbrt z) (cbrt z)) y)) (/ 1 (/ (cbrt z) x)) (/ 1 (/ (sqrt z) y)) (/ 1 (/ (sqrt z) x)) y (/ 1 (/ z x)) 1 (* (/ 1 (/ z x)) y) (/ 1 z) (* x y) (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))) (/ 1 (cbrt (/ z (* y x)))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (/ (* (cbrt z) (cbrt z)) y)) (/ 1 (/ (cbrt z) x)) (/ 1 (/ (sqrt z) y)) (/ 1 (/ (sqrt z) x)) y (/ 1 (/ z x)) 1 (* (/ 1 (/ z x)) y) (/ 1 z) (* x y) (* (/ 1 (/ z x)) y) (/ z (* x y)) (/ 1 (* (cbrt (/ z (* y x))) (cbrt (/ z (* y x))))) (/ 1 (sqrt (/ z (* y x)))) (/ 1 (/ (* (cbrt z) (cbrt z)) y)) (/ 1 (/ (sqrt z) y)) y 1 (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 4.277 * * * [progress]: adding candidates to table 4.653 * * [progress]: iteration 3 / 4 4.654 * * * [progress]: picking best candidate 4.689 * * * * [pick]: Picked # 4.689 * * * [progress]: localizing error 4.710 * * * [progress]: generating rewritten candidates 4.710 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 4.768 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 4.871 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 2) 4.906 * * * [progress]: generating series expansions 4.906 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 4.906 * [backup-simplify]: Simplify (* z (/ 1 (* y x))) into (/ z (* x y)) 4.906 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z y x) around 0 4.906 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 4.906 * [taylor]: Taking taylor expansion of z in x 4.906 * [backup-simplify]: Simplify z into z 4.906 * [taylor]: Taking taylor expansion of (* x y) in x 4.906 * [taylor]: Taking taylor expansion of x in x 4.906 * [backup-simplify]: Simplify 0 into 0 4.906 * [backup-simplify]: Simplify 1 into 1 4.906 * [taylor]: Taking taylor expansion of y in x 4.906 * [backup-simplify]: Simplify y into y 4.907 * [backup-simplify]: Simplify (* 0 y) into 0 4.907 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.907 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.907 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 4.907 * [taylor]: Taking taylor expansion of z in y 4.907 * [backup-simplify]: Simplify z into z 4.907 * [taylor]: Taking taylor expansion of (* x y) in y 4.907 * [taylor]: Taking taylor expansion of x in y 4.907 * [backup-simplify]: Simplify x into x 4.907 * [taylor]: Taking taylor expansion of y in y 4.908 * [backup-simplify]: Simplify 0 into 0 4.908 * [backup-simplify]: Simplify 1 into 1 4.908 * [backup-simplify]: Simplify (* x 0) into 0 4.908 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.908 * [backup-simplify]: Simplify (/ z x) into (/ z x) 4.908 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 4.908 * [taylor]: Taking taylor expansion of z in z 4.908 * [backup-simplify]: Simplify 0 into 0 4.908 * [backup-simplify]: Simplify 1 into 1 4.908 * [taylor]: Taking taylor expansion of (* x y) in z 4.908 * [taylor]: Taking taylor expansion of x in z 4.908 * [backup-simplify]: Simplify x into x 4.908 * [taylor]: Taking taylor expansion of y in z 4.908 * [backup-simplify]: Simplify y into y 4.908 * [backup-simplify]: Simplify (* x y) into (* x y) 4.909 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 4.909 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 4.909 * [taylor]: Taking taylor expansion of z in z 4.909 * [backup-simplify]: Simplify 0 into 0 4.909 * [backup-simplify]: Simplify 1 into 1 4.909 * [taylor]: Taking taylor expansion of (* x y) in z 4.909 * [taylor]: Taking taylor expansion of x in z 4.909 * [backup-simplify]: Simplify x into x 4.909 * [taylor]: Taking taylor expansion of y in z 4.909 * [backup-simplify]: Simplify y into y 4.909 * [backup-simplify]: Simplify (* x y) into (* x y) 4.909 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 4.909 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.909 * [taylor]: Taking taylor expansion of (* x y) in y 4.909 * [taylor]: Taking taylor expansion of x in y 4.909 * [backup-simplify]: Simplify x into x 4.909 * [taylor]: Taking taylor expansion of y in y 4.909 * [backup-simplify]: Simplify 0 into 0 4.909 * [backup-simplify]: Simplify 1 into 1 4.909 * [backup-simplify]: Simplify (* x 0) into 0 4.910 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.910 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.910 * [taylor]: Taking taylor expansion of x in x 4.910 * [backup-simplify]: Simplify 0 into 0 4.910 * [backup-simplify]: Simplify 1 into 1 4.910 * [backup-simplify]: Simplify (/ 1 1) into 1 4.910 * [backup-simplify]: Simplify 1 into 1 4.910 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 4.911 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 4.911 * [taylor]: Taking taylor expansion of 0 in y 4.911 * [backup-simplify]: Simplify 0 into 0 4.912 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.912 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.912 * [taylor]: Taking taylor expansion of 0 in x 4.912 * [backup-simplify]: Simplify 0 into 0 4.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.913 * [backup-simplify]: Simplify 0 into 0 4.913 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 4.913 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 4.913 * [taylor]: Taking taylor expansion of 0 in y 4.913 * [backup-simplify]: Simplify 0 into 0 4.913 * [taylor]: Taking taylor expansion of 0 in x 4.913 * [backup-simplify]: Simplify 0 into 0 4.914 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.914 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.915 * [taylor]: Taking taylor expansion of 0 in x 4.915 * [backup-simplify]: Simplify 0 into 0 4.915 * [backup-simplify]: Simplify 0 into 0 4.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.916 * [backup-simplify]: Simplify 0 into 0 4.916 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.917 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 4.917 * [taylor]: Taking taylor expansion of 0 in y 4.917 * [backup-simplify]: Simplify 0 into 0 4.917 * [taylor]: Taking taylor expansion of 0 in x 4.917 * [backup-simplify]: Simplify 0 into 0 4.917 * [taylor]: Taking taylor expansion of 0 in x 4.917 * [backup-simplify]: Simplify 0 into 0 4.918 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.918 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.918 * [taylor]: Taking taylor expansion of 0 in x 4.918 * [backup-simplify]: Simplify 0 into 0 4.918 * [backup-simplify]: Simplify 0 into 0 4.918 * [backup-simplify]: Simplify 0 into 0 4.918 * [backup-simplify]: Simplify 0 into 0 4.919 * [backup-simplify]: Simplify (* 1 (* (/ 1 x) (* (/ 1 y) z))) into (/ z (* x y)) 4.919 * [backup-simplify]: Simplify (* (/ 1 z) (/ 1 (* (/ 1 y) (/ 1 x)))) into (/ (* x y) z) 4.919 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z y x) around 0 4.919 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 4.919 * [taylor]: Taking taylor expansion of (* x y) in x 4.919 * [taylor]: Taking taylor expansion of x in x 4.919 * [backup-simplify]: Simplify 0 into 0 4.919 * [backup-simplify]: Simplify 1 into 1 4.919 * [taylor]: Taking taylor expansion of y in x 4.919 * [backup-simplify]: Simplify y into y 4.919 * [taylor]: Taking taylor expansion of z in x 4.919 * [backup-simplify]: Simplify z into z 4.919 * [backup-simplify]: Simplify (* 0 y) into 0 4.920 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.920 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.920 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 4.920 * [taylor]: Taking taylor expansion of (* x y) in y 4.920 * [taylor]: Taking taylor expansion of x in y 4.920 * [backup-simplify]: Simplify x into x 4.920 * [taylor]: Taking taylor expansion of y in y 4.920 * [backup-simplify]: Simplify 0 into 0 4.920 * [backup-simplify]: Simplify 1 into 1 4.920 * [taylor]: Taking taylor expansion of z in y 4.920 * [backup-simplify]: Simplify z into z 4.920 * [backup-simplify]: Simplify (* x 0) into 0 4.921 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.921 * [backup-simplify]: Simplify (/ x z) into (/ x z) 4.921 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 4.921 * [taylor]: Taking taylor expansion of (* x y) in z 4.921 * [taylor]: Taking taylor expansion of x in z 4.921 * [backup-simplify]: Simplify x into x 4.921 * [taylor]: Taking taylor expansion of y in z 4.921 * [backup-simplify]: Simplify y into y 4.921 * [taylor]: Taking taylor expansion of z in z 4.921 * [backup-simplify]: Simplify 0 into 0 4.921 * [backup-simplify]: Simplify 1 into 1 4.921 * [backup-simplify]: Simplify (* x y) into (* x y) 4.921 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 4.921 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 4.921 * [taylor]: Taking taylor expansion of (* x y) in z 4.921 * [taylor]: Taking taylor expansion of x in z 4.921 * [backup-simplify]: Simplify x into x 4.921 * [taylor]: Taking taylor expansion of y in z 4.921 * [backup-simplify]: Simplify y into y 4.921 * [taylor]: Taking taylor expansion of z in z 4.921 * [backup-simplify]: Simplify 0 into 0 4.921 * [backup-simplify]: Simplify 1 into 1 4.921 * [backup-simplify]: Simplify (* x y) into (* x y) 4.921 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 4.922 * [taylor]: Taking taylor expansion of (* x y) in y 4.922 * [taylor]: Taking taylor expansion of x in y 4.922 * [backup-simplify]: Simplify x into x 4.922 * [taylor]: Taking taylor expansion of y in y 4.922 * [backup-simplify]: Simplify 0 into 0 4.922 * [backup-simplify]: Simplify 1 into 1 4.922 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.922 * [taylor]: Taking taylor expansion of x in x 4.922 * [backup-simplify]: Simplify 0 into 0 4.922 * [backup-simplify]: Simplify 1 into 1 4.922 * [backup-simplify]: Simplify 1 into 1 4.922 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 4.923 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 4.923 * [taylor]: Taking taylor expansion of 0 in y 4.923 * [backup-simplify]: Simplify 0 into 0 4.923 * [taylor]: Taking taylor expansion of 0 in x 4.923 * [backup-simplify]: Simplify 0 into 0 4.923 * [backup-simplify]: Simplify 0 into 0 4.924 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.924 * [taylor]: Taking taylor expansion of 0 in x 4.924 * [backup-simplify]: Simplify 0 into 0 4.924 * [backup-simplify]: Simplify 0 into 0 4.924 * [backup-simplify]: Simplify 0 into 0 4.925 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 4.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.926 * [taylor]: Taking taylor expansion of 0 in y 4.926 * [backup-simplify]: Simplify 0 into 0 4.926 * [taylor]: Taking taylor expansion of 0 in x 4.926 * [backup-simplify]: Simplify 0 into 0 4.927 * [backup-simplify]: Simplify 0 into 0 4.927 * [taylor]: Taking taylor expansion of 0 in x 4.927 * [backup-simplify]: Simplify 0 into 0 4.927 * [backup-simplify]: Simplify 0 into 0 4.927 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.927 * [taylor]: Taking taylor expansion of 0 in x 4.927 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify (* 1 (* (/ 1 x) (* (/ 1 y) (/ 1 (/ 1 z))))) into (/ z (* x y)) 4.928 * [backup-simplify]: Simplify (* (/ 1 (- z)) (/ 1 (* (/ 1 (- y)) (/ 1 (- x))))) into (* -1 (/ (* x y) z)) 4.928 * [approximate]: Taking taylor expansion of (* -1 (/ (* x y) z)) in (z y x) around 0 4.928 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in x 4.928 * [taylor]: Taking taylor expansion of -1 in x 4.928 * [backup-simplify]: Simplify -1 into -1 4.928 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 4.928 * [taylor]: Taking taylor expansion of (* x y) in x 4.928 * [taylor]: Taking taylor expansion of x in x 4.928 * [backup-simplify]: Simplify 0 into 0 4.928 * [backup-simplify]: Simplify 1 into 1 4.928 * [taylor]: Taking taylor expansion of y in x 4.928 * [backup-simplify]: Simplify y into y 4.928 * [taylor]: Taking taylor expansion of z in x 4.928 * [backup-simplify]: Simplify z into z 4.928 * [backup-simplify]: Simplify (* 0 y) into 0 4.929 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.929 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.929 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in y 4.929 * [taylor]: Taking taylor expansion of -1 in y 4.929 * [backup-simplify]: Simplify -1 into -1 4.929 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 4.929 * [taylor]: Taking taylor expansion of (* x y) in y 4.929 * [taylor]: Taking taylor expansion of x in y 4.929 * [backup-simplify]: Simplify x into x 4.929 * [taylor]: Taking taylor expansion of y in y 4.929 * [backup-simplify]: Simplify 0 into 0 4.929 * [backup-simplify]: Simplify 1 into 1 4.929 * [taylor]: Taking taylor expansion of z in y 4.929 * [backup-simplify]: Simplify z into z 4.929 * [backup-simplify]: Simplify (* x 0) into 0 4.930 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.930 * [backup-simplify]: Simplify (/ x z) into (/ x z) 4.930 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 4.930 * [taylor]: Taking taylor expansion of -1 in z 4.930 * [backup-simplify]: Simplify -1 into -1 4.930 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 4.930 * [taylor]: Taking taylor expansion of (* x y) in z 4.930 * [taylor]: Taking taylor expansion of x in z 4.930 * [backup-simplify]: Simplify x into x 4.930 * [taylor]: Taking taylor expansion of y in z 4.930 * [backup-simplify]: Simplify y into y 4.930 * [taylor]: Taking taylor expansion of z in z 4.930 * [backup-simplify]: Simplify 0 into 0 4.930 * [backup-simplify]: Simplify 1 into 1 4.930 * [backup-simplify]: Simplify (* x y) into (* x y) 4.930 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 4.930 * [taylor]: Taking taylor expansion of (* -1 (/ (* x y) z)) in z 4.931 * [taylor]: Taking taylor expansion of -1 in z 4.931 * [backup-simplify]: Simplify -1 into -1 4.931 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 4.931 * [taylor]: Taking taylor expansion of (* x y) in z 4.931 * [taylor]: Taking taylor expansion of x in z 4.931 * [backup-simplify]: Simplify x into x 4.931 * [taylor]: Taking taylor expansion of y in z 4.931 * [backup-simplify]: Simplify y into y 4.931 * [taylor]: Taking taylor expansion of z in z 4.931 * [backup-simplify]: Simplify 0 into 0 4.931 * [backup-simplify]: Simplify 1 into 1 4.931 * [backup-simplify]: Simplify (* x y) into (* x y) 4.931 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 4.931 * [backup-simplify]: Simplify (* -1 (* x y)) into (* -1 (* x y)) 4.931 * [taylor]: Taking taylor expansion of (* -1 (* x y)) in y 4.931 * [taylor]: Taking taylor expansion of -1 in y 4.931 * [backup-simplify]: Simplify -1 into -1 4.931 * [taylor]: Taking taylor expansion of (* x y) in y 4.931 * [taylor]: Taking taylor expansion of x in y 4.931 * [backup-simplify]: Simplify x into x 4.931 * [taylor]: Taking taylor expansion of y in y 4.931 * [backup-simplify]: Simplify 0 into 0 4.931 * [backup-simplify]: Simplify 1 into 1 4.932 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.932 * [backup-simplify]: Simplify (* x 0) into 0 4.932 * [backup-simplify]: Simplify (+ (* -1 x) (* 0 0)) into (- x) 4.932 * [taylor]: Taking taylor expansion of (- x) in x 4.932 * [taylor]: Taking taylor expansion of x in x 4.932 * [backup-simplify]: Simplify 0 into 0 4.933 * [backup-simplify]: Simplify 1 into 1 4.933 * [backup-simplify]: Simplify (- 1) into -1 4.933 * [backup-simplify]: Simplify -1 into -1 4.933 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 4.934 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 4.934 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (* x y))) into 0 4.934 * [taylor]: Taking taylor expansion of 0 in y 4.934 * [backup-simplify]: Simplify 0 into 0 4.939 * [taylor]: Taking taylor expansion of 0 in x 4.939 * [backup-simplify]: Simplify 0 into 0 4.939 * [backup-simplify]: Simplify 0 into 0 4.940 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.941 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 x) (* 0 0))) into 0 4.941 * [taylor]: Taking taylor expansion of 0 in x 4.941 * [backup-simplify]: Simplify 0 into 0 4.941 * [backup-simplify]: Simplify 0 into 0 4.941 * [backup-simplify]: Simplify (- 0) into 0 4.942 * [backup-simplify]: Simplify 0 into 0 4.942 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 4.943 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.944 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (* x y)))) into 0 4.944 * [taylor]: Taking taylor expansion of 0 in y 4.944 * [backup-simplify]: Simplify 0 into 0 4.944 * [taylor]: Taking taylor expansion of 0 in x 4.944 * [backup-simplify]: Simplify 0 into 0 4.944 * [backup-simplify]: Simplify 0 into 0 4.944 * [taylor]: Taking taylor expansion of 0 in x 4.944 * [backup-simplify]: Simplify 0 into 0 4.944 * [backup-simplify]: Simplify 0 into 0 4.945 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.946 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 x) (* 0 0)))) into 0 4.946 * [taylor]: Taking taylor expansion of 0 in x 4.946 * [backup-simplify]: Simplify 0 into 0 4.946 * [backup-simplify]: Simplify 0 into 0 4.947 * [backup-simplify]: Simplify (* -1 (* (/ 1 (- x)) (* (/ 1 (- y)) (/ 1 (/ 1 (- z)))))) into (/ z (* x y)) 4.947 * * * * [progress]: [ 2 / 3 ] generating series at (2) 4.947 * [backup-simplify]: Simplify (/ 1 (* z (/ 1 (* y x)))) into (/ (* x y) z) 4.947 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (z y x) around 0 4.947 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 4.947 * [taylor]: Taking taylor expansion of (* x y) in x 4.947 * [taylor]: Taking taylor expansion of x in x 4.947 * [backup-simplify]: Simplify 0 into 0 4.947 * [backup-simplify]: Simplify 1 into 1 4.947 * [taylor]: Taking taylor expansion of y in x 4.947 * [backup-simplify]: Simplify y into y 4.947 * [taylor]: Taking taylor expansion of z in x 4.947 * [backup-simplify]: Simplify z into z 4.947 * [backup-simplify]: Simplify (* 0 y) into 0 4.948 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.948 * [backup-simplify]: Simplify (/ y z) into (/ y z) 4.948 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 4.948 * [taylor]: Taking taylor expansion of (* x y) in y 4.948 * [taylor]: Taking taylor expansion of x in y 4.948 * [backup-simplify]: Simplify x into x 4.948 * [taylor]: Taking taylor expansion of y in y 4.948 * [backup-simplify]: Simplify 0 into 0 4.948 * [backup-simplify]: Simplify 1 into 1 4.948 * [taylor]: Taking taylor expansion of z in y 4.948 * [backup-simplify]: Simplify z into z 4.948 * [backup-simplify]: Simplify (* x 0) into 0 4.949 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.949 * [backup-simplify]: Simplify (/ x z) into (/ x z) 4.949 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 4.949 * [taylor]: Taking taylor expansion of (* x y) in z 4.949 * [taylor]: Taking taylor expansion of x in z 4.949 * [backup-simplify]: Simplify x into x 4.949 * [taylor]: Taking taylor expansion of y in z 4.949 * [backup-simplify]: Simplify y into y 4.949 * [taylor]: Taking taylor expansion of z in z 4.949 * [backup-simplify]: Simplify 0 into 0 4.949 * [backup-simplify]: Simplify 1 into 1 4.949 * [backup-simplify]: Simplify (* x y) into (* x y) 4.949 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 4.949 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 4.949 * [taylor]: Taking taylor expansion of (* x y) in z 4.949 * [taylor]: Taking taylor expansion of x in z 4.949 * [backup-simplify]: Simplify x into x 4.949 * [taylor]: Taking taylor expansion of y in z 4.949 * [backup-simplify]: Simplify y into y 4.949 * [taylor]: Taking taylor expansion of z in z 4.949 * [backup-simplify]: Simplify 0 into 0 4.949 * [backup-simplify]: Simplify 1 into 1 4.949 * [backup-simplify]: Simplify (* x y) into (* x y) 4.950 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 4.950 * [taylor]: Taking taylor expansion of (* x y) in y 4.950 * [taylor]: Taking taylor expansion of x in y 4.950 * [backup-simplify]: Simplify x into x 4.950 * [taylor]: Taking taylor expansion of y in y 4.950 * [backup-simplify]: Simplify 0 into 0 4.950 * [backup-simplify]: Simplify 1 into 1 4.950 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.950 * [taylor]: Taking taylor expansion of x in x 4.950 * [backup-simplify]: Simplify 0 into 0 4.950 * [backup-simplify]: Simplify 1 into 1 4.950 * [backup-simplify]: Simplify 1 into 1 4.950 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 4.951 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)))) into 0 4.951 * [taylor]: Taking taylor expansion of 0 in y 4.951 * [backup-simplify]: Simplify 0 into 0 4.951 * [taylor]: Taking taylor expansion of 0 in x 4.951 * [backup-simplify]: Simplify 0 into 0 4.951 * [backup-simplify]: Simplify 0 into 0 4.952 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.952 * [taylor]: Taking taylor expansion of 0 in x 4.952 * [backup-simplify]: Simplify 0 into 0 4.952 * [backup-simplify]: Simplify 0 into 0 4.952 * [backup-simplify]: Simplify 0 into 0 4.953 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 4.954 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* x y) (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.954 * [taylor]: Taking taylor expansion of 0 in y 4.954 * [backup-simplify]: Simplify 0 into 0 4.954 * [taylor]: Taking taylor expansion of 0 in x 4.954 * [backup-simplify]: Simplify 0 into 0 4.954 * [backup-simplify]: Simplify 0 into 0 4.954 * [taylor]: Taking taylor expansion of 0 in x 4.954 * [backup-simplify]: Simplify 0 into 0 4.955 * [backup-simplify]: Simplify 0 into 0 4.955 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.955 * [taylor]: Taking taylor expansion of 0 in x 4.955 * [backup-simplify]: Simplify 0 into 0 4.955 * [backup-simplify]: Simplify 0 into 0 4.956 * [backup-simplify]: Simplify (* 1 (* x (* y (/ 1 z)))) into (/ (* x y) z) 4.956 * [backup-simplify]: Simplify (/ 1 (* (/ 1 z) (/ 1 (* (/ 1 y) (/ 1 x))))) into (/ z (* x y)) 4.956 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (z y x) around 0 4.956 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 4.956 * [taylor]: Taking taylor expansion of z in x 4.956 * [backup-simplify]: Simplify z into z 4.956 * [taylor]: Taking taylor expansion of (* x y) in x 4.956 * [taylor]: Taking taylor expansion of x in x 4.956 * [backup-simplify]: Simplify 0 into 0 4.956 * [backup-simplify]: Simplify 1 into 1 4.956 * [taylor]: Taking taylor expansion of y in x 4.956 * [backup-simplify]: Simplify y into y 4.956 * [backup-simplify]: Simplify (* 0 y) into 0 4.957 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.957 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.957 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 4.957 * [taylor]: Taking taylor expansion of z in y 4.957 * [backup-simplify]: Simplify z into z 4.957 * [taylor]: Taking taylor expansion of (* x y) in y 4.957 * [taylor]: Taking taylor expansion of x in y 4.957 * [backup-simplify]: Simplify x into x 4.957 * [taylor]: Taking taylor expansion of y in y 4.957 * [backup-simplify]: Simplify 0 into 0 4.957 * [backup-simplify]: Simplify 1 into 1 4.957 * [backup-simplify]: Simplify (* x 0) into 0 4.957 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.958 * [backup-simplify]: Simplify (/ z x) into (/ z x) 4.958 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 4.958 * [taylor]: Taking taylor expansion of z in z 4.958 * [backup-simplify]: Simplify 0 into 0 4.958 * [backup-simplify]: Simplify 1 into 1 4.958 * [taylor]: Taking taylor expansion of (* x y) in z 4.958 * [taylor]: Taking taylor expansion of x in z 4.958 * [backup-simplify]: Simplify x into x 4.958 * [taylor]: Taking taylor expansion of y in z 4.958 * [backup-simplify]: Simplify y into y 4.958 * [backup-simplify]: Simplify (* x y) into (* x y) 4.958 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 4.958 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 4.958 * [taylor]: Taking taylor expansion of z in z 4.958 * [backup-simplify]: Simplify 0 into 0 4.958 * [backup-simplify]: Simplify 1 into 1 4.958 * [taylor]: Taking taylor expansion of (* x y) in z 4.958 * [taylor]: Taking taylor expansion of x in z 4.958 * [backup-simplify]: Simplify x into x 4.958 * [taylor]: Taking taylor expansion of y in z 4.958 * [backup-simplify]: Simplify y into y 4.958 * [backup-simplify]: Simplify (* x y) into (* x y) 4.958 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 4.958 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.958 * [taylor]: Taking taylor expansion of (* x y) in y 4.958 * [taylor]: Taking taylor expansion of x in y 4.959 * [backup-simplify]: Simplify x into x 4.959 * [taylor]: Taking taylor expansion of y in y 4.959 * [backup-simplify]: Simplify 0 into 0 4.959 * [backup-simplify]: Simplify 1 into 1 4.959 * [backup-simplify]: Simplify (* x 0) into 0 4.959 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.959 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.959 * [taylor]: Taking taylor expansion of x in x 4.959 * [backup-simplify]: Simplify 0 into 0 4.959 * [backup-simplify]: Simplify 1 into 1 4.960 * [backup-simplify]: Simplify (/ 1 1) into 1 4.960 * [backup-simplify]: Simplify 1 into 1 4.960 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 4.960 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 4.960 * [taylor]: Taking taylor expansion of 0 in y 4.960 * [backup-simplify]: Simplify 0 into 0 4.961 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.961 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.961 * [taylor]: Taking taylor expansion of 0 in x 4.961 * [backup-simplify]: Simplify 0 into 0 4.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.962 * [backup-simplify]: Simplify 0 into 0 4.962 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 4.963 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 4.963 * [taylor]: Taking taylor expansion of 0 in y 4.963 * [backup-simplify]: Simplify 0 into 0 4.963 * [taylor]: Taking taylor expansion of 0 in x 4.963 * [backup-simplify]: Simplify 0 into 0 4.964 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.964 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.964 * [taylor]: Taking taylor expansion of 0 in x 4.964 * [backup-simplify]: Simplify 0 into 0 4.964 * [backup-simplify]: Simplify 0 into 0 4.965 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.965 * [backup-simplify]: Simplify 0 into 0 4.966 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.966 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 4.966 * [taylor]: Taking taylor expansion of 0 in y 4.966 * [backup-simplify]: Simplify 0 into 0 4.966 * [taylor]: Taking taylor expansion of 0 in x 4.966 * [backup-simplify]: Simplify 0 into 0 4.966 * [taylor]: Taking taylor expansion of 0 in x 4.966 * [backup-simplify]: Simplify 0 into 0 4.967 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.968 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.968 * [taylor]: Taking taylor expansion of 0 in x 4.968 * [backup-simplify]: Simplify 0 into 0 4.968 * [backup-simplify]: Simplify 0 into 0 4.968 * [backup-simplify]: Simplify 0 into 0 4.968 * [backup-simplify]: Simplify 0 into 0 4.968 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 (/ 1 y)) (/ 1 z)))) into (/ (* x y) z) 4.968 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- z)) (/ 1 (* (/ 1 (- y)) (/ 1 (- x)))))) into (* -1 (/ z (* x y))) 4.968 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (z y x) around 0 4.969 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 4.969 * [taylor]: Taking taylor expansion of -1 in x 4.969 * [backup-simplify]: Simplify -1 into -1 4.969 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 4.969 * [taylor]: Taking taylor expansion of z in x 4.969 * [backup-simplify]: Simplify z into z 4.969 * [taylor]: Taking taylor expansion of (* x y) in x 4.969 * [taylor]: Taking taylor expansion of x in x 4.969 * [backup-simplify]: Simplify 0 into 0 4.969 * [backup-simplify]: Simplify 1 into 1 4.969 * [taylor]: Taking taylor expansion of y in x 4.969 * [backup-simplify]: Simplify y into y 4.969 * [backup-simplify]: Simplify (* 0 y) into 0 4.969 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.969 * [backup-simplify]: Simplify (/ z y) into (/ z y) 4.969 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 4.970 * [taylor]: Taking taylor expansion of -1 in y 4.970 * [backup-simplify]: Simplify -1 into -1 4.970 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 4.970 * [taylor]: Taking taylor expansion of z in y 4.970 * [backup-simplify]: Simplify z into z 4.970 * [taylor]: Taking taylor expansion of (* x y) in y 4.970 * [taylor]: Taking taylor expansion of x in y 4.970 * [backup-simplify]: Simplify x into x 4.970 * [taylor]: Taking taylor expansion of y in y 4.970 * [backup-simplify]: Simplify 0 into 0 4.970 * [backup-simplify]: Simplify 1 into 1 4.970 * [backup-simplify]: Simplify (* x 0) into 0 4.970 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.970 * [backup-simplify]: Simplify (/ z x) into (/ z x) 4.970 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 4.970 * [taylor]: Taking taylor expansion of -1 in z 4.970 * [backup-simplify]: Simplify -1 into -1 4.970 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 4.970 * [taylor]: Taking taylor expansion of z in z 4.971 * [backup-simplify]: Simplify 0 into 0 4.971 * [backup-simplify]: Simplify 1 into 1 4.971 * [taylor]: Taking taylor expansion of (* x y) in z 4.971 * [taylor]: Taking taylor expansion of x in z 4.971 * [backup-simplify]: Simplify x into x 4.971 * [taylor]: Taking taylor expansion of y in z 4.971 * [backup-simplify]: Simplify y into y 4.971 * [backup-simplify]: Simplify (* x y) into (* x y) 4.971 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 4.971 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 4.971 * [taylor]: Taking taylor expansion of -1 in z 4.971 * [backup-simplify]: Simplify -1 into -1 4.971 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 4.971 * [taylor]: Taking taylor expansion of z in z 4.971 * [backup-simplify]: Simplify 0 into 0 4.971 * [backup-simplify]: Simplify 1 into 1 4.971 * [taylor]: Taking taylor expansion of (* x y) in z 4.971 * [taylor]: Taking taylor expansion of x in z 4.971 * [backup-simplify]: Simplify x into x 4.971 * [taylor]: Taking taylor expansion of y in z 4.971 * [backup-simplify]: Simplify y into y 4.971 * [backup-simplify]: Simplify (* x y) into (* x y) 4.971 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 4.971 * [backup-simplify]: Simplify (* -1 (/ 1 (* x y))) into (/ -1 (* x y)) 4.972 * [taylor]: Taking taylor expansion of (/ -1 (* x y)) in y 4.972 * [taylor]: Taking taylor expansion of -1 in y 4.972 * [backup-simplify]: Simplify -1 into -1 4.972 * [taylor]: Taking taylor expansion of (* x y) in y 4.972 * [taylor]: Taking taylor expansion of x in y 4.972 * [backup-simplify]: Simplify x into x 4.972 * [taylor]: Taking taylor expansion of y in y 4.972 * [backup-simplify]: Simplify 0 into 0 4.972 * [backup-simplify]: Simplify 1 into 1 4.972 * [backup-simplify]: Simplify (* x 0) into 0 4.972 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.973 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.973 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.973 * [taylor]: Taking taylor expansion of -1 in x 4.973 * [backup-simplify]: Simplify -1 into -1 4.973 * [taylor]: Taking taylor expansion of x in x 4.973 * [backup-simplify]: Simplify 0 into 0 4.973 * [backup-simplify]: Simplify 1 into 1 4.973 * [backup-simplify]: Simplify (/ -1 1) into -1 4.973 * [backup-simplify]: Simplify -1 into -1 4.973 * [backup-simplify]: Simplify (+ (* x 0) (* 0 y)) into 0 4.974 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))))) into 0 4.974 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 (* x y)))) into 0 4.974 * [taylor]: Taking taylor expansion of 0 in y 4.974 * [backup-simplify]: Simplify 0 into 0 4.975 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.975 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.975 * [taylor]: Taking taylor expansion of 0 in x 4.975 * [backup-simplify]: Simplify 0 into 0 4.976 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.976 * [backup-simplify]: Simplify 0 into 0 4.977 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (* 0 y))) into 0 4.977 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 4.978 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 (* x y))))) into 0 4.978 * [taylor]: Taking taylor expansion of 0 in y 4.978 * [backup-simplify]: Simplify 0 into 0 4.978 * [taylor]: Taking taylor expansion of 0 in x 4.978 * [backup-simplify]: Simplify 0 into 0 4.979 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.979 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.979 * [taylor]: Taking taylor expansion of 0 in x 4.979 * [backup-simplify]: Simplify 0 into 0 4.979 * [backup-simplify]: Simplify 0 into 0 4.980 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.980 * [backup-simplify]: Simplify 0 into 0 4.981 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.982 * [backup-simplify]: Simplify (- (/ 0 (* x y)) (+ (* (/ 1 (* x y)) (/ 0 (* x y))) (* 0 (/ 0 (* x y))) (* 0 (/ 0 (* x y))))) into 0 4.983 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (* x y)))))) into 0 4.983 * [taylor]: Taking taylor expansion of 0 in y 4.983 * [backup-simplify]: Simplify 0 into 0 4.983 * [taylor]: Taking taylor expansion of 0 in x 4.983 * [backup-simplify]: Simplify 0 into 0 4.983 * [taylor]: Taking taylor expansion of 0 in x 4.983 * [backup-simplify]: Simplify 0 into 0 4.984 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.985 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.985 * [taylor]: Taking taylor expansion of 0 in x 4.985 * [backup-simplify]: Simplify 0 into 0 4.985 * [backup-simplify]: Simplify 0 into 0 4.985 * [backup-simplify]: Simplify 0 into 0 4.985 * [backup-simplify]: Simplify 0 into 0 4.985 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (/ 1 (- y))) (/ 1 (- z))))) into (/ (* x y) z) 4.985 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 2) 4.985 * [backup-simplify]: Simplify (/ 1 (* y x)) into (/ 1 (* x y)) 4.985 * [approximate]: Taking taylor expansion of (/ 1 (* x y)) in (y x) around 0 4.985 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 4.985 * [taylor]: Taking taylor expansion of (* x y) in x 4.985 * [taylor]: Taking taylor expansion of x in x 4.985 * [backup-simplify]: Simplify 0 into 0 4.985 * [backup-simplify]: Simplify 1 into 1 4.986 * [taylor]: Taking taylor expansion of y in x 4.986 * [backup-simplify]: Simplify y into y 4.986 * [backup-simplify]: Simplify (* 0 y) into 0 4.986 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 4.986 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.986 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.986 * [taylor]: Taking taylor expansion of (* x y) in y 4.986 * [taylor]: Taking taylor expansion of x in y 4.986 * [backup-simplify]: Simplify x into x 4.986 * [taylor]: Taking taylor expansion of y in y 4.986 * [backup-simplify]: Simplify 0 into 0 4.986 * [backup-simplify]: Simplify 1 into 1 4.986 * [backup-simplify]: Simplify (* x 0) into 0 4.987 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.987 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.987 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 4.987 * [taylor]: Taking taylor expansion of (* x y) in y 4.987 * [taylor]: Taking taylor expansion of x in y 4.987 * [backup-simplify]: Simplify x into x 4.987 * [taylor]: Taking taylor expansion of y in y 4.987 * [backup-simplify]: Simplify 0 into 0 4.987 * [backup-simplify]: Simplify 1 into 1 4.987 * [backup-simplify]: Simplify (* x 0) into 0 4.988 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.988 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.988 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.988 * [taylor]: Taking taylor expansion of x in x 4.988 * [backup-simplify]: Simplify 0 into 0 4.988 * [backup-simplify]: Simplify 1 into 1 4.988 * [backup-simplify]: Simplify (/ 1 1) into 1 4.988 * [backup-simplify]: Simplify 1 into 1 4.989 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.989 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.989 * [taylor]: Taking taylor expansion of 0 in x 4.989 * [backup-simplify]: Simplify 0 into 0 4.990 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.990 * [backup-simplify]: Simplify 0 into 0 4.991 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.991 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.991 * [taylor]: Taking taylor expansion of 0 in x 4.991 * [backup-simplify]: Simplify 0 into 0 4.991 * [backup-simplify]: Simplify 0 into 0 4.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.992 * [backup-simplify]: Simplify 0 into 0 4.993 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.993 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.993 * [taylor]: Taking taylor expansion of 0 in x 4.993 * [backup-simplify]: Simplify 0 into 0 4.993 * [backup-simplify]: Simplify 0 into 0 4.993 * [backup-simplify]: Simplify 0 into 0 4.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.994 * [backup-simplify]: Simplify 0 into 0 4.994 * [backup-simplify]: Simplify (* 1 (* (/ 1 x) (/ 1 y))) into (/ 1 (* x y)) 4.994 * [backup-simplify]: Simplify (/ 1 (* (/ 1 y) (/ 1 x))) into (* x y) 4.994 * [approximate]: Taking taylor expansion of (* x y) in (y x) around 0 4.995 * [taylor]: Taking taylor expansion of (* x y) in x 4.995 * [taylor]: Taking taylor expansion of x in x 4.995 * [backup-simplify]: Simplify 0 into 0 4.995 * [backup-simplify]: Simplify 1 into 1 4.995 * [taylor]: Taking taylor expansion of y in x 4.995 * [backup-simplify]: Simplify y into y 4.995 * [taylor]: Taking taylor expansion of (* x y) in y 4.995 * [taylor]: Taking taylor expansion of x in y 4.995 * [backup-simplify]: Simplify x into x 4.995 * [taylor]: Taking taylor expansion of y in y 4.995 * [backup-simplify]: Simplify 0 into 0 4.995 * [backup-simplify]: Simplify 1 into 1 4.995 * [taylor]: Taking taylor expansion of (* x y) in y 4.995 * [taylor]: Taking taylor expansion of x in y 4.995 * [backup-simplify]: Simplify x into x 4.995 * [taylor]: Taking taylor expansion of y in y 4.995 * [backup-simplify]: Simplify 0 into 0 4.995 * [backup-simplify]: Simplify 1 into 1 4.995 * [backup-simplify]: Simplify (* x 0) into 0 4.995 * [taylor]: Taking taylor expansion of 0 in x 4.995 * [backup-simplify]: Simplify 0 into 0 4.995 * [backup-simplify]: Simplify 0 into 0 4.996 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 4.996 * [taylor]: Taking taylor expansion of x in x 4.996 * [backup-simplify]: Simplify 0 into 0 4.996 * [backup-simplify]: Simplify 1 into 1 4.996 * [backup-simplify]: Simplify 0 into 0 4.996 * [backup-simplify]: Simplify 0 into 0 4.996 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 4.997 * [taylor]: Taking taylor expansion of 0 in x 4.997 * [backup-simplify]: Simplify 0 into 0 4.997 * [backup-simplify]: Simplify 0 into 0 4.997 * [backup-simplify]: Simplify 1 into 1 4.997 * [backup-simplify]: Simplify 0 into 0 4.997 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.998 * [taylor]: Taking taylor expansion of 0 in x 4.998 * [backup-simplify]: Simplify 0 into 0 4.998 * [backup-simplify]: Simplify 0 into 0 4.998 * [backup-simplify]: Simplify 0 into 0 4.998 * [backup-simplify]: Simplify 0 into 0 4.998 * [backup-simplify]: Simplify 0 into 0 4.999 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 4.999 * [taylor]: Taking taylor expansion of 0 in x 4.999 * [backup-simplify]: Simplify 0 into 0 4.999 * [backup-simplify]: Simplify 0 into 0 4.999 * [backup-simplify]: Simplify (* 1 (* (/ 1 x) (/ 1 y))) into (/ 1 (* x y)) 5.000 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- y)) (/ 1 (- x)))) into (* x y) 5.000 * [approximate]: Taking taylor expansion of (* x y) in (y x) around 0 5.000 * [taylor]: Taking taylor expansion of (* x y) in x 5.000 * [taylor]: Taking taylor expansion of x in x 5.000 * [backup-simplify]: Simplify 0 into 0 5.000 * [backup-simplify]: Simplify 1 into 1 5.000 * [taylor]: Taking taylor expansion of y in x 5.000 * [backup-simplify]: Simplify y into y 5.000 * [taylor]: Taking taylor expansion of (* x y) in y 5.000 * [taylor]: Taking taylor expansion of x in y 5.000 * [backup-simplify]: Simplify x into x 5.000 * [taylor]: Taking taylor expansion of y in y 5.000 * [backup-simplify]: Simplify 0 into 0 5.000 * [backup-simplify]: Simplify 1 into 1 5.000 * [taylor]: Taking taylor expansion of (* x y) in y 5.001 * [taylor]: Taking taylor expansion of x in y 5.001 * [backup-simplify]: Simplify x into x 5.001 * [taylor]: Taking taylor expansion of y in y 5.001 * [backup-simplify]: Simplify 0 into 0 5.001 * [backup-simplify]: Simplify 1 into 1 5.001 * [backup-simplify]: Simplify (* x 0) into 0 5.001 * [taylor]: Taking taylor expansion of 0 in x 5.001 * [backup-simplify]: Simplify 0 into 0 5.001 * [backup-simplify]: Simplify 0 into 0 5.002 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 5.002 * [taylor]: Taking taylor expansion of x in x 5.002 * [backup-simplify]: Simplify 0 into 0 5.002 * [backup-simplify]: Simplify 1 into 1 5.002 * [backup-simplify]: Simplify 0 into 0 5.002 * [backup-simplify]: Simplify 0 into 0 5.003 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 5.003 * [taylor]: Taking taylor expansion of 0 in x 5.003 * [backup-simplify]: Simplify 0 into 0 5.003 * [backup-simplify]: Simplify 0 into 0 5.003 * [backup-simplify]: Simplify 1 into 1 5.003 * [backup-simplify]: Simplify 0 into 0 5.004 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 5.004 * [taylor]: Taking taylor expansion of 0 in x 5.004 * [backup-simplify]: Simplify 0 into 0 5.004 * [backup-simplify]: Simplify 0 into 0 5.004 * [backup-simplify]: Simplify 0 into 0 5.004 * [backup-simplify]: Simplify 0 into 0 5.004 * [backup-simplify]: Simplify 0 into 0 5.005 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 5.006 * [taylor]: Taking taylor expansion of 0 in x 5.006 * [backup-simplify]: Simplify 0 into 0 5.006 * [backup-simplify]: Simplify 0 into 0 5.006 * [backup-simplify]: Simplify (* 1 (* (/ 1 (- x)) (/ 1 (- y)))) into (/ 1 (* x y)) 5.006 * * * [progress]: simplifying candidates 5.009 * [simplify]: Simplifying: (* z (/ 1 (* y x))) (+ (log z) (- (+ (log y) (log x)))) (+ (log z) (- (log (* y x)))) (+ (log z) (- 0 (+ (log y) (log x)))) (+ (log z) (- 0 (log (* y x)))) (+ (log z) (- (log 1) (+ (log y) (log x)))) (+ (log z) (- (log 1) (log (* y x)))) (+ (log z) (log (/ 1 (* y x)))) (log (* z (/ 1 (* y x)))) (exp (* z (/ 1 (* y x)))) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* x x) x)))) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* y x) (* y x)) (* y x)))) (* (* (* z z) z) (* (* (/ 1 (* y x)) (/ 1 (* y x))) (/ 1 (* y x)))) (* (cbrt (* z (/ 1 (* y x)))) (cbrt (* z (/ 1 (* y x))))) (cbrt (* z (/ 1 (* y x)))) (* (* (* z (/ 1 (* y x))) (* z (/ 1 (* y x)))) (* z (/ 1 (* y x)))) (sqrt (* z (/ 1 (* y x)))) (sqrt (* z (/ 1 (* y x)))) (* (sqrt z) (sqrt (/ 1 (* y x)))) (* (sqrt z) (sqrt (/ 1 (* y x)))) (* z (* (cbrt (/ 1 (* y x))) (cbrt (/ 1 (* y x))))) (* z (sqrt (/ 1 (* y x)))) (* z (/ (* (cbrt 1) (cbrt 1)) y)) (* z (/ (sqrt 1) y)) (* z (/ 1 y)) (* z 1) (* z 1) (* (cbrt z) (/ 1 (* y x))) (* (sqrt z) (/ 1 (* y x))) (* z (/ 1 (* y x))) (* z 1) (- 1) (- 1) (- (+ (log z) (- (+ (log y) (log x))))) (- (+ (log z) (- (log (* y x))))) (- (+ (log z) (- 0 (+ (log y) (log x))))) (- (+ (log z) (- 0 (log (* y x))))) (- (+ (log z) (- (log 1) (+ (log y) (log x))))) (- (+ (log z) (- (log 1) (log (* y x))))) (- (+ (log z) (log (/ 1 (* y x))))) (- (log (* z (/ 1 (* y x))))) (- 0 (+ (log z) (- (+ (log y) (log x))))) (- 0 (+ (log z) (- (log (* y x))))) (- 0 (+ (log z) (- 0 (+ (log y) (log x))))) (- 0 (+ (log z) (- 0 (log (* y x))))) (- 0 (+ (log z) (- (log 1) (+ (log y) (log x))))) (- 0 (+ (log z) (- (log 1) (log (* y x))))) (- 0 (+ (log z) (log (/ 1 (* y x))))) (- 0 (log (* z (/ 1 (* y x))))) (- (log 1) (+ (log z) (- (+ (log y) (log x))))) (- (log 1) (+ (log z) (- (log (* y x))))) (- (log 1) (+ (log z) (- 0 (+ (log y) (log x))))) (- (log 1) (+ (log z) (- 0 (log (* y x))))) (- (log 1) (+ (log z) (- (log 1) (+ (log y) (log x))))) (- (log 1) (+ (log z) (- (log 1) (log (* y x))))) (- (log 1) (+ (log z) (log (/ 1 (* y x))))) (- (log 1) (log (* z (/ 1 (* y x))))) (log (/ 1 (* z (/ 1 (* y x))))) (exp (/ 1 (* z (/ 1 (* y x))))) (/ (* (* 1 1) 1) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* x x) x))))) (/ (* (* 1 1) 1) (* (* (* z z) z) (/ (* (* 1 1) 1) (* (* (* y x) (* y x)) (* y x))))) (/ (* (* 1 1) 1) (* (* (* z z) z) (* (* (/ 1 (* y x)) (/ 1 (* y x))) (/ 1 (* y x))))) (/ (* (* 1 1) 1) (* (* (* z (/ 1 (* y x))) (* z (/ 1 (* y x)))) (* z (/ 1 (* y x))))) (* (cbrt (/ 1 (* z (/ 1 (* y x))))) (cbrt (/ 1 (* z (/ 1 (* y x)))))) (cbrt (/ 1 (* z (/ 1 (* y x))))) (* (* (/ 1 (* z (/ 1 (* y x)))) (/ 1 (* z (/ 1 (* y x))))) (/ 1 (* z (/ 1 (* y x))))) (sqrt (/ 1 (* z (/ 1 (* y x))))) (sqrt (/ 1 (* z (/ 1 (* y x))))) (- 1) (- (* z (/ 1 (* y x)))) (/ (* (cbrt 1) (cbrt 1)) z) (/ (cbrt 1) (/ 1 (* y x))) (/ (sqrt 1) z) (/ (sqrt 1) (/ 1 (* y x))) (/ 1 z) (/ 1 (/ 1 (* y x))) (/ 1 (* z (/ 1 (* y x)))) (/ (* z (/ 1 (* y x))) 1) (/ 1 z) (/ (* z (/ 1 (* y x))) (cbrt 1)) (/ (* z (/ 1 (* y x))) (sqrt 1)) (/ (* z (/ 1 (* y x))) 1) (/ 1 z) (/ 1 (* z 1)) (- 1) (- 1) (- (+ (log y) (log x))) (- (log (* y x))) (- 0 (+ (log y) (log x))) (- 0 (log (* y x))) (- (log 1) (+ (log y) (log x))) (- (log 1) (log (* y x))) (log (/ 1 (* y x))) (exp (/ 1 (* y x))) (/ (* (* 1 1) 1) (* (* (* y y) y) (* (* x x) x))) (/ (* (* 1 1) 1) (* (* (* y x) (* y x)) (* y x))) (* (cbrt (/ 1 (* y x))) (cbrt (/ 1 (* y x)))) (cbrt (/ 1 (* y x))) (* (* (/ 1 (* y x)) (/ 1 (* y x))) (/ 1 (* y x))) (sqrt (/ 1 (* y x))) (sqrt (/ 1 (* y x))) (- 1) (- (* y x)) (/ (* (cbrt 1) (cbrt 1)) y) (/ (cbrt 1) x) (/ (sqrt 1) y) (/ (sqrt 1) x) (/ 1 y) (/ 1 x) (/ 1 (* y x)) (/ (* y x) 1) (/ 1 y) (/ (* y x) (cbrt 1)) (/ (* y x) (sqrt 1)) (/ (* y x) 1) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (/ 1 (* x y)) (/ 1 (* x y)) (/ 1 (* x y)) 5.012 * * [simplify]: Extracting # 0 : cost 0 5.012 * * [simplify]: Extracting # 1 : cost 0 5.013 * * [simplify]: Extracting # 2 : cost 0 5.013 * * [simplify]: Extracting # 3 : cost 0 5.014 * * [simplify]: Extracting # 4 : cost 0 5.014 * * [simplify]: Extracting # 5 : cost 0 5.014 * * [simplify]: Extracting # 6 : cost 0 5.015 * * [simplify]: iteration 0 : 133 enodes (cost 1153 ) 5.112 * * [simplify]: Extracting # 0 : cost 0 5.114 * * [simplify]: Extracting # 1 : cost 0 5.114 * * [simplify]: Extracting # 2 : cost 0 5.115 * * [simplify]: Extracting # 3 : cost 0 5.116 * * [simplify]: iteration 1 : 380 enodes (cost 849 ) 5.441 * * [simplify]: Extracting # 0 : cost 0 5.447 * * [simplify]: Extracting # 1 : cost 0 5.452 * * [simplify]: Extracting # 2 : cost 0 5.456 * * [simplify]: Extracting # 3 : cost 0 5.460 * * [simplify]: Extracting # 4 : cost 0 5.464 * * [simplify]: Extracting # 5 : cost 0 5.469 * * [simplify]: iteration 2 : 2101 enodes (cost 680 ) 6.894 * * [simplify]: Extracting # 0 : cost 0 6.905 * * [simplify]: Extracting # 1 : cost 0 6.918 * * [simplify]: Extracting # 2 : cost 0 6.930 * * [simplify]: Extracting # 3 : cost 0 6.941 * * [simplify]: iteration done: 5001 enodes (cost 680 ) 6.942 * [simplify]: Simplified to: (/ z (* x y)) (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (log (/ z (* x y))) (exp (/ z (* x y))) (/ (/ (pow z 3) (pow y 3)) (pow x 3)) (/ (pow z 3) (pow (* x y) 3)) (* (pow z 3) (pow (/ (/ 1 x) y) 3)) (* (cbrt (/ z (* x y))) (cbrt (/ z (* x y)))) (cbrt (/ z (* x y))) (pow (/ z (* x y)) 3) (sqrt (/ z (* y x))) (sqrt (/ z (* y x))) (* (sqrt z) (sqrt (/ 1 (* y x)))) (* (sqrt z) (sqrt (/ 1 (* y x)))) (* z (* (cbrt (/ 1 (* y x))) (cbrt (/ 1 (* y x))))) (* z (sqrt (/ 1 (* y x)))) (/ z y) (/ z y) (/ z y) z z (/ (cbrt z) (* x y)) (/ (sqrt z) (* x y)) (/ z (* x y)) z -1 -1 (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (/ (* (pow y 3) (pow x 3)) (pow z 3)) (/ (pow (* x y) 3) (pow z 3)) (/ (/ 1 (pow z 3)) (pow (/ (/ 1 x) y) 3)) (/ 1 (pow (/ z (* x y)) 3)) (* (cbrt (/ (* x y) z)) (cbrt (/ (* x y) z))) (cbrt (/ (* x y) z)) (pow (/ (* x y) z) 3) (sqrt (/ (* x y) z)) (sqrt (/ (* x y) z)) -1 (- (/ z (* y x))) (/ 1 z) (* x y) (/ 1 z) (* x y) (/ 1 z) (* x y) (/ (* x y) z) (/ z (* x y)) (/ 1 z) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ 1 z) (/ 1 z) -1 -1 (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (- (log (* x y))) (exp (/ 1 (* y x))) (/ (/ 1 (pow x 3)) (pow y 3)) (/ 1 (pow (* x y) 3)) (* (cbrt (/ 1 (* y x))) (cbrt (/ 1 (* y x)))) (cbrt (/ 1 (* y x))) (pow (/ (/ 1 x) y) 3) (sqrt (/ 1 (* y x))) (sqrt (/ 1 (* y x))) -1 (- (* y x)) (/ 1 y) (/ 1 x) (/ 1 y) (/ 1 x) (/ 1 y) (/ 1 x) (/ (/ 1 x) y) (* x y) (/ 1 y) (* x y) (* x y) (* x y) (/ z (* x y)) (/ z (* x y)) (/ z (* x y)) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) (/ (/ 1 x) y) (/ (/ 1 x) y) (/ (/ 1 x) y) 6.943 * * * [progress]: adding candidates to table 7.418 * * [progress]: iteration 4 / 4 7.419 * * * [progress]: picking best candidate 7.440 * * * * [pick]: Picked # 7.440 * * * [progress]: localizing error 7.451 * * * [progress]: generating rewritten candidates 7.451 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 7.490 * * * [progress]: generating series expansions 7.490 * * * * [progress]: [ 1 / 1 ] generating series at (2) 7.490 * [backup-simplify]: Simplify (/ y (/ z x)) into (/ (* x y) z) 7.490 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (y z x) around 0 7.490 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 7.490 * [taylor]: Taking taylor expansion of (* x y) in x 7.490 * [taylor]: Taking taylor expansion of x in x 7.490 * [backup-simplify]: Simplify 0 into 0 7.490 * [backup-simplify]: Simplify 1 into 1 7.490 * [taylor]: Taking taylor expansion of y in x 7.490 * [backup-simplify]: Simplify y into y 7.490 * [taylor]: Taking taylor expansion of z in x 7.490 * [backup-simplify]: Simplify z into z 7.490 * [backup-simplify]: Simplify (* 0 y) into 0 7.491 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.491 * [backup-simplify]: Simplify (/ y z) into (/ y z) 7.491 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 7.491 * [taylor]: Taking taylor expansion of (* x y) in z 7.491 * [taylor]: Taking taylor expansion of x in z 7.491 * [backup-simplify]: Simplify x into x 7.491 * [taylor]: Taking taylor expansion of y in z 7.491 * [backup-simplify]: Simplify y into y 7.491 * [taylor]: Taking taylor expansion of z in z 7.491 * [backup-simplify]: Simplify 0 into 0 7.491 * [backup-simplify]: Simplify 1 into 1 7.491 * [backup-simplify]: Simplify (* x y) into (* x y) 7.491 * [backup-simplify]: Simplify (/ (* x y) 1) into (* x y) 7.491 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 7.491 * [taylor]: Taking taylor expansion of (* x y) in y 7.492 * [taylor]: Taking taylor expansion of x in y 7.492 * [backup-simplify]: Simplify x into x 7.492 * [taylor]: Taking taylor expansion of y in y 7.492 * [backup-simplify]: Simplify 0 into 0 7.492 * [backup-simplify]: Simplify 1 into 1 7.492 * [taylor]: Taking taylor expansion of z in y 7.492 * [backup-simplify]: Simplify z into z 7.492 * [backup-simplify]: Simplify (* x 0) into 0 7.492 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.492 * [backup-simplify]: Simplify (/ x z) into (/ x z) 7.492 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 7.492 * [taylor]: Taking taylor expansion of (* x y) in y 7.492 * [taylor]: Taking taylor expansion of x in y 7.492 * [backup-simplify]: Simplify x into x 7.492 * [taylor]: Taking taylor expansion of y in y 7.492 * [backup-simplify]: Simplify 0 into 0 7.492 * [backup-simplify]: Simplify 1 into 1 7.492 * [taylor]: Taking taylor expansion of z in y 7.492 * [backup-simplify]: Simplify z into z 7.492 * [backup-simplify]: Simplify (* x 0) into 0 7.493 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.493 * [backup-simplify]: Simplify (/ x z) into (/ x z) 7.493 * [taylor]: Taking taylor expansion of (/ x z) in z 7.493 * [taylor]: Taking taylor expansion of x in z 7.493 * [backup-simplify]: Simplify x into x 7.493 * [taylor]: Taking taylor expansion of z in z 7.493 * [backup-simplify]: Simplify 0 into 0 7.493 * [backup-simplify]: Simplify 1 into 1 7.493 * [backup-simplify]: Simplify (/ x 1) into x 7.493 * [taylor]: Taking taylor expansion of x in x 7.493 * [backup-simplify]: Simplify 0 into 0 7.493 * [backup-simplify]: Simplify 1 into 1 7.493 * [backup-simplify]: Simplify 1 into 1 7.494 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.494 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)))) into 0 7.494 * [taylor]: Taking taylor expansion of 0 in z 7.494 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)))) into 0 7.495 * [taylor]: Taking taylor expansion of 0 in x 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify 0 into 0 7.495 * [backup-simplify]: Simplify 0 into 0 7.496 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.496 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ x z) (/ 0 z)) (* 0 (/ 0 z)))) into 0 7.496 * [taylor]: Taking taylor expansion of 0 in z 7.496 * [backup-simplify]: Simplify 0 into 0 7.496 * [taylor]: Taking taylor expansion of 0 in x 7.496 * [backup-simplify]: Simplify 0 into 0 7.496 * [backup-simplify]: Simplify 0 into 0 7.497 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* x (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.497 * [taylor]: Taking taylor expansion of 0 in x 7.497 * [backup-simplify]: Simplify 0 into 0 7.497 * [backup-simplify]: Simplify 0 into 0 7.497 * [backup-simplify]: Simplify 0 into 0 7.497 * [backup-simplify]: Simplify 0 into 0 7.498 * [backup-simplify]: Simplify (* 1 (* x (* (/ 1 z) y))) into (/ (* x y) z) 7.498 * [backup-simplify]: Simplify (/ (/ 1 y) (/ (/ 1 z) (/ 1 x))) into (/ z (* x y)) 7.498 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (y z x) around 0 7.498 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.498 * [taylor]: Taking taylor expansion of z in x 7.498 * [backup-simplify]: Simplify z into z 7.498 * [taylor]: Taking taylor expansion of (* x y) in x 7.498 * [taylor]: Taking taylor expansion of x in x 7.498 * [backup-simplify]: Simplify 0 into 0 7.498 * [backup-simplify]: Simplify 1 into 1 7.498 * [taylor]: Taking taylor expansion of y in x 7.498 * [backup-simplify]: Simplify y into y 7.498 * [backup-simplify]: Simplify (* 0 y) into 0 7.498 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.498 * [backup-simplify]: Simplify (/ z y) into (/ z y) 7.499 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 7.499 * [taylor]: Taking taylor expansion of z in z 7.499 * [backup-simplify]: Simplify 0 into 0 7.499 * [backup-simplify]: Simplify 1 into 1 7.499 * [taylor]: Taking taylor expansion of (* x y) in z 7.499 * [taylor]: Taking taylor expansion of x in z 7.499 * [backup-simplify]: Simplify x into x 7.499 * [taylor]: Taking taylor expansion of y in z 7.499 * [backup-simplify]: Simplify y into y 7.499 * [backup-simplify]: Simplify (* x y) into (* x y) 7.499 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.499 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.499 * [taylor]: Taking taylor expansion of z in y 7.499 * [backup-simplify]: Simplify z into z 7.499 * [taylor]: Taking taylor expansion of (* x y) in y 7.499 * [taylor]: Taking taylor expansion of x in y 7.499 * [backup-simplify]: Simplify x into x 7.499 * [taylor]: Taking taylor expansion of y in y 7.499 * [backup-simplify]: Simplify 0 into 0 7.499 * [backup-simplify]: Simplify 1 into 1 7.499 * [backup-simplify]: Simplify (* x 0) into 0 7.499 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.500 * [backup-simplify]: Simplify (/ z x) into (/ z x) 7.500 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.500 * [taylor]: Taking taylor expansion of z in y 7.500 * [backup-simplify]: Simplify z into z 7.500 * [taylor]: Taking taylor expansion of (* x y) in y 7.500 * [taylor]: Taking taylor expansion of x in y 7.500 * [backup-simplify]: Simplify x into x 7.500 * [taylor]: Taking taylor expansion of y in y 7.500 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [backup-simplify]: Simplify (* x 0) into 0 7.500 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.500 * [backup-simplify]: Simplify (/ z x) into (/ z x) 7.500 * [taylor]: Taking taylor expansion of (/ z x) in z 7.500 * [taylor]: Taking taylor expansion of z in z 7.500 * [backup-simplify]: Simplify 0 into 0 7.500 * [backup-simplify]: Simplify 1 into 1 7.500 * [taylor]: Taking taylor expansion of x in z 7.500 * [backup-simplify]: Simplify x into x 7.501 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.501 * [taylor]: Taking taylor expansion of x in x 7.501 * [backup-simplify]: Simplify 0 into 0 7.501 * [backup-simplify]: Simplify 1 into 1 7.501 * [backup-simplify]: Simplify (/ 1 1) into 1 7.501 * [backup-simplify]: Simplify 1 into 1 7.502 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.502 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 7.502 * [taylor]: Taking taylor expansion of 0 in z 7.502 * [backup-simplify]: Simplify 0 into 0 7.502 * [taylor]: Taking taylor expansion of 0 in x 7.502 * [backup-simplify]: Simplify 0 into 0 7.502 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 7.502 * [taylor]: Taking taylor expansion of 0 in x 7.502 * [backup-simplify]: Simplify 0 into 0 7.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 7.503 * [backup-simplify]: Simplify 0 into 0 7.504 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.504 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.504 * [taylor]: Taking taylor expansion of 0 in z 7.504 * [backup-simplify]: Simplify 0 into 0 7.504 * [taylor]: Taking taylor expansion of 0 in x 7.504 * [backup-simplify]: Simplify 0 into 0 7.504 * [taylor]: Taking taylor expansion of 0 in x 7.504 * [backup-simplify]: Simplify 0 into 0 7.504 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.504 * [taylor]: Taking taylor expansion of 0 in x 7.504 * [backup-simplify]: Simplify 0 into 0 7.504 * [backup-simplify]: Simplify 0 into 0 7.504 * [backup-simplify]: Simplify 0 into 0 7.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.505 * [backup-simplify]: Simplify 0 into 0 7.506 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 7.506 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.506 * [taylor]: Taking taylor expansion of 0 in z 7.506 * [backup-simplify]: Simplify 0 into 0 7.506 * [taylor]: Taking taylor expansion of 0 in x 7.506 * [backup-simplify]: Simplify 0 into 0 7.506 * [taylor]: Taking taylor expansion of 0 in x 7.506 * [backup-simplify]: Simplify 0 into 0 7.506 * [taylor]: Taking taylor expansion of 0 in x 7.507 * [backup-simplify]: Simplify 0 into 0 7.507 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.507 * [taylor]: Taking taylor expansion of 0 in x 7.507 * [backup-simplify]: Simplify 0 into 0 7.507 * [backup-simplify]: Simplify 0 into 0 7.507 * [backup-simplify]: Simplify 0 into 0 7.507 * [backup-simplify]: Simplify (* 1 (* (/ 1 (/ 1 x)) (* (/ 1 z) (/ 1 (/ 1 y))))) into (/ (* x y) z) 7.508 * [backup-simplify]: Simplify (/ (/ 1 (- y)) (/ (/ 1 (- z)) (/ 1 (- x)))) into (* -1 (/ z (* x y))) 7.508 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (y z x) around 0 7.508 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 7.508 * [taylor]: Taking taylor expansion of -1 in x 7.508 * [backup-simplify]: Simplify -1 into -1 7.508 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 7.508 * [taylor]: Taking taylor expansion of z in x 7.508 * [backup-simplify]: Simplify z into z 7.508 * [taylor]: Taking taylor expansion of (* x y) in x 7.508 * [taylor]: Taking taylor expansion of x in x 7.508 * [backup-simplify]: Simplify 0 into 0 7.508 * [backup-simplify]: Simplify 1 into 1 7.508 * [taylor]: Taking taylor expansion of y in x 7.508 * [backup-simplify]: Simplify y into y 7.508 * [backup-simplify]: Simplify (* 0 y) into 0 7.509 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 7.509 * [backup-simplify]: Simplify (/ z y) into (/ z y) 7.509 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 7.509 * [taylor]: Taking taylor expansion of -1 in z 7.509 * [backup-simplify]: Simplify -1 into -1 7.509 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 7.509 * [taylor]: Taking taylor expansion of z in z 7.509 * [backup-simplify]: Simplify 0 into 0 7.509 * [backup-simplify]: Simplify 1 into 1 7.509 * [taylor]: Taking taylor expansion of (* x y) in z 7.509 * [taylor]: Taking taylor expansion of x in z 7.509 * [backup-simplify]: Simplify x into x 7.509 * [taylor]: Taking taylor expansion of y in z 7.509 * [backup-simplify]: Simplify y into y 7.509 * [backup-simplify]: Simplify (* x y) into (* x y) 7.509 * [backup-simplify]: Simplify (/ 1 (* x y)) into (/ 1 (* x y)) 7.509 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 7.509 * [taylor]: Taking taylor expansion of -1 in y 7.509 * [backup-simplify]: Simplify -1 into -1 7.509 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.509 * [taylor]: Taking taylor expansion of z in y 7.509 * [backup-simplify]: Simplify z into z 7.509 * [taylor]: Taking taylor expansion of (* x y) in y 7.509 * [taylor]: Taking taylor expansion of x in y 7.509 * [backup-simplify]: Simplify x into x 7.509 * [taylor]: Taking taylor expansion of y in y 7.509 * [backup-simplify]: Simplify 0 into 0 7.509 * [backup-simplify]: Simplify 1 into 1 7.509 * [backup-simplify]: Simplify (* x 0) into 0 7.510 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.510 * [backup-simplify]: Simplify (/ z x) into (/ z x) 7.510 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 7.510 * [taylor]: Taking taylor expansion of -1 in y 7.510 * [backup-simplify]: Simplify -1 into -1 7.510 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 7.510 * [taylor]: Taking taylor expansion of z in y 7.510 * [backup-simplify]: Simplify z into z 7.510 * [taylor]: Taking taylor expansion of (* x y) in y 7.510 * [taylor]: Taking taylor expansion of x in y 7.510 * [backup-simplify]: Simplify x into x 7.510 * [taylor]: Taking taylor expansion of y in y 7.510 * [backup-simplify]: Simplify 0 into 0 7.510 * [backup-simplify]: Simplify 1 into 1 7.510 * [backup-simplify]: Simplify (* x 0) into 0 7.511 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 7.511 * [backup-simplify]: Simplify (/ z x) into (/ z x) 7.511 * [backup-simplify]: Simplify (* -1 (/ z x)) into (* -1 (/ z x)) 7.511 * [taylor]: Taking taylor expansion of (* -1 (/ z x)) in z 7.511 * [taylor]: Taking taylor expansion of -1 in z 7.511 * [backup-simplify]: Simplify -1 into -1 7.511 * [taylor]: Taking taylor expansion of (/ z x) in z 7.511 * [taylor]: Taking taylor expansion of z in z 7.511 * [backup-simplify]: Simplify 0 into 0 7.511 * [backup-simplify]: Simplify 1 into 1 7.511 * [taylor]: Taking taylor expansion of x in z 7.511 * [backup-simplify]: Simplify x into x 7.511 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 7.511 * [backup-simplify]: Simplify (* -1 (/ 1 x)) into (/ -1 x) 7.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x 7.511 * [taylor]: Taking taylor expansion of -1 in x 7.511 * [backup-simplify]: Simplify -1 into -1 7.511 * [taylor]: Taking taylor expansion of x in x 7.511 * [backup-simplify]: Simplify 0 into 0 7.511 * [backup-simplify]: Simplify 1 into 1 7.512 * [backup-simplify]: Simplify (/ -1 1) into -1 7.512 * [backup-simplify]: Simplify -1 into -1 7.512 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 7.513 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)))) into 0 7.513 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ z x))) into 0 7.513 * [taylor]: Taking taylor expansion of 0 in z 7.513 * [backup-simplify]: Simplify 0 into 0 7.513 * [taylor]: Taking taylor expansion of 0 in x 7.513 * [backup-simplify]: Simplify 0 into 0 7.513 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)))) into 0 7.514 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (/ 1 x))) into 0 7.514 * [taylor]: Taking taylor expansion of 0 in x 7.514 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 7.515 * [backup-simplify]: Simplify 0 into 0 7.515 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 7.516 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.516 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ z x)))) into 0 7.516 * [taylor]: Taking taylor expansion of 0 in z 7.516 * [backup-simplify]: Simplify 0 into 0 7.516 * [taylor]: Taking taylor expansion of 0 in x 7.516 * [backup-simplify]: Simplify 0 into 0 7.516 * [taylor]: Taking taylor expansion of 0 in x 7.517 * [backup-simplify]: Simplify 0 into 0 7.517 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.517 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 7.517 * [taylor]: Taking taylor expansion of 0 in x 7.518 * [backup-simplify]: Simplify 0 into 0 7.518 * [backup-simplify]: Simplify 0 into 0 7.518 * [backup-simplify]: Simplify 0 into 0 7.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 7.519 * [backup-simplify]: Simplify 0 into 0 7.519 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 7.520 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ z x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.521 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ z x))))) into 0 7.521 * [taylor]: Taking taylor expansion of 0 in z 7.521 * [backup-simplify]: Simplify 0 into 0 7.521 * [taylor]: Taking taylor expansion of 0 in x 7.521 * [backup-simplify]: Simplify 0 into 0 7.521 * [taylor]: Taking taylor expansion of 0 in x 7.521 * [backup-simplify]: Simplify 0 into 0 7.521 * [taylor]: Taking taylor expansion of 0 in x 7.521 * [backup-simplify]: Simplify 0 into 0 7.521 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 7.522 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 7.522 * [taylor]: Taking taylor expansion of 0 in x 7.522 * [backup-simplify]: Simplify 0 into 0 7.522 * [backup-simplify]: Simplify 0 into 0 7.522 * [backup-simplify]: Simplify 0 into 0 7.523 * [backup-simplify]: Simplify (* -1 (* (/ 1 (/ 1 (- x))) (* (/ 1 (- z)) (/ 1 (/ 1 (- y)))))) into (/ (* x y) z) 7.523 * * * [progress]: simplifying candidates 7.524 * [simplify]: Simplifying: (- (log y) (- (log z) (log x))) (- (log y) (log (/ z x))) (log (/ y (/ z x))) (exp (/ y (/ z x))) (/ (* (* y y) y) (/ (* (* z z) z) (* (* x x) 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))) (- y) (- (/ z x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (cbrt y) (cbrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x))) (/ (cbrt y) (sqrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ (cbrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (cbrt y) (/ (cbrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) 1)) (/ (cbrt y) (/ (cbrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ (sqrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x))) (/ (cbrt y) (/ (sqrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) 1)) (/ (cbrt y) (/ (sqrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ 1 (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ z (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ 1 (sqrt x))) (/ (cbrt y) (/ z (sqrt x))) (/ (* (cbrt y) (cbrt y)) (/ 1 1)) (/ (cbrt y) (/ z x)) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (/ z x)) (/ (* (cbrt y) (cbrt y)) z) (/ (cbrt y) (/ 1 x)) (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (sqrt y) (cbrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (cbrt z) (cbrt x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (sqrt y) (/ (cbrt z) (sqrt x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) 1)) (/ (sqrt y) (/ (cbrt z) x)) (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (sqrt z) (cbrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) 1)) (/ (sqrt y) (/ (sqrt z) x)) (/ (sqrt y) (/ 1 (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ z (cbrt x))) (/ (sqrt y) (/ 1 (sqrt x))) (/ (sqrt y) (/ z (sqrt x))) (/ (sqrt y) (/ 1 1)) (/ (sqrt y) (/ z x)) (/ (sqrt y) 1) (/ (sqrt y) (/ z x)) (/ (sqrt y) z) (/ (sqrt y) (/ 1 x)) (/ 1 (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ y (cbrt (/ z x))) (/ 1 (sqrt (/ z x))) (/ y (sqrt (/ z x))) (/ 1 (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ y (/ (cbrt z) (cbrt x))) (/ 1 (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ y (/ (cbrt z) (sqrt x))) (/ 1 (/ (* (cbrt z) (cbrt z)) 1)) (/ y (/ (cbrt z) x)) (/ 1 (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ y (/ (sqrt z) (cbrt x))) (/ 1 (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) (sqrt x))) (/ 1 (/ (sqrt z) 1)) (/ y (/ (sqrt z) x)) (/ 1 (/ 1 (* (cbrt x) (cbrt x)))) (/ y (/ z (cbrt x))) (/ 1 (/ 1 (sqrt x))) (/ y (/ z (sqrt x))) (/ 1 (/ 1 1)) (/ y (/ z x)) (/ 1 1) (/ y (/ z x)) (/ 1 z) (/ y (/ 1 x)) (/ 1 (/ z x)) (/ (/ z x) y) (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ y (sqrt (/ z x))) (/ y (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ y (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ y (/ (* (cbrt z) (cbrt z)) 1)) (/ y (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ y (/ (sqrt z) (sqrt x))) (/ y (/ (sqrt z) 1)) (/ y (/ 1 (* (cbrt x) (cbrt x)))) (/ y (/ 1 (sqrt x))) (/ y (/ 1 1)) (/ y 1) (/ y z) (/ (/ z x) (cbrt y)) (/ (/ z x) (sqrt y)) (/ (/ z x) y) (/ y z) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 7.527 * * [simplify]: Extracting # 0 : cost 0 7.528 * * [simplify]: Extracting # 1 : cost 0 7.528 * * [simplify]: Extracting # 2 : cost 0 7.528 * * [simplify]: Extracting # 3 : cost 0 7.529 * * [simplify]: Extracting # 4 : cost 0 7.529 * * [simplify]: Extracting # 5 : cost 0 7.530 * * [simplify]: Extracting # 6 : cost 0 7.530 * * [simplify]: iteration 0 : 150 enodes (cost 880 ) 7.589 * * [simplify]: Extracting # 0 : cost 0 7.590 * * [simplify]: Extracting # 1 : cost 0 7.591 * * [simplify]: Extracting # 2 : cost 0 7.592 * * [simplify]: iteration 1 : 375 enodes (cost 829 ) 7.802 * * [simplify]: Extracting # 0 : cost 0 7.805 * * [simplify]: Extracting # 1 : cost 0 7.809 * * [simplify]: Extracting # 2 : cost 0 7.813 * * [simplify]: Extracting # 3 : cost 0 7.816 * * [simplify]: Extracting # 4 : cost 0 7.820 * * [simplify]: Extracting # 5 : cost 0 7.824 * * [simplify]: iteration 2 : 1643 enodes (cost 777 ) 8.706 * * [simplify]: Extracting # 0 : cost 0 8.718 * * [simplify]: Extracting # 1 : cost 0 8.730 * * [simplify]: Extracting # 2 : cost 0 8.741 * * [simplify]: Extracting # 3 : cost 0 8.753 * * [simplify]: Extracting # 4 : cost 0 8.764 * * [simplify]: Extracting # 5 : cost 0 8.779 * * [simplify]: Extracting # 6 : cost 0 8.790 * * [simplify]: iteration done: 5001 enodes (cost 771 ) 8.791 * [simplify]: Simplified to: (log (/ y (/ z x))) (log (/ y (/ z x))) (log (/ y (/ z x))) (exp (/ y (/ z x))) (pow (/ y (/ z x)) 3) (pow (/ y (/ z x)) 3) (* (cbrt (/ y (/ z x))) (cbrt (/ y (/ z x)))) (cbrt (/ y (/ z x))) (pow (/ y (/ z x)) 3) (sqrt (/ y (/ z x))) (sqrt (/ y (/ z x))) (- y) (- (/ z x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (cbrt y) (cbrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (sqrt (/ z x))) (/ (cbrt y) (sqrt (/ z x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ (cbrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (* (cbrt y) (/ (sqrt x) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (cbrt y) (/ (cbrt z) x)) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ (cbrt y) (/ (sqrt z) (cbrt x))) (/ (* (cbrt y) (cbrt y)) (/ (sqrt z) (sqrt x))) (/ (cbrt y) (/ (sqrt z) (sqrt x))) (/ (* (cbrt y) (cbrt y)) (sqrt z)) (/ (cbrt y) (/ (sqrt z) x)) (* (* (cbrt y) (cbrt y)) (* (cbrt x) (cbrt x))) (/ (cbrt y) (/ z (cbrt x))) (* (* (cbrt y) (cbrt y)) (sqrt x)) (/ (cbrt y) (/ z (sqrt x))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z x)) (* (cbrt y) (cbrt y)) (/ (cbrt y) (/ z x)) (/ (* (cbrt y) (cbrt y)) z) (* (cbrt y) x) (/ (sqrt y) (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ (sqrt y) (cbrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (sqrt (/ z x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ (sqrt y) (/ (cbrt z) (cbrt x))) (/ (sqrt y) (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (sqrt y) (/ (cbrt z) (sqrt x))) (/ (sqrt y) (* (cbrt z) (cbrt z))) (/ (sqrt y) (/ (cbrt z) x)) (/ (sqrt y) (/ (sqrt z) (* (cbrt x) (cbrt x)))) (* (/ (sqrt y) (sqrt z)) (cbrt x)) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (/ (sqrt z) (sqrt x))) (/ (sqrt y) (sqrt z)) (/ (sqrt y) (/ (sqrt z) x)) (* (* (cbrt x) (cbrt x)) (sqrt y)) (/ (sqrt y) (/ z (cbrt x))) (* (sqrt y) (sqrt x)) (/ (sqrt y) (/ z (sqrt x))) (sqrt y) (/ (sqrt y) (/ z x)) (sqrt y) (/ (sqrt y) (/ z x)) (/ (sqrt y) z) (* (sqrt y) x) (/ 1 (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ y (cbrt (/ z x))) (/ 1 (sqrt (/ z x))) (/ y (sqrt (/ z x))) (/ (* (cbrt x) (cbrt x)) (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) (cbrt x))) (/ (sqrt x) (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) (sqrt x))) (/ 1 (* (cbrt z) (cbrt z))) (/ y (/ (cbrt z) x)) (/ (* (cbrt x) (cbrt x)) (sqrt z)) (/ y (/ (sqrt z) (cbrt x))) (/ (sqrt x) (sqrt z)) (/ y (/ (sqrt z) (sqrt x))) (/ 1 (sqrt z)) (/ y (/ (sqrt z) x)) (* (cbrt x) (cbrt x)) (/ y (/ z (cbrt x))) (sqrt x) (/ y (/ z (sqrt x))) 1 (/ y (/ z x)) 1 (/ y (/ z x)) (/ 1 z) (* y x) (/ x z) (/ (/ z x) y) (/ y (* (cbrt (/ z x)) (cbrt (/ z x)))) (/ y (sqrt (/ z x))) (/ y (/ (* (cbrt z) (cbrt z)) (* (cbrt x) (cbrt x)))) (/ y (/ (* (cbrt z) (cbrt z)) (sqrt x))) (/ (/ y (cbrt z)) (cbrt z)) (/ y (/ (sqrt z) (* (cbrt x) (cbrt x)))) (/ y (/ (sqrt z) (sqrt x))) (/ y (sqrt z)) (* y (* (cbrt x) (cbrt x))) (* y (sqrt x)) y y (/ y z) (/ (/ z x) (cbrt y)) (/ (/ z x) (sqrt y)) (/ (/ z x) y) (/ y z) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 8.792 * * * [progress]: adding candidates to table 9.260 * [progress]: [Phase 3 of 3] Extracting. 9.261 * * [regime]: Finding splitpoints for: (# # # # # # #) 9.263 * * * [regime-changes]: Trying 5 branch expressions: ((/ y z) t z y x) 9.263 * * * * [regimes]: Trying to branch on (/ y z) from (# # # # # # #) 9.409 * * * * [regimes]: Trying to branch on t from (# # # # # # #) 9.573 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 9.727 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 9.840 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 9.978 * * * [regime]: Found split indices: #