35.407 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.032 * * * [progress]: [2/2] Setting up program.
0.036 * [progress]: [Phase 2 of 3] Improving.
0.037 * [simplify]: Simplifying:
  (- 1.0 (* x (+ 0.253 (* x 0.12))))
0.037 * * [simplify]: iteration 0: 8 enodes
0.039 * * [simplify]: iteration 1: 19 enodes
0.045 * * [simplify]: iteration 2: 42 enodes
0.057 * * [simplify]: iteration 3: 79 enodes
0.084 * * [simplify]: iteration 4: 112 enodes
0.099 * * [simplify]: iteration 5: 141 enodes
0.122 * * [simplify]: iteration 6: 193 enodes
0.199 * * [simplify]: iteration 7: 809 enodes
0.680 * * [simplify]: iteration complete: 5000 enodes
0.680 * * [simplify]: Extracting #0: cost 1 inf + 0
0.680 * * [simplify]: Extracting #1: cost 140 inf + 0
0.684 * * [simplify]: Extracting #2: cost 1767 inf + 5
0.691 * * [simplify]: Extracting #3: cost 1589 inf + 1030
0.699 * * [simplify]: Extracting #4: cost 328 inf + 7070
0.712 * * [simplify]: Extracting #5: cost 1 inf + 9306
0.724 * * [simplify]: Extracting #6: cost 0 inf + 9317
0.736 * [simplify]: Simplified to:
  (- 1.0 (* x (+ (* 0.12 x) 0.253)))
