43.656 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.021 * [simplify]: Simplifying: (+ (+ (+ (+ (+ x y) y) x) z) x) 0.022 * * [simplify]: Extracting # 0 : cost 0 0.022 * * [simplify]: Extracting # 1 : cost 0 0.022 * * [simplify]: Extracting # 2 : cost 0 0.022 * * [simplify]: Extracting # 3 : cost 0 0.022 * * [simplify]: Extracting # 4 : cost 0 0.022 * * [simplify]: Extracting # 5 : cost 0 0.022 * * [simplify]: Extracting # 6 : cost 0 0.022 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 0.023 * * [simplify]: Extracting # 0 : cost 0 0.023 * * [simplify]: Extracting # 1 : cost 0 0.023 * * [simplify]: Extracting # 2 : cost 0 0.023 * * [simplify]: iteration 1 : 20 enodes (cost 11 ) 0.030 * * [simplify]: Extracting # 0 : cost 0 0.030 * * [simplify]: Extracting # 1 : cost 0 0.030 * * [simplify]: Extracting # 2 : cost 0 0.030 * * [simplify]: iteration 2 : 66 enodes (cost 11 ) 0.068 * * [simplify]: Extracting # 0 : cost 0 0.069 * * [simplify]: Extracting # 1 : cost 0 0.069 * * [simplify]: Extracting # 2 : cost 0 0.069 * * [simplify]: iteration 3 : 208 enodes (cost 9 ) 0.588 * * [simplify]: Extracting # 0 : cost 0 0.588 * * [simplify]: Extracting # 1 : cost 0 0.588 * * [simplify]: Extracting # 2 : cost 0 0.589 * * [simplify]: Extracting # 3 : cost 0 0.589 * * [simplify]: iteration 4 : 419 enodes (cost 8 ) 0.752 * * [simplify]: Extracting # 0 : cost 0 0.756 * * [simplify]: Extracting # 1 : cost 0 0.756 * * [simplify]: iteration 5 : 469 enodes (cost 7 ) 0.842 * * [simplify]: Extracting # 0 : cost 0 0.842 * * [simplify]: iteration 6 : 475 enodes (cost 7 ) 0.934 * * [simplify]: Extracting # 0 : cost 0 0.934 * * [simplify]: iteration done: 475 enodes (cost 7 ) 0.934 * [simplify]: Simplified to: (fma y 2 (fma 3 x z)) 0.937 * * [progress]: iteration 1 / 4 0.937 * * * [progress]: picking best candidate 0.943 * * * * [pick]: Picked # 0.943 * * * [progress]: localizing error 0.960 * * * [progress]: generating rewritten candidates 0.960 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1 1) 1.000 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 1.209 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 4.781 * * * [progress]: generating series expansions 4.781 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1 1) 4.781 * [backup-simplify]: Simplify (+ (+ x y) y) into (+ x (* 2 y)) 4.781 * [approximate]: Taking taylor expansion of (+ x (* 2 y)) in (x y) around 0 4.781 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in y 4.781 * [taylor]: Taking taylor expansion of x in y 4.781 * [backup-simplify]: Simplify x into x 4.781 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.781 * [taylor]: Taking taylor expansion of 2 in y 4.781 * [backup-simplify]: Simplify 2 into 2 4.781 * [taylor]: Taking taylor expansion of y in y 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 1 into 1 4.781 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in x 4.781 * [taylor]: Taking taylor expansion of x in x 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 1 into 1 4.781 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.781 * [taylor]: Taking taylor expansion of 2 in x 4.781 * [backup-simplify]: Simplify 2 into 2 4.781 * [taylor]: Taking taylor expansion of y in x 4.781 * [backup-simplify]: Simplify y into y 4.781 * [taylor]: Taking taylor expansion of (+ x (* 2 y)) in x 4.781 * [taylor]: Taking taylor expansion of x in x 4.781 * [backup-simplify]: Simplify 0 into 0 4.781 * [backup-simplify]: Simplify 1 into 1 4.781 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.781 * [taylor]: Taking taylor expansion of 2 in x 4.781 * [backup-simplify]: Simplify 2 into 2 4.781 * [taylor]: Taking taylor expansion of y in x 4.781 * [backup-simplify]: Simplify y into y 4.781 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 4.781 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y) 4.781 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.781 * [taylor]: Taking taylor expansion of 2 in y 4.782 * [backup-simplify]: Simplify 2 into 2 4.782 * [taylor]: Taking taylor expansion of y in y 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify 1 into 1 4.782 * [backup-simplify]: Simplify (* 2 0) into 0 4.782 * [backup-simplify]: Simplify 0 into 0 4.782 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 4.783 * [backup-simplify]: Simplify (+ 1 0) into 1 4.783 * [taylor]: Taking taylor expansion of 1 in y 4.783 * [backup-simplify]: Simplify 1 into 1 4.783 * [backup-simplify]: Simplify 1 into 1 4.783 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.783 * [backup-simplify]: Simplify 2 into 2 4.784 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 y))) into 0 4.784 * [backup-simplify]: Simplify (+ 0 0) into 0 4.784 * [taylor]: Taking taylor expansion of 0 in y 4.784 * [backup-simplify]: Simplify 0 into 0 4.784 * [backup-simplify]: Simplify 0 into 0 4.784 * [backup-simplify]: Simplify 0 into 0 4.785 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 4.785 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.786 * [backup-simplify]: Simplify (+ 0 0) into 0 4.786 * [taylor]: Taking taylor expansion of 0 in y 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify 0 into 0 4.786 * [backup-simplify]: Simplify (+ (* 2 (* y 1)) (* 1 (* 1 x))) into (+ x (* 2 y)) 4.786 * [backup-simplify]: Simplify (+ (+ (/ 1 x) (/ 1 y)) (/ 1 y)) into (+ (* 2 (/ 1 y)) (/ 1 x)) 4.786 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in (x y) around 0 4.786 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in y 4.786 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.786 * [taylor]: Taking taylor expansion of 2 in y 4.786 * [backup-simplify]: Simplify 2 into 2 4.787 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.787 * [taylor]: Taking taylor expansion of y in y 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [backup-simplify]: Simplify 1 into 1 4.787 * [backup-simplify]: Simplify (/ 1 1) into 1 4.787 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.787 * [taylor]: Taking taylor expansion of x in y 4.787 * [backup-simplify]: Simplify x into x 4.787 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.787 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 4.787 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.787 * [taylor]: Taking taylor expansion of 2 in x 4.787 * [backup-simplify]: Simplify 2 into 2 4.787 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.787 * [taylor]: Taking taylor expansion of y in x 4.787 * [backup-simplify]: Simplify y into y 4.787 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.787 * [taylor]: Taking taylor expansion of x in x 4.787 * [backup-simplify]: Simplify 0 into 0 4.787 * [backup-simplify]: Simplify 1 into 1 4.787 * [backup-simplify]: Simplify (/ 1 1) into 1 4.787 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 4.787 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.787 * [taylor]: Taking taylor expansion of 2 in x 4.787 * [backup-simplify]: Simplify 2 into 2 4.787 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.788 * [taylor]: Taking taylor expansion of y in x 4.788 * [backup-simplify]: Simplify y into y 4.788 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.788 * [taylor]: Taking taylor expansion of x in x 4.788 * [backup-simplify]: Simplify 0 into 0 4.788 * [backup-simplify]: Simplify 1 into 1 4.788 * [backup-simplify]: Simplify (/ 1 1) into 1 4.788 * [backup-simplify]: Simplify (+ 0 1) into 1 4.788 * [taylor]: Taking taylor expansion of 1 in y 4.788 * [backup-simplify]: Simplify 1 into 1 4.788 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 4.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.789 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 4.789 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.789 * [taylor]: Taking taylor expansion of 2 in y 4.789 * [backup-simplify]: Simplify 2 into 2 4.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.789 * [taylor]: Taking taylor expansion of y in y 4.789 * [backup-simplify]: Simplify 0 into 0 4.789 * [backup-simplify]: Simplify 1 into 1 4.789 * [backup-simplify]: Simplify (/ 1 1) into 1 4.790 * [backup-simplify]: Simplify (* 2 1) into 2 4.790 * [backup-simplify]: Simplify 2 into 2 4.790 * [backup-simplify]: Simplify 1 into 1 4.790 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.790 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 4.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.791 * [backup-simplify]: Simplify (+ 0 0) into 0 4.791 * [taylor]: Taking taylor expansion of 0 in y 4.791 * [backup-simplify]: Simplify 0 into 0 4.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.794 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify 0 into 0 4.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.796 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 4.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.796 * [backup-simplify]: Simplify (+ 0 0) into 0 4.796 * [taylor]: Taking taylor expansion of 0 in y 4.796 * [backup-simplify]: Simplify 0 into 0 4.796 * [backup-simplify]: Simplify 0 into 0 4.797 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.798 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify 0 into 0 4.798 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.799 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 4.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.800 * [backup-simplify]: Simplify (+ 0 0) into 0 4.800 * [taylor]: Taking taylor expansion of 0 in y 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (* 2 (* (/ 1 (/ 1 y)) 1))) into (+ x (* 2 y)) 4.800 * [backup-simplify]: Simplify (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (- (+ (* 2 (/ 1 y)) (/ 1 x))) 4.800 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in (x y) around 0 4.800 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in y 4.800 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in y 4.800 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.800 * [taylor]: Taking taylor expansion of 2 in y 4.800 * [backup-simplify]: Simplify 2 into 2 4.800 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.800 * [taylor]: Taking taylor expansion of y in y 4.800 * [backup-simplify]: Simplify 0 into 0 4.800 * [backup-simplify]: Simplify 1 into 1 4.800 * [backup-simplify]: Simplify (/ 1 1) into 1 4.800 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.800 * [taylor]: Taking taylor expansion of x in y 4.800 * [backup-simplify]: Simplify x into x 4.800 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.801 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in x 4.801 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 4.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.801 * [taylor]: Taking taylor expansion of 2 in x 4.801 * [backup-simplify]: Simplify 2 into 2 4.801 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.801 * [taylor]: Taking taylor expansion of y in x 4.801 * [backup-simplify]: Simplify y into y 4.801 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.801 * [taylor]: Taking taylor expansion of x in x 4.801 * [backup-simplify]: Simplify 0 into 0 4.801 * [backup-simplify]: Simplify 1 into 1 4.801 * [backup-simplify]: Simplify (/ 1 1) into 1 4.801 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 x))) in x 4.801 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 x)) in x 4.801 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.801 * [taylor]: Taking taylor expansion of 2 in x 4.801 * [backup-simplify]: Simplify 2 into 2 4.801 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.801 * [taylor]: Taking taylor expansion of y in x 4.801 * [backup-simplify]: Simplify y into y 4.801 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.801 * [taylor]: Taking taylor expansion of x in x 4.801 * [backup-simplify]: Simplify 0 into 0 4.801 * [backup-simplify]: Simplify 1 into 1 4.802 * [backup-simplify]: Simplify (/ 1 1) into 1 4.802 * [backup-simplify]: Simplify (+ 0 1) into 1 4.802 * [backup-simplify]: Simplify (- 1) into -1 4.802 * [taylor]: Taking taylor expansion of -1 in y 4.802 * [backup-simplify]: Simplify -1 into -1 4.802 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 4.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.803 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 4.803 * [backup-simplify]: Simplify (- (* 2 (/ 1 y))) into (- (* 2 (/ 1 y))) 4.803 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y 4.803 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.803 * [taylor]: Taking taylor expansion of 2 in y 4.803 * [backup-simplify]: Simplify 2 into 2 4.803 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.803 * [taylor]: Taking taylor expansion of y in y 4.803 * [backup-simplify]: Simplify 0 into 0 4.803 * [backup-simplify]: Simplify 1 into 1 4.803 * [backup-simplify]: Simplify (/ 1 1) into 1 4.804 * [backup-simplify]: Simplify (* 2 1) into 2 4.804 * [backup-simplify]: Simplify (- 2) into -2 4.804 * [backup-simplify]: Simplify -2 into -2 4.804 * [backup-simplify]: Simplify -1 into -1 4.804 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.804 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 4.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.805 * [backup-simplify]: Simplify (+ 0 0) into 0 4.805 * [backup-simplify]: Simplify (- 0) into 0 4.805 * [taylor]: Taking taylor expansion of 0 in y 4.805 * [backup-simplify]: Simplify 0 into 0 4.806 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.807 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.808 * [backup-simplify]: Simplify (- 0) into 0 4.808 * [backup-simplify]: Simplify 0 into 0 4.808 * [backup-simplify]: Simplify 0 into 0 4.808 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.809 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 4.810 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.811 * [backup-simplify]: Simplify (+ 0 0) into 0 4.811 * [backup-simplify]: Simplify (- 0) into 0 4.811 * [taylor]: Taking taylor expansion of 0 in y 4.811 * [backup-simplify]: Simplify 0 into 0 4.811 * [backup-simplify]: Simplify 0 into 0 4.812 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.813 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.813 * [backup-simplify]: Simplify (- 0) into 0 4.813 * [backup-simplify]: Simplify 0 into 0 4.813 * [backup-simplify]: Simplify 0 into 0 4.814 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.815 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 4.816 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.816 * [backup-simplify]: Simplify (+ 0 0) into 0 4.817 * [backup-simplify]: Simplify (- 0) into 0 4.817 * [taylor]: Taking taylor expansion of 0 in y 4.817 * [backup-simplify]: Simplify 0 into 0 4.817 * [backup-simplify]: Simplify 0 into 0 4.817 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (* -2 (* (/ 1 (/ 1 (- y))) 1))) into (+ x (* 2 y)) 4.817 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 4.817 * [backup-simplify]: Simplify (+ (+ (+ x y) y) x) into (+ (* 2 x) (* 2 y)) 4.818 * [approximate]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in (x y) around 0 4.818 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in y 4.818 * [taylor]: Taking taylor expansion of (* 2 x) in y 4.818 * [taylor]: Taking taylor expansion of 2 in y 4.818 * [backup-simplify]: Simplify 2 into 2 4.818 * [taylor]: Taking taylor expansion of x in y 4.818 * [backup-simplify]: Simplify x into x 4.818 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.818 * [taylor]: Taking taylor expansion of 2 in y 4.818 * [backup-simplify]: Simplify 2 into 2 4.818 * [taylor]: Taking taylor expansion of y in y 4.818 * [backup-simplify]: Simplify 0 into 0 4.818 * [backup-simplify]: Simplify 1 into 1 4.818 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in x 4.818 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.818 * [taylor]: Taking taylor expansion of 2 in x 4.818 * [backup-simplify]: Simplify 2 into 2 4.818 * [taylor]: Taking taylor expansion of x in x 4.818 * [backup-simplify]: Simplify 0 into 0 4.818 * [backup-simplify]: Simplify 1 into 1 4.818 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.818 * [taylor]: Taking taylor expansion of 2 in x 4.818 * [backup-simplify]: Simplify 2 into 2 4.818 * [taylor]: Taking taylor expansion of y in x 4.818 * [backup-simplify]: Simplify y into y 4.818 * [taylor]: Taking taylor expansion of (+ (* 2 x) (* 2 y)) in x 4.818 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.818 * [taylor]: Taking taylor expansion of 2 in x 4.818 * [backup-simplify]: Simplify 2 into 2 4.818 * [taylor]: Taking taylor expansion of x in x 4.818 * [backup-simplify]: Simplify 0 into 0 4.818 * [backup-simplify]: Simplify 1 into 1 4.818 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.818 * [taylor]: Taking taylor expansion of 2 in x 4.818 * [backup-simplify]: Simplify 2 into 2 4.819 * [taylor]: Taking taylor expansion of y in x 4.819 * [backup-simplify]: Simplify y into y 4.819 * [backup-simplify]: Simplify (* 2 0) into 0 4.819 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 4.819 * [backup-simplify]: Simplify (+ 0 (* 2 y)) into (* 2 y) 4.819 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.819 * [taylor]: Taking taylor expansion of 2 in y 4.819 * [backup-simplify]: Simplify 2 into 2 4.820 * [taylor]: Taking taylor expansion of y in y 4.820 * [backup-simplify]: Simplify 0 into 0 4.820 * [backup-simplify]: Simplify 1 into 1 4.820 * [backup-simplify]: Simplify (* 2 0) into 0 4.820 * [backup-simplify]: Simplify 0 into 0 4.821 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.822 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 4.822 * [backup-simplify]: Simplify (+ 2 0) into 2 4.822 * [taylor]: Taking taylor expansion of 2 in y 4.822 * [backup-simplify]: Simplify 2 into 2 4.822 * [backup-simplify]: Simplify 2 into 2 4.823 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.823 * [backup-simplify]: Simplify 2 into 2 4.824 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 4.825 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 y))) into 0 4.825 * [backup-simplify]: Simplify (+ 0 0) into 0 4.825 * [taylor]: Taking taylor expansion of 0 in y 4.825 * [backup-simplify]: Simplify 0 into 0 4.825 * [backup-simplify]: Simplify 0 into 0 4.825 * [backup-simplify]: Simplify 0 into 0 4.826 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 1) (* 0 0))) into 0 4.826 * [backup-simplify]: Simplify 0 into 0 4.828 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 4.829 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))) into 0 4.829 * [backup-simplify]: Simplify (+ 0 0) into 0 4.829 * [taylor]: Taking taylor expansion of 0 in y 4.829 * [backup-simplify]: Simplify 0 into 0 4.829 * [backup-simplify]: Simplify 0 into 0 4.829 * [backup-simplify]: Simplify 0 into 0 4.829 * [backup-simplify]: Simplify 0 into 0 4.830 * [backup-simplify]: Simplify (+ (* 2 (* y 1)) (* 2 (* 1 x))) into (+ (* 2 x) (* 2 y)) 4.830 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 x) (/ 1 y)) (/ 1 y)) (/ 1 x)) into (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) 4.830 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in (x y) around 0 4.830 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in y 4.830 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.830 * [taylor]: Taking taylor expansion of 2 in y 4.830 * [backup-simplify]: Simplify 2 into 2 4.830 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.830 * [taylor]: Taking taylor expansion of y in y 4.830 * [backup-simplify]: Simplify 0 into 0 4.830 * [backup-simplify]: Simplify 1 into 1 4.830 * [backup-simplify]: Simplify (/ 1 1) into 1 4.830 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 4.830 * [taylor]: Taking taylor expansion of 2 in y 4.830 * [backup-simplify]: Simplify 2 into 2 4.830 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.830 * [taylor]: Taking taylor expansion of x in y 4.830 * [backup-simplify]: Simplify x into x 4.830 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.830 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 4.830 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.830 * [taylor]: Taking taylor expansion of 2 in x 4.830 * [backup-simplify]: Simplify 2 into 2 4.830 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.830 * [taylor]: Taking taylor expansion of y in x 4.830 * [backup-simplify]: Simplify y into y 4.830 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.831 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.831 * [taylor]: Taking taylor expansion of 2 in x 4.831 * [backup-simplify]: Simplify 2 into 2 4.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.831 * [taylor]: Taking taylor expansion of x in x 4.831 * [backup-simplify]: Simplify 0 into 0 4.831 * [backup-simplify]: Simplify 1 into 1 4.831 * [backup-simplify]: Simplify (/ 1 1) into 1 4.831 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 4.831 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.831 * [taylor]: Taking taylor expansion of 2 in x 4.831 * [backup-simplify]: Simplify 2 into 2 4.831 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.831 * [taylor]: Taking taylor expansion of y in x 4.831 * [backup-simplify]: Simplify y into y 4.831 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.831 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.831 * [taylor]: Taking taylor expansion of 2 in x 4.831 * [backup-simplify]: Simplify 2 into 2 4.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.831 * [taylor]: Taking taylor expansion of x in x 4.831 * [backup-simplify]: Simplify 0 into 0 4.831 * [backup-simplify]: Simplify 1 into 1 4.831 * [backup-simplify]: Simplify (/ 1 1) into 1 4.832 * [backup-simplify]: Simplify (* 2 1) into 2 4.832 * [backup-simplify]: Simplify (+ 0 2) into 2 4.832 * [taylor]: Taking taylor expansion of 2 in y 4.832 * [backup-simplify]: Simplify 2 into 2 4.832 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 4.833 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.833 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.833 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 4.833 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.833 * [taylor]: Taking taylor expansion of 2 in y 4.833 * [backup-simplify]: Simplify 2 into 2 4.833 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.833 * [taylor]: Taking taylor expansion of y in y 4.833 * [backup-simplify]: Simplify 0 into 0 4.833 * [backup-simplify]: Simplify 1 into 1 4.833 * [backup-simplify]: Simplify (/ 1 1) into 1 4.834 * [backup-simplify]: Simplify (* 2 1) into 2 4.834 * [backup-simplify]: Simplify 2 into 2 4.834 * [backup-simplify]: Simplify 2 into 2 4.834 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.834 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 4.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.835 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.836 * [backup-simplify]: Simplify (+ 0 0) into 0 4.836 * [taylor]: Taking taylor expansion of 0 in y 4.836 * [backup-simplify]: Simplify 0 into 0 4.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.837 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.837 * [backup-simplify]: Simplify 0 into 0 4.837 * [backup-simplify]: Simplify 0 into 0 4.837 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.837 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 4.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.838 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.839 * [backup-simplify]: Simplify (+ 0 0) into 0 4.839 * [taylor]: Taking taylor expansion of 0 in y 4.839 * [backup-simplify]: Simplify 0 into 0 4.839 * [backup-simplify]: Simplify 0 into 0 4.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.840 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.840 * [backup-simplify]: Simplify 0 into 0 4.840 * [backup-simplify]: Simplify 0 into 0 4.840 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.841 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 4.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.842 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.842 * [backup-simplify]: Simplify (+ 0 0) into 0 4.843 * [taylor]: Taking taylor expansion of 0 in y 4.843 * [backup-simplify]: Simplify 0 into 0 4.843 * [backup-simplify]: Simplify 0 into 0 4.843 * [backup-simplify]: Simplify (+ (* 2 (* 1 (/ 1 (/ 1 x)))) (* 2 (* (/ 1 (/ 1 y)) 1))) into (+ (* 2 x) (* 2 y)) 4.843 * [backup-simplify]: Simplify (+ (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) (/ 1 (- x))) into (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) 4.843 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in (x y) around 0 4.843 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in y 4.843 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in y 4.843 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.843 * [taylor]: Taking taylor expansion of 2 in y 4.843 * [backup-simplify]: Simplify 2 into 2 4.843 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.843 * [taylor]: Taking taylor expansion of y in y 4.843 * [backup-simplify]: Simplify 0 into 0 4.843 * [backup-simplify]: Simplify 1 into 1 4.843 * [backup-simplify]: Simplify (/ 1 1) into 1 4.844 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in y 4.844 * [taylor]: Taking taylor expansion of 2 in y 4.844 * [backup-simplify]: Simplify 2 into 2 4.844 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.844 * [taylor]: Taking taylor expansion of x in y 4.844 * [backup-simplify]: Simplify x into x 4.844 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.844 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in x 4.844 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 4.844 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.844 * [taylor]: Taking taylor expansion of 2 in x 4.844 * [backup-simplify]: Simplify 2 into 2 4.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.844 * [taylor]: Taking taylor expansion of y in x 4.844 * [backup-simplify]: Simplify y into y 4.844 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.844 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.844 * [taylor]: Taking taylor expansion of 2 in x 4.844 * [backup-simplify]: Simplify 2 into 2 4.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.844 * [taylor]: Taking taylor expansion of x in x 4.844 * [backup-simplify]: Simplify 0 into 0 4.844 * [backup-simplify]: Simplify 1 into 1 4.844 * [backup-simplify]: Simplify (/ 1 1) into 1 4.844 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (* 2 (/ 1 x)))) in x 4.844 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (* 2 (/ 1 x))) in x 4.844 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.844 * [taylor]: Taking taylor expansion of 2 in x 4.844 * [backup-simplify]: Simplify 2 into 2 4.844 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.844 * [taylor]: Taking taylor expansion of y in x 4.844 * [backup-simplify]: Simplify y into y 4.844 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.844 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.844 * [taylor]: Taking taylor expansion of 2 in x 4.844 * [backup-simplify]: Simplify 2 into 2 4.844 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.844 * [taylor]: Taking taylor expansion of x in x 4.844 * [backup-simplify]: Simplify 0 into 0 4.844 * [backup-simplify]: Simplify 1 into 1 4.845 * [backup-simplify]: Simplify (/ 1 1) into 1 4.845 * [backup-simplify]: Simplify (* 2 1) into 2 4.845 * [backup-simplify]: Simplify (+ 0 2) into 2 4.846 * [backup-simplify]: Simplify (- 2) into -2 4.846 * [taylor]: Taking taylor expansion of -2 in y 4.846 * [backup-simplify]: Simplify -2 into -2 4.846 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 4.846 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.847 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.847 * [backup-simplify]: Simplify (+ (/ 2 y) 0) into (* 2 (/ 1 y)) 4.847 * [backup-simplify]: Simplify (- (* 2 (/ 1 y))) into (- (* 2 (/ 1 y))) 4.847 * [taylor]: Taking taylor expansion of (- (* 2 (/ 1 y))) in y 4.847 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.847 * [taylor]: Taking taylor expansion of 2 in y 4.847 * [backup-simplify]: Simplify 2 into 2 4.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.847 * [taylor]: Taking taylor expansion of y in y 4.847 * [backup-simplify]: Simplify 0 into 0 4.847 * [backup-simplify]: Simplify 1 into 1 4.847 * [backup-simplify]: Simplify (/ 1 1) into 1 4.848 * [backup-simplify]: Simplify (* 2 1) into 2 4.848 * [backup-simplify]: Simplify (- 2) into -2 4.848 * [backup-simplify]: Simplify -2 into -2 4.848 * [backup-simplify]: Simplify -2 into -2 4.848 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.848 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 4.849 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.849 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.850 * [backup-simplify]: Simplify (+ 0 0) into 0 4.850 * [backup-simplify]: Simplify (- 0) into 0 4.850 * [taylor]: Taking taylor expansion of 0 in y 4.850 * [backup-simplify]: Simplify 0 into 0 4.850 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.851 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.851 * [backup-simplify]: Simplify (- 0) into 0 4.851 * [backup-simplify]: Simplify 0 into 0 4.851 * [backup-simplify]: Simplify 0 into 0 4.851 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.852 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 (/ 1 y)))) into 0 4.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.853 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 4.853 * [backup-simplify]: Simplify (+ 0 0) into 0 4.854 * [backup-simplify]: Simplify (- 0) into 0 4.854 * [taylor]: Taking taylor expansion of 0 in y 4.854 * [backup-simplify]: Simplify 0 into 0 4.854 * [backup-simplify]: Simplify 0 into 0 4.854 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.855 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (* 0 1))) into 0 4.855 * [backup-simplify]: Simplify (- 0) into 0 4.855 * [backup-simplify]: Simplify 0 into 0 4.855 * [backup-simplify]: Simplify 0 into 0 4.855 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.856 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 y))))) into 0 4.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.858 * [backup-simplify]: Simplify (+ (* 2 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 4.858 * [backup-simplify]: Simplify (+ 0 0) into 0 4.858 * [backup-simplify]: Simplify (- 0) into 0 4.858 * [taylor]: Taking taylor expansion of 0 in y 4.858 * [backup-simplify]: Simplify 0 into 0 4.858 * [backup-simplify]: Simplify 0 into 0 4.859 * [backup-simplify]: Simplify (+ (* -2 (* 1 (/ 1 (/ 1 (- x))))) (* -2 (* (/ 1 (/ 1 (- y))) 1))) into (+ (* 2 x) (* 2 y)) 4.859 * * * * [progress]: [ 3 / 3 ] generating series at (2) 4.859 * [backup-simplify]: Simplify (+ (+ (+ (+ (+ x y) y) x) z) x) into (+ (* 3 x) (+ z (* 2 y))) 4.859 * [approximate]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in (x y z) around 0 4.859 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in z 4.859 * [taylor]: Taking taylor expansion of (* 3 x) in z 4.859 * [taylor]: Taking taylor expansion of 3 in z 4.859 * [backup-simplify]: Simplify 3 into 3 4.859 * [taylor]: Taking taylor expansion of x in z 4.859 * [backup-simplify]: Simplify x into x 4.859 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in z 4.859 * [taylor]: Taking taylor expansion of z in z 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 1 into 1 4.860 * [taylor]: Taking taylor expansion of (* 2 y) in z 4.860 * [taylor]: Taking taylor expansion of 2 in z 4.860 * [backup-simplify]: Simplify 2 into 2 4.860 * [taylor]: Taking taylor expansion of y in z 4.860 * [backup-simplify]: Simplify y into y 4.860 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in y 4.860 * [taylor]: Taking taylor expansion of (* 3 x) in y 4.860 * [taylor]: Taking taylor expansion of 3 in y 4.860 * [backup-simplify]: Simplify 3 into 3 4.860 * [taylor]: Taking taylor expansion of x in y 4.860 * [backup-simplify]: Simplify x into x 4.860 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 4.860 * [taylor]: Taking taylor expansion of z in y 4.860 * [backup-simplify]: Simplify z into z 4.860 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.860 * [taylor]: Taking taylor expansion of 2 in y 4.860 * [backup-simplify]: Simplify 2 into 2 4.860 * [taylor]: Taking taylor expansion of y in y 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 1 into 1 4.860 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in x 4.860 * [taylor]: Taking taylor expansion of (* 3 x) in x 4.860 * [taylor]: Taking taylor expansion of 3 in x 4.860 * [backup-simplify]: Simplify 3 into 3 4.860 * [taylor]: Taking taylor expansion of x in x 4.860 * [backup-simplify]: Simplify 0 into 0 4.860 * [backup-simplify]: Simplify 1 into 1 4.860 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in x 4.860 * [taylor]: Taking taylor expansion of z in x 4.860 * [backup-simplify]: Simplify z into z 4.861 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.861 * [taylor]: Taking taylor expansion of 2 in x 4.861 * [backup-simplify]: Simplify 2 into 2 4.861 * [taylor]: Taking taylor expansion of y in x 4.861 * [backup-simplify]: Simplify y into y 4.861 * [taylor]: Taking taylor expansion of (+ (* 3 x) (+ z (* 2 y))) in x 4.861 * [taylor]: Taking taylor expansion of (* 3 x) in x 4.861 * [taylor]: Taking taylor expansion of 3 in x 4.861 * [backup-simplify]: Simplify 3 into 3 4.861 * [taylor]: Taking taylor expansion of x in x 4.861 * [backup-simplify]: Simplify 0 into 0 4.861 * [backup-simplify]: Simplify 1 into 1 4.861 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in x 4.861 * [taylor]: Taking taylor expansion of z in x 4.861 * [backup-simplify]: Simplify z into z 4.861 * [taylor]: Taking taylor expansion of (* 2 y) in x 4.861 * [taylor]: Taking taylor expansion of 2 in x 4.861 * [backup-simplify]: Simplify 2 into 2 4.861 * [taylor]: Taking taylor expansion of y in x 4.861 * [backup-simplify]: Simplify y into y 4.862 * [backup-simplify]: Simplify (* 3 0) into 0 4.862 * [backup-simplify]: Simplify (* 2 y) into (* 2 y) 4.862 * [backup-simplify]: Simplify (+ z (* 2 y)) into (+ z (* 2 y)) 4.862 * [backup-simplify]: Simplify (+ 0 (+ z (* 2 y))) into (+ z (* 2 y)) 4.862 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 4.862 * [taylor]: Taking taylor expansion of z in y 4.862 * [backup-simplify]: Simplify z into z 4.862 * [taylor]: Taking taylor expansion of (* 2 y) in y 4.862 * [taylor]: Taking taylor expansion of 2 in y 4.862 * [backup-simplify]: Simplify 2 into 2 4.862 * [taylor]: Taking taylor expansion of y in y 4.862 * [backup-simplify]: Simplify 0 into 0 4.862 * [backup-simplify]: Simplify 1 into 1 4.863 * [backup-simplify]: Simplify (* 2 0) into 0 4.863 * [backup-simplify]: Simplify (+ z 0) into z 4.863 * [taylor]: Taking taylor expansion of z in z 4.863 * [backup-simplify]: Simplify 0 into 0 4.863 * [backup-simplify]: Simplify 1 into 1 4.863 * [backup-simplify]: Simplify 0 into 0 4.864 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3 4.865 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 y)) into 0 4.865 * [backup-simplify]: Simplify (+ 0 0) into 0 4.865 * [backup-simplify]: Simplify (+ 3 0) into 3 4.865 * [taylor]: Taking taylor expansion of 3 in y 4.865 * [backup-simplify]: Simplify 3 into 3 4.866 * [taylor]: Taking taylor expansion of 3 in z 4.866 * [backup-simplify]: Simplify 3 into 3 4.866 * [backup-simplify]: Simplify 3 into 3 4.866 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 4.867 * [backup-simplify]: Simplify (+ 0 2) into 2 4.867 * [taylor]: Taking taylor expansion of 2 in z 4.867 * [backup-simplify]: Simplify 2 into 2 4.867 * [backup-simplify]: Simplify 2 into 2 4.867 * [backup-simplify]: Simplify 1 into 1 4.868 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 2 (* 1 (* y 1))) (* 3 (* 1 (* 1 x))))) into (+ (* 3 x) (+ z (* 2 y))) 4.869 * [backup-simplify]: Simplify (+ (+ (+ (+ (+ (/ 1 x) (/ 1 y)) (/ 1 y)) (/ 1 x)) (/ 1 z)) (/ 1 x)) into (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) 4.869 * [approximate]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in (x y z) around 0 4.869 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in z 4.869 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 4.869 * [taylor]: Taking taylor expansion of 2 in z 4.869 * [backup-simplify]: Simplify 2 into 2 4.869 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.869 * [taylor]: Taking taylor expansion of y in z 4.869 * [backup-simplify]: Simplify y into y 4.869 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.869 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 4.869 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.869 * [taylor]: Taking taylor expansion of z in z 4.869 * [backup-simplify]: Simplify 0 into 0 4.869 * [backup-simplify]: Simplify 1 into 1 4.870 * [backup-simplify]: Simplify (/ 1 1) into 1 4.870 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 4.870 * [taylor]: Taking taylor expansion of 3 in z 4.870 * [backup-simplify]: Simplify 3 into 3 4.870 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.870 * [taylor]: Taking taylor expansion of x in z 4.870 * [backup-simplify]: Simplify x into x 4.870 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.870 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in y 4.870 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.870 * [taylor]: Taking taylor expansion of 2 in y 4.870 * [backup-simplify]: Simplify 2 into 2 4.870 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.870 * [taylor]: Taking taylor expansion of y in y 4.870 * [backup-simplify]: Simplify 0 into 0 4.870 * [backup-simplify]: Simplify 1 into 1 4.871 * [backup-simplify]: Simplify (/ 1 1) into 1 4.871 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in y 4.871 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.871 * [taylor]: Taking taylor expansion of z in y 4.871 * [backup-simplify]: Simplify z into z 4.871 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.871 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 4.871 * [taylor]: Taking taylor expansion of 3 in y 4.871 * [backup-simplify]: Simplify 3 into 3 4.871 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.871 * [taylor]: Taking taylor expansion of x in y 4.871 * [backup-simplify]: Simplify x into x 4.871 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.871 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 4.871 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.871 * [taylor]: Taking taylor expansion of 2 in x 4.871 * [backup-simplify]: Simplify 2 into 2 4.871 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.871 * [taylor]: Taking taylor expansion of y in x 4.871 * [backup-simplify]: Simplify y into y 4.871 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.871 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 4.871 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.871 * [taylor]: Taking taylor expansion of z in x 4.872 * [backup-simplify]: Simplify z into z 4.872 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.872 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 4.872 * [taylor]: Taking taylor expansion of 3 in x 4.872 * [backup-simplify]: Simplify 3 into 3 4.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.872 * [taylor]: Taking taylor expansion of x in x 4.872 * [backup-simplify]: Simplify 0 into 0 4.872 * [backup-simplify]: Simplify 1 into 1 4.872 * [backup-simplify]: Simplify (/ 1 1) into 1 4.872 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 4.872 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.872 * [taylor]: Taking taylor expansion of 2 in x 4.872 * [backup-simplify]: Simplify 2 into 2 4.872 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.872 * [taylor]: Taking taylor expansion of y in x 4.872 * [backup-simplify]: Simplify y into y 4.872 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.873 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 4.873 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.873 * [taylor]: Taking taylor expansion of z in x 4.873 * [backup-simplify]: Simplify z into z 4.873 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.873 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 4.873 * [taylor]: Taking taylor expansion of 3 in x 4.873 * [backup-simplify]: Simplify 3 into 3 4.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.873 * [taylor]: Taking taylor expansion of x in x 4.873 * [backup-simplify]: Simplify 0 into 0 4.873 * [backup-simplify]: Simplify 1 into 1 4.873 * [backup-simplify]: Simplify (/ 1 1) into 1 4.874 * [backup-simplify]: Simplify (* 3 1) into 3 4.874 * [backup-simplify]: Simplify (+ 0 3) into 3 4.875 * [backup-simplify]: Simplify (+ 0 3) into 3 4.875 * [taylor]: Taking taylor expansion of 3 in y 4.875 * [backup-simplify]: Simplify 3 into 3 4.875 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 4.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.876 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 4.877 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 4.877 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y))) 4.877 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 4.877 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.877 * [taylor]: Taking taylor expansion of z in y 4.877 * [backup-simplify]: Simplify z into z 4.877 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.877 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.877 * [taylor]: Taking taylor expansion of 2 in y 4.877 * [backup-simplify]: Simplify 2 into 2 4.877 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.877 * [taylor]: Taking taylor expansion of y in y 4.877 * [backup-simplify]: Simplify 0 into 0 4.877 * [backup-simplify]: Simplify 1 into 1 4.878 * [backup-simplify]: Simplify (/ 1 1) into 1 4.878 * [backup-simplify]: Simplify (* 2 1) into 2 4.878 * [backup-simplify]: Simplify (+ 0 2) into 2 4.878 * [taylor]: Taking taylor expansion of 2 in z 4.879 * [backup-simplify]: Simplify 2 into 2 4.879 * [taylor]: Taking taylor expansion of 3 in z 4.879 * [backup-simplify]: Simplify 3 into 3 4.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.879 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 4.879 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.881 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 4.882 * [backup-simplify]: Simplify (+ 0 0) into 0 4.882 * [backup-simplify]: Simplify (+ 0 0) into 0 4.882 * [taylor]: Taking taylor expansion of 0 in y 4.882 * [backup-simplify]: Simplify 0 into 0 4.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.884 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.884 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 4.884 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.884 * [taylor]: Taking taylor expansion of z in z 4.884 * [backup-simplify]: Simplify 0 into 0 4.884 * [backup-simplify]: Simplify 1 into 1 4.884 * [backup-simplify]: Simplify (/ 1 1) into 1 4.884 * [backup-simplify]: Simplify 1 into 1 4.885 * [taylor]: Taking taylor expansion of 0 in z 4.885 * [backup-simplify]: Simplify 0 into 0 4.885 * [backup-simplify]: Simplify 2 into 2 4.885 * [backup-simplify]: Simplify 3 into 3 4.885 * [backup-simplify]: Simplify (+ (* 3 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 2 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 4.886 * [backup-simplify]: Simplify (+ (+ (+ (+ (+ (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) (/ 1 (- x))) (/ 1 (- z))) (/ 1 (- x))) into (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) 4.886 * [approximate]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in (x y z) around 0 4.886 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in z 4.886 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in z 4.886 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in z 4.886 * [taylor]: Taking taylor expansion of 2 in z 4.886 * [backup-simplify]: Simplify 2 into 2 4.886 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.886 * [taylor]: Taking taylor expansion of y in z 4.887 * [backup-simplify]: Simplify y into y 4.887 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.887 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in z 4.887 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.887 * [taylor]: Taking taylor expansion of z in z 4.887 * [backup-simplify]: Simplify 0 into 0 4.887 * [backup-simplify]: Simplify 1 into 1 4.887 * [backup-simplify]: Simplify (/ 1 1) into 1 4.887 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in z 4.887 * [taylor]: Taking taylor expansion of 3 in z 4.887 * [backup-simplify]: Simplify 3 into 3 4.887 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.887 * [taylor]: Taking taylor expansion of x in z 4.887 * [backup-simplify]: Simplify x into x 4.887 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.887 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in y 4.888 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in y 4.888 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.888 * [taylor]: Taking taylor expansion of 2 in y 4.888 * [backup-simplify]: Simplify 2 into 2 4.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.888 * [taylor]: Taking taylor expansion of y in y 4.888 * [backup-simplify]: Simplify 0 into 0 4.888 * [backup-simplify]: Simplify 1 into 1 4.888 * [backup-simplify]: Simplify (/ 1 1) into 1 4.888 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in y 4.888 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.888 * [taylor]: Taking taylor expansion of z in y 4.888 * [backup-simplify]: Simplify z into z 4.888 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.888 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in y 4.888 * [taylor]: Taking taylor expansion of 3 in y 4.888 * [backup-simplify]: Simplify 3 into 3 4.888 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.889 * [taylor]: Taking taylor expansion of x in y 4.889 * [backup-simplify]: Simplify x into x 4.889 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.889 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in x 4.889 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 4.889 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.889 * [taylor]: Taking taylor expansion of 2 in x 4.889 * [backup-simplify]: Simplify 2 into 2 4.889 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.889 * [taylor]: Taking taylor expansion of y in x 4.889 * [backup-simplify]: Simplify y into y 4.889 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.889 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 4.889 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.889 * [taylor]: Taking taylor expansion of z in x 4.889 * [backup-simplify]: Simplify z into z 4.889 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.889 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 4.889 * [taylor]: Taking taylor expansion of 3 in x 4.889 * [backup-simplify]: Simplify 3 into 3 4.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.889 * [taylor]: Taking taylor expansion of x in x 4.889 * [backup-simplify]: Simplify 0 into 0 4.889 * [backup-simplify]: Simplify 1 into 1 4.890 * [backup-simplify]: Simplify (/ 1 1) into 1 4.890 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x))))) in x 4.890 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (+ (/ 1 z) (* 3 (/ 1 x)))) in x 4.890 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in x 4.890 * [taylor]: Taking taylor expansion of 2 in x 4.890 * [backup-simplify]: Simplify 2 into 2 4.890 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.890 * [taylor]: Taking taylor expansion of y in x 4.890 * [backup-simplify]: Simplify y into y 4.890 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.890 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 3 (/ 1 x))) in x 4.890 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.890 * [taylor]: Taking taylor expansion of z in x 4.890 * [backup-simplify]: Simplify z into z 4.890 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.890 * [taylor]: Taking taylor expansion of (* 3 (/ 1 x)) in x 4.890 * [taylor]: Taking taylor expansion of 3 in x 4.890 * [backup-simplify]: Simplify 3 into 3 4.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.890 * [taylor]: Taking taylor expansion of x in x 4.890 * [backup-simplify]: Simplify 0 into 0 4.891 * [backup-simplify]: Simplify 1 into 1 4.891 * [backup-simplify]: Simplify (/ 1 1) into 1 4.891 * [backup-simplify]: Simplify (* 3 1) into 3 4.892 * [backup-simplify]: Simplify (+ 0 3) into 3 4.892 * [backup-simplify]: Simplify (+ 0 3) into 3 4.893 * [backup-simplify]: Simplify (- 3) into -3 4.893 * [taylor]: Taking taylor expansion of -3 in y 4.893 * [backup-simplify]: Simplify -3 into -3 4.893 * [backup-simplify]: Simplify (* 2 (/ 1 y)) into (/ 2 y) 4.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.894 * [backup-simplify]: Simplify (+ (* 3 0) (* 0 1)) into 0 4.895 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 4.895 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y))) 4.895 * [backup-simplify]: Simplify (- (+ (/ 1 z) (* 2 (/ 1 y)))) into (- (+ (/ 1 z) (* 2 (/ 1 y)))) 4.895 * [taylor]: Taking taylor expansion of (- (+ (/ 1 z) (* 2 (/ 1 y)))) in y 4.895 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 4.895 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.895 * [taylor]: Taking taylor expansion of z in y 4.895 * [backup-simplify]: Simplify z into z 4.895 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.895 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 4.895 * [taylor]: Taking taylor expansion of 2 in y 4.895 * [backup-simplify]: Simplify 2 into 2 4.895 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.895 * [taylor]: Taking taylor expansion of y in y 4.895 * [backup-simplify]: Simplify 0 into 0 4.895 * [backup-simplify]: Simplify 1 into 1 4.896 * [backup-simplify]: Simplify (/ 1 1) into 1 4.896 * [backup-simplify]: Simplify (* 2 1) into 2 4.897 * [backup-simplify]: Simplify (+ 0 2) into 2 4.897 * [backup-simplify]: Simplify (- 2) into -2 4.897 * [taylor]: Taking taylor expansion of -2 in z 4.897 * [backup-simplify]: Simplify -2 into -2 4.897 * [taylor]: Taking taylor expansion of -3 in z 4.897 * [backup-simplify]: Simplify -3 into -3 4.898 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.898 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 (/ 1 y))) into 0 4.898 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 4.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.900 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (* 0 1))) into 0 4.901 * [backup-simplify]: Simplify (+ 0 0) into 0 4.901 * [backup-simplify]: Simplify (+ 0 0) into 0 4.901 * [backup-simplify]: Simplify (- 0) into 0 4.901 * [taylor]: Taking taylor expansion of 0 in y 4.901 * [backup-simplify]: Simplify 0 into 0 4.902 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.903 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 4.903 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 4.903 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 4.903 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.903 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.903 * [taylor]: Taking taylor expansion of z in z 4.903 * [backup-simplify]: Simplify 0 into 0 4.903 * [backup-simplify]: Simplify 1 into 1 4.904 * [backup-simplify]: Simplify (/ 1 1) into 1 4.904 * [backup-simplify]: Simplify (- 1) into -1 4.904 * [backup-simplify]: Simplify -1 into -1 4.904 * [taylor]: Taking taylor expansion of 0 in z 4.904 * [backup-simplify]: Simplify 0 into 0 4.904 * [backup-simplify]: Simplify -2 into -2 4.904 * [backup-simplify]: Simplify -3 into -3 4.905 * [backup-simplify]: Simplify (+ (* -3 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -2 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 4.905 * * * [progress]: simplifying candidates 4.907 * [simplify]: Simplifying: (expm1 (+ (+ x y) y)) (log1p (+ (+ x y) y)) (* (* (exp x) (exp y)) (exp y)) (* (exp (+ x y)) (exp y)) (log (+ (+ x y) y)) (exp (+ (+ x y) y)) (* (cbrt (+ (+ x y) y)) (cbrt (+ (+ x y) y))) (cbrt (+ (+ x y) y)) (* (* (+ (+ x y) y) (+ (+ x y) y)) (+ (+ x y) y)) (sqrt (+ (+ x y) y)) (sqrt (+ (+ x y) y)) (+ (pow (+ x y) 3) (pow y 3)) (+ (* (+ x y) (+ x y)) (- (* y y) (* (+ x y) y))) (- (* (+ x y) (+ x y)) (* y y)) (- (+ x y) y) (+ (+ x y) y) (+ (+ x y) y) (+ y y) (expm1 (+ (+ (+ x y) y) x)) (log1p (+ (+ (+ x y) y) x)) (* (* (* (exp x) (exp y)) (exp y)) (exp x)) (* (* (exp (+ x y)) (exp y)) (exp x)) (* (exp (+ (+ x y) y)) (exp x)) (log (+ (+ (+ x y) y) x)) (exp (+ (+ (+ x y) y) x)) (* (cbrt (+ (+ (+ x y) y) x)) (cbrt (+ (+ (+ x y) y) x))) (cbrt (+ (+ (+ x y) y) x)) (* (* (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x)) (+ (+ (+ x y) y) x)) (sqrt (+ (+ (+ x y) y) x)) (sqrt (+ (+ (+ x y) y) x)) (+ (pow (+ (+ x y) y) 3) (pow x 3)) (+ (* (+ (+ x y) y) (+ (+ x y) y)) (- (* x x) (* (+ (+ x y) y) x))) (- (* (+ (+ x y) y) (+ (+ x y) y)) (* x x)) (- (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ (+ (+ x y) y) x) (+ y x) (expm1 (+ (+ (+ (+ (+ x y) y) x) z) x)) (log1p (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (* (* (* (* (exp x) (exp y)) (exp y)) (exp x)) (exp z)) (exp x)) (* (* (* (* (exp (+ x y)) (exp y)) (exp x)) (exp z)) (exp x)) (* (* (* (exp (+ (+ x y) y)) (exp x)) (exp z)) (exp x)) (* (* (exp (+ (+ (+ x y) y) x)) (exp z)) (exp x)) (* (exp (+ (+ (+ (+ x y) y) x) z)) (exp x)) (log (+ (+ (+ (+ (+ x y) y) x) z) x)) (exp (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x))) (cbrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (* (* (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x)) (+ (+ (+ (+ (+ x y) y) x) z) x)) (sqrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (sqrt (+ (+ (+ (+ (+ x y) y) x) z) x)) (+ (pow (+ (+ (+ (+ x y) y) x) z) 3) (pow x 3)) (+ (* (+ (+ (+ (+ x y) y) x) z) (+ (+ (+ (+ x y) y) x) z)) (- (* x x) (* (+ (+ (+ (+ x y) y) x) z) x))) (- (* (+ (+ (+ (+ x y) y) x) z) (+ (+ (+ (+ x y) y) x) z)) (* x x)) (- (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ (+ (+ (+ (+ x y) y) x) z) x) (+ z x) (+ x (* 2 y)) (+ x (* 2 y)) (+ x (* 2 y)) (+ (* 2 x) (* 2 y)) (+ (* 2 x) (* 2 y)) (+ (* 2 x) (* 2 y)) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 4.910 * * [simplify]: Extracting # 0 : cost 0 4.910 * * [simplify]: Extracting # 1 : cost 0 4.910 * * [simplify]: Extracting # 2 : cost 0 4.911 * * [simplify]: Extracting # 3 : cost 0 4.911 * * [simplify]: Extracting # 4 : cost 0 4.911 * * [simplify]: Extracting # 5 : cost 0 4.911 * * [simplify]: Extracting # 6 : cost 0 4.912 * * [simplify]: iteration 0 : 94 enodes (cost 772 ) 4.957 * * [simplify]: Extracting # 0 : cost 0 4.957 * * [simplify]: Extracting # 1 : cost 0 4.958 * * [simplify]: Extracting # 2 : cost 0 4.959 * * [simplify]: Extracting # 3 : cost 0 4.959 * * [simplify]: Extracting # 4 : cost 0 4.960 * * [simplify]: iteration 1 : 264 enodes (cost 720 ) 5.077 * * [simplify]: Extracting # 0 : cost 0 5.079 * * [simplify]: Extracting # 1 : cost 0 5.081 * * [simplify]: Extracting # 2 : cost 0 5.083 * * [simplify]: Extracting # 3 : cost 0 5.084 * * [simplify]: Extracting # 4 : cost 0 5.085 * * [simplify]: iteration 2 : 1044 enodes (cost 607 ) 5.611 * * [simplify]: Extracting # 0 : cost 0 5.620 * * [simplify]: Extracting # 1 : cost 0 5.635 * * [simplify]: Extracting # 2 : cost 0 5.648 * * [simplify]: Extracting # 3 : cost 0 5.661 * * [simplify]: Extracting # 4 : cost 0 5.682 * * [simplify]: iteration done: 5000 enodes (cost 596 ) 5.682 * [simplify]: Simplified to: (expm1 (fma 2 y x)) (log1p (fma 2 y x)) (exp (fma 2 y x)) (exp (fma 2 y x)) (log (fma 2 y x)) (exp (fma 2 y x)) (* (cbrt (fma 2 y x)) (cbrt (fma 2 y x))) (cbrt (fma 2 y x)) (pow (fma 2 y x) 3) (sqrt (fma 2 y x)) (sqrt (fma 2 y x)) (+ (pow (+ x y) 3) (pow y 3)) (fma y (- x) (* (+ x y) (+ x y))) (* (fma 2 y x) x) x (fma 2 y x) (fma 2 y x) (* 2 y) (expm1 (+ (fma 2 y x) x)) (log1p (+ (fma 2 y x) x)) (exp (+ (fma 2 y x) x)) (exp (+ (fma 2 y x) x)) (exp (+ (fma 2 y x) x)) (log (+ (fma 2 y x) x)) (exp (+ (fma 2 y x) x)) (* (cbrt (+ (fma 2 y x) x)) (cbrt (+ (fma 2 y x) x))) (cbrt (+ (fma 2 y x) x)) (pow (+ (fma 2 y x) x) 3) (sqrt (+ (fma 2 y x) x)) (sqrt (+ (fma 2 y x) x)) (+ (pow x 3) (pow (fma 2 y x) 3)) (fma x (- 0 (* 2 y)) (* (fma 2 y x) (fma 2 y x))) (* (+ (fma 2 y x) x) (fma 2 y 0)) (fma 2 y 0) (+ (fma 2 y x) x) (+ (fma 2 y x) x) (+ (fma 2 y x) x) (+ y x) (expm1 (+ (+ (+ z x) (fma 2 y x)) x)) (log1p (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (log (+ (+ (+ z x) (fma 2 y x)) x)) (exp (+ (+ (+ z x) (fma 2 y x)) x)) (* (cbrt (+ (+ (+ z x) (fma 2 y x)) x)) (cbrt (+ (+ (+ z x) (fma 2 y x)) x))) (cbrt (+ (+ (+ z x) (fma 2 y x)) x)) (pow (+ (+ (+ z x) (fma 2 y x)) x) 3) (sqrt (+ (+ (+ z x) (fma 2 y x)) x)) (sqrt (+ (+ (+ z x) (fma 2 y x)) x)) (+ (pow x 3) (pow (+ (+ z x) (fma 2 y x)) 3)) (fma (- (- 0 (* 2 y)) (+ z x)) x (* (+ (+ z x) (fma 2 y x)) (+ (+ z x) (fma 2 y x)))) (fma (+ (+ z x) (fma 2 y x)) (+ (+ z x) (fma 2 y x)) (- (* x x))) (+ (+ (fma 2 y x) x) (- z x)) (+ (+ (+ z x) (fma 2 y x)) x) (+ (+ (+ z x) (fma 2 y x)) x) (+ (+ (+ z x) (fma 2 y x)) x) (+ (+ (+ z x) (fma 2 y x)) x) (+ (+ (+ z x) (fma 2 y x)) x) (+ z x) (fma 2 y x) (fma 2 y x) (fma 2 y x) (* 2 (+ x y)) (* 2 (+ x y)) (* 2 (+ x y)) (fma x 3 (fma y 2 z)) (fma x 3 (fma y 2 z)) (fma x 3 (fma y 2 z)) 5.683 * * * [progress]: adding candidates to table 5.960 * * [progress]: iteration 2 / 4 5.960 * * * [progress]: picking best candidate 5.964 * * * * [pick]: Picked # 5.964 * * * [progress]: localizing error 5.978 * * * [progress]: generating rewritten candidates 5.978 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 5.979 * * * [progress]: generating series expansions 5.979 * * * * [progress]: [ 1 / 1 ] generating series at (2) 5.979 * [backup-simplify]: Simplify (fma x 3 (fma y 2 z)) into (fma x 3 (fma y 2 z)) 5.979 * [approximate]: Taking taylor expansion of (fma x 3 (fma y 2 z)) in (x y z) around 0 5.980 * [taylor]: Taking taylor expansion of (fma x 3 (fma y 2 z)) in z 5.980 * [taylor]: Rewrote expression to (+ (* x 3) (fma y 2 z)) 5.980 * [taylor]: Taking taylor expansion of (* x 3) in z 5.980 * [taylor]: Taking taylor expansion of x in z 5.980 * [backup-simplify]: Simplify x into x 5.980 * [taylor]: Taking taylor expansion of 3 in z 5.980 * [backup-simplify]: Simplify 3 into 3 5.980 * [taylor]: Taking taylor expansion of (fma y 2 z) in z 5.980 * [taylor]: Rewrote expression to (+ (* y 2) z) 5.980 * [taylor]: Taking taylor expansion of (* y 2) in z 5.980 * [taylor]: Taking taylor expansion of y in z 5.980 * [backup-simplify]: Simplify y into y 5.980 * [taylor]: Taking taylor expansion of 2 in z 5.980 * [backup-simplify]: Simplify 2 into 2 5.980 * [taylor]: Taking taylor expansion of z in z 5.980 * [backup-simplify]: Simplify 0 into 0 5.980 * [backup-simplify]: Simplify 1 into 1 5.980 * [taylor]: Taking taylor expansion of (fma x 3 (fma y 2 z)) in y 5.980 * [taylor]: Rewrote expression to (+ (* x 3) (fma y 2 z)) 5.980 * [taylor]: Taking taylor expansion of (* x 3) in y 5.980 * [taylor]: Taking taylor expansion of x in y 5.981 * [backup-simplify]: Simplify x into x 5.981 * [taylor]: Taking taylor expansion of 3 in y 5.981 * [backup-simplify]: Simplify 3 into 3 5.981 * [taylor]: Taking taylor expansion of (fma y 2 z) in y 5.981 * [taylor]: Rewrote expression to (+ (* y 2) z) 5.981 * [taylor]: Taking taylor expansion of (* y 2) in y 5.981 * [taylor]: Taking taylor expansion of y in y 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.981 * [taylor]: Taking taylor expansion of 2 in y 5.981 * [backup-simplify]: Simplify 2 into 2 5.981 * [taylor]: Taking taylor expansion of z in y 5.981 * [backup-simplify]: Simplify z into z 5.981 * [taylor]: Taking taylor expansion of (fma x 3 (fma y 2 z)) in x 5.981 * [taylor]: Rewrote expression to (+ (* x 3) (fma y 2 z)) 5.981 * [taylor]: Taking taylor expansion of (* x 3) in x 5.981 * [taylor]: Taking taylor expansion of x in x 5.981 * [backup-simplify]: Simplify 0 into 0 5.981 * [backup-simplify]: Simplify 1 into 1 5.981 * [taylor]: Taking taylor expansion of 3 in x 5.981 * [backup-simplify]: Simplify 3 into 3 5.981 * [taylor]: Taking taylor expansion of (fma y 2 z) in x 5.981 * [taylor]: Rewrote expression to (+ (* y 2) z) 5.981 * [taylor]: Taking taylor expansion of (* y 2) in x 5.981 * [taylor]: Taking taylor expansion of y in x 5.982 * [backup-simplify]: Simplify y into y 5.982 * [taylor]: Taking taylor expansion of 2 in x 5.982 * [backup-simplify]: Simplify 2 into 2 5.982 * [taylor]: Taking taylor expansion of z in x 5.982 * [backup-simplify]: Simplify z into z 5.982 * [taylor]: Taking taylor expansion of (fma x 3 (fma y 2 z)) in x 5.982 * [taylor]: Rewrote expression to (+ (* x 3) (fma y 2 z)) 5.982 * [taylor]: Taking taylor expansion of (* x 3) in x 5.982 * [taylor]: Taking taylor expansion of x in x 5.982 * [backup-simplify]: Simplify 0 into 0 5.982 * [backup-simplify]: Simplify 1 into 1 5.982 * [taylor]: Taking taylor expansion of 3 in x 5.982 * [backup-simplify]: Simplify 3 into 3 5.982 * [taylor]: Taking taylor expansion of (fma y 2 z) in x 5.982 * [taylor]: Rewrote expression to (+ (* y 2) z) 5.982 * [taylor]: Taking taylor expansion of (* y 2) in x 5.982 * [taylor]: Taking taylor expansion of y in x 5.982 * [backup-simplify]: Simplify y into y 5.982 * [taylor]: Taking taylor expansion of 2 in x 5.982 * [backup-simplify]: Simplify 2 into 2 5.982 * [taylor]: Taking taylor expansion of z in x 5.982 * [backup-simplify]: Simplify z into z 5.983 * [backup-simplify]: Simplify (* 0 3) into 0 5.983 * [backup-simplify]: Simplify (* y 2) into (* 2 y) 5.983 * [backup-simplify]: Simplify (+ (* 2 y) z) into (+ z (* 2 y)) 5.983 * [backup-simplify]: Simplify (+ 0 (+ z (* 2 y))) into (+ z (* 2 y)) 5.983 * [taylor]: Taking taylor expansion of (+ z (* 2 y)) in y 5.983 * [taylor]: Taking taylor expansion of z in y 5.983 * [backup-simplify]: Simplify z into z 5.984 * [taylor]: Taking taylor expansion of (* 2 y) in y 5.984 * [taylor]: Taking taylor expansion of 2 in y 5.984 * [backup-simplify]: Simplify 2 into 2 5.984 * [taylor]: Taking taylor expansion of y in y 5.984 * [backup-simplify]: Simplify 0 into 0 5.984 * [backup-simplify]: Simplify 1 into 1 5.984 * [backup-simplify]: Simplify (* 2 0) into 0 5.984 * [backup-simplify]: Simplify (+ z 0) into z 5.984 * [taylor]: Taking taylor expansion of z in z 5.984 * [backup-simplify]: Simplify 0 into 0 5.984 * [backup-simplify]: Simplify 1 into 1 5.984 * [backup-simplify]: Simplify 0 into 0 5.985 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 3)) into 3 5.986 * [backup-simplify]: Simplify (+ (* y 0) (* 0 2)) into 0 5.986 * [backup-simplify]: Simplify (+ 0 0) into 0 5.987 * [backup-simplify]: Simplify (+ 3 0) into 3 5.987 * [taylor]: Taking taylor expansion of 3 in y 5.987 * [backup-simplify]: Simplify 3 into 3 5.987 * [taylor]: Taking taylor expansion of 3 in z 5.987 * [backup-simplify]: Simplify 3 into 3 5.987 * [backup-simplify]: Simplify 3 into 3 5.987 * [backup-simplify]: Simplify (+ (* 2 1) (* 0 0)) into 2 5.988 * [backup-simplify]: Simplify (+ 0 2) into 2 5.988 * [taylor]: Taking taylor expansion of 2 in z 5.988 * [backup-simplify]: Simplify 2 into 2 5.988 * [backup-simplify]: Simplify 2 into 2 5.988 * [backup-simplify]: Simplify 1 into 1 5.989 * [backup-simplify]: Simplify (+ (* 1 (* z (* 1 1))) (+ (* 2 (* 1 (* y 1))) (* 3 (* 1 (* 1 x))))) into (+ (* 3 x) (+ z (* 2 y))) 5.989 * [backup-simplify]: Simplify (fma (/ 1 x) 3 (fma (/ 1 y) 2 (/ 1 z))) into (fma (/ 1 x) 3 (fma (/ 1 y) 2 (/ 1 z))) 5.989 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 3 (fma (/ 1 y) 2 (/ 1 z))) in (x y z) around 0 5.989 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma (/ 1 y) 2 (/ 1 z))) in z 5.989 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma (/ 1 y) 2 (/ 1 z))) 5.989 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in z 5.989 * [taylor]: Taking taylor expansion of (/ 1 x) in z 5.989 * [taylor]: Taking taylor expansion of x in z 5.989 * [backup-simplify]: Simplify x into x 5.990 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.990 * [taylor]: Taking taylor expansion of 3 in z 5.990 * [backup-simplify]: Simplify 3 into 3 5.990 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in z 5.990 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 5.990 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in z 5.990 * [taylor]: Taking taylor expansion of (/ 1 y) in z 5.990 * [taylor]: Taking taylor expansion of y in z 5.990 * [backup-simplify]: Simplify y into y 5.990 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.990 * [taylor]: Taking taylor expansion of 2 in z 5.990 * [backup-simplify]: Simplify 2 into 2 5.990 * [taylor]: Taking taylor expansion of (/ 1 z) in z 5.990 * [taylor]: Taking taylor expansion of z in z 5.990 * [backup-simplify]: Simplify 0 into 0 5.990 * [backup-simplify]: Simplify 1 into 1 5.991 * [backup-simplify]: Simplify (/ 1 1) into 1 5.991 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma (/ 1 y) 2 (/ 1 z))) in y 5.991 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma (/ 1 y) 2 (/ 1 z))) 5.991 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in y 5.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y 5.991 * [taylor]: Taking taylor expansion of x in y 5.991 * [backup-simplify]: Simplify x into x 5.991 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 5.991 * [taylor]: Taking taylor expansion of 3 in y 5.991 * [backup-simplify]: Simplify 3 into 3 5.991 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in y 5.991 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 5.991 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in y 5.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.991 * [taylor]: Taking taylor expansion of y in y 5.991 * [backup-simplify]: Simplify 0 into 0 5.991 * [backup-simplify]: Simplify 1 into 1 5.992 * [backup-simplify]: Simplify (/ 1 1) into 1 5.992 * [taylor]: Taking taylor expansion of 2 in y 5.992 * [backup-simplify]: Simplify 2 into 2 5.992 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.992 * [taylor]: Taking taylor expansion of z in y 5.992 * [backup-simplify]: Simplify z into z 5.992 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.992 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma (/ 1 y) 2 (/ 1 z))) in x 5.992 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma (/ 1 y) 2 (/ 1 z))) 5.992 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 5.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.992 * [taylor]: Taking taylor expansion of x in x 5.992 * [backup-simplify]: Simplify 0 into 0 5.992 * [backup-simplify]: Simplify 1 into 1 5.993 * [backup-simplify]: Simplify (/ 1 1) into 1 5.993 * [taylor]: Taking taylor expansion of 3 in x 5.993 * [backup-simplify]: Simplify 3 into 3 5.993 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in x 5.993 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 5.993 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 5.993 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.993 * [taylor]: Taking taylor expansion of y in x 5.993 * [backup-simplify]: Simplify y into y 5.993 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.993 * [taylor]: Taking taylor expansion of 2 in x 5.993 * [backup-simplify]: Simplify 2 into 2 5.993 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.993 * [taylor]: Taking taylor expansion of z in x 5.993 * [backup-simplify]: Simplify z into z 5.993 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.994 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 3 (fma (/ 1 y) 2 (/ 1 z))) in x 5.994 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 3) (fma (/ 1 y) 2 (/ 1 z))) 5.994 * [taylor]: Taking taylor expansion of (* (/ 1 x) 3) in x 5.994 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.994 * [taylor]: Taking taylor expansion of x in x 5.994 * [backup-simplify]: Simplify 0 into 0 5.994 * [backup-simplify]: Simplify 1 into 1 5.994 * [backup-simplify]: Simplify (/ 1 1) into 1 5.994 * [taylor]: Taking taylor expansion of 3 in x 5.994 * [backup-simplify]: Simplify 3 into 3 5.994 * [taylor]: Taking taylor expansion of (fma (/ 1 y) 2 (/ 1 z)) in x 5.995 * [taylor]: Rewrote expression to (+ (* (/ 1 y) 2) (/ 1 z)) 5.995 * [taylor]: Taking taylor expansion of (* (/ 1 y) 2) in x 5.995 * [taylor]: Taking taylor expansion of (/ 1 y) in x 5.995 * [taylor]: Taking taylor expansion of y in x 5.995 * [backup-simplify]: Simplify y into y 5.995 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 5.995 * [taylor]: Taking taylor expansion of 2 in x 5.995 * [backup-simplify]: Simplify 2 into 2 5.995 * [taylor]: Taking taylor expansion of (/ 1 z) in x 5.995 * [taylor]: Taking taylor expansion of z in x 5.995 * [backup-simplify]: Simplify z into z 5.995 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.995 * [backup-simplify]: Simplify (* 1 3) into 3 5.996 * [backup-simplify]: Simplify (+ 3 0) into 3 5.996 * [taylor]: Taking taylor expansion of 3 in y 5.996 * [backup-simplify]: Simplify 3 into 3 5.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 5.998 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 3)) into 0 5.998 * [backup-simplify]: Simplify (* (/ 1 y) 2) into (/ 2 y) 5.998 * [backup-simplify]: Simplify (+ (/ 2 y) (/ 1 z)) into (+ (/ 1 z) (* 2 (/ 1 y))) 5.998 * [backup-simplify]: Simplify (+ 0 (+ (/ 1 z) (* 2 (/ 1 y)))) into (+ (/ 1 z) (* 2 (/ 1 y))) 5.998 * [taylor]: Taking taylor expansion of (+ (/ 1 z) (* 2 (/ 1 y))) in y 5.998 * [taylor]: Taking taylor expansion of (/ 1 z) in y 5.998 * [taylor]: Taking taylor expansion of z in y 5.998 * [backup-simplify]: Simplify z into z 5.998 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 5.998 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 5.998 * [taylor]: Taking taylor expansion of 2 in y 5.998 * [backup-simplify]: Simplify 2 into 2 5.998 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.998 * [taylor]: Taking taylor expansion of y in y 5.998 * [backup-simplify]: Simplify 0 into 0 5.998 * [backup-simplify]: Simplify 1 into 1 5.999 * [backup-simplify]: Simplify (/ 1 1) into 1 5.999 * [backup-simplify]: Simplify (* 2 1) into 2 6.000 * [backup-simplify]: Simplify (+ 0 2) into 2 6.000 * [taylor]: Taking taylor expansion of 2 in z 6.000 * [backup-simplify]: Simplify 2 into 2 6.000 * [taylor]: Taking taylor expansion of 3 in z 6.000 * [backup-simplify]: Simplify 3 into 3 6.001 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.002 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 3))) into 0 6.002 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.003 * [backup-simplify]: Simplify (+ (* (/ 1 y) 0) (* 0 2)) into 0 6.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 z) (/ 0 z)))) into 0 6.003 * [backup-simplify]: Simplify (+ 0 0) into 0 6.004 * [backup-simplify]: Simplify (+ 0 0) into 0 6.004 * [taylor]: Taking taylor expansion of 0 in y 6.004 * [backup-simplify]: Simplify 0 into 0 6.005 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.005 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 6.005 * [backup-simplify]: Simplify (+ (/ 1 z) 0) into (/ 1 z) 6.005 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.006 * [taylor]: Taking taylor expansion of z in z 6.006 * [backup-simplify]: Simplify 0 into 0 6.006 * [backup-simplify]: Simplify 1 into 1 6.006 * [backup-simplify]: Simplify (/ 1 1) into 1 6.006 * [backup-simplify]: Simplify 1 into 1 6.006 * [taylor]: Taking taylor expansion of 0 in z 6.006 * [backup-simplify]: Simplify 0 into 0 6.006 * [backup-simplify]: Simplify 2 into 2 6.006 * [backup-simplify]: Simplify 3 into 3 6.007 * [backup-simplify]: Simplify (+ (* 3 (* 1 (* 1 (/ 1 (/ 1 x))))) (+ (* 2 (* 1 (* (/ 1 (/ 1 y)) 1))) (* 1 (* (/ 1 (/ 1 z)) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 6.007 * [backup-simplify]: Simplify (fma (/ 1 (- x)) 3 (fma (/ 1 (- y)) 2 (/ 1 (- z)))) into (fma (/ -1 x) 3 (fma (/ -1 y) 2 (/ -1 z))) 6.007 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 3 (fma (/ -1 y) 2 (/ -1 z))) in (x y z) around 0 6.007 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma (/ -1 y) 2 (/ -1 z))) in z 6.008 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma (/ -1 y) 2 (/ -1 z))) 6.008 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in z 6.008 * [taylor]: Taking taylor expansion of (/ -1 x) in z 6.008 * [taylor]: Taking taylor expansion of -1 in z 6.008 * [backup-simplify]: Simplify -1 into -1 6.008 * [taylor]: Taking taylor expansion of x in z 6.008 * [backup-simplify]: Simplify x into x 6.008 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 6.008 * [taylor]: Taking taylor expansion of 3 in z 6.008 * [backup-simplify]: Simplify 3 into 3 6.008 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in z 6.008 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 6.008 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in z 6.008 * [taylor]: Taking taylor expansion of (/ -1 y) in z 6.008 * [taylor]: Taking taylor expansion of -1 in z 6.008 * [backup-simplify]: Simplify -1 into -1 6.008 * [taylor]: Taking taylor expansion of y in z 6.008 * [backup-simplify]: Simplify y into y 6.008 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.008 * [taylor]: Taking taylor expansion of 2 in z 6.008 * [backup-simplify]: Simplify 2 into 2 6.008 * [taylor]: Taking taylor expansion of (/ -1 z) in z 6.008 * [taylor]: Taking taylor expansion of -1 in z 6.009 * [backup-simplify]: Simplify -1 into -1 6.009 * [taylor]: Taking taylor expansion of z in z 6.009 * [backup-simplify]: Simplify 0 into 0 6.009 * [backup-simplify]: Simplify 1 into 1 6.009 * [backup-simplify]: Simplify (/ -1 1) into -1 6.009 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma (/ -1 y) 2 (/ -1 z))) in y 6.009 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma (/ -1 y) 2 (/ -1 z))) 6.009 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in y 6.009 * [taylor]: Taking taylor expansion of (/ -1 x) in y 6.009 * [taylor]: Taking taylor expansion of -1 in y 6.009 * [backup-simplify]: Simplify -1 into -1 6.009 * [taylor]: Taking taylor expansion of x in y 6.009 * [backup-simplify]: Simplify x into x 6.009 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 6.010 * [taylor]: Taking taylor expansion of 3 in y 6.010 * [backup-simplify]: Simplify 3 into 3 6.010 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in y 6.010 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 6.010 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in y 6.010 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.010 * [taylor]: Taking taylor expansion of -1 in y 6.010 * [backup-simplify]: Simplify -1 into -1 6.010 * [taylor]: Taking taylor expansion of y in y 6.010 * [backup-simplify]: Simplify 0 into 0 6.010 * [backup-simplify]: Simplify 1 into 1 6.010 * [backup-simplify]: Simplify (/ -1 1) into -1 6.010 * [taylor]: Taking taylor expansion of 2 in y 6.010 * [backup-simplify]: Simplify 2 into 2 6.010 * [taylor]: Taking taylor expansion of (/ -1 z) in y 6.010 * [taylor]: Taking taylor expansion of -1 in y 6.010 * [backup-simplify]: Simplify -1 into -1 6.010 * [taylor]: Taking taylor expansion of z in y 6.011 * [backup-simplify]: Simplify z into z 6.011 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 6.011 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma (/ -1 y) 2 (/ -1 z))) in x 6.011 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma (/ -1 y) 2 (/ -1 z))) 6.011 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 6.011 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.011 * [taylor]: Taking taylor expansion of -1 in x 6.011 * [backup-simplify]: Simplify -1 into -1 6.011 * [taylor]: Taking taylor expansion of x in x 6.011 * [backup-simplify]: Simplify 0 into 0 6.011 * [backup-simplify]: Simplify 1 into 1 6.011 * [backup-simplify]: Simplify (/ -1 1) into -1 6.011 * [taylor]: Taking taylor expansion of 3 in x 6.011 * [backup-simplify]: Simplify 3 into 3 6.011 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in x 6.012 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 6.012 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 6.012 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.012 * [taylor]: Taking taylor expansion of -1 in x 6.012 * [backup-simplify]: Simplify -1 into -1 6.012 * [taylor]: Taking taylor expansion of y in x 6.012 * [backup-simplify]: Simplify y into y 6.012 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.012 * [taylor]: Taking taylor expansion of 2 in x 6.012 * [backup-simplify]: Simplify 2 into 2 6.012 * [taylor]: Taking taylor expansion of (/ -1 z) in x 6.012 * [taylor]: Taking taylor expansion of -1 in x 6.012 * [backup-simplify]: Simplify -1 into -1 6.012 * [taylor]: Taking taylor expansion of z in x 6.012 * [backup-simplify]: Simplify z into z 6.012 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 6.012 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 3 (fma (/ -1 y) 2 (/ -1 z))) in x 6.012 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 3) (fma (/ -1 y) 2 (/ -1 z))) 6.012 * [taylor]: Taking taylor expansion of (* (/ -1 x) 3) in x 6.012 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.012 * [taylor]: Taking taylor expansion of -1 in x 6.012 * [backup-simplify]: Simplify -1 into -1 6.012 * [taylor]: Taking taylor expansion of x in x 6.012 * [backup-simplify]: Simplify 0 into 0 6.012 * [backup-simplify]: Simplify 1 into 1 6.013 * [backup-simplify]: Simplify (/ -1 1) into -1 6.013 * [taylor]: Taking taylor expansion of 3 in x 6.013 * [backup-simplify]: Simplify 3 into 3 6.013 * [taylor]: Taking taylor expansion of (fma (/ -1 y) 2 (/ -1 z)) in x 6.013 * [taylor]: Rewrote expression to (+ (* (/ -1 y) 2) (/ -1 z)) 6.013 * [taylor]: Taking taylor expansion of (* (/ -1 y) 2) in x 6.013 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.013 * [taylor]: Taking taylor expansion of -1 in x 6.013 * [backup-simplify]: Simplify -1 into -1 6.013 * [taylor]: Taking taylor expansion of y in x 6.013 * [backup-simplify]: Simplify y into y 6.013 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.013 * [taylor]: Taking taylor expansion of 2 in x 6.013 * [backup-simplify]: Simplify 2 into 2 6.014 * [taylor]: Taking taylor expansion of (/ -1 z) in x 6.014 * [taylor]: Taking taylor expansion of -1 in x 6.014 * [backup-simplify]: Simplify -1 into -1 6.014 * [taylor]: Taking taylor expansion of z in x 6.014 * [backup-simplify]: Simplify z into z 6.014 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 6.014 * [backup-simplify]: Simplify (* -1 3) into -3 6.015 * [backup-simplify]: Simplify (+ -3 0) into -3 6.015 * [taylor]: Taking taylor expansion of -3 in y 6.015 * [backup-simplify]: Simplify -3 into -3 6.016 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 6.016 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 3)) into 0 6.017 * [backup-simplify]: Simplify (* (/ -1 y) 2) into (/ -2 y) 6.017 * [backup-simplify]: Simplify (+ (/ -2 y) (/ -1 z)) into (- (+ (/ 1 z) (* 2 (/ 1 y)))) 6.017 * [backup-simplify]: Simplify (+ 0 (- (+ (/ 1 z) (* 2 (/ 1 y))))) into (- (+ (* 2 (/ 1 y)) (/ 1 z))) 6.017 * [taylor]: Taking taylor expansion of (- (+ (* 2 (/ 1 y)) (/ 1 z))) in y 6.017 * [taylor]: Taking taylor expansion of (+ (* 2 (/ 1 y)) (/ 1 z)) in y 6.017 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 6.017 * [taylor]: Taking taylor expansion of 2 in y 6.017 * [backup-simplify]: Simplify 2 into 2 6.017 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.017 * [taylor]: Taking taylor expansion of y in y 6.017 * [backup-simplify]: Simplify 0 into 0 6.017 * [backup-simplify]: Simplify 1 into 1 6.018 * [backup-simplify]: Simplify (/ 1 1) into 1 6.018 * [taylor]: Taking taylor expansion of (/ 1 z) in y 6.018 * [taylor]: Taking taylor expansion of z in y 6.018 * [backup-simplify]: Simplify z into z 6.018 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 6.018 * [backup-simplify]: Simplify (* 2 1) into 2 6.019 * [backup-simplify]: Simplify (+ 2 0) into 2 6.019 * [backup-simplify]: Simplify (- 2) into -2 6.019 * [taylor]: Taking taylor expansion of -2 in z 6.019 * [backup-simplify]: Simplify -2 into -2 6.019 * [taylor]: Taking taylor expansion of -3 in z 6.019 * [backup-simplify]: Simplify -3 into -3 6.020 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.021 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 3))) into 0 6.022 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 6.022 * [backup-simplify]: Simplify (+ (* (/ -1 y) 0) (* 0 2)) into 0 6.022 * [backup-simplify]: Simplify (- (/ 0 z) (+ (* (/ -1 z) (/ 0 z)))) into 0 6.023 * [backup-simplify]: Simplify (+ 0 0) into 0 6.023 * [backup-simplify]: Simplify (+ 0 0) into 0 6.023 * [taylor]: Taking taylor expansion of 0 in y 6.023 * [backup-simplify]: Simplify 0 into 0 6.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.025 * [backup-simplify]: Simplify (+ (* 2 0) (* 0 1)) into 0 6.025 * [backup-simplify]: Simplify (+ 0 (/ 1 z)) into (/ 1 z) 6.025 * [backup-simplify]: Simplify (- (/ 1 z)) into (- (/ 1 z)) 6.025 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 6.025 * [taylor]: Taking taylor expansion of (/ 1 z) in z 6.025 * [taylor]: Taking taylor expansion of z in z 6.025 * [backup-simplify]: Simplify 0 into 0 6.025 * [backup-simplify]: Simplify 1 into 1 6.026 * [backup-simplify]: Simplify (/ 1 1) into 1 6.026 * [backup-simplify]: Simplify (- 1) into -1 6.026 * [backup-simplify]: Simplify -1 into -1 6.026 * [taylor]: Taking taylor expansion of 0 in z 6.026 * [backup-simplify]: Simplify 0 into 0 6.026 * [backup-simplify]: Simplify -2 into -2 6.026 * [backup-simplify]: Simplify -3 into -3 6.027 * [backup-simplify]: Simplify (+ (* -3 (* 1 (* 1 (/ 1 (/ 1 (- x)))))) (+ (* -2 (* 1 (* (/ 1 (/ 1 (- y))) 1))) (* -1 (* (/ 1 (/ 1 (- z))) (* 1 1))))) into (+ (* 3 x) (+ z (* 2 y))) 6.027 * * * [progress]: simplifying candidates 6.028 * [simplify]: Simplifying: (expm1 (fma x 3 (fma y 2 z))) (log1p (fma x 3 (fma y 2 z))) (* x 3) (log (fma x 3 (fma y 2 z))) (exp (fma x 3 (fma y 2 z))) (* (cbrt (fma x 3 (fma y 2 z))) (cbrt (fma x 3 (fma y 2 z)))) (cbrt (fma x 3 (fma y 2 z))) (* (* (fma x 3 (fma y 2 z)) (fma x 3 (fma y 2 z))) (fma x 3 (fma y 2 z))) (sqrt (fma x 3 (fma y 2 z))) (sqrt (fma x 3 (fma y 2 z))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) (+ (* 3 x) (+ z (* 2 y))) 6.028 * * [simplify]: Extracting # 0 : cost 0 6.028 * * [simplify]: Extracting # 1 : cost 0 6.028 * * [simplify]: Extracting # 2 : cost 0 6.028 * * [simplify]: Extracting # 3 : cost 0 6.028 * * [simplify]: Extracting # 4 : cost 0 6.028 * * [simplify]: Extracting # 5 : cost 0 6.028 * * [simplify]: Extracting # 6 : cost 0 6.029 * * [simplify]: iteration 0 : 21 enodes (cost 126 ) 6.035 * * [simplify]: Extracting # 0 : cost 0 6.035 * * [simplify]: Extracting # 1 : cost 0 6.036 * * [simplify]: Extracting # 2 : cost 0 6.036 * * [simplify]: iteration 1 : 30 enodes (cost 120 ) 6.047 * * [simplify]: Extracting # 0 : cost 0 6.048 * * [simplify]: Extracting # 1 : cost 0 6.048 * * [simplify]: Extracting # 2 : cost 0 6.048 * * [simplify]: iteration 2 : 108 enodes (cost 106 ) 6.138 * * [simplify]: Extracting # 0 : cost 0 6.140 * * [simplify]: Extracting # 1 : cost 0 6.141 * * [simplify]: Extracting # 2 : cost 0 6.143 * * [simplify]: Extracting # 3 : cost 0 6.144 * * [simplify]: iteration 3 : 722 enodes (cost 106 ) 7.077 * * [simplify]: Extracting # 0 : cost 0 7.090 * * [simplify]: Extracting # 1 : cost 0 7.100 * * [simplify]: Extracting # 2 : cost 0 7.106 * * [simplify]: Extracting # 3 : cost 0 7.112 * * [simplify]: Extracting # 4 : cost 0 7.121 * * [simplify]: iteration done: 5002 enodes (cost 106 ) 7.121 * [simplify]: Simplified to: (expm1 (fma x 3 (fma y 2 z))) (log1p (fma x 3 (fma y 2 z))) (* 3 x) (log (fma x 3 (fma y 2 z))) (exp (fma x 3 (fma y 2 z))) (* (cbrt (fma x 3 (fma y 2 z))) (cbrt (fma x 3 (fma y 2 z)))) (cbrt (fma x 3 (fma y 2 z))) (pow (fma x 3 (fma y 2 z)) 3) (sqrt (fma x 3 (fma y 2 z))) (sqrt (fma x 3 (fma y 2 z))) (fma x 3 (fma y 2 z)) (fma x 3 (fma y 2 z)) (fma x 3 (fma y 2 z)) 7.121 * * * [progress]: adding candidates to table 7.159 * [progress]: [Phase 3 of 3] Extracting. 7.163 * [simplify]: Simplifying: (fma x 3 (fma y 2 z)) 7.163 * * [simplify]: Extracting # 0 : cost 0 7.163 * * [simplify]: Extracting # 1 : cost 0 7.163 * * [simplify]: Extracting # 2 : cost 0 7.163 * * [simplify]: Extracting # 3 : cost 0 7.163 * * [simplify]: Extracting # 4 : cost 0 7.163 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.163 * * [simplify]: Extracting # 0 : cost 0 7.164 * * [simplify]: iteration done: 7 enodes (cost 7 ) 7.164 * [simplify]: Simplified to: (fma x 3 (fma y 2 z)) 8.261 * [regime-testing]: Baseline error score: 0.00037504688086010754 8.263 * [regime-testing]: Oracle error score: 0.00037504688086010754 8.263 * [regime-testing]: End program error score: 0.00037504688086010754