12.113 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (/ (* (* x 2.0) y) (- x y))
0.027 * * [simplify]: iteration 0: 7 enodes
0.029 * * [simplify]: iteration 1: 15 enodes
0.033 * * [simplify]: iteration 2: 36 enodes
0.044 * * [simplify]: iteration 3: 75 enodes
0.066 * * [simplify]: iteration 4: 132 enodes
0.117 * * [simplify]: iteration 5: 181 enodes
0.143 * * [simplify]: iteration 6: 208 enodes
0.171 * * [simplify]: iteration 7: 218 enodes
0.216 * * [simplify]: iteration 8: 225 enodes
0.258 * * [simplify]: iteration 9: 232 enodes
0.301 * * [simplify]: iteration 10: 239 enodes
0.336 * * [simplify]: iteration 11: 246 enodes
0.358 * * [simplify]: iteration 12: 253 enodes
0.399 * * [simplify]: iteration 13: 260 enodes
0.442 * * [simplify]: iteration 14: 267 enodes
0.487 * * [simplify]: iteration 15: 274 enodes
0.526 * * [simplify]: iteration 16: 281 enodes
0.567 * * [simplify]: iteration 17: 288 enodes
0.611 * * [simplify]: iteration 18: 295 enodes
0.638 * * [simplify]: iteration 19: 302 enodes
0.658 * * [simplify]: iteration 20: 309 enodes
0.679 * * [simplify]: iteration 21: 316 enodes
0.700 * * [simplify]: iteration 22: 323 enodes
0.732 * * [simplify]: iteration 23: 330 enodes
0.754 * * [simplify]: iteration 24: 337 enodes
0.775 * * [simplify]: iteration 25: 344 enodes
0.795 * * [simplify]: iteration 26: 351 enodes
0.825 * * [simplify]: iteration 27: 358 enodes
0.845 * * [simplify]: iteration 28: 365 enodes
0.879 * * [simplify]: iteration 29: 372 enodes
0.916 * * [simplify]: iteration 30: 379 enodes
0.963 * * [simplify]: iteration 31: 386 enodes
1.004 * * [simplify]: iteration 32: 393 enodes
1.047 * * [simplify]: iteration 33: 400 enodes
1.091 * * [simplify]: iteration 34: 407 enodes
1.134 * * [simplify]: iteration 35: 414 enodes
1.176 * * [simplify]: iteration 36: 421 enodes
1.219 * * [simplify]: iteration 37: 428 enodes
1.258 * * [simplify]: iteration 38: 435 enodes
1.280 * * [simplify]: iteration 39: 442 enodes
1.313 * * [simplify]: iteration 40: 449 enodes
1.345 * * [simplify]: iteration 41: 456 enodes
1.365 * * [simplify]: iteration 42: 463 enodes
1.397 * * [simplify]: iteration 43: 470 enodes
1.432 * * [simplify]: iteration 44: 477 enodes
1.453 * * [simplify]: iteration 45: 484 enodes
1.476 * * [simplify]: iteration 46: 491 enodes
1.510 * * [simplify]: iteration 47: 498 enodes
1.536 * * [simplify]: iteration 48: 505 enodes
1.568 * * [simplify]: iteration 49: 512 enodes
1.593 * * [simplify]: iteration 50: 519 enodes
1.616 * * [simplify]: iteration 51: 526 enodes
1.659 * * [simplify]: iteration 52: 533 enodes
1.697 * * [simplify]: iteration 53: 540 enodes
1.718 * * [simplify]: iteration 54: 547 enodes
1.752 * * [simplify]: iteration 55: 554 enodes
1.790 * * [simplify]: iteration 56: 561 enodes
1.811 * * [simplify]: iteration 57: 568 enodes
1.846 * * [simplify]: iteration 58: 575 enodes
1.891 * * [simplify]: iteration 59: 582 enodes
1.929 * * [simplify]: iteration 60: 589 enodes
1.950 * * [simplify]: iteration 61: 596 enodes
1.976 * * [simplify]: iteration 62: 603 enodes
1.998 * * [simplify]: iteration 63: 610 enodes
2.033 * * [simplify]: iteration 64: 617 enodes
2.054 * * [simplify]: iteration 65: 624 enodes
2.079 * * [simplify]: iteration 66: 631 enodes
2.120 * * [simplify]: iteration 67: 638 enodes
2.146 * * [simplify]: iteration 68: 645 enodes
2.168 * * [simplify]: iteration 69: 652 enodes
2.192 * * [simplify]: iteration 70: 659 enodes
2.235 * * [simplify]: iteration 71: 666 enodes
2.274 * * [simplify]: iteration 72: 673 enodes
2.294 * * [simplify]: iteration 73: 680 enodes
2.316 * * [simplify]: iteration 74: 687 enodes
2.342 * * [simplify]: iteration 75: 694 enodes
2.384 * * [simplify]: iteration 76: 701 enodes
2.412 * * [simplify]: iteration 77: 708 enodes
2.436 * * [simplify]: iteration 78: 715 enodes
2.480 * * [simplify]: iteration 79: 722 enodes
2.522 * * [simplify]: iteration 80: 729 enodes
2.563 * * [simplify]: iteration 81: 736 enodes
2.606 * * [simplify]: iteration 82: 743 enodes
2.647 * * [simplify]: iteration 83: 750 enodes
2.673 * * [simplify]: iteration 84: 757 enodes
2.706 * * [simplify]: iteration 85: 764 enodes
2.739 * * [simplify]: iteration 86: 771 enodes
2.760 * * [simplify]: iteration 87: 778 enodes
2.803 * * [simplify]: iteration 88: 785 enodes
2.845 * * [simplify]: iteration 89: 792 enodes
2.885 * * [simplify]: iteration 90: 799 enodes
2.916 * * [simplify]: iteration 91: 806 enodes
2.937 * * [simplify]: iteration 92: 813 enodes
2.971 * * [simplify]: iteration 93: 820 enodes
3.012 * * [simplify]: iteration 94: 827 enodes
3.050 * * [simplify]: iteration 95: 834 enodes
3.070 * * [simplify]: iteration 96: 841 enodes
3.103 * * [simplify]: iteration 97: 848 enodes
3.125 * * [simplify]: iteration 98: 855 enodes
3.151 * * [simplify]: iteration 99: 862 enodes
3.191 * * [simplify]: iteration 100: 869 enodes
3.235 * * [simplify]: iteration 101: 876 enodes
3.276 * * [simplify]: iteration 102: 883 enodes
3.318 * * [simplify]: iteration 103: 890 enodes
3.340 * * [simplify]: iteration 104: 897 enodes
3.369 * * [simplify]: iteration 105: 904 enodes
3.389 * * [simplify]: iteration 106: 911 enodes
3.425 * * [simplify]: iteration 107: 918 enodes
3.444 * * [simplify]: iteration 108: 925 enodes
3.479 * * [simplify]: iteration 109: 932 enodes
3.520 * * [simplify]: iteration 110: 939 enodes
3.562 * * [simplify]: iteration 111: 946 enodes
3.583 * * [simplify]: iteration 112: 953 enodes
3.608 * * [simplify]: iteration 113: 960 enodes
3.631 * * [simplify]: iteration 114: 967 enodes
3.662 * * [simplify]: iteration 115: 974 enodes
3.682 * * [simplify]: iteration 116: 981 enodes
3.705 * * [simplify]: iteration 117: 988 enodes
3.743 * * [simplify]: iteration 118: 995 enodes
3.766 * * [simplify]: iteration 119: 1002 enodes
3.800 * * [simplify]: iteration 120: 1009 enodes
3.843 * * [simplify]: iteration 121: 1016 enodes
3.885 * * [simplify]: iteration 122: 1023 enodes
3.929 * * [simplify]: iteration 123: 1030 enodes
3.970 * * [simplify]: iteration 124: 1037 enodes
3.998 * * [simplify]: iteration 125: 1044 enodes
4.019 * * [simplify]: iteration 126: 1051 enodes
4.040 * * [simplify]: iteration 127: 1058 enodes
4.066 * * [simplify]: iteration 128: 1065 enodes
4.099 * * [simplify]: iteration 129: 1072 enodes
4.121 * * [simplify]: iteration 130: 1079 enodes
4.142 * * [simplify]: iteration 131: 1086 enodes
4.163 * * [simplify]: iteration 132: 1093 enodes
4.186 * * [simplify]: iteration 133: 1100 enodes
4.213 * * [simplify]: iteration 134: 1107 enodes
4.254 * * [simplify]: iteration 135: 1114 enodes
4.298 * * [simplify]: iteration 136: 1121 enodes
4.333 * * [simplify]: iteration 137: 1128 enodes
4.353 * * [simplify]: iteration 138: 1135 enodes
4.376 * * [simplify]: iteration 139: 1142 enodes
4.397 * * [simplify]: iteration 140: 1149 enodes
4.418 * * [simplify]: iteration 141: 1156 enodes
4.440 * * [simplify]: iteration 142: 1163 enodes
4.460 * * [simplify]: iteration 143: 1170 enodes
4.495 * * [simplify]: iteration 144: 1177 enodes
4.535 * * [simplify]: iteration 145: 1184 enodes
4.574 * * [simplify]: iteration 146: 1191 enodes
4.594 * * [simplify]: iteration 147: 1198 enodes
4.615 * * [simplify]: iteration 148: 1205 enodes
4.637 * * [simplify]: iteration 149: 1212 enodes
4.658 * * [simplify]: iteration 150: 1219 enodes
4.679 * * [simplify]: iteration 151: 1226 enodes
4.700 * * [simplify]: iteration 152: 1233 enodes
4.721 * * [simplify]: iteration 153: 1240 enodes
4.741 * * [simplify]: iteration 154: 1247 enodes
4.767 * * [simplify]: iteration 155: 1254 enodes
4.810 * * [simplify]: iteration 156: 1261 enodes
4.851 * * [simplify]: iteration 157: 1268 enodes
4.881 * * [simplify]: iteration 158: 1275 enodes
4.901 * * [simplify]: iteration 159: 1282 enodes
4.922 * * [simplify]: iteration 160: 1289 enodes
4.959 * * [simplify]: iteration 161: 1296 enodes
4.996 * * [simplify]: iteration 162: 1303 enodes
5.016 * * [simplify]: iteration 163: 1310 enodes
5.037 * * [simplify]: iteration 164: 1317 enodes
5.072 * * [simplify]: iteration 165: 1324 enodes
5.094 * * [simplify]: iteration 166: 1331 enodes
5.125 * * [simplify]: iteration 167: 1338 enodes
5.168 * * [simplify]: iteration 168: 1345 enodes
5.203 * * [simplify]: iteration 169: 1352 enodes
5.223 * * [simplify]: iteration 170: 1359 enodes
5.245 * * [simplify]: iteration 171: 1366 enodes
5.272 * * [simplify]: iteration 172: 1373 enodes
5.299 * * [simplify]: iteration 173: 1380 enodes
5.338 * * [simplify]: iteration 174: 1387 enodes
5.358 * * [simplify]: iteration 175: 1394 enodes
5.387 * * [simplify]: iteration 176: 1401 enodes
5.410 * * [simplify]: iteration 177: 1408 enodes
5.436 * * [simplify]: iteration 178: 1415 enodes
5.466 * * [simplify]: iteration 179: 1422 enodes
5.508 * * [simplify]: iteration 180: 1429 enodes
5.542 * * [simplify]: iteration 181: 1436 enodes
5.563 * * [simplify]: iteration 182: 1443 enodes
5.596 * * [simplify]: iteration 183: 1450 enodes
5.618 * * [simplify]: iteration 184: 1457 enodes
5.642 * * [simplify]: iteration 185: 1464 enodes
5.678 * * [simplify]: iteration 186: 1471 enodes
5.724 * * [simplify]: iteration 187: 1478 enodes
5.766 * * [simplify]: iteration 188: 1485 enodes
5.803 * * [simplify]: iteration 189: 1492 enodes
5.845 * * [simplify]: iteration 190: 1499 enodes
5.865 * * [simplify]: iteration 191: 1506 enodes
5.900 * * [simplify]: iteration 192: 1513 enodes
5.920 * * [simplify]: iteration 193: 1520 enodes
5.949 * * [simplify]: iteration 194: 1527 enodes
5.969 * * [simplify]: iteration 195: 1534 enodes
6.005 * * [simplify]: iteration 196: 1541 enodes
6.039 * * [simplify]: iteration 197: 1548 enodes
6.065 * * [simplify]: iteration 198: 1555 enodes
6.090 * * [simplify]: iteration 199: 1562 enodes
6.123 * * [simplify]: iteration 200: 1569 enodes
6.143 * * [simplify]: iteration 201: 1576 enodes
6.176 * * [simplify]: iteration 202: 1583 enodes
6.222 * * [simplify]: iteration 203: 1590 enodes
6.263 * * [simplify]: iteration 204: 1597 enodes
6.290 * * [simplify]: iteration 205: 1604 enodes
6.314 * * [simplify]: iteration 206: 1611 enodes
6.340 * * [simplify]: iteration 207: 1618 enodes
6.369 * * [simplify]: iteration 208: 1625 enodes
6.412 * * [simplify]: iteration 209: 1632 enodes
6.456 * * [simplify]: iteration 210: 1639 enodes
6.491 * * [simplify]: iteration 211: 1646 enodes
6.531 * * [simplify]: iteration 212: 1653 enodes
6.575 * * [simplify]: iteration 213: 1660 enodes
6.620 * * [simplify]: iteration 214: 1667 enodes
6.662 * * [simplify]: iteration 215: 1674 enodes
6.706 * * [simplify]: iteration 216: 1681 enodes
6.746 * * [simplify]: iteration 217: 1688 enodes
6.766 * * [simplify]: iteration 218: 1695 enodes
6.798 * * [simplify]: iteration 219: 1702 enodes
6.841 * * [simplify]: iteration 220: 1709 enodes
6.885 * * [simplify]: iteration 221: 1716 enodes
6.925 * * [simplify]: iteration 222: 1723 enodes
6.946 * * [simplify]: iteration 223: 1730 enodes
6.972 * * [simplify]: iteration 224: 1737 enodes
6.992 * * [simplify]: iteration 225: 1744 enodes
7.020 * * [simplify]: iteration 226: 1751 enodes
7.048 * * [simplify]: iteration 227: 1758 enodes
7.069 * * [simplify]: iteration 228: 1765 enodes
7.112 * * [simplify]: iteration 229: 1772 enodes
7.153 * * [simplify]: iteration 230: 1779 enodes
7.195 * * [simplify]: iteration 231: 1786 enodes
7.239 * * [simplify]: iteration 232: 1793 enodes
7.259 * * [simplify]: iteration 233: 1800 enodes
7.292 * * [simplify]: iteration 234: 1807 enodes
7.336 * * [simplify]: iteration 235: 1814 enodes
7.378 * * [simplify]: iteration 236: 1821 enodes
7.417 * * [simplify]: iteration 237: 1828 enodes
7.459 * * [simplify]: iteration 238: 1835 enodes
7.494 * * [simplify]: iteration 239: 1842 enodes
7.514 * * [simplify]: iteration 240: 1849 enodes
7.542 * * [simplify]: iteration 241: 1856 enodes
7.568 * * [simplify]: iteration 242: 1863 enodes
7.609 * * [simplify]: iteration 243: 1870 enodes
7.645 * * [simplify]: iteration 244: 1877 enodes
7.670 * * [simplify]: iteration 245: 1884 enodes
7.710 * * [simplify]: iteration 246: 1891 enodes
7.750 * * [simplify]: iteration 247: 1898 enodes
7.790 * * [simplify]: iteration 248: 1905 enodes
7.811 * * [simplify]: iteration 249: 1912 enodes
7.842 * * [simplify]: iteration 250: 1919 enodes
7.865 * * [simplify]: iteration 251: 1926 enodes
7.906 * * [simplify]: iteration 252: 1933 enodes
7.949 * * [simplify]: iteration 253: 1940 enodes
7.996 * * [simplify]: iteration 254: 1947 enodes
8.021 * * [simplify]: iteration 255: 1954 enodes
8.042 * * [simplify]: iteration 256: 1961 enodes
8.075 * * [simplify]: iteration 257: 1968 enodes
8.097 * * [simplify]: iteration 258: 1975 enodes
8.138 * * [simplify]: iteration 259: 1982 enodes
8.179 * * [simplify]: iteration 260: 1989 enodes
8.201 * * [simplify]: iteration 261: 1996 enodes
8.222 * * [simplify]: iteration 262: 2003 enodes
8.256 * * [simplify]: iteration 263: 2010 enodes
8.296 * * [simplify]: iteration 264: 2017 enodes
8.333 * * [simplify]: iteration 265: 2024 enodes
8.371 * * [simplify]: iteration 266: 2031 enodes
8.411 * * [simplify]: iteration 267: 2038 enodes
8.447 * * [simplify]: iteration 268: 2045 enodes
8.486 * * [simplify]: iteration 269: 2052 enodes
8.513 * * [simplify]: iteration 270: 2059 enodes
8.536 * * [simplify]: iteration 271: 2066 enodes
8.556 * * [simplify]: iteration 272: 2073 enodes
8.577 * * [simplify]: iteration 273: 2080 enodes
8.621 * * [simplify]: iteration 274: 2087 enodes
8.646 * * [simplify]: iteration 275: 2094 enodes
8.673 * * [simplify]: iteration 276: 2101 enodes
8.717 * * [simplify]: iteration 277: 2108 enodes
8.759 * * [simplify]: iteration 278: 2115 enodes
8.800 * * [simplify]: iteration 279: 2122 enodes
8.821 * * [simplify]: iteration 280: 2129 enodes
8.852 * * [simplify]: iteration 281: 2136 enodes
8.878 * * [simplify]: iteration 282: 2143 enodes
8.901 * * [simplify]: iteration 283: 2150 enodes
8.933 * * [simplify]: iteration 284: 2157 enodes
8.953 * * [simplify]: iteration 285: 2164 enodes
8.997 * * [simplify]: iteration 286: 2171 enodes
9.038 * * [simplify]: iteration 287: 2178 enodes
9.081 * * [simplify]: iteration 288: 2185 enodes
9.122 * * [simplify]: iteration 289: 2192 enodes
9.166 * * [simplify]: iteration 290: 2199 enodes
9.208 * * [simplify]: iteration 291: 2206 enodes
9.249 * * [simplify]: iteration 292: 2213 enodes
9.273 * * [simplify]: iteration 293: 2220 enodes
9.300 * * [simplify]: iteration 294: 2227 enodes
9.336 * * [simplify]: iteration 295: 2234 enodes
9.363 * * [simplify]: iteration 296: 2241 enodes
9.403 * * [simplify]: iteration 297: 2248 enodes
9.433 * * [simplify]: iteration 298: 2255 enodes
9.456 * * [simplify]: iteration 299: 2262 enodes
9.488 * * [simplify]: iteration 300: 2269 enodes
9.509 * * [simplify]: iteration 301: 2276 enodes
9.530 * * [simplify]: iteration 302: 2283 enodes
9.571 * * [simplify]: iteration 303: 2290 enodes
9.596 * * [simplify]: iteration 304: 2297 enodes
9.626 * * [simplify]: iteration 305: 2304 enodes
9.667 * * [simplify]: iteration 306: 2311 enodes
9.708 * * [simplify]: iteration 307: 2318 enodes
9.733 * * [simplify]: iteration 308: 2325 enodes
9.756 * * [simplify]: iteration 309: 2332 enodes
9.777 * * [simplify]: iteration 310: 2339 enodes
9.803 * * [simplify]: iteration 311: 2346 enodes
9.827 * * [simplify]: iteration 312: 2353 enodes
9.867 * * [simplify]: iteration 313: 2360 enodes
9.907 * * [simplify]: iteration 314: 2367 enodes
9.940 * * [simplify]: iteration 315: 2374 enodes
9.965 * * [simplify]: iteration 316: 2381 enodes
9.989 * * [simplify]: iteration 317: 2388 enodes
10.024 * * [simplify]: iteration 318: 2395 enodes
10.046 * * [simplify]: iteration 319: 2402 enodes
10.086 * * [simplify]: iteration 320: 2409 enodes
10.130 * * [simplify]: iteration 321: 2416 enodes
10.171 * * [simplify]: iteration 322: 2423 enodes
10.213 * * [simplify]: iteration 323: 2430 enodes
10.250 * * [simplify]: iteration 324: 2437 enodes
10.294 * * [simplify]: iteration 325: 2444 enodes
10.336 * * [simplify]: iteration 326: 2451 enodes
10.366 * * [simplify]: iteration 327: 2458 enodes
10.388 * * [simplify]: iteration 328: 2465 enodes
10.430 * * [simplify]: iteration 329: 2472 enodes
10.471 * * [simplify]: iteration 330: 2479 enodes
10.507 * * [simplify]: iteration 331: 2486 enodes
10.527 * * [simplify]: iteration 332: 2493 enodes
10.569 * * [simplify]: iteration 333: 2500 enodes
10.598 * * [simplify]: iteration 334: 2507 enodes
10.619 * * [simplify]: iteration 335: 2514 enodes
10.660 * * [simplify]: iteration 336: 2521 enodes
10.686 * * [simplify]: iteration 337: 2528 enodes
10.706 * * [simplify]: iteration 338: 2535 enodes
10.733 * * [simplify]: iteration 339: 2542 enodes
10.755 * * [simplify]: iteration 340: 2549 enodes
10.799 * * [simplify]: iteration 341: 2556 enodes
10.840 * * [simplify]: iteration 342: 2563 enodes
10.862 * * [simplify]: iteration 343: 2570 enodes
10.887 * * [simplify]: iteration 344: 2577 enodes
10.920 * * [simplify]: iteration 345: 2584 enodes
10.941 * * [simplify]: iteration 346: 2591 enodes
10.975 * * [simplify]: iteration 347: 2598 enodes
10.995 * * [simplify]: iteration 348: 2605 enodes
11.034 * * [simplify]: iteration 349: 2612 enodes
11.056 * * [simplify]: iteration 350: 2619 enodes
11.089 * * [simplify]: iteration 351: 2626 enodes
11.109 * * [simplify]: iteration 352: 2633 enodes
11.132 * * [simplify]: iteration 353: 2640 enodes
11.158 * * [simplify]: iteration 354: 2647 enodes
11.181 * * [simplify]: iteration 355: 2654 enodes
11.223 * * [simplify]: iteration 356: 2661 enodes
11.251 * * [simplify]: iteration 357: 2668 enodes
11.271 * * [simplify]: iteration 358: 2675 enodes
11.303 * * [simplify]: iteration 359: 2682 enodes
11.326 * * [simplify]: iteration 360: 2689 enodes
11.348 * * [simplify]: iteration 361: 2696 enodes
11.369 * * [simplify]: iteration 362: 2703 enodes
11.412 * * [simplify]: iteration 363: 2710 enodes
11.454 * * [simplify]: iteration 364: 2717 enodes
11.495 * * [simplify]: iteration 365: 2724 enodes
11.538 * * [simplify]: iteration 366: 2731 enodes
11.578 * * [simplify]: iteration 367: 2738 enodes
11.598 * * [simplify]: iteration 368: 2745 enodes
11.637 * * [simplify]: iteration 369: 2752 enodes
11.673 * * [simplify]: iteration 370: 2759 enodes
11.693 * * [simplify]: iteration 371: 2766 enodes
11.733 * * [simplify]: iteration 372: 2773 enodes
11.761 * * [simplify]: iteration 373: 2780 enodes
11.784 * * [simplify]: iteration 374: 2787 enodes
11.819 * * [simplify]: iteration 375: 2794 enodes
11.840 * * [simplify]: iteration 376: 2801 enodes
11.874 * * [simplify]: iteration 377: 2808 enodes
11.895 * * [simplify]: iteration 378: 2815 enodes
11.930 * * [simplify]: iteration 379: 2822 enodes
11.967 * * [simplify]: iteration 380: 2829 enodes
11.987 * * [simplify]: iteration 381: 2836 enodes
12.023 * * [simplify]: iteration 382: 2843 enodes
12.043 * * [simplify]: iteration 383: 2850 enodes
12.072 * * [simplify]: iteration 384: 2857 enodes
12.093 * * [simplify]: iteration 385: 2864 enodes
12.128 * * [simplify]: iteration 386: 2871 enodes
12.156 * * [simplify]: iteration 387: 2878 enodes
12.176 * * [simplify]: iteration 388: 2885 enodes
12.220 * * [simplify]: iteration 389: 2892 enodes
12.257 * * [simplify]: iteration 390: 2899 enodes
12.277 * * [simplify]: iteration 391: 2906 enodes
12.314 * * [simplify]: iteration 392: 2913 enodes
12.335 * * [simplify]: iteration 393: 2920 enodes
12.368 * * [simplify]: iteration 394: 2927 enodes
12.391 * * [simplify]: iteration 395: 2934 enodes
12.420 * * [simplify]: iteration 396: 2941 enodes
12.461 * * [simplify]: iteration 397: 2948 enodes
12.505 * * [simplify]: iteration 398: 2955 enodes
12.546 * * [simplify]: iteration 399: 2962 enodes
12.588 * * [simplify]: iteration 400: 2969 enodes
12.631 * * [simplify]: iteration 401: 2976 enodes
12.672 * * [simplify]: iteration 402: 2983 enodes
12.706 * * [simplify]: iteration 403: 2990 enodes
12.726 * * [simplify]: iteration 404: 2997 enodes
12.758 * * [simplify]: iteration 405: 3004 enodes
12.778 * * [simplify]: iteration 406: 3011 enodes
12.816 * * [simplify]: iteration 407: 3018 enodes
12.844 * * [simplify]: iteration 408: 3025 enodes
12.864 * * [simplify]: iteration 409: 3032 enodes
12.902 * * [simplify]: iteration 410: 3039 enodes
12.935 * * [simplify]: iteration 411: 3046 enodes
12.956 * * [simplify]: iteration 412: 3053 enodes
12.984 * * [simplify]: iteration 413: 3060 enodes
13.012 * * [simplify]: iteration 414: 3067 enodes
13.054 * * [simplify]: iteration 415: 3074 enodes
13.095 * * [simplify]: iteration 416: 3081 enodes
13.130 * * [simplify]: iteration 417: 3088 enodes
13.150 * * [simplify]: iteration 418: 3095 enodes
13.181 * * [simplify]: iteration 419: 3102 enodes
13.210 * * [simplify]: iteration 420: 3109 enodes
13.233 * * [simplify]: iteration 421: 3116 enodes
13.254 * * [simplify]: iteration 422: 3123 enodes
13.283 * * [simplify]: iteration 423: 3130 enodes
13.307 * * [simplify]: iteration 424: 3137 enodes
13.344 * * [simplify]: iteration 425: 3144 enodes
13.365 * * [simplify]: iteration 426: 3151 enodes
13.402 * * [simplify]: iteration 427: 3158 enodes
13.444 * * [simplify]: iteration 428: 3165 enodes
13.473 * * [simplify]: iteration 429: 3172 enodes
13.510 * * [simplify]: iteration 430: 3179 enodes
13.538 * * [simplify]: iteration 431: 3186 enodes
13.572 * * [simplify]: iteration 432: 3193 enodes
13.597 * * [simplify]: iteration 433: 3200 enodes
13.640 * * [simplify]: iteration 434: 3207 enodes
13.682 * * [simplify]: iteration 435: 3214 enodes
13.711 * * [simplify]: iteration 436: 3221 enodes
13.732 * * [simplify]: iteration 437: 3228 enodes
13.757 * * [simplify]: iteration 438: 3235 enodes
13.797 * * [simplify]: iteration 439: 3242 enodes
13.841 * * [simplify]: iteration 440: 3249 enodes
13.883 * * [simplify]: iteration 441: 3256 enodes
13.923 * * [simplify]: iteration 442: 3263 enodes
13.965 * * [simplify]: iteration 443: 3270 enodes
14.007 * * [simplify]: iteration 444: 3277 enodes
14.050 * * [simplify]: iteration 445: 3284 enodes
14.092 * * [simplify]: iteration 446: 3291 enodes
14.112 * * [simplify]: iteration 447: 3298 enodes
14.141 * * [simplify]: iteration 448: 3305 enodes
14.185 * * [simplify]: iteration 449: 3312 enodes
14.228 * * [simplify]: iteration 450: 3319 enodes
14.270 * * [simplify]: iteration 451: 3326 enodes
14.316 * * [simplify]: iteration 452: 3333 enodes
14.360 * * [simplify]: iteration 453: 3340 enodes
14.402 * * [simplify]: iteration 454: 3347 enodes
14.445 * * [simplify]: iteration 455: 3354 enodes
14.472 * * [simplify]: iteration 456: 3361 enodes
14.507 * * [simplify]: iteration 457: 3368 enodes
14.542 * * [simplify]: iteration 458: 3375 enodes
14.564 * * [simplify]: iteration 459: 3382 enodes
14.599 * * [simplify]: iteration 460: 3389 enodes
14.620 * * [simplify]: iteration 461: 3396 enodes
14.654 * * [simplify]: iteration 462: 3403 enodes
14.674 * * [simplify]: iteration 463: 3410 enodes
14.696 * * [simplify]: iteration 464: 3417 enodes
14.729 * * [simplify]: iteration 465: 3424 enodes
14.750 * * [simplify]: iteration 466: 3431 enodes
14.779 * * [simplify]: iteration 467: 3438 enodes
14.814 * * [simplify]: iteration 468: 3445 enodes
14.843 * * [simplify]: iteration 469: 3452 enodes
14.867 * * [simplify]: iteration 470: 3459 enodes
14.902 * * [simplify]: iteration 471: 3466 enodes
14.932 * * [simplify]: iteration 472: 3473 enodes
14.953 * * [simplify]: iteration 473: 3480 enodes
14.995 * * [simplify]: iteration 474: 3487 enodes
15.039 * * [simplify]: iteration 475: 3494 enodes
15.063 * * [simplify]: iteration 476: 3501 enodes
15.094 * * [simplify]: iteration 477: 3508 enodes
15.122 * * [simplify]: iteration 478: 3515 enodes
15.143 * * [simplify]: iteration 479: 3522 enodes
15.163 * * [simplify]: iteration 480: 3529 enodes
15.206 * * [simplify]: iteration 481: 3536 enodes
15.247 * * [simplify]: iteration 482: 3543 enodes
15.288 * * [simplify]: iteration 483: 3550 enodes
15.309 * * [simplify]: iteration 484: 3557 enodes
15.341 * * [simplify]: iteration 485: 3564 enodes
15.383 * * [simplify]: iteration 486: 3571 enodes
15.425 * * [simplify]: iteration 487: 3578 enodes
15.468 * * [simplify]: iteration 488: 3585 enodes
15.492 * * [simplify]: iteration 489: 3592 enodes
15.522 * * [simplify]: iteration 490: 3599 enodes
15.553 * * [simplify]: iteration 491: 3606 enodes
15.573 * * [simplify]: iteration 492: 3613 enodes
15.611 * * [simplify]: iteration 493: 3620 enodes
15.633 * * [simplify]: iteration 494: 3627 enodes
15.663 * * [simplify]: iteration 495: 3634 enodes
15.698 * * [simplify]: iteration 496: 3641 enodes
15.720 * * [simplify]: iteration 497: 3648 enodes
15.755 * * [simplify]: iteration 498: 3655 enodes
15.777 * * [simplify]: iteration 499: 3662 enodes
15.800 * * [simplify]: iteration 500: 3669 enodes
15.842 * * [simplify]: iteration 501: 3676 enodes
15.885 * * [simplify]: iteration 502: 3683 enodes
15.927 * * [simplify]: iteration 503: 3690 enodes
15.951 * * [simplify]: iteration 504: 3697 enodes
15.983 * * [simplify]: iteration 505: 3704 enodes
16.024 * * [simplify]: iteration 506: 3711 enodes
16.058 * * [simplify]: iteration 507: 3718 enodes
16.081 * * [simplify]: iteration 508: 3725 enodes
16.111 * * [simplify]: iteration 509: 3732 enodes
16.137 * * [simplify]: iteration 510: 3739 enodes
16.166 * * [simplify]: iteration 511: 3746 enodes
16.187 * * [simplify]: iteration 512: 3753 enodes
16.232 * * [simplify]: iteration 513: 3760 enodes
16.275 * * [simplify]: iteration 514: 3767 enodes
16.317 * * [simplify]: iteration 515: 3774 enodes
16.362 * * [simplify]: iteration 516: 3781 enodes
16.387 * * [simplify]: iteration 517: 3788 enodes
16.416 * * [simplify]: iteration 518: 3795 enodes
16.457 * * [simplify]: iteration 519: 3802 enodes
16.489 * * [simplify]: iteration 520: 3809 enodes
16.509 * * [simplify]: iteration 521: 3816 enodes
16.529 * * [simplify]: iteration 522: 3823 enodes
16.551 * * [simplify]: iteration 523: 3830 enodes
16.574 * * [simplify]: iteration 524: 3837 enodes
16.615 * * [simplify]: iteration 525: 3844 enodes
16.653 * * [simplify]: iteration 526: 3851 enodes
16.673 * * [simplify]: iteration 527: 3858 enodes
16.703 * * [simplify]: iteration 528: 3865 enodes
16.746 * * [simplify]: iteration 529: 3872 enodes
16.775 * * [simplify]: iteration 530: 3879 enodes
16.800 * * [simplify]: iteration 531: 3886 enodes
16.829 * * [simplify]: iteration 532: 3893 enodes
16.856 * * [simplify]: iteration 533: 3900 enodes
16.897 * * [simplify]: iteration 534: 3907 enodes
16.923 * * [simplify]: iteration 535: 3914 enodes
16.954 * * [simplify]: iteration 536: 3921 enodes
16.973 * * [simplify]: iteration 537: 3928 enodes
17.002 * * [simplify]: iteration 538: 3935 enodes
17.026 * * [simplify]: iteration 539: 3942 enodes
17.067 * * [simplify]: iteration 540: 3949 enodes
17.107 * * [simplify]: iteration 541: 3956 enodes
17.129 * * [simplify]: iteration 542: 3963 enodes
17.170 * * [simplify]: iteration 543: 3970 enodes
17.212 * * [simplify]: iteration 544: 3977 enodes
17.244 * * [simplify]: iteration 545: 3984 enodes
17.273 * * [simplify]: iteration 546: 3991 enodes
17.296 * * [simplify]: iteration 547: 3998 enodes
17.319 * * [simplify]: iteration 548: 4005 enodes
17.340 * * [simplify]: iteration 549: 4012 enodes
17.368 * * [simplify]: iteration 550: 4019 enodes
17.393 * * [simplify]: iteration 551: 4026 enodes
17.427 * * [simplify]: iteration 552: 4033 enodes
17.448 * * [simplify]: iteration 553: 4040 enodes
17.468 * * [simplify]: iteration 554: 4047 enodes
17.491 * * [simplify]: iteration 555: 4054 enodes
17.515 * * [simplify]: iteration 556: 4061 enodes
17.544 * * [simplify]: iteration 557: 4068 enodes
17.569 * * [simplify]: iteration 558: 4075 enodes
17.589 * * [simplify]: iteration 559: 4082 enodes
17.610 * * [simplify]: iteration 560: 4089 enodes
17.649 * * [simplify]: iteration 561: 4096 enodes
17.690 * * [simplify]: iteration 562: 4103 enodes
17.731 * * [simplify]: iteration 563: 4110 enodes
17.775 * * [simplify]: iteration 564: 4117 enodes
17.816 * * [simplify]: iteration 565: 4124 enodes
17.856 * * [simplify]: iteration 566: 4131 enodes
17.897 * * [simplify]: iteration 567: 4138 enodes
17.932 * * [simplify]: iteration 568: 4145 enodes
17.955 * * [simplify]: iteration 569: 4152 enodes
17.997 * * [simplify]: iteration 570: 4159 enodes
18.018 * * [simplify]: iteration 571: 4166 enodes
18.054 * * [simplify]: iteration 572: 4173 enodes
18.077 * * [simplify]: iteration 573: 4180 enodes
18.099 * * [simplify]: iteration 574: 4187 enodes
18.128 * * [simplify]: iteration 575: 4194 enodes
18.168 * * [simplify]: iteration 576: 4201 enodes
18.191 * * [simplify]: iteration 577: 4208 enodes
18.219 * * [simplify]: iteration 578: 4215 enodes
18.243 * * [simplify]: iteration 579: 4222 enodes
18.279 * * [simplify]: iteration 580: 4229 enodes
18.302 * * [simplify]: iteration 581: 4236 enodes
18.344 * * [simplify]: iteration 582: 4243 enodes
18.372 * * [simplify]: iteration 583: 4250 enodes
18.400 * * [simplify]: iteration 584: 4257 enodes
18.442 * * [simplify]: iteration 585: 4264 enodes
18.483 * * [simplify]: iteration 586: 4271 enodes
18.504 * * [simplify]: iteration 587: 4278 enodes
18.535 * * [simplify]: iteration 588: 4285 enodes
18.557 * * [simplify]: iteration 589: 4292 enodes
18.599 * * [simplify]: iteration 590: 4299 enodes
18.628 * * [simplify]: iteration 591: 4306 enodes
18.648 * * [simplify]: iteration 592: 4313 enodes
18.692 * * [simplify]: iteration 593: 4320 enodes
18.735 * * [simplify]: iteration 594: 4327 enodes
18.776 * * [simplify]: iteration 595: 4334 enodes
18.817 * * [simplify]: iteration 596: 4341 enodes
18.838 * * [simplify]: iteration 597: 4348 enodes
18.882 * * [simplify]: iteration 598: 4355 enodes
18.926 * * [simplify]: iteration 599: 4362 enodes
18.955 * * [simplify]: iteration 600: 4369 enodes
18.979 * * [simplify]: iteration 601: 4376 enodes
19.019 * * [simplify]: iteration 602: 4383 enodes
19.060 * * [simplify]: iteration 603: 4390 enodes
19.101 * * [simplify]: iteration 604: 4397 enodes
19.129 * * [simplify]: iteration 605: 4404 enodes
19.159 * * [simplify]: iteration 606: 4411 enodes
19.188 * * [simplify]: iteration 607: 4418 enodes
19.213 * * [simplify]: iteration 608: 4425 enodes
19.243 * * [simplify]: iteration 609: 4432 enodes
19.270 * * [simplify]: iteration 610: 4439 enodes
19.290 * * [simplify]: iteration 611: 4446 enodes
19.324 * * [simplify]: iteration 612: 4453 enodes
19.360 * * [simplify]: iteration 613: 4460 enodes
19.380 * * [simplify]: iteration 614: 4467 enodes
19.415 * * [simplify]: iteration 615: 4474 enodes
19.454 * * [simplify]: iteration 616: 4481 enodes
19.481 * * [simplify]: iteration 617: 4488 enodes
19.501 * * [simplify]: iteration 618: 4495 enodes
19.523 * * [simplify]: iteration 619: 4502 enodes
19.543 * * [simplify]: iteration 620: 4509 enodes
19.564 * * [simplify]: iteration 621: 4516 enodes
19.586 * * [simplify]: iteration 622: 4523 enodes
19.606 * * [simplify]: iteration 623: 4530 enodes
19.648 * * [simplify]: iteration 624: 4537 enodes
19.693 * * [simplify]: iteration 625: 4544 enodes
19.719 * * [simplify]: iteration 626: 4551 enodes
19.747 * * [simplify]: iteration 627: 4558 enodes
19.773 * * [simplify]: iteration 628: 4565 enodes
19.804 * * [simplify]: iteration 629: 4572 enodes
19.844 * * [simplify]: iteration 630: 4579 enodes
19.874 * * [simplify]: iteration 631: 4586 enodes
19.901 * * [simplify]: iteration 632: 4593 enodes
19.940 * * [simplify]: iteration 633: 4600 enodes
19.981 * * [simplify]: iteration 634: 4607 enodes
20.025 * * [simplify]: iteration 635: 4614 enodes
20.055 * * [simplify]: iteration 636: 4621 enodes
20.075 * * [simplify]: iteration 637: 4628 enodes
20.098 * * [simplify]: iteration 638: 4635 enodes
20.118 * * [simplify]: iteration 639: 4642 enodes
20.138 * * [simplify]: iteration 640: 4649 enodes
20.160 * * [simplify]: iteration 641: 4656 enodes
20.180 * * [simplify]: iteration 642: 4663 enodes
20.204 * * [simplify]: iteration 643: 4670 enodes
20.246 * * [simplify]: iteration 644: 4677 enodes
20.273 * * [simplify]: iteration 645: 4684 enodes
20.303 * * [simplify]: iteration 646: 4691 enodes
20.347 * * [simplify]: iteration 647: 4698 enodes
20.387 * * [simplify]: iteration 648: 4705 enodes
20.429 * * [simplify]: iteration 649: 4712 enodes
20.461 * * [simplify]: iteration 650: 4719 enodes
20.483 * * [simplify]: iteration 651: 4726 enodes
20.503 * * [simplify]: iteration 652: 4733 enodes
20.545 * * [simplify]: iteration 653: 4740 enodes
20.573 * * [simplify]: iteration 654: 4747 enodes
20.593 * * [simplify]: iteration 655: 4754 enodes
20.617 * * [simplify]: iteration 656: 4761 enodes
20.646 * * [simplify]: iteration 657: 4768 enodes
20.688 * * [simplify]: iteration 658: 4775 enodes
20.730 * * [simplify]: iteration 659: 4782 enodes
20.775 * * [simplify]: iteration 660: 4789 enodes
20.808 * * [simplify]: iteration 661: 4796 enodes
20.830 * * [simplify]: iteration 662: 4803 enodes
20.875 * * [simplify]: iteration 663: 4810 enodes
20.918 * * [simplify]: iteration 664: 4817 enodes
20.959 * * [simplify]: iteration 665: 4824 enodes
20.979 * * [simplify]: iteration 666: 4831 enodes
21.007 * * [simplify]: iteration 667: 4838 enodes
21.036 * * [simplify]: iteration 668: 4845 enodes
21.058 * * [simplify]: iteration 669: 4852 enodes
21.101 * * [simplify]: iteration 670: 4859 enodes
21.142 * * [simplify]: iteration 671: 4866 enodes
21.162 * * [simplify]: iteration 672: 4873 enodes
21.197 * * [simplify]: iteration 673: 4880 enodes
21.220 * * [simplify]: iteration 674: 4887 enodes
21.251 * * [simplify]: iteration 675: 4894 enodes
21.295 * * [simplify]: iteration 676: 4901 enodes
21.337 * * [simplify]: iteration 677: 4908 enodes
21.380 * * [simplify]: iteration 678: 4915 enodes
21.426 * * [simplify]: iteration 679: 4922 enodes
21.454 * * [simplify]: iteration 680: 4929 enodes
21.474 * * [simplify]: iteration 681: 4936 enodes
21.505 * * [simplify]: iteration 682: 4943 enodes
21.533 * * [simplify]: iteration 683: 4950 enodes
21.567 * * [simplify]: iteration 684: 4957 enodes
21.602 * * [simplify]: iteration 685: 4964 enodes
21.625 * * [simplify]: iteration 686: 4971 enodes
21.665 * * [simplify]: iteration 687: 4978 enodes
21.708 * * [simplify]: iteration 688: 4985 enodes
21.753 * * [simplify]: iteration 689: 4992 enodes
21.795 * * [simplify]: iteration 690: 4999 enodes
21.814 * * [simplify]: iteration complete: 5001 enodes
21.814 * * [simplify]: Extracting #0: cost 1 inf + 0
21.814 * * [simplify]: Extracting #1: cost 21 inf + 0
21.814 * * [simplify]: Extracting #2: cost 27 inf + 59
21.814 * * [simplify]: Extracting #3: cost 5 inf + 156
21.814 * * [simplify]: Extracting #4: cost 0 inf + 170
21.814 * [simplify]: Simplified to:
  (/ (* x 2.0) (/ (- x y) y))