0.742 * * [progress]: iteration 1 / 4
0.743 * * * [progress]: picking best candidate
0.746 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))>
0.746 * * * [progress]: localizing error
0.765 * * * [progress]: generating rewritten candidates
0.765 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.790 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.799 * * * [progress]: generating series expansions
0.799 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.800 * [backup-simplify]: Simplify (* x (+ 0.253 (* x 0.12))) into (* (+ (* 0.12 x) 0.253) x)
0.800 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0
0.800 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x
0.800 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.800 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.800 * [taylor]: Taking taylor expansion of 0.12 in x
0.800 * [backup-simplify]: Simplify 0.12 into 0.12
0.800 * [taylor]: Taking taylor expansion of x in x
0.800 * [backup-simplify]: Simplify 0 into 0
0.800 * [backup-simplify]: Simplify 1 into 1
0.800 * [taylor]: Taking taylor expansion of 0.253 in x
0.800 * [backup-simplify]: Simplify 0.253 into 0.253
0.800 * [taylor]: Taking taylor expansion of x in x
0.800 * [backup-simplify]: Simplify 0 into 0
0.800 * [backup-simplify]: Simplify 1 into 1
0.800 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x
0.800 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.800 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.800 * [taylor]: Taking taylor expansion of 0.12 in x
0.800 * [backup-simplify]: Simplify 0.12 into 0.12
0.800 * [taylor]: Taking taylor expansion of x in x
0.800 * [backup-simplify]: Simplify 0 into 0
0.800 * [backup-simplify]: Simplify 1 into 1
0.800 * [taylor]: Taking taylor expansion of 0.253 in x
0.800 * [backup-simplify]: Simplify 0.253 into 0.253
0.800 * [taylor]: Taking taylor expansion of x in x
0.800 * [backup-simplify]: Simplify 0 into 0
0.800 * [backup-simplify]: Simplify 1 into 1
0.801 * [backup-simplify]: Simplify (* 0.12 0) into 0
0.802 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
0.802 * [backup-simplify]: Simplify (* 0.253 0) into 0
0.802 * [backup-simplify]: Simplify 0 into 0
0.804 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12
0.804 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
0.806 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0.12 0)) into 0.253
0.806 * [backup-simplify]: Simplify 0.253 into 0.253
0.807 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0
0.807 * [backup-simplify]: Simplify (+ 0 0) into 0
0.810 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 1) (* 0 0))) into 0.12
0.810 * [backup-simplify]: Simplify 0.12 into 0.12
0.812 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.812 * [backup-simplify]: Simplify (+ 0 0) into 0
0.813 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 1) (* 0 0)))) into 0
0.813 * [backup-simplify]: Simplify 0 into 0
0.815 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.815 * [backup-simplify]: Simplify (+ 0 0) into 0
0.817 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.817 * [backup-simplify]: Simplify 0 into 0
0.818 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.819 * [backup-simplify]: Simplify (+ 0 0) into 0
0.820 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.821 * [backup-simplify]: Simplify 0 into 0
0.822 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.823 * [backup-simplify]: Simplify (+ 0 0) into 0
0.824 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.825 * [backup-simplify]: Simplify 0 into 0
0.826 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.827 * [backup-simplify]: Simplify (+ 0 0) into 0
0.829 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.829 * [backup-simplify]: Simplify 0 into 0
0.831 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
0.831 * [backup-simplify]: Simplify (+ 0 0) into 0
0.834 * [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
0.834 * [backup-simplify]: Simplify 0 into 0
0.834 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
0.834 * [backup-simplify]: Simplify (* (/ 1 x) (+ 0.253 (* (/ 1 x) 0.12))) into (/ (+ (* 0.12 (/ 1 x)) 0.253) x)
0.834 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0
0.834 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x
0.834 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.834 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.834 * [taylor]: Taking taylor expansion of 0.12 in x
0.834 * [backup-simplify]: Simplify 0.12 into 0.12
0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [backup-simplify]: Simplify 0 into 0
0.835 * [backup-simplify]: Simplify 1 into 1
0.835 * [backup-simplify]: Simplify (/ 1 1) into 1
0.835 * [taylor]: Taking taylor expansion of 0.253 in x
0.835 * [backup-simplify]: Simplify 0.253 into 0.253
0.835 * [taylor]: Taking taylor expansion of x in x
0.835 * [backup-simplify]: Simplify 0 into 0
0.835 * [backup-simplify]: Simplify 1 into 1
0.836 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
0.836 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
0.837 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
0.837 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x
0.837 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.837 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.837 * [taylor]: Taking taylor expansion of 0.12 in x
0.837 * [backup-simplify]: Simplify 0.12 into 0.12
0.837 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [backup-simplify]: Simplify 0 into 0
0.837 * [backup-simplify]: Simplify 1 into 1
0.837 * [backup-simplify]: Simplify (/ 1 1) into 1
0.837 * [taylor]: Taking taylor expansion of 0.253 in x
0.837 * [backup-simplify]: Simplify 0.253 into 0.253
0.837 * [taylor]: Taking taylor expansion of x in x
0.837 * [backup-simplify]: Simplify 0 into 0
0.837 * [backup-simplify]: Simplify 1 into 1
0.838 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
0.838 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
0.839 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
0.839 * [backup-simplify]: Simplify 0.12 into 0.12
0.840 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.840 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
0.841 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
0.843 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* 0.12 (/ 0 1)))) into 0.253
0.843 * [backup-simplify]: Simplify 0.253 into 0.253
0.844 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.845 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
0.846 * [backup-simplify]: Simplify (+ 0 0) into 0
0.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0
0.847 * [backup-simplify]: Simplify 0 into 0
0.848 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.849 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.849 * [backup-simplify]: Simplify (+ 0 0) into 0
0.851 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.851 * [backup-simplify]: Simplify 0 into 0
0.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.853 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.853 * [backup-simplify]: Simplify (+ 0 0) into 0
0.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.855 * [backup-simplify]: Simplify 0 into 0
0.856 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.857 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.858 * [backup-simplify]: Simplify (+ 0 0) into 0
0.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.859 * [backup-simplify]: Simplify 0 into 0
0.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.862 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.862 * [backup-simplify]: Simplify (+ 0 0) into 0
0.863 * [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
0.863 * [backup-simplify]: Simplify 0 into 0
0.864 * [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
0.866 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.867 * [backup-simplify]: Simplify (+ 0 0) into 0
0.868 * [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
0.868 * [backup-simplify]: Simplify 0 into 0
0.868 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
0.869 * [backup-simplify]: Simplify (* (/ 1 (- x)) (+ 0.253 (* (/ 1 (- x)) 0.12))) into (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x))
0.869 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0
0.869 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x
0.869 * [taylor]: Taking taylor expansion of -1 in x
0.869 * [backup-simplify]: Simplify -1 into -1
0.869 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x
0.869 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.869 * [taylor]: Taking taylor expansion of 0.253 in x
0.869 * [backup-simplify]: Simplify 0.253 into 0.253
0.869 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.869 * [taylor]: Taking taylor expansion of 0.12 in x
0.869 * [backup-simplify]: Simplify 0.12 into 0.12
0.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.869 * [taylor]: Taking taylor expansion of x in x
0.869 * [backup-simplify]: Simplify 0 into 0
0.869 * [backup-simplify]: Simplify 1 into 1
0.870 * [backup-simplify]: Simplify (/ 1 1) into 1
0.870 * [taylor]: Taking taylor expansion of x in x
0.870 * [backup-simplify]: Simplify 0 into 0
0.870 * [backup-simplify]: Simplify 1 into 1
0.870 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
0.871 * [backup-simplify]: Simplify (- 0.12) into (- 0.12)
0.871 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12)
0.872 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12
0.872 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x
0.872 * [taylor]: Taking taylor expansion of -1 in x
0.872 * [backup-simplify]: Simplify -1 into -1
0.872 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x
0.873 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.873 * [taylor]: Taking taylor expansion of 0.253 in x
0.873 * [backup-simplify]: Simplify 0.253 into 0.253
0.873 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.873 * [taylor]: Taking taylor expansion of 0.12 in x
0.873 * [backup-simplify]: Simplify 0.12 into 0.12
0.873 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.873 * [taylor]: Taking taylor expansion of x in x
0.873 * [backup-simplify]: Simplify 0 into 0
0.873 * [backup-simplify]: Simplify 1 into 1
0.873 * [backup-simplify]: Simplify (/ 1 1) into 1
0.873 * [taylor]: Taking taylor expansion of x in x
0.873 * [backup-simplify]: Simplify 0 into 0
0.873 * [backup-simplify]: Simplify 1 into 1
0.874 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
0.874 * [backup-simplify]: Simplify (- 0.12) into (- 0.12)
0.875 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12)
0.876 * [backup-simplify]: Simplify (/ (- 0.12) 1) into -0.12
0.876 * [backup-simplify]: Simplify (* -1 -0.12) into 0.12
0.876 * [backup-simplify]: Simplify 0.12 into 0.12
0.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.877 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
0.877 * [backup-simplify]: Simplify (- 0) into 0
0.878 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
0.879 * [backup-simplify]: Simplify (- (/ 0.253 1) (+ (* -0.12 (/ 0 1)))) into 0.253
0.880 * [backup-simplify]: Simplify (+ (* -1 0.253) (* 0 -0.12)) into (- 0.253)
0.880 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
0.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.881 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
0.882 * [backup-simplify]: Simplify (- 0) into 0
0.882 * [backup-simplify]: Simplify (+ 0 0) into 0
0.882 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)))) into 0
0.883 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0.253) (* 0 -0.12))) into 0
0.883 * [backup-simplify]: Simplify 0 into 0
0.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.884 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.884 * [backup-simplify]: Simplify (- 0) into 0
0.885 * [backup-simplify]: Simplify (+ 0 0) into 0
0.888 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.889 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))) into 0
0.889 * [backup-simplify]: Simplify 0 into 0
0.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.890 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.891 * [backup-simplify]: Simplify (- 0) into 0
0.891 * [backup-simplify]: Simplify (+ 0 0) into 0
0.892 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.893 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))) into 0
0.893 * [backup-simplify]: Simplify 0 into 0
0.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.894 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.894 * [backup-simplify]: Simplify (- 0) into 0
0.895 * [backup-simplify]: Simplify (+ 0 0) into 0
0.895 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12 (/ 0 1)) (* 0.253 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.897 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))) into 0
0.897 * [backup-simplify]: Simplify 0 into 0
0.897 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.898 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.899 * [backup-simplify]: Simplify (- 0) into 0
0.899 * [backup-simplify]: Simplify (+ 0 0) into 0
0.900 * [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
0.901 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12))))))) into 0
0.901 * [backup-simplify]: Simplify 0 into 0
0.901 * [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
0.903 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.903 * [backup-simplify]: Simplify (- 0) into 0
0.903 * [backup-simplify]: Simplify (+ 0 0) into 0
0.904 * [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
0.905 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.253) (* 0 -0.12)))))))) into 0
0.906 * [backup-simplify]: Simplify 0 into 0
0.906 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
0.906 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.906 * [backup-simplify]: Simplify (+ 0.253 (* x 0.12)) into (+ (* 0.12 x) 0.253)
0.906 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0
0.906 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.906 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.906 * [taylor]: Taking taylor expansion of 0.12 in x
0.907 * [backup-simplify]: Simplify 0.12 into 0.12
0.907 * [taylor]: Taking taylor expansion of x in x
0.907 * [backup-simplify]: Simplify 0 into 0
0.907 * [backup-simplify]: Simplify 1 into 1
0.907 * [taylor]: Taking taylor expansion of 0.253 in x
0.907 * [backup-simplify]: Simplify 0.253 into 0.253
0.907 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.907 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.907 * [taylor]: Taking taylor expansion of 0.12 in x
0.907 * [backup-simplify]: Simplify 0.12 into 0.12
0.907 * [taylor]: Taking taylor expansion of x in x
0.907 * [backup-simplify]: Simplify 0 into 0
0.907 * [backup-simplify]: Simplify 1 into 1
0.907 * [taylor]: Taking taylor expansion of 0.253 in x
0.907 * [backup-simplify]: Simplify 0.253 into 0.253
0.907 * [backup-simplify]: Simplify (* 0.12 0) into 0
0.908 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
0.908 * [backup-simplify]: Simplify 0.253 into 0.253
0.909 * [backup-simplify]: Simplify (+ (* 0.12 1) (* 0 0)) into 0.12
0.909 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
0.909 * [backup-simplify]: Simplify 0.12 into 0.12
0.910 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 1) (* 0 0))) into 0
0.910 * [backup-simplify]: Simplify (+ 0 0) into 0
0.910 * [backup-simplify]: Simplify 0 into 0
0.910 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
0.911 * [backup-simplify]: Simplify (+ 0 0) into 0
0.911 * [backup-simplify]: Simplify 0 into 0
0.912 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
0.912 * [backup-simplify]: Simplify (+ 0 0) into 0
0.912 * [backup-simplify]: Simplify 0 into 0
0.913 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
0.914 * [backup-simplify]: Simplify (+ 0 0) into 0
0.914 * [backup-simplify]: Simplify 0 into 0
0.915 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
0.915 * [backup-simplify]: Simplify (+ 0 0) into 0
0.915 * [backup-simplify]: Simplify 0 into 0
0.917 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
0.917 * [backup-simplify]: Simplify (+ 0 0) into 0
0.917 * [backup-simplify]: Simplify 0 into 0
0.918 * [backup-simplify]: Simplify (+ (* 0.12 x) 0.253) into (+ (* 0.12 x) 0.253)
0.918 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 x) 0.12)) into (+ (* 0.12 (/ 1 x)) 0.253)
0.918 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0
0.918 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.918 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.918 * [taylor]: Taking taylor expansion of 0.12 in x
0.918 * [backup-simplify]: Simplify 0.12 into 0.12
0.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.918 * [taylor]: Taking taylor expansion of x in x
0.918 * [backup-simplify]: Simplify 0 into 0
0.918 * [backup-simplify]: Simplify 1 into 1
0.918 * [backup-simplify]: Simplify (/ 1 1) into 1
0.918 * [taylor]: Taking taylor expansion of 0.253 in x
0.918 * [backup-simplify]: Simplify 0.253 into 0.253
0.918 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.918 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.918 * [taylor]: Taking taylor expansion of 0.12 in x
0.918 * [backup-simplify]: Simplify 0.12 into 0.12
0.919 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.919 * [taylor]: Taking taylor expansion of x in x
0.919 * [backup-simplify]: Simplify 0 into 0
0.919 * [backup-simplify]: Simplify 1 into 1
0.919 * [backup-simplify]: Simplify (/ 1 1) into 1
0.919 * [taylor]: Taking taylor expansion of 0.253 in x
0.919 * [backup-simplify]: Simplify 0.253 into 0.253
0.919 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
0.920 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
0.920 * [backup-simplify]: Simplify 0.12 into 0.12
0.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.921 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
0.922 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
0.922 * [backup-simplify]: Simplify 0.253 into 0.253
0.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.924 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
0.924 * [backup-simplify]: Simplify (+ 0 0) into 0
0.924 * [backup-simplify]: Simplify 0 into 0
0.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.926 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.926 * [backup-simplify]: Simplify (+ 0 0) into 0
0.926 * [backup-simplify]: Simplify 0 into 0
0.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.928 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.928 * [backup-simplify]: Simplify (+ 0 0) into 0
0.928 * [backup-simplify]: Simplify 0 into 0
0.929 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.930 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.931 * [backup-simplify]: Simplify (+ 0 0) into 0
0.931 * [backup-simplify]: Simplify 0 into 0
0.932 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.933 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.933 * [backup-simplify]: Simplify (+ 0 0) into 0
0.933 * [backup-simplify]: Simplify 0 into 0
0.934 * [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
0.936 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.936 * [backup-simplify]: Simplify (+ 0 0) into 0
0.936 * [backup-simplify]: Simplify 0 into 0
0.936 * [backup-simplify]: Simplify (+ 0.253 (* 0.12 (/ 1 (/ 1 x)))) into (+ (* 0.12 x) 0.253)
0.936 * [backup-simplify]: Simplify (+ 0.253 (* (/ 1 (- x)) 0.12)) into (- 0.253 (* 0.12 (/ 1 x)))
0.936 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0
0.936 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.936 * [taylor]: Taking taylor expansion of 0.253 in x
0.937 * [backup-simplify]: Simplify 0.253 into 0.253
0.937 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.937 * [taylor]: Taking taylor expansion of 0.12 in x
0.937 * [backup-simplify]: Simplify 0.12 into 0.12
0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.937 * [taylor]: Taking taylor expansion of x in x
0.937 * [backup-simplify]: Simplify 0 into 0
0.937 * [backup-simplify]: Simplify 1 into 1
0.937 * [backup-simplify]: Simplify (/ 1 1) into 1
0.937 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.937 * [taylor]: Taking taylor expansion of 0.253 in x
0.937 * [backup-simplify]: Simplify 0.253 into 0.253
0.937 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.937 * [taylor]: Taking taylor expansion of 0.12 in x
0.937 * [backup-simplify]: Simplify 0.12 into 0.12
0.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.937 * [taylor]: Taking taylor expansion of x in x
0.937 * [backup-simplify]: Simplify 0 into 0
0.937 * [backup-simplify]: Simplify 1 into 1
0.938 * [backup-simplify]: Simplify (/ 1 1) into 1
0.938 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
0.938 * [backup-simplify]: Simplify (- 0.12) into (- 0.12)
0.939 * [backup-simplify]: Simplify (+ 0 (- 0.12)) into (- 0.12)
0.940 * [backup-simplify]: Simplify (- 0.12) into (- 0.12)
0.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.941 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
0.941 * [backup-simplify]: Simplify (- 0) into 0
0.942 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
0.942 * [backup-simplify]: Simplify 0.253 into 0.253
0.942 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.943 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
0.944 * [backup-simplify]: Simplify (- 0) into 0
0.944 * [backup-simplify]: Simplify (+ 0 0) into 0
0.944 * [backup-simplify]: Simplify 0 into 0
0.945 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.946 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.946 * [backup-simplify]: Simplify (- 0) into 0
0.947 * [backup-simplify]: Simplify (+ 0 0) into 0
0.947 * [backup-simplify]: Simplify 0 into 0
0.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.948 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.948 * [backup-simplify]: Simplify (- 0) into 0
0.949 * [backup-simplify]: Simplify (+ 0 0) into 0
0.949 * [backup-simplify]: Simplify 0 into 0
0.949 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.950 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.950 * [backup-simplify]: Simplify (- 0) into 0
0.951 * [backup-simplify]: Simplify (+ 0 0) into 0
0.951 * [backup-simplify]: Simplify 0 into 0
0.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.952 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.952 * [backup-simplify]: Simplify (- 0) into 0
0.953 * [backup-simplify]: Simplify (+ 0 0) into 0
0.953 * [backup-simplify]: Simplify 0 into 0
0.953 * [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
0.954 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.954 * [backup-simplify]: Simplify (- 0) into 0
0.955 * [backup-simplify]: Simplify (+ 0 0) into 0
0.955 * [backup-simplify]: Simplify 0 into 0
0.955 * [backup-simplify]: Simplify (+ 0.253 (* (- 0.12) (/ 1 (/ 1 (- x))))) into (+ (* 0.12 x) 0.253)
0.955 * * * [progress]: simplifying candidates
0.956 * [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))))
  (* (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))
  (+ (* 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)
0.956 * * [simplify]: iteration 0: 60 enodes
0.971 * * [simplify]: iteration 1: 187 enodes
1.086 * * [simplify]: iteration 2: 837 enodes
1.516 * * [simplify]: iteration complete: 5000 enodes
1.516 * * [simplify]: Extracting #0: cost 32 inf + 0
1.517 * * [simplify]: Extracting #1: cost 520 inf + 1
1.524 * * [simplify]: Extracting #2: cost 1733 inf + 1684
1.537 * * [simplify]: Extracting #3: cost 1000 inf + 13835
1.553 * * [simplify]: Extracting #4: cost 73 inf + 23355
1.568 * * [simplify]: Extracting #5: cost 6 inf + 23827
1.582 * * [simplify]: Extracting #6: cost 0 inf + 23865
1.599 * [simplify]: Simplified to:
  (* (+ 0.253 (* x 0.12)) x)
  (log (* (+ 0.253 (* x 0.12)) x))
  (log (* (+ 0.253 (* x 0.12)) x))
  (pow (exp x) (+ 0.253 (* x 0.12)))
  (* (pow x 3) (pow (+ 0.253 (* x 0.12)) 3))
  (* (cbrt (* (+ 0.253 (* x 0.12)) x)) (cbrt (* (+ 0.253 (* x 0.12)) x)))
  (cbrt (* (+ 0.253 (* x 0.12)) x))
  (pow (* (+ 0.253 (* x 0.12)) x) 3)
  (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 0.12) x)
  (* x 0.253)
  (* (* x 0.12) x)
  (* (* (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)
  (* (+ (pow (* x 0.12) 3) (pow 0.253 3)) x)
  (* (- (* 0.253 0.253) (* (* x 0.12) (* 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)))
  (pow (+ 0.253 (* x 0.12)) 3)
  (sqrt (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (+ (pow (* x 0.12) 3) (pow 0.253 3))
  (+ (* 0.253 0.253) (* (* x 0.12) (- (* x 0.12) 0.253)))
  (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
  (- 0.253 (* x 0.12))
  (* x (+ (* x 0.12) 0.253))
  (* x (+ (* x 0.12) 0.253))
  (* x (+ (* x 0.12) 0.253))
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
  (+ 0.253 (* x 0.12))
1.599 * * * [progress]: adding candidates to table
1.757 * * [progress]: iteration 2 / 4
1.758 * * * [progress]: picking best candidate
1.790 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x 0.12) x))))>
1.790 * * * [progress]: localizing error
1.813 * * * [progress]: generating rewritten candidates
1.814 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2)
1.836 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
1.843 * * * [progress]: generating series expansions
1.843 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2)
1.843 * [backup-simplify]: Simplify (* (* x 0.12) x) into (* 0.12 (pow x 2))
1.843 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0
1.843 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
1.843 * [taylor]: Taking taylor expansion of 0.12 in x
1.843 * [backup-simplify]: Simplify 0.12 into 0.12
1.843 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.843 * [taylor]: Taking taylor expansion of x in x
1.843 * [backup-simplify]: Simplify 0 into 0
1.843 * [backup-simplify]: Simplify 1 into 1
1.843 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
1.843 * [taylor]: Taking taylor expansion of 0.12 in x
1.843 * [backup-simplify]: Simplify 0.12 into 0.12
1.843 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.843 * [taylor]: Taking taylor expansion of x in x
1.843 * [backup-simplify]: Simplify 0 into 0
1.843 * [backup-simplify]: Simplify 1 into 1
1.844 * [backup-simplify]: Simplify (* 1 1) into 1
1.844 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
1.844 * [backup-simplify]: Simplify 0.12 into 0.12
1.845 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.845 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
1.845 * [backup-simplify]: Simplify 0 into 0
1.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.846 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
1.846 * [backup-simplify]: Simplify 0 into 0
1.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.847 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.847 * [backup-simplify]: Simplify 0 into 0
1.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.849 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.849 * [backup-simplify]: Simplify 0 into 0
1.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.850 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.850 * [backup-simplify]: Simplify 0 into 0
1.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.852 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.852 * [backup-simplify]: Simplify 0 into 0
1.852 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2))
1.852 * [backup-simplify]: Simplify (* (* (/ 1 x) 0.12) (/ 1 x)) into (/ 0.12 (pow x 2))
1.852 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0
1.853 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
1.853 * [taylor]: Taking taylor expansion of 0.12 in x
1.853 * [backup-simplify]: Simplify 0.12 into 0.12
1.853 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.853 * [taylor]: Taking taylor expansion of x in x
1.853 * [backup-simplify]: Simplify 0 into 0
1.853 * [backup-simplify]: Simplify 1 into 1
1.853 * [backup-simplify]: Simplify (* 1 1) into 1
1.853 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
1.853 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
1.853 * [taylor]: Taking taylor expansion of 0.12 in x
1.853 * [backup-simplify]: Simplify 0.12 into 0.12
1.853 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.853 * [taylor]: Taking taylor expansion of x in x
1.853 * [backup-simplify]: Simplify 0 into 0
1.853 * [backup-simplify]: Simplify 1 into 1
1.854 * [backup-simplify]: Simplify (* 1 1) into 1
1.854 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
1.854 * [backup-simplify]: Simplify 0.12 into 0.12
1.854 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0
1.855 * [backup-simplify]: Simplify 0 into 0
1.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.856 * [backup-simplify]: Simplify 0 into 0
1.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.857 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.857 * [backup-simplify]: Simplify 0 into 0
1.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.859 * [backup-simplify]: Simplify 0 into 0
1.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.861 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.861 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.863 * [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
1.863 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2))
1.864 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) 0.12) (/ 1 (- x))) into (/ 0.12 (pow x 2))
1.864 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0
1.864 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
1.864 * [taylor]: Taking taylor expansion of 0.12 in x
1.864 * [backup-simplify]: Simplify 0.12 into 0.12
1.864 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.864 * [taylor]: Taking taylor expansion of x in x
1.864 * [backup-simplify]: Simplify 0 into 0
1.864 * [backup-simplify]: Simplify 1 into 1
1.864 * [backup-simplify]: Simplify (* 1 1) into 1
1.865 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
1.865 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
1.865 * [taylor]: Taking taylor expansion of 0.12 in x
1.865 * [backup-simplify]: Simplify 0.12 into 0.12
1.865 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.865 * [taylor]: Taking taylor expansion of x in x
1.865 * [backup-simplify]: Simplify 0 into 0
1.865 * [backup-simplify]: Simplify 1 into 1
1.865 * [backup-simplify]: Simplify (* 1 1) into 1
1.866 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
1.866 * [backup-simplify]: Simplify 0.12 into 0.12
1.867 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.867 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0
1.867 * [backup-simplify]: Simplify 0 into 0
1.868 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.869 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.869 * [backup-simplify]: Simplify 0 into 0
1.870 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.871 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.871 * [backup-simplify]: Simplify 0 into 0
1.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.874 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.874 * [backup-simplify]: Simplify 0 into 0
1.876 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.877 * [backup-simplify]: Simplify 0 into 0
1.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.880 * [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
1.880 * [backup-simplify]: Simplify 0 into 0
1.880 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2))
1.880 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
1.880 * [backup-simplify]: Simplify (+ (* x 0.253) (* (* x 0.12) x)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
1.880 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in (x) around 0
1.881 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x
1.881 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
1.881 * [taylor]: Taking taylor expansion of 0.253 in x
1.881 * [backup-simplify]: Simplify 0.253 into 0.253
1.881 * [taylor]: Taking taylor expansion of x in x
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 1 into 1
1.881 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
1.881 * [taylor]: Taking taylor expansion of 0.12 in x
1.881 * [backup-simplify]: Simplify 0.12 into 0.12
1.881 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.881 * [taylor]: Taking taylor expansion of x in x
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 1 into 1
1.881 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x
1.881 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
1.881 * [taylor]: Taking taylor expansion of 0.253 in x
1.881 * [backup-simplify]: Simplify 0.253 into 0.253
1.881 * [taylor]: Taking taylor expansion of x in x
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 1 into 1
1.881 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
1.881 * [taylor]: Taking taylor expansion of 0.12 in x
1.881 * [backup-simplify]: Simplify 0.12 into 0.12
1.881 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.881 * [taylor]: Taking taylor expansion of x in x
1.881 * [backup-simplify]: Simplify 0 into 0
1.881 * [backup-simplify]: Simplify 1 into 1
1.882 * [backup-simplify]: Simplify (* 0.253 0) into 0
1.882 * [backup-simplify]: Simplify (+ 0 0) into 0
1.882 * [backup-simplify]: Simplify 0 into 0
1.884 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253
1.884 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
1.884 * [backup-simplify]: Simplify 0.253 into 0.253
1.885 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0
1.886 * [backup-simplify]: Simplify (* 1 1) into 1
1.886 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
1.886 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12
1.887 * [backup-simplify]: Simplify 0.12 into 0.12
1.888 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1.888 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.889 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
1.889 * [backup-simplify]: Simplify (+ 0 0) into 0
1.889 * [backup-simplify]: Simplify 0 into 0
1.891 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.893 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
1.893 * [backup-simplify]: Simplify (+ 0 0) into 0
1.893 * [backup-simplify]: Simplify 0 into 0
1.894 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.897 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.897 * [backup-simplify]: Simplify (+ 0 0) into 0
1.897 * [backup-simplify]: Simplify 0 into 0
1.899 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1.900 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.901 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.901 * [backup-simplify]: Simplify (+ 0 0) into 0
1.902 * [backup-simplify]: Simplify 0 into 0
1.903 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.906 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.907 * [backup-simplify]: Simplify (+ 0 0) into 0
1.907 * [backup-simplify]: Simplify 0 into 0
1.909 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
1.910 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.912 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.912 * [backup-simplify]: Simplify (+ 0 0) into 0
1.912 * [backup-simplify]: Simplify 0 into 0
1.913 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
1.913 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (* (* (/ 1 x) 0.12) (/ 1 x))) into (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))
1.913 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0
1.913 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
1.913 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
1.913 * [taylor]: Taking taylor expansion of 0.12 in x
1.913 * [backup-simplify]: Simplify 0.12 into 0.12
1.913 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.913 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.913 * [taylor]: Taking taylor expansion of x in x
1.913 * [backup-simplify]: Simplify 0 into 0
1.913 * [backup-simplify]: Simplify 1 into 1
1.918 * [backup-simplify]: Simplify (* 1 1) into 1
1.918 * [backup-simplify]: Simplify (/ 1 1) into 1
1.918 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
1.918 * [taylor]: Taking taylor expansion of 0.253 in x
1.918 * [backup-simplify]: Simplify 0.253 into 0.253
1.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.918 * [taylor]: Taking taylor expansion of x in x
1.918 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify 1 into 1
1.919 * [backup-simplify]: Simplify (/ 1 1) into 1
1.919 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
1.919 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
1.919 * [taylor]: Taking taylor expansion of 0.12 in x
1.919 * [backup-simplify]: Simplify 0.12 into 0.12
1.919 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.919 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.919 * [taylor]: Taking taylor expansion of x in x
1.919 * [backup-simplify]: Simplify 0 into 0
1.919 * [backup-simplify]: Simplify 1 into 1
1.920 * [backup-simplify]: Simplify (* 1 1) into 1
1.920 * [backup-simplify]: Simplify (/ 1 1) into 1
1.920 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
1.920 * [taylor]: Taking taylor expansion of 0.253 in x
1.920 * [backup-simplify]: Simplify 0.253 into 0.253
1.920 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.920 * [taylor]: Taking taylor expansion of x in x
1.920 * [backup-simplify]: Simplify 0 into 0
1.920 * [backup-simplify]: Simplify 1 into 1
1.921 * [backup-simplify]: Simplify (/ 1 1) into 1
1.921 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
1.922 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
1.922 * [backup-simplify]: Simplify 0.12 into 0.12
1.922 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.923 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.924 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
1.924 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
1.925 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
1.925 * [backup-simplify]: Simplify 0.253 into 0.253
1.926 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.927 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.927 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
1.928 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.929 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
1.929 * [backup-simplify]: Simplify (+ 0 0) into 0
1.929 * [backup-simplify]: Simplify 0 into 0
1.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.933 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.935 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
1.935 * [backup-simplify]: Simplify (+ 0 0) into 0
1.935 * [backup-simplify]: Simplify 0 into 0
1.936 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.939 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.940 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.941 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.941 * [backup-simplify]: Simplify (+ 0 0) into 0
1.941 * [backup-simplify]: Simplify 0 into 0
1.943 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.945 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.946 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.947 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.947 * [backup-simplify]: Simplify (+ 0 0) into 0
1.947 * [backup-simplify]: Simplify 0 into 0
1.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.950 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.952 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.954 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.954 * [backup-simplify]: Simplify (+ 0 0) into 0
1.954 * [backup-simplify]: Simplify 0 into 0
1.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.957 * [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
1.959 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.962 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.962 * [backup-simplify]: Simplify (+ 0 0) into 0
1.962 * [backup-simplify]: Simplify 0 into 0
1.963 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
1.963 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (* (* (/ 1 (- x)) 0.12) (/ 1 (- x)))) into (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))
1.963 * [approximate]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0
1.963 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
1.963 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
1.963 * [taylor]: Taking taylor expansion of 0.12 in x
1.963 * [backup-simplify]: Simplify 0.12 into 0.12
1.963 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.963 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.963 * [taylor]: Taking taylor expansion of x in x
1.963 * [backup-simplify]: Simplify 0 into 0
1.963 * [backup-simplify]: Simplify 1 into 1
1.964 * [backup-simplify]: Simplify (* 1 1) into 1
1.964 * [backup-simplify]: Simplify (/ 1 1) into 1
1.964 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
1.964 * [taylor]: Taking taylor expansion of 0.253 in x
1.964 * [backup-simplify]: Simplify 0.253 into 0.253
1.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.964 * [taylor]: Taking taylor expansion of x in x
1.964 * [backup-simplify]: Simplify 0 into 0
1.964 * [backup-simplify]: Simplify 1 into 1
1.965 * [backup-simplify]: Simplify (/ 1 1) into 1
1.965 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
1.965 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
1.965 * [taylor]: Taking taylor expansion of 0.12 in x
1.965 * [backup-simplify]: Simplify 0.12 into 0.12
1.965 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.965 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.965 * [taylor]: Taking taylor expansion of x in x
1.965 * [backup-simplify]: Simplify 0 into 0
1.965 * [backup-simplify]: Simplify 1 into 1
1.965 * [backup-simplify]: Simplify (* 1 1) into 1
1.966 * [backup-simplify]: Simplify (/ 1 1) into 1
1.966 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
1.966 * [taylor]: Taking taylor expansion of 0.253 in x
1.966 * [backup-simplify]: Simplify 0.253 into 0.253
1.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.966 * [taylor]: Taking taylor expansion of x in x
1.966 * [backup-simplify]: Simplify 0 into 0
1.966 * [backup-simplify]: Simplify 1 into 1
1.966 * [backup-simplify]: Simplify (/ 1 1) into 1
1.967 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
1.968 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
1.968 * [backup-simplify]: Simplify 0.12 into 0.12
1.968 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
1.969 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.970 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
1.970 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
1.971 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
1.971 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253)
1.972 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
1.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.975 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
1.975 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.976 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
1.976 * [backup-simplify]: Simplify (- 0) into 0
1.977 * [backup-simplify]: Simplify (+ 0 0) into 0
1.977 * [backup-simplify]: Simplify 0 into 0
1.978 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.980 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.982 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
1.982 * [backup-simplify]: Simplify (- 0) into 0
1.982 * [backup-simplify]: Simplify (+ 0 0) into 0
1.983 * [backup-simplify]: Simplify 0 into 0
1.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.986 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.988 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1.988 * [backup-simplify]: Simplify (- 0) into 0
1.989 * [backup-simplify]: Simplify (+ 0 0) into 0
1.989 * [backup-simplify]: Simplify 0 into 0
1.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.991 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.993 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.996 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1.996 * [backup-simplify]: Simplify (- 0) into 0
1.996 * [backup-simplify]: Simplify (+ 0 0) into 0
1.996 * [backup-simplify]: Simplify 0 into 0
1.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.001 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.003 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.003 * [backup-simplify]: Simplify (- 0) into 0
2.004 * [backup-simplify]: Simplify (+ 0 0) into 0
2.004 * [backup-simplify]: Simplify 0 into 0
2.005 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.006 * [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.008 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.011 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.011 * [backup-simplify]: Simplify (- 0) into 0
2.012 * [backup-simplify]: Simplify (+ 0 0) into 0
2.012 * [backup-simplify]: Simplify 0 into 0
2.013 * [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.013 * * * [progress]: simplifying candidates
2.014 * [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)
  (* (exp (* x 0.253)) (exp (* (* x 0.12) x)))
  (log (+ (* x 0.253) (* (* x 0.12) x)))
  (exp (+ (* x 0.253) (* (* x 0.12) x)))
  (* (cbrt (+ (* x 0.253) (* (* x 0.12) x))) (cbrt (+ (* x 0.253) (* (* x 0.12) x))))
  (cbrt (+ (* x 0.253) (* (* x 0.12) x)))
  (* (* (+ (* x 0.253) (* (* x 0.12) x)) (+ (* x 0.253) (* (* x 0.12) x))) (+ (* x 0.253) (* (* x 0.12) x)))
  (sqrt (+ (* x 0.253) (* (* x 0.12) x)))
  (sqrt (+ (* x 0.253) (* (* x 0.12) x)))
  (+ (pow (* x 0.253) 3) (pow (* (* x 0.12) x) 3))
  (+ (* (* x 0.253) (* x 0.253)) (- (* (* (* x 0.12) x) (* (* x 0.12) x)) (* (* x 0.253) (* (* x 0.12) x))))
  (- (* (* x 0.253) (* x 0.253)) (* (* (* x 0.12) x) (* (* x 0.12) x)))
  (- (* x 0.253) (* (* x 0.12) x))
  (* 0.12 (pow x 2))
  (* 0.12 (pow x 2))
  (* 0.12 (pow x 2))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
2.015 * * [simplify]: iteration 0: 61 enodes
2.040 * * [simplify]: iteration 1: 178 enodes
2.177 * * [simplify]: iteration 2: 1229 enodes
2.789 * * [simplify]: iteration complete: 5000 enodes
2.789 * * [simplify]: Extracting #0: cost 22 inf + 0
2.790 * * [simplify]: Extracting #1: cost 463 inf + 0
2.810 * * [simplify]: Extracting #2: cost 1599 inf + 119
2.821 * * [simplify]: Extracting #3: cost 1528 inf + 2822
2.834 * * [simplify]: Extracting #4: cost 473 inf + 11558
2.847 * * [simplify]: Extracting #5: cost 23 inf + 18841
2.856 * * [simplify]: Extracting #6: cost 1 inf + 19329
2.863 * * [simplify]: Extracting #7: cost 0 inf + 19336
2.870 * [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))
  (pow (exp 0.12) (* x x))
  (pow (* (* x x) 0.12) 3)
  (pow (* (* x x) 0.12) 3)
  (* (cbrt (* (* x x) 0.12)) (cbrt (* (* x x) 0.12)))
  (cbrt (* (* x x) 0.12))
  (pow (* (* x x) 0.12) 3)
  (sqrt (* (* x x) 0.12))
  (sqrt (* (* x x) 0.12))
  (* (* x 0.12) (* (cbrt x) (cbrt x)))
  (* (* 0.12 (sqrt x)) x)
  (* x 0.12)
  (* x 0.12)
  (exp (* x (+ (* x 0.12) 0.253)))
  (log (* x (+ 0.253 (* x 0.12))))
  (exp (* x (+ (* x 0.12) 0.253)))
  (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
  (cbrt (* x (+ 0.253 (* x 0.12))))
  (pow (* x (+ 0.253 (* x 0.12))) 3)
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (+ (pow (* (* x x) 0.12) 3) (pow (* x 0.253) 3))
  (* x (+ (* (* x 0.12) (* x (- (* x 0.12) 0.253))) (* 0.253 (* x 0.253))))
  (* (* x (+ 0.253 (* x 0.12))) (* x (- 0.253 (* x 0.12))))
  (* x (- 0.253 (* x 0.12)))
  (* (* 0.12 x) x)
  (* (* 0.12 x) x)
  (* (* 0.12 x) x)
  (* x (+ (* x 0.12) 0.253))
  (* x (+ (* x 0.12) 0.253))
  (* x (+ (* x 0.12) 0.253))
2.870 * * * [progress]: adding candidates to table
2.976 * * [progress]: iteration 3 / 4
2.976 * * * [progress]: picking best candidate
2.991 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x x) 0.12) 1))))>
2.992 * * * [progress]: localizing error
3.017 * * * [progress]: generating rewritten candidates
3.017 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 2 1)
3.033 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
3.044 * * * [progress]: generating series expansions
3.044 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 2 1)
3.044 * [backup-simplify]: Simplify (* (* x x) 0.12) into (* 0.12 (pow x 2))
3.045 * [approximate]: Taking taylor expansion of (* 0.12 (pow x 2)) in (x) around 0
3.045 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
3.045 * [taylor]: Taking taylor expansion of 0.12 in x
3.045 * [backup-simplify]: Simplify 0.12 into 0.12
3.045 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.045 * [taylor]: Taking taylor expansion of x in x
3.045 * [backup-simplify]: Simplify 0 into 0
3.045 * [backup-simplify]: Simplify 1 into 1
3.045 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
3.045 * [taylor]: Taking taylor expansion of 0.12 in x
3.045 * [backup-simplify]: Simplify 0.12 into 0.12
3.045 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.045 * [taylor]: Taking taylor expansion of x in x
3.045 * [backup-simplify]: Simplify 0 into 0
3.045 * [backup-simplify]: Simplify 1 into 1
3.045 * [backup-simplify]: Simplify (* 1 1) into 1
3.046 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
3.046 * [backup-simplify]: Simplify 0.12 into 0.12
3.046 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.046 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
3.046 * [backup-simplify]: Simplify 0 into 0
3.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.048 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
3.048 * [backup-simplify]: Simplify 0 into 0
3.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.051 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.051 * [backup-simplify]: Simplify 0 into 0
3.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.053 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.054 * [backup-simplify]: Simplify 0 into 0
3.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.057 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.057 * [backup-simplify]: Simplify 0 into 0
3.058 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.060 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.060 * [backup-simplify]: Simplify 0 into 0
3.060 * [backup-simplify]: Simplify (* 0.12 (pow x 2)) into (* 0.12 (pow x 2))
3.061 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 0.12) into (/ 0.12 (pow x 2))
3.061 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0
3.061 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
3.061 * [taylor]: Taking taylor expansion of 0.12 in x
3.061 * [backup-simplify]: Simplify 0.12 into 0.12
3.061 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.061 * [taylor]: Taking taylor expansion of x in x
3.061 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify 1 into 1
3.061 * [backup-simplify]: Simplify (* 1 1) into 1
3.062 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
3.062 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
3.062 * [taylor]: Taking taylor expansion of 0.12 in x
3.062 * [backup-simplify]: Simplify 0.12 into 0.12
3.062 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.062 * [taylor]: Taking taylor expansion of x in x
3.062 * [backup-simplify]: Simplify 0 into 0
3.062 * [backup-simplify]: Simplify 1 into 1
3.062 * [backup-simplify]: Simplify (* 1 1) into 1
3.063 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
3.063 * [backup-simplify]: Simplify 0.12 into 0.12
3.064 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.065 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0
3.065 * [backup-simplify]: Simplify 0 into 0
3.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.067 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.067 * [backup-simplify]: Simplify 0 into 0
3.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.069 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.069 * [backup-simplify]: Simplify 0 into 0
3.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.071 * [backup-simplify]: Simplify 0 into 0
3.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.074 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.074 * [backup-simplify]: Simplify 0 into 0
3.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.077 * [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
3.077 * [backup-simplify]: Simplify 0 into 0
3.077 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12 (pow x 2))
3.078 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12) into (/ 0.12 (pow x 2))
3.078 * [approximate]: Taking taylor expansion of (/ 0.12 (pow x 2)) in (x) around 0
3.078 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
3.078 * [taylor]: Taking taylor expansion of 0.12 in x
3.078 * [backup-simplify]: Simplify 0.12 into 0.12
3.078 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.078 * [taylor]: Taking taylor expansion of x in x
3.078 * [backup-simplify]: Simplify 0 into 0
3.078 * [backup-simplify]: Simplify 1 into 1
3.078 * [backup-simplify]: Simplify (* 1 1) into 1
3.079 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
3.079 * [taylor]: Taking taylor expansion of (/ 0.12 (pow x 2)) in x
3.079 * [taylor]: Taking taylor expansion of 0.12 in x
3.079 * [backup-simplify]: Simplify 0.12 into 0.12
3.079 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.079 * [taylor]: Taking taylor expansion of x in x
3.079 * [backup-simplify]: Simplify 0 into 0
3.079 * [backup-simplify]: Simplify 1 into 1
3.079 * [backup-simplify]: Simplify (* 1 1) into 1
3.080 * [backup-simplify]: Simplify (/ 0.12 1) into 0.12
3.080 * [backup-simplify]: Simplify 0.12 into 0.12
3.081 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.082 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)))) into 0
3.082 * [backup-simplify]: Simplify 0 into 0
3.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.084 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.084 * [backup-simplify]: Simplify 0 into 0
3.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.086 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.086 * [backup-simplify]: Simplify 0 into 0
3.087 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.088 * [backup-simplify]: Simplify 0 into 0
3.090 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.091 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.091 * [backup-simplify]: Simplify 0 into 0
3.092 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.093 * [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
3.093 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify (* 0.12 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12 (pow x 2))
3.094 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
3.094 * [backup-simplify]: Simplify (+ (* x 0.253) (pow (* (* x x) 0.12) 1)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
3.094 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in (x) around 0
3.094 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x
3.094 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
3.094 * [taylor]: Taking taylor expansion of 0.253 in x
3.094 * [backup-simplify]: Simplify 0.253 into 0.253
3.094 * [taylor]: Taking taylor expansion of x in x
3.094 * [backup-simplify]: Simplify 0 into 0
3.094 * [backup-simplify]: Simplify 1 into 1
3.094 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
3.094 * [taylor]: Taking taylor expansion of 0.12 in x
3.094 * [backup-simplify]: Simplify 0.12 into 0.12
3.095 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.095 * [taylor]: Taking taylor expansion of x in x
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 1 into 1
3.095 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* 0.12 (pow x 2))) in x
3.095 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
3.095 * [taylor]: Taking taylor expansion of 0.253 in x
3.095 * [backup-simplify]: Simplify 0.253 into 0.253
3.095 * [taylor]: Taking taylor expansion of x in x
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 1 into 1
3.095 * [taylor]: Taking taylor expansion of (* 0.12 (pow x 2)) in x
3.095 * [taylor]: Taking taylor expansion of 0.12 in x
3.095 * [backup-simplify]: Simplify 0.12 into 0.12
3.095 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.095 * [taylor]: Taking taylor expansion of x in x
3.095 * [backup-simplify]: Simplify 0 into 0
3.095 * [backup-simplify]: Simplify 1 into 1
3.096 * [backup-simplify]: Simplify (* 0.253 0) into 0
3.096 * [backup-simplify]: Simplify (+ 0 0) into 0
3.096 * [backup-simplify]: Simplify 0 into 0
3.097 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253
3.098 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
3.098 * [backup-simplify]: Simplify 0.253 into 0.253
3.099 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0
3.099 * [backup-simplify]: Simplify (* 1 1) into 1
3.100 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
3.100 * [backup-simplify]: Simplify (+ 0 0.12) into 0.12
3.100 * [backup-simplify]: Simplify 0.12 into 0.12
3.102 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.102 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.103 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
3.103 * [backup-simplify]: Simplify (+ 0 0) into 0
3.104 * [backup-simplify]: Simplify 0 into 0
3.105 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.107 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
3.107 * [backup-simplify]: Simplify (+ 0 0) into 0
3.107 * [backup-simplify]: Simplify 0 into 0
3.108 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
3.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.110 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.110 * [backup-simplify]: Simplify (+ 0 0) into 0
3.110 * [backup-simplify]: Simplify 0 into 0
3.111 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
3.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.112 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.112 * [backup-simplify]: Simplify (+ 0 0) into 0
3.112 * [backup-simplify]: Simplify 0 into 0
3.113 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
3.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.115 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.115 * [backup-simplify]: Simplify (+ 0 0) into 0
3.115 * [backup-simplify]: Simplify 0 into 0
3.116 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
3.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.118 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.118 * [backup-simplify]: Simplify (+ 0 0) into 0
3.118 * [backup-simplify]: Simplify 0 into 0
3.119 * [backup-simplify]: Simplify (+ (* 0.12 (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
3.119 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (pow (* (* (/ 1 x) (/ 1 x)) 0.12) 1)) into (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))
3.119 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0
3.119 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
3.119 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
3.119 * [taylor]: Taking taylor expansion of 0.12 in x
3.119 * [backup-simplify]: Simplify 0.12 into 0.12
3.119 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.119 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.119 * [taylor]: Taking taylor expansion of x in x
3.119 * [backup-simplify]: Simplify 0 into 0
3.119 * [backup-simplify]: Simplify 1 into 1
3.119 * [backup-simplify]: Simplify (* 1 1) into 1
3.120 * [backup-simplify]: Simplify (/ 1 1) into 1
3.120 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
3.120 * [taylor]: Taking taylor expansion of 0.253 in x
3.120 * [backup-simplify]: Simplify 0.253 into 0.253
3.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.120 * [taylor]: Taking taylor expansion of x in x
3.120 * [backup-simplify]: Simplify 0 into 0
3.120 * [backup-simplify]: Simplify 1 into 1
3.120 * [backup-simplify]: Simplify (/ 1 1) into 1
3.120 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
3.120 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
3.120 * [taylor]: Taking taylor expansion of 0.12 in x
3.120 * [backup-simplify]: Simplify 0.12 into 0.12
3.120 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.120 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.120 * [taylor]: Taking taylor expansion of x in x
3.120 * [backup-simplify]: Simplify 0 into 0
3.120 * [backup-simplify]: Simplify 1 into 1
3.120 * [backup-simplify]: Simplify (* 1 1) into 1
3.121 * [backup-simplify]: Simplify (/ 1 1) into 1
3.121 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
3.121 * [taylor]: Taking taylor expansion of 0.253 in x
3.121 * [backup-simplify]: Simplify 0.253 into 0.253
3.121 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.121 * [taylor]: Taking taylor expansion of x in x
3.121 * [backup-simplify]: Simplify 0 into 0
3.121 * [backup-simplify]: Simplify 1 into 1
3.121 * [backup-simplify]: Simplify (/ 1 1) into 1
3.121 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
3.122 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
3.122 * [backup-simplify]: Simplify 0.12 into 0.12
3.122 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.122 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.123 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
3.123 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
3.124 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
3.124 * [backup-simplify]: Simplify 0.253 into 0.253
3.124 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.125 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
3.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.126 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
3.126 * [backup-simplify]: Simplify (+ 0 0) into 0
3.126 * [backup-simplify]: Simplify 0 into 0
3.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.128 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.129 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
3.129 * [backup-simplify]: Simplify (+ 0 0) into 0
3.130 * [backup-simplify]: Simplify 0 into 0
3.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.131 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.133 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.133 * [backup-simplify]: Simplify (+ 0 0) into 0
3.133 * [backup-simplify]: Simplify 0 into 0
3.134 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.135 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.137 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.138 * [backup-simplify]: Simplify (+ 0 0) into 0
3.138 * [backup-simplify]: Simplify 0 into 0
3.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.142 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.145 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.145 * [backup-simplify]: Simplify (+ 0 0) into 0
3.145 * [backup-simplify]: Simplify 0 into 0
3.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.148 * [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
3.151 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.153 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.154 * [backup-simplify]: Simplify (+ 0 0) into 0
3.154 * [backup-simplify]: Simplify 0 into 0
3.154 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* 0.12 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
3.155 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (pow (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12) 1)) into (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x)))
3.155 * [approximate]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in (x) around 0
3.155 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
3.155 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
3.155 * [taylor]: Taking taylor expansion of 0.12 in x
3.155 * [backup-simplify]: Simplify 0.12 into 0.12
3.155 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.155 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.155 * [taylor]: Taking taylor expansion of x in x
3.155 * [backup-simplify]: Simplify 0 into 0
3.155 * [backup-simplify]: Simplify 1 into 1
3.155 * [backup-simplify]: Simplify (* 1 1) into 1
3.156 * [backup-simplify]: Simplify (/ 1 1) into 1
3.156 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
3.156 * [taylor]: Taking taylor expansion of 0.253 in x
3.156 * [backup-simplify]: Simplify 0.253 into 0.253
3.156 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.156 * [taylor]: Taking taylor expansion of x in x
3.156 * [backup-simplify]: Simplify 0 into 0
3.156 * [backup-simplify]: Simplify 1 into 1
3.159 * [backup-simplify]: Simplify (/ 1 1) into 1
3.159 * [taylor]: Taking taylor expansion of (- (* 0.12 (/ 1 (pow x 2))) (* 0.253 (/ 1 x))) in x
3.159 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 (pow x 2))) in x
3.159 * [taylor]: Taking taylor expansion of 0.12 in x
3.159 * [backup-simplify]: Simplify 0.12 into 0.12
3.159 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.159 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.159 * [taylor]: Taking taylor expansion of x in x
3.159 * [backup-simplify]: Simplify 0 into 0
3.159 * [backup-simplify]: Simplify 1 into 1
3.160 * [backup-simplify]: Simplify (* 1 1) into 1
3.160 * [backup-simplify]: Simplify (/ 1 1) into 1
3.161 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
3.161 * [taylor]: Taking taylor expansion of 0.253 in x
3.161 * [backup-simplify]: Simplify 0.253 into 0.253
3.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.161 * [taylor]: Taking taylor expansion of x in x
3.161 * [backup-simplify]: Simplify 0 into 0
3.161 * [backup-simplify]: Simplify 1 into 1
3.161 * [backup-simplify]: Simplify (/ 1 1) into 1
3.162 * [backup-simplify]: Simplify (* 0.12 1) into 0.12
3.162 * [backup-simplify]: Simplify (+ 0.12 0) into 0.12
3.162 * [backup-simplify]: Simplify 0.12 into 0.12
3.163 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.164 * [backup-simplify]: Simplify (+ (* 0.12 0) (* 0 1)) into 0
3.165 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
3.165 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
3.166 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253)
3.166 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
3.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.169 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (* 0 1))) into 0
3.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.171 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
3.171 * [backup-simplify]: Simplify (- 0) into 0
3.172 * [backup-simplify]: Simplify (+ 0 0) into 0
3.172 * [backup-simplify]: Simplify 0 into 0
3.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.175 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.176 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.177 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
3.177 * [backup-simplify]: Simplify (- 0) into 0
3.178 * [backup-simplify]: Simplify (+ 0 0) into 0
3.178 * [backup-simplify]: Simplify 0 into 0
3.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.181 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.183 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.184 * [backup-simplify]: Simplify (- 0) into 0
3.184 * [backup-simplify]: Simplify (+ 0 0) into 0
3.184 * [backup-simplify]: Simplify 0 into 0
3.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.188 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.190 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.190 * [backup-simplify]: Simplify (- 0) into 0
3.191 * [backup-simplify]: Simplify (+ 0 0) into 0
3.191 * [backup-simplify]: Simplify 0 into 0
3.192 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.195 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.198 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.198 * [backup-simplify]: Simplify (- 0) into 0
3.198 * [backup-simplify]: Simplify (+ 0 0) into 0
3.198 * [backup-simplify]: Simplify 0 into 0
3.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.201 * [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
3.203 * [backup-simplify]: Simplify (+ (* 0.12 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.206 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.206 * [backup-simplify]: Simplify (- 0) into 0
3.207 * [backup-simplify]: Simplify (+ 0 0) into 0
3.207 * [backup-simplify]: Simplify 0 into 0
3.208 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* 0.12 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* 0.12 (pow x 2)))
3.208 * * * [progress]: simplifying candidates
3.209 * [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)
  (* (exp (* x 0.253)) (exp (pow (* (* x x) 0.12) 1)))
  (log (+ (* x 0.253) (pow (* (* x x) 0.12) 1)))
  (exp (+ (* x 0.253) (pow (* (* x x) 0.12) 1)))
  (* (cbrt (+ (* x 0.253) (pow (* (* x x) 0.12) 1))) (cbrt (+ (* x 0.253) (pow (* (* x x) 0.12) 1))))
  (cbrt (+ (* x 0.253) (pow (* (* x x) 0.12) 1)))
  (* (* (+ (* x 0.253) (pow (* (* x x) 0.12) 1)) (+ (* x 0.253) (pow (* (* x x) 0.12) 1))) (+ (* x 0.253) (pow (* (* x x) 0.12) 1)))
  (sqrt (+ (* x 0.253) (pow (* (* x x) 0.12) 1)))
  (sqrt (+ (* x 0.253) (pow (* (* x x) 0.12) 1)))
  (+ (pow (* x 0.253) 3) (pow (pow (* (* x x) 0.12) 1) 3))
  (+ (* (* x 0.253) (* x 0.253)) (- (* (pow (* (* x x) 0.12) 1) (pow (* (* x x) 0.12) 1)) (* (* x 0.253) (pow (* (* x x) 0.12) 1))))
  (- (* (* x 0.253) (* x 0.253)) (* (pow (* (* x x) 0.12) 1) (pow (* (* x x) 0.12) 1)))
  (- (* x 0.253) (pow (* (* x x) 0.12) 1))
  (* 0.12 (pow x 2))
  (* 0.12 (pow x 2))
  (* 0.12 (pow x 2))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
  (+ (* 0.253 x) (* 0.12 (pow x 2)))
3.210 * * [simplify]: iteration 0: 64 enodes
3.225 * * [simplify]: iteration 1: 196 enodes
3.425 * * [simplify]: iteration 2: 1331 enodes
4.057 * * [simplify]: iteration complete: 5001 enodes
4.057 * * [simplify]: Extracting #0: cost 23 inf + 0
4.058 * * [simplify]: Extracting #1: cost 432 inf + 0
4.062 * * [simplify]: Extracting #2: cost 1695 inf + 27
4.068 * * [simplify]: Extracting #3: cost 1374 inf + 3417
4.075 * * [simplify]: Extracting #4: cost 322 inf + 12660
4.087 * * [simplify]: Extracting #5: cost 20 inf + 16684
4.108 * * [simplify]: Extracting #6: cost 2 inf + 16827
4.120 * * [simplify]: Extracting #7: cost 0 inf + 16841
4.132 * [simplify]: Simplified to:
  (* (* 0.12 x) x)
  (* (* 0.12 x) x)
  (log (* (* 0.12 x) x))
  (log (* (* 0.12 x) x))
  (log (* (* 0.12 x) x))
  (pow (exp x) (* x 0.12))
  (pow (* (* 0.12 x) x) 3)
  (pow (* (* 0.12 x) x) 3)
  (* (cbrt (* (* 0.12 x) x)) (cbrt (* (* 0.12 x) x)))
  (cbrt (* (* 0.12 x) x))
  (pow (* (* 0.12 x) x) 3)
  (sqrt (* (* 0.12 x) x))
  (sqrt (* (* 0.12 x) x))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (* (* x (cbrt 0.12)) (* x (cbrt 0.12)))
  (* (* x (sqrt 0.12)) x)
  (* x x)
  (* x 0.12)
  (pow (exp x) (+ (* x 0.12) 0.253))
  (log (* x (+ 0.253 (* x 0.12))))
  (pow (exp x) (+ (* x 0.12) 0.253))
  (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
  (cbrt (* x (+ 0.253 (* x 0.12))))
  (pow (* x (+ 0.253 (* x 0.12))) 3)
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (+ (pow (* (* 0.12 x) x) 3) (pow (* 0.253 x) 3))
  (* (* x x) (+ (* 0.253 0.253) (* 0.12 (* x (- (* x 0.12) 0.253)))))
  (* (* x x) (- (* 0.253 0.253) (* 0.12 (* (* 0.12 x) x))))
  (* x (- 0.253 (* x 0.12)))
  (* (* 0.12 x) x)
  (* (* 0.12 x) x)
  (* (* 0.12 x) x)
  (* x (+ 0.253 (* x 0.12)))
  (* x (+ 0.253 (* x 0.12)))
  (* x (+ 0.253 (* x 0.12)))
4.132 * * * [progress]: adding candidates to table
4.277 * * [progress]: iteration 4 / 4
4.277 * * * [progress]: picking best candidate
4.294 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))))>
4.295 * * * [progress]: localizing error
4.325 * * * [progress]: generating rewritten candidates
4.325 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
4.373 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
4.381 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
4.393 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
4.413 * * * [progress]: generating series expansions
4.413 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
4.414 * [backup-simplify]: Simplify (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) into (* (pow x 2) (pow (sqrt 0.12) 2))
4.414 * [approximate]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in (x) around 0
4.415 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x
4.415 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.415 * [taylor]: Taking taylor expansion of x in x
4.415 * [backup-simplify]: Simplify 0 into 0
4.415 * [backup-simplify]: Simplify 1 into 1
4.415 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.415 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.415 * [taylor]: Taking taylor expansion of 0.12 in x
4.415 * [backup-simplify]: Simplify 0.12 into 0.12
4.415 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.416 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.416 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x
4.416 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.416 * [taylor]: Taking taylor expansion of x in x
4.416 * [backup-simplify]: Simplify 0 into 0
4.416 * [backup-simplify]: Simplify 1 into 1
4.416 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.416 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.416 * [taylor]: Taking taylor expansion of 0.12 in x
4.416 * [backup-simplify]: Simplify 0.12 into 0.12
4.417 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.418 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.418 * [backup-simplify]: Simplify (* 1 1) into 1
4.419 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.421 * [backup-simplify]: Simplify (* 1 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2)
4.422 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
4.423 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
4.423 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.424 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 0.12) 2))) into 0
4.424 * [backup-simplify]: Simplify 0 into 0
4.426 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.427 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
4.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.429 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))) into 0
4.429 * [backup-simplify]: Simplify 0 into 0
4.430 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.431 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))) into 0
4.434 * [backup-simplify]: Simplify 0 into 0
4.435 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.437 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.438 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))) into 0
4.439 * [backup-simplify]: Simplify 0 into 0
4.441 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.442 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.445 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))))) into 0
4.445 * [backup-simplify]: Simplify 0 into 0
4.447 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.449 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.450 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))))) into 0
4.453 * [backup-simplify]: Simplify 0 into 0
4.454 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow x 2)) into (* (pow x 2) (pow (sqrt 0.12) 2))
4.455 * [backup-simplify]: Simplify (* (* (/ 1 x) (sqrt 0.12)) (* (/ 1 x) (sqrt 0.12))) into (/ (pow (sqrt 0.12) 2) (pow x 2))
4.455 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0
4.455 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
4.455 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.455 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.455 * [taylor]: Taking taylor expansion of 0.12 in x
4.455 * [backup-simplify]: Simplify 0.12 into 0.12
4.455 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.456 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.456 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.456 * [taylor]: Taking taylor expansion of x in x
4.456 * [backup-simplify]: Simplify 0 into 0
4.456 * [backup-simplify]: Simplify 1 into 1
4.457 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.458 * [backup-simplify]: Simplify (* 1 1) into 1
4.459 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
4.459 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
4.460 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.460 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.460 * [taylor]: Taking taylor expansion of 0.12 in x
4.460 * [backup-simplify]: Simplify 0.12 into 0.12
4.460 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.461 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.461 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.461 * [taylor]: Taking taylor expansion of x in x
4.461 * [backup-simplify]: Simplify 0 into 0
4.461 * [backup-simplify]: Simplify 1 into 1
4.462 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.462 * [backup-simplify]: Simplify (* 1 1) into 1
4.464 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
4.465 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
4.466 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
4.466 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.468 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0
4.468 * [backup-simplify]: Simplify 0 into 0
4.469 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.470 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
4.471 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.472 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.472 * [backup-simplify]: Simplify 0 into 0
4.474 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.475 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.476 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.477 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.477 * [backup-simplify]: Simplify 0 into 0
4.479 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.480 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.481 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.483 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.483 * [backup-simplify]: Simplify 0 into 0
4.484 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.486 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.487 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.488 * [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
4.488 * [backup-simplify]: Simplify 0 into 0
4.490 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.491 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.493 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.494 * [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
4.494 * [backup-simplify]: Simplify 0 into 0
4.495 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 x)) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2))
4.496 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (sqrt 0.12)) (* (/ 1 (- x)) (sqrt 0.12))) into (/ (pow (sqrt 0.12) 2) (pow x 2))
4.496 * [approximate]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in (x) around 0
4.496 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
4.496 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.496 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.496 * [taylor]: Taking taylor expansion of 0.12 in x
4.496 * [backup-simplify]: Simplify 0.12 into 0.12
4.497 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.498 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.498 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.498 * [taylor]: Taking taylor expansion of x in x
4.498 * [backup-simplify]: Simplify 0 into 0
4.498 * [backup-simplify]: Simplify 1 into 1
4.499 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.499 * [backup-simplify]: Simplify (* 1 1) into 1
4.501 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
4.501 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
4.501 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.501 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.501 * [taylor]: Taking taylor expansion of 0.12 in x
4.501 * [backup-simplify]: Simplify 0.12 into 0.12
4.501 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.502 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.502 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.502 * [taylor]: Taking taylor expansion of x in x
4.502 * [backup-simplify]: Simplify 0 into 0
4.502 * [backup-simplify]: Simplify 1 into 1
4.503 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.504 * [backup-simplify]: Simplify (* 1 1) into 1
4.505 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
4.506 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
4.507 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
4.507 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.509 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0
4.509 * [backup-simplify]: Simplify 0 into 0
4.510 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.511 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
4.512 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.513 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.513 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.515 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.519 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.521 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.521 * [backup-simplify]: Simplify 0 into 0
4.522 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.524 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.525 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.526 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.526 * [backup-simplify]: Simplify 0 into 0
4.528 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.529 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.531 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.532 * [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
4.532 * [backup-simplify]: Simplify 0 into 0
4.533 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.535 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.538 * [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
4.538 * [backup-simplify]: Simplify 0 into 0
4.539 * [backup-simplify]: Simplify (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 (- x))) 2)) into (* (pow x 2) (pow (sqrt 0.12) 2))
4.539 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
4.540 * [backup-simplify]: Simplify (* x (sqrt 0.12)) into (* x (sqrt 0.12))
4.540 * [approximate]: Taking taylor expansion of (* x (sqrt 0.12)) in (x) around 0
4.540 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x
4.540 * [taylor]: Taking taylor expansion of x in x
4.540 * [backup-simplify]: Simplify 0 into 0
4.540 * [backup-simplify]: Simplify 1 into 1
4.540 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.540 * [taylor]: Taking taylor expansion of 0.12 in x
4.540 * [backup-simplify]: Simplify 0.12 into 0.12
4.540 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.541 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.541 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x
4.541 * [taylor]: Taking taylor expansion of x in x
4.541 * [backup-simplify]: Simplify 0 into 0
4.541 * [backup-simplify]: Simplify 1 into 1
4.541 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.541 * [taylor]: Taking taylor expansion of 0.12 in x
4.541 * [backup-simplify]: Simplify 0.12 into 0.12
4.542 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.542 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.543 * [backup-simplify]: Simplify (* 0 (sqrt 0.12)) into 0
4.543 * [backup-simplify]: Simplify 0 into 0
4.545 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.12))) into (sqrt 0.12)
4.545 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.547 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.548 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.12)))) into 0
4.548 * [backup-simplify]: Simplify 0 into 0
4.549 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.550 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.550 * [backup-simplify]: Simplify 0 into 0
4.552 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.553 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.553 * [backup-simplify]: Simplify 0 into 0
4.554 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.556 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.556 * [backup-simplify]: Simplify 0 into 0
4.557 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.559 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.559 * [backup-simplify]: Simplify 0 into 0
4.561 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.562 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0
4.562 * [backup-simplify]: Simplify 0 into 0
4.563 * [backup-simplify]: Simplify (* (sqrt 0.12) x) into (* x (sqrt 0.12))
4.563 * [backup-simplify]: Simplify (* (/ 1 x) (sqrt 0.12)) into (/ (sqrt 0.12) x)
4.563 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) x) in (x) around 0
4.563 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x
4.564 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.564 * [taylor]: Taking taylor expansion of 0.12 in x
4.564 * [backup-simplify]: Simplify 0.12 into 0.12
4.564 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.565 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.565 * [taylor]: Taking taylor expansion of x in x
4.565 * [backup-simplify]: Simplify 0 into 0
4.565 * [backup-simplify]: Simplify 1 into 1
4.566 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
4.566 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x
4.566 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.566 * [taylor]: Taking taylor expansion of 0.12 in x
4.566 * [backup-simplify]: Simplify 0.12 into 0.12
4.566 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.567 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.567 * [taylor]: Taking taylor expansion of x in x
4.567 * [backup-simplify]: Simplify 0 into 0
4.567 * [backup-simplify]: Simplify 1 into 1
4.568 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
4.568 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0
4.569 * [backup-simplify]: Simplify 0 into 0
4.570 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.571 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.571 * [backup-simplify]: Simplify 0 into 0
4.573 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.574 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.574 * [backup-simplify]: Simplify 0 into 0
4.575 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.576 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.576 * [backup-simplify]: Simplify 0 into 0
4.578 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.579 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.579 * [backup-simplify]: Simplify 0 into 0
4.581 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.582 * [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
4.582 * [backup-simplify]: Simplify 0 into 0
4.582 * [backup-simplify]: Simplify (* (sqrt 0.12) (/ 1 (/ 1 x))) into (* x (sqrt 0.12))
4.583 * [backup-simplify]: Simplify (* (/ 1 (- x)) (sqrt 0.12)) into (* -1 (/ (sqrt 0.12) x))
4.583 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 0.12) x)) in (x) around 0
4.583 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 0.12) x)) in x
4.583 * [taylor]: Taking taylor expansion of -1 in x
4.583 * [backup-simplify]: Simplify -1 into -1
4.583 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x
4.583 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.583 * [taylor]: Taking taylor expansion of 0.12 in x
4.583 * [backup-simplify]: Simplify 0.12 into 0.12
4.583 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.584 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.584 * [taylor]: Taking taylor expansion of x in x
4.584 * [backup-simplify]: Simplify 0 into 0
4.584 * [backup-simplify]: Simplify 1 into 1
4.585 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
4.585 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 0.12) x)) in x
4.585 * [taylor]: Taking taylor expansion of -1 in x
4.585 * [backup-simplify]: Simplify -1 into -1
4.585 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x
4.585 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.585 * [taylor]: Taking taylor expansion of 0.12 in x
4.585 * [backup-simplify]: Simplify 0.12 into 0.12
4.586 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.586 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.587 * [taylor]: Taking taylor expansion of x in x
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify 1 into 1
4.587 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
4.588 * [backup-simplify]: Simplify (* -1 (sqrt 0.12)) into (* -1 (sqrt 0.12))
4.589 * [backup-simplify]: Simplify (* -1 (sqrt 0.12)) into (* -1 (sqrt 0.12))
4.589 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0
4.590 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 0.12))) into 0
4.590 * [backup-simplify]: Simplify 0 into 0
4.590 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.591 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.592 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
4.592 * [backup-simplify]: Simplify 0 into 0
4.592 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.593 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.594 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.594 * [backup-simplify]: Simplify 0 into 0
4.594 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.595 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.596 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.596 * [backup-simplify]: Simplify 0 into 0
4.597 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.597 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.598 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.598 * [backup-simplify]: Simplify 0 into 0
4.599 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.600 * [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
4.601 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.601 * [backup-simplify]: Simplify 0 into 0
4.601 * [backup-simplify]: Simplify (* (* -1 (sqrt 0.12)) (/ 1 (/ 1 (- x)))) into (* x (sqrt 0.12))
4.601 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
4.602 * [backup-simplify]: Simplify (* x (sqrt 0.12)) into (* x (sqrt 0.12))
4.602 * [approximate]: Taking taylor expansion of (* x (sqrt 0.12)) in (x) around 0
4.602 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x
4.602 * [taylor]: Taking taylor expansion of x in x
4.602 * [backup-simplify]: Simplify 0 into 0
4.602 * [backup-simplify]: Simplify 1 into 1
4.602 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.602 * [taylor]: Taking taylor expansion of 0.12 in x
4.602 * [backup-simplify]: Simplify 0.12 into 0.12
4.602 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.602 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.602 * [taylor]: Taking taylor expansion of (* x (sqrt 0.12)) in x
4.602 * [taylor]: Taking taylor expansion of x in x
4.602 * [backup-simplify]: Simplify 0 into 0
4.602 * [backup-simplify]: Simplify 1 into 1
4.602 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.602 * [taylor]: Taking taylor expansion of 0.12 in x
4.602 * [backup-simplify]: Simplify 0.12 into 0.12
4.603 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.603 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.604 * [backup-simplify]: Simplify (* 0 (sqrt 0.12)) into 0
4.604 * [backup-simplify]: Simplify 0 into 0
4.605 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 (sqrt 0.12))) into (sqrt 0.12)
4.605 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.606 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.606 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 (sqrt 0.12)))) into 0
4.607 * [backup-simplify]: Simplify 0 into 0
4.607 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.608 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.608 * [backup-simplify]: Simplify 0 into 0
4.609 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.610 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.610 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.611 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.611 * [backup-simplify]: Simplify 0 into 0
4.612 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.613 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.613 * [backup-simplify]: Simplify 0 into 0
4.614 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.615 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0
4.615 * [backup-simplify]: Simplify 0 into 0
4.615 * [backup-simplify]: Simplify (* (sqrt 0.12) x) into (* x (sqrt 0.12))
4.615 * [backup-simplify]: Simplify (* (/ 1 x) (sqrt 0.12)) into (/ (sqrt 0.12) x)
4.615 * [approximate]: Taking taylor expansion of (/ (sqrt 0.12) x) in (x) around 0
4.615 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x
4.615 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.615 * [taylor]: Taking taylor expansion of 0.12 in x
4.615 * [backup-simplify]: Simplify 0.12 into 0.12
4.616 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.616 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.616 * [taylor]: Taking taylor expansion of x in x
4.616 * [backup-simplify]: Simplify 0 into 0
4.616 * [backup-simplify]: Simplify 1 into 1
4.617 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
4.617 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x
4.617 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.617 * [taylor]: Taking taylor expansion of 0.12 in x
4.617 * [backup-simplify]: Simplify 0.12 into 0.12
4.617 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.617 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.617 * [taylor]: Taking taylor expansion of x in x
4.617 * [backup-simplify]: Simplify 0 into 0
4.618 * [backup-simplify]: Simplify 1 into 1
4.618 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
4.618 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.619 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0
4.619 * [backup-simplify]: Simplify 0 into 0
4.620 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.621 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.621 * [backup-simplify]: Simplify 0 into 0
4.622 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.623 * [backup-simplify]: Simplify 0 into 0
4.625 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.626 * [backup-simplify]: Simplify 0 into 0
4.627 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.629 * [backup-simplify]: Simplify 0 into 0
4.630 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.631 * [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
4.631 * [backup-simplify]: Simplify 0 into 0
4.632 * [backup-simplify]: Simplify (* (sqrt 0.12) (/ 1 (/ 1 x))) into (* x (sqrt 0.12))
4.632 * [backup-simplify]: Simplify (* (/ 1 (- x)) (sqrt 0.12)) into (* -1 (/ (sqrt 0.12) x))
4.632 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt 0.12) x)) in (x) around 0
4.632 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 0.12) x)) in x
4.632 * [taylor]: Taking taylor expansion of -1 in x
4.632 * [backup-simplify]: Simplify -1 into -1
4.632 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x
4.632 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.632 * [taylor]: Taking taylor expansion of 0.12 in x
4.632 * [backup-simplify]: Simplify 0.12 into 0.12
4.633 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.633 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.634 * [taylor]: Taking taylor expansion of x in x
4.634 * [backup-simplify]: Simplify 0 into 0
4.634 * [backup-simplify]: Simplify 1 into 1
4.634 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
4.634 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt 0.12) x)) in x
4.635 * [taylor]: Taking taylor expansion of -1 in x
4.635 * [backup-simplify]: Simplify -1 into -1
4.635 * [taylor]: Taking taylor expansion of (/ (sqrt 0.12) x) in x
4.635 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.635 * [taylor]: Taking taylor expansion of 0.12 in x
4.635 * [backup-simplify]: Simplify 0.12 into 0.12
4.635 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.636 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.636 * [taylor]: Taking taylor expansion of x in x
4.636 * [backup-simplify]: Simplify 0 into 0
4.636 * [backup-simplify]: Simplify 1 into 1
4.639 * [backup-simplify]: Simplify (/ (sqrt 0.12) 1) into (sqrt 0.12)
4.640 * [backup-simplify]: Simplify (* -1 (sqrt 0.12)) into (* -1 (sqrt 0.12))
4.640 * [backup-simplify]: Simplify (* -1 (sqrt 0.12)) into (* -1 (sqrt 0.12))
4.641 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)))) into 0
4.641 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt 0.12))) into 0
4.641 * [backup-simplify]: Simplify 0 into 0
4.642 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.642 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.643 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
4.643 * [backup-simplify]: Simplify 0 into 0
4.644 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.645 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.645 * [backup-simplify]: Simplify 0 into 0
4.646 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.647 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.647 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.647 * [backup-simplify]: Simplify 0 into 0
4.648 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt 0.12) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.650 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.650 * [backup-simplify]: Simplify 0 into 0
4.650 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.651 * [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
4.652 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.652 * [backup-simplify]: Simplify 0 into 0
4.653 * [backup-simplify]: Simplify (* (* -1 (sqrt 0.12)) (/ 1 (/ 1 (- x)))) into (* x (sqrt 0.12))
4.653 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
4.653 * [backup-simplify]: Simplify (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
4.654 * [approximate]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in (x) around 0
4.654 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in x
4.654 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
4.654 * [taylor]: Taking taylor expansion of 0.253 in x
4.654 * [backup-simplify]: Simplify 0.253 into 0.253
4.654 * [taylor]: Taking taylor expansion of x in x
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 1 into 1
4.654 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x
4.654 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.654 * [taylor]: Taking taylor expansion of x in x
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 1 into 1
4.654 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.654 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.654 * [taylor]: Taking taylor expansion of 0.12 in x
4.654 * [backup-simplify]: Simplify 0.12 into 0.12
4.654 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.654 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.655 * [taylor]: Taking taylor expansion of (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2))) in x
4.655 * [taylor]: Taking taylor expansion of (* 0.253 x) in x
4.655 * [taylor]: Taking taylor expansion of 0.253 in x
4.655 * [backup-simplify]: Simplify 0.253 into 0.253
4.655 * [taylor]: Taking taylor expansion of x in x
4.655 * [backup-simplify]: Simplify 0 into 0
4.655 * [backup-simplify]: Simplify 1 into 1
4.655 * [taylor]: Taking taylor expansion of (* (pow x 2) (pow (sqrt 0.12) 2)) in x
4.655 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.655 * [taylor]: Taking taylor expansion of x in x
4.655 * [backup-simplify]: Simplify 0 into 0
4.655 * [backup-simplify]: Simplify 1 into 1
4.655 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.655 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.655 * [taylor]: Taking taylor expansion of 0.12 in x
4.655 * [backup-simplify]: Simplify 0.12 into 0.12
4.655 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.655 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.656 * [backup-simplify]: Simplify (* 0.253 0) into 0
4.656 * [backup-simplify]: Simplify (+ 0 0) into 0
4.656 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify (+ (* 0.253 1) (* 0 0)) into 0.253
4.657 * [backup-simplify]: Simplify (+ 0.253 0) into 0.253
4.657 * [backup-simplify]: Simplify 0.253 into 0.253
4.658 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 1) (* 0 0))) into 0
4.658 * [backup-simplify]: Simplify (* 1 1) into 1
4.659 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.660 * [backup-simplify]: Simplify (* 1 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2)
4.661 * [backup-simplify]: Simplify (+ 0 (pow (sqrt 0.12) 2)) into (pow (sqrt 0.12) 2)
4.661 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
4.662 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
4.662 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
4.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.663 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (pow (sqrt 0.12) 2))) into 0
4.664 * [backup-simplify]: Simplify (+ 0 0) into 0
4.664 * [backup-simplify]: Simplify 0 into 0
4.664 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
4.665 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.665 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
4.666 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.667 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))) into 0
4.667 * [backup-simplify]: Simplify (+ 0 0) into 0
4.667 * [backup-simplify]: Simplify 0 into 0
4.668 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
4.669 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.669 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))) into 0
4.671 * [backup-simplify]: Simplify (+ 0 0) into 0
4.671 * [backup-simplify]: Simplify 0 into 0
4.672 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
4.674 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.675 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))) into 0
4.677 * [backup-simplify]: Simplify (+ 0 0) into 0
4.677 * [backup-simplify]: Simplify 0 into 0
4.678 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
4.679 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.680 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2))))))) into 0
4.682 * [backup-simplify]: Simplify (+ 0 0) into 0
4.682 * [backup-simplify]: Simplify 0 into 0
4.683 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
4.684 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.685 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (sqrt 0.12) 2)))))))) into 0
4.687 * [backup-simplify]: Simplify (+ 0 0) into 0
4.687 * [backup-simplify]: Simplify 0 into 0
4.688 * [backup-simplify]: Simplify (+ (* (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 x)) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
4.688 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0.253) (pow (* (* (/ 1 x) (sqrt 0.12)) (* (/ 1 x) (sqrt 0.12))) 1)) into (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x)))
4.688 * [approximate]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in (x) around 0
4.688 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x
4.688 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
4.688 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.688 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.688 * [taylor]: Taking taylor expansion of 0.12 in x
4.688 * [backup-simplify]: Simplify 0.12 into 0.12
4.689 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.689 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.689 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.689 * [taylor]: Taking taylor expansion of x in x
4.689 * [backup-simplify]: Simplify 0 into 0
4.689 * [backup-simplify]: Simplify 1 into 1
4.690 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.690 * [backup-simplify]: Simplify (* 1 1) into 1
4.691 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
4.691 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
4.691 * [taylor]: Taking taylor expansion of 0.253 in x
4.691 * [backup-simplify]: Simplify 0.253 into 0.253
4.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.691 * [taylor]: Taking taylor expansion of x in x
4.691 * [backup-simplify]: Simplify 0 into 0
4.691 * [backup-simplify]: Simplify 1 into 1
4.692 * [backup-simplify]: Simplify (/ 1 1) into 1
4.692 * [taylor]: Taking taylor expansion of (+ (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x
4.692 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
4.692 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.692 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.692 * [taylor]: Taking taylor expansion of 0.12 in x
4.692 * [backup-simplify]: Simplify 0.12 into 0.12
4.692 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.692 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.692 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.692 * [taylor]: Taking taylor expansion of x in x
4.692 * [backup-simplify]: Simplify 0 into 0
4.692 * [backup-simplify]: Simplify 1 into 1
4.693 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.693 * [backup-simplify]: Simplify (* 1 1) into 1
4.694 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
4.694 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
4.694 * [taylor]: Taking taylor expansion of 0.253 in x
4.694 * [backup-simplify]: Simplify 0.253 into 0.253
4.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.694 * [taylor]: Taking taylor expansion of x in x
4.694 * [backup-simplify]: Simplify 0 into 0
4.694 * [backup-simplify]: Simplify 1 into 1
4.695 * [backup-simplify]: Simplify (/ 1 1) into 1
4.696 * [backup-simplify]: Simplify (+ (pow (sqrt 0.12) 2) 0) into (pow (sqrt 0.12) 2)
4.696 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
4.697 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
4.697 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.698 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0
4.698 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
4.698 * [backup-simplify]: Simplify (+ 0 0.253) into 0.253
4.698 * [backup-simplify]: Simplify 0.253 into 0.253
4.699 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.700 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
4.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.701 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.702 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
4.702 * [backup-simplify]: Simplify (+ 0 0) into 0
4.702 * [backup-simplify]: Simplify 0 into 0
4.703 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.703 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.705 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.706 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
4.706 * [backup-simplify]: Simplify (+ 0 0) into 0
4.706 * [backup-simplify]: Simplify 0 into 0
4.707 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.708 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.709 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.710 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.710 * [backup-simplify]: Simplify (+ 0 0) into 0
4.710 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.712 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.713 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.713 * [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
4.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.715 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.715 * [backup-simplify]: Simplify (+ 0 0) into 0
4.715 * [backup-simplify]: Simplify 0 into 0
4.716 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.717 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.718 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.718 * [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
4.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.720 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.720 * [backup-simplify]: Simplify (+ 0 0) into 0
4.720 * [backup-simplify]: Simplify 0 into 0
4.723 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.725 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0
4.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.729 * [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)) (* 0 (/ 0 1)))) into 0
4.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.732 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.732 * [backup-simplify]: Simplify (+ 0 0) into 0
4.732 * [backup-simplify]: Simplify 0 into 0
4.733 * [backup-simplify]: Simplify (+ (* 0.253 (/ 1 (/ 1 x))) (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 x)) 2))) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
4.734 * [backup-simplify]: Simplify (+ (* (/ 1 (- x)) 0.253) (pow (* (* (/ 1 (- x)) (sqrt 0.12)) (* (/ 1 (- x)) (sqrt 0.12))) 1)) into (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x)))
4.734 * [approximate]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in (x) around 0
4.734 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x
4.734 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
4.735 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.735 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.735 * [taylor]: Taking taylor expansion of 0.12 in x
4.735 * [backup-simplify]: Simplify 0.12 into 0.12
4.735 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.735 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.736 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.736 * [taylor]: Taking taylor expansion of x in x
4.736 * [backup-simplify]: Simplify 0 into 0
4.736 * [backup-simplify]: Simplify 1 into 1
4.736 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.737 * [backup-simplify]: Simplify (* 1 1) into 1
4.738 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
4.738 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
4.738 * [taylor]: Taking taylor expansion of 0.253 in x
4.738 * [backup-simplify]: Simplify 0.253 into 0.253
4.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.738 * [taylor]: Taking taylor expansion of x in x
4.738 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify 1 into 1
4.738 * [backup-simplify]: Simplify (/ 1 1) into 1
4.738 * [taylor]: Taking taylor expansion of (- (/ (pow (sqrt 0.12) 2) (pow x 2)) (* 0.253 (/ 1 x))) in x
4.738 * [taylor]: Taking taylor expansion of (/ (pow (sqrt 0.12) 2) (pow x 2)) in x
4.738 * [taylor]: Taking taylor expansion of (pow (sqrt 0.12) 2) in x
4.738 * [taylor]: Taking taylor expansion of (sqrt 0.12) in x
4.738 * [taylor]: Taking taylor expansion of 0.12 in x
4.738 * [backup-simplify]: Simplify 0.12 into 0.12
4.739 * [backup-simplify]: Simplify (sqrt 0.12) into (sqrt 0.12)
4.739 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt 0.12))) into 0
4.739 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.739 * [taylor]: Taking taylor expansion of x in x
4.739 * [backup-simplify]: Simplify 0 into 0
4.739 * [backup-simplify]: Simplify 1 into 1
4.740 * [backup-simplify]: Simplify (* (sqrt 0.12) (sqrt 0.12)) into (pow (sqrt 0.12) 2)
4.740 * [backup-simplify]: Simplify (* 1 1) into 1
4.741 * [backup-simplify]: Simplify (/ (pow (sqrt 0.12) 2) 1) into (pow (sqrt 0.12) 2)
4.741 * [taylor]: Taking taylor expansion of (* 0.253 (/ 1 x)) in x
4.741 * [taylor]: Taking taylor expansion of 0.253 in x
4.741 * [backup-simplify]: Simplify 0.253 into 0.253
4.741 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.741 * [taylor]: Taking taylor expansion of x in x
4.741 * [backup-simplify]: Simplify 0 into 0
4.741 * [backup-simplify]: Simplify 1 into 1
4.742 * [backup-simplify]: Simplify (/ 1 1) into 1
4.743 * [backup-simplify]: Simplify (+ (pow (sqrt 0.12) 2) 0) into (pow (sqrt 0.12) 2)
4.743 * [backup-simplify]: Simplify (pow (sqrt 0.12) 2) into (pow (sqrt 0.12) 2)
4.744 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (* 0 (sqrt 0.12))) into 0
4.744 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
4.745 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)))) into 0
4.745 * [backup-simplify]: Simplify (* 0.253 1) into 0.253
4.746 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
4.746 * [backup-simplify]: Simplify (+ 0 (- 0.253)) into (- 0.253)
4.746 * [backup-simplify]: Simplify (- 0.253) into (- 0.253)
4.747 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt 0.12))) into 0
4.748 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (* 0 (sqrt 0.12)))) into 0
4.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
4.749 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.750 * [backup-simplify]: Simplify (+ (* 0.253 0) (* 0 1)) into 0
4.750 * [backup-simplify]: Simplify (- 0) into 0
4.750 * [backup-simplify]: Simplify (+ 0 0) into 0
4.750 * [backup-simplify]: Simplify 0 into 0
4.751 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.752 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))) into 0
4.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.753 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.754 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (* 0 1))) into 0
4.754 * [backup-simplify]: Simplify (- 0) into 0
4.754 * [backup-simplify]: Simplify (+ 0 0) into 0
4.755 * [backup-simplify]: Simplify 0 into 0
4.755 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.756 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))) into 0
4.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.758 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (pow (sqrt 0.12) 2) (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.759 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
4.759 * [backup-simplify]: Simplify (- 0) into 0
4.759 * [backup-simplify]: Simplify (+ 0 0) into 0
4.759 * [backup-simplify]: Simplify 0 into 0
4.760 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.761 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))) into 0
4.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.762 * [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
4.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.763 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
4.764 * [backup-simplify]: Simplify (- 0) into 0
4.764 * [backup-simplify]: Simplify (+ 0 0) into 0
4.764 * [backup-simplify]: Simplify 0 into 0
4.765 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.766 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12)))))))) into 0
4.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.767 * [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
4.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.770 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
4.770 * [backup-simplify]: Simplify (- 0) into 0
4.770 * [backup-simplify]: Simplify (+ 0 0) into 0
4.770 * [backup-simplify]: Simplify 0 into 0
4.772 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)) (* 2 (* 0 0)) (* 2 (* 0 0)))) (* 2 (sqrt 0.12))) into 0
4.773 * [backup-simplify]: Simplify (+ (* (sqrt 0.12) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (sqrt 0.12))))))))) into 0
4.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
4.777 * [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)) (* 0 (/ 0 1)))) into 0
4.778 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.779 * [backup-simplify]: Simplify (+ (* 0.253 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
4.780 * [backup-simplify]: Simplify (- 0) into 0
4.780 * [backup-simplify]: Simplify (+ 0 0) into 0
4.780 * [backup-simplify]: Simplify 0 into 0
4.782 * [backup-simplify]: Simplify (+ (* (- 0.253) (/ 1 (/ 1 (- x)))) (* (pow (sqrt 0.12) 2) (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
4.782 * * * [progress]: simplifying candidates
4.784 * [simplify]: Simplifying:
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (+ 1 1)
  (* (* 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 (sqrt 0.12)) (* x (sqrt 0.12)))
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log x) (log (sqrt 0.12))) (+ (log x) (log (sqrt 0.12))))
  (+ (+ (log x) (log (sqrt 0.12))) (log (* x (sqrt 0.12))))
  (+ (log (* x (sqrt 0.12))) (+ (log x) (log (sqrt 0.12))))
  (+ (log (* x (sqrt 0.12))) (log (* x (sqrt 0.12))))
  (log (* (* x (sqrt 0.12)) (* x (sqrt 0.12))))
  (exp (* (* x (sqrt 0.12)) (* x (sqrt 0.12))))
  (* (* (* (* x x) x) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))) (* (* (* x x) x) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12))))
  (* (* (* (* x x) x) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 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) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 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))))
  (* (cbrt (* (* x (sqrt 0.12)) (* x (sqrt 0.12)))) (cbrt (* (* x (sqrt 0.12)) (* x (sqrt 0.12)))))
  (cbrt (* (* 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 (sqrt 0.12)) (* x (sqrt 0.12))))
  (sqrt (* (* x (sqrt 0.12)) (* x (sqrt 0.12))))
  (sqrt (* (* x (sqrt 0.12)) (* x (sqrt 0.12))))
  (* x x)
  (* (sqrt 0.12) (sqrt 0.12))
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* 2 1)
  (* (* x (sqrt 0.12)) x)
  (* (sqrt 0.12) (* x (sqrt 0.12)))
  (* x (sqrt 0.12))
  (+ (log x) (log (sqrt 0.12)))
  (log (* x (sqrt 0.12)))
  (exp (* x (sqrt 0.12)))
  (* (* (* x x) x) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))
  (* (cbrt (* x (sqrt 0.12))) (cbrt (* x (sqrt 0.12))))
  (cbrt (* x (sqrt 0.12)))
  (* (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) (* x (sqrt 0.12)))
  (sqrt (* x (sqrt 0.12)))
  (sqrt (* x (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* x (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12))))
  (* x (sqrt (* (cbrt 0.12) (cbrt 0.12))))
  (* x (sqrt (sqrt 0.12)))
  (* x (sqrt 1))
  (* x (sqrt (sqrt 0.12)))
  (* x 1)
  (* (cbrt x) (sqrt 0.12))
  (* (sqrt x) (sqrt 0.12))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (+ (log x) (log (sqrt 0.12)))
  (log (* x (sqrt 0.12)))
  (exp (* x (sqrt 0.12)))
  (* (* (* x x) x) (* (* (sqrt 0.12) (sqrt 0.12)) (sqrt 0.12)))
  (* (cbrt (* x (sqrt 0.12))) (cbrt (* x (sqrt 0.12))))
  (cbrt (* x (sqrt 0.12)))
  (* (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) (* x (sqrt 0.12)))
  (sqrt (* x (sqrt 0.12)))
  (sqrt (* x (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* x (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12))))
  (* x (sqrt (* (cbrt 0.12) (cbrt 0.12))))
  (* x (sqrt (sqrt 0.12)))
  (* x (sqrt 1))
  (* x (sqrt (sqrt 0.12)))
  (* x 1)
  (* (cbrt x) (sqrt 0.12))
  (* (sqrt x) (sqrt 0.12))
  (* x (sqrt 0.12))
  (* (exp (* x 0.253)) (exp (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)))
  (log (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)))
  (exp (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)))
  (* (cbrt (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))) (cbrt (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))))
  (cbrt (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)))
  (* (* (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)) (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))) (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)))
  (sqrt (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)))
  (sqrt (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)))
  (+ (pow (* x 0.253) 3) (pow (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1) 3))
  (+ (* (* x 0.253) (* x 0.253)) (- (* (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)) (* (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))))
  (- (* (* x 0.253) (* x 0.253)) (* (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1)))
  (- (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))
  (* (pow x 2) (pow (sqrt 0.12) 2))
  (* (pow x 2) (pow (sqrt 0.12) 2))
  (* (pow x 2) (pow (sqrt 0.12) 2))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (* x (sqrt 0.12))
  (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
  (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
  (+ (* 0.253 x) (* (pow x 2) (pow (sqrt 0.12) 2)))
4.786 * * [simplify]: iteration 0: 87 enodes
4.825 * * [simplify]: iteration 1: 246 enodes
4.992 * * [simplify]: iteration 2: 1233 enodes
5.435 * * [simplify]: iteration complete: 5001 enodes
5.435 * * [simplify]: Extracting #0: cost 41 inf + 0
5.436 * * [simplify]: Extracting #1: cost 717 inf + 6
5.448 * * [simplify]: Extracting #2: cost 1524 inf + 1653
5.460 * * [simplify]: Extracting #3: cost 956 inf + 8150
5.473 * * [simplify]: Extracting #4: cost 187 inf + 15511
5.486 * * [simplify]: Extracting #5: cost 17 inf + 18210
5.499 * * [simplify]: Extracting #6: cost 3 inf + 18428
5.513 * * [simplify]: Extracting #7: cost 0 inf + 18449
5.529 * [simplify]: Simplified to:
  2
  2
  2
  2
  (* x (* 0.12 x))
  (* x (* 0.12 x))
  (* x (* 0.12 x))
  (* x (* 0.12 x))
  2
  2
  (log (* x (* 0.12 x)))
  (log (* x (* 0.12 x)))
  (log (* x (* 0.12 x)))
  (log (* x (* 0.12 x)))
  (log (* x (* 0.12 x)))
  (pow (exp x) (* 0.12 x))
  (* (* (pow x (* 2 3)) 0.12) (* 0.12 0.12))
  (* (* (* x (* 0.12 x)) x) (* 0.12 (* 0.12 (pow x 3))))
  (* (* (* x (* 0.12 x)) x) (* 0.12 (* 0.12 (pow x 3))))
  (pow (* x (* 0.12 x)) 3)
  (* (cbrt (* x (* 0.12 x))) (cbrt (* x (* 0.12 x))))
  (cbrt (* x (* 0.12 x)))
  (pow (* x (* 0.12 x)) 3)
  (fabs (* (sqrt 0.12) x))
  (fabs (* (sqrt 0.12) x))
  (* x x)
  0.12
  2
  2
  2
  2
  (* (* x x) (sqrt 0.12))
  (* 0.12 x)
  (* (sqrt 0.12) x)
  (log (* (sqrt 0.12) x))
  (log (* (sqrt 0.12) x))
  (pow (exp x) (sqrt 0.12))
  (* (* (pow x 3) 0.12) (sqrt 0.12))
  (* (cbrt (* (sqrt 0.12) x)) (cbrt (* (sqrt 0.12) x)))
  (cbrt (* (sqrt 0.12) x))
  (pow (* (sqrt 0.12) x) 3)
  (sqrt (* (sqrt 0.12) x))
  (sqrt (* (sqrt 0.12) x))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12))) x)
  (* (fabs (cbrt 0.12)) x)
  (* (sqrt (sqrt 0.12)) x)
  x
  (* (sqrt (sqrt 0.12)) x)
  x
  (* (sqrt 0.12) (cbrt x))
  (* (sqrt x) (sqrt 0.12))
  (* (sqrt 0.12) x)
  (* (sqrt 0.12) x)
  (log (* (sqrt 0.12) x))
  (log (* (sqrt 0.12) x))
  (pow (exp x) (sqrt 0.12))
  (* (* (pow x 3) 0.12) (sqrt 0.12))
  (* (cbrt (* (sqrt 0.12) x)) (cbrt (* (sqrt 0.12) x)))
  (cbrt (* (sqrt 0.12) x))
  (pow (* (sqrt 0.12) x) 3)
  (sqrt (* (sqrt 0.12) x))
  (sqrt (* (sqrt 0.12) x))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (sqrt x) (sqrt (sqrt 0.12)))
  (* (* (cbrt (sqrt 0.12)) (cbrt (sqrt 0.12))) x)
  (* (fabs (cbrt 0.12)) x)
  (* (sqrt (sqrt 0.12)) x)
  x
  (* (sqrt (sqrt 0.12)) x)
  x
  (* (sqrt 0.12) (cbrt x))
  (* (sqrt x) (sqrt 0.12))
  (* (sqrt 0.12) x)
  (exp (* x (+ 0.253 (* 0.12 x))))
  (log (* x (+ 0.253 (* 0.12 x))))
  (exp (* x (+ 0.253 (* 0.12 x))))
  (* (cbrt (* x (+ 0.253 (* 0.12 x)))) (cbrt (* x (+ 0.253 (* 0.12 x)))))
  (cbrt (* x (+ 0.253 (* 0.12 x))))
  (pow (* x (+ 0.253 (* 0.12 x))) 3)
  (sqrt (* x (+ 0.253 (* 0.12 x))))
  (sqrt (* x (+ 0.253 (* 0.12 x))))
  (+ (pow (* x (* 0.12 x)) 3) (pow (* 0.253 x) 3))
  (+ (pow (* x (* 0.12 x)) 2) (* (* 0.253 x) (* x (- 0.253 (* 0.12 x)))))
  (* (* x (+ 0.253 (* 0.12 x))) (* x (- 0.253 (* 0.12 x))))
  (* x (- 0.253 (* 0.12 x)))
  (* (* 0.12 x) x)
  (* (* 0.12 x) x)
  (* (* 0.12 x) 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 (+ (* 0.12 x) 0.253))
  (* x (+ (* 0.12 x) 0.253))
  (* x (+ (* 0.12 x) 0.253))
