1.560 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.029 * * * [progress]: [2/2] Setting up program. 0.033 * [progress]: [Phase 2 of 3] Improving. 0.036 * [simplify]: Simplifying using # : (- (* (+ x 1.0) (+ x 1.0)) 1.0) 0.039 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 0.042 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.059 * * [simplify]: iteration 2 : 32 enodes (cost 9 ) 0.065 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 0.080 * * [simplify]: iteration 4 : 155 enodes (cost 9 ) 0.129 * * [simplify]: iteration 5 : 257 enodes (cost 9 ) 0.226 * * [simplify]: iteration 6 : 369 enodes (cost 9 ) 0.379 * * [simplify]: iteration 7 : 599 enodes (cost 9 ) 0.955 * * [simplify]: iteration 8 : 1262 enodes (cost 9 ) 1.674 * * [simplify]: iteration 9 : 1759 enodes (cost 9 ) 2.386 * * [simplify]: iteration 10 : 2091 enodes (cost 9 ) 3.267 * * [simplify]: iteration 11 : 2352 enodes (cost 9 ) 4.259 * * [simplify]: iteration 12 : 2574 enodes (cost 9 ) 5.169 * * [simplify]: iteration 13 : 2839 enodes (cost 9 ) 7.168 * * [simplify]: iteration 14 : 4021 enodes (cost 9 ) 8.189 * * [simplify]: iteration 15 : 4069 enodes (cost 9 ) 9.320 * * [simplify]: iteration 16 : 4126 enodes (cost 9 ) 10.575 * * [simplify]: iteration 17 : 4150 enodes (cost 9 ) 11.866 * * [simplify]: iteration done : 4150 enodes (cost 9 ) 11.866 * [simplify]: Simplified to: (- (* (+ x 1.0) (+ x 1.0)) 1.0) 11.873 * * [progress]: iteration 1 / 4 11.873 * * * [progress]: picking best candidate 11.875 * * * * [pick]: Picked # 11.875 * * * [progress]: localizing error 11.881 * * * [progress]: generating rewritten candidates 11.881 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 11.891 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 11.902 * * * [progress]: generating series expansions 11.902 * * * * [progress]: [ 1 / 2 ] generating series at (2) 11.907 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in (x) around 0 11.908 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 11.908 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 11.908 * [taylor]: Taking taylor expansion of 2.0 in x 11.908 * [taylor]: Taking taylor expansion of x in x 11.908 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.909 * [taylor]: Taking taylor expansion of x in x 11.909 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 11.909 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 11.909 * [taylor]: Taking taylor expansion of 2.0 in x 11.909 * [taylor]: Taking taylor expansion of x in x 11.909 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.909 * [taylor]: Taking taylor expansion of x in x 11.911 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0 11.911 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 11.911 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.911 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.911 * [taylor]: Taking taylor expansion of x in x 11.912 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 11.912 * [taylor]: Taking taylor expansion of 2.0 in x 11.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.912 * [taylor]: Taking taylor expansion of x in x 11.912 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 11.912 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.912 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.912 * [taylor]: Taking taylor expansion of x in x 11.912 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 11.912 * [taylor]: Taking taylor expansion of 2.0 in x 11.912 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.912 * [taylor]: Taking taylor expansion of x in x 11.914 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0 11.914 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 11.914 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.914 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.914 * [taylor]: Taking taylor expansion of x in x 11.914 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 11.914 * [taylor]: Taking taylor expansion of 2.0 in x 11.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.914 * [taylor]: Taking taylor expansion of x in x 11.914 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 11.914 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 11.914 * [taylor]: Taking taylor expansion of (pow x 2) in x 11.914 * [taylor]: Taking taylor expansion of x in x 11.914 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 11.914 * [taylor]: Taking taylor expansion of 2.0 in x 11.914 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.914 * [taylor]: Taking taylor expansion of x in x 11.922 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 11.922 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 2) in (x) around 0 11.922 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x 11.922 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 11.922 * [taylor]: Taking taylor expansion of x in x 11.922 * [taylor]: Taking taylor expansion of 1.0 in x 11.922 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x 11.923 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 11.923 * [taylor]: Taking taylor expansion of x in x 11.923 * [taylor]: Taking taylor expansion of 1.0 in x 11.923 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in (x) around 0 11.923 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x 11.923 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 11.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.923 * [taylor]: Taking taylor expansion of x in x 11.923 * [taylor]: Taking taylor expansion of 1.0 in x 11.923 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x 11.923 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 11.923 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.923 * [taylor]: Taking taylor expansion of x in x 11.923 * [taylor]: Taking taylor expansion of 1.0 in x 11.924 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in (x) around 0 11.924 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x 11.924 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 11.924 * [taylor]: Taking taylor expansion of 1.0 in x 11.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.924 * [taylor]: Taking taylor expansion of x in x 11.924 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x 11.924 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 11.924 * [taylor]: Taking taylor expansion of 1.0 in x 11.924 * [taylor]: Taking taylor expansion of (/ 1 x) in x 11.924 * [taylor]: Taking taylor expansion of x in x 11.924 * * * [progress]: simplifying candidates 11.925 * [simplify]: Simplifying using # : (/ (exp (* (+ x 1.0) (+ x 1.0))) (exp 1.0)) (log (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (* (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (* (* (- (* (+ x 1.0) (+ x 1.0)) 1.0) (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- (pow (* (+ x 1.0) (+ x 1.0)) 3) (pow 1.0 3)) (+ (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (+ (* 1.0 1.0) (* (* (+ x 1.0) (+ x 1.0)) 1.0))) (neg 1.0) (- (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* 1.0 1.0)) (+ (* (+ x 1.0) (+ x 1.0)) 1.0) (+ (+ x 1.0) (sqrt 1.0)) (- (+ x 1.0) (sqrt 1.0)) (- (* (+ x 1.0) 1.0) 1.0) (- (* 1.0 (+ x 1.0)) 1.0) (neg 1.0) (+ 1 1) (* (+ x 1.0) (+ x 1.0)) (+ 1 1) (+ (log (+ x 1.0)) (log (+ x 1.0))) (log (* (+ x 1.0) (+ x 1.0))) (exp (* (+ x 1.0) (+ x 1.0))) (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0))) (* (cbrt (* (+ x 1.0) (+ x 1.0))) (cbrt (* (+ x 1.0) (+ x 1.0)))) (cbrt (* (+ x 1.0) (+ x 1.0))) (* (* (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0))) (* (+ x 1.0) (+ x 1.0))) (sqrt (* (+ x 1.0) (+ x 1.0))) (sqrt (* (+ x 1.0) (+ x 1.0))) (* (+ (pow x 3) (pow 1.0 3)) (+ (pow x 3) (pow 1.0 3))) (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) (- x 1.0)) (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3))) (* (- x 1.0) (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (* (- (* x x) (* 1.0 1.0)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (- x 1.0)) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 1 1) (* (+ x 1.0) (+ x 1.0)) (* 1 1) (* (+ x 1.0) (+ x 1.0)) (* 1 1) (* (+ x 1.0) (+ x 1.0)) (* 1 1) (* (+ x 1.0) (+ x 1.0)) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* (sqrt (+ x 1.0)) (sqrt (+ x 1.0))) (* 2 1) (* (+ x 1.0) x) (* (+ x 1.0) 1.0) (* x (+ x 1.0)) (* 1.0 (+ x 1.0)) (* (+ x 1.0) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (+ x 1.0) (sqrt (+ x 1.0))) (* (+ x 1.0) 1) (* (+ x 1.0) 1) (* (cbrt (+ x 1.0)) (+ x 1.0)) (* (sqrt (+ x 1.0)) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ (pow x 3) (pow 1.0 3))) (* (+ x 1.0) (- (* x x) (* 1.0 1.0))) (* (+ (pow x 3) (pow 1.0 3)) (+ x 1.0)) (* (- (* x x) (* 1.0 1.0)) (+ x 1.0)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (+ (pow x 2) 1.0)) (+ (* 2.0 x) (+ (pow x 2) 1.0)) (+ (* 2.0 x) (+ (pow x 2) 1.0)) 11.926 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 11.927 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 11.929 * * [simplify]: iteration 2 : 45 enodes (cost 10 ) 11.936 * * [simplify]: iteration 3 : 101 enodes (cost 10 ) 11.955 * * [simplify]: iteration 4 : 284 enodes (cost 10 ) 12.056 * * [simplify]: iteration 5 : 785 enodes (cost 10 ) 12.651 * * [simplify]: iteration 6 : 2668 enodes (cost 10 ) 13.488 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 13.488 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 13.489 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 13.491 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 13.496 * * [simplify]: iteration 3 : 70 enodes (cost 10 ) 13.513 * * [simplify]: iteration 4 : 156 enodes (cost 10 ) 13.558 * * [simplify]: iteration 5 : 258 enodes (cost 10 ) 13.648 * * [simplify]: iteration 6 : 370 enodes (cost 10 ) 13.791 * * [simplify]: iteration 7 : 601 enodes (cost 10 ) 14.329 * * [simplify]: iteration 8 : 1264 enodes (cost 10 ) 14.999 * * [simplify]: iteration 9 : 1761 enodes (cost 10 ) 15.644 * * [simplify]: iteration 10 : 2085 enodes (cost 10 ) 16.471 * * [simplify]: iteration 11 : 2352 enodes (cost 10 ) 17.415 * * [simplify]: iteration 12 : 2573 enodes (cost 10 ) 18.177 * * [simplify]: iteration 13 : 2838 enodes (cost 10 ) 20.076 * * [simplify]: iteration 14 : 4020 enodes (cost 10 ) 21.048 * * [simplify]: iteration 15 : 4068 enodes (cost 10 ) 22.129 * * [simplify]: iteration 16 : 4128 enodes (cost 10 ) 23.568 * * [simplify]: iteration 17 : 4157 enodes (cost 10 ) 24.867 * * [simplify]: iteration 18 : 4167 enodes (cost 10 ) 26.158 * * [simplify]: iteration 19 : 4184 enodes (cost 10 ) 27.440 * * [simplify]: iteration 20 : 4204 enodes (cost 10 ) 28.755 * * [simplify]: iteration 21 : 4286 enodes (cost 10 ) 30.439 * * [simplify]: iteration 22 : 4591 enodes (cost 10 ) 31.908 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 31.908 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 31.909 * * [simplify]: iteration 1 : 18 enodes (cost 10 ) 31.911 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 31.918 * * [simplify]: iteration 3 : 108 enodes (cost 10 ) 31.940 * * [simplify]: iteration 4 : 297 enodes (cost 10 ) 32.063 * * [simplify]: iteration 5 : 861 enodes (cost 10 ) 33.145 * * [simplify]: iteration 6 : 3173 enodes (cost 10 ) 34.188 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 34.189 * * [simplify]: iteration 0 : 7 enodes (cost 21 ) 34.190 * * [simplify]: iteration 1 : 16 enodes (cost 21 ) 34.192 * * [simplify]: iteration 2 : 34 enodes (cost 21 ) 34.197 * * [simplify]: iteration 3 : 71 enodes (cost 21 ) 34.211 * * [simplify]: iteration 4 : 157 enodes (cost 21 ) 34.256 * * [simplify]: iteration 5 : 257 enodes (cost 21 ) 34.346 * * [simplify]: iteration 6 : 366 enodes (cost 21 ) 34.491 * * [simplify]: iteration 7 : 596 enodes (cost 21 ) 35.040 * * [simplify]: iteration 8 : 1258 enodes (cost 21 ) 35.694 * * [simplify]: iteration 9 : 1755 enodes (cost 21 ) 36.332 * * [simplify]: iteration 10 : 2088 enodes (cost 21 ) 37.149 * * [simplify]: iteration 11 : 2355 enodes (cost 21 ) 38.079 * * [simplify]: iteration 12 : 2590 enodes (cost 21 ) 38.824 * * [simplify]: iteration 13 : 2855 enodes (cost 21 ) 40.716 * * [simplify]: iteration 14 : 4047 enodes (cost 21 ) 41.660 * * [simplify]: iteration 15 : 4095 enodes (cost 21 ) 42.721 * * [simplify]: iteration 16 : 4153 enodes (cost 21 ) 44.097 * * [simplify]: iteration 17 : 4177 enodes (cost 21 ) 45.376 * * [simplify]: iteration done : 4177 enodes (cost 21 ) 45.377 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 45.377 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 45.379 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 45.385 * * [simplify]: iteration 3 : 70 enodes (cost 10 ) 45.398 * * [simplify]: iteration 4 : 156 enodes (cost 10 ) 45.444 * * [simplify]: iteration 5 : 258 enodes (cost 10 ) 45.535 * * [simplify]: iteration 6 : 370 enodes (cost 10 ) 45.681 * * [simplify]: iteration 7 : 601 enodes (cost 10 ) 46.231 * * [simplify]: iteration 8 : 1264 enodes (cost 10 ) 46.907 * * [simplify]: iteration 9 : 1761 enodes (cost 10 ) 47.565 * * [simplify]: iteration 10 : 2085 enodes (cost 10 ) 48.396 * * [simplify]: iteration 11 : 2352 enodes (cost 10 ) 49.358 * * [simplify]: iteration 12 : 2573 enodes (cost 10 ) 50.115 * * [simplify]: iteration 13 : 2838 enodes (cost 10 ) 52.001 * * [simplify]: iteration 14 : 4020 enodes (cost 10 ) 52.967 * * [simplify]: iteration 15 : 4068 enodes (cost 10 ) 54.053 * * [simplify]: iteration 16 : 4128 enodes (cost 10 ) 55.319 * * [simplify]: iteration 17 : 4152 enodes (cost 10 ) 56.623 * * [simplify]: iteration done : 4152 enodes (cost 10 ) 56.623 * * [simplify]: iteration 0 : 7 enodes (cost 29 ) 56.624 * * [simplify]: iteration 1 : 17 enodes (cost 29 ) 56.627 * * [simplify]: iteration 2 : 49 enodes (cost 11 ) 56.636 * * [simplify]: iteration 3 : 175 enodes (cost 11 ) 56.714 * * [simplify]: iteration 4 : 1111 enodes (cost 11 ) 57.554 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 57.555 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 57.560 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 57.562 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 57.568 * * [simplify]: iteration 3 : 70 enodes (cost 10 ) 57.581 * * [simplify]: iteration 4 : 156 enodes (cost 10 ) 57.625 * * [simplify]: iteration 5 : 258 enodes (cost 10 ) 57.717 * * [simplify]: iteration 6 : 370 enodes (cost 10 ) 57.863 * * [simplify]: iteration 7 : 601 enodes (cost 10 ) 58.408 * * [simplify]: iteration 8 : 1264 enodes (cost 10 ) 59.079 * * [simplify]: iteration 9 : 1761 enodes (cost 10 ) 59.732 * * [simplify]: iteration 10 : 2085 enodes (cost 10 ) 60.557 * * [simplify]: iteration 11 : 2352 enodes (cost 10 ) 61.507 * * [simplify]: iteration 12 : 2573 enodes (cost 10 ) 62.273 * * [simplify]: iteration 13 : 2838 enodes (cost 10 ) 64.345 * * [simplify]: iteration 14 : 4020 enodes (cost 10 ) 65.297 * * [simplify]: iteration 15 : 4068 enodes (cost 10 ) 66.357 * * [simplify]: iteration 16 : 4128 enodes (cost 10 ) 67.596 * * [simplify]: iteration 17 : 4152 enodes (cost 10 ) 68.873 * * [simplify]: iteration done : 4152 enodes (cost 10 ) 68.873 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 68.874 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 68.876 * * [simplify]: iteration 2 : 33 enodes (cost 10 ) 68.881 * * [simplify]: iteration 3 : 70 enodes (cost 10 ) 68.898 * * [simplify]: iteration 4 : 156 enodes (cost 10 ) 68.941 * * [simplify]: iteration 5 : 258 enodes (cost 10 ) 69.030 * * [simplify]: iteration 6 : 370 enodes (cost 10 ) 69.174 * * [simplify]: iteration 7 : 601 enodes (cost 10 ) 69.714 * * [simplify]: iteration 8 : 1264 enodes (cost 10 ) 70.383 * * [simplify]: iteration 9 : 1761 enodes (cost 10 ) 71.033 * * [simplify]: iteration 10 : 2085 enodes (cost 10 ) 71.854 * * [simplify]: iteration 11 : 2352 enodes (cost 10 ) 72.802 * * [simplify]: iteration 12 : 2573 enodes (cost 10 ) 73.569 * * [simplify]: iteration 13 : 2838 enodes (cost 10 ) 75.472 * * [simplify]: iteration 14 : 4020 enodes (cost 10 ) 76.447 * * [simplify]: iteration 15 : 4068 enodes (cost 10 ) 77.531 * * [simplify]: iteration 16 : 4128 enodes (cost 10 ) 78.800 * * [simplify]: iteration 17 : 4152 enodes (cost 10 ) 80.108 * * [simplify]: iteration done : 4152 enodes (cost 10 ) 80.108 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 80.110 * * [simplify]: iteration 1 : 32 enodes (cost 13 ) 80.120 * * [simplify]: iteration 2 : 96 enodes (cost 9 ) 80.139 * * [simplify]: iteration 3 : 299 enodes (cost 9 ) 80.273 * * [simplify]: iteration 4 : 1197 enodes (cost 9 ) 81.507 * * [simplify]: iteration done : 5002 enodes (cost 9 ) 81.507 * * [simplify]: iteration 0 : 9 enodes (cost 29 ) 81.514 * * [simplify]: iteration 1 : 28 enodes (cost 27 ) 81.519 * * [simplify]: iteration 2 : 85 enodes (cost 21 ) 81.541 * * [simplify]: iteration 3 : 256 enodes (cost 17 ) 81.649 * * [simplify]: iteration 4 : 1028 enodes (cost 17 ) 82.565 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 82.565 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 82.566 * * [simplify]: iteration done : 2 enodes (cost 2 ) 82.566 * * [simplify]: iteration 0 : 7 enodes (cost 19 ) 82.567 * * [simplify]: iteration 1 : 23 enodes (cost 19 ) 82.571 * * [simplify]: iteration 2 : 76 enodes (cost 13 ) 82.588 * * [simplify]: iteration 3 : 256 enodes (cost 9 ) 82.687 * * [simplify]: iteration 4 : 1141 enodes (cost 9 ) 84.114 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 84.114 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 84.115 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 84.117 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 84.122 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 84.137 * * [simplify]: iteration 4 : 144 enodes (cost 9 ) 84.173 * * [simplify]: iteration 5 : 226 enodes (cost 9 ) 84.248 * * [simplify]: iteration 6 : 270 enodes (cost 9 ) 84.303 * * [simplify]: iteration 7 : 275 enodes (cost 9 ) 84.358 * * [simplify]: iteration done : 275 enodes (cost 9 ) 84.358 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 84.359 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 84.360 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 84.361 * * [simplify]: iteration done : 15 enodes (cost 6 ) 84.362 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 84.362 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 84.363 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 84.365 * * [simplify]: iteration 3 : 23 enodes (cost 6 ) 84.367 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 84.370 * * [simplify]: iteration 5 : 38 enodes (cost 6 ) 84.375 * * [simplify]: iteration 6 : 51 enodes (cost 6 ) 84.382 * * [simplify]: iteration 7 : 64 enodes (cost 6 ) 84.388 * * [simplify]: iteration 8 : 73 enodes (cost 6 ) 84.395 * * [simplify]: iteration 9 : 82 enodes (cost 6 ) 84.405 * * [simplify]: iteration 10 : 97 enodes (cost 6 ) 84.414 * * [simplify]: iteration 11 : 104 enodes (cost 6 ) 84.424 * * [simplify]: iteration done : 104 enodes (cost 6 ) 84.424 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 84.425 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 84.426 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 84.428 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 84.432 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 84.435 * * [simplify]: iteration 5 : 35 enodes (cost 7 ) 84.439 * * [simplify]: iteration 6 : 43 enodes (cost 7 ) 84.444 * * [simplify]: iteration 7 : 60 enodes (cost 7 ) 84.455 * * [simplify]: iteration 8 : 92 enodes (cost 7 ) 84.480 * * [simplify]: iteration 9 : 175 enodes (cost 7 ) 84.504 * * [simplify]: iteration 10 : 225 enodes (cost 7 ) 84.544 * * [simplify]: iteration 11 : 292 enodes (cost 7 ) 84.601 * * [simplify]: iteration 12 : 345 enodes (cost 7 ) 84.673 * * [simplify]: iteration 13 : 503 enodes (cost 7 ) 85.024 * * [simplify]: iteration 14 : 952 enodes (cost 7 ) 85.183 * * [simplify]: iteration 15 : 954 enodes (cost 7 ) 85.313 * * [simplify]: iteration done : 954 enodes (cost 7 ) 85.314 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 85.314 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 85.316 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 85.319 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 85.322 * * [simplify]: iteration 4 : 32 enodes (cost 7 ) 85.326 * * [simplify]: iteration 5 : 38 enodes (cost 7 ) 85.330 * * [simplify]: iteration 6 : 52 enodes (cost 7 ) 85.338 * * [simplify]: iteration 7 : 78 enodes (cost 7 ) 85.356 * * [simplify]: iteration 8 : 126 enodes (cost 7 ) 85.372 * * [simplify]: iteration 9 : 178 enodes (cost 7 ) 85.411 * * [simplify]: iteration 10 : 263 enodes (cost 7 ) 85.461 * * [simplify]: iteration 11 : 310 enodes (cost 7 ) 85.524 * * [simplify]: iteration 12 : 461 enodes (cost 7 ) 85.855 * * [simplify]: iteration 13 : 904 enodes (cost 7 ) 86.024 * * [simplify]: iteration 14 : 943 enodes (cost 7 ) 86.155 * * [simplify]: iteration done : 943 enodes (cost 7 ) 86.155 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 86.155 * * [simplify]: iteration done : 2 enodes (cost 2 ) 86.156 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 86.156 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 86.156 * * [simplify]: iteration done : 6 enodes (cost 1 ) 86.157 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 86.158 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 86.159 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 86.163 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 86.168 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 86.180 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 86.190 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 86.202 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 86.213 * * [simplify]: iteration done : 84 enodes (cost 7 ) 86.214 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 86.214 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 86.215 * * [simplify]: iteration done : 6 enodes (cost 1 ) 86.215 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 86.216 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 86.216 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 86.217 * * [simplify]: iteration done : 9 enodes (cost 6 ) 86.218 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 86.218 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 86.220 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 86.224 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 86.233 * * [simplify]: iteration 4 : 65 enodes (cost 6 ) 86.242 * * [simplify]: iteration 5 : 80 enodes (cost 6 ) 86.253 * * [simplify]: iteration 6 : 87 enodes (cost 6 ) 86.265 * * [simplify]: iteration 7 : 89 enodes (cost 6 ) 86.278 * * [simplify]: iteration done : 89 enodes (cost 6 ) 86.279 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 86.279 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 86.281 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 86.287 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 86.297 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 86.329 * * [simplify]: iteration 5 : 323 enodes (cost 8 ) 86.450 * * [simplify]: iteration 6 : 988 enodes (cost 8 ) 87.616 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 87.617 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 87.618 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 87.624 * * [simplify]: iteration 2 : 105 enodes (cost 11 ) 87.654 * * [simplify]: iteration 3 : 362 enodes (cost 5 ) 87.840 * * [simplify]: iteration 4 : 1483 enodes (cost 5 ) 89.755 * * [simplify]: iteration done : 5002 enodes (cost 5 ) 89.756 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 89.756 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 89.758 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 89.762 * * [simplify]: iteration 3 : 42 enodes (cost 17 ) 89.768 * * [simplify]: iteration 4 : 61 enodes (cost 17 ) 89.777 * * [simplify]: iteration 5 : 77 enodes (cost 17 ) 89.789 * * [simplify]: iteration 6 : 84 enodes (cost 17 ) 89.801 * * [simplify]: iteration 7 : 86 enodes (cost 17 ) 89.813 * * [simplify]: iteration done : 86 enodes (cost 17 ) 89.813 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 89.814 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 89.815 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 89.819 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 89.825 * * [simplify]: iteration 4 : 62 enodes (cost 8 ) 89.835 * * [simplify]: iteration 5 : 78 enodes (cost 8 ) 89.846 * * [simplify]: iteration 6 : 85 enodes (cost 8 ) 89.857 * * [simplify]: iteration 7 : 87 enodes (cost 8 ) 89.869 * * [simplify]: iteration done : 87 enodes (cost 8 ) 89.869 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 89.870 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 89.875 * * [simplify]: iteration 2 : 92 enodes (cost 9 ) 89.901 * * [simplify]: iteration 3 : 297 enodes (cost 5 ) 90.042 * * [simplify]: iteration 4 : 1027 enodes (cost 5 ) 91.370 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 91.370 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 91.371 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 91.373 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 91.376 * * [simplify]: iteration 3 : 42 enodes (cost 4 ) 91.382 * * [simplify]: iteration 4 : 61 enodes (cost 4 ) 91.391 * * [simplify]: iteration 5 : 77 enodes (cost 4 ) 91.402 * * [simplify]: iteration 6 : 84 enodes (cost 4 ) 91.415 * * [simplify]: iteration 7 : 86 enodes (cost 4 ) 91.427 * * [simplify]: iteration done : 86 enodes (cost 4 ) 91.427 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 91.428 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 91.430 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 91.433 * * [simplify]: iteration 3 : 42 enodes (cost 4 ) 91.439 * * [simplify]: iteration 4 : 61 enodes (cost 4 ) 91.448 * * [simplify]: iteration 5 : 77 enodes (cost 4 ) 91.460 * * [simplify]: iteration 6 : 84 enodes (cost 4 ) 91.472 * * [simplify]: iteration 7 : 86 enodes (cost 4 ) 91.484 * * [simplify]: iteration done : 86 enodes (cost 4 ) 91.484 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 91.485 * * [simplify]: iteration 1 : 27 enodes (cost 15 ) 91.489 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 91.503 * * [simplify]: iteration 3 : 224 enodes (cost 15 ) 91.569 * * [simplify]: iteration 4 : 665 enodes (cost 15 ) 91.969 * * [simplify]: iteration 5 : 2459 enodes (cost 15 ) 93.433 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 93.433 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 93.435 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 93.438 * * [simplify]: iteration 2 : 64 enodes (cost 19 ) 93.451 * * [simplify]: iteration 3 : 247 enodes (cost 19 ) 93.553 * * [simplify]: iteration 4 : 913 enodes (cost 19 ) 94.580 * * [simplify]: iteration 5 : 3506 enodes (cost 19 ) 95.872 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 95.878 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 95.879 * * [simplify]: iteration 1 : 28 enodes (cost 15 ) 95.883 * * [simplify]: iteration 2 : 62 enodes (cost 15 ) 95.893 * * [simplify]: iteration 3 : 193 enodes (cost 15 ) 95.948 * * [simplify]: iteration 4 : 793 enodes (cost 15 ) 96.385 * * [simplify]: iteration 5 : 3088 enodes (cost 15 ) 97.786 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 97.787 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 97.788 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 97.790 * * [simplify]: iteration 2 : 49 enodes (cost 13 ) 97.798 * * [simplify]: iteration 3 : 140 enodes (cost 13 ) 97.834 * * [simplify]: iteration 4 : 361 enodes (cost 13 ) 98.008 * * [simplify]: iteration 5 : 892 enodes (cost 13 ) 98.789 * * [simplify]: iteration 6 : 2193 enodes (cost 13 ) 100.826 * * [simplify]: iteration 7 : 3882 enodes (cost 13 ) 104.534 * * [simplify]: iteration 8 : 4648 enodes (cost 13 ) 108.104 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 108.105 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 108.106 * * [simplify]: iteration 1 : 34 enodes (cost 15 ) 108.112 * * [simplify]: iteration 2 : 105 enodes (cost 15 ) 108.139 * * [simplify]: iteration 3 : 413 enodes (cost 15 ) 108.291 * * [simplify]: iteration 4 : 1430 enodes (cost 15 ) 109.313 * * [simplify]: iteration 5 : 4883 enodes (cost 15 ) 111.028 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 111.029 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 111.030 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 111.033 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 111.047 * * [simplify]: iteration 3 : 202 enodes (cost 13 ) 111.115 * * [simplify]: iteration 4 : 494 enodes (cost 13 ) 111.406 * * [simplify]: iteration 5 : 1263 enodes (cost 13 ) 112.767 * * [simplify]: iteration 6 : 3143 enodes (cost 13 ) 115.460 * * [simplify]: iteration 7 : 4779 enodes (cost 13 ) 116.434 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 116.434 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 116.435 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 116.437 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 116.447 * * [simplify]: iteration 3 : 126 enodes (cost 15 ) 116.482 * * [simplify]: iteration 4 : 505 enodes (cost 15 ) 116.749 * * [simplify]: iteration 5 : 1516 enodes (cost 15 ) 117.876 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 117.877 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 117.877 * * [simplify]: iteration 1 : 6 enodes (cost 7 ) 117.878 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 117.880 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 117.884 * * [simplify]: iteration 4 : 63 enodes (cost 7 ) 117.896 * * [simplify]: iteration 5 : 106 enodes (cost 7 ) 117.921 * * [simplify]: iteration 6 : 186 enodes (cost 7 ) 117.968 * * [simplify]: iteration 7 : 296 enodes (cost 7 ) 118.054 * * [simplify]: iteration 8 : 455 enodes (cost 7 ) 118.192 * * [simplify]: iteration 9 : 628 enodes (cost 7 ) 118.324 * * [simplify]: iteration 10 : 671 enodes (cost 7 ) 118.447 * * [simplify]: iteration 11 : 672 enodes (cost 7 ) 118.569 * * [simplify]: iteration done : 672 enodes (cost 7 ) 118.570 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 118.570 * * [simplify]: iteration 1 : 11 enodes (cost 19 ) 118.572 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 118.573 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 118.576 * * [simplify]: iteration 4 : 45 enodes (cost 6 ) 118.581 * * [simplify]: iteration 5 : 71 enodes (cost 6 ) 118.592 * * [simplify]: iteration 6 : 143 enodes (cost 6 ) 118.632 * * [simplify]: iteration 7 : 358 enodes (cost 6 ) 118.940 * * [simplify]: iteration 8 : 1286 enodes (cost 6 ) 120.491 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 120.491 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 120.497 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 120.497 * * [simplify]: iteration done : 6 enodes (cost 9 ) 120.498 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 120.498 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 120.499 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 120.499 * * [simplify]: iteration done : 7 enodes (cost 3 ) 120.500 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 120.500 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 120.501 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 120.501 * * [simplify]: iteration done : 7 enodes (cost 3 ) 120.502 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 120.502 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 120.502 * * [simplify]: iteration done : 4 enodes (cost 1 ) 120.503 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 120.503 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 120.505 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 120.509 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 120.514 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 120.526 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 120.537 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 120.548 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 120.560 * * [simplify]: iteration done : 84 enodes (cost 7 ) 120.560 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 120.561 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 120.561 * * [simplify]: iteration done : 4 enodes (cost 1 ) 120.561 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 120.562 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 120.564 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 120.569 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 120.575 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 120.584 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 120.595 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 120.607 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 120.620 * * [simplify]: iteration done : 84 enodes (cost 7 ) 120.621 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 120.621 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 120.621 * * [simplify]: iteration done : 4 enodes (cost 1 ) 120.622 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 120.622 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 120.624 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 120.627 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 120.633 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 120.643 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 120.653 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 120.667 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 120.679 * * [simplify]: iteration done : 84 enodes (cost 7 ) 120.679 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 120.680 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 120.680 * * [simplify]: iteration done : 4 enodes (cost 1 ) 120.680 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 120.681 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 120.682 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 120.686 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 120.692 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 120.701 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 120.714 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 120.726 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 120.737 * * [simplify]: iteration done : 84 enodes (cost 7 ) 120.738 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 120.738 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 120.739 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 120.739 * * [simplify]: iteration done : 7 enodes (cost 3 ) 120.740 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 120.741 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 120.741 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 120.742 * * [simplify]: iteration done : 7 enodes (cost 3 ) 120.742 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 120.742 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 120.743 * * [simplify]: iteration done : 6 enodes (cost 1 ) 120.743 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 120.744 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 120.744 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 120.746 * * [simplify]: iteration done : 13 enodes (cost 5 ) 120.746 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 120.747 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 120.747 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 120.749 * * [simplify]: iteration done : 13 enodes (cost 5 ) 120.749 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 120.750 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 120.751 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 120.752 * * [simplify]: iteration done : 12 enodes (cost 5 ) 120.753 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 120.753 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 120.755 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 120.756 * * [simplify]: iteration done : 12 enodes (cost 5 ) 120.756 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 120.757 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 120.758 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 120.761 * * [simplify]: iteration 3 : 32 enodes (cost 13 ) 120.768 * * [simplify]: iteration 4 : 34 enodes (cost 13 ) 120.771 * * [simplify]: iteration done : 34 enodes (cost 13 ) 120.772 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 120.772 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 120.773 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 120.775 * * [simplify]: iteration done : 15 enodes (cost 8 ) 120.775 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 120.776 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 120.777 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 120.779 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 120.780 * * [simplify]: iteration done : 28 enodes (cost 3 ) 120.781 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 120.781 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 120.782 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 120.785 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 120.786 * * [simplify]: iteration done : 28 enodes (cost 3 ) 120.786 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 120.787 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 120.788 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 120.790 * * [simplify]: iteration done : 14 enodes (cost 8 ) 120.790 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 120.791 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 120.792 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 120.794 * * [simplify]: iteration done : 14 enodes (cost 8 ) 120.794 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 120.795 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 120.796 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 120.800 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 120.806 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 120.815 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 120.828 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 120.839 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 120.851 * * [simplify]: iteration done : 84 enodes (cost 7 ) 120.851 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 120.852 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 120.853 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 120.857 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 120.863 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 120.874 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 120.884 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 120.896 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 120.908 * * [simplify]: iteration done : 84 enodes (cost 7 ) 120.908 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 120.909 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 120.916 * * [simplify]: iteration 2 : 88 enodes (cost 11 ) 120.932 * * [simplify]: iteration 3 : 207 enodes (cost 11 ) 120.983 * * [simplify]: iteration 4 : 433 enodes (cost 11 ) 121.135 * * [simplify]: iteration 5 : 1016 enodes (cost 11 ) 121.998 * * [simplify]: iteration 6 : 3242 enodes (cost 11 ) 123.737 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 123.737 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 123.738 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 123.740 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 123.746 * * [simplify]: iteration 3 : 106 enodes (cost 11 ) 123.772 * * [simplify]: iteration 4 : 259 enodes (cost 11 ) 123.861 * * [simplify]: iteration 5 : 562 enodes (cost 11 ) 124.232 * * [simplify]: iteration 6 : 1875 enodes (cost 11 ) 125.326 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 125.326 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 125.327 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 125.332 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 125.346 * * [simplify]: iteration 3 : 162 enodes (cost 11 ) 125.381 * * [simplify]: iteration 4 : 382 enodes (cost 11 ) 125.510 * * [simplify]: iteration 5 : 901 enodes (cost 11 ) 126.220 * * [simplify]: iteration 6 : 2996 enodes (cost 11 ) 127.731 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 127.732 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 127.733 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 127.736 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 127.745 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 127.783 * * [simplify]: iteration 4 : 330 enodes (cost 11 ) 127.930 * * [simplify]: iteration 5 : 921 enodes (cost 11 ) 129.427 * * [simplify]: iteration 6 : 4155 enodes (cost 11 ) 130.917 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 130.917 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 130.918 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 130.920 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 130.922 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 130.924 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 130.926 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 130.930 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 130.938 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 130.979 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 131.366 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 133.375 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 133.376 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 133.377 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 133.378 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 133.380 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 133.382 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 133.385 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 133.388 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 133.397 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 133.437 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 133.824 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 135.830 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 135.831 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 135.832 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 135.837 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 135.839 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 135.841 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 135.844 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 135.847 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 135.856 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 135.895 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 136.449 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 138.495 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 138.496 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 138.502 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 138.504 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 138.507 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 138.511 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 138.515 * * [simplify]: iteration 5 : 57 enodes (cost 7 ) 138.520 * * [simplify]: iteration 6 : 79 enodes (cost 7 ) 138.529 * * [simplify]: iteration 7 : 142 enodes (cost 7 ) 138.571 * * [simplify]: iteration 8 : 353 enodes (cost 7 ) 138.954 * * [simplify]: iteration 9 : 1285 enodes (cost 7 ) 140.974 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 140.974 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 140.975 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 140.977 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 140.980 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 140.984 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 140.988 * * [simplify]: iteration 5 : 57 enodes (cost 7 ) 140.993 * * [simplify]: iteration 6 : 79 enodes (cost 7 ) 141.002 * * [simplify]: iteration 7 : 142 enodes (cost 7 ) 141.044 * * [simplify]: iteration 8 : 353 enodes (cost 7 ) 141.428 * * [simplify]: iteration 9 : 1285 enodes (cost 7 ) 143.451 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 143.452 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 143.453 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 143.455 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 143.458 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 143.462 * * [simplify]: iteration 4 : 47 enodes (cost 7 ) 143.466 * * [simplify]: iteration 5 : 57 enodes (cost 7 ) 143.471 * * [simplify]: iteration 6 : 79 enodes (cost 7 ) 143.481 * * [simplify]: iteration 7 : 142 enodes (cost 7 ) 143.523 * * [simplify]: iteration 8 : 353 enodes (cost 7 ) 143.908 * * [simplify]: iteration 9 : 1285 enodes (cost 7 ) 145.936 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 145.937 * [simplify]: Simplified to: (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (log (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (exp (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (* (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0))) (cbrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (pow (- (* (+ x 1.0) (+ x 1.0)) 1.0) 3) (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (sqrt (- (* (+ x 1.0) (+ x 1.0)) 1.0)) (- (pow (+ x 1.0) 6) (pow 1.0 3)) (+ (* 1.0 (+ 1.0 (* (+ x 1.0) (+ x 1.0)))) (pow (+ x 1.0) 4)) (neg 1.0) (- (pow (+ x 1.0) 4) (* 1.0 1.0)) (+ (* (+ x 1.0) (+ x 1.0)) 1.0) (+ (+ x 1.0) (sqrt 1.0)) (- (+ x 1.0) (sqrt 1.0)) (- (* (+ x 1.0) 1.0) 1.0) (- (* 1.0 (+ x 1.0)) 1.0) (neg 1.0) 2 (* (+ x 1.0) (+ x 1.0)) 2 (* 2 (log (+ x 1.0))) (* 2 (log (+ x 1.0))) (exp (* (+ x 1.0) (+ x 1.0))) (pow (+ x 1.0) 6) (* (cbrt (* (+ x 1.0) (+ x 1.0))) (cbrt (* (+ x 1.0) (+ x 1.0)))) (cbrt (* (+ x 1.0) (+ x 1.0))) (pow (+ x 1.0) 6) (fabs (+ x 1.0)) (fabs (+ x 1.0)) (* (+ (pow x 3) (pow 1.0 3)) (+ (pow x 3) (pow 1.0 3))) (* (+ (* 1.0 (- 1.0 x)) (* x x)) (+ (* 1.0 (- 1.0 x)) (* x x))) (* (+ (pow x 3) (pow 1.0 3)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (+ (* 1.0 (- 1.0 x)) (* x x))) (* (- (* x x) (* 1.0 1.0)) (+ (pow x 3) (pow 1.0 3))) (* (- x 1.0) (+ (* x x) (* 1.0 (- 1.0 x)))) (* (- (* x x) (* 1.0 1.0)) (- (* x x) (* 1.0 1.0))) (* (- x 1.0) (- x 1.0)) (pow (cbrt (+ x 1.0)) 4) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ x 1.0) (+ x 1.0) 1 (* (+ x 1.0) (+ x 1.0)) 1 (* (+ x 1.0) (+ x 1.0)) 1 (* (+ x 1.0) (+ x 1.0)) 1 (* (+ x 1.0) (+ x 1.0)) (+ x 1.0) (+ x 1.0) 2 (* (+ x 1.0) x) (* (+ x 1.0) 1.0) (* x (+ x 1.0)) (* 1.0 (+ x 1.0)) (* (+ x 1.0) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (+ x 1.0) (sqrt (+ x 1.0))) (+ x 1.0) (+ x 1.0) (* (cbrt (+ x 1.0)) (+ x 1.0)) (* (sqrt (+ x 1.0)) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ x 1.0)) (* (+ x 1.0) (+ (pow x 3) (pow 1.0 3))) (* (+ x 1.0) (- (* x x) (* 1.0 1.0))) (* (+ (pow x 3) (pow 1.0 3)) (+ x 1.0)) (* (- (* x x) (* 1.0 1.0)) (+ x 1.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) (+ (* x (+ 2.0 x)) 1.0) (+ (* x (+ 2.0 x)) 1.0) (+ (* x (+ 2.0 x)) 1.0) 145.937 * * * [progress]: adding candidates to table 146.011 * * [progress]: iteration 2 / 4 146.011 * * * [progress]: picking best candidate 146.013 * * * * [pick]: Picked # 146.013 * * * [progress]: localizing error 146.016 * * * [progress]: generating rewritten candidates 146.016 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 146.022 * * * [progress]: generating series expansions 146.022 * * * * [progress]: [ 1 / 1 ] generating series at (2) 146.022 * [approximate]: Taking taylor expansion of (* x (+ x 2.0)) in (x) around 0 146.022 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 146.022 * [taylor]: Taking taylor expansion of x in x 146.022 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 146.022 * [taylor]: Taking taylor expansion of x in x 146.022 * [taylor]: Taking taylor expansion of 2.0 in x 146.022 * [taylor]: Taking taylor expansion of (* x (+ x 2.0)) in x 146.022 * [taylor]: Taking taylor expansion of x in x 146.022 * [taylor]: Taking taylor expansion of (+ x 2.0) in x 146.022 * [taylor]: Taking taylor expansion of x in x 146.022 * [taylor]: Taking taylor expansion of 2.0 in x 146.023 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in (x) around 0 146.023 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 146.023 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 146.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 146.023 * [taylor]: Taking taylor expansion of x in x 146.023 * [taylor]: Taking taylor expansion of 2.0 in x 146.023 * [taylor]: Taking taylor expansion of x in x 146.023 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 2.0) x) in x 146.023 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 2.0) in x 146.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x 146.023 * [taylor]: Taking taylor expansion of x in x 146.024 * [taylor]: Taking taylor expansion of 2.0 in x 146.024 * [taylor]: Taking taylor expansion of x in x 146.025 * [approximate]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in (x) around 0 146.025 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 146.025 * [taylor]: Taking taylor expansion of -1 in x 146.025 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 146.025 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 146.025 * [taylor]: Taking taylor expansion of 2.0 in x 146.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x 146.025 * [taylor]: Taking taylor expansion of x in x 146.025 * [taylor]: Taking taylor expansion of x in x 146.025 * [taylor]: Taking taylor expansion of (* -1 (/ (- 2.0 (/ 1 x)) x)) in x 146.025 * [taylor]: Taking taylor expansion of -1 in x 146.025 * [taylor]: Taking taylor expansion of (/ (- 2.0 (/ 1 x)) x) in x 146.025 * [taylor]: Taking taylor expansion of (- 2.0 (/ 1 x)) in x 146.025 * [taylor]: Taking taylor expansion of 2.0 in x 146.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x 146.025 * [taylor]: Taking taylor expansion of x in x 146.025 * [taylor]: Taking taylor expansion of x in x 146.027 * * * [progress]: simplifying candidates 146.027 * [simplify]: Simplifying using # : (* x (+ x 2.0)) (+ (log x) (log (+ x 2.0))) (log (* x (+ x 2.0))) (exp (* x (+ x 2.0))) (* (* (* x x) x) (* (* (+ x 2.0) (+ x 2.0)) (+ x 2.0))) (* (cbrt (* x (+ x 2.0))) (cbrt (* x (+ x 2.0)))) (cbrt (* x (+ x 2.0))) (* (* (* x (+ x 2.0)) (* x (+ x 2.0))) (* x (+ x 2.0))) (sqrt (* x (+ x 2.0))) (sqrt (* x (+ x 2.0))) (* (sqrt x) (sqrt (+ x 2.0))) (* (sqrt x) (sqrt (+ x 2.0))) (* x x) (* x 2.0) (* x x) (* 2.0 x) (* x (* (cbrt (+ x 2.0)) (cbrt (+ x 2.0)))) (* x (sqrt (+ x 2.0))) (* x 1) (* x 1) (* (cbrt x) (+ x 2.0)) (* (sqrt x) (+ x 2.0)) (* x (+ x 2.0)) (* x (+ (pow x 3) (pow 2.0 3))) (* x (- (* x x) (* 2.0 2.0))) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) 146.028 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 146.028 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 146.030 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 146.031 * * [simplify]: iteration done : 12 enodes (cost 5 ) 146.031 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 146.032 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 146.033 * * [simplify]: iteration done : 8 enodes (cost 7 ) 146.033 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 146.034 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 146.035 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 146.037 * * [simplify]: iteration done : 17 enodes (cost 6 ) 146.037 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 146.038 * * [simplify]: iteration 1 : 14 enodes (cost 6 ) 146.040 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 146.045 * * [simplify]: iteration 3 : 39 enodes (cost 6 ) 146.050 * * [simplify]: iteration 4 : 69 enodes (cost 6 ) 146.060 * * [simplify]: iteration 5 : 163 enodes (cost 6 ) 146.110 * * [simplify]: iteration 6 : 402 enodes (cost 6 ) 146.339 * * [simplify]: iteration 7 : 1270 enodes (cost 6 ) 147.489 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 147.489 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 147.490 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 147.496 * * [simplify]: iteration 2 : 106 enodes (cost 9 ) 147.523 * * [simplify]: iteration 3 : 316 enodes (cost 9 ) 147.690 * * [simplify]: iteration 4 : 1023 enodes (cost 7 ) 148.762 * * [simplify]: iteration 5 : 3546 enodes (cost 7 ) 150.187 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 150.188 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 150.188 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 150.190 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 150.191 * * [simplify]: iteration done : 14 enodes (cost 13 ) 150.192 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 150.192 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 150.194 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 150.195 * * [simplify]: iteration done : 13 enodes (cost 6 ) 150.195 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 150.196 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 150.201 * * [simplify]: iteration 2 : 89 enodes (cost 7 ) 150.230 * * [simplify]: iteration 3 : 285 enodes (cost 7 ) 150.394 * * [simplify]: iteration 4 : 758 enodes (cost 7 ) 151.066 * * [simplify]: iteration 5 : 2125 enodes (cost 7 ) 152.576 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 152.577 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 152.577 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 152.578 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 152.580 * * [simplify]: iteration done : 13 enodes (cost 6 ) 152.580 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 152.581 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 152.582 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 152.584 * * [simplify]: iteration done : 13 enodes (cost 6 ) 152.584 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 152.585 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 152.585 * * [simplify]: iteration done : 8 enodes (cost 7 ) 152.586 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 152.586 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 152.587 * * [simplify]: iteration done : 8 enodes (cost 7 ) 152.588 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 152.588 * * [simplify]: iteration done : 2 enodes (cost 3 ) 152.588 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 152.589 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 152.589 * * [simplify]: iteration done : 4 enodes (cost 3 ) 152.589 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 152.590 * * [simplify]: iteration done : 2 enodes (cost 3 ) 152.590 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 152.590 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 152.591 * * [simplify]: iteration done : 4 enodes (cost 3 ) 152.591 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 152.592 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 152.593 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 152.594 * * [simplify]: iteration done : 12 enodes (cost 11 ) 152.595 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 152.595 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 152.596 * * [simplify]: iteration done : 7 enodes (cost 6 ) 152.596 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 152.597 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 152.597 * * [simplify]: iteration done : 6 enodes (cost 1 ) 152.597 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 152.598 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 152.598 * * [simplify]: iteration done : 6 enodes (cost 1 ) 152.599 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 152.599 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 152.601 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 152.602 * * [simplify]: iteration done : 14 enodes (cost 6 ) 152.602 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 152.603 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 152.604 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 152.606 * * [simplify]: iteration done : 14 enodes (cost 6 ) 152.607 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 152.607 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 152.608 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 152.610 * * [simplify]: iteration done : 12 enodes (cost 5 ) 152.610 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 152.611 * * [simplify]: iteration 1 : 28 enodes (cost 9 ) 152.618 * * [simplify]: iteration 2 : 59 enodes (cost 9 ) 152.626 * * [simplify]: iteration 3 : 104 enodes (cost 9 ) 152.643 * * [simplify]: iteration 4 : 209 enodes (cost 9 ) 152.702 * * [simplify]: iteration 5 : 536 enodes (cost 9 ) 153.103 * * [simplify]: iteration 6 : 1819 enodes (cost 9 ) 154.306 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 154.307 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 154.307 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 154.312 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 154.316 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 154.328 * * [simplify]: iteration 4 : 143 enodes (cost 9 ) 154.521 * * [simplify]: iteration 5 : 238 enodes (cost 9 ) 154.590 * * [simplify]: iteration 6 : 436 enodes (cost 9 ) 154.829 * * [simplify]: iteration 7 : 1135 enodes (cost 9 ) 157.752 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 157.753 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 157.754 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 157.756 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 157.757 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 157.759 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 157.762 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 157.765 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 157.774 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 157.814 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 158.208 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 160.228 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 160.228 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 160.229 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 160.231 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 160.233 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 160.235 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 160.237 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 160.244 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 160.253 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 160.293 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 160.683 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 162.708 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 162.709 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 162.710 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 162.712 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 162.713 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 162.715 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 162.718 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 162.722 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 162.730 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 162.771 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 163.163 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 165.189 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 165.190 * [simplify]: Simplified to: (* x (+ x 2.0)) (+ (log x) (log (+ x 2.0))) (log (* x (+ x 2.0))) (exp (* x (+ x 2.0))) (pow (* x (+ x 2.0)) 3) (* (cbrt (* x (+ x 2.0))) (cbrt (* x (+ x 2.0)))) (cbrt (* x (+ x 2.0))) (pow (* x (+ x 2.0)) 3) (sqrt (* x (+ x 2.0))) (sqrt (* x (+ x 2.0))) (* (sqrt x) (sqrt (+ x 2.0))) (* (sqrt x) (sqrt (+ x 2.0))) (* x x) (* x 2.0) (* x x) (* 2.0 x) (* x (* (cbrt (+ x 2.0)) (cbrt (+ x 2.0)))) (* x (sqrt (+ x 2.0))) x x (* (cbrt x) (+ x 2.0)) (* (sqrt x) (+ x 2.0)) (* x (+ x 2.0)) (* x (+ (pow x 3) (pow 2.0 3))) (* x (- (* x x) (* 2.0 2.0))) (* x (+ x 2.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) 165.190 * * * [progress]: adding candidates to table 165.213 * * [progress]: iteration 3 / 4 165.213 * * * [progress]: picking best candidate 165.214 * * * * [pick]: Picked # 165.214 * * * [progress]: localizing error 165.218 * * * [progress]: generating rewritten candidates 165.218 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 165.226 * * * [progress]: generating series expansions 165.226 * * * * [progress]: [ 1 / 1 ] generating series at (2) 165.226 * [approximate]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in (x) around 0 165.226 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 165.226 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 165.226 * [taylor]: Taking taylor expansion of 2.0 in x 165.226 * [taylor]: Taking taylor expansion of x in x 165.226 * [taylor]: Taking taylor expansion of (pow x 2) in x 165.226 * [taylor]: Taking taylor expansion of x in x 165.226 * [taylor]: Taking taylor expansion of (+ (* 2.0 x) (pow x 2)) in x 165.226 * [taylor]: Taking taylor expansion of (* 2.0 x) in x 165.227 * [taylor]: Taking taylor expansion of 2.0 in x 165.227 * [taylor]: Taking taylor expansion of x in x 165.227 * [taylor]: Taking taylor expansion of (pow x 2) in x 165.227 * [taylor]: Taking taylor expansion of x in x 165.228 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0 165.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 165.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 165.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 165.228 * [taylor]: Taking taylor expansion of x in x 165.228 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 165.228 * [taylor]: Taking taylor expansion of 2.0 in x 165.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 165.228 * [taylor]: Taking taylor expansion of x in x 165.228 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 165.228 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 165.228 * [taylor]: Taking taylor expansion of (pow x 2) in x 165.228 * [taylor]: Taking taylor expansion of x in x 165.228 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 165.228 * [taylor]: Taking taylor expansion of 2.0 in x 165.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x 165.228 * [taylor]: Taking taylor expansion of x in x 165.230 * [approximate]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in (x) around 0 165.230 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 165.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 165.230 * [taylor]: Taking taylor expansion of (pow x 2) in x 165.230 * [taylor]: Taking taylor expansion of x in x 165.230 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 165.230 * [taylor]: Taking taylor expansion of 2.0 in x 165.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 165.230 * [taylor]: Taking taylor expansion of x in x 165.230 * [taylor]: Taking taylor expansion of (- (/ 1 (pow x 2)) (* 2.0 (/ 1 x))) in x 165.230 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 165.230 * [taylor]: Taking taylor expansion of (pow x 2) in x 165.230 * [taylor]: Taking taylor expansion of x in x 165.230 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 x)) in x 165.230 * [taylor]: Taking taylor expansion of 2.0 in x 165.230 * [taylor]: Taking taylor expansion of (/ 1 x) in x 165.230 * [taylor]: Taking taylor expansion of x in x 165.232 * * * [progress]: simplifying candidates 165.232 * [simplify]: Simplifying using # : (* (exp (* x x)) (exp (* x 2.0))) (log (+ (* x x) (* x 2.0))) (exp (+ (* x x) (* x 2.0))) (* (cbrt (+ (* x x) (* x 2.0))) (cbrt (+ (* x x) (* x 2.0)))) (cbrt (+ (* x x) (* x 2.0))) (* (* (+ (* x x) (* x 2.0)) (+ (* x x) (* x 2.0))) (+ (* x x) (* x 2.0))) (sqrt (+ (* x x) (* x 2.0))) (sqrt (+ (* x x) (* x 2.0))) (+ (pow (* x x) 3) (pow (* x 2.0) 3)) (+ (* (* x x) (* x x)) (- (* (* x 2.0) (* x 2.0)) (* (* x x) (* x 2.0)))) (- (* (* x x) (* x x)) (* (* x 2.0) (* x 2.0))) (- (* x x) (* x 2.0)) (+ x 2.0) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) (+ (* 2.0 x) (pow x 2)) 165.233 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 165.233 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 165.235 * * [simplify]: iteration 2 : 26 enodes (cost 6 ) 165.238 * * [simplify]: iteration 3 : 53 enodes (cost 6 ) 165.247 * * [simplify]: iteration 4 : 145 enodes (cost 6 ) 165.297 * * [simplify]: iteration 5 : 479 enodes (cost 6 ) 165.799 * * [simplify]: iteration 6 : 2171 enodes (cost 6 ) 167.117 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 167.118 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 167.119 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 167.120 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 167.122 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 167.123 * * [simplify]: iteration done : 16 enodes (cost 6 ) 167.124 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 167.125 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 167.126 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 167.131 * * [simplify]: iteration 3 : 36 enodes (cost 6 ) 167.136 * * [simplify]: iteration 4 : 78 enodes (cost 6 ) 167.151 * * [simplify]: iteration 5 : 210 enodes (cost 6 ) 167.234 * * [simplify]: iteration 6 : 675 enodes (cost 6 ) 168.084 * * [simplify]: iteration 7 : 3067 enodes (cost 6 ) 169.486 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 169.487 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 169.488 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 169.489 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 169.491 * * [simplify]: iteration done : 13 enodes (cost 13 ) 169.491 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 169.492 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 169.493 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 169.494 * * [simplify]: iteration done : 12 enodes (cost 6 ) 169.495 * * [simplify]: iteration 0 : 7 enodes (cost 23 ) 169.496 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 169.501 * * [simplify]: iteration 2 : 96 enodes (cost 7 ) 169.534 * * [simplify]: iteration 3 : 353 enodes (cost 7 ) 169.752 * * [simplify]: iteration 4 : 890 enodes (cost 7 ) 170.585 * * [simplify]: iteration 5 : 2751 enodes (cost 7 ) 172.307 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 172.307 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 172.308 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 172.309 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 172.310 * * [simplify]: iteration done : 12 enodes (cost 6 ) 172.311 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 172.312 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 172.313 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 172.314 * * [simplify]: iteration done : 12 enodes (cost 6 ) 172.315 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 172.316 * * [simplify]: iteration 1 : 27 enodes (cost 11 ) 172.320 * * [simplify]: iteration 2 : 79 enodes (cost 9 ) 172.340 * * [simplify]: iteration 3 : 197 enodes (cost 9 ) 172.396 * * [simplify]: iteration 4 : 405 enodes (cost 9 ) 172.560 * * [simplify]: iteration 5 : 1012 enodes (cost 9 ) 173.533 * * [simplify]: iteration 6 : 3695 enodes (cost 9 ) 175.127 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 175.128 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 175.129 * * [simplify]: iteration 1 : 31 enodes (cost 19 ) 175.138 * * [simplify]: iteration 2 : 86 enodes (cost 15 ) 175.159 * * [simplify]: iteration 3 : 202 enodes (cost 13 ) 175.207 * * [simplify]: iteration 4 : 316 enodes (cost 13 ) 175.291 * * [simplify]: iteration 5 : 507 enodes (cost 13 ) 175.561 * * [simplify]: iteration 6 : 1085 enodes (cost 13 ) 176.560 * * [simplify]: iteration 7 : 3042 enodes (cost 13 ) 178.189 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 178.189 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 178.190 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 178.194 * * [simplify]: iteration 2 : 65 enodes (cost 11 ) 178.208 * * [simplify]: iteration 3 : 154 enodes (cost 11 ) 178.244 * * [simplify]: iteration 4 : 270 enodes (cost 11 ) 178.324 * * [simplify]: iteration 5 : 457 enodes (cost 11 ) 178.505 * * [simplify]: iteration 6 : 913 enodes (cost 11 ) 179.110 * * [simplify]: iteration 7 : 2387 enodes (cost 11 ) 180.351 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 180.355 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 180.358 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 180.359 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 180.361 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 180.363 * * [simplify]: iteration done : 20 enodes (cost 5 ) 180.364 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 180.364 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 180.364 * * [simplify]: iteration done : 4 enodes (cost 3 ) 180.365 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 180.366 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 180.367 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 180.369 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 180.371 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 180.374 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 180.377 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 180.386 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 180.426 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 180.816 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 182.836 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 182.837 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 182.838 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 182.840 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 182.841 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 182.844 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 182.846 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 182.850 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 182.858 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 182.899 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 183.288 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 185.314 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 185.314 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 185.315 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 185.317 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 185.318 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 185.321 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 185.327 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 185.330 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 185.339 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 185.379 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 185.768 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 187.793 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 187.793 * [simplify]: Simplified to: (exp (* x (+ x 2.0))) (log (* x (+ x 2.0))) (exp (* x (+ x 2.0))) (* (cbrt (* x (+ x 2.0))) (cbrt (* x (+ x 2.0)))) (cbrt (* x (+ x 2.0))) (pow (* x (+ x 2.0)) 3) (sqrt (* x (+ x 2.0))) (sqrt (* x (+ x 2.0))) (+ (pow x 6) (pow (* x 2.0) 3)) (* x (+ (pow x 3) (* 2.0 (* x (- 2.0 x))))) (* (* x x) (- (* x x) (* 2.0 2.0))) (* x (- x 2.0)) (+ x 2.0) (* x (+ x 2.0)) (* x (+ x 2.0)) (* x (+ x 2.0)) 187.793 * * * [progress]: adding candidates to table 187.807 * [progress]: [Phase 3 of 3] Extracting. 187.808 * * [regime]: Finding splitpoints for: (# #) 187.808 * * * [regime-changes]: Trying 1 branch expressions: (x) 187.809 * * * * [regimes]: Trying to branch on x from (# #) 187.831 * * * [regime]: Found split indices: #