21.818 * * [progress]: iteration 1 / 4
21.818 * * * [progress]: picking best candidate
21.823 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* x 2.0) (/ (- x y) y)))>
21.823 * * * [progress]: localizing error
21.832 * * * [progress]: generating rewritten candidates
21.832 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
21.868 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
21.898 * * * [progress]: generating series expansions
21.898 * * * * [progress]: [ 1 / 2 ] generating series at (2)
21.899 * [backup-simplify]: Simplify (/ (* x 2.0) (/ (- x y) y)) into (* 2.0 (/ (* x y) (- x y)))
21.899 * [approximate]: Taking taylor expansion of (* 2.0 (/ (* x y) (- x y))) in (x y) around 0
21.899 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* x y) (- x y))) in y
21.899 * [taylor]: Taking taylor expansion of 2.0 in y
21.899 * [backup-simplify]: Simplify 2.0 into 2.0
21.899 * [taylor]: Taking taylor expansion of (/ (* x y) (- x y)) in y
21.899 * [taylor]: Taking taylor expansion of (* x y) in y
21.899 * [taylor]: Taking taylor expansion of x in y
21.899 * [backup-simplify]: Simplify x into x
21.899 * [taylor]: Taking taylor expansion of y in y
21.899 * [backup-simplify]: Simplify 0 into 0
21.899 * [backup-simplify]: Simplify 1 into 1
21.899 * [taylor]: Taking taylor expansion of (- x y) in y
21.899 * [taylor]: Taking taylor expansion of x in y
21.899 * [backup-simplify]: Simplify x into x
21.899 * [taylor]: Taking taylor expansion of y in y
21.899 * [backup-simplify]: Simplify 0 into 0
21.899 * [backup-simplify]: Simplify 1 into 1
21.899 * [backup-simplify]: Simplify (* x 0) into 0
21.900 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
21.900 * [backup-simplify]: Simplify (- 0) into 0
21.900 * [backup-simplify]: Simplify (+ x 0) into x
21.900 * [backup-simplify]: Simplify (/ x x) into 1
21.900 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* x y) (- x y))) in x
21.900 * [taylor]: Taking taylor expansion of 2.0 in x
21.900 * [backup-simplify]: Simplify 2.0 into 2.0
21.900 * [taylor]: Taking taylor expansion of (/ (* x y) (- x y)) in x
21.901 * [taylor]: Taking taylor expansion of (* x y) in x
21.901 * [taylor]: Taking taylor expansion of x in x
21.901 * [backup-simplify]: Simplify 0 into 0
21.901 * [backup-simplify]: Simplify 1 into 1
21.901 * [taylor]: Taking taylor expansion of y in x
21.901 * [backup-simplify]: Simplify y into y
21.901 * [taylor]: Taking taylor expansion of (- x y) in x
21.901 * [taylor]: Taking taylor expansion of x in x
21.901 * [backup-simplify]: Simplify 0 into 0
21.901 * [backup-simplify]: Simplify 1 into 1
21.901 * [taylor]: Taking taylor expansion of y in x
21.901 * [backup-simplify]: Simplify y into y
21.901 * [backup-simplify]: Simplify (* 0 y) into 0
21.901 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.901 * [backup-simplify]: Simplify (- y) into (- y)
21.901 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
21.901 * [backup-simplify]: Simplify (/ y (- y)) into -1
21.902 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* x y) (- x y))) in x
21.902 * [taylor]: Taking taylor expansion of 2.0 in x
21.902 * [backup-simplify]: Simplify 2.0 into 2.0
21.902 * [taylor]: Taking taylor expansion of (/ (* x y) (- x y)) in x
21.902 * [taylor]: Taking taylor expansion of (* x y) in x
21.902 * [taylor]: Taking taylor expansion of x in x
21.902 * [backup-simplify]: Simplify 0 into 0
21.902 * [backup-simplify]: Simplify 1 into 1
21.902 * [taylor]: Taking taylor expansion of y in x
21.902 * [backup-simplify]: Simplify y into y
21.902 * [taylor]: Taking taylor expansion of (- x y) in x
21.902 * [taylor]: Taking taylor expansion of x in x
21.902 * [backup-simplify]: Simplify 0 into 0
21.902 * [backup-simplify]: Simplify 1 into 1
21.902 * [taylor]: Taking taylor expansion of y in x
21.902 * [backup-simplify]: Simplify y into y
21.902 * [backup-simplify]: Simplify (* 0 y) into 0
21.902 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
21.902 * [backup-simplify]: Simplify (- y) into (- y)
21.903 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
21.903 * [backup-simplify]: Simplify (/ y (- y)) into -1
21.903 * [backup-simplify]: Simplify (* 2.0 -1) into -2.0
21.903 * [taylor]: Taking taylor expansion of -2.0 in y
21.903 * [backup-simplify]: Simplify -2.0 into -2.0
21.903 * [backup-simplify]: Simplify 0 into 0
21.904 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
21.904 * [backup-simplify]: Simplify (- 0) into 0
21.905 * [backup-simplify]: Simplify (+ 1 0) into 1
21.905 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* -1 (/ 1 (- y))))) into (- (/ 1 y))
21.905 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 -1)) into (- (* 2.0 (/ 1 y)))
21.906 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y
21.906 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
21.906 * [taylor]: Taking taylor expansion of 2.0 in y
21.906 * [backup-simplify]: Simplify 2.0 into 2.0
21.906 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.906 * [taylor]: Taking taylor expansion of y in y
21.906 * [backup-simplify]: Simplify 0 into 0
21.906 * [backup-simplify]: Simplify 1 into 1
21.906 * [backup-simplify]: Simplify (/ 1 1) into 1
21.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.909 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
21.909 * [backup-simplify]: Simplify (- 0) into 0
21.909 * [backup-simplify]: Simplify 0 into 0
21.909 * [backup-simplify]: Simplify 0 into 0
21.911 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
21.911 * [backup-simplify]: Simplify (- 0) into 0
21.911 * [backup-simplify]: Simplify (+ 0 0) into 0
21.912 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* -1 (/ 0 (- y))) (* (- (/ 1 y)) (/ 1 (- y))))) into (- (/ 1 (pow y 2)))
21.913 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 (pow y 2)))) (+ (* 0 (- (/ 1 y))) (* 0 -1))) into (- (* 2.0 (/ 1 (pow y 2))))
21.913 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 2)))) in y
21.913 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
21.913 * [taylor]: Taking taylor expansion of 2.0 in y
21.913 * [backup-simplify]: Simplify 2.0 into 2.0
21.913 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
21.913 * [taylor]: Taking taylor expansion of (pow y 2) in y
21.913 * [taylor]: Taking taylor expansion of y in y
21.913 * [backup-simplify]: Simplify 0 into 0
21.913 * [backup-simplify]: Simplify 1 into 1
21.913 * [backup-simplify]: Simplify (* 1 1) into 1
21.914 * [backup-simplify]: Simplify (/ 1 1) into 1
21.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.915 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.920 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.920 * [backup-simplify]: Simplify (- 0) into 0
21.920 * [backup-simplify]: Simplify 0 into 0
21.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.922 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.923 * [backup-simplify]: Simplify (- 0) into 0
21.923 * [backup-simplify]: Simplify 0 into 0
21.923 * [backup-simplify]: Simplify 0 into 0
21.923 * [backup-simplify]: Simplify 0 into 0
21.923 * [backup-simplify]: Simplify (/ (* (/ 1 x) 2.0) (/ (- (/ 1 x) (/ 1 y)) (/ 1 y))) into (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y)))))
21.923 * [approximate]: Taking taylor expansion of (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0
21.923 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y))))) in y
21.923 * [taylor]: Taking taylor expansion of 2.0 in y
21.923 * [backup-simplify]: Simplify 2.0 into 2.0
21.923 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y
21.924 * [taylor]: Taking taylor expansion of x in y
21.924 * [backup-simplify]: Simplify x into x
21.924 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y
21.924 * [taylor]: Taking taylor expansion of y in y
21.924 * [backup-simplify]: Simplify 0 into 0
21.924 * [backup-simplify]: Simplify 1 into 1
21.924 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
21.924 * [taylor]: Taking taylor expansion of (/ 1 x) in y
21.924 * [taylor]: Taking taylor expansion of x in y
21.924 * [backup-simplify]: Simplify x into x
21.924 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
21.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.924 * [taylor]: Taking taylor expansion of y in y
21.924 * [backup-simplify]: Simplify 0 into 0
21.924 * [backup-simplify]: Simplify 1 into 1
21.924 * [backup-simplify]: Simplify (/ 1 1) into 1
21.925 * [backup-simplify]: Simplify (- 1) into -1
21.925 * [backup-simplify]: Simplify (+ 0 -1) into -1
21.925 * [backup-simplify]: Simplify (* 0 -1) into 0
21.926 * [backup-simplify]: Simplify (* x 0) into 0
21.926 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.927 * [backup-simplify]: Simplify (- 0) into 0
21.927 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
21.927 * [backup-simplify]: Simplify (+ (* 0 (/ 1 x)) (* 1 -1)) into (- 1)
21.928 * [backup-simplify]: Simplify (+ (* x (- 1)) (* 0 0)) into (- x)
21.928 * [backup-simplify]: Simplify (/ 2.0 (- x)) into (/ -2.0 x)
21.928 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
21.928 * [taylor]: Taking taylor expansion of 2.0 in x
21.928 * [backup-simplify]: Simplify 2.0 into 2.0
21.928 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
21.928 * [taylor]: Taking taylor expansion of x in x
21.928 * [backup-simplify]: Simplify 0 into 0
21.928 * [backup-simplify]: Simplify 1 into 1
21.928 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
21.928 * [taylor]: Taking taylor expansion of y in x
21.928 * [backup-simplify]: Simplify y into y
21.928 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
21.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.928 * [taylor]: Taking taylor expansion of x in x
21.928 * [backup-simplify]: Simplify 0 into 0
21.928 * [backup-simplify]: Simplify 1 into 1
21.929 * [backup-simplify]: Simplify (/ 1 1) into 1
21.929 * [taylor]: Taking taylor expansion of (/ 1 y) in x
21.929 * [taylor]: Taking taylor expansion of y in x
21.929 * [backup-simplify]: Simplify y into y
21.929 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
21.929 * [backup-simplify]: Simplify (+ 1 0) into 1
21.929 * [backup-simplify]: Simplify (* y 1) into y
21.929 * [backup-simplify]: Simplify (* 0 y) into 0
21.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.930 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
21.930 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
21.931 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1)
21.931 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y
21.932 * [backup-simplify]: Simplify (/ 2.0 y) into (/ 2.0 y)
21.932 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
21.932 * [taylor]: Taking taylor expansion of 2.0 in x
21.932 * [backup-simplify]: Simplify 2.0 into 2.0
21.932 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
21.932 * [taylor]: Taking taylor expansion of x in x
21.932 * [backup-simplify]: Simplify 0 into 0
21.932 * [backup-simplify]: Simplify 1 into 1
21.932 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
21.932 * [taylor]: Taking taylor expansion of y in x
21.932 * [backup-simplify]: Simplify y into y
21.932 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
21.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.932 * [taylor]: Taking taylor expansion of x in x
21.932 * [backup-simplify]: Simplify 0 into 0
21.932 * [backup-simplify]: Simplify 1 into 1
21.932 * [backup-simplify]: Simplify (/ 1 1) into 1
21.932 * [taylor]: Taking taylor expansion of (/ 1 y) in x
21.932 * [taylor]: Taking taylor expansion of y in x
21.932 * [backup-simplify]: Simplify y into y
21.932 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
21.933 * [backup-simplify]: Simplify (+ 1 0) into 1
21.933 * [backup-simplify]: Simplify (* y 1) into y
21.933 * [backup-simplify]: Simplify (* 0 y) into 0
21.934 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.934 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
21.934 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
21.934 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1)
21.935 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y
21.935 * [backup-simplify]: Simplify (/ 2.0 y) into (/ 2.0 y)
21.935 * [taylor]: Taking taylor expansion of (/ 2.0 y) in y
21.935 * [taylor]: Taking taylor expansion of 2.0 in y
21.935 * [backup-simplify]: Simplify 2.0 into 2.0
21.935 * [taylor]: Taking taylor expansion of y in y
21.935 * [backup-simplify]: Simplify 0 into 0
21.935 * [backup-simplify]: Simplify 1 into 1
21.936 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
21.936 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)))) into 0
21.936 * [backup-simplify]: Simplify 0 into 0
21.937 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.938 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
21.938 * [backup-simplify]: Simplify (- 0) into 0
21.938 * [backup-simplify]: Simplify (+ 0 0) into 0
21.939 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
21.940 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1)
21.940 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 2.0 y) (/ (- 1) y)))) into (* 2.0 (/ 1 (pow y 2)))
21.940 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
21.940 * [taylor]: Taking taylor expansion of 2.0 in y
21.940 * [backup-simplify]: Simplify 2.0 into 2.0
21.940 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
21.940 * [taylor]: Taking taylor expansion of (pow y 2) in y
21.940 * [taylor]: Taking taylor expansion of y in y
21.940 * [backup-simplify]: Simplify 0 into 0
21.940 * [backup-simplify]: Simplify 1 into 1
21.941 * [backup-simplify]: Simplify (* 1 1) into 1
21.941 * [backup-simplify]: Simplify (/ 1 1) into 1
21.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.945 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
21.945 * [backup-simplify]: Simplify 0 into 0
21.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.946 * [backup-simplify]: Simplify 0 into 0
21.947 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.947 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.948 * [backup-simplify]: Simplify (- 0) into 0
21.948 * [backup-simplify]: Simplify (+ 0 0) into 0
21.949 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
21.950 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0
21.951 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 2.0 y) (/ 0 y)) (* (* 2.0 (/ 1 (pow y 2))) (/ (- 1) y)))) into (* 2.0 (/ 1 (pow y 3)))
21.951 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 3))) in y
21.951 * [taylor]: Taking taylor expansion of 2.0 in y
21.951 * [backup-simplify]: Simplify 2.0 into 2.0
21.952 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
21.952 * [taylor]: Taking taylor expansion of (pow y 3) in y
21.952 * [taylor]: Taking taylor expansion of y in y
21.952 * [backup-simplify]: Simplify 0 into 0
21.952 * [backup-simplify]: Simplify 1 into 1
21.952 * [backup-simplify]: Simplify (* 1 1) into 1
21.952 * [backup-simplify]: Simplify (* 1 1) into 1
21.953 * [backup-simplify]: Simplify (/ 1 1) into 1
21.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.955 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.956 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.957 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.958 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.960 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.963 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.963 * [backup-simplify]: Simplify 0 into 0
21.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.965 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.966 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.966 * [backup-simplify]: Simplify 0 into 0
21.967 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.967 * [backup-simplify]: Simplify 0 into 0
21.967 * [backup-simplify]: Simplify 0 into 0
21.967 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) 2.0) (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y)))) into (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y)))
21.968 * [approximate]: Taking taylor expansion of (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y))) in (x y) around 0
21.968 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y))) in y
21.968 * [taylor]: Taking taylor expansion of 2.0 in y
21.968 * [backup-simplify]: Simplify 2.0 into 2.0
21.968 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in y
21.968 * [taylor]: Taking taylor expansion of x in y
21.968 * [backup-simplify]: Simplify x into x
21.968 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y
21.968 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
21.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y
21.968 * [taylor]: Taking taylor expansion of y in y
21.968 * [backup-simplify]: Simplify 0 into 0
21.968 * [backup-simplify]: Simplify 1 into 1
21.968 * [backup-simplify]: Simplify (/ 1 1) into 1
21.968 * [taylor]: Taking taylor expansion of (/ 1 x) in y
21.968 * [taylor]: Taking taylor expansion of x in y
21.968 * [backup-simplify]: Simplify x into x
21.968 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
21.968 * [taylor]: Taking taylor expansion of y in y
21.969 * [backup-simplify]: Simplify 0 into 0
21.969 * [backup-simplify]: Simplify 1 into 1
21.969 * [backup-simplify]: Simplify (+ 1 0) into 1
21.969 * [backup-simplify]: Simplify (* 1 0) into 0
21.970 * [backup-simplify]: Simplify (* x 0) into 0
21.970 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.970 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
21.971 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
21.971 * [backup-simplify]: Simplify (+ (* 1 1) (* (- (/ 1 x)) 0)) into 1
21.971 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
21.972 * [backup-simplify]: Simplify (/ 2.0 x) into (/ 2.0 x)
21.972 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x
21.972 * [taylor]: Taking taylor expansion of 2.0 in x
21.972 * [backup-simplify]: Simplify 2.0 into 2.0
21.972 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x
21.972 * [taylor]: Taking taylor expansion of x in x
21.972 * [backup-simplify]: Simplify 0 into 0
21.972 * [backup-simplify]: Simplify 1 into 1
21.972 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x
21.972 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
21.972 * [taylor]: Taking taylor expansion of (/ 1 y) in x
21.972 * [taylor]: Taking taylor expansion of y in x
21.972 * [backup-simplify]: Simplify y into y
21.972 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
21.972 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.972 * [taylor]: Taking taylor expansion of x in x
21.972 * [backup-simplify]: Simplify 0 into 0
21.972 * [backup-simplify]: Simplify 1 into 1
21.972 * [backup-simplify]: Simplify (/ 1 1) into 1
21.972 * [taylor]: Taking taylor expansion of y in x
21.972 * [backup-simplify]: Simplify y into y
21.973 * [backup-simplify]: Simplify (- 1) into -1
21.973 * [backup-simplify]: Simplify (+ 0 -1) into -1
21.973 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
21.973 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0
21.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.974 * [backup-simplify]: Simplify (- 0) into 0
21.975 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
21.975 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1
21.976 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y)
21.976 * [backup-simplify]: Simplify (/ 2.0 (- y)) into (/ -2.0 y)
21.976 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x
21.976 * [taylor]: Taking taylor expansion of 2.0 in x
21.976 * [backup-simplify]: Simplify 2.0 into 2.0
21.976 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x
21.976 * [taylor]: Taking taylor expansion of x in x
21.976 * [backup-simplify]: Simplify 0 into 0
21.976 * [backup-simplify]: Simplify 1 into 1
21.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x
21.976 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
21.976 * [taylor]: Taking taylor expansion of (/ 1 y) in x
21.976 * [taylor]: Taking taylor expansion of y in x
21.976 * [backup-simplify]: Simplify y into y
21.976 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
21.976 * [taylor]: Taking taylor expansion of (/ 1 x) in x
21.976 * [taylor]: Taking taylor expansion of x in x
21.976 * [backup-simplify]: Simplify 0 into 0
21.976 * [backup-simplify]: Simplify 1 into 1
21.977 * [backup-simplify]: Simplify (/ 1 1) into 1
21.977 * [taylor]: Taking taylor expansion of y in x
21.977 * [backup-simplify]: Simplify y into y
21.977 * [backup-simplify]: Simplify (- 1) into -1
21.977 * [backup-simplify]: Simplify (+ 0 -1) into -1
21.977 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
21.978 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0
21.978 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.979 * [backup-simplify]: Simplify (- 0) into 0
21.979 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
21.979 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1
21.980 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y)
21.980 * [backup-simplify]: Simplify (/ 2.0 (- y)) into (/ -2.0 y)
21.980 * [taylor]: Taking taylor expansion of (/ -2.0 y) in y
21.980 * [taylor]: Taking taylor expansion of -2.0 in y
21.980 * [backup-simplify]: Simplify -2.0 into -2.0
21.980 * [taylor]: Taking taylor expansion of y in y
21.980 * [backup-simplify]: Simplify 0 into 0
21.980 * [backup-simplify]: Simplify 1 into 1
21.980 * [backup-simplify]: Simplify (/ -2.0 1) into -2.0
21.981 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)))) into 0
21.981 * [backup-simplify]: Simplify 0 into 0
21.981 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
21.981 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.982 * [backup-simplify]: Simplify (- 0) into 0
21.982 * [backup-simplify]: Simplify (+ 0 0) into 0
21.985 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 y))) into 0
21.986 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1
21.986 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* (/ -2.0 y) (/ 1 (- y))))) into (- (* 2.0 (/ 1 (pow y 2))))
21.986 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 2)))) in y
21.986 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
21.986 * [taylor]: Taking taylor expansion of 2.0 in y
21.986 * [backup-simplify]: Simplify 2.0 into 2.0
21.986 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
21.986 * [taylor]: Taking taylor expansion of (pow y 2) in y
21.986 * [taylor]: Taking taylor expansion of y in y
21.986 * [backup-simplify]: Simplify 0 into 0
21.987 * [backup-simplify]: Simplify 1 into 1
21.987 * [backup-simplify]: Simplify (* 1 1) into 1
21.987 * [backup-simplify]: Simplify (/ 1 1) into 1
21.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.988 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.989 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.990 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
21.990 * [backup-simplify]: Simplify (- 0) into 0
21.990 * [backup-simplify]: Simplify 0 into 0
21.991 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.991 * [backup-simplify]: Simplify 0 into 0
21.991 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
21.991 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.992 * [backup-simplify]: Simplify (- 0) into 0
21.992 * [backup-simplify]: Simplify (+ 0 0) into 0
21.992 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 y)))) into 0
21.993 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0
21.993 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* (/ -2.0 y) (/ 0 (- y))) (* (- (* 2.0 (/ 1 (pow y 2)))) (/ 1 (- y))))) into (- (* 2.0 (/ 1 (pow y 3))))
21.993 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 3)))) in y
21.994 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 3))) in y
21.994 * [taylor]: Taking taylor expansion of 2.0 in y
21.994 * [backup-simplify]: Simplify 2.0 into 2.0
21.994 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
21.994 * [taylor]: Taking taylor expansion of (pow y 3) in y
21.994 * [taylor]: Taking taylor expansion of y in y
21.994 * [backup-simplify]: Simplify 0 into 0
21.994 * [backup-simplify]: Simplify 1 into 1
21.994 * [backup-simplify]: Simplify (* 1 1) into 1
21.994 * [backup-simplify]: Simplify (* 1 1) into 1
21.994 * [backup-simplify]: Simplify (/ 1 1) into 1
21.995 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
21.997 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
21.997 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
21.998 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
21.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
21.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.000 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
22.000 * [backup-simplify]: Simplify (- 0) into 0
22.000 * [backup-simplify]: Simplify 0 into 0
22.001 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
22.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.002 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
22.003 * [backup-simplify]: Simplify (- 0) into 0
22.003 * [backup-simplify]: Simplify 0 into 0
22.003 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.003 * [backup-simplify]: Simplify 0 into 0
22.003 * [backup-simplify]: Simplify 0 into 0
22.003 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
22.004 * [backup-simplify]: Simplify (/ (- x y) y) into (/ (- x y) y)
22.004 * [approximate]: Taking taylor expansion of (/ (- x y) y) in (x y) around 0
22.004 * [taylor]: Taking taylor expansion of (/ (- x y) y) in y
22.004 * [taylor]: Taking taylor expansion of (- x y) in y
22.004 * [taylor]: Taking taylor expansion of x in y
22.004 * [backup-simplify]: Simplify x into x
22.004 * [taylor]: Taking taylor expansion of y in y
22.004 * [backup-simplify]: Simplify 0 into 0
22.004 * [backup-simplify]: Simplify 1 into 1
22.004 * [taylor]: Taking taylor expansion of y in y
22.004 * [backup-simplify]: Simplify 0 into 0
22.004 * [backup-simplify]: Simplify 1 into 1
22.004 * [backup-simplify]: Simplify (- 0) into 0
22.004 * [backup-simplify]: Simplify (+ x 0) into x
22.004 * [backup-simplify]: Simplify (/ x 1) into x
22.004 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x
22.004 * [taylor]: Taking taylor expansion of (- x y) in x
22.004 * [taylor]: Taking taylor expansion of x in x
22.004 * [backup-simplify]: Simplify 0 into 0
22.004 * [backup-simplify]: Simplify 1 into 1
22.004 * [taylor]: Taking taylor expansion of y in x
22.004 * [backup-simplify]: Simplify y into y
22.004 * [taylor]: Taking taylor expansion of y in x
22.004 * [backup-simplify]: Simplify y into y
22.004 * [backup-simplify]: Simplify (- y) into (- y)
22.004 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
22.004 * [backup-simplify]: Simplify (/ (- y) y) into -1
22.004 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x
22.004 * [taylor]: Taking taylor expansion of (- x y) in x
22.004 * [taylor]: Taking taylor expansion of x in x
22.004 * [backup-simplify]: Simplify 0 into 0
22.004 * [backup-simplify]: Simplify 1 into 1
22.005 * [taylor]: Taking taylor expansion of y in x
22.005 * [backup-simplify]: Simplify y into y
22.005 * [taylor]: Taking taylor expansion of y in x
22.005 * [backup-simplify]: Simplify y into y
22.005 * [backup-simplify]: Simplify (- y) into (- y)
22.005 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
22.005 * [backup-simplify]: Simplify (/ (- y) y) into -1
22.005 * [taylor]: Taking taylor expansion of -1 in y
22.005 * [backup-simplify]: Simplify -1 into -1
22.005 * [backup-simplify]: Simplify (- 0) into 0
22.005 * [backup-simplify]: Simplify (+ 1 0) into 1
22.005 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y)
22.005 * [taylor]: Taking taylor expansion of (/ 1 y) in y
22.005 * [taylor]: Taking taylor expansion of y in y
22.005 * [backup-simplify]: Simplify 0 into 0
22.005 * [backup-simplify]: Simplify 1 into 1
22.006 * [backup-simplify]: Simplify (/ 1 1) into 1
22.006 * [backup-simplify]: Simplify 1 into 1
22.006 * [backup-simplify]: Simplify -1 into -1
22.006 * [backup-simplify]: Simplify (- 0) into 0
22.006 * [backup-simplify]: Simplify (+ 0 0) into 0
22.006 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0
22.006 * [taylor]: Taking taylor expansion of 0 in y
22.006 * [backup-simplify]: Simplify 0 into 0
22.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
22.007 * [backup-simplify]: Simplify 0 into 0
22.007 * [backup-simplify]: Simplify 0 into 0
22.007 * [backup-simplify]: Simplify (- 0) into 0
22.007 * [backup-simplify]: Simplify (+ 0 0) into 0
22.008 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
22.008 * [taylor]: Taking taylor expansion of 0 in y
22.008 * [backup-simplify]: Simplify 0 into 0
22.008 * [backup-simplify]: Simplify 0 into 0
22.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.008 * [backup-simplify]: Simplify 0 into 0
22.008 * [backup-simplify]: Simplify 0 into 0
22.008 * [backup-simplify]: Simplify (- 0) into 0
22.009 * [backup-simplify]: Simplify (+ 0 0) into 0
22.009 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
22.009 * [taylor]: Taking taylor expansion of 0 in y
22.009 * [backup-simplify]: Simplify 0 into 0
22.009 * [backup-simplify]: Simplify 0 into 0
22.009 * [backup-simplify]: Simplify (+ -1 (* 1 (* (/ 1 y) x))) into (- (/ x y) 1)
22.009 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (/ 1 y)) into (* y (- (/ 1 x) (/ 1 y)))
22.009 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in (x y) around 0
22.009 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y
22.009 * [taylor]: Taking taylor expansion of y in y
22.009 * [backup-simplify]: Simplify 0 into 0
22.009 * [backup-simplify]: Simplify 1 into 1
22.009 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
22.009 * [taylor]: Taking taylor expansion of (/ 1 x) in y
22.009 * [taylor]: Taking taylor expansion of x in y
22.009 * [backup-simplify]: Simplify x into x
22.009 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
22.009 * [taylor]: Taking taylor expansion of (/ 1 y) in y
22.009 * [taylor]: Taking taylor expansion of y in y
22.009 * [backup-simplify]: Simplify 0 into 0
22.009 * [backup-simplify]: Simplify 1 into 1
22.010 * [backup-simplify]: Simplify (/ 1 1) into 1
22.010 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
22.010 * [taylor]: Taking taylor expansion of y in x
22.010 * [backup-simplify]: Simplify y into y
22.010 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
22.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
22.010 * [taylor]: Taking taylor expansion of x in x
22.010 * [backup-simplify]: Simplify 0 into 0
22.010 * [backup-simplify]: Simplify 1 into 1
22.010 * [backup-simplify]: Simplify (/ 1 1) into 1
22.010 * [taylor]: Taking taylor expansion of (/ 1 y) in x
22.010 * [taylor]: Taking taylor expansion of y in x
22.010 * [backup-simplify]: Simplify y into y
22.010 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
22.010 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
22.010 * [taylor]: Taking taylor expansion of y in x
22.010 * [backup-simplify]: Simplify y into y
22.010 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
22.010 * [taylor]: Taking taylor expansion of (/ 1 x) in x
22.010 * [taylor]: Taking taylor expansion of x in x
22.010 * [backup-simplify]: Simplify 0 into 0
22.010 * [backup-simplify]: Simplify 1 into 1
22.010 * [backup-simplify]: Simplify (/ 1 1) into 1
22.010 * [taylor]: Taking taylor expansion of (/ 1 y) in x
22.010 * [taylor]: Taking taylor expansion of y in x
22.010 * [backup-simplify]: Simplify y into y
22.010 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
22.011 * [backup-simplify]: Simplify (+ 1 0) into 1
22.011 * [backup-simplify]: Simplify (* y 1) into y
22.011 * [taylor]: Taking taylor expansion of y in y
22.011 * [backup-simplify]: Simplify 0 into 0
22.011 * [backup-simplify]: Simplify 1 into 1
22.012 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
22.012 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
22.012 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
22.012 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1)
22.012 * [taylor]: Taking taylor expansion of (- 1) in y
22.012 * [taylor]: Taking taylor expansion of 1 in y
22.012 * [backup-simplify]: Simplify 1 into 1
22.012 * [backup-simplify]: Simplify 0 into 0
22.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.013 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
22.014 * [backup-simplify]: Simplify (- 0) into 0
22.014 * [backup-simplify]: Simplify (+ 0 0) into 0
22.015 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
22.015 * [taylor]: Taking taylor expansion of 0 in y
22.015 * [backup-simplify]: Simplify 0 into 0
22.015 * [backup-simplify]: Simplify (- 1) into -1
22.015 * [backup-simplify]: Simplify -1 into -1
22.015 * [backup-simplify]: Simplify 1 into 1
22.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.016 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
22.017 * [backup-simplify]: Simplify (- 0) into 0
22.017 * [backup-simplify]: Simplify (+ 0 0) into 0
22.018 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
22.018 * [taylor]: Taking taylor expansion of 0 in y
22.018 * [backup-simplify]: Simplify 0 into 0
22.018 * [backup-simplify]: Simplify 0 into 0
22.019 * [backup-simplify]: Simplify (- 0) into 0
22.019 * [backup-simplify]: Simplify 0 into 0
22.019 * [backup-simplify]: Simplify 0 into 0
22.020 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.020 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
22.020 * [backup-simplify]: Simplify (- 0) into 0
22.021 * [backup-simplify]: Simplify (+ 0 0) into 0
22.022 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0
22.022 * [taylor]: Taking taylor expansion of 0 in y
22.022 * [backup-simplify]: Simplify 0 into 0
22.022 * [backup-simplify]: Simplify 0 into 0
22.022 * [backup-simplify]: Simplify 0 into 0
22.023 * [backup-simplify]: Simplify (- 0) into 0
22.023 * [backup-simplify]: Simplify 0 into 0
22.023 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))) -1) into (- (/ x y) 1)
22.023 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* (- (/ 1 y) (/ 1 x)) y))
22.023 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in (x y) around 0
22.023 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in y
22.023 * [taylor]: Taking taylor expansion of -1 in y
22.023 * [backup-simplify]: Simplify -1 into -1
22.023 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y
22.023 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
22.023 * [taylor]: Taking taylor expansion of (/ 1 y) in y
22.023 * [taylor]: Taking taylor expansion of y in y
22.023 * [backup-simplify]: Simplify 0 into 0
22.023 * [backup-simplify]: Simplify 1 into 1
22.024 * [backup-simplify]: Simplify (/ 1 1) into 1
22.024 * [taylor]: Taking taylor expansion of (/ 1 x) in y
22.024 * [taylor]: Taking taylor expansion of x in y
22.024 * [backup-simplify]: Simplify x into x
22.024 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
22.024 * [taylor]: Taking taylor expansion of y in y
22.024 * [backup-simplify]: Simplify 0 into 0
22.024 * [backup-simplify]: Simplify 1 into 1
22.024 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in x
22.024 * [taylor]: Taking taylor expansion of -1 in x
22.024 * [backup-simplify]: Simplify -1 into -1
22.024 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x
22.024 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
22.024 * [taylor]: Taking taylor expansion of (/ 1 y) in x
22.024 * [taylor]: Taking taylor expansion of y in x
22.024 * [backup-simplify]: Simplify y into y
22.024 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
22.024 * [taylor]: Taking taylor expansion of (/ 1 x) in x
22.024 * [taylor]: Taking taylor expansion of x in x
22.024 * [backup-simplify]: Simplify 0 into 0
22.024 * [backup-simplify]: Simplify 1 into 1
22.025 * [backup-simplify]: Simplify (/ 1 1) into 1
22.025 * [taylor]: Taking taylor expansion of y in x
22.025 * [backup-simplify]: Simplify y into y
22.025 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in x
22.025 * [taylor]: Taking taylor expansion of -1 in x
22.025 * [backup-simplify]: Simplify -1 into -1
22.025 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x
22.025 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
22.025 * [taylor]: Taking taylor expansion of (/ 1 y) in x
22.025 * [taylor]: Taking taylor expansion of y in x
22.025 * [backup-simplify]: Simplify y into y
22.025 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
22.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
22.025 * [taylor]: Taking taylor expansion of x in x
22.025 * [backup-simplify]: Simplify 0 into 0
22.025 * [backup-simplify]: Simplify 1 into 1
22.026 * [backup-simplify]: Simplify (/ 1 1) into 1
22.026 * [taylor]: Taking taylor expansion of y in x
22.026 * [backup-simplify]: Simplify y into y
22.026 * [backup-simplify]: Simplify (- 1) into -1
22.027 * [backup-simplify]: Simplify (+ 0 -1) into -1
22.027 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
22.027 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y
22.027 * [taylor]: Taking taylor expansion of y in y
22.027 * [backup-simplify]: Simplify 0 into 0
22.027 * [backup-simplify]: Simplify 1 into 1
22.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
22.028 * [backup-simplify]: Simplify (- 0) into 0
22.028 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
22.029 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1
22.029 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 (* -1 y))) into (- 1)
22.029 * [taylor]: Taking taylor expansion of (- 1) in y
22.029 * [taylor]: Taking taylor expansion of 1 in y
22.029 * [backup-simplify]: Simplify 1 into 1
22.029 * [backup-simplify]: Simplify 0 into 0
22.029 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
22.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.031 * [backup-simplify]: Simplify (- 0) into 0
22.031 * [backup-simplify]: Simplify (+ 0 0) into 0
22.031 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 y))) into 0
22.032 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 (* -1 y)))) into 0
22.032 * [taylor]: Taking taylor expansion of 0 in y
22.032 * [backup-simplify]: Simplify 0 into 0
22.033 * [backup-simplify]: Simplify (- 1) into -1
22.033 * [backup-simplify]: Simplify -1 into -1
22.033 * [backup-simplify]: Simplify 1 into 1
22.033 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
22.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.034 * [backup-simplify]: Simplify (- 0) into 0
22.035 * [backup-simplify]: Simplify (+ 0 0) into 0
22.036 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 y)))) into 0
22.037 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0
22.037 * [taylor]: Taking taylor expansion of 0 in y
22.037 * [backup-simplify]: Simplify 0 into 0
22.037 * [backup-simplify]: Simplify 0 into 0
22.037 * [backup-simplify]: Simplify (- 0) into 0
22.037 * [backup-simplify]: Simplify 0 into 0
22.037 * [backup-simplify]: Simplify 0 into 0
22.038 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0
22.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
22.039 * [backup-simplify]: Simplify (- 0) into 0
22.039 * [backup-simplify]: Simplify (+ 0 0) into 0
22.041 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0
22.042 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0
22.042 * [taylor]: Taking taylor expansion of 0 in y
22.042 * [backup-simplify]: Simplify 0 into 0
22.042 * [backup-simplify]: Simplify 0 into 0
22.042 * [backup-simplify]: Simplify 0 into 0
22.043 * [backup-simplify]: Simplify (- 0) into 0
22.043 * [backup-simplify]: Simplify 0 into 0
22.043 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))) -1) into (- (/ x y) 1)
22.043 * * * [progress]: simplifying candidates
22.046 * [simplify]: Simplifying:
  (- (+ (log x) (log 2.0)) (- (log (- x y)) (log y)))
  (- (+ (log x) (log 2.0)) (log (/ (- x y) y)))
  (- (log (* x 2.0)) (- (log (- x y)) (log y)))
  (- (log (* x 2.0)) (log (/ (- x y) y)))
  (log (/ (* x 2.0) (/ (- x y) y)))
  (exp (/ (* x 2.0) (/ (- x y) y)))
  (/ (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))
  (/ (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))
  (/ (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)))
  (/ (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)))
  (* (cbrt (/ (* x 2.0) (/ (- x y) y))) (cbrt (/ (* x 2.0) (/ (- x y) y))))
  (cbrt (/ (* x 2.0) (/ (- x y) y)))
  (* (* (/ (* x 2.0) (/ (- x y) y)) (/ (* x 2.0) (/ (- x y) y))) (/ (* x 2.0) (/ (- x y) y)))
  (sqrt (/ (* x 2.0) (/ (- x y) y)))
  (sqrt (/ (* x 2.0) (/ (- x y) y)))
  (- (* x 2.0))
  (- (/ (- x y) y))
  (/ x (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))))
  (/ 2.0 (cbrt (/ (- x y) y)))
  (/ x (sqrt (/ (- x y) y)))
  (/ 2.0 (sqrt (/ (- x y) y)))
  (/ x (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y))))
  (/ 2.0 (/ (cbrt (- x y)) (cbrt y)))
  (/ x (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y)))
  (/ 2.0 (/ (cbrt (- x y)) (sqrt y)))
  (/ x (/ (* (cbrt (- x y)) (cbrt (- x y))) 1))
  (/ 2.0 (/ (cbrt (- x y)) y))
  (/ x (/ (sqrt (- x y)) (* (cbrt y) (cbrt y))))
  (/ 2.0 (/ (sqrt (- x y)) (cbrt y)))
  (/ x (/ (sqrt (- x y)) (sqrt y)))
  (/ 2.0 (/ (sqrt (- x y)) (sqrt y)))
  (/ x (/ (sqrt (- x y)) 1))
  (/ 2.0 (/ (sqrt (- x y)) y))
  (/ x (/ 1 (* (cbrt y) (cbrt y))))
  (/ 2.0 (/ (- x y) (cbrt y)))
  (/ x (/ 1 (sqrt y)))
  (/ 2.0 (/ (- x y) (sqrt y)))
  (/ x (/ 1 1))
  (/ 2.0 (/ (- x y) y))
  (/ x (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ 2.0 (/ (- (sqrt x) (sqrt y)) (cbrt y)))
  (/ x (/ (+ (sqrt x) (sqrt y)) (sqrt y)))
  (/ 2.0 (/ (- (sqrt x) (sqrt y)) (sqrt y)))
  (/ x (/ (+ (sqrt x) (sqrt y)) 1))
  (/ 2.0 (/ (- (sqrt x) (sqrt y)) y))
  (/ x (/ 1 (* (cbrt y) (cbrt y))))
  (/ 2.0 (/ (- x y) (cbrt y)))
  (/ x (/ 1 (sqrt y)))
  (/ 2.0 (/ (- x y) (sqrt y)))
  (/ x (/ 1 1))
  (/ 2.0 (/ (- x y) y))
  (/ x 1)
  (/ 2.0 (/ (- x y) y))
  (/ x (- x y))
  (/ 2.0 (/ 1 y))
  (/ 1 (/ (- x y) y))
  (/ (/ (- x y) y) (* x 2.0))
  (/ (* x 2.0) (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))))
  (/ (* x 2.0) (sqrt (/ (- x y) y)))
  (/ (* x 2.0) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y))))
  (/ (* x 2.0) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y)))
  (/ (* x 2.0) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1))
  (/ (* x 2.0) (/ (sqrt (- x y)) (* (cbrt y) (cbrt y))))
  (/ (* x 2.0) (/ (sqrt (- x y)) (sqrt y)))
  (/ (* x 2.0) (/ (sqrt (- x y)) 1))
  (/ (* x 2.0) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (* x 2.0) (/ 1 (sqrt y)))
  (/ (* x 2.0) (/ 1 1))
  (/ (* x 2.0) (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y))))
  (/ (* x 2.0) (/ (+ (sqrt x) (sqrt y)) (sqrt y)))
  (/ (* x 2.0) (/ (+ (sqrt x) (sqrt y)) 1))
  (/ (* x 2.0) (/ 1 (* (cbrt y) (cbrt y))))
  (/ (* x 2.0) (/ 1 (sqrt y)))
  (/ (* x 2.0) (/ 1 1))
  (/ (* x 2.0) 1)
  (/ (* x 2.0) (- x y))
  (/ (/ (- x y) y) 2.0)
  (/ (* x 2.0) (- x y))
  (- (log (- x y)) (log y))
  (log (/ (- x y) y))
  (exp (/ (- x y) y))
  (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y))
  (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y)))
  (cbrt (/ (- x y) y))
  (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y))
  (sqrt (/ (- x y) y))
  (sqrt (/ (- x y) y))
  (- (- x y))
  (- y)
  (/ x y)
  (/ y y)
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y)))
  (/ (cbrt (- x y)) (cbrt y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y))
  (/ (cbrt (- x y)) (sqrt y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)
  (/ (cbrt (- x y)) y)
  (/ (sqrt (- x y)) (* (cbrt y) (cbrt y)))
  (/ (sqrt (- x y)) (cbrt y))
  (/ (sqrt (- x y)) (sqrt y))
  (/ (sqrt (- x y)) (sqrt y))
  (/ (sqrt (- x y)) 1)
  (/ (sqrt (- x y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x y) (sqrt y))
  (/ 1 1)
  (/ (- x y) y)
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt y)) (cbrt y))
  (/ (+ (sqrt x) (sqrt y)) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) (sqrt y))
  (/ (+ (sqrt x) (sqrt y)) 1)
  (/ (- (sqrt x) (sqrt y)) y)
  (/ 1 (* (cbrt y) (cbrt y)))
  (/ (- x y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x y) (sqrt y))
  (/ 1 1)
  (/ (- x y) y)
  (/ 1 y)
  (/ y (- x y))
  (/ (- x y) (* (cbrt y) (cbrt y)))
  (/ (- x y) (sqrt y))
  (/ (- x y) 1)
  (/ y (cbrt (- x y)))
  (/ y (sqrt (- x y)))
  (/ y (- x y))
  (/ y (- (sqrt x) (sqrt y)))
  (/ y (- x y))
  (* y (+ (* x x) (+ (* y y) (* x y))))
  (* y (+ x y))
  0
  0
  0
  (- (/ x y) 1)
  (- (/ x y) 1)
  (- (/ x y) 1)
