0.057 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.025 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (/ (- x y) (* (* x 2.0) y))
0.026 * * [simplify]: iteration 0: 7 enodes
0.028 * * [simplify]: iteration 1: 18 enodes
0.035 * * [simplify]: iteration 2: 47 enodes
0.062 * * [simplify]: iteration 3: 105 enodes
0.084 * * [simplify]: iteration 4: 180 enodes
0.122 * * [simplify]: iteration 5: 220 enodes
0.145 * * [simplify]: iteration 6: 257 enodes
0.182 * * [simplify]: iteration 7: 282 enodes
0.209 * * [simplify]: iteration 8: 308 enodes
0.244 * * [simplify]: iteration 9: 326 enodes
0.281 * * [simplify]: iteration 10: 339 enodes
0.313 * * [simplify]: iteration 11: 352 enodes
0.353 * * [simplify]: iteration 12: 365 enodes
0.383 * * [simplify]: iteration 13: 378 enodes
0.409 * * [simplify]: iteration 14: 391 enodes
0.451 * * [simplify]: iteration 15: 404 enodes
0.493 * * [simplify]: iteration 16: 417 enodes
0.523 * * [simplify]: iteration 17: 430 enodes
0.574 * * [simplify]: iteration 18: 443 enodes
0.603 * * [simplify]: iteration 19: 456 enodes
0.653 * * [simplify]: iteration 20: 469 enodes
0.693 * * [simplify]: iteration 21: 482 enodes
0.729 * * [simplify]: iteration 22: 495 enodes
0.759 * * [simplify]: iteration 23: 508 enodes
0.794 * * [simplify]: iteration 24: 521 enodes
0.829 * * [simplify]: iteration 25: 534 enodes
0.858 * * [simplify]: iteration 26: 547 enodes
0.890 * * [simplify]: iteration 27: 560 enodes
0.937 * * [simplify]: iteration 28: 573 enodes
0.987 * * [simplify]: iteration 29: 586 enodes
1.038 * * [simplify]: iteration 30: 599 enodes
1.066 * * [simplify]: iteration 31: 612 enodes
1.093 * * [simplify]: iteration 32: 625 enodes
1.134 * * [simplify]: iteration 33: 638 enodes
1.184 * * [simplify]: iteration 34: 651 enodes
1.223 * * [simplify]: iteration 35: 664 enodes
1.254 * * [simplify]: iteration 36: 677 enodes
1.304 * * [simplify]: iteration 37: 690 enodes
1.340 * * [simplify]: iteration 38: 703 enodes
1.379 * * [simplify]: iteration 39: 716 enodes
1.430 * * [simplify]: iteration 40: 729 enodes
1.465 * * [simplify]: iteration 41: 742 enodes
1.494 * * [simplify]: iteration 42: 755 enodes
1.522 * * [simplify]: iteration 43: 768 enodes
1.549 * * [simplify]: iteration 44: 781 enodes
1.584 * * [simplify]: iteration 45: 794 enodes
1.625 * * [simplify]: iteration 46: 807 enodes
1.652 * * [simplify]: iteration 47: 820 enodes
1.681 * * [simplify]: iteration 48: 833 enodes
1.708 * * [simplify]: iteration 49: 846 enodes
1.741 * * [simplify]: iteration 50: 859 enodes
1.771 * * [simplify]: iteration 51: 872 enodes
1.804 * * [simplify]: iteration 52: 885 enodes
1.833 * * [simplify]: iteration 53: 898 enodes
1.865 * * [simplify]: iteration 54: 911 enodes
1.899 * * [simplify]: iteration 55: 924 enodes
1.932 * * [simplify]: iteration 56: 937 enodes
1.982 * * [simplify]: iteration 57: 950 enodes
2.032 * * [simplify]: iteration 58: 963 enodes
2.085 * * [simplify]: iteration 59: 976 enodes
2.122 * * [simplify]: iteration 60: 989 enodes
2.154 * * [simplify]: iteration 61: 1002 enodes
2.189 * * [simplify]: iteration 62: 1015 enodes
2.221 * * [simplify]: iteration 63: 1028 enodes
2.271 * * [simplify]: iteration 64: 1041 enodes
2.323 * * [simplify]: iteration 65: 1054 enodes
2.374 * * [simplify]: iteration 66: 1067 enodes
2.425 * * [simplify]: iteration 67: 1080 enodes
2.457 * * [simplify]: iteration 68: 1093 enodes
2.490 * * [simplify]: iteration 69: 1106 enodes
2.538 * * [simplify]: iteration 70: 1119 enodes
2.566 * * [simplify]: iteration 71: 1132 enodes
2.617 * * [simplify]: iteration 72: 1145 enodes
2.667 * * [simplify]: iteration 73: 1158 enodes
2.707 * * [simplify]: iteration 74: 1171 enodes
2.740 * * [simplify]: iteration 75: 1184 enodes
2.793 * * [simplify]: iteration 76: 1197 enodes
2.845 * * [simplify]: iteration 77: 1210 enodes
2.895 * * [simplify]: iteration 78: 1223 enodes
2.945 * * [simplify]: iteration 79: 1236 enodes
2.979 * * [simplify]: iteration 80: 1249 enodes
3.030 * * [simplify]: iteration 81: 1262 enodes
3.081 * * [simplify]: iteration 82: 1275 enodes
3.116 * * [simplify]: iteration 83: 1288 enodes
3.144 * * [simplify]: iteration 84: 1301 enodes
3.172 * * [simplify]: iteration 85: 1314 enodes
3.201 * * [simplify]: iteration 86: 1327 enodes
3.229 * * [simplify]: iteration 87: 1340 enodes
3.273 * * [simplify]: iteration 88: 1353 enodes
3.317 * * [simplify]: iteration 89: 1366 enodes
3.344 * * [simplify]: iteration 90: 1379 enodes
3.373 * * [simplify]: iteration 91: 1392 enodes
3.401 * * [simplify]: iteration 92: 1405 enodes
3.434 * * [simplify]: iteration 93: 1418 enodes
3.468 * * [simplify]: iteration 94: 1431 enodes
3.496 * * [simplify]: iteration 95: 1444 enodes
3.540 * * [simplify]: iteration 96: 1457 enodes
3.572 * * [simplify]: iteration 97: 1470 enodes
3.616 * * [simplify]: iteration 98: 1483 enodes
3.643 * * [simplify]: iteration 99: 1496 enodes
3.674 * * [simplify]: iteration 100: 1509 enodes
3.724 * * [simplify]: iteration 101: 1522 enodes
3.763 * * [simplify]: iteration 102: 1535 enodes
3.802 * * [simplify]: iteration 103: 1548 enodes
3.852 * * [simplify]: iteration 104: 1561 enodes
3.890 * * [simplify]: iteration 105: 1574 enodes
3.924 * * [simplify]: iteration 106: 1587 enodes
3.975 * * [simplify]: iteration 107: 1600 enodes
4.024 * * [simplify]: iteration 108: 1613 enodes
4.053 * * [simplify]: iteration 109: 1626 enodes
4.103 * * [simplify]: iteration 110: 1639 enodes
4.154 * * [simplify]: iteration 111: 1652 enodes
4.206 * * [simplify]: iteration 112: 1665 enodes
4.249 * * [simplify]: iteration 113: 1678 enodes
4.276 * * [simplify]: iteration 114: 1691 enodes
4.329 * * [simplify]: iteration 115: 1704 enodes
4.360 * * [simplify]: iteration 116: 1717 enodes
4.389 * * [simplify]: iteration 117: 1730 enodes
4.420 * * [simplify]: iteration 118: 1743 enodes
4.470 * * [simplify]: iteration 119: 1756 enodes
4.523 * * [simplify]: iteration 120: 1769 enodes
4.554 * * [simplify]: iteration 121: 1782 enodes
4.600 * * [simplify]: iteration 122: 1795 enodes
4.637 * * [simplify]: iteration 123: 1808 enodes
4.665 * * [simplify]: iteration 124: 1821 enodes
4.697 * * [simplify]: iteration 125: 1834 enodes
4.729 * * [simplify]: iteration 126: 1847 enodes
4.773 * * [simplify]: iteration 127: 1860 enodes
4.823 * * [simplify]: iteration 128: 1873 enodes
4.862 * * [simplify]: iteration 129: 1886 enodes
4.890 * * [simplify]: iteration 130: 1899 enodes
4.941 * * [simplify]: iteration 131: 1912 enodes
4.976 * * [simplify]: iteration 132: 1925 enodes
5.016 * * [simplify]: iteration 133: 1938 enodes
5.045 * * [simplify]: iteration 134: 1951 enodes
5.098 * * [simplify]: iteration 135: 1964 enodes
5.148 * * [simplify]: iteration 136: 1977 enodes
5.200 * * [simplify]: iteration 137: 1990 enodes
5.230 * * [simplify]: iteration 138: 2003 enodes
5.281 * * [simplify]: iteration 139: 2016 enodes
5.333 * * [simplify]: iteration 140: 2029 enodes
5.385 * * [simplify]: iteration 141: 2042 enodes
5.435 * * [simplify]: iteration 142: 2055 enodes
5.486 * * [simplify]: iteration 143: 2068 enodes
5.523 * * [simplify]: iteration 144: 2081 enodes
5.566 * * [simplify]: iteration 145: 2094 enodes
5.617 * * [simplify]: iteration 146: 2107 enodes
5.670 * * [simplify]: iteration 147: 2120 enodes
5.720 * * [simplify]: iteration 148: 2133 enodes
5.772 * * [simplify]: iteration 149: 2146 enodes
5.822 * * [simplify]: iteration 150: 2159 enodes
5.873 * * [simplify]: iteration 151: 2172 enodes
5.918 * * [simplify]: iteration 152: 2185 enodes
5.952 * * [simplify]: iteration 153: 2198 enodes
5.993 * * [simplify]: iteration 154: 2211 enodes
6.033 * * [simplify]: iteration 155: 2224 enodes
6.061 * * [simplify]: iteration 156: 2237 enodes
6.106 * * [simplify]: iteration 157: 2250 enodes
6.137 * * [simplify]: iteration 158: 2263 enodes
6.172 * * [simplify]: iteration 159: 2276 enodes
6.210 * * [simplify]: iteration 160: 2289 enodes
6.262 * * [simplify]: iteration 161: 2302 enodes
6.295 * * [simplify]: iteration 162: 2315 enodes
6.327 * * [simplify]: iteration 163: 2328 enodes
6.361 * * [simplify]: iteration 164: 2341 enodes
6.406 * * [simplify]: iteration 165: 2354 enodes
6.456 * * [simplify]: iteration 166: 2367 enodes
6.488 * * [simplify]: iteration 167: 2380 enodes
6.521 * * [simplify]: iteration 168: 2393 enodes
6.557 * * [simplify]: iteration 169: 2406 enodes
6.609 * * [simplify]: iteration 170: 2419 enodes
6.659 * * [simplify]: iteration 171: 2432 enodes
6.697 * * [simplify]: iteration 172: 2445 enodes
6.739 * * [simplify]: iteration 173: 2458 enodes
6.768 * * [simplify]: iteration 174: 2471 enodes
6.806 * * [simplify]: iteration 175: 2484 enodes
6.842 * * [simplify]: iteration 176: 2497 enodes
6.871 * * [simplify]: iteration 177: 2510 enodes
6.922 * * [simplify]: iteration 178: 2523 enodes
6.957 * * [simplify]: iteration 179: 2536 enodes
6.997 * * [simplify]: iteration 180: 2549 enodes
7.047 * * [simplify]: iteration 181: 2562 enodes
7.074 * * [simplify]: iteration 182: 2575 enodes
7.101 * * [simplify]: iteration 183: 2588 enodes
7.136 * * [simplify]: iteration 184: 2601 enodes
7.167 * * [simplify]: iteration 185: 2614 enodes
7.218 * * [simplify]: iteration 186: 2627 enodes
7.250 * * [simplify]: iteration 187: 2640 enodes
7.277 * * [simplify]: iteration 188: 2653 enodes
7.326 * * [simplify]: iteration 189: 2666 enodes
7.376 * * [simplify]: iteration 190: 2679 enodes
7.411 * * [simplify]: iteration 191: 2692 enodes
7.438 * * [simplify]: iteration 192: 2705 enodes
7.490 * * [simplify]: iteration 193: 2718 enodes
7.523 * * [simplify]: iteration 194: 2731 enodes
7.563 * * [simplify]: iteration 195: 2744 enodes
7.593 * * [simplify]: iteration 196: 2757 enodes
7.639 * * [simplify]: iteration 197: 2770 enodes
7.689 * * [simplify]: iteration 198: 2783 enodes
7.722 * * [simplify]: iteration 199: 2796 enodes
7.770 * * [simplify]: iteration 200: 2809 enodes
7.820 * * [simplify]: iteration 201: 2822 enodes
7.873 * * [simplify]: iteration 202: 2835 enodes
7.924 * * [simplify]: iteration 203: 2848 enodes
7.963 * * [simplify]: iteration 204: 2861 enodes
8.004 * * [simplify]: iteration 205: 2874 enodes
8.031 * * [simplify]: iteration 206: 2887 enodes
8.069 * * [simplify]: iteration 207: 2900 enodes
8.103 * * [simplify]: iteration 208: 2913 enodes
8.138 * * [simplify]: iteration 209: 2926 enodes
8.166 * * [simplify]: iteration 210: 2939 enodes
8.200 * * [simplify]: iteration 211: 2952 enodes
8.235 * * [simplify]: iteration 212: 2965 enodes
8.277 * * [simplify]: iteration 213: 2978 enodes
8.325 * * [simplify]: iteration 214: 2991 enodes
8.352 * * [simplify]: iteration 215: 3004 enodes
8.399 * * [simplify]: iteration 216: 3017 enodes
8.449 * * [simplify]: iteration 217: 3030 enodes
8.481 * * [simplify]: iteration 218: 3043 enodes
8.523 * * [simplify]: iteration 219: 3056 enodes
8.551 * * [simplify]: iteration 220: 3069 enodes
8.586 * * [simplify]: iteration 221: 3082 enodes
8.623 * * [simplify]: iteration 222: 3095 enodes
8.660 * * [simplify]: iteration 223: 3108 enodes
8.711 * * [simplify]: iteration 224: 3121 enodes
8.759 * * [simplify]: iteration 225: 3134 enodes
8.789 * * [simplify]: iteration 226: 3147 enodes
8.840 * * [simplify]: iteration 227: 3160 enodes
8.892 * * [simplify]: iteration 228: 3173 enodes
8.939 * * [simplify]: iteration 229: 3186 enodes
8.965 * * [simplify]: iteration 230: 3199 enodes
8.994 * * [simplify]: iteration 231: 3212 enodes
9.023 * * [simplify]: iteration 232: 3225 enodes
9.058 * * [simplify]: iteration 233: 3238 enodes
9.091 * * [simplify]: iteration 234: 3251 enodes
9.120 * * [simplify]: iteration 235: 3264 enodes
9.170 * * [simplify]: iteration 236: 3277 enodes
9.210 * * [simplify]: iteration 237: 3290 enodes
9.249 * * [simplify]: iteration 238: 3303 enodes
9.300 * * [simplify]: iteration 239: 3316 enodes
9.353 * * [simplify]: iteration 240: 3329 enodes
9.403 * * [simplify]: iteration 241: 3342 enodes
9.454 * * [simplify]: iteration 242: 3355 enodes
9.504 * * [simplify]: iteration 243: 3368 enodes
9.554 * * [simplify]: iteration 244: 3381 enodes
9.606 * * [simplify]: iteration 245: 3394 enodes
9.655 * * [simplify]: iteration 246: 3407 enodes
9.686 * * [simplify]: iteration 247: 3420 enodes
9.727 * * [simplify]: iteration 248: 3433 enodes
9.754 * * [simplify]: iteration 249: 3446 enodes
9.805 * * [simplify]: iteration 250: 3459 enodes
9.855 * * [simplify]: iteration 251: 3472 enodes
9.882 * * [simplify]: iteration 252: 3485 enodes
9.929 * * [simplify]: iteration 253: 3498 enodes
9.983 * * [simplify]: iteration 254: 3511 enodes
10.021 * * [simplify]: iteration 255: 3524 enodes
10.062 * * [simplify]: iteration 256: 3537 enodes
10.095 * * [simplify]: iteration 257: 3550 enodes
10.121 * * [simplify]: iteration 258: 3563 enodes
10.169 * * [simplify]: iteration 259: 3576 enodes
10.221 * * [simplify]: iteration 260: 3589 enodes
10.270 * * [simplify]: iteration 261: 3602 enodes
10.303 * * [simplify]: iteration 262: 3615 enodes
10.336 * * [simplify]: iteration 263: 3628 enodes
10.368 * * [simplify]: iteration 264: 3641 enodes
10.418 * * [simplify]: iteration 265: 3654 enodes
10.471 * * [simplify]: iteration 266: 3667 enodes
10.512 * * [simplify]: iteration 267: 3680 enodes
10.547 * * [simplify]: iteration 268: 3693 enodes
10.577 * * [simplify]: iteration 269: 3706 enodes
10.623 * * [simplify]: iteration 270: 3719 enodes
10.674 * * [simplify]: iteration 271: 3732 enodes
10.707 * * [simplify]: iteration 272: 3745 enodes
10.748 * * [simplify]: iteration 273: 3758 enodes
10.800 * * [simplify]: iteration 274: 3771 enodes
10.849 * * [simplify]: iteration 275: 3784 enodes
10.882 * * [simplify]: iteration 276: 3797 enodes
10.913 * * [simplify]: iteration 277: 3810 enodes
10.954 * * [simplify]: iteration 278: 3823 enodes
10.982 * * [simplify]: iteration 279: 3836 enodes
11.034 * * [simplify]: iteration 280: 3849 enodes
11.065 * * [simplify]: iteration 281: 3862 enodes
11.110 * * [simplify]: iteration 282: 3875 enodes
11.159 * * [simplify]: iteration 283: 3888 enodes
11.187 * * [simplify]: iteration 284: 3901 enodes
11.213 * * [simplify]: iteration 285: 3914 enodes
11.241 * * [simplify]: iteration 286: 3927 enodes
11.273 * * [simplify]: iteration 287: 3940 enodes
11.321 * * [simplify]: iteration 288: 3953 enodes
11.372 * * [simplify]: iteration 289: 3966 enodes
11.399 * * [simplify]: iteration 290: 3979 enodes
11.445 * * [simplify]: iteration 291: 3992 enodes
11.498 * * [simplify]: iteration 292: 4005 enodes
11.534 * * [simplify]: iteration 293: 4018 enodes
11.567 * * [simplify]: iteration 294: 4031 enodes
11.620 * * [simplify]: iteration 295: 4044 enodes
11.659 * * [simplify]: iteration 296: 4057 enodes
11.698 * * [simplify]: iteration 297: 4070 enodes
11.749 * * [simplify]: iteration 298: 4083 enodes
11.799 * * [simplify]: iteration 299: 4096 enodes
11.848 * * [simplify]: iteration 300: 4109 enodes
11.876 * * [simplify]: iteration 301: 4122 enodes
11.915 * * [simplify]: iteration 302: 4135 enodes
11.942 * * [simplify]: iteration 303: 4148 enodes
11.994 * * [simplify]: iteration 304: 4161 enodes
12.036 * * [simplify]: iteration 305: 4174 enodes
12.065 * * [simplify]: iteration 306: 4187 enodes
12.099 * * [simplify]: iteration 307: 4200 enodes
12.126 * * [simplify]: iteration 308: 4213 enodes
12.212 * * [simplify]: iteration 309: 4226 enodes
12.262 * * [simplify]: iteration 310: 4239 enodes
12.312 * * [simplify]: iteration 311: 4252 enodes
12.365 * * [simplify]: iteration 312: 4265 enodes
12.393 * * [simplify]: iteration 313: 4278 enodes
12.437 * * [simplify]: iteration 314: 4291 enodes
12.465 * * [simplify]: iteration 315: 4304 enodes
12.508 * * [simplify]: iteration 316: 4317 enodes
12.559 * * [simplify]: iteration 317: 4330 enodes
12.610 * * [simplify]: iteration 318: 4343 enodes
12.637 * * [simplify]: iteration 319: 4356 enodes
12.679 * * [simplify]: iteration 320: 4369 enodes
12.715 * * [simplify]: iteration 321: 4382 enodes
12.749 * * [simplify]: iteration 322: 4395 enodes
12.792 * * [simplify]: iteration 323: 4408 enodes
12.837 * * [simplify]: iteration 324: 4421 enodes
12.865 * * [simplify]: iteration 325: 4434 enodes
12.904 * * [simplify]: iteration 326: 4447 enodes
12.942 * * [simplify]: iteration 327: 4460 enodes
12.994 * * [simplify]: iteration 328: 4473 enodes
13.045 * * [simplify]: iteration 329: 4486 enodes
13.098 * * [simplify]: iteration 330: 4499 enodes
13.135 * * [simplify]: iteration 331: 4512 enodes
13.169 * * [simplify]: iteration 332: 4525 enodes
13.212 * * [simplify]: iteration 333: 4538 enodes
13.240 * * [simplify]: iteration 334: 4551 enodes
13.289 * * [simplify]: iteration 335: 4564 enodes
13.340 * * [simplify]: iteration 336: 4577 enodes
13.372 * * [simplify]: iteration 337: 4590 enodes
13.401 * * [simplify]: iteration 338: 4603 enodes
13.446 * * [simplify]: iteration 339: 4616 enodes
13.497 * * [simplify]: iteration 340: 4629 enodes
13.550 * * [simplify]: iteration 341: 4642 enodes
13.583 * * [simplify]: iteration 342: 4655 enodes
13.625 * * [simplify]: iteration 343: 4668 enodes
13.655 * * [simplify]: iteration 344: 4681 enodes
13.687 * * [simplify]: iteration 345: 4694 enodes
13.732 * * [simplify]: iteration 346: 4707 enodes
13.784 * * [simplify]: iteration 347: 4720 enodes
13.812 * * [simplify]: iteration 348: 4733 enodes
13.839 * * [simplify]: iteration 349: 4746 enodes
13.866 * * [simplify]: iteration 350: 4759 enodes
13.894 * * [simplify]: iteration 351: 4772 enodes
13.944 * * [simplify]: iteration 352: 4785 enodes
13.988 * * [simplify]: iteration 353: 4798 enodes
14.022 * * [simplify]: iteration 354: 4811 enodes
14.073 * * [simplify]: iteration 355: 4824 enodes
14.109 * * [simplify]: iteration 356: 4837 enodes
14.160 * * [simplify]: iteration 357: 4850 enodes
14.198 * * [simplify]: iteration 358: 4863 enodes
14.243 * * [simplify]: iteration 359: 4876 enodes
14.293 * * [simplify]: iteration 360: 4889 enodes
14.339 * * [simplify]: iteration 361: 4902 enodes
14.368 * * [simplify]: iteration 362: 4915 enodes
14.408 * * [simplify]: iteration 363: 4928 enodes
14.439 * * [simplify]: iteration 364: 4941 enodes
14.492 * * [simplify]: iteration 365: 4954 enodes
14.543 * * [simplify]: iteration 366: 4967 enodes
14.596 * * [simplify]: iteration 367: 4980 enodes
14.628 * * [simplify]: iteration 368: 4993 enodes
14.664 * * [simplify]: iteration complete: 5000 enodes
14.664 * * [simplify]: Extracting #0: cost 1 inf + 0
14.664 * * [simplify]: Extracting #1: cost 18 inf + 0
14.664 * * [simplify]: Extracting #2: cost 44 inf + 3
14.665 * * [simplify]: Extracting #3: cost 11 inf + 144
14.665 * * [simplify]: Extracting #4: cost 0 inf + 179
14.665 * [simplify]: Simplified to:
  (/ (/ (- x y) x) (* 2.0 y))
14.673 * * [progress]: iteration 1 / 4
14.673 * * * [progress]: picking best candidate