74.911 * [progress]: [Phase 1 of 3] Setting up.
0.007 * * * [progress]: [1/2] Preparing points
0.052 * * * [progress]: [2/2] Setting up program.
0.084 * [progress]: [Phase 2 of 3] Improving.
0.087 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
0.088 * * [simplify]: iteration 0: 4 enodes
0.103 * * [simplify]: iteration 1: 10 enodes
0.108 * * [simplify]: iteration 2: 15 enodes
0.114 * * [simplify]: iteration 3: 20 enodes
0.122 * * [simplify]: iteration 4: 22 enodes
0.132 * * [simplify]: iteration 5: 24 enodes
0.165 * * [simplify]: iteration 6: 32 enodes
0.532 * * [simplify]: iteration 7: 41 enodes
0.578 * * [simplify]: iteration 8: 53 enodes
0.602 * * [simplify]: iteration 9: 75 enodes
0.623 * * [simplify]: iteration 10: 88 enodes
0.653 * * [simplify]: iteration 11: 156 enodes
0.754 * * [simplify]: iteration 12: 231 enodes
5.189 * * [simplify]: iteration 13: 247 enodes
5.229 * * [simplify]: iteration 14: 253 enodes
5.273 * * [simplify]: iteration 15: 267 enodes
5.325 * * [simplify]: iteration 16: 275 enodes
5.346 * * [simplify]: iteration 17: 288 enodes
5.368 * * [simplify]: iteration 18: 293 enodes
5.571 * * [simplify]: iteration 19: 300 enodes
5.596 * * [simplify]: iteration 20: 307 enodes
5.616 * * [simplify]: iteration 21: 322 enodes
5.635 * * [simplify]: iteration 22: 327 enodes
5.652 * * [simplify]: iteration 23: 336 enodes
5.672 * * [simplify]: iteration 24: 341 enodes
5.695 * * [simplify]: iteration 25: 354 enodes
5.713 * * [simplify]: iteration 26: 359 enodes
5.735 * * [simplify]: iteration 27: 366 enodes
5.757 * * [simplify]: iteration 28: 375 enodes
5.777 * * [simplify]: iteration 29: 386 enodes
5.791 * * [simplify]: iteration 30: 391 enodes
5.809 * * [simplify]: iteration 31: 400 enodes
5.830 * * [simplify]: iteration 32: 409 enodes
5.848 * * [simplify]: iteration 33: 418 enodes
6.001 * * [simplify]: iteration 34: 423 enodes
6.071 * * [simplify]: iteration 35: 432 enodes
6.120 * * [simplify]: iteration 36: 437 enodes
6.152 * * [simplify]: iteration 37: 450 enodes
6.172 * * [simplify]: iteration 38: 455 enodes
6.190 * * [simplify]: iteration 39: 462 enodes
6.212 * * [simplify]: iteration 40: 467 enodes
6.233 * * [simplify]: iteration 41: 482 enodes
6.454 * * [simplify]: iteration 42: 487 enodes
6.474 * * [simplify]: iteration 43: 496 enodes
6.496 * * [simplify]: iteration 44: 505 enodes
6.516 * * [simplify]: iteration 45: 514 enodes
6.536 * * [simplify]: iteration 46: 519 enodes
6.554 * * [simplify]: iteration 47: 528 enodes
6.575 * * [simplify]: iteration 48: 537 enodes
6.596 * * [simplify]: iteration 49: 546 enodes
6.615 * * [simplify]: iteration 50: 551 enodes
6.632 * * [simplify]: iteration 51: 560 enodes
6.653 * * [simplify]: iteration 52: 565 enodes
6.672 * * [simplify]: iteration 53: 578 enodes
6.692 * * [simplify]: iteration 54: 583 enodes
6.708 * * [simplify]: iteration 55: 590 enodes
6.729 * * [simplify]: iteration 56: 595 enodes
6.751 * * [simplify]: iteration 57: 610 enodes
6.769 * * [simplify]: iteration 58: 615 enodes
6.787 * * [simplify]: iteration 59: 624 enodes
6.809 * * [simplify]: iteration 60: 633 enodes
6.827 * * [simplify]: iteration 61: 642 enodes
6.845 * * [simplify]: iteration 62: 647 enodes
6.862 * * [simplify]: iteration 63: 656 enodes
6.888 * * [simplify]: iteration 64: 665 enodes
6.908 * * [simplify]: iteration 65: 674 enodes
6.928 * * [simplify]: iteration 66: 679 enodes
6.947 * * [simplify]: iteration 67: 688 enodes
6.975 * * [simplify]: iteration 68: 693 enodes
7.008 * * [simplify]: iteration 69: 706 enodes
7.034 * * [simplify]: iteration 70: 711 enodes
7.052 * * [simplify]: iteration 71: 718 enodes
7.208 * * [simplify]: iteration 72: 725 enodes
7.230 * * [simplify]: iteration 73: 740 enodes
7.277 * * [simplify]: iteration 74: 745 enodes
7.310 * * [simplify]: iteration 75: 754 enodes
7.354 * * [simplify]: iteration 76: 761 enodes
7.372 * * [simplify]: iteration 77: 774 enodes
7.393 * * [simplify]: iteration 78: 779 enodes
7.409 * * [simplify]: iteration 79: 786 enodes
7.661 * * [simplify]: iteration 80: 791 enodes
7.699 * * [simplify]: iteration 81: 806 enodes
7.717 * * [simplify]: iteration 82: 811 enodes
7.735 * * [simplify]: iteration 83: 820 enodes
7.757 * * [simplify]: iteration 84: 829 enodes
7.776 * * [simplify]: iteration 85: 838 enodes
7.796 * * [simplify]: iteration 86: 843 enodes
8.035 * * [simplify]: iteration 87: 852 enodes
8.067 * * [simplify]: iteration 88: 861 enodes
8.102 * * [simplify]: iteration 89: 870 enodes
8.120 * * [simplify]: iteration 90: 875 enodes
8.138 * * [simplify]: iteration 91: 884 enodes
8.159 * * [simplify]: iteration 92: 889 enodes
8.177 * * [simplify]: iteration 93: 902 enodes
8.196 * * [simplify]: iteration 94: 907 enodes
8.499 * * [simplify]: iteration 95: 914 enodes
8.555 * * [simplify]: iteration 96: 919 enodes
8.575 * * [simplify]: iteration 97: 934 enodes
8.593 * * [simplify]: iteration 98: 939 enodes
8.613 * * [simplify]: iteration 99: 948 enodes
8.636 * * [simplify]: iteration 100: 957 enodes
8.657 * * [simplify]: iteration 101: 966 enodes
8.725 * * [simplify]: iteration 102: 971 enodes
8.759 * * [simplify]: iteration 103: 980 enodes
8.781 * * [simplify]: iteration 104: 989 enodes
8.800 * * [simplify]: iteration 105: 998 enodes
8.819 * * [simplify]: iteration 106: 1003 enodes
8.837 * * [simplify]: iteration 107: 1012 enodes
8.859 * * [simplify]: iteration 108: 1017 enodes
8.878 * * [simplify]: iteration 109: 1030 enodes
8.940 * * [simplify]: iteration 110: 1035 enodes
8.981 * * [simplify]: iteration 111: 1042 enodes
9.010 * * [simplify]: iteration 112: 1049 enodes
9.054 * * [simplify]: iteration 113: 1064 enodes
9.098 * * [simplify]: iteration 114: 1069 enodes
9.117 * * [simplify]: iteration 115: 1078 enodes
9.139 * * [simplify]: iteration 116: 1083 enodes
9.162 * * [simplify]: iteration 117: 1096 enodes
9.186 * * [simplify]: iteration 118: 1101 enodes
9.203 * * [simplify]: iteration 119: 1108 enodes
9.226 * * [simplify]: iteration 120: 1113 enodes
9.258 * * [simplify]: iteration 121: 1128 enodes
9.291 * * [simplify]: iteration 122: 1133 enodes
9.307 * * [simplify]: iteration 123: 1142 enodes
9.330 * * [simplify]: iteration 124: 1151 enodes
9.355 * * [simplify]: iteration 125: 1160 enodes
9.408 * * [simplify]: iteration 126: 1165 enodes
9.424 * * [simplify]: iteration 127: 1174 enodes
9.445 * * [simplify]: iteration 128: 1183 enodes
9.464 * * [simplify]: iteration 129: 1192 enodes
9.481 * * [simplify]: iteration 130: 1197 enodes
9.498 * * [simplify]: iteration 131: 1206 enodes
9.518 * * [simplify]: iteration 132: 1211 enodes
9.540 * * [simplify]: iteration 133: 1224 enodes
9.584 * * [simplify]: iteration 134: 1229 enodes
9.597 * * [simplify]: iteration 135: 1236 enodes
9.618 * * [simplify]: iteration 136: 1241 enodes
9.639 * * [simplify]: iteration 137: 1256 enodes
9.659 * * [simplify]: iteration 138: 1261 enodes
9.678 * * [simplify]: iteration 139: 1270 enodes
10.057 * * [simplify]: iteration 140: 1277 enodes
10.099 * * [simplify]: iteration 141: 1290 enodes
10.116 * * [simplify]: iteration 142: 1295 enodes
10.133 * * [simplify]: iteration 143: 1302 enodes
10.155 * * [simplify]: iteration 144: 1309 enodes
10.174 * * [simplify]: iteration 145: 1324 enodes
10.193 * * [simplify]: iteration 146: 1329 enodes
10.212 * * [simplify]: iteration 147: 1338 enodes
10.308 * * [simplify]: iteration 148: 1347 enodes
10.329 * * [simplify]: iteration 149: 1356 enodes
10.369 * * [simplify]: iteration 150: 1361 enodes
10.413 * * [simplify]: iteration 151: 1370 enodes
10.462 * * [simplify]: iteration 152: 1379 enodes
10.504 * * [simplify]: iteration 153: 1388 enodes
10.545 * * [simplify]: iteration 154: 1393 enodes
10.587 * * [simplify]: iteration 155: 1402 enodes
10.633 * * [simplify]: iteration 156: 1407 enodes
10.671 * * [simplify]: iteration 157: 1420 enodes
10.689 * * [simplify]: iteration 158: 1425 enodes
10.705 * * [simplify]: iteration 159: 1432 enodes
10.725 * * [simplify]: iteration 160: 1437 enodes
10.745 * * [simplify]: iteration 161: 1452 enodes
10.764 * * [simplify]: iteration 162: 1457 enodes
10.970 * * [simplify]: iteration 163: 1466 enodes
11.019 * * [simplify]: iteration 164: 1475 enodes
11.037 * * [simplify]: iteration 165: 1484 enodes
11.056 * * [simplify]: iteration 166: 1489 enodes
11.073 * * [simplify]: iteration 167: 1498 enodes
11.095 * * [simplify]: iteration 168: 1507 enodes
11.112 * * [simplify]: iteration 169: 1516 enodes
11.131 * * [simplify]: iteration 170: 1521 enodes
11.203 * * [simplify]: iteration 171: 1530 enodes
11.246 * * [simplify]: iteration 172: 1535 enodes
11.265 * * [simplify]: iteration 173: 1548 enodes
11.287 * * [simplify]: iteration 174: 1553 enodes
11.304 * * [simplify]: iteration 175: 1560 enodes
11.326 * * [simplify]: iteration 176: 1565 enodes
11.346 * * [simplify]: iteration 177: 1580 enodes
11.417 * * [simplify]: iteration 178: 1585 enodes
11.443 * * [simplify]: iteration 179: 1594 enodes
11.465 * * [simplify]: iteration 180: 1603 enodes
11.483 * * [simplify]: iteration 181: 1612 enodes
11.503 * * [simplify]: iteration 182: 1617 enodes
11.522 * * [simplify]: iteration 183: 1626 enodes
11.543 * * [simplify]: iteration 184: 1635 enodes
11.560 * * [simplify]: iteration 185: 1644 enodes
11.665 * * [simplify]: iteration 186: 1649 enodes
11.716 * * [simplify]: iteration 187: 1658 enodes
11.737 * * [simplify]: iteration 188: 1663 enodes
11.755 * * [simplify]: iteration 189: 1676 enodes
11.774 * * [simplify]: iteration 190: 1681 enodes
11.791 * * [simplify]: iteration 191: 1688 enodes
11.813 * * [simplify]: iteration 192: 1693 enodes
11.873 * * [simplify]: iteration 193: 1708 enodes
11.903 * * [simplify]: iteration 194: 1713 enodes
11.923 * * [simplify]: iteration 195: 1722 enodes
11.945 * * [simplify]: iteration 196: 1731 enodes
11.968 * * [simplify]: iteration 197: 1740 enodes
11.989 * * [simplify]: iteration 198: 1745 enodes
12.007 * * [simplify]: iteration 199: 1754 enodes
12.028 * * [simplify]: iteration 200: 1761 enodes
12.132 * * [simplify]: iteration 201: 1774 enodes
12.148 * * [simplify]: iteration 202: 1779 enodes
12.164 * * [simplify]: iteration 203: 1786 enodes
12.186 * * [simplify]: iteration 204: 1793 enodes
12.204 * * [simplify]: iteration 205: 1808 enodes
12.223 * * [simplify]: iteration 206: 1813 enodes
12.241 * * [simplify]: iteration 207: 1822 enodes
12.261 * * [simplify]: iteration 208: 1831 enodes
12.347 * * [simplify]: iteration 209: 1840 enodes
12.394 * * [simplify]: iteration 210: 1845 enodes
12.412 * * [simplify]: iteration 211: 1854 enodes
12.438 * * [simplify]: iteration 212: 1861 enodes
12.458 * * [simplify]: iteration 213: 1874 enodes
12.478 * * [simplify]: iteration 214: 1879 enodes
12.495 * * [simplify]: iteration 215: 1886 enodes
12.615 * * [simplify]: iteration 216: 1893 enodes
12.636 * * [simplify]: iteration 217: 1908 enodes
12.653 * * [simplify]: iteration 218: 1913 enodes
12.670 * * [simplify]: iteration 219: 1922 enodes
12.692 * * [simplify]: iteration 220: 1927 enodes
12.709 * * [simplify]: iteration 221: 1940 enodes
12.727 * * [simplify]: iteration 222: 1945 enodes
12.744 * * [simplify]: iteration 223: 1952 enodes
12.845 * * [simplify]: iteration 224: 1957 enodes
12.869 * * [simplify]: iteration 225: 1972 enodes
12.889 * * [simplify]: iteration 226: 1977 enodes
12.907 * * [simplify]: iteration 227: 1986 enodes
12.928 * * [simplify]: iteration 228: 1995 enodes
12.946 * * [simplify]: iteration 229: 2004 enodes
12.963 * * [simplify]: iteration 230: 2009 enodes
13.081 * * [simplify]: iteration 231: 2018 enodes
13.118 * * [simplify]: iteration 232: 2027 enodes
13.143 * * [simplify]: iteration 233: 2036 enodes
13.162 * * [simplify]: iteration 234: 2041 enodes
13.180 * * [simplify]: iteration 235: 2050 enodes
13.203 * * [simplify]: iteration 236: 2055 enodes
13.221 * * [simplify]: iteration 237: 2068 enodes
13.242 * * [simplify]: iteration 238: 2073 enodes
13.399 * * [simplify]: iteration 239: 2080 enodes
13.428 * * [simplify]: iteration 240: 2085 enodes
13.449 * * [simplify]: iteration 241: 2100 enodes
13.468 * * [simplify]: iteration 242: 2105 enodes
13.487 * * [simplify]: iteration 243: 2114 enodes
13.510 * * [simplify]: iteration 244: 2121 enodes
13.530 * * [simplify]: iteration 245: 2134 enodes
13.550 * * [simplify]: iteration 246: 2139 enodes
13.569 * * [simplify]: iteration 247: 2146 enodes
13.592 * * [simplify]: iteration 248: 2153 enodes
13.613 * * [simplify]: iteration 249: 2168 enodes
13.633 * * [simplify]: iteration 250: 2173 enodes
13.652 * * [simplify]: iteration 251: 2182 enodes
13.675 * * [simplify]: iteration 252: 2191 enodes
13.694 * * [simplify]: iteration 253: 2200 enodes
13.795 * * [simplify]: iteration 254: 2205 enodes
13.830 * * [simplify]: iteration 255: 2214 enodes
13.856 * * [simplify]: iteration 256: 2223 enodes
13.873 * * [simplify]: iteration 257: 2232 enodes
13.895 * * [simplify]: iteration 258: 2237 enodes
13.915 * * [simplify]: iteration 259: 2246 enodes
13.939 * * [simplify]: iteration 260: 2251 enodes
13.957 * * [simplify]: iteration 261: 2264 enodes
13.977 * * [simplify]: iteration 262: 2269 enodes
14.035 * * [simplify]: iteration 263: 2276 enodes
14.094 * * [simplify]: iteration 264: 2281 enodes
14.131 * * [simplify]: iteration 265: 2296 enodes
14.175 * * [simplify]: iteration 266: 2301 enodes
14.214 * * [simplify]: iteration 267: 2310 enodes
14.257 * * [simplify]: iteration 268: 2317 enodes
14.297 * * [simplify]: iteration 269: 2330 enodes
14.327 * * [simplify]: iteration 270: 2335 enodes
14.361 * * [simplify]: iteration 271: 2342 enodes
14.410 * * [simplify]: iteration 272: 2351 enodes
14.451 * * [simplify]: iteration 273: 2362 enodes
14.493 * * [simplify]: iteration 274: 2367 enodes
14.531 * * [simplify]: iteration 275: 2376 enodes
14.580 * * [simplify]: iteration 276: 2383 enodes
14.609 * * [simplify]: iteration 277: 2396 enodes
14.631 * * [simplify]: iteration 278: 2401 enodes
14.648 * * [simplify]: iteration 279: 2408 enodes
14.672 * * [simplify]: iteration 280: 2413 enodes
14.692 * * [simplify]: iteration 281: 2428 enodes
14.713 * * [simplify]: iteration 282: 2433 enodes
14.731 * * [simplify]: iteration 283: 2442 enodes
14.861 * * [simplify]: iteration 284: 2447 enodes
14.892 * * [simplify]: iteration 285: 2460 enodes
14.914 * * [simplify]: iteration 286: 2465 enodes
14.932 * * [simplify]: iteration 287: 2472 enodes
14.954 * * [simplify]: iteration 288: 2481 enodes
14.972 * * [simplify]: iteration 289: 2492 enodes
14.992 * * [simplify]: iteration 290: 2497 enodes
15.012 * * [simplify]: iteration 291: 2506 enodes
15.182 * * [simplify]: iteration 292: 2515 enodes
15.201 * * [simplify]: iteration 293: 2524 enodes
15.220 * * [simplify]: iteration 294: 2529 enodes
15.263 * * [simplify]: iteration 295: 2538 enodes
15.312 * * [simplify]: iteration 296: 2543 enodes
15.332 * * [simplify]: iteration 297: 2556 enodes
15.353 * * [simplify]: iteration 298: 2561 enodes
15.371 * * [simplify]: iteration 299: 2568 enodes
15.429 * * [simplify]: iteration 300: 2573 enodes
15.458 * * [simplify]: iteration 301: 2588 enodes
15.479 * * [simplify]: iteration 302: 2593 enodes
15.514 * * [simplify]: iteration 303: 2602 enodes
15.559 * * [simplify]: iteration 304: 2611 enodes
15.593 * * [simplify]: iteration 305: 2620 enodes
15.620 * * [simplify]: iteration 306: 2625 enodes
15.661 * * [simplify]: iteration 307: 2634 enodes
15.713 * * [simplify]: iteration 308: 2643 enodes
15.755 * * [simplify]: iteration 309: 2652 enodes
15.791 * * [simplify]: iteration 310: 2657 enodes
15.816 * * [simplify]: iteration 311: 2666 enodes
15.839 * * [simplify]: iteration 312: 2673 enodes
15.859 * * [simplify]: iteration 313: 2686 enodes
15.881 * * [simplify]: iteration 314: 2691 enodes
16.031 * * [simplify]: iteration 315: 2698 enodes
16.055 * * [simplify]: iteration 316: 2705 enodes
16.076 * * [simplify]: iteration 317: 2720 enodes
16.098 * * [simplify]: iteration 318: 2725 enodes
16.117 * * [simplify]: iteration 319: 2734 enodes
16.139 * * [simplify]: iteration 320: 2739 enodes
16.158 * * [simplify]: iteration 321: 2752 enodes
16.266 * * [simplify]: iteration 322: 2757 enodes
16.303 * * [simplify]: iteration 323: 2764 enodes
16.328 * * [simplify]: iteration 324: 2769 enodes
16.362 * * [simplify]: iteration 325: 2784 enodes
16.382 * * [simplify]: iteration 326: 2789 enodes
16.400 * * [simplify]: iteration 327: 2798 enodes
16.435 * * [simplify]: iteration 328: 2807 enodes
16.475 * * [simplify]: iteration 329: 2816 enodes
16.556 * * [simplify]: iteration 330: 2821 enodes
16.574 * * [simplify]: iteration 331: 2830 enodes
16.595 * * [simplify]: iteration 332: 2839 enodes
16.615 * * [simplify]: iteration 333: 2848 enodes
16.630 * * [simplify]: iteration 334: 2853 enodes
16.645 * * [simplify]: iteration 335: 2862 enodes
16.666 * * [simplify]: iteration 336: 2869 enodes
16.684 * * [simplify]: iteration 337: 2882 enodes
16.711 * * [simplify]: iteration 338: 2887 enodes
16.729 * * [simplify]: iteration 339: 2894 enodes
16.753 * * [simplify]: iteration 340: 2901 enodes
16.774 * * [simplify]: iteration 341: 2916 enodes
16.801 * * [simplify]: iteration 342: 2921 enodes
16.821 * * [simplify]: iteration 343: 2930 enodes
16.843 * * [simplify]: iteration 344: 2935 enodes
16.865 * * [simplify]: iteration 345: 2948 enodes
16.886 * * [simplify]: iteration 346: 2953 enodes
16.903 * * [simplify]: iteration 347: 2960 enodes
16.927 * * [simplify]: iteration 348: 2965 enodes
16.947 * * [simplify]: iteration 349: 2980 enodes
16.967 * * [simplify]: iteration 350: 2985 enodes
16.985 * * [simplify]: iteration 351: 2994 enodes
17.007 * * [simplify]: iteration 352: 3003 enodes
17.027 * * [simplify]: iteration 353: 3012 enodes
17.047 * * [simplify]: iteration 354: 3017 enodes
17.065 * * [simplify]: iteration 355: 3026 enodes
17.089 * * [simplify]: iteration 356: 3035 enodes
17.108 * * [simplify]: iteration 357: 3044 enodes
17.129 * * [simplify]: iteration 358: 3049 enodes
17.150 * * [simplify]: iteration 359: 3058 enodes
17.176 * * [simplify]: iteration 360: 3063 enodes
17.194 * * [simplify]: iteration 361: 3076 enodes
17.214 * * [simplify]: iteration 362: 3081 enodes
17.231 * * [simplify]: iteration 363: 3088 enodes
17.252 * * [simplify]: iteration 364: 3095 enodes
17.272 * * [simplify]: iteration 365: 3110 enodes
17.291 * * [simplify]: iteration 366: 3115 enodes
17.309 * * [simplify]: iteration 367: 3124 enodes
17.332 * * [simplify]: iteration 368: 3129 enodes
17.355 * * [simplify]: iteration 369: 3142 enodes
17.399 * * [simplify]: iteration 370: 3147 enodes
17.436 * * [simplify]: iteration 371: 3154 enodes
17.458 * * [simplify]: iteration 372: 3159 enodes
17.478 * * [simplify]: iteration 373: 3174 enodes
17.495 * * [simplify]: iteration 374: 3179 enodes
17.512 * * [simplify]: iteration 375: 3188 enodes
17.537 * * [simplify]: iteration 376: 3195 enodes
17.556 * * [simplify]: iteration 377: 3208 enodes
17.577 * * [simplify]: iteration 378: 3213 enodes
17.594 * * [simplify]: iteration 379: 3220 enodes
17.616 * * [simplify]: iteration 380: 3227 enodes
17.636 * * [simplify]: iteration 381: 3242 enodes
17.655 * * [simplify]: iteration 382: 3247 enodes
17.745 * * [simplify]: iteration 383: 3256 enodes
17.768 * * [simplify]: iteration 384: 3265 enodes
17.787 * * [simplify]: iteration 385: 3274 enodes
17.806 * * [simplify]: iteration 386: 3279 enodes
17.824 * * [simplify]: iteration 387: 3288 enodes
17.863 * * [simplify]: iteration 388: 3295 enodes
17.885 * * [simplify]: iteration 389: 3308 enodes
17.906 * * [simplify]: iteration 390: 3313 enodes
18.104 * * [simplify]: iteration 391: 3320 enodes
18.147 * * [simplify]: iteration 392: 3327 enodes
18.165 * * [simplify]: iteration 393: 3342 enodes
18.181 * * [simplify]: iteration 394: 3347 enodes
18.197 * * [simplify]: iteration 395: 3356 enodes
18.217 * * [simplify]: iteration 396: 3365 enodes
18.236 * * [simplify]: iteration 397: 3374 enodes
18.282 * * [simplify]: iteration 398: 3379 enodes
18.329 * * [simplify]: iteration 399: 3388 enodes
18.372 * * [simplify]: iteration 400: 3393 enodes
18.416 * * [simplify]: iteration 401: 3406 enodes
18.461 * * [simplify]: iteration 402: 3411 enodes
18.487 * * [simplify]: iteration 403: 3418 enodes
18.510 * * [simplify]: iteration 404: 3423 enodes
18.527 * * [simplify]: iteration 405: 3438 enodes
18.606 * * [simplify]: iteration 406: 3443 enodes
18.653 * * [simplify]: iteration 407: 3452 enodes
18.700 * * [simplify]: iteration 408: 3461 enodes
18.719 * * [simplify]: iteration 409: 3470 enodes
18.738 * * [simplify]: iteration 410: 3475 enodes
18.755 * * [simplify]: iteration 411: 3484 enodes
18.777 * * [simplify]: iteration 412: 3493 enodes
18.856 * * [simplify]: iteration 413: 3502 enodes
18.905 * * [simplify]: iteration 414: 3507 enodes
18.956 * * [simplify]: iteration 415: 3516 enodes
19.004 * * [simplify]: iteration 416: 3521 enodes
19.045 * * [simplify]: iteration 417: 3534 enodes
19.079 * * [simplify]: iteration 418: 3539 enodes
19.104 * * [simplify]: iteration 419: 3546 enodes
19.126 * * [simplify]: iteration 420: 3551 enodes
19.147 * * [simplify]: iteration 421: 3566 enodes
19.179 * * [simplify]: iteration 422: 3571 enodes
19.215 * * [simplify]: iteration 423: 3580 enodes
19.253 * * [simplify]: iteration 424: 3589 enodes
19.288 * * [simplify]: iteration 425: 3598 enodes
19.308 * * [simplify]: iteration 426: 3603 enodes
19.326 * * [simplify]: iteration 427: 3612 enodes
19.348 * * [simplify]: iteration 428: 3621 enodes
19.374 * * [simplify]: iteration 429: 3630 enodes
19.408 * * [simplify]: iteration 430: 3635 enodes
19.443 * * [simplify]: iteration 431: 3644 enodes
19.461 * * [simplify]: iteration 432: 3649 enodes
19.477 * * [simplify]: iteration 433: 3662 enodes
19.496 * * [simplify]: iteration 434: 3667 enodes
19.525 * * [simplify]: iteration 435: 3674 enodes
19.573 * * [simplify]: iteration 436: 3681 enodes
19.609 * * [simplify]: iteration 437: 3696 enodes
19.652 * * [simplify]: iteration 438: 3701 enodes
19.687 * * [simplify]: iteration 439: 3710 enodes
19.729 * * [simplify]: iteration 440: 3717 enodes
19.764 * * [simplify]: iteration 441: 3730 enodes
19.805 * * [simplify]: iteration 442: 3735 enodes
19.837 * * [simplify]: iteration 443: 3742 enodes
19.974 * * [simplify]: iteration 444: 3747 enodes
19.992 * * [simplify]: iteration 445: 3762 enodes
20.011 * * [simplify]: iteration 446: 3767 enodes
20.029 * * [simplify]: iteration 447: 3776 enodes
20.050 * * [simplify]: iteration 448: 3785 enodes
20.069 * * [simplify]: iteration 449: 3794 enodes
20.089 * * [simplify]: iteration 450: 3799 enodes
20.107 * * [simplify]: iteration 451: 3808 enodes
20.127 * * [simplify]: iteration 452: 3817 enodes
20.144 * * [simplify]: iteration 453: 3826 enodes
20.163 * * [simplify]: iteration 454: 3831 enodes
20.182 * * [simplify]: iteration 455: 3840 enodes
20.265 * * [simplify]: iteration 456: 3845 enodes
20.284 * * [simplify]: iteration 457: 3858 enodes
20.306 * * [simplify]: iteration 458: 3863 enodes
20.329 * * [simplify]: iteration 459: 3870 enodes
20.352 * * [simplify]: iteration 460: 3875 enodes
20.373 * * [simplify]: iteration 461: 3890 enodes
20.394 * * [simplify]: iteration 462: 3895 enodes
20.413 * * [simplify]: iteration 463: 3904 enodes
20.436 * * [simplify]: iteration 464: 3913 enodes
20.455 * * [simplify]: iteration 465: 3922 enodes
20.475 * * [simplify]: iteration 466: 3927 enodes
20.495 * * [simplify]: iteration 467: 3936 enodes
20.518 * * [simplify]: iteration 468: 3945 enodes
20.536 * * [simplify]: iteration 469: 3954 enodes
20.555 * * [simplify]: iteration 470: 3959 enodes
20.572 * * [simplify]: iteration 471: 3968 enodes
20.593 * * [simplify]: iteration 472: 3973 enodes
20.611 * * [simplify]: iteration 473: 3986 enodes
20.633 * * [simplify]: iteration 474: 3991 enodes
20.651 * * [simplify]: iteration 475: 3998 enodes
20.674 * * [simplify]: iteration 476: 4003 enodes
20.693 * * [simplify]: iteration 477: 4018 enodes
20.713 * * [simplify]: iteration 478: 4023 enodes
20.731 * * [simplify]: iteration 479: 4032 enodes
20.753 * * [simplify]: iteration 480: 4041 enodes
20.772 * * [simplify]: iteration 481: 4050 enodes
20.793 * * [simplify]: iteration 482: 4055 enodes
20.811 * * [simplify]: iteration 483: 4064 enodes
20.832 * * [simplify]: iteration 484: 4073 enodes
20.849 * * [simplify]: iteration 485: 4082 enodes
20.867 * * [simplify]: iteration 486: 4087 enodes
20.891 * * [simplify]: iteration 487: 4096 enodes
20.933 * * [simplify]: iteration 488: 4101 enodes
20.976 * * [simplify]: iteration 489: 4114 enodes
21.016 * * [simplify]: iteration 490: 4119 enodes
21.054 * * [simplify]: iteration 491: 4126 enodes
21.086 * * [simplify]: iteration 492: 4131 enodes
21.120 * * [simplify]: iteration 493: 4146 enodes
21.160 * * [simplify]: iteration 494: 4151 enodes
21.198 * * [simplify]: iteration 495: 4160 enodes
21.239 * * [simplify]: iteration 496: 4167 enodes
21.280 * * [simplify]: iteration 497: 4180 enodes
21.325 * * [simplify]: iteration 498: 4185 enodes
21.356 * * [simplify]: iteration 499: 4192 enodes
21.394 * * [simplify]: iteration 500: 4199 enodes
21.414 * * [simplify]: iteration 501: 4214 enodes
21.434 * * [simplify]: iteration 502: 4219 enodes
21.452 * * [simplify]: iteration 503: 4228 enodes
21.475 * * [simplify]: iteration 504: 4235 enodes
21.499 * * [simplify]: iteration 505: 4248 enodes
21.520 * * [simplify]: iteration 506: 4253 enodes
21.538 * * [simplify]: iteration 507: 4260 enodes
21.561 * * [simplify]: iteration 508: 4267 enodes
21.579 * * [simplify]: iteration 509: 4282 enodes
21.594 * * [simplify]: iteration 510: 4287 enodes
21.610 * * [simplify]: iteration 511: 4296 enodes
21.631 * * [simplify]: iteration 512: 4305 enodes
21.650 * * [simplify]: iteration 513: 4314 enodes
21.669 * * [simplify]: iteration 514: 4319 enodes
21.685 * * [simplify]: iteration 515: 4328 enodes
21.707 * * [simplify]: iteration 516: 4333 enodes
21.725 * * [simplify]: iteration 517: 4346 enodes
21.743 * * [simplify]: iteration 518: 4351 enodes
21.758 * * [simplify]: iteration 519: 4358 enodes
21.796 * * [simplify]: iteration 520: 4363 enodes
21.816 * * [simplify]: iteration 521: 4378 enodes
21.837 * * [simplify]: iteration 522: 4383 enodes
21.857 * * [simplify]: iteration 523: 4392 enodes
21.881 * * [simplify]: iteration 524: 4399 enodes
21.916 * * [simplify]: iteration 525: 4412 enodes
21.961 * * [simplify]: iteration 526: 4417 enodes
21.998 * * [simplify]: iteration 527: 4424 enodes
22.022 * * [simplify]: iteration 528: 4431 enodes
22.041 * * [simplify]: iteration 529: 4446 enodes
22.061 * * [simplify]: iteration 530: 4451 enodes
22.079 * * [simplify]: iteration 531: 4460 enodes
22.102 * * [simplify]: iteration 532: 4469 enodes
22.116 * * [simplify]: iteration 533: 4478 enodes
22.133 * * [simplify]: iteration 534: 4483 enodes
22.152 * * [simplify]: iteration 535: 4492 enodes
22.176 * * [simplify]: iteration 536: 4501 enodes
22.196 * * [simplify]: iteration 537: 4510 enodes
22.217 * * [simplify]: iteration 538: 4515 enodes
22.231 * * [simplify]: iteration 539: 4524 enodes
22.252 * * [simplify]: iteration 540: 4529 enodes
22.272 * * [simplify]: iteration 541: 4542 enodes
22.293 * * [simplify]: iteration 542: 4547 enodes
22.312 * * [simplify]: iteration 543: 4554 enodes
22.334 * * [simplify]: iteration 544: 4561 enodes
22.355 * * [simplify]: iteration 545: 4576 enodes
22.376 * * [simplify]: iteration 546: 4581 enodes
22.395 * * [simplify]: iteration 547: 4590 enodes
22.408 * * [simplify]: iteration 548: 4597 enodes
22.424 * * [simplify]: iteration 549: 4610 enodes
22.556 * * [simplify]: iteration 550: 4615 enodes
22.574 * * [simplify]: iteration 551: 4622 enodes
22.596 * * [simplify]: iteration 552: 4627 enodes
22.617 * * [simplify]: iteration 553: 4642 enodes
22.637 * * [simplify]: iteration 554: 4647 enodes
22.656 * * [simplify]: iteration 555: 4656 enodes
22.702 * * [simplify]: iteration 556: 4665 enodes
22.721 * * [simplify]: iteration 557: 4674 enodes
22.741 * * [simplify]: iteration 558: 4679 enodes
22.754 * * [simplify]: iteration 559: 4688 enodes
22.767 * * [simplify]: iteration 560: 4697 enodes
22.778 * * [simplify]: iteration 561: 4706 enodes
22.795 * * [simplify]: iteration 562: 4711 enodes
22.812 * * [simplify]: iteration 563: 4720 enodes
22.828 * * [simplify]: iteration 564: 4725 enodes
22.929 * * [simplify]: iteration 565: 4738 enodes
22.945 * * [simplify]: iteration 566: 4743 enodes
22.958 * * [simplify]: iteration 567: 4750 enodes
22.974 * * [simplify]: iteration 568: 4755 enodes
22.993 * * [simplify]: iteration 569: 4770 enodes
23.011 * * [simplify]: iteration 570: 4775 enodes
23.028 * * [simplify]: iteration 571: 4784 enodes
23.049 * * [simplify]: iteration 572: 4793 enodes
23.068 * * [simplify]: iteration 573: 4802 enodes
23.087 * * [simplify]: iteration 574: 4807 enodes
23.105 * * [simplify]: iteration 575: 4816 enodes
23.129 * * [simplify]: iteration 576: 4825 enodes
23.147 * * [simplify]: iteration 577: 4834 enodes
23.168 * * [simplify]: iteration 578: 4839 enodes
23.187 * * [simplify]: iteration 579: 4848 enodes
23.209 * * [simplify]: iteration 580: 4853 enodes
23.224 * * [simplify]: iteration 581: 4866 enodes
23.241 * * [simplify]: iteration 582: 4871 enodes
23.254 * * [simplify]: iteration 583: 4878 enodes
23.275 * * [simplify]: iteration 584: 4883 enodes
23.294 * * [simplify]: iteration 585: 4898 enodes
23.314 * * [simplify]: iteration 586: 4903 enodes
23.332 * * [simplify]: iteration 587: 4912 enodes
23.358 * * [simplify]: iteration 588: 4921 enodes
23.399 * * [simplify]: iteration 589: 4930 enodes
23.443 * * [simplify]: iteration 590: 4935 enodes
23.461 * * [simplify]: iteration 591: 4944 enodes
23.482 * * [simplify]: iteration 592: 4953 enodes
23.497 * * [simplify]: iteration 593: 4962 enodes
23.516 * * [simplify]: iteration 594: 4967 enodes
23.535 * * [simplify]: iteration 595: 4976 enodes
23.555 * * [simplify]: iteration 596: 4981 enodes
23.568 * * [simplify]: iteration 597: 4994 enodes
23.587 * * [simplify]: iteration 598: 4999 enodes
23.602 * * [simplify]: iteration complete: 5001 enodes
23.602 * * [simplify]: Extracting #0: cost 1 inf + 0
23.602 * * [simplify]: Extracting #1: cost 10 inf + 0
23.602 * * [simplify]: Extracting #2: cost 10 inf + 43
23.602 * * [simplify]: Extracting #3: cost 0 inf + 499
23.603 * [simplify]: Simplified to:
  (- x (- 1.0 x))