5.530 * * * [progress]: adding candidates to table
5.880 * [progress]: [Phase 3 of 3] Extracting.
5.880 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x 0.12) x))))> #<alt (λ (x) (- 1.0 (* x (* (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))))> #<alt (λ (x) (- 1.0 (/ (* (+ (pow (* x 0.12) 3) (pow 0.253 3)) x) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (/ (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) x) (- 0.253 (* x 0.12)))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x x) 0.12) 1))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* (* (cbrt (* (sqrt 0.12) x)) (cbrt (* (sqrt 0.12) x))) (cbrt (* (sqrt 0.12) x))) (* x (sqrt 0.12))) 1))))>)
5.881 * * * [regime-changes]: Trying 1 branch expressions: (x)
5.881 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- 1.0 (+ (* x 0.253) (* (* x 0.12) x))))> #<alt (λ (x) (- 1.0 (* x (* (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))) (cbrt (+ 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x (sqrt 0.12)) (* x (sqrt 0.12))) 1))))> #<alt (λ (x) (- 1.0 (/ (* (+ (pow (* x 0.12) 3) (pow 0.253 3)) x) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (/ (* (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))) x) (- 0.253 (* x 0.12)))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* x x) 0.12) 1))))> #<alt (λ (x) (- 1.0 (+ (* x 0.253) (pow (* (* (* (cbrt (* (sqrt 0.12) x)) (cbrt (* (sqrt 0.12) x))) (cbrt (* (sqrt 0.12) x))) (* x (sqrt 0.12))) 1))))>)
5.928 * * * [regime]: Found split indices: #<option (#s(si 5 255))>
5.928 * [simplify]: Simplifying:
  (- 1.0 (+ (* x 0.253) (pow (* (* x x) 0.12) 1)))
5.928 * * [simplify]: iteration 0: 11 enodes
5.929 * * [simplify]: iteration 1: 16 enodes
5.930 * * [simplify]: iteration complete: 16 enodes
5.930 * * [simplify]: Extracting #0: cost 1 inf + 0
5.930 * * [simplify]: Extracting #1: cost 3 inf + 0
5.930 * * [simplify]: Extracting #2: cost 4 inf + 1
5.930 * * [simplify]: Extracting #3: cost 9 inf + 1
5.930 * * [simplify]: Extracting #4: cost 0 inf + 36
5.930 * [simplify]: Simplified to:
  (- 1.0 (+ (* 0.253 x) (* (* x x) 0.12)))
7.299 * [regime-testing]: Baseline error score: 0.12066132329059162
7.303 * [regime-testing]: Oracle error score: 0.010574442117854877
7.311 * [regime-testing]: End program error score: 0.12066132329059162