45.633 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.031 * [progress]: [Phase 2 of 3] Improving.
0.031 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (+ x x) 1.0))>
0.031 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
0.031 * * [simplify]: iteration 0: 4 enodes
0.037 * * [simplify]: iteration 1: 10 enodes
0.047 * * [simplify]: iteration 2: 15 enodes
0.061 * * [simplify]: iteration 3: 20 enodes
0.076 * * [simplify]: iteration 4: 22 enodes
0.091 * * [simplify]: iteration 5: 24 enodes
0.107 * * [simplify]: iteration 6: 32 enodes
0.119 * * [simplify]: iteration 7: 41 enodes
0.142 * * [simplify]: iteration 8: 53 enodes
0.178 * * [simplify]: iteration 9: 71 enodes
0.199 * * [simplify]: iteration 10: 84 enodes
0.226 * * [simplify]: iteration 11: 143 enodes
0.299 * * [simplify]: iteration 12: 198 enodes
0.350 * * [simplify]: iteration 13: 215 enodes
0.374 * * [simplify]: iteration 14: 221 enodes
0.404 * * [simplify]: iteration 15: 235 enodes
0.434 * * [simplify]: iteration 16: 243 enodes
0.456 * * [simplify]: iteration 17: 256 enodes
0.485 * * [simplify]: iteration 18: 261 enodes
0.505 * * [simplify]: iteration 19: 268 enodes
0.538 * * [simplify]: iteration 20: 275 enodes
0.560 * * [simplify]: iteration 21: 287 enodes
0.591 * * [simplify]: iteration 22: 292 enodes
0.609 * * [simplify]: iteration 23: 299 enodes
0.658 * * [simplify]: iteration 24: 306 enodes
0.694 * * [simplify]: iteration 25: 318 enodes
0.714 * * [simplify]: iteration 26: 323 enodes
0.745 * * [simplify]: iteration 27: 330 enodes
0.790 * * [simplify]: iteration 28: 339 enodes
0.833 * * [simplify]: iteration 29: 347 enodes
0.853 * * [simplify]: iteration 30: 352 enodes
0.885 * * [simplify]: iteration 31: 361 enodes
0.908 * * [simplify]: iteration 32: 368 enodes
0.945 * * [simplify]: iteration 33: 381 enodes
0.965 * * [simplify]: iteration 34: 386 enodes
0.992 * * [simplify]: iteration 35: 393 enodes
1.014 * * [simplify]: iteration 36: 398 enodes
1.050 * * [simplify]: iteration 37: 410 enodes
1.072 * * [simplify]: iteration 38: 415 enodes
1.096 * * [simplify]: iteration 39: 422 enodes
1.142 * * [simplify]: iteration 40: 429 enodes
1.182 * * [simplify]: iteration 41: 441 enodes
1.203 * * [simplify]: iteration 42: 446 enodes
1.222 * * [simplify]: iteration 43: 453 enodes
1.252 * * [simplify]: iteration 44: 460 enodes
1.272 * * [simplify]: iteration 45: 472 enodes
1.308 * * [simplify]: iteration 46: 477 enodes
1.327 * * [simplify]: iteration 47: 484 enodes
1.365 * * [simplify]: iteration 48: 491 enodes
1.388 * * [simplify]: iteration 49: 503 enodes
1.418 * * [simplify]: iteration 50: 508 enodes
1.437 * * [simplify]: iteration 51: 515 enodes
1.465 * * [simplify]: iteration 52: 522 enodes
1.491 * * [simplify]: iteration 53: 534 enodes
1.517 * * [simplify]: iteration 54: 539 enodes
1.541 * * [simplify]: iteration 55: 546 enodes
1.577 * * [simplify]: iteration 56: 551 enodes
1.607 * * [simplify]: iteration 57: 563 enodes
1.632 * * [simplify]: iteration 58: 568 enodes
1.660 * * [simplify]: iteration 59: 575 enodes
1.689 * * [simplify]: iteration 60: 582 enodes
1.714 * * [simplify]: iteration 61: 594 enodes
1.744 * * [simplify]: iteration 62: 599 enodes
1.764 * * [simplify]: iteration 63: 606 enodes
1.799 * * [simplify]: iteration 64: 613 enodes
1.821 * * [simplify]: iteration 65: 625 enodes
1.858 * * [simplify]: iteration 66: 630 enodes
1.876 * * [simplify]: iteration 67: 637 enodes
1.925 * * [simplify]: iteration 68: 646 enodes
1.957 * * [simplify]: iteration 69: 654 enodes
1.977 * * [simplify]: iteration 70: 659 enodes
2.017 * * [simplify]: iteration 71: 668 enodes
2.042 * * [simplify]: iteration 72: 673 enodes
2.076 * * [simplify]: iteration 73: 686 enodes
2.097 * * [simplify]: iteration 74: 691 enodes
2.117 * * [simplify]: iteration 75: 698 enodes
2.161 * * [simplify]: iteration 76: 707 enodes
2.205 * * [simplify]: iteration 77: 715 enodes
2.243 * * [simplify]: iteration 78: 720 enodes
2.263 * * [simplify]: iteration 79: 729 enodes
2.303 * * [simplify]: iteration 80: 736 enodes
2.341 * * [simplify]: iteration 81: 745 enodes
2.384 * * [simplify]: iteration 82: 750 enodes
2.421 * * [simplify]: iteration 83: 759 enodes
2.467 * * [simplify]: iteration 84: 768 enodes
2.505 * * [simplify]: iteration 85: 777 enodes
2.546 * * [simplify]: iteration 86: 782 enodes
2.587 * * [simplify]: iteration 87: 791 enodes
2.632 * * [simplify]: iteration 88: 800 enodes
2.671 * * [simplify]: iteration 89: 809 enodes
2.700 * * [simplify]: iteration 90: 814 enodes
2.719 * * [simplify]: iteration 91: 823 enodes
2.766 * * [simplify]: iteration 92: 828 enodes
2.806 * * [simplify]: iteration 93: 841 enodes
2.836 * * [simplify]: iteration 94: 846 enodes
2.854 * * [simplify]: iteration 95: 853 enodes
2.892 * * [simplify]: iteration 96: 860 enodes
2.927 * * [simplify]: iteration 97: 872 enodes
2.950 * * [simplify]: iteration 98: 877 enodes
2.974 * * [simplify]: iteration 99: 884 enodes
2.999 * * [simplify]: iteration 100: 891 enodes
3.044 * * [simplify]: iteration 101: 903 enodes
3.086 * * [simplify]: iteration 102: 908 enodes
3.112 * * [simplify]: iteration 103: 915 enodes
3.148 * * [simplify]: iteration 104: 922 enodes
3.169 * * [simplify]: iteration 105: 934 enodes
3.199 * * [simplify]: iteration 106: 939 enodes
3.217 * * [simplify]: iteration 107: 946 enodes
3.258 * * [simplify]: iteration 108: 953 enodes
3.282 * * [simplify]: iteration 109: 965 enodes
3.311 * * [simplify]: iteration 110: 970 enodes
3.349 * * [simplify]: iteration 111: 977 enodes
3.395 * * [simplify]: iteration 112: 986 enodes
3.436 * * [simplify]: iteration 113: 994 enodes
3.472 * * [simplify]: iteration 114: 999 enodes
3.492 * * [simplify]: iteration 115: 1008 enodes
3.522 * * [simplify]: iteration 116: 1015 enodes
3.542 * * [simplify]: iteration 117: 1024 enodes
3.575 * * [simplify]: iteration 118: 1029 enodes
3.613 * * [simplify]: iteration 119: 1038 enodes
3.658 * * [simplify]: iteration 120: 1047 enodes
3.699 * * [simplify]: iteration 121: 1056 enodes
3.724 * * [simplify]: iteration 122: 1061 enodes
3.746 * * [simplify]: iteration 123: 1070 enodes
3.774 * * [simplify]: iteration 124: 1075 enodes
3.802 * * [simplify]: iteration 125: 1088 enodes
3.828 * * [simplify]: iteration 126: 1093 enodes
3.854 * * [simplify]: iteration 127: 1100 enodes
3.879 * * [simplify]: iteration 128: 1105 enodes
3.916 * * [simplify]: iteration 129: 1117 enodes
3.937 * * [simplify]: iteration 130: 1122 enodes
3.968 * * [simplify]: iteration 131: 1129 enodes
3.991 * * [simplify]: iteration 132: 1136 enodes
4.015 * * [simplify]: iteration 133: 1148 enodes
4.042 * * [simplify]: iteration 134: 1153 enodes
4.078 * * [simplify]: iteration 135: 1160 enodes
4.125 * * [simplify]: iteration 136: 1165 enodes
4.166 * * [simplify]: iteration 137: 1177 enodes
4.208 * * [simplify]: iteration 138: 1182 enodes
4.230 * * [simplify]: iteration 139: 1189 enodes
4.267 * * [simplify]: iteration 140: 1196 enodes
4.308 * * [simplify]: iteration 141: 1208 enodes
4.333 * * [simplify]: iteration 142: 1213 enodes
4.351 * * [simplify]: iteration 143: 1220 enodes
4.381 * * [simplify]: iteration 144: 1227 enodes
4.404 * * [simplify]: iteration 145: 1239 enodes
4.434 * * [simplify]: iteration 146: 1244 enodes
4.452 * * [simplify]: iteration 147: 1251 enodes
4.474 * * [simplify]: iteration 148: 1258 enodes
4.513 * * [simplify]: iteration 149: 1270 enodes
4.557 * * [simplify]: iteration 150: 1275 enodes
4.585 * * [simplify]: iteration 151: 1282 enodes
4.608 * * [simplify]: iteration 152: 1289 enodes
4.642 * * [simplify]: iteration 153: 1301 enodes
4.662 * * [simplify]: iteration 154: 1306 enodes
4.688 * * [simplify]: iteration 155: 1313 enodes
4.733 * * [simplify]: iteration 156: 1318 enodes
4.763 * * [simplify]: iteration 157: 1330 enodes
4.787 * * [simplify]: iteration 158: 1335 enodes
4.806 * * [simplify]: iteration 159: 1342 enodes
4.844 * * [simplify]: iteration 160: 1351 enodes
4.866 * * [simplify]: iteration 161: 1359 enodes
4.899 * * [simplify]: iteration 162: 1364 enodes
4.920 * * [simplify]: iteration 163: 1373 enodes
4.960 * * [simplify]: iteration 164: 1380 enodes
4.981 * * [simplify]: iteration 165: 1393 enodes
5.019 * * [simplify]: iteration 166: 1398 enodes
5.055 * * [simplify]: iteration 167: 1405 enodes
5.077 * * [simplify]: iteration 168: 1414 enodes
5.100 * * [simplify]: iteration 169: 1422 enodes
5.129 * * [simplify]: iteration 170: 1427 enodes
5.168 * * [simplify]: iteration 171: 1436 enodes
5.213 * * [simplify]: iteration 172: 1443 enodes
5.252 * * [simplify]: iteration 173: 1452 enodes
5.283 * * [simplify]: iteration 174: 1457 enodes
5.321 * * [simplify]: iteration 175: 1466 enodes
5.347 * * [simplify]: iteration 176: 1475 enodes
5.376 * * [simplify]: iteration 177: 1484 enodes
5.418 * * [simplify]: iteration 178: 1489 enodes
5.440 * * [simplify]: iteration 179: 1498 enodes
5.476 * * [simplify]: iteration 180: 1507 enodes
5.503 * * [simplify]: iteration 181: 1516 enodes
5.525 * * [simplify]: iteration 182: 1521 enodes
5.558 * * [simplify]: iteration 183: 1530 enodes
5.584 * * [simplify]: iteration 184: 1537 enodes
5.621 * * [simplify]: iteration 185: 1550 enodes
5.642 * * [simplify]: iteration 186: 1555 enodes
5.672 * * [simplify]: iteration 187: 1562 enodes
5.697 * * [simplify]: iteration 188: 1571 enodes
5.731 * * [simplify]: iteration 189: 1579 enodes
5.772 * * [simplify]: iteration 190: 1584 enodes
5.799 * * [simplify]: iteration 191: 1593 enodes
5.825 * * [simplify]: iteration 192: 1598 enodes
5.854 * * [simplify]: iteration 193: 1611 enodes
5.878 * * [simplify]: iteration 194: 1616 enodes
5.902 * * [simplify]: iteration 195: 1623 enodes
5.926 * * [simplify]: iteration 196: 1630 enodes
5.954 * * [simplify]: iteration 197: 1642 enodes
5.974 * * [simplify]: iteration 198: 1647 enodes
6.007 * * [simplify]: iteration 199: 1654 enodes
6.041 * * [simplify]: iteration 200: 1663 enodes
6.062 * * [simplify]: iteration 201: 1671 enodes
6.102 * * [simplify]: iteration 202: 1676 enodes
6.143 * * [simplify]: iteration 203: 1685 enodes
6.188 * * [simplify]: iteration 204: 1692 enodes
6.226 * * [simplify]: iteration 205: 1701 enodes
6.267 * * [simplify]: iteration 206: 1706 enodes
6.303 * * [simplify]: iteration 207: 1715 enodes
6.337 * * [simplify]: iteration 208: 1724 enodes
6.357 * * [simplify]: iteration 209: 1733 enodes
6.377 * * [simplify]: iteration 210: 1738 enodes
6.396 * * [simplify]: iteration 211: 1747 enodes
6.421 * * [simplify]: iteration 212: 1756 enodes
6.461 * * [simplify]: iteration 213: 1765 enodes
6.482 * * [simplify]: iteration 214: 1770 enodes
6.500 * * [simplify]: iteration 215: 1779 enodes
6.536 * * [simplify]: iteration 216: 1784 enodes
6.568 * * [simplify]: iteration 217: 1797 enodes
6.590 * * [simplify]: iteration 218: 1802 enodes
6.624 * * [simplify]: iteration 219: 1809 enodes
6.669 * * [simplify]: iteration 220: 1814 enodes
6.699 * * [simplify]: iteration 221: 1826 enodes
6.720 * * [simplify]: iteration 222: 1831 enodes
6.759 * * [simplify]: iteration 223: 1838 enodes
6.805 * * [simplify]: iteration 224: 1845 enodes
6.846 * * [simplify]: iteration 225: 1857 enodes
6.887 * * [simplify]: iteration 226: 1862 enodes
6.905 * * [simplify]: iteration 227: 1869 enodes
6.941 * * [simplify]: iteration 228: 1876 enodes
6.964 * * [simplify]: iteration 229: 1888 enodes
6.985 * * [simplify]: iteration 230: 1893 enodes
7.002 * * [simplify]: iteration 231: 1900 enodes
7.026 * * [simplify]: iteration 232: 1909 enodes
7.048 * * [simplify]: iteration 233: 1917 enodes
7.068 * * [simplify]: iteration 234: 1922 enodes
7.099 * * [simplify]: iteration 235: 1931 enodes
7.121 * * [simplify]: iteration 236: 1936 enodes
7.155 * * [simplify]: iteration 237: 1949 enodes
7.177 * * [simplify]: iteration 238: 1954 enodes
7.195 * * [simplify]: iteration 239: 1961 enodes
7.234 * * [simplify]: iteration 240: 1970 enodes
7.275 * * [simplify]: iteration 241: 1978 enodes
7.319 * * [simplify]: iteration 242: 1983 enodes
7.354 * * [simplify]: iteration 243: 1992 enodes
7.381 * * [simplify]: iteration 244: 1997 enodes
7.420 * * [simplify]: iteration 245: 2010 enodes
7.461 * * [simplify]: iteration 246: 2015 enodes
7.501 * * [simplify]: iteration 247: 2022 enodes
7.541 * * [simplify]: iteration 248: 2027 enodes
7.562 * * [simplify]: iteration 249: 2039 enodes
7.600 * * [simplify]: iteration 250: 2044 enodes
7.636 * * [simplify]: iteration 251: 2051 enodes
7.683 * * [simplify]: iteration 252: 2058 enodes
7.717 * * [simplify]: iteration 253: 2070 enodes
7.743 * * [simplify]: iteration 254: 2075 enodes
7.780 * * [simplify]: iteration 255: 2082 enodes
7.824 * * [simplify]: iteration 256: 2089 enodes
7.855 * * [simplify]: iteration 257: 2101 enodes
7.875 * * [simplify]: iteration 258: 2106 enodes
7.904 * * [simplify]: iteration 259: 2113 enodes
7.950 * * [simplify]: iteration 260: 2122 enodes
7.980 * * [simplify]: iteration 261: 2130 enodes
8.002 * * [simplify]: iteration 262: 2135 enodes
8.038 * * [simplify]: iteration 263: 2144 enodes
8.077 * * [simplify]: iteration 264: 2149 enodes
8.096 * * [simplify]: iteration 265: 2162 enodes
8.136 * * [simplify]: iteration 266: 2167 enodes
8.173 * * [simplify]: iteration 267: 2174 enodes
8.205 * * [simplify]: iteration 268: 2181 enodes
8.231 * * [simplify]: iteration 269: 2193 enodes
8.273 * * [simplify]: iteration 270: 2198 enodes
8.305 * * [simplify]: iteration 271: 2205 enodes
8.329 * * [simplify]: iteration 272: 2212 enodes
8.350 * * [simplify]: iteration 273: 2224 enodes
8.371 * * [simplify]: iteration 274: 2229 enodes
8.400 * * [simplify]: iteration 275: 2236 enodes
8.424 * * [simplify]: iteration 276: 2241 enodes
8.453 * * [simplify]: iteration 277: 2253 enodes
8.473 * * [simplify]: iteration 278: 2258 enodes
8.499 * * [simplify]: iteration 279: 2265 enodes
8.521 * * [simplify]: iteration 280: 2272 enodes
8.560 * * [simplify]: iteration 281: 2284 enodes
8.599 * * [simplify]: iteration 282: 2289 enodes
8.633 * * [simplify]: iteration 283: 2296 enodes
8.676 * * [simplify]: iteration 284: 2303 enodes
8.715 * * [simplify]: iteration 285: 2315 enodes
8.748 * * [simplify]: iteration 286: 2320 enodes
8.767 * * [simplify]: iteration 287: 2327 enodes
8.806 * * [simplify]: iteration 288: 2334 enodes
8.842 * * [simplify]: iteration 289: 2346 enodes
8.867 * * [simplify]: iteration 290: 2351 enodes
8.893 * * [simplify]: iteration 291: 2358 enodes
8.938 * * [simplify]: iteration 292: 2365 enodes
8.979 * * [simplify]: iteration 293: 2377 enodes
9.006 * * [simplify]: iteration 294: 2382 enodes
9.024 * * [simplify]: iteration 295: 2389 enodes
9.068 * * [simplify]: iteration 296: 2396 enodes
9.088 * * [simplify]: iteration 297: 2408 enodes
9.108 * * [simplify]: iteration 298: 2413 enodes
9.132 * * [simplify]: iteration 299: 2420 enodes
9.165 * * [simplify]: iteration 300: 2429 enodes
9.185 * * [simplify]: iteration 301: 2437 enodes
9.206 * * [simplify]: iteration 302: 2442 enodes
9.245 * * [simplify]: iteration 303: 2451 enodes
9.289 * * [simplify]: iteration 304: 2456 enodes
9.333 * * [simplify]: iteration 305: 2469 enodes
9.358 * * [simplify]: iteration 306: 2474 enodes
9.378 * * [simplify]: iteration 307: 2481 enodes
9.416 * * [simplify]: iteration 308: 2488 enodes
9.437 * * [simplify]: iteration 309: 2500 enodes
9.481 * * [simplify]: iteration 310: 2505 enodes
9.515 * * [simplify]: iteration 311: 2512 enodes
9.537 * * [simplify]: iteration 312: 2521 enodes
9.557 * * [simplify]: iteration 313: 2529 enodes
9.577 * * [simplify]: iteration 314: 2534 enodes
9.610 * * [simplify]: iteration 315: 2543 enodes
9.656 * * [simplify]: iteration 316: 2550 enodes
9.695 * * [simplify]: iteration 317: 2563 enodes
9.735 * * [simplify]: iteration 318: 2568 enodes
9.769 * * [simplify]: iteration 319: 2575 enodes
9.812 * * [simplify]: iteration 320: 2582 enodes
9.837 * * [simplify]: iteration 321: 2594 enodes
9.866 * * [simplify]: iteration 322: 2599 enodes
9.901 * * [simplify]: iteration 323: 2606 enodes
9.946 * * [simplify]: iteration 324: 2613 enodes
9.991 * * [simplify]: iteration 325: 2625 enodes
10.031 * * [simplify]: iteration 326: 2630 enodes
10.058 * * [simplify]: iteration 327: 2637 enodes
10.080 * * [simplify]: iteration 328: 2644 enodes
10.103 * * [simplify]: iteration 329: 2656 enodes
10.123 * * [simplify]: iteration 330: 2661 enodes
10.145 * * [simplify]: iteration 331: 2668 enodes
10.174 * * [simplify]: iteration 332: 2677 enodes
10.203 * * [simplify]: iteration 333: 2685 enodes
10.232 * * [simplify]: iteration 334: 2690 enodes
10.254 * * [simplify]: iteration 335: 2699 enodes
10.285 * * [simplify]: iteration 336: 2704 enodes
10.316 * * [simplify]: iteration 337: 2717 enodes
10.346 * * [simplify]: iteration 338: 2722 enodes
10.366 * * [simplify]: iteration 339: 2729 enodes
10.391 * * [simplify]: iteration 340: 2736 enodes
10.413 * * [simplify]: iteration 341: 2748 enodes
10.433 * * [simplify]: iteration 342: 2753 enodes
10.457 * * [simplify]: iteration 343: 2760 enodes
10.491 * * [simplify]: iteration 344: 2769 enodes
10.511 * * [simplify]: iteration 345: 2777 enodes
10.533 * * [simplify]: iteration 346: 2782 enodes
10.554 * * [simplify]: iteration 347: 2791 enodes
10.577 * * [simplify]: iteration 348: 2798 enodes
10.603 * * [simplify]: iteration 349: 2811 enodes
10.630 * * [simplify]: iteration 350: 2816 enodes
10.648 * * [simplify]: iteration 351: 2823 enodes
10.670 * * [simplify]: iteration 352: 2828 enodes
10.698 * * [simplify]: iteration 353: 2840 enodes
10.734 * * [simplify]: iteration 354: 2845 enodes
10.753 * * [simplify]: iteration 355: 2852 enodes
10.779 * * [simplify]: iteration 356: 2861 enodes
10.808 * * [simplify]: iteration 357: 2869 enodes
10.841 * * [simplify]: iteration 358: 2874 enodes
10.871 * * [simplify]: iteration 359: 2883 enodes
10.896 * * [simplify]: iteration 360: 2890 enodes
10.923 * * [simplify]: iteration 361: 2903 enodes
10.953 * * [simplify]: iteration 362: 2908 enodes
10.986 * * [simplify]: iteration 363: 2915 enodes
11.011 * * [simplify]: iteration 364: 2922 enodes
11.031 * * [simplify]: iteration 365: 2934 enodes
11.059 * * [simplify]: iteration 366: 2939 enodes
11.077 * * [simplify]: iteration 367: 2946 enodes
11.102 * * [simplify]: iteration 368: 2953 enodes
11.133 * * [simplify]: iteration 369: 2965 enodes
11.153 * * [simplify]: iteration 370: 2970 enodes
11.171 * * [simplify]: iteration 371: 2977 enodes
11.193 * * [simplify]: iteration 372: 2986 enodes
11.215 * * [simplify]: iteration 373: 2994 enodes
11.236 * * [simplify]: iteration 374: 2999 enodes
11.266 * * [simplify]: iteration 375: 3008 enodes
11.303 * * [simplify]: iteration 376: 3013 enodes
11.336 * * [simplify]: iteration 377: 3026 enodes
11.374 * * [simplify]: iteration 378: 3031 enodes
11.397 * * [simplify]: iteration 379: 3038 enodes
11.419 * * [simplify]: iteration 380: 3045 enodes
11.441 * * [simplify]: iteration 381: 3057 enodes
11.472 * * [simplify]: iteration 382: 3062 enodes
11.501 * * [simplify]: iteration 383: 3069 enodes
11.532 * * [simplify]: iteration 384: 3078 enodes
11.561 * * [simplify]: iteration 385: 3086 enodes
11.592 * * [simplify]: iteration 386: 3091 enodes
11.613 * * [simplify]: iteration 387: 3100 enodes
11.638 * * [simplify]: iteration 388: 3107 enodes
11.662 * * [simplify]: iteration 389: 3120 enodes
11.683 * * [simplify]: iteration 390: 3125 enodes
11.701 * * [simplify]: iteration 391: 3132 enodes
11.733 * * [simplify]: iteration 392: 3139 enodes
11.759 * * [simplify]: iteration 393: 3151 enodes
11.780 * * [simplify]: iteration 394: 3156 enodes
11.798 * * [simplify]: iteration 395: 3163 enodes
11.820 * * [simplify]: iteration 396: 3168 enodes
11.864 * * [simplify]: iteration 397: 3180 enodes
11.904 * * [simplify]: iteration 398: 3185 enodes
11.934 * * [simplify]: iteration 399: 3192 enodes
11.957 * * [simplify]: iteration 400: 3199 enodes
11.994 * * [simplify]: iteration 401: 3211 enodes
12.022 * * [simplify]: iteration 402: 3216 enodes
12.044 * * [simplify]: iteration 403: 3223 enodes
12.074 * * [simplify]: iteration 404: 3228 enodes
12.104 * * [simplify]: iteration 405: 3240 enodes
12.137 * * [simplify]: iteration 406: 3245 enodes
12.163 * * [simplify]: iteration 407: 3252 enodes
12.185 * * [simplify]: iteration 408: 3259 enodes
12.206 * * [simplify]: iteration 409: 3271 enodes
12.227 * * [simplify]: iteration 410: 3276 enodes
12.255 * * [simplify]: iteration 411: 3283 enodes
12.288 * * [simplify]: iteration 412: 3290 enodes
12.317 * * [simplify]: iteration 413: 3302 enodes
12.349 * * [simplify]: iteration 414: 3307 enodes
12.371 * * [simplify]: iteration 415: 3314 enodes
12.405 * * [simplify]: iteration 416: 3323 enodes
12.437 * * [simplify]: iteration 417: 3331 enodes
12.467 * * [simplify]: iteration 418: 3336 enodes
12.497 * * [simplify]: iteration 419: 3345 enodes
12.531 * * [simplify]: iteration 420: 3350 enodes
12.562 * * [simplify]: iteration 421: 3363 enodes
12.590 * * [simplify]: iteration 422: 3368 enodes
12.617 * * [simplify]: iteration 423: 3375 enodes
12.649 * * [simplify]: iteration 424: 3384 enodes
12.674 * * [simplify]: iteration 425: 3392 enodes
12.702 * * [simplify]: iteration 426: 3397 enodes
12.728 * * [simplify]: iteration 427: 3406 enodes
12.755 * * [simplify]: iteration 428: 3411 enodes
12.777 * * [simplify]: iteration 429: 3424 enodes
12.801 * * [simplify]: iteration 430: 3429 enodes
12.829 * * [simplify]: iteration 431: 3436 enodes
12.860 * * [simplify]: iteration 432: 3443 enodes
12.886 * * [simplify]: iteration 433: 3455 enodes
12.908 * * [simplify]: iteration 434: 3460 enodes
12.926 * * [simplify]: iteration 435: 3467 enodes
12.956 * * [simplify]: iteration 436: 3476 enodes
12.975 * * [simplify]: iteration 437: 3484 enodes
12.995 * * [simplify]: iteration 438: 3489 enodes
13.015 * * [simplify]: iteration 439: 3498 enodes
13.037 * * [simplify]: iteration 440: 3505 enodes
13.058 * * [simplify]: iteration 441: 3514 enodes
13.083 * * [simplify]: iteration 442: 3519 enodes
13.107 * * [simplify]: iteration 443: 3528 enodes
13.141 * * [simplify]: iteration 444: 3537 enodes
13.169 * * [simplify]: iteration 445: 3546 enodes
13.193 * * [simplify]: iteration 446: 3551 enodes
13.212 * * [simplify]: iteration 447: 3560 enodes
13.240 * * [simplify]: iteration 448: 3567 enodes
13.265 * * [simplify]: iteration 449: 3580 enodes
13.287 * * [simplify]: iteration 450: 3585 enodes
13.308 * * [simplify]: iteration 451: 3592 enodes
13.340 * * [simplify]: iteration 452: 3599 enodes
13.368 * * [simplify]: iteration 453: 3611 enodes
13.393 * * [simplify]: iteration 454: 3616 enodes
13.414 * * [simplify]: iteration 455: 3623 enodes
13.441 * * [simplify]: iteration 456: 3632 enodes
13.470 * * [simplify]: iteration 457: 3640 enodes
13.500 * * [simplify]: iteration 458: 3645 enodes
13.529 * * [simplify]: iteration 459: 3654 enodes
13.564 * * [simplify]: iteration 460: 3659 enodes
13.593 * * [simplify]: iteration 461: 3672 enodes
13.624 * * [simplify]: iteration 462: 3677 enodes
13.651 * * [simplify]: iteration 463: 3684 enodes
13.684 * * [simplify]: iteration 464: 3691 enodes
13.715 * * [simplify]: iteration 465: 3703 enodes
13.736 * * [simplify]: iteration 466: 3708 enodes
13.761 * * [simplify]: iteration 467: 3715 enodes
13.795 * * [simplify]: iteration 468: 3724 enodes
13.820 * * [simplify]: iteration 469: 3732 enodes
13.842 * * [simplify]: iteration 470: 3737 enodes
13.872 * * [simplify]: iteration 471: 3746 enodes
13.906 * * [simplify]: iteration 472: 3753 enodes
13.934 * * [simplify]: iteration 473: 3762 enodes
13.963 * * [simplify]: iteration 474: 3767 enodes
13.992 * * [simplify]: iteration 475: 3776 enodes
14.027 * * [simplify]: iteration 476: 3785 enodes
14.051 * * [simplify]: iteration 477: 3794 enodes
14.074 * * [simplify]: iteration 478: 3799 enodes
14.104 * * [simplify]: iteration 479: 3808 enodes
14.135 * * [simplify]: iteration 480: 3817 enodes
14.154 * * [simplify]: iteration 481: 3826 enodes
14.175 * * [simplify]: iteration 482: 3831 enodes
14.194 * * [simplify]: iteration 483: 3840 enodes
14.218 * * [simplify]: iteration 484: 3847 enodes
14.238 * * [simplify]: iteration 485: 3860 enodes
14.270 * * [simplify]: iteration 486: 3865 enodes
14.303 * * [simplify]: iteration 487: 3872 enodes
14.325 * * [simplify]: iteration 488: 3881 enodes
14.348 * * [simplify]: iteration 489: 3889 enodes
14.368 * * [simplify]: iteration 490: 3894 enodes
14.388 * * [simplify]: iteration 491: 3903 enodes
14.424 * * [simplify]: iteration 492: 3908 enodes
14.463 * * [simplify]: iteration 493: 3921 enodes
14.500 * * [simplify]: iteration 494: 3926 enodes
14.518 * * [simplify]: iteration 495: 3933 enodes
14.541 * * [simplify]: iteration 496: 3940 enodes
14.561 * * [simplify]: iteration 497: 3952 enodes
14.581 * * [simplify]: iteration 498: 3957 enodes
14.601 * * [simplify]: iteration 499: 3964 enodes
14.625 * * [simplify]: iteration 500: 3973 enodes
14.645 * * [simplify]: iteration 501: 3981 enodes
14.665 * * [simplify]: iteration 502: 3986 enodes
14.685 * * [simplify]: iteration 503: 3995 enodes
14.709 * * [simplify]: iteration 504: 4000 enodes
14.729 * * [simplify]: iteration 505: 4013 enodes
14.749 * * [simplify]: iteration 506: 4018 enodes
14.767 * * [simplify]: iteration 507: 4025 enodes
14.790 * * [simplify]: iteration 508: 4032 enodes
14.812 * * [simplify]: iteration 509: 4044 enodes
14.832 * * [simplify]: iteration 510: 4049 enodes
14.850 * * [simplify]: iteration 511: 4056 enodes
14.872 * * [simplify]: iteration 512: 4063 enodes
14.893 * * [simplify]: iteration 513: 4075 enodes
14.915 * * [simplify]: iteration 514: 4080 enodes
14.933 * * [simplify]: iteration 515: 4087 enodes
14.955 * * [simplify]: iteration 516: 4092 enodes
14.976 * * [simplify]: iteration 517: 4104 enodes
14.998 * * [simplify]: iteration 518: 4109 enodes
15.016 * * [simplify]: iteration 519: 4116 enodes
15.039 * * [simplify]: iteration 520: 4123 enodes
15.059 * * [simplify]: iteration 521: 4135 enodes
15.080 * * [simplify]: iteration 522: 4140 enodes
15.100 * * [simplify]: iteration 523: 4147 enodes
15.122 * * [simplify]: iteration 524: 4154 enodes
15.144 * * [simplify]: iteration 525: 4166 enodes
15.165 * * [simplify]: iteration 526: 4171 enodes
15.182 * * [simplify]: iteration 527: 4178 enodes
15.207 * * [simplify]: iteration 528: 4183 enodes
15.227 * * [simplify]: iteration 529: 4195 enodes
15.248 * * [simplify]: iteration 530: 4200 enodes
15.266 * * [simplify]: iteration 531: 4207 enodes
15.289 * * [simplify]: iteration 532: 4214 enodes
15.312 * * [simplify]: iteration 533: 4226 enodes
15.332 * * [simplify]: iteration 534: 4231 enodes
15.352 * * [simplify]: iteration 535: 4238 enodes
15.379 * * [simplify]: iteration 536: 4245 enodes
15.400 * * [simplify]: iteration 537: 4257 enodes
15.422 * * [simplify]: iteration 538: 4262 enodes
15.446 * * [simplify]: iteration 539: 4269 enodes
15.477 * * [simplify]: iteration 540: 4278 enodes
15.498 * * [simplify]: iteration 541: 4286 enodes
15.527 * * [simplify]: iteration 542: 4291 enodes
15.554 * * [simplify]: iteration 543: 4300 enodes
15.576 * * [simplify]: iteration 544: 4305 enodes
15.595 * * [simplify]: iteration 545: 4318 enodes
15.616 * * [simplify]: iteration 546: 4323 enodes
15.634 * * [simplify]: iteration 547: 4330 enodes
15.658 * * [simplify]: iteration 548: 4339 enodes
15.678 * * [simplify]: iteration 549: 4347 enodes
15.697 * * [simplify]: iteration 550: 4352 enodes
15.717 * * [simplify]: iteration 551: 4361 enodes
15.742 * * [simplify]: iteration 552: 4366 enodes
15.765 * * [simplify]: iteration 553: 4379 enodes
15.790 * * [simplify]: iteration 554: 4384 enodes
15.816 * * [simplify]: iteration 555: 4391 enodes
15.850 * * [simplify]: iteration 556: 4398 enodes
15.882 * * [simplify]: iteration 557: 4410 enodes
15.913 * * [simplify]: iteration 558: 4415 enodes
15.942 * * [simplify]: iteration 559: 4422 enodes
15.973 * * [simplify]: iteration 560: 4431 enodes
16.004 * * [simplify]: iteration 561: 4439 enodes
16.038 * * [simplify]: iteration 562: 4444 enodes
16.070 * * [simplify]: iteration 563: 4453 enodes
16.106 * * [simplify]: iteration 564: 4460 enodes
16.135 * * [simplify]: iteration 565: 4469 enodes
16.165 * * [simplify]: iteration 566: 4474 enodes
16.196 * * [simplify]: iteration 567: 4483 enodes
16.231 * * [simplify]: iteration 568: 4492 enodes
16.253 * * [simplify]: iteration 569: 4501 enodes
16.280 * * [simplify]: iteration 570: 4506 enodes
16.306 * * [simplify]: iteration 571: 4515 enodes
16.330 * * [simplify]: iteration 572: 4524 enodes
16.352 * * [simplify]: iteration 573: 4533 enodes
16.384 * * [simplify]: iteration 574: 4538 enodes
16.412 * * [simplify]: iteration 575: 4547 enodes
16.445 * * [simplify]: iteration 576: 4554 enodes
16.477 * * [simplify]: iteration 577: 4567 enodes
16.507 * * [simplify]: iteration 578: 4572 enodes
16.530 * * [simplify]: iteration 579: 4579 enodes
16.562 * * [simplify]: iteration 580: 4588 enodes
16.593 * * [simplify]: iteration 581: 4596 enodes
16.626 * * [simplify]: iteration 582: 4601 enodes
16.655 * * [simplify]: iteration 583: 4610 enodes
16.681 * * [simplify]: iteration 584: 4617 enodes
16.711 * * [simplify]: iteration 585: 4626 enodes
16.745 * * [simplify]: iteration 586: 4631 enodes
16.769 * * [simplify]: iteration 587: 4640 enodes
16.801 * * [simplify]: iteration 588: 4647 enodes
16.832 * * [simplify]: iteration 589: 4660 enodes
16.866 * * [simplify]: iteration 590: 4665 enodes
16.899 * * [simplify]: iteration 591: 4672 enodes
16.935 * * [simplify]: iteration 592: 4679 enodes
16.968 * * [simplify]: iteration 593: 4691 enodes
16.995 * * [simplify]: iteration 594: 4696 enodes
17.013 * * [simplify]: iteration 595: 4703 enodes
17.045 * * [simplify]: iteration 596: 4712 enodes
17.064 * * [simplify]: iteration 597: 4720 enodes
17.084 * * [simplify]: iteration 598: 4725 enodes
17.104 * * [simplify]: iteration 599: 4734 enodes
17.126 * * [simplify]: iteration 600: 4741 enodes
17.150 * * [simplify]: iteration 601: 4754 enodes
17.171 * * [simplify]: iteration 602: 4759 enodes
17.189 * * [simplify]: iteration 603: 4766 enodes
17.211 * * [simplify]: iteration 604: 4771 enodes
17.245 * * [simplify]: iteration 605: 4783 enodes
17.287 * * [simplify]: iteration 606: 4788 enodes
17.321 * * [simplify]: iteration 607: 4795 enodes
17.365 * * [simplify]: iteration 608: 4802 enodes
17.405 * * [simplify]: iteration 609: 4814 enodes
17.425 * * [simplify]: iteration 610: 4819 enodes
17.448 * * [simplify]: iteration 611: 4826 enodes
17.471 * * [simplify]: iteration 612: 4831 enodes
17.501 * * [simplify]: iteration 613: 4843 enodes
17.532 * * [simplify]: iteration 614: 4848 enodes
17.556 * * [simplify]: iteration 615: 4855 enodes
17.580 * * [simplify]: iteration 616: 4862 enodes
17.600 * * [simplify]: iteration 617: 4874 enodes
17.620 * * [simplify]: iteration 618: 4879 enodes
17.639 * * [simplify]: iteration 619: 4886 enodes
17.673 * * [simplify]: iteration 620: 4891 enodes
17.694 * * [simplify]: iteration 621: 4903 enodes
17.714 * * [simplify]: iteration 622: 4908 enodes
17.732 * * [simplify]: iteration 623: 4915 enodes
17.765 * * [simplify]: iteration 624: 4924 enodes
17.792 * * [simplify]: iteration 625: 4932 enodes
17.816 * * [simplify]: iteration 626: 4937 enodes
17.849 * * [simplify]: iteration 627: 4946 enodes
17.879 * * [simplify]: iteration 628: 4953 enodes
17.902 * * [simplify]: iteration 629: 4966 enodes
17.934 * * [simplify]: iteration 630: 4971 enodes
17.957 * * [simplify]: iteration 631: 4978 enodes
17.979 * * [simplify]: iteration 632: 4987 enodes
17.999 * * [simplify]: iteration 633: 4995 enodes
18.029 * * [simplify]: iteration complete: 5000 enodes
18.029 * * [simplify]: Extracting #0: cost 1 inf + 0
18.029 * * [simplify]: Extracting #1: cost 10 inf + 0
18.029 * * [simplify]: Extracting #2: cost 10 inf + 43
18.029 * * [simplify]: Extracting #3: cost 0 inf + 539
18.030 * [simplify]: Simplified to:
  (- (+ x x) 1.0)
