1.002 * [progress]: [Phase 1 of 3] Setting up.
0.004 * * * [progress]: [1/2] Preparing points
0.242 * * * [progress]: [2/2] Setting up program.
0.247 * [progress]: [Phase 2 of 3] Improving.
0.252 * [simplify]: Simplifying:
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
2.614 * * [progress]: iteration 1 / 4
2.614 * * * [progress]: picking best candidate
2.617 * * * * [pick]: Picked  #<alt (λ (x) (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))>
2.617 * * * [progress]: localizing error
2.634 * * * [progress]: generating rewritten candidates
2.635 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2)
2.787 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 2)
2.807 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.823 * * * [progress]: generating series expansions
2.823 * * * * [progress]: [ 1 / 3 ] generating series at (2 2)
2.827 * [backup-simplify]: Simplify (* 0.12900613773279798 (* (* x x) x)) into (* 0.12900613773279798 (pow x 3))
2.827 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0
2.828 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
2.828 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.828 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.828 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.828 * [taylor]: Taking taylor expansion of x in x
2.828 * [backup-simplify]: Simplify 0 into 0
2.828 * [backup-simplify]: Simplify 1 into 1
2.828 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
2.828 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.828 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.828 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.829 * [taylor]: Taking taylor expansion of x in x
2.829 * [backup-simplify]: Simplify 0 into 0
2.829 * [backup-simplify]: Simplify 1 into 1
2.830 * [backup-simplify]: Simplify (* 1 1) into 1
2.830 * [backup-simplify]: Simplify (* 1 1) into 1
2.831 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
2.831 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.831 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.832 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.832 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
2.832 * [backup-simplify]: Simplify 0 into 0
2.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.834 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
2.834 * [backup-simplify]: Simplify 0 into 0
2.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.836 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.836 * [backup-simplify]: Simplify 0 into 0
2.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.838 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.838 * [backup-simplify]: Simplify 0 into 0
2.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.840 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.840 * [backup-simplify]: Simplify 0 into 0
2.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.843 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.843 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3))
2.843 * [backup-simplify]: Simplify (* 0.12900613773279798 (* (* (/ 1 x) (/ 1 x)) (/ 1 x))) into (/ 0.12900613773279798 (pow x 3))
2.843 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0
2.843 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x
2.843 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.843 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.843 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.843 * [taylor]: Taking taylor expansion of x in x
2.843 * [backup-simplify]: Simplify 0 into 0
2.843 * [backup-simplify]: Simplify 1 into 1
2.844 * [backup-simplify]: Simplify (* 1 1) into 1
2.844 * [backup-simplify]: Simplify (* 1 1) into 1
2.844 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
2.844 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x
2.844 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.844 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.844 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.844 * [taylor]: Taking taylor expansion of x in x
2.844 * [backup-simplify]: Simplify 0 into 0
2.844 * [backup-simplify]: Simplify 1 into 1
2.845 * [backup-simplify]: Simplify (* 1 1) into 1
2.845 * [backup-simplify]: Simplify (* 1 1) into 1
2.845 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
2.845 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.847 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0
2.847 * [backup-simplify]: Simplify 0 into 0
2.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.848 * [backup-simplify]: Simplify 0 into 0
2.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.850 * [backup-simplify]: Simplify 0 into 0
2.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.852 * [backup-simplify]: Simplify 0 into 0
2.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.854 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.854 * [backup-simplify]: Simplify 0 into 0
2.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.856 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.856 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.856 * [backup-simplify]: Simplify 0 into 0
2.856 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 3)) into (* 0.12900613773279798 (pow x 3))
2.857 * [backup-simplify]: Simplify (* 0.12900613773279798 (* (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x)))) into (/ -0.12900613773279798 (pow x 3))
2.857 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0
2.857 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x
2.857 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x
2.857 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
2.857 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.857 * [taylor]: Taking taylor expansion of x in x
2.857 * [backup-simplify]: Simplify 0 into 0
2.857 * [backup-simplify]: Simplify 1 into 1
2.858 * [backup-simplify]: Simplify (* 1 1) into 1
2.858 * [backup-simplify]: Simplify (* 1 1) into 1
2.859 * [backup-simplify]: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798
2.859 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x
2.859 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x
2.859 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
2.859 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.859 * [taylor]: Taking taylor expansion of x in x
2.859 * [backup-simplify]: Simplify 0 into 0
2.859 * [backup-simplify]: Simplify 1 into 1
2.859 * [backup-simplify]: Simplify (* 1 1) into 1
2.860 * [backup-simplify]: Simplify (* 1 1) into 1
2.860 * [backup-simplify]: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798
2.860 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
2.861 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.861 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.862 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)))) into 0
2.862 * [backup-simplify]: Simplify 0 into 0
2.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.865 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.865 * [backup-simplify]: Simplify 0 into 0
2.866 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.868 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.868 * [backup-simplify]: Simplify 0 into 0
2.869 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.871 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.872 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.872 * [backup-simplify]: Simplify 0 into 0
2.873 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.875 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.875 * [backup-simplify]: Simplify 0 into 0
2.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.878 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify (* -0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3)) into (* 0.12900613773279798 (pow x 3))
2.879 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 2)
2.879 * [backup-simplify]: Simplify (* (* x x) x) into (pow x 3)
2.879 * [approximate]: Taking taylor expansion of (pow x 3) in (x) around 0
2.879 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.879 * [taylor]: Taking taylor expansion of x in x
2.879 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify 1 into 1
2.879 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.879 * [taylor]: Taking taylor expansion of x in x
2.879 * [backup-simplify]: Simplify 0 into 0
2.879 * [backup-simplify]: Simplify 1 into 1
2.879 * [backup-simplify]: Simplify (* 1 1) into 1
2.879 * [backup-simplify]: Simplify (* 1 1) into 1
2.879 * [backup-simplify]: Simplify 1 into 1
2.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.880 * [backup-simplify]: Simplify 0 into 0
2.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.881 * [backup-simplify]: Simplify 0 into 0
2.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.883 * [backup-simplify]: Simplify 0 into 0
2.883 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.884 * [backup-simplify]: Simplify 0 into 0
2.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.885 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.885 * [backup-simplify]: Simplify 0 into 0
2.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.887 * [backup-simplify]: Simplify 0 into 0
2.887 * [backup-simplify]: Simplify (* 1 (pow x 3)) into (pow x 3)
2.887 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) (/ 1 x)) into (/ 1 (pow x 3))
2.887 * [approximate]: Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0
2.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.887 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.887 * [taylor]: Taking taylor expansion of x in x
2.887 * [backup-simplify]: Simplify 0 into 0
2.887 * [backup-simplify]: Simplify 1 into 1
2.888 * [backup-simplify]: Simplify (* 1 1) into 1
2.888 * [backup-simplify]: Simplify (* 1 1) into 1
2.888 * [backup-simplify]: Simplify (/ 1 1) into 1
2.888 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.888 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.888 * [taylor]: Taking taylor expansion of x in x
2.888 * [backup-simplify]: Simplify 0 into 0
2.888 * [backup-simplify]: Simplify 1 into 1
2.889 * [backup-simplify]: Simplify (* 1 1) into 1
2.889 * [backup-simplify]: Simplify (* 1 1) into 1
2.889 * [backup-simplify]: Simplify (/ 1 1) into 1
2.889 * [backup-simplify]: Simplify 1 into 1
2.890 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.890 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.891 * [backup-simplify]: Simplify 0 into 0
2.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.892 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.892 * [backup-simplify]: Simplify 0 into 0
2.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.894 * [backup-simplify]: Simplify 0 into 0
2.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.895 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.896 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.896 * [backup-simplify]: Simplify 0 into 0
2.896 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.898 * [backup-simplify]: Simplify 0 into 0
2.898 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.900 * [backup-simplify]: Simplify 0 into 0
2.900 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 x)) 3)) into (pow x 3)
2.900 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x))) into (/ -1 (pow x 3))
2.900 * [approximate]: Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0
2.900 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x
2.900 * [taylor]: Taking taylor expansion of -1 in x
2.900 * [backup-simplify]: Simplify -1 into -1
2.900 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.900 * [taylor]: Taking taylor expansion of x in x
2.900 * [backup-simplify]: Simplify 0 into 0
2.900 * [backup-simplify]: Simplify 1 into 1
2.901 * [backup-simplify]: Simplify (* 1 1) into 1
2.901 * [backup-simplify]: Simplify (* 1 1) into 1
2.901 * [backup-simplify]: Simplify (/ -1 1) into -1
2.901 * [taylor]: Taking taylor expansion of (/ -1 (pow x 3)) in x
2.901 * [taylor]: Taking taylor expansion of -1 in x
2.901 * [backup-simplify]: Simplify -1 into -1
2.901 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.901 * [taylor]: Taking taylor expansion of x in x
2.901 * [backup-simplify]: Simplify 0 into 0
2.901 * [backup-simplify]: Simplify 1 into 1
2.901 * [backup-simplify]: Simplify (* 1 1) into 1
2.902 * [backup-simplify]: Simplify (* 1 1) into 1
2.902 * [backup-simplify]: Simplify (/ -1 1) into -1
2.902 * [backup-simplify]: Simplify -1 into -1
2.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.903 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.903 * [backup-simplify]: Simplify 0 into 0
2.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.904 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.905 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.905 * [backup-simplify]: Simplify 0 into 0
2.905 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.907 * [backup-simplify]: Simplify 0 into 0
2.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.908 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.908 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.908 * [backup-simplify]: Simplify 0 into 0
2.909 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.912 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.912 * [backup-simplify]: Simplify 0 into 0
2.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.926 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.926 * [backup-simplify]: Simplify 0 into 0
2.927 * [backup-simplify]: Simplify (* -1 (pow (/ 1 (/ 1 (- x))) 3)) into (pow x 3)
2.927 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.929 * [backup-simplify]: Simplify (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
2.929 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in (x) around 0
2.929 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x
2.929 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x
2.929 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.929 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
2.929 * [taylor]: Taking taylor expansion of x in x
2.929 * [backup-simplify]: Simplify 0 into 0
2.929 * [backup-simplify]: Simplify 1 into 1
2.929 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
2.929 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.929 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.929 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.929 * [taylor]: Taking taylor expansion of x in x
2.929 * [backup-simplify]: Simplify 0 into 0
2.929 * [backup-simplify]: Simplify 1 into 1
2.930 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x
2.930 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x
2.930 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.930 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
2.930 * [taylor]: Taking taylor expansion of x in x
2.930 * [backup-simplify]: Simplify 0 into 0
2.930 * [backup-simplify]: Simplify 1 into 1
2.930 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
2.930 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.930 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.930 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.930 * [taylor]: Taking taylor expansion of x in x
2.930 * [backup-simplify]: Simplify 0 into 0
2.930 * [backup-simplify]: Simplify 1 into 1
2.931 * [backup-simplify]: Simplify (* 0.954929658551372 0) into 0
2.932 * [backup-simplify]: Simplify (+ 0 0) into 0
2.932 * [backup-simplify]: Simplify 0 into 0
2.933 * [backup-simplify]: Simplify (+ (* 0.954929658551372 1) (* 0 0)) into 0.954929658551372
2.934 * [backup-simplify]: Simplify (+ 0.954929658551372 0) into 0.954929658551372
2.934 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
2.935 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 1) (* 0 0))) into 0
2.935 * [backup-simplify]: Simplify (+ 0 0) into 0
2.935 * [backup-simplify]: Simplify 0 into 0
2.936 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.937 * [backup-simplify]: Simplify (* 1 1) into 1
2.937 * [backup-simplify]: Simplify (* 1 1) into 1
2.938 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
2.938 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
2.939 * [backup-simplify]: Simplify (+ 0 (- 0.12900613773279798)) into (- 0.12900613773279798)
2.939 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
2.941 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.941 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.942 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.943 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
2.943 * [backup-simplify]: Simplify (- 0) into 0
2.943 * [backup-simplify]: Simplify (+ 0 0) into 0
2.943 * [backup-simplify]: Simplify 0 into 0
2.945 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.946 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.948 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
2.948 * [backup-simplify]: Simplify (- 0) into 0
2.948 * [backup-simplify]: Simplify (+ 0 0) into 0
2.948 * [backup-simplify]: Simplify 0 into 0
2.950 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.953 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.954 * [backup-simplify]: Simplify (- 0) into 0
2.954 * [backup-simplify]: Simplify (+ 0 0) into 0
2.954 * [backup-simplify]: Simplify 0 into 0
2.956 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.960 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.960 * [backup-simplify]: Simplify (- 0) into 0
2.961 * [backup-simplify]: Simplify (+ 0 0) into 0
2.961 * [backup-simplify]: Simplify 0 into 0
2.963 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
2.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.967 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.967 * [backup-simplify]: Simplify (- 0) into 0
2.968 * [backup-simplify]: Simplify (+ 0 0) into 0
2.968 * [backup-simplify]: Simplify 0 into 0
2.970 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0
2.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.972 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.972 * [backup-simplify]: Simplify (- 0) into 0
2.973 * [backup-simplify]: Simplify (+ 0 0) into 0
2.973 * [backup-simplify]: Simplify 0 into 0
2.973 * [backup-simplify]: Simplify (+ (* (- 0.12900613773279798) (pow x 3)) (* 0.954929658551372 x)) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
2.973 * [backup-simplify]: Simplify (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (* (* (/ 1 x) (/ 1 x)) (/ 1 x)))) into (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3))))
2.974 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in (x) around 0
2.974 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x
2.974 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
2.974 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.974 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
2.974 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.974 * [taylor]: Taking taylor expansion of x in x
2.974 * [backup-simplify]: Simplify 0 into 0
2.974 * [backup-simplify]: Simplify 1 into 1
2.974 * [backup-simplify]: Simplify (/ 1 1) into 1
2.974 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
2.974 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.974 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.974 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.974 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.974 * [taylor]: Taking taylor expansion of x in x
2.974 * [backup-simplify]: Simplify 0 into 0
2.974 * [backup-simplify]: Simplify 1 into 1
2.974 * [backup-simplify]: Simplify (* 1 1) into 1
2.975 * [backup-simplify]: Simplify (* 1 1) into 1
2.975 * [backup-simplify]: Simplify (/ 1 1) into 1
2.975 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x
2.975 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
2.975 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
2.975 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
2.975 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.975 * [taylor]: Taking taylor expansion of x in x
2.975 * [backup-simplify]: Simplify 0 into 0
2.975 * [backup-simplify]: Simplify 1 into 1
2.975 * [backup-simplify]: Simplify (/ 1 1) into 1
2.975 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
2.975 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
2.975 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
2.975 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.975 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.975 * [taylor]: Taking taylor expansion of x in x
2.975 * [backup-simplify]: Simplify 0 into 0
2.975 * [backup-simplify]: Simplify 1 into 1
2.976 * [backup-simplify]: Simplify (* 1 1) into 1
2.976 * [backup-simplify]: Simplify (* 1 1) into 1
2.976 * [backup-simplify]: Simplify (/ 1 1) into 1
2.976 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
2.977 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
2.977 * [backup-simplify]: Simplify (+ 0 (- 0.12900613773279798)) into (- 0.12900613773279798)
2.977 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
2.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.978 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.979 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.979 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
2.979 * [backup-simplify]: Simplify (- 0) into 0
2.980 * [backup-simplify]: Simplify (+ 0 0) into 0
2.980 * [backup-simplify]: Simplify 0 into 0
2.980 * [backup-simplify]: Simplify (* 0.954929658551372 1) into 0.954929658551372
2.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.982 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.982 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
2.982 * [backup-simplify]: Simplify (- 0) into 0
2.983 * [backup-simplify]: Simplify (+ 0.954929658551372 0) into 0.954929658551372
2.983 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
2.983 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.983 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (* 0 1)) into 0
2.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.985 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.985 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.986 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.986 * [backup-simplify]: Simplify (- 0) into 0
2.986 * [backup-simplify]: Simplify (+ 0 0) into 0
2.986 * [backup-simplify]: Simplify 0 into 0
2.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.987 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (* 0 1))) into 0
2.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.990 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.991 * [backup-simplify]: Simplify (- 0) into 0
2.991 * [backup-simplify]: Simplify (+ 0 0) into 0
2.991 * [backup-simplify]: Simplify 0 into 0
2.991 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.992 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.994 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.995 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.995 * [backup-simplify]: Simplify (- 0) into 0
2.995 * [backup-simplify]: Simplify (+ 0 0) into 0
2.995 * [backup-simplify]: Simplify 0 into 0
2.996 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.996 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.000 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.002 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.002 * [backup-simplify]: Simplify (- 0) into 0
3.003 * [backup-simplify]: Simplify (+ 0 0) into 0
3.003 * [backup-simplify]: Simplify 0 into 0
3.004 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.005 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.009 * [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.011 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.012 * [backup-simplify]: Simplify (- 0) into 0
3.012 * [backup-simplify]: Simplify (+ 0 0) into 0
3.012 * [backup-simplify]: Simplify 0 into 0
3.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.015 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.022 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.022 * [backup-simplify]: Simplify (- 0) into 0
3.023 * [backup-simplify]: Simplify (+ 0 0) into 0
3.023 * [backup-simplify]: Simplify 0 into 0
3.024 * [backup-simplify]: Simplify (+ (* 0.954929658551372 (/ 1 (/ 1 x))) (* (- 0.12900613773279798) (pow (/ 1 (/ 1 x)) 3))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
3.024 * [backup-simplify]: Simplify (- (* 0.954929658551372 (/ 1 (- x))) (* 0.12900613773279798 (* (* (/ 1 (- x)) (/ 1 (- x))) (/ 1 (- x))))) into (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x)))
3.024 * [approximate]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in (x) around 0
3.024 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x
3.024 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
3.024 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
3.024 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
3.024 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.024 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.024 * [taylor]: Taking taylor expansion of x in x
3.024 * [backup-simplify]: Simplify 0 into 0
3.024 * [backup-simplify]: Simplify 1 into 1
3.025 * [backup-simplify]: Simplify (* 1 1) into 1
3.025 * [backup-simplify]: Simplify (* 1 1) into 1
3.026 * [backup-simplify]: Simplify (/ 1 1) into 1
3.026 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
3.026 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
3.026 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
3.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.026 * [taylor]: Taking taylor expansion of x in x
3.026 * [backup-simplify]: Simplify 0 into 0
3.026 * [backup-simplify]: Simplify 1 into 1
3.026 * [backup-simplify]: Simplify (/ 1 1) into 1
3.026 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x
3.026 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
3.026 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
3.026 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
3.026 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.026 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.026 * [taylor]: Taking taylor expansion of x in x
3.026 * [backup-simplify]: Simplify 0 into 0
3.026 * [backup-simplify]: Simplify 1 into 1
3.027 * [backup-simplify]: Simplify (* 1 1) into 1
3.027 * [backup-simplify]: Simplify (* 1 1) into 1
3.028 * [backup-simplify]: Simplify (/ 1 1) into 1
3.028 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
3.028 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
3.028 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
3.028 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.028 * [taylor]: Taking taylor expansion of x in x
3.028 * [backup-simplify]: Simplify 0 into 0
3.028 * [backup-simplify]: Simplify 1 into 1
3.028 * [backup-simplify]: Simplify (/ 1 1) into 1
3.029 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
3.029 * [backup-simplify]: Simplify (+ 0.12900613773279798 0) into 0.12900613773279798
3.029 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
3.030 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.030 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.031 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
3.031 * [backup-simplify]: Simplify (+ 0 0) into 0
3.031 * [backup-simplify]: Simplify 0 into 0
3.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.033 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
3.034 * [backup-simplify]: Simplify (* 0.954929658551372 1) into 0.954929658551372
3.034 * [backup-simplify]: Simplify (- 0.954929658551372) into (- 0.954929658551372)
3.034 * [backup-simplify]: Simplify (+ 0 (- 0.954929658551372)) into (- 0.954929658551372)
3.035 * [backup-simplify]: Simplify (- 0.954929658551372) into (- 0.954929658551372)
3.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.036 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.037 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.038 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (* 0 1)) into 0
3.038 * [backup-simplify]: Simplify (- 0) into 0
3.038 * [backup-simplify]: Simplify (+ 0 0) into 0
3.038 * [backup-simplify]: Simplify 0 into 0
3.039 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.041 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.047 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (* 0 1))) into 0
3.048 * [backup-simplify]: Simplify (- 0) into 0
3.048 * [backup-simplify]: Simplify (+ 0 0) into 0
3.048 * [backup-simplify]: Simplify 0 into 0
3.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.052 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.053 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.055 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.055 * [backup-simplify]: Simplify (- 0) into 0
3.055 * [backup-simplify]: Simplify (+ 0 0) into 0
3.055 * [backup-simplify]: Simplify 0 into 0
3.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.061 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.064 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.064 * [backup-simplify]: Simplify (- 0) into 0
3.064 * [backup-simplify]: Simplify (+ 0 0) into 0
3.064 * [backup-simplify]: Simplify 0 into 0
3.066 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.068 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.069 * [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.071 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.073 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.074 * [backup-simplify]: Simplify (- 0) into 0
3.074 * [backup-simplify]: Simplify (+ 0 0) 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 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.079 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
3.080 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.081 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.081 * [backup-simplify]: Simplify (- 0) into 0
3.081 * [backup-simplify]: Simplify (+ 0 0) into 0
3.081 * [backup-simplify]: Simplify 0 into 0
3.082 * [backup-simplify]: Simplify (+ (* (- 0.954929658551372) (/ 1 (/ 1 (- x)))) (* 0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
3.082 * * * [progress]: simplifying candidates
3.084 * [simplify]: Simplifying:
  (* 0.12900613773279798 (* (* x x) x))
  (* 0.12900613773279798 (* (* x x) x))
  (* 0.12900613773279798 (* (* x x) x))
  (+ (log 0.12900613773279798) (+ (+ (log x) (log x)) (log x)))
  (+ (log 0.12900613773279798) (+ (log (* x x)) (log x)))
  (+ (log 0.12900613773279798) (log (* (* x x) x)))
  (log (* 0.12900613773279798 (* (* x x) x)))
  (exp (* 0.12900613773279798 (* (* x x) x)))
  (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)))
  (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x)))
  (* (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798) (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x)))
  (* (cbrt (* 0.12900613773279798 (* (* x x) x))) (cbrt (* 0.12900613773279798 (* (* x x) x))))
  (cbrt (* 0.12900613773279798 (* (* x x) x)))
  (* (* (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x))) (* 0.12900613773279798 (* (* x x) x)))
  (sqrt (* 0.12900613773279798 (* (* x x) x)))
  (sqrt (* 0.12900613773279798 (* (* x x) x)))
  (* 0.12900613773279798 (* x x))
  (* (cbrt 0.12900613773279798) (* (* x x) x))
  (* (sqrt 0.12900613773279798) (* (* x x) x))
  (* 0.12900613773279798 (* (* x x) x))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (* (* x x) x)
  (* (* x x) x)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log x) (log x)) (log x))
  (+ (log (* x x)) (log x))
  (log (* (* x x) x))
  (exp (* (* x x) x))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* x x) x))
  (* (cbrt (* (* x x) x)) (cbrt (* (* x x) x)))
  (cbrt (* (* x x) x))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* x x) x))
  (sqrt (* (* x x) x))
  (sqrt (* (* x x) x))
  (* x (sqrt x))
  (* x (sqrt x))
  (* (* x x) (* (cbrt x) (cbrt x)))
  (* (* x x) (sqrt x))
  (* (* x x) 1)
  (* x x)
  (/ (exp (* 0.954929658551372 x)) (exp (* 0.12900613773279798 (* (* x x) x))))
  (log (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))
  (exp (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))
  (* (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))))
  (cbrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))
  (* (* (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))) (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))
  (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))
  (sqrt (- (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x))))
  (- (pow (* 0.954929658551372 x) 3) (pow (* 0.12900613773279798 (* (* x x) x)) 3))
  (+ (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (+ (* (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x))) (* (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))))
  (- (* 0.12900613773279798 (* (* x x) x)))
  (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* 0.12900613773279798 (* (* x x) x)) (* 0.12900613773279798 (* (* x x) x))))
  (+ (* 0.954929658551372 x) (* 0.12900613773279798 (* (* x x) x)))
  (- (* 0.12900613773279798 (* (* x x) x)))
  (* 0.12900613773279798 (pow x 3))
  (* 0.12900613773279798 (pow x 3))
  (* 0.12900613773279798 (pow x 3))
  (pow x 3)
  (pow x 3)
  (pow x 3)
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
5.936 * * * [progress]: adding candidates to table
6.058 * * [progress]: iteration 2 / 4
6.058 * * * [progress]: picking best candidate
6.065 * * * * [pick]: Picked  #<alt (λ (x) (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))>
6.065 * * * [progress]: localizing error
6.075 * * * [progress]: generating rewritten candidates
6.075 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
6.104 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.123 * * * [progress]: generating series expansions
6.123 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
6.124 * [backup-simplify]: Simplify (* (pow x 3) 0.12900613773279798) into (* 0.12900613773279798 (pow x 3))
6.124 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0
6.124 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
6.124 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.124 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.124 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.124 * [taylor]: Taking taylor expansion of x in x
6.124 * [backup-simplify]: Simplify 0 into 0
6.124 * [backup-simplify]: Simplify 1 into 1
6.124 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
6.124 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.124 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.124 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.124 * [taylor]: Taking taylor expansion of x in x
6.124 * [backup-simplify]: Simplify 0 into 0
6.124 * [backup-simplify]: Simplify 1 into 1
6.125 * [backup-simplify]: Simplify (* 1 1) into 1
6.125 * [backup-simplify]: Simplify (* 1 1) into 1
6.126 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
6.126 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.127 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.127 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.128 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
6.128 * [backup-simplify]: Simplify 0 into 0
6.129 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.131 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
6.131 * [backup-simplify]: Simplify 0 into 0
6.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.133 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.134 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.134 * [backup-simplify]: Simplify 0 into 0
6.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.138 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.138 * [backup-simplify]: Simplify 0 into 0
6.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.143 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.143 * [backup-simplify]: Simplify 0 into 0
6.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.146 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.148 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.148 * [backup-simplify]: Simplify 0 into 0
6.148 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3))
6.148 * [backup-simplify]: Simplify (* (pow (/ 1 x) 3) 0.12900613773279798) into (/ 0.12900613773279798 (pow x 3))
6.148 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0
6.148 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x
6.148 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.148 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.148 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.148 * [taylor]: Taking taylor expansion of x in x
6.149 * [backup-simplify]: Simplify 0 into 0
6.149 * [backup-simplify]: Simplify 1 into 1
6.149 * [backup-simplify]: Simplify (* 1 1) into 1
6.149 * [backup-simplify]: Simplify (* 1 1) into 1
6.150 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
6.150 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x
6.150 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.150 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.150 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.150 * [taylor]: Taking taylor expansion of x in x
6.150 * [backup-simplify]: Simplify 0 into 0
6.150 * [backup-simplify]: Simplify 1 into 1
6.150 * [backup-simplify]: Simplify (* 1 1) into 1
6.150 * [backup-simplify]: Simplify (* 1 1) into 1
6.150 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
6.151 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.151 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.151 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.152 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0
6.152 * [backup-simplify]: Simplify 0 into 0
6.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.154 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.154 * [backup-simplify]: Simplify 0 into 0
6.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.155 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.155 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.155 * [backup-simplify]: Simplify 0 into 0
6.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.157 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.157 * [backup-simplify]: Simplify 0 into 0
6.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.159 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.159 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.159 * [backup-simplify]: Simplify 0 into 0
6.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.162 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 3)) into (* 0.12900613773279798 (pow x 3))
6.162 * [backup-simplify]: Simplify (* (pow (/ 1 (- x)) 3) 0.12900613773279798) into (/ -0.12900613773279798 (pow x 3))
6.162 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0
6.162 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x
6.162 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x
6.162 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
6.162 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.162 * [taylor]: Taking taylor expansion of x in x
6.162 * [backup-simplify]: Simplify 0 into 0
6.162 * [backup-simplify]: Simplify 1 into 1
6.163 * [backup-simplify]: Simplify (* 1 1) into 1
6.163 * [backup-simplify]: Simplify (* 1 1) into 1
6.163 * [backup-simplify]: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798
6.163 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x
6.163 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x
6.163 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
6.163 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.163 * [taylor]: Taking taylor expansion of x in x
6.163 * [backup-simplify]: Simplify 0 into 0
6.163 * [backup-simplify]: Simplify 1 into 1
6.164 * [backup-simplify]: Simplify (* 1 1) into 1
6.164 * [backup-simplify]: Simplify (* 1 1) into 1
6.164 * [backup-simplify]: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798
6.164 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
6.165 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.165 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.166 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)))) into 0
6.166 * [backup-simplify]: Simplify 0 into 0
6.171 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.172 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.173 * [backup-simplify]: Simplify 0 into 0
6.173 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.174 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.175 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.175 * [backup-simplify]: Simplify 0 into 0
6.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.177 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.177 * [backup-simplify]: Simplify 0 into 0
6.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.181 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.181 * [backup-simplify]: Simplify 0 into 0
6.182 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.185 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.185 * [backup-simplify]: Simplify 0 into 0
6.185 * [backup-simplify]: Simplify (* -0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3)) into (* 0.12900613773279798 (pow x 3))
6.186 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.186 * [backup-simplify]: Simplify (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
6.186 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in (x) around 0
6.186 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x
6.186 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x
6.186 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
6.186 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
6.186 * [taylor]: Taking taylor expansion of x in x
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify 1 into 1
6.186 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
6.186 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.186 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.186 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.186 * [taylor]: Taking taylor expansion of x in x
6.186 * [backup-simplify]: Simplify 0 into 0
6.186 * [backup-simplify]: Simplify 1 into 1
6.186 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x
6.186 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x
6.187 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
6.187 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
6.187 * [taylor]: Taking taylor expansion of x in x
6.187 * [backup-simplify]: Simplify 0 into 0
6.187 * [backup-simplify]: Simplify 1 into 1
6.187 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
6.187 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.187 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.187 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.187 * [taylor]: Taking taylor expansion of x in x
6.187 * [backup-simplify]: Simplify 0 into 0
6.187 * [backup-simplify]: Simplify 1 into 1
6.187 * [backup-simplify]: Simplify (* 0.954929658551372 0) into 0
6.188 * [backup-simplify]: Simplify (+ 0 0) into 0
6.188 * [backup-simplify]: Simplify 0 into 0
6.189 * [backup-simplify]: Simplify (+ (* 0.954929658551372 1) (* 0 0)) into 0.954929658551372
6.190 * [backup-simplify]: Simplify (+ 0.954929658551372 0) into 0.954929658551372
6.190 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
6.191 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 1) (* 0 0))) into 0
6.192 * [backup-simplify]: Simplify (+ 0 0) into 0
6.192 * [backup-simplify]: Simplify 0 into 0
6.193 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.193 * [backup-simplify]: Simplify (* 1 1) into 1
6.194 * [backup-simplify]: Simplify (* 1 1) into 1
6.194 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
6.195 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
6.196 * [backup-simplify]: Simplify (+ 0 (- 0.12900613773279798)) into (- 0.12900613773279798)
6.196 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
6.197 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.198 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.198 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.198 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
6.199 * [backup-simplify]: Simplify (- 0) into 0
6.199 * [backup-simplify]: Simplify (+ 0 0) into 0
6.199 * [backup-simplify]: Simplify 0 into 0
6.200 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.201 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
6.202 * [backup-simplify]: Simplify (- 0) into 0
6.202 * [backup-simplify]: Simplify (+ 0 0) into 0
6.202 * [backup-simplify]: Simplify 0 into 0
6.203 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.204 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.204 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.205 * [backup-simplify]: Simplify (- 0) into 0
6.205 * [backup-simplify]: Simplify (+ 0 0) into 0
6.205 * [backup-simplify]: Simplify 0 into 0
6.206 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.208 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.208 * [backup-simplify]: Simplify (- 0) into 0
6.208 * [backup-simplify]: Simplify (+ 0 0) into 0
6.208 * [backup-simplify]: Simplify 0 into 0
6.210 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
6.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.212 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.212 * [backup-simplify]: Simplify (- 0) into 0
6.212 * [backup-simplify]: Simplify (+ 0 0) into 0
6.212 * [backup-simplify]: Simplify 0 into 0
6.214 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0
6.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.216 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.216 * [backup-simplify]: Simplify (- 0) into 0
6.217 * [backup-simplify]: Simplify (+ 0 0) into 0
6.217 * [backup-simplify]: Simplify 0 into 0
6.217 * [backup-simplify]: Simplify (+ (* (- 0.12900613773279798) (pow x 3)) (* 0.954929658551372 x)) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
6.217 * [backup-simplify]: Simplify (- (* 0.954929658551372 (/ 1 x)) (* (pow (/ 1 x) 3) 0.12900613773279798)) into (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3))))
6.217 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in (x) around 0
6.217 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x
6.217 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
6.217 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
6.217 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
6.217 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.217 * [taylor]: Taking taylor expansion of x in x
6.217 * [backup-simplify]: Simplify 0 into 0
6.217 * [backup-simplify]: Simplify 1 into 1
6.218 * [backup-simplify]: Simplify (/ 1 1) into 1
6.218 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
6.218 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.218 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.218 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.218 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.218 * [taylor]: Taking taylor expansion of x in x
6.218 * [backup-simplify]: Simplify 0 into 0
6.218 * [backup-simplify]: Simplify 1 into 1
6.218 * [backup-simplify]: Simplify (* 1 1) into 1
6.218 * [backup-simplify]: Simplify (* 1 1) into 1
6.219 * [backup-simplify]: Simplify (/ 1 1) into 1
6.219 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x
6.219 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
6.219 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
6.219 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
6.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.219 * [taylor]: Taking taylor expansion of x in x
6.219 * [backup-simplify]: Simplify 0 into 0
6.219 * [backup-simplify]: Simplify 1 into 1
6.219 * [backup-simplify]: Simplify (/ 1 1) into 1
6.219 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
6.219 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.219 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.219 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.219 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.219 * [taylor]: Taking taylor expansion of x in x
6.219 * [backup-simplify]: Simplify 0 into 0
6.219 * [backup-simplify]: Simplify 1 into 1
6.219 * [backup-simplify]: Simplify (* 1 1) into 1
6.220 * [backup-simplify]: Simplify (* 1 1) into 1
6.220 * [backup-simplify]: Simplify (/ 1 1) into 1
6.220 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
6.220 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
6.221 * [backup-simplify]: Simplify (+ 0 (- 0.12900613773279798)) into (- 0.12900613773279798)
6.221 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
6.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.222 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.223 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
6.223 * [backup-simplify]: Simplify (- 0) into 0
6.223 * [backup-simplify]: Simplify (+ 0 0) into 0
6.223 * [backup-simplify]: Simplify 0 into 0
6.224 * [backup-simplify]: Simplify (* 0.954929658551372 1) into 0.954929658551372
6.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.225 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.226 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
6.226 * [backup-simplify]: Simplify (- 0) into 0
6.227 * [backup-simplify]: Simplify (+ 0.954929658551372 0) into 0.954929658551372
6.227 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
6.228 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.228 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (* 0 1)) into 0
6.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.233 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.233 * [backup-simplify]: Simplify (- 0) into 0
6.233 * [backup-simplify]: Simplify (+ 0 0) into 0
6.233 * [backup-simplify]: Simplify 0 into 0
6.234 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.235 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (* 0 1))) into 0
6.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.239 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.240 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.240 * [backup-simplify]: Simplify (- 0) into 0
6.241 * [backup-simplify]: Simplify (+ 0 0) into 0
6.241 * [backup-simplify]: Simplify 0 into 0
6.241 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.242 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.244 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.245 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.245 * [backup-simplify]: Simplify (- 0) into 0
6.245 * [backup-simplify]: Simplify (+ 0 0) into 0
6.245 * [backup-simplify]: Simplify 0 into 0
6.246 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.247 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.250 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.250 * [backup-simplify]: Simplify (- 0) into 0
6.250 * [backup-simplify]: Simplify (+ 0 0) into 0
6.250 * [backup-simplify]: Simplify 0 into 0
6.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.252 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.254 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.255 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.255 * [backup-simplify]: Simplify (- 0) into 0
6.255 * [backup-simplify]: Simplify (+ 0 0) into 0
6.255 * [backup-simplify]: Simplify 0 into 0
6.256 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.257 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.259 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.261 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.261 * [backup-simplify]: Simplify (- 0) into 0
6.261 * [backup-simplify]: Simplify (+ 0 0) into 0
6.261 * [backup-simplify]: Simplify 0 into 0
6.262 * [backup-simplify]: Simplify (+ (* 0.954929658551372 (/ 1 (/ 1 x))) (* (- 0.12900613773279798) (pow (/ 1 (/ 1 x)) 3))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
6.262 * [backup-simplify]: Simplify (- (* 0.954929658551372 (/ 1 (- x))) (* (pow (/ 1 (- x)) 3) 0.12900613773279798)) into (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x)))
6.262 * [approximate]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in (x) around 0
6.262 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x
6.262 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
6.262 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.262 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.262 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.262 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.262 * [taylor]: Taking taylor expansion of x in x
6.262 * [backup-simplify]: Simplify 0 into 0
6.262 * [backup-simplify]: Simplify 1 into 1
6.262 * [backup-simplify]: Simplify (* 1 1) into 1
6.262 * [backup-simplify]: Simplify (* 1 1) into 1
6.263 * [backup-simplify]: Simplify (/ 1 1) into 1
6.263 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
6.263 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
6.263 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
6.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.263 * [taylor]: Taking taylor expansion of x in x
6.263 * [backup-simplify]: Simplify 0 into 0
6.263 * [backup-simplify]: Simplify 1 into 1
6.263 * [backup-simplify]: Simplify (/ 1 1) into 1
6.263 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x
6.263 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
6.263 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
6.263 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.263 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
6.263 * [taylor]: Taking taylor expansion of (pow x 3) in x
6.263 * [taylor]: Taking taylor expansion of x in x
6.263 * [backup-simplify]: Simplify 0 into 0
6.263 * [backup-simplify]: Simplify 1 into 1
6.264 * [backup-simplify]: Simplify (* 1 1) into 1
6.264 * [backup-simplify]: Simplify (* 1 1) into 1
6.264 * [backup-simplify]: Simplify (/ 1 1) into 1
6.264 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
6.264 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
6.264 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
6.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.264 * [taylor]: Taking taylor expansion of x in x
6.264 * [backup-simplify]: Simplify 0 into 0
6.264 * [backup-simplify]: Simplify 1 into 1
6.264 * [backup-simplify]: Simplify (/ 1 1) into 1
6.265 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
6.265 * [backup-simplify]: Simplify (+ 0.12900613773279798 0) into 0.12900613773279798
6.265 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
6.265 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.266 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.267 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
6.267 * [backup-simplify]: Simplify (+ 0 0) into 0
6.267 * [backup-simplify]: Simplify 0 into 0
6.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.269 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
6.270 * [backup-simplify]: Simplify (* 0.954929658551372 1) into 0.954929658551372
6.270 * [backup-simplify]: Simplify (- 0.954929658551372) into (- 0.954929658551372)
6.271 * [backup-simplify]: Simplify (+ 0 (- 0.954929658551372)) into (- 0.954929658551372)
6.271 * [backup-simplify]: Simplify (- 0.954929658551372) into (- 0.954929658551372)
6.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.280 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.280 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.281 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.282 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.282 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (* 0 1)) into 0
6.282 * [backup-simplify]: Simplify (- 0) into 0
6.283 * [backup-simplify]: Simplify (+ 0 0) into 0
6.283 * [backup-simplify]: Simplify 0 into 0
6.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.284 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.285 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.286 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (* 0 1))) into 0
6.287 * [backup-simplify]: Simplify (- 0) into 0
6.287 * [backup-simplify]: Simplify (+ 0 0) into 0
6.287 * [backup-simplify]: Simplify 0 into 0
6.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.289 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.290 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.290 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.291 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.291 * [backup-simplify]: Simplify (- 0) into 0
6.291 * [backup-simplify]: Simplify (+ 0 0) into 0
6.291 * [backup-simplify]: Simplify 0 into 0
6.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.294 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.295 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.296 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.296 * [backup-simplify]: Simplify (- 0) into 0
6.296 * [backup-simplify]: Simplify (+ 0 0) into 0
6.296 * [backup-simplify]: Simplify 0 into 0
6.297 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.300 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.302 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.303 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.304 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.305 * [backup-simplify]: Simplify (- 0) into 0
6.305 * [backup-simplify]: Simplify (+ 0 0) into 0
6.305 * [backup-simplify]: Simplify 0 into 0
6.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.310 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.312 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.313 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.314 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.315 * [backup-simplify]: Simplify (- 0) into 0
6.315 * [backup-simplify]: Simplify (+ 0 0) into 0
6.315 * [backup-simplify]: Simplify 0 into 0
6.316 * [backup-simplify]: Simplify (+ (* (- 0.954929658551372) (/ 1 (/ 1 (- x)))) (* 0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
6.316 * * * [progress]: simplifying candidates
6.318 * [simplify]: Simplifying:
  (+ (* (log x) 3) (log 0.12900613773279798))
  (+ (* (log x) 3) (log 0.12900613773279798))
  (+ (log (pow x 3)) (log 0.12900613773279798))
  (log (* (pow x 3) 0.12900613773279798))
  (exp (* (pow x 3) 0.12900613773279798))
  (* (* (* (pow x 3) (pow x 3)) (pow x 3)) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))
  (* (cbrt (* (pow x 3) 0.12900613773279798)) (cbrt (* (pow x 3) 0.12900613773279798)))
  (cbrt (* (pow x 3) 0.12900613773279798))
  (* (* (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798)) (* (pow x 3) 0.12900613773279798))
  (sqrt (* (pow x 3) 0.12900613773279798))
  (sqrt (* (pow x 3) 0.12900613773279798))
  (* (pow (sqrt x) 3) (sqrt 0.12900613773279798))
  (* (pow (sqrt x) 3) (sqrt 0.12900613773279798))
  (* (pow (sqrt x) 3) (sqrt 0.12900613773279798))
  (* (pow (sqrt x) 3) (sqrt 0.12900613773279798))
  (* (sqrt (pow x 3)) (sqrt 0.12900613773279798))
  (* (sqrt (pow x 3)) (sqrt 0.12900613773279798))
  (* (pow x (/ 3 2)) (sqrt 0.12900613773279798))
  (* (pow x (/ 3 2)) (sqrt 0.12900613773279798))
  (* (pow x 3) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798)))
  (* (pow x 3) (sqrt 0.12900613773279798))
  (* (pow x 3) 1)
  (* (pow (cbrt x) 3) 0.12900613773279798)
  (* (pow (sqrt x) 3) 0.12900613773279798)
  (* (pow x 3) 0.12900613773279798)
  (* x 0.12900613773279798)
  (* (cbrt (pow x 3)) 0.12900613773279798)
  (* (pow (cbrt x) 3) 0.12900613773279798)
  (* (pow (sqrt x) 3) 0.12900613773279798)
  (* (pow x 3) 0.12900613773279798)
  (* (* x x) 0.12900613773279798)
  (* (sqrt (pow x 3)) 0.12900613773279798)
  (* (pow x 3) 0.12900613773279798)
  (* (pow x (/ 3 2)) 0.12900613773279798)
  (/ (exp (* 0.954929658551372 x)) (exp (* (pow x 3) 0.12900613773279798)))
  (log (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))
  (exp (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))
  (* (cbrt (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798))) (cbrt (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798))))
  (cbrt (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))
  (* (* (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)) (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798))) (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))
  (sqrt (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))
  (sqrt (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))
  (- (pow (* 0.954929658551372 x) 3) (pow (* (pow x 3) 0.12900613773279798) 3))
  (+ (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (+ (* (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798)) (* (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798))))
  (- (* (pow x 3) 0.12900613773279798))
  (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* (pow x 3) 0.12900613773279798) (* (pow x 3) 0.12900613773279798)))
  (+ (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798))
  (- (* (pow x 3) 0.12900613773279798))
  (* 0.12900613773279798 (pow x 3))
  (* 0.12900613773279798 (pow x 3))
  (* 0.12900613773279798 (pow x 3))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
