54.073 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (+ x x) 1.0))>
0.023 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
0.023 * * [simplify]: iteration 0: 4 enodes
0.025 * * [simplify]: iteration 1: 10 enodes
0.029 * * [simplify]: iteration 2: 16 enodes
0.034 * * [simplify]: iteration 3: 22 enodes
0.040 * * [simplify]: iteration 4: 24 enodes
0.046 * * [simplify]: iteration 5: 26 enodes
0.053 * * [simplify]: iteration 6: 34 enodes
0.067 * * [simplify]: iteration 7: 43 enodes
0.080 * * [simplify]: iteration 8: 59 enodes
0.094 * * [simplify]: iteration 9: 81 enodes
0.110 * * [simplify]: iteration 10: 100 enodes
0.133 * * [simplify]: iteration 11: 170 enodes
0.183 * * [simplify]: iteration 12: 244 enodes
0.215 * * [simplify]: iteration 13: 260 enodes
0.230 * * [simplify]: iteration 14: 266 enodes
0.248 * * [simplify]: iteration 15: 280 enodes
0.264 * * [simplify]: iteration 16: 286 enodes
0.273 * * [simplify]: iteration 17: 299 enodes
0.291 * * [simplify]: iteration 18: 304 enodes
0.308 * * [simplify]: iteration 19: 311 enodes
0.327 * * [simplify]: iteration 20: 318 enodes
0.344 * * [simplify]: iteration 21: 330 enodes
0.362 * * [simplify]: iteration 22: 335 enodes
0.377 * * [simplify]: iteration 23: 342 enodes
0.387 * * [simplify]: iteration 24: 349 enodes
0.396 * * [simplify]: iteration 25: 361 enodes
0.408 * * [simplify]: iteration 26: 366 enodes
0.423 * * [simplify]: iteration 27: 373 enodes
0.440 * * [simplify]: iteration 28: 382 enodes
0.456 * * [simplify]: iteration 29: 390 enodes
0.471 * * [simplify]: iteration 30: 395 enodes
0.481 * * [simplify]: iteration 31: 404 enodes
0.491 * * [simplify]: iteration 32: 409 enodes
0.500 * * [simplify]: iteration 33: 422 enodes
0.509 * * [simplify]: iteration 34: 427 enodes
0.522 * * [simplify]: iteration 35: 434 enodes
0.539 * * [simplify]: iteration 36: 443 enodes
0.552 * * [simplify]: iteration 37: 451 enodes
0.560 * * [simplify]: iteration 38: 456 enodes
0.572 * * [simplify]: iteration 39: 465 enodes
0.583 * * [simplify]: iteration 40: 470 enodes
0.596 * * [simplify]: iteration 41: 483 enodes
0.612 * * [simplify]: iteration 42: 488 enodes
0.627 * * [simplify]: iteration 43: 495 enodes
0.640 * * [simplify]: iteration 44: 502 enodes
0.656 * * [simplify]: iteration 45: 514 enodes
0.671 * * [simplify]: iteration 46: 519 enodes
0.686 * * [simplify]: iteration 47: 526 enodes
0.701 * * [simplify]: iteration 48: 535 enodes
0.710 * * [simplify]: iteration 49: 543 enodes
0.721 * * [simplify]: iteration 50: 548 enodes
0.732 * * [simplify]: iteration 51: 557 enodes
0.742 * * [simplify]: iteration 52: 564 enodes
0.751 * * [simplify]: iteration 53: 577 enodes
0.761 * * [simplify]: iteration 54: 582 enodes
0.771 * * [simplify]: iteration 55: 589 enodes
0.787 * * [simplify]: iteration 56: 594 enodes
0.802 * * [simplify]: iteration 57: 606 enodes
0.818 * * [simplify]: iteration 58: 611 enodes
0.831 * * [simplify]: iteration 59: 618 enodes
0.846 * * [simplify]: iteration 60: 625 enodes
0.856 * * [simplify]: iteration 61: 637 enodes
0.865 * * [simplify]: iteration 62: 642 enodes
0.873 * * [simplify]: iteration 63: 649 enodes
0.883 * * [simplify]: iteration 64: 654 enodes
0.893 * * [simplify]: iteration 65: 666 enodes
0.902 * * [simplify]: iteration 66: 671 enodes
0.910 * * [simplify]: iteration 67: 678 enodes
0.921 * * [simplify]: iteration 68: 685 enodes
0.934 * * [simplify]: iteration 69: 697 enodes
0.945 * * [simplify]: iteration 70: 702 enodes
0.956 * * [simplify]: iteration 71: 709 enodes
0.973 * * [simplify]: iteration 72: 716 enodes
0.988 * * [simplify]: iteration 73: 728 enodes
1.002 * * [simplify]: iteration 74: 733 enodes
1.016 * * [simplify]: iteration 75: 740 enodes
1.033 * * [simplify]: iteration 76: 747 enodes
1.047 * * [simplify]: iteration 77: 759 enodes
1.057 * * [simplify]: iteration 78: 764 enodes
1.065 * * [simplify]: iteration 79: 771 enodes
1.074 * * [simplify]: iteration 80: 778 enodes
1.083 * * [simplify]: iteration 81: 790 enodes
1.095 * * [simplify]: iteration 82: 795 enodes
1.108 * * [simplify]: iteration 83: 802 enodes
1.124 * * [simplify]: iteration 84: 807 enodes
1.139 * * [simplify]: iteration 85: 819 enodes
1.154 * * [simplify]: iteration 86: 824 enodes
1.167 * * [simplify]: iteration 87: 831 enodes
1.184 * * [simplify]: iteration 88: 838 enodes
1.200 * * [simplify]: iteration 89: 850 enodes
1.215 * * [simplify]: iteration 90: 855 enodes
1.226 * * [simplify]: iteration 91: 862 enodes
1.235 * * [simplify]: iteration 92: 867 enodes
1.244 * * [simplify]: iteration 93: 879 enodes
1.253 * * [simplify]: iteration 94: 884 enodes
1.261 * * [simplify]: iteration 95: 891 enodes
1.271 * * [simplify]: iteration 96: 898 enodes
1.280 * * [simplify]: iteration 97: 910 enodes
1.289 * * [simplify]: iteration 98: 915 enodes
1.297 * * [simplify]: iteration 99: 922 enodes
1.307 * * [simplify]: iteration 100: 927 enodes
1.319 * * [simplify]: iteration 101: 939 enodes
1.337 * * [simplify]: iteration 102: 944 enodes
1.352 * * [simplify]: iteration 103: 951 enodes
1.372 * * [simplify]: iteration 104: 958 enodes
1.388 * * [simplify]: iteration 105: 970 enodes
1.405 * * [simplify]: iteration 106: 975 enodes
1.422 * * [simplify]: iteration 107: 982 enodes
1.431 * * [simplify]: iteration 108: 987 enodes
1.440 * * [simplify]: iteration 109: 999 enodes
1.449 * * [simplify]: iteration 110: 1004 enodes
1.465 * * [simplify]: iteration 111: 1011 enodes
1.483 * * [simplify]: iteration 112: 1018 enodes
1.499 * * [simplify]: iteration 113: 1030 enodes
1.513 * * [simplify]: iteration 114: 1035 enodes
1.520 * * [simplify]: iteration 115: 1042 enodes
1.531 * * [simplify]: iteration 116: 1049 enodes
1.547 * * [simplify]: iteration 117: 1061 enodes
1.564 * * [simplify]: iteration 118: 1066 enodes
1.572 * * [simplify]: iteration 119: 1073 enodes
1.586 * * [simplify]: iteration 120: 1082 enodes
1.596 * * [simplify]: iteration 121: 1090 enodes
1.612 * * [simplify]: iteration 122: 1095 enodes
1.625 * * [simplify]: iteration 123: 1104 enodes
1.635 * * [simplify]: iteration 124: 1109 enodes
1.645 * * [simplify]: iteration 125: 1122 enodes
1.660 * * [simplify]: iteration 126: 1127 enodes
1.670 * * [simplify]: iteration 127: 1134 enodes
1.680 * * [simplify]: iteration 128: 1141 enodes
1.692 * * [simplify]: iteration 129: 1153 enodes
1.708 * * [simplify]: iteration 130: 1158 enodes
1.723 * * [simplify]: iteration 131: 1165 enodes
1.739 * * [simplify]: iteration 132: 1174 enodes
1.747 * * [simplify]: iteration 133: 1182 enodes
1.756 * * [simplify]: iteration 134: 1187 enodes
1.771 * * [simplify]: iteration 135: 1196 enodes
1.788 * * [simplify]: iteration 136: 1203 enodes
1.797 * * [simplify]: iteration 137: 1216 enodes
1.806 * * [simplify]: iteration 138: 1221 enodes
1.818 * * [simplify]: iteration 139: 1228 enodes
1.828 * * [simplify]: iteration 140: 1233 enodes
1.837 * * [simplify]: iteration 141: 1245 enodes
1.850 * * [simplify]: iteration 142: 1250 enodes
1.865 * * [simplify]: iteration 143: 1257 enodes
1.883 * * [simplify]: iteration 144: 1262 enodes
1.899 * * [simplify]: iteration 145: 1274 enodes
1.909 * * [simplify]: iteration 146: 1279 enodes
1.917 * * [simplify]: iteration 147: 1286 enodes
1.928 * * [simplify]: iteration 148: 1293 enodes
1.945 * * [simplify]: iteration 149: 1305 enodes
1.963 * * [simplify]: iteration 150: 1310 enodes
1.980 * * [simplify]: iteration 151: 1317 enodes
2.001 * * [simplify]: iteration 152: 1324 enodes
2.020 * * [simplify]: iteration 153: 1336 enodes
2.039 * * [simplify]: iteration 154: 1341 enodes
2.055 * * [simplify]: iteration 155: 1348 enodes
2.075 * * [simplify]: iteration 156: 1355 enodes
2.093 * * [simplify]: iteration 157: 1367 enodes
2.112 * * [simplify]: iteration 158: 1372 enodes
2.128 * * [simplify]: iteration 159: 1379 enodes
2.149 * * [simplify]: iteration 160: 1386 enodes
2.168 * * [simplify]: iteration 161: 1398 enodes
2.186 * * [simplify]: iteration 162: 1403 enodes
2.202 * * [simplify]: iteration 163: 1410 enodes
2.216 * * [simplify]: iteration 164: 1417 enodes
2.225 * * [simplify]: iteration 165: 1429 enodes
2.238 * * [simplify]: iteration 166: 1434 enodes
2.256 * * [simplify]: iteration 167: 1441 enodes
2.276 * * [simplify]: iteration 168: 1446 enodes
2.297 * * [simplify]: iteration 169: 1458 enodes
2.316 * * [simplify]: iteration 170: 1463 enodes
2.332 * * [simplify]: iteration 171: 1470 enodes
2.353 * * [simplify]: iteration 172: 1477 enodes
2.372 * * [simplify]: iteration 173: 1489 enodes
2.391 * * [simplify]: iteration 174: 1494 enodes
2.408 * * [simplify]: iteration 175: 1501 enodes
2.429 * * [simplify]: iteration 176: 1506 enodes
2.447 * * [simplify]: iteration 177: 1518 enodes
2.465 * * [simplify]: iteration 178: 1523 enodes
2.482 * * [simplify]: iteration 179: 1530 enodes
2.498 * * [simplify]: iteration 180: 1537 enodes
2.509 * * [simplify]: iteration 181: 1549 enodes
2.518 * * [simplify]: iteration 182: 1554 enodes
2.526 * * [simplify]: iteration 183: 1561 enodes
2.536 * * [simplify]: iteration 184: 1566 enodes
2.544 * * [simplify]: iteration 185: 1578 enodes
2.553 * * [simplify]: iteration 186: 1583 enodes
2.566 * * [simplify]: iteration 187: 1590 enodes
2.588 * * [simplify]: iteration 188: 1597 enodes
2.607 * * [simplify]: iteration 189: 1609 enodes
2.619 * * [simplify]: iteration 190: 1614 enodes
2.627 * * [simplify]: iteration 191: 1621 enodes
2.637 * * [simplify]: iteration 192: 1628 enodes
2.647 * * [simplify]: iteration 193: 1640 enodes
2.656 * * [simplify]: iteration 194: 1645 enodes
2.666 * * [simplify]: iteration 195: 1652 enodes
2.680 * * [simplify]: iteration 196: 1661 enodes
2.698 * * [simplify]: iteration 197: 1669 enodes
2.709 * * [simplify]: iteration 198: 1674 enodes
2.718 * * [simplify]: iteration 199: 1683 enodes
2.731 * * [simplify]: iteration 200: 1688 enodes
2.749 * * [simplify]: iteration 201: 1701 enodes
2.770 * * [simplify]: iteration 202: 1706 enodes
2.787 * * [simplify]: iteration 203: 1713 enodes
2.804 * * [simplify]: iteration 204: 1720 enodes
2.817 * * [simplify]: iteration 205: 1732 enodes
2.827 * * [simplify]: iteration 206: 1737 enodes
2.836 * * [simplify]: iteration 207: 1744 enodes
2.846 * * [simplify]: iteration 208: 1753 enodes
2.861 * * [simplify]: iteration 209: 1761 enodes
2.880 * * [simplify]: iteration 210: 1766 enodes
2.897 * * [simplify]: iteration 211: 1775 enodes
2.910 * * [simplify]: iteration 212: 1782 enodes
2.918 * * [simplify]: iteration 213: 1791 enodes
2.928 * * [simplify]: iteration 214: 1796 enodes
2.937 * * [simplify]: iteration 215: 1805 enodes
2.949 * * [simplify]: iteration 216: 1814 enodes
2.958 * * [simplify]: iteration 217: 1823 enodes
2.971 * * [simplify]: iteration 218: 1828 enodes
2.988 * * [simplify]: iteration 219: 1837 enodes
3.009 * * [simplify]: iteration 220: 1846 enodes
3.027 * * [simplify]: iteration 221: 1855 enodes
3.045 * * [simplify]: iteration 222: 1860 enodes
3.062 * * [simplify]: iteration 223: 1869 enodes
3.085 * * [simplify]: iteration 224: 1876 enodes
3.094 * * [simplify]: iteration 225: 1889 enodes
3.103 * * [simplify]: iteration 226: 1894 enodes
3.111 * * [simplify]: iteration 227: 1901 enodes
3.121 * * [simplify]: iteration 228: 1910 enodes
3.133 * * [simplify]: iteration 229: 1918 enodes
3.143 * * [simplify]: iteration 230: 1923 enodes
3.155 * * [simplify]: iteration 231: 1932 enodes
3.171 * * [simplify]: iteration 232: 1937 enodes
3.179 * * [simplify]: iteration 233: 1950 enodes
3.192 * * [simplify]: iteration 234: 1955 enodes
3.207 * * [simplify]: iteration 235: 1962 enodes
3.223 * * [simplify]: iteration 236: 1969 enodes
3.233 * * [simplify]: iteration 237: 1981 enodes
3.245 * * [simplify]: iteration 238: 1986 enodes
3.253 * * [simplify]: iteration 239: 1993 enodes
3.260 * * [simplify]: iteration complete: 2001 enodes
3.260 * * [simplify]: Extracting #0: cost 1 inf + 0
3.260 * * [simplify]: Extracting #1: cost 14 inf + 0
3.260 * * [simplify]: Extracting #2: cost 12 inf + 87
3.261 * * [simplify]: Extracting #3: cost 3 inf + 679
3.261 * * [simplify]: Extracting #4: cost 0 inf + 1045
3.261 * [simplify]: Simplified to:
  (- x (- 1.0 x))