22.048 * * [simplify]: iteration 0: 151 enodes
22.113 * * [simplify]: iteration 1: 422 enodes
22.453 * * [simplify]: iteration 2: 2492 enodes
23.035 * * [simplify]: iteration complete: 5001 enodes
23.035 * * [simplify]: Extracting #0: cost 100 inf + 0
23.038 * * [simplify]: Extracting #1: cost 791 inf + 3
23.047 * * [simplify]: Extracting #2: cost 2067 inf + 302
23.062 * * [simplify]: Extracting #3: cost 1458 inf + 5842
23.077 * * [simplify]: Extracting #4: cost 226 inf + 16982
23.092 * * [simplify]: Extracting #5: cost 5 inf + 19785
23.112 * * [simplify]: Extracting #6: cost 0 inf + 19843
23.126 * [simplify]: Simplified to:
  (log (* (/ x (- x y)) (* 2.0 y)))
  (log (* (/ x (- x y)) (* 2.0 y)))
  (log (* (/ x (- x y)) (* 2.0 y)))
  (log (* (/ x (- x y)) (* 2.0 y)))
  (log (* (/ x (- x y)) (* 2.0 y)))
  (exp (* (/ x (- x y)) (* 2.0 y)))
  (/ (* (pow 2.0 3) (pow x 3)) (pow (- (/ x y) 1) 3))
  (/ (* (pow 2.0 3) (pow x 3)) (pow (- (/ x y) 1) 3))
  (/ (pow (* 2.0 x) 3) (pow (- (/ x y) 1) 3))
  (/ (pow (* 2.0 x) 3) (pow (- (/ x y) 1) 3))
  (* (cbrt (* (/ x (- x y)) (* 2.0 y))) (cbrt (* (/ x (- x y)) (* 2.0 y))))
  (cbrt (* (/ x (- x y)) (* 2.0 y)))
  (pow (* (/ x (- x y)) (* 2.0 y)) 3)
  (sqrt (* (/ x (- x y)) (* 2.0 y)))
  (sqrt (* (/ x (- x y)) (* 2.0 y)))
  (- (* x 2.0))
  (+ (- (/ x y)) 1)
  (/ (/ x (cbrt (- (/ x y) 1))) (cbrt (- (/ x y) 1)))
  (/ 2.0 (cbrt (- (/ x y) 1)))
  (/ x (sqrt (- (/ x y) 1)))
  (/ 2.0 (sqrt (- (/ x y) 1)))
  (/ (* x (* (cbrt y) (cbrt y))) (* (cbrt (- x y)) (cbrt (- x y))))
  (/ (* 2.0 (cbrt y)) (cbrt (- x y)))
  (* (sqrt y) (/ x (* (cbrt (- x y)) (cbrt (- x y)))))
  (* (/ 2.0 (cbrt (- x y))) (sqrt y))
  (/ x (* (cbrt (- x y)) (cbrt (- x y))))
  (/ (* 2.0 y) (cbrt (- x y)))
  (/ (* x (* (cbrt y) (cbrt y))) (sqrt (- x y)))
  (* (/ 2.0 (sqrt (- x y))) (cbrt y))
  (* (sqrt y) (/ x (sqrt (- x y))))
  (* (/ 2.0 (sqrt (- x y))) (sqrt y))
  (/ x (sqrt (- x y)))
  (* (/ 2.0 (sqrt (- x y))) y)
  (* x (* (cbrt y) (cbrt y)))
  (* (/ 2.0 (- x y)) (cbrt y))
  (* (sqrt y) x)
  (* (/ 2.0 (- x y)) (sqrt y))
  x
  (* (/ 2.0 (- x y)) y)
  (* (/ x (+ (sqrt x) (sqrt y))) (* (cbrt y) (cbrt y)))
  (/ (* 2.0 (cbrt y)) (- (sqrt x) (sqrt y)))
  (* (sqrt y) (/ x (+ (sqrt x) (sqrt y))))
  (/ 2.0 (+ (/ (sqrt x) (sqrt y)) -1))
  (/ x (+ (sqrt x) (sqrt y)))
  (/ (* 2.0 y) (- (sqrt x) (sqrt y)))
  (* x (* (cbrt y) (cbrt y)))
  (* (/ 2.0 (- x y)) (cbrt y))
  (* (sqrt y) x)
  (* (/ 2.0 (- x y)) (sqrt y))
  x
  (* (/ 2.0 (- x y)) y)
  x
  (* (/ 2.0 (- x y)) y)
  (/ x (- x y))
  (* 2.0 y)
  (* (/ 1 (- x y)) y)
  (/ (- x y) (* (* 2.0 x) y))
  (/ (/ (* 2.0 x) (cbrt (- (/ x y) 1))) (cbrt (- (/ x y) 1)))
  (* (/ x (sqrt (- (/ x y) 1))) 2.0)
  (* (/ x (/ (* (cbrt (- x y)) (cbrt (- x y))) 2.0)) (* (cbrt y) (cbrt y)))
  (/ (* 2.0 x) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y)))
  (/ x (/ (* (cbrt (- x y)) (cbrt (- x y))) 2.0))
  (/ x (/ (sqrt (- x y)) (* 2.0 (* (cbrt y) (cbrt y)))))
  (/ x (/ (sqrt (- x y)) (* 2.0 (sqrt y))))
  (/ x (/ (sqrt (- x y)) 2.0))
  (* (* (* 2.0 x) (cbrt y)) (cbrt y))
  (* (* 2.0 x) (sqrt y))
  (* 2.0 x)
  (/ x (/ (+ (sqrt x) (sqrt y)) (* 2.0 (* (cbrt y) (cbrt y)))))
  (* (/ (* 2.0 x) (+ (sqrt x) (sqrt y))) (sqrt y))
  (* (/ x (+ (sqrt x) (sqrt y))) 2.0)
  (* (* (* 2.0 x) (cbrt y)) (cbrt y))
  (* (* 2.0 x) (sqrt y))
  (* 2.0 x)
  (* 2.0 x)
  (/ 2.0 (/ (- x y) x))
  (/ (/ (- x y) 2.0) y)
  (/ 2.0 (/ (- x y) x))
  (log (- (/ x y) 1))
  (log (- (/ x y) 1))
  (/ (exp (/ x y)) E)
  (pow (- (/ x y) 1) 3)
  (* (cbrt (- (/ x y) 1)) (cbrt (- (/ x y) 1)))
  (cbrt (- (/ x y) 1))
  (pow (- (/ x y) 1) 3)
  (sqrt (- (/ x y) 1))
  (sqrt (- (/ x y) 1))
  (- (- x y))
  (- y)
  (/ x y)
  1
  (/ (* (/ (cbrt (- x y)) (cbrt y)) (cbrt (- x y))) (cbrt y))
  (/ (cbrt (- x y)) (cbrt y))
  (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y))
  (/ (cbrt (- x y)) (sqrt y))
  (* (cbrt (- x y)) (cbrt (- x y)))
  (/ (cbrt (- x y)) y)
  (/ (/ (sqrt (- x y)) (cbrt y)) (cbrt y))
  (/ (sqrt (- x y)) (cbrt y))
  (/ (sqrt (- x y)) (sqrt y))
  (/ (sqrt (- x y)) (sqrt y))
  (sqrt (- x y))
  (/ (sqrt (- x y)) y)
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x y) (sqrt y))
  1
  (- (/ x y) 1)
  (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y)))
  (/ (- (sqrt x) (sqrt y)) (cbrt y))
  (/ (+ (sqrt x) (sqrt y)) (sqrt y))
  (+ (/ (sqrt x) (sqrt y)) -1)
  (+ (sqrt x) (sqrt y))
  (/ (- (sqrt x) (sqrt y)) y)
  (/ (/ 1 (cbrt y)) (cbrt y))
  (/ (- x y) (cbrt y))
  (/ 1 (sqrt y))
  (/ (- x y) (sqrt y))
  1
  (- (/ x y) 1)
  (/ 1 y)
  (/ y (- x y))
  (/ (/ (- x y) (cbrt y)) (cbrt y))
  (/ (- x y) (sqrt y))
  (- x y)
  (/ y (cbrt (- x y)))
  (/ y (sqrt (- x y)))
  (/ y (- x y))
  (/ y (- (sqrt x) (sqrt y)))
  (/ y (- x y))
  (* (+ (* x x) (* y (+ y x))) y)
  (* y (+ y x))
  0
  0
  0
  (- (/ x y) 1)
  (- (/ x y) 1)
  (- (/ x y) 1)
