32.923 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.009 * * * [progress]: [2/2] Setting up program.
0.014 * [progress]: [Phase 2 of 3] Improving.
0.015 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
0.015 * * [simplify]: iteration 0: 4 enodes
0.017 * * [simplify]: iteration 1: 10 enodes
0.022 * * [simplify]: iteration 2: 16 enodes
0.029 * * [simplify]: iteration 3: 22 enodes
0.036 * * [simplify]: iteration 4: 24 enodes
0.042 * * [simplify]: iteration 5: 26 enodes
0.050 * * [simplify]: iteration 6: 34 enodes
0.061 * * [simplify]: iteration 7: 43 enodes
0.077 * * [simplify]: iteration 8: 59 enodes
0.095 * * [simplify]: iteration 9: 81 enodes
0.115 * * [simplify]: iteration 10: 100 enodes
0.156 * * [simplify]: iteration 11: 170 enodes
0.217 * * [simplify]: iteration 12: 231 enodes
0.257 * * [simplify]: iteration 13: 247 enodes
0.275 * * [simplify]: iteration 14: 253 enodes
0.299 * * [simplify]: iteration 15: 267 enodes
0.324 * * [simplify]: iteration 16: 275 enodes
0.348 * * [simplify]: iteration 17: 288 enodes
0.371 * * [simplify]: iteration 18: 293 enodes
0.392 * * [simplify]: iteration 19: 300 enodes
0.419 * * [simplify]: iteration 20: 305 enodes
0.438 * * [simplify]: iteration 21: 317 enodes
0.458 * * [simplify]: iteration 22: 322 enodes
0.472 * * [simplify]: iteration 23: 329 enodes
0.497 * * [simplify]: iteration 24: 336 enodes
0.519 * * [simplify]: iteration 25: 348 enodes
0.547 * * [simplify]: iteration 26: 353 enodes
0.567 * * [simplify]: iteration 27: 360 enodes
0.596 * * [simplify]: iteration 28: 367 enodes
0.619 * * [simplify]: iteration 29: 379 enodes
0.643 * * [simplify]: iteration 30: 384 enodes
0.664 * * [simplify]: iteration 31: 391 enodes
0.693 * * [simplify]: iteration 32: 398 enodes
0.715 * * [simplify]: iteration 33: 410 enodes
0.728 * * [simplify]: iteration 34: 415 enodes
0.749 * * [simplify]: iteration 35: 422 enodes
0.773 * * [simplify]: iteration 36: 427 enodes
0.797 * * [simplify]: iteration 37: 439 enodes
0.823 * * [simplify]: iteration 38: 444 enodes
0.843 * * [simplify]: iteration 39: 451 enodes
0.867 * * [simplify]: iteration 40: 458 enodes
0.891 * * [simplify]: iteration 41: 470 enodes
0.914 * * [simplify]: iteration 42: 475 enodes
0.934 * * [simplify]: iteration 43: 482 enodes
0.962 * * [simplify]: iteration 44: 489 enodes
0.985 * * [simplify]: iteration 45: 501 enodes
1.008 * * [simplify]: iteration 46: 506 enodes
1.027 * * [simplify]: iteration 47: 513 enodes
1.051 * * [simplify]: iteration 48: 518 enodes
1.075 * * [simplify]: iteration 49: 530 enodes
1.100 * * [simplify]: iteration 50: 535 enodes
1.121 * * [simplify]: iteration 51: 542 enodes
1.146 * * [simplify]: iteration 52: 549 enodes
1.169 * * [simplify]: iteration 53: 561 enodes
1.192 * * [simplify]: iteration 54: 566 enodes
1.212 * * [simplify]: iteration 55: 573 enodes
1.241 * * [simplify]: iteration 56: 578 enodes
1.264 * * [simplify]: iteration 57: 590 enodes
1.287 * * [simplify]: iteration 58: 595 enodes
1.307 * * [simplify]: iteration 59: 602 enodes
1.332 * * [simplify]: iteration 60: 609 enodes
1.355 * * [simplify]: iteration 61: 621 enodes
1.383 * * [simplify]: iteration 62: 626 enodes
1.402 * * [simplify]: iteration 63: 633 enodes
1.427 * * [simplify]: iteration 64: 638 enodes
1.452 * * [simplify]: iteration 65: 650 enodes
1.475 * * [simplify]: iteration 66: 655 enodes
1.495 * * [simplify]: iteration 67: 662 enodes
1.523 * * [simplify]: iteration 68: 671 enodes
1.546 * * [simplify]: iteration 69: 679 enodes
1.568 * * [simplify]: iteration 70: 684 enodes
1.591 * * [simplify]: iteration 71: 693 enodes
1.616 * * [simplify]: iteration 72: 698 enodes
1.637 * * [simplify]: iteration 73: 711 enodes
1.674 * * [simplify]: iteration 74: 716 enodes
1.694 * * [simplify]: iteration 75: 723 enodes
1.719 * * [simplify]: iteration 76: 728 enodes
1.742 * * [simplify]: iteration 77: 740 enodes
1.765 * * [simplify]: iteration 78: 745 enodes
1.785 * * [simplify]: iteration 79: 752 enodes
1.816 * * [simplify]: iteration 80: 757 enodes
1.841 * * [simplify]: iteration 81: 769 enodes
1.863 * * [simplify]: iteration 82: 774 enodes
1.879 * * [simplify]: iteration 83: 781 enodes
1.905 * * [simplify]: iteration 84: 788 enodes
1.929 * * [simplify]: iteration 85: 800 enodes
1.951 * * [simplify]: iteration 86: 805 enodes
1.972 * * [simplify]: iteration 87: 812 enodes
1.997 * * [simplify]: iteration 88: 819 enodes
2.019 * * [simplify]: iteration 89: 831 enodes
2.042 * * [simplify]: iteration 90: 836 enodes
2.063 * * [simplify]: iteration 91: 843 enodes
2.093 * * [simplify]: iteration 92: 850 enodes
2.116 * * [simplify]: iteration 93: 862 enodes
2.139 * * [simplify]: iteration 94: 867 enodes
2.159 * * [simplify]: iteration 95: 874 enodes
2.185 * * [simplify]: iteration 96: 879 enodes
2.201 * * [simplify]: iteration 97: 891 enodes
2.223 * * [simplify]: iteration 98: 896 enodes
2.239 * * [simplify]: iteration 99: 903 enodes
2.259 * * [simplify]: iteration 100: 910 enodes
2.282 * * [simplify]: iteration 101: 922 enodes
2.299 * * [simplify]: iteration 102: 927 enodes
2.315 * * [simplify]: iteration 103: 934 enodes
2.336 * * [simplify]: iteration 104: 941 enodes
2.371 * * [simplify]: iteration 105: 953 enodes
2.396 * * [simplify]: iteration 106: 958 enodes
2.413 * * [simplify]: iteration 107: 965 enodes
2.433 * * [simplify]: iteration 108: 970 enodes
2.453 * * [simplify]: iteration 109: 982 enodes
2.481 * * [simplify]: iteration 110: 987 enodes
2.500 * * [simplify]: iteration 111: 994 enodes
2.526 * * [simplify]: iteration 112: 1001 enodes
2.550 * * [simplify]: iteration 113: 1013 enodes
2.575 * * [simplify]: iteration 114: 1018 enodes
2.591 * * [simplify]: iteration 115: 1025 enodes
2.767 * * [simplify]: iteration 116: 1030 enodes
2.791 * * [simplify]: iteration 117: 1042 enodes
2.814 * * [simplify]: iteration 118: 1047 enodes
2.834 * * [simplify]: iteration 119: 1054 enodes
2.859 * * [simplify]: iteration 120: 1061 enodes
2.882 * * [simplify]: iteration 121: 1073 enodes
2.908 * * [simplify]: iteration 122: 1078 enodes
2.928 * * [simplify]: iteration 123: 1085 enodes
2.952 * * [simplify]: iteration 124: 1090 enodes
2.973 * * [simplify]: iteration 125: 1102 enodes
2.994 * * [simplify]: iteration 126: 1107 enodes
3.015 * * [simplify]: iteration 127: 1114 enodes
3.044 * * [simplify]: iteration 128: 1121 enodes
3.068 * * [simplify]: iteration 129: 1133 enodes
3.092 * * [simplify]: iteration 130: 1138 enodes
3.113 * * [simplify]: iteration 131: 1145 enodes
3.138 * * [simplify]: iteration 132: 1150 enodes
3.162 * * [simplify]: iteration 133: 1162 enodes
3.190 * * [simplify]: iteration 134: 1167 enodes
3.209 * * [simplify]: iteration 135: 1174 enodes
3.232 * * [simplify]: iteration 136: 1181 enodes
3.253 * * [simplify]: iteration 137: 1193 enodes
3.274 * * [simplify]: iteration 138: 1198 enodes
3.296 * * [simplify]: iteration 139: 1205 enodes
3.326 * * [simplify]: iteration 140: 1214 enodes
3.349 * * [simplify]: iteration 141: 1222 enodes
3.373 * * [simplify]: iteration 142: 1227 enodes
3.397 * * [simplify]: iteration 143: 1236 enodes
3.424 * * [simplify]: iteration 144: 1243 enodes
3.448 * * [simplify]: iteration 145: 1256 enodes
3.477 * * [simplify]: iteration 146: 1261 enodes
3.499 * * [simplify]: iteration 147: 1268 enodes
3.528 * * [simplify]: iteration 148: 1275 enodes
3.553 * * [simplify]: iteration 149: 1287 enodes
3.578 * * [simplify]: iteration 150: 1292 enodes
3.599 * * [simplify]: iteration 151: 1299 enodes
3.630 * * [simplify]: iteration 152: 1306 enodes
3.655 * * [simplify]: iteration 153: 1318 enodes
3.681 * * [simplify]: iteration 154: 1323 enodes
3.703 * * [simplify]: iteration 155: 1330 enodes
3.730 * * [simplify]: iteration 156: 1335 enodes
3.755 * * [simplify]: iteration 157: 1347 enodes
3.786 * * [simplify]: iteration 158: 1352 enodes
3.806 * * [simplify]: iteration 159: 1359 enodes
3.828 * * [simplify]: iteration 160: 1366 enodes
3.850 * * [simplify]: iteration 161: 1378 enodes
3.872 * * [simplify]: iteration 162: 1383 enodes
3.887 * * [simplify]: iteration 163: 1390 enodes
3.915 * * [simplify]: iteration 164: 1395 enodes
3.939 * * [simplify]: iteration 165: 1407 enodes
3.961 * * [simplify]: iteration 166: 1412 enodes
3.988 * * [simplify]: iteration 167: 1419 enodes
4.017 * * [simplify]: iteration 168: 1424 enodes
4.038 * * [simplify]: iteration 169: 1436 enodes
4.066 * * [simplify]: iteration 170: 1441 enodes
4.087 * * [simplify]: iteration 171: 1448 enodes
4.115 * * [simplify]: iteration 172: 1453 enodes
4.132 * * [simplify]: iteration 173: 1465 enodes
4.151 * * [simplify]: iteration 174: 1470 enodes
4.168 * * [simplify]: iteration 175: 1477 enodes
4.196 * * [simplify]: iteration 176: 1482 enodes
4.220 * * [simplify]: iteration 177: 1494 enodes
4.245 * * [simplify]: iteration 178: 1499 enodes
4.266 * * [simplify]: iteration 179: 1506 enodes
4.292 * * [simplify]: iteration 180: 1515 enodes
4.309 * * [simplify]: iteration 181: 1523 enodes
4.329 * * [simplify]: iteration 182: 1528 enodes
4.351 * * [simplify]: iteration 183: 1537 enodes
4.377 * * [simplify]: iteration 184: 1542 enodes
4.401 * * [simplify]: iteration 185: 1555 enodes
4.426 * * [simplify]: iteration 186: 1560 enodes
4.447 * * [simplify]: iteration 187: 1567 enodes
4.498 * * [simplify]: iteration 188: 1576 enodes
4.519 * * [simplify]: iteration 189: 1584 enodes
4.540 * * [simplify]: iteration 190: 1589 enodes
4.561 * * [simplify]: iteration 191: 1598 enodes
4.587 * * [simplify]: iteration 192: 1603 enodes
4.609 * * [simplify]: iteration 193: 1616 enodes
4.634 * * [simplify]: iteration 194: 1621 enodes
4.654 * * [simplify]: iteration 195: 1628 enodes
4.678 * * [simplify]: iteration 196: 1633 enodes
4.701 * * [simplify]: iteration 197: 1645 enodes
4.724 * * [simplify]: iteration 198: 1650 enodes
4.743 * * [simplify]: iteration 199: 1657 enodes
4.775 * * [simplify]: iteration 200: 1662 enodes
4.798 * * [simplify]: iteration 201: 1674 enodes
4.822 * * [simplify]: iteration 202: 1679 enodes
4.842 * * [simplify]: iteration 203: 1686 enodes
4.866 * * [simplify]: iteration 204: 1693 enodes
4.890 * * [simplify]: iteration 205: 1705 enodes
5.095 * * [simplify]: iteration 206: 1710 enodes
5.111 * * [simplify]: iteration 207: 1717 enodes
5.133 * * [simplify]: iteration 208: 1722 enodes
5.153 * * [simplify]: iteration 209: 1734 enodes
5.171 * * [simplify]: iteration 210: 1739 enodes
5.191 * * [simplify]: iteration 211: 1746 enodes
5.217 * * [simplify]: iteration 212: 1753 enodes
5.240 * * [simplify]: iteration 213: 1765 enodes
5.259 * * [simplify]: iteration 214: 1770 enodes
5.278 * * [simplify]: iteration 215: 1777 enodes
5.306 * * [simplify]: iteration 216: 1782 enodes
5.331 * * [simplify]: iteration 217: 1794 enodes
5.360 * * [simplify]: iteration 218: 1799 enodes
5.381 * * [simplify]: iteration 219: 1806 enodes
5.408 * * [simplify]: iteration 220: 1813 enodes
5.434 * * [simplify]: iteration 221: 1825 enodes
5.459 * * [simplify]: iteration 222: 1830 enodes
5.479 * * [simplify]: iteration 223: 1837 enodes
5.506 * * [simplify]: iteration 224: 1842 enodes
5.529 * * [simplify]: iteration 225: 1854 enodes
5.552 * * [simplify]: iteration 226: 1859 enodes
5.572 * * [simplify]: iteration 227: 1866 enodes
5.596 * * [simplify]: iteration 228: 1873 enodes
5.620 * * [simplify]: iteration 229: 1885 enodes
5.651 * * [simplify]: iteration 230: 1890 enodes
5.671 * * [simplify]: iteration 231: 1897 enodes
5.696 * * [simplify]: iteration 232: 1902 enodes
5.719 * * [simplify]: iteration 233: 1914 enodes
5.741 * * [simplify]: iteration 234: 1919 enodes
5.761 * * [simplify]: iteration 235: 1926 enodes
5.784 * * [simplify]: iteration 236: 1931 enodes
5.803 * * [simplify]: iteration 237: 1943 enodes
5.827 * * [simplify]: iteration 238: 1948 enodes
5.849 * * [simplify]: iteration 239: 1955 enodes
5.874 * * [simplify]: iteration 240: 1962 enodes
5.888 * * [simplify]: iteration 241: 1974 enodes
5.906 * * [simplify]: iteration 242: 1979 enodes
5.926 * * [simplify]: iteration 243: 1986 enodes
5.948 * * [simplify]: iteration 244: 1993 enodes
5.962 * * [simplify]: iteration 245: 2005 enodes
5.983 * * [simplify]: iteration 246: 2010 enodes
6.002 * * [simplify]: iteration 247: 2017 enodes
6.045 * * [simplify]: iteration 248: 2024 enodes
6.073 * * [simplify]: iteration 249: 2036 enodes
6.097 * * [simplify]: iteration 250: 2041 enodes
6.118 * * [simplify]: iteration 251: 2048 enodes
6.142 * * [simplify]: iteration 252: 2053 enodes
6.194 * * [simplify]: iteration 253: 2065 enodes
6.280 * * [simplify]: iteration 254: 2070 enodes
6.291 * * [simplify]: iteration 255: 2077 enodes
6.314 * * [simplify]: iteration 256: 2084 enodes
6.338 * * [simplify]: iteration 257: 2096 enodes
6.361 * * [simplify]: iteration 258: 2101 enodes
6.380 * * [simplify]: iteration 259: 2108 enodes
6.423 * * [simplify]: iteration 260: 2113 enodes
6.443 * * [simplify]: iteration 261: 2125 enodes
6.466 * * [simplify]: iteration 262: 2130 enodes
6.486 * * [simplify]: iteration 263: 2137 enodes
6.510 * * [simplify]: iteration 264: 2144 enodes
6.533 * * [simplify]: iteration 265: 2156 enodes
6.562 * * [simplify]: iteration 266: 2161 enodes
6.584 * * [simplify]: iteration 267: 2168 enodes
6.611 * * [simplify]: iteration 268: 2175 enodes
6.637 * * [simplify]: iteration 269: 2187 enodes
6.662 * * [simplify]: iteration 270: 2192 enodes
6.684 * * [simplify]: iteration 271: 2199 enodes
6.714 * * [simplify]: iteration 272: 2204 enodes
6.738 * * [simplify]: iteration 273: 2216 enodes
6.763 * * [simplify]: iteration 274: 2221 enodes
6.781 * * [simplify]: iteration 275: 2228 enodes
6.803 * * [simplify]: iteration 276: 2235 enodes
6.827 * * [simplify]: iteration 277: 2247 enodes
6.855 * * [simplify]: iteration 278: 2252 enodes
6.875 * * [simplify]: iteration 279: 2259 enodes
6.901 * * [simplify]: iteration 280: 2264 enodes
6.925 * * [simplify]: iteration 281: 2276 enodes
6.949 * * [simplify]: iteration 282: 2281 enodes
6.969 * * [simplify]: iteration 283: 2288 enodes
6.999 * * [simplify]: iteration 284: 2293 enodes
7.023 * * [simplify]: iteration 285: 2305 enodes
7.048 * * [simplify]: iteration 286: 2310 enodes
7.068 * * [simplify]: iteration 287: 2317 enodes
7.095 * * [simplify]: iteration 288: 2324 enodes
7.120 * * [simplify]: iteration 289: 2336 enodes
7.148 * * [simplify]: iteration 290: 2341 enodes
7.170 * * [simplify]: iteration 291: 2348 enodes
7.197 * * [simplify]: iteration 292: 2355 enodes
7.222 * * [simplify]: iteration 293: 2367 enodes
7.245 * * [simplify]: iteration 294: 2372 enodes
7.267 * * [simplify]: iteration 295: 2379 enodes
7.296 * * [simplify]: iteration 296: 2386 enodes
7.320 * * [simplify]: iteration 297: 2398 enodes
7.345 * * [simplify]: iteration 298: 2403 enodes
7.366 * * [simplify]: iteration 299: 2410 enodes
7.392 * * [simplify]: iteration 300: 2417 enodes
7.420 * * [simplify]: iteration 301: 2429 enodes
7.446 * * [simplify]: iteration 302: 2434 enodes
7.466 * * [simplify]: iteration 303: 2441 enodes
7.493 * * [simplify]: iteration 304: 2446 enodes
7.517 * * [simplify]: iteration 305: 2458 enodes
7.542 * * [simplify]: iteration 306: 2463 enodes
7.564 * * [simplify]: iteration 307: 2470 enodes
7.592 * * [simplify]: iteration 308: 2479 enodes
7.615 * * [simplify]: iteration 309: 2487 enodes
7.638 * * [simplify]: iteration 310: 2492 enodes
7.660 * * [simplify]: iteration 311: 2501 enodes
7.686 * * [simplify]: iteration 312: 2506 enodes
7.767 * * [simplify]: iteration 313: 2519 enodes
7.827 * * [simplify]: iteration 314: 2524 enodes
7.874 * * [simplify]: iteration 315: 2531 enodes
7.905 * * [simplify]: iteration 316: 2536 enodes
7.926 * * [simplify]: iteration 317: 2548 enodes
7.949 * * [simplify]: iteration 318: 2553 enodes
7.961 * * [simplify]: iteration 319: 2560 enodes
7.984 * * [simplify]: iteration 320: 2565 enodes
8.008 * * [simplify]: iteration 321: 2577 enodes
8.031 * * [simplify]: iteration 322: 2582 enodes
8.049 * * [simplify]: iteration 323: 2589 enodes
8.072 * * [simplify]: iteration 324: 2596 enodes
8.097 * * [simplify]: iteration 325: 2608 enodes
8.122 * * [simplify]: iteration 326: 2613 enodes
8.139 * * [simplify]: iteration 327: 2620 enodes
8.160 * * [simplify]: iteration 328: 2625 enodes
8.179 * * [simplify]: iteration 329: 2637 enodes
8.200 * * [simplify]: iteration 330: 2642 enodes
8.218 * * [simplify]: iteration 331: 2649 enodes
8.254 * * [simplify]: iteration 332: 2656 enodes
8.279 * * [simplify]: iteration 333: 2668 enodes
8.299 * * [simplify]: iteration 334: 2673 enodes
8.319 * * [simplify]: iteration 335: 2680 enodes
8.343 * * [simplify]: iteration 336: 2685 enodes
8.370 * * [simplify]: iteration 337: 2697 enodes
8.399 * * [simplify]: iteration 338: 2702 enodes
8.417 * * [simplify]: iteration 339: 2709 enodes
8.434 * * [simplify]: iteration 340: 2716 enodes
8.456 * * [simplify]: iteration 341: 2728 enodes
8.480 * * [simplify]: iteration 342: 2733 enodes
8.499 * * [simplify]: iteration 343: 2740 enodes
8.525 * * [simplify]: iteration 344: 2745 enodes
8.546 * * [simplify]: iteration 345: 2757 enodes
8.569 * * [simplify]: iteration 346: 2762 enodes
8.589 * * [simplify]: iteration 347: 2769 enodes
8.615 * * [simplify]: iteration 348: 2776 enodes
8.638 * * [simplify]: iteration 349: 2788 enodes
8.651 * * [simplify]: iteration 350: 2793 enodes
8.669 * * [simplify]: iteration 351: 2800 enodes
8.692 * * [simplify]: iteration 352: 2805 enodes
8.713 * * [simplify]: iteration 353: 2817 enodes
8.737 * * [simplify]: iteration 354: 2822 enodes
8.751 * * [simplify]: iteration 355: 2829 enodes
8.779 * * [simplify]: iteration 356: 2836 enodes
8.802 * * [simplify]: iteration 357: 2848 enodes
8.825 * * [simplify]: iteration 358: 2853 enodes
8.847 * * [simplify]: iteration 359: 2860 enodes
8.872 * * [simplify]: iteration 360: 2865 enodes
8.895 * * [simplify]: iteration 361: 2877 enodes
8.917 * * [simplify]: iteration 362: 2882 enodes
8.937 * * [simplify]: iteration 363: 2889 enodes
8.962 * * [simplify]: iteration 364: 2896 enodes
8.986 * * [simplify]: iteration 365: 2908 enodes
9.010 * * [simplify]: iteration 366: 2913 enodes
9.030 * * [simplify]: iteration 367: 2920 enodes
9.055 * * [simplify]: iteration 368: 2925 enodes
9.077 * * [simplify]: iteration 369: 2937 enodes
9.100 * * [simplify]: iteration 370: 2942 enodes
9.120 * * [simplify]: iteration 371: 2949 enodes
9.146 * * [simplify]: iteration 372: 2956 enodes
9.171 * * [simplify]: iteration 373: 2968 enodes
9.194 * * [simplify]: iteration 374: 2973 enodes
9.216 * * [simplify]: iteration 375: 2980 enodes
9.243 * * [simplify]: iteration 376: 2987 enodes
9.267 * * [simplify]: iteration 377: 2999 enodes
9.291 * * [simplify]: iteration 378: 3004 enodes
9.306 * * [simplify]: iteration 379: 3011 enodes
9.333 * * [simplify]: iteration 380: 3016 enodes
9.357 * * [simplify]: iteration 381: 3028 enodes
9.382 * * [simplify]: iteration 382: 3033 enodes
9.403 * * [simplify]: iteration 383: 3040 enodes
9.428 * * [simplify]: iteration 384: 3047 enodes
9.454 * * [simplify]: iteration 385: 3059 enodes
9.478 * * [simplify]: iteration 386: 3064 enodes
9.499 * * [simplify]: iteration 387: 3071 enodes
9.524 * * [simplify]: iteration 388: 3076 enodes
9.548 * * [simplify]: iteration 389: 3088 enodes
9.572 * * [simplify]: iteration 390: 3093 enodes
9.593 * * [simplify]: iteration 391: 3100 enodes
9.621 * * [simplify]: iteration 392: 3107 enodes
9.646 * * [simplify]: iteration 393: 3119 enodes
9.670 * * [simplify]: iteration 394: 3124 enodes
9.694 * * [simplify]: iteration 395: 3131 enodes
9.719 * * [simplify]: iteration 396: 3136 enodes
9.744 * * [simplify]: iteration 397: 3148 enodes
9.769 * * [simplify]: iteration 398: 3153 enodes
9.790 * * [simplify]: iteration 399: 3160 enodes
9.820 * * [simplify]: iteration 400: 3167 enodes
9.845 * * [simplify]: iteration 401: 3179 enodes
9.870 * * [simplify]: iteration 402: 3184 enodes
9.892 * * [simplify]: iteration 403: 3191 enodes
9.920 * * [simplify]: iteration 404: 3196 enodes
9.945 * * [simplify]: iteration 405: 3208 enodes
9.968 * * [simplify]: iteration 406: 3213 enodes
9.989 * * [simplify]: iteration 407: 3220 enodes
10.014 * * [simplify]: iteration 408: 3227 enodes
10.036 * * [simplify]: iteration 409: 3239 enodes
10.059 * * [simplify]: iteration 410: 3244 enodes
10.080 * * [simplify]: iteration 411: 3251 enodes
10.106 * * [simplify]: iteration 412: 3256 enodes
10.130 * * [simplify]: iteration 413: 3268 enodes
10.153 * * [simplify]: iteration 414: 3273 enodes
10.172 * * [simplify]: iteration 415: 3280 enodes
10.328 * * [simplify]: iteration 416: 3287 enodes
10.352 * * [simplify]: iteration 417: 3299 enodes
10.377 * * [simplify]: iteration 418: 3304 enodes
10.399 * * [simplify]: iteration 419: 3311 enodes
10.426 * * [simplify]: iteration 420: 3316 enodes
10.506 * * [simplify]: iteration 421: 3328 enodes
10.536 * * [simplify]: iteration 422: 3333 enodes
10.552 * * [simplify]: iteration 423: 3340 enodes
10.573 * * [simplify]: iteration 424: 3347 enodes
10.598 * * [simplify]: iteration 425: 3359 enodes
10.615 * * [simplify]: iteration 426: 3364 enodes
10.632 * * [simplify]: iteration 427: 3371 enodes
10.656 * * [simplify]: iteration 428: 3376 enodes
10.680 * * [simplify]: iteration 429: 3388 enodes
10.704 * * [simplify]: iteration 430: 3393 enodes
10.726 * * [simplify]: iteration 431: 3400 enodes
10.753 * * [simplify]: iteration 432: 3407 enodes
10.781 * * [simplify]: iteration 433: 3419 enodes
10.802 * * [simplify]: iteration 434: 3424 enodes
10.818 * * [simplify]: iteration 435: 3431 enodes
10.840 * * [simplify]: iteration 436: 3436 enodes
10.865 * * [simplify]: iteration 437: 3448 enodes
10.900 * * [simplify]: iteration 438: 3453 enodes
10.921 * * [simplify]: iteration 439: 3460 enodes
10.950 * * [simplify]: iteration 440: 3467 enodes
10.973 * * [simplify]: iteration 441: 3479 enodes
10.996 * * [simplify]: iteration 442: 3484 enodes
11.015 * * [simplify]: iteration 443: 3491 enodes
11.040 * * [simplify]: iteration 444: 3498 enodes
11.064 * * [simplify]: iteration 445: 3510 enodes
11.087 * * [simplify]: iteration 446: 3515 enodes
11.109 * * [simplify]: iteration 447: 3522 enodes
11.158 * * [simplify]: iteration 448: 3527 enodes
11.181 * * [simplify]: iteration 449: 3539 enodes
11.204 * * [simplify]: iteration 450: 3544 enodes
11.224 * * [simplify]: iteration 451: 3551 enodes
11.254 * * [simplify]: iteration 452: 3558 enodes
11.277 * * [simplify]: iteration 453: 3570 enodes
11.300 * * [simplify]: iteration 454: 3575 enodes
11.321 * * [simplify]: iteration 455: 3582 enodes
11.346 * * [simplify]: iteration 456: 3587 enodes
11.373 * * [simplify]: iteration 457: 3599 enodes
11.402 * * [simplify]: iteration 458: 3604 enodes
11.423 * * [simplify]: iteration 459: 3611 enodes
11.448 * * [simplify]: iteration 460: 3618 enodes
11.471 * * [simplify]: iteration 461: 3630 enodes
11.495 * * [simplify]: iteration 462: 3635 enodes
11.515 * * [simplify]: iteration 463: 3642 enodes
11.541 * * [simplify]: iteration 464: 3647 enodes
11.565 * * [simplify]: iteration 465: 3659 enodes
11.589 * * [simplify]: iteration 466: 3664 enodes
11.632 * * [simplify]: iteration 467: 3671 enodes
11.658 * * [simplify]: iteration 468: 3678 enodes
11.683 * * [simplify]: iteration 469: 3690 enodes
11.707 * * [simplify]: iteration 470: 3695 enodes
11.728 * * [simplify]: iteration 471: 3702 enodes
11.753 * * [simplify]: iteration 472: 3707 enodes
11.776 * * [simplify]: iteration 473: 3719 enodes
11.800 * * [simplify]: iteration 474: 3724 enodes
11.820 * * [simplify]: iteration 475: 3731 enodes
11.852 * * [simplify]: iteration 476: 3740 enodes
11.875 * * [simplify]: iteration 477: 3748 enodes
11.897 * * [simplify]: iteration 478: 3753 enodes
11.965 * * [simplify]: iteration 479: 3762 enodes
11.990 * * [simplify]: iteration 480: 3767 enodes
12.013 * * [simplify]: iteration 481: 3780 enodes
12.035 * * [simplify]: iteration 482: 3785 enodes
12.056 * * [simplify]: iteration 483: 3792 enodes
12.081 * * [simplify]: iteration 484: 3801 enodes
12.103 * * [simplify]: iteration 485: 3809 enodes
12.123 * * [simplify]: iteration 486: 3814 enodes
12.146 * * [simplify]: iteration 487: 3823 enodes
12.171 * * [simplify]: iteration 488: 3830 enodes
12.193 * * [simplify]: iteration 489: 3843 enodes
12.217 * * [simplify]: iteration 490: 3848 enodes
12.237 * * [simplify]: iteration 491: 3855 enodes
12.260 * * [simplify]: iteration 492: 3860 enodes
12.285 * * [simplify]: iteration 493: 3872 enodes
12.307 * * [simplify]: iteration 494: 3877 enodes
12.328 * * [simplify]: iteration 495: 3884 enodes
12.352 * * [simplify]: iteration 496: 3891 enodes
12.374 * * [simplify]: iteration 497: 3903 enodes
12.396 * * [simplify]: iteration 498: 3908 enodes
12.417 * * [simplify]: iteration 499: 3915 enodes
12.442 * * [simplify]: iteration 500: 3920 enodes
12.465 * * [simplify]: iteration 501: 3932 enodes
12.488 * * [simplify]: iteration 502: 3937 enodes
12.510 * * [simplify]: iteration 503: 3944 enodes
12.535 * * [simplify]: iteration 504: 3951 enodes
12.559 * * [simplify]: iteration 505: 3963 enodes
12.581 * * [simplify]: iteration 506: 3968 enodes
12.602 * * [simplify]: iteration 507: 3975 enodes
12.622 * * [simplify]: iteration 508: 3980 enodes
12.644 * * [simplify]: iteration 509: 3992 enodes
12.667 * * [simplify]: iteration 510: 3997 enodes
12.688 * * [simplify]: iteration 511: 4004 enodes
12.719 * * [simplify]: iteration 512: 4011 enodes
12.747 * * [simplify]: iteration 513: 4023 enodes
12.769 * * [simplify]: iteration 514: 4028 enodes
12.788 * * [simplify]: iteration 515: 4035 enodes
12.812 * * [simplify]: iteration 516: 4042 enodes
12.838 * * [simplify]: iteration 517: 4054 enodes
12.862 * * [simplify]: iteration 518: 4059 enodes
12.883 * * [simplify]: iteration 519: 4066 enodes
12.908 * * [simplify]: iteration 520: 4071 enodes
12.927 * * [simplify]: iteration 521: 4083 enodes
12.943 * * [simplify]: iteration 522: 4088 enodes
12.958 * * [simplify]: iteration 523: 4095 enodes
12.987 * * [simplify]: iteration 524: 4100 enodes
13.013 * * [simplify]: iteration 525: 4112 enodes
13.037 * * [simplify]: iteration 526: 4117 enodes
13.059 * * [simplify]: iteration 527: 4124 enodes
13.085 * * [simplify]: iteration 528: 4131 enodes
13.111 * * [simplify]: iteration 529: 4143 enodes
13.135 * * [simplify]: iteration 530: 4148 enodes
13.155 * * [simplify]: iteration 531: 4155 enodes
13.180 * * [simplify]: iteration 532: 4162 enodes
13.203 * * [simplify]: iteration 533: 4174 enodes
13.225 * * [simplify]: iteration 534: 4179 enodes
13.246 * * [simplify]: iteration 535: 4186 enodes
13.270 * * [simplify]: iteration 536: 4193 enodes
13.289 * * [simplify]: iteration 537: 4205 enodes
13.305 * * [simplify]: iteration 538: 4210 enodes
13.324 * * [simplify]: iteration 539: 4217 enodes
13.349 * * [simplify]: iteration 540: 4226 enodes
13.373 * * [simplify]: iteration 541: 4234 enodes
13.394 * * [simplify]: iteration 542: 4239 enodes
13.417 * * [simplify]: iteration 543: 4248 enodes
13.444 * * [simplify]: iteration 544: 4253 enodes
13.467 * * [simplify]: iteration 545: 4266 enodes
13.491 * * [simplify]: iteration 546: 4271 enodes
13.514 * * [simplify]: iteration 547: 4278 enodes
13.545 * * [simplify]: iteration 548: 4285 enodes
13.566 * * [simplify]: iteration 549: 4297 enodes
13.590 * * [simplify]: iteration 550: 4302 enodes
13.610 * * [simplify]: iteration 551: 4309 enodes
13.636 * * [simplify]: iteration 552: 4316 enodes
13.663 * * [simplify]: iteration 553: 4328 enodes
13.686 * * [simplify]: iteration 554: 4333 enodes
13.707 * * [simplify]: iteration 555: 4340 enodes
13.732 * * [simplify]: iteration 556: 4345 enodes
13.754 * * [simplify]: iteration 557: 4357 enodes
13.777 * * [simplify]: iteration 558: 4362 enodes
13.800 * * [simplify]: iteration 559: 4369 enodes
13.825 * * [simplify]: iteration 560: 4376 enodes
13.850 * * [simplify]: iteration 561: 4388 enodes
13.873 * * [simplify]: iteration 562: 4393 enodes
13.893 * * [simplify]: iteration 563: 4400 enodes
13.919 * * [simplify]: iteration 564: 4409 enodes
13.943 * * [simplify]: iteration 565: 4417 enodes
13.966 * * [simplify]: iteration 566: 4422 enodes
13.989 * * [simplify]: iteration 567: 4431 enodes
14.015 * * [simplify]: iteration 568: 4436 enodes
14.038 * * [simplify]: iteration 569: 4449 enodes
14.063 * * [simplify]: iteration 570: 4454 enodes
14.086 * * [simplify]: iteration 571: 4461 enodes
14.114 * * [simplify]: iteration 572: 4466 enodes
14.138 * * [simplify]: iteration 573: 4478 enodes
14.164 * * [simplify]: iteration 574: 4483 enodes
14.185 * * [simplify]: iteration 575: 4490 enodes
14.212 * * [simplify]: iteration 576: 4499 enodes
14.238 * * [simplify]: iteration 577: 4507 enodes
14.264 * * [simplify]: iteration 578: 4512 enodes
14.287 * * [simplify]: iteration 579: 4521 enodes
14.313 * * [simplify]: iteration 580: 4526 enodes
14.337 * * [simplify]: iteration 581: 4539 enodes
14.362 * * [simplify]: iteration 582: 4544 enodes
14.386 * * [simplify]: iteration 583: 4551 enodes
14.413 * * [simplify]: iteration 584: 4556 enodes
14.439 * * [simplify]: iteration 585: 4568 enodes
14.463 * * [simplify]: iteration 586: 4573 enodes
14.486 * * [simplify]: iteration 587: 4580 enodes
14.508 * * [simplify]: iteration 588: 4585 enodes
14.528 * * [simplify]: iteration 589: 4597 enodes
14.551 * * [simplify]: iteration 590: 4602 enodes
14.570 * * [simplify]: iteration 591: 4609 enodes
14.590 * * [simplify]: iteration 592: 4618 enodes
14.611 * * [simplify]: iteration 593: 4626 enodes
14.634 * * [simplify]: iteration 594: 4631 enodes
14.657 * * [simplify]: iteration 595: 4640 enodes
14.674 * * [simplify]: iteration 596: 4645 enodes
14.696 * * [simplify]: iteration 597: 4658 enodes
14.719 * * [simplify]: iteration 598: 4663 enodes
14.739 * * [simplify]: iteration 599: 4670 enodes
14.764 * * [simplify]: iteration 600: 4677 enodes
14.785 * * [simplify]: iteration 601: 4689 enodes
14.809 * * [simplify]: iteration 602: 4694 enodes
14.830 * * [simplify]: iteration 603: 4701 enodes
14.855 * * [simplify]: iteration 604: 4710 enodes
14.878 * * [simplify]: iteration 605: 4718 enodes
14.903 * * [simplify]: iteration 606: 4723 enodes
14.923 * * [simplify]: iteration 607: 4732 enodes
14.942 * * [simplify]: iteration 608: 4739 enodes
14.964 * * [simplify]: iteration 609: 4752 enodes
14.980 * * [simplify]: iteration 610: 4757 enodes
14.995 * * [simplify]: iteration 611: 4764 enodes
15.020 * * [simplify]: iteration 612: 4771 enodes
15.044 * * [simplify]: iteration 613: 4783 enodes
15.068 * * [simplify]: iteration 614: 4788 enodes
15.088 * * [simplify]: iteration 615: 4795 enodes
15.113 * * [simplify]: iteration 616: 4802 enodes
15.137 * * [simplify]: iteration 617: 4814 enodes
15.161 * * [simplify]: iteration 618: 4819 enodes
15.180 * * [simplify]: iteration 619: 4826 enodes
15.205 * * [simplify]: iteration 620: 4831 enodes
15.239 * * [simplify]: iteration 621: 4843 enodes
15.262 * * [simplify]: iteration 622: 4848 enodes
15.283 * * [simplify]: iteration 623: 4855 enodes
15.309 * * [simplify]: iteration 624: 4862 enodes
15.427 * * [simplify]: iteration 625: 4874 enodes
15.446 * * [simplify]: iteration 626: 4879 enodes
15.464 * * [simplify]: iteration 627: 4886 enodes
15.487 * * [simplify]: iteration 628: 4891 enodes
15.510 * * [simplify]: iteration 629: 4903 enodes
15.535 * * [simplify]: iteration 630: 4908 enodes
15.613 * * [simplify]: iteration 631: 4915 enodes
15.633 * * [simplify]: iteration 632: 4924 enodes
15.653 * * [simplify]: iteration 633: 4932 enodes
15.677 * * [simplify]: iteration 634: 4937 enodes
15.698 * * [simplify]: iteration 635: 4946 enodes
15.722 * * [simplify]: iteration 636: 4953 enodes
15.746 * * [simplify]: iteration 637: 4966 enodes
15.771 * * [simplify]: iteration 638: 4971 enodes
15.790 * * [simplify]: iteration 639: 4978 enodes
15.814 * * [simplify]: iteration 640: 4985 enodes
15.837 * * [simplify]: iteration 641: 4997 enodes
15.852 * * [simplify]: iteration complete: 5001 enodes
15.852 * * [simplify]: Extracting #0: cost 1 inf + 0
15.852 * * [simplify]: Extracting #1: cost 12 inf + 0
15.852 * * [simplify]: Extracting #2: cost 8 inf + 103
15.852 * * [simplify]: Extracting #3: cost 1 inf + 515
15.853 * * [simplify]: Extracting #4: cost 0 inf + 637
15.853 * [simplify]: Simplified to:
  (- x (- 1.0 x))
