25.305 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.020 * [progress]: [Phase 2 of 3] Improving.
0.020 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (+ x x) 1.0))>
0.021 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
0.021 * * [simplify]: iteration 0: 4 enodes
0.023 * * [simplify]: iteration 1: 10 enodes
0.026 * * [simplify]: iteration 2: 15 enodes
0.035 * * [simplify]: iteration 3: 20 enodes
0.040 * * [simplify]: iteration 4: 22 enodes
0.045 * * [simplify]: iteration 5: 24 enodes
0.051 * * [simplify]: iteration 6: 32 enodes
0.057 * * [simplify]: iteration 7: 41 enodes
0.065 * * [simplify]: iteration 8: 53 enodes
0.075 * * [simplify]: iteration 9: 71 enodes
0.084 * * [simplify]: iteration 10: 84 enodes
0.094 * * [simplify]: iteration 11: 143 enodes
0.113 * * [simplify]: iteration 12: 198 enodes
0.128 * * [simplify]: iteration 13: 215 enodes
0.136 * * [simplify]: iteration 14: 221 enodes
0.144 * * [simplify]: iteration 15: 235 enodes
0.155 * * [simplify]: iteration 16: 243 enodes
0.164 * * [simplify]: iteration 17: 256 enodes
0.172 * * [simplify]: iteration 18: 261 enodes
0.179 * * [simplify]: iteration 19: 268 enodes
0.187 * * [simplify]: iteration 20: 275 enodes
0.197 * * [simplify]: iteration 21: 287 enodes
0.208 * * [simplify]: iteration 22: 292 enodes
0.220 * * [simplify]: iteration 23: 299 enodes
0.234 * * [simplify]: iteration 24: 306 enodes
0.247 * * [simplify]: iteration 25: 318 enodes
0.259 * * [simplify]: iteration 26: 323 enodes
0.271 * * [simplify]: iteration 27: 330 enodes
0.285 * * [simplify]: iteration 28: 339 enodes
0.297 * * [simplify]: iteration 29: 347 enodes
0.313 * * [simplify]: iteration 30: 352 enodes
0.325 * * [simplify]: iteration 31: 361 enodes
0.336 * * [simplify]: iteration 32: 368 enodes
0.344 * * [simplify]: iteration 33: 381 enodes
0.352 * * [simplify]: iteration 34: 386 enodes
0.359 * * [simplify]: iteration 35: 393 enodes
0.367 * * [simplify]: iteration 36: 398 enodes
0.375 * * [simplify]: iteration 37: 410 enodes
0.383 * * [simplify]: iteration 38: 415 enodes
0.390 * * [simplify]: iteration 39: 422 enodes
0.400 * * [simplify]: iteration 40: 429 enodes
0.408 * * [simplify]: iteration 41: 441 enodes
0.416 * * [simplify]: iteration 42: 446 enodes
0.423 * * [simplify]: iteration 43: 453 enodes
0.431 * * [simplify]: iteration 44: 460 enodes
0.439 * * [simplify]: iteration 45: 472 enodes
0.447 * * [simplify]: iteration 46: 477 enodes
0.454 * * [simplify]: iteration 47: 484 enodes
0.463 * * [simplify]: iteration 48: 491 enodes
0.473 * * [simplify]: iteration 49: 503 enodes
0.481 * * [simplify]: iteration 50: 508 enodes
0.489 * * [simplify]: iteration 51: 515 enodes
0.498 * * [simplify]: iteration 52: 522 enodes
0.506 * * [simplify]: iteration 53: 534 enodes
0.513 * * [simplify]: iteration 54: 539 enodes
0.520 * * [simplify]: iteration 55: 546 enodes
0.529 * * [simplify]: iteration 56: 551 enodes
0.537 * * [simplify]: iteration 57: 563 enodes
0.546 * * [simplify]: iteration 58: 568 enodes
0.553 * * [simplify]: iteration 59: 575 enodes
0.562 * * [simplify]: iteration 60: 582 enodes
0.570 * * [simplify]: iteration 61: 594 enodes
0.578 * * [simplify]: iteration 62: 599 enodes
0.584 * * [simplify]: iteration 63: 606 enodes
0.593 * * [simplify]: iteration 64: 613 enodes
0.602 * * [simplify]: iteration 65: 625 enodes
0.610 * * [simplify]: iteration 66: 630 enodes
0.618 * * [simplify]: iteration 67: 637 enodes
0.627 * * [simplify]: iteration 68: 646 enodes
0.637 * * [simplify]: iteration 69: 654 enodes
0.652 * * [simplify]: iteration 70: 659 enodes
0.661 * * [simplify]: iteration 71: 668 enodes
0.671 * * [simplify]: iteration 72: 673 enodes
0.678 * * [simplify]: iteration 73: 686 enodes
0.686 * * [simplify]: iteration 74: 691 enodes
0.693 * * [simplify]: iteration 75: 698 enodes
0.703 * * [simplify]: iteration 76: 707 enodes
0.711 * * [simplify]: iteration 77: 715 enodes
0.718 * * [simplify]: iteration 78: 720 enodes
0.727 * * [simplify]: iteration 79: 729 enodes
0.736 * * [simplify]: iteration 80: 736 enodes
0.743 * * [simplify]: iteration 81: 745 enodes
0.751 * * [simplify]: iteration 82: 750 enodes
0.758 * * [simplify]: iteration 83: 759 enodes
0.767 * * [simplify]: iteration 84: 768 enodes
0.775 * * [simplify]: iteration 85: 777 enodes
0.783 * * [simplify]: iteration 86: 782 enodes
0.790 * * [simplify]: iteration 87: 791 enodes
0.799 * * [simplify]: iteration 88: 800 enodes
0.809 * * [simplify]: iteration 89: 809 enodes
0.820 * * [simplify]: iteration 90: 814 enodes
0.827 * * [simplify]: iteration 91: 823 enodes
0.836 * * [simplify]: iteration 92: 828 enodes
0.844 * * [simplify]: iteration 93: 841 enodes
0.858 * * [simplify]: iteration 94: 846 enodes
0.872 * * [simplify]: iteration 95: 853 enodes
0.889 * * [simplify]: iteration 96: 860 enodes
0.904 * * [simplify]: iteration 97: 872 enodes
0.920 * * [simplify]: iteration 98: 877 enodes
0.933 * * [simplify]: iteration 99: 884 enodes
0.947 * * [simplify]: iteration 100: 891 enodes
0.955 * * [simplify]: iteration 101: 903 enodes
0.963 * * [simplify]: iteration 102: 908 enodes
0.970 * * [simplify]: iteration 103: 915 enodes
0.985 * * [simplify]: iteration 104: 922 enodes
0.996 * * [simplify]: iteration 105: 934 enodes
1.004 * * [simplify]: iteration 106: 939 enodes
1.011 * * [simplify]: iteration 107: 946 enodes
1.020 * * [simplify]: iteration 108: 953 enodes
1.031 * * [simplify]: iteration 109: 965 enodes
1.046 * * [simplify]: iteration 110: 970 enodes
1.055 * * [simplify]: iteration 111: 977 enodes
1.065 * * [simplify]: iteration 112: 986 enodes
1.072 * * [simplify]: iteration 113: 994 enodes
1.080 * * [simplify]: iteration 114: 999 enodes
1.093 * * [simplify]: iteration 115: 1008 enodes
1.110 * * [simplify]: iteration 116: 1015 enodes
1.124 * * [simplify]: iteration 117: 1024 enodes
1.134 * * [simplify]: iteration 118: 1029 enodes
1.141 * * [simplify]: iteration 119: 1038 enodes
1.150 * * [simplify]: iteration 120: 1047 enodes
1.161 * * [simplify]: iteration 121: 1056 enodes
1.176 * * [simplify]: iteration 122: 1061 enodes
1.189 * * [simplify]: iteration 123: 1070 enodes
1.205 * * [simplify]: iteration 124: 1075 enodes
1.218 * * [simplify]: iteration 125: 1088 enodes
1.231 * * [simplify]: iteration 126: 1093 enodes
1.237 * * [simplify]: iteration 127: 1100 enodes
1.249 * * [simplify]: iteration 128: 1105 enodes
1.262 * * [simplify]: iteration 129: 1117 enodes
1.276 * * [simplify]: iteration 130: 1122 enodes
1.287 * * [simplify]: iteration 131: 1129 enodes
1.296 * * [simplify]: iteration 132: 1136 enodes
1.304 * * [simplify]: iteration 133: 1148 enodes
1.311 * * [simplify]: iteration 134: 1153 enodes
1.322 * * [simplify]: iteration 135: 1160 enodes
1.334 * * [simplify]: iteration 136: 1165 enodes
1.341 * * [simplify]: iteration 137: 1177 enodes
1.349 * * [simplify]: iteration 138: 1182 enodes
1.356 * * [simplify]: iteration 139: 1189 enodes
1.369 * * [simplify]: iteration 140: 1196 enodes
1.383 * * [simplify]: iteration 141: 1208 enodes
1.396 * * [simplify]: iteration 142: 1213 enodes
1.407 * * [simplify]: iteration 143: 1220 enodes
1.422 * * [simplify]: iteration 144: 1227 enodes
1.437 * * [simplify]: iteration 145: 1239 enodes
1.450 * * [simplify]: iteration 146: 1244 enodes
1.456 * * [simplify]: iteration 147: 1251 enodes
1.465 * * [simplify]: iteration 148: 1258 enodes
1.474 * * [simplify]: iteration 149: 1270 enodes
1.482 * * [simplify]: iteration 150: 1275 enodes
1.488 * * [simplify]: iteration 151: 1282 enodes
1.497 * * [simplify]: iteration 152: 1289 enodes
1.505 * * [simplify]: iteration 153: 1301 enodes
1.513 * * [simplify]: iteration 154: 1306 enodes
1.521 * * [simplify]: iteration 155: 1313 enodes
1.529 * * [simplify]: iteration 156: 1318 enodes
1.537 * * [simplify]: iteration 157: 1330 enodes
1.545 * * [simplify]: iteration 158: 1335 enodes
1.552 * * [simplify]: iteration 159: 1342 enodes
1.561 * * [simplify]: iteration 160: 1351 enodes
1.568 * * [simplify]: iteration 161: 1359 enodes
1.576 * * [simplify]: iteration 162: 1364 enodes
1.584 * * [simplify]: iteration 163: 1373 enodes
1.592 * * [simplify]: iteration 164: 1380 enodes
1.600 * * [simplify]: iteration 165: 1393 enodes
1.607 * * [simplify]: iteration 166: 1398 enodes
1.615 * * [simplify]: iteration 167: 1405 enodes
1.623 * * [simplify]: iteration 168: 1414 enodes
1.631 * * [simplify]: iteration 169: 1422 enodes
1.638 * * [simplify]: iteration 170: 1427 enodes
1.646 * * [simplify]: iteration 171: 1436 enodes
1.654 * * [simplify]: iteration 172: 1443 enodes
1.661 * * [simplify]: iteration 173: 1452 enodes
1.669 * * [simplify]: iteration 174: 1457 enodes
1.677 * * [simplify]: iteration 175: 1466 enodes
1.687 * * [simplify]: iteration 176: 1475 enodes
1.695 * * [simplify]: iteration 177: 1484 enodes
1.702 * * [simplify]: iteration 178: 1489 enodes
1.709 * * [simplify]: iteration 179: 1498 enodes
1.718 * * [simplify]: iteration 180: 1507 enodes
1.725 * * [simplify]: iteration 181: 1516 enodes
1.732 * * [simplify]: iteration 182: 1521 enodes
1.739 * * [simplify]: iteration 183: 1530 enodes
1.747 * * [simplify]: iteration 184: 1537 enodes
1.756 * * [simplify]: iteration 185: 1550 enodes
1.763 * * [simplify]: iteration 186: 1555 enodes
1.773 * * [simplify]: iteration 187: 1562 enodes
1.781 * * [simplify]: iteration 188: 1571 enodes
1.788 * * [simplify]: iteration 189: 1579 enodes
1.796 * * [simplify]: iteration 190: 1584 enodes
1.803 * * [simplify]: iteration 191: 1593 enodes
1.812 * * [simplify]: iteration 192: 1598 enodes
1.820 * * [simplify]: iteration 193: 1611 enodes
1.832 * * [simplify]: iteration 194: 1616 enodes
1.839 * * [simplify]: iteration 195: 1623 enodes
1.848 * * [simplify]: iteration 196: 1630 enodes
1.857 * * [simplify]: iteration 197: 1642 enodes
1.864 * * [simplify]: iteration 198: 1647 enodes
1.871 * * [simplify]: iteration 199: 1654 enodes
1.879 * * [simplify]: iteration 200: 1663 enodes
1.886 * * [simplify]: iteration 201: 1671 enodes
1.894 * * [simplify]: iteration 202: 1676 enodes
1.902 * * [simplify]: iteration 203: 1685 enodes
1.911 * * [simplify]: iteration 204: 1692 enodes
1.918 * * [simplify]: iteration 205: 1701 enodes
1.925 * * [simplify]: iteration 206: 1706 enodes
1.932 * * [simplify]: iteration 207: 1715 enodes
1.940 * * [simplify]: iteration 208: 1724 enodes
1.948 * * [simplify]: iteration 209: 1733 enodes
1.955 * * [simplify]: iteration 210: 1738 enodes
1.962 * * [simplify]: iteration 211: 1747 enodes
1.972 * * [simplify]: iteration 212: 1756 enodes
1.979 * * [simplify]: iteration 213: 1765 enodes
1.990 * * [simplify]: iteration 214: 1770 enodes
2.001 * * [simplify]: iteration 215: 1779 enodes
2.012 * * [simplify]: iteration 216: 1784 enodes
2.020 * * [simplify]: iteration 217: 1797 enodes
2.028 * * [simplify]: iteration 218: 1802 enodes
2.035 * * [simplify]: iteration 219: 1809 enodes
2.043 * * [simplify]: iteration 220: 1814 enodes
2.051 * * [simplify]: iteration 221: 1826 enodes
2.059 * * [simplify]: iteration 222: 1831 enodes
2.066 * * [simplify]: iteration 223: 1838 enodes
2.074 * * [simplify]: iteration 224: 1845 enodes
2.081 * * [simplify]: iteration 225: 1857 enodes
2.089 * * [simplify]: iteration 226: 1862 enodes
2.096 * * [simplify]: iteration 227: 1869 enodes
2.104 * * [simplify]: iteration 228: 1876 enodes
2.112 * * [simplify]: iteration 229: 1888 enodes
2.120 * * [simplify]: iteration 230: 1893 enodes
2.127 * * [simplify]: iteration 231: 1900 enodes
2.136 * * [simplify]: iteration 232: 1909 enodes
2.143 * * [simplify]: iteration 233: 1917 enodes
2.151 * * [simplify]: iteration 234: 1922 enodes
2.158 * * [simplify]: iteration 235: 1931 enodes
2.167 * * [simplify]: iteration 236: 1936 enodes
2.178 * * [simplify]: iteration 237: 1949 enodes
2.189 * * [simplify]: iteration 238: 1954 enodes
2.196 * * [simplify]: iteration 239: 1961 enodes
2.209 * * [simplify]: iteration 240: 1970 enodes
2.217 * * [simplify]: iteration 241: 1978 enodes
2.224 * * [simplify]: iteration 242: 1983 enodes
2.231 * * [simplify]: iteration 243: 1992 enodes
2.244 * * [simplify]: iteration 244: 1997 enodes
2.249 * * [simplify]: iteration complete: 2001 enodes
2.249 * * [simplify]: Extracting #0: cost 1 inf + 0
2.249 * * [simplify]: Extracting #1: cost 10 inf + 0
2.250 * * [simplify]: Extracting #2: cost 11 inf + 43
2.250 * * [simplify]: Extracting #3: cost 0 inf + 581
2.250 * [simplify]: Simplified to:
  (- (+ x x) 1.0)
