1538650450.677 * [misc]progress:  [Phase 1 of 3] Setting up.
1538650450.677 * * * [misc]progress:  [1/2] Preparing points
1538650450.679 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538650450.731 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538650450.731 * * * * [exit]points:  Sampled 256 points with exact outputs
1538650450.731 * * * [misc]progress:  [2/2] Setting up program.
1538650450.733 * [misc]progress:  [Phase 2 of 3] Improving.
1538650450.734 * [enter]simplify:  Simplifying (+ (* x (* x x)) (* x x))
1538650450.734 * * [misc]simplify:  iters left: 6 (4 enodes)
1538650450.736 * * [misc]simplify:  iters left: 5 (13 enodes)
1538650450.739 * * [misc]simplify:  iters left: 4 (21 enodes)
1538650450.744 * * [misc]simplify:  iters left: 3 (30 enodes)
1538650450.752 * * [misc]simplify:  iters left: 2 (60 enodes)
1538650450.770 * * [misc]simplify:  iters left: 1 (77 enodes)
1538650450.790 * [exit]simplify:  Simplified to (* (+ x 1) (* x x))
1538650450.801 * * [misc]progress:  iteration 1 / 4
1538650450.801 * * * [misc]progress:  picking best candidate
1538650450.811 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (* x (* x x)) (* x x)))>
1538650450.811 * * * [misc]progress:  localizing error
1538650450.831 * * * [misc]progress:  generating rewritten candidates
1538650450.831 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1538650450.858 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2)
1538650450.905 * * * [misc]progress:  generating series expansions
1538650450.905 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1538650450.906 * [misc]backup-simplify:  Simplify (* x (* x x)) into (pow x 3)
1538650450.906 * [misc]approximate:  Taking taylor expansion of (pow x 3) in (x) around 0
1538650450.906 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.906 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.906 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.906 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.906 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.906 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.906 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.906 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.906 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.907 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.907 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.907 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.907 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.907 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.907 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.908 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.908 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.908 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.908 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.908 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.909 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.909 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.909 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.910 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.910 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.910 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.911 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.911 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.911 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.911 * [misc]backup-simplify:  Simplify (* 1 (pow x 3)) into (pow x 3)
1538650450.912 * [misc]backup-simplify:  Simplify (* (/ 1 x) (* (/ 1 x) (/ 1 x))) into (/ 1 (pow x 3))
1538650450.912 * [misc]approximate:  Taking taylor expansion of (/ 1 (pow x 3)) in (x) around 0
1538650450.912 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538650450.912 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.912 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.912 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.912 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.912 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.912 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.912 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.912 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538650450.912 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.912 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.912 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.912 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.913 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.913 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.913 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.913 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.913 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.913 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.914 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538650450.914 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.914 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.914 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.915 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.915 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.915 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.915 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.916 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.916 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.916 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.916 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.917 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.917 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.917 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.918 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.918 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.918 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.919 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.919 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.920 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.920 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.920 * [misc]backup-simplify:  Simplify (* 1 (pow (/ 1 (/ 1 x)) 3)) into (pow x 3)
1538650450.921 * [misc]backup-simplify:  Simplify (* (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) into (/ -1 (pow x 3))
1538650450.921 * [misc]approximate:  Taking taylor expansion of (/ -1 (pow x 3)) in (x) around 0
1538650450.921 * [misc]taylor:  Taking taylor expansion of (/ -1 (pow x 3)) in x
1538650450.921 * [misc]taylor:  Taking taylor expansion of -1 in x
1538650450.921 * [misc]backup-simplify:  Simplify -1 into -1
1538650450.921 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.921 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.921 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.921 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.921 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.921 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.921 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538650450.921 * [misc]taylor:  Taking taylor expansion of (/ -1 (pow x 3)) in x
1538650450.921 * [misc]taylor:  Taking taylor expansion of -1 in x
1538650450.922 * [misc]backup-simplify:  Simplify -1 into -1
1538650450.922 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.922 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.922 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.922 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.922 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.922 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.922 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538650450.922 * [misc]backup-simplify:  Simplify -1 into -1
1538650450.922 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.923 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.923 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538650450.923 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.924 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.924 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.924 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.924 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.925 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.925 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.925 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.925 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.926 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.926 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.927 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.927 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.927 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.928 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.928 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.928 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.929 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.929 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.930 * [misc]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
1538650450.930 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.930 * [misc]backup-simplify:  Simplify (* -1 (pow (/ 1 (/ 1 (- x))) 3)) into (pow x 3)
1538650450.930 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2)
1538650450.931 * [misc]backup-simplify:  Simplify (+ (* x (* x x)) (* x x)) into (+ (pow x 3) (pow x 2))
1538650450.931 * [misc]approximate:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in (x) around 0
1538650450.931 * [misc]taylor:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
1538650450.931 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.931 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.931 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.931 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.931 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538650450.931 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.931 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.931 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.931 * [misc]taylor:  Taking taylor expansion of (+ (pow x 3) (pow x 2)) in x
1538650450.931 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.931 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.931 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.931 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.931 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538650450.931 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.931 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.931 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.932 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.932 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538650450.932 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.932 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.932 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.932 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.932 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538650450.933 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.933 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.933 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.933 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.933 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.933 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.934 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.934 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.934 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.934 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.935 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.935 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.935 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.936 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.936 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.936 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.936 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.937 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.937 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.937 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.937 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.938 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.938 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.939 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.939 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.939 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.939 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.940 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.940 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1538650450.941 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.941 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.941 * [misc]backup-simplify:  Simplify (+ (* 1 (pow x 3)) (* 1 (pow x 2))) into (+ (pow x 3) (pow x 2))
1538650450.941 * [misc]backup-simplify:  Simplify (+ (* (/ 1 x) (* (/ 1 x) (/ 1 x))) (* (/ 1 x) (/ 1 x))) into (+ (/ 1 (pow x 3)) (/ 1 (pow x 2)))
1538650450.941 * [misc]approximate:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in (x) around 0
1538650450.941 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
1538650450.941 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538650450.941 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.941 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.941 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.941 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.942 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.942 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.942 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.942 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538650450.942 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538650450.942 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.942 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.942 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.942 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.942 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.942 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 (pow x 3)) (/ 1 (pow x 2))) in x
1538650450.943 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538650450.943 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.943 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.943 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.943 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.943 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.943 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.943 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.943 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538650450.943 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538650450.943 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.943 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.943 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.943 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.944 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.944 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538650450.944 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.944 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.944 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.945 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538650450.945 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538650450.945 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.945 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.945 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.946 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.946 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.946 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538650450.946 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.946 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.947 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.947 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.947 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.948 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.948 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.948 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.948 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.948 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.949 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.949 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.950 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.950 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.950 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.950 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.951 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.951 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.952 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.952 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.952 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.952 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.952 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.953 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.953 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.954 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.954 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.955 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.955 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.955 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.956 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1538650450.956 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1538650450.957 * [misc]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
1538650450.957 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.958 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.958 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.958 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.959 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 (/ 1 x)) 2)) (* 1 (pow (/ 1 (/ 1 x)) 3))) into (+ (pow x 3) (pow x 2))
1538650450.959 * [misc]backup-simplify:  Simplify (+ (* (/ 1 (- x)) (* (/ 1 (- x)) (/ 1 (- x)))) (* (/ 1 (- x)) (/ 1 (- x)))) into (- (/ 1 (pow x 2)) (/ 1 (pow x 3)))
1538650450.959 * [misc]approximate:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in (x) around 0
1538650450.959 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
1538650450.959 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538650450.959 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538650450.960 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.960 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.960 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.960 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.960 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.960 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538650450.960 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.960 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.960 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.960 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.960 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.960 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.961 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.961 * [misc]taylor:  Taking taylor expansion of (- (/ 1 (pow x 2)) (/ 1 (pow x 3))) in x
1538650450.961 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 2)) in x
1538650450.961 * [misc]taylor:  Taking taylor expansion of (pow x 2) in x
1538650450.961 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.961 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.961 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.961 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.961 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.961 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow x 3)) in x
1538650450.961 * [misc]taylor:  Taking taylor expansion of (pow x 3) in x
1538650450.961 * [misc]taylor:  Taking taylor expansion of x in x
1538650450.961 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.961 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.961 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.961 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538650450.962 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538650450.962 * [misc]backup-simplify:  Simplify (- 1) into -1
1538650450.962 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538650450.962 * [misc]backup-simplify:  Simplify -1 into -1
1538650450.962 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.963 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.963 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538650450.963 * [misc]backup-simplify:  Simplify (- 0) into 0
1538650450.963 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538650450.963 * [misc]backup-simplify:  Simplify 1 into 1
1538650450.963 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538650450.964 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538650450.964 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.964 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.964 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.965 * [misc]backup-simplify:  Simplify (- 0) into 0
1538650450.965 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.965 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.965 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538650450.965 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.966 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.966 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.966 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.967 * [misc]backup-simplify:  Simplify (- 0) into 0
1538650450.967 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.967 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.967 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538650450.968 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.968 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.968 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.969 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.969 * [misc]backup-simplify:  Simplify (- 0) into 0
1538650450.969 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.969 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.970 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538650450.970 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.970 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.971 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.971 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.972 * [misc]backup-simplify:  Simplify (- 0) into 0
1538650450.972 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.972 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.972 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538650450.973 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.973 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.974 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.974 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.974 * [misc]backup-simplify:  Simplify (- 0) into 0
1538650450.975 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.975 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.975 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538650450.976 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538650450.976 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1538650450.977 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1538650450.977 * [misc]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
1538650450.978 * [misc]backup-simplify:  Simplify (- 0) into 0
1538650450.978 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538650450.978 * [misc]backup-simplify:  Simplify 0 into 0
1538650450.983 * [misc]backup-simplify:  Simplify (+ (* 1 (pow (/ 1 (/ 1 (- x))) 2)) (* -1 (pow (/ 1 (/ 1 (- x))) 3))) into (+ (pow x 3) (pow x 2))
1538650450.984 * * * [misc]progress:  simplifying candidates
1538650450.984 * * * * [misc]progress:  [ 1 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow (* x (* x x)) 1) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 2 / 29 ] simplifiying candidate #<alt (λ (x) (+ (exp (log (* x (* x x)))) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 3 / 29 ] simplifiying candidate #<alt (λ (x) (+ (log (exp (* x (* x x)))) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 4 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 5 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* (* (cbrt (* x (* x x))) (cbrt (* x (* x x)))) (cbrt (* x (* x x)))) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 6 / 29 ] simplifiying candidate #<alt (λ (x) (+ (cbrt (* (* (* x (* x x)) (* x (* x x))) (* x (* x x)))) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 7 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* (sqrt (* x (* x x))) (sqrt (* x (* x x)))) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 8 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* 1 (* x (* x x))) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 9 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) x) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 10 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* (* x x) x) (* x x)))>
1538650450.984 * * * * [misc]progress:  [ 11 / 29 ] simplifiying candidate #<alt (λ (x) (log (* (exp (* x (* x x))) (exp (* x x)))))>
1538650450.984 * [enter]simplify:  Simplifying (* (exp (* x (* x x))) (exp (* x x)))
1538650450.985 * * [misc]simplify:  iters left: 6 (6 enodes)
1538650450.989 * * [misc]simplify:  iters left: 5 (15 enodes)
1538650450.995 * * [misc]simplify:  iters left: 4 (22 enodes)
1538650451.003 * * [misc]simplify:  iters left: 3 (33 enodes)
1538650451.015 * * [misc]simplify:  iters left: 2 (45 enodes)
1538650451.033 * * [misc]simplify:  iters left: 1 (78 enodes)
1538650451.056 * [exit]simplify:  Simplified to (exp (* (* x x) (+ x 1)))
1538650451.056 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (* (* x x) (+ x 1)))))
1538650451.056 * * * * [misc]progress:  [ 12 / 29 ] simplifiying candidate #<alt (λ (x) (pow (+ (* x (* x x)) (* x x)) 1))>
1538650451.056 * * * * [misc]progress:  [ 13 / 29 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (* x (* x x)) (* x x)))))>
1538650451.056 * * * * [misc]progress:  [ 14 / 29 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (* x (* x x)) (* x x)))))>
1538650451.056 * * * * [misc]progress:  [ 15 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (* x (* x x)) (* x x))) (cbrt (+ (* x (* x x)) (* x x)))) (cbrt (+ (* x (* x x)) (* x x)))))>
1538650451.056 * * * * [misc]progress:  [ 16 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (* x (* x x)) (* x x)) (+ (* x (* x x)) (* x x))) (+ (* x (* x x)) (* x x)))))>
1538650451.056 * * * * [misc]progress:  [ 17 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (* x (* x x)) (* x x))) (sqrt (+ (* x (* x x)) (* x x)))))>
1538650451.056 * * * * [misc]progress:  [ 18 / 29 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow (* x (* x x)) 3) (pow (* x x) 3)) (+ (* (* x (* x x)) (* x (* x x))) (- (* (* x x) (* x x)) (* (* x (* x x)) (* x x))))))>
1538650451.056 * * * * [misc]progress:  [ 19 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (* x (* x x)) (* x x))))>
1538650451.056 * * * * [misc]progress:  [ 20 / 29 ] simplifiying candidate #<alt (λ (x) (/ (- (* (* x (* x x)) (* x (* x x))) (* (* x x) (* x x))) (- (* x (* x x)) (* x x))))>
1538650451.056 * * * * [misc]progress:  [ 21 / 29 ] simplifiying candidate #<alt (λ (x) (* x (+ (* x x) x)))>
1538650451.056 * [enter]simplify:  Simplifying (+ (* x x) x)
1538650451.056 * * [misc]simplify:  iters left: 4 (3 enodes)
1538650451.057 * * [misc]simplify:  iters left: 3 (7 enodes)
1538650451.059 * * [misc]simplify:  iters left: 2 (11 enodes)
1538650451.061 * * [misc]simplify:  iters left: 1 (17 enodes)
1538650451.064 * [exit]simplify:  Simplified to (+ x (* x x))
1538650451.064 * [misc]simplify:  Simplified (2 2) to (λ (x) (* x (+ x (* x x))))
1538650451.064 * * * * [misc]progress:  [ 22 / 29 ] simplifiying candidate #<alt (λ (x) (* (+ x 1) (* x x)))>
1538650451.064 * [enter]simplify:  Simplifying (+ x 1)
1538650451.065 * * [misc]simplify:  iters left: 2 (3 enodes)
1538650451.066 * * [misc]simplify:  iters left: 1 (6 enodes)
1538650451.068 * [exit]simplify:  Simplified to (+ 1 x)
1538650451.068 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ 1 x) (* x x)))
1538650451.068 * * * * [misc]progress:  [ 23 / 29 ] simplifiying candidate #<alt (λ (x) (+ (* x x) (* x (* x x))))>
1538650451.068 * * * * [misc]progress:  [ 24 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1538650451.068 * [enter]simplify:  Simplifying (pow x 3)
1538650451.068 * * [misc]simplify:  iters left: 1 (3 enodes)
1538650451.070 * [exit]simplify:  Simplified to (pow x 3)
1538650451.070 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (pow x 3) (* x x)))
1538650451.070 * * * * [misc]progress:  [ 25 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1538650451.070 * [enter]simplify:  Simplifying (pow x 3)
1538650451.070 * * [misc]simplify:  iters left: 1 (3 enodes)
1538650451.072 * [exit]simplify:  Simplified to (pow x 3)
1538650451.072 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (pow x 3) (* x x)))
1538650451.072 * * * * [misc]progress:  [ 26 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (* x x)))>
1538650451.072 * [enter]simplify:  Simplifying (pow x 3)
1538650451.072 * * [misc]simplify:  iters left: 1 (3 enodes)
1538650451.074 * [exit]simplify:  Simplified to (pow x 3)
1538650451.074 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (pow x 3) (* x x)))
1538650451.074 * * * * [misc]progress:  [ 27 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1538650451.074 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1538650451.075 * * [misc]simplify:  iters left: 3 (6 enodes)
1538650451.077 * * [misc]simplify:  iters left: 2 (10 enodes)
1538650451.083 * * [misc]simplify:  iters left: 1 (19 enodes)
1538650451.090 * [exit]simplify:  Simplified to (* (* x x) (+ x 1))
1538650451.090 * [misc]simplify:  Simplified (2) to (λ (x) (* (* x x) (+ x 1)))
1538650451.090 * * * * [misc]progress:  [ 28 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1538650451.091 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1538650451.091 * * [misc]simplify:  iters left: 3 (6 enodes)
1538650451.094 * * [misc]simplify:  iters left: 2 (10 enodes)
1538650451.103 * * [misc]simplify:  iters left: 1 (19 enodes)
1538650451.110 * [exit]simplify:  Simplified to (* (* x x) (+ x 1))
1538650451.110 * [misc]simplify:  Simplified (2) to (λ (x) (* (* x x) (+ x 1)))
1538650451.110 * * * * [misc]progress:  [ 29 / 29 ] simplifiying candidate #<alt (λ (x) (+ (pow x 3) (pow x 2)))>
1538650451.110 * [enter]simplify:  Simplifying (+ (pow x 3) (pow x 2))
1538650451.111 * * [misc]simplify:  iters left: 3 (6 enodes)
1538650451.113 * * [misc]simplify:  iters left: 2 (10 enodes)
1538650451.119 * * [misc]simplify:  iters left: 1 (19 enodes)
1538650451.126 * [exit]simplify:  Simplified to (* (* x x) (+ x 1))
1538650451.126 * [misc]simplify:  Simplified (2) to (λ (x) (* (* x x) (+ x 1)))
1538650451.126 * * * [misc]progress:  adding candidates to table
1538650451.398 * * [misc]progress:  iteration 2 / 4
1538650451.398 * * * [misc]progress:  picking best candidate
1538650451.401 * * * * [misc]pick:  Picked  #<alt (λ (x) (* x (+ (* x x) x)))>
1538650451.401 * * * [misc]progress:  localizing error
1538650451.407 * * * [misc]progress:  generating rewritten candidates
1538650451.407 * * * [misc]progress:  generating series expansions
1538650451.407 * * * [misc]progress:  simplifying candidates
1538650451.407 * * * [misc]progress:  adding candidates to table
1538650451.407 * [misc]progress:  [Phase 3 of 3] Extracting.
1538650451.409 * [enter]simplify:  Simplifying (* x (+ (* x x) x))
1538650451.410 * * [misc]simplify:  iters left: 6 (4 enodes)
1538650451.410 * * [misc]simplify:  iters left: 5 (6 enodes)
1538650451.411 * [exit]simplify:  Simplified to (* x (+ (* x x) x))
1538650451.411 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538650453.057 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538650453.060 * * * * [exit]points:  Sampled 8000 points with exact outputs