15.854 * * [progress]: iteration 1 / 4
15.854 * * * [progress]: picking best candidate
15.859 * * * * [pick]: Picked  #<alt (λ (x) (- (+ x x) 1.0))>
15.859 * * * [progress]: localizing error
15.872 * * * [progress]: generating rewritten candidates
15.872 * * * [progress]: generating series expansions
15.872 * * * [progress]: simplifying candidates
15.872 * [simplify]: Simplifying:
  
15.872 * * [simplify]: iteration 0: 0 enodes
15.872 * * [simplify]: iteration complete: 0 enodes
15.872 * * [simplify]: Extracting #0: cost 0 inf + 0
15.872 * [simplify]: Simplified to:
  
15.872 * * * [progress]: adding candidates to table
15.873 * [progress]: [Phase 3 of 3] Extracting.
15.879 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
15.879 * * [simplify]: iteration 0: 4 enodes
15.879 * * [simplify]: iteration complete: 4 enodes
15.879 * * [simplify]: Extracting #0: cost 1 inf + 0
15.879 * * [simplify]: Extracting #1: cost 3 inf + 0
15.879 * * [simplify]: Extracting #2: cost 3 inf + 1
15.879 * * [simplify]: Extracting #3: cost 1 inf + 43
15.880 * * [simplify]: Extracting #4: cost 0 inf + 125
15.880 * [simplify]: Simplified to:
  (- (+ x x) 1.0)
16.876 * [regime-testing]: Baseline error score: 0
16.888 * [regime-testing]: Oracle error score: 0
16.888 * [regime-testing]: End program error score: 0