23.127 * * * [progress]: adding candidates to table
23.455 * * [progress]: iteration 2 / 4
23.455 * * * [progress]: picking best candidate
23.464 * * * * [pick]: Picked  #<alt (λ (x y) (* (/ x (- x y)) (* 2.0 y)))>
23.464 * * * [progress]: localizing error
23.480 * * * [progress]: generating rewritten candidates
23.480 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
23.514 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
23.538 * * * [progress]: generating series expansions
23.538 * * * * [progress]: [ 1 / 2 ] generating series at (2)
23.539 * [backup-simplify]: Simplify (* (/ x (- x y)) (* 2.0 y)) into (* 2.0 (/ (* x y) (- x y)))
23.539 * [approximate]: Taking taylor expansion of (* 2.0 (/ (* x y) (- x y))) in (x y) around 0
23.539 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* x y) (- x y))) in y
23.539 * [taylor]: Taking taylor expansion of 2.0 in y
23.539 * [backup-simplify]: Simplify 2.0 into 2.0
23.539 * [taylor]: Taking taylor expansion of (/ (* x y) (- x y)) in y
23.539 * [taylor]: Taking taylor expansion of (* x y) in y
23.539 * [taylor]: Taking taylor expansion of x in y
23.539 * [backup-simplify]: Simplify x into x
23.539 * [taylor]: Taking taylor expansion of y in y
23.539 * [backup-simplify]: Simplify 0 into 0
23.539 * [backup-simplify]: Simplify 1 into 1
23.539 * [taylor]: Taking taylor expansion of (- x y) in y
23.539 * [taylor]: Taking taylor expansion of x in y
23.539 * [backup-simplify]: Simplify x into x
23.539 * [taylor]: Taking taylor expansion of y in y
23.539 * [backup-simplify]: Simplify 0 into 0
23.539 * [backup-simplify]: Simplify 1 into 1
23.539 * [backup-simplify]: Simplify (* x 0) into 0
23.540 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
23.540 * [backup-simplify]: Simplify (- 0) into 0
23.541 * [backup-simplify]: Simplify (+ x 0) into x
23.541 * [backup-simplify]: Simplify (/ x x) into 1
23.541 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* x y) (- x y))) in x
23.541 * [taylor]: Taking taylor expansion of 2.0 in x
23.541 * [backup-simplify]: Simplify 2.0 into 2.0
23.541 * [taylor]: Taking taylor expansion of (/ (* x y) (- x y)) in x
23.541 * [taylor]: Taking taylor expansion of (* x y) in x
23.541 * [taylor]: Taking taylor expansion of x in x
23.541 * [backup-simplify]: Simplify 0 into 0
23.541 * [backup-simplify]: Simplify 1 into 1
23.541 * [taylor]: Taking taylor expansion of y in x
23.541 * [backup-simplify]: Simplify y into y
23.541 * [taylor]: Taking taylor expansion of (- x y) in x
23.541 * [taylor]: Taking taylor expansion of x in x
23.541 * [backup-simplify]: Simplify 0 into 0
23.541 * [backup-simplify]: Simplify 1 into 1
23.541 * [taylor]: Taking taylor expansion of y in x
23.541 * [backup-simplify]: Simplify y into y
23.541 * [backup-simplify]: Simplify (* 0 y) into 0
23.541 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
23.541 * [backup-simplify]: Simplify (- y) into (- y)
23.542 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
23.542 * [backup-simplify]: Simplify (/ y (- y)) into -1
23.542 * [taylor]: Taking taylor expansion of (* 2.0 (/ (* x y) (- x y))) in x
23.542 * [taylor]: Taking taylor expansion of 2.0 in x
23.542 * [backup-simplify]: Simplify 2.0 into 2.0
23.542 * [taylor]: Taking taylor expansion of (/ (* x y) (- x y)) in x
23.542 * [taylor]: Taking taylor expansion of (* x y) in x
23.542 * [taylor]: Taking taylor expansion of x in x
23.542 * [backup-simplify]: Simplify 0 into 0
23.542 * [backup-simplify]: Simplify 1 into 1
23.542 * [taylor]: Taking taylor expansion of y in x
23.542 * [backup-simplify]: Simplify y into y
23.542 * [taylor]: Taking taylor expansion of (- x y) in x
23.542 * [taylor]: Taking taylor expansion of x in x
23.542 * [backup-simplify]: Simplify 0 into 0
23.542 * [backup-simplify]: Simplify 1 into 1
23.542 * [taylor]: Taking taylor expansion of y in x
23.542 * [backup-simplify]: Simplify y into y
23.542 * [backup-simplify]: Simplify (* 0 y) into 0
23.542 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y
23.542 * [backup-simplify]: Simplify (- y) into (- y)
23.543 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
23.543 * [backup-simplify]: Simplify (/ y (- y)) into -1
23.543 * [backup-simplify]: Simplify (* 2.0 -1) into -2.0
23.543 * [taylor]: Taking taylor expansion of -2.0 in y
23.543 * [backup-simplify]: Simplify -2.0 into -2.0
23.543 * [backup-simplify]: Simplify 0 into 0
23.544 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0
23.544 * [backup-simplify]: Simplify (- 0) into 0
23.544 * [backup-simplify]: Simplify (+ 1 0) into 1
23.544 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* -1 (/ 1 (- y))))) into (- (/ 1 y))
23.545 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 -1)) into (- (* 2.0 (/ 1 y)))
23.545 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y
23.545 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
23.545 * [taylor]: Taking taylor expansion of 2.0 in y
23.545 * [backup-simplify]: Simplify 2.0 into 2.0
23.545 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.545 * [taylor]: Taking taylor expansion of y in y
23.545 * [backup-simplify]: Simplify 0 into 0
23.545 * [backup-simplify]: Simplify 1 into 1
23.545 * [backup-simplify]: Simplify (/ 1 1) into 1
23.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.547 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
23.547 * [backup-simplify]: Simplify (- 0) into 0
23.547 * [backup-simplify]: Simplify 0 into 0
23.547 * [backup-simplify]: Simplify 0 into 0
23.548 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0
23.548 * [backup-simplify]: Simplify (- 0) into 0
23.548 * [backup-simplify]: Simplify (+ 0 0) into 0
23.548 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* -1 (/ 0 (- y))) (* (- (/ 1 y)) (/ 1 (- y))))) into (- (/ 1 (pow y 2)))
23.549 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 (pow y 2)))) (+ (* 0 (- (/ 1 y))) (* 0 -1))) into (- (* 2.0 (/ 1 (pow y 2))))
23.549 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 2)))) in y
23.549 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
23.549 * [taylor]: Taking taylor expansion of 2.0 in y
23.549 * [backup-simplify]: Simplify 2.0 into 2.0
23.549 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
23.549 * [taylor]: Taking taylor expansion of (pow y 2) in y
23.549 * [taylor]: Taking taylor expansion of y in y
23.549 * [backup-simplify]: Simplify 0 into 0
23.549 * [backup-simplify]: Simplify 1 into 1
23.549 * [backup-simplify]: Simplify (* 1 1) into 1
23.549 * [backup-simplify]: Simplify (/ 1 1) into 1
23.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.550 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.551 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.551 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.553 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.553 * [backup-simplify]: Simplify (- 0) into 0
23.553 * [backup-simplify]: Simplify 0 into 0
23.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.555 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.555 * [backup-simplify]: Simplify (- 0) into 0
23.555 * [backup-simplify]: Simplify 0 into 0
23.555 * [backup-simplify]: Simplify 0 into 0
23.555 * [backup-simplify]: Simplify 0 into 0
23.555 * [backup-simplify]: Simplify (* (/ (/ 1 x) (- (/ 1 x) (/ 1 y))) (* 2.0 (/ 1 y))) into (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y)))))
23.555 * [approximate]: Taking taylor expansion of (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0
23.555 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y))))) in y
23.555 * [taylor]: Taking taylor expansion of 2.0 in y
23.555 * [backup-simplify]: Simplify 2.0 into 2.0
23.555 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y
23.555 * [taylor]: Taking taylor expansion of x in y
23.555 * [backup-simplify]: Simplify x into x
23.555 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y
23.555 * [taylor]: Taking taylor expansion of y in y
23.555 * [backup-simplify]: Simplify 0 into 0
23.555 * [backup-simplify]: Simplify 1 into 1
23.555 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
23.555 * [taylor]: Taking taylor expansion of (/ 1 x) in y
23.555 * [taylor]: Taking taylor expansion of x in y
23.555 * [backup-simplify]: Simplify x into x
23.555 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.555 * [taylor]: Taking taylor expansion of y in y
23.555 * [backup-simplify]: Simplify 0 into 0
23.555 * [backup-simplify]: Simplify 1 into 1
23.556 * [backup-simplify]: Simplify (/ 1 1) into 1
23.556 * [backup-simplify]: Simplify (- 1) into -1
23.556 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.556 * [backup-simplify]: Simplify (* 0 -1) into 0
23.556 * [backup-simplify]: Simplify (* x 0) into 0
23.557 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.557 * [backup-simplify]: Simplify (- 0) into 0
23.557 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x)
23.558 * [backup-simplify]: Simplify (+ (* 0 (/ 1 x)) (* 1 -1)) into (- 1)
23.558 * [backup-simplify]: Simplify (+ (* x (- 1)) (* 0 0)) into (- x)
23.558 * [backup-simplify]: Simplify (/ 2.0 (- x)) into (/ -2.0 x)
23.558 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
23.558 * [taylor]: Taking taylor expansion of 2.0 in x
23.558 * [backup-simplify]: Simplify 2.0 into 2.0
23.558 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
23.558 * [taylor]: Taking taylor expansion of x in x
23.558 * [backup-simplify]: Simplify 0 into 0
23.558 * [backup-simplify]: Simplify 1 into 1
23.558 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
23.558 * [taylor]: Taking taylor expansion of y in x
23.558 * [backup-simplify]: Simplify y into y
23.558 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
23.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.558 * [taylor]: Taking taylor expansion of x in x
23.558 * [backup-simplify]: Simplify 0 into 0
23.558 * [backup-simplify]: Simplify 1 into 1
23.559 * [backup-simplify]: Simplify (/ 1 1) into 1
23.559 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.559 * [taylor]: Taking taylor expansion of y in x
23.559 * [backup-simplify]: Simplify y into y
23.559 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.559 * [backup-simplify]: Simplify (+ 1 0) into 1
23.559 * [backup-simplify]: Simplify (* y 1) into y
23.559 * [backup-simplify]: Simplify (* 0 y) into 0
23.559 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.559 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
23.560 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
23.560 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1)
23.560 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y
23.560 * [backup-simplify]: Simplify (/ 2.0 y) into (/ 2.0 y)
23.560 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* y (- (/ 1 x) (/ 1 y))))) in x
23.560 * [taylor]: Taking taylor expansion of 2.0 in x
23.560 * [backup-simplify]: Simplify 2.0 into 2.0
23.560 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x
23.560 * [taylor]: Taking taylor expansion of x in x
23.560 * [backup-simplify]: Simplify 0 into 0
23.560 * [backup-simplify]: Simplify 1 into 1
23.560 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x
23.560 * [taylor]: Taking taylor expansion of y in x
23.560 * [backup-simplify]: Simplify y into y
23.560 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
23.560 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.560 * [taylor]: Taking taylor expansion of x in x
23.561 * [backup-simplify]: Simplify 0 into 0
23.561 * [backup-simplify]: Simplify 1 into 1
23.561 * [backup-simplify]: Simplify (/ 1 1) into 1
23.561 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.561 * [taylor]: Taking taylor expansion of y in x
23.561 * [backup-simplify]: Simplify y into y
23.561 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.561 * [backup-simplify]: Simplify (+ 1 0) into 1
23.561 * [backup-simplify]: Simplify (* y 1) into y
23.561 * [backup-simplify]: Simplify (* 0 y) into 0
23.562 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.562 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
23.562 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
23.562 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1)
23.562 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y
23.562 * [backup-simplify]: Simplify (/ 2.0 y) into (/ 2.0 y)
23.563 * [taylor]: Taking taylor expansion of (/ 2.0 y) in y
23.563 * [taylor]: Taking taylor expansion of 2.0 in y
23.563 * [backup-simplify]: Simplify 2.0 into 2.0
23.563 * [taylor]: Taking taylor expansion of y in y
23.563 * [backup-simplify]: Simplify 0 into 0
23.563 * [backup-simplify]: Simplify 1 into 1
23.563 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
23.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)))) into 0
23.563 * [backup-simplify]: Simplify 0 into 0
23.564 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.564 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
23.564 * [backup-simplify]: Simplify (- 0) into 0
23.565 * [backup-simplify]: Simplify (+ 0 0) into 0
23.565 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0
23.565 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1)
23.566 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 2.0 y) (/ (- 1) y)))) into (* 2.0 (/ 1 (pow y 2)))
23.566 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
23.566 * [taylor]: Taking taylor expansion of 2.0 in y
23.566 * [backup-simplify]: Simplify 2.0 into 2.0
23.566 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
23.566 * [taylor]: Taking taylor expansion of (pow y 2) in y
23.566 * [taylor]: Taking taylor expansion of y in y
23.566 * [backup-simplify]: Simplify 0 into 0
23.566 * [backup-simplify]: Simplify 1 into 1
23.566 * [backup-simplify]: Simplify (* 1 1) into 1
23.566 * [backup-simplify]: Simplify (/ 1 1) into 1
23.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.567 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.568 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.569 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
23.569 * [backup-simplify]: Simplify 0 into 0
23.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.569 * [backup-simplify]: Simplify 0 into 0
23.570 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.570 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
23.570 * [backup-simplify]: Simplify (- 0) into 0
23.571 * [backup-simplify]: Simplify (+ 0 0) into 0
23.571 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
23.572 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0
23.572 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 2.0 y) (/ 0 y)) (* (* 2.0 (/ 1 (pow y 2))) (/ (- 1) y)))) into (* 2.0 (/ 1 (pow y 3)))
23.573 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 3))) in y
23.573 * [taylor]: Taking taylor expansion of 2.0 in y
23.573 * [backup-simplify]: Simplify 2.0 into 2.0
23.573 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
23.573 * [taylor]: Taking taylor expansion of (pow y 3) in y
23.573 * [taylor]: Taking taylor expansion of y in y
23.573 * [backup-simplify]: Simplify 0 into 0
23.573 * [backup-simplify]: Simplify 1 into 1
23.573 * [backup-simplify]: Simplify (* 1 1) into 1
23.573 * [backup-simplify]: Simplify (* 1 1) into 1
23.573 * [backup-simplify]: Simplify (/ 1 1) into 1
23.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.575 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.576 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.576 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.578 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.579 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.579 * [backup-simplify]: Simplify 0 into 0
23.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.582 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.582 * [backup-simplify]: Simplify 0 into 0
23.583 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.583 * [backup-simplify]: Simplify 0 into 0
23.583 * [backup-simplify]: Simplify 0 into 0
23.583 * [backup-simplify]: Simplify (* (/ (/ 1 (- x)) (- (/ 1 (- x)) (/ 1 (- y)))) (* 2.0 (/ 1 (- y)))) into (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y)))
23.583 * [approximate]: Taking taylor expansion of (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y))) in (x y) around 0
23.583 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y))) in y
23.583 * [taylor]: Taking taylor expansion of 2.0 in y
23.583 * [backup-simplify]: Simplify 2.0 into 2.0
23.583 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in y
23.583 * [taylor]: Taking taylor expansion of x in y
23.584 * [backup-simplify]: Simplify x into x
23.584 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y
23.584 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
23.584 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.584 * [taylor]: Taking taylor expansion of y in y
23.584 * [backup-simplify]: Simplify 0 into 0
23.584 * [backup-simplify]: Simplify 1 into 1
23.584 * [backup-simplify]: Simplify (/ 1 1) into 1
23.584 * [taylor]: Taking taylor expansion of (/ 1 x) in y
23.584 * [taylor]: Taking taylor expansion of x in y
23.584 * [backup-simplify]: Simplify x into x
23.584 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.584 * [taylor]: Taking taylor expansion of y in y
23.584 * [backup-simplify]: Simplify 0 into 0
23.584 * [backup-simplify]: Simplify 1 into 1
23.585 * [backup-simplify]: Simplify (+ 1 0) into 1
23.585 * [backup-simplify]: Simplify (* 1 0) into 0
23.585 * [backup-simplify]: Simplify (* x 0) into 0
23.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.586 * [backup-simplify]: Simplify (- (/ 1 x)) into (- (/ 1 x))
23.586 * [backup-simplify]: Simplify (+ 0 (- (/ 1 x))) into (- (/ 1 x))
23.587 * [backup-simplify]: Simplify (+ (* 1 1) (* (- (/ 1 x)) 0)) into 1
23.588 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x
23.588 * [backup-simplify]: Simplify (/ 2.0 x) into (/ 2.0 x)
23.588 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x
23.588 * [taylor]: Taking taylor expansion of 2.0 in x
23.588 * [backup-simplify]: Simplify 2.0 into 2.0
23.588 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x
23.588 * [taylor]: Taking taylor expansion of x in x
23.588 * [backup-simplify]: Simplify 0 into 0
23.588 * [backup-simplify]: Simplify 1 into 1
23.588 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x
23.588 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
23.588 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.588 * [taylor]: Taking taylor expansion of y in x
23.588 * [backup-simplify]: Simplify y into y
23.588 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.588 * [taylor]: Taking taylor expansion of x in x
23.588 * [backup-simplify]: Simplify 0 into 0
23.588 * [backup-simplify]: Simplify 1 into 1
23.589 * [backup-simplify]: Simplify (/ 1 1) into 1
23.589 * [taylor]: Taking taylor expansion of y in x
23.589 * [backup-simplify]: Simplify y into y
23.589 * [backup-simplify]: Simplify (- 1) into -1
23.590 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.590 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
23.590 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0
23.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.591 * [backup-simplify]: Simplify (- 0) into 0
23.591 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
23.592 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1
23.592 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y)
23.592 * [backup-simplify]: Simplify (/ 2.0 (- y)) into (/ -2.0 y)
23.592 * [taylor]: Taking taylor expansion of (/ 2.0 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x
23.592 * [taylor]: Taking taylor expansion of 2.0 in x
23.593 * [backup-simplify]: Simplify 2.0 into 2.0
23.593 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x
23.593 * [taylor]: Taking taylor expansion of x in x
23.593 * [backup-simplify]: Simplify 0 into 0
23.593 * [backup-simplify]: Simplify 1 into 1
23.593 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x
23.593 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
23.593 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.593 * [taylor]: Taking taylor expansion of y in x
23.593 * [backup-simplify]: Simplify y into y
23.593 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.593 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.593 * [taylor]: Taking taylor expansion of x in x
23.593 * [backup-simplify]: Simplify 0 into 0
23.593 * [backup-simplify]: Simplify 1 into 1
23.594 * [backup-simplify]: Simplify (/ 1 1) into 1
23.594 * [taylor]: Taking taylor expansion of y in x
23.594 * [backup-simplify]: Simplify y into y
23.594 * [backup-simplify]: Simplify (- 1) into -1
23.595 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.595 * [backup-simplify]: Simplify (* -1 y) into (* -1 y)
23.595 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0
23.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.596 * [backup-simplify]: Simplify (- 0) into 0
23.596 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
23.597 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1
23.597 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y)
23.597 * [backup-simplify]: Simplify (/ 2.0 (- y)) into (/ -2.0 y)
23.597 * [taylor]: Taking taylor expansion of (/ -2.0 y) in y
23.597 * [taylor]: Taking taylor expansion of -2.0 in y
23.597 * [backup-simplify]: Simplify -2.0 into -2.0
23.597 * [taylor]: Taking taylor expansion of y in y
23.597 * [backup-simplify]: Simplify 0 into 0
23.597 * [backup-simplify]: Simplify 1 into 1
23.598 * [backup-simplify]: Simplify (/ -2.0 1) into -2.0
23.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)))) into 0
23.599 * [backup-simplify]: Simplify 0 into 0
23.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
23.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.601 * [backup-simplify]: Simplify (- 0) into 0
23.601 * [backup-simplify]: Simplify (+ 0 0) into 0
23.602 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 y))) into 0
23.602 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1
23.603 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* (/ -2.0 y) (/ 1 (- y))))) into (- (* 2.0 (/ 1 (pow y 2))))
23.603 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 2)))) in y
23.603 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
23.603 * [taylor]: Taking taylor expansion of 2.0 in y
23.603 * [backup-simplify]: Simplify 2.0 into 2.0
23.603 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
23.603 * [taylor]: Taking taylor expansion of (pow y 2) in y
23.603 * [taylor]: Taking taylor expansion of y in y
23.603 * [backup-simplify]: Simplify 0 into 0
23.603 * [backup-simplify]: Simplify 1 into 1
23.604 * [backup-simplify]: Simplify (* 1 1) into 1
23.604 * [backup-simplify]: Simplify (/ 1 1) into 1
23.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.608 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
23.608 * [backup-simplify]: Simplify (- 0) into 0
23.608 * [backup-simplify]: Simplify 0 into 0
23.609 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.609 * [backup-simplify]: Simplify 0 into 0
23.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
23.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.610 * [backup-simplify]: Simplify (- 0) into 0
23.610 * [backup-simplify]: Simplify (+ 0 0) into 0
23.610 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 y)))) into 0
23.611 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0
23.612 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* (/ -2.0 y) (/ 0 (- y))) (* (- (* 2.0 (/ 1 (pow y 2)))) (/ 1 (- y))))) into (- (* 2.0 (/ 1 (pow y 3))))
23.612 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 3)))) in y
23.612 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 3))) in y
23.612 * [taylor]: Taking taylor expansion of 2.0 in y
23.612 * [backup-simplify]: Simplify 2.0 into 2.0
23.612 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
23.612 * [taylor]: Taking taylor expansion of (pow y 3) in y
23.612 * [taylor]: Taking taylor expansion of y in y
23.612 * [backup-simplify]: Simplify 0 into 0
23.612 * [backup-simplify]: Simplify 1 into 1
23.612 * [backup-simplify]: Simplify (* 1 1) into 1
23.612 * [backup-simplify]: Simplify (* 1 1) into 1
23.613 * [backup-simplify]: Simplify (/ 1 1) into 1
23.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.614 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.615 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.615 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.619 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.620 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.620 * [backup-simplify]: Simplify (- 0) into 0
23.620 * [backup-simplify]: Simplify 0 into 0
23.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.621 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.622 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.622 * [backup-simplify]: Simplify (- 0) into 0
23.622 * [backup-simplify]: Simplify 0 into 0
23.623 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.623 * [backup-simplify]: Simplify 0 into 0
23.623 * [backup-simplify]: Simplify 0 into 0
23.623 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
23.623 * [backup-simplify]: Simplify (/ x (- x y)) into (/ x (- x y))
23.623 * [approximate]: Taking taylor expansion of (/ x (- x y)) in (x y) around 0
23.623 * [taylor]: Taking taylor expansion of (/ x (- x y)) in y
23.623 * [taylor]: Taking taylor expansion of x in y
23.623 * [backup-simplify]: Simplify x into x
23.623 * [taylor]: Taking taylor expansion of (- x y) in y
23.623 * [taylor]: Taking taylor expansion of x in y
23.623 * [backup-simplify]: Simplify x into x
23.623 * [taylor]: Taking taylor expansion of y in y
23.623 * [backup-simplify]: Simplify 0 into 0
23.623 * [backup-simplify]: Simplify 1 into 1
23.623 * [backup-simplify]: Simplify (- 0) into 0
23.623 * [backup-simplify]: Simplify (+ x 0) into x
23.623 * [backup-simplify]: Simplify (/ x x) into 1
23.623 * [taylor]: Taking taylor expansion of (/ x (- x y)) in x
23.623 * [taylor]: Taking taylor expansion of x in x
23.623 * [backup-simplify]: Simplify 0 into 0
23.623 * [backup-simplify]: Simplify 1 into 1
23.623 * [taylor]: Taking taylor expansion of (- x y) in x
23.624 * [taylor]: Taking taylor expansion of x in x
23.624 * [backup-simplify]: Simplify 0 into 0
23.624 * [backup-simplify]: Simplify 1 into 1
23.624 * [taylor]: Taking taylor expansion of y in x
23.624 * [backup-simplify]: Simplify y into y
23.624 * [backup-simplify]: Simplify (- y) into (- y)
23.624 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
23.624 * [backup-simplify]: Simplify (/ 1 (- y)) into (/ -1 y)
23.624 * [taylor]: Taking taylor expansion of (/ x (- x y)) in x
23.624 * [taylor]: Taking taylor expansion of x in x
23.624 * [backup-simplify]: Simplify 0 into 0
23.624 * [backup-simplify]: Simplify 1 into 1
23.624 * [taylor]: Taking taylor expansion of (- x y) in x
23.624 * [taylor]: Taking taylor expansion of x in x
23.624 * [backup-simplify]: Simplify 0 into 0
23.624 * [backup-simplify]: Simplify 1 into 1
23.624 * [taylor]: Taking taylor expansion of y in x
23.624 * [backup-simplify]: Simplify y into y
23.624 * [backup-simplify]: Simplify (- y) into (- y)
23.624 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y)
23.624 * [backup-simplify]: Simplify (/ 1 (- y)) into (/ -1 y)
23.624 * [taylor]: Taking taylor expansion of (/ -1 y) in y
23.624 * [taylor]: Taking taylor expansion of -1 in y
23.624 * [backup-simplify]: Simplify -1 into -1
23.624 * [taylor]: Taking taylor expansion of y in y
23.624 * [backup-simplify]: Simplify 0 into 0
23.624 * [backup-simplify]: Simplify 1 into 1
23.624 * [backup-simplify]: Simplify (/ -1 1) into -1
23.625 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
23.625 * [backup-simplify]: Simplify 0 into 0
23.625 * [backup-simplify]: Simplify (- 0) into 0
23.625 * [backup-simplify]: Simplify (+ 1 0) into 1
23.626 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* (/ -1 y) (/ 1 (- y))))) into (- (/ 1 (pow y 2)))
23.626 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2))) in y
23.626 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
23.626 * [taylor]: Taking taylor expansion of (pow y 2) in y
23.626 * [taylor]: Taking taylor expansion of y in y
23.626 * [backup-simplify]: Simplify 0 into 0
23.626 * [backup-simplify]: Simplify 1 into 1
23.626 * [backup-simplify]: Simplify (* 1 1) into 1
23.626 * [backup-simplify]: Simplify (/ 1 1) into 1
23.627 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.627 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.628 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.628 * [backup-simplify]: Simplify (- 0) into 0
23.628 * [backup-simplify]: Simplify 0 into 0
23.629 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.629 * [backup-simplify]: Simplify 0 into 0
23.629 * [backup-simplify]: Simplify (- 0) into 0
23.629 * [backup-simplify]: Simplify (+ 0 0) into 0
23.630 * [backup-simplify]: Simplify (- (/ 0 (- y)) (+ (* (/ -1 y) (/ 0 (- y))) (* (- (/ 1 (pow y 2))) (/ 1 (- y))))) into (- (/ 1 (pow y 3)))
23.630 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 3))) in y
23.630 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
23.630 * [taylor]: Taking taylor expansion of (pow y 3) in y
23.630 * [taylor]: Taking taylor expansion of y in y
23.630 * [backup-simplify]: Simplify 0 into 0
23.630 * [backup-simplify]: Simplify 1 into 1
23.630 * [backup-simplify]: Simplify (* 1 1) into 1
23.630 * [backup-simplify]: Simplify (* 1 1) into 1
23.631 * [backup-simplify]: Simplify (/ 1 1) into 1
23.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.632 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.633 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.634 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.635 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.636 * [backup-simplify]: Simplify (- 0) into 0
23.636 * [backup-simplify]: Simplify 0 into 0
23.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.637 * [backup-simplify]: Simplify (- 0) into 0
23.637 * [backup-simplify]: Simplify 0 into 0
23.639 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.639 * [backup-simplify]: Simplify 0 into 0
23.639 * [backup-simplify]: Simplify 0 into 0
23.639 * [backup-simplify]: Simplify (/ (/ 1 x) (- (/ 1 x) (/ 1 y))) into (/ 1 (* x (- (/ 1 x) (/ 1 y))))
23.639 * [approximate]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (/ 1 y)))) in (x y) around 0
23.639 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (/ 1 y)))) in y
23.639 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in y
23.639 * [taylor]: Taking taylor expansion of x in y
23.639 * [backup-simplify]: Simplify x into x
23.639 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y
23.639 * [taylor]: Taking taylor expansion of (/ 1 x) in y
23.639 * [taylor]: Taking taylor expansion of x in y
23.639 * [backup-simplify]: Simplify x into x
23.639 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.639 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.639 * [taylor]: Taking taylor expansion of y in y
23.639 * [backup-simplify]: Simplify 0 into 0
23.639 * [backup-simplify]: Simplify 1 into 1
23.639 * [backup-simplify]: Simplify (/ 1 1) into 1
23.640 * [backup-simplify]: Simplify (- 1) into -1
23.640 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.640 * [backup-simplify]: Simplify (* x -1) into (* -1 x)
23.640 * [backup-simplify]: Simplify (/ 1 (* -1 x)) into (/ -1 x)
23.640 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (/ 1 y)))) in x
23.640 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in x
23.640 * [taylor]: Taking taylor expansion of x in x
23.640 * [backup-simplify]: Simplify 0 into 0
23.640 * [backup-simplify]: Simplify 1 into 1
23.640 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
23.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.640 * [taylor]: Taking taylor expansion of x in x
23.640 * [backup-simplify]: Simplify 0 into 0
23.640 * [backup-simplify]: Simplify 1 into 1
23.640 * [backup-simplify]: Simplify (/ 1 1) into 1
23.640 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.640 * [taylor]: Taking taylor expansion of y in x
23.640 * [backup-simplify]: Simplify y into y
23.640 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.641 * [backup-simplify]: Simplify (+ 1 0) into 1
23.641 * [backup-simplify]: Simplify (* 0 1) into 0
23.641 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.642 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
23.642 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
23.642 * [backup-simplify]: Simplify (+ (* 0 (- (/ 1 y))) (* 1 1)) into 1
23.642 * [backup-simplify]: Simplify (/ 1 1) into 1
23.642 * [taylor]: Taking taylor expansion of (/ 1 (* x (- (/ 1 x) (/ 1 y)))) in x
23.642 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in x
23.642 * [taylor]: Taking taylor expansion of x in x
23.642 * [backup-simplify]: Simplify 0 into 0
23.642 * [backup-simplify]: Simplify 1 into 1
23.642 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x
23.642 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.642 * [taylor]: Taking taylor expansion of x in x
23.643 * [backup-simplify]: Simplify 0 into 0
23.643 * [backup-simplify]: Simplify 1 into 1
23.643 * [backup-simplify]: Simplify (/ 1 1) into 1
23.643 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.643 * [taylor]: Taking taylor expansion of y in x
23.643 * [backup-simplify]: Simplify y into y
23.643 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.643 * [backup-simplify]: Simplify (+ 1 0) into 1
23.644 * [backup-simplify]: Simplify (* 0 1) into 0
23.644 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.645 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y))
23.645 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y))
23.645 * [backup-simplify]: Simplify (+ (* 0 (- (/ 1 y))) (* 1 1)) into 1
23.646 * [backup-simplify]: Simplify (/ 1 1) into 1
23.646 * [taylor]: Taking taylor expansion of 1 in y
23.646 * [backup-simplify]: Simplify 1 into 1
23.646 * [backup-simplify]: Simplify 0 into 0
23.647 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.647 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
23.647 * [backup-simplify]: Simplify (- 0) into 0
23.648 * [backup-simplify]: Simplify (+ 0 0) into 0
23.649 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- (/ 1 y))) (* 0 1))) into (- (/ 1 y))
23.649 * [backup-simplify]: Simplify (- (+ (* 1 (/ (- (/ 1 y)) 1)))) into (/ 1 y)
23.649 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.649 * [taylor]: Taking taylor expansion of y in y
23.649 * [backup-simplify]: Simplify 0 into 0
23.649 * [backup-simplify]: Simplify 1 into 1
23.649 * [backup-simplify]: Simplify (/ 1 1) into 1
23.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.651 * [backup-simplify]: Simplify 0 into 0
23.651 * [backup-simplify]: Simplify 0 into 0
23.652 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.652 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
23.653 * [backup-simplify]: Simplify (- 0) into 0
23.653 * [backup-simplify]: Simplify (+ 0 0) into 0
23.655 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0
23.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* (/ 1 y) (/ (- (/ 1 y)) 1)))) into (/ 1 (pow y 2))
23.655 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
23.655 * [taylor]: Taking taylor expansion of (pow y 2) in y
23.655 * [taylor]: Taking taylor expansion of y in y
23.655 * [backup-simplify]: Simplify 0 into 0
23.655 * [backup-simplify]: Simplify 1 into 1
23.656 * [backup-simplify]: Simplify (* 1 1) into 1
23.656 * [backup-simplify]: Simplify (/ 1 1) into 1
23.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.662 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.662 * [backup-simplify]: Simplify 0 into 0
23.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.663 * [backup-simplify]: Simplify 0 into 0
23.663 * [backup-simplify]: Simplify 0 into 0
23.663 * [backup-simplify]: Simplify 0 into 0
23.663 * [backup-simplify]: Simplify (/ (/ 1 (- x)) (- (/ 1 (- x)) (/ 1 (- y)))) into (/ -1 (* x (- (/ 1 y) (/ 1 x))))
23.663 * [approximate]: Taking taylor expansion of (/ -1 (* x (- (/ 1 y) (/ 1 x)))) in (x y) around 0
23.663 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 y) (/ 1 x)))) in y
23.663 * [taylor]: Taking taylor expansion of -1 in y
23.663 * [backup-simplify]: Simplify -1 into -1
23.663 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in y
23.663 * [taylor]: Taking taylor expansion of x in y
23.663 * [backup-simplify]: Simplify x into x
23.663 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y
23.663 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.663 * [taylor]: Taking taylor expansion of y in y
23.663 * [backup-simplify]: Simplify 0 into 0
23.663 * [backup-simplify]: Simplify 1 into 1
23.664 * [backup-simplify]: Simplify (/ 1 1) into 1
23.664 * [taylor]: Taking taylor expansion of (/ 1 x) in y
23.664 * [taylor]: Taking taylor expansion of x in y
23.664 * [backup-simplify]: Simplify x into x
23.664 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
23.664 * [backup-simplify]: Simplify (+ 1 0) into 1
23.664 * [backup-simplify]: Simplify (* x 1) into x
23.664 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
23.664 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 y) (/ 1 x)))) in x
23.664 * [taylor]: Taking taylor expansion of -1 in x
23.664 * [backup-simplify]: Simplify -1 into -1
23.664 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in x
23.664 * [taylor]: Taking taylor expansion of x in x
23.664 * [backup-simplify]: Simplify 0 into 0
23.664 * [backup-simplify]: Simplify 1 into 1
23.664 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
23.664 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.664 * [taylor]: Taking taylor expansion of y in x
23.664 * [backup-simplify]: Simplify y into y
23.664 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.665 * [taylor]: Taking taylor expansion of x in x
23.665 * [backup-simplify]: Simplify 0 into 0
23.665 * [backup-simplify]: Simplify 1 into 1
23.665 * [backup-simplify]: Simplify (/ 1 1) into 1
23.665 * [backup-simplify]: Simplify (- 1) into -1
23.666 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.666 * [backup-simplify]: Simplify (* 0 -1) into 0
23.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.667 * [backup-simplify]: Simplify (- 0) into 0
23.667 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
23.668 * [backup-simplify]: Simplify (+ (* 0 (/ 1 y)) (* 1 -1)) into (- 1)
23.668 * [backup-simplify]: Simplify (/ -1 (- 1)) into 1
23.668 * [taylor]: Taking taylor expansion of (/ -1 (* x (- (/ 1 y) (/ 1 x)))) in x
23.668 * [taylor]: Taking taylor expansion of -1 in x
23.668 * [backup-simplify]: Simplify -1 into -1
23.668 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in x
23.668 * [taylor]: Taking taylor expansion of x in x
23.668 * [backup-simplify]: Simplify 0 into 0
23.668 * [backup-simplify]: Simplify 1 into 1
23.668 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x
23.668 * [taylor]: Taking taylor expansion of (/ 1 y) in x
23.668 * [taylor]: Taking taylor expansion of y in x
23.668 * [backup-simplify]: Simplify y into y
23.668 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
23.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
23.668 * [taylor]: Taking taylor expansion of x in x
23.668 * [backup-simplify]: Simplify 0 into 0
23.669 * [backup-simplify]: Simplify 1 into 1
23.669 * [backup-simplify]: Simplify (/ 1 1) into 1
23.669 * [backup-simplify]: Simplify (- 1) into -1
23.670 * [backup-simplify]: Simplify (+ 0 -1) into -1
23.670 * [backup-simplify]: Simplify (* 0 -1) into 0
23.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.671 * [backup-simplify]: Simplify (- 0) into 0
23.671 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
23.672 * [backup-simplify]: Simplify (+ (* 0 (/ 1 y)) (* 1 -1)) into (- 1)
23.672 * [backup-simplify]: Simplify (/ -1 (- 1)) into 1
23.672 * [taylor]: Taking taylor expansion of 1 in y
23.672 * [backup-simplify]: Simplify 1 into 1
23.672 * [backup-simplify]: Simplify 0 into 0
23.673 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
23.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.674 * [backup-simplify]: Simplify (- 0) into 0
23.674 * [backup-simplify]: Simplify (+ 0 0) into 0
23.675 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 1 y)) (* 0 -1))) into (/ 1 y)
23.676 * [backup-simplify]: Simplify (- (/ 0 (- 1)) (+ (* 1 (/ (/ 1 y) (- 1))))) into (/ 1 y)
23.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y
23.676 * [taylor]: Taking taylor expansion of y in y
23.676 * [backup-simplify]: Simplify 0 into 0
23.676 * [backup-simplify]: Simplify 1 into 1
23.677 * [backup-simplify]: Simplify (/ 1 1) into 1
23.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.678 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.678 * [backup-simplify]: Simplify 0 into 0
23.678 * [backup-simplify]: Simplify 0 into 0
23.679 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
23.680 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.680 * [backup-simplify]: Simplify (- 0) into 0
23.680 * [backup-simplify]: Simplify (+ 0 0) into 0
23.682 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0
23.683 * [backup-simplify]: Simplify (- (/ 0 (- 1)) (+ (* 1 (/ 0 (- 1))) (* (/ 1 y) (/ (/ 1 y) (- 1))))) into (/ 1 (pow y 2))
23.684 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
23.684 * [taylor]: Taking taylor expansion of (pow y 2) in y
23.684 * [taylor]: Taking taylor expansion of y in y
23.684 * [backup-simplify]: Simplify 0 into 0
23.684 * [backup-simplify]: Simplify 1 into 1
23.684 * [backup-simplify]: Simplify (* 1 1) into 1
23.684 * [backup-simplify]: Simplify (/ 1 1) into 1
23.685 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
23.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
23.687 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
23.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
23.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.690 * [backup-simplify]: Simplify 0 into 0
23.691 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
23.691 * [backup-simplify]: Simplify 0 into 0
23.691 * [backup-simplify]: Simplify 0 into 0
23.691 * [backup-simplify]: Simplify 0 into 0
23.691 * * * [progress]: simplifying candidates
23.694 * [simplify]: Simplifying:
  (* (/ x (- x y)) (* 2.0 y))
  (* (/ x (- x y)) (* 2.0 y))
  (+ (- (log x) (log (- x y))) (+ (log 2.0) (log y)))
  (+ (- (log x) (log (- x y))) (log (* 2.0 y)))
  (+ (log (/ x (- x y))) (+ (log 2.0) (log y)))
  (+ (log (/ x (- x y))) (log (* 2.0 y)))
  (log (* (/ x (- x y)) (* 2.0 y)))
  (exp (* (/ x (- x y)) (* 2.0 y)))
  (* (/ (* (* x x) x) (* (* (- x y) (- x y)) (- x y))) (* (* (* 2.0 2.0) 2.0) (* (* y y) y)))
  (* (/ (* (* x x) x) (* (* (- x y) (- x y)) (- x y))) (* (* (* 2.0 y) (* 2.0 y)) (* 2.0 y)))
  (* (* (* (/ x (- x y)) (/ x (- x y))) (/ x (- x y))) (* (* (* 2.0 2.0) 2.0) (* (* y y) y)))
  (* (* (* (/ x (- x y)) (/ x (- x y))) (/ x (- x y))) (* (* (* 2.0 y) (* 2.0 y)) (* 2.0 y)))
  (* (cbrt (* (/ x (- x y)) (* 2.0 y))) (cbrt (* (/ x (- x y)) (* 2.0 y))))
  (cbrt (* (/ x (- x y)) (* 2.0 y)))
  (* (* (* (/ x (- x y)) (* 2.0 y)) (* (/ x (- x y)) (* 2.0 y))) (* (/ x (- x y)) (* 2.0 y)))
  (sqrt (* (/ x (- x y)) (* 2.0 y)))
  (sqrt (* (/ x (- x y)) (* 2.0 y)))
  (* (/ x (- x y)) 2.0)
  (* (cbrt (/ x (- x y))) (* 2.0 y))
  (* (sqrt (/ x (- x y))) (* 2.0 y))
  (* (/ (cbrt x) (cbrt (- x y))) (* 2.0 y))
  (* (/ (cbrt x) (sqrt (- x y))) (* 2.0 y))
  (* (/ (cbrt x) (- x y)) (* 2.0 y))
  (* (/ (cbrt x) (- (sqrt x) (sqrt y))) (* 2.0 y))
  (* (/ (cbrt x) (- x y)) (* 2.0 y))
  (* (/ (sqrt x) (cbrt (- x y))) (* 2.0 y))
  (* (/ (sqrt x) (sqrt (- x y))) (* 2.0 y))
  (* (/ (sqrt x) (- x y)) (* 2.0 y))
  (* (/ (sqrt x) (- (sqrt x) (sqrt y))) (* 2.0 y))
  (* (/ (sqrt x) (- x y)) (* 2.0 y))
  (* (/ x (cbrt (- x y))) (* 2.0 y))
  (* (/ x (sqrt (- x y))) (* 2.0 y))
  (* (/ x (- x y)) (* 2.0 y))
  (* (/ x (- (sqrt x) (sqrt y))) (* 2.0 y))
  (* (/ x (- x y)) (* 2.0 y))
  (* (/ x (- x y)) (* 2.0 y))
  (* (/ 1 (- x y)) (* 2.0 y))
  (* (+ (* x x) (+ (* y y) (* x y))) (* 2.0 y))
  (* (+ x y) (* 2.0 y))
  (* x (* 2.0 y))
  (- (log x) (log (- x y)))
  (log (/ x (- x y)))
  (exp (/ x (- x y)))
  (/ (* (* x x) x) (* (* (- x y) (- x y)) (- x y)))
  (* (cbrt (/ x (- x y))) (cbrt (/ x (- x y))))
  (cbrt (/ x (- x y)))
  (* (* (/ x (- x y)) (/ x (- x y))) (/ x (- x y)))
  (sqrt (/ x (- x y)))
  (sqrt (/ x (- x y)))
  (- x)
  (- (- x y))
  (/ (* (cbrt x) (cbrt x)) (* (cbrt (- x y)) (cbrt (- x y))))
  (/ (cbrt x) (cbrt (- x y)))
  (/ (* (cbrt x) (cbrt x)) (sqrt (- x y)))
  (/ (cbrt x) (sqrt (- x y)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- x y))
  (/ (* (cbrt x) (cbrt x)) (+ (sqrt x) (sqrt y)))
  (/ (cbrt x) (- (sqrt x) (sqrt y)))
  (/ (* (cbrt x) (cbrt x)) 1)
  (/ (cbrt x) (- x y))
  (/ (sqrt x) (* (cbrt (- x y)) (cbrt (- x y))))
  (/ (sqrt x) (cbrt (- x y)))
  (/ (sqrt x) (sqrt (- x y)))
  (/ (sqrt x) (sqrt (- x y)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- x y))
  (/ (sqrt x) (+ (sqrt x) (sqrt y)))
  (/ (sqrt x) (- (sqrt x) (sqrt y)))
  (/ (sqrt x) 1)
  (/ (sqrt x) (- x y))
  (/ 1 (* (cbrt (- x y)) (cbrt (- x y))))
  (/ x (cbrt (- x y)))
  (/ 1 (sqrt (- x y)))
  (/ x (sqrt (- x y)))
  (/ 1 1)
  (/ x (- x y))
  (/ 1 (+ (sqrt x) (sqrt y)))
  (/ x (- (sqrt x) (sqrt y)))
  (/ 1 1)
  (/ x (- x y))
  (/ 1 (- x y))
  (/ (- x y) x)
  (/ x (* (cbrt (- x y)) (cbrt (- x y))))
  (/ x (sqrt (- x y)))
  (/ x 1)
  (/ x (+ (sqrt x) (sqrt y)))
  (/ x 1)
  (/ (- x y) (cbrt x))
  (/ (- x y) (sqrt x))
  (/ (- x y) x)
  (/ x (- (pow x 3) (pow y 3)))
  (/ x (- (* x x) (* y y)))
  0
  0
  0
  0
  0
  0
