337.611 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.013 * * * [progress]: [2/2] Setting up program. 0.015 * [progress]: [Phase 2 of 3] Improving. 0.015 * [simplify]: Simplifying using # : (+ (* x x) 1.0) 0.016 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.016 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 0.017 * * [simplify]: iteration done : 5 enodes (cost 5 ) 0.017 * [simplify]: Simplified to: (+ (* x x) 1.0) 0.017 * * [progress]: iteration 1 / 4 0.017 * * * [progress]: picking best candidate 0.019 * * * * [pick]: Picked # 0.019 * * * [progress]: localizing error 0.022 * * * [progress]: generating rewritten candidates 0.022 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.027 * * * [progress]: generating series expansions 0.027 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.027 * [approximate]: Taking taylor expansion of (+ (pow x 2) 1.0) in (x) around 0 0.027 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.027 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.027 * [taylor]: Taking taylor expansion of x in x 0.027 * [taylor]: Taking taylor expansion of 1.0 in x 0.027 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x 0.027 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.027 * [taylor]: Taking taylor expansion of x in x 0.027 * [taylor]: Taking taylor expansion of 1.0 in x 0.028 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0 0.028 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.028 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.028 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of 1.0 in x 0.028 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.028 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.028 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.028 * [taylor]: Taking taylor expansion of x in x 0.028 * [taylor]: Taking taylor expansion of 1.0 in x 0.029 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in (x) around 0 0.029 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.029 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.029 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.029 * [taylor]: Taking taylor expansion of x in x 0.029 * [taylor]: Taking taylor expansion of 1.0 in x 0.030 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x 0.030 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.030 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.030 * [taylor]: Taking taylor expansion of x in x 0.030 * [taylor]: Taking taylor expansion of 1.0 in x 0.031 * * * [progress]: simplifying candidates 0.031 * [simplify]: Simplifying using # : (* (exp (* x x)) (exp 1.0)) (log (+ (* x x) 1.0)) (exp (+ (* x x) 1.0)) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0))) (cbrt (+ (* x x) 1.0)) (* (* (+ (* x x) 1.0) (+ (* x x) 1.0)) (+ (* x x) 1.0)) (sqrt (+ (* x x) 1.0)) (sqrt (+ (* x x) 1.0)) (+ (pow (* x x) 3) (pow 1.0 3)) (+ (* (* x x) (* x x)) (- (* 1.0 1.0) (* (* x x) 1.0))) (- (* (* x x) (* x x)) (* 1.0 1.0)) (- (* x x) 1.0) (+ (pow x 2) 1.0) (+ (pow x 2) 1.0) (+ (pow x 2) 1.0) 0.032 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.033 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.034 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 0.036 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 0.040 * * [simplify]: iteration 4 : 53 enodes (cost 6 ) 0.049 * * [simplify]: iteration 5 : 121 enodes (cost 6 ) 0.092 * * [simplify]: iteration 6 : 313 enodes (cost 6 ) 0.340 * * [simplify]: iteration 7 : 1010 enodes (cost 6 ) 2.605 * * [simplify]: iteration 8 : 3782 enodes (cost 6 ) 4.831 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.831 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 4.832 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 4.833 * * [simplify]: iteration done : 6 enodes (cost 6 ) 4.833 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 4.834 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 4.835 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 4.837 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 4.839 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 4.842 * * [simplify]: iteration 5 : 51 enodes (cost 6 ) 4.851 * * [simplify]: iteration 6 : 117 enodes (cost 6 ) 4.894 * * [simplify]: iteration 7 : 306 enodes (cost 6 ) 5.149 * * [simplify]: iteration 8 : 1004 enodes (cost 6 ) 7.461 * * [simplify]: iteration 9 : 3787 enodes (cost 6 ) 9.688 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 9.689 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 9.689 * * [simplify]: iteration 1 : 7 enodes (cost 13 ) 9.690 * * [simplify]: iteration done : 7 enodes (cost 13 ) 9.691 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 9.691 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 9.692 * * [simplify]: iteration done : 6 enodes (cost 6 ) 9.693 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 9.694 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 9.698 * * [simplify]: iteration 2 : 62 enodes (cost 7 ) 9.714 * * [simplify]: iteration 3 : 166 enodes (cost 7 ) 9.775 * * [simplify]: iteration 4 : 413 enodes (cost 7 ) 10.038 * * [simplify]: iteration 5 : 1137 enodes (cost 7 ) 11.069 * * [simplify]: iteration 6 : 2577 enodes (cost 7 ) 13.436 * * [simplify]: iteration 7 : 4034 enodes (cost 7 ) 14.730 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 14.731 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.731 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 14.732 * * [simplify]: iteration done : 6 enodes (cost 6 ) 14.733 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 14.733 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 14.734 * * [simplify]: iteration done : 6 enodes (cost 6 ) 14.734 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 14.736 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 14.739 * * [simplify]: iteration 2 : 47 enodes (cost 7 ) 14.747 * * [simplify]: iteration 3 : 87 enodes (cost 7 ) 14.769 * * [simplify]: iteration 4 : 180 enodes (cost 7 ) 14.831 * * [simplify]: iteration 5 : 455 enodes (cost 7 ) 15.158 * * [simplify]: iteration 6 : 1467 enodes (cost 7 ) 16.719 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 16.720 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 16.721 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 16.725 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 16.738 * * [simplify]: iteration 3 : 85 enodes (cost 11 ) 16.754 * * [simplify]: iteration 4 : 138 enodes (cost 11 ) 16.783 * * [simplify]: iteration 5 : 237 enodes (cost 11 ) 16.884 * * [simplify]: iteration 6 : 485 enodes (cost 11 ) 17.197 * * [simplify]: iteration 7 : 1244 enodes (cost 11 ) 21.083 * * [simplify]: iteration 8 : 4856 enodes (cost 11 ) 22.582 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 22.583 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 22.584 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 22.586 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 22.590 * * [simplify]: iteration 3 : 50 enodes (cost 7 ) 22.603 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 22.624 * * [simplify]: iteration 5 : 186 enodes (cost 7 ) 22.672 * * [simplify]: iteration 6 : 349 enodes (cost 7 ) 22.808 * * [simplify]: iteration 7 : 830 enodes (cost 7 ) 24.190 * * [simplify]: iteration 8 : 3556 enodes (cost 7 ) 26.188 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 26.189 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 26.190 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 26.191 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 26.192 * * [simplify]: iteration done : 7 enodes (cost 5 ) 26.192 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 26.193 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 26.194 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 26.195 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 26.197 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 26.199 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 26.203 * * [simplify]: iteration 6 : 62 enodes (cost 5 ) 26.216 * * [simplify]: iteration 7 : 126 enodes (cost 5 ) 26.261 * * [simplify]: iteration 8 : 342 enodes (cost 5 ) 26.709 * * [simplify]: iteration 9 : 1264 enodes (cost 5 ) 29.037 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 29.038 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.039 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 29.044 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 29.045 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 29.046 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 29.049 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 29.052 * * [simplify]: iteration 6 : 62 enodes (cost 5 ) 29.061 * * [simplify]: iteration 7 : 126 enodes (cost 5 ) 29.108 * * [simplify]: iteration 8 : 342 enodes (cost 5 ) 29.553 * * [simplify]: iteration 9 : 1264 enodes (cost 5 ) 31.884 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 31.884 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 31.885 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 31.886 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 31.888 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 31.889 * * [simplify]: iteration 4 : 30 enodes (cost 5 ) 31.891 * * [simplify]: iteration 5 : 40 enodes (cost 5 ) 31.895 * * [simplify]: iteration 6 : 62 enodes (cost 5 ) 31.904 * * [simplify]: iteration 7 : 126 enodes (cost 5 ) 31.954 * * [simplify]: iteration 8 : 342 enodes (cost 5 ) 32.413 * * [simplify]: iteration 9 : 1264 enodes (cost 5 ) 34.765 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 34.766 * [simplify]: Simplified to: (exp (+ (* x x) 1.0)) (log (+ (* x x) 1.0)) (exp (+ (* x x) 1.0)) (* (cbrt (+ (* x x) 1.0)) (cbrt (+ (* x x) 1.0))) (cbrt (+ (* x x) 1.0)) (pow (+ (* x x) 1.0) 3) (sqrt (+ (* x x) 1.0)) (sqrt (+ (* x x) 1.0)) (+ (pow x 6) (pow 1.0 3)) (+ (* 1.0 (- 1.0 (* x x))) (pow x 4)) (- (pow x 4) (* 1.0 1.0)) (- (* x x) 1.0) (+ (pow x 2) 1.0) (+ (pow x 2) 1.0) (+ (pow x 2) 1.0) 34.766 * * * [progress]: adding candidates to table 34.782 * [progress]: [Phase 3 of 3] Extracting. 34.783 * [simplify]: Simplifying using # : (+ (* x x) 1.0) 34.784 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 34.784 * * [simplify]: iteration 1 : 5 enodes (cost 5 ) 34.784 * * [simplify]: iteration done : 5 enodes (cost 5 ) 34.784 * [simplify]: Simplified to: (+ (* x x) 1.0) 35.309 * [regime-testing]: End program error score: 0.0008751093886735842