18.632 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (+ x x) 1.0))>
0.017 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
0.017 * * [simplify]: iteration 0: 4 enodes
0.018 * * [simplify]: iteration 1: 10 enodes
0.021 * * [simplify]: iteration 2: 16 enodes
0.024 * * [simplify]: iteration 3: 22 enodes
0.027 * * [simplify]: iteration 4: 24 enodes
0.030 * * [simplify]: iteration 5: 26 enodes
0.034 * * [simplify]: iteration 6: 34 enodes
0.038 * * [simplify]: iteration 7: 43 enodes
0.045 * * [simplify]: iteration 8: 59 enodes
0.052 * * [simplify]: iteration 9: 81 enodes
0.065 * * [simplify]: iteration 10: 100 enodes
0.079 * * [simplify]: iteration 11: 170 enodes
0.108 * * [simplify]: iteration 12: 244 enodes
0.127 * * [simplify]: iteration 13: 260 enodes
0.137 * * [simplify]: iteration 14: 266 enodes
0.148 * * [simplify]: iteration 15: 280 enodes
0.159 * * [simplify]: iteration 16: 286 enodes
0.169 * * [simplify]: iteration 17: 299 enodes
0.179 * * [simplify]: iteration 18: 304 enodes
0.193 * * [simplify]: iteration 19: 311 enodes
0.204 * * [simplify]: iteration 20: 318 enodes
0.215 * * [simplify]: iteration 21: 330 enodes
0.224 * * [simplify]: iteration 22: 335 enodes
0.233 * * [simplify]: iteration 23: 342 enodes
0.243 * * [simplify]: iteration 24: 349 enodes
0.253 * * [simplify]: iteration 25: 361 enodes
0.262 * * [simplify]: iteration 26: 366 enodes
0.271 * * [simplify]: iteration 27: 373 enodes
0.288 * * [simplify]: iteration 28: 382 enodes
0.305 * * [simplify]: iteration 29: 390 enodes
0.314 * * [simplify]: iteration 30: 395 enodes
0.324 * * [simplify]: iteration 31: 404 enodes
0.334 * * [simplify]: iteration 32: 409 enodes
0.351 * * [simplify]: iteration 33: 422 enodes
0.368 * * [simplify]: iteration 34: 427 enodes
0.385 * * [simplify]: iteration 35: 434 enodes
0.404 * * [simplify]: iteration 36: 443 enodes
0.422 * * [simplify]: iteration 37: 451 enodes
0.439 * * [simplify]: iteration 38: 456 enodes
0.455 * * [simplify]: iteration 39: 465 enodes
0.465 * * [simplify]: iteration 40: 470 enodes
0.475 * * [simplify]: iteration 41: 483 enodes
0.486 * * [simplify]: iteration 42: 488 enodes
0.497 * * [simplify]: iteration 43: 495 enodes
0.507 * * [simplify]: iteration 44: 502 enodes
0.517 * * [simplify]: iteration 45: 514 enodes
0.532 * * [simplify]: iteration 46: 519 enodes
0.547 * * [simplify]: iteration 47: 526 enodes
0.558 * * [simplify]: iteration 48: 535 enodes
0.569 * * [simplify]: iteration 49: 543 enodes
0.578 * * [simplify]: iteration 50: 548 enodes
0.590 * * [simplify]: iteration 51: 557 enodes
0.601 * * [simplify]: iteration 52: 564 enodes
0.610 * * [simplify]: iteration 53: 577 enodes
0.621 * * [simplify]: iteration 54: 582 enodes
0.630 * * [simplify]: iteration 55: 589 enodes
0.644 * * [simplify]: iteration 56: 594 enodes
0.661 * * [simplify]: iteration 57: 606 enodes
0.671 * * [simplify]: iteration 58: 611 enodes
0.680 * * [simplify]: iteration 59: 618 enodes
0.691 * * [simplify]: iteration 60: 625 enodes
0.705 * * [simplify]: iteration 61: 637 enodes
0.723 * * [simplify]: iteration 62: 642 enodes
0.741 * * [simplify]: iteration 63: 649 enodes
0.751 * * [simplify]: iteration 64: 654 enodes
0.760 * * [simplify]: iteration 65: 666 enodes
0.772 * * [simplify]: iteration 66: 671 enodes
0.788 * * [simplify]: iteration 67: 678 enodes
0.800 * * [simplify]: iteration 68: 685 enodes
0.811 * * [simplify]: iteration 69: 697 enodes
0.821 * * [simplify]: iteration 70: 702 enodes
0.830 * * [simplify]: iteration 71: 709 enodes
0.845 * * [simplify]: iteration 72: 716 enodes
0.864 * * [simplify]: iteration 73: 728 enodes
0.882 * * [simplify]: iteration 74: 733 enodes
0.898 * * [simplify]: iteration 75: 740 enodes
0.917 * * [simplify]: iteration 76: 747 enodes
0.937 * * [simplify]: iteration 77: 759 enodes
0.956 * * [simplify]: iteration 78: 764 enodes
0.972 * * [simplify]: iteration 79: 771 enodes
0.992 * * [simplify]: iteration 80: 778 enodes
1.010 * * [simplify]: iteration 81: 790 enodes
1.027 * * [simplify]: iteration 82: 795 enodes
1.036 * * [simplify]: iteration 83: 802 enodes
1.047 * * [simplify]: iteration 84: 807 enodes
1.057 * * [simplify]: iteration 85: 819 enodes
1.067 * * [simplify]: iteration 86: 824 enodes
1.075 * * [simplify]: iteration 87: 831 enodes
1.086 * * [simplify]: iteration 88: 838 enodes
1.095 * * [simplify]: iteration 89: 850 enodes
1.106 * * [simplify]: iteration 90: 855 enodes
1.121 * * [simplify]: iteration 91: 862 enodes
1.134 * * [simplify]: iteration 92: 867 enodes
1.143 * * [simplify]: iteration 93: 879 enodes
1.153 * * [simplify]: iteration 94: 884 enodes
1.167 * * [simplify]: iteration 95: 891 enodes
1.189 * * [simplify]: iteration 96: 898 enodes
1.207 * * [simplify]: iteration 97: 910 enodes
1.225 * * [simplify]: iteration 98: 915 enodes
1.243 * * [simplify]: iteration 99: 922 enodes
1.263 * * [simplify]: iteration 100: 927 enodes
1.278 * * [simplify]: iteration 101: 939 enodes
1.288 * * [simplify]: iteration 102: 944 enodes
1.296 * * [simplify]: iteration 103: 951 enodes
1.308 * * [simplify]: iteration 104: 958 enodes
1.327 * * [simplify]: iteration 105: 970 enodes
1.344 * * [simplify]: iteration 106: 975 enodes
1.352 * * [simplify]: iteration 107: 982 enodes
1.363 * * [simplify]: iteration 108: 987 enodes
1.378 * * [simplify]: iteration 109: 999 enodes
1.394 * * [simplify]: iteration 110: 1004 enodes
1.411 * * [simplify]: iteration 111: 1011 enodes
1.422 * * [simplify]: iteration 112: 1018 enodes
1.433 * * [simplify]: iteration 113: 1030 enodes
1.443 * * [simplify]: iteration 114: 1035 enodes
1.459 * * [simplify]: iteration 115: 1042 enodes
1.479 * * [simplify]: iteration 116: 1049 enodes
1.497 * * [simplify]: iteration 117: 1061 enodes
1.515 * * [simplify]: iteration 118: 1066 enodes
1.531 * * [simplify]: iteration 119: 1073 enodes
1.552 * * [simplify]: iteration 120: 1082 enodes
1.570 * * [simplify]: iteration 121: 1090 enodes
1.587 * * [simplify]: iteration 122: 1095 enodes
1.605 * * [simplify]: iteration 123: 1104 enodes
1.626 * * [simplify]: iteration 124: 1109 enodes
1.645 * * [simplify]: iteration 125: 1122 enodes
1.661 * * [simplify]: iteration 126: 1127 enodes
1.674 * * [simplify]: iteration 127: 1134 enodes
1.684 * * [simplify]: iteration 128: 1141 enodes
1.694 * * [simplify]: iteration 129: 1153 enodes
1.708 * * [simplify]: iteration 130: 1158 enodes
1.726 * * [simplify]: iteration 131: 1165 enodes
1.749 * * [simplify]: iteration 132: 1174 enodes
1.770 * * [simplify]: iteration 133: 1182 enodes
1.791 * * [simplify]: iteration 134: 1187 enodes
1.811 * * [simplify]: iteration 135: 1196 enodes
1.833 * * [simplify]: iteration 136: 1203 enodes
1.843 * * [simplify]: iteration 137: 1216 enodes
1.853 * * [simplify]: iteration 138: 1221 enodes
1.861 * * [simplify]: iteration 139: 1228 enodes
1.877 * * [simplify]: iteration 140: 1233 enodes
1.899 * * [simplify]: iteration 141: 1245 enodes
1.919 * * [simplify]: iteration 142: 1250 enodes
1.928 * * [simplify]: iteration 143: 1257 enodes
1.939 * * [simplify]: iteration 144: 1262 enodes
1.950 * * [simplify]: iteration 145: 1274 enodes
1.968 * * [simplify]: iteration 146: 1279 enodes
1.979 * * [simplify]: iteration 147: 1286 enodes
1.991 * * [simplify]: iteration 148: 1293 enodes
2.001 * * [simplify]: iteration 149: 1305 enodes
2.013 * * [simplify]: iteration 150: 1310 enodes
2.030 * * [simplify]: iteration 151: 1317 enodes
2.041 * * [simplify]: iteration 152: 1324 enodes
2.050 * * [simplify]: iteration 153: 1336 enodes
2.062 * * [simplify]: iteration 154: 1341 enodes
2.082 * * [simplify]: iteration 155: 1348 enodes
2.102 * * [simplify]: iteration 156: 1355 enodes
2.120 * * [simplify]: iteration 157: 1367 enodes
2.139 * * [simplify]: iteration 158: 1372 enodes
2.155 * * [simplify]: iteration 159: 1379 enodes
2.169 * * [simplify]: iteration 160: 1386 enodes
2.179 * * [simplify]: iteration 161: 1398 enodes
2.190 * * [simplify]: iteration 162: 1403 enodes
2.202 * * [simplify]: iteration 163: 1410 enodes
2.214 * * [simplify]: iteration 164: 1417 enodes
2.233 * * [simplify]: iteration 165: 1429 enodes
2.246 * * [simplify]: iteration 166: 1434 enodes
2.254 * * [simplify]: iteration 167: 1441 enodes
2.266 * * [simplify]: iteration 168: 1446 enodes
2.287 * * [simplify]: iteration 169: 1458 enodes
2.307 * * [simplify]: iteration 170: 1463 enodes
2.324 * * [simplify]: iteration 171: 1470 enodes
2.344 * * [simplify]: iteration 172: 1477 enodes
2.354 * * [simplify]: iteration 173: 1489 enodes
2.364 * * [simplify]: iteration 174: 1494 enodes
2.374 * * [simplify]: iteration 175: 1501 enodes
2.398 * * [simplify]: iteration 176: 1506 enodes
2.416 * * [simplify]: iteration 177: 1518 enodes
2.426 * * [simplify]: iteration 178: 1523 enodes
2.434 * * [simplify]: iteration 179: 1530 enodes
2.445 * * [simplify]: iteration 180: 1537 enodes
2.455 * * [simplify]: iteration 181: 1549 enodes
2.465 * * [simplify]: iteration 182: 1554 enodes
2.473 * * [simplify]: iteration 183: 1561 enodes
2.490 * * [simplify]: iteration 184: 1566 enodes
2.509 * * [simplify]: iteration 185: 1578 enodes
2.528 * * [simplify]: iteration 186: 1583 enodes
2.542 * * [simplify]: iteration 187: 1590 enodes
2.553 * * [simplify]: iteration 188: 1597 enodes
2.562 * * [simplify]: iteration 189: 1609 enodes
2.579 * * [simplify]: iteration 190: 1614 enodes
2.596 * * [simplify]: iteration 191: 1621 enodes
2.608 * * [simplify]: iteration 192: 1628 enodes
2.618 * * [simplify]: iteration 193: 1640 enodes
2.628 * * [simplify]: iteration 194: 1645 enodes
2.646 * * [simplify]: iteration 195: 1652 enodes
2.666 * * [simplify]: iteration 196: 1661 enodes
2.685 * * [simplify]: iteration 197: 1669 enodes
2.704 * * [simplify]: iteration 198: 1674 enodes
2.722 * * [simplify]: iteration 199: 1683 enodes
2.742 * * [simplify]: iteration 200: 1688 enodes
2.760 * * [simplify]: iteration 201: 1701 enodes
2.774 * * [simplify]: iteration 202: 1706 enodes
2.783 * * [simplify]: iteration 203: 1713 enodes
2.794 * * [simplify]: iteration 204: 1720 enodes
2.814 * * [simplify]: iteration 205: 1732 enodes
2.833 * * [simplify]: iteration 206: 1737 enodes
2.851 * * [simplify]: iteration 207: 1744 enodes
2.872 * * [simplify]: iteration 208: 1753 enodes
2.891 * * [simplify]: iteration 209: 1761 enodes
2.909 * * [simplify]: iteration 210: 1766 enodes
2.927 * * [simplify]: iteration 211: 1775 enodes
2.951 * * [simplify]: iteration 212: 1782 enodes
2.969 * * [simplify]: iteration 213: 1791 enodes
2.988 * * [simplify]: iteration 214: 1796 enodes
3.006 * * [simplify]: iteration 215: 1805 enodes
3.019 * * [simplify]: iteration 216: 1814 enodes
3.028 * * [simplify]: iteration 217: 1823 enodes
3.037 * * [simplify]: iteration 218: 1828 enodes
3.052 * * [simplify]: iteration 219: 1837 enodes
3.074 * * [simplify]: iteration 220: 1846 enodes
3.092 * * [simplify]: iteration 221: 1855 enodes
3.110 * * [simplify]: iteration 222: 1860 enodes
3.128 * * [simplify]: iteration 223: 1869 enodes
3.149 * * [simplify]: iteration 224: 1876 enodes
3.161 * * [simplify]: iteration 225: 1889 enodes
3.172 * * [simplify]: iteration 226: 1894 enodes
3.181 * * [simplify]: iteration 227: 1901 enodes
3.200 * * [simplify]: iteration 228: 1910 enodes
3.219 * * [simplify]: iteration 229: 1918 enodes
3.229 * * [simplify]: iteration 230: 1923 enodes
3.238 * * [simplify]: iteration 231: 1932 enodes
3.251 * * [simplify]: iteration 232: 1937 enodes
3.270 * * [simplify]: iteration 233: 1950 enodes
3.288 * * [simplify]: iteration 234: 1955 enodes
3.304 * * [simplify]: iteration 235: 1962 enodes
3.325 * * [simplify]: iteration 236: 1969 enodes
3.344 * * [simplify]: iteration 237: 1981 enodes
3.355 * * [simplify]: iteration 238: 1986 enodes
3.364 * * [simplify]: iteration 239: 1993 enodes
3.377 * * [simplify]: iteration 240: 2002 enodes
3.393 * * [simplify]: iteration 241: 2010 enodes
3.412 * * [simplify]: iteration 242: 2015 enodes
3.430 * * [simplify]: iteration 243: 2024 enodes
3.452 * * [simplify]: iteration 244: 2029 enodes
3.470 * * [simplify]: iteration 245: 2042 enodes
3.486 * * [simplify]: iteration 246: 2047 enodes
3.496 * * [simplify]: iteration 247: 2054 enodes
3.507 * * [simplify]: iteration 248: 2061 enodes
3.517 * * [simplify]: iteration 249: 2073 enodes
3.527 * * [simplify]: iteration 250: 2078 enodes
3.536 * * [simplify]: iteration 251: 2085 enodes
3.550 * * [simplify]: iteration 252: 2094 enodes
3.559 * * [simplify]: iteration 253: 2102 enodes
3.573 * * [simplify]: iteration 254: 2107 enodes
3.588 * * [simplify]: iteration 255: 2116 enodes
3.599 * * [simplify]: iteration 256: 2123 enodes
3.608 * * [simplify]: iteration 257: 2136 enodes
3.621 * * [simplify]: iteration 258: 2141 enodes
3.634 * * [simplify]: iteration 259: 2148 enodes
3.644 * * [simplify]: iteration 260: 2153 enodes
3.658 * * [simplify]: iteration 261: 2165 enodes
3.672 * * [simplify]: iteration 262: 2170 enodes
3.683 * * [simplify]: iteration 263: 2177 enodes
3.693 * * [simplify]: iteration 264: 2184 enodes
3.703 * * [simplify]: iteration 265: 2196 enodes
3.713 * * [simplify]: iteration 266: 2201 enodes
3.722 * * [simplify]: iteration 267: 2208 enodes
3.736 * * [simplify]: iteration 268: 2215 enodes
3.751 * * [simplify]: iteration 269: 2227 enodes
3.768 * * [simplify]: iteration 270: 2232 enodes
3.781 * * [simplify]: iteration 271: 2239 enodes
3.792 * * [simplify]: iteration 272: 2248 enodes
3.801 * * [simplify]: iteration 273: 2256 enodes
3.811 * * [simplify]: iteration 274: 2261 enodes
3.829 * * [simplify]: iteration 275: 2270 enodes
3.847 * * [simplify]: iteration 276: 2275 enodes
3.857 * * [simplify]: iteration 277: 2288 enodes
3.866 * * [simplify]: iteration 278: 2293 enodes
3.874 * * [simplify]: iteration 279: 2300 enodes
3.885 * * [simplify]: iteration 280: 2309 enodes
3.894 * * [simplify]: iteration 281: 2317 enodes
3.908 * * [simplify]: iteration 282: 2322 enodes
3.924 * * [simplify]: iteration 283: 2331 enodes
3.943 * * [simplify]: iteration 284: 2338 enodes
3.960 * * [simplify]: iteration 285: 2347 enodes
3.976 * * [simplify]: iteration 286: 2352 enodes
3.992 * * [simplify]: iteration 287: 2361 enodes
4.011 * * [simplify]: iteration 288: 2368 enodes
4.029 * * [simplify]: iteration 289: 2381 enodes
4.046 * * [simplify]: iteration 290: 2386 enodes
4.060 * * [simplify]: iteration 291: 2393 enodes
4.077 * * [simplify]: iteration 292: 2400 enodes
4.087 * * [simplify]: iteration 293: 2412 enodes
4.096 * * [simplify]: iteration 294: 2417 enodes
4.105 * * [simplify]: iteration 295: 2424 enodes
4.117 * * [simplify]: iteration 296: 2429 enodes
4.131 * * [simplify]: iteration 297: 2441 enodes
4.142 * * [simplify]: iteration 298: 2446 enodes
4.153 * * [simplify]: iteration 299: 2453 enodes
4.165 * * [simplify]: iteration 300: 2460 enodes
4.175 * * [simplify]: iteration 301: 2472 enodes
4.191 * * [simplify]: iteration 302: 2477 enodes
4.205 * * [simplify]: iteration 303: 2484 enodes
4.220 * * [simplify]: iteration 304: 2491 enodes
4.234 * * [simplify]: iteration 305: 2503 enodes
4.244 * * [simplify]: iteration 306: 2508 enodes
4.253 * * [simplify]: iteration 307: 2515 enodes
4.263 * * [simplify]: iteration 308: 2522 enodes
4.275 * * [simplify]: iteration 309: 2534 enodes
4.286 * * [simplify]: iteration 310: 2539 enodes
4.294 * * [simplify]: iteration 311: 2546 enodes
4.305 * * [simplify]: iteration 312: 2553 enodes
4.315 * * [simplify]: iteration 313: 2565 enodes
4.332 * * [simplify]: iteration 314: 2570 enodes
4.341 * * [simplify]: iteration 315: 2577 enodes
4.351 * * [simplify]: iteration 316: 2584 enodes
4.363 * * [simplify]: iteration 317: 2596 enodes
4.381 * * [simplify]: iteration 318: 2601 enodes
4.394 * * [simplify]: iteration 319: 2608 enodes
4.405 * * [simplify]: iteration 320: 2617 enodes
4.414 * * [simplify]: iteration 321: 2625 enodes
4.429 * * [simplify]: iteration 322: 2630 enodes
4.447 * * [simplify]: iteration 323: 2639 enodes
4.459 * * [simplify]: iteration 324: 2644 enodes
4.469 * * [simplify]: iteration 325: 2657 enodes
4.485 * * [simplify]: iteration 326: 2662 enodes
4.502 * * [simplify]: iteration 327: 2669 enodes
4.522 * * [simplify]: iteration 328: 2676 enodes
4.540 * * [simplify]: iteration 329: 2688 enodes
4.558 * * [simplify]: iteration 330: 2693 enodes
4.576 * * [simplify]: iteration 331: 2700 enodes
4.592 * * [simplify]: iteration 332: 2709 enodes
4.601 * * [simplify]: iteration 333: 2717 enodes
4.612 * * [simplify]: iteration 334: 2722 enodes
4.630 * * [simplify]: iteration 335: 2731 enodes
4.651 * * [simplify]: iteration 336: 2738 enodes
4.669 * * [simplify]: iteration 337: 2751 enodes
4.688 * * [simplify]: iteration 338: 2756 enodes
4.696 * * [simplify]: iteration 339: 2763 enodes
4.706 * * [simplify]: iteration 340: 2768 enodes
4.717 * * [simplify]: iteration 341: 2780 enodes
4.735 * * [simplify]: iteration 342: 2785 enodes
4.751 * * [simplify]: iteration 343: 2792 enodes
4.769 * * [simplify]: iteration 344: 2799 enodes
4.780 * * [simplify]: iteration 345: 2811 enodes
4.789 * * [simplify]: iteration 346: 2816 enodes
4.798 * * [simplify]: iteration 347: 2823 enodes
4.808 * * [simplify]: iteration 348: 2828 enodes
4.824 * * [simplify]: iteration 349: 2840 enodes
4.843 * * [simplify]: iteration 350: 2845 enodes
4.860 * * [simplify]: iteration 351: 2852 enodes
4.882 * * [simplify]: iteration 352: 2861 enodes
4.896 * * [simplify]: iteration 353: 2869 enodes
4.905 * * [simplify]: iteration 354: 2874 enodes
4.914 * * [simplify]: iteration 355: 2883 enodes
4.925 * * [simplify]: iteration 356: 2888 enodes
4.941 * * [simplify]: iteration 357: 2901 enodes
4.960 * * [simplify]: iteration 358: 2906 enodes
4.976 * * [simplify]: iteration 359: 2913 enodes
4.997 * * [simplify]: iteration 360: 2920 enodes
5.016 * * [simplify]: iteration 361: 2932 enodes
5.033 * * [simplify]: iteration 362: 2937 enodes
5.041 * * [simplify]: iteration 363: 2944 enodes
5.051 * * [simplify]: iteration 364: 2949 enodes
5.061 * * [simplify]: iteration 365: 2961 enodes
5.072 * * [simplify]: iteration 366: 2966 enodes
5.080 * * [simplify]: iteration 367: 2973 enodes
5.091 * * [simplify]: iteration 368: 2980 enodes
5.101 * * [simplify]: iteration 369: 2992 enodes
5.110 * * [simplify]: iteration 370: 2997 enodes
5.118 * * [simplify]: iteration 371: 3004 enodes
5.130 * * [simplify]: iteration 372: 3009 enodes
5.144 * * [simplify]: iteration 373: 3021 enodes
5.156 * * [simplify]: iteration 374: 3026 enodes
5.165 * * [simplify]: iteration 375: 3033 enodes
5.175 * * [simplify]: iteration 376: 3040 enodes
5.192 * * [simplify]: iteration 377: 3052 enodes
5.201 * * [simplify]: iteration 378: 3057 enodes
5.210 * * [simplify]: iteration 379: 3064 enodes
5.227 * * [simplify]: iteration 380: 3069 enodes
5.246 * * [simplify]: iteration 381: 3081 enodes
5.263 * * [simplify]: iteration 382: 3086 enodes
5.273 * * [simplify]: iteration 383: 3093 enodes
5.284 * * [simplify]: iteration 384: 3102 enodes
5.293 * * [simplify]: iteration 385: 3110 enodes
5.307 * * [simplify]: iteration 386: 3115 enodes
5.326 * * [simplify]: iteration 387: 3124 enodes
5.338 * * [simplify]: iteration 388: 3129 enodes
5.347 * * [simplify]: iteration 389: 3142 enodes
5.357 * * [simplify]: iteration 390: 3147 enodes
5.365 * * [simplify]: iteration 391: 3154 enodes
5.375 * * [simplify]: iteration 392: 3159 enodes
5.385 * * [simplify]: iteration 393: 3171 enodes
5.395 * * [simplify]: iteration 394: 3176 enodes
5.406 * * [simplify]: iteration 395: 3183 enodes
5.416 * * [simplify]: iteration 396: 3190 enodes
5.429 * * [simplify]: iteration 397: 3202 enodes
5.447 * * [simplify]: iteration 398: 3207 enodes
5.457 * * [simplify]: iteration 399: 3214 enodes
5.467 * * [simplify]: iteration 400: 3219 enodes
5.477 * * [simplify]: iteration 401: 3231 enodes
5.493 * * [simplify]: iteration 402: 3236 enodes
5.506 * * [simplify]: iteration 403: 3243 enodes
5.517 * * [simplify]: iteration 404: 3250 enodes
5.526 * * [simplify]: iteration 405: 3262 enodes
5.537 * * [simplify]: iteration 406: 3267 enodes
5.553 * * [simplify]: iteration 407: 3274 enodes
5.569 * * [simplify]: iteration 408: 3281 enodes
5.581 * * [simplify]: iteration 409: 3293 enodes
5.591 * * [simplify]: iteration 410: 3298 enodes
5.599 * * [simplify]: iteration 411: 3305 enodes
5.610 * * [simplify]: iteration 412: 3312 enodes
5.623 * * [simplify]: iteration 413: 3324 enodes
5.641 * * [simplify]: iteration 414: 3329 enodes
5.657 * * [simplify]: iteration 415: 3336 enodes
5.679 * * [simplify]: iteration 416: 3343 enodes
5.697 * * [simplify]: iteration 417: 3355 enodes
5.714 * * [simplify]: iteration 418: 3360 enodes
5.730 * * [simplify]: iteration 419: 3367 enodes
5.743 * * [simplify]: iteration 420: 3376 enodes
5.753 * * [simplify]: iteration 421: 3384 enodes
5.763 * * [simplify]: iteration 422: 3389 enodes
5.779 * * [simplify]: iteration 423: 3398 enodes
5.800 * * [simplify]: iteration 424: 3403 enodes
5.818 * * [simplify]: iteration 425: 3416 enodes
5.837 * * [simplify]: iteration 426: 3421 enodes
5.854 * * [simplify]: iteration 427: 3428 enodes
5.875 * * [simplify]: iteration 428: 3437 enodes
5.894 * * [simplify]: iteration 429: 3445 enodes
5.914 * * [simplify]: iteration 430: 3450 enodes
5.926 * * [simplify]: iteration 431: 3459 enodes
5.937 * * [simplify]: iteration 432: 3464 enodes
5.946 * * [simplify]: iteration 433: 3477 enodes
5.962 * * [simplify]: iteration 434: 3482 enodes
5.971 * * [simplify]: iteration 435: 3489 enodes
5.981 * * [simplify]: iteration 436: 3496 enodes
5.994 * * [simplify]: iteration 437: 3508 enodes
6.012 * * [simplify]: iteration 438: 3513 enodes
6.029 * * [simplify]: iteration 439: 3520 enodes
6.051 * * [simplify]: iteration 440: 3529 enodes
6.069 * * [simplify]: iteration 441: 3537 enodes
6.089 * * [simplify]: iteration 442: 3542 enodes
6.108 * * [simplify]: iteration 443: 3551 enodes
6.131 * * [simplify]: iteration 444: 3556 enodes
6.142 * * [simplify]: iteration 445: 3569 enodes
6.152 * * [simplify]: iteration 446: 3574 enodes
6.161 * * [simplify]: iteration 447: 3581 enodes
6.172 * * [simplify]: iteration 448: 3588 enodes
6.182 * * [simplify]: iteration 449: 3600 enodes
6.191 * * [simplify]: iteration 450: 3605 enodes
6.201 * * [simplify]: iteration 451: 3612 enodes
6.212 * * [simplify]: iteration 452: 3619 enodes
6.222 * * [simplify]: iteration 453: 3631 enodes
6.231 * * [simplify]: iteration 454: 3636 enodes
6.240 * * [simplify]: iteration 455: 3643 enodes
6.254 * * [simplify]: iteration 456: 3648 enodes
6.273 * * [simplify]: iteration 457: 3660 enodes
6.294 * * [simplify]: iteration 458: 3665 enodes
6.311 * * [simplify]: iteration 459: 3672 enodes
6.329 * * [simplify]: iteration 460: 3681 enodes
6.339 * * [simplify]: iteration 461: 3689 enodes
6.349 * * [simplify]: iteration 462: 3694 enodes
6.359 * * [simplify]: iteration 463: 3703 enodes
6.370 * * [simplify]: iteration 464: 3710 enodes
6.381 * * [simplify]: iteration 465: 3723 enodes
6.391 * * [simplify]: iteration 466: 3728 enodes
6.404 * * [simplify]: iteration 467: 3735 enodes
6.425 * * [simplify]: iteration 468: 3740 enodes
6.444 * * [simplify]: iteration 469: 3752 enodes
6.464 * * [simplify]: iteration 470: 3757 enodes
6.480 * * [simplify]: iteration 471: 3764 enodes
6.496 * * [simplify]: iteration 472: 3771 enodes
6.506 * * [simplify]: iteration 473: 3783 enodes
6.516 * * [simplify]: iteration 474: 3788 enodes
6.529 * * [simplify]: iteration 475: 3795 enodes
6.549 * * [simplify]: iteration 476: 3802 enodes
6.568 * * [simplify]: iteration 477: 3814 enodes
6.586 * * [simplify]: iteration 478: 3819 enodes
6.605 * * [simplify]: iteration 479: 3826 enodes
6.617 * * [simplify]: iteration 480: 3835 enodes
6.627 * * [simplify]: iteration 481: 3843 enodes
6.642 * * [simplify]: iteration 482: 3848 enodes
6.660 * * [simplify]: iteration 483: 3857 enodes
6.682 * * [simplify]: iteration 484: 3862 enodes
6.693 * * [simplify]: iteration 485: 3875 enodes
6.704 * * [simplify]: iteration 486: 3880 enodes
6.713 * * [simplify]: iteration 487: 3887 enodes
6.731 * * [simplify]: iteration 488: 3894 enodes
6.749 * * [simplify]: iteration 489: 3906 enodes
6.767 * * [simplify]: iteration 490: 3911 enodes
6.784 * * [simplify]: iteration 491: 3918 enodes
6.804 * * [simplify]: iteration 492: 3927 enodes
6.823 * * [simplify]: iteration 493: 3935 enodes
6.841 * * [simplify]: iteration 494: 3940 enodes
6.859 * * [simplify]: iteration 495: 3949 enodes
6.880 * * [simplify]: iteration 496: 3956 enodes
6.898 * * [simplify]: iteration 497: 3965 enodes
6.915 * * [simplify]: iteration 498: 3970 enodes
6.930 * * [simplify]: iteration 499: 3979 enodes
6.942 * * [simplify]: iteration 500: 3988 enodes
6.952 * * [simplify]: iteration 501: 3997 enodes
6.967 * * [simplify]: iteration 502: 4002 enodes
6.985 * * [simplify]: iteration 503: 4011 enodes
7.006 * * [simplify]: iteration 504: 4020 enodes
7.025 * * [simplify]: iteration 505: 4029 enodes
7.044 * * [simplify]: iteration 506: 4034 enodes
7.063 * * [simplify]: iteration 507: 4043 enodes
7.086 * * [simplify]: iteration 508: 4050 enodes
7.107 * * [simplify]: iteration 509: 4063 enodes
7.126 * * [simplify]: iteration 510: 4068 enodes
7.141 * * [simplify]: iteration 511: 4075 enodes
7.152 * * [simplify]: iteration 512: 4084 enodes
7.162 * * [simplify]: iteration 513: 4092 enodes
7.173 * * [simplify]: iteration 514: 4097 enodes
7.182 * * [simplify]: iteration 515: 4106 enodes
7.204 * * [simplify]: iteration 516: 4113 enodes
7.218 * * [simplify]: iteration 517: 4122 enodes
7.228 * * [simplify]: iteration 518: 4127 enodes
7.238 * * [simplify]: iteration 519: 4136 enodes
7.250 * * [simplify]: iteration 520: 4143 enodes
7.261 * * [simplify]: iteration 521: 4156 enodes
7.271 * * [simplify]: iteration 522: 4161 enodes
7.279 * * [simplify]: iteration 523: 4168 enodes
7.300 * * [simplify]: iteration 524: 4175 enodes
7.311 * * [simplify]: iteration 525: 4187 enodes
7.320 * * [simplify]: iteration 526: 4192 enodes
7.329 * * [simplify]: iteration 527: 4199 enodes
7.340 * * [simplify]: iteration 528: 4206 enodes
7.351 * * [simplify]: iteration 529: 4218 enodes
7.361 * * [simplify]: iteration 530: 4223 enodes
7.369 * * [simplify]: iteration 531: 4230 enodes
7.381 * * [simplify]: iteration 532: 4237 enodes
7.391 * * [simplify]: iteration 533: 4249 enodes
7.401 * * [simplify]: iteration 534: 4254 enodes
7.410 * * [simplify]: iteration 535: 4261 enodes
7.422 * * [simplify]: iteration 536: 4270 enodes
7.432 * * [simplify]: iteration 537: 4278 enodes
7.443 * * [simplify]: iteration 538: 4283 enodes
7.462 * * [simplify]: iteration 539: 4292 enodes
7.483 * * [simplify]: iteration 540: 4299 enodes
7.502 * * [simplify]: iteration 541: 4312 enodes
7.520 * * [simplify]: iteration 542: 4317 enodes
7.539 * * [simplify]: iteration 543: 4324 enodes
7.559 * * [simplify]: iteration 544: 4331 enodes
7.573 * * [simplify]: iteration 545: 4343 enodes
7.582 * * [simplify]: iteration 546: 4348 enodes
7.591 * * [simplify]: iteration 547: 4355 enodes
7.604 * * [simplify]: iteration 548: 4364 enodes
7.622 * * [simplify]: iteration 549: 4372 enodes
7.642 * * [simplify]: iteration 550: 4377 enodes
7.661 * * [simplify]: iteration 551: 4386 enodes
7.681 * * [simplify]: iteration 552: 4391 enodes
7.700 * * [simplify]: iteration 553: 4404 enodes
7.715 * * [simplify]: iteration 554: 4409 enodes
7.724 * * [simplify]: iteration 555: 4416 enodes
7.735 * * [simplify]: iteration 556: 4423 enodes
7.749 * * [simplify]: iteration 557: 4435 enodes
7.759 * * [simplify]: iteration 558: 4440 enodes
7.768 * * [simplify]: iteration 559: 4447 enodes
7.779 * * [simplify]: iteration 560: 4454 enodes
7.798 * * [simplify]: iteration 561: 4466 enodes
7.808 * * [simplify]: iteration 562: 4471 enodes
7.817 * * [simplify]: iteration 563: 4478 enodes
7.830 * * [simplify]: iteration 564: 4483 enodes
7.841 * * [simplify]: iteration 565: 4495 enodes
7.860 * * [simplify]: iteration 566: 4500 enodes
7.877 * * [simplify]: iteration 567: 4507 enodes
7.898 * * [simplify]: iteration 568: 4514 enodes
7.917 * * [simplify]: iteration 569: 4526 enodes
7.935 * * [simplify]: iteration 570: 4531 enodes
7.954 * * [simplify]: iteration 571: 4538 enodes
7.975 * * [simplify]: iteration 572: 4543 enodes
7.996 * * [simplify]: iteration 573: 4555 enodes
8.014 * * [simplify]: iteration 574: 4560 enodes
8.030 * * [simplify]: iteration 575: 4567 enodes
8.049 * * [simplify]: iteration 576: 4574 enodes
8.059 * * [simplify]: iteration 577: 4586 enodes
8.071 * * [simplify]: iteration 578: 4591 enodes
8.084 * * [simplify]: iteration 579: 4598 enodes
8.106 * * [simplify]: iteration 580: 4605 enodes
8.124 * * [simplify]: iteration 581: 4617 enodes
8.142 * * [simplify]: iteration 582: 4622 enodes
8.159 * * [simplify]: iteration 583: 4629 enodes
8.179 * * [simplify]: iteration 584: 4636 enodes
8.201 * * [simplify]: iteration 585: 4648 enodes
8.213 * * [simplify]: iteration 586: 4653 enodes
8.223 * * [simplify]: iteration 587: 4660 enodes
8.233 * * [simplify]: iteration 588: 4667 enodes
8.243 * * [simplify]: iteration 589: 4679 enodes
8.258 * * [simplify]: iteration 590: 4684 enodes
8.275 * * [simplify]: iteration 591: 4691 enodes
8.300 * * [simplify]: iteration 592: 4698 enodes
8.320 * * [simplify]: iteration 593: 4710 enodes
8.340 * * [simplify]: iteration 594: 4715 enodes
8.357 * * [simplify]: iteration 595: 4722 enodes
8.379 * * [simplify]: iteration 596: 4731 enodes
8.398 * * [simplify]: iteration 597: 4739 enodes
8.407 * * [simplify]: iteration 598: 4744 enodes
8.421 * * [simplify]: iteration 599: 4753 enodes
8.441 * * [simplify]: iteration 600: 4758 enodes
8.459 * * [simplify]: iteration 601: 4771 enodes
8.479 * * [simplify]: iteration 602: 4776 enodes
8.497 * * [simplify]: iteration 603: 4783 enodes
8.518 * * [simplify]: iteration 604: 4790 enodes
8.530 * * [simplify]: iteration 605: 4802 enodes
8.541 * * [simplify]: iteration 606: 4807 enodes
8.550 * * [simplify]: iteration 607: 4814 enodes
8.561 * * [simplify]: iteration 608: 4823 enodes
8.573 * * [simplify]: iteration 609: 4831 enodes
8.591 * * [simplify]: iteration 610: 4836 enodes
8.602 * * [simplify]: iteration 611: 4845 enodes
8.613 * * [simplify]: iteration 612: 4852 enodes
8.625 * * [simplify]: iteration 613: 4865 enodes
8.645 * * [simplify]: iteration 614: 4870 enodes
8.661 * * [simplify]: iteration 615: 4877 enodes
8.683 * * [simplify]: iteration 616: 4882 enodes
8.692 * * [simplify]: iteration 617: 4894 enodes
8.702 * * [simplify]: iteration 618: 4899 enodes
8.710 * * [simplify]: iteration 619: 4906 enodes
8.730 * * [simplify]: iteration 620: 4913 enodes
8.740 * * [simplify]: iteration 621: 4925 enodes
8.750 * * [simplify]: iteration 622: 4930 enodes
8.758 * * [simplify]: iteration 623: 4937 enodes
8.779 * * [simplify]: iteration 624: 4944 enodes
8.799 * * [simplify]: iteration 625: 4956 enodes
8.817 * * [simplify]: iteration 626: 4961 enodes
8.836 * * [simplify]: iteration 627: 4968 enodes
8.857 * * [simplify]: iteration 628: 4977 enodes
8.875 * * [simplify]: iteration 629: 4985 enodes
8.888 * * [simplify]: iteration 630: 4990 enodes
8.898 * * [simplify]: iteration 631: 4999 enodes
8.907 * * [simplify]: iteration complete: 5001 enodes
8.907 * * [simplify]: Extracting #0: cost 1 inf + 0
8.907 * * [simplify]: Extracting #1: cost 13 inf + 0
8.907 * * [simplify]: Extracting #2: cost 8 inf + 87
8.908 * * [simplify]: Extracting #3: cost 0 inf + 597
8.908 * [simplify]: Simplified to:
  (- x (- 1.0 x))