18.031 * * [progress]: iteration 1 / 4
18.031 * * * [progress]: picking best candidate
18.040 * * * * [pick]: Picked  #<alt (λ (x) (- (+ x x) 1.0))>
18.040 * * * [progress]: localizing error
18.050 * * * [progress]: generating rewritten candidates
18.050 * * * [progress]: generating series expansions
18.050 * * * [progress]: simplifying candidates
18.050 * [simplify]: Simplifying:
  
18.050 * * [simplify]: iteration 0: 0 enodes
18.050 * * [simplify]: iteration complete: 0 enodes
18.050 * * [simplify]: Extracting #0: cost 0 inf + 0
18.050 * [simplify]: Simplified to:
  
18.050 * * * [progress]: adding candidates to table
18.052 * [progress]: [Phase 3 of 3] Extracting.
18.062 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
18.062 * * [simplify]: iteration 0: 4 enodes
18.063 * * [simplify]: iteration complete: 4 enodes
18.063 * * [simplify]: Extracting #0: cost 1 inf + 0
18.063 * * [simplify]: Extracting #1: cost 3 inf + 0
18.063 * * [simplify]: Extracting #2: cost 3 inf + 1
18.063 * * [simplify]: Extracting #3: cost 2 inf + 2
18.063 * * [simplify]: Extracting #4: cost 0 inf + 125
18.063 * [simplify]: Simplified to:
  (- (+ x x) 1.0)
19.445 * [regime-testing]: Baseline error score: 0
19.479 * [regime-testing]: Oracle error score: 0
19.479 * [regime-testing]: End program error score: 0