36.971 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.023 * [progress]: [Phase 2 of 3] Improving. 0.023 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.023 * [simplify]: Simplifying: (- 1.0 (* x (+ 0.253 (* x 0.12)))) 0.024 * * [simplify]: iteration 0: 8 enodes 0.026 * * [simplify]: iteration 1: 19 enodes 0.030 * * [simplify]: iteration 2: 42 enodes 0.043 * * [simplify]: iteration 3: 78 enodes 0.065 * * [simplify]: iteration 4: 97 enodes 0.077 * * [simplify]: iteration 5: 111 enodes 0.104 * * [simplify]: iteration 6: 148 enodes 0.156 * * [simplify]: iteration 7: 276 enodes 0.249 * * [simplify]: iteration 8: 510 enodes 0.363 * * [simplify]: iteration 9: 772 enodes 0.480 * * [simplify]: iteration 10: 1012 enodes 0.555 * * [simplify]: iteration 11: 1152 enodes 0.621 * * [simplify]: iteration 12: 1305 enodes 0.708 * * [simplify]: iteration 13: 1435 enodes 0.776 * * [simplify]: iteration 14: 1590 enodes 0.857 * * [simplify]: iteration 15: 1729 enodes 0.926 * * [simplify]: iteration 16: 1867 enodes 1.000 * * [simplify]: iteration 17: 2011 enodes 1.050 * * [simplify]: iteration 18: 2159 enodes 1.160 * * [simplify]: iteration 19: 2298 enodes 1.255 * * [simplify]: iteration 20: 2446 enodes 1.354 * * [simplify]: iteration 21: 2594 enodes 1.455 * * [simplify]: iteration 22: 2730 enodes 1.558 * * [simplify]: iteration 23: 2878 enodes 1.640 * * [simplify]: iteration 24: 3026 enodes 1.729 * * [simplify]: iteration 25: 3168 enodes 1.801 * * [simplify]: iteration 26: 3316 enodes 1.905 * * [simplify]: iteration 27: 3464 enodes 1.969 * * [simplify]: iteration 28: 3604 enodes 2.040 * * [simplify]: iteration 29: 3752 enodes 2.118 * * [simplify]: iteration 30: 3900 enodes 2.185 * * [simplify]: iteration 31: 4042 enodes 2.242 * * [simplify]: iteration 32: 4190 enodes 2.344 * * [simplify]: iteration 33: 4338 enodes 2.441 * * [simplify]: iteration 34: 4478 enodes 2.518 * * [simplify]: iteration 35: 4626 enodes 2.576 * * [simplify]: iteration 36: 4774 enodes 2.630 * * [simplify]: iteration 37: 4919 enodes 2.657 * * [simplify]: iteration complete: 5000 enodes 2.657 * * [simplify]: Extracting #0: cost 1 inf + 0 2.657 * * [simplify]: Extracting #1: cost 14 inf + 0 2.658 * * [simplify]: Extracting #2: cost 50 inf + 42 2.658 * * [simplify]: Extracting #3: cost 58 inf + 250 2.659 * * [simplify]: Extracting #4: cost 10 inf + 5795 2.661 * * [simplify]: Extracting #5: cost 0 inf + 6780 2.663 * [simplify]: Simplified to: (- 1.0 (* x (+ (* 0.12 x) 0.253))) 2.664 * * [progress]: iteration 1 / 4 2.664 * * * [progress]: picking best candidate 2.666 * * * * [pick]: Picked # 2.666 * * * [progress]: localizing error 2.681 * * * [progress]: generating rewritten candidates 2.681 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 2.706 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2) 2.710 * * * * [progress]: [ 3 / 3 ] rewriting at (2) 2.714 * * * [progress]: generating series expansions 2.714 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 2.714 * [backup-simplify]: Simplify (* x (+ 0.253 (* x 0.12))) into (* (+ (* 0.12 x) 0.253) x) 2.714 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0 2.714 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 2.714 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 2.714 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 2.714 * [taylor]: Taking taylor expansion of 0.12 in x 2.714 * [backup-simplify]: Simplify 0.12 into 0.12 2.714 * [taylor]: Taking taylor expansion of x in x 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 1 into 1 2.714 * [taylor]: Taking taylor expansion of 0.253 in x 2.714 * [backup-simplify]: Simplify 0.253 into 0.253 2.714 * [taylor]: Taking taylor expansion of x in x 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 1 into 1 2.714 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x 2.714 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 2.714 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 2.714 * [taylor]: Taking taylor expansion of 0.12 in x 2.714 * [backup-simplify]: Simplify 0.12 into 0.12 2.714 * [taylor]: Taking taylor expansion of x in x 2.714 * [backup-simplify]: Simplify 0 into 0 2.714 * [backup-simplify]: Simplify 1 into 1 2.715 * [taylor]: Taking taylor expansion of 0.253 in x 2.715 * [backup-simplify]: Simplify 0.253 into 0.253 2.715 * [taylor]: Taking taylor expansion of x in x 2.715 * [backup-simplify]: Simplify 0 into 0 2.715 * [backup-simplify]: Simplify 1 into 1 2.715 * [backup-simplify]: Simplify (* 0.12 0) into 0 2.715 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 2.716 * [backup-simplify]: Simplify (* 0.253 0) into 0 2.716 * [backup-simplify]: Simplify 0 into 0 2.717 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 2.717 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 2.718 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0.12 0)) into 0.253 2.718 * [backup-simplify]: Simplify 0.253 into 0.253 2.719 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 2.719 * [backup-simplify]: Simplify (+ 0 0) into 0 2.721 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 1) (* 0 0))) into 0.12 2.721 * [backup-simplify]: Simplify 0.12 into 0.12 2.721 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.722 * [backup-simplify]: Simplify (+ 0 0) into 0 2.723 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 1) (* 0 0)))) into 0 2.723 * [backup-simplify]: Simplify 0 into 0 2.723 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.724 * [backup-simplify]: Simplify (+ 0 0) into 0 2.725 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.725 * [backup-simplify]: Simplify 0 into 0 2.726 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 2.726 * [backup-simplify]: Simplify (+ 0 0) into 0 2.727 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 2.727 * [backup-simplify]: Simplify 0 into 0 2.728 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 2.728 * [backup-simplify]: Simplify (+ 0 0) into 0 2.729 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 2.730 * [backup-simplify]: Simplify 0 into 0 2.731 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 2.731 * [backup-simplify]: Simplify (+ 0 0) into 0 2.732 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 2.732 * [backup-simplify]: Simplify 0 into 0 2.733 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 2.734 * [backup-simplify]: Simplify (+ 0 0) into 0 2.735 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 2.735 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 2.735 * [backup-simplify]: Simplify (* (/ 1 x) (+ 0.253 (* (/ 1 x) 0.12))) into (/ (+ (* 0.12 (/ 1 x)) 0.253) x) 2.735 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0 2.735 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 2.735 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 2.735 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.735 * [taylor]: Taking taylor expansion of 0.12 in x 2.735 * [backup-simplify]: Simplify 0.12 into 0.12 2.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.735 * [taylor]: Taking taylor expansion of x in x 2.735 * [backup-simplify]: Simplify 0 into 0 2.735 * [backup-simplify]: Simplify 1 into 1 2.736 * [backup-simplify]: Simplify (/ 1 1) into 1 2.736 * [taylor]: Taking taylor expansion of 0.253 in x 2.736 * [backup-simplify]: Simplify 0.253 into 0.253 2.736 * [taylor]: Taking taylor expansion of x in x 2.736 * [backup-simplify]: Simplify 0 into 0 2.736 * [backup-simplify]: Simplify 1 into 1 2.736 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.737 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 2.737 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 2.737 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x 2.737 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 2.737 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.737 * [taylor]: Taking taylor expansion of 0.12 in x 2.737 * [backup-simplify]: Simplify 0.12 into 0.12 2.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.737 * [taylor]: Taking taylor expansion of x in x 2.737 * [backup-simplify]: Simplify 0 into 0 2.737 * [backup-simplify]: Simplify 1 into 1 2.738 * [backup-simplify]: Simplify (/ 1 1) into 1 2.738 * [taylor]: Taking taylor expansion of 0.253 in x 2.738 * [backup-simplify]: Simplify 0.253 into 0.253 2.738 * [taylor]: Taking taylor expansion of x in x 2.738 * [backup-simplify]: Simplify 0 into 0 2.738 * [backup-simplify]: Simplify 1 into 1 2.738 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.739 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 2.739 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 2.739 * [backup-simplify]: Simplify 0.12 into 0.12 2.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.741 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 2.741 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 2.744 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253 2.744 * [backup-simplify]: Simplify 0.253 into 0.253 2.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.746 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 2.746 * [backup-simplify]: Simplify (+ 0 0) into 0 2.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 2.747 * [backup-simplify]: Simplify 0 into 0 2.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.749 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.750 * [backup-simplify]: Simplify (+ 0 0) into 0 2.751 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.751 * [backup-simplify]: Simplify 0 into 0 2.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.753 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.754 * [backup-simplify]: Simplify (+ 0 0) into 0 2.755 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.755 * [backup-simplify]: Simplify 0 into 0 2.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.758 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.758 * [backup-simplify]: Simplify (+ 0 0) into 0 2.760 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.760 * [backup-simplify]: Simplify 0 into 0 2.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.762 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.763 * [backup-simplify]: Simplify (+ 0 0) into 0 2.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.764 * [backup-simplify]: Simplify 0 into 0 2.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.766 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.766 * [backup-simplify]: Simplify (+ 0 0) into 0 2.767 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.767 * [backup-simplify]: Simplify 0 into 0 2.767 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 2.767 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ 0.253 (* (/ 1 (- x)) 0.12))) into (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) 2.767 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0 2.767 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 2.767 * [taylor]: Taking taylor expansion of -1 in x 2.767 * [backup-simplify]: Simplify -1 into -1 2.767 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 2.767 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 2.768 * [taylor]: Taking taylor expansion of 0.253 in x 2.768 * [backup-simplify]: Simplify 0.253 into 0.253 2.768 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.768 * [taylor]: Taking taylor expansion of 0.12 in x 2.768 * [backup-simplify]: Simplify 0.12 into 0.12 2.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.768 * [taylor]: Taking taylor expansion of x in x 2.768 * [backup-simplify]: Simplify 0 into 0 2.768 * [backup-simplify]: Simplify 1 into 1 2.768 * [backup-simplify]: Simplify (/ 1 1) into 1 2.768 * [taylor]: Taking taylor expansion of x in x 2.768 * [backup-simplify]: Simplify 0 into 0 2.768 * [backup-simplify]: Simplify 1 into 1 2.768 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.769 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.770 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 2.770 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 2.770 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x 2.770 * [taylor]: Taking taylor expansion of -1 in x 2.770 * [backup-simplify]: Simplify -1 into -1 2.770 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x 2.770 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 2.770 * [taylor]: Taking taylor expansion of 0.253 in x 2.770 * [backup-simplify]: Simplify 0.253 into 0.253 2.770 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.770 * [taylor]: Taking taylor expansion of 0.12 in x 2.770 * [backup-simplify]: Simplify 0.12 into 0.12 2.770 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.770 * [taylor]: Taking taylor expansion of x in x 2.770 * [backup-simplify]: Simplify 0 into 0 2.770 * [backup-simplify]: Simplify 1 into 1 2.771 * [backup-simplify]: Simplify (/ 1 1) into 1 2.771 * [taylor]: Taking taylor expansion of x in x 2.771 * [backup-simplify]: Simplify 0 into 0 2.771 * [backup-simplify]: Simplify 1 into 1 2.771 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.771 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.772 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 2.772 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12 2.773 * [backup-simplify]: Simplify (* -1 -0.12) into 0.12 2.773 * [backup-simplify]: Simplify 0.12 into 0.12 2.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.774 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 2.774 * [backup-simplify]: Simplify (- 0) into 0 2.774 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 2.776 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253 2.777 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 -0.12)) into (- 0.253) 2.777 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 2.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.778 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 2.779 * [backup-simplify]: Simplify (- 0) into 0 2.779 * [backup-simplify]: Simplify (+ 0 0) into 0 2.780 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0 2.780 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 -0.12))) into 0 2.780 * [backup-simplify]: Simplify 0 into 0 2.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.781 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.782 * [backup-simplify]: Simplify (- 0) into 0 2.782 * [backup-simplify]: Simplify (+ 0 0) into 0 2.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.784 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))) into 0 2.784 * [backup-simplify]: Simplify 0 into 0 2.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.785 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.786 * [backup-simplify]: Simplify (- 0) into 0 2.786 * [backup-simplify]: Simplify (+ 0 0) into 0 2.787 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.787 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))) into 0 2.788 * [backup-simplify]: Simplify 0 into 0 2.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.789 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.789 * [backup-simplify]: Simplify (- 0) into 0 2.790 * [backup-simplify]: Simplify (+ 0 0) into 0 2.790 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.791 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))) into 0 2.791 * [backup-simplify]: Simplify 0 into 0 2.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.793 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.793 * [backup-simplify]: Simplify (- 0) into 0 2.794 * [backup-simplify]: Simplify (+ 0 0) into 0 2.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.798 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))))) into 0 2.799 * [backup-simplify]: Simplify 0 into 0 2.800 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.802 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.802 * [backup-simplify]: Simplify (- 0) into 0 2.802 * [backup-simplify]: Simplify (+ 0 0) into 0 2.804 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.806 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))))) into 0 2.806 * [backup-simplify]: Simplify 0 into 0 2.807 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2))) 2.807 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2) 2.808 * [backup-simplify]: Simplify (+ 0.253 (* x 0.12)) into (+ (* 0.12 x) 0.253) 2.808 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0 2.808 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 2.808 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 2.808 * [taylor]: Taking taylor expansion of 0.12 in x 2.808 * [backup-simplify]: Simplify 0.12 into 0.12 2.808 * [taylor]: Taking taylor expansion of x in x 2.808 * [backup-simplify]: Simplify 0 into 0 2.808 * [backup-simplify]: Simplify 1 into 1 2.808 * [taylor]: Taking taylor expansion of 0.253 in x 2.808 * [backup-simplify]: Simplify 0.253 into 0.253 2.808 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x 2.808 * [taylor]: Taking taylor expansion of (* 0.12 x) in x 2.808 * [taylor]: Taking taylor expansion of 0.12 in x 2.808 * [backup-simplify]: Simplify 0.12 into 0.12 2.808 * [taylor]: Taking taylor expansion of x in x 2.808 * [backup-simplify]: Simplify 0 into 0 2.808 * [backup-simplify]: Simplify 1 into 1 2.808 * [taylor]: Taking taylor expansion of 0.253 in x 2.808 * [backup-simplify]: Simplify 0.253 into 0.253 2.809 * [backup-simplify]: Simplify (* 0.12 0) into 0 2.809 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 2.809 * [backup-simplify]: Simplify 0.253 into 0.253 2.811 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12 2.812 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 2.812 * [backup-simplify]: Simplify 0.12 into 0.12 2.813 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0 2.813 * [backup-simplify]: Simplify (+ 0 0) into 0 2.813 * [backup-simplify]: Simplify 0 into 0 2.813 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 2.814 * [backup-simplify]: Simplify (+ 0 0) into 0 2.814 * [backup-simplify]: Simplify 0 into 0 2.815 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 2.815 * [backup-simplify]: Simplify (+ 0 0) into 0 2.815 * [backup-simplify]: Simplify 0 into 0 2.816 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 2.816 * [backup-simplify]: Simplify (+ 0 0) into 0 2.816 * [backup-simplify]: Simplify 0 into 0 2.817 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 2.817 * [backup-simplify]: Simplify (+ 0 0) into 0 2.817 * [backup-simplify]: Simplify 0 into 0 2.818 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 2.818 * [backup-simplify]: Simplify (+ 0 0) into 0 2.818 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify (+ (* 0.12 x) 0.253) into (+ (* 0.12 x) 0.253) 2.819 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 x) 0.12)) into (+ (* 0.12 (/ 1 x)) 0.253) 2.819 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0 2.819 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 2.819 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.819 * [taylor]: Taking taylor expansion of 0.12 in x 2.819 * [backup-simplify]: Simplify 0.12 into 0.12 2.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.819 * [taylor]: Taking taylor expansion of x in x 2.819 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify 1 into 1 2.819 * [backup-simplify]: Simplify (/ 1 1) into 1 2.819 * [taylor]: Taking taylor expansion of 0.253 in x 2.819 * [backup-simplify]: Simplify 0.253 into 0.253 2.819 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x 2.819 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.819 * [taylor]: Taking taylor expansion of 0.12 in x 2.819 * [backup-simplify]: Simplify 0.12 into 0.12 2.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.819 * [taylor]: Taking taylor expansion of x in x 2.819 * [backup-simplify]: Simplify 0 into 0 2.819 * [backup-simplify]: Simplify 1 into 1 2.819 * [backup-simplify]: Simplify (/ 1 1) into 1 2.819 * [taylor]: Taking taylor expansion of 0.253 in x 2.820 * [backup-simplify]: Simplify 0.253 into 0.253 2.820 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.820 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12 2.820 * [backup-simplify]: Simplify 0.12 into 0.12 2.821 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.821 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 2.821 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253 2.821 * [backup-simplify]: Simplify 0.253 into 0.253 2.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.823 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 2.823 * [backup-simplify]: Simplify (+ 0 0) into 0 2.823 * [backup-simplify]: Simplify 0 into 0 2.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.824 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.824 * [backup-simplify]: Simplify (+ 0 0) into 0 2.824 * [backup-simplify]: Simplify 0 into 0 2.825 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.826 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.826 * [backup-simplify]: Simplify (+ 0 0) into 0 2.826 * [backup-simplify]: Simplify 0 into 0 2.827 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.827 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.828 * [backup-simplify]: Simplify (+ 0 0) into 0 2.828 * [backup-simplify]: Simplify 0 into 0 2.828 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.829 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.829 * [backup-simplify]: Simplify (+ 0 0) into 0 2.829 * [backup-simplify]: Simplify 0 into 0 2.830 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.831 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.831 * [backup-simplify]: Simplify (+ 0 0) into 0 2.831 * [backup-simplify]: Simplify 0 into 0 2.831 * [backup-simplify]: Simplify (+ 0.253 (* 0.12 (/ 1 (/ 1 x)))) into (+ (* 0.12 x) 0.253) 2.832 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 (- x)) 0.12)) into (- 0.253 (* 0.12 (/ 1 x))) 2.832 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0 2.832 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 2.832 * [taylor]: Taking taylor expansion of 0.253 in x 2.832 * [backup-simplify]: Simplify 0.253 into 0.253 2.832 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.832 * [taylor]: Taking taylor expansion of 0.12 in x 2.832 * [backup-simplify]: Simplify 0.12 into 0.12 2.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.832 * [taylor]: Taking taylor expansion of x in x 2.832 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify 1 into 1 2.832 * [backup-simplify]: Simplify (/ 1 1) into 1 2.832 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x 2.832 * [taylor]: Taking taylor expansion of 0.253 in x 2.832 * [backup-simplify]: Simplify 0.253 into 0.253 2.832 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x 2.832 * [taylor]: Taking taylor expansion of 0.12 in x 2.832 * [backup-simplify]: Simplify 0.12 into 0.12 2.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.832 * [taylor]: Taking taylor expansion of x in x 2.832 * [backup-simplify]: Simplify 0 into 0 2.832 * [backup-simplify]: Simplify 1 into 1 2.832 * [backup-simplify]: Simplify (/ 1 1) into 1 2.833 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.833 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.834 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 2.834 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.834 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.835 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 2.835 * [backup-simplify]: Simplify (- 0) into 0 2.835 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 2.835 * [backup-simplify]: Simplify 0.253 into 0.253 2.836 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.836 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 2.837 * [backup-simplify]: Simplify (- 0) into 0 2.837 * [backup-simplify]: Simplify (+ 0 0) into 0 2.837 * [backup-simplify]: Simplify 0 into 0 2.838 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.838 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 2.838 * [backup-simplify]: Simplify (- 0) into 0 2.839 * [backup-simplify]: Simplify (+ 0 0) into 0 2.839 * [backup-simplify]: Simplify 0 into 0 2.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.840 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 2.840 * [backup-simplify]: Simplify (- 0) into 0 2.841 * [backup-simplify]: Simplify (+ 0 0) into 0 2.841 * [backup-simplify]: Simplify 0 into 0 2.841 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.842 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 2.843 * [backup-simplify]: Simplify (- 0) into 0 2.843 * [backup-simplify]: Simplify (+ 0 0) into 0 2.843 * [backup-simplify]: Simplify 0 into 0 2.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.844 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 2.845 * [backup-simplify]: Simplify (- 0) into 0 2.845 * [backup-simplify]: Simplify (+ 0 0) into 0 2.845 * [backup-simplify]: Simplify 0 into 0 2.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.846 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 2.847 * [backup-simplify]: Simplify (- 0) into 0 2.847 * [backup-simplify]: Simplify (+ 0 0) into 0 2.847 * [backup-simplify]: Simplify 0 into 0 2.847 * [backup-simplify]: Simplify (+ 0.253 (* (- 0.12) (/ 1 (/ 1 (- x))))) into (+ (* 0.12 x) 0.253) 2.847 * * * * [progress]: [ 3 / 3 ] generating series at (2) 2.848 * [backup-simplify]: Simplify (- 1.0 (* x (+ 0.253 (* x 0.12)))) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 2.848 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in (x) around 0 2.848 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 2.848 * [taylor]: Taking taylor expansion of 1.0 in x 2.848 * [backup-simplify]: Simplify 1.0 into 1.0 2.848 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 2.848 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 2.848 * [taylor]: Taking taylor expansion of 0.253 in x 2.848 * [backup-simplify]: Simplify 0.253 into 0.253 2.848 * [taylor]: Taking taylor expansion of x in x 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 1 into 1 2.848 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 2.848 * [taylor]: Taking taylor expansion of 0.12 in x 2.848 * [backup-simplify]: Simplify 0.12 into 0.12 2.848 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.848 * [taylor]: Taking taylor expansion of x in x 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 1 into 1 2.848 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 2.848 * [taylor]: Taking taylor expansion of 1.0 in x 2.848 * [backup-simplify]: Simplify 1.0 into 1.0 2.848 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 2.848 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 2.848 * [taylor]: Taking taylor expansion of 0.253 in x 2.848 * [backup-simplify]: Simplify 0.253 into 0.253 2.848 * [taylor]: Taking taylor expansion of x in x 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 1 into 1 2.848 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 2.848 * [taylor]: Taking taylor expansion of 0.12 in x 2.848 * [backup-simplify]: Simplify 0.12 into 0.12 2.848 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.848 * [taylor]: Taking taylor expansion of x in x 2.848 * [backup-simplify]: Simplify 0 into 0 2.848 * [backup-simplify]: Simplify 1 into 1 2.849 * [backup-simplify]: Simplify (* 0.253 0) into 0 2.849 * [backup-simplify]: Simplify (+ 0 0) into 0 2.849 * [backup-simplify]: Simplify (- 0) into 0 2.850 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.850 * [backup-simplify]: Simplify 1.0 into 1.0 2.851 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 2.852 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 2.852 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 2.853 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 2.854 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 2.855 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 2.855 * [backup-simplify]: Simplify (* 1 1) into 1 2.855 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.856 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 2.856 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.857 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 2.858 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.859 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 2.859 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 x) (+ 0.253 (* (/ 1 x) 0.12)))) into (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) 2.859 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in (x) around 0 2.859 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in x 2.859 * [taylor]: Taking taylor expansion of 1.0 in x 2.859 * [backup-simplify]: Simplify 1.0 into 1.0 2.859 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2)))) in x 2.859 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 2.859 * [taylor]: Taking taylor expansion of 0.253 in x 2.859 * [backup-simplify]: Simplify 0.253 into 0.253 2.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.859 * [taylor]: Taking taylor expansion of x in x 2.859 * [backup-simplify]: Simplify 0 into 0 2.859 * [backup-simplify]: Simplify 1 into 1 2.860 * [backup-simplify]: Simplify (/ 1 1) into 1 2.860 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 2.860 * [taylor]: Taking taylor expansion of 0.12 in x 2.860 * [backup-simplify]: Simplify 0.12 into 0.12 2.860 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.860 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.860 * [taylor]: Taking taylor expansion of x in x 2.860 * [backup-simplify]: Simplify 0 into 0 2.860 * [backup-simplify]: Simplify 1 into 1 2.860 * [backup-simplify]: Simplify (* 1 1) into 1 2.861 * [backup-simplify]: Simplify (/ 1 1) into 1 2.861 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in x 2.861 * [taylor]: Taking taylor expansion of 1.0 in x 2.861 * [backup-simplify]: Simplify 1.0 into 1.0 2.861 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2)))) in x 2.861 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 2.861 * [taylor]: Taking taylor expansion of 0.253 in x 2.861 * [backup-simplify]: Simplify 0.253 into 0.253 2.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.861 * [taylor]: Taking taylor expansion of x in x 2.861 * [backup-simplify]: Simplify 0 into 0 2.861 * [backup-simplify]: Simplify 1 into 1 2.861 * [backup-simplify]: Simplify (/ 1 1) into 1 2.861 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 2.861 * [taylor]: Taking taylor expansion of 0.12 in x 2.861 * [backup-simplify]: Simplify 0.12 into 0.12 2.862 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.862 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.862 * [taylor]: Taking taylor expansion of x in x 2.862 * [backup-simplify]: Simplify 0 into 0 2.862 * [backup-simplify]: Simplify 1 into 1 2.862 * [backup-simplify]: Simplify (* 1 1) into 1 2.862 * [backup-simplify]: Simplify (/ 1 1) into 1 2.863 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.863 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 2.864 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.865 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 2.865 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.866 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 2.866 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.868 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 2.868 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 2.869 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 2.870 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 2.870 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 2.871 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.872 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 2.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.874 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.875 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 2.875 * [backup-simplify]: Simplify (+ 0 0) into 0 2.876 * [backup-simplify]: Simplify (- 0) into 0 2.876 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.876 * [backup-simplify]: Simplify 1.0 into 1.0 2.877 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 2.877 * [backup-simplify]: Simplify (- 1.0 (* (/ 1 (- x)) (+ 0.253 (* (/ 1 (- x)) 0.12)))) into (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) 2.877 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 2.877 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 2.877 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 2.877 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 2.877 * [taylor]: Taking taylor expansion of 0.253 in x 2.877 * [backup-simplify]: Simplify 0.253 into 0.253 2.877 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.877 * [taylor]: Taking taylor expansion of x in x 2.877 * [backup-simplify]: Simplify 0 into 0 2.877 * [backup-simplify]: Simplify 1 into 1 2.878 * [backup-simplify]: Simplify (/ 1 1) into 1 2.878 * [taylor]: Taking taylor expansion of 1.0 in x 2.878 * [backup-simplify]: Simplify 1.0 into 1.0 2.878 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 2.878 * [taylor]: Taking taylor expansion of 0.12 in x 2.878 * [backup-simplify]: Simplify 0.12 into 0.12 2.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.878 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.878 * [taylor]: Taking taylor expansion of x in x 2.878 * [backup-simplify]: Simplify 0 into 0 2.878 * [backup-simplify]: Simplify 1 into 1 2.878 * [backup-simplify]: Simplify (* 1 1) into 1 2.878 * [backup-simplify]: Simplify (/ 1 1) into 1 2.878 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 2.878 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 2.878 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 2.878 * [taylor]: Taking taylor expansion of 0.253 in x 2.878 * [backup-simplify]: Simplify 0.253 into 0.253 2.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.878 * [taylor]: Taking taylor expansion of x in x 2.878 * [backup-simplify]: Simplify 0 into 0 2.878 * [backup-simplify]: Simplify 1 into 1 2.879 * [backup-simplify]: Simplify (/ 1 1) into 1 2.879 * [taylor]: Taking taylor expansion of 1.0 in x 2.879 * [backup-simplify]: Simplify 1.0 into 1.0 2.879 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 2.879 * [taylor]: Taking taylor expansion of 0.12 in x 2.879 * [backup-simplify]: Simplify 0.12 into 0.12 2.879 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.879 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.879 * [taylor]: Taking taylor expansion of x in x 2.879 * [backup-simplify]: Simplify 0 into 0 2.879 * [backup-simplify]: Simplify 1 into 1 2.879 * [backup-simplify]: Simplify (* 1 1) into 1 2.879 * [backup-simplify]: Simplify (/ 1 1) into 1 2.880 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 2.880 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.880 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 2.881 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 2.881 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 2.881 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 2.882 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 2.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.883 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 2.883 * [backup-simplify]: Simplify (- 0) into 0 2.883 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 2.883 * [backup-simplify]: Simplify 0.253 into 0.253 2.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 2.884 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 2.884 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 2.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 2.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 2.886 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 2.886 * [backup-simplify]: Simplify (- 0) into 0 2.887 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 2.887 * [backup-simplify]: Simplify 1.0 into 1.0 2.887 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 2.887 * * * [progress]: simplifying candidates 2.887 * * * * [progress]: [ 1 / 59 ] simplifiying candidate # 2.887 * * * * [progress]: [ 2 / 59 ] simplifiying candidate # 2.887 * * * * [progress]: [ 3 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 4 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 5 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 6 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 7 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 8 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 9 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 10 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 11 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 12 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 13 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 14 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 15 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 16 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 17 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 18 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 19 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 20 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 21 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 22 / 59 ] simplifiying candidate #real (real->posit16 (* x (+ 0.253 (* x 0.12)))))))> 2.888 * * * * [progress]: [ 23 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 24 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 25 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 26 / 59 ] simplifiying candidate # 2.888 * * * * [progress]: [ 27 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 28 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 29 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 30 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 31 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 32 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 33 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 34 / 59 ] simplifiying candidate #real (real->posit16 (+ 0.253 (* x 0.12)))))))> 2.889 * * * * [progress]: [ 35 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 36 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 37 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 38 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 39 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 40 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 41 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 42 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 43 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 44 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 45 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 46 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 47 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 48 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 49 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 50 / 59 ] simplifiying candidate #real (real->posit16 (- 1.0 (* x (+ 0.253 (* x 0.12)))))))> 2.889 * * * * [progress]: [ 51 / 59 ] simplifiying candidate # 2.889 * * * * [progress]: [ 52 / 59 ] simplifiying candidate # 2.890 * * * * [progress]: [ 53 / 59 ] simplifiying candidate # 2.890 * * * * [progress]: [ 54 / 59 ] simplifiying candidate # 2.890 * * * * [progress]: [ 55 / 59 ] simplifiying candidate # 2.890 * * * * [progress]: [ 56 / 59 ] simplifiying candidate # 2.890 * * * * [progress]: [ 57 / 59 ] simplifiying candidate # 2.890 * * * * [progress]: [ 58 / 59 ] simplifiying candidate # 2.890 * * * * [progress]: [ 59 / 59 ] simplifiying candidate # 2.891 * [simplify]: Simplifying: (* x (+ 0.253 (* x 0.12))) (+ (log x) (log (+ 0.253 (* x 0.12)))) (log (* x (+ 0.253 (* x 0.12)))) (exp (* x (+ 0.253 (* x 0.12)))) (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))) (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12))))) (cbrt (* x (+ 0.253 (* x 0.12)))) (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* (* x 0.12) x) (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))) (* x (sqrt (+ 0.253 (* x 0.12)))) (* x 1) (* (cbrt x) (+ 0.253 (* x 0.12))) (* (sqrt x) (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))) (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (real->posit16 (* x (+ 0.253 (* x 0.12)))) (* (exp 0.253) (exp (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (pow 0.253 3) (pow (* x 0.12) 3)) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (real->posit16 (+ 0.253 (* x 0.12))) (/ (exp 1.0) (exp (* x (+ 0.253 (* x 0.12))))) (log (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (* (- 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- (pow 1.0 3) (pow (* x (+ 0.253 (* x 0.12))) 3)) (+ (* 1.0 1.0) (+ (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* 1.0 (* x (+ 0.253 (* x 0.12)))))) (- (* x (+ 0.253 (* x 0.12)))) (- (* 1.0 1.0) (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12))))) (+ 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x 0.253)) (- 1.0 (* 0.253 x)) (- (* x (+ 0.253 (* x 0.12)))) (real->posit16 (- 1.0 (* x (+ 0.253 (* x 0.12))))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.253 x) (* 0.12 (pow x 2))) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (+ (* 0.12 x) 0.253) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 2.891 * * [simplify]: iteration 0: 87 enodes 2.915 * * [simplify]: iteration 1: 243 enodes 3.014 * * [simplify]: iteration 2: 875 enodes 3.950 * * [simplify]: iteration 3: 4500 enodes 5.792 * * [simplify]: iteration complete: 5003 enodes 5.792 * * [simplify]: Extracting #0: cost 45 inf + 0 5.793 * * [simplify]: Extracting #1: cost 329 inf + 1 5.802 * * [simplify]: Extracting #2: cost 942 inf + 16988 5.841 * * [simplify]: Extracting #3: cost 444 inf + 135258 5.923 * * [simplify]: Extracting #4: cost 17 inf + 209080 5.999 * * [simplify]: Extracting #5: cost 0 inf + 216406 6.090 * [simplify]: Simplified to: (* (+ 0.253 (* x 0.12)) x) (log (* (+ 0.253 (* x 0.12)) x)) (log (* (+ 0.253 (* x 0.12)) x)) (exp (* (+ 0.253 (* x 0.12)) x)) (* (* (+ 0.253 (* x 0.12)) x) (* (* (+ 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x))) (* (cbrt (* (+ 0.253 (* x 0.12)) x)) (cbrt (* (+ 0.253 (* x 0.12)) x))) (cbrt (* (+ 0.253 (* x 0.12)) x)) (* (* (+ 0.253 (* x 0.12)) x) (* (* (+ 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x))) (sqrt (* (+ 0.253 (* x 0.12)) x)) (sqrt (* (+ 0.253 (* x 0.12)) x)) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* (sqrt x) (sqrt (+ 0.253 (* x 0.12)))) (* x 0.253) (* x (* x 0.12)) (* 0.253 x) (* x (* x 0.12)) (* (* (cbrt (+ 0.253 (* x 0.12))) x) (cbrt (+ 0.253 (* x 0.12)))) (* x (sqrt (+ 0.253 (* x 0.12)))) x (* (+ 0.253 (* x 0.12)) (cbrt x)) (* (sqrt x) (+ 0.253 (* x 0.12))) (* (+ 0.253 (* x 0.12)) x) (* x (+ (* (* (* x 0.12) (* x 0.12)) (* x 0.12)) (* 0.253 (* 0.253 0.253)))) (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))) (real->posit16 (* (+ 0.253 (* x 0.12)) x)) (exp (+ 0.253 (* x 0.12))) (log (+ 0.253 (* x 0.12))) (exp (+ 0.253 (* x 0.12))) (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12))) (* (+ 0.253 (* x 0.12)) (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)))) (sqrt (+ 0.253 (* x 0.12))) (sqrt (+ 0.253 (* x 0.12))) (+ (* (* (* x 0.12) (* x 0.12)) (* x 0.12)) (* 0.253 (* 0.253 0.253))) (+ (* (* x 0.12) (* x 0.12)) (* 0.253 (- 0.253 (* x 0.12)))) (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) (- 0.253 (* x 0.12)) (real->posit16 (+ 0.253 (* x 0.12))) (exp (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (log (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (exp (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (* (cbrt (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (cbrt (- 1.0 (* (+ 0.253 (* x 0.12)) x)))) (cbrt (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (* (* (- 1.0 (* (+ 0.253 (* x 0.12)) x)) (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (sqrt (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (sqrt (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (- (* (* 1.0 1.0) 1.0) (* (* (+ 0.253 (* x 0.12)) x) (* (* (+ 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x)))) (+ (* (+ (* (+ 0.253 (* x 0.12)) x) 1.0) (* (+ 0.253 (* x 0.12)) x)) (* 1.0 1.0)) (- (* (+ 0.253 (* x 0.12)) x)) (* (- 1.0 (* (+ 0.253 (* x 0.12)) x)) (+ (* (+ 0.253 (* x 0.12)) x) 1.0)) (+ (* (+ 0.253 (* x 0.12)) x) 1.0) (- 1.0 (* x 0.253)) (- 1.0 (* x 0.253)) (- (* (+ 0.253 (* x 0.12)) x)) (real->posit16 (- 1.0 (* (+ 0.253 (* x 0.12)) x))) (* (+ 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x) (* (+ 0.253 (* x 0.12)) x) (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12)) (- 1.0 (* (+ 0.253 (* x 0.12)) x)) (- 1.0 (* (+ 0.253 (* x 0.12)) x)) (- 1.0 (* (+ 0.253 (* x 0.12)) x)) 6.094 * * * [progress]: adding candidates to table 6.334 * * [progress]: iteration 2 / 4 6.334 * * * [progress]: picking best candidate 6.361 * * * * [pick]: Picked # 6.361 * * * [progress]: localizing error 6.388 * * * [progress]: generating rewritten candidates 6.388 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 6.416 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 6.469 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 6.478 * * * [progress]: generating series expansions 6.478 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 6.478 * [backup-simplify]: Simplify (* (* x 0.12) x) into (* 0.12 (pow x 2)) 6.478 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 6.478 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 6.478 * [taylor]: Taking taylor expansion of 0.12 in x 6.478 * [backup-simplify]: Simplify 0.12 into 0.12 6.478 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.478 * [taylor]: Taking taylor expansion of x in x 6.478 * [backup-simplify]: Simplify 0 into 0 6.478 * [backup-simplify]: Simplify 1 into 1 6.478 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 6.478 * [taylor]: Taking taylor expansion of 0.12 in x 6.478 * [backup-simplify]: Simplify 0.12 into 0.12 6.478 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.478 * [taylor]: Taking taylor expansion of x in x 6.478 * [backup-simplify]: Simplify 0 into 0 6.478 * [backup-simplify]: Simplify 1 into 1 6.479 * [backup-simplify]: Simplify (* 1 1) into 1 6.480 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 6.480 * [backup-simplify]: Simplify 0.12 into 0.12 6.480 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.481 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 6.481 * [backup-simplify]: Simplify 0 into 0 6.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.483 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 6.483 * [backup-simplify]: Simplify 0 into 0 6.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.485 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.485 * [backup-simplify]: Simplify 0 into 0 6.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.488 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.488 * [backup-simplify]: Simplify 0 into 0 6.489 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.491 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.491 * [backup-simplify]: Simplify 0 into 0 6.492 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.494 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.494 * [backup-simplify]: Simplify 0 into 0 6.494 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 6.495 * [backup-simplify]: Simplify (* (* (/ 1 x) 0.12) (/ 1 x)) into (/ 0.12 (pow x 2)) 6.495 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 6.495 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 6.495 * [taylor]: Taking taylor expansion of 0.12 in x 6.495 * [backup-simplify]: Simplify 0.12 into 0.12 6.495 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.495 * [taylor]: Taking taylor expansion of x in x 6.495 * [backup-simplify]: Simplify 0 into 0 6.495 * [backup-simplify]: Simplify 1 into 1 6.495 * [backup-simplify]: Simplify (* 1 1) into 1 6.496 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 6.496 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 6.496 * [taylor]: Taking taylor expansion of 0.12 in x 6.496 * [backup-simplify]: Simplify 0.12 into 0.12 6.496 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.496 * [taylor]: Taking taylor expansion of x in x 6.496 * [backup-simplify]: Simplify 0 into 0 6.496 * [backup-simplify]: Simplify 1 into 1 6.496 * [backup-simplify]: Simplify (* 1 1) into 1 6.497 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 6.497 * [backup-simplify]: Simplify 0.12 into 0.12 6.497 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.498 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 6.498 * [backup-simplify]: Simplify 0 into 0 6.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.500 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.500 * [backup-simplify]: Simplify 0 into 0 6.501 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.502 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.502 * [backup-simplify]: Simplify 0 into 0 6.504 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.505 * [backup-simplify]: Simplify 0 into 0 6.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.507 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.507 * [backup-simplify]: Simplify 0 into 0 6.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.510 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.510 * [backup-simplify]: Simplify 0 into 0 6.510 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2)) 6.510 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 0.12) (/ 1 (- x))) into (/ 0.12 (pow x 2)) 6.510 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 6.510 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 6.511 * [taylor]: Taking taylor expansion of 0.12 in x 6.511 * [backup-simplify]: Simplify 0.12 into 0.12 6.511 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.511 * [taylor]: Taking taylor expansion of x in x 6.511 * [backup-simplify]: Simplify 0 into 0 6.511 * [backup-simplify]: Simplify 1 into 1 6.511 * [backup-simplify]: Simplify (* 1 1) into 1 6.511 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 6.512 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 6.512 * [taylor]: Taking taylor expansion of 0.12 in x 6.512 * [backup-simplify]: Simplify 0.12 into 0.12 6.512 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.512 * [taylor]: Taking taylor expansion of x in x 6.512 * [backup-simplify]: Simplify 0 into 0 6.512 * [backup-simplify]: Simplify 1 into 1 6.512 * [backup-simplify]: Simplify (* 1 1) into 1 6.512 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 6.513 * [backup-simplify]: Simplify 0.12 into 0.12 6.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.514 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 6.514 * [backup-simplify]: Simplify 0 into 0 6.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.516 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.516 * [backup-simplify]: Simplify 0 into 0 6.517 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.518 * [backup-simplify]: Simplify 0 into 0 6.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.521 * [backup-simplify]: Simplify 0 into 0 6.522 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.523 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.523 * [backup-simplify]: Simplify 0 into 0 6.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.526 * [backup-simplify]: Simplify 0 into 0 6.526 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2)) 6.527 * * * * [progress]: [ 2 / 3 ] generating series at (2) 6.527 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x)) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 6.527 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in (x) around 0 6.527 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 6.527 * [taylor]: Taking taylor expansion of 1.0 in x 6.527 * [backup-simplify]: Simplify 1.0 into 1.0 6.527 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 6.527 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 6.527 * [taylor]: Taking taylor expansion of 0.253 in x 6.527 * [backup-simplify]: Simplify 0.253 into 0.253 6.527 * [taylor]: Taking taylor expansion of x in x 6.527 * [backup-simplify]: Simplify 0 into 0 6.527 * [backup-simplify]: Simplify 1 into 1 6.527 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 6.527 * [taylor]: Taking taylor expansion of 0.12 in x 6.527 * [backup-simplify]: Simplify 0.12 into 0.12 6.527 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.527 * [taylor]: Taking taylor expansion of x in x 6.527 * [backup-simplify]: Simplify 0 into 0 6.527 * [backup-simplify]: Simplify 1 into 1 6.527 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 6.527 * [taylor]: Taking taylor expansion of 1.0 in x 6.527 * [backup-simplify]: Simplify 1.0 into 1.0 6.527 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 6.527 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 6.527 * [taylor]: Taking taylor expansion of 0.253 in x 6.527 * [backup-simplify]: Simplify 0.253 into 0.253 6.528 * [taylor]: Taking taylor expansion of x in x 6.528 * [backup-simplify]: Simplify 0 into 0 6.528 * [backup-simplify]: Simplify 1 into 1 6.528 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 6.528 * [taylor]: Taking taylor expansion of 0.12 in x 6.528 * [backup-simplify]: Simplify 0.12 into 0.12 6.528 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.528 * [taylor]: Taking taylor expansion of x in x 6.528 * [backup-simplify]: Simplify 0 into 0 6.528 * [backup-simplify]: Simplify 1 into 1 6.528 * [backup-simplify]: Simplify (* 0.253 0) into 0 6.529 * [backup-simplify]: Simplify (+ 0 0) into 0 6.529 * [backup-simplify]: Simplify (- 0) into 0 6.530 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.530 * [backup-simplify]: Simplify 1.0 into 1.0 6.531 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 6.532 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 6.532 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 6.533 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 6.534 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 6.535 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 6.536 * [backup-simplify]: Simplify (* 1 1) into 1 6.536 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 6.536 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 6.537 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 6.538 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 6.538 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 6.539 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 6.540 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 (/ 1 x))) (* (* (/ 1 x) 0.12) (/ 1 x))) into (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) 6.540 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in (x) around 0 6.540 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in x 6.540 * [taylor]: Taking taylor expansion of 1.0 in x 6.540 * [backup-simplify]: Simplify 1.0 into 1.0 6.540 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2)))) in x 6.540 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 6.540 * [taylor]: Taking taylor expansion of 0.253 in x 6.540 * [backup-simplify]: Simplify 0.253 into 0.253 6.540 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.540 * [taylor]: Taking taylor expansion of x in x 6.540 * [backup-simplify]: Simplify 0 into 0 6.540 * [backup-simplify]: Simplify 1 into 1 6.540 * [backup-simplify]: Simplify (/ 1 1) into 1 6.540 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 6.540 * [taylor]: Taking taylor expansion of 0.12 in x 6.540 * [backup-simplify]: Simplify 0.12 into 0.12 6.540 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.540 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.541 * [taylor]: Taking taylor expansion of x in x 6.541 * [backup-simplify]: Simplify 0 into 0 6.541 * [backup-simplify]: Simplify 1 into 1 6.541 * [backup-simplify]: Simplify (* 1 1) into 1 6.541 * [backup-simplify]: Simplify (/ 1 1) into 1 6.541 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in x 6.541 * [taylor]: Taking taylor expansion of 1.0 in x 6.541 * [backup-simplify]: Simplify 1.0 into 1.0 6.541 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2)))) in x 6.541 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 6.541 * [taylor]: Taking taylor expansion of 0.253 in x 6.542 * [backup-simplify]: Simplify 0.253 into 0.253 6.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.542 * [taylor]: Taking taylor expansion of x in x 6.542 * [backup-simplify]: Simplify 0 into 0 6.542 * [backup-simplify]: Simplify 1 into 1 6.542 * [backup-simplify]: Simplify (/ 1 1) into 1 6.542 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 6.542 * [taylor]: Taking taylor expansion of 0.12 in x 6.542 * [backup-simplify]: Simplify 0.12 into 0.12 6.542 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.542 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.542 * [taylor]: Taking taylor expansion of x in x 6.542 * [backup-simplify]: Simplify 0 into 0 6.542 * [backup-simplify]: Simplify 1 into 1 6.543 * [backup-simplify]: Simplify (* 1 1) into 1 6.543 * [backup-simplify]: Simplify (/ 1 1) into 1 6.543 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 6.544 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 6.544 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 6.545 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 6.546 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 6.546 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 6.547 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.548 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 6.549 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 6.549 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 6.550 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 6.550 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 6.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.552 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 6.553 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.555 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 6.555 * [backup-simplify]: Simplify (+ 0 0) into 0 6.555 * [backup-simplify]: Simplify (- 0) into 0 6.556 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.556 * [backup-simplify]: Simplify 1.0 into 1.0 6.557 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 6.557 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 (/ 1 (- x)))) (* (* (/ 1 (- x)) 0.12) (/ 1 (- x)))) into (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) 6.557 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 6.557 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 6.557 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 6.557 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 6.557 * [taylor]: Taking taylor expansion of 0.253 in x 6.557 * [backup-simplify]: Simplify 0.253 into 0.253 6.557 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.557 * [taylor]: Taking taylor expansion of x in x 6.557 * [backup-simplify]: Simplify 0 into 0 6.557 * [backup-simplify]: Simplify 1 into 1 6.558 * [backup-simplify]: Simplify (/ 1 1) into 1 6.558 * [taylor]: Taking taylor expansion of 1.0 in x 6.558 * [backup-simplify]: Simplify 1.0 into 1.0 6.558 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 6.558 * [taylor]: Taking taylor expansion of 0.12 in x 6.558 * [backup-simplify]: Simplify 0.12 into 0.12 6.558 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.558 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.558 * [taylor]: Taking taylor expansion of x in x 6.558 * [backup-simplify]: Simplify 0 into 0 6.558 * [backup-simplify]: Simplify 1 into 1 6.561 * [backup-simplify]: Simplify (* 1 1) into 1 6.562 * [backup-simplify]: Simplify (/ 1 1) into 1 6.562 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 6.562 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 6.562 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 6.562 * [taylor]: Taking taylor expansion of 0.253 in x 6.562 * [backup-simplify]: Simplify 0.253 into 0.253 6.562 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.562 * [taylor]: Taking taylor expansion of x in x 6.562 * [backup-simplify]: Simplify 0 into 0 6.562 * [backup-simplify]: Simplify 1 into 1 6.562 * [backup-simplify]: Simplify (/ 1 1) into 1 6.562 * [taylor]: Taking taylor expansion of 1.0 in x 6.562 * [backup-simplify]: Simplify 1.0 into 1.0 6.562 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 6.562 * [taylor]: Taking taylor expansion of 0.12 in x 6.563 * [backup-simplify]: Simplify 0.12 into 0.12 6.563 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 6.563 * [taylor]: Taking taylor expansion of (pow x 2) in x 6.563 * [taylor]: Taking taylor expansion of x in x 6.563 * [backup-simplify]: Simplify 0 into 0 6.563 * [backup-simplify]: Simplify 1 into 1 6.563 * [backup-simplify]: Simplify (* 1 1) into 1 6.563 * [backup-simplify]: Simplify (/ 1 1) into 1 6.564 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 6.564 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 6.565 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 6.566 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 6.566 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 6.566 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 6.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 6.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.569 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 6.569 * [backup-simplify]: Simplify (- 0) into 0 6.569 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 6.569 * [backup-simplify]: Simplify 0.253 into 0.253 6.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.571 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 6.571 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 6.573 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.575 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 6.575 * [backup-simplify]: Simplify (- 0) into 0 6.575 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.576 * [backup-simplify]: Simplify 1.0 into 1.0 6.576 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 6.576 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 6.576 * [backup-simplify]: Simplify (- 1.0 (* 0.253 x)) into (- 1.0 (* 0.253 x)) 6.577 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in (x) around 0 6.577 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 6.577 * [taylor]: Taking taylor expansion of 1.0 in x 6.577 * [backup-simplify]: Simplify 1.0 into 1.0 6.577 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 6.577 * [taylor]: Taking taylor expansion of 0.253 in x 6.577 * [backup-simplify]: Simplify 0.253 into 0.253 6.577 * [taylor]: Taking taylor expansion of x in x 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify 1 into 1 6.577 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 6.577 * [taylor]: Taking taylor expansion of 1.0 in x 6.577 * [backup-simplify]: Simplify 1.0 into 1.0 6.577 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 6.577 * [taylor]: Taking taylor expansion of 0.253 in x 6.577 * [backup-simplify]: Simplify 0.253 into 0.253 6.577 * [taylor]: Taking taylor expansion of x in x 6.577 * [backup-simplify]: Simplify 0 into 0 6.577 * [backup-simplify]: Simplify 1 into 1 6.578 * [backup-simplify]: Simplify (* 0.253 0) into 0 6.578 * [backup-simplify]: Simplify (- 0) into 0 6.578 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.578 * [backup-simplify]: Simplify 1.0 into 1.0 6.580 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 6.580 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 6.581 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 6.582 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 6.583 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 6.583 * [backup-simplify]: Simplify (- 0) into 0 6.583 * [backup-simplify]: Simplify (+ 0 0) into 0 6.583 * [backup-simplify]: Simplify 0 into 0 6.585 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 6.585 * [backup-simplify]: Simplify (- 0) into 0 6.585 * [backup-simplify]: Simplify (+ 0 0) into 0 6.585 * [backup-simplify]: Simplify 0 into 0 6.587 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 6.587 * [backup-simplify]: Simplify (- 0) into 0 6.587 * [backup-simplify]: Simplify (+ 0 0) into 0 6.588 * [backup-simplify]: Simplify 0 into 0 6.589 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 6.589 * [backup-simplify]: Simplify (- 0) into 0 6.590 * [backup-simplify]: Simplify (+ 0 0) into 0 6.590 * [backup-simplify]: Simplify 0 into 0 6.591 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 6.592 * [backup-simplify]: Simplify (- 0) into 0 6.592 * [backup-simplify]: Simplify (+ 0 0) into 0 6.592 * [backup-simplify]: Simplify 0 into 0 6.594 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 6.595 * [backup-simplify]: Simplify (- 0) into 0 6.595 * [backup-simplify]: Simplify (+ 0 0) into 0 6.595 * [backup-simplify]: Simplify 0 into 0 6.596 * [backup-simplify]: Simplify (+ (* (- 0.253) x) 1.0) into (- 1.0 (* 0.253 x)) 6.596 * [backup-simplify]: Simplify (- 1.0 (* 0.253 (/ 1 x))) into (- 1.0 (* 0.253 (/ 1 x))) 6.596 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in (x) around 0 6.596 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 6.596 * [taylor]: Taking taylor expansion of 1.0 in x 6.596 * [backup-simplify]: Simplify 1.0 into 1.0 6.596 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 6.596 * [taylor]: Taking taylor expansion of 0.253 in x 6.596 * [backup-simplify]: Simplify 0.253 into 0.253 6.596 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.596 * [taylor]: Taking taylor expansion of x in x 6.596 * [backup-simplify]: Simplify 0 into 0 6.596 * [backup-simplify]: Simplify 1 into 1 6.596 * [backup-simplify]: Simplify (/ 1 1) into 1 6.597 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 6.597 * [taylor]: Taking taylor expansion of 1.0 in x 6.597 * [backup-simplify]: Simplify 1.0 into 1.0 6.597 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 6.597 * [taylor]: Taking taylor expansion of 0.253 in x 6.597 * [backup-simplify]: Simplify 0.253 into 0.253 6.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.597 * [taylor]: Taking taylor expansion of x in x 6.597 * [backup-simplify]: Simplify 0 into 0 6.597 * [backup-simplify]: Simplify 1 into 1 6.597 * [backup-simplify]: Simplify (/ 1 1) into 1 6.598 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 6.598 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 6.599 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 6.599 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 6.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.601 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 6.601 * [backup-simplify]: Simplify (- 0) into 0 6.602 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 6.602 * [backup-simplify]: Simplify 1.0 into 1.0 6.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.604 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 6.604 * [backup-simplify]: Simplify (- 0) into 0 6.605 * [backup-simplify]: Simplify (+ 0 0) into 0 6.605 * [backup-simplify]: Simplify 0 into 0 6.606 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.607 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.607 * [backup-simplify]: Simplify (- 0) into 0 6.608 * [backup-simplify]: Simplify (+ 0 0) into 0 6.608 * [backup-simplify]: Simplify 0 into 0 6.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.610 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.610 * [backup-simplify]: Simplify (- 0) into 0 6.611 * [backup-simplify]: Simplify (+ 0 0) into 0 6.611 * [backup-simplify]: Simplify 0 into 0 6.612 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.613 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.614 * [backup-simplify]: Simplify (- 0) into 0 6.614 * [backup-simplify]: Simplify (+ 0 0) into 0 6.614 * [backup-simplify]: Simplify 0 into 0 6.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.617 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.617 * [backup-simplify]: Simplify (- 0) into 0 6.618 * [backup-simplify]: Simplify (+ 0 0) into 0 6.618 * [backup-simplify]: Simplify 0 into 0 6.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.620 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 6.621 * [backup-simplify]: Simplify (- 0) into 0 6.621 * [backup-simplify]: Simplify (+ 0 0) into 0 6.621 * [backup-simplify]: Simplify 0 into 0 6.622 * [backup-simplify]: Simplify (+ 1.0 (* (- 0.253) (/ 1 (/ 1 x)))) into (- 1.0 (* 0.253 x)) 6.622 * [backup-simplify]: Simplify (- 1.0 (* 0.253 (/ 1 (- x)))) into (+ (* 0.253 (/ 1 x)) 1.0) 6.622 * [approximate]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in (x) around 0 6.622 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 6.622 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 6.622 * [taylor]: Taking taylor expansion of 0.253 in x 6.622 * [backup-simplify]: Simplify 0.253 into 0.253 6.622 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.622 * [taylor]: Taking taylor expansion of x in x 6.622 * [backup-simplify]: Simplify 0 into 0 6.622 * [backup-simplify]: Simplify 1 into 1 6.622 * [backup-simplify]: Simplify (/ 1 1) into 1 6.622 * [taylor]: Taking taylor expansion of 1.0 in x 6.623 * [backup-simplify]: Simplify 1.0 into 1.0 6.623 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 6.623 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 6.623 * [taylor]: Taking taylor expansion of 0.253 in x 6.623 * [backup-simplify]: Simplify 0.253 into 0.253 6.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.623 * [taylor]: Taking taylor expansion of x in x 6.623 * [backup-simplify]: Simplify 0 into 0 6.623 * [backup-simplify]: Simplify 1 into 1 6.623 * [backup-simplify]: Simplify (/ 1 1) into 1 6.623 * [taylor]: Taking taylor expansion of 1.0 in x 6.623 * [backup-simplify]: Simplify 1.0 into 1.0 6.624 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 6.624 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 6.624 * [backup-simplify]: Simplify 0.253 into 0.253 6.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 6.626 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 6.626 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 6.626 * [backup-simplify]: Simplify 1.0 into 1.0 6.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.628 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 6.629 * [backup-simplify]: Simplify (+ 0 0) into 0 6.629 * [backup-simplify]: Simplify 0 into 0 6.630 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.631 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 6.631 * [backup-simplify]: Simplify (+ 0 0) into 0 6.631 * [backup-simplify]: Simplify 0 into 0 6.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.633 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 6.634 * [backup-simplify]: Simplify (+ 0 0) into 0 6.634 * [backup-simplify]: Simplify 0 into 0 6.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.637 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 6.637 * [backup-simplify]: Simplify (+ 0 0) into 0 6.637 * [backup-simplify]: Simplify 0 into 0 6.638 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.640 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 6.640 * [backup-simplify]: Simplify (+ 0 0) into 0 6.640 * [backup-simplify]: Simplify 0 into 0 6.642 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 6.643 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 6.644 * [backup-simplify]: Simplify (+ 0 0) into 0 6.644 * [backup-simplify]: Simplify 0 into 0 6.644 * [backup-simplify]: Simplify (+ 1.0 (* 0.253 (/ 1 (/ 1 (- x))))) into (- 1.0 (* 0.253 x)) 6.644 * * * [progress]: simplifying candidates 6.644 * * * * [progress]: [ 1 / 58 ] simplifiying candidate # 6.644 * * * * [progress]: [ 2 / 58 ] simplifiying candidate # 6.644 * * * * [progress]: [ 3 / 58 ] simplifiying candidate # 6.644 * * * * [progress]: [ 4 / 58 ] simplifiying candidate # 6.644 * * * * [progress]: [ 5 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 6 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 7 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 8 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 9 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 10 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 11 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 12 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 13 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 14 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 15 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 16 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 17 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 18 / 58 ] simplifiying candidate #real (real->posit16 (* (* x 0.12) x)))))> 6.645 * * * * [progress]: [ 19 / 58 ] simplifiying candidate # 6.645 * * * * [progress]: [ 20 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 21 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 22 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 23 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 24 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 25 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 26 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 27 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 28 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 29 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 30 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 31 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 32 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 33 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 34 / 58 ] simplifiying candidate # 6.646 * * * * [progress]: [ 35 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 36 / 58 ] simplifiying candidate #real (real->posit16 (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x)))))> 6.647 * * * * [progress]: [ 37 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 38 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 39 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 40 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 41 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 42 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 43 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 44 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 45 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 46 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 47 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 48 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 49 / 58 ] simplifiying candidate #real (real->posit16 (- 1.0 (* 0.253 x)))) (* (* x 0.12) x)))> 6.647 * * * * [progress]: [ 50 / 58 ] simplifiying candidate # 6.647 * * * * [progress]: [ 51 / 58 ] simplifiying candidate # 6.648 * * * * [progress]: [ 52 / 58 ] simplifiying candidate # 6.648 * * * * [progress]: [ 53 / 58 ] simplifiying candidate # 6.648 * * * * [progress]: [ 54 / 58 ] simplifiying candidate # 6.648 * * * * [progress]: [ 55 / 58 ] simplifiying candidate # 6.648 * * * * [progress]: [ 56 / 58 ] simplifiying candidate # 6.648 * * * * [progress]: [ 57 / 58 ] simplifiying candidate # 6.648 * * * * [progress]: [ 58 / 58 ] simplifiying candidate # 6.649 * [simplify]: Simplifying: (* (* x 0.12) x) (* (* x 0.12) x) (+ (+ (log x) (log 0.12)) (log x)) (+ (log (* x 0.12)) (log x)) (log (* (* x 0.12) x)) (exp (* (* x 0.12) x)) (* (* (* (* x x) x) (* (* 0.12 0.12) 0.12)) (* (* x x) x)) (* (* (* (* x 0.12) (* x 0.12)) (* x 0.12)) (* (* x x) x)) (* (cbrt (* (* x 0.12) x)) (cbrt (* (* x 0.12) x))) (cbrt (* (* x 0.12) x)) (* (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)) (* (* x 0.12) (* (cbrt x) (cbrt x))) (* (* x 0.12) (sqrt x)) (* (* x 0.12) 1) (* 0.12 x) (real->posit16 (* (* x 0.12) x)) (/ (/ (exp 1.0) (exp (* 0.253 x))) (exp (* (* x 0.12) x))) (/ (exp (- 1.0 (* 0.253 x))) (exp (* (* x 0.12) x))) (log (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (exp (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (* (cbrt (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (cbrt (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x)))) (cbrt (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (* (* (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x)) (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (sqrt (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (sqrt (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (- (pow (- 1.0 (* 0.253 x)) 3) (pow (* (* x 0.12) x) 3)) (+ (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (+ (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (- 1.0 (* 0.253 x)) (* (* x 0.12) x)))) (- (* (* x 0.12) x)) (- (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (* (* (* x 0.12) x) (* (* x 0.12) x))) (+ (- 1.0 (* 0.253 x)) (* (* x 0.12) x)) (- (- (* 0.253 x)) (* (* x 0.12) x)) (- (- (* 0.253 x)) (* (* x 0.12) x)) (+ (* 0.253 x) (* (* x 0.12) x)) (- (* (* x 0.12) x)) (real->posit16 (- (- 1.0 (* 0.253 x)) (* (* x 0.12) x))) (/ (exp 1.0) (exp (* 0.253 x))) (log (- 1.0 (* 0.253 x))) (exp (- 1.0 (* 0.253 x))) (* (cbrt (- 1.0 (* 0.253 x))) (cbrt (- 1.0 (* 0.253 x)))) (cbrt (- 1.0 (* 0.253 x))) (* (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (- (pow 1.0 3) (pow (* 0.253 x) 3)) (+ (* 1.0 1.0) (+ (* (* 0.253 x) (* 0.253 x)) (* 1.0 (* 0.253 x)))) (- (* 0.253 x)) (- (* 1.0 1.0) (* (* 0.253 x) (* 0.253 x))) (+ 1.0 (* 0.253 x)) (- (* 0.253 x)) (real->posit16 (- 1.0 (* 0.253 x))) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 6.650 * * [simplify]: iteration 0: 89 enodes 6.692 * * [simplify]: iteration 1: 229 enodes 6.792 * * [simplify]: iteration 2: 727 enodes 7.508 * * [simplify]: iteration 3: 3057 enodes 8.717 * * [simplify]: iteration complete: 5000 enodes 8.717 * * [simplify]: Extracting #0: cost 39 inf + 0 8.718 * * [simplify]: Extracting #1: cost 299 inf + 0 8.725 * * [simplify]: Extracting #2: cost 1117 inf + 1780 8.740 * * [simplify]: Extracting #3: cost 1087 inf + 62018 8.800 * * [simplify]: Extracting #4: cost 291 inf + 198777 8.888 * * [simplify]: Extracting #5: cost 39 inf + 261171 8.951 * * [simplify]: Extracting #6: cost 17 inf + 266530 9.020 * * [simplify]: Extracting #7: cost 5 inf + 268546 9.069 * * [simplify]: Extracting #8: cost 0 inf + 269811 9.144 * [simplify]: Simplified to: (* x (* x 0.12)) (* x (* x 0.12)) (log (* x (* x 0.12))) (log (* x (* x 0.12))) (log (* x (* x 0.12))) (exp (* x (* x 0.12))) (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12))) (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12))) (* (cbrt (* x (* x 0.12))) (cbrt (* x (* x 0.12)))) (cbrt (* x (* x 0.12))) (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (sqrt (* x (* x 0.12))) (* x (* (cbrt x) (* (cbrt x) 0.12))) (* (sqrt x) (* 0.12 x)) (* 0.12 x) (* 0.12 x) (real->posit16 (* x (* x 0.12))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (log (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12)))))) (cbrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (* (- 1.0 (* x (+ 0.253 (* x 0.12)))) (* (- 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12)))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (sqrt (- 1.0 (* x (+ 0.253 (* x 0.12))))) (- (* (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (- 1.0 (* 0.253 x))) (* (* (* x (* x 0.12)) (* x (* x 0.12))) (* x (* x 0.12)))) (+ (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (* (+ (* x (* x 0.12)) (- 1.0 (* 0.253 x))) (* x (* x 0.12)))) (* 0.12 (- (* x x))) (- (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (* (* x (* x 0.12)) (* x (* x 0.12)))) (- 1.0 (* x (- 0.253 (* 0.12 x)))) (- (* x (+ 0.253 (* x 0.12)))) (- (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12))) (* 0.12 (- (* x x))) (real->posit16 (- 1.0 (* x (+ 0.253 (* x 0.12))))) (exp (- 1.0 (* 0.253 x))) (log (- 1.0 (* 0.253 x))) (exp (- 1.0 (* 0.253 x))) (* (cbrt (- 1.0 (* 0.253 x))) (cbrt (- 1.0 (* 0.253 x)))) (cbrt (- 1.0 (* 0.253 x))) (* (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (- (* 1.0 (* 1.0 1.0)) (* (* 0.253 x) (* (* 0.253 x) (* 0.253 x)))) (+ (* 1.0 1.0) (* (* 0.253 x) (+ (* 0.253 x) 1.0))) (- (* 0.253 x)) (- (* 1.0 1.0) (* (* 0.253 x) (* 0.253 x))) (+ (* 0.253 x) 1.0) (- (* 0.253 x)) (real->posit16 (- 1.0 (* 0.253 x))) (* x (* x 0.12)) (* x (* x 0.12)) (* x (* x 0.12)) (- 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* x (+ 0.253 (* x 0.12)))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 9.148 * * * [progress]: adding candidates to table 9.338 * * [progress]: iteration 3 / 4 9.338 * * * [progress]: picking best candidate 9.355 * * * * [pick]: Picked # 9.356 * * * [progress]: localizing error 9.396 * * * [progress]: generating rewritten candidates 9.396 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 9.416 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 9.436 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 9.521 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 9.551 * * * [progress]: generating series expansions 9.551 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 9.551 * [backup-simplify]: Simplify (sqrt (* (* x 0.12) x)) into (* x (sqrt 0.12)) 9.551 * [approximate]: Taking taylor expansion of (* x (sqrt 0.12)) in (x) around 0 9.551 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x 9.551 * [taylor]: Taking taylor expansion of x in x 9.551 * [backup-simplify]: Simplify 0 into 0 9.551 * [backup-simplify]: Simplify 1 into 1 9.551 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.551 * [taylor]: Taking taylor expansion of 0.12 in x 9.552 * [backup-simplify]: Simplify 0.12 into 0.12 9.552 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.553 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.553 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x 9.553 * [taylor]: Taking taylor expansion of x in x 9.553 * [backup-simplify]: Simplify 0 into 0 9.553 * [backup-simplify]: Simplify 1 into 1 9.553 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.553 * [taylor]: Taking taylor expansion of 0.12 in x 9.554 * [backup-simplify]: Simplify 0.12 into 0.12 9.554 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.555 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.555 * [backup-simplify]: Simplify (* 0 (sqrt 0.12)) into 0 9.555 * [backup-simplify]: Simplify 0 into 0 9.558 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.12))) into (sqrt 0.12) 9.558 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.560 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.561 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.12)))) into 0 9.561 * [backup-simplify]: Simplify 0 into 0 9.563 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 9.564 * [backup-simplify]: Simplify 0 into 0 9.565 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.566 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 9.566 * [backup-simplify]: Simplify 0 into 0 9.567 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.568 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 9.568 * [backup-simplify]: Simplify 0 into 0 9.568 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.570 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 9.570 * [backup-simplify]: Simplify 0 into 0 9.570 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0 9.572 * [backup-simplify]: Simplify 0 into 0 9.572 * [backup-simplify]: Simplify (* (sqrt 0.12) x) into (* x (sqrt 0.12)) 9.572 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 x) 0.12) (/ 1 x))) into (/ (sqrt 0.12) x) 9.572 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) x) in (x) around 0 9.572 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 9.572 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.572 * [taylor]: Taking taylor expansion of 0.12 in x 9.572 * [backup-simplify]: Simplify 0.12 into 0.12 9.573 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.573 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.573 * [taylor]: Taking taylor expansion of x in x 9.573 * [backup-simplify]: Simplify 0 into 0 9.573 * [backup-simplify]: Simplify 1 into 1 9.574 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 9.574 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 9.574 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.574 * [taylor]: Taking taylor expansion of 0.12 in x 9.574 * [backup-simplify]: Simplify 0.12 into 0.12 9.574 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.574 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.574 * [taylor]: Taking taylor expansion of x in x 9.574 * [backup-simplify]: Simplify 0 into 0 9.574 * [backup-simplify]: Simplify 1 into 1 9.575 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 9.575 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0 9.576 * [backup-simplify]: Simplify 0 into 0 9.577 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.577 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.577 * [backup-simplify]: Simplify 0 into 0 9.578 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.579 * [backup-simplify]: Simplify 0 into 0 9.580 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.581 * [backup-simplify]: Simplify 0 into 0 9.581 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.582 * [backup-simplify]: Simplify 0 into 0 9.583 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.584 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.584 * [backup-simplify]: Simplify 0 into 0 9.584 * [backup-simplify]: Simplify (* (sqrt 0.12) (/ 1 (/ 1 x))) into (* x (sqrt 0.12)) 9.584 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 (- x)) 0.12) (/ 1 (- x)))) into (/ (sqrt 0.12) x) 9.584 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) x) in (x) around 0 9.584 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 9.584 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.584 * [taylor]: Taking taylor expansion of 0.12 in x 9.584 * [backup-simplify]: Simplify 0.12 into 0.12 9.584 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.585 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.585 * [taylor]: Taking taylor expansion of x in x 9.585 * [backup-simplify]: Simplify 0 into 0 9.585 * [backup-simplify]: Simplify 1 into 1 9.585 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 9.585 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 9.585 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.585 * [taylor]: Taking taylor expansion of 0.12 in x 9.585 * [backup-simplify]: Simplify 0.12 into 0.12 9.586 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.586 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.586 * [taylor]: Taking taylor expansion of x in x 9.586 * [backup-simplify]: Simplify 0 into 0 9.586 * [backup-simplify]: Simplify 1 into 1 9.587 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 9.587 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.588 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0 9.588 * [backup-simplify]: Simplify 0 into 0 9.588 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.589 * [backup-simplify]: Simplify 0 into 0 9.590 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.590 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.590 * [backup-simplify]: Simplify 0 into 0 9.591 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.592 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.592 * [backup-simplify]: Simplify 0 into 0 9.593 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.595 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.595 * [backup-simplify]: Simplify 0 into 0 9.596 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.598 * [backup-simplify]: Simplify 0 into 0 9.598 * [backup-simplify]: Simplify (* (sqrt 0.12) (/ 1 (/ 1 (- x)))) into (* -1 (* x (sqrt 0.12))) 9.598 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 9.598 * [backup-simplify]: Simplify (sqrt (* (* x 0.12) x)) into (* x (sqrt 0.12)) 9.598 * [approximate]: Taking taylor expansion of (* x (sqrt 0.12)) in (x) around 0 9.598 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x 9.598 * [taylor]: Taking taylor expansion of x in x 9.598 * [backup-simplify]: Simplify 0 into 0 9.598 * [backup-simplify]: Simplify 1 into 1 9.598 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.598 * [taylor]: Taking taylor expansion of 0.12 in x 9.599 * [backup-simplify]: Simplify 0.12 into 0.12 9.599 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.600 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.600 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x 9.600 * [taylor]: Taking taylor expansion of x in x 9.600 * [backup-simplify]: Simplify 0 into 0 9.600 * [backup-simplify]: Simplify 1 into 1 9.600 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.600 * [taylor]: Taking taylor expansion of 0.12 in x 9.600 * [backup-simplify]: Simplify 0.12 into 0.12 9.600 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.601 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.602 * [backup-simplify]: Simplify (* 0 (sqrt 0.12)) into 0 9.602 * [backup-simplify]: Simplify 0 into 0 9.604 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.12))) into (sqrt 0.12) 9.604 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.605 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.606 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.12)))) into 0 9.606 * [backup-simplify]: Simplify 0 into 0 9.608 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.609 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 9.609 * [backup-simplify]: Simplify 0 into 0 9.609 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.610 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 9.610 * [backup-simplify]: Simplify 0 into 0 9.611 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.612 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 9.612 * [backup-simplify]: Simplify 0 into 0 9.613 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.614 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 9.614 * [backup-simplify]: Simplify 0 into 0 9.615 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.616 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0 9.616 * [backup-simplify]: Simplify 0 into 0 9.616 * [backup-simplify]: Simplify (* (sqrt 0.12) x) into (* x (sqrt 0.12)) 9.616 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 x) 0.12) (/ 1 x))) into (/ (sqrt 0.12) x) 9.616 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) x) in (x) around 0 9.616 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 9.616 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.616 * [taylor]: Taking taylor expansion of 0.12 in x 9.616 * [backup-simplify]: Simplify 0.12 into 0.12 9.617 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.617 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.617 * [taylor]: Taking taylor expansion of x in x 9.617 * [backup-simplify]: Simplify 0 into 0 9.617 * [backup-simplify]: Simplify 1 into 1 9.618 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 9.618 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 9.618 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.618 * [taylor]: Taking taylor expansion of 0.12 in x 9.618 * [backup-simplify]: Simplify 0.12 into 0.12 9.618 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.618 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.618 * [taylor]: Taking taylor expansion of x in x 9.618 * [backup-simplify]: Simplify 0 into 0 9.618 * [backup-simplify]: Simplify 1 into 1 9.619 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 9.619 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0 9.620 * [backup-simplify]: Simplify 0 into 0 9.621 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.621 * [backup-simplify]: Simplify 0 into 0 9.622 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.623 * [backup-simplify]: Simplify 0 into 0 9.626 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.627 * [backup-simplify]: Simplify 0 into 0 9.627 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.628 * [backup-simplify]: Simplify 0 into 0 9.629 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.630 * [backup-simplify]: Simplify 0 into 0 9.630 * [backup-simplify]: Simplify (* (sqrt 0.12) (/ 1 (/ 1 x))) into (* x (sqrt 0.12)) 9.630 * [backup-simplify]: Simplify (sqrt (* (* (/ 1 (- x)) 0.12) (/ 1 (- x)))) into (/ (sqrt 0.12) x) 9.630 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) x) in (x) around 0 9.630 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 9.630 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.630 * [taylor]: Taking taylor expansion of 0.12 in x 9.630 * [backup-simplify]: Simplify 0.12 into 0.12 9.630 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.631 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.631 * [taylor]: Taking taylor expansion of x in x 9.631 * [backup-simplify]: Simplify 0 into 0 9.631 * [backup-simplify]: Simplify 1 into 1 9.631 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 9.631 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x 9.631 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.631 * [taylor]: Taking taylor expansion of 0.12 in x 9.631 * [backup-simplify]: Simplify 0.12 into 0.12 9.632 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.632 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.632 * [taylor]: Taking taylor expansion of x in x 9.632 * [backup-simplify]: Simplify 0 into 0 9.632 * [backup-simplify]: Simplify 1 into 1 9.633 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12) 9.633 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0 9.634 * [backup-simplify]: Simplify 0 into 0 9.634 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.635 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.635 * [backup-simplify]: Simplify 0 into 0 9.636 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.636 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.637 * [backup-simplify]: Simplify 0 into 0 9.638 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.639 * [backup-simplify]: Simplify 0 into 0 9.640 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.641 * [backup-simplify]: Simplify 0 into 0 9.642 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.644 * [backup-simplify]: Simplify 0 into 0 9.644 * [backup-simplify]: Simplify (* (sqrt 0.12) (/ 1 (/ 1 (- x)))) into (* -1 (* x (sqrt 0.12))) 9.644 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 9.644 * [backup-simplify]: Simplify (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) into (* (pow x 2) (pow (sqrt 0.12) 2)) 9.644 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in (x) around 0 9.644 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 9.644 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.644 * [taylor]: Taking taylor expansion of x in x 9.644 * [backup-simplify]: Simplify 0 into 0 9.645 * [backup-simplify]: Simplify 1 into 1 9.645 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 9.645 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.645 * [taylor]: Taking taylor expansion of 0.12 in x 9.645 * [backup-simplify]: Simplify 0.12 into 0.12 9.645 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.646 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.646 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x 9.646 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.646 * [taylor]: Taking taylor expansion of x in x 9.646 * [backup-simplify]: Simplify 0 into 0 9.646 * [backup-simplify]: Simplify 1 into 1 9.646 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 9.646 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.646 * [taylor]: Taking taylor expansion of 0.12 in x 9.646 * [backup-simplify]: Simplify 0.12 into 0.12 9.646 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.647 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.647 * [backup-simplify]: Simplify (* 1 1) into 1 9.648 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 9.649 * [backup-simplify]: Simplify (* 1 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2) 9.650 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 9.650 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 9.651 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.651 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 0.12) 2))) into 0 9.651 * [backup-simplify]: Simplify 0 into 0 9.652 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.653 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 9.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))) into 0 9.654 * [backup-simplify]: Simplify 0 into 0 9.655 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.655 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 9.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))) into 0 9.657 * [backup-simplify]: Simplify 0 into 0 9.658 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.659 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 9.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))) into 0 9.661 * [backup-simplify]: Simplify 0 into 0 9.661 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.662 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 9.663 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))))) into 0 9.664 * [backup-simplify]: Simplify 0 into 0 9.665 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.666 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 9.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.668 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))))) into 0 9.668 * [backup-simplify]: Simplify 0 into 0 9.669 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 9.669 * [backup-simplify]: Simplify (* (sqrt (* (* (/ 1 x) 0.12) (/ 1 x))) (sqrt (* (* (/ 1 x) 0.12) (/ 1 x)))) into (/ (pow (sqrt 0.12) 2) (pow x 2)) 9.669 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0 9.669 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 9.669 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 9.669 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.669 * [taylor]: Taking taylor expansion of 0.12 in x 9.669 * [backup-simplify]: Simplify 0.12 into 0.12 9.670 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.670 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.670 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.670 * [taylor]: Taking taylor expansion of x in x 9.670 * [backup-simplify]: Simplify 0 into 0 9.670 * [backup-simplify]: Simplify 1 into 1 9.671 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 9.671 * [backup-simplify]: Simplify (* 1 1) into 1 9.672 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 9.672 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 9.672 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 9.672 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.672 * [taylor]: Taking taylor expansion of 0.12 in x 9.672 * [backup-simplify]: Simplify 0.12 into 0.12 9.673 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.673 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.673 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.673 * [taylor]: Taking taylor expansion of x in x 9.673 * [backup-simplify]: Simplify 0 into 0 9.673 * [backup-simplify]: Simplify 1 into 1 9.674 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 9.674 * [backup-simplify]: Simplify (* 1 1) into 1 9.675 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 9.676 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 9.676 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 9.677 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0 9.678 * [backup-simplify]: Simplify 0 into 0 9.678 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.679 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 9.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.681 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.681 * [backup-simplify]: Simplify 0 into 0 9.683 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.684 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 9.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.686 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.686 * [backup-simplify]: Simplify 0 into 0 9.688 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.689 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 9.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.692 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.692 * [backup-simplify]: Simplify 0 into 0 9.693 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.695 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 9.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.697 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.697 * [backup-simplify]: Simplify 0 into 0 9.699 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.701 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 9.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.704 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.704 * [backup-simplify]: Simplify 0 into 0 9.705 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 9.705 * [backup-simplify]: Simplify (* (sqrt (* (* (/ 1 (- x)) 0.12) (/ 1 (- x)))) (sqrt (* (* (/ 1 (- x)) 0.12) (/ 1 (- x))))) into (/ (pow (sqrt 0.12) 2) (pow x 2)) 9.705 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0 9.705 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 9.705 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 9.705 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.705 * [taylor]: Taking taylor expansion of 0.12 in x 9.705 * [backup-simplify]: Simplify 0.12 into 0.12 9.706 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.706 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.706 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.706 * [taylor]: Taking taylor expansion of x in x 9.706 * [backup-simplify]: Simplify 0 into 0 9.706 * [backup-simplify]: Simplify 1 into 1 9.707 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 9.708 * [backup-simplify]: Simplify (* 1 1) into 1 9.709 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 9.709 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x 9.709 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x 9.709 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x 9.709 * [taylor]: Taking taylor expansion of 0.12 in x 9.709 * [backup-simplify]: Simplify 0.12 into 0.12 9.709 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12) 9.710 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0 9.710 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.710 * [taylor]: Taking taylor expansion of x in x 9.710 * [backup-simplify]: Simplify 0 into 0 9.710 * [backup-simplify]: Simplify 1 into 1 9.710 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2) 9.711 * [backup-simplify]: Simplify (* 1 1) into 1 9.712 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2) 9.712 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2) 9.713 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0 9.713 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.714 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0 9.714 * [backup-simplify]: Simplify 0 into 0 9.715 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0 9.715 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0 9.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.716 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.717 * [backup-simplify]: Simplify 0 into 0 9.717 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.718 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0 9.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.719 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.719 * [backup-simplify]: Simplify 0 into 0 9.720 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.721 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0 9.722 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.723 * [backup-simplify]: Simplify 0 into 0 9.723 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.724 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0 9.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.727 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.727 * [backup-simplify]: Simplify 0 into 0 9.728 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0 9.729 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0 9.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.731 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.731 * [backup-simplify]: Simplify 0 into 0 9.732 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2)) 9.732 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 9.732 * [backup-simplify]: Simplify (* (* x 0.12) x) into (* 0.12 (pow x 2)) 9.732 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 9.732 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 9.732 * [taylor]: Taking taylor expansion of 0.12 in x 9.732 * [backup-simplify]: Simplify 0.12 into 0.12 9.732 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.732 * [taylor]: Taking taylor expansion of x in x 9.732 * [backup-simplify]: Simplify 0 into 0 9.732 * [backup-simplify]: Simplify 1 into 1 9.732 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 9.732 * [taylor]: Taking taylor expansion of 0.12 in x 9.732 * [backup-simplify]: Simplify 0.12 into 0.12 9.732 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.732 * [taylor]: Taking taylor expansion of x in x 9.732 * [backup-simplify]: Simplify 0 into 0 9.732 * [backup-simplify]: Simplify 1 into 1 9.733 * [backup-simplify]: Simplify (* 1 1) into 1 9.733 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 9.733 * [backup-simplify]: Simplify 0.12 into 0.12 9.734 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.734 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 9.735 * [backup-simplify]: Simplify 0 into 0 9.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.736 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 9.737 * [backup-simplify]: Simplify 0 into 0 9.738 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.739 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.739 * [backup-simplify]: Simplify 0 into 0 9.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.741 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.741 * [backup-simplify]: Simplify 0 into 0 9.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.744 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.744 * [backup-simplify]: Simplify 0 into 0 9.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.748 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.748 * [backup-simplify]: Simplify 0 into 0 9.748 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 9.748 * [backup-simplify]: Simplify (* (* (/ 1 x) 0.12) (/ 1 x)) into (/ 0.12 (pow x 2)) 9.748 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 9.748 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 9.748 * [taylor]: Taking taylor expansion of 0.12 in x 9.748 * [backup-simplify]: Simplify 0.12 into 0.12 9.748 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.748 * [taylor]: Taking taylor expansion of x in x 9.748 * [backup-simplify]: Simplify 0 into 0 9.748 * [backup-simplify]: Simplify 1 into 1 9.749 * [backup-simplify]: Simplify (* 1 1) into 1 9.749 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 9.749 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 9.749 * [taylor]: Taking taylor expansion of 0.12 in x 9.749 * [backup-simplify]: Simplify 0.12 into 0.12 9.749 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.749 * [taylor]: Taking taylor expansion of x in x 9.749 * [backup-simplify]: Simplify 0 into 0 9.749 * [backup-simplify]: Simplify 1 into 1 9.750 * [backup-simplify]: Simplify (* 1 1) into 1 9.750 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 9.750 * [backup-simplify]: Simplify 0.12 into 0.12 9.751 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.752 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 9.752 * [backup-simplify]: Simplify 0 into 0 9.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.754 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.754 * [backup-simplify]: Simplify 0 into 0 9.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.756 * [backup-simplify]: Simplify 0 into 0 9.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.759 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.759 * [backup-simplify]: Simplify 0 into 0 9.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.761 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.761 * [backup-simplify]: Simplify 0 into 0 9.763 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.764 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.764 * [backup-simplify]: Simplify 0 into 0 9.764 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2)) 9.765 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 0.12) (/ 1 (- x))) into (/ 0.12 (pow x 2)) 9.765 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 9.765 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 9.765 * [taylor]: Taking taylor expansion of 0.12 in x 9.765 * [backup-simplify]: Simplify 0.12 into 0.12 9.765 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.765 * [taylor]: Taking taylor expansion of x in x 9.765 * [backup-simplify]: Simplify 0 into 0 9.765 * [backup-simplify]: Simplify 1 into 1 9.765 * [backup-simplify]: Simplify (* 1 1) into 1 9.766 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 9.766 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 9.766 * [taylor]: Taking taylor expansion of 0.12 in x 9.766 * [backup-simplify]: Simplify 0.12 into 0.12 9.766 * [taylor]: Taking taylor expansion of (pow x 2) in x 9.766 * [taylor]: Taking taylor expansion of x in x 9.766 * [backup-simplify]: Simplify 0 into 0 9.766 * [backup-simplify]: Simplify 1 into 1 9.766 * [backup-simplify]: Simplify (* 1 1) into 1 9.767 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 9.767 * [backup-simplify]: Simplify 0.12 into 0.12 9.768 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 9.769 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 9.769 * [backup-simplify]: Simplify 0 into 0 9.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 9.771 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.771 * [backup-simplify]: Simplify 0 into 0 9.772 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 9.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.773 * [backup-simplify]: Simplify 0 into 0 9.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 9.776 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.776 * [backup-simplify]: Simplify 0 into 0 9.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 9.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.778 * [backup-simplify]: Simplify 0 into 0 9.780 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 9.781 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 9.781 * [backup-simplify]: Simplify 0 into 0 9.782 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2)) 9.782 * * * [progress]: simplifying candidates 9.782 * * * * [progress]: [ 1 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 2 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 3 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 4 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 5 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 6 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 7 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 8 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 9 / 124 ] simplifiying candidate # 9.782 * * * * [progress]: [ 10 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 11 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 12 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 13 / 124 ] simplifiying candidate #real (real->posit16 (sqrt (* (* x 0.12) x)))))))> 9.783 * * * * [progress]: [ 14 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 15 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 16 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 17 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 18 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 19 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 20 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 21 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 22 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 23 / 124 ] simplifiying candidate # 9.783 * * * * [progress]: [ 24 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 25 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 26 / 124 ] simplifiying candidate #real (real->posit16 (sqrt (* (* x 0.12) x)))) (sqrt (* (* x 0.12) x)))))> 9.784 * * * * [progress]: [ 27 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 28 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 29 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 30 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 31 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 32 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 33 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 34 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 35 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 36 / 124 ] simplifiying candidate # 9.784 * * * * [progress]: [ 37 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 38 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 39 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 40 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 41 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 42 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 43 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 44 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 45 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 46 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 47 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 48 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 49 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 50 / 124 ] simplifiying candidate # 9.785 * * * * [progress]: [ 51 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 52 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 53 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 54 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 55 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 56 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 57 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 58 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 59 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 60 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 61 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 62 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 63 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 64 / 124 ] simplifiying candidate # 9.786 * * * * [progress]: [ 65 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 66 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 67 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 68 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 69 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 70 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 71 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 72 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 73 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 74 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 75 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 76 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 77 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 78 / 124 ] simplifiying candidate # 9.787 * * * * [progress]: [ 79 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 80 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 81 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 82 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 83 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 84 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 85 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 86 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 87 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 88 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 89 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 90 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 91 / 124 ] simplifiying candidate # 9.788 * * * * [progress]: [ 92 / 124 ] simplifiying candidate #real (real->posit16 (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))))))> 9.788 * * * * [progress]: [ 93 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 94 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 95 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 96 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 97 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 98 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 99 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 100 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 101 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 102 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 103 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 104 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 105 / 124 ] simplifiying candidate # 9.789 * * * * [progress]: [ 106 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 107 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 108 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 109 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 110 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 111 / 124 ] simplifiying candidate #real (real->posit16 (* (* x 0.12) x)))))))> 9.790 * * * * [progress]: [ 112 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 113 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 114 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 115 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 116 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 117 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 118 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 119 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 120 / 124 ] simplifiying candidate # 9.790 * * * * [progress]: [ 121 / 124 ] simplifiying candidate # 9.791 * * * * [progress]: [ 122 / 124 ] simplifiying candidate # 9.791 * * * * [progress]: [ 123 / 124 ] simplifiying candidate # 9.791 * * * * [progress]: [ 124 / 124 ] simplifiying candidate # 9.793 * [simplify]: Simplifying: (log (sqrt (* (* x 0.12) x))) (exp (sqrt (* (* x 0.12) x))) (* (cbrt (sqrt (* (* x 0.12) x))) (cbrt (sqrt (* (* x 0.12) x)))) (cbrt (sqrt (* (* x 0.12) x))) (* (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) (sqrt (* (* x 0.12) x))) (sqrt (* x 0.12)) (sqrt x) (/ 1 2) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (* x 0.12) x))) (sqrt (sqrt (* (* x 0.12) x))) (real->posit16 (sqrt (* (* x 0.12) x))) (log (sqrt (* (* x 0.12) x))) (exp (sqrt (* (* x 0.12) x))) (* (cbrt (sqrt (* (* x 0.12) x))) (cbrt (sqrt (* (* x 0.12) x)))) (cbrt (sqrt (* (* x 0.12) x))) (* (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) (sqrt (* (* x 0.12) x))) (sqrt (* x 0.12)) (sqrt x) (/ 1 2) (/ 1 2) (/ 1 2) (sqrt (sqrt (* (* x 0.12) x))) (sqrt (sqrt (* (* x 0.12) x))) (real->posit16 (sqrt (* (* x 0.12) x))) (+ 1/2 1/2) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1/2 (/ 1 2)) (+ 1 1) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) 1/2) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (+ (/ 1 2) (/ 1 2)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* (* x 0.12) x) (* (* x 0.12) x)) (+ 1 1) (+ (log (sqrt (* (* x 0.12) x))) (log (sqrt (* (* x 0.12) x)))) (log (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (exp (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (* (* (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) (sqrt (* (* x 0.12) x))) (* (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) (sqrt (* (* x 0.12) x)))) (* (cbrt (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (cbrt (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))))) (cbrt (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (* (* (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (* (* (* x 0.12) x) (* (* x 0.12) x)) (sqrt (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (sqrt (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (* (* (cbrt (sqrt (* (* x 0.12) x))) (cbrt (sqrt (* (* x 0.12) x)))) (* (cbrt (sqrt (* (* x 0.12) x))) (cbrt (sqrt (* (* x 0.12) x))))) (* (cbrt (sqrt (* (* x 0.12) x))) (cbrt (sqrt (* (* x 0.12) x)))) (* (sqrt (* x 0.12)) (sqrt (* x 0.12))) (* (sqrt x) (sqrt x)) (* (sqrt (sqrt (* (* x 0.12) x))) (sqrt (sqrt (* (* x 0.12) x)))) (* (sqrt (sqrt (* (* x 0.12) x))) (sqrt (sqrt (* (* x 0.12) x)))) (* 1 1) (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) (* (sqrt (sqrt (* (* x 0.12) x))) (sqrt (sqrt (* (* x 0.12) x)))) (* (sqrt (sqrt (* (* x 0.12) x))) (sqrt (sqrt (* (* x 0.12) x)))) (* 2 1/2) (* 2 1) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* 2 (/ 1 2)) (* (sqrt (* (* x 0.12) x)) (* (cbrt (sqrt (* (* x 0.12) x))) (cbrt (sqrt (* (* x 0.12) x))))) (* (sqrt (* (* x 0.12) x)) (sqrt (* x 0.12))) (* (sqrt (* (* x 0.12) x)) (sqrt (sqrt (* (* x 0.12) x)))) (* (sqrt (* (* x 0.12) x)) 1) (* (cbrt (sqrt (* (* x 0.12) x))) (sqrt (* (* x 0.12) x))) (* (sqrt x) (sqrt (* (* x 0.12) x))) (* (sqrt (sqrt (* (* x 0.12) x))) (sqrt (* (* x 0.12) x))) (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x))) (real->posit16 (* (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)))) (* (* x 0.12) x) (* (* x 0.12) x) (+ (+ (log x) (log 0.12)) (log x)) (+ (log (* x 0.12)) (log x)) (log (* (* x 0.12) x)) (exp (* (* x 0.12) x)) (* (* (* (* x x) x) (* (* 0.12 0.12) 0.12)) (* (* x x) x)) (* (* (* (* x 0.12) (* x 0.12)) (* x 0.12)) (* (* x x) x)) (* (cbrt (* (* x 0.12) x)) (cbrt (* (* x 0.12) x))) (cbrt (* (* x 0.12) x)) (* (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)) (sqrt (* (* x 0.12) x)) (* (* x 0.12) (* (cbrt x) (cbrt x))) (* (* x 0.12) (sqrt x)) (* (* x 0.12) 1) (* 0.12 x) (real->posit16 (* (* x 0.12) x)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* -1 (* x (sqrt 0.12))) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* -1 (* x (sqrt 0.12))) (* (pow x 2) (pow (sqrt 0.12) 2)) (* (pow x 2) (pow (sqrt 0.12) 2)) (* (pow x 2) (pow (sqrt 0.12) 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) 9.795 * * [simplify]: iteration 0: 85 enodes 9.841 * * [simplify]: iteration 1: 212 enodes 9.927 * * [simplify]: iteration 2: 495 enodes 10.225 * * [simplify]: iteration 3: 1399 enodes 11.433 * * [simplify]: iteration complete: 5000 enodes 11.433 * * [simplify]: Extracting #0: cost 33 inf + 0 11.434 * * [simplify]: Extracting #1: cost 515 inf + 45 11.443 * * [simplify]: Extracting #2: cost 1305 inf + 5691 11.456 * * [simplify]: Extracting #3: cost 979 inf + 61916 11.516 * * [simplify]: Extracting #4: cost 345 inf + 217242 11.600 * * [simplify]: Extracting #5: cost 10 inf + 326461 11.731 * * [simplify]: Extracting #6: cost 0 inf + 330128 11.837 * [simplify]: Simplified to: (log (sqrt (* x (* 0.12 x)))) (exp (sqrt (* x (* 0.12 x)))) (* (cbrt (sqrt (* x (* 0.12 x)))) (cbrt (sqrt (* x (* 0.12 x))))) (cbrt (sqrt (* x (* 0.12 x)))) (* (sqrt (* x (* 0.12 x))) (* x (* 0.12 x))) (sqrt (* x 0.12)) (sqrt x) 1/2 1/2 1/2 (sqrt (sqrt (* x (* 0.12 x)))) (sqrt (sqrt (* x (* 0.12 x)))) (real->posit16 (sqrt (* x (* 0.12 x)))) (log (sqrt (* x (* 0.12 x)))) (exp (sqrt (* x (* 0.12 x)))) (* (cbrt (sqrt (* x (* 0.12 x)))) (cbrt (sqrt (* x (* 0.12 x))))) (cbrt (sqrt (* x (* 0.12 x)))) (* (sqrt (* x (* 0.12 x))) (* x (* 0.12 x))) (sqrt (* x 0.12)) (sqrt x) 1/2 1/2 1/2 (sqrt (sqrt (* x (* 0.12 x)))) (sqrt (sqrt (* x (* 0.12 x)))) (real->posit16 (sqrt (* x (* 0.12 x)))) 1 1 1 1 2 1 1 1 1 1 1 1 1 1 1 1 1 (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* x (* 0.12 x)) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) 2 (log (* x (* 0.12 x))) (log (* x (* 0.12 x))) (exp (* x (* 0.12 x))) (* (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* x (* 0.12 x))) (* (cbrt (* x (* 0.12 x))) (cbrt (* x (* 0.12 x)))) (cbrt (* x (* 0.12 x))) (* (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* x (* 0.12 x))) (* (* x (* 0.12 x)) (* x (* 0.12 x))) (sqrt (* x (* 0.12 x))) (sqrt (* x (* 0.12 x))) (* (cbrt (sqrt (* x (* 0.12 x)))) (sqrt (* x (* 0.12 x)))) (* (cbrt (sqrt (* x (* 0.12 x)))) (cbrt (sqrt (* x (* 0.12 x))))) (* x 0.12) x (sqrt (* x (* 0.12 x))) (sqrt (* x (* 0.12 x))) 1 (* x (* 0.12 x)) (sqrt (* x (* 0.12 x))) (sqrt (* x (* 0.12 x))) 1 2 1 1 1 1 1 1 1 1 1 (* (* (cbrt (sqrt (* x (* 0.12 x)))) (cbrt (sqrt (* x (* 0.12 x))))) (sqrt (* x (* 0.12 x)))) (* (sqrt (* x 0.12)) (sqrt (* x (* 0.12 x)))) (* (sqrt (* x (* 0.12 x))) (sqrt (sqrt (* x (* 0.12 x))))) (sqrt (* x (* 0.12 x))) (* (cbrt (sqrt (* x (* 0.12 x)))) (sqrt (* x (* 0.12 x)))) (* (sqrt (* x (* 0.12 x))) (sqrt x)) (* (sqrt (* x (* 0.12 x))) (sqrt (sqrt (* x (* 0.12 x))))) (* x (* 0.12 x)) (real->posit16 (* x (* 0.12 x))) (* x (* 0.12 x)) (* x (* 0.12 x)) (log (* x (* 0.12 x))) (log (* x (* 0.12 x))) (log (* x (* 0.12 x))) (exp (* x (* 0.12 x))) (* (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* x (* 0.12 x))) (* (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* x (* 0.12 x))) (* (cbrt (* x (* 0.12 x))) (cbrt (* x (* 0.12 x)))) (cbrt (* x (* 0.12 x))) (* (* (* x (* 0.12 x)) (* x (* 0.12 x))) (* x (* 0.12 x))) (sqrt (* x (* 0.12 x))) (sqrt (* x (* 0.12 x))) (* (* x 0.12) (* (cbrt x) (cbrt x))) (* (* (sqrt x) 0.12) x) (* x 0.12) (* x 0.12) (real->posit16 (* x (* 0.12 x))) (* (sqrt 0.12) x) (* (sqrt 0.12) x) (* (sqrt 0.12) (- x)) (* (sqrt 0.12) x) (* (sqrt 0.12) x) (* (sqrt 0.12) (- x)) (* (* x x) 0.12) (* (* x x) 0.12) (* (* x x) 0.12) (* (* x x) 0.12) (* (* x x) 0.12) (* (* x x) 0.12) 11.844 * * * [progress]: adding candidates to table 12.200 * * [progress]: iteration 4 / 4 12.200 * * * [progress]: picking best candidate 12.213 * * * * [pick]: Picked # 12.213 * * * [progress]: localizing error 12.229 * * * [progress]: generating rewritten candidates 12.230 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 12.258 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 12.299 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 12.303 * * * [progress]: generating series expansions 12.303 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 12.303 * [backup-simplify]: Simplify (* (* x x) 0.12) into (* 0.12 (pow x 2)) 12.303 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0 12.303 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 12.303 * [taylor]: Taking taylor expansion of 0.12 in x 12.303 * [backup-simplify]: Simplify 0.12 into 0.12 12.303 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.303 * [taylor]: Taking taylor expansion of x in x 12.303 * [backup-simplify]: Simplify 0 into 0 12.303 * [backup-simplify]: Simplify 1 into 1 12.303 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 12.303 * [taylor]: Taking taylor expansion of 0.12 in x 12.303 * [backup-simplify]: Simplify 0.12 into 0.12 12.303 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.303 * [taylor]: Taking taylor expansion of x in x 12.303 * [backup-simplify]: Simplify 0 into 0 12.303 * [backup-simplify]: Simplify 1 into 1 12.304 * [backup-simplify]: Simplify (* 1 1) into 1 12.304 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.304 * [backup-simplify]: Simplify 0.12 into 0.12 12.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.305 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.305 * [backup-simplify]: Simplify 0 into 0 12.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.306 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.306 * [backup-simplify]: Simplify 0 into 0 12.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.308 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.308 * [backup-simplify]: Simplify 0 into 0 12.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.309 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.309 * [backup-simplify]: Simplify 0 into 0 12.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.311 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.311 * [backup-simplify]: Simplify 0 into 0 12.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.315 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.315 * [backup-simplify]: Simplify 0 into 0 12.315 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2)) 12.315 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 0.12) into (/ 0.12 (pow x 2)) 12.315 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 12.315 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 12.315 * [taylor]: Taking taylor expansion of 0.12 in x 12.315 * [backup-simplify]: Simplify 0.12 into 0.12 12.315 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.315 * [taylor]: Taking taylor expansion of x in x 12.316 * [backup-simplify]: Simplify 0 into 0 12.316 * [backup-simplify]: Simplify 1 into 1 12.316 * [backup-simplify]: Simplify (* 1 1) into 1 12.316 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 12.316 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 12.316 * [taylor]: Taking taylor expansion of 0.12 in x 12.316 * [backup-simplify]: Simplify 0.12 into 0.12 12.316 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.316 * [taylor]: Taking taylor expansion of x in x 12.316 * [backup-simplify]: Simplify 0 into 0 12.316 * [backup-simplify]: Simplify 1 into 1 12.317 * [backup-simplify]: Simplify (* 1 1) into 1 12.317 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 12.317 * [backup-simplify]: Simplify 0.12 into 0.12 12.317 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.318 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 12.318 * [backup-simplify]: Simplify 0 into 0 12.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.319 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.319 * [backup-simplify]: Simplify 0 into 0 12.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.320 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.320 * [backup-simplify]: Simplify 0 into 0 12.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.322 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.322 * [backup-simplify]: Simplify 0 into 0 12.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.323 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.323 * [backup-simplify]: Simplify 0 into 0 12.324 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.326 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.326 * [backup-simplify]: Simplify 0 into 0 12.326 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2)) 12.326 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12) into (/ 0.12 (pow x 2)) 12.326 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0 12.326 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 12.326 * [taylor]: Taking taylor expansion of 0.12 in x 12.326 * [backup-simplify]: Simplify 0.12 into 0.12 12.326 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.326 * [taylor]: Taking taylor expansion of x in x 12.326 * [backup-simplify]: Simplify 0 into 0 12.326 * [backup-simplify]: Simplify 1 into 1 12.327 * [backup-simplify]: Simplify (* 1 1) into 1 12.327 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 12.327 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x 12.327 * [taylor]: Taking taylor expansion of 0.12 in x 12.327 * [backup-simplify]: Simplify 0.12 into 0.12 12.327 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.327 * [taylor]: Taking taylor expansion of x in x 12.327 * [backup-simplify]: Simplify 0 into 0 12.327 * [backup-simplify]: Simplify 1 into 1 12.328 * [backup-simplify]: Simplify (* 1 1) into 1 12.329 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12 12.329 * [backup-simplify]: Simplify 0.12 into 0.12 12.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0 12.330 * [backup-simplify]: Simplify 0 into 0 12.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.333 * [backup-simplify]: Simplify 0 into 0 12.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.335 * [backup-simplify]: Simplify 0 into 0 12.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.337 * [backup-simplify]: Simplify 0 into 0 12.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.340 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.340 * [backup-simplify]: Simplify 0 into 0 12.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.342 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.342 * [backup-simplify]: Simplify 0 into 0 12.343 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2)) 12.343 * * * * [progress]: [ 2 / 3 ] generating series at (2) 12.343 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12)) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 12.343 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in (x) around 0 12.343 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 12.343 * [taylor]: Taking taylor expansion of 1.0 in x 12.343 * [backup-simplify]: Simplify 1.0 into 1.0 12.343 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 12.343 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 12.343 * [taylor]: Taking taylor expansion of 0.253 in x 12.343 * [backup-simplify]: Simplify 0.253 into 0.253 12.343 * [taylor]: Taking taylor expansion of x in x 12.343 * [backup-simplify]: Simplify 0 into 0 12.343 * [backup-simplify]: Simplify 1 into 1 12.343 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 12.343 * [taylor]: Taking taylor expansion of 0.12 in x 12.343 * [backup-simplify]: Simplify 0.12 into 0.12 12.343 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.343 * [taylor]: Taking taylor expansion of x in x 12.343 * [backup-simplify]: Simplify 0 into 0 12.343 * [backup-simplify]: Simplify 1 into 1 12.343 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) in x 12.344 * [taylor]: Taking taylor expansion of 1.0 in x 12.344 * [backup-simplify]: Simplify 1.0 into 1.0 12.344 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x 12.344 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 12.344 * [taylor]: Taking taylor expansion of 0.253 in x 12.344 * [backup-simplify]: Simplify 0.253 into 0.253 12.344 * [taylor]: Taking taylor expansion of x in x 12.344 * [backup-simplify]: Simplify 0 into 0 12.344 * [backup-simplify]: Simplify 1 into 1 12.344 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x 12.344 * [taylor]: Taking taylor expansion of 0.12 in x 12.344 * [backup-simplify]: Simplify 0.12 into 0.12 12.344 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.344 * [taylor]: Taking taylor expansion of x in x 12.344 * [backup-simplify]: Simplify 0 into 0 12.344 * [backup-simplify]: Simplify 1 into 1 12.344 * [backup-simplify]: Simplify (* 0.253 0) into 0 12.345 * [backup-simplify]: Simplify (+ 0 0) into 0 12.345 * [backup-simplify]: Simplify (- 0) into 0 12.345 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 12.345 * [backup-simplify]: Simplify 1.0 into 1.0 12.346 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 12.346 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.347 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.347 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 12.347 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.348 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 12.348 * [backup-simplify]: Simplify (* 1 1) into 1 12.349 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.349 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 12.349 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.350 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.350 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.351 * [backup-simplify]: Simplify (+ (* (- 0.12) (pow x 2)) (+ (* (- 0.253) x) 1.0)) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 12.351 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 (/ 1 x))) (* (* (/ 1 x) (/ 1 x)) 0.12)) into (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) 12.351 * [approximate]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in (x) around 0 12.351 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in x 12.351 * [taylor]: Taking taylor expansion of 1.0 in x 12.351 * [backup-simplify]: Simplify 1.0 into 1.0 12.351 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2)))) in x 12.351 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.351 * [taylor]: Taking taylor expansion of 0.253 in x 12.351 * [backup-simplify]: Simplify 0.253 into 0.253 12.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.351 * [taylor]: Taking taylor expansion of x in x 12.351 * [backup-simplify]: Simplify 0 into 0 12.351 * [backup-simplify]: Simplify 1 into 1 12.351 * [backup-simplify]: Simplify (/ 1 1) into 1 12.351 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 12.351 * [taylor]: Taking taylor expansion of 0.12 in x 12.351 * [backup-simplify]: Simplify 0.12 into 0.12 12.351 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.351 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.351 * [taylor]: Taking taylor expansion of x in x 12.351 * [backup-simplify]: Simplify 0 into 0 12.351 * [backup-simplify]: Simplify 1 into 1 12.352 * [backup-simplify]: Simplify (* 1 1) into 1 12.352 * [backup-simplify]: Simplify (/ 1 1) into 1 12.352 * [taylor]: Taking taylor expansion of (- 1.0 (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2))))) in x 12.352 * [taylor]: Taking taylor expansion of 1.0 in x 12.352 * [backup-simplify]: Simplify 1.0 into 1.0 12.352 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) (* 0.12 (/ 1 (pow x 2)))) in x 12.352 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.352 * [taylor]: Taking taylor expansion of 0.253 in x 12.352 * [backup-simplify]: Simplify 0.253 into 0.253 12.352 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.352 * [taylor]: Taking taylor expansion of x in x 12.352 * [backup-simplify]: Simplify 0 into 0 12.352 * [backup-simplify]: Simplify 1 into 1 12.352 * [backup-simplify]: Simplify (/ 1 1) into 1 12.352 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 12.352 * [taylor]: Taking taylor expansion of 0.12 in x 12.352 * [backup-simplify]: Simplify 0.12 into 0.12 12.352 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.352 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.352 * [taylor]: Taking taylor expansion of x in x 12.352 * [backup-simplify]: Simplify 0 into 0 12.352 * [backup-simplify]: Simplify 1 into 1 12.353 * [backup-simplify]: Simplify (* 1 1) into 1 12.353 * [backup-simplify]: Simplify (/ 1 1) into 1 12.353 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.354 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12 12.354 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.354 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.355 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.355 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 12.355 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.356 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.357 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.357 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.357 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 12.358 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.358 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.359 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 12.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.360 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.361 * [backup-simplify]: Simplify (+ 0 0) into 0 12.361 * [backup-simplify]: Simplify (- 0) into 0 12.361 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 12.361 * [backup-simplify]: Simplify 1.0 into 1.0 12.362 * [backup-simplify]: Simplify (+ 1.0 (+ (* (- 0.253) (/ 1 (/ 1 x))) (* (- 0.12) (pow (/ 1 (/ 1 x)) 2)))) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 12.362 * [backup-simplify]: Simplify (- (- 1.0 (* 0.253 (/ 1 (- x)))) (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12)) into (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) 12.362 * [approximate]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in (x) around 0 12.362 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 12.362 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 12.362 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.362 * [taylor]: Taking taylor expansion of 0.253 in x 12.362 * [backup-simplify]: Simplify 0.253 into 0.253 12.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.362 * [taylor]: Taking taylor expansion of x in x 12.362 * [backup-simplify]: Simplify 0 into 0 12.362 * [backup-simplify]: Simplify 1 into 1 12.363 * [backup-simplify]: Simplify (/ 1 1) into 1 12.363 * [taylor]: Taking taylor expansion of 1.0 in x 12.363 * [backup-simplify]: Simplify 1.0 into 1.0 12.363 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 12.363 * [taylor]: Taking taylor expansion of 0.12 in x 12.363 * [backup-simplify]: Simplify 0.12 into 0.12 12.363 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.363 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.363 * [taylor]: Taking taylor expansion of x in x 12.363 * [backup-simplify]: Simplify 0 into 0 12.363 * [backup-simplify]: Simplify 1 into 1 12.363 * [backup-simplify]: Simplify (* 1 1) into 1 12.363 * [backup-simplify]: Simplify (/ 1 1) into 1 12.363 * [taylor]: Taking taylor expansion of (- (+ (* 0.253 (/ 1 x)) 1.0) (* 0.12 (/ 1 (pow x 2)))) in x 12.363 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 12.363 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.363 * [taylor]: Taking taylor expansion of 0.253 in x 12.363 * [backup-simplify]: Simplify 0.253 into 0.253 12.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.363 * [taylor]: Taking taylor expansion of x in x 12.364 * [backup-simplify]: Simplify 0 into 0 12.364 * [backup-simplify]: Simplify 1 into 1 12.364 * [backup-simplify]: Simplify (/ 1 1) into 1 12.364 * [taylor]: Taking taylor expansion of 1.0 in x 12.364 * [backup-simplify]: Simplify 1.0 into 1.0 12.364 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x 12.364 * [taylor]: Taking taylor expansion of 0.12 in x 12.364 * [backup-simplify]: Simplify 0.12 into 0.12 12.364 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 12.364 * [taylor]: Taking taylor expansion of (pow x 2) in x 12.364 * [taylor]: Taking taylor expansion of x in x 12.364 * [backup-simplify]: Simplify 0 into 0 12.364 * [backup-simplify]: Simplify 1 into 1 12.364 * [backup-simplify]: Simplify (* 1 1) into 1 12.364 * [backup-simplify]: Simplify (/ 1 1) into 1 12.365 * [backup-simplify]: Simplify (* 0.12 1) into 0.12 12.365 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.366 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12) 12.366 * [backup-simplify]: Simplify (- 0.12) into (- 0.12) 12.366 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 12.366 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.367 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 12.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.368 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0 12.368 * [backup-simplify]: Simplify (- 0) into 0 12.368 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.368 * [backup-simplify]: Simplify 0.253 into 0.253 12.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.369 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 12.370 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 12.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 12.371 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.372 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0 12.372 * [backup-simplify]: Simplify (- 0) into 0 12.373 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 12.373 * [backup-simplify]: Simplify 1.0 into 1.0 12.373 * [backup-simplify]: Simplify (+ 1.0 (+ (* 0.253 (/ 1 (/ 1 (- x)))) (* (- 0.12) (pow (/ 1 (/ 1 (- x))) 2)))) into (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) 12.373 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 12.373 * [backup-simplify]: Simplify (- 1.0 (* 0.253 x)) into (- 1.0 (* 0.253 x)) 12.373 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in (x) around 0 12.373 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 12.373 * [taylor]: Taking taylor expansion of 1.0 in x 12.373 * [backup-simplify]: Simplify 1.0 into 1.0 12.373 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 12.373 * [taylor]: Taking taylor expansion of 0.253 in x 12.373 * [backup-simplify]: Simplify 0.253 into 0.253 12.373 * [taylor]: Taking taylor expansion of x in x 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify 1 into 1 12.374 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 x)) in x 12.374 * [taylor]: Taking taylor expansion of 1.0 in x 12.374 * [backup-simplify]: Simplify 1.0 into 1.0 12.374 * [taylor]: Taking taylor expansion of (* 0.253 x) in x 12.374 * [taylor]: Taking taylor expansion of 0.253 in x 12.374 * [backup-simplify]: Simplify 0.253 into 0.253 12.374 * [taylor]: Taking taylor expansion of x in x 12.374 * [backup-simplify]: Simplify 0 into 0 12.374 * [backup-simplify]: Simplify 1 into 1 12.374 * [backup-simplify]: Simplify (* 0.253 0) into 0 12.374 * [backup-simplify]: Simplify (- 0) into 0 12.375 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 12.375 * [backup-simplify]: Simplify 1.0 into 1.0 12.376 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253 12.376 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.376 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 12.377 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.377 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0 12.378 * [backup-simplify]: Simplify (- 0) into 0 12.378 * [backup-simplify]: Simplify (+ 0 0) into 0 12.378 * [backup-simplify]: Simplify 0 into 0 12.378 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.379 * [backup-simplify]: Simplify (- 0) into 0 12.379 * [backup-simplify]: Simplify (+ 0 0) into 0 12.379 * [backup-simplify]: Simplify 0 into 0 12.380 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.380 * [backup-simplify]: Simplify (- 0) into 0 12.380 * [backup-simplify]: Simplify (+ 0 0) into 0 12.380 * [backup-simplify]: Simplify 0 into 0 12.382 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 12.382 * [backup-simplify]: Simplify (- 0) into 0 12.383 * [backup-simplify]: Simplify (+ 0 0) into 0 12.383 * [backup-simplify]: Simplify 0 into 0 12.385 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 12.385 * [backup-simplify]: Simplify (- 0) into 0 12.385 * [backup-simplify]: Simplify (+ 0 0) into 0 12.385 * [backup-simplify]: Simplify 0 into 0 12.387 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 12.388 * [backup-simplify]: Simplify (- 0) into 0 12.388 * [backup-simplify]: Simplify (+ 0 0) into 0 12.388 * [backup-simplify]: Simplify 0 into 0 12.389 * [backup-simplify]: Simplify (+ (* (- 0.253) x) 1.0) into (- 1.0 (* 0.253 x)) 12.389 * [backup-simplify]: Simplify (- 1.0 (* 0.253 (/ 1 x))) into (- 1.0 (* 0.253 (/ 1 x))) 12.389 * [approximate]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in (x) around 0 12.389 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 12.389 * [taylor]: Taking taylor expansion of 1.0 in x 12.389 * [backup-simplify]: Simplify 1.0 into 1.0 12.389 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.389 * [taylor]: Taking taylor expansion of 0.253 in x 12.389 * [backup-simplify]: Simplify 0.253 into 0.253 12.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.389 * [taylor]: Taking taylor expansion of x in x 12.389 * [backup-simplify]: Simplify 0 into 0 12.389 * [backup-simplify]: Simplify 1 into 1 12.390 * [backup-simplify]: Simplify (/ 1 1) into 1 12.390 * [taylor]: Taking taylor expansion of (- 1.0 (* 0.253 (/ 1 x))) in x 12.390 * [taylor]: Taking taylor expansion of 1.0 in x 12.390 * [backup-simplify]: Simplify 1.0 into 1.0 12.390 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.390 * [taylor]: Taking taylor expansion of 0.253 in x 12.390 * [backup-simplify]: Simplify 0.253 into 0.253 12.390 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.390 * [taylor]: Taking taylor expansion of x in x 12.390 * [backup-simplify]: Simplify 0 into 0 12.390 * [backup-simplify]: Simplify 1 into 1 12.391 * [backup-simplify]: Simplify (/ 1 1) into 1 12.391 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 12.392 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.393 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253) 12.393 * [backup-simplify]: Simplify (- 0.253) into (- 0.253) 12.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.395 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 12.395 * [backup-simplify]: Simplify (- 0) into 0 12.396 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0 12.396 * [backup-simplify]: Simplify 1.0 into 1.0 12.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.398 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 12.398 * [backup-simplify]: Simplify (- 0) into 0 12.399 * [backup-simplify]: Simplify (+ 0 0) into 0 12.399 * [backup-simplify]: Simplify 0 into 0 12.400 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.401 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.401 * [backup-simplify]: Simplify (- 0) into 0 12.402 * [backup-simplify]: Simplify (+ 0 0) into 0 12.402 * [backup-simplify]: Simplify 0 into 0 12.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.404 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.405 * [backup-simplify]: Simplify (- 0) into 0 12.405 * [backup-simplify]: Simplify (+ 0 0) into 0 12.405 * [backup-simplify]: Simplify 0 into 0 12.406 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.408 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.408 * [backup-simplify]: Simplify (- 0) into 0 12.409 * [backup-simplify]: Simplify (+ 0 0) into 0 12.409 * [backup-simplify]: Simplify 0 into 0 12.410 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.411 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.412 * [backup-simplify]: Simplify (- 0) into 0 12.412 * [backup-simplify]: Simplify (+ 0 0) into 0 12.413 * [backup-simplify]: Simplify 0 into 0 12.414 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.416 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 12.416 * [backup-simplify]: Simplify (- 0) into 0 12.416 * [backup-simplify]: Simplify (+ 0 0) into 0 12.416 * [backup-simplify]: Simplify 0 into 0 12.417 * [backup-simplify]: Simplify (+ 1.0 (* (- 0.253) (/ 1 (/ 1 x)))) into (- 1.0 (* 0.253 x)) 12.417 * [backup-simplify]: Simplify (- 1.0 (* 0.253 (/ 1 (- x)))) into (+ (* 0.253 (/ 1 x)) 1.0) 12.417 * [approximate]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in (x) around 0 12.417 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 12.417 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.417 * [taylor]: Taking taylor expansion of 0.253 in x 12.417 * [backup-simplify]: Simplify 0.253 into 0.253 12.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.417 * [taylor]: Taking taylor expansion of x in x 12.417 * [backup-simplify]: Simplify 0 into 0 12.417 * [backup-simplify]: Simplify 1 into 1 12.418 * [backup-simplify]: Simplify (/ 1 1) into 1 12.418 * [taylor]: Taking taylor expansion of 1.0 in x 12.418 * [backup-simplify]: Simplify 1.0 into 1.0 12.418 * [taylor]: Taking taylor expansion of (+ (* 0.253 (/ 1 x)) 1.0) in x 12.418 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x 12.418 * [taylor]: Taking taylor expansion of 0.253 in x 12.418 * [backup-simplify]: Simplify 0.253 into 0.253 12.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.418 * [taylor]: Taking taylor expansion of x in x 12.418 * [backup-simplify]: Simplify 0 into 0 12.418 * [backup-simplify]: Simplify 1 into 1 12.419 * [backup-simplify]: Simplify (/ 1 1) into 1 12.419 * [taylor]: Taking taylor expansion of 1.0 in x 12.419 * [backup-simplify]: Simplify 1.0 into 1.0 12.419 * [backup-simplify]: Simplify (* 0.253 1) into 0.253 12.420 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253 12.420 * [backup-simplify]: Simplify 0.253 into 0.253 12.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.421 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0 12.422 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0 12.422 * [backup-simplify]: Simplify 1.0 into 1.0 12.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.424 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0 12.424 * [backup-simplify]: Simplify (+ 0 0) into 0 12.424 * [backup-simplify]: Simplify 0 into 0 12.425 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.427 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.427 * [backup-simplify]: Simplify (+ 0 0) into 0 12.427 * [backup-simplify]: Simplify 0 into 0 12.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.430 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.430 * [backup-simplify]: Simplify (+ 0 0) into 0 12.430 * [backup-simplify]: Simplify 0 into 0 12.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.433 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 12.433 * [backup-simplify]: Simplify (+ 0 0) into 0 12.433 * [backup-simplify]: Simplify 0 into 0 12.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.438 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 12.438 * [backup-simplify]: Simplify (+ 0 0) into 0 12.439 * [backup-simplify]: Simplify 0 into 0 12.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.442 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 12.442 * [backup-simplify]: Simplify (+ 0 0) into 0 12.442 * [backup-simplify]: Simplify 0 into 0 12.443 * [backup-simplify]: Simplify (+ 1.0 (* 0.253 (/ 1 (/ 1 (- x))))) into (- 1.0 (* 0.253 x)) 12.443 * * * [progress]: simplifying candidates 12.443 * * * * [progress]: [ 1 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 2 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 3 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 4 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 5 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 6 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 7 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 8 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 9 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 10 / 59 ] simplifiying candidate # 12.443 * * * * [progress]: [ 11 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 12 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 13 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 14 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 15 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 16 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 17 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 18 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 19 / 59 ] simplifiying candidate #real (real->posit16 (* (* x x) 0.12)))))> 12.444 * * * * [progress]: [ 20 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 21 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 22 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 23 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 24 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 25 / 59 ] simplifiying candidate # 12.444 * * * * [progress]: [ 26 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 27 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 28 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 29 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 30 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 31 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 32 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 33 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 34 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 35 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 36 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 37 / 59 ] simplifiying candidate #real (real->posit16 (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12)))))> 12.445 * * * * [progress]: [ 38 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 39 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 40 / 59 ] simplifiying candidate # 12.445 * * * * [progress]: [ 41 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 42 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 43 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 44 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 45 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 46 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 47 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 48 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 49 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 50 / 59 ] simplifiying candidate #real (real->posit16 (- 1.0 (* 0.253 x)))) (* (* x x) 0.12)))> 12.446 * * * * [progress]: [ 51 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 52 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 53 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 54 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 55 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 56 / 59 ] simplifiying candidate # 12.446 * * * * [progress]: [ 57 / 59 ] simplifiying candidate # 12.447 * * * * [progress]: [ 58 / 59 ] simplifiying candidate # 12.447 * * * * [progress]: [ 59 / 59 ] simplifiying candidate # 12.448 * [simplify]: Simplifying: (* (* x x) 0.12) (* (* x x) 0.12) (+ (+ (log x) (log x)) (log 0.12)) (+ (log (* x x)) (log 0.12)) (log (* (* x x) 0.12)) (exp (* (* x x) 0.12)) (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.12 0.12) 0.12)) (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.12 0.12) 0.12)) (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12))) (cbrt (* (* x x) 0.12)) (* (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* (* x x) (* (cbrt 0.12) (cbrt 0.12))) (* (* x x) (sqrt 0.12)) (* (* x x) 1) (* x 0.12) (real->posit16 (* (* x x) 0.12)) (/ (/ (exp 1.0) (exp (* 0.253 x))) (exp (* (* x x) 0.12))) (/ (exp (- 1.0 (* 0.253 x))) (exp (* (* x x) 0.12))) (log (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (exp (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (* (cbrt (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (cbrt (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12)))) (cbrt (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (* (* (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12)) (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (sqrt (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (sqrt (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (- (pow (- 1.0 (* 0.253 x)) 3) (pow (* (* x x) 0.12) 3)) (+ (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (+ (* (* (* x x) 0.12) (* (* x x) 0.12)) (* (- 1.0 (* 0.253 x)) (* (* x x) 0.12)))) (- (* (* x x) 0.12)) (- (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (* (* (* x x) 0.12) (* (* x x) 0.12))) (+ (- 1.0 (* 0.253 x)) (* (* x x) 0.12)) (- (- (* 0.253 x)) (* (* x x) 0.12)) (- (- (* 0.253 x)) (* (* x x) 0.12)) (+ (* 0.253 x) (* (* x x) 0.12)) (- (* (* x x) 0.12)) (real->posit16 (- (- 1.0 (* 0.253 x)) (* (* x x) 0.12))) (/ (exp 1.0) (exp (* 0.253 x))) (log (- 1.0 (* 0.253 x))) (exp (- 1.0 (* 0.253 x))) (* (cbrt (- 1.0 (* 0.253 x))) (cbrt (- 1.0 (* 0.253 x)))) (cbrt (- 1.0 (* 0.253 x))) (* (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (- (pow 1.0 3) (pow (* 0.253 x) 3)) (+ (* 1.0 1.0) (+ (* (* 0.253 x) (* 0.253 x)) (* 1.0 (* 0.253 x)))) (- (* 0.253 x)) (- (* 1.0 1.0) (* (* 0.253 x) (* 0.253 x))) (+ 1.0 (* 0.253 x)) (- (* 0.253 x)) (real->posit16 (- 1.0 (* 0.253 x))) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (* 0.12 (pow x 2)) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (+ (* 0.253 x) (* 0.12 (pow x 2)))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 12.449 * * [simplify]: iteration 0: 89 enodes 12.478 * * [simplify]: iteration 1: 229 enodes 12.574 * * [simplify]: iteration 2: 692 enodes 13.083 * * [simplify]: iteration 3: 3246 enodes 14.360 * * [simplify]: iteration complete: 5000 enodes 14.361 * * [simplify]: Extracting #0: cost 41 inf + 0 14.362 * * [simplify]: Extracting #1: cost 403 inf + 0 14.370 * * [simplify]: Extracting #2: cost 1236 inf + 5799 14.402 * * [simplify]: Extracting #3: cost 806 inf + 96002 14.442 * * [simplify]: Extracting #4: cost 243 inf + 209777 14.491 * * [simplify]: Extracting #5: cost 58 inf + 260152 14.584 * * [simplify]: Extracting #6: cost 21 inf + 271265 14.655 * * [simplify]: Extracting #7: cost 3 inf + 274949 14.726 * * [simplify]: Extracting #8: cost 0 inf + 275708 14.799 * [simplify]: Simplified to: (* (* x x) 0.12) (* (* x x) 0.12) (log (* (* x x) 0.12)) (log (* (* x x) 0.12)) (log (* (* x x) 0.12)) (exp (* (* x x) 0.12)) (* (* (* x x) 0.12) (* (* 0.12 (* x x)) (* 0.12 (* x x)))) (* (* (* x x) 0.12) (* (* 0.12 (* x x)) (* 0.12 (* x x)))) (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12))) (cbrt (* (* x x) 0.12)) (* (* (* x x) 0.12) (* (* 0.12 (* x x)) (* 0.12 (* x x)))) (sqrt (* (* x x) 0.12)) (sqrt (* (* x x) 0.12)) (* x (sqrt 0.12)) (* x (sqrt 0.12)) (* (* (cbrt 0.12) x) (* (cbrt 0.12) x)) (* (sqrt 0.12) (* x x)) (* x x) (* x 0.12) (real->posit16 (* (* x x) 0.12)) (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (log (- 1.0 (* x (+ (* x 0.12) 0.253)))) (exp (- 1.0 (* x (+ (* x 0.12) 0.253)))) (* (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253))))) (cbrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (* (* (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253)))) (- 1.0 (* x (+ (* x 0.12) 0.253)))) (sqrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (sqrt (- 1.0 (* x (+ (* x 0.12) 0.253)))) (- (* (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (- 1.0 (* 0.253 x))) (* (* (* x x) 0.12) (* (* 0.12 (* x x)) (* 0.12 (* x x))))) (+ (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (* (* x 0.12) (* x (- 1.0 (* x (- 0.253 (* x 0.12))))))) (* (- (* x 0.12)) x) (- (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (* (* 0.12 (* x x)) (* 0.12 (* x x)))) (- 1.0 (* x (- 0.253 (* x 0.12)))) (* (- x) (+ (* x 0.12) 0.253)) (* (- x) (+ (* x 0.12) 0.253)) (* x (+ (* x 0.12) 0.253)) (* (- (* x 0.12)) x) (real->posit16 (- 1.0 (* x (+ (* x 0.12) 0.253)))) (exp (- 1.0 (* 0.253 x))) (log (- 1.0 (* 0.253 x))) (exp (- 1.0 (* 0.253 x))) (* (cbrt (- 1.0 (* 0.253 x))) (cbrt (- 1.0 (* 0.253 x)))) (cbrt (- 1.0 (* 0.253 x))) (* (* (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (sqrt (- 1.0 (* 0.253 x))) (- (* 1.0 (* 1.0 1.0)) (* (* 0.253 x) (* (* 0.253 x) (* 0.253 x)))) (+ (* (+ (* 0.253 x) 1.0) 1.0) (* (* 0.253 x) (* 0.253 x))) (- (* 0.253 x)) (* (+ 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x))) (+ (* 0.253 x) 1.0) (- (* 0.253 x)) (real->posit16 (- 1.0 (* 0.253 x))) (* (* x x) 0.12) (* (* x x) 0.12) (* (* x x) 0.12) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* x (+ (* x 0.12) 0.253))) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) (- 1.0 (* 0.253 x)) 14.801 * * * [progress]: adding candidates to table 14.973 * [progress]: [Phase 3 of 3] Extracting. 14.973 * * [regime]: Finding splitpoints for: (# # # # # #) 14.974 * * * [regime-changes]: Trying 1 branch expressions: (x) 14.974 * * * * [regimes]: Trying to branch on x from (# # # # # #) 15.006 * * * [regime]: Found split indices: #