8.909 * * [progress]: iteration 1 / 4
8.909 * * * [progress]: picking best candidate
8.910 * * * * [pick]: Picked  #<alt (λ (x) (- (+ x x) 1.0))>
8.910 * * * [progress]: localizing error
8.922 * * * [progress]: generating rewritten candidates
8.922 * * * [progress]: generating series expansions
8.922 * * * [progress]: simplifying candidates
8.922 * [simplify]: Simplifying:
  
8.922 * * [simplify]: iteration 0: 0 enodes
8.922 * * [simplify]: iteration complete: 0 enodes
8.922 * * [simplify]: Extracting #0: cost 0 inf + 0
8.922 * [simplify]: Simplified to:
  
8.923 * * * [progress]: adding candidates to table
8.923 * [progress]: [Phase 3 of 3] Extracting.
8.927 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
8.927 * * [simplify]: iteration 0: 4 enodes
8.927 * * [simplify]: iteration complete: 4 enodes
8.927 * * [simplify]: Extracting #0: cost 1 inf + 0
8.927 * * [simplify]: Extracting #1: cost 3 inf + 0
8.927 * * [simplify]: Extracting #2: cost 3 inf + 1
8.927 * * [simplify]: Extracting #3: cost 2 inf + 2
8.927 * * [simplify]: Extracting #4: cost 0 inf + 125
8.928 * [simplify]: Simplified to:
  (- (+ x x) 1.0)
9.489 * [regime-testing]: Baseline error score: 0
9.491 * [regime-testing]: Oracle error score: 0
9.491 * [regime-testing]: End program error score: 0