6.993 * * * [progress]: adding candidates to table
7.100 * * [progress]: iteration 3 / 4
7.101 * * * [progress]: picking best candidate
7.115 * * * * [pick]: Picked  #<alt (λ (x) (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))>
7.115 * * * [progress]: localizing error
7.131 * * * [progress]: generating rewritten candidates
7.131 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
7.169 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
7.223 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
7.233 * * * [progress]: generating series expansions
7.233 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
7.234 * [backup-simplify]: Simplify (* (* x x) 0.12900613773279798) into (* 0.12900613773279798 (pow x 2))
7.234 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in (x) around 0
7.234 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
7.234 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.234 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.234 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.234 * [taylor]: Taking taylor expansion of x in x
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 1 into 1
7.234 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
7.234 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.234 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.234 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.234 * [taylor]: Taking taylor expansion of x in x
7.234 * [backup-simplify]: Simplify 0 into 0
7.234 * [backup-simplify]: Simplify 1 into 1
7.235 * [backup-simplify]: Simplify (* 1 1) into 1
7.235 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
7.235 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.235 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.236 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
7.236 * [backup-simplify]: Simplify 0 into 0
7.236 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.237 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
7.237 * [backup-simplify]: Simplify 0 into 0
7.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.238 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.238 * [backup-simplify]: Simplify 0 into 0
7.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.240 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.240 * [backup-simplify]: Simplify 0 into 0
7.240 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.241 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.241 * [backup-simplify]: Simplify 0 into 0
7.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.243 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.243 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow x 2)) into (* 0.12900613773279798 (pow x 2))
7.243 * [backup-simplify]: Simplify (* (* (/ 1 x) (/ 1 x)) 0.12900613773279798) into (/ 0.12900613773279798 (pow x 2))
7.243 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0
7.243 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
7.243 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.243 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.243 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.243 * [taylor]: Taking taylor expansion of x in x
7.243 * [backup-simplify]: Simplify 0 into 0
7.243 * [backup-simplify]: Simplify 1 into 1
7.244 * [backup-simplify]: Simplify (* 1 1) into 1
7.244 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
7.244 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
7.244 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.244 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.244 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.244 * [taylor]: Taking taylor expansion of x in x
7.244 * [backup-simplify]: Simplify 0 into 0
7.244 * [backup-simplify]: Simplify 1 into 1
7.244 * [backup-simplify]: Simplify (* 1 1) into 1
7.245 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
7.245 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.245 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.246 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0
7.246 * [backup-simplify]: Simplify 0 into 0
7.247 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.248 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.248 * [backup-simplify]: Simplify 0 into 0
7.249 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.250 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.250 * [backup-simplify]: Simplify 0 into 0
7.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.252 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.253 * [backup-simplify]: Simplify 0 into 0
7.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.254 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.254 * [backup-simplify]: Simplify 0 into 0
7.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.255 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.255 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12900613773279798 (pow x 2))
7.256 * [backup-simplify]: Simplify (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12900613773279798) into (/ 0.12900613773279798 (pow x 2))
7.256 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0
7.256 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
7.256 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.256 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.256 * [taylor]: Taking taylor expansion of x in x
7.256 * [backup-simplify]: Simplify 0 into 0
7.256 * [backup-simplify]: Simplify 1 into 1
7.256 * [backup-simplify]: Simplify (* 1 1) into 1
7.256 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
7.257 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
7.257 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.257 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.257 * [taylor]: Taking taylor expansion of (pow x 2) in x
7.257 * [taylor]: Taking taylor expansion of x in x
7.257 * [backup-simplify]: Simplify 0 into 0
7.257 * [backup-simplify]: Simplify 1 into 1
7.257 * [backup-simplify]: Simplify (* 1 1) into 1
7.257 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
7.257 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.258 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.258 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0
7.258 * [backup-simplify]: Simplify 0 into 0
7.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.259 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.259 * [backup-simplify]: Simplify 0 into 0
7.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.260 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.260 * [backup-simplify]: Simplify 0 into 0
7.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.262 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.262 * [backup-simplify]: Simplify 0 into 0
7.262 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.263 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.263 * [backup-simplify]: Simplify 0 into 0
7.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.265 * [backup-simplify]: Simplify 0 into 0
7.265 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12900613773279798 (pow x 2))
7.265 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
7.265 * [backup-simplify]: Simplify (* x (* (* x x) 0.12900613773279798)) into (* 0.12900613773279798 (pow x 3))
7.265 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0
7.265 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
7.265 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.265 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.265 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.265 * [taylor]: Taking taylor expansion of x in x
7.265 * [backup-simplify]: Simplify 0 into 0
7.265 * [backup-simplify]: Simplify 1 into 1
7.265 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
7.265 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.265 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.265 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.265 * [taylor]: Taking taylor expansion of x in x
7.265 * [backup-simplify]: Simplify 0 into 0
7.265 * [backup-simplify]: Simplify 1 into 1
7.265 * [backup-simplify]: Simplify (* 1 1) into 1
7.266 * [backup-simplify]: Simplify (* 1 1) into 1
7.266 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
7.266 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.266 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.267 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.267 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
7.267 * [backup-simplify]: Simplify 0 into 0
7.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.268 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.269 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
7.269 * [backup-simplify]: Simplify 0 into 0
7.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.271 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.271 * [backup-simplify]: Simplify 0 into 0
7.271 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.273 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.273 * [backup-simplify]: Simplify 0 into 0
7.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.275 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.275 * [backup-simplify]: Simplify 0 into 0
7.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.277 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.278 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.278 * [backup-simplify]: Simplify 0 into 0
7.278 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3))
7.278 * [backup-simplify]: Simplify (* (/ 1 x) (* (* (/ 1 x) (/ 1 x)) 0.12900613773279798)) into (/ 0.12900613773279798 (pow x 3))
7.278 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0
7.278 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x
7.278 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.278 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.278 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.278 * [taylor]: Taking taylor expansion of x in x
7.278 * [backup-simplify]: Simplify 0 into 0
7.278 * [backup-simplify]: Simplify 1 into 1
7.278 * [backup-simplify]: Simplify (* 1 1) into 1
7.279 * [backup-simplify]: Simplify (* 1 1) into 1
7.279 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
7.279 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x
7.279 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.279 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.279 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.279 * [taylor]: Taking taylor expansion of x in x
7.279 * [backup-simplify]: Simplify 0 into 0
7.279 * [backup-simplify]: Simplify 1 into 1
7.279 * [backup-simplify]: Simplify (* 1 1) into 1
7.279 * [backup-simplify]: Simplify (* 1 1) into 1
7.280 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
7.280 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.280 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.281 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.281 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0
7.281 * [backup-simplify]: Simplify 0 into 0
7.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.284 * [backup-simplify]: Simplify 0 into 0
7.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.286 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.287 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.287 * [backup-simplify]: Simplify 0 into 0
7.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.291 * [backup-simplify]: Simplify 0 into 0
7.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.294 * [backup-simplify]: Simplify 0 into 0
7.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.302 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.302 * [backup-simplify]: Simplify 0 into 0
7.303 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 3)) into (* 0.12900613773279798 (pow x 3))
7.303 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12900613773279798)) into (/ -0.12900613773279798 (pow x 3))
7.303 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0
7.303 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x
7.303 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x
7.303 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
7.303 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.303 * [taylor]: Taking taylor expansion of x in x
7.303 * [backup-simplify]: Simplify 0 into 0
7.303 * [backup-simplify]: Simplify 1 into 1
7.303 * [backup-simplify]: Simplify (* 1 1) into 1
7.303 * [backup-simplify]: Simplify (* 1 1) into 1
7.304 * [backup-simplify]: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798
7.304 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x
7.304 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x
7.304 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
7.304 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.304 * [taylor]: Taking taylor expansion of x in x
7.304 * [backup-simplify]: Simplify 0 into 0
7.304 * [backup-simplify]: Simplify 1 into 1
7.304 * [backup-simplify]: Simplify (* 1 1) into 1
7.304 * [backup-simplify]: Simplify (* 1 1) into 1
7.305 * [backup-simplify]: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798
7.305 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
7.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.306 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)))) into 0
7.306 * [backup-simplify]: Simplify 0 into 0
7.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.307 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.308 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.308 * [backup-simplify]: Simplify 0 into 0
7.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.309 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.309 * [backup-simplify]: Simplify 0 into 0
7.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.311 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.311 * [backup-simplify]: Simplify 0 into 0
7.312 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.313 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.313 * [backup-simplify]: Simplify 0 into 0
7.314 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.315 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.316 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.316 * [backup-simplify]: Simplify 0 into 0
7.316 * [backup-simplify]: Simplify (* -0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3)) into (* 0.12900613773279798 (pow x 3))
7.316 * * * * [progress]: [ 3 / 3 ] generating series at (2)
7.316 * [backup-simplify]: Simplify (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
7.316 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in (x) around 0
7.316 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x
7.316 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x
7.316 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
7.316 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
7.316 * [taylor]: Taking taylor expansion of x in x
7.316 * [backup-simplify]: Simplify 0 into 0
7.316 * [backup-simplify]: Simplify 1 into 1
7.316 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
7.316 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.316 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.316 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.316 * [taylor]: Taking taylor expansion of x in x
7.316 * [backup-simplify]: Simplify 0 into 0
7.316 * [backup-simplify]: Simplify 1 into 1
7.316 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x
7.316 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x
7.316 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
7.316 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
7.316 * [taylor]: Taking taylor expansion of x in x
7.316 * [backup-simplify]: Simplify 0 into 0
7.316 * [backup-simplify]: Simplify 1 into 1
7.316 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
7.316 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.317 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.317 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.317 * [taylor]: Taking taylor expansion of x in x
7.317 * [backup-simplify]: Simplify 0 into 0
7.317 * [backup-simplify]: Simplify 1 into 1
7.317 * [backup-simplify]: Simplify (* 0.954929658551372 0) into 0
7.317 * [backup-simplify]: Simplify (+ 0 0) into 0
7.317 * [backup-simplify]: Simplify 0 into 0
7.318 * [backup-simplify]: Simplify (+ (* 0.954929658551372 1) (* 0 0)) into 0.954929658551372
7.318 * [backup-simplify]: Simplify (+ 0.954929658551372 0) into 0.954929658551372
7.319 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
7.319 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 1) (* 0 0))) into 0
7.319 * [backup-simplify]: Simplify (+ 0 0) into 0
7.319 * [backup-simplify]: Simplify 0 into 0
7.320 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.320 * [backup-simplify]: Simplify (* 1 1) into 1
7.320 * [backup-simplify]: Simplify (* 1 1) into 1
7.321 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
7.321 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
7.321 * [backup-simplify]: Simplify (+ 0 (- 0.12900613773279798)) into (- 0.12900613773279798)
7.322 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
7.322 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.323 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.323 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.324 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
7.324 * [backup-simplify]: Simplify (- 0) into 0
7.324 * [backup-simplify]: Simplify (+ 0 0) into 0
7.324 * [backup-simplify]: Simplify 0 into 0
7.325 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.326 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
7.327 * [backup-simplify]: Simplify (- 0) into 0
7.327 * [backup-simplify]: Simplify (+ 0 0) into 0
7.327 * [backup-simplify]: Simplify 0 into 0
7.328 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.328 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.330 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.330 * [backup-simplify]: Simplify (- 0) into 0
7.331 * [backup-simplify]: Simplify (+ 0 0) into 0
7.331 * [backup-simplify]: Simplify 0 into 0
7.333 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.336 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.337 * [backup-simplify]: Simplify (- 0) into 0
7.337 * [backup-simplify]: Simplify (+ 0 0) into 0
7.337 * [backup-simplify]: Simplify 0 into 0
7.339 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
7.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.343 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.343 * [backup-simplify]: Simplify (- 0) into 0
7.343 * [backup-simplify]: Simplify (+ 0 0) into 0
7.343 * [backup-simplify]: Simplify 0 into 0
7.344 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0
7.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.347 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.347 * [backup-simplify]: Simplify (- 0) into 0
7.347 * [backup-simplify]: Simplify (+ 0 0) into 0
7.347 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify (+ (* (- 0.12900613773279798) (pow x 3)) (* 0.954929658551372 x)) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
7.348 * [backup-simplify]: Simplify (- (* 0.954929658551372 (/ 1 x)) (* (/ 1 x) (* (* (/ 1 x) (/ 1 x)) 0.12900613773279798))) into (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3))))
7.348 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in (x) around 0
7.348 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x
7.348 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
7.348 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
7.348 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
7.348 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.348 * [taylor]: Taking taylor expansion of x in x
7.348 * [backup-simplify]: Simplify 0 into 0
7.348 * [backup-simplify]: Simplify 1 into 1
7.348 * [backup-simplify]: Simplify (/ 1 1) into 1
7.348 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
7.348 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.349 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.349 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
7.349 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.349 * [taylor]: Taking taylor expansion of x in x
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.349 * [backup-simplify]: Simplify (* 1 1) into 1
7.349 * [backup-simplify]: Simplify (* 1 1) into 1
7.349 * [backup-simplify]: Simplify (/ 1 1) into 1
7.349 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x
7.349 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
7.349 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
7.349 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
7.349 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.349 * [taylor]: Taking taylor expansion of x in x
7.349 * [backup-simplify]: Simplify 0 into 0
7.349 * [backup-simplify]: Simplify 1 into 1
7.350 * [backup-simplify]: Simplify (/ 1 1) into 1
7.350 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
7.350 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.350 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.350 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
7.350 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.350 * [taylor]: Taking taylor expansion of x in x
7.350 * [backup-simplify]: Simplify 0 into 0
7.350 * [backup-simplify]: Simplify 1 into 1
7.350 * [backup-simplify]: Simplify (* 1 1) into 1
7.350 * [backup-simplify]: Simplify (* 1 1) into 1
7.351 * [backup-simplify]: Simplify (/ 1 1) into 1
7.351 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
7.351 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
7.352 * [backup-simplify]: Simplify (+ 0 (- 0.12900613773279798)) into (- 0.12900613773279798)
7.352 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
7.352 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.353 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.353 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.353 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
7.354 * [backup-simplify]: Simplify (- 0) into 0
7.354 * [backup-simplify]: Simplify (+ 0 0) into 0
7.354 * [backup-simplify]: Simplify 0 into 0
7.354 * [backup-simplify]: Simplify (* 0.954929658551372 1) into 0.954929658551372
7.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.356 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.356 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
7.357 * [backup-simplify]: Simplify (- 0) into 0
7.357 * [backup-simplify]: Simplify (+ 0.954929658551372 0) into 0.954929658551372
7.357 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
7.357 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.358 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (* 0 1)) into 0
7.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.359 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.360 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.360 * [backup-simplify]: Simplify (- 0) into 0
7.360 * [backup-simplify]: Simplify (+ 0 0) into 0
7.360 * [backup-simplify]: Simplify 0 into 0
7.361 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.361 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (* 0 1))) into 0
7.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.363 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.364 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.364 * [backup-simplify]: Simplify (- 0) into 0
7.364 * [backup-simplify]: Simplify (+ 0 0) into 0
7.364 * [backup-simplify]: Simplify 0 into 0
7.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.366 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.368 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.368 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.369 * [backup-simplify]: Simplify (- 0) into 0
7.369 * [backup-simplify]: Simplify (+ 0 0) into 0
7.369 * [backup-simplify]: Simplify 0 into 0
7.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.370 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.372 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.374 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.374 * [backup-simplify]: Simplify (- 0) into 0
7.374 * [backup-simplify]: Simplify (+ 0 0) into 0
7.374 * [backup-simplify]: Simplify 0 into 0
7.375 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.377 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.379 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.381 * [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
7.383 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.383 * [backup-simplify]: Simplify (- 0) into 0
7.384 * [backup-simplify]: Simplify (+ 0 0) into 0
7.384 * [backup-simplify]: Simplify 0 into 0
7.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.386 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.392 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.394 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.394 * [backup-simplify]: Simplify (- 0) into 0
7.394 * [backup-simplify]: Simplify (+ 0 0) into 0
7.394 * [backup-simplify]: Simplify 0 into 0
7.395 * [backup-simplify]: Simplify (+ (* 0.954929658551372 (/ 1 (/ 1 x))) (* (- 0.12900613773279798) (pow (/ 1 (/ 1 x)) 3))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
7.396 * [backup-simplify]: Simplify (- (* 0.954929658551372 (/ 1 (- x))) (* (/ 1 (- x)) (* (* (/ 1 (- x)) (/ 1 (- x))) 0.12900613773279798))) into (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x)))
7.396 * [approximate]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in (x) around 0
7.396 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x
7.396 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
7.396 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.396 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.396 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
7.396 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.396 * [taylor]: Taking taylor expansion of x in x
7.396 * [backup-simplify]: Simplify 0 into 0
7.396 * [backup-simplify]: Simplify 1 into 1
7.396 * [backup-simplify]: Simplify (* 1 1) into 1
7.397 * [backup-simplify]: Simplify (* 1 1) into 1
7.397 * [backup-simplify]: Simplify (/ 1 1) into 1
7.397 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
7.397 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
7.397 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
7.397 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.397 * [taylor]: Taking taylor expansion of x in x
7.397 * [backup-simplify]: Simplify 0 into 0
7.397 * [backup-simplify]: Simplify 1 into 1
7.398 * [backup-simplify]: Simplify (/ 1 1) into 1
7.398 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x
7.398 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
7.398 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
7.398 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.398 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
7.398 * [taylor]: Taking taylor expansion of (pow x 3) in x
7.398 * [taylor]: Taking taylor expansion of x in x
7.398 * [backup-simplify]: Simplify 0 into 0
7.398 * [backup-simplify]: Simplify 1 into 1
7.398 * [backup-simplify]: Simplify (* 1 1) into 1
7.399 * [backup-simplify]: Simplify (* 1 1) into 1
7.399 * [backup-simplify]: Simplify (/ 1 1) into 1
7.399 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
7.399 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
7.399 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
7.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.399 * [taylor]: Taking taylor expansion of x in x
7.399 * [backup-simplify]: Simplify 0 into 0
7.399 * [backup-simplify]: Simplify 1 into 1
7.400 * [backup-simplify]: Simplify (/ 1 1) into 1
7.400 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
7.401 * [backup-simplify]: Simplify (+ 0.12900613773279798 0) into 0.12900613773279798
7.401 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
7.402 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.402 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
7.403 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.404 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
7.411 * [backup-simplify]: Simplify (+ 0 0) into 0
7.411 * [backup-simplify]: Simplify 0 into 0
7.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.414 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
7.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.416 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
7.416 * [backup-simplify]: Simplify (* 0.954929658551372 1) into 0.954929658551372
7.416 * [backup-simplify]: Simplify (- 0.954929658551372) into (- 0.954929658551372)
7.417 * [backup-simplify]: Simplify (+ 0 (- 0.954929658551372)) into (- 0.954929658551372)
7.418 * [backup-simplify]: Simplify (- 0.954929658551372) into (- 0.954929658551372)
7.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.420 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.421 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.422 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.423 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.424 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (* 0 1)) into 0
7.424 * [backup-simplify]: Simplify (- 0) into 0
7.425 * [backup-simplify]: Simplify (+ 0 0) into 0
7.425 * [backup-simplify]: Simplify 0 into 0
7.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.427 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.428 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.429 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.430 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (* 0 1))) into 0
7.431 * [backup-simplify]: Simplify (- 0) into 0
7.431 * [backup-simplify]: Simplify (+ 0 0) into 0
7.431 * [backup-simplify]: Simplify 0 into 0
7.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.434 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.435 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.435 * [backup-simplify]: Simplify (- 0) into 0
7.435 * [backup-simplify]: Simplify (+ 0 0) into 0
7.435 * [backup-simplify]: Simplify 0 into 0
7.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.437 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.438 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.439 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.440 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
7.440 * [backup-simplify]: Simplify (- 0) into 0
7.440 * [backup-simplify]: Simplify (+ 0 0) into 0
7.440 * [backup-simplify]: Simplify 0 into 0
7.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.442 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.442 * [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
7.443 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
7.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.445 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
7.445 * [backup-simplify]: Simplify (- 0) into 0
7.445 * [backup-simplify]: Simplify (+ 0 0) into 0
7.445 * [backup-simplify]: Simplify 0 into 0
7.446 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.449 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
7.449 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.450 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
7.451 * [backup-simplify]: Simplify (- 0) into 0
7.451 * [backup-simplify]: Simplify (+ 0 0) into 0
7.451 * [backup-simplify]: Simplify 0 into 0
7.451 * [backup-simplify]: Simplify (+ (* (- 0.954929658551372) (/ 1 (/ 1 (- x)))) (* 0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
7.451 * * * [progress]: simplifying candidates
7.452 * [simplify]: Simplifying:
  (* (* x x) 0.12900613773279798)
  (* (* x x) 0.12900613773279798)
  (+ (+ (log x) (log x)) (log 0.12900613773279798))
  (+ (log (* x x)) (log 0.12900613773279798))
  (log (* (* x x) 0.12900613773279798))
  (exp (* (* x x) 0.12900613773279798))
  (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))
  (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))
  (* (cbrt (* (* x x) 0.12900613773279798)) (cbrt (* (* x x) 0.12900613773279798)))
  (cbrt (* (* x x) 0.12900613773279798))
  (* (* (* (* x x) 0.12900613773279798) (* (* x x) 0.12900613773279798)) (* (* x x) 0.12900613773279798))
  (sqrt (* (* x x) 0.12900613773279798))
  (sqrt (* (* x x) 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* x (sqrt 0.12900613773279798))
  (* (* x x) (* (cbrt 0.12900613773279798) (cbrt 0.12900613773279798)))
  (* (* x x) (sqrt 0.12900613773279798))
  (* (* x x) 1)
  (* x 0.12900613773279798)
  (* x (* (* x x) 0.12900613773279798))
  (* x (* (* x x) 0.12900613773279798))
  (* x (* (* x x) 0.12900613773279798))
  (+ (log x) (+ (+ (log x) (log x)) (log 0.12900613773279798)))
  (+ (log x) (+ (log (* x x)) (log 0.12900613773279798)))
  (+ (log x) (log (* (* x x) 0.12900613773279798)))
  (log (* x (* (* x x) 0.12900613773279798)))
  (exp (* x (* (* x x) 0.12900613773279798)))
  (* (* (* x x) x) (* (* (* (* x x) x) (* (* x x) x)) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798)))
  (* (* (* x x) x) (* (* (* (* x x) (* x x)) (* x x)) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798)))
  (* (* (* x x) x) (* (* (* (* x x) 0.12900613773279798) (* (* x x) 0.12900613773279798)) (* (* x x) 0.12900613773279798)))
  (* (cbrt (* x (* (* x x) 0.12900613773279798))) (cbrt (* x (* (* x x) 0.12900613773279798))))
  (cbrt (* x (* (* x x) 0.12900613773279798)))
  (* (* (* x (* (* x x) 0.12900613773279798)) (* x (* (* x x) 0.12900613773279798))) (* x (* (* x x) 0.12900613773279798)))
  (sqrt (* x (* (* x x) 0.12900613773279798)))
  (sqrt (* x (* (* x x) 0.12900613773279798)))
  (* x (* x x))
  (* (cbrt x) (* (* x x) 0.12900613773279798))
  (* (sqrt x) (* (* x x) 0.12900613773279798))
  (* x (* (* x x) 0.12900613773279798))
  (/ (exp (* 0.954929658551372 x)) (exp (* x (* (* x x) 0.12900613773279798))))
  (log (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))
  (exp (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))
  (* (cbrt (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798)))) (cbrt (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798)))))
  (cbrt (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))
  (* (* (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))) (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798)))) (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))
  (sqrt (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))
  (sqrt (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))
  (- (pow (* 0.954929658551372 x) 3) (pow (* x (* (* x x) 0.12900613773279798)) 3))
  (+ (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (+ (* (* x (* (* x x) 0.12900613773279798)) (* x (* (* x x) 0.12900613773279798))) (* (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798)))))
  (- (* x (* (* x x) 0.12900613773279798)))
  (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* x (* (* x x) 0.12900613773279798)) (* x (* (* x x) 0.12900613773279798))))
  (+ (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798)))
  (- (* x (* (* x x) 0.12900613773279798)))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 3))
  (* 0.12900613773279798 (pow x 3))
  (* 0.12900613773279798 (pow x 3))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
