10.049 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying: (- (+ x y) (* x y)) 0.016 * * [simplify]: Extracting # 0 : cost 0 0.017 * * [simplify]: Extracting # 1 : cost 0 0.017 * * [simplify]: Extracting # 2 : cost 0 0.017 * * [simplify]: Extracting # 3 : cost 0 0.017 * * [simplify]: Extracting # 4 : cost 0 0.017 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.017 * * [simplify]: Extracting # 0 : cost 0 0.017 * * [simplify]: Extracting # 1 : cost 0 0.017 * * [simplify]: Extracting # 2 : cost 0 0.017 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.019 * * [simplify]: Extracting # 0 : cost 0 0.019 * * [simplify]: Extracting # 1 : cost 0 0.019 * * [simplify]: Extracting # 2 : cost 0 0.019 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 0.024 * * [simplify]: Extracting # 0 : cost 0 0.024 * * [simplify]: Extracting # 1 : cost 0 0.024 * * [simplify]: Extracting # 2 : cost 0 0.024 * * [simplify]: Extracting # 3 : cost 0 0.024 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 0.032 * * [simplify]: Extracting # 1 : cost 0 0.032 * * [simplify]: Extracting # 2 : cost 0 0.032 * * [simplify]: iteration 4 : 64 enodes (cost 7 ) 0.043 * * [simplify]: Extracting # 0 : cost 0 0.043 * * [simplify]: Extracting # 1 : cost 0 0.043 * * [simplify]: Extracting # 2 : cost 0 0.044 * * [simplify]: iteration 5 : 90 enodes (cost 6 ) 0.101 * * [simplify]: Extracting # 0 : cost 0 0.101 * * [simplify]: Extracting # 1 : cost 0 0.101 * * [simplify]: Extracting # 2 : cost 0 0.102 * * [simplify]: iteration 6 : 126 enodes (cost 6 ) 0.132 * * [simplify]: Extracting # 0 : cost 0 0.132 * * [simplify]: Extracting # 1 : cost 0 0.132 * * [simplify]: Extracting # 2 : cost 0 0.132 * * [simplify]: iteration 7 : 146 enodes (cost 6 ) 0.165 * * [simplify]: Extracting # 0 : cost 0 0.166 * * [simplify]: Extracting # 1 : cost 0 0.166 * * [simplify]: Extracting # 2 : cost 0 0.166 * * [simplify]: iteration 8 : 169 enodes (cost 6 ) 0.195 * * [simplify]: Extracting # 0 : cost 0 0.195 * * [simplify]: Extracting # 1 : cost 0 0.196 * * [simplify]: Extracting # 2 : cost 0 0.196 * * [simplify]: iteration 9 : 182 enodes (cost 6 ) 0.233 * * [simplify]: Extracting # 0 : cost 0 0.234 * * [simplify]: Extracting # 1 : cost 0 0.234 * * [simplify]: iteration 10 : 194 enodes (cost 6 ) 0.266 * * [simplify]: Extracting # 0 : cost 0 0.266 * * [simplify]: Extracting # 1 : cost 0 0.266 * * [simplify]: Extracting # 2 : cost 0 0.266 * * [simplify]: iteration 11 : 213 enodes (cost 6 ) 0.300 * * [simplify]: Extracting # 0 : cost 0 0.300 * * [simplify]: Extracting # 1 : cost 0 0.300 * * [simplify]: Extracting # 2 : cost 0 0.301 * * [simplify]: Extracting # 3 : cost 0 0.301 * * [simplify]: iteration 12 : 238 enodes (cost 6 ) 0.355 * * [simplify]: Extracting # 0 : cost 0 0.355 * * [simplify]: Extracting # 1 : cost 0 0.355 * * [simplify]: Extracting # 2 : cost 0 0.355 * * [simplify]: iteration 13 : 284 enodes (cost 6 ) 0.460 * * [simplify]: Extracting # 0 : cost 0 0.460 * * [simplify]: Extracting # 1 : cost 0 0.460 * * [simplify]: Extracting # 2 : cost 0 0.461 * * [simplify]: iteration 14 : 391 enodes (cost 6 ) 0.698 * * [simplify]: Extracting # 0 : cost 0 0.699 * * [simplify]: Extracting # 1 : cost 0 0.699 * * [simplify]: Extracting # 2 : cost 0 0.700 * * [simplify]: iteration 15 : 527 enodes (cost 6 ) 0.925 * * [simplify]: Extracting # 0 : cost 0 0.926 * * [simplify]: Extracting # 1 : cost 0 0.926 * * [simplify]: Extracting # 2 : cost 0 0.926 * * [simplify]: iteration 16 : 620 enodes (cost 6 ) 1.276 * * [simplify]: Extracting # 0 : cost 0 1.277 * * [simplify]: Extracting # 1 : cost 0 1.277 * * [simplify]: iteration 17 : 653 enodes (cost 6 ) 1.610 * * [simplify]: Extracting # 0 : cost 0 1.611 * * [simplify]: iteration 18 : 655 enodes (cost 6 ) 1.871 * * [simplify]: Extracting # 0 : cost 0 1.871 * * [simplify]: iteration done: 655 enodes (cost 6 ) 1.871 * [simplify]: Simplified to: (fma (- 1 x) y x) 1.874 * * [progress]: iteration 1 / 4 1.874 * * * [progress]: picking best candidate 1.883 * * * * [pick]: Picked # 1.883 * * * [progress]: localizing error 1.893 * * * [progress]: generating rewritten candidates 1.893 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.894 * * * [progress]: generating series expansions 1.894 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.894 * [backup-simplify]: Simplify (fma (- 1 x) y x) into (fma (- 1 x) y x) 1.894 * [approximate]: Taking taylor expansion of (fma (- 1 x) y x) in (x y) around 0 1.894 * [taylor]: Taking taylor expansion of (fma (- 1 x) y x) in y 1.895 * [taylor]: Rewrote expression to (+ (* (- 1 x) y) x) 1.895 * [taylor]: Taking taylor expansion of (* (- 1 x) y) in y 1.895 * [taylor]: Taking taylor expansion of (- 1 x) in y 1.895 * [taylor]: Taking taylor expansion of 1 in y 1.895 * [backup-simplify]: Simplify 1 into 1 1.895 * [taylor]: Taking taylor expansion of x in y 1.895 * [backup-simplify]: Simplify x into x 1.895 * [taylor]: Taking taylor expansion of y in y 1.895 * [backup-simplify]: Simplify 0 into 0 1.895 * [backup-simplify]: Simplify 1 into 1 1.895 * [taylor]: Taking taylor expansion of x in y 1.895 * [backup-simplify]: Simplify x into x 1.895 * [taylor]: Taking taylor expansion of (fma (- 1 x) y x) in x 1.895 * [taylor]: Rewrote expression to (+ (* (- 1 x) y) x) 1.895 * [taylor]: Taking taylor expansion of (* (- 1 x) y) in x 1.895 * [taylor]: Taking taylor expansion of (- 1 x) in x 1.895 * [taylor]: Taking taylor expansion of 1 in x 1.895 * [backup-simplify]: Simplify 1 into 1 1.895 * [taylor]: Taking taylor expansion of x in x 1.895 * [backup-simplify]: Simplify 0 into 0 1.895 * [backup-simplify]: Simplify 1 into 1 1.895 * [taylor]: Taking taylor expansion of y in x 1.895 * [backup-simplify]: Simplify y into y 1.895 * [taylor]: Taking taylor expansion of x in x 1.895 * [backup-simplify]: Simplify 0 into 0 1.895 * [backup-simplify]: Simplify 1 into 1 1.895 * [taylor]: Taking taylor expansion of (fma (- 1 x) y x) in x 1.896 * [taylor]: Rewrote expression to (+ (* (- 1 x) y) x) 1.896 * [taylor]: Taking taylor expansion of (* (- 1 x) y) in x 1.896 * [taylor]: Taking taylor expansion of (- 1 x) in x 1.896 * [taylor]: Taking taylor expansion of 1 in x 1.896 * [backup-simplify]: Simplify 1 into 1 1.896 * [taylor]: Taking taylor expansion of x in x 1.896 * [backup-simplify]: Simplify 0 into 0 1.896 * [backup-simplify]: Simplify 1 into 1 1.896 * [taylor]: Taking taylor expansion of y in x 1.896 * [backup-simplify]: Simplify y into y 1.896 * [taylor]: Taking taylor expansion of x in x 1.896 * [backup-simplify]: Simplify 0 into 0 1.896 * [backup-simplify]: Simplify 1 into 1 1.897 * [backup-simplify]: Simplify (- 0) into 0 1.898 * [backup-simplify]: Simplify (+ 1 0) into 1 1.898 * [backup-simplify]: Simplify (* 1 y) into y 1.898 * [backup-simplify]: Simplify (+ y 0) into y 1.898 * [taylor]: Taking taylor expansion of y in y 1.898 * [backup-simplify]: Simplify 0 into 0 1.898 * [backup-simplify]: Simplify 1 into 1 1.898 * [backup-simplify]: Simplify 0 into 0 1.898 * [backup-simplify]: Simplify (- 1) into -1 1.899 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.899 * [backup-simplify]: Simplify (+ (* 1 0) (* -1 y)) into (- y) 1.899 * [backup-simplify]: Simplify (+ (- y) 1) into (- 1 y) 1.899 * [taylor]: Taking taylor expansion of (- 1 y) in y 1.899 * [taylor]: Taking taylor expansion of 1 in y 1.899 * [backup-simplify]: Simplify 1 into 1 1.899 * [taylor]: Taking taylor expansion of y in y 1.900 * [backup-simplify]: Simplify 0 into 0 1.900 * [backup-simplify]: Simplify 1 into 1 1.900 * [backup-simplify]: Simplify (- 0) into 0 1.900 * [backup-simplify]: Simplify (+ 1 0) into 1 1.901 * [backup-simplify]: Simplify 1 into 1 1.901 * [backup-simplify]: Simplify 1 into 1 1.901 * [backup-simplify]: Simplify (- 0) into 0 1.901 * [backup-simplify]: Simplify (+ 0 0) into 0 1.902 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* -1 0) (* 0 y))) into 0 1.903 * [backup-simplify]: Simplify (+ 0 0) into 0 1.903 * [taylor]: Taking taylor expansion of 0 in y 1.903 * [backup-simplify]: Simplify 0 into 0 1.903 * [backup-simplify]: Simplify 0 into 0 1.903 * [backup-simplify]: Simplify (- 1) into -1 1.904 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.904 * [backup-simplify]: Simplify -1 into -1 1.904 * [backup-simplify]: Simplify (+ (* -1 (* y x)) (+ (* 1 (* y 1)) (* 1 (* 1 x)))) into (- (+ x y) (* x y)) 1.904 * [backup-simplify]: Simplify (fma (- 1 (/ 1 x)) (/ 1 y) (/ 1 x)) into (fma (- 1 (/ 1 x)) (/ 1 y) (/ 1 x)) 1.904 * [approximate]: Taking taylor expansion of (fma (- 1 (/ 1 x)) (/ 1 y) (/ 1 x)) in (x y) around 0 1.905 * [taylor]: Taking taylor expansion of (fma (- 1 (/ 1 x)) (/ 1 y) (/ 1 x)) in y 1.905 * [taylor]: Rewrote expression to (+ (* (- 1 (/ 1 x)) (/ 1 y)) (/ 1 x)) 1.905 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 x)) (/ 1 y)) in y 1.905 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in y 1.905 * [taylor]: Taking taylor expansion of 1 in y 1.905 * [backup-simplify]: Simplify 1 into 1 1.905 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.905 * [taylor]: Taking taylor expansion of x in y 1.905 * [backup-simplify]: Simplify x into x 1.905 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.905 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.905 * [taylor]: Taking taylor expansion of y in y 1.905 * [backup-simplify]: Simplify 0 into 0 1.905 * [backup-simplify]: Simplify 1 into 1 1.906 * [backup-simplify]: Simplify (/ 1 1) into 1 1.906 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.906 * [taylor]: Taking taylor expansion of x in y 1.906 * [backup-simplify]: Simplify x into x 1.906 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.906 * [taylor]: Taking taylor expansion of (fma (- 1 (/ 1 x)) (/ 1 y) (/ 1 x)) in x 1.906 * [taylor]: Rewrote expression to (+ (* (- 1 (/ 1 x)) (/ 1 y)) (/ 1 x)) 1.906 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 x)) (/ 1 y)) in x 1.906 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1.906 * [taylor]: Taking taylor expansion of 1 in x 1.906 * [backup-simplify]: Simplify 1 into 1 1.906 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.906 * [taylor]: Taking taylor expansion of x in x 1.906 * [backup-simplify]: Simplify 0 into 0 1.906 * [backup-simplify]: Simplify 1 into 1 1.906 * [backup-simplify]: Simplify (/ 1 1) into 1 1.907 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.907 * [taylor]: Taking taylor expansion of y in x 1.907 * [backup-simplify]: Simplify y into y 1.907 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.907 * [taylor]: Taking taylor expansion of x in x 1.907 * [backup-simplify]: Simplify 0 into 0 1.907 * [backup-simplify]: Simplify 1 into 1 1.907 * [backup-simplify]: Simplify (/ 1 1) into 1 1.907 * [taylor]: Taking taylor expansion of (fma (- 1 (/ 1 x)) (/ 1 y) (/ 1 x)) in x 1.907 * [taylor]: Rewrote expression to (+ (* (- 1 (/ 1 x)) (/ 1 y)) (/ 1 x)) 1.907 * [taylor]: Taking taylor expansion of (* (- 1 (/ 1 x)) (/ 1 y)) in x 1.907 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1.907 * [taylor]: Taking taylor expansion of 1 in x 1.907 * [backup-simplify]: Simplify 1 into 1 1.907 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.907 * [taylor]: Taking taylor expansion of x in x 1.907 * [backup-simplify]: Simplify 0 into 0 1.908 * [backup-simplify]: Simplify 1 into 1 1.908 * [backup-simplify]: Simplify (/ 1 1) into 1 1.908 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.908 * [taylor]: Taking taylor expansion of y in x 1.908 * [backup-simplify]: Simplify y into y 1.908 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 1.908 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.908 * [taylor]: Taking taylor expansion of x in x 1.908 * [backup-simplify]: Simplify 0 into 0 1.908 * [backup-simplify]: Simplify 1 into 1 1.908 * [backup-simplify]: Simplify (/ 1 1) into 1 1.909 * [backup-simplify]: Simplify (- 1) into -1 1.909 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.909 * [backup-simplify]: Simplify (* -1 (/ 1 y)) into (/ -1 y) 1.910 * [backup-simplify]: Simplify (+ (/ -1 y) 1) into (- 1 (/ 1 y)) 1.910 * [taylor]: Taking taylor expansion of (- 1 (/ 1 y)) in y 1.910 * [taylor]: Taking taylor expansion of 1 in y 1.910 * [backup-simplify]: Simplify 1 into 1 1.910 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.910 * [taylor]: Taking taylor expansion of y in y 1.910 * [backup-simplify]: Simplify 0 into 0 1.910 * [backup-simplify]: Simplify 1 into 1 1.910 * [backup-simplify]: Simplify (/ 1 1) into 1 1.911 * [backup-simplify]: Simplify (- 1) into -1 1.911 * [backup-simplify]: Simplify (+ 0 -1) into -1 1.911 * [backup-simplify]: Simplify -1 into -1 1.911 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 1.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.912 * [backup-simplify]: Simplify (- 0) into 0 1.913 * [backup-simplify]: Simplify (+ 1 0) into 1 1.913 * [backup-simplify]: Simplify (+ (* -1 0) (* 1 (/ 1 y))) into (/ 1 y) 1.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.914 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 1.914 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.914 * [taylor]: Taking taylor expansion of y in y 1.914 * [backup-simplify]: Simplify 0 into 0 1.914 * [backup-simplify]: Simplify 1 into 1 1.915 * [backup-simplify]: Simplify (/ 1 1) into 1 1.915 * [backup-simplify]: Simplify 1 into 1 1.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.916 * [backup-simplify]: Simplify (- 0) into 0 1.916 * [backup-simplify]: Simplify (+ 1 0) into 1 1.916 * [backup-simplify]: Simplify 1 into 1 1.917 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1 (* (/ 1 (/ 1 y)) 1)) (* -1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ x y) (* x y)) 1.917 * [backup-simplify]: Simplify (fma (- 1 (/ 1 (- x))) (/ 1 (- y)) (/ 1 (- x))) into (fma (+ (/ 1 x) 1) (/ -1 y) (/ -1 x)) 1.917 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 x) 1) (/ -1 y) (/ -1 x)) in (x y) around 0 1.917 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1) (/ -1 y) (/ -1 x)) in y 1.917 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1) (/ -1 y)) (/ -1 x)) 1.917 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (/ -1 y)) in y 1.917 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in y 1.917 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.917 * [taylor]: Taking taylor expansion of x in y 1.917 * [backup-simplify]: Simplify x into x 1.917 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 1.917 * [taylor]: Taking taylor expansion of 1 in y 1.917 * [backup-simplify]: Simplify 1 into 1 1.917 * [taylor]: Taking taylor expansion of (/ -1 y) in y 1.917 * [taylor]: Taking taylor expansion of -1 in y 1.917 * [backup-simplify]: Simplify -1 into -1 1.917 * [taylor]: Taking taylor expansion of y in y 1.917 * [backup-simplify]: Simplify 0 into 0 1.918 * [backup-simplify]: Simplify 1 into 1 1.918 * [backup-simplify]: Simplify (/ -1 1) into -1 1.918 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.918 * [taylor]: Taking taylor expansion of -1 in y 1.918 * [backup-simplify]: Simplify -1 into -1 1.918 * [taylor]: Taking taylor expansion of x in y 1.918 * [backup-simplify]: Simplify x into x 1.918 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 1.918 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1) (/ -1 y) (/ -1 x)) in x 1.918 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1) (/ -1 y)) (/ -1 x)) 1.918 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (/ -1 y)) in x 1.918 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.918 * [taylor]: Taking taylor expansion of x in x 1.918 * [backup-simplify]: Simplify 0 into 0 1.918 * [backup-simplify]: Simplify 1 into 1 1.919 * [backup-simplify]: Simplify (/ 1 1) into 1 1.919 * [taylor]: Taking taylor expansion of 1 in x 1.919 * [backup-simplify]: Simplify 1 into 1 1.919 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.919 * [taylor]: Taking taylor expansion of -1 in x 1.919 * [backup-simplify]: Simplify -1 into -1 1.919 * [taylor]: Taking taylor expansion of y in x 1.919 * [backup-simplify]: Simplify y into y 1.919 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.919 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.919 * [taylor]: Taking taylor expansion of -1 in x 1.919 * [backup-simplify]: Simplify -1 into -1 1.919 * [taylor]: Taking taylor expansion of x in x 1.919 * [backup-simplify]: Simplify 0 into 0 1.919 * [backup-simplify]: Simplify 1 into 1 1.920 * [backup-simplify]: Simplify (/ -1 1) into -1 1.920 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1) (/ -1 y) (/ -1 x)) in x 1.920 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1) (/ -1 y)) (/ -1 x)) 1.920 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1) (/ -1 y)) in x 1.920 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.920 * [taylor]: Taking taylor expansion of x in x 1.920 * [backup-simplify]: Simplify 0 into 0 1.920 * [backup-simplify]: Simplify 1 into 1 1.920 * [backup-simplify]: Simplify (/ 1 1) into 1 1.920 * [taylor]: Taking taylor expansion of 1 in x 1.920 * [backup-simplify]: Simplify 1 into 1 1.920 * [taylor]: Taking taylor expansion of (/ -1 y) in x 1.921 * [taylor]: Taking taylor expansion of -1 in x 1.921 * [backup-simplify]: Simplify -1 into -1 1.921 * [taylor]: Taking taylor expansion of y in x 1.921 * [backup-simplify]: Simplify y into y 1.921 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 1.921 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.921 * [taylor]: Taking taylor expansion of -1 in x 1.921 * [backup-simplify]: Simplify -1 into -1 1.921 * [taylor]: Taking taylor expansion of x in x 1.921 * [backup-simplify]: Simplify 0 into 0 1.921 * [backup-simplify]: Simplify 1 into 1 1.921 * [backup-simplify]: Simplify (/ -1 1) into -1 1.922 * [backup-simplify]: Simplify (+ 1 0) into 1 1.922 * [backup-simplify]: Simplify (* 1 (/ -1 y)) into (/ -1 y) 1.922 * [backup-simplify]: Simplify (+ (/ -1 y) -1) into (- (+ (/ 1 y) 1)) 1.922 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) 1)) in y 1.922 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 1.922 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.922 * [taylor]: Taking taylor expansion of y in y 1.922 * [backup-simplify]: Simplify 0 into 0 1.922 * [backup-simplify]: Simplify 1 into 1 1.922 * [backup-simplify]: Simplify (/ 1 1) into 1 1.922 * [taylor]: Taking taylor expansion of 1 in y 1.922 * [backup-simplify]: Simplify 1 into 1 1.923 * [backup-simplify]: Simplify (+ 1 0) into 1 1.923 * [backup-simplify]: Simplify (- 1) into -1 1.923 * [backup-simplify]: Simplify -1 into -1 1.923 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 1.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.925 * [backup-simplify]: Simplify (+ 0 1) into 1 1.925 * [backup-simplify]: Simplify (+ (* 1 0) (* 1 (/ -1 y))) into (- (/ 1 y)) 1.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1.926 * [backup-simplify]: Simplify (+ (- (/ 1 y)) 0) into (- (/ 1 y)) 1.926 * [taylor]: Taking taylor expansion of (- (/ 1 y)) in y 1.926 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.926 * [taylor]: Taking taylor expansion of y in y 1.926 * [backup-simplify]: Simplify 0 into 0 1.926 * [backup-simplify]: Simplify 1 into 1 1.927 * [backup-simplify]: Simplify (/ 1 1) into 1 1.927 * [backup-simplify]: Simplify (- 1) into -1 1.927 * [backup-simplify]: Simplify -1 into -1 1.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1.928 * [backup-simplify]: Simplify (+ 0 1) into 1 1.929 * [backup-simplify]: Simplify (- 1) into -1 1.929 * [backup-simplify]: Simplify -1 into -1 1.929 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* -1 (* (/ 1 (/ 1 (- y))) 1)) (* -1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ x y) (* x y)) 1.929 * * * [progress]: simplifying candidates 1.930 * [simplify]: Simplifying: (expm1 (fma (- 1 x) y x)) (log1p (fma (- 1 x) y x)) (* (- 1 x) y) (log (fma (- 1 x) y x)) (exp (fma (- 1 x) y x)) (* (cbrt (fma (- 1 x) y x)) (cbrt (fma (- 1 x) y x))) (cbrt (fma (- 1 x) y x)) (* (* (fma (- 1 x) y x) (fma (- 1 x) y x)) (fma (- 1 x) y x)) (sqrt (fma (- 1 x) y x)) (sqrt (fma (- 1 x) y x)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) 1.930 * * [simplify]: Extracting # 0 : cost 0 1.930 * * [simplify]: Extracting # 1 : cost 0 1.930 * * [simplify]: Extracting # 2 : cost 0 1.930 * * [simplify]: Extracting # 3 : cost 0 1.930 * * [simplify]: Extracting # 4 : cost 0 1.930 * * [simplify]: iteration 0 : 18 enodes (cost 110 ) 1.936 * * [simplify]: Extracting # 0 : cost 0 1.936 * * [simplify]: Extracting # 1 : cost 0 1.936 * * [simplify]: Extracting # 2 : cost 0 1.936 * * [simplify]: iteration 1 : 31 enodes (cost 110 ) 1.945 * * [simplify]: Extracting # 0 : cost 0 1.945 * * [simplify]: Extracting # 1 : cost 0 1.946 * * [simplify]: Extracting # 2 : cost 0 1.946 * * [simplify]: iteration 2 : 68 enodes (cost 98 ) 1.983 * * [simplify]: Extracting # 0 : cost 0 1.983 * * [simplify]: Extracting # 1 : cost 0 1.984 * * [simplify]: Extracting # 2 : cost 0 1.984 * * [simplify]: Extracting # 3 : cost 0 1.984 * * [simplify]: iteration 3 : 178 enodes (cost 95 ) 2.131 * * [simplify]: Extracting # 0 : cost 0 2.132 * * [simplify]: Extracting # 1 : cost 0 2.133 * * [simplify]: Extracting # 2 : cost 0 2.134 * * [simplify]: Extracting # 3 : cost 0 2.134 * * [simplify]: Extracting # 4 : cost 0 2.135 * * [simplify]: Extracting # 5 : cost 0 2.136 * * [simplify]: iteration 4 : 734 enodes (cost 95 ) 2.904 * * [simplify]: Extracting # 0 : cost 0 2.910 * * [simplify]: Extracting # 1 : cost 0 2.916 * * [simplify]: Extracting # 2 : cost 0 2.921 * * [simplify]: Extracting # 3 : cost 0 2.931 * * [simplify]: Extracting # 4 : cost 0 2.937 * * [simplify]: iteration done: 5001 enodes (cost 95 ) 2.937 * [simplify]: Simplified to: (expm1 (fma (- 1 x) y x)) (log1p (fma (- 1 x) y x)) (- y (* x y)) (log (fma (- 1 x) y x)) (exp (fma (- 1 x) y x)) (* (cbrt (fma (- 1 x) y x)) (cbrt (fma (- 1 x) y x))) (cbrt (fma (- 1 x) y x)) (pow (fma (- 1 x) y x) 3) (sqrt (fma (- 1 x) y x)) (sqrt (fma (- 1 x) y x)) (fma y (- 1 x) x) (fma y (- 1 x) x) (fma y (- 1 x) x) 2.937 * * * [progress]: adding candidates to table 2.963 * * [progress]: iteration 2 / 4 2.963 * * * [progress]: picking best candidate 2.964 * * * * [pick]: Picked # 2.964 * * * [progress]: localizing error 2.970 * * * [progress]: generating rewritten candidates 2.970 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.997 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 3.004 * * * [progress]: generating series expansions 3.004 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.005 * [backup-simplify]: Simplify (+ (- y (* x y)) x) into (- (+ x y) (* x y)) 3.005 * [approximate]: Taking taylor expansion of (- (+ x y) (* x y)) in (y x) around 0 3.005 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in x 3.005 * [taylor]: Taking taylor expansion of (+ x y) in x 3.005 * [taylor]: Taking taylor expansion of x in x 3.005 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify 1 into 1 3.005 * [taylor]: Taking taylor expansion of y in x 3.005 * [backup-simplify]: Simplify y into y 3.005 * [taylor]: Taking taylor expansion of (* x y) in x 3.005 * [taylor]: Taking taylor expansion of x in x 3.005 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify 1 into 1 3.005 * [taylor]: Taking taylor expansion of y in x 3.005 * [backup-simplify]: Simplify y into y 3.005 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 3.005 * [taylor]: Taking taylor expansion of (+ x y) in y 3.005 * [taylor]: Taking taylor expansion of x in y 3.005 * [backup-simplify]: Simplify x into x 3.005 * [taylor]: Taking taylor expansion of y in y 3.005 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify 1 into 1 3.005 * [taylor]: Taking taylor expansion of (* x y) in y 3.005 * [taylor]: Taking taylor expansion of x in y 3.005 * [backup-simplify]: Simplify x into x 3.005 * [taylor]: Taking taylor expansion of y in y 3.005 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify 1 into 1 3.005 * [taylor]: Taking taylor expansion of (- (+ x y) (* x y)) in y 3.005 * [taylor]: Taking taylor expansion of (+ x y) in y 3.005 * [taylor]: Taking taylor expansion of x in y 3.005 * [backup-simplify]: Simplify x into x 3.005 * [taylor]: Taking taylor expansion of y in y 3.005 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify 1 into 1 3.005 * [taylor]: Taking taylor expansion of (* x y) in y 3.005 * [taylor]: Taking taylor expansion of x in y 3.005 * [backup-simplify]: Simplify x into x 3.005 * [taylor]: Taking taylor expansion of y in y 3.005 * [backup-simplify]: Simplify 0 into 0 3.005 * [backup-simplify]: Simplify 1 into 1 3.005 * [backup-simplify]: Simplify (+ x 0) into x 3.005 * [backup-simplify]: Simplify (* x 0) into 0 3.006 * [backup-simplify]: Simplify (- 0) into 0 3.006 * [backup-simplify]: Simplify (+ x 0) into x 3.006 * [taylor]: Taking taylor expansion of x in x 3.006 * [backup-simplify]: Simplify 0 into 0 3.006 * [backup-simplify]: Simplify 1 into 1 3.006 * [backup-simplify]: Simplify 0 into 0 3.006 * [backup-simplify]: Simplify (+ 0 1) into 1 3.006 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.007 * [backup-simplify]: Simplify (- x) into (- x) 3.007 * [backup-simplify]: Simplify (+ 1 (- x)) into (- 1 x) 3.007 * [taylor]: Taking taylor expansion of (- 1 x) in x 3.007 * [taylor]: Taking taylor expansion of 1 in x 3.007 * [backup-simplify]: Simplify 1 into 1 3.007 * [taylor]: Taking taylor expansion of x in x 3.007 * [backup-simplify]: Simplify 0 into 0 3.007 * [backup-simplify]: Simplify 1 into 1 3.007 * [backup-simplify]: Simplify (- 0) into 0 3.007 * [backup-simplify]: Simplify (+ 1 0) into 1 3.007 * [backup-simplify]: Simplify 1 into 1 3.007 * [backup-simplify]: Simplify 1 into 1 3.007 * [backup-simplify]: Simplify (+ 0 0) into 0 3.008 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.008 * [backup-simplify]: Simplify (- 0) into 0 3.008 * [backup-simplify]: Simplify (+ 0 0) 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 (- 1) into -1 3.009 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.009 * [backup-simplify]: Simplify -1 into -1 3.009 * [backup-simplify]: Simplify (+ (* -1 (* x y)) (+ (* 1 (* x 1)) (* 1 (* 1 y)))) into (- (+ x y) (* x y)) 3.009 * [backup-simplify]: Simplify (+ (- (/ 1 y) (* (/ 1 x) (/ 1 y))) (/ 1 x)) into (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) 3.009 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in (y x) around 0 3.009 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in x 3.009 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in x 3.009 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.009 * [taylor]: Taking taylor expansion of y in x 3.009 * [backup-simplify]: Simplify y into y 3.009 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.009 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.009 * [taylor]: Taking taylor expansion of x in x 3.009 * [backup-simplify]: Simplify 0 into 0 3.009 * [backup-simplify]: Simplify 1 into 1 3.010 * [backup-simplify]: Simplify (/ 1 1) into 1 3.010 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.010 * [taylor]: Taking taylor expansion of (* x y) in x 3.010 * [taylor]: Taking taylor expansion of x in x 3.010 * [backup-simplify]: Simplify 0 into 0 3.010 * [backup-simplify]: Simplify 1 into 1 3.010 * [taylor]: Taking taylor expansion of y in x 3.010 * [backup-simplify]: Simplify y into y 3.010 * [backup-simplify]: Simplify (* 0 y) into 0 3.010 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.010 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.010 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in y 3.010 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.010 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.010 * [taylor]: Taking taylor expansion of y in y 3.010 * [backup-simplify]: Simplify 0 into 0 3.010 * [backup-simplify]: Simplify 1 into 1 3.010 * [backup-simplify]: Simplify (/ 1 1) into 1 3.010 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.010 * [taylor]: Taking taylor expansion of x in y 3.010 * [backup-simplify]: Simplify x into x 3.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.011 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.011 * [taylor]: Taking taylor expansion of (* x y) in y 3.011 * [taylor]: Taking taylor expansion of x in y 3.011 * [backup-simplify]: Simplify x into x 3.011 * [taylor]: Taking taylor expansion of y in y 3.011 * [backup-simplify]: Simplify 0 into 0 3.011 * [backup-simplify]: Simplify 1 into 1 3.011 * [backup-simplify]: Simplify (* x 0) into 0 3.011 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.011 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 x)) (/ 1 (* x y))) in y 3.011 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 x)) in y 3.011 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.011 * [taylor]: Taking taylor expansion of y in y 3.011 * [backup-simplify]: Simplify 0 into 0 3.011 * [backup-simplify]: Simplify 1 into 1 3.011 * [backup-simplify]: Simplify (/ 1 1) into 1 3.011 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.011 * [taylor]: Taking taylor expansion of x in y 3.011 * [backup-simplify]: Simplify x into x 3.011 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.011 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.011 * [taylor]: Taking taylor expansion of (* x y) in y 3.011 * [taylor]: Taking taylor expansion of x in y 3.011 * [backup-simplify]: Simplify x into x 3.011 * [taylor]: Taking taylor expansion of y in y 3.011 * [backup-simplify]: Simplify 0 into 0 3.011 * [backup-simplify]: Simplify 1 into 1 3.012 * [backup-simplify]: Simplify (* x 0) into 0 3.012 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.012 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.012 * [backup-simplify]: Simplify (+ 1 0) into 1 3.012 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.012 * [backup-simplify]: Simplify (+ 1 (- (/ 1 x))) into (- 1 (/ 1 x)) 3.012 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 3.012 * [taylor]: Taking taylor expansion of 1 in x 3.012 * [backup-simplify]: Simplify 1 into 1 3.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.012 * [taylor]: Taking taylor expansion of x in x 3.012 * [backup-simplify]: Simplify 0 into 0 3.012 * [backup-simplify]: Simplify 1 into 1 3.013 * [backup-simplify]: Simplify (/ 1 1) into 1 3.013 * [backup-simplify]: Simplify (- 1) into -1 3.013 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.013 * [backup-simplify]: Simplify -1 into -1 3.014 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.014 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 3.014 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.014 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.014 * [backup-simplify]: Simplify (- 0) into 0 3.014 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.014 * [taylor]: Taking taylor expansion of x in x 3.014 * [backup-simplify]: Simplify 0 into 0 3.014 * [backup-simplify]: Simplify 1 into 1 3.015 * [backup-simplify]: Simplify (/ 1 1) into 1 3.015 * [backup-simplify]: Simplify 1 into 1 3.015 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.015 * [backup-simplify]: Simplify (- 0) into 0 3.016 * [backup-simplify]: Simplify (+ 1 0) into 1 3.016 * [backup-simplify]: Simplify 1 into 1 3.016 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 y)))) (+ (* 1 (* (/ 1 (/ 1 x)) 1)) (* -1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (- (+ x y) (* x y)) 3.016 * [backup-simplify]: Simplify (+ (- (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (- y)))) (/ 1 (- x))) into (- (+ (/ 1 y) (+ (/ 1 x) (/ 1 (* x y))))) 3.016 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 x) (/ 1 (* x y))))) in (y x) around 0 3.016 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 x) (/ 1 (* x y))))) in x 3.016 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (/ 1 (* x y)))) in x 3.016 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.016 * [taylor]: Taking taylor expansion of y in x 3.016 * [backup-simplify]: Simplify y into y 3.016 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.016 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 3.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.016 * [taylor]: Taking taylor expansion of x in x 3.016 * [backup-simplify]: Simplify 0 into 0 3.016 * [backup-simplify]: Simplify 1 into 1 3.016 * [backup-simplify]: Simplify (/ 1 1) into 1 3.016 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.017 * [taylor]: Taking taylor expansion of (* x y) in x 3.017 * [taylor]: Taking taylor expansion of x in x 3.017 * [backup-simplify]: Simplify 0 into 0 3.017 * [backup-simplify]: Simplify 1 into 1 3.017 * [taylor]: Taking taylor expansion of y in x 3.017 * [backup-simplify]: Simplify y into y 3.017 * [backup-simplify]: Simplify (* 0 y) into 0 3.017 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.017 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.017 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 x) (/ 1 (* x y))))) in y 3.017 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (/ 1 (* x y)))) in y 3.017 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.017 * [taylor]: Taking taylor expansion of y in y 3.017 * [backup-simplify]: Simplify 0 into 0 3.017 * [backup-simplify]: Simplify 1 into 1 3.017 * [backup-simplify]: Simplify (/ 1 1) into 1 3.017 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 3.017 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.017 * [taylor]: Taking taylor expansion of x in y 3.017 * [backup-simplify]: Simplify x into x 3.017 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.017 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.017 * [taylor]: Taking taylor expansion of (* x y) in y 3.017 * [taylor]: Taking taylor expansion of x in y 3.017 * [backup-simplify]: Simplify x into x 3.017 * [taylor]: Taking taylor expansion of y in y 3.017 * [backup-simplify]: Simplify 0 into 0 3.017 * [backup-simplify]: Simplify 1 into 1 3.018 * [backup-simplify]: Simplify (* x 0) into 0 3.018 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.018 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.018 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (+ (/ 1 x) (/ 1 (* x y))))) in y 3.018 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (+ (/ 1 x) (/ 1 (* x y)))) in y 3.018 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.018 * [taylor]: Taking taylor expansion of y in y 3.018 * [backup-simplify]: Simplify 0 into 0 3.018 * [backup-simplify]: Simplify 1 into 1 3.018 * [backup-simplify]: Simplify (/ 1 1) into 1 3.018 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 3.018 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.018 * [taylor]: Taking taylor expansion of x in y 3.018 * [backup-simplify]: Simplify x into x 3.018 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.018 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.018 * [taylor]: Taking taylor expansion of (* x y) in y 3.018 * [taylor]: Taking taylor expansion of x in y 3.018 * [backup-simplify]: Simplify x into x 3.018 * [taylor]: Taking taylor expansion of y in y 3.018 * [backup-simplify]: Simplify 0 into 0 3.018 * [backup-simplify]: Simplify 1 into 1 3.018 * [backup-simplify]: Simplify (* x 0) into 0 3.019 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.019 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.019 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 3.019 * [backup-simplify]: Simplify (+ 1 (/ 1 x)) into (+ (/ 1 x) 1) 3.019 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1)) into (- (+ (/ 1 x) 1)) 3.019 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 3.019 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 3.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.019 * [taylor]: Taking taylor expansion of x in x 3.019 * [backup-simplify]: Simplify 0 into 0 3.019 * [backup-simplify]: Simplify 1 into 1 3.019 * [backup-simplify]: Simplify (/ 1 1) into 1 3.019 * [taylor]: Taking taylor expansion of 1 in x 3.019 * [backup-simplify]: Simplify 1 into 1 3.020 * [backup-simplify]: Simplify (+ 1 0) into 1 3.020 * [backup-simplify]: Simplify (- 1) into -1 3.020 * [backup-simplify]: Simplify -1 into -1 3.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.021 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.021 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 3.021 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 3.021 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.021 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 3.021 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.021 * [taylor]: Taking taylor expansion of x in x 3.021 * [backup-simplify]: Simplify 0 into 0 3.021 * [backup-simplify]: Simplify 1 into 1 3.021 * [backup-simplify]: Simplify (/ 1 1) into 1 3.021 * [backup-simplify]: Simplify (- 1) into -1 3.021 * [backup-simplify]: Simplify -1 into -1 3.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.022 * [backup-simplify]: Simplify (+ 0 1) into 1 3.022 * [backup-simplify]: Simplify (- 1) into -1 3.022 * [backup-simplify]: Simplify -1 into -1 3.023 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- y))))) (+ (* -1 (* (/ 1 (/ 1 (- x))) 1)) (* -1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (- (+ x y) (* x y)) 3.023 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 3.023 * [backup-simplify]: Simplify (- y (* x y)) into (- y (* x y)) 3.023 * [approximate]: Taking taylor expansion of (- y (* x y)) in (y x) around 0 3.023 * [taylor]: Taking taylor expansion of (- y (* x y)) in x 3.023 * [taylor]: Taking taylor expansion of y in x 3.023 * [backup-simplify]: Simplify y into y 3.023 * [taylor]: Taking taylor expansion of (* x y) in x 3.023 * [taylor]: Taking taylor expansion of x in x 3.023 * [backup-simplify]: Simplify 0 into 0 3.023 * [backup-simplify]: Simplify 1 into 1 3.023 * [taylor]: Taking taylor expansion of y in x 3.023 * [backup-simplify]: Simplify y into y 3.023 * [taylor]: Taking taylor expansion of (- y (* x y)) in y 3.023 * [taylor]: Taking taylor expansion of y in y 3.023 * [backup-simplify]: Simplify 0 into 0 3.023 * [backup-simplify]: Simplify 1 into 1 3.023 * [taylor]: Taking taylor expansion of (* x y) in y 3.023 * [taylor]: Taking taylor expansion of x in y 3.023 * [backup-simplify]: Simplify x into x 3.023 * [taylor]: Taking taylor expansion of y in y 3.023 * [backup-simplify]: Simplify 0 into 0 3.023 * [backup-simplify]: Simplify 1 into 1 3.023 * [taylor]: Taking taylor expansion of (- y (* x y)) in y 3.023 * [taylor]: Taking taylor expansion of y in y 3.023 * [backup-simplify]: Simplify 0 into 0 3.023 * [backup-simplify]: Simplify 1 into 1 3.023 * [taylor]: Taking taylor expansion of (* x y) in y 3.023 * [taylor]: Taking taylor expansion of x in y 3.023 * [backup-simplify]: Simplify x into x 3.023 * [taylor]: Taking taylor expansion of y in y 3.023 * [backup-simplify]: Simplify 0 into 0 3.023 * [backup-simplify]: Simplify 1 into 1 3.023 * [backup-simplify]: Simplify (* x 0) into 0 3.023 * [backup-simplify]: Simplify (- 0) into 0 3.024 * [backup-simplify]: Simplify (+ 0 0) into 0 3.024 * [taylor]: Taking taylor expansion of 0 in x 3.024 * [backup-simplify]: Simplify 0 into 0 3.024 * [backup-simplify]: Simplify 0 into 0 3.024 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.024 * [backup-simplify]: Simplify (- x) into (- x) 3.024 * [backup-simplify]: Simplify (+ 1 (- x)) into (- 1 x) 3.024 * [taylor]: Taking taylor expansion of (- 1 x) in x 3.024 * [taylor]: Taking taylor expansion of 1 in x 3.024 * [backup-simplify]: Simplify 1 into 1 3.024 * [taylor]: Taking taylor expansion of x in x 3.024 * [backup-simplify]: Simplify 0 into 0 3.024 * [backup-simplify]: Simplify 1 into 1 3.024 * [backup-simplify]: Simplify (- 0) into 0 3.025 * [backup-simplify]: Simplify (+ 1 0) into 1 3.025 * [backup-simplify]: Simplify 1 into 1 3.025 * [backup-simplify]: Simplify 0 into 0 3.025 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.025 * [backup-simplify]: Simplify (- 0) into 0 3.026 * [backup-simplify]: Simplify (+ 0 0) into 0 3.026 * [taylor]: Taking taylor expansion of 0 in x 3.026 * [backup-simplify]: Simplify 0 into 0 3.026 * [backup-simplify]: Simplify 0 into 0 3.026 * [backup-simplify]: Simplify (- 1) into -1 3.026 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.026 * [backup-simplify]: Simplify -1 into -1 3.026 * [backup-simplify]: Simplify 0 into 0 3.027 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.027 * [backup-simplify]: Simplify (- 0) into 0 3.027 * [backup-simplify]: Simplify (+ 0 0) into 0 3.027 * [taylor]: Taking taylor expansion of 0 in x 3.027 * [backup-simplify]: Simplify 0 into 0 3.027 * [backup-simplify]: Simplify 0 into 0 3.027 * [backup-simplify]: Simplify 0 into 0 3.028 * [backup-simplify]: Simplify (- 0) into 0 3.028 * [backup-simplify]: Simplify (+ 0 0) into 0 3.028 * [backup-simplify]: Simplify 0 into 0 3.028 * [backup-simplify]: Simplify 0 into 0 3.028 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.029 * [backup-simplify]: Simplify (- 0) into 0 3.029 * [backup-simplify]: Simplify (+ 0 0) into 0 3.029 * [taylor]: Taking taylor expansion of 0 in x 3.029 * [backup-simplify]: Simplify 0 into 0 3.029 * [backup-simplify]: Simplify 0 into 0 3.029 * [backup-simplify]: Simplify (+ (* -1 (* x y)) (* 1 (* 1 y))) into (- y (* x y)) 3.029 * [backup-simplify]: Simplify (- (/ 1 y) (* (/ 1 x) (/ 1 y))) into (- (/ 1 y) (/ 1 (* x y))) 3.029 * [approximate]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* x y))) in (y x) around 0 3.029 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* x y))) in x 3.029 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.029 * [taylor]: Taking taylor expansion of y in x 3.029 * [backup-simplify]: Simplify y into y 3.029 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.029 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.029 * [taylor]: Taking taylor expansion of (* x y) in x 3.029 * [taylor]: Taking taylor expansion of x in x 3.029 * [backup-simplify]: Simplify 0 into 0 3.029 * [backup-simplify]: Simplify 1 into 1 3.029 * [taylor]: Taking taylor expansion of y in x 3.029 * [backup-simplify]: Simplify y into y 3.029 * [backup-simplify]: Simplify (* 0 y) into 0 3.030 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.030 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.030 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* x y))) in y 3.030 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.030 * [taylor]: Taking taylor expansion of y in y 3.030 * [backup-simplify]: Simplify 0 into 0 3.030 * [backup-simplify]: Simplify 1 into 1 3.030 * [backup-simplify]: Simplify (/ 1 1) into 1 3.030 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.030 * [taylor]: Taking taylor expansion of (* x y) in y 3.030 * [taylor]: Taking taylor expansion of x in y 3.030 * [backup-simplify]: Simplify x into x 3.030 * [taylor]: Taking taylor expansion of y in y 3.030 * [backup-simplify]: Simplify 0 into 0 3.030 * [backup-simplify]: Simplify 1 into 1 3.030 * [backup-simplify]: Simplify (* x 0) into 0 3.030 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.031 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.031 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 (* x y))) in y 3.031 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.031 * [taylor]: Taking taylor expansion of y in y 3.031 * [backup-simplify]: Simplify 0 into 0 3.031 * [backup-simplify]: Simplify 1 into 1 3.031 * [backup-simplify]: Simplify (/ 1 1) into 1 3.031 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.031 * [taylor]: Taking taylor expansion of (* x y) in y 3.031 * [taylor]: Taking taylor expansion of x in y 3.031 * [backup-simplify]: Simplify x into x 3.031 * [taylor]: Taking taylor expansion of y in y 3.031 * [backup-simplify]: Simplify 0 into 0 3.031 * [backup-simplify]: Simplify 1 into 1 3.031 * [backup-simplify]: Simplify (* x 0) into 0 3.031 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.031 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.031 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.031 * [backup-simplify]: Simplify (+ 1 (- (/ 1 x))) into (- 1 (/ 1 x)) 3.031 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 3.032 * [taylor]: Taking taylor expansion of 1 in x 3.032 * [backup-simplify]: Simplify 1 into 1 3.032 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.032 * [taylor]: Taking taylor expansion of x in x 3.032 * [backup-simplify]: Simplify 0 into 0 3.032 * [backup-simplify]: Simplify 1 into 1 3.032 * [backup-simplify]: Simplify (/ 1 1) into 1 3.032 * [backup-simplify]: Simplify (- 1) into -1 3.032 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.032 * [backup-simplify]: Simplify -1 into -1 3.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.033 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.033 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.033 * [backup-simplify]: Simplify (- 0) into 0 3.034 * [backup-simplify]: Simplify (+ 0 0) into 0 3.034 * [taylor]: Taking taylor expansion of 0 in x 3.034 * [backup-simplify]: Simplify 0 into 0 3.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.034 * [backup-simplify]: Simplify (- 0) into 0 3.035 * [backup-simplify]: Simplify (+ 1 0) into 1 3.035 * [backup-simplify]: Simplify 1 into 1 3.035 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.036 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.036 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.036 * [backup-simplify]: Simplify (- 0) into 0 3.036 * [backup-simplify]: Simplify (+ 0 0) into 0 3.036 * [taylor]: Taking taylor expansion of 0 in x 3.036 * [backup-simplify]: Simplify 0 into 0 3.036 * [backup-simplify]: Simplify 0 into 0 3.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.037 * [backup-simplify]: Simplify (- 0) into 0 3.037 * [backup-simplify]: Simplify (+ 0 0) into 0 3.037 * [backup-simplify]: Simplify 0 into 0 3.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.038 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.038 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.039 * [backup-simplify]: Simplify (- 0) into 0 3.039 * [backup-simplify]: Simplify (+ 0 0) into 0 3.039 * [taylor]: Taking taylor expansion of 0 in x 3.039 * [backup-simplify]: Simplify 0 into 0 3.039 * [backup-simplify]: Simplify 0 into 0 3.039 * [backup-simplify]: Simplify 0 into 0 3.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.040 * [backup-simplify]: Simplify (- 0) into 0 3.040 * [backup-simplify]: Simplify (+ 0 0) into 0 3.040 * [backup-simplify]: Simplify 0 into 0 3.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.041 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.042 * [backup-simplify]: Simplify (- 0) into 0 3.042 * [backup-simplify]: Simplify (+ 0 0) into 0 3.042 * [taylor]: Taking taylor expansion of 0 in x 3.042 * [backup-simplify]: Simplify 0 into 0 3.042 * [backup-simplify]: Simplify 0 into 0 3.042 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 y)))) (* -1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y))))) into (- y (* x y)) 3.042 * [backup-simplify]: Simplify (- (/ 1 (- y)) (* (/ 1 (- x)) (/ 1 (- y)))) into (- (+ (/ 1 y) (/ 1 (* x y)))) 3.042 * [approximate]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 (* x y)))) in (y x) around 0 3.042 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 (* x y)))) in x 3.042 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in x 3.042 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.042 * [taylor]: Taking taylor expansion of y in x 3.042 * [backup-simplify]: Simplify y into y 3.042 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.042 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.043 * [taylor]: Taking taylor expansion of (* x y) in x 3.043 * [taylor]: Taking taylor expansion of x in x 3.043 * [backup-simplify]: Simplify 0 into 0 3.043 * [backup-simplify]: Simplify 1 into 1 3.043 * [taylor]: Taking taylor expansion of y in x 3.043 * [backup-simplify]: Simplify y into y 3.043 * [backup-simplify]: Simplify (* 0 y) into 0 3.043 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.043 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.043 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 (* x y)))) in y 3.043 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in y 3.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.043 * [taylor]: Taking taylor expansion of y in y 3.043 * [backup-simplify]: Simplify 0 into 0 3.043 * [backup-simplify]: Simplify 1 into 1 3.043 * [backup-simplify]: Simplify (/ 1 1) into 1 3.043 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.043 * [taylor]: Taking taylor expansion of (* x y) in y 3.043 * [taylor]: Taking taylor expansion of x in y 3.043 * [backup-simplify]: Simplify x into x 3.043 * [taylor]: Taking taylor expansion of y in y 3.043 * [backup-simplify]: Simplify 0 into 0 3.043 * [backup-simplify]: Simplify 1 into 1 3.043 * [backup-simplify]: Simplify (* x 0) into 0 3.044 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.044 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.044 * [taylor]: Taking taylor expansion of (- (+ (/ 1 y) (/ 1 (* x y)))) in y 3.044 * [taylor]: Taking taylor expansion of (+ (/ 1 y) (/ 1 (* x y))) in y 3.044 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.044 * [taylor]: Taking taylor expansion of y in y 3.044 * [backup-simplify]: Simplify 0 into 0 3.044 * [backup-simplify]: Simplify 1 into 1 3.044 * [backup-simplify]: Simplify (/ 1 1) into 1 3.044 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.044 * [taylor]: Taking taylor expansion of (* x y) in y 3.044 * [taylor]: Taking taylor expansion of x in y 3.044 * [backup-simplify]: Simplify x into x 3.044 * [taylor]: Taking taylor expansion of y in y 3.044 * [backup-simplify]: Simplify 0 into 0 3.044 * [backup-simplify]: Simplify 1 into 1 3.044 * [backup-simplify]: Simplify (* x 0) into 0 3.044 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.044 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.045 * [backup-simplify]: Simplify (+ 1 (/ 1 x)) into (+ (/ 1 x) 1) 3.045 * [backup-simplify]: Simplify (- (+ (/ 1 x) 1)) into (- (+ (/ 1 x) 1)) 3.045 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 3.045 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 3.045 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.045 * [taylor]: Taking taylor expansion of x in x 3.045 * [backup-simplify]: Simplify 0 into 0 3.045 * [backup-simplify]: Simplify 1 into 1 3.045 * [backup-simplify]: Simplify (/ 1 1) into 1 3.045 * [taylor]: Taking taylor expansion of 1 in x 3.045 * [backup-simplify]: Simplify 1 into 1 3.045 * [backup-simplify]: Simplify (+ 1 0) into 1 3.045 * [backup-simplify]: Simplify (- 1) into -1 3.046 * [backup-simplify]: Simplify -1 into -1 3.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.046 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 3.046 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 3.047 * [backup-simplify]: Simplify (+ 0 0) into 0 3.047 * [backup-simplify]: Simplify (- 0) into 0 3.047 * [taylor]: Taking taylor expansion of 0 in x 3.047 * [backup-simplify]: Simplify 0 into 0 3.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.048 * [backup-simplify]: Simplify (+ 0 1) into 1 3.048 * [backup-simplify]: Simplify (- 1) into -1 3.048 * [backup-simplify]: Simplify -1 into -1 3.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.049 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.049 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.049 * [backup-simplify]: Simplify (+ 0 0) into 0 3.049 * [backup-simplify]: Simplify (- 0) into 0 3.049 * [taylor]: Taking taylor expansion of 0 in x 3.049 * [backup-simplify]: Simplify 0 into 0 3.049 * [backup-simplify]: Simplify 0 into 0 3.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.050 * [backup-simplify]: Simplify (+ 0 0) into 0 3.050 * [backup-simplify]: Simplify (- 0) into 0 3.050 * [backup-simplify]: Simplify 0 into 0 3.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.051 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 3.052 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.052 * [backup-simplify]: Simplify (+ 0 0) into 0 3.052 * [backup-simplify]: Simplify (- 0) into 0 3.052 * [taylor]: Taking taylor expansion of 0 in x 3.052 * [backup-simplify]: Simplify 0 into 0 3.052 * [backup-simplify]: Simplify 0 into 0 3.052 * [backup-simplify]: Simplify 0 into 0 3.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.053 * [backup-simplify]: Simplify (+ 0 0) into 0 3.053 * [backup-simplify]: Simplify (- 0) into 0 3.053 * [backup-simplify]: Simplify 0 into 0 3.054 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.054 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 3.054 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 3.055 * [backup-simplify]: Simplify (+ 0 0) into 0 3.055 * [backup-simplify]: Simplify (- 0) into 0 3.055 * [taylor]: Taking taylor expansion of 0 in x 3.055 * [backup-simplify]: Simplify 0 into 0 3.055 * [backup-simplify]: Simplify 0 into 0 3.055 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- y))))) (* -1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y)))))) into (- y (* x y)) 3.055 * * * [progress]: simplifying candidates 3.056 * [simplify]: Simplifying: (expm1 (+ (- y (* x y)) x)) (log1p (+ (- y (* x y)) x)) (* (/ (exp y) (exp (* x y))) (exp x)) (* (exp (- y (* x y))) (exp x)) (log (+ (- y (* x y)) x)) (exp (+ (- y (* x y)) x)) (* (cbrt (+ (- y (* x y)) x)) (cbrt (+ (- y (* x y)) x))) (cbrt (+ (- y (* x y)) x)) (* (* (+ (- y (* x y)) x) (+ (- y (* x y)) x)) (+ (- y (* x y)) x)) (sqrt (+ (- y (* x y)) x)) (sqrt (+ (- y (* x y)) x)) (+ (pow (- y (* x y)) 3) (pow x 3)) (+ (* (- y (* x y)) (- y (* x y))) (- (* x x) (* (- y (* x y)) x))) (- (* (- y (* x y)) (- y (* x y))) (* x x)) (- (- y (* x y)) x) (+ (- y (* x y)) x) (+ (fma (- y) x (* y x)) x) (+ (fma (- y) x (* y x)) x) (+ (fma (- y) x (* y x)) x) (+ (- (* x y)) x) (+ (- (* x y)) x) (- (* x y) x) (fma (* (cbrt y) (cbrt y)) (cbrt y) (- (* y x))) (fma (- y) x (* y x)) (fma (sqrt y) (sqrt y) (- (* y x))) (fma (- y) x (* y x)) (fma 1 y (- (* y x))) (fma (- y) x (* y x)) (expm1 (- y (* x y))) (log1p (- y (* x y))) (- (* x y)) (- (* x y)) (- (* x y)) (/ (exp y) (exp (* x y))) (log (- y (* x y))) (exp (- y (* x y))) (* (cbrt (- y (* x y))) (cbrt (- y (* x y)))) (cbrt (- y (* x y))) (* (* (- y (* x y)) (- y (* x y))) (- y (* x y))) (sqrt (- y (* x y))) (sqrt (- y (* x y))) (- (pow y 3) (pow (* x y) 3)) (+ (* y y) (+ (* (* x y) (* x y)) (* y (* x y)))) (- (* x y)) (- (* y y) (* (* x y) (* x y))) (+ y (* x y)) (- 1 x) (- (* x y)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) (- (+ x y) (* x y)) (- y (* x y)) (- y (* x y)) (- y (* x y)) 3.057 * * [simplify]: Extracting # 0 : cost 0 3.057 * * [simplify]: Extracting # 1 : cost 0 3.057 * * [simplify]: Extracting # 2 : cost 0 3.057 * * [simplify]: Extracting # 3 : cost 0 3.057 * * [simplify]: Extracting # 4 : cost 0 3.057 * * [simplify]: Extracting # 5 : cost 0 3.057 * * [simplify]: iteration 0 : 67 enodes (cost 451 ) 3.075 * * [simplify]: Extracting # 0 : cost 0 3.075 * * [simplify]: Extracting # 1 : cost 0 3.075 * * [simplify]: Extracting # 2 : cost 0 3.075 * * [simplify]: Extracting # 3 : cost 0 3.075 * * [simplify]: Extracting # 4 : cost 0 3.076 * * [simplify]: iteration 1 : 166 enodes (cost 429 ) 3.136 * * [simplify]: Extracting # 0 : cost 0 3.136 * * [simplify]: Extracting # 1 : cost 0 3.137 * * [simplify]: Extracting # 2 : cost 0 3.137 * * [simplify]: Extracting # 3 : cost 0 3.138 * * [simplify]: Extracting # 4 : cost 0 3.138 * * [simplify]: Extracting # 5 : cost 0 3.139 * * [simplify]: iteration 2 : 482 enodes (cost 395 ) 3.439 * * [simplify]: Extracting # 0 : cost 0 3.441 * * [simplify]: Extracting # 1 : cost 0 3.443 * * [simplify]: Extracting # 2 : cost 0 3.445 * * [simplify]: Extracting # 3 : cost 0 3.447 * * [simplify]: Extracting # 4 : cost 0 3.448 * * [simplify]: iteration 3 : 1882 enodes (cost 365 ) 5.621 * * [simplify]: Extracting # 0 : cost 0 5.630 * * [simplify]: Extracting # 1 : cost 0 5.646 * * [simplify]: Extracting # 2 : cost 0 5.654 * * [simplify]: Extracting # 3 : cost 0 5.662 * * [simplify]: Extracting # 4 : cost 0 5.670 * * [simplify]: iteration done: 5000 enodes (cost 334 ) 5.671 * [simplify]: Simplified to: (expm1 (fma (- 1 x) y x)) (log1p (fma (- 1 x) y x)) (exp (fma (- 1 x) y x)) (exp (fma (- 1 x) y x)) (log (fma (- 1 x) y x)) (exp (fma (- 1 x) y x)) (* (cbrt (fma (- 1 x) y x)) (cbrt (fma (- 1 x) y x))) (cbrt (fma (- 1 x) y x)) (pow (fma (- 1 x) y x) 3) (sqrt (fma (- 1 x) y x)) (sqrt (fma (- 1 x) y x)) (+ (pow (- y (* x y)) 3) (pow x 3)) (fma x x (* (- y (* x y)) (- y (fma y x x)))) (* (fma (- 1 x) y x) (- y (fma y x x))) (- y (fma y x x)) (fma (- 1 x) y x) (- x 0) (- x 0) (- x 0) (- x (* x y)) (- x (* x y)) (- (* x y) x) (- y (* x y)) 0 (- y (* x y)) 0 (- y (* x y)) 0 (expm1 (- y (* x y))) (log1p (- y (* x y))) (- (* x y)) (- (* x y)) (- (* x y)) (exp (- y (* x y))) (log (- y (* x y))) (exp (- y (* x y))) (* (cbrt (- y (* x y))) (cbrt (- y (* x y)))) (cbrt (- y (* x y))) (pow (- y (* x y)) 3) (sqrt (- y (* x y))) (sqrt (- y (* x y))) (- (pow y 3) (pow (* x y) 3)) (* y (fma (fma y x y) x y)) (- (* x y)) (* y (- y (* (* x y) x))) (fma y x y) (- 1 x) (- (* x y)) (fma (- 1 x) y x) (fma (- 1 x) y x) (fma (- 1 x) y x) (- y (* x y)) (- y (* x y)) (- y (* x y)) 5.671 * * * [progress]: adding candidates to table 5.813 * [progress]: [Phase 3 of 3] Extracting. 5.813 * * [regime]: Finding splitpoints for: (# #) 5.813 * * * [regime-changes]: Trying 2 branch expressions: (y x) 5.813 * * * * [regimes]: Trying to branch on y from (# #) 5.828 * * * * [regimes]: Trying to branch on x from (# #) 5.847 * * * [regime]: Found split indices: #