23.696 * * [simplify]: iteration 0: 119 enodes
23.727 * * [simplify]: iteration 1: 327 enodes
23.859 * * [simplify]: iteration 2: 1239 enodes
24.474 * * [simplify]: iteration complete: 5000 enodes
24.475 * * [simplify]: Extracting #0: cost 66 inf + 0
24.477 * * [simplify]: Extracting #1: cost 678 inf + 3
24.486 * * [simplify]: Extracting #2: cost 1797 inf + 45
24.499 * * [simplify]: Extracting #3: cost 1527 inf + 3039
24.513 * * [simplify]: Extracting #4: cost 388 inf + 14366
24.532 * * [simplify]: Extracting #5: cost 2 inf + 18943
24.546 * * [simplify]: Extracting #6: cost 0 inf + 18945
24.553 * [simplify]: Simplified to:
  (/ (* (* x 2.0) y) (- x y))
  (/ (* (* x 2.0) y) (- x y))
  (log (/ (* (* x 2.0) y) (- x y)))
  (log (/ (* (* x 2.0) y) (- x y)))
  (log (/ (* (* x 2.0) y) (- x y)))
  (log (/ (* (* x 2.0) y) (- x y)))
  (log (/ (* (* x 2.0) y) (- x y)))
  (pow (pow (exp y) 2.0) (/ x (- x y)))
  (pow (/ (* (* x 2.0) y) (- x y)) 3)
  (pow (/ (* (* x 2.0) y) (- x y)) 3)
  (pow (/ (* (* x 2.0) y) (- x y)) 3)
  (pow (/ (* (* x 2.0) y) (- x y)) 3)
  (* (cbrt (/ (* (* x 2.0) y) (- x y))) (cbrt (/ (* (* x 2.0) y) (- x y))))
  (cbrt (/ (* (* x 2.0) y) (- x y)))
  (pow (/ (* (* x 2.0) y) (- x y)) 3)
  (sqrt (/ (* (* x 2.0) y) (- x y)))
  (sqrt (/ (* (* x 2.0) y) (- x y)))
  (/ (* x 2.0) (- x y))
  (* (* (cbrt (/ x (- x y))) y) 2.0)
  (* (* 2.0 y) (sqrt (/ x (- x y))))
  (* (/ (cbrt x) (cbrt (- x y))) (* 2.0 y))
  (/ (* (* (cbrt x) y) 2.0) (sqrt (- x y)))
  (* (/ (cbrt x) (- x y)) (* y 2.0))
  (* (/ (cbrt x) (- (sqrt x) (sqrt y))) (* 2.0 y))
  (* (/ (cbrt x) (- x y)) (* y 2.0))
  (/ (* (* 2.0 y) (sqrt x)) (cbrt (- x y)))
  (/ (* (* (sqrt x) y) 2.0) (sqrt (- x y)))
  (* (* (/ (sqrt x) (- x y)) y) 2.0)
  (/ (* (* 2.0 y) (sqrt x)) (- (sqrt x) (sqrt y)))
  (* (* (/ (sqrt x) (- x y)) y) 2.0)
  (/ (* (* x 2.0) y) (cbrt (- x y)))
  (* (* (/ x (sqrt (- x y))) y) 2.0)
  (/ (* (* x 2.0) y) (- x y))
  (/ (* (* 2.0 y) x) (- (sqrt x) (sqrt y)))
  (/ (* (* x 2.0) y) (- x y))
  (/ (* (* x 2.0) y) (- x y))
  (/ (* 2.0 y) (- x y))
  (* (* 2.0 y) (+ (* y y) (* x (+ x y))))
  (* (* 2.0 y) (+ x y))
  (* (* x 2.0) y)
  (log (/ x (- x y)))
  (log (/ x (- x y)))
  (exp (/ x (- x y)))
  (pow (/ x (- x y)) 3)
  (* (cbrt (/ x (- x y))) (cbrt (/ x (- x y))))
  (cbrt (/ x (- x y)))
  (pow (/ x (- x y)) 3)
  (sqrt (/ x (- x y)))
  (sqrt (/ x (- x y)))
  (- x)
  (- (- x y))
  (* (/ (cbrt x) (cbrt (- x y))) (/ (cbrt x) (cbrt (- x y))))
  (/ (cbrt x) (cbrt (- x y)))
  (/ (cbrt x) (/ (sqrt (- x y)) (cbrt x)))
  (/ (cbrt x) (sqrt (- x y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- x y))
  (* (/ (cbrt x) (+ (sqrt y) (sqrt x))) (cbrt x))
  (/ (cbrt x) (- (sqrt x) (sqrt y)))
  (* (cbrt x) (cbrt x))
  (/ (cbrt x) (- x y))
  (/ (/ (sqrt x) (cbrt (- x y))) (cbrt (- x y)))
  (/ (sqrt x) (cbrt (- x y)))
  (/ (sqrt x) (sqrt (- x y)))
  (/ (sqrt x) (sqrt (- x y)))
  (sqrt x)
  (/ (sqrt x) (- x y))
  (/ (sqrt x) (+ (sqrt y) (sqrt x)))
  (/ (sqrt x) (- (sqrt x) (sqrt y)))
  (sqrt x)
  (/ (sqrt x) (- x y))
  (/ 1 (* (cbrt (- x y)) (cbrt (- x y))))
  (/ x (cbrt (- x y)))
  (/ 1 (sqrt (- x y)))
  (/ x (sqrt (- x y)))
  1
  (/ x (- x y))
  (/ 1 (+ (sqrt y) (sqrt x)))
  (/ x (- (sqrt x) (sqrt y)))
  1
  (/ x (- x y))
  (/ 1 (- x y))
  (- 1 (/ y x))
  (/ x (* (cbrt (- x y)) (cbrt (- x y))))
  (/ x (sqrt (- x y)))
  x
  (/ x (+ (sqrt y) (sqrt x)))
  x
  (/ (- x y) (cbrt x))
  (/ (- x y) (sqrt x))
  (- 1 (/ y x))
  (/ x (- (pow x 3) (pow y 3)))
  (/ x (* (- x y) (+ x y)))
  0
  0
  0
  0
  0
  0
24.554 * * * [progress]: adding candidates to table
24.882 * * [progress]: iteration 3 / 4
24.882 * * * [progress]: picking best candidate
24.885 * * * * [pick]: Picked  #<alt (λ (x y) (/ (* x 2.0) (* 1 (- (/ x y) 1))))>
24.885 * * * [progress]: localizing error
24.895 * * * [progress]: generating rewritten candidates
24.895 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
24.919 * * * [progress]: generating series expansions
24.919 * * * * [progress]: [ 1 / 1 ] generating series at (2)
24.919 * [backup-simplify]: Simplify (/ (* x 2.0) (* 1 (- (/ x y) 1))) into (* 2.0 (/ x (- (/ x y) 1)))
24.919 * [approximate]: Taking taylor expansion of (* 2.0 (/ x (- (/ x y) 1))) in (x y) around 0
24.919 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (- (/ x y) 1))) in y
24.919 * [taylor]: Taking taylor expansion of 2.0 in y
24.919 * [backup-simplify]: Simplify 2.0 into 2.0
24.919 * [taylor]: Taking taylor expansion of (/ x (- (/ x y) 1)) in y
24.919 * [taylor]: Taking taylor expansion of x in y
24.919 * [backup-simplify]: Simplify x into x
24.919 * [taylor]: Taking taylor expansion of (- (/ x y) 1) in y
24.919 * [taylor]: Taking taylor expansion of (/ x y) in y
24.919 * [taylor]: Taking taylor expansion of x in y
24.920 * [backup-simplify]: Simplify x into x
24.920 * [taylor]: Taking taylor expansion of y in y
24.920 * [backup-simplify]: Simplify 0 into 0
24.920 * [backup-simplify]: Simplify 1 into 1
24.920 * [backup-simplify]: Simplify (/ x 1) into x
24.920 * [taylor]: Taking taylor expansion of 1 in y
24.920 * [backup-simplify]: Simplify 1 into 1
24.920 * [backup-simplify]: Simplify (+ x 0) into x
24.920 * [backup-simplify]: Simplify (/ x x) into 1
24.920 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (- (/ x y) 1))) in x
24.920 * [taylor]: Taking taylor expansion of 2.0 in x
24.920 * [backup-simplify]: Simplify 2.0 into 2.0
24.920 * [taylor]: Taking taylor expansion of (/ x (- (/ x y) 1)) in x
24.920 * [taylor]: Taking taylor expansion of x in x
24.920 * [backup-simplify]: Simplify 0 into 0
24.920 * [backup-simplify]: Simplify 1 into 1
24.920 * [taylor]: Taking taylor expansion of (- (/ x y) 1) in x
24.920 * [taylor]: Taking taylor expansion of (/ x y) in x
24.920 * [taylor]: Taking taylor expansion of x in x
24.920 * [backup-simplify]: Simplify 0 into 0
24.920 * [backup-simplify]: Simplify 1 into 1
24.920 * [taylor]: Taking taylor expansion of y in x
24.920 * [backup-simplify]: Simplify y into y
24.920 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
24.920 * [taylor]: Taking taylor expansion of 1 in x
24.920 * [backup-simplify]: Simplify 1 into 1
24.920 * [backup-simplify]: Simplify (- 1) into -1
24.921 * [backup-simplify]: Simplify (+ 0 -1) into -1
24.921 * [backup-simplify]: Simplify (/ 1 -1) into -1
24.921 * [taylor]: Taking taylor expansion of (* 2.0 (/ x (- (/ x y) 1))) in x
24.921 * [taylor]: Taking taylor expansion of 2.0 in x
24.921 * [backup-simplify]: Simplify 2.0 into 2.0
24.921 * [taylor]: Taking taylor expansion of (/ x (- (/ x y) 1)) in x
24.921 * [taylor]: Taking taylor expansion of x in x
24.921 * [backup-simplify]: Simplify 0 into 0
24.921 * [backup-simplify]: Simplify 1 into 1
24.921 * [taylor]: Taking taylor expansion of (- (/ x y) 1) in x
24.921 * [taylor]: Taking taylor expansion of (/ x y) in x
24.921 * [taylor]: Taking taylor expansion of x in x
24.921 * [backup-simplify]: Simplify 0 into 0
24.921 * [backup-simplify]: Simplify 1 into 1
24.921 * [taylor]: Taking taylor expansion of y in x
24.921 * [backup-simplify]: Simplify y into y
24.921 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
24.921 * [taylor]: Taking taylor expansion of 1 in x
24.921 * [backup-simplify]: Simplify 1 into 1
24.922 * [backup-simplify]: Simplify (- 1) into -1
24.922 * [backup-simplify]: Simplify (+ 0 -1) into -1
24.922 * [backup-simplify]: Simplify (/ 1 -1) into -1
24.922 * [backup-simplify]: Simplify (* 2.0 -1) into -2.0
24.922 * [taylor]: Taking taylor expansion of -2.0 in y
24.922 * [backup-simplify]: Simplify -2.0 into -2.0
24.922 * [backup-simplify]: Simplify 0 into 0
24.923 * [backup-simplify]: Simplify (- 0) into 0
24.923 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y)
24.923 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ (/ 1 y) -1)))) into (- (/ 1 y))
24.923 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 y))) (* 0 -1)) into (- (* 2.0 (/ 1 y)))
24.923 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 y))) in y
24.924 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 y)) in y
24.924 * [taylor]: Taking taylor expansion of 2.0 in y
24.924 * [backup-simplify]: Simplify 2.0 into 2.0
24.924 * [taylor]: Taking taylor expansion of (/ 1 y) in y
24.924 * [taylor]: Taking taylor expansion of y in y
24.924 * [backup-simplify]: Simplify 0 into 0
24.924 * [backup-simplify]: Simplify 1 into 1
24.924 * [backup-simplify]: Simplify (/ 1 1) into 1
24.924 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
24.925 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.926 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
24.926 * [backup-simplify]: Simplify (- 0) into 0
24.926 * [backup-simplify]: Simplify 0 into 0
24.926 * [backup-simplify]: Simplify 0 into 0
24.926 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 1 y) (/ 0 y)))) into 0
24.926 * [backup-simplify]: Simplify (- 0) into 0
24.926 * [backup-simplify]: Simplify (+ 0 0) into 0
24.927 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* (- (/ 1 y)) (/ (/ 1 y) -1)))) into (- (/ 1 (pow y 2)))
24.928 * [backup-simplify]: Simplify (+ (* 2.0 (- (/ 1 (pow y 2)))) (+ (* 0 (- (/ 1 y))) (* 0 -1))) into (- (* 2.0 (/ 1 (pow y 2))))
24.928 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 2)))) in y
24.928 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
24.928 * [taylor]: Taking taylor expansion of 2.0 in y
24.928 * [backup-simplify]: Simplify 2.0 into 2.0
24.928 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
24.928 * [taylor]: Taking taylor expansion of (pow y 2) in y
24.928 * [taylor]: Taking taylor expansion of y in y
24.928 * [backup-simplify]: Simplify 0 into 0
24.928 * [backup-simplify]: Simplify 1 into 1
24.928 * [backup-simplify]: Simplify (* 1 1) into 1
24.928 * [backup-simplify]: Simplify (/ 1 1) into 1
24.929 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.930 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
24.930 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.931 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.932 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.932 * [backup-simplify]: Simplify (- 0) into 0
24.932 * [backup-simplify]: Simplify 0 into 0
24.933 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.933 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.934 * [backup-simplify]: Simplify (- 0) into 0
24.934 * [backup-simplify]: Simplify 0 into 0
24.934 * [backup-simplify]: Simplify 0 into 0
24.934 * [backup-simplify]: Simplify 0 into 0
24.934 * [backup-simplify]: Simplify (/ (* (/ 1 x) 2.0) (* 1 (- (/ (/ 1 x) (/ 1 y)) 1))) into (/ 2.0 (* (- (/ y x) 1) x))
24.934 * [approximate]: Taking taylor expansion of (/ 2.0 (* (- (/ y x) 1) x)) in (x y) around 0
24.934 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (/ y x) 1) x)) in y
24.934 * [taylor]: Taking taylor expansion of 2.0 in y
24.934 * [backup-simplify]: Simplify 2.0 into 2.0
24.934 * [taylor]: Taking taylor expansion of (* (- (/ y x) 1) x) in y
24.934 * [taylor]: Taking taylor expansion of (- (/ y x) 1) in y
24.934 * [taylor]: Taking taylor expansion of (/ y x) in y
24.934 * [taylor]: Taking taylor expansion of y in y
24.934 * [backup-simplify]: Simplify 0 into 0
24.934 * [backup-simplify]: Simplify 1 into 1
24.934 * [taylor]: Taking taylor expansion of x in y
24.934 * [backup-simplify]: Simplify x into x
24.934 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
24.934 * [taylor]: Taking taylor expansion of 1 in y
24.934 * [backup-simplify]: Simplify 1 into 1
24.934 * [taylor]: Taking taylor expansion of x in y
24.934 * [backup-simplify]: Simplify x into x
24.934 * [backup-simplify]: Simplify (- 1) into -1
24.935 * [backup-simplify]: Simplify (+ 0 -1) into -1
24.935 * [backup-simplify]: Simplify (* -1 x) into (* -1 x)
24.935 * [backup-simplify]: Simplify (/ 2.0 (* -1 x)) into (/ -2.0 x)
24.935 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (/ y x) 1) x)) in x
24.935 * [taylor]: Taking taylor expansion of 2.0 in x
24.935 * [backup-simplify]: Simplify 2.0 into 2.0
24.935 * [taylor]: Taking taylor expansion of (* (- (/ y x) 1) x) in x
24.935 * [taylor]: Taking taylor expansion of (- (/ y x) 1) in x
24.935 * [taylor]: Taking taylor expansion of (/ y x) in x
24.935 * [taylor]: Taking taylor expansion of y in x
24.935 * [backup-simplify]: Simplify y into y
24.935 * [taylor]: Taking taylor expansion of x in x
24.935 * [backup-simplify]: Simplify 0 into 0
24.935 * [backup-simplify]: Simplify 1 into 1
24.935 * [backup-simplify]: Simplify (/ y 1) into y
24.935 * [taylor]: Taking taylor expansion of 1 in x
24.935 * [backup-simplify]: Simplify 1 into 1
24.935 * [taylor]: Taking taylor expansion of x in x
24.935 * [backup-simplify]: Simplify 0 into 0
24.935 * [backup-simplify]: Simplify 1 into 1
24.935 * [backup-simplify]: Simplify (+ y 0) into y
24.935 * [backup-simplify]: Simplify (* y 0) into 0
24.936 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
24.936 * [backup-simplify]: Simplify (- 1) into -1
24.936 * [backup-simplify]: Simplify (+ 0 -1) into -1
24.936 * [backup-simplify]: Simplify (+ (* y 1) (* -1 0)) into y
24.937 * [backup-simplify]: Simplify (/ 2.0 y) into (/ 2.0 y)
24.937 * [taylor]: Taking taylor expansion of (/ 2.0 (* (- (/ y x) 1) x)) in x
24.937 * [taylor]: Taking taylor expansion of 2.0 in x
24.937 * [backup-simplify]: Simplify 2.0 into 2.0
24.937 * [taylor]: Taking taylor expansion of (* (- (/ y x) 1) x) in x
24.937 * [taylor]: Taking taylor expansion of (- (/ y x) 1) in x
24.937 * [taylor]: Taking taylor expansion of (/ y x) in x
24.937 * [taylor]: Taking taylor expansion of y in x
24.937 * [backup-simplify]: Simplify y into y
24.937 * [taylor]: Taking taylor expansion of x in x
24.937 * [backup-simplify]: Simplify 0 into 0
24.937 * [backup-simplify]: Simplify 1 into 1
24.937 * [backup-simplify]: Simplify (/ y 1) into y
24.937 * [taylor]: Taking taylor expansion of 1 in x
24.937 * [backup-simplify]: Simplify 1 into 1
24.937 * [taylor]: Taking taylor expansion of x in x
24.937 * [backup-simplify]: Simplify 0 into 0
24.937 * [backup-simplify]: Simplify 1 into 1
24.937 * [backup-simplify]: Simplify (+ y 0) into y
24.937 * [backup-simplify]: Simplify (* y 0) into 0
24.937 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
24.938 * [backup-simplify]: Simplify (- 1) into -1
24.938 * [backup-simplify]: Simplify (+ 0 -1) into -1
24.938 * [backup-simplify]: Simplify (+ (* y 1) (* -1 0)) into y
24.938 * [backup-simplify]: Simplify (/ 2.0 y) into (/ 2.0 y)
24.938 * [taylor]: Taking taylor expansion of (/ 2.0 y) in y
24.938 * [taylor]: Taking taylor expansion of 2.0 in y
24.938 * [backup-simplify]: Simplify 2.0 into 2.0
24.938 * [taylor]: Taking taylor expansion of y in y
24.938 * [backup-simplify]: Simplify 0 into 0
24.938 * [backup-simplify]: Simplify 1 into 1
24.939 * [backup-simplify]: Simplify (/ 2.0 1) into 2.0
24.939 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)))) into 0
24.939 * [backup-simplify]: Simplify 0 into 0
24.940 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.940 * [backup-simplify]: Simplify (- 0) into 0
24.941 * [backup-simplify]: Simplify (+ 0 0) into 0
24.941 * [backup-simplify]: Simplify (+ (* y 0) (+ (* -1 1) (* 0 0))) into (- 1)
24.941 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 2.0 y) (/ (- 1) y)))) into (* 2.0 (/ 1 (pow y 2)))
24.941 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
24.941 * [taylor]: Taking taylor expansion of 2.0 in y
24.941 * [backup-simplify]: Simplify 2.0 into 2.0
24.941 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
24.941 * [taylor]: Taking taylor expansion of (pow y 2) in y
24.941 * [taylor]: Taking taylor expansion of y in y
24.941 * [backup-simplify]: Simplify 0 into 0
24.942 * [backup-simplify]: Simplify 1 into 1
24.942 * [backup-simplify]: Simplify (* 1 1) into 1
24.942 * [backup-simplify]: Simplify (/ 1 1) into 1
24.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.943 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.943 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
24.944 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.944 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
24.944 * [backup-simplify]: Simplify 0 into 0
24.945 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.945 * [backup-simplify]: Simplify 0 into 0
24.946 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.946 * [backup-simplify]: Simplify (- 0) into 0
24.947 * [backup-simplify]: Simplify (+ 0 0) into 0
24.947 * [backup-simplify]: Simplify (+ (* y 0) (+ (* -1 0) (+ (* 0 1) (* 0 0)))) into 0
24.948 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ 2.0 y) (/ 0 y)) (* (* 2.0 (/ 1 (pow y 2))) (/ (- 1) y)))) into (* 2.0 (/ 1 (pow y 3)))
24.948 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 3))) in y
24.948 * [taylor]: Taking taylor expansion of 2.0 in y
24.948 * [backup-simplify]: Simplify 2.0 into 2.0
24.948 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
24.948 * [taylor]: Taking taylor expansion of (pow y 3) in y
24.948 * [taylor]: Taking taylor expansion of y in y
24.948 * [backup-simplify]: Simplify 0 into 0
24.948 * [backup-simplify]: Simplify 1 into 1
24.948 * [backup-simplify]: Simplify (* 1 1) into 1
24.948 * [backup-simplify]: Simplify (* 1 1) into 1
24.949 * [backup-simplify]: Simplify (/ 1 1) into 1
24.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.950 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.951 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
24.952 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.954 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.954 * [backup-simplify]: Simplify 0 into 0
24.954 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.955 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.955 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.956 * [backup-simplify]: Simplify 0 into 0
24.956 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.956 * [backup-simplify]: Simplify 0 into 0
24.956 * [backup-simplify]: Simplify 0 into 0
24.956 * [backup-simplify]: Simplify (/ (* (/ 1 (- x)) 2.0) (* 1 (- (/ (/ 1 (- x)) (/ 1 (- y))) 1))) into (/ -2.0 (* (- (/ y x) 1) x))
24.956 * [approximate]: Taking taylor expansion of (/ -2.0 (* (- (/ y x) 1) x)) in (x y) around 0
24.956 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ y x) 1) x)) in y
24.956 * [taylor]: Taking taylor expansion of -2.0 in y
24.956 * [backup-simplify]: Simplify -2.0 into -2.0
24.956 * [taylor]: Taking taylor expansion of (* (- (/ y x) 1) x) in y
24.956 * [taylor]: Taking taylor expansion of (- (/ y x) 1) in y
24.956 * [taylor]: Taking taylor expansion of (/ y x) in y
24.957 * [taylor]: Taking taylor expansion of y in y
24.957 * [backup-simplify]: Simplify 0 into 0
24.957 * [backup-simplify]: Simplify 1 into 1
24.957 * [taylor]: Taking taylor expansion of x in y
24.957 * [backup-simplify]: Simplify x into x
24.957 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
24.957 * [taylor]: Taking taylor expansion of 1 in y
24.957 * [backup-simplify]: Simplify 1 into 1
24.957 * [taylor]: Taking taylor expansion of x in y
24.957 * [backup-simplify]: Simplify x into x
24.957 * [backup-simplify]: Simplify (- 1) into -1
24.957 * [backup-simplify]: Simplify (+ 0 -1) into -1
24.957 * [backup-simplify]: Simplify (* -1 x) into (* -1 x)
24.957 * [backup-simplify]: Simplify (/ -2.0 (* -1 x)) into (/ 2.0 x)
24.957 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ y x) 1) x)) in x
24.957 * [taylor]: Taking taylor expansion of -2.0 in x
24.957 * [backup-simplify]: Simplify -2.0 into -2.0
24.957 * [taylor]: Taking taylor expansion of (* (- (/ y x) 1) x) in x
24.957 * [taylor]: Taking taylor expansion of (- (/ y x) 1) in x
24.957 * [taylor]: Taking taylor expansion of (/ y x) in x
24.957 * [taylor]: Taking taylor expansion of y in x
24.957 * [backup-simplify]: Simplify y into y
24.957 * [taylor]: Taking taylor expansion of x in x
24.957 * [backup-simplify]: Simplify 0 into 0
24.957 * [backup-simplify]: Simplify 1 into 1
24.957 * [backup-simplify]: Simplify (/ y 1) into y
24.957 * [taylor]: Taking taylor expansion of 1 in x
24.958 * [backup-simplify]: Simplify 1 into 1
24.958 * [taylor]: Taking taylor expansion of x in x
24.958 * [backup-simplify]: Simplify 0 into 0
24.958 * [backup-simplify]: Simplify 1 into 1
24.958 * [backup-simplify]: Simplify (+ y 0) into y
24.958 * [backup-simplify]: Simplify (* y 0) into 0
24.958 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
24.958 * [backup-simplify]: Simplify (- 1) into -1
24.959 * [backup-simplify]: Simplify (+ 0 -1) into -1
24.959 * [backup-simplify]: Simplify (+ (* y 1) (* -1 0)) into y
24.959 * [backup-simplify]: Simplify (/ -2.0 y) into (/ -2.0 y)
24.959 * [taylor]: Taking taylor expansion of (/ -2.0 (* (- (/ y x) 1) x)) in x
24.959 * [taylor]: Taking taylor expansion of -2.0 in x
24.959 * [backup-simplify]: Simplify -2.0 into -2.0
24.959 * [taylor]: Taking taylor expansion of (* (- (/ y x) 1) x) in x
24.959 * [taylor]: Taking taylor expansion of (- (/ y x) 1) in x
24.959 * [taylor]: Taking taylor expansion of (/ y x) in x
24.959 * [taylor]: Taking taylor expansion of y in x
24.959 * [backup-simplify]: Simplify y into y
24.959 * [taylor]: Taking taylor expansion of x in x
24.959 * [backup-simplify]: Simplify 0 into 0
24.959 * [backup-simplify]: Simplify 1 into 1
24.959 * [backup-simplify]: Simplify (/ y 1) into y
24.959 * [taylor]: Taking taylor expansion of 1 in x
24.959 * [backup-simplify]: Simplify 1 into 1
24.959 * [taylor]: Taking taylor expansion of x in x
24.959 * [backup-simplify]: Simplify 0 into 0
24.959 * [backup-simplify]: Simplify 1 into 1
24.959 * [backup-simplify]: Simplify (+ y 0) into y
24.959 * [backup-simplify]: Simplify (* y 0) into 0
24.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)))) into 0
24.960 * [backup-simplify]: Simplify (- 1) into -1
24.960 * [backup-simplify]: Simplify (+ 0 -1) into -1
24.961 * [backup-simplify]: Simplify (+ (* y 1) (* -1 0)) into y
24.961 * [backup-simplify]: Simplify (/ -2.0 y) into (/ -2.0 y)
24.961 * [taylor]: Taking taylor expansion of (/ -2.0 y) in y
24.961 * [taylor]: Taking taylor expansion of -2.0 in y
24.961 * [backup-simplify]: Simplify -2.0 into -2.0
24.961 * [taylor]: Taking taylor expansion of y in y
24.961 * [backup-simplify]: Simplify 0 into 0
24.961 * [backup-simplify]: Simplify 1 into 1
24.961 * [backup-simplify]: Simplify (/ -2.0 1) into -2.0
24.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)))) into 0
24.962 * [backup-simplify]: Simplify 0 into 0
24.962 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.963 * [backup-simplify]: Simplify (- 0) into 0
24.963 * [backup-simplify]: Simplify (+ 0 0) into 0
24.963 * [backup-simplify]: Simplify (+ (* y 0) (+ (* -1 1) (* 0 0))) into (- 1)
24.964 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -2.0 y) (/ (- 1) y)))) into (- (* 2.0 (/ 1 (pow y 2))))
24.964 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 2)))) in y
24.964 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 2))) in y
24.964 * [taylor]: Taking taylor expansion of 2.0 in y
24.964 * [backup-simplify]: Simplify 2.0 into 2.0
24.964 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
24.964 * [taylor]: Taking taylor expansion of (pow y 2) in y
24.964 * [taylor]: Taking taylor expansion of y in y
24.964 * [backup-simplify]: Simplify 0 into 0
24.964 * [backup-simplify]: Simplify 1 into 1
24.964 * [backup-simplify]: Simplify (* 1 1) into 1
24.964 * [backup-simplify]: Simplify (/ 1 1) into 1
24.965 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.965 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
24.966 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.967 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 1))) into 0
24.967 * [backup-simplify]: Simplify (- 0) into 0
24.967 * [backup-simplify]: Simplify 0 into 0
24.968 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.968 * [backup-simplify]: Simplify 0 into 0
24.969 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* y (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.969 * [backup-simplify]: Simplify (- 0) into 0
24.969 * [backup-simplify]: Simplify (+ 0 0) into 0
24.970 * [backup-simplify]: Simplify (+ (* y 0) (+ (* -1 0) (+ (* 0 1) (* 0 0)))) into 0
24.970 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* (/ -2.0 y) (/ 0 y)) (* (- (* 2.0 (/ 1 (pow y 2)))) (/ (- 1) y)))) into (- (* 2.0 (/ 1 (pow y 3))))
24.970 * [taylor]: Taking taylor expansion of (- (* 2.0 (/ 1 (pow y 3)))) in y
24.970 * [taylor]: Taking taylor expansion of (* 2.0 (/ 1 (pow y 3))) in y
24.970 * [taylor]: Taking taylor expansion of 2.0 in y
24.970 * [backup-simplify]: Simplify 2.0 into 2.0
24.970 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y
24.970 * [taylor]: Taking taylor expansion of (pow y 3) in y
24.970 * [taylor]: Taking taylor expansion of y in y
24.970 * [backup-simplify]: Simplify 0 into 0
24.970 * [backup-simplify]: Simplify 1 into 1
24.971 * [backup-simplify]: Simplify (* 1 1) into 1
24.971 * [backup-simplify]: Simplify (* 1 1) into 1
24.971 * [backup-simplify]: Simplify (/ 1 1) into 1
24.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.973 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.974 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
24.974 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
24.975 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
24.976 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.977 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.978 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.978 * [backup-simplify]: Simplify (- 0) into 0
24.978 * [backup-simplify]: Simplify 0 into 0
24.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.980 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.981 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
24.982 * [backup-simplify]: Simplify (- 0) into 0
24.982 * [backup-simplify]: Simplify 0 into 0
24.983 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -2.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
24.983 * [backup-simplify]: Simplify 0 into 0
24.983 * [backup-simplify]: Simplify 0 into 0
24.983 * * * [progress]: simplifying candidates
24.984 * [simplify]: Simplifying:
  (- (+ (log x) (log 2.0)) (+ 0 (log (- (/ x y) 1))))
  (- (+ (log x) (log 2.0)) (+ (log 1) (log (- (/ x y) 1))))
  (- (+ (log x) (log 2.0)) (log (* 1 (- (/ x y) 1))))
  (- (log (* x 2.0)) (+ 0 (log (- (/ x y) 1))))
  (- (log (* x 2.0)) (+ (log 1) (log (- (/ x y) 1))))
  (- (log (* x 2.0)) (log (* 1 (- (/ x y) 1))))
  (log (/ (* x 2.0) (* 1 (- (/ x y) 1))))
  (exp (/ (* x 2.0) (* 1 (- (/ x y) 1))))
  (/ (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* (* 1 1) 1) (* (* (- (/ x y) 1) (- (/ x y) 1)) (- (/ x y) 1))))
  (/ (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* (* 1 (- (/ x y) 1)) (* 1 (- (/ x y) 1))) (* 1 (- (/ x y) 1))))
  (/ (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* (* 1 1) 1) (* (* (- (/ x y) 1) (- (/ x y) 1)) (- (/ x y) 1))))
  (/ (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* (* 1 (- (/ x y) 1)) (* 1 (- (/ x y) 1))) (* 1 (- (/ x y) 1))))
  (* (cbrt (/ (* x 2.0) (* 1 (- (/ x y) 1)))) (cbrt (/ (* x 2.0) (* 1 (- (/ x y) 1)))))
  (cbrt (/ (* x 2.0) (* 1 (- (/ x y) 1))))
  (* (* (/ (* x 2.0) (* 1 (- (/ x y) 1))) (/ (* x 2.0) (* 1 (- (/ x y) 1)))) (/ (* x 2.0) (* 1 (- (/ x y) 1))))
  (sqrt (/ (* x 2.0) (* 1 (- (/ x y) 1))))
  (sqrt (/ (* x 2.0) (* 1 (- (/ x y) 1))))
  (- (* x 2.0))
  (- (* 1 (- (/ x y) 1)))
  (/ x 1)
  (/ 2.0 (- (/ x y) 1))
  (/ 1 (* 1 (- (/ x y) 1)))
  (/ (* 1 (- (/ x y) 1)) (* x 2.0))
  (/ (* x 2.0) 1)
  (/ (* 1 (- (/ x y) 1)) 2.0)
  (/ (* x 2.0) (* 1 (- (pow (/ x y) 3) (pow 1 3))))
  (/ (* x 2.0) (* 1 (- (* (/ x y) (/ x y)) (* 1 1))))
  0
  0
  0