10.012 * * * [progress]: adding candidates to table
10.116 * * [progress]: iteration 4 / 4
10.116 * * * [progress]: picking best candidate
10.120 * * * * [pick]: Picked  #<alt (λ (x) (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))>
10.121 * * * [progress]: localizing error
10.132 * * * [progress]: generating rewritten candidates
10.132 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
10.159 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
10.228 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
10.252 * * * [progress]: generating series expansions
10.252 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
10.252 * [backup-simplify]: Simplify (* x (* x 0.12900613773279798)) into (* 0.12900613773279798 (pow x 2))
10.252 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in (x) around 0
10.252 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
10.252 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.253 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.253 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.253 * [taylor]: Taking taylor expansion of x in x
10.253 * [backup-simplify]: Simplify 0 into 0
10.253 * [backup-simplify]: Simplify 1 into 1
10.253 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 2)) in x
10.253 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.253 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.253 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.253 * [taylor]: Taking taylor expansion of x in x
10.253 * [backup-simplify]: Simplify 0 into 0
10.253 * [backup-simplify]: Simplify 1 into 1
10.254 * [backup-simplify]: Simplify (* 1 1) into 1
10.254 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
10.254 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.255 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.256 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
10.256 * [backup-simplify]: Simplify 0 into 0
10.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.258 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
10.258 * [backup-simplify]: Simplify 0 into 0
10.259 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.260 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.260 * [backup-simplify]: Simplify 0 into 0
10.261 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.262 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.263 * [backup-simplify]: Simplify 0 into 0
10.264 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.265 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.265 * [backup-simplify]: Simplify 0 into 0
10.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.268 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.269 * [backup-simplify]: Simplify 0 into 0
10.269 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow x 2)) into (* 0.12900613773279798 (pow x 2))
10.269 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) 0.12900613773279798)) into (/ 0.12900613773279798 (pow x 2))
10.269 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0
10.269 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
10.269 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.269 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.269 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.269 * [taylor]: Taking taylor expansion of x in x
10.269 * [backup-simplify]: Simplify 0 into 0
10.269 * [backup-simplify]: Simplify 1 into 1
10.270 * [backup-simplify]: Simplify (* 1 1) into 1
10.270 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
10.270 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
10.270 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.270 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.270 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.271 * [taylor]: Taking taylor expansion of x in x
10.271 * [backup-simplify]: Simplify 0 into 0
10.271 * [backup-simplify]: Simplify 1 into 1
10.271 * [backup-simplify]: Simplify (* 1 1) into 1
10.271 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
10.271 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.272 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0
10.273 * [backup-simplify]: Simplify 0 into 0
10.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.275 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.275 * [backup-simplify]: Simplify 0 into 0
10.276 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.277 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.277 * [backup-simplify]: Simplify 0 into 0
10.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.279 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.279 * [backup-simplify]: Simplify 0 into 0
10.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.282 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.282 * [backup-simplify]: Simplify 0 into 0
10.283 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.284 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.284 * [backup-simplify]: Simplify 0 into 0
10.285 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 2)) into (* 0.12900613773279798 (pow x 2))
10.285 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12900613773279798)) into (/ 0.12900613773279798 (pow x 2))
10.285 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in (x) around 0
10.285 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
10.285 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.285 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.285 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.285 * [taylor]: Taking taylor expansion of x in x
10.285 * [backup-simplify]: Simplify 0 into 0
10.285 * [backup-simplify]: Simplify 1 into 1
10.285 * [backup-simplify]: Simplify (* 1 1) into 1
10.286 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
10.286 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 2)) in x
10.286 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.286 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.286 * [taylor]: Taking taylor expansion of (pow x 2) in x
10.286 * [taylor]: Taking taylor expansion of x in x
10.286 * [backup-simplify]: Simplify 0 into 0
10.286 * [backup-simplify]: Simplify 1 into 1
10.287 * [backup-simplify]: Simplify (* 1 1) into 1
10.287 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
10.287 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.288 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.289 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0
10.289 * [backup-simplify]: Simplify 0 into 0
10.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.291 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.291 * [backup-simplify]: Simplify 0 into 0
10.292 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.293 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.293 * [backup-simplify]: Simplify 0 into 0
10.294 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.295 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.295 * [backup-simplify]: Simplify 0 into 0
10.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.297 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.297 * [backup-simplify]: Simplify 0 into 0
10.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.300 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.300 * [backup-simplify]: Simplify 0 into 0
10.300 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 2)) into (* 0.12900613773279798 (pow x 2))
10.300 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
10.300 * [backup-simplify]: Simplify (* x (* x (* x 0.12900613773279798))) into (* 0.12900613773279798 (pow x 3))
10.300 * [approximate]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in (x) around 0
10.301 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
10.301 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.301 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.301 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.301 * [taylor]: Taking taylor expansion of x in x
10.301 * [backup-simplify]: Simplify 0 into 0
10.301 * [backup-simplify]: Simplify 1 into 1
10.301 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
10.301 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.301 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.301 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.301 * [taylor]: Taking taylor expansion of x in x
10.301 * [backup-simplify]: Simplify 0 into 0
10.301 * [backup-simplify]: Simplify 1 into 1
10.301 * [backup-simplify]: Simplify (* 1 1) into 1
10.302 * [backup-simplify]: Simplify (* 1 1) into 1
10.302 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
10.302 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.303 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.304 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
10.304 * [backup-simplify]: Simplify 0 into 0
10.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.306 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.307 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
10.307 * [backup-simplify]: Simplify 0 into 0
10.308 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.309 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.310 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.310 * [backup-simplify]: Simplify 0 into 0
10.311 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.313 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.319 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.319 * [backup-simplify]: Simplify 0 into 0
10.321 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.323 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.323 * [backup-simplify]: Simplify 0 into 0
10.325 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.326 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.328 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.328 * [backup-simplify]: Simplify 0 into 0
10.328 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow x 3)) into (* 0.12900613773279798 (pow x 3))
10.329 * [backup-simplify]: Simplify (* (/ 1 x) (* (/ 1 x) (* (/ 1 x) 0.12900613773279798))) into (/ 0.12900613773279798 (pow x 3))
10.329 * [approximate]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in (x) around 0
10.329 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x
10.329 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.329 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.329 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.329 * [taylor]: Taking taylor expansion of x in x
10.329 * [backup-simplify]: Simplify 0 into 0
10.329 * [backup-simplify]: Simplify 1 into 1
10.329 * [backup-simplify]: Simplify (* 1 1) into 1
10.330 * [backup-simplify]: Simplify (* 1 1) into 1
10.330 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
10.330 * [taylor]: Taking taylor expansion of (/ 0.12900613773279798 (pow x 3)) in x
10.330 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.330 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.330 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.330 * [taylor]: Taking taylor expansion of x in x
10.330 * [backup-simplify]: Simplify 0 into 0
10.330 * [backup-simplify]: Simplify 1 into 1
10.331 * [backup-simplify]: Simplify (* 1 1) into 1
10.331 * [backup-simplify]: Simplify (* 1 1) into 1
10.332 * [backup-simplify]: Simplify (/ 0.12900613773279798 1) into 0.12900613773279798
10.332 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.332 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.333 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)))) into 0
10.334 * [backup-simplify]: Simplify 0 into 0
10.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.337 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.337 * [backup-simplify]: Simplify 0 into 0
10.338 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.339 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.340 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.340 * [backup-simplify]: Simplify 0 into 0
10.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.343 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.343 * [backup-simplify]: Simplify 0 into 0
10.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.347 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.347 * [backup-simplify]: Simplify 0 into 0
10.348 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.351 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.351 * [backup-simplify]: Simplify 0 into 0
10.351 * [backup-simplify]: Simplify (* 0.12900613773279798 (pow (/ 1 (/ 1 x)) 3)) into (* 0.12900613773279798 (pow x 3))
10.352 * [backup-simplify]: Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12900613773279798))) into (/ -0.12900613773279798 (pow x 3))
10.352 * [approximate]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in (x) around 0
10.352 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x
10.352 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x
10.352 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
10.352 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.352 * [taylor]: Taking taylor expansion of x in x
10.352 * [backup-simplify]: Simplify 0 into 0
10.352 * [backup-simplify]: Simplify 1 into 1
10.352 * [backup-simplify]: Simplify (* 1 1) into 1
10.353 * [backup-simplify]: Simplify (* 1 1) into 1
10.353 * [backup-simplify]: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798
10.353 * [taylor]: Taking taylor expansion of (/ -0.12900613773279798 (pow x 3)) in x
10.353 * [taylor]: Taking taylor expansion of -0.12900613773279798 in x
10.353 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
10.353 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.353 * [taylor]: Taking taylor expansion of x in x
10.353 * [backup-simplify]: Simplify 0 into 0
10.353 * [backup-simplify]: Simplify 1 into 1
10.354 * [backup-simplify]: Simplify (* 1 1) into 1
10.354 * [backup-simplify]: Simplify (* 1 1) into 1
10.355 * [backup-simplify]: Simplify (/ -0.12900613773279798 1) into -0.12900613773279798
10.355 * [backup-simplify]: Simplify -0.12900613773279798 into -0.12900613773279798
10.355 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.356 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.357 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)))) into 0
10.357 * [backup-simplify]: Simplify 0 into 0
10.358 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.360 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.360 * [backup-simplify]: Simplify 0 into 0
10.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.362 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.363 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.363 * [backup-simplify]: Simplify 0 into 0
10.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.366 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.367 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.367 * [backup-simplify]: Simplify 0 into 0
10.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.369 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.371 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.371 * [backup-simplify]: Simplify 0 into 0
10.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.375 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -0.12900613773279798 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.375 * [backup-simplify]: Simplify 0 into 0
10.375 * [backup-simplify]: Simplify (* -0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3)) into (* 0.12900613773279798 (pow x 3))
10.375 * * * * [progress]: [ 3 / 3 ] generating series at (2)
10.376 * [backup-simplify]: Simplify (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
10.376 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in (x) around 0
10.376 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x
10.376 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x
10.376 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
10.376 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
10.376 * [taylor]: Taking taylor expansion of x in x
10.376 * [backup-simplify]: Simplify 0 into 0
10.376 * [backup-simplify]: Simplify 1 into 1
10.376 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
10.376 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.376 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.376 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.376 * [taylor]: Taking taylor expansion of x in x
10.376 * [backup-simplify]: Simplify 0 into 0
10.376 * [backup-simplify]: Simplify 1 into 1
10.376 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3))) in x
10.376 * [taylor]: Taking taylor expansion of (* 0.954929658551372 x) in x
10.376 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
10.376 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
10.376 * [taylor]: Taking taylor expansion of x in x
10.376 * [backup-simplify]: Simplify 0 into 0
10.376 * [backup-simplify]: Simplify 1 into 1
10.376 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (pow x 3)) in x
10.376 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.376 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.376 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.376 * [taylor]: Taking taylor expansion of x in x
10.376 * [backup-simplify]: Simplify 0 into 0
10.377 * [backup-simplify]: Simplify 1 into 1
10.377 * [backup-simplify]: Simplify (* 0.954929658551372 0) into 0
10.377 * [backup-simplify]: Simplify (+ 0 0) into 0
10.377 * [backup-simplify]: Simplify 0 into 0
10.379 * [backup-simplify]: Simplify (+ (* 0.954929658551372 1) (* 0 0)) into 0.954929658551372
10.379 * [backup-simplify]: Simplify (+ 0.954929658551372 0) into 0.954929658551372
10.379 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
10.380 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 1) (* 0 0))) into 0
10.381 * [backup-simplify]: Simplify (+ 0 0) into 0
10.381 * [backup-simplify]: Simplify 0 into 0
10.382 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.382 * [backup-simplify]: Simplify (* 1 1) into 1
10.383 * [backup-simplify]: Simplify (* 1 1) into 1
10.383 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
10.383 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
10.384 * [backup-simplify]: Simplify (+ 0 (- 0.12900613773279798)) into (- 0.12900613773279798)
10.385 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
10.386 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
10.387 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.387 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.388 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
10.389 * [backup-simplify]: Simplify (- 0) into 0
10.389 * [backup-simplify]: Simplify (+ 0 0) into 0
10.389 * [backup-simplify]: Simplify 0 into 0
10.390 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
10.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.393 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
10.394 * [backup-simplify]: Simplify (- 0) into 0
10.394 * [backup-simplify]: Simplify (+ 0 0) into 0
10.394 * [backup-simplify]: Simplify 0 into 0
10.396 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
10.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.398 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.399 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.399 * [backup-simplify]: Simplify (- 0) into 0
10.400 * [backup-simplify]: Simplify (+ 0 0) into 0
10.400 * [backup-simplify]: Simplify 0 into 0
10.402 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
10.403 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.405 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.406 * [backup-simplify]: Simplify (- 0) into 0
10.406 * [backup-simplify]: Simplify (+ 0 0) into 0
10.406 * [backup-simplify]: Simplify 0 into 0
10.408 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
10.409 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.412 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.413 * [backup-simplify]: Simplify (- 0) into 0
10.413 * [backup-simplify]: Simplify (+ 0 0) into 0
10.413 * [backup-simplify]: Simplify 0 into 0
10.415 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))))) into 0
10.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.418 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.420 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.421 * [backup-simplify]: Simplify (- 0) into 0
10.421 * [backup-simplify]: Simplify (+ 0 0) into 0
10.421 * [backup-simplify]: Simplify 0 into 0
10.422 * [backup-simplify]: Simplify (+ (* (- 0.12900613773279798) (pow x 3)) (* 0.954929658551372 x)) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
10.422 * [backup-simplify]: Simplify (- (* 0.954929658551372 (/ 1 x)) (* (/ 1 x) (* (/ 1 x) (* (/ 1 x) 0.12900613773279798)))) into (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3))))
10.422 * [approximate]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in (x) around 0
10.422 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x
10.422 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
10.422 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
10.422 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
10.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.422 * [taylor]: Taking taylor expansion of x in x
10.423 * [backup-simplify]: Simplify 0 into 0
10.423 * [backup-simplify]: Simplify 1 into 1
10.423 * [backup-simplify]: Simplify (/ 1 1) into 1
10.423 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
10.423 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.423 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.423 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
10.423 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.423 * [taylor]: Taking taylor expansion of x in x
10.423 * [backup-simplify]: Simplify 0 into 0
10.423 * [backup-simplify]: Simplify 1 into 1
10.424 * [backup-simplify]: Simplify (* 1 1) into 1
10.424 * [backup-simplify]: Simplify (* 1 1) into 1
10.424 * [backup-simplify]: Simplify (/ 1 1) into 1
10.424 * [taylor]: Taking taylor expansion of (- (* 0.954929658551372 (/ 1 x)) (* 0.12900613773279798 (/ 1 (pow x 3)))) in x
10.424 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
10.424 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
10.424 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
10.424 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.424 * [taylor]: Taking taylor expansion of x in x
10.425 * [backup-simplify]: Simplify 0 into 0
10.425 * [backup-simplify]: Simplify 1 into 1
10.425 * [backup-simplify]: Simplify (/ 1 1) into 1
10.425 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
10.425 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.425 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.425 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
10.425 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.425 * [taylor]: Taking taylor expansion of x in x
10.425 * [backup-simplify]: Simplify 0 into 0
10.425 * [backup-simplify]: Simplify 1 into 1
10.426 * [backup-simplify]: Simplify (* 1 1) into 1
10.426 * [backup-simplify]: Simplify (* 1 1) into 1
10.426 * [backup-simplify]: Simplify (/ 1 1) into 1
10.427 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
10.427 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
10.428 * [backup-simplify]: Simplify (+ 0 (- 0.12900613773279798)) into (- 0.12900613773279798)
10.428 * [backup-simplify]: Simplify (- 0.12900613773279798) into (- 0.12900613773279798)
10.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.429 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.430 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.430 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
10.431 * [backup-simplify]: Simplify (- 0) into 0
10.431 * [backup-simplify]: Simplify (+ 0 0) into 0
10.431 * [backup-simplify]: Simplify 0 into 0
10.431 * [backup-simplify]: Simplify (* 0.954929658551372 1) into 0.954929658551372
10.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.432 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.433 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.433 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
10.433 * [backup-simplify]: Simplify (- 0) into 0
10.434 * [backup-simplify]: Simplify (+ 0.954929658551372 0) into 0.954929658551372
10.434 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
10.434 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.435 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (* 0 1)) into 0
10.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.436 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.437 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.437 * [backup-simplify]: Simplify (- 0) into 0
10.437 * [backup-simplify]: Simplify (+ 0 0) into 0
10.437 * [backup-simplify]: Simplify 0 into 0
10.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.438 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (* 0 1))) into 0
10.439 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.440 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.441 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.441 * [backup-simplify]: Simplify (- 0) into 0
10.441 * [backup-simplify]: Simplify (+ 0 0) into 0
10.441 * [backup-simplify]: Simplify 0 into 0
10.442 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.443 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.443 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.444 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.445 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.445 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.446 * [backup-simplify]: Simplify (- 0) into 0
10.446 * [backup-simplify]: Simplify (+ 0 0) into 0
10.446 * [backup-simplify]: Simplify 0 into 0
10.446 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.447 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.448 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.449 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.454 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.455 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.455 * [backup-simplify]: Simplify (- 0) into 0
10.455 * [backup-simplify]: Simplify (+ 0 0) into 0
10.456 * [backup-simplify]: Simplify 0 into 0
10.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.457 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.459 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.460 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.461 * [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
10.463 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.463 * [backup-simplify]: Simplify (- 0) into 0
10.464 * [backup-simplify]: Simplify (+ 0 0) into 0
10.464 * [backup-simplify]: Simplify 0 into 0
10.465 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.466 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.468 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.470 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.470 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.472 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.472 * [backup-simplify]: Simplify (- 0) into 0
10.472 * [backup-simplify]: Simplify (+ 0 0) into 0
10.472 * [backup-simplify]: Simplify 0 into 0
10.473 * [backup-simplify]: Simplify (+ (* 0.954929658551372 (/ 1 (/ 1 x))) (* (- 0.12900613773279798) (pow (/ 1 (/ 1 x)) 3))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
10.473 * [backup-simplify]: Simplify (- (* 0.954929658551372 (/ 1 (- x))) (* (/ 1 (- x)) (* (/ 1 (- x)) (* (/ 1 (- x)) 0.12900613773279798)))) into (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x)))
10.473 * [approximate]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in (x) around 0
10.473 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x
10.473 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
10.473 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.473 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.473 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
10.473 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.473 * [taylor]: Taking taylor expansion of x in x
10.473 * [backup-simplify]: Simplify 0 into 0
10.473 * [backup-simplify]: Simplify 1 into 1
10.473 * [backup-simplify]: Simplify (* 1 1) into 1
10.473 * [backup-simplify]: Simplify (* 1 1) into 1
10.474 * [backup-simplify]: Simplify (/ 1 1) into 1
10.474 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
10.474 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
10.474 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
10.474 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.474 * [taylor]: Taking taylor expansion of x in x
10.474 * [backup-simplify]: Simplify 0 into 0
10.474 * [backup-simplify]: Simplify 1 into 1
10.474 * [backup-simplify]: Simplify (/ 1 1) into 1
10.474 * [taylor]: Taking taylor expansion of (- (* 0.12900613773279798 (/ 1 (pow x 3))) (* 0.954929658551372 (/ 1 x))) in x
10.474 * [taylor]: Taking taylor expansion of (* 0.12900613773279798 (/ 1 (pow x 3))) in x
10.474 * [taylor]: Taking taylor expansion of 0.12900613773279798 in x
10.474 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.474 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
10.474 * [taylor]: Taking taylor expansion of (pow x 3) in x
10.474 * [taylor]: Taking taylor expansion of x in x
10.474 * [backup-simplify]: Simplify 0 into 0
10.474 * [backup-simplify]: Simplify 1 into 1
10.474 * [backup-simplify]: Simplify (* 1 1) into 1
10.475 * [backup-simplify]: Simplify (* 1 1) into 1
10.475 * [backup-simplify]: Simplify (/ 1 1) into 1
10.475 * [taylor]: Taking taylor expansion of (* 0.954929658551372 (/ 1 x)) in x
10.475 * [taylor]: Taking taylor expansion of 0.954929658551372 in x
10.475 * [backup-simplify]: Simplify 0.954929658551372 into 0.954929658551372
10.475 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.475 * [taylor]: Taking taylor expansion of x in x
10.475 * [backup-simplify]: Simplify 0 into 0
10.475 * [backup-simplify]: Simplify 1 into 1
10.475 * [backup-simplify]: Simplify (/ 1 1) into 1
10.476 * [backup-simplify]: Simplify (* 0.12900613773279798 1) into 0.12900613773279798
10.476 * [backup-simplify]: Simplify (+ 0.12900613773279798 0) into 0.12900613773279798
10.476 * [backup-simplify]: Simplify 0.12900613773279798 into 0.12900613773279798
10.476 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.477 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.477 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.478 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (* 0 1)) into 0
10.478 * [backup-simplify]: Simplify (+ 0 0) into 0
10.478 * [backup-simplify]: Simplify 0 into 0
10.478 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.479 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.479 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.480 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (* 0 1))) into 0
10.480 * [backup-simplify]: Simplify (* 0.954929658551372 1) into 0.954929658551372
10.480 * [backup-simplify]: Simplify (- 0.954929658551372) into (- 0.954929658551372)
10.481 * [backup-simplify]: Simplify (+ 0 (- 0.954929658551372)) into (- 0.954929658551372)
10.481 * [backup-simplify]: Simplify (- 0.954929658551372) into (- 0.954929658551372)
10.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.482 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.483 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.483 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.484 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.484 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (* 0 1)) into 0
10.485 * [backup-simplify]: Simplify (- 0) into 0
10.485 * [backup-simplify]: Simplify (+ 0 0) into 0
10.485 * [backup-simplify]: Simplify 0 into 0
10.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.486 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.487 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.487 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.488 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (* 0 1))) into 0
10.489 * [backup-simplify]: Simplify (- 0) into 0
10.489 * [backup-simplify]: Simplify (+ 0 0) into 0
10.489 * [backup-simplify]: Simplify 0 into 0
10.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.490 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.491 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.492 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.492 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.493 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.493 * [backup-simplify]: Simplify (- 0) into 0
10.493 * [backup-simplify]: Simplify (+ 0 0) into 0
10.493 * [backup-simplify]: Simplify 0 into 0
10.494 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.495 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.496 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.496 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.498 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.498 * [backup-simplify]: Simplify (- 0) into 0
10.498 * [backup-simplify]: Simplify (+ 0 0) into 0
10.498 * [backup-simplify]: Simplify 0 into 0
10.499 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.500 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.501 * [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
10.502 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.503 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.504 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.505 * [backup-simplify]: Simplify (- 0) into 0
10.505 * [backup-simplify]: Simplify (+ 0 0) into 0
10.505 * [backup-simplify]: Simplify 0 into 0
10.507 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.509 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.512 * [backup-simplify]: Simplify (+ (* 0.12900613773279798 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.513 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.515 * [backup-simplify]: Simplify (+ (* 0.954929658551372 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.515 * [backup-simplify]: Simplify (- 0) into 0
10.515 * [backup-simplify]: Simplify (+ 0 0) into 0
10.515 * [backup-simplify]: Simplify 0 into 0
10.516 * [backup-simplify]: Simplify (+ (* (- 0.954929658551372) (/ 1 (/ 1 (- x)))) (* 0.12900613773279798 (pow (/ 1 (/ 1 (- x))) 3))) into (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
10.516 * * * [progress]: simplifying candidates
10.518 * [simplify]: Simplifying:
  (* x (* x 0.12900613773279798))
  (* x (* x 0.12900613773279798))
  (+ (log x) (+ (log x) (log 0.12900613773279798)))
  (+ (log x) (log (* x 0.12900613773279798)))
  (log (* x (* x 0.12900613773279798)))
  (exp (* x (* x 0.12900613773279798)))
  (* (* (* x x) x) (* (* (* x x) x) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798)))
  (* (* (* x x) x) (* (* (* x 0.12900613773279798) (* x 0.12900613773279798)) (* x 0.12900613773279798)))
  (* (cbrt (* x (* x 0.12900613773279798))) (cbrt (* x (* x 0.12900613773279798))))
  (cbrt (* x (* x 0.12900613773279798)))
  (* (* (* x (* x 0.12900613773279798)) (* x (* x 0.12900613773279798))) (* x (* x 0.12900613773279798)))
  (sqrt (* x (* x 0.12900613773279798)))
  (sqrt (* x (* x 0.12900613773279798)))
  (* x x)
  (* (cbrt x) (* x 0.12900613773279798))
  (* (sqrt x) (* x 0.12900613773279798))
  (* x (* x 0.12900613773279798))
  (* x (* x (* x 0.12900613773279798)))
  (* x (* x (* x 0.12900613773279798)))
  (* x (* x (* x 0.12900613773279798)))
  (+ (log x) (+ (log x) (+ (log x) (log 0.12900613773279798))))
  (+ (log x) (+ (log x) (log (* x 0.12900613773279798))))
  (+ (log x) (log (* x (* x 0.12900613773279798))))
  (log (* x (* x (* x 0.12900613773279798))))
  (exp (* x (* x (* x 0.12900613773279798))))
  (* (* (* x x) x) (* (* (* x x) x) (* (* (* x x) x) (* (* 0.12900613773279798 0.12900613773279798) 0.12900613773279798))))
  (* (* (* x x) x) (* (* (* x x) x) (* (* (* x 0.12900613773279798) (* x 0.12900613773279798)) (* x 0.12900613773279798))))
  (* (* (* x x) x) (* (* (* x (* x 0.12900613773279798)) (* x (* x 0.12900613773279798))) (* x (* x 0.12900613773279798))))
  (* (cbrt (* x (* x (* x 0.12900613773279798)))) (cbrt (* x (* x (* x 0.12900613773279798)))))
  (cbrt (* x (* x (* x 0.12900613773279798))))
  (* (* (* x (* x (* x 0.12900613773279798))) (* x (* x (* x 0.12900613773279798)))) (* x (* x (* x 0.12900613773279798))))
  (sqrt (* x (* x (* x 0.12900613773279798))))
  (sqrt (* x (* x (* x 0.12900613773279798))))
  (* x x)
  (* (cbrt x) (* x (* x 0.12900613773279798)))
  (* (sqrt x) (* x (* x 0.12900613773279798)))
  (* x (* x (* x 0.12900613773279798)))
  (/ (exp (* 0.954929658551372 x)) (exp (* x (* x (* x 0.12900613773279798)))))
  (log (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))
  (exp (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))
  (* (cbrt (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798))))) (cbrt (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798))))))
  (cbrt (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))
  (* (* (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))) (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798))))) (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))
  (sqrt (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))
  (sqrt (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))
  (- (pow (* 0.954929658551372 x) 3) (pow (* x (* x (* x 0.12900613773279798))) 3))
  (+ (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (+ (* (* x (* x (* x 0.12900613773279798))) (* x (* x (* x 0.12900613773279798)))) (* (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798))))))
  (- (* x (* x (* x 0.12900613773279798))))
  (- (* (* 0.954929658551372 x) (* 0.954929658551372 x)) (* (* x (* x (* x 0.12900613773279798))) (* x (* x (* x 0.12900613773279798)))))
  (+ (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798))))
  (- (* x (* x (* x 0.12900613773279798))))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 2))
  (* 0.12900613773279798 (pow x 3))
  (* 0.12900613773279798 (pow x 3))
  (* 0.12900613773279798 (pow x 3))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
  (- (* 0.954929658551372 x) (* 0.12900613773279798 (pow x 3)))