23.604 * * [progress]: iteration 1 / 4
23.604 * * * [progress]: picking best candidate
23.609 * * * * [pick]: Picked  #<alt (λ (x) (- (+ x x) 1.0))>
23.609 * * * [progress]: localizing error
23.620 * * * [progress]: generating rewritten candidates
23.620 * * * [progress]: generating series expansions
23.620 * * * [progress]: simplifying candidates
23.620 * [simplify]: Simplifying:
  
23.620 * * [simplify]: iteration 0: 0 enodes
23.620 * * [simplify]: iteration complete: 0 enodes
23.620 * * [simplify]: Extracting #0: cost 0 inf + 0
23.620 * [simplify]: Simplified to:
  
23.620 * * * [progress]: adding candidates to table
23.621 * [progress]: [Phase 3 of 3] Extracting.
23.627 * [simplify]: Simplifying:
  (- (+ x x) 1.0)
23.627 * * [simplify]: iteration 0: 4 enodes
23.628 * * [simplify]: iteration complete: 4 enodes
23.628 * * [simplify]: Extracting #0: cost 1 inf + 0
23.628 * * [simplify]: Extracting #1: cost 3 inf + 0
23.628 * * [simplify]: Extracting #2: cost 3 inf + 1
23.628 * * [simplify]: Extracting #3: cost 1 inf + 43
23.628 * * [simplify]: Extracting #4: cost 0 inf + 125
23.629 * [simplify]: Simplified to:
  (- (+ x x) 1.0)
24.510 * [regime-testing]: Baseline error score: 0
24.536 * [regime-testing]: Oracle error score: 0
24.569 * [regime-testing]: End program error score: 0