24.985 * * [simplify]: iteration 0: 68 enodes
25.023 * * [simplify]: iteration 1: 247 enodes
25.341 * * [simplify]: iteration 2: 2057 enodes
26.207 * * [simplify]: iteration complete: 5000 enodes
26.207 * * [simplify]: Extracting #0: cost 18 inf + 0
26.208 * * [simplify]: Extracting #1: cost 426 inf + 2
26.212 * * [simplify]: Extracting #2: cost 1961 inf + 230
26.220 * * [simplify]: Extracting #3: cost 1758 inf + 2099
26.231 * * [simplify]: Extracting #4: cost 1519 inf + 3244
26.240 * * [simplify]: Extracting #5: cost 864 inf + 9225
26.254 * * [simplify]: Extracting #6: cost 67 inf + 19245
26.267 * * [simplify]: Extracting #7: cost 0 inf + 20262
26.280 * [simplify]: Simplified to:
  (log (* (/ 2.0 (- (/ x y) 1)) x))
  (log (* (/ 2.0 (- (/ x y) 1)) x))
  (log (* (/ 2.0 (- (/ x y) 1)) x))
  (log (* (/ 2.0 (- (/ x y) 1)) x))
  (log (* (/ 2.0 (- (/ x y) 1)) x))
  (log (* (/ 2.0 (- (/ x y) 1)) x))
  (log (* (/ 2.0 (- (/ x y) 1)) x))
  (pow (exp x) (/ 2.0 (- (/ x y) 1)))
  (/ (* (pow x 3) (pow 2.0 3)) (pow (- (/ x y) 1) 3))
  (/ (* (pow x 3) (pow 2.0 3)) (pow (- (/ x y) 1) 3))
  (pow (* (/ 2.0 (- (/ x y) 1)) x) 3)
  (pow (* (/ 2.0 (- (/ x y) 1)) x) 3)
  (* (cbrt (* (/ 2.0 (- (/ x y) 1)) x)) (cbrt (* (/ 2.0 (- (/ x y) 1)) x)))
  (cbrt (* (/ 2.0 (- (/ x y) 1)) x))
  (pow (* (/ 2.0 (- (/ x y) 1)) x) 3)
  (sqrt (* (/ 2.0 (- (/ x y) 1)) x))
  (sqrt (* (/ 2.0 (- (/ x y) 1)) x))
  (* (- x) 2.0)
  (- (- (/ x y) 1))
  x
  (/ 2.0 (- (/ x y) 1))
  (/ 1 (- (/ x y) 1))
  (/ (/ (- (/ x y) 1) x) 2.0)
  (* x 2.0)
  (/ (- (/ x y) 1) 2.0)
  (/ (* x 2.0) (+ -1 (pow (/ x y) 3)))
  (/ (* x 2.0) (+ -1 (* (/ x y) (/ x y))))
  0
  0
  0