12.435 * * * [progress]: adding candidates to table
12.563 * [progress]: [Phase 3 of 3] Extracting.
12.563 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* x (* (* (cbrt (* x (* x 0.12900613773279798))) (cbrt (* x (* x 0.12900613773279798)))) (cbrt (* x (* x 0.12900613773279798)))))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* (* (cbrt (* 0.12900613773279798 (* (* x x) x))) (cbrt (* 0.12900613773279798 (* (* x x) x)))) (cbrt (* 0.12900613773279798 (* (* x x) x))))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))> #<alt (λ (x) (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))>)
12.565 * * * [regime-changes]: Trying 1 branch expressions: (x)
12.565 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- (* 0.954929658551372 x) (* x (* x (* x 0.12900613773279798)))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* x (* (* (cbrt (* x (* x 0.12900613773279798))) (cbrt (* x (* x 0.12900613773279798)))) (cbrt (* x (* x 0.12900613773279798)))))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* (* (cbrt (* 0.12900613773279798 (* (* x x) x))) (cbrt (* 0.12900613773279798 (* (* x x) x)))) (cbrt (* 0.12900613773279798 (* (* x x) x))))))> #<alt (λ (x) (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798)))> #<alt (λ (x) (- (* 0.954929658551372 x) (* x (* (* x x) 0.12900613773279798))))>)
12.581 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
12.582 * [simplify]: Simplifying:
  (- (* 0.954929658551372 x) (* (pow x 3) 0.12900613773279798))
15.787 * [regime-testing]: Baseline error score: 0.08997029945517833
15.790 * [regime-testing]: Oracle error score: 0.015262840710245074
15.794 * [regime-testing]: End program error score: 0.08997029945517833