8.058 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.017 * [simplify]: Simplifying: (- (* (+ x 1.0) y) x) 0.017 * * [simplify]: iteration 0: 6 enodes 0.018 * * [simplify]: iteration 1: 11 enodes 0.020 * * [simplify]: iteration 2: 21 enodes 0.024 * * [simplify]: iteration 3: 49 enodes 0.038 * * [simplify]: iteration 4: 71 enodes 0.052 * * [simplify]: iteration 5: 75 enodes 0.066 * * [simplify]: iteration 6: 87 enodes 0.090 * * [simplify]: iteration 7: 105 enodes 0.110 * * [simplify]: iteration 8: 133 enodes 0.130 * * [simplify]: iteration 9: 207 enodes 0.232 * * [simplify]: iteration 10: 533 enodes 0.442 * * [simplify]: iteration 11: 916 enodes 0.665 * * [simplify]: iteration 12: 1239 enodes 0.889 * * [simplify]: iteration 13: 1540 enodes 1.520 * * [simplify]: iteration 14: 1984 enodes 1.742 * * [simplify]: iteration 15: 2142 enodes 1.972 * * [simplify]: iteration 16: 2289 enodes 2.451 * * [simplify]: iteration 17: 2650 enodes 3.047 * * [simplify]: iteration 18: 3017 enodes 3.505 * * [simplify]: iteration 19: 3088 enodes 3.672 * * [simplify]: iteration complete: 3088 enodes 3.672 * * [simplify]: Extracting #0: cost 1 inf + 0 3.672 * * [simplify]: Extracting #1: cost 24 inf + 0 3.672 * * [simplify]: Extracting #2: cost 10 inf + 655 3.675 * * [simplify]: Extracting #3: cost 0 inf + 1381 3.677 * * [simplify]: Extracting #4: cost 0 inf + 1366 3.680 * [simplify]: Simplified to: (- (* (+ 1.0 x) y) x) 3.681 * * [progress]: iteration 1 / 4 3.681 * * * [progress]: picking best candidate 3.684 * * * * [pick]: Picked # 3.684 * * * [progress]: localizing error 3.691 * * * [progress]: generating rewritten candidates 3.691 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 3.724 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.735 * * * [progress]: generating series expansions 3.735 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 3.735 * [backup-simplify]: Simplify (* (+ x 1.0) y) into (* y (+ x 1.0)) 3.735 * [approximate]: Taking taylor expansion of (* y (+ x 1.0)) in (x y) around 0 3.735 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y 3.735 * [taylor]: Taking taylor expansion of y in y 3.735 * [backup-simplify]: Simplify 0 into 0 3.735 * [backup-simplify]: Simplify 1 into 1 3.735 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 3.735 * [taylor]: Taking taylor expansion of x in y 3.735 * [backup-simplify]: Simplify x into x 3.735 * [taylor]: Taking taylor expansion of 1.0 in y 3.735 * [backup-simplify]: Simplify 1.0 into 1.0 3.735 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 3.735 * [taylor]: Taking taylor expansion of y in x 3.735 * [backup-simplify]: Simplify y into y 3.735 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 3.735 * [taylor]: Taking taylor expansion of x in x 3.735 * [backup-simplify]: Simplify 0 into 0 3.736 * [backup-simplify]: Simplify 1 into 1 3.736 * [taylor]: Taking taylor expansion of 1.0 in x 3.736 * [backup-simplify]: Simplify 1.0 into 1.0 3.736 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 3.736 * [taylor]: Taking taylor expansion of y in x 3.736 * [backup-simplify]: Simplify y into y 3.736 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 3.736 * [taylor]: Taking taylor expansion of x in x 3.736 * [backup-simplify]: Simplify 0 into 0 3.736 * [backup-simplify]: Simplify 1 into 1 3.736 * [taylor]: Taking taylor expansion of 1.0 in x 3.736 * [backup-simplify]: Simplify 1.0 into 1.0 3.736 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.736 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y) 3.736 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.736 * [taylor]: Taking taylor expansion of 1.0 in y 3.736 * [backup-simplify]: Simplify 1.0 into 1.0 3.736 * [taylor]: Taking taylor expansion of y in y 3.736 * [backup-simplify]: Simplify 0 into 0 3.736 * [backup-simplify]: Simplify 1 into 1 3.737 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.737 * [backup-simplify]: Simplify 0 into 0 3.737 * [backup-simplify]: Simplify (+ 1 0) into 1 3.737 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y 3.737 * [taylor]: Taking taylor expansion of y in y 3.737 * [backup-simplify]: Simplify 0 into 0 3.737 * [backup-simplify]: Simplify 1 into 1 3.737 * [backup-simplify]: Simplify 0 into 0 3.738 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.738 * [backup-simplify]: Simplify 1.0 into 1.0 3.739 * [backup-simplify]: Simplify (+ 0 0) into 0 3.739 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0 3.739 * [taylor]: Taking taylor expansion of 0 in y 3.739 * [backup-simplify]: Simplify 0 into 0 3.739 * [backup-simplify]: Simplify 0 into 0 3.739 * [backup-simplify]: Simplify 1 into 1 3.740 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 3.740 * [backup-simplify]: Simplify 0 into 0 3.740 * [backup-simplify]: Simplify (+ 0 0) into 0 3.741 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0 3.741 * [taylor]: Taking taylor expansion of 0 in y 3.741 * [backup-simplify]: Simplify 0 into 0 3.741 * [backup-simplify]: Simplify 0 into 0 3.741 * [backup-simplify]: Simplify 0 into 0 3.741 * [backup-simplify]: Simplify 0 into 0 3.741 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 3.741 * [backup-simplify]: Simplify 0 into 0 3.742 * [backup-simplify]: Simplify (+ 0 0) into 0 3.742 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0 3.742 * [taylor]: Taking taylor expansion of 0 in y 3.742 * [backup-simplify]: Simplify 0 into 0 3.742 * [backup-simplify]: Simplify 0 into 0 3.743 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1.0 (* y 1))) into (+ (* 1.0 y) (* x y)) 3.743 * [backup-simplify]: Simplify (* (+ (/ 1 x) 1.0) (/ 1 y)) into (/ (+ (/ 1 x) 1.0) y) 3.743 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (x y) around 0 3.743 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 3.743 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 3.743 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.743 * [taylor]: Taking taylor expansion of x in y 3.743 * [backup-simplify]: Simplify x into x 3.743 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.743 * [taylor]: Taking taylor expansion of 1.0 in y 3.743 * [backup-simplify]: Simplify 1.0 into 1.0 3.743 * [taylor]: Taking taylor expansion of y in y 3.743 * [backup-simplify]: Simplify 0 into 0 3.743 * [backup-simplify]: Simplify 1 into 1 3.743 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0) 3.743 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0) 3.743 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 3.743 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 3.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.743 * [taylor]: Taking taylor expansion of x in x 3.743 * [backup-simplify]: Simplify 0 into 0 3.743 * [backup-simplify]: Simplify 1 into 1 3.743 * [backup-simplify]: Simplify (/ 1 1) into 1 3.743 * [taylor]: Taking taylor expansion of 1.0 in x 3.743 * [backup-simplify]: Simplify 1.0 into 1.0 3.743 * [taylor]: Taking taylor expansion of y in x 3.743 * [backup-simplify]: Simplify y into y 3.744 * [backup-simplify]: Simplify (+ 1 0) into 1 3.744 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.744 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 3.744 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 3.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.744 * [taylor]: Taking taylor expansion of x in x 3.744 * [backup-simplify]: Simplify 0 into 0 3.744 * [backup-simplify]: Simplify 1 into 1 3.744 * [backup-simplify]: Simplify (/ 1 1) into 1 3.744 * [taylor]: Taking taylor expansion of 1.0 in x 3.744 * [backup-simplify]: Simplify 1.0 into 1.0 3.744 * [taylor]: Taking taylor expansion of y in x 3.744 * [backup-simplify]: Simplify y into y 3.744 * [backup-simplify]: Simplify (+ 1 0) into 1 3.745 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.745 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.745 * [taylor]: Taking taylor expansion of y in y 3.745 * [backup-simplify]: Simplify 0 into 0 3.745 * [backup-simplify]: Simplify 1 into 1 3.745 * [backup-simplify]: Simplify (/ 1 1) into 1 3.745 * [backup-simplify]: Simplify 1 into 1 3.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.746 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 3.746 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 3.746 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.746 * [taylor]: Taking taylor expansion of 1.0 in y 3.746 * [backup-simplify]: Simplify 1.0 into 1.0 3.746 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.746 * [taylor]: Taking taylor expansion of y in y 3.746 * [backup-simplify]: Simplify 0 into 0 3.746 * [backup-simplify]: Simplify 1 into 1 3.746 * [backup-simplify]: Simplify (/ 1 1) into 1 3.747 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.747 * [backup-simplify]: Simplify 1.0 into 1.0 3.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.747 * [backup-simplify]: Simplify 0 into 0 3.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.748 * [backup-simplify]: Simplify (+ 0 0) into 0 3.749 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 3.749 * [taylor]: Taking taylor expansion of 0 in y 3.749 * [backup-simplify]: Simplify 0 into 0 3.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.750 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.750 * [backup-simplify]: Simplify 0 into 0 3.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.751 * [backup-simplify]: Simplify 0 into 0 3.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.753 * [backup-simplify]: Simplify (+ 0 0) into 0 3.753 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.753 * [taylor]: Taking taylor expansion of 0 in y 3.753 * [backup-simplify]: Simplify 0 into 0 3.753 * [backup-simplify]: Simplify 0 into 0 3.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.755 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.755 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.756 * [backup-simplify]: Simplify 0 into 0 3.756 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 1.0 y) (* x y)) 3.756 * [backup-simplify]: Simplify (* (+ (/ 1 (- x)) 1.0) (/ 1 (- y))) into (* -1 (/ (- 1.0 (/ 1 x)) y)) 3.756 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0 3.756 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 3.756 * [taylor]: Taking taylor expansion of -1 in y 3.756 * [backup-simplify]: Simplify -1 into -1 3.756 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 3.756 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 3.756 * [taylor]: Taking taylor expansion of 1.0 in y 3.757 * [backup-simplify]: Simplify 1.0 into 1.0 3.757 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.757 * [taylor]: Taking taylor expansion of x in y 3.757 * [backup-simplify]: Simplify x into x 3.757 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.757 * [taylor]: Taking taylor expansion of y in y 3.757 * [backup-simplify]: Simplify 0 into 0 3.757 * [backup-simplify]: Simplify 1 into 1 3.757 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 3.757 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 3.757 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 3.757 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 3.757 * [taylor]: Taking taylor expansion of -1 in x 3.757 * [backup-simplify]: Simplify -1 into -1 3.757 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 3.757 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.757 * [taylor]: Taking taylor expansion of 1.0 in x 3.757 * [backup-simplify]: Simplify 1.0 into 1.0 3.757 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.757 * [taylor]: Taking taylor expansion of x in x 3.757 * [backup-simplify]: Simplify 0 into 0 3.757 * [backup-simplify]: Simplify 1 into 1 3.758 * [backup-simplify]: Simplify (/ 1 1) into 1 3.758 * [taylor]: Taking taylor expansion of y in x 3.758 * [backup-simplify]: Simplify y into y 3.758 * [backup-simplify]: Simplify (- 1) into -1 3.759 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.759 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.759 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 3.759 * [taylor]: Taking taylor expansion of -1 in x 3.759 * [backup-simplify]: Simplify -1 into -1 3.759 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 3.759 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.759 * [taylor]: Taking taylor expansion of 1.0 in x 3.759 * [backup-simplify]: Simplify 1.0 into 1.0 3.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.759 * [taylor]: Taking taylor expansion of x in x 3.759 * [backup-simplify]: Simplify 0 into 0 3.759 * [backup-simplify]: Simplify 1 into 1 3.759 * [backup-simplify]: Simplify (/ 1 1) into 1 3.759 * [taylor]: Taking taylor expansion of y in x 3.759 * [backup-simplify]: Simplify y into y 3.760 * [backup-simplify]: Simplify (- 1) into -1 3.760 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.760 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 3.760 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 3.760 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.760 * [taylor]: Taking taylor expansion of y in y 3.760 * [backup-simplify]: Simplify 0 into 0 3.760 * [backup-simplify]: Simplify 1 into 1 3.761 * [backup-simplify]: Simplify (/ 1 1) into 1 3.761 * [backup-simplify]: Simplify 1 into 1 3.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.762 * [backup-simplify]: Simplify (- 0) into 0 3.762 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 3.762 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 3.763 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))) into (- (* 1.0 (/ 1 y))) 3.763 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 3.763 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.763 * [taylor]: Taking taylor expansion of 1.0 in y 3.763 * [backup-simplify]: Simplify 1.0 into 1.0 3.763 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.763 * [taylor]: Taking taylor expansion of y in y 3.763 * [backup-simplify]: Simplify 0 into 0 3.763 * [backup-simplify]: Simplify 1 into 1 3.763 * [backup-simplify]: Simplify (/ 1 1) into 1 3.764 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.764 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.764 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.765 * [backup-simplify]: Simplify 0 into 0 3.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.766 * [backup-simplify]: Simplify (- 0) into 0 3.767 * [backup-simplify]: Simplify (+ 0 0) into 0 3.767 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 3.767 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y)))) into 0 3.767 * [taylor]: Taking taylor expansion of 0 in y 3.767 * [backup-simplify]: Simplify 0 into 0 3.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.768 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 3.769 * [backup-simplify]: Simplify (- 0) into 0 3.769 * [backup-simplify]: Simplify 0 into 0 3.769 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.769 * [backup-simplify]: Simplify 0 into 0 3.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.770 * [backup-simplify]: Simplify (- 0) into 0 3.770 * [backup-simplify]: Simplify (+ 0 0) into 0 3.770 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 3.771 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))))) into 0 3.771 * [taylor]: Taking taylor expansion of 0 in y 3.771 * [backup-simplify]: Simplify 0 into 0 3.771 * [backup-simplify]: Simplify 0 into 0 3.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.772 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 3.773 * [backup-simplify]: Simplify (- 0) into 0 3.773 * [backup-simplify]: Simplify 0 into 0 3.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 3.773 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 1.0 y) (* x y)) 3.774 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.774 * [backup-simplify]: Simplify (- (* (+ x 1.0) y) x) into (- (+ (* 1.0 y) (* x y)) x) 3.774 * [approximate]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in (x y) around 0 3.774 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in y 3.774 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in y 3.774 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.774 * [taylor]: Taking taylor expansion of 1.0 in y 3.774 * [backup-simplify]: Simplify 1.0 into 1.0 3.774 * [taylor]: Taking taylor expansion of y in y 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 1 into 1 3.774 * [taylor]: Taking taylor expansion of (* x y) in y 3.774 * [taylor]: Taking taylor expansion of x in y 3.774 * [backup-simplify]: Simplify x into x 3.774 * [taylor]: Taking taylor expansion of y in y 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 1 into 1 3.774 * [taylor]: Taking taylor expansion of x in y 3.774 * [backup-simplify]: Simplify x into x 3.774 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in x 3.774 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in x 3.774 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 3.774 * [taylor]: Taking taylor expansion of 1.0 in x 3.774 * [backup-simplify]: Simplify 1.0 into 1.0 3.774 * [taylor]: Taking taylor expansion of y in x 3.774 * [backup-simplify]: Simplify y into y 3.774 * [taylor]: Taking taylor expansion of (* x y) in x 3.774 * [taylor]: Taking taylor expansion of x in x 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 1 into 1 3.774 * [taylor]: Taking taylor expansion of y in x 3.774 * [backup-simplify]: Simplify y into y 3.774 * [taylor]: Taking taylor expansion of x in x 3.774 * [backup-simplify]: Simplify 0 into 0 3.774 * [backup-simplify]: Simplify 1 into 1 3.774 * [taylor]: Taking taylor expansion of (- (+ (* 1.0 y) (* x y)) x) in x 3.775 * [taylor]: Taking taylor expansion of (+ (* 1.0 y) (* x y)) in x 3.775 * [taylor]: Taking taylor expansion of (* 1.0 y) in x 3.775 * [taylor]: Taking taylor expansion of 1.0 in x 3.775 * [backup-simplify]: Simplify 1.0 into 1.0 3.775 * [taylor]: Taking taylor expansion of y in x 3.775 * [backup-simplify]: Simplify y into y 3.775 * [taylor]: Taking taylor expansion of (* x y) in x 3.775 * [taylor]: Taking taylor expansion of x in x 3.775 * [backup-simplify]: Simplify 0 into 0 3.775 * [backup-simplify]: Simplify 1 into 1 3.775 * [taylor]: Taking taylor expansion of y in x 3.775 * [backup-simplify]: Simplify y into y 3.775 * [taylor]: Taking taylor expansion of x in x 3.775 * [backup-simplify]: Simplify 0 into 0 3.775 * [backup-simplify]: Simplify 1 into 1 3.775 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 3.775 * [backup-simplify]: Simplify (* 0 y) into 0 3.775 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 3.775 * [backup-simplify]: Simplify (- 0) into 0 3.775 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 3.775 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 3.775 * [taylor]: Taking taylor expansion of 1.0 in y 3.775 * [backup-simplify]: Simplify 1.0 into 1.0 3.775 * [taylor]: Taking taylor expansion of y in y 3.775 * [backup-simplify]: Simplify 0 into 0 3.775 * [backup-simplify]: Simplify 1 into 1 3.776 * [backup-simplify]: Simplify (* 1.0 0) into 0 3.776 * [backup-simplify]: Simplify 0 into 0 3.776 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 y)) into 0 3.776 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.776 * [backup-simplify]: Simplify (+ 0 y) into y 3.776 * [backup-simplify]: Simplify (- 1) into -1 3.777 * [backup-simplify]: Simplify (+ y -1) into (- y 1) 3.777 * [taylor]: Taking taylor expansion of (- y 1) in y 3.777 * [taylor]: Taking taylor expansion of y in y 3.777 * [backup-simplify]: Simplify 0 into 0 3.777 * [backup-simplify]: Simplify 1 into 1 3.777 * [taylor]: Taking taylor expansion of 1 in y 3.777 * [backup-simplify]: Simplify 1 into 1 3.777 * [backup-simplify]: Simplify (- 1) into -1 3.777 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.777 * [backup-simplify]: Simplify -1 into -1 3.778 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 3.778 * [backup-simplify]: Simplify 1.0 into 1.0 3.779 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 y))) into 0 3.779 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.779 * [backup-simplify]: Simplify (+ 0 0) into 0 3.779 * [backup-simplify]: Simplify (- 0) into 0 3.780 * [backup-simplify]: Simplify (+ 0 0) into 0 3.780 * [taylor]: Taking taylor expansion of 0 in y 3.780 * [backup-simplify]: Simplify 0 into 0 3.780 * [backup-simplify]: Simplify 0 into 0 3.780 * [backup-simplify]: Simplify (- 0) into 0 3.780 * [backup-simplify]: Simplify (+ 1 0) into 1 3.780 * [backup-simplify]: Simplify 1 into 1 3.780 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1.0 (* y 1)) (* -1 (* 1 x)))) into (- (+ (* 1.0 y) (* x y)) x) 3.781 * [backup-simplify]: Simplify (- (* (+ (/ 1 x) 1.0) (/ 1 y)) (/ 1 x)) into (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) (/ 1 x)) 3.781 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) (/ 1 x)) in (x y) around 0 3.781 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) (/ 1 x)) in y 3.781 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in y 3.781 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.781 * [taylor]: Taking taylor expansion of (* x y) in y 3.781 * [taylor]: Taking taylor expansion of x in y 3.781 * [backup-simplify]: Simplify x into x 3.781 * [taylor]: Taking taylor expansion of y in y 3.781 * [backup-simplify]: Simplify 0 into 0 3.781 * [backup-simplify]: Simplify 1 into 1 3.781 * [backup-simplify]: Simplify (* x 0) into 0 3.781 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.781 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.781 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.781 * [taylor]: Taking taylor expansion of 1.0 in y 3.781 * [backup-simplify]: Simplify 1.0 into 1.0 3.781 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.781 * [taylor]: Taking taylor expansion of y in y 3.781 * [backup-simplify]: Simplify 0 into 0 3.781 * [backup-simplify]: Simplify 1 into 1 3.781 * [backup-simplify]: Simplify (/ 1 1) into 1 3.781 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.782 * [taylor]: Taking taylor expansion of x in y 3.782 * [backup-simplify]: Simplify x into x 3.782 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.782 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) (/ 1 x)) in x 3.782 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in x 3.782 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.782 * [taylor]: Taking taylor expansion of (* x y) in x 3.782 * [taylor]: Taking taylor expansion of x in x 3.782 * [backup-simplify]: Simplify 0 into 0 3.782 * [backup-simplify]: Simplify 1 into 1 3.782 * [taylor]: Taking taylor expansion of y in x 3.782 * [backup-simplify]: Simplify y into y 3.782 * [backup-simplify]: Simplify (* 0 y) into 0 3.782 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.782 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.782 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 3.782 * [taylor]: Taking taylor expansion of 1.0 in x 3.782 * [backup-simplify]: Simplify 1.0 into 1.0 3.782 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.782 * [taylor]: Taking taylor expansion of y in x 3.782 * [backup-simplify]: Simplify y into y 3.782 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.782 * [taylor]: Taking taylor expansion of x in x 3.782 * [backup-simplify]: Simplify 0 into 0 3.782 * [backup-simplify]: Simplify 1 into 1 3.783 * [backup-simplify]: Simplify (/ 1 1) into 1 3.783 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) (/ 1 x)) in x 3.783 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (* 1.0 (/ 1 y))) in x 3.783 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.783 * [taylor]: Taking taylor expansion of (* x y) in x 3.783 * [taylor]: Taking taylor expansion of x in x 3.783 * [backup-simplify]: Simplify 0 into 0 3.783 * [backup-simplify]: Simplify 1 into 1 3.783 * [taylor]: Taking taylor expansion of y in x 3.783 * [backup-simplify]: Simplify y into y 3.783 * [backup-simplify]: Simplify (* 0 y) into 0 3.783 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.783 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.783 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 3.783 * [taylor]: Taking taylor expansion of 1.0 in x 3.783 * [backup-simplify]: Simplify 1.0 into 1.0 3.783 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.783 * [taylor]: Taking taylor expansion of y in x 3.783 * [backup-simplify]: Simplify y into y 3.783 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.783 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.783 * [taylor]: Taking taylor expansion of x in x 3.783 * [backup-simplify]: Simplify 0 into 0 3.783 * [backup-simplify]: Simplify 1 into 1 3.784 * [backup-simplify]: Simplify (/ 1 1) into 1 3.784 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 3.784 * [backup-simplify]: Simplify (- 1) into -1 3.784 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 3.784 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 3.784 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.784 * [taylor]: Taking taylor expansion of y in y 3.784 * [backup-simplify]: Simplify 0 into 0 3.784 * [backup-simplify]: Simplify 1 into 1 3.784 * [backup-simplify]: Simplify (/ 1 1) into 1 3.784 * [taylor]: Taking taylor expansion of 1 in y 3.784 * [backup-simplify]: Simplify 1 into 1 3.785 * [backup-simplify]: Simplify (+ 1 0) into 1 3.785 * [backup-simplify]: Simplify 1 into 1 3.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.785 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 3.785 * [backup-simplify]: Simplify (+ 0 (/ 1.0 y)) into (* 1.0 (/ 1 y)) 3.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.786 * [backup-simplify]: Simplify (- 0) into 0 3.786 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 y)) 0) into (* 1.0 (/ 1 y)) 3.786 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.786 * [taylor]: Taking taylor expansion of 1.0 in y 3.786 * [backup-simplify]: Simplify 1.0 into 1.0 3.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.786 * [taylor]: Taking taylor expansion of y in y 3.786 * [backup-simplify]: Simplify 0 into 0 3.786 * [backup-simplify]: Simplify 1 into 1 3.787 * [backup-simplify]: Simplify (/ 1 1) into 1 3.787 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.787 * [backup-simplify]: Simplify 1.0 into 1.0 3.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.788 * [backup-simplify]: Simplify (- 1) into -1 3.788 * [backup-simplify]: Simplify (+ 0 -1) into -1 3.788 * [backup-simplify]: Simplify -1 into -1 3.788 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ (* 1.0 y) (* x y)) x) 3.788 * [backup-simplify]: Simplify (- (* (+ (/ 1 (- x)) 1.0) (/ 1 (- y))) (/ 1 (- x))) into (- (+ (/ 1 (* x y)) (/ 1 x)) (* 1.0 (/ 1 y))) 3.788 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x)) (* 1.0 (/ 1 y))) in (x y) around 0 3.788 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x)) (* 1.0 (/ 1 y))) in y 3.788 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in y 3.788 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 3.788 * [taylor]: Taking taylor expansion of (* x y) in y 3.788 * [taylor]: Taking taylor expansion of x in y 3.788 * [backup-simplify]: Simplify x into x 3.788 * [taylor]: Taking taylor expansion of y in y 3.788 * [backup-simplify]: Simplify 0 into 0 3.788 * [backup-simplify]: Simplify 1 into 1 3.788 * [backup-simplify]: Simplify (* x 0) into 0 3.789 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 3.789 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.789 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.789 * [taylor]: Taking taylor expansion of x in y 3.789 * [backup-simplify]: Simplify x into x 3.789 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 3.789 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.789 * [taylor]: Taking taylor expansion of 1.0 in y 3.789 * [backup-simplify]: Simplify 1.0 into 1.0 3.789 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.789 * [taylor]: Taking taylor expansion of y in y 3.789 * [backup-simplify]: Simplify 0 into 0 3.789 * [backup-simplify]: Simplify 1 into 1 3.789 * [backup-simplify]: Simplify (/ 1 1) into 1 3.789 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x)) (* 1.0 (/ 1 y))) in x 3.789 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 3.789 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.789 * [taylor]: Taking taylor expansion of (* x y) in x 3.789 * [taylor]: Taking taylor expansion of x in x 3.789 * [backup-simplify]: Simplify 0 into 0 3.789 * [backup-simplify]: Simplify 1 into 1 3.789 * [taylor]: Taking taylor expansion of y in x 3.789 * [backup-simplify]: Simplify y into y 3.789 * [backup-simplify]: Simplify (* 0 y) into 0 3.790 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.790 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.790 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.790 * [taylor]: Taking taylor expansion of x in x 3.790 * [backup-simplify]: Simplify 0 into 0 3.790 * [backup-simplify]: Simplify 1 into 1 3.790 * [backup-simplify]: Simplify (/ 1 1) into 1 3.790 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 3.790 * [taylor]: Taking taylor expansion of 1.0 in x 3.790 * [backup-simplify]: Simplify 1.0 into 1.0 3.790 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.790 * [taylor]: Taking taylor expansion of y in x 3.790 * [backup-simplify]: Simplify y into y 3.790 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.790 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* x y)) (/ 1 x)) (* 1.0 (/ 1 y))) in x 3.790 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x y)) (/ 1 x)) in x 3.790 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 3.790 * [taylor]: Taking taylor expansion of (* x y) in x 3.790 * [taylor]: Taking taylor expansion of x in x 3.790 * [backup-simplify]: Simplify 0 into 0 3.790 * [backup-simplify]: Simplify 1 into 1 3.790 * [taylor]: Taking taylor expansion of y in x 3.790 * [backup-simplify]: Simplify y into y 3.790 * [backup-simplify]: Simplify (* 0 y) into 0 3.791 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 3.791 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.791 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.791 * [taylor]: Taking taylor expansion of x in x 3.791 * [backup-simplify]: Simplify 0 into 0 3.791 * [backup-simplify]: Simplify 1 into 1 3.791 * [backup-simplify]: Simplify (/ 1 1) into 1 3.791 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in x 3.791 * [taylor]: Taking taylor expansion of 1.0 in x 3.791 * [backup-simplify]: Simplify 1.0 into 1.0 3.791 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.791 * [taylor]: Taking taylor expansion of y in x 3.791 * [backup-simplify]: Simplify y into y 3.791 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 3.791 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y)) 3.791 * [backup-simplify]: Simplify (+ (+ 1 (/ 1 y)) 0) into (+ 1 (/ 1 y)) 3.791 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 3.791 * [taylor]: Taking taylor expansion of 1 in y 3.791 * [backup-simplify]: Simplify 1 into 1 3.791 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.791 * [taylor]: Taking taylor expansion of y in y 3.791 * [backup-simplify]: Simplify 0 into 0 3.791 * [backup-simplify]: Simplify 1 into 1 3.792 * [backup-simplify]: Simplify (/ 1 1) into 1 3.792 * [backup-simplify]: Simplify (+ 0 1) into 1 3.792 * [backup-simplify]: Simplify 1 into 1 3.792 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 3.792 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 3.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.793 * [backup-simplify]: Simplify (+ 0 0) into 0 3.793 * [backup-simplify]: Simplify (* 1.0 (/ 1 y)) into (/ 1.0 y) 3.793 * [backup-simplify]: Simplify (- (/ 1.0 y)) into (- (* 1.0 (/ 1 y))) 3.793 * [backup-simplify]: Simplify (+ 0 (- (* 1.0 (/ 1 y)))) into (- (* 1.0 (/ 1 y))) 3.793 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 3.793 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 3.793 * [taylor]: Taking taylor expansion of 1.0 in y 3.793 * [backup-simplify]: Simplify 1.0 into 1.0 3.793 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.793 * [taylor]: Taking taylor expansion of y in y 3.793 * [backup-simplify]: Simplify 0 into 0 3.793 * [backup-simplify]: Simplify 1 into 1 3.794 * [backup-simplify]: Simplify (/ 1 1) into 1 3.794 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 3.794 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.794 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 3.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 3.795 * [backup-simplify]: Simplify (+ 1 0) into 1 3.795 * [backup-simplify]: Simplify 1 into 1 3.796 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ (* 1.0 y) (* x y)) x) 3.796 * * * [progress]: simplifying candidates 3.796 * [simplify]: Simplifying: (expm1 (* (+ x 1.0) y)) (log1p (* (+ x 1.0) y)) (* (+ x 1.0) y) (+ (log (+ x 1.0)) (log y)) (log (* (+ x 1.0) y)) (exp (* (+ x 1.0) y)) (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* y y) y)) (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (* (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (+ x 1.0) (* (cbrt y) (cbrt y))) (* (+ x 1.0) (sqrt y)) (* (+ x 1.0) 1) (* (cbrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (+ x 1.0) y) (* (+ x 1.0) y) (* (+ (pow x 3) (pow 1.0 3)) y) (* (- (* x x) (* 1.0 1.0)) y) (fma (+ x 1.0) y (- (* (cbrt x) (* (cbrt x) (cbrt x))))) (fma (- (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt x) (* (cbrt x) (cbrt x)))) (fma (+ x 1.0) y (- (* (sqrt x) (sqrt x)))) (fma (- (sqrt x)) (sqrt x) (* (sqrt x) (sqrt x))) (fma (+ x 1.0) y (- (* x 1))) (fma (- x) 1 (* x 1)) (expm1 (- (* (+ x 1.0) y) x)) (log1p (- (* (+ x 1.0) y) x)) (- x) (/ (exp (* (+ x 1.0) y)) (exp x)) (log (- (* (+ x 1.0) y) x)) (exp (- (* (+ x 1.0) y) x)) (* (cbrt (- (* (+ x 1.0) y) x)) (cbrt (- (* (+ x 1.0) y) x))) (cbrt (- (* (+ x 1.0) y) x)) (* (* (- (* (+ x 1.0) y) x) (- (* (+ x 1.0) y) x)) (- (* (+ x 1.0) y) x)) (sqrt (- (* (+ x 1.0) y) x)) (sqrt (- (* (+ x 1.0) y) x)) (- (pow (* (+ x 1.0) y) 3) (pow x 3)) (+ (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (+ (* x x) (* (* (+ x 1.0) y) x))) (- x) (- (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* x x)) (+ (* (+ x 1.0) y) x) (- x) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (- (+ (* 1.0 y) (* x y)) x) (- (+ (* 1.0 y) (* x y)) x) (- (+ (* 1.0 y) (* x y)) x) 3.797 * * [simplify]: iteration 0: 84 enodes 3.832 * * [simplify]: iteration 1: 211 enodes 3.905 * * [simplify]: iteration 2: 587 enodes 4.319 * * [simplify]: iteration 3: 1987 enodes 5.751 * * [simplify]: iteration complete: 5006 enodes 5.751 * * [simplify]: Extracting #0: cost 34 inf + 0 5.752 * * [simplify]: Extracting #1: cost 401 inf + 0 5.757 * * [simplify]: Extracting #2: cost 1236 inf + 1665 5.789 * * [simplify]: Extracting #3: cost 1090 inf + 47202 5.834 * * [simplify]: Extracting #4: cost 303 inf + 167280 5.880 * * [simplify]: Extracting #5: cost 36 inf + 225483 5.933 * * [simplify]: Extracting #6: cost 5 inf + 231231 5.993 * * [simplify]: Extracting #7: cost 0 inf + 232578 6.064 * [simplify]: Simplified to: (expm1 (* (+ 1.0 x) y)) (log1p (* (+ 1.0 x) y)) (* (+ 1.0 x) y) (log (* (+ 1.0 x) y)) (log (* (+ 1.0 x) y)) (exp (* (+ 1.0 x) y)) (* (* (+ 1.0 x) y) (* (* y (+ 1.0 x)) (* y (+ 1.0 x)))) (* (cbrt (* (+ 1.0 x) y)) (cbrt (* (+ 1.0 x) y))) (cbrt (* (+ 1.0 x) y)) (* (* (+ 1.0 x) y) (* (* y (+ 1.0 x)) (* y (+ 1.0 x)))) (sqrt (* (+ 1.0 x) y)) (sqrt (* (+ 1.0 x) y)) (* (sqrt y) (sqrt (+ 1.0 x))) (* (sqrt y) (sqrt (+ 1.0 x))) (* (cbrt y) (* (+ 1.0 x) (cbrt y))) (* (+ 1.0 x) (sqrt y)) (+ 1.0 x) (* y (cbrt (+ 1.0 x))) (* y (sqrt (+ 1.0 x))) (* (+ 1.0 x) y) (* (+ 1.0 x) y) (* y (fma (* x x) x (* 1.0 (* 1.0 1.0)))) (* (* (+ x 1.0) (- x 1.0)) y) (- (* (+ 1.0 x) y) x) (fma x -1 x) (- (* (+ 1.0 x) y) x) (fma x -1 x) (- (* (+ 1.0 x) y) x) (fma x -1 x) (expm1 (- (* (+ 1.0 x) y) x)) (log1p (- (* (+ 1.0 x) y) x)) (- x) (exp (- (* (+ 1.0 x) y) x)) (log (- (* (+ 1.0 x) y) x)) (exp (- (* (+ 1.0 x) y) x)) (* (cbrt (- (* (+ 1.0 x) y) x)) (cbrt (- (* (+ 1.0 x) y) x))) (cbrt (- (* (+ 1.0 x) y) x)) (* (- (* (+ 1.0 x) y) x) (* (- (* (+ 1.0 x) y) x) (- (* (+ 1.0 x) y) x))) (sqrt (- (* (+ 1.0 x) y) x)) (sqrt (- (* (+ 1.0 x) y) x)) (- (* (* (+ 1.0 x) y) (* (* y (+ 1.0 x)) (* y (+ 1.0 x)))) (* (* x x) x)) (fma (* (+ 1.0 x) y) (+ x (* (+ 1.0 x) y)) (* x x)) (- x) (* (+ (* (+ 1.0 x) y) x) (- (* (+ 1.0 x) y) x)) (fma y (+ 1.0 x) x) (- x) (* y (+ 1.0 x)) (* y (+ 1.0 x)) (* y (+ 1.0 x)) (- (* y (+ 1.0 x)) x) (- (* y (+ 1.0 x)) x) (- (* y (+ 1.0 x)) x) 6.066 * * * [progress]: adding candidates to table 6.226 * * [progress]: iteration 2 / 4 6.226 * * * [progress]: picking best candidate 6.238 * * * * [pick]: Picked # 6.238 * * * [progress]: localizing error 6.253 * * * [progress]: generating rewritten candidates 6.253 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 6.254 * * * [progress]: generating series expansions 6.254 * * * * [progress]: [ 1 / 1 ] generating series at (2) 6.254 * [backup-simplify]: Simplify (fma (+ x 1.0) y (- x)) into (fma (+ x 1.0) y (- x)) 6.254 * [approximate]: Taking taylor expansion of (fma (+ x 1.0) y (- x)) in (x y) around 0 6.254 * [taylor]: Taking taylor expansion of (fma (+ x 1.0) y (- x)) in y 6.254 * [taylor]: Rewrote expression to (+ (* (+ x 1.0) y) (- x)) 6.254 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in y 6.254 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 6.254 * [taylor]: Taking taylor expansion of x in y 6.254 * [backup-simplify]: Simplify x into x 6.254 * [taylor]: Taking taylor expansion of 1.0 in y 6.254 * [backup-simplify]: Simplify 1.0 into 1.0 6.254 * [taylor]: Taking taylor expansion of y in y 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify 1 into 1 6.255 * [taylor]: Taking taylor expansion of (- x) in y 6.255 * [taylor]: Taking taylor expansion of x in y 6.255 * [backup-simplify]: Simplify x into x 6.255 * [taylor]: Taking taylor expansion of (fma (+ x 1.0) y (- x)) in x 6.255 * [taylor]: Rewrote expression to (+ (* (+ x 1.0) y) (- x)) 6.255 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 6.255 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 6.255 * [taylor]: Taking taylor expansion of x in x 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify 1 into 1 6.255 * [taylor]: Taking taylor expansion of 1.0 in x 6.255 * [backup-simplify]: Simplify 1.0 into 1.0 6.255 * [taylor]: Taking taylor expansion of y in x 6.255 * [backup-simplify]: Simplify y into y 6.255 * [taylor]: Taking taylor expansion of (- x) in x 6.255 * [taylor]: Taking taylor expansion of x in x 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify 1 into 1 6.255 * [taylor]: Taking taylor expansion of (fma (+ x 1.0) y (- x)) in x 6.255 * [taylor]: Rewrote expression to (+ (* (+ x 1.0) y) (- x)) 6.255 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 6.255 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 6.255 * [taylor]: Taking taylor expansion of x in x 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify 1 into 1 6.255 * [taylor]: Taking taylor expansion of 1.0 in x 6.255 * [backup-simplify]: Simplify 1.0 into 1.0 6.255 * [taylor]: Taking taylor expansion of y in x 6.255 * [backup-simplify]: Simplify y into y 6.255 * [taylor]: Taking taylor expansion of (- x) in x 6.255 * [taylor]: Taking taylor expansion of x in x 6.255 * [backup-simplify]: Simplify 0 into 0 6.255 * [backup-simplify]: Simplify 1 into 1 6.256 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.256 * [backup-simplify]: Simplify (* 1.0 y) into (* 1.0 y) 6.257 * [backup-simplify]: Simplify (- 0) into 0 6.257 * [backup-simplify]: Simplify (+ (* 1.0 y) 0) into (* 1.0 y) 6.257 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 6.257 * [taylor]: Taking taylor expansion of 1.0 in y 6.257 * [backup-simplify]: Simplify 1.0 into 1.0 6.257 * [taylor]: Taking taylor expansion of y in y 6.257 * [backup-simplify]: Simplify 0 into 0 6.257 * [backup-simplify]: Simplify 1 into 1 6.257 * [backup-simplify]: Simplify (* 1.0 0) into 0 6.257 * [backup-simplify]: Simplify 0 into 0 6.257 * [backup-simplify]: Simplify (+ 1 0) into 1 6.258 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 1 y)) into y 6.258 * [backup-simplify]: Simplify (- 1) into -1 6.258 * [backup-simplify]: Simplify (+ y -1) into (- y 1) 6.258 * [taylor]: Taking taylor expansion of (- y 1) in y 6.258 * [taylor]: Taking taylor expansion of y in y 6.258 * [backup-simplify]: Simplify 0 into 0 6.258 * [backup-simplify]: Simplify 1 into 1 6.258 * [taylor]: Taking taylor expansion of 1 in y 6.258 * [backup-simplify]: Simplify 1 into 1 6.258 * [backup-simplify]: Simplify (- 1) into -1 6.259 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.259 * [backup-simplify]: Simplify -1 into -1 6.260 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 6.260 * [backup-simplify]: Simplify 1.0 into 1.0 6.260 * [backup-simplify]: Simplify (+ 0 0) into 0 6.260 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 1 0) (* 0 y))) into 0 6.261 * [backup-simplify]: Simplify (- 0) into 0 6.261 * [backup-simplify]: Simplify (+ 0 0) into 0 6.261 * [taylor]: Taking taylor expansion of 0 in y 6.261 * [backup-simplify]: Simplify 0 into 0 6.261 * [backup-simplify]: Simplify 0 into 0 6.261 * [backup-simplify]: Simplify (- 0) into 0 6.261 * [backup-simplify]: Simplify (+ 1 0) into 1 6.261 * [backup-simplify]: Simplify 1 into 1 6.262 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (+ (* 1.0 (* y 1)) (* -1 (* 1 x)))) into (- (+ (* 1.0 y) (* x y)) x) 6.262 * [backup-simplify]: Simplify (fma (+ (/ 1 x) 1.0) (/ 1 y) (- (/ 1 x))) into (fma (+ (/ 1 x) 1.0) (/ 1 y) (- (/ 1 x))) 6.262 * [approximate]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ 1 y) (- (/ 1 x))) in (x y) around 0 6.262 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ 1 y) (- (/ 1 x))) in y 6.262 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ 1 y)) (- (/ 1 x))) 6.262 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ 1 y)) in y 6.262 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 6.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.262 * [taylor]: Taking taylor expansion of x in y 6.262 * [backup-simplify]: Simplify x into x 6.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.262 * [taylor]: Taking taylor expansion of 1.0 in y 6.262 * [backup-simplify]: Simplify 1.0 into 1.0 6.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.262 * [taylor]: Taking taylor expansion of y in y 6.262 * [backup-simplify]: Simplify 0 into 0 6.262 * [backup-simplify]: Simplify 1 into 1 6.262 * [backup-simplify]: Simplify (/ 1 1) into 1 6.262 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in y 6.262 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.262 * [taylor]: Taking taylor expansion of x in y 6.262 * [backup-simplify]: Simplify x into x 6.262 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.262 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ 1 y) (- (/ 1 x))) in x 6.263 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ 1 y)) (- (/ 1 x))) 6.263 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ 1 y)) in x 6.263 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 6.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.263 * [taylor]: Taking taylor expansion of x in x 6.263 * [backup-simplify]: Simplify 0 into 0 6.263 * [backup-simplify]: Simplify 1 into 1 6.263 * [backup-simplify]: Simplify (/ 1 1) into 1 6.263 * [taylor]: Taking taylor expansion of 1.0 in x 6.263 * [backup-simplify]: Simplify 1.0 into 1.0 6.263 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.263 * [taylor]: Taking taylor expansion of y in x 6.263 * [backup-simplify]: Simplify y into y 6.263 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.263 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.263 * [taylor]: Taking taylor expansion of x in x 6.263 * [backup-simplify]: Simplify 0 into 0 6.263 * [backup-simplify]: Simplify 1 into 1 6.263 * [backup-simplify]: Simplify (/ 1 1) into 1 6.263 * [taylor]: Taking taylor expansion of (fma (+ (/ 1 x) 1.0) (/ 1 y) (- (/ 1 x))) in x 6.263 * [taylor]: Rewrote expression to (+ (* (+ (/ 1 x) 1.0) (/ 1 y)) (- (/ 1 x))) 6.264 * [taylor]: Taking taylor expansion of (* (+ (/ 1 x) 1.0) (/ 1 y)) in x 6.264 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 6.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.264 * [taylor]: Taking taylor expansion of x in x 6.264 * [backup-simplify]: Simplify 0 into 0 6.264 * [backup-simplify]: Simplify 1 into 1 6.264 * [backup-simplify]: Simplify (/ 1 1) into 1 6.264 * [taylor]: Taking taylor expansion of 1.0 in x 6.264 * [backup-simplify]: Simplify 1.0 into 1.0 6.264 * [taylor]: Taking taylor expansion of (/ 1 y) in x 6.264 * [taylor]: Taking taylor expansion of y in x 6.264 * [backup-simplify]: Simplify y into y 6.264 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 6.264 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 6.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.264 * [taylor]: Taking taylor expansion of x in x 6.264 * [backup-simplify]: Simplify 0 into 0 6.264 * [backup-simplify]: Simplify 1 into 1 6.264 * [backup-simplify]: Simplify (/ 1 1) into 1 6.265 * [backup-simplify]: Simplify (+ 1 0) into 1 6.265 * [backup-simplify]: Simplify (* 1 (/ 1 y)) into (/ 1 y) 6.265 * [backup-simplify]: Simplify (- 1) into -1 6.265 * [backup-simplify]: Simplify (+ (/ 1 y) -1) into (- (/ 1 y) 1) 6.265 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 6.265 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.265 * [taylor]: Taking taylor expansion of y in y 6.265 * [backup-simplify]: Simplify 0 into 0 6.265 * [backup-simplify]: Simplify 1 into 1 6.265 * [backup-simplify]: Simplify (/ 1 1) into 1 6.265 * [taylor]: Taking taylor expansion of 1 in y 6.265 * [backup-simplify]: Simplify 1 into 1 6.266 * [backup-simplify]: Simplify (+ 1 0) into 1 6.266 * [backup-simplify]: Simplify 1 into 1 6.266 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 6.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.266 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 1.0 (/ 1 y))) into (* 1.0 (/ 1 y)) 6.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.267 * [backup-simplify]: Simplify (- 0) into 0 6.267 * [backup-simplify]: Simplify (+ (* 1.0 (/ 1 y)) 0) into (* 1.0 (/ 1 y)) 6.267 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.267 * [taylor]: Taking taylor expansion of 1.0 in y 6.268 * [backup-simplify]: Simplify 1.0 into 1.0 6.268 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.268 * [taylor]: Taking taylor expansion of y in y 6.268 * [backup-simplify]: Simplify 0 into 0 6.268 * [backup-simplify]: Simplify 1 into 1 6.268 * [backup-simplify]: Simplify (/ 1 1) into 1 6.268 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.268 * [backup-simplify]: Simplify 1.0 into 1.0 6.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.269 * [backup-simplify]: Simplify (- 1) into -1 6.269 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.269 * [backup-simplify]: Simplify -1 into -1 6.269 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 x)))) (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x)))))) into (- (+ (* 1.0 y) (* x y)) x) 6.269 * [backup-simplify]: Simplify (fma (+ (/ 1 (- x)) 1.0) (/ 1 (- y)) (- (/ 1 (- x)))) into (fma (- 1.0 (/ 1 x)) (/ -1 y) (/ 1 x)) 6.269 * [approximate]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ -1 y) (/ 1 x)) in (x y) around 0 6.269 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ -1 y) (/ 1 x)) in y 6.270 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ -1 y)) (/ 1 x)) 6.270 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ -1 y)) in y 6.270 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 6.270 * [taylor]: Taking taylor expansion of 1.0 in y 6.270 * [backup-simplify]: Simplify 1.0 into 1.0 6.270 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.270 * [taylor]: Taking taylor expansion of x in y 6.270 * [backup-simplify]: Simplify x into x 6.270 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.270 * [taylor]: Taking taylor expansion of (/ -1 y) in y 6.270 * [taylor]: Taking taylor expansion of -1 in y 6.270 * [backup-simplify]: Simplify -1 into -1 6.270 * [taylor]: Taking taylor expansion of y in y 6.270 * [backup-simplify]: Simplify 0 into 0 6.270 * [backup-simplify]: Simplify 1 into 1 6.270 * [backup-simplify]: Simplify (/ -1 1) into -1 6.270 * [taylor]: Taking taylor expansion of (/ 1 x) in y 6.270 * [taylor]: Taking taylor expansion of x in y 6.270 * [backup-simplify]: Simplify x into x 6.270 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 6.270 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ -1 y) (/ 1 x)) in x 6.270 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ -1 y)) (/ 1 x)) 6.270 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ -1 y)) in x 6.270 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 6.270 * [taylor]: Taking taylor expansion of 1.0 in x 6.270 * [backup-simplify]: Simplify 1.0 into 1.0 6.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.270 * [taylor]: Taking taylor expansion of x in x 6.270 * [backup-simplify]: Simplify 0 into 0 6.270 * [backup-simplify]: Simplify 1 into 1 6.271 * [backup-simplify]: Simplify (/ 1 1) into 1 6.271 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.271 * [taylor]: Taking taylor expansion of -1 in x 6.271 * [backup-simplify]: Simplify -1 into -1 6.271 * [taylor]: Taking taylor expansion of y in x 6.271 * [backup-simplify]: Simplify y into y 6.271 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.271 * [taylor]: Taking taylor expansion of x in x 6.271 * [backup-simplify]: Simplify 0 into 0 6.271 * [backup-simplify]: Simplify 1 into 1 6.271 * [backup-simplify]: Simplify (/ 1 1) into 1 6.271 * [taylor]: Taking taylor expansion of (fma (- 1.0 (/ 1 x)) (/ -1 y) (/ 1 x)) in x 6.271 * [taylor]: Rewrote expression to (+ (* (- 1.0 (/ 1 x)) (/ -1 y)) (/ 1 x)) 6.271 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (/ -1 y)) in x 6.271 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 6.271 * [taylor]: Taking taylor expansion of 1.0 in x 6.271 * [backup-simplify]: Simplify 1.0 into 1.0 6.271 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.271 * [taylor]: Taking taylor expansion of x in x 6.271 * [backup-simplify]: Simplify 0 into 0 6.271 * [backup-simplify]: Simplify 1 into 1 6.272 * [backup-simplify]: Simplify (/ 1 1) into 1 6.272 * [taylor]: Taking taylor expansion of (/ -1 y) in x 6.272 * [taylor]: Taking taylor expansion of -1 in x 6.272 * [backup-simplify]: Simplify -1 into -1 6.272 * [taylor]: Taking taylor expansion of y in x 6.272 * [backup-simplify]: Simplify y into y 6.272 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 6.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.272 * [taylor]: Taking taylor expansion of x in x 6.272 * [backup-simplify]: Simplify 0 into 0 6.272 * [backup-simplify]: Simplify 1 into 1 6.272 * [backup-simplify]: Simplify (/ 1 1) into 1 6.272 * [backup-simplify]: Simplify (- 1) into -1 6.276 * [backup-simplify]: Simplify (+ 0 -1) into -1 6.276 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 6.276 * [backup-simplify]: Simplify (+ (/ 1 y) 1) into (+ 1 (/ 1 y)) 6.276 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 6.276 * [taylor]: Taking taylor expansion of 1 in y 6.276 * [backup-simplify]: Simplify 1 into 1 6.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.276 * [taylor]: Taking taylor expansion of y in y 6.277 * [backup-simplify]: Simplify 0 into 0 6.277 * [backup-simplify]: Simplify 1 into 1 6.277 * [backup-simplify]: Simplify (/ 1 1) into 1 6.277 * [backup-simplify]: Simplify (+ 0 1) into 1 6.277 * [backup-simplify]: Simplify 1 into 1 6.277 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)))) into 0 6.278 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.278 * [backup-simplify]: Simplify (- 0) into 0 6.278 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.279 * [backup-simplify]: Simplify (+ (* -1 0) (* 1.0 (/ -1 y))) into (- (* 1.0 (/ 1 y))) 6.279 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.279 * [backup-simplify]: Simplify (+ (- (* 1.0 (/ 1 y))) 0) into (- (* 1.0 (/ 1 y))) 6.279 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 6.279 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 6.279 * [taylor]: Taking taylor expansion of 1.0 in y 6.279 * [backup-simplify]: Simplify 1.0 into 1.0 6.279 * [taylor]: Taking taylor expansion of (/ 1 y) in y 6.279 * [taylor]: Taking taylor expansion of y in y 6.279 * [backup-simplify]: Simplify 0 into 0 6.279 * [backup-simplify]: Simplify 1 into 1 6.280 * [backup-simplify]: Simplify (/ 1 1) into 1 6.280 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 6.280 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.280 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 6.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.281 * [backup-simplify]: Simplify (+ 1 0) into 1 6.281 * [backup-simplify]: Simplify 1 into 1 6.282 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 (- x))))) (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x))))))) into (- (+ (* 1.0 y) (* x y)) x) 6.282 * * * [progress]: simplifying candidates 6.282 * [simplify]: Simplifying: (expm1 (fma (+ x 1.0) y (- x))) (log1p (fma (+ x 1.0) y (- x))) (* (+ x 1.0) y) (log (fma (+ x 1.0) y (- x))) (exp (fma (+ x 1.0) y (- x))) (* (cbrt (fma (+ x 1.0) y (- x))) (cbrt (fma (+ x 1.0) y (- x)))) (cbrt (fma (+ x 1.0) y (- x))) (* (* (fma (+ x 1.0) y (- x)) (fma (+ x 1.0) y (- x))) (fma (+ x 1.0) y (- x))) (sqrt (fma (+ x 1.0) y (- x))) (sqrt (fma (+ x 1.0) y (- x))) (- (+ (* 1.0 y) (* x y)) x) (- (+ (* 1.0 y) (* x y)) x) (- (+ (* 1.0 y) (* x y)) x) 6.282 * * [simplify]: iteration 0: 20 enodes 6.285 * * [simplify]: iteration 1: 33 enodes 6.291 * * [simplify]: iteration 2: 86 enodes 6.320 * * [simplify]: iteration 3: 403 enodes 6.833 * * [simplify]: iteration 4: 2802 enodes 7.733 * * [simplify]: iteration complete: 5000 enodes 7.733 * * [simplify]: Extracting #0: cost 10 inf + 0 7.733 * * [simplify]: Extracting #1: cost 184 inf + 0 7.738 * * [simplify]: Extracting #2: cost 561 inf + 1454 7.759 * * [simplify]: Extracting #3: cost 246 inf + 74610 7.827 * * [simplify]: Extracting #4: cost 19 inf + 132477 7.942 * * [simplify]: Extracting #5: cost 0 inf + 136050 8.044 * * [simplify]: Extracting #6: cost 0 inf + 135975 8.149 * [simplify]: Simplified to: (expm1 (- (* (+ 1.0 x) y) x)) (log1p (- (* (+ 1.0 x) y) x)) (* (+ 1.0 x) y) (log (- (* (+ 1.0 x) y) x)) (exp (- (* (+ 1.0 x) y) x)) (* (cbrt (- (* (+ 1.0 x) y) x)) (cbrt (- (* (+ 1.0 x) y) x))) (cbrt (- (* (+ 1.0 x) y) x)) (* (* (- (* (+ 1.0 x) y) x) (- (* (+ 1.0 x) y) x)) (- (* (+ 1.0 x) y) x)) (sqrt (- (* (+ 1.0 x) y) x)) (sqrt (- (* (+ 1.0 x) y) x)) (- (* (+ 1.0 x) y) x) (- (* (+ 1.0 x) y) x) (- (* (+ 1.0 x) y) x) 8.150 * * * [progress]: adding candidates to table 8.199 * * [progress]: iteration 3 / 4 8.199 * * * [progress]: picking best candidate 8.203 * * * * [pick]: Picked # 8.203 * * * [progress]: localizing error 8.218 * * * [progress]: generating rewritten candidates 8.218 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 8.260 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 8.283 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 8.289 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 8.298 * * * [progress]: generating series expansions 8.298 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 8.299 * [backup-simplify]: Simplify (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) into (* y (+ x 1.0)) 8.299 * [approximate]: Taking taylor expansion of (* y (+ x 1.0)) in (x y) around 0 8.299 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in y 8.299 * [taylor]: Taking taylor expansion of y in y 8.299 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify 1 into 1 8.299 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 8.299 * [taylor]: Taking taylor expansion of x in y 8.299 * [backup-simplify]: Simplify x into x 8.299 * [taylor]: Taking taylor expansion of 1.0 in y 8.299 * [backup-simplify]: Simplify 1.0 into 1.0 8.299 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 8.299 * [taylor]: Taking taylor expansion of y in x 8.299 * [backup-simplify]: Simplify y into y 8.299 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 8.299 * [taylor]: Taking taylor expansion of x in x 8.299 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify 1 into 1 8.299 * [taylor]: Taking taylor expansion of 1.0 in x 8.299 * [backup-simplify]: Simplify 1.0 into 1.0 8.299 * [taylor]: Taking taylor expansion of (* y (+ x 1.0)) in x 8.299 * [taylor]: Taking taylor expansion of y in x 8.299 * [backup-simplify]: Simplify y into y 8.299 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 8.299 * [taylor]: Taking taylor expansion of x in x 8.299 * [backup-simplify]: Simplify 0 into 0 8.299 * [backup-simplify]: Simplify 1 into 1 8.299 * [taylor]: Taking taylor expansion of 1.0 in x 8.300 * [backup-simplify]: Simplify 1.0 into 1.0 8.300 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.301 * [backup-simplify]: Simplify (* y 1.0) into (* 1.0 y) 8.301 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 8.301 * [taylor]: Taking taylor expansion of 1.0 in y 8.301 * [backup-simplify]: Simplify 1.0 into 1.0 8.301 * [taylor]: Taking taylor expansion of y in y 8.301 * [backup-simplify]: Simplify 0 into 0 8.301 * [backup-simplify]: Simplify 1 into 1 8.301 * [backup-simplify]: Simplify (* 1.0 0) into 0 8.301 * [backup-simplify]: Simplify 0 into 0 8.302 * [backup-simplify]: Simplify (+ 1 0) into 1 8.302 * [backup-simplify]: Simplify (+ (* y 1) (* 0 1.0)) into y 8.302 * [taylor]: Taking taylor expansion of y in y 8.302 * [backup-simplify]: Simplify 0 into 0 8.302 * [backup-simplify]: Simplify 1 into 1 8.302 * [backup-simplify]: Simplify 0 into 0 8.304 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 0)) into 1.0 8.304 * [backup-simplify]: Simplify 1.0 into 1.0 8.305 * [backup-simplify]: Simplify (+ 0 0) into 0 8.305 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 1.0))) into 0 8.306 * [taylor]: Taking taylor expansion of 0 in y 8.306 * [backup-simplify]: Simplify 0 into 0 8.306 * [backup-simplify]: Simplify 0 into 0 8.306 * [backup-simplify]: Simplify 1 into 1 8.307 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 1) (* 0 0))) into 0 8.307 * [backup-simplify]: Simplify 0 into 0 8.307 * [backup-simplify]: Simplify (+ 0 0) into 0 8.309 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0)))) into 0 8.309 * [taylor]: Taking taylor expansion of 0 in y 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify 0 into 0 8.309 * [backup-simplify]: Simplify 0 into 0 8.310 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 8.310 * [backup-simplify]: Simplify 0 into 0 8.311 * [backup-simplify]: Simplify (+ 0 0) into 0 8.312 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 1.0))))) into 0 8.312 * [taylor]: Taking taylor expansion of 0 in y 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify 0 into 0 8.312 * [backup-simplify]: Simplify (+ (* 1 (* y x)) (* 1.0 (* y 1))) into (+ (* 1.0 y) (* x y)) 8.313 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) 1.0)) (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y))) into (/ (+ (/ 1 x) 1.0) y) 8.313 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (x y) around 0 8.313 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 8.313 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 8.313 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.313 * [taylor]: Taking taylor expansion of x in y 8.313 * [backup-simplify]: Simplify x into x 8.313 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.313 * [taylor]: Taking taylor expansion of 1.0 in y 8.313 * [backup-simplify]: Simplify 1.0 into 1.0 8.313 * [taylor]: Taking taylor expansion of y in y 8.313 * [backup-simplify]: Simplify 0 into 0 8.313 * [backup-simplify]: Simplify 1 into 1 8.313 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0) 8.313 * [backup-simplify]: Simplify (/ (+ (/ 1 x) 1.0) 1) into (+ (/ 1 x) 1.0) 8.313 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 8.313 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 8.313 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.314 * [taylor]: Taking taylor expansion of x in x 8.314 * [backup-simplify]: Simplify 0 into 0 8.314 * [backup-simplify]: Simplify 1 into 1 8.314 * [backup-simplify]: Simplify (/ 1 1) into 1 8.314 * [taylor]: Taking taylor expansion of 1.0 in x 8.314 * [backup-simplify]: Simplify 1.0 into 1.0 8.314 * [taylor]: Taking taylor expansion of y in x 8.314 * [backup-simplify]: Simplify y into y 8.315 * [backup-simplify]: Simplify (+ 1 0) into 1 8.315 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.315 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 8.315 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 8.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.315 * [taylor]: Taking taylor expansion of x in x 8.315 * [backup-simplify]: Simplify 0 into 0 8.315 * [backup-simplify]: Simplify 1 into 1 8.315 * [backup-simplify]: Simplify (/ 1 1) into 1 8.315 * [taylor]: Taking taylor expansion of 1.0 in x 8.315 * [backup-simplify]: Simplify 1.0 into 1.0 8.315 * [taylor]: Taking taylor expansion of y in x 8.315 * [backup-simplify]: Simplify y into y 8.316 * [backup-simplify]: Simplify (+ 1 0) into 1 8.316 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.316 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.316 * [taylor]: Taking taylor expansion of y in y 8.316 * [backup-simplify]: Simplify 0 into 0 8.316 * [backup-simplify]: Simplify 1 into 1 8.316 * [backup-simplify]: Simplify (/ 1 1) into 1 8.317 * [backup-simplify]: Simplify 1 into 1 8.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.318 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.318 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ 1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 8.318 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 8.318 * [taylor]: Taking taylor expansion of 1.0 in y 8.318 * [backup-simplify]: Simplify 1.0 into 1.0 8.319 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.319 * [taylor]: Taking taylor expansion of y in y 8.319 * [backup-simplify]: Simplify 0 into 0 8.319 * [backup-simplify]: Simplify 1 into 1 8.319 * [backup-simplify]: Simplify (/ 1 1) into 1 8.319 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.319 * [backup-simplify]: Simplify 1.0 into 1.0 8.320 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.320 * [backup-simplify]: Simplify 0 into 0 8.321 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.322 * [backup-simplify]: Simplify (+ 0 0) into 0 8.322 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 8.322 * [taylor]: Taking taylor expansion of 0 in y 8.322 * [backup-simplify]: Simplify 0 into 0 8.323 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.323 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.323 * [backup-simplify]: Simplify 0 into 0 8.324 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.324 * [backup-simplify]: Simplify 0 into 0 8.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.326 * [backup-simplify]: Simplify (+ 0 0) into 0 8.326 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.326 * [taylor]: Taking taylor expansion of 0 in y 8.326 * [backup-simplify]: Simplify 0 into 0 8.326 * [backup-simplify]: Simplify 0 into 0 8.327 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.328 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.328 * [backup-simplify]: Simplify 0 into 0 8.329 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.329 * [backup-simplify]: Simplify 0 into 0 8.330 * [backup-simplify]: Simplify (+ (* 1.0 (* (/ 1 (/ 1 y)) 1)) (* 1 (* (/ 1 (/ 1 y)) (/ 1 (/ 1 x))))) into (+ (* 1.0 y) (* x y)) 8.330 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) 1.0)) (* (sqrt (+ (/ 1 (- x)) 1.0)) (/ 1 (- y)))) into (* -1 (/ (- 1.0 (/ 1 x)) y)) 8.330 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0 8.330 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 8.330 * [taylor]: Taking taylor expansion of -1 in y 8.330 * [backup-simplify]: Simplify -1 into -1 8.330 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 8.330 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 8.330 * [taylor]: Taking taylor expansion of 1.0 in y 8.330 * [backup-simplify]: Simplify 1.0 into 1.0 8.330 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.330 * [taylor]: Taking taylor expansion of x in y 8.330 * [backup-simplify]: Simplify x into x 8.330 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.330 * [taylor]: Taking taylor expansion of y in y 8.330 * [backup-simplify]: Simplify 0 into 0 8.331 * [backup-simplify]: Simplify 1 into 1 8.331 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 8.331 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 8.331 * [backup-simplify]: Simplify (/ (- 1.0 (/ 1 x)) 1) into (- 1.0 (/ 1 x)) 8.331 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 8.331 * [taylor]: Taking taylor expansion of -1 in x 8.331 * [backup-simplify]: Simplify -1 into -1 8.331 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 8.331 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 8.331 * [taylor]: Taking taylor expansion of 1.0 in x 8.331 * [backup-simplify]: Simplify 1.0 into 1.0 8.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.331 * [taylor]: Taking taylor expansion of x in x 8.331 * [backup-simplify]: Simplify 0 into 0 8.331 * [backup-simplify]: Simplify 1 into 1 8.332 * [backup-simplify]: Simplify (/ 1 1) into 1 8.332 * [taylor]: Taking taylor expansion of y in x 8.332 * [backup-simplify]: Simplify y into y 8.332 * [backup-simplify]: Simplify (- 1) into -1 8.332 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.333 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.333 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 8.333 * [taylor]: Taking taylor expansion of -1 in x 8.333 * [backup-simplify]: Simplify -1 into -1 8.333 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 8.333 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 8.333 * [taylor]: Taking taylor expansion of 1.0 in x 8.333 * [backup-simplify]: Simplify 1.0 into 1.0 8.333 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.333 * [taylor]: Taking taylor expansion of x in x 8.333 * [backup-simplify]: Simplify 0 into 0 8.333 * [backup-simplify]: Simplify 1 into 1 8.333 * [backup-simplify]: Simplify (/ 1 1) into 1 8.333 * [taylor]: Taking taylor expansion of y in x 8.333 * [backup-simplify]: Simplify y into y 8.334 * [backup-simplify]: Simplify (- 1) into -1 8.334 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.334 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 8.334 * [backup-simplify]: Simplify (* -1 (/ -1 y)) into (/ 1 y) 8.334 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.334 * [taylor]: Taking taylor expansion of y in y 8.334 * [backup-simplify]: Simplify 0 into 0 8.334 * [backup-simplify]: Simplify 1 into 1 8.335 * [backup-simplify]: Simplify (/ 1 1) into 1 8.335 * [backup-simplify]: Simplify 1 into 1 8.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.336 * [backup-simplify]: Simplify (- 0) into 0 8.336 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.337 * [backup-simplify]: Simplify (- (/ 1.0 y) (+ (* (/ -1 y) (/ 0 y)))) into (* 1.0 (/ 1 y)) 8.337 * [backup-simplify]: Simplify (+ (* -1 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))) into (- (* 1.0 (/ 1 y))) 8.337 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y))) in y 8.337 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 8.337 * [taylor]: Taking taylor expansion of 1.0 in y 8.337 * [backup-simplify]: Simplify 1.0 into 1.0 8.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.337 * [taylor]: Taking taylor expansion of y in y 8.337 * [backup-simplify]: Simplify 0 into 0 8.337 * [backup-simplify]: Simplify 1 into 1 8.337 * [backup-simplify]: Simplify (/ 1 1) into 1 8.338 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.338 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.339 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.339 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.339 * [backup-simplify]: Simplify 0 into 0 8.340 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.341 * [backup-simplify]: Simplify (- 0) into 0 8.341 * [backup-simplify]: Simplify (+ 0 0) into 0 8.341 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)))) into 0 8.342 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y)))) into 0 8.342 * [taylor]: Taking taylor expansion of 0 in y 8.342 * [backup-simplify]: Simplify 0 into 0 8.343 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.344 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.344 * [backup-simplify]: Simplify (- 0) into 0 8.344 * [backup-simplify]: Simplify 0 into 0 8.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.345 * [backup-simplify]: Simplify 0 into 0 8.346 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.346 * [backup-simplify]: Simplify (- 0) into 0 8.346 * [backup-simplify]: Simplify (+ 0 0) into 0 8.347 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -1 y) (/ 0 y)) (* (* 1.0 (/ 1 y)) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.348 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 (* 1.0 (/ 1 y))) (* 0 (/ -1 y))))) into 0 8.348 * [taylor]: Taking taylor expansion of 0 in y 8.348 * [backup-simplify]: Simplify 0 into 0 8.348 * [backup-simplify]: Simplify 0 into 0 8.349 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.350 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.350 * [backup-simplify]: Simplify (- 0) into 0 8.350 * [backup-simplify]: Simplify 0 into 0 8.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.351 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify (+ (* (- 1.0) (* (/ 1 (/ 1 (- y))) 1)) (* 1 (* (/ 1 (/ 1 (- y))) (/ 1 (/ 1 (- x)))))) into (+ (* 1.0 y) (* x y)) 8.352 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 8.352 * [backup-simplify]: Simplify (* (sqrt (+ x 1.0)) y) into (* y (sqrt (+ x 1.0))) 8.352 * [approximate]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in (x y) around 0 8.352 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in y 8.352 * [taylor]: Taking taylor expansion of y in y 8.352 * [backup-simplify]: Simplify 0 into 0 8.352 * [backup-simplify]: Simplify 1 into 1 8.352 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in y 8.352 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 8.352 * [taylor]: Taking taylor expansion of x in y 8.352 * [backup-simplify]: Simplify x into x 8.352 * [taylor]: Taking taylor expansion of 1.0 in y 8.352 * [backup-simplify]: Simplify 1.0 into 1.0 8.352 * [backup-simplify]: Simplify (+ x 1.0) into (+ x 1.0) 8.353 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0)) 8.353 * [backup-simplify]: Simplify (+ 0 0) into 0 8.353 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ x 1.0)))) into 0 8.353 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in x 8.353 * [taylor]: Taking taylor expansion of y in x 8.353 * [backup-simplify]: Simplify y into y 8.353 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 8.353 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 8.353 * [taylor]: Taking taylor expansion of x in x 8.353 * [backup-simplify]: Simplify 0 into 0 8.353 * [backup-simplify]: Simplify 1 into 1 8.353 * [taylor]: Taking taylor expansion of 1.0 in x 8.353 * [backup-simplify]: Simplify 1.0 into 1.0 8.354 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.354 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.355 * [backup-simplify]: Simplify (+ 1 0) into 1 8.356 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 8.356 * [taylor]: Taking taylor expansion of (* y (sqrt (+ x 1.0))) in x 8.356 * [taylor]: Taking taylor expansion of y in x 8.356 * [backup-simplify]: Simplify y into y 8.356 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 8.356 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 8.356 * [taylor]: Taking taylor expansion of x in x 8.356 * [backup-simplify]: Simplify 0 into 0 8.356 * [backup-simplify]: Simplify 1 into 1 8.357 * [taylor]: Taking taylor expansion of 1.0 in x 8.357 * [backup-simplify]: Simplify 1.0 into 1.0 8.357 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.357 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.358 * [backup-simplify]: Simplify (+ 1 0) into 1 8.359 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 8.360 * [backup-simplify]: Simplify (* y (sqrt 1.0)) into (* (sqrt 1.0) y) 8.360 * [taylor]: Taking taylor expansion of (* (sqrt 1.0) y) in y 8.360 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 8.360 * [taylor]: Taking taylor expansion of 1.0 in y 8.360 * [backup-simplify]: Simplify 1.0 into 1.0 8.360 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.361 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 8.361 * [taylor]: Taking taylor expansion of y in y 8.361 * [backup-simplify]: Simplify 0 into 0 8.361 * [backup-simplify]: Simplify 1 into 1 8.362 * [backup-simplify]: Simplify (* (sqrt 1.0) 0) into 0 8.362 * [backup-simplify]: Simplify 0 into 0 8.363 * [backup-simplify]: Simplify (+ (* y (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0))) into (* 1/2 (/ y (sqrt 1.0))) 8.363 * [taylor]: Taking taylor expansion of (* 1/2 (/ y (sqrt 1.0))) in y 8.363 * [taylor]: Taking taylor expansion of 1/2 in y 8.363 * [backup-simplify]: Simplify 1/2 into 1/2 8.363 * [taylor]: Taking taylor expansion of (/ y (sqrt 1.0)) in y 8.363 * [taylor]: Taking taylor expansion of y in y 8.364 * [backup-simplify]: Simplify 0 into 0 8.364 * [backup-simplify]: Simplify 1 into 1 8.364 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 8.364 * [taylor]: Taking taylor expansion of 1.0 in y 8.364 * [backup-simplify]: Simplify 1.0 into 1.0 8.364 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.365 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 8.366 * [backup-simplify]: Simplify (/ 1 (sqrt 1.0)) into (/ 1 (sqrt 1.0)) 8.368 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 1) (* 0 0)) into (sqrt 1.0) 8.368 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.369 * [backup-simplify]: Simplify (+ 0 0) into 0 8.374 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 8.377 * [backup-simplify]: Simplify (+ (* y (/ -1/8 (pow (sqrt 1.0) 3))) (+ (* 0 (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0)))) into (- (* 1/8 (/ y (pow (sqrt 1.0) 3)))) 8.377 * [taylor]: Taking taylor expansion of (- (* 1/8 (/ y (pow (sqrt 1.0) 3)))) in y 8.377 * [taylor]: Taking taylor expansion of (* 1/8 (/ y (pow (sqrt 1.0) 3))) in y 8.377 * [taylor]: Taking taylor expansion of 1/8 in y 8.377 * [backup-simplify]: Simplify 1/8 into 1/8 8.377 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 1.0) 3)) in y 8.377 * [taylor]: Taking taylor expansion of y in y 8.377 * [backup-simplify]: Simplify 0 into 0 8.377 * [backup-simplify]: Simplify 1 into 1 8.377 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 3) in y 8.377 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 8.377 * [taylor]: Taking taylor expansion of 1.0 in y 8.377 * [backup-simplify]: Simplify 1.0 into 1.0 8.377 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.382 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 8.384 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2) 8.386 * [backup-simplify]: Simplify (* (sqrt 1.0) (pow (sqrt 1.0) 2)) into (pow (sqrt 1.0) 3) 8.388 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 3)) into (/ 1 (pow (sqrt 1.0) 3)) 8.389 * [backup-simplify]: Simplify (* 1/2 (/ 1 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 8.390 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0)) 8.391 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 1.0))) into 0 8.392 * [backup-simplify]: Simplify (+ (* (sqrt 1.0) 0) (+ (* 0 1) (* 0 0))) into 0 8.393 * [backup-simplify]: Simplify 0 into 0 8.393 * [backup-simplify]: Simplify (+ 0 0) into 0 8.405 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* (/ 1/2 (sqrt 1.0)) (/ -1/8 (pow (sqrt 1.0) 3)))))) (* 2 (sqrt 1.0))) into (/ 1/16 (pow (sqrt 1.0) 5)) 8.409 * [backup-simplify]: Simplify (+ (* y (/ 1/16 (pow (sqrt 1.0) 5))) (+ (* 0 (/ -1/8 (pow (sqrt 1.0) 3))) (+ (* 0 (/ 1/2 (sqrt 1.0))) (* 0 (sqrt 1.0))))) into (* 1/16 (/ y (pow (sqrt 1.0) 5))) 8.409 * [taylor]: Taking taylor expansion of (* 1/16 (/ y (pow (sqrt 1.0) 5))) in y 8.409 * [taylor]: Taking taylor expansion of 1/16 in y 8.409 * [backup-simplify]: Simplify 1/16 into 1/16 8.409 * [taylor]: Taking taylor expansion of (/ y (pow (sqrt 1.0) 5)) in y 8.409 * [taylor]: Taking taylor expansion of y in y 8.409 * [backup-simplify]: Simplify 0 into 0 8.409 * [backup-simplify]: Simplify 1 into 1 8.409 * [taylor]: Taking taylor expansion of (pow (sqrt 1.0) 5) in y 8.409 * [taylor]: Taking taylor expansion of (sqrt 1.0) in y 8.409 * [taylor]: Taking taylor expansion of 1.0 in y 8.409 * [backup-simplify]: Simplify 1.0 into 1.0 8.410 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.411 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 1.0))) into 0 8.412 * [backup-simplify]: Simplify (* (sqrt 1.0) (sqrt 1.0)) into (pow (sqrt 1.0) 2) 8.415 * [backup-simplify]: Simplify (* (pow (sqrt 1.0) 2) (pow (sqrt 1.0) 2)) into (pow (sqrt 1.0) 4) 8.417 * [backup-simplify]: Simplify (* (sqrt 1.0) (pow (sqrt 1.0) 4)) into (pow (sqrt 1.0) 5) 8.419 * [backup-simplify]: Simplify (/ 1 (pow (sqrt 1.0) 5)) into (/ 1 (pow (sqrt 1.0) 5)) 8.422 * [backup-simplify]: Simplify (* 1/8 (/ 1 (pow (sqrt 1.0) 3))) into (/ 1/8 (pow (sqrt 1.0) 3)) 8.424 * [backup-simplify]: Simplify (- (/ 1/8 (pow (sqrt 1.0) 3))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 8.428 * [backup-simplify]: Simplify (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) into (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) 8.434 * [backup-simplify]: Simplify (+ (* (- (* 1/8 (/ 1 (pow (sqrt 1.0) 3)))) (* y (pow x 2))) (+ (* (/ 1/2 (sqrt 1.0)) (* y x)) (* (sqrt 1.0) (* y 1)))) into (- (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* (sqrt 1.0) y)) (* 1/8 (/ (* (pow x 2) y) (pow (sqrt 1.0) 3)))) 8.434 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y)) into (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y)) 8.434 * [approximate]: Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y)) in (x y) around 0 8.434 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y)) in y 8.434 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in y 8.434 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 8.434 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.434 * [taylor]: Taking taylor expansion of x in y 8.434 * [backup-simplify]: Simplify x into x 8.435 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.435 * [taylor]: Taking taylor expansion of 1.0 in y 8.435 * [backup-simplify]: Simplify 1.0 into 1.0 8.435 * [backup-simplify]: Simplify (+ (/ 1 x) 1.0) into (+ (/ 1 x) 1.0) 8.435 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ (/ 1 x) 1.0)) 8.435 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.435 * [backup-simplify]: Simplify (+ 0 0) into 0 8.435 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (+ (/ 1 x) 1.0)))) into 0 8.436 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.436 * [taylor]: Taking taylor expansion of y in y 8.436 * [backup-simplify]: Simplify 0 into 0 8.436 * [backup-simplify]: Simplify 1 into 1 8.436 * [backup-simplify]: Simplify (/ 1 1) into 1 8.436 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y)) in x 8.436 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 8.436 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 8.436 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.436 * [taylor]: Taking taylor expansion of x in x 8.436 * [backup-simplify]: Simplify 0 into 0 8.436 * [backup-simplify]: Simplify 1 into 1 8.437 * [backup-simplify]: Simplify (/ 1 1) into 1 8.437 * [taylor]: Taking taylor expansion of 1.0 in x 8.437 * [backup-simplify]: Simplify 1.0 into 1.0 8.437 * [backup-simplify]: Simplify (+ 1 0) into 1 8.437 * [backup-simplify]: Simplify (sqrt 0) into 0 8.439 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.439 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.439 * [taylor]: Taking taylor expansion of y in x 8.439 * [backup-simplify]: Simplify y into y 8.439 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.439 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 x) 1.0)) (/ 1 y)) in x 8.439 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 8.439 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 8.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.439 * [taylor]: Taking taylor expansion of x in x 8.439 * [backup-simplify]: Simplify 0 into 0 8.439 * [backup-simplify]: Simplify 1 into 1 8.440 * [backup-simplify]: Simplify (/ 1 1) into 1 8.440 * [taylor]: Taking taylor expansion of 1.0 in x 8.440 * [backup-simplify]: Simplify 1.0 into 1.0 8.440 * [backup-simplify]: Simplify (+ 1 0) into 1 8.441 * [backup-simplify]: Simplify (sqrt 0) into 0 8.442 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.442 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.442 * [taylor]: Taking taylor expansion of y in x 8.442 * [backup-simplify]: Simplify y into y 8.442 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.442 * [backup-simplify]: Simplify (* 0 (/ 1 y)) into 0 8.442 * [taylor]: Taking taylor expansion of 0 in y 8.442 * [backup-simplify]: Simplify 0 into 0 8.442 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.443 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (/ 1 y))) into (- (* +nan.0 (/ 1 y))) 8.443 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 8.443 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.443 * [taylor]: Taking taylor expansion of +nan.0 in y 8.443 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.443 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.443 * [taylor]: Taking taylor expansion of y in y 8.443 * [backup-simplify]: Simplify 0 into 0 8.443 * [backup-simplify]: Simplify 1 into 1 8.443 * [backup-simplify]: Simplify (/ 1 1) into 1 8.444 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.444 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.445 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.445 * [backup-simplify]: Simplify 0 into 0 8.445 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.446 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.449 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.450 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y))) 8.450 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 8.450 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.450 * [taylor]: Taking taylor expansion of +nan.0 in y 8.450 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.450 * [taylor]: Taking taylor expansion of y in y 8.450 * [backup-simplify]: Simplify 0 into 0 8.450 * [backup-simplify]: Simplify 1 into 1 8.451 * [backup-simplify]: Simplify (/ 1 1) into 1 8.451 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.451 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.452 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.453 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 8.453 * [backup-simplify]: Simplify (- 0) into 0 8.454 * [backup-simplify]: Simplify 0 into 0 8.454 * [backup-simplify]: Simplify 0 into 0 8.454 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.455 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.455 * [backup-simplify]: Simplify (+ 0 0) into 0 8.459 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 8.460 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y))))) into (- (* +nan.0 (/ 1 y))) 8.460 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 8.460 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.460 * [taylor]: Taking taylor expansion of +nan.0 in y 8.460 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.460 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.460 * [taylor]: Taking taylor expansion of y in y 8.460 * [backup-simplify]: Simplify 0 into 0 8.460 * [backup-simplify]: Simplify 1 into 1 8.461 * [backup-simplify]: Simplify (/ 1 1) into 1 8.461 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.462 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.462 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.464 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (pow (/ 1 x) 2))) (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (/ 1 x))) (* (- +nan.0) (* (/ 1 (/ 1 y)) 1)))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) 8.464 * [backup-simplify]: Simplify (* (sqrt (+ (/ 1 (- x)) 1.0)) (/ 1 (- y))) into (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) 8.464 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in (x y) around 0 8.464 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in y 8.464 * [taylor]: Taking taylor expansion of -1 in y 8.464 * [backup-simplify]: Simplify -1 into -1 8.464 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in y 8.464 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in y 8.464 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 8.465 * [taylor]: Taking taylor expansion of 1.0 in y 8.465 * [backup-simplify]: Simplify 1.0 into 1.0 8.465 * [taylor]: Taking taylor expansion of (/ 1 x) in y 8.465 * [taylor]: Taking taylor expansion of x in y 8.465 * [backup-simplify]: Simplify x into x 8.465 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 8.465 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x)) 8.465 * [backup-simplify]: Simplify (+ 1.0 (- (/ 1 x))) into (- 1.0 (/ 1 x)) 8.465 * [backup-simplify]: Simplify (sqrt (- 1.0 (/ 1 x))) into (sqrt (- 1.0 (/ 1 x))) 8.465 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 8.466 * [backup-simplify]: Simplify (- 0) into 0 8.466 * [backup-simplify]: Simplify (+ 0 0) into 0 8.466 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (- 1.0 (/ 1 x))))) into 0 8.466 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.466 * [taylor]: Taking taylor expansion of y in y 8.466 * [backup-simplify]: Simplify 0 into 0 8.466 * [backup-simplify]: Simplify 1 into 1 8.467 * [backup-simplify]: Simplify (/ 1 1) into 1 8.467 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in x 8.467 * [taylor]: Taking taylor expansion of -1 in x 8.467 * [backup-simplify]: Simplify -1 into -1 8.467 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in x 8.467 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 8.467 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 8.467 * [taylor]: Taking taylor expansion of 1.0 in x 8.467 * [backup-simplify]: Simplify 1.0 into 1.0 8.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.467 * [taylor]: Taking taylor expansion of x in x 8.467 * [backup-simplify]: Simplify 0 into 0 8.467 * [backup-simplify]: Simplify 1 into 1 8.467 * [backup-simplify]: Simplify (/ 1 1) into 1 8.468 * [backup-simplify]: Simplify (- 1) into -1 8.468 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.469 * [backup-simplify]: Simplify (sqrt 0) into 0 8.470 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.470 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.470 * [taylor]: Taking taylor expansion of y in x 8.470 * [backup-simplify]: Simplify y into y 8.470 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.470 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y))) in x 8.470 * [taylor]: Taking taylor expansion of -1 in x 8.470 * [backup-simplify]: Simplify -1 into -1 8.470 * [taylor]: Taking taylor expansion of (* (sqrt (- 1.0 (/ 1 x))) (/ 1 y)) in x 8.470 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 8.470 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 8.470 * [taylor]: Taking taylor expansion of 1.0 in x 8.470 * [backup-simplify]: Simplify 1.0 into 1.0 8.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.470 * [taylor]: Taking taylor expansion of x in x 8.470 * [backup-simplify]: Simplify 0 into 0 8.470 * [backup-simplify]: Simplify 1 into 1 8.471 * [backup-simplify]: Simplify (/ 1 1) into 1 8.471 * [backup-simplify]: Simplify (- 1) into -1 8.472 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.472 * [backup-simplify]: Simplify (sqrt 0) into 0 8.473 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.473 * [taylor]: Taking taylor expansion of (/ 1 y) in x 8.473 * [taylor]: Taking taylor expansion of y in x 8.473 * [backup-simplify]: Simplify y into y 8.474 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 8.474 * [backup-simplify]: Simplify (* 0 (/ 1 y)) into 0 8.474 * [backup-simplify]: Simplify (* -1 0) into 0 8.474 * [taylor]: Taking taylor expansion of 0 in y 8.474 * [backup-simplify]: Simplify 0 into 0 8.474 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 8.475 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (/ 1 y))) into (- (* +nan.0 (/ 1 y))) 8.475 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (* 0 0)) into (- (* +nan.0 (/ 1 y))) 8.475 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 8.475 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.475 * [taylor]: Taking taylor expansion of +nan.0 in y 8.475 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.476 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.476 * [taylor]: Taking taylor expansion of y in y 8.476 * [backup-simplify]: Simplify 0 into 0 8.476 * [backup-simplify]: Simplify 1 into 1 8.476 * [backup-simplify]: Simplify (/ 1 1) into 1 8.476 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.477 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.477 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.477 * [backup-simplify]: Simplify 0 into 0 8.477 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.478 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.479 * [backup-simplify]: Simplify (- 0) into 0 8.479 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.483 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.483 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y))) 8.484 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (* 0 0))) into (- (* +nan.0 (/ 1 y))) 8.484 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 8.484 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.484 * [taylor]: Taking taylor expansion of +nan.0 in y 8.484 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.484 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.484 * [taylor]: Taking taylor expansion of y in y 8.484 * [backup-simplify]: Simplify 0 into 0 8.484 * [backup-simplify]: Simplify 1 into 1 8.485 * [backup-simplify]: Simplify (/ 1 1) into 1 8.485 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.486 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.486 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.488 * [backup-simplify]: Simplify (+ (* +nan.0 0) (* 0 1)) into 0 8.488 * [backup-simplify]: Simplify (- 0) into 0 8.488 * [backup-simplify]: Simplify 0 into 0 8.488 * [backup-simplify]: Simplify 0 into 0 8.488 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 8.489 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.489 * [backup-simplify]: Simplify (- 0) into 0 8.490 * [backup-simplify]: Simplify (+ 0 0) into 0 8.493 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 8.495 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y))))) into (- (* +nan.0 (/ 1 y))) 8.495 * [backup-simplify]: Simplify (+ (* -1 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (+ (* 0 (- (* +nan.0 (/ 1 y)))) (* 0 0)))) into (- (* +nan.0 (/ 1 y))) 8.495 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y 8.495 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y 8.495 * [taylor]: Taking taylor expansion of +nan.0 in y 8.495 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.495 * [taylor]: Taking taylor expansion of (/ 1 y) in y 8.495 * [taylor]: Taking taylor expansion of y in y 8.495 * [backup-simplify]: Simplify 0 into 0 8.495 * [backup-simplify]: Simplify 1 into 1 8.496 * [backup-simplify]: Simplify (/ 1 1) into 1 8.496 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0 8.496 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.497 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 8.498 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (pow (/ 1 (- x)) 2))) (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))) (* (- +nan.0) (* (/ 1 (/ 1 (- y))) 1)))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) 8.499 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 8.499 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0)) 8.499 * [approximate]: Taking taylor expansion of (sqrt (+ x 1.0)) in (x) around 0 8.499 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 8.499 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 8.499 * [taylor]: Taking taylor expansion of x in x 8.499 * [backup-simplify]: Simplify 0 into 0 8.499 * [backup-simplify]: Simplify 1 into 1 8.499 * [taylor]: Taking taylor expansion of 1.0 in x 8.499 * [backup-simplify]: Simplify 1.0 into 1.0 8.499 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.500 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.500 * [backup-simplify]: Simplify (+ 1 0) into 1 8.501 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 8.502 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 8.502 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 8.502 * [taylor]: Taking taylor expansion of x in x 8.502 * [backup-simplify]: Simplify 0 into 0 8.502 * [backup-simplify]: Simplify 1 into 1 8.502 * [taylor]: Taking taylor expansion of 1.0 in x 8.502 * [backup-simplify]: Simplify 1.0 into 1.0 8.502 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.502 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.503 * [backup-simplify]: Simplify (+ 1 0) into 1 8.504 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 8.505 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.506 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0)) 8.506 * [backup-simplify]: Simplify (+ 0 0) into 0 8.511 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 8.512 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3)) 8.515 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 2)) (+ (* (/ 1/2 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) 8.515 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ (/ 1 x) 1.0)) 8.515 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in (x) around 0 8.515 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 8.515 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 8.515 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.515 * [taylor]: Taking taylor expansion of x in x 8.515 * [backup-simplify]: Simplify 0 into 0 8.515 * [backup-simplify]: Simplify 1 into 1 8.516 * [backup-simplify]: Simplify (/ 1 1) into 1 8.516 * [taylor]: Taking taylor expansion of 1.0 in x 8.516 * [backup-simplify]: Simplify 1.0 into 1.0 8.516 * [backup-simplify]: Simplify (+ 1 0) into 1 8.517 * [backup-simplify]: Simplify (sqrt 0) into 0 8.518 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.518 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 8.518 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 8.518 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.518 * [taylor]: Taking taylor expansion of x in x 8.518 * [backup-simplify]: Simplify 0 into 0 8.518 * [backup-simplify]: Simplify 1 into 1 8.519 * [backup-simplify]: Simplify (/ 1 1) into 1 8.519 * [taylor]: Taking taylor expansion of 1.0 in x 8.519 * [backup-simplify]: Simplify 1.0 into 1.0 8.519 * [backup-simplify]: Simplify (+ 1 0) into 1 8.520 * [backup-simplify]: Simplify (sqrt 0) into 0 8.521 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.521 * [backup-simplify]: Simplify 0 into 0 8.521 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.522 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.530 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.530 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.532 * [backup-simplify]: Simplify (+ 0 0) into 0 8.536 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 8.536 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.536 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 8.536 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) 1.0)) into (sqrt (- 1.0 (/ 1 x))) 8.537 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in (x) around 0 8.537 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 8.537 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 8.537 * [taylor]: Taking taylor expansion of 1.0 in x 8.537 * [backup-simplify]: Simplify 1.0 into 1.0 8.537 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.537 * [taylor]: Taking taylor expansion of x in x 8.537 * [backup-simplify]: Simplify 0 into 0 8.537 * [backup-simplify]: Simplify 1 into 1 8.537 * [backup-simplify]: Simplify (/ 1 1) into 1 8.538 * [backup-simplify]: Simplify (- 1) into -1 8.538 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.538 * [backup-simplify]: Simplify (sqrt 0) into 0 8.540 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.540 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 8.540 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 8.540 * [taylor]: Taking taylor expansion of 1.0 in x 8.540 * [backup-simplify]: Simplify 1.0 into 1.0 8.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.540 * [taylor]: Taking taylor expansion of x in x 8.540 * [backup-simplify]: Simplify 0 into 0 8.540 * [backup-simplify]: Simplify 1 into 1 8.540 * [backup-simplify]: Simplify (/ 1 1) into 1 8.541 * [backup-simplify]: Simplify (- 1) into -1 8.541 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.542 * [backup-simplify]: Simplify (sqrt 0) into 0 8.543 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.543 * [backup-simplify]: Simplify 0 into 0 8.543 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.544 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.544 * [backup-simplify]: Simplify (- 0) into 0 8.545 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.548 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.548 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.549 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.549 * [backup-simplify]: Simplify (- 0) into 0 8.550 * [backup-simplify]: Simplify (+ 0 0) into 0 8.554 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 8.554 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.554 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 8.554 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 8.555 * [backup-simplify]: Simplify (sqrt (+ x 1.0)) into (sqrt (+ x 1.0)) 8.555 * [approximate]: Taking taylor expansion of (sqrt (+ x 1.0)) in (x) around 0 8.555 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 8.555 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 8.555 * [taylor]: Taking taylor expansion of x in x 8.555 * [backup-simplify]: Simplify 0 into 0 8.555 * [backup-simplify]: Simplify 1 into 1 8.555 * [taylor]: Taking taylor expansion of 1.0 in x 8.555 * [backup-simplify]: Simplify 1.0 into 1.0 8.555 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.556 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.556 * [backup-simplify]: Simplify (+ 1 0) into 1 8.558 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 8.558 * [taylor]: Taking taylor expansion of (sqrt (+ x 1.0)) in x 8.558 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 8.558 * [taylor]: Taking taylor expansion of x in x 8.558 * [backup-simplify]: Simplify 0 into 0 8.558 * [backup-simplify]: Simplify 1 into 1 8.558 * [taylor]: Taking taylor expansion of 1.0 in x 8.558 * [backup-simplify]: Simplify 1.0 into 1.0 8.558 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.559 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.559 * [backup-simplify]: Simplify (+ 1 0) into 1 8.561 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 1.0))) into (/ 1/2 (sqrt 1.0)) 8.561 * [backup-simplify]: Simplify (sqrt 1.0) into (sqrt 1.0) 8.562 * [backup-simplify]: Simplify (/ 1/2 (sqrt 1.0)) into (/ 1/2 (sqrt 1.0)) 8.562 * [backup-simplify]: Simplify (+ 0 0) into 0 8.568 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt 1.0)) 2) (+)) (* 2 (sqrt 1.0))) into (/ -1/8 (pow (sqrt 1.0) 3)) 8.569 * [backup-simplify]: Simplify (/ -1/8 (pow (sqrt 1.0) 3)) into (/ -1/8 (pow (sqrt 1.0) 3)) 8.573 * [backup-simplify]: Simplify (+ (* (/ -1/8 (pow (sqrt 1.0) 3)) (pow x 2)) (+ (* (/ 1/2 (sqrt 1.0)) x) (sqrt 1.0))) into (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) 8.573 * [backup-simplify]: Simplify (sqrt (+ (/ 1 x) 1.0)) into (sqrt (+ (/ 1 x) 1.0)) 8.573 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in (x) around 0 8.573 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 8.573 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 8.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.573 * [taylor]: Taking taylor expansion of x in x 8.573 * [backup-simplify]: Simplify 0 into 0 8.573 * [backup-simplify]: Simplify 1 into 1 8.573 * [backup-simplify]: Simplify (/ 1 1) into 1 8.573 * [taylor]: Taking taylor expansion of 1.0 in x 8.573 * [backup-simplify]: Simplify 1.0 into 1.0 8.574 * [backup-simplify]: Simplify (+ 1 0) into 1 8.574 * [backup-simplify]: Simplify (sqrt 0) into 0 8.575 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.575 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 x) 1.0)) in x 8.576 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 8.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.576 * [taylor]: Taking taylor expansion of x in x 8.576 * [backup-simplify]: Simplify 0 into 0 8.576 * [backup-simplify]: Simplify 1 into 1 8.576 * [backup-simplify]: Simplify (/ 1 1) into 1 8.576 * [taylor]: Taking taylor expansion of 1.0 in x 8.576 * [backup-simplify]: Simplify 1.0 into 1.0 8.577 * [backup-simplify]: Simplify (+ 1 0) into 1 8.577 * [backup-simplify]: Simplify (sqrt 0) into 0 8.578 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0 8.578 * [backup-simplify]: Simplify 0 into 0 8.578 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.579 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.580 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 8.583 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.583 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.584 * [backup-simplify]: Simplify (+ 0 0) into 0 8.588 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 8.588 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.588 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 2)) (+ (* +nan.0 (/ 1 x)) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 8.588 * [backup-simplify]: Simplify (sqrt (+ (/ 1 (- x)) 1.0)) into (sqrt (- 1.0 (/ 1 x))) 8.588 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in (x) around 0 8.588 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 8.588 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 8.588 * [taylor]: Taking taylor expansion of 1.0 in x 8.588 * [backup-simplify]: Simplify 1.0 into 1.0 8.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.588 * [taylor]: Taking taylor expansion of x in x 8.588 * [backup-simplify]: Simplify 0 into 0 8.589 * [backup-simplify]: Simplify 1 into 1 8.589 * [backup-simplify]: Simplify (/ 1 1) into 1 8.590 * [backup-simplify]: Simplify (- 1) into -1 8.590 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.590 * [backup-simplify]: Simplify (sqrt 0) into 0 8.592 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.592 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 x))) in x 8.592 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 8.592 * [taylor]: Taking taylor expansion of 1.0 in x 8.592 * [backup-simplify]: Simplify 1.0 into 1.0 8.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 8.592 * [taylor]: Taking taylor expansion of x in x 8.592 * [backup-simplify]: Simplify 0 into 0 8.592 * [backup-simplify]: Simplify 1 into 1 8.592 * [backup-simplify]: Simplify (/ 1 1) into 1 8.593 * [backup-simplify]: Simplify (- 1) into -1 8.593 * [backup-simplify]: Simplify (+ 0 -1) into -1 8.594 * [backup-simplify]: Simplify (sqrt 0) into 0 8.595 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 8.595 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.596 * [backup-simplify]: Simplify (- 0) into 0 8.597 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 8.600 * [backup-simplify]: Simplify (/ (- 1.0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 8.600 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.601 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.601 * [backup-simplify]: Simplify (- 0) into 0 8.602 * [backup-simplify]: Simplify (+ 0 0) into 0 8.606 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 8.606 * [backup-simplify]: Simplify +nan.0 into +nan.0 8.606 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 8.606 * * * [progress]: simplifying candidates 8.609 * [simplify]: Simplifying: (expm1 (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (log1p (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (+ (log (sqrt (+ x 1.0))) (+ (log (sqrt (+ x 1.0))) (log y))) (+ (log (sqrt (+ x 1.0))) (log (* (sqrt (+ x 1.0)) y))) (log (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (exp (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* y y) y))) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y))) (* (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)))) (cbrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (* (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (sqrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (sqrt (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (- x 1.0))) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (- x 1.0)) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (- x 1.0)) (sqrt (- x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (cbrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y)) (* (sqrt (+ x 1.0)) (* (sqrt (- (* x x) (* 1.0 1.0))) y)) (* (sqrt (+ (pow x 3) (pow 1.0 3))) (* (sqrt (+ x 1.0)) y)) (* (sqrt (- (* x x) (* 1.0 1.0))) (* (sqrt (+ x 1.0)) y)) (expm1 (* (sqrt (+ x 1.0)) y)) (log1p (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y) (+ (log (sqrt (+ x 1.0))) (log y)) (log (* (sqrt (+ x 1.0)) y)) (exp (* (sqrt (+ x 1.0)) y)) (* (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (* (* y y) y)) (* (cbrt (* (sqrt (+ x 1.0)) y)) (cbrt (* (sqrt (+ x 1.0)) y))) (cbrt (* (sqrt (+ x 1.0)) y)) (* (* (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y)) (* (sqrt (+ x 1.0)) y)) (sqrt (* (sqrt (+ x 1.0)) y)) (sqrt (* (sqrt (+ x 1.0)) y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (+ x 1.0)) (* (cbrt y) (cbrt y))) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) 1) (* (cbrt (sqrt (+ x 1.0))) y) (* (sqrt (cbrt (+ x 1.0))) y) (* (sqrt (sqrt (+ x 1.0))) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (sqrt (+ x 1.0))) y) (* (sqrt (+ x 1.0)) y) (* (sqrt (+ (pow x 3) (pow 1.0 3))) y) (* (sqrt (- (* x x) (* 1.0 1.0))) y) (expm1 (sqrt (+ x 1.0))) (log1p (sqrt (+ x 1.0))) (log (sqrt (+ x 1.0))) (exp (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt 1) (sqrt (+ x 1.0)) (sqrt 1) (sqrt (+ x 1.0)) (sqrt (+ (pow x 3) (pow 1.0 3))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (- x 1.0)) (/ 1 2) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (expm1 (sqrt (+ x 1.0))) (log1p (sqrt (+ x 1.0))) (log (sqrt (+ x 1.0))) (exp (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (* (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (sqrt (+ x 1.0))) (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (cbrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt 1) (sqrt (+ x 1.0)) (sqrt 1) (sqrt (+ x 1.0)) (sqrt (+ (pow x 3) (pow 1.0 3))) (sqrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (- x 1.0)) (/ 1 2) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (+ (* 1.0 y) (* x y)) (- (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* (sqrt 1.0) y)) (* 1/8 (/ (* (pow x 2) y) (pow (sqrt 1.0) 3)))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y)))))) (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (sqrt 1.0) (* 1/2 (/ x (sqrt 1.0)))) (* 1/8 (/ (pow x 2) (pow (sqrt 1.0) 3)))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 8.612 * * [simplify]: iteration 0: 135 enodes 8.669 * * [simplify]: iteration 1: 337 enodes 8.844 * * [simplify]: iteration 2: 972 enodes 9.624 * * [simplify]: iteration 3: 3259 enodes 10.292 * * [simplify]: iteration complete: 5020 enodes 10.292 * * [simplify]: Extracting #0: cost 59 inf + 0 10.294 * * [simplify]: Extracting #1: cost 523 inf + 2 10.301 * * [simplify]: Extracting #2: cost 1149 inf + 5497 10.322 * * [simplify]: Extracting #3: cost 936 inf + 61999 10.366 * * [simplify]: Extracting #4: cost 350 inf + 174244 10.428 * * [simplify]: Extracting #5: cost 118 inf + 230489 10.490 * * [simplify]: Extracting #6: cost 0 inf + 268281 10.545 * [simplify]: Simplified to: (expm1 (* y (+ x 1.0))) (log1p (* y (+ x 1.0))) (* y (+ x 1.0)) (* y (+ x 1.0)) (log (* y (+ x 1.0))) (log (* y (+ x 1.0))) (log (* y (+ x 1.0))) (exp (* y (+ x 1.0))) (* (* y (+ x 1.0)) (* (* y (+ x 1.0)) (* y (+ x 1.0)))) (* (* y (+ x 1.0)) (* (* y (+ x 1.0)) (* y (+ x 1.0)))) (* (cbrt (* y (+ x 1.0))) (cbrt (* y (+ x 1.0)))) (cbrt (* y (+ x 1.0))) (* (* y (+ x 1.0)) (* (* y (+ x 1.0)) (* y (+ x 1.0)))) (sqrt (* y (+ x 1.0))) (sqrt (* y (+ x 1.0))) (* y (fma x (* x x) (* (* 1.0 1.0) 1.0))) (fma (- 1.0 x) 1.0 (* x x)) (* (sqrt (fma x (* x x) (* (* 1.0 1.0) 1.0))) (* y (sqrt (- (* x x) (* 1.0 1.0))))) (* (sqrt (- x 1.0)) (sqrt (fma (- 1.0 x) 1.0 (* x x)))) (* (sqrt (fma x (* x x) (* (* 1.0 1.0) 1.0))) (* y (sqrt (- (* x x) (* 1.0 1.0))))) (* (sqrt (- x 1.0)) (sqrt (fma (- 1.0 x) 1.0 (* x x)))) (* y (- (* x x) (* 1.0 1.0))) (- x 1.0) (+ x 1.0) (* (sqrt (+ x 1.0)) (* (cbrt (sqrt (+ x 1.0))) y)) (* (sqrt (cbrt (+ x 1.0))) (* y (sqrt (+ x 1.0)))) (* (* (sqrt (+ x 1.0)) (sqrt (sqrt (+ x 1.0)))) y) (* y (+ x 1.0)) (* y (+ x 1.0)) (* (* (sqrt (+ x 1.0)) (sqrt (sqrt (+ x 1.0)))) y) (* y (+ x 1.0)) (* (sqrt (fma x (* x x) (* (* 1.0 1.0) 1.0))) (* y (sqrt (+ x 1.0)))) (* (sqrt (- (* x x) (* 1.0 1.0))) (* y (sqrt (+ x 1.0)))) (* (sqrt (fma x (* x x) (* (* 1.0 1.0) 1.0))) (* y (sqrt (+ x 1.0)))) (* (sqrt (- (* x x) (* 1.0 1.0))) (* y (sqrt (+ x 1.0)))) (expm1 (* y (sqrt (+ x 1.0)))) (log1p (* y (sqrt (+ x 1.0)))) (* y (sqrt (+ x 1.0))) (log (* y (sqrt (+ x 1.0)))) (log (* y (sqrt (+ x 1.0)))) (exp (* y (sqrt (+ x 1.0)))) (* (* (* y (* y (+ x 1.0))) y) (sqrt (+ x 1.0))) (* (cbrt (* y (sqrt (+ x 1.0)))) (cbrt (* y (sqrt (+ x 1.0))))) (cbrt (* y (sqrt (+ x 1.0)))) (* (* (* y (* y (+ x 1.0))) y) (sqrt (+ x 1.0))) (sqrt (* y (sqrt (+ x 1.0)))) (sqrt (* y (sqrt (+ x 1.0)))) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (sqrt (sqrt (+ x 1.0))) (sqrt y)) (* (* (cbrt y) (cbrt y)) (sqrt (+ x 1.0))) (* (sqrt y) (sqrt (+ x 1.0))) (sqrt (+ x 1.0)) (* (cbrt (sqrt (+ x 1.0))) y) (* y (sqrt (cbrt (+ x 1.0)))) (* (sqrt (sqrt (+ x 1.0))) y) (* y (sqrt (+ x 1.0))) (* y (sqrt (+ x 1.0))) (* (sqrt (sqrt (+ x 1.0))) y) (* y (sqrt (+ x 1.0))) (* (sqrt (fma x (* x x) (* (* 1.0 1.0) 1.0))) y) (* y (sqrt (- (* x x) (* 1.0 1.0)))) (expm1 (sqrt (+ x 1.0))) (log1p (sqrt (+ x 1.0))) (log (sqrt (+ x 1.0))) (exp (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (+ x 1.0)) (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) 1 (sqrt (+ x 1.0)) 1 (sqrt (+ x 1.0)) (sqrt (fma x (* x x) (* (* 1.0 1.0) 1.0))) (sqrt (fma (- 1.0 x) 1.0 (* x x))) (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (- x 1.0)) 1/2 (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (expm1 (sqrt (+ x 1.0))) (log1p (sqrt (+ x 1.0))) (log (sqrt (+ x 1.0))) (exp (sqrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (+ x 1.0)) (fabs (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) 1 (sqrt (+ x 1.0)) 1 (sqrt (+ x 1.0)) (sqrt (fma x (* x x) (* (* 1.0 1.0) 1.0))) (sqrt (fma (- 1.0 x) 1.0 (* x x))) (sqrt (- (* x x) (* 1.0 1.0))) (sqrt (- x 1.0)) 1/2 (sqrt (sqrt (+ x 1.0))) (sqrt (sqrt (+ x 1.0))) (* y (+ x 1.0)) (* y (+ x 1.0)) (* y (+ x 1.0)) (fma (* 1/2 (/ x (sqrt 1.0))) y (fma -1/8 (* (/ x 1.0) (/ (* x y) (sqrt 1.0))) (* (sqrt 1.0) y))) (- (fma +nan.0 y (* (/ y x) (- (/ +nan.0 x) +nan.0)))) (- (fma +nan.0 y (* (/ y x) (- (/ +nan.0 x) +nan.0)))) (fma -1/8 (/ (* x (/ x (sqrt 1.0))) 1.0) (fma 1/2 (/ x (sqrt 1.0)) (sqrt 1.0))) (- (fma (/ +nan.0 x) (/ -1 x) (/ +nan.0 x)) +nan.0) (- (fma (/ +nan.0 x) (/ -1 x) (/ +nan.0 x)) +nan.0) (fma -1/8 (/ (* x (/ x (sqrt 1.0))) 1.0) (fma 1/2 (/ x (sqrt 1.0)) (sqrt 1.0))) (- (fma (/ +nan.0 x) (/ -1 x) (/ +nan.0 x)) +nan.0) (- (fma (/ +nan.0 x) (/ -1 x) (/ +nan.0 x)) +nan.0) 10.551 * * * [progress]: adding candidates to table 11.117 * [progress]: [Phase 3 of 3] Extracting. 11.117 * * [regime]: Finding splitpoints for: (# #) 11.118 * * * [regime-changes]: Trying 2 branch expressions: (y x) 11.118 * * * * [regimes]: Trying to branch on y from (# #) 11.157 * * * * [regimes]: Trying to branch on x from (# #) 11.194 * * * [regime]: Found split indices: #