0.166 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying:
  (/ (* (* x 2.0) y) (- x y))
0.016 * * [simplify]: iteration 0: 7 enodes
0.017 * * [simplify]: iteration 1: 15 enodes
0.020 * * [simplify]: iteration 2: 36 enodes
0.025 * * [simplify]: iteration 3: 75 enodes
0.045 * * [simplify]: iteration 4: 132 enodes
0.078 * * [simplify]: iteration 5: 181 enodes
0.098 * * [simplify]: iteration 6: 208 enodes
0.119 * * [simplify]: iteration 7: 218 enodes
0.162 * * [simplify]: iteration 8: 225 enodes
0.204 * * [simplify]: iteration 9: 232 enodes
0.245 * * [simplify]: iteration 10: 239 enodes
0.287 * * [simplify]: iteration 11: 246 enodes
0.314 * * [simplify]: iteration 12: 253 enodes
0.339 * * [simplify]: iteration 13: 260 enodes
0.380 * * [simplify]: iteration 14: 267 enodes
0.400 * * [simplify]: iteration 15: 274 enodes
0.435 * * [simplify]: iteration 16: 281 enodes
0.477 * * [simplify]: iteration 17: 288 enodes
0.502 * * [simplify]: iteration 18: 295 enodes
0.530 * * [simplify]: iteration 19: 302 enodes
0.554 * * [simplify]: iteration 20: 309 enodes
0.583 * * [simplify]: iteration 21: 316 enodes
0.603 * * [simplify]: iteration 22: 323 enodes
0.643 * * [simplify]: iteration 23: 330 enodes
0.683 * * [simplify]: iteration 24: 337 enodes
0.704 * * [simplify]: iteration 25: 344 enodes
0.734 * * [simplify]: iteration 26: 351 enodes
0.778 * * [simplify]: iteration 27: 358 enodes
0.819 * * [simplify]: iteration 28: 365 enodes
0.840 * * [simplify]: iteration 29: 372 enodes
0.862 * * [simplify]: iteration 30: 379 enodes
0.882 * * [simplify]: iteration 31: 386 enodes
0.919 * * [simplify]: iteration 32: 393 enodes
0.947 * * [simplify]: iteration 33: 400 enodes
0.973 * * [simplify]: iteration 34: 407 enodes
1.013 * * [simplify]: iteration 35: 414 enodes
1.037 * * [simplify]: iteration 36: 421 enodes
1.057 * * [simplify]: iteration 37: 428 enodes
1.085 * * [simplify]: iteration 38: 435 enodes
1.127 * * [simplify]: iteration 39: 442 enodes
1.155 * * [simplify]: iteration 40: 449 enodes
1.190 * * [simplify]: iteration 41: 456 enodes
1.232 * * [simplify]: iteration 42: 463 enodes
1.273 * * [simplify]: iteration 43: 470 enodes
1.302 * * [simplify]: iteration 44: 477 enodes
1.324 * * [simplify]: iteration 45: 484 enodes
1.366 * * [simplify]: iteration 46: 491 enodes
1.407 * * [simplify]: iteration 47: 498 enodes
1.448 * * [simplify]: iteration 48: 505 enodes
1.484 * * [simplify]: iteration 49: 512 enodes
1.506 * * [simplify]: iteration 50: 519 enodes
1.548 * * [simplify]: iteration 51: 526 enodes
1.592 * * [simplify]: iteration 52: 533 enodes
1.634 * * [simplify]: iteration 53: 540 enodes
1.659 * * [simplify]: iteration 54: 547 enodes
1.691 * * [simplify]: iteration 55: 554 enodes
1.732 * * [simplify]: iteration 56: 561 enodes
1.768 * * [simplify]: iteration 57: 568 enodes
1.791 * * [simplify]: iteration 58: 575 enodes
1.833 * * [simplify]: iteration 59: 582 enodes
1.876 * * [simplify]: iteration 60: 589 enodes
1.919 * * [simplify]: iteration 61: 596 enodes
1.961 * * [simplify]: iteration 62: 603 enodes
2.001 * * [simplify]: iteration 63: 610 enodes
2.044 * * [simplify]: iteration 64: 617 enodes
2.085 * * [simplify]: iteration 65: 624 enodes
2.105 * * [simplify]: iteration 66: 631 enodes
2.139 * * [simplify]: iteration 67: 638 enodes
2.180 * * [simplify]: iteration 68: 645 enodes
2.222 * * [simplify]: iteration 69: 652 enodes
2.264 * * [simplify]: iteration 70: 659 enodes
2.303 * * [simplify]: iteration 71: 666 enodes
2.324 * * [simplify]: iteration 72: 673 enodes
2.352 * * [simplify]: iteration 73: 680 enodes
2.374 * * [simplify]: iteration 74: 687 enodes
2.403 * * [simplify]: iteration 75: 694 enodes
2.423 * * [simplify]: iteration 76: 701 enodes
2.453 * * [simplify]: iteration 77: 708 enodes
2.477 * * [simplify]: iteration 78: 715 enodes
2.517 * * [simplify]: iteration 79: 722 enodes
2.560 * * [simplify]: iteration 80: 729 enodes
2.581 * * [simplify]: iteration 81: 736 enodes
2.611 * * [simplify]: iteration 82: 743 enodes
2.654 * * [simplify]: iteration 83: 750 enodes
2.695 * * [simplify]: iteration 84: 757 enodes
2.730 * * [simplify]: iteration 85: 764 enodes
2.751 * * [simplify]: iteration 86: 771 enodes
2.772 * * [simplify]: iteration 87: 778 enodes
2.814 * * [simplify]: iteration 88: 785 enodes
2.855 * * [simplify]: iteration 89: 792 enodes
2.877 * * [simplify]: iteration 90: 799 enodes
2.909 * * [simplify]: iteration 91: 806 enodes
2.949 * * [simplify]: iteration 92: 813 enodes
2.970 * * [simplify]: iteration 93: 820 enodes
3.009 * * [simplify]: iteration 94: 827 enodes
3.051 * * [simplify]: iteration 95: 834 enodes
3.072 * * [simplify]: iteration 96: 841 enodes
3.103 * * [simplify]: iteration 97: 848 enodes
3.123 * * [simplify]: iteration 98: 855 enodes
3.160 * * [simplify]: iteration 99: 862 enodes
3.181 * * [simplify]: iteration 100: 869 enodes
3.221 * * [simplify]: iteration 101: 876 enodes
3.265 * * [simplify]: iteration 102: 883 enodes
3.285 * * [simplify]: iteration 103: 890 enodes
3.321 * * [simplify]: iteration 104: 897 enodes
3.343 * * [simplify]: iteration 105: 904 enodes
3.372 * * [simplify]: iteration 106: 911 enodes
3.393 * * [simplify]: iteration 107: 918 enodes
3.427 * * [simplify]: iteration 108: 925 enodes
3.448 * * [simplify]: iteration 109: 932 enodes
3.468 * * [simplify]: iteration 110: 939 enodes
3.491 * * [simplify]: iteration 111: 946 enodes
3.516 * * [simplify]: iteration 112: 953 enodes
3.558 * * [simplify]: iteration 113: 960 enodes
3.598 * * [simplify]: iteration 114: 967 enodes
3.641 * * [simplify]: iteration 115: 974 enodes
3.684 * * [simplify]: iteration 116: 981 enodes
3.726 * * [simplify]: iteration 117: 988 enodes
3.769 * * [simplify]: iteration 118: 995 enodes
3.804 * * [simplify]: iteration 119: 1002 enodes
3.824 * * [simplify]: iteration 120: 1009 enodes
3.862 * * [simplify]: iteration 121: 1016 enodes
3.882 * * [simplify]: iteration 122: 1023 enodes
3.918 * * [simplify]: iteration 123: 1030 enodes
3.961 * * [simplify]: iteration 124: 1037 enodes
4.002 * * [simplify]: iteration 125: 1044 enodes
4.022 * * [simplify]: iteration 126: 1051 enodes
4.056 * * [simplify]: iteration 127: 1058 enodes
4.098 * * [simplify]: iteration 128: 1065 enodes
4.139 * * [simplify]: iteration 129: 1072 enodes
4.172 * * [simplify]: iteration 130: 1079 enodes
4.193 * * [simplify]: iteration 131: 1086 enodes
4.213 * * [simplify]: iteration 132: 1093 enodes
4.237 * * [simplify]: iteration 133: 1100 enodes
4.280 * * [simplify]: iteration 134: 1107 enodes
4.306 * * [simplify]: iteration 135: 1114 enodes
4.327 * * [simplify]: iteration 136: 1121 enodes
4.354 * * [simplify]: iteration 137: 1128 enodes
4.375 * * [simplify]: iteration 138: 1135 enodes
4.411 * * [simplify]: iteration 139: 1142 enodes
4.456 * * [simplify]: iteration 140: 1149 enodes
4.498 * * [simplify]: iteration 141: 1156 enodes
4.539 * * [simplify]: iteration 142: 1163 enodes
4.561 * * [simplify]: iteration 143: 1170 enodes
4.590 * * [simplify]: iteration 144: 1177 enodes
4.610 * * [simplify]: iteration 145: 1184 enodes
4.640 * * [simplify]: iteration 146: 1191 enodes
4.665 * * [simplify]: iteration 147: 1198 enodes
4.685 * * [simplify]: iteration 148: 1205 enodes
4.724 * * [simplify]: iteration 149: 1212 enodes
4.751 * * [simplify]: iteration 150: 1219 enodes
4.772 * * [simplify]: iteration 151: 1226 enodes
4.808 * * [simplify]: iteration 152: 1233 enodes
4.828 * * [simplify]: iteration 153: 1240 enodes
4.859 * * [simplify]: iteration 154: 1247 enodes
4.883 * * [simplify]: iteration 155: 1254 enodes
4.904 * * [simplify]: iteration 156: 1261 enodes
4.924 * * [simplify]: iteration 157: 1268 enodes
4.945 * * [simplify]: iteration 158: 1275 enodes
4.967 * * [simplify]: iteration 159: 1282 enodes
4.987 * * [simplify]: iteration 160: 1289 enodes
5.026 * * [simplify]: iteration 161: 1296 enodes
5.063 * * [simplify]: iteration 162: 1303 enodes
5.086 * * [simplify]: iteration 163: 1310 enodes
5.123 * * [simplify]: iteration 164: 1317 enodes
5.162 * * [simplify]: iteration 165: 1324 enodes
5.203 * * [simplify]: iteration 166: 1331 enodes
5.245 * * [simplify]: iteration 167: 1338 enodes
5.267 * * [simplify]: iteration 168: 1345 enodes
5.297 * * [simplify]: iteration 169: 1352 enodes
5.339 * * [simplify]: iteration 170: 1359 enodes
5.376 * * [simplify]: iteration 171: 1366 enodes
5.397 * * [simplify]: iteration 172: 1373 enodes
5.433 * * [simplify]: iteration 173: 1380 enodes
5.473 * * [simplify]: iteration 174: 1387 enodes
5.494 * * [simplify]: iteration 175: 1394 enodes
5.531 * * [simplify]: iteration 176: 1401 enodes
5.573 * * [simplify]: iteration 177: 1408 enodes
5.615 * * [simplify]: iteration 178: 1415 enodes
5.656 * * [simplify]: iteration 179: 1422 enodes
5.698 * * [simplify]: iteration 180: 1429 enodes
5.741 * * [simplify]: iteration 181: 1436 enodes
5.783 * * [simplify]: iteration 182: 1443 enodes
5.825 * * [simplify]: iteration 183: 1450 enodes
5.850 * * [simplify]: iteration 184: 1457 enodes
5.870 * * [simplify]: iteration 185: 1464 enodes
5.890 * * [simplify]: iteration 186: 1471 enodes
5.926 * * [simplify]: iteration 187: 1478 enodes
5.963 * * [simplify]: iteration 188: 1485 enodes
5.984 * * [simplify]: iteration 189: 1492 enodes
6.024 * * [simplify]: iteration 190: 1499 enodes
6.065 * * [simplify]: iteration 191: 1506 enodes
6.106 * * [simplify]: iteration 192: 1513 enodes
6.136 * * [simplify]: iteration 193: 1520 enodes
6.163 * * [simplify]: iteration 194: 1527 enodes
6.185 * * [simplify]: iteration 195: 1534 enodes
6.217 * * [simplify]: iteration 196: 1541 enodes
6.240 * * [simplify]: iteration 197: 1548 enodes
6.280 * * [simplify]: iteration 198: 1555 enodes
6.301 * * [simplify]: iteration 199: 1562 enodes
6.339 * * [simplify]: iteration 200: 1569 enodes
6.380 * * [simplify]: iteration 201: 1576 enodes
6.422 * * [simplify]: iteration 202: 1583 enodes
6.465 * * [simplify]: iteration 203: 1590 enodes
6.506 * * [simplify]: iteration 204: 1597 enodes
6.547 * * [simplify]: iteration 205: 1604 enodes
6.584 * * [simplify]: iteration 206: 1611 enodes
6.605 * * [simplify]: iteration 207: 1618 enodes
6.640 * * [simplify]: iteration 208: 1625 enodes
6.676 * * [simplify]: iteration 209: 1632 enodes
6.696 * * [simplify]: iteration 210: 1639 enodes
6.717 * * [simplify]: iteration 211: 1646 enodes
6.739 * * [simplify]: iteration 212: 1653 enodes
6.768 * * [simplify]: iteration 213: 1660 enodes
6.804 * * [simplify]: iteration 214: 1667 enodes
6.825 * * [simplify]: iteration 215: 1674 enodes
6.866 * * [simplify]: iteration 216: 1681 enodes
6.907 * * [simplify]: iteration 217: 1688 enodes
6.948 * * [simplify]: iteration 218: 1695 enodes
6.990 * * [simplify]: iteration 219: 1702 enodes
7.031 * * [simplify]: iteration 220: 1709 enodes
7.072 * * [simplify]: iteration 221: 1716 enodes
7.095 * * [simplify]: iteration 222: 1723 enodes
7.120 * * [simplify]: iteration 223: 1730 enodes
7.149 * * [simplify]: iteration 224: 1737 enodes
7.176 * * [simplify]: iteration 225: 1744 enodes
7.218 * * [simplify]: iteration 226: 1751 enodes
7.257 * * [simplify]: iteration 227: 1758 enodes
7.279 * * [simplify]: iteration 228: 1765 enodes
7.299 * * [simplify]: iteration 229: 1772 enodes
7.321 * * [simplify]: iteration 230: 1779 enodes
7.345 * * [simplify]: iteration 231: 1786 enodes
7.372 * * [simplify]: iteration 232: 1793 enodes
7.404 * * [simplify]: iteration 233: 1800 enodes
7.426 * * [simplify]: iteration 234: 1807 enodes
7.458 * * [simplify]: iteration 235: 1814 enodes
7.478 * * [simplify]: iteration 236: 1821 enodes
7.501 * * [simplify]: iteration 237: 1828 enodes
7.534 * * [simplify]: iteration 238: 1835 enodes
7.575 * * [simplify]: iteration 239: 1842 enodes
7.601 * * [simplify]: iteration 240: 1849 enodes
7.642 * * [simplify]: iteration 241: 1856 enodes
7.684 * * [simplify]: iteration 242: 1863 enodes
7.726 * * [simplify]: iteration 243: 1870 enodes
7.769 * * [simplify]: iteration 244: 1877 enodes
7.811 * * [simplify]: iteration 245: 1884 enodes
7.854 * * [simplify]: iteration 246: 1891 enodes
7.896 * * [simplify]: iteration 247: 1898 enodes
7.938 * * [simplify]: iteration 248: 1905 enodes
7.978 * * [simplify]: iteration 249: 1912 enodes
8.012 * * [simplify]: iteration 250: 1919 enodes
8.033 * * [simplify]: iteration 251: 1926 enodes
8.072 * * [simplify]: iteration 252: 1933 enodes
8.114 * * [simplify]: iteration 253: 1940 enodes
8.155 * * [simplify]: iteration 254: 1947 enodes
8.175 * * [simplify]: iteration 255: 1954 enodes
8.210 * * [simplify]: iteration 256: 1961 enodes
8.253 * * [simplify]: iteration 257: 1968 enodes
8.274 * * [simplify]: iteration 258: 1975 enodes
8.305 * * [simplify]: iteration 259: 1982 enodes
8.348 * * [simplify]: iteration 260: 1989 enodes
8.390 * * [simplify]: iteration 261: 1996 enodes
8.432 * * [simplify]: iteration 262: 2003 enodes
8.476 * * [simplify]: iteration 263: 2010 enodes
8.516 * * [simplify]: iteration 264: 2017 enodes
8.544 * * [simplify]: iteration 265: 2024 enodes
8.566 * * [simplify]: iteration 266: 2031 enodes
8.606 * * [simplify]: iteration 267: 2038 enodes
8.636 * * [simplify]: iteration 268: 2045 enodes
8.662 * * [simplify]: iteration 269: 2052 enodes
8.686 * * [simplify]: iteration 270: 2059 enodes
8.711 * * [simplify]: iteration 271: 2066 enodes
8.746 * * [simplify]: iteration 272: 2073 enodes
8.767 * * [simplify]: iteration 273: 2080 enodes
8.787 * * [simplify]: iteration 274: 2087 enodes
8.826 * * [simplify]: iteration 275: 2094 enodes
8.867 * * [simplify]: iteration 276: 2101 enodes
8.909 * * [simplify]: iteration 277: 2108 enodes
8.951 * * [simplify]: iteration 278: 2115 enodes
8.981 * * [simplify]: iteration 279: 2122 enodes
9.002 * * [simplify]: iteration 280: 2129 enodes
9.044 * * [simplify]: iteration 281: 2136 enodes
9.082 * * [simplify]: iteration 282: 2143 enodes
9.102 * * [simplify]: iteration 283: 2150 enodes
9.139 * * [simplify]: iteration 284: 2157 enodes
9.182 * * [simplify]: iteration 285: 2164 enodes
9.222 * * [simplify]: iteration 286: 2171 enodes
9.263 * * [simplify]: iteration 287: 2178 enodes
9.299 * * [simplify]: iteration 288: 2185 enodes
9.320 * * [simplify]: iteration 289: 2192 enodes
9.342 * * [simplify]: iteration 290: 2199 enodes
9.385 * * [simplify]: iteration 291: 2206 enodes
9.427 * * [simplify]: iteration 292: 2213 enodes
9.468 * * [simplify]: iteration 293: 2220 enodes
9.501 * * [simplify]: iteration 294: 2227 enodes
9.521 * * [simplify]: iteration 295: 2234 enodes
9.541 * * [simplify]: iteration 296: 2241 enodes
9.574 * * [simplify]: iteration 297: 2248 enodes
9.614 * * [simplify]: iteration 298: 2255 enodes
9.655 * * [simplify]: iteration 299: 2262 enodes
9.698 * * [simplify]: iteration 300: 2269 enodes
9.735 * * [simplify]: iteration 301: 2276 enodes
9.755 * * [simplify]: iteration 302: 2283 enodes
9.776 * * [simplify]: iteration 303: 2290 enodes
9.798 * * [simplify]: iteration 304: 2297 enodes
9.826 * * [simplify]: iteration 305: 2304 enodes
9.847 * * [simplify]: iteration 306: 2311 enodes
9.879 * * [simplify]: iteration 307: 2318 enodes
9.921 * * [simplify]: iteration 308: 2325 enodes
9.954 * * [simplify]: iteration 309: 2332 enodes
9.985 * * [simplify]: iteration 310: 2339 enodes
10.015 * * [simplify]: iteration 311: 2346 enodes
10.041 * * [simplify]: iteration 312: 2353 enodes
10.072 * * [simplify]: iteration 313: 2360 enodes
10.097 * * [simplify]: iteration 314: 2367 enodes
10.117 * * [simplify]: iteration 315: 2374 enodes
10.154 * * [simplify]: iteration 316: 2381 enodes
10.175 * * [simplify]: iteration 317: 2388 enodes
10.208 * * [simplify]: iteration 318: 2395 enodes
10.250 * * [simplify]: iteration 319: 2402 enodes
10.292 * * [simplify]: iteration 320: 2409 enodes
10.335 * * [simplify]: iteration 321: 2416 enodes
10.358 * * [simplify]: iteration 322: 2423 enodes
10.387 * * [simplify]: iteration 323: 2430 enodes
10.429 * * [simplify]: iteration 324: 2437 enodes
10.472 * * [simplify]: iteration 325: 2444 enodes
10.514 * * [simplify]: iteration 326: 2451 enodes
10.556 * * [simplify]: iteration 327: 2458 enodes
10.598 * * [simplify]: iteration 328: 2465 enodes
10.640 * * [simplify]: iteration 329: 2472 enodes
10.681 * * [simplify]: iteration 330: 2479 enodes
10.722 * * [simplify]: iteration 331: 2486 enodes
10.758 * * [simplify]: iteration 332: 2493 enodes
10.779 * * [simplify]: iteration 333: 2500 enodes
10.820 * * [simplify]: iteration 334: 2507 enodes
10.853 * * [simplify]: iteration 335: 2514 enodes
10.880 * * [simplify]: iteration 336: 2521 enodes
10.902 * * [simplify]: iteration 337: 2528 enodes
10.935 * * [simplify]: iteration 338: 2535 enodes
10.957 * * [simplify]: iteration 339: 2542 enodes
10.984 * * [simplify]: iteration 340: 2549 enodes
11.027 * * [simplify]: iteration 341: 2556 enodes
11.067 * * [simplify]: iteration 342: 2563 enodes
11.087 * * [simplify]: iteration 343: 2570 enodes
11.111 * * [simplify]: iteration 344: 2577 enodes
11.131 * * [simplify]: iteration 345: 2584 enodes
11.160 * * [simplify]: iteration 346: 2591 enodes
11.202 * * [simplify]: iteration 347: 2598 enodes
11.224 * * [simplify]: iteration 348: 2605 enodes
11.258 * * [simplify]: iteration 349: 2612 enodes
11.298 * * [simplify]: iteration 350: 2619 enodes
11.322 * * [simplify]: iteration 351: 2626 enodes
11.346 * * [simplify]: iteration 352: 2633 enodes
11.386 * * [simplify]: iteration 353: 2640 enodes
11.430 * * [simplify]: iteration 354: 2647 enodes
11.470 * * [simplify]: iteration 355: 2654 enodes
11.498 * * [simplify]: iteration 356: 2661 enodes
11.526 * * [simplify]: iteration 357: 2668 enodes
11.556 * * [simplify]: iteration 358: 2675 enodes
11.576 * * [simplify]: iteration 359: 2682 enodes
11.619 * * [simplify]: iteration 360: 2689 enodes
11.659 * * [simplify]: iteration 361: 2696 enodes
11.699 * * [simplify]: iteration 362: 2703 enodes
11.742 * * [simplify]: iteration 363: 2710 enodes
11.783 * * [simplify]: iteration 364: 2717 enodes
11.823 * * [simplify]: iteration 365: 2724 enodes
11.854 * * [simplify]: iteration 366: 2731 enodes
11.878 * * [simplify]: iteration 367: 2738 enodes
11.903 * * [simplify]: iteration 368: 2745 enodes
11.931 * * [simplify]: iteration 369: 2752 enodes
11.953 * * [simplify]: iteration 370: 2759 enodes
11.985 * * [simplify]: iteration 371: 2766 enodes
12.009 * * [simplify]: iteration 372: 2773 enodes
12.052 * * [simplify]: iteration 373: 2780 enodes
12.078 * * [simplify]: iteration 374: 2787 enodes
12.108 * * [simplify]: iteration 375: 2794 enodes
12.151 * * [simplify]: iteration 376: 2801 enodes
12.192 * * [simplify]: iteration 377: 2808 enodes
12.233 * * [simplify]: iteration 378: 2815 enodes
12.276 * * [simplify]: iteration 379: 2822 enodes
12.317 * * [simplify]: iteration 380: 2829 enodes
12.358 * * [simplify]: iteration 381: 2836 enodes
12.402 * * [simplify]: iteration 382: 2843 enodes
12.439 * * [simplify]: iteration 383: 2850 enodes
12.459 * * [simplify]: iteration 384: 2857 enodes
12.484 * * [simplify]: iteration 385: 2864 enodes
12.525 * * [simplify]: iteration 386: 2871 enodes
12.567 * * [simplify]: iteration 387: 2878 enodes
12.610 * * [simplify]: iteration 388: 2885 enodes
12.684 * * [simplify]: iteration 389: 2892 enodes
12.726 * * [simplify]: iteration 390: 2899 enodes
12.767 * * [simplify]: iteration 391: 2906 enodes
12.810 * * [simplify]: iteration 392: 2913 enodes
12.852 * * [simplify]: iteration 393: 2920 enodes
12.882 * * [simplify]: iteration 394: 2927 enodes
12.904 * * [simplify]: iteration 395: 2934 enodes
12.934 * * [simplify]: iteration 396: 2941 enodes
12.967 * * [simplify]: iteration 397: 2948 enodes
12.991 * * [simplify]: iteration 398: 2955 enodes
13.023 * * [simplify]: iteration 399: 2962 enodes
13.044 * * [simplify]: iteration 400: 2969 enodes
13.065 * * [simplify]: iteration 401: 2976 enodes
13.086 * * [simplify]: iteration 402: 2983 enodes
13.122 * * [simplify]: iteration 403: 2990 enodes
13.166 * * [simplify]: iteration 404: 2997 enodes
13.191 * * [simplify]: iteration 405: 3004 enodes
13.216 * * [simplify]: iteration 406: 3011 enodes
13.259 * * [simplify]: iteration 407: 3018 enodes
13.294 * * [simplify]: iteration 408: 3025 enodes
13.319 * * [simplify]: iteration 409: 3032 enodes
13.344 * * [simplify]: iteration 410: 3039 enodes
13.365 * * [simplify]: iteration 411: 3046 enodes
13.396 * * [simplify]: iteration 412: 3053 enodes
13.438 * * [simplify]: iteration 413: 3060 enodes
13.460 * * [simplify]: iteration 414: 3067 enodes
13.495 * * [simplify]: iteration 415: 3074 enodes
13.524 * * [simplify]: iteration 416: 3081 enodes
13.548 * * [simplify]: iteration 417: 3088 enodes
13.590 * * [simplify]: iteration 418: 3095 enodes
13.630 * * [simplify]: iteration 419: 3102 enodes
13.652 * * [simplify]: iteration 420: 3109 enodes
13.675 * * [simplify]: iteration 421: 3116 enodes
13.695 * * [simplify]: iteration 422: 3123 enodes
13.733 * * [simplify]: iteration 423: 3130 enodes
13.753 * * [simplify]: iteration 424: 3137 enodes
13.794 * * [simplify]: iteration 425: 3144 enodes
13.826 * * [simplify]: iteration 426: 3151 enodes
13.850 * * [simplify]: iteration 427: 3158 enodes
13.891 * * [simplify]: iteration 428: 3165 enodes
13.933 * * [simplify]: iteration 429: 3172 enodes
13.974 * * [simplify]: iteration 430: 3179 enodes
13.999 * * [simplify]: iteration 431: 3186 enodes
14.028 * * [simplify]: iteration 432: 3193 enodes
14.070 * * [simplify]: iteration 433: 3200 enodes
14.111 * * [simplify]: iteration 434: 3207 enodes
14.152 * * [simplify]: iteration 435: 3214 enodes
14.187 * * [simplify]: iteration 436: 3221 enodes
14.207 * * [simplify]: iteration 437: 3228 enodes
14.249 * * [simplify]: iteration 438: 3235 enodes
14.293 * * [simplify]: iteration 439: 3242 enodes
14.334 * * [simplify]: iteration 440: 3249 enodes
14.357 * * [simplify]: iteration 441: 3256 enodes
14.386 * * [simplify]: iteration 442: 3263 enodes
14.406 * * [simplify]: iteration 443: 3270 enodes
14.433 * * [simplify]: iteration 444: 3277 enodes
14.470 * * [simplify]: iteration 445: 3284 enodes
14.490 * * [simplify]: iteration 446: 3291 enodes
14.524 * * [simplify]: iteration 447: 3298 enodes
14.551 * * [simplify]: iteration 448: 3305 enodes
14.579 * * [simplify]: iteration 449: 3312 enodes
14.600 * * [simplify]: iteration 450: 3319 enodes
14.632 * * [simplify]: iteration 451: 3326 enodes
14.654 * * [simplify]: iteration 452: 3333 enodes
14.695 * * [simplify]: iteration 453: 3340 enodes
14.731 * * [simplify]: iteration 454: 3347 enodes
14.754 * * [simplify]: iteration 455: 3354 enodes
14.790 * * [simplify]: iteration 456: 3361 enodes
14.811 * * [simplify]: iteration 457: 3368 enodes
14.845 * * [simplify]: iteration 458: 3375 enodes
14.865 * * [simplify]: iteration 459: 3382 enodes
14.901 * * [simplify]: iteration 460: 3389 enodes
14.937 * * [simplify]: iteration 461: 3396 enodes
14.957 * * [simplify]: iteration 462: 3403 enodes
14.992 * * [simplify]: iteration 463: 3410 enodes
15.013 * * [simplify]: iteration 464: 3417 enodes
15.049 * * [simplify]: iteration 465: 3424 enodes
15.070 * * [simplify]: iteration 466: 3431 enodes
15.093 * * [simplify]: iteration 467: 3438 enodes
15.134 * * [simplify]: iteration 468: 3445 enodes
15.161 * * [simplify]: iteration 469: 3452 enodes
15.187 * * [simplify]: iteration 470: 3459 enodes
15.224 * * [simplify]: iteration 471: 3466 enodes
15.244 * * [simplify]: iteration 472: 3473 enodes
15.285 * * [simplify]: iteration 473: 3480 enodes
15.328 * * [simplify]: iteration 474: 3487 enodes
15.362 * * [simplify]: iteration 475: 3494 enodes
15.383 * * [simplify]: iteration 476: 3501 enodes
15.410 * * [simplify]: iteration 477: 3508 enodes
15.432 * * [simplify]: iteration 478: 3515 enodes
15.466 * * [simplify]: iteration 479: 3522 enodes
15.509 * * [simplify]: iteration 480: 3529 enodes
15.549 * * [simplify]: iteration 481: 3536 enodes
15.570 * * [simplify]: iteration 482: 3543 enodes
15.597 * * [simplify]: iteration 483: 3550 enodes
15.638 * * [simplify]: iteration 484: 3557 enodes
15.667 * * [simplify]: iteration 485: 3564 enodes
15.694 * * [simplify]: iteration 486: 3571 enodes
15.736 * * [simplify]: iteration 487: 3578 enodes
15.777 * * [simplify]: iteration 488: 3585 enodes
15.812 * * [simplify]: iteration 489: 3592 enodes
15.841 * * [simplify]: iteration 490: 3599 enodes
15.882 * * [simplify]: iteration 491: 3606 enodes
15.925 * * [simplify]: iteration 492: 3613 enodes
15.966 * * [simplify]: iteration 493: 3620 enodes
15.987 * * [simplify]: iteration 494: 3627 enodes
16.009 * * [simplify]: iteration 495: 3634 enodes
16.048 * * [simplify]: iteration 496: 3641 enodes
16.072 * * [simplify]: iteration 497: 3648 enodes
16.101 * * [simplify]: iteration 498: 3655 enodes
16.122 * * [simplify]: iteration 499: 3662 enodes
16.146 * * [simplify]: iteration 500: 3669 enodes
16.188 * * [simplify]: iteration 501: 3676 enodes
16.221 * * [simplify]: iteration 502: 3683 enodes
16.242 * * [simplify]: iteration 503: 3690 enodes
16.279 * * [simplify]: iteration 504: 3697 enodes
16.322 * * [simplify]: iteration 505: 3704 enodes
16.353 * * [simplify]: iteration 506: 3711 enodes
16.377 * * [simplify]: iteration 507: 3718 enodes
16.420 * * [simplify]: iteration 508: 3725 enodes
16.460 * * [simplify]: iteration 509: 3732 enodes
16.481 * * [simplify]: iteration 510: 3739 enodes
16.519 * * [simplify]: iteration 511: 3746 enodes
16.561 * * [simplify]: iteration 512: 3753 enodes
16.602 * * [simplify]: iteration 513: 3760 enodes
16.636 * * [simplify]: iteration 514: 3767 enodes
16.657 * * [simplify]: iteration 515: 3774 enodes
16.698 * * [simplify]: iteration 516: 3781 enodes
16.737 * * [simplify]: iteration 517: 3788 enodes
16.759 * * [simplify]: iteration 518: 3795 enodes
16.782 * * [simplify]: iteration 519: 3802 enodes
16.803 * * [simplify]: iteration 520: 3809 enodes
16.836 * * [simplify]: iteration 521: 3816 enodes
16.857 * * [simplify]: iteration 522: 3823 enodes
16.889 * * [simplify]: iteration 523: 3830 enodes
16.917 * * [simplify]: iteration 524: 3837 enodes
16.938 * * [simplify]: iteration 525: 3844 enodes
16.958 * * [simplify]: iteration 526: 3851 enodes
16.990 * * [simplify]: iteration 527: 3858 enodes
17.017 * * [simplify]: iteration 528: 3865 enodes
17.040 * * [simplify]: iteration 529: 3872 enodes
17.069 * * [simplify]: iteration 530: 3879 enodes
17.094 * * [simplify]: iteration 531: 3886 enodes
17.123 * * [simplify]: iteration 532: 3893 enodes
17.165 * * [simplify]: iteration 533: 3900 enodes
17.206 * * [simplify]: iteration 534: 3907 enodes
17.247 * * [simplify]: iteration 535: 3914 enodes
17.291 * * [simplify]: iteration 536: 3921 enodes
17.333 * * [simplify]: iteration 537: 3928 enodes
17.375 * * [simplify]: iteration 538: 3935 enodes
17.414 * * [simplify]: iteration 539: 3942 enodes
17.436 * * [simplify]: iteration 540: 3949 enodes
17.456 * * [simplify]: iteration 541: 3956 enodes
17.475 * * [simplify]: iteration 542: 3963 enodes
17.497 * * [simplify]: iteration 543: 3970 enodes
17.517 * * [simplify]: iteration 544: 3977 enodes
17.537 * * [simplify]: iteration 545: 3984 enodes
17.566 * * [simplify]: iteration 546: 3991 enodes
17.605 * * [simplify]: iteration 547: 3998 enodes
17.625 * * [simplify]: iteration 548: 4005 enodes
17.660 * * [simplify]: iteration 549: 4012 enodes
17.681 * * [simplify]: iteration 550: 4019 enodes
17.708 * * [simplify]: iteration 551: 4026 enodes
17.750 * * [simplify]: iteration 552: 4033 enodes
17.774 * * [simplify]: iteration 553: 4040 enodes
17.794 * * [simplify]: iteration 554: 4047 enodes
17.820 * * [simplify]: iteration 555: 4054 enodes
17.841 * * [simplify]: iteration 556: 4061 enodes
17.862 * * [simplify]: iteration 557: 4068 enodes
17.884 * * [simplify]: iteration 558: 4075 enodes
17.905 * * [simplify]: iteration 559: 4082 enodes
17.926 * * [simplify]: iteration 560: 4089 enodes
17.947 * * [simplify]: iteration 561: 4096 enodes
17.968 * * [simplify]: iteration 562: 4103 enodes
17.989 * * [simplify]: iteration 563: 4110 enodes
18.012 * * [simplify]: iteration 564: 4117 enodes
18.055 * * [simplify]: iteration 565: 4124 enodes
18.076 * * [simplify]: iteration 566: 4131 enodes
18.106 * * [simplify]: iteration 567: 4138 enodes
18.150 * * [simplify]: iteration 568: 4145 enodes
18.193 * * [simplify]: iteration 569: 4152 enodes
18.234 * * [simplify]: iteration 570: 4159 enodes
18.274 * * [simplify]: iteration 571: 4166 enodes
18.296 * * [simplify]: iteration 572: 4173 enodes
18.316 * * [simplify]: iteration 573: 4180 enodes
18.337 * * [simplify]: iteration 574: 4187 enodes
18.374 * * [simplify]: iteration 575: 4194 enodes
18.416 * * [simplify]: iteration 576: 4201 enodes
18.459 * * [simplify]: iteration 577: 4208 enodes
18.500 * * [simplify]: iteration 578: 4215 enodes
18.543 * * [simplify]: iteration 579: 4222 enodes
18.566 * * [simplify]: iteration 580: 4229 enodes
18.598 * * [simplify]: iteration 581: 4236 enodes
18.625 * * [simplify]: iteration 582: 4243 enodes
18.651 * * [simplify]: iteration 583: 4250 enodes
18.694 * * [simplify]: iteration 584: 4257 enodes
18.725 * * [simplify]: iteration 585: 4264 enodes
18.745 * * [simplify]: iteration 586: 4271 enodes
18.772 * * [simplify]: iteration 587: 4278 enodes
18.799 * * [simplify]: iteration 588: 4285 enodes
18.840 * * [simplify]: iteration 589: 4292 enodes
18.883 * * [simplify]: iteration 590: 4299 enodes
18.924 * * [simplify]: iteration 591: 4306 enodes
18.964 * * [simplify]: iteration 592: 4313 enodes
18.985 * * [simplify]: iteration 593: 4320 enodes
19.006 * * [simplify]: iteration 594: 4327 enodes
19.027 * * [simplify]: iteration 595: 4334 enodes
19.050 * * [simplify]: iteration 596: 4341 enodes
19.070 * * [simplify]: iteration 597: 4348 enodes
19.111 * * [simplify]: iteration 598: 4355 enodes
19.155 * * [simplify]: iteration 599: 4362 enodes
19.197 * * [simplify]: iteration 600: 4369 enodes
19.235 * * [simplify]: iteration 601: 4376 enodes
19.256 * * [simplify]: iteration 602: 4383 enodes
19.292 * * [simplify]: iteration 603: 4390 enodes
19.332 * * [simplify]: iteration 604: 4397 enodes
19.373 * * [simplify]: iteration 605: 4404 enodes
19.416 * * [simplify]: iteration 606: 4411 enodes
19.450 * * [simplify]: iteration 607: 4418 enodes
19.470 * * [simplify]: iteration 608: 4425 enodes
19.511 * * [simplify]: iteration 609: 4432 enodes
19.531 * * [simplify]: iteration 610: 4439 enodes
19.565 * * [simplify]: iteration 611: 4446 enodes
19.588 * * [simplify]: iteration 612: 4453 enodes
19.618 * * [simplify]: iteration 613: 4460 enodes
19.659 * * [simplify]: iteration 614: 4467 enodes
19.693 * * [simplify]: iteration 615: 4474 enodes
19.717 * * [simplify]: iteration 616: 4481 enodes
19.758 * * [simplify]: iteration 617: 4488 enodes
19.801 * * [simplify]: iteration 618: 4495 enodes
19.836 * * [simplify]: iteration 619: 4502 enodes
19.856 * * [simplify]: iteration 620: 4509 enodes
19.894 * * [simplify]: iteration 621: 4516 enodes
19.935 * * [simplify]: iteration 622: 4523 enodes
19.977 * * [simplify]: iteration 623: 4530 enodes
20.020 * * [simplify]: iteration 624: 4537 enodes
20.062 * * [simplify]: iteration 625: 4544 enodes
20.103 * * [simplify]: iteration 626: 4551 enodes
20.144 * * [simplify]: iteration 627: 4558 enodes
20.187 * * [simplify]: iteration 628: 4565 enodes
20.227 * * [simplify]: iteration 629: 4572 enodes
20.258 * * [simplify]: iteration 630: 4579 enodes
20.284 * * [simplify]: iteration 631: 4586 enodes
20.326 * * [simplify]: iteration 632: 4593 enodes
20.347 * * [simplify]: iteration 633: 4600 enodes
20.383 * * [simplify]: iteration 634: 4607 enodes
20.425 * * [simplify]: iteration 635: 4614 enodes
20.467 * * [simplify]: iteration 636: 4621 enodes
20.511 * * [simplify]: iteration 637: 4628 enodes
20.538 * * [simplify]: iteration 638: 4635 enodes
20.566 * * [simplify]: iteration 639: 4642 enodes
20.610 * * [simplify]: iteration 640: 4649 enodes
20.652 * * [simplify]: iteration 641: 4656 enodes
20.693 * * [simplify]: iteration 642: 4663 enodes
20.716 * * [simplify]: iteration 643: 4670 enodes
20.736 * * [simplify]: iteration 644: 4677 enodes
20.757 * * [simplify]: iteration 645: 4684 enodes
20.779 * * [simplify]: iteration 646: 4691 enodes
20.801 * * [simplify]: iteration 647: 4698 enodes
20.822 * * [simplify]: iteration 648: 4705 enodes
20.843 * * [simplify]: iteration 649: 4712 enodes
20.865 * * [simplify]: iteration 650: 4719 enodes
20.886 * * [simplify]: iteration 651: 4726 enodes
20.907 * * [simplify]: iteration 652: 4733 enodes
20.936 * * [simplify]: iteration 653: 4740 enodes
20.977 * * [simplify]: iteration 654: 4747 enodes
21.017 * * [simplify]: iteration 655: 4754 enodes
21.055 * * [simplify]: iteration 656: 4761 enodes
21.077 * * [simplify]: iteration 657: 4768 enodes
21.115 * * [simplify]: iteration 658: 4775 enodes
21.136 * * [simplify]: iteration 659: 4782 enodes
21.171 * * [simplify]: iteration 660: 4789 enodes
21.192 * * [simplify]: iteration 661: 4796 enodes
21.224 * * [simplify]: iteration 662: 4803 enodes
21.266 * * [simplify]: iteration 663: 4810 enodes
21.297 * * [simplify]: iteration 664: 4817 enodes
21.319 * * [simplify]: iteration 665: 4824 enodes
21.345 * * [simplify]: iteration 666: 4831 enodes
21.386 * * [simplify]: iteration 667: 4838 enodes
21.427 * * [simplify]: iteration 668: 4845 enodes
21.465 * * [simplify]: iteration 669: 4852 enodes
21.485 * * [simplify]: iteration 670: 4859 enodes
21.516 * * [simplify]: iteration 671: 4866 enodes
21.559 * * [simplify]: iteration 672: 4873 enodes
21.601 * * [simplify]: iteration 673: 4880 enodes
21.637 * * [simplify]: iteration 674: 4887 enodes
21.661 * * [simplify]: iteration 675: 4894 enodes
21.681 * * [simplify]: iteration 676: 4901 enodes
21.709 * * [simplify]: iteration 677: 4908 enodes
21.730 * * [simplify]: iteration 678: 4915 enodes
21.752 * * [simplify]: iteration 679: 4922 enodes
21.773 * * [simplify]: iteration 680: 4929 enodes
21.811 * * [simplify]: iteration 681: 4936 enodes
21.853 * * [simplify]: iteration 682: 4943 enodes
21.888 * * [simplify]: iteration 683: 4950 enodes
21.911 * * [simplify]: iteration 684: 4957 enodes
21.940 * * [simplify]: iteration 685: 4964 enodes
21.960 * * [simplify]: iteration 686: 4971 enodes
21.997 * * [simplify]: iteration 687: 4978 enodes
22.038 * * [simplify]: iteration 688: 4985 enodes
22.080 * * [simplify]: iteration 689: 4992 enodes
22.121 * * [simplify]: iteration 690: 4999 enodes
22.149 * * [simplify]: iteration complete: 5001 enodes
22.149 * * [simplify]: Extracting #0: cost 1 inf + 0
22.149 * * [simplify]: Extracting #1: cost 21 inf + 0
22.149 * * [simplify]: Extracting #2: cost 27 inf + 59
22.150 * * [simplify]: Extracting #3: cost 5 inf + 156
22.150 * * [simplify]: Extracting #4: cost 0 inf + 170
22.150 * [simplify]: Simplified to:
  (/ (* x 2.0) (/ (- x y) y))
22.160 * * [progress]: iteration 1 / 4
22.160 * * * [progress]: picking best candidate