3.262 * * [progress]: iteration 1 / 4
3.262 * * * [progress]: picking best candidate
3.263 * * * * [pick]: Picked  #<alt (λ (x) (- (+ x x) 1.0))>
3.263 * * * [progress]: localizing error
3.272 * * * [progress]: generating rewritten candidates
3.272 * * * [progress]: generating series expansions
3.272 * * * [progress]: simplifying candidates
3.272 * [simplify]: Simplifying:
  
3.272 * * [simplify]: iteration 0: 0 enodes
3.272 * * [simplify]: iteration complete: 0 enodes
3.272 * * [simplify]: Extracting #0: cost 0 inf + 0
3.272 * [simplify]: Simplified to:
  
3.272 * * * [progress]: adding candidates to table
3.273 * [progress]: [Phase 3 of 3] Extracting.
3.275 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
3.275 * * [simplify]: iteration 0: 4 enodes
3.275 * * [simplify]: iteration complete: 4 enodes
3.275 * * [simplify]: Extracting #0: cost 1 inf + 0
3.275 * * [simplify]: Extracting #1: cost 3 inf + 0
3.275 * * [simplify]: Extracting #2: cost 3 inf + 1
3.275 * * [simplify]: Extracting #3: cost 2 inf + 2
3.275 * * [simplify]: Extracting #4: cost 0 inf + 125
3.275 * [simplify]: Simplified to:
  (- (+ x x) 1.0)
3.811 * [regime-testing]: Baseline error score: 0
3.815 * [regime-testing]: Oracle error score: 0
3.815 * [regime-testing]: End program error score: 0