13.061 * [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 x) z)) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.021 * * [simplify]: Extracting # 2 : cost 0 0.021 * * [simplify]: Extracting # 3 : cost 0 0.021 * * [simplify]: Extracting # 4 : cost 0 0.021 * * [simplify]: Extracting # 5 : cost 0 0.021 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.022 * * [simplify]: Extracting # 0 : cost 0 0.022 * * [simplify]: Extracting # 1 : cost 0 0.022 * * [simplify]: Extracting # 2 : cost 0 0.022 * * [simplify]: iteration 1 : 10 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]: iteration 2 : 19 enodes (cost 6 ) 0.027 * * [simplify]: Extracting # 0 : cost 0 0.028 * * [simplify]: Extracting # 1 : cost 0 0.028 * * [simplify]: Extracting # 2 : cost 0 0.028 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 0.038 * * [simplify]: Extracting # 0 : cost 0 0.039 * * [simplify]: Extracting # 1 : cost 0 0.039 * * [simplify]: Extracting # 2 : cost 0 0.039 * * [simplify]: iteration 4 : 52 enodes (cost 6 ) 0.055 * * [simplify]: Extracting # 0 : cost 0 0.055 * * [simplify]: Extracting # 1 : cost 0 0.055 * * [simplify]: Extracting # 2 : cost 0 0.055 * * [simplify]: Extracting # 3 : cost 0 0.055 * * [simplify]: Extracting # 4 : cost 0 0.055 * * [simplify]: iteration 5 : 69 enodes (cost 6 ) 0.089 * * [simplify]: Extracting # 0 : cost 0 0.089 * * [simplify]: Extracting # 1 : cost 0 0.089 * * [simplify]: Extracting # 2 : cost 0 0.089 * * [simplify]: iteration 6 : 83 enodes (cost 6 ) 0.111 * * [simplify]: Extracting # 0 : cost 0 0.111 * * [simplify]: Extracting # 1 : cost 0 0.111 * * [simplify]: Extracting # 2 : cost 0 0.111 * * [simplify]: Extracting # 3 : cost 0 0.111 * * [simplify]: iteration 7 : 104 enodes (cost 6 ) 0.149 * * [simplify]: Extracting # 0 : cost 0 0.149 * * [simplify]: Extracting # 1 : cost 0 0.150 * * [simplify]: Extracting # 2 : cost 0 0.150 * * [simplify]: iteration 8 : 140 enodes (cost 6 ) 0.179 * * [simplify]: Extracting # 0 : cost 0 0.180 * * [simplify]: Extracting # 1 : cost 0 0.180 * * [simplify]: Extracting # 2 : cost 0 0.180 * * [simplify]: iteration 9 : 178 enodes (cost 6 ) 0.260 * * [simplify]: Extracting # 0 : cost 0 0.260 * * [simplify]: Extracting # 1 : cost 0 0.261 * * [simplify]: Extracting # 2 : cost 0 0.261 * * [simplify]: iteration 10 : 227 enodes (cost 6 ) 0.319 * * [simplify]: Extracting # 0 : cost 0 0.319 * * [simplify]: Extracting # 1 : cost 0 0.319 * * [simplify]: Extracting # 2 : cost 0 0.320 * * [simplify]: iteration 11 : 258 enodes (cost 6 ) 0.375 * * [simplify]: Extracting # 0 : cost 0 0.376 * * [simplify]: Extracting # 1 : cost 0 0.376 * * [simplify]: Extracting # 2 : cost 0 0.376 * * [simplify]: iteration 12 : 274 enodes (cost 6 ) 0.432 * * [simplify]: Extracting # 0 : cost 0 0.432 * * [simplify]: Extracting # 1 : cost 0 0.433 * * [simplify]: Extracting # 2 : cost 0 0.433 * * [simplify]: iteration 13 : 296 enodes (cost 6 ) 0.522 * * [simplify]: Extracting # 0 : cost 0 0.523 * * [simplify]: Extracting # 1 : cost 0 0.523 * * [simplify]: Extracting # 2 : cost 0 0.524 * * [simplify]: Extracting # 3 : cost 0 0.524 * * [simplify]: iteration 14 : 317 enodes (cost 6 ) 0.630 * * [simplify]: Extracting # 0 : cost 0 0.630 * * [simplify]: Extracting # 1 : cost 0 0.631 * * [simplify]: Extracting # 2 : cost 0 0.631 * * [simplify]: iteration 15 : 346 enodes (cost 6 ) 0.768 * * [simplify]: Extracting # 0 : cost 0 0.768 * * [simplify]: Extracting # 1 : cost 0 0.769 * * [simplify]: Extracting # 2 : cost 0 0.769 * * [simplify]: iteration 16 : 434 enodes (cost 6 ) 0.930 * * [simplify]: Extracting # 0 : cost 0 0.930 * * [simplify]: Extracting # 1 : cost 0 0.931 * * [simplify]: Extracting # 2 : cost 0 0.931 * * [simplify]: iteration 17 : 510 enodes (cost 6 ) 1.234 * * [simplify]: Extracting # 0 : cost 0 1.235 * * [simplify]: Extracting # 1 : cost 0 1.235 * * [simplify]: Extracting # 2 : cost 0 1.236 * * [simplify]: iteration 18 : 621 enodes (cost 6 ) 1.495 * * [simplify]: Extracting # 0 : cost 0 1.496 * * [simplify]: Extracting # 1 : cost 0 1.497 * * [simplify]: Extracting # 2 : cost 0 1.497 * * [simplify]: iteration 19 : 683 enodes (cost 6 ) 1.825 * * [simplify]: Extracting # 0 : cost 0 1.826 * * [simplify]: Extracting # 1 : cost 0 1.826 * * [simplify]: iteration 20 : 765 enodes (cost 6 ) 2.155 * * [simplify]: Extracting # 0 : cost 0 2.155 * * [simplify]: iteration 21 : 775 enodes (cost 6 ) 2.548 * * [simplify]: Extracting # 0 : cost 0 2.548 * * [simplify]: iteration 22 : 777 enodes (cost 6 ) 2.888 * * [simplify]: Extracting # 0 : cost 0 2.888 * * [simplify]: iteration done: 777 enodes (cost 6 ) 2.889 * [simplify]: Simplified to: (fma z (- y x) x) 2.894 * * [progress]: iteration 1 / 4 2.894 * * * [progress]: picking best candidate 2.897 * * * * [pick]: Picked # 2.897 * * * [progress]: localizing error 2.908 * * * [progress]: generating rewritten candidates 2.908 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 2.909 * * * [progress]: generating series expansions 2.909 * * * * [progress]: [ 1 / 1 ] generating series at (2) 2.910 * [backup-simplify]: Simplify (fma z (- y x) x) into (fma z (- y x) x) 2.910 * [approximate]: Taking taylor expansion of (fma z (- y x) x) in (z y x) around 0 2.910 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in x 2.910 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 2.910 * [taylor]: Taking taylor expansion of (* z (- y x)) in x 2.910 * [taylor]: Taking taylor expansion of z in x 2.910 * [backup-simplify]: Simplify z into z 2.910 * [taylor]: Taking taylor expansion of (- y x) in x 2.910 * [taylor]: Taking taylor expansion of y in x 2.910 * [backup-simplify]: Simplify y into y 2.910 * [taylor]: Taking taylor expansion of x in x 2.910 * [backup-simplify]: Simplify 0 into 0 2.910 * [backup-simplify]: Simplify 1 into 1 2.910 * [taylor]: Taking taylor expansion of x in x 2.910 * [backup-simplify]: Simplify 0 into 0 2.910 * [backup-simplify]: Simplify 1 into 1 2.910 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in y 2.910 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 2.910 * [taylor]: Taking taylor expansion of (* z (- y x)) in y 2.910 * [taylor]: Taking taylor expansion of z in y 2.910 * [backup-simplify]: Simplify z into z 2.910 * [taylor]: Taking taylor expansion of (- y x) in y 2.910 * [taylor]: Taking taylor expansion of y in y 2.910 * [backup-simplify]: Simplify 0 into 0 2.911 * [backup-simplify]: Simplify 1 into 1 2.911 * [taylor]: Taking taylor expansion of x in y 2.911 * [backup-simplify]: Simplify x into x 2.911 * [taylor]: Taking taylor expansion of x in y 2.911 * [backup-simplify]: Simplify x into x 2.911 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 2.911 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 2.911 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 2.911 * [taylor]: Taking taylor expansion of z in z 2.911 * [backup-simplify]: Simplify 0 into 0 2.911 * [backup-simplify]: Simplify 1 into 1 2.911 * [taylor]: Taking taylor expansion of (- y x) in z 2.911 * [taylor]: Taking taylor expansion of y in z 2.911 * [backup-simplify]: Simplify y into y 2.911 * [taylor]: Taking taylor expansion of x in z 2.911 * [backup-simplify]: Simplify x into x 2.911 * [taylor]: Taking taylor expansion of x in z 2.911 * [backup-simplify]: Simplify x into x 2.911 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 2.911 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 2.911 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 2.911 * [taylor]: Taking taylor expansion of z in z 2.911 * [backup-simplify]: Simplify 0 into 0 2.911 * [backup-simplify]: Simplify 1 into 1 2.911 * [taylor]: Taking taylor expansion of (- y x) in z 2.911 * [taylor]: Taking taylor expansion of y in z 2.911 * [backup-simplify]: Simplify y into y 2.911 * [taylor]: Taking taylor expansion of x in z 2.911 * [backup-simplify]: Simplify x into x 2.911 * [taylor]: Taking taylor expansion of x in z 2.912 * [backup-simplify]: Simplify x into x 2.912 * [backup-simplify]: Simplify (- x) into (- x) 2.912 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 2.912 * [backup-simplify]: Simplify (* 0 (- y x)) into 0 2.912 * [backup-simplify]: Simplify (+ 0 x) into x 2.912 * [taylor]: Taking taylor expansion of x in y 2.912 * [backup-simplify]: Simplify x into x 2.912 * [taylor]: Taking taylor expansion of x in x 2.912 * [backup-simplify]: Simplify 0 into 0 2.912 * [backup-simplify]: Simplify 1 into 1 2.912 * [backup-simplify]: Simplify 0 into 0 2.913 * [backup-simplify]: Simplify (- 0) into 0 2.913 * [backup-simplify]: Simplify (+ 0 0) into 0 2.914 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x) 2.914 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 2.914 * [taylor]: Taking taylor expansion of (- y x) in y 2.914 * [taylor]: Taking taylor expansion of y in y 2.914 * [backup-simplify]: Simplify 0 into 0 2.914 * [backup-simplify]: Simplify 1 into 1 2.914 * [taylor]: Taking taylor expansion of x in y 2.914 * [backup-simplify]: Simplify x into x 2.914 * [backup-simplify]: Simplify (- x) into (- x) 2.914 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 2.914 * [taylor]: Taking taylor expansion of (- x) in x 2.914 * [taylor]: Taking taylor expansion of x in x 2.914 * [backup-simplify]: Simplify 0 into 0 2.914 * [backup-simplify]: Simplify 1 into 1 2.914 * [backup-simplify]: Simplify (- 0) into 0 2.914 * [backup-simplify]: Simplify 0 into 0 2.914 * [taylor]: Taking taylor expansion of 0 in x 2.915 * [backup-simplify]: Simplify 0 into 0 2.915 * [backup-simplify]: Simplify 0 into 0 2.915 * [backup-simplify]: Simplify 1 into 1 2.915 * [backup-simplify]: Simplify (- 0) into 0 2.915 * [backup-simplify]: Simplify (+ 0 0) into 0 2.916 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- y x)))) into 0 2.917 * [backup-simplify]: Simplify (+ 0 0) into 0 2.917 * [taylor]: Taking taylor expansion of 0 in y 2.917 * [backup-simplify]: Simplify 0 into 0 2.917 * [taylor]: Taking taylor expansion of 0 in x 2.917 * [backup-simplify]: Simplify 0 into 0 2.917 * [backup-simplify]: Simplify 0 into 0 2.917 * [backup-simplify]: Simplify (- 0) into 0 2.918 * [backup-simplify]: Simplify (+ 1 0) into 1 2.918 * [taylor]: Taking taylor expansion of 1 in x 2.918 * [backup-simplify]: Simplify 1 into 1 2.918 * [backup-simplify]: Simplify 1 into 1 2.918 * [taylor]: Taking taylor expansion of 0 in x 2.918 * [backup-simplify]: Simplify 0 into 0 2.918 * [backup-simplify]: Simplify 0 into 0 2.918 * [backup-simplify]: Simplify (- 1) into -1 2.918 * [backup-simplify]: Simplify -1 into -1 2.919 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 z))) (+ (* 1 (* 1 (* y z))) (* 1 (* x (* 1 1))))) into (- (+ (* z y) x) (* x z)) 2.919 * [backup-simplify]: Simplify (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) into (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) 2.919 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in (z y x) around 0 2.919 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in x 2.920 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 2.920 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in x 2.920 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.920 * [taylor]: Taking taylor expansion of z in x 2.920 * [backup-simplify]: Simplify z into z 2.920 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.920 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 2.920 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.920 * [taylor]: Taking taylor expansion of y in x 2.920 * [backup-simplify]: Simplify y into y 2.920 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.920 * [taylor]: Taking taylor expansion of x in x 2.920 * [backup-simplify]: Simplify 0 into 0 2.920 * [backup-simplify]: Simplify 1 into 1 2.921 * [backup-simplify]: Simplify (/ 1 1) into 1 2.921 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.921 * [taylor]: Taking taylor expansion of x in x 2.921 * [backup-simplify]: Simplify 0 into 0 2.921 * [backup-simplify]: Simplify 1 into 1 2.921 * [backup-simplify]: Simplify (/ 1 1) into 1 2.921 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in y 2.921 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 2.921 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in y 2.921 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.921 * [taylor]: Taking taylor expansion of z in y 2.921 * [backup-simplify]: Simplify z into z 2.921 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 2.921 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 2.921 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.921 * [taylor]: Taking taylor expansion of y in y 2.921 * [backup-simplify]: Simplify 0 into 0 2.922 * [backup-simplify]: Simplify 1 into 1 2.922 * [backup-simplify]: Simplify (/ 1 1) into 1 2.922 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.922 * [taylor]: Taking taylor expansion of x in y 2.922 * [backup-simplify]: Simplify x into x 2.922 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.922 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.922 * [taylor]: Taking taylor expansion of x in y 2.922 * [backup-simplify]: Simplify x into x 2.922 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.922 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 2.922 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 2.922 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in z 2.922 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.922 * [taylor]: Taking taylor expansion of z in z 2.922 * [backup-simplify]: Simplify 0 into 0 2.923 * [backup-simplify]: Simplify 1 into 1 2.923 * [backup-simplify]: Simplify (/ 1 1) into 1 2.923 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 2.923 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.923 * [taylor]: Taking taylor expansion of y in z 2.923 * [backup-simplify]: Simplify y into y 2.923 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.923 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.923 * [taylor]: Taking taylor expansion of x in z 2.923 * [backup-simplify]: Simplify x into x 2.923 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.923 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.923 * [taylor]: Taking taylor expansion of x in z 2.923 * [backup-simplify]: Simplify x into x 2.923 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.923 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 2.924 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 2.924 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in z 2.924 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.924 * [taylor]: Taking taylor expansion of z in z 2.924 * [backup-simplify]: Simplify 0 into 0 2.924 * [backup-simplify]: Simplify 1 into 1 2.924 * [backup-simplify]: Simplify (/ 1 1) into 1 2.924 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 2.924 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.924 * [taylor]: Taking taylor expansion of y in z 2.924 * [backup-simplify]: Simplify y into y 2.924 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.924 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.924 * [taylor]: Taking taylor expansion of x in z 2.924 * [backup-simplify]: Simplify x into x 2.924 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.924 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.924 * [taylor]: Taking taylor expansion of x in z 2.924 * [backup-simplify]: Simplify x into x 2.924 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.925 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.925 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 2.925 * [backup-simplify]: Simplify (* 1 (- (/ 1 y) (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 2.925 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 x)) 0) into (- (/ 1 y) (/ 1 x)) 2.925 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 2.925 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.925 * [taylor]: Taking taylor expansion of y in y 2.925 * [backup-simplify]: Simplify 0 into 0 2.925 * [backup-simplify]: Simplify 1 into 1 2.926 * [backup-simplify]: Simplify (/ 1 1) into 1 2.926 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.926 * [taylor]: Taking taylor expansion of x in y 2.926 * [backup-simplify]: Simplify x into x 2.926 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.926 * [backup-simplify]: Simplify (+ 1 0) into 1 2.926 * [taylor]: Taking taylor expansion of 1 in x 2.926 * [backup-simplify]: Simplify 1 into 1 2.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.926 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.927 * [backup-simplify]: Simplify (- 0) into 0 2.927 * [backup-simplify]: Simplify (+ 0 0) into 0 2.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 y) (/ 1 x)))) into 0 2.929 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 2.929 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.929 * [taylor]: Taking taylor expansion of x in y 2.929 * [backup-simplify]: Simplify x into x 2.929 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.930 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.930 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 2.930 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.930 * [taylor]: Taking taylor expansion of x in x 2.930 * [backup-simplify]: Simplify 0 into 0 2.930 * [backup-simplify]: Simplify 1 into 1 2.930 * [backup-simplify]: Simplify (/ 1 1) into 1 2.931 * [backup-simplify]: Simplify (- 1) into -1 2.931 * [backup-simplify]: Simplify -1 into -1 2.931 * [backup-simplify]: Simplify 1 into 1 2.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.931 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.932 * [backup-simplify]: Simplify (- 0) into 0 2.932 * [backup-simplify]: Simplify (+ 0 0) into 0 2.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 y) (/ 1 x))))) into 0 2.934 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.934 * [backup-simplify]: Simplify (+ 0 0) into 0 2.934 * [taylor]: Taking taylor expansion of 0 in y 2.934 * [backup-simplify]: Simplify 0 into 0 2.934 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.934 * [taylor]: Taking taylor expansion of x in x 2.934 * [backup-simplify]: Simplify 0 into 0 2.934 * [backup-simplify]: Simplify 1 into 1 2.935 * [backup-simplify]: Simplify (/ 1 1) into 1 2.935 * [backup-simplify]: Simplify 1 into 1 2.936 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z))))))) into (- (+ (* z y) x) (* x z)) 2.936 * [backup-simplify]: Simplify (fma (/ 1 (- z)) (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- x))) into (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) 2.936 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in (z y x) around 0 2.936 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in x 2.936 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 2.936 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in x 2.936 * [taylor]: Taking taylor expansion of (/ -1 z) in x 2.936 * [taylor]: Taking taylor expansion of -1 in x 2.936 * [backup-simplify]: Simplify -1 into -1 2.936 * [taylor]: Taking taylor expansion of z in x 2.936 * [backup-simplify]: Simplify z into z 2.936 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 2.936 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 2.936 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.936 * [taylor]: Taking taylor expansion of x in x 2.936 * [backup-simplify]: Simplify 0 into 0 2.936 * [backup-simplify]: Simplify 1 into 1 2.937 * [backup-simplify]: Simplify (/ 1 1) into 1 2.937 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.937 * [taylor]: Taking taylor expansion of y in x 2.937 * [backup-simplify]: Simplify y into y 2.937 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.937 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.937 * [taylor]: Taking taylor expansion of -1 in x 2.937 * [backup-simplify]: Simplify -1 into -1 2.937 * [taylor]: Taking taylor expansion of x in x 2.937 * [backup-simplify]: Simplify 0 into 0 2.937 * [backup-simplify]: Simplify 1 into 1 2.938 * [backup-simplify]: Simplify (/ -1 1) into -1 2.938 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in y 2.938 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 2.938 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in y 2.938 * [taylor]: Taking taylor expansion of (/ -1 z) in y 2.938 * [taylor]: Taking taylor expansion of -1 in y 2.938 * [backup-simplify]: Simplify -1 into -1 2.938 * [taylor]: Taking taylor expansion of z in y 2.938 * [backup-simplify]: Simplify z into z 2.938 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 2.938 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 2.938 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.938 * [taylor]: Taking taylor expansion of x in y 2.938 * [backup-simplify]: Simplify x into x 2.938 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.938 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.938 * [taylor]: Taking taylor expansion of y in y 2.938 * [backup-simplify]: Simplify 0 into 0 2.938 * [backup-simplify]: Simplify 1 into 1 2.939 * [backup-simplify]: Simplify (/ 1 1) into 1 2.939 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.939 * [taylor]: Taking taylor expansion of -1 in y 2.939 * [backup-simplify]: Simplify -1 into -1 2.939 * [taylor]: Taking taylor expansion of x in y 2.939 * [backup-simplify]: Simplify x into x 2.939 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.939 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 2.939 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 2.939 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in z 2.939 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.939 * [taylor]: Taking taylor expansion of -1 in z 2.939 * [backup-simplify]: Simplify -1 into -1 2.939 * [taylor]: Taking taylor expansion of z in z 2.939 * [backup-simplify]: Simplify 0 into 0 2.939 * [backup-simplify]: Simplify 1 into 1 2.940 * [backup-simplify]: Simplify (/ -1 1) into -1 2.940 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 2.940 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.940 * [taylor]: Taking taylor expansion of x in z 2.940 * [backup-simplify]: Simplify x into x 2.940 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.940 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.940 * [taylor]: Taking taylor expansion of y in z 2.940 * [backup-simplify]: Simplify y into y 2.940 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.940 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.940 * [taylor]: Taking taylor expansion of -1 in z 2.940 * [backup-simplify]: Simplify -1 into -1 2.940 * [taylor]: Taking taylor expansion of x in z 2.940 * [backup-simplify]: Simplify x into x 2.940 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.940 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 2.940 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 2.940 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in z 2.940 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.940 * [taylor]: Taking taylor expansion of -1 in z 2.940 * [backup-simplify]: Simplify -1 into -1 2.940 * [taylor]: Taking taylor expansion of z in z 2.941 * [backup-simplify]: Simplify 0 into 0 2.941 * [backup-simplify]: Simplify 1 into 1 2.941 * [backup-simplify]: Simplify (/ -1 1) into -1 2.941 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 2.941 * [taylor]: Taking taylor expansion of (/ 1 x) in z 2.941 * [taylor]: Taking taylor expansion of x in z 2.941 * [backup-simplify]: Simplify x into x 2.941 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.941 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.941 * [taylor]: Taking taylor expansion of y in z 2.941 * [backup-simplify]: Simplify y into y 2.941 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 2.941 * [taylor]: Taking taylor expansion of (/ -1 x) in z 2.941 * [taylor]: Taking taylor expansion of -1 in z 2.941 * [backup-simplify]: Simplify -1 into -1 2.941 * [taylor]: Taking taylor expansion of x in z 2.941 * [backup-simplify]: Simplify x into x 2.941 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 2.942 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 2.942 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y)) 2.942 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 y))) into (* -1 (- (/ 1 x) (/ 1 y))) 2.942 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 x)) 2.942 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 2.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.942 * [taylor]: Taking taylor expansion of y in y 2.942 * [backup-simplify]: Simplify 0 into 0 2.942 * [backup-simplify]: Simplify 1 into 1 2.943 * [backup-simplify]: Simplify (/ 1 1) into 1 2.943 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.943 * [taylor]: Taking taylor expansion of x in y 2.943 * [backup-simplify]: Simplify x into x 2.943 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.943 * [backup-simplify]: Simplify (+ 1 0) into 1 2.943 * [taylor]: Taking taylor expansion of 1 in x 2.943 * [backup-simplify]: Simplify 1 into 1 2.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 2.943 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 2.943 * [backup-simplify]: Simplify (- 0) into 0 2.944 * [backup-simplify]: Simplify (+ 0 0) into 0 2.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 2.945 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 y)))) into 0 2.945 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 2.945 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 2.945 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.945 * [taylor]: Taking taylor expansion of x in y 2.945 * [backup-simplify]: Simplify x into x 2.945 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 2.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.945 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.945 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 2.945 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.945 * [taylor]: Taking taylor expansion of x in x 2.945 * [backup-simplify]: Simplify 0 into 0 2.945 * [backup-simplify]: Simplify 1 into 1 2.946 * [backup-simplify]: Simplify (/ 1 1) into 1 2.946 * [backup-simplify]: Simplify (- 1) into -1 2.946 * [backup-simplify]: Simplify -1 into -1 2.946 * [backup-simplify]: Simplify 1 into 1 2.946 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 2.946 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 2.946 * [backup-simplify]: Simplify (- 0) into 0 2.947 * [backup-simplify]: Simplify (+ 0 0) into 0 2.947 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.948 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 y))))) into 0 2.948 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 2.948 * [backup-simplify]: Simplify (+ 0 0) into 0 2.948 * [taylor]: Taking taylor expansion of 0 in y 2.948 * [backup-simplify]: Simplify 0 into 0 2.949 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 2.949 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 2.949 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.949 * [taylor]: Taking taylor expansion of x in x 2.949 * [backup-simplify]: Simplify 0 into 0 2.949 * [backup-simplify]: Simplify 1 into 1 2.949 * [backup-simplify]: Simplify (/ 1 1) into 1 2.949 * [backup-simplify]: Simplify (- 1) into -1 2.949 * [backup-simplify]: Simplify -1 into -1 2.950 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z)))))))) into (- (+ (* z y) x) (* x z)) 2.950 * * * [progress]: simplifying candidates 2.950 * [simplify]: Simplifying: (expm1 (fma z (- y x) x)) (log1p (fma z (- y x) x)) (* z (- y x)) (log (fma z (- y x) x)) (exp (fma z (- y x) x)) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (* (* (fma z (- y x) x) (fma z (- y x) x)) (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) (- (+ (* z y) x) (* x z)) 2.950 * * [simplify]: Extracting # 0 : cost 0 2.950 * * [simplify]: Extracting # 1 : cost 0 2.950 * * [simplify]: Extracting # 2 : cost 0 2.950 * * [simplify]: Extracting # 3 : cost 0 2.951 * * [simplify]: Extracting # 4 : cost 0 2.951 * * [simplify]: Extracting # 5 : cost 0 2.951 * * [simplify]: iteration 0 : 19 enodes (cost 116 ) 2.954 * * [simplify]: Extracting # 0 : cost 0 2.954 * * [simplify]: Extracting # 1 : cost 0 2.954 * * [simplify]: Extracting # 2 : cost 0 2.954 * * [simplify]: iteration 1 : 32 enodes (cost 113 ) 2.964 * * [simplify]: Extracting # 0 : cost 0 2.965 * * [simplify]: Extracting # 1 : cost 0 2.965 * * [simplify]: Extracting # 2 : cost 0 2.965 * * [simplify]: iteration 2 : 67 enodes (cost 95 ) 2.985 * * [simplify]: Extracting # 0 : cost 0 2.985 * * [simplify]: Extracting # 1 : cost 0 2.986 * * [simplify]: Extracting # 2 : cost 0 2.986 * * [simplify]: Extracting # 3 : cost 0 2.986 * * [simplify]: Extracting # 4 : cost 0 2.986 * * [simplify]: iteration 3 : 243 enodes (cost 95 ) 3.324 * * [simplify]: Extracting # 0 : cost 0 3.326 * * [simplify]: Extracting # 1 : cost 0 3.327 * * [simplify]: Extracting # 2 : cost 0 3.329 * * [simplify]: Extracting # 3 : cost 0 3.330 * * [simplify]: Extracting # 4 : cost 0 3.331 * * [simplify]: Extracting # 5 : cost 0 3.333 * * [simplify]: iteration 4 : 1485 enodes (cost 95 ) 4.172 * * [simplify]: Extracting # 0 : cost 0 4.182 * * [simplify]: Extracting # 1 : cost 0 4.195 * * [simplify]: Extracting # 2 : cost 0 4.207 * * [simplify]: Extracting # 3 : cost 0 4.219 * * [simplify]: Extracting # 4 : cost 0 4.234 * * [simplify]: iteration done: 5000 enodes (cost 95 ) 4.235 * [simplify]: Simplified to: (expm1 (fma z (- y x) x)) (log1p (fma z (- y x) x)) (* (- y x) z) (log (fma z (- y x) x)) (exp (fma z (- y x) x)) (* (cbrt (fma z (- y x) x)) (cbrt (fma z (- y x) x))) (cbrt (fma z (- y x) x)) (pow (fma z (- y x) x) 3) (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x)) (fma z (- y x) x) (fma z (- y x) x) (fma z (- y x) x) 4.235 * * * [progress]: adding candidates to table 4.282 * * [progress]: iteration 2 / 4 4.283 * * * [progress]: picking best candidate 4.287 * * * * [pick]: Picked # 4.287 * * * [progress]: localizing error 4.307 * * * [progress]: generating rewritten candidates 4.307 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 4.324 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 4.326 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 4.329 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 4.342 * * * [progress]: generating series expansions 4.342 * * * * [progress]: [ 1 / 4 ] generating series at (2) 4.342 * [backup-simplify]: Simplify (* (sqrt (fma z (- y x) x)) (sqrt (fma z (- y x) x))) into (fma z (- y x) x) 4.342 * [approximate]: Taking taylor expansion of (fma z (- y x) x) in (z y x) around 0 4.343 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in x 4.343 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.343 * [taylor]: Taking taylor expansion of (* z (- y x)) in x 4.343 * [taylor]: Taking taylor expansion of z in x 4.343 * [backup-simplify]: Simplify z into z 4.343 * [taylor]: Taking taylor expansion of (- y x) in x 4.343 * [taylor]: Taking taylor expansion of y in x 4.343 * [backup-simplify]: Simplify y into y 4.343 * [taylor]: Taking taylor expansion of x in x 4.343 * [backup-simplify]: Simplify 0 into 0 4.343 * [backup-simplify]: Simplify 1 into 1 4.343 * [taylor]: Taking taylor expansion of x in x 4.343 * [backup-simplify]: Simplify 0 into 0 4.343 * [backup-simplify]: Simplify 1 into 1 4.343 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in y 4.343 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.343 * [taylor]: Taking taylor expansion of (* z (- y x)) in y 4.343 * [taylor]: Taking taylor expansion of z in y 4.343 * [backup-simplify]: Simplify z into z 4.343 * [taylor]: Taking taylor expansion of (- y x) in y 4.343 * [taylor]: Taking taylor expansion of y in y 4.343 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 1 into 1 4.344 * [taylor]: Taking taylor expansion of x in y 4.344 * [backup-simplify]: Simplify x into x 4.344 * [taylor]: Taking taylor expansion of x in y 4.344 * [backup-simplify]: Simplify x into x 4.344 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 4.344 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.344 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 4.344 * [taylor]: Taking taylor expansion of z in z 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 1 into 1 4.344 * [taylor]: Taking taylor expansion of (- y x) in z 4.344 * [taylor]: Taking taylor expansion of y in z 4.344 * [backup-simplify]: Simplify y into y 4.344 * [taylor]: Taking taylor expansion of x in z 4.344 * [backup-simplify]: Simplify x into x 4.344 * [taylor]: Taking taylor expansion of x in z 4.344 * [backup-simplify]: Simplify x into x 4.344 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 4.344 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.344 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 4.344 * [taylor]: Taking taylor expansion of z in z 4.344 * [backup-simplify]: Simplify 0 into 0 4.344 * [backup-simplify]: Simplify 1 into 1 4.344 * [taylor]: Taking taylor expansion of (- y x) in z 4.344 * [taylor]: Taking taylor expansion of y in z 4.344 * [backup-simplify]: Simplify y into y 4.344 * [taylor]: Taking taylor expansion of x in z 4.344 * [backup-simplify]: Simplify x into x 4.345 * [taylor]: Taking taylor expansion of x in z 4.345 * [backup-simplify]: Simplify x into x 4.345 * [backup-simplify]: Simplify (- x) into (- x) 4.345 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 4.345 * [backup-simplify]: Simplify (* 0 (- y x)) into 0 4.345 * [backup-simplify]: Simplify (+ 0 x) into x 4.345 * [taylor]: Taking taylor expansion of x in y 4.345 * [backup-simplify]: Simplify x into x 4.345 * [taylor]: Taking taylor expansion of x in x 4.345 * [backup-simplify]: Simplify 0 into 0 4.345 * [backup-simplify]: Simplify 1 into 1 4.345 * [backup-simplify]: Simplify 0 into 0 4.346 * [backup-simplify]: Simplify (- 0) into 0 4.347 * [backup-simplify]: Simplify (+ 0 0) into 0 4.347 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x) 4.347 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 4.347 * [taylor]: Taking taylor expansion of (- y x) in y 4.347 * [taylor]: Taking taylor expansion of y in y 4.347 * [backup-simplify]: Simplify 0 into 0 4.347 * [backup-simplify]: Simplify 1 into 1 4.347 * [taylor]: Taking taylor expansion of x in y 4.347 * [backup-simplify]: Simplify x into x 4.347 * [backup-simplify]: Simplify (- x) into (- x) 4.347 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 4.347 * [taylor]: Taking taylor expansion of (- x) in x 4.348 * [taylor]: Taking taylor expansion of x in x 4.348 * [backup-simplify]: Simplify 0 into 0 4.348 * [backup-simplify]: Simplify 1 into 1 4.348 * [backup-simplify]: Simplify (- 0) into 0 4.348 * [backup-simplify]: Simplify 0 into 0 4.348 * [taylor]: Taking taylor expansion of 0 in x 4.348 * [backup-simplify]: Simplify 0 into 0 4.348 * [backup-simplify]: Simplify 0 into 0 4.348 * [backup-simplify]: Simplify 1 into 1 4.349 * [backup-simplify]: Simplify (- 0) into 0 4.349 * [backup-simplify]: Simplify (+ 0 0) into 0 4.350 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- y x)))) into 0 4.350 * [backup-simplify]: Simplify (+ 0 0) into 0 4.350 * [taylor]: Taking taylor expansion of 0 in y 4.350 * [backup-simplify]: Simplify 0 into 0 4.350 * [taylor]: Taking taylor expansion of 0 in x 4.350 * [backup-simplify]: Simplify 0 into 0 4.350 * [backup-simplify]: Simplify 0 into 0 4.351 * [backup-simplify]: Simplify (- 0) into 0 4.351 * [backup-simplify]: Simplify (+ 1 0) into 1 4.351 * [taylor]: Taking taylor expansion of 1 in x 4.351 * [backup-simplify]: Simplify 1 into 1 4.351 * [backup-simplify]: Simplify 1 into 1 4.351 * [taylor]: Taking taylor expansion of 0 in x 4.351 * [backup-simplify]: Simplify 0 into 0 4.351 * [backup-simplify]: Simplify 0 into 0 4.352 * [backup-simplify]: Simplify (- 1) into -1 4.352 * [backup-simplify]: Simplify -1 into -1 4.353 * [backup-simplify]: Simplify (+ (* -1 (* x (* 1 z))) (+ (* 1 (* 1 (* y z))) (* 1 (* x (* 1 1))))) into (- (+ (* z y) x) (* x z)) 4.353 * [backup-simplify]: Simplify (* (sqrt (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x))) (sqrt (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)))) into (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) 4.353 * [approximate]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in (z y x) around 0 4.353 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in x 4.353 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 4.353 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in x 4.353 * [taylor]: Taking taylor expansion of (/ 1 z) in x 4.353 * [taylor]: Taking taylor expansion of z in x 4.353 * [backup-simplify]: Simplify z into z 4.354 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.354 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 4.354 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.354 * [taylor]: Taking taylor expansion of y in x 4.354 * [backup-simplify]: Simplify y into y 4.354 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.354 * [taylor]: Taking taylor expansion of x in x 4.354 * [backup-simplify]: Simplify 0 into 0 4.354 * [backup-simplify]: Simplify 1 into 1 4.354 * [backup-simplify]: Simplify (/ 1 1) into 1 4.354 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.354 * [taylor]: Taking taylor expansion of x in x 4.354 * [backup-simplify]: Simplify 0 into 0 4.354 * [backup-simplify]: Simplify 1 into 1 4.355 * [backup-simplify]: Simplify (/ 1 1) into 1 4.355 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in y 4.355 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 4.355 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in y 4.355 * [taylor]: Taking taylor expansion of (/ 1 z) in y 4.355 * [taylor]: Taking taylor expansion of z in y 4.355 * [backup-simplify]: Simplify z into z 4.355 * [backup-simplify]: Simplify (/ 1 z) into (/ 1 z) 4.355 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.355 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.355 * [taylor]: Taking taylor expansion of y in y 4.355 * [backup-simplify]: Simplify 0 into 0 4.355 * [backup-simplify]: Simplify 1 into 1 4.356 * [backup-simplify]: Simplify (/ 1 1) into 1 4.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.356 * [taylor]: Taking taylor expansion of x in y 4.356 * [backup-simplify]: Simplify x into x 4.356 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.356 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.356 * [taylor]: Taking taylor expansion of x in y 4.356 * [backup-simplify]: Simplify x into x 4.356 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.356 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 4.356 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 4.356 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in z 4.356 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.356 * [taylor]: Taking taylor expansion of z in z 4.356 * [backup-simplify]: Simplify 0 into 0 4.357 * [backup-simplify]: Simplify 1 into 1 4.357 * [backup-simplify]: Simplify (/ 1 1) into 1 4.357 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 4.357 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.357 * [taylor]: Taking taylor expansion of y in z 4.357 * [backup-simplify]: Simplify y into y 4.357 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.357 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.357 * [taylor]: Taking taylor expansion of x in z 4.357 * [backup-simplify]: Simplify x into x 4.357 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.357 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.357 * [taylor]: Taking taylor expansion of x in z 4.357 * [backup-simplify]: Simplify x into x 4.357 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.357 * [taylor]: Taking taylor expansion of (fma (/ 1 z) (- (/ 1 y) (/ 1 x)) (/ 1 x)) in z 4.357 * [taylor]: Rewrote expression to (+ (* (/ 1 z) (- (/ 1 y) (/ 1 x))) (/ 1 x)) 4.358 * [taylor]: Taking taylor expansion of (* (/ 1 z) (- (/ 1 y) (/ 1 x))) in z 4.358 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.358 * [taylor]: Taking taylor expansion of z in z 4.358 * [backup-simplify]: Simplify 0 into 0 4.358 * [backup-simplify]: Simplify 1 into 1 4.358 * [backup-simplify]: Simplify (/ 1 1) into 1 4.358 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in z 4.358 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.358 * [taylor]: Taking taylor expansion of y in z 4.358 * [backup-simplify]: Simplify y into y 4.358 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.358 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.358 * [taylor]: Taking taylor expansion of x in z 4.358 * [backup-simplify]: Simplify x into x 4.358 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.358 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.358 * [taylor]: Taking taylor expansion of x in z 4.358 * [backup-simplify]: Simplify x into x 4.358 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.359 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.359 * [backup-simplify]: Simplify (+ (/ 1 y) (- (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 4.359 * [backup-simplify]: Simplify (* 1 (- (/ 1 y) (/ 1 x))) into (- (/ 1 y) (/ 1 x)) 4.359 * [backup-simplify]: Simplify (+ (- (/ 1 y) (/ 1 x)) 0) into (- (/ 1 y) (/ 1 x)) 4.359 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.359 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.359 * [taylor]: Taking taylor expansion of y in y 4.359 * [backup-simplify]: Simplify 0 into 0 4.359 * [backup-simplify]: Simplify 1 into 1 4.360 * [backup-simplify]: Simplify (/ 1 1) into 1 4.360 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.360 * [taylor]: Taking taylor expansion of x in y 4.360 * [backup-simplify]: Simplify x into x 4.360 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.360 * [backup-simplify]: Simplify (+ 1 0) into 1 4.360 * [taylor]: Taking taylor expansion of 1 in x 4.360 * [backup-simplify]: Simplify 1 into 1 4.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.360 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.361 * [backup-simplify]: Simplify (- 0) into 0 4.361 * [backup-simplify]: Simplify (+ 0 0) into 0 4.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.362 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (- (/ 1 y) (/ 1 x)))) into 0 4.362 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 4.362 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.363 * [taylor]: Taking taylor expansion of x in y 4.363 * [backup-simplify]: Simplify x into x 4.363 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.363 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.364 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 4.364 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.364 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.364 * [taylor]: Taking taylor expansion of x in x 4.364 * [backup-simplify]: Simplify 0 into 0 4.364 * [backup-simplify]: Simplify 1 into 1 4.364 * [backup-simplify]: Simplify (/ 1 1) into 1 4.364 * [backup-simplify]: Simplify (- 1) into -1 4.364 * [backup-simplify]: Simplify -1 into -1 4.364 * [backup-simplify]: Simplify 1 into 1 4.365 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.365 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.365 * [backup-simplify]: Simplify (- 0) into 0 4.365 * [backup-simplify]: Simplify (+ 0 0) into 0 4.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (- (/ 1 y) (/ 1 x))))) into 0 4.367 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.368 * [backup-simplify]: Simplify (+ 0 0) into 0 4.368 * [taylor]: Taking taylor expansion of 0 in y 4.368 * [backup-simplify]: Simplify 0 into 0 4.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.368 * [taylor]: Taking taylor expansion of x in x 4.368 * [backup-simplify]: Simplify 0 into 0 4.368 * [backup-simplify]: Simplify 1 into 1 4.368 * [backup-simplify]: Simplify (/ 1 1) into 1 4.368 * [backup-simplify]: Simplify 1 into 1 4.369 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (/ 1 x)) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 z))))) (* -1 (* (/ 1 (/ 1 x)) (* 1 (/ 1 (/ 1 z))))))) into (- (+ (* z y) x) (* x z)) 4.370 * [backup-simplify]: Simplify (* (sqrt (fma (/ 1 (- z)) (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- x)))) (sqrt (fma (/ 1 (- z)) (- (/ 1 (- y)) (/ 1 (- x))) (/ 1 (- x))))) into (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) 4.370 * [approximate]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in (z y x) around 0 4.370 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in x 4.370 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 4.370 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in x 4.370 * [taylor]: Taking taylor expansion of (/ -1 z) in x 4.370 * [taylor]: Taking taylor expansion of -1 in x 4.370 * [backup-simplify]: Simplify -1 into -1 4.370 * [taylor]: Taking taylor expansion of z in x 4.370 * [backup-simplify]: Simplify z into z 4.370 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.370 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 4.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.371 * [taylor]: Taking taylor expansion of x in x 4.371 * [backup-simplify]: Simplify 0 into 0 4.371 * [backup-simplify]: Simplify 1 into 1 4.371 * [backup-simplify]: Simplify (/ 1 1) into 1 4.371 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.371 * [taylor]: Taking taylor expansion of y in x 4.371 * [backup-simplify]: Simplify y into y 4.371 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.371 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.371 * [taylor]: Taking taylor expansion of -1 in x 4.371 * [backup-simplify]: Simplify -1 into -1 4.371 * [taylor]: Taking taylor expansion of x in x 4.371 * [backup-simplify]: Simplify 0 into 0 4.371 * [backup-simplify]: Simplify 1 into 1 4.372 * [backup-simplify]: Simplify (/ -1 1) into -1 4.372 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in y 4.372 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 4.372 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in y 4.372 * [taylor]: Taking taylor expansion of (/ -1 z) in y 4.372 * [taylor]: Taking taylor expansion of -1 in y 4.372 * [backup-simplify]: Simplify -1 into -1 4.372 * [taylor]: Taking taylor expansion of z in y 4.372 * [backup-simplify]: Simplify z into z 4.372 * [backup-simplify]: Simplify (/ -1 z) into (/ -1 z) 4.372 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 4.372 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.372 * [taylor]: Taking taylor expansion of x in y 4.372 * [backup-simplify]: Simplify x into x 4.372 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.372 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.372 * [taylor]: Taking taylor expansion of y in y 4.372 * [backup-simplify]: Simplify 0 into 0 4.372 * [backup-simplify]: Simplify 1 into 1 4.373 * [backup-simplify]: Simplify (/ 1 1) into 1 4.373 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.373 * [taylor]: Taking taylor expansion of -1 in y 4.373 * [backup-simplify]: Simplify -1 into -1 4.373 * [taylor]: Taking taylor expansion of x in y 4.373 * [backup-simplify]: Simplify x into x 4.373 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.373 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 4.373 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 4.373 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in z 4.373 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.373 * [taylor]: Taking taylor expansion of -1 in z 4.373 * [backup-simplify]: Simplify -1 into -1 4.373 * [taylor]: Taking taylor expansion of z in z 4.373 * [backup-simplify]: Simplify 0 into 0 4.373 * [backup-simplify]: Simplify 1 into 1 4.374 * [backup-simplify]: Simplify (/ -1 1) into -1 4.374 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 4.374 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.374 * [taylor]: Taking taylor expansion of x in z 4.374 * [backup-simplify]: Simplify x into x 4.374 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.374 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.374 * [taylor]: Taking taylor expansion of y in z 4.374 * [backup-simplify]: Simplify y into y 4.374 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.374 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.374 * [taylor]: Taking taylor expansion of -1 in z 4.374 * [backup-simplify]: Simplify -1 into -1 4.374 * [taylor]: Taking taylor expansion of x in z 4.374 * [backup-simplify]: Simplify x into x 4.374 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.374 * [taylor]: Taking taylor expansion of (fma (/ -1 z) (- (/ 1 x) (/ 1 y)) (/ -1 x)) in z 4.374 * [taylor]: Rewrote expression to (+ (* (/ -1 z) (- (/ 1 x) (/ 1 y))) (/ -1 x)) 4.374 * [taylor]: Taking taylor expansion of (* (/ -1 z) (- (/ 1 x) (/ 1 y))) in z 4.375 * [taylor]: Taking taylor expansion of (/ -1 z) in z 4.375 * [taylor]: Taking taylor expansion of -1 in z 4.375 * [backup-simplify]: Simplify -1 into -1 4.375 * [taylor]: Taking taylor expansion of z in z 4.375 * [backup-simplify]: Simplify 0 into 0 4.375 * [backup-simplify]: Simplify 1 into 1 4.375 * [backup-simplify]: Simplify (/ -1 1) into -1 4.375 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in z 4.375 * [taylor]: Taking taylor expansion of (/ 1 x) in z 4.375 * [taylor]: Taking taylor expansion of x in z 4.375 * [backup-simplify]: Simplify x into x 4.375 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.375 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.375 * [taylor]: Taking taylor expansion of y in z 4.375 * [backup-simplify]: Simplify y into y 4.375 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 4.375 * [taylor]: Taking taylor expansion of (/ -1 x) in z 4.375 * [taylor]: Taking taylor expansion of -1 in z 4.375 * [backup-simplify]: Simplify -1 into -1 4.375 * [taylor]: Taking taylor expansion of x in z 4.375 * [backup-simplify]: Simplify x into x 4.376 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 4.376 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 4.376 * [backup-simplify]: Simplify (+ (/ 1 x) (- (/ 1 y))) into (- (/ 1 x) (/ 1 y)) 4.376 * [backup-simplify]: Simplify (* -1 (- (/ 1 x) (/ 1 y))) into (* -1 (- (/ 1 x) (/ 1 y))) 4.376 * [backup-simplify]: Simplify (+ (* -1 (- (/ 1 x) (/ 1 y))) 0) into (- (/ 1 y) (/ 1 x)) 4.376 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 4.376 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.376 * [taylor]: Taking taylor expansion of y in y 4.376 * [backup-simplify]: Simplify 0 into 0 4.376 * [backup-simplify]: Simplify 1 into 1 4.377 * [backup-simplify]: Simplify (/ 1 1) into 1 4.377 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.377 * [taylor]: Taking taylor expansion of x in y 4.377 * [backup-simplify]: Simplify x into x 4.377 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.377 * [backup-simplify]: Simplify (+ 1 0) into 1 4.377 * [taylor]: Taking taylor expansion of 1 in x 4.377 * [backup-simplify]: Simplify 1 into 1 4.377 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.378 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 4.378 * [backup-simplify]: Simplify (- 0) into 0 4.378 * [backup-simplify]: Simplify (+ 0 0) into 0 4.379 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 4.380 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (- (/ 1 x) (/ 1 y)))) into 0 4.380 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 4.380 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 4.380 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.380 * [taylor]: Taking taylor expansion of x in y 4.380 * [backup-simplify]: Simplify x into x 4.380 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.381 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.381 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.381 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x)) 4.381 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.381 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.381 * [taylor]: Taking taylor expansion of x in x 4.381 * [backup-simplify]: Simplify 0 into 0 4.381 * [backup-simplify]: Simplify 1 into 1 4.382 * [backup-simplify]: Simplify (/ 1 1) into 1 4.382 * [backup-simplify]: Simplify (- 1) into -1 4.382 * [backup-simplify]: Simplify -1 into -1 4.382 * [backup-simplify]: Simplify 1 into 1 4.382 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 4.382 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 4.383 * [backup-simplify]: Simplify (- 0) into 0 4.383 * [backup-simplify]: Simplify (+ 0 0) into 0 4.384 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.385 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (- (/ 1 x) (/ 1 y))))) into 0 4.385 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 4.386 * [backup-simplify]: Simplify (+ 0 0) into 0 4.386 * [taylor]: Taking taylor expansion of 0 in y 4.386 * [backup-simplify]: Simplify 0 into 0 4.386 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 4.386 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 4.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.386 * [taylor]: Taking taylor expansion of x in x 4.386 * [backup-simplify]: Simplify 0 into 0 4.386 * [backup-simplify]: Simplify 1 into 1 4.387 * [backup-simplify]: Simplify (/ 1 1) into 1 4.387 * [backup-simplify]: Simplify (- 1) into -1 4.387 * [backup-simplify]: Simplify -1 into -1 4.388 * [backup-simplify]: Simplify (+ (* -1 (* (/ 1 (/ 1 (- x))) (* 1 1))) (+ (* 1 (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- z)))))) (* -1 (* (/ 1 (/ 1 (- x))) (* 1 (/ 1 (/ 1 (- z)))))))) into (- (+ (* z y) x) (* x z)) 4.388 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 4.388 * [backup-simplify]: Simplify (sqrt (fma z (- y x) x)) into (sqrt (fma z (- y x) x)) 4.388 * [approximate]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in (z y x) around 0 4.388 * [taylor]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in x 4.388 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in x 4.389 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.389 * [taylor]: Taking taylor expansion of (* z (- y x)) in x 4.389 * [taylor]: Taking taylor expansion of z in x 4.389 * [backup-simplify]: Simplify z into z 4.389 * [taylor]: Taking taylor expansion of (- y x) in x 4.389 * [taylor]: Taking taylor expansion of y in x 4.389 * [backup-simplify]: Simplify y into y 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [backup-simplify]: Simplify 0 into 0 4.389 * [backup-simplify]: Simplify 1 into 1 4.389 * [taylor]: Taking taylor expansion of x in x 4.389 * [backup-simplify]: Simplify 0 into 0 4.389 * [backup-simplify]: Simplify 1 into 1 4.389 * [backup-simplify]: Simplify (- 0) into 0 4.389 * [backup-simplify]: Simplify (+ y 0) into y 4.389 * [backup-simplify]: Simplify (* z y) into (* z y) 4.390 * [backup-simplify]: Simplify (+ (* z y) 0) into (* z y) 4.390 * [backup-simplify]: Simplify (sqrt (* z y)) into (sqrt (* z y)) 4.390 * [backup-simplify]: Simplify (- 1) into -1 4.390 * [backup-simplify]: Simplify (+ 0 -1) into -1 4.391 * [backup-simplify]: Simplify (+ (* z -1) (* 0 y)) into (- z) 4.391 * [backup-simplify]: Simplify (+ (- z) 1) into (- 1 z) 4.391 * [backup-simplify]: Simplify (/ (- 1 z) (* 2 (sqrt (* z y)))) into (* 1/2 (* (- 1 z) (sqrt (/ 1 (* z y))))) 4.391 * [taylor]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in y 4.391 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in y 4.391 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.391 * [taylor]: Taking taylor expansion of (* z (- y x)) in y 4.391 * [taylor]: Taking taylor expansion of z in y 4.391 * [backup-simplify]: Simplify z into z 4.391 * [taylor]: Taking taylor expansion of (- y x) in y 4.391 * [taylor]: Taking taylor expansion of y in y 4.391 * [backup-simplify]: Simplify 0 into 0 4.391 * [backup-simplify]: Simplify 1 into 1 4.391 * [taylor]: Taking taylor expansion of x in y 4.391 * [backup-simplify]: Simplify x into x 4.391 * [taylor]: Taking taylor expansion of x in y 4.391 * [backup-simplify]: Simplify x into x 4.391 * [backup-simplify]: Simplify (- x) into (- x) 4.391 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 4.392 * [backup-simplify]: Simplify (* z (- x)) into (* -1 (* x z)) 4.392 * [backup-simplify]: Simplify (+ (* -1 (* x z)) x) into (- x (* x z)) 4.392 * [backup-simplify]: Simplify (sqrt (- x (* x z))) into (sqrt (- x (* x z))) 4.392 * [backup-simplify]: Simplify (- 0) into 0 4.393 * [backup-simplify]: Simplify (+ 1 0) into 1 4.393 * [backup-simplify]: Simplify (+ (* z 1) (* 0 (- x))) into z 4.393 * [backup-simplify]: Simplify (+ z 0) into z 4.393 * [backup-simplify]: Simplify (/ z (* 2 (sqrt (- x (* x z))))) into (* 1/2 (* z (sqrt (/ 1 (- x (* x z)))))) 4.393 * [taylor]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in z 4.393 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 4.393 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.393 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 4.393 * [taylor]: Taking taylor expansion of z in z 4.393 * [backup-simplify]: Simplify 0 into 0 4.393 * [backup-simplify]: Simplify 1 into 1 4.393 * [taylor]: Taking taylor expansion of (- y x) in z 4.393 * [taylor]: Taking taylor expansion of y in z 4.393 * [backup-simplify]: Simplify y into y 4.393 * [taylor]: Taking taylor expansion of x in z 4.393 * [backup-simplify]: Simplify x into x 4.393 * [taylor]: Taking taylor expansion of x in z 4.393 * [backup-simplify]: Simplify x into x 4.394 * [backup-simplify]: Simplify (- x) into (- x) 4.394 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 4.394 * [backup-simplify]: Simplify (* 0 (- y x)) into 0 4.394 * [backup-simplify]: Simplify (+ 0 x) into x 4.394 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 4.394 * [backup-simplify]: Simplify (- 0) into 0 4.395 * [backup-simplify]: Simplify (+ 0 0) into 0 4.395 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x) 4.395 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 4.395 * [backup-simplify]: Simplify (/ (- y x) (* 2 (sqrt x))) into (* 1/2 (* (sqrt (/ 1 x)) (- y x))) 4.395 * [taylor]: Taking taylor expansion of (sqrt (fma z (- y x) x)) in z 4.395 * [taylor]: Taking taylor expansion of (fma z (- y x) x) in z 4.396 * [taylor]: Rewrote expression to (+ (* z (- y x)) x) 4.396 * [taylor]: Taking taylor expansion of (* z (- y x)) in z 4.396 * [taylor]: Taking taylor expansion of z in z 4.396 * [backup-simplify]: Simplify 0 into 0 4.396 * [backup-simplify]: Simplify 1 into 1 4.396 * [taylor]: Taking taylor expansion of (- y x) in z 4.396 * [taylor]: Taking taylor expansion of y in z 4.396 * [backup-simplify]: Simplify y into y 4.396 * [taylor]: Taking taylor expansion of x in z 4.396 * [backup-simplify]: Simplify x into x 4.396 * [taylor]: Taking taylor expansion of x in z 4.396 * [backup-simplify]: Simplify x into x 4.396 * [backup-simplify]: Simplify (- x) into (- x) 4.396 * [backup-simplify]: Simplify (+ y (- x)) into (- y x) 4.396 * [backup-simplify]: Simplify (* 0 (- y x)) into 0 4.396 * [backup-simplify]: Simplify (+ 0 x) into x 4.396 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 4.397 * [backup-simplify]: Simplify (- 0) into 0 4.397 * [backup-simplify]: Simplify (+ 0 0) into 0 4.397 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (- y x))) into (- y x) 4.398 * [backup-simplify]: Simplify (+ (- y x) 0) into (- y x) 4.398 * [backup-simplify]: Simplify (/ (- y x) (* 2 (sqrt x))) into (* 1/2 (* (sqrt (/ 1 x)) (- y x))) 4.398 * [taylor]: Taking taylor expansion of (sqrt x) in y 4.398 * [taylor]: Taking taylor expansion of x in y 4.398 * [backup-simplify]: Simplify x into x 4.398 * [backup-simplify]: Simplify (sqrt x) into (sqrt x) 4.398 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0 4.398 * [taylor]: Taking taylor expansion of (sqrt x) in x 4.398 * [taylor]: Taking taylor expansion of x in x 4.398 * [backup-simplify]: Simplify 0 into 0 4.398 * [backup-simplify]: Simplify 1 into 1 4.398 * [backup-simplify]: Simplify (sqrt 0) into 0 4.400 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.400 * [backup-simplify]: Simplify 0 into 0 4.400 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (/ 1 x)) (- y x))) in y 4.400 * [taylor]: Taking taylor expansion of 1/2 in y 4.400 * [backup-simplify]: Simplify 1/2 into 1/2 4.400 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (- y x)) in y 4.400 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 4.400 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.400 * [taylor]: Taking taylor expansion of x in y 4.400 * [backup-simplify]: Simplify x into x 4.400 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 4.400 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x)) 4.400 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 4.400 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 x)))) into 0 4.400 * [taylor]: Taking taylor expansion of (- y x) in y 4.400 * [taylor]: Taking taylor expansion of y in y 4.400 * [backup-simplify]: Simplify 0 into 0 4.400 * [backup-simplify]: Simplify 1 into 1 4.400 * [taylor]: Taking taylor expansion of x in y 4.400 * [backup-simplify]: Simplify x into x 4.400 * [backup-simplify]: Simplify (- x) into (- x) 4.400 * [backup-simplify]: Simplify (+ 0 (- x)) into (- x) 4.400 * [backup-simplify]: Simplify (* (sqrt (/ 1 x)) (- x)) into (* -1 (sqrt x)) 4.401 * [backup-simplify]: Simplify (* 1/2 (* -1 (sqrt x))) into (* -1/2 (sqrt x)) 4.401 * [taylor]: Taking taylor expansion of (* -1/2 (sqrt x)) in x 4.401 * [taylor]: Taking taylor expansion of -1/2 in x 4.401 * [backup-simplify]: Simplify -1/2 into -1/2 4.401 * [taylor]: Taking taylor expansion of (sqrt x) in x 4.401 * [taylor]: Taking taylor expansion of x in x 4.401 * [backup-simplify]: Simplify 0 into 0 4.401 * [backup-simplify]: Simplify 1 into 1 4.401 * [backup-simplify]: Simplify (sqrt 0) into 0 4.402 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 4.402 * [backup-simplify]: Simplify (* -1/2 0) into 0 4.402 * [backup-simplify]: Simplify 0 into 0 4.402 * [taylor]: Taking taylor expansion of 0 in x 4.402 * [backup-simplify]: Simplify 0 into 0 4.402 * [backup-simplify]: Simplify 0 into 0 4.402 * [backup-simplify]: Simplify +nan.0 into +nan.0 4.403 * [backup-simplify]: Simplify (- 0) into 0 4.403 * [backup-simplify]: Simplify (+ 0 0) into 0 4.403 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (- y x)))) into 0 4.404 * [backup-simplify]: Simplify (+ 0 0) into 0