26.281 * * * [progress]: adding candidates to table
26.404 * [progress]: [Phase 3 of 3] Extracting.
26.404 * * [regime]: Finding splitpoints for: (#<alt (λ (x y) (/ (* x 2.0) (* 1 (- (/ x y) 1))))> #<alt (λ (x y) (* (/ x (- x y)) (* 2.0 y)))>)
26.404 * * * [regime-changes]: Trying 2 branch expressions: (y x)
26.404 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y) (/ (* x 2.0) (* 1 (- (/ x y) 1))))> #<alt (λ (x y) (* (/ x (- x y)) (* 2.0 y)))>)
26.474 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y) (/ (* x 2.0) (* 1 (- (/ x y) 1))))> #<alt (λ (x y) (* (/ x (- x y)) (* 2.0 y)))>)
26.509 * * * [regime]: Found split indices: #<option (#s(si 0 67) #s(si 1 209) #s(si 0 255))>
26.509 * [binary-search]: Improving bounds with binary search for y and (#<alt (λ (x y) (/ (* x 2.0) (* 1 (- (/ x y) 1))))> #<alt (λ (x y) (* (/ x (- x y)) (* 2.0 y)))>)
26.549 * [regimes]: Found splitpoints: (#s(sp 0 y -1.76574173508372e-06) #s(sp 1 y 1.93349204177231e+50) #s(sp 0 y +nan.0)) , with alts (#<alt (λ (x y) (/ (* x 2.0) (* 1 (- (/ x y) 1))))> #<alt (λ (x y) (* (/ x (- x y)) (* 2.0 y)))>)
26.550 * [simplify]: Simplifying:
  (if (<= y -1.76574173508372e-06) (/ (* x 2.0) (* 1 (- (/ x y) 1))) (if (<= y 1.93349204177231e+50) (* (/ x (- x y)) (* 2.0 y)) (/ (* x 2.0) (* 1 (- (/ x y) 1)))))
26.550 * * [simplify]: iteration 0: 19 enodes
26.551 * * [simplify]: iteration 1: 28 enodes
26.552 * * [simplify]: iteration 2: 29 enodes
26.553 * * [simplify]: iteration complete: 29 enodes
26.553 * * [simplify]: Extracting #0: cost 1 inf + 0
26.553 * * [simplify]: Extracting #1: cost 6 inf + 0
26.553 * * [simplify]: Extracting #2: cost 14 inf + 0
26.553 * * [simplify]: Extracting #3: cost 18 inf + 2
26.553 * * [simplify]: Extracting #4: cost 8 inf + 26
26.553 * * [simplify]: Extracting #5: cost 4 inf + 52
26.553 * * [simplify]: Extracting #6: cost 0 inf + 121
26.553 * * [simplify]: Extracting #7: cost 0 inf + 113
26.553 * [simplify]: Simplified to:
  (if (or (<= y -1.76574173508372e-06) (not (<= y 1.93349204177231e+50))) (/ (* x 2.0) (- (/ x y) 1)) (* (* 2.0 y) (/ x (- x y))))
27.765 * [regime-testing]: Baseline error score: 7.354358382633996
27.767 * [regime-testing]: Oracle error score: 0.007000875109388674
27.772 * [regime-testing]: End program error score: 0.15995227380540303
27.886 * [regime-testing]: Target error score: 0.37192576285466805