2.251 * * [progress]: iteration 1 / 4
2.251 * * * [progress]: picking best candidate
2.252 * * * * [pick]: Picked  #<alt (λ (x) (- (+ x x) 1.0))>
2.252 * * * [progress]: localizing error
2.257 * * * [progress]: generating rewritten candidates
2.257 * * * [progress]: generating series expansions
2.257 * * * [progress]: simplifying candidates
2.258 * [simplify]: Simplifying:
  
2.258 * * [simplify]: iteration 0: 0 enodes
2.258 * * [simplify]: iteration complete: 0 enodes
2.258 * * [simplify]: Extracting #0: cost 0 inf + 0
2.258 * [simplify]: Simplified to:
  
2.258 * * * [progress]: adding candidates to table
2.258 * [progress]: [Phase 3 of 3] Extracting.
2.260 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
2.260 * * [simplify]: iteration 0: 4 enodes
2.260 * * [simplify]: iteration complete: 4 enodes
2.260 * * [simplify]: Extracting #0: cost 1 inf + 0
2.260 * * [simplify]: Extracting #1: cost 3 inf + 0
2.260 * * [simplify]: Extracting #2: cost 3 inf + 1
2.260 * * [simplify]: Extracting #3: cost 2 inf + 2
2.260 * * [simplify]: Extracting #4: cost 0 inf + 125
2.260 * [simplify]: Simplified to:
  (- (+ x x) 1.0)
2.707 * [regime-testing]: Baseline error score: 0
2.710 * [regime-testing]: Oracle error score: 0
2.710 * [regime-testing]: End program error score: 0