33.751 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.019 * [progress]: [Phase 2 of 3] Improving. 0.019 * [simplify]: Simplifying: (/ (- x y) (* (* x 2.0) y)) 0.019 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.019 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.019 * * [simplify]: Extracting # 2 : cost 6 inf + 0 0.019 * * [simplify]: Extracting # 3 : cost 5 inf + 2 0.019 * * [simplify]: Extracting # 4 : cost 0 inf + 333 0.019 * * [simplify]: iteration 0 : 7 enodes (cost 163 ) 0.020 * * [simplify]: Extracting # 0 : cost 0 inf + 333 0.021 * * [simplify]: Extracting # 1 : cost 5 inf + 333 0.021 * * [simplify]: Extracting # 2 : cost 0 inf + 785 0.021 * * [simplify]: iteration 1 : 18 enodes (cost 163 ) 0.023 * * [simplify]: Extracting # 0 : cost 0 inf + 785 0.023 * * [simplify]: Extracting # 1 : cost 12 inf + 785 0.024 * * [simplify]: Extracting # 2 : cost 0 inf + 1610 0.024 * * [simplify]: iteration 2 : 47 enodes (cost 163 ) 0.032 * * [simplify]: Extracting # 0 : cost 0 inf + 1610 0.032 * * [simplify]: Extracting # 1 : cost 20 inf + 1367 0.033 * * [simplify]: Extracting # 2 : cost 0 inf + 2891 0.033 * * [simplify]: iteration 3 : 105 enodes (cost 163 ) 0.049 * * [simplify]: Extracting # 0 : cost 0 inf + 2891 0.050 * * [simplify]: Extracting # 1 : cost 17 inf + 2157 0.051 * * [simplify]: Extracting # 2 : cost 0 inf + 3431 0.052 * * [simplify]: iteration 4 : 180 enodes (cost 163 ) 0.088 * * [simplify]: Extracting # 0 : cost 0 inf + 3431 0.089 * * [simplify]: Extracting # 1 : cost 3 inf + 2407 0.090 * * [simplify]: Extracting # 2 : cost 0 inf + 2654 0.091 * * [simplify]: iteration 5 : 220 enodes (cost 163 ) 0.115 * * [simplify]: Extracting # 0 : cost 0 inf + 2654 0.117 * * [simplify]: Extracting # 1 : cost 7 inf + 2407 0.119 * * [simplify]: Extracting # 2 : cost 0 inf + 2899 0.121 * * [simplify]: iteration 6 : 257 enodes (cost 163 ) 0.161 * * [simplify]: Extracting # 0 : cost 0 inf + 2899 0.162 * * [simplify]: Extracting # 1 : cost 1 inf + 2776 0.163 * * [simplify]: Extracting # 2 : cost 0 inf + 2857 0.164 * * [simplify]: iteration 7 : 282 enodes (cost 163 ) 0.190 * * [simplify]: Extracting # 0 : cost 0 inf + 2857 0.192 * * [simplify]: Extracting # 1 : cost 3 inf + 2776 0.194 * * [simplify]: Extracting # 2 : cost 0 inf + 3059 0.196 * * [simplify]: iteration 8 : 308 enodes (cost 163 ) 0.240 * * [simplify]: Extracting # 0 : cost 0 inf + 3059 0.242 * * [simplify]: Extracting # 1 : cost 0 inf + 2776 0.244 * * [simplify]: iteration 9 : 326 enodes (cost 163 ) 0.268 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.270 * * [simplify]: iteration 10 : 339 enodes (cost 163 ) 0.299 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.300 * * [simplify]: iteration 11 : 352 enodes (cost 163 ) 0.331 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.333 * * [simplify]: iteration 12 : 365 enodes (cost 163 ) 0.379 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.380 * * [simplify]: iteration 13 : 378 enodes (cost 163 ) 0.402 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.404 * * [simplify]: iteration 14 : 391 enodes (cost 163 ) 0.450 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.452 * * [simplify]: iteration 15 : 404 enodes (cost 163 ) 0.481 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.482 * * [simplify]: iteration 16 : 417 enodes (cost 163 ) 0.504 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.505 * * [simplify]: iteration 17 : 430 enodes (cost 163 ) 0.529 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.531 * * [simplify]: iteration 18 : 443 enodes (cost 163 ) 0.555 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.556 * * [simplify]: iteration 19 : 456 enodes (cost 163 ) 0.592 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.593 * * [simplify]: iteration 20 : 469 enodes (cost 163 ) 0.615 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.616 * * [simplify]: iteration 21 : 482 enodes (cost 163 ) 0.652 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.653 * * [simplify]: iteration 22 : 495 enodes (cost 163 ) 0.676 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.677 * * [simplify]: iteration 23 : 508 enodes (cost 163 ) 0.701 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.703 * * [simplify]: iteration 24 : 521 enodes (cost 163 ) 0.742 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.743 * * [simplify]: iteration 25 : 534 enodes (cost 163 ) 0.765 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.766 * * [simplify]: iteration 26 : 547 enodes (cost 163 ) 0.811 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.813 * * [simplify]: iteration 27 : 560 enodes (cost 163 ) 0.856 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.858 * * [simplify]: iteration 28 : 573 enodes (cost 163 ) 0.903 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.905 * * [simplify]: iteration 29 : 586 enodes (cost 163 ) 0.953 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 0.955 * * [simplify]: iteration 30 : 599 enodes (cost 163 ) 0.999 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.002 * * [simplify]: iteration 31 : 612 enodes (cost 163 ) 1.047 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.049 * * [simplify]: iteration 32 : 625 enodes (cost 163 ) 1.098 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.100 * * [simplify]: iteration 33 : 638 enodes (cost 163 ) 1.125 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.126 * * [simplify]: iteration 34 : 651 enodes (cost 163 ) 1.151 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.153 * * [simplify]: iteration 35 : 664 enodes (cost 163 ) 1.181 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.182 * * [simplify]: iteration 36 : 677 enodes (cost 163 ) 1.221 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.223 * * [simplify]: iteration 37 : 690 enodes (cost 163 ) 1.267 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.269 * * [simplify]: iteration 38 : 703 enodes (cost 163 ) 1.295 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.296 * * [simplify]: iteration 39 : 716 enodes (cost 163 ) 1.329 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.331 * * [simplify]: iteration 40 : 729 enodes (cost 163 ) 1.375 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.377 * * [simplify]: iteration 41 : 742 enodes (cost 163 ) 1.425 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.427 * * [simplify]: iteration 42 : 755 enodes (cost 163 ) 1.472 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.474 * * [simplify]: iteration 43 : 768 enodes (cost 163 ) 1.516 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.517 * * [simplify]: iteration 44 : 781 enodes (cost 163 ) 1.544 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.546 * * [simplify]: iteration 45 : 794 enodes (cost 163 ) 1.574 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.575 * * [simplify]: iteration 46 : 807 enodes (cost 163 ) 1.599 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.600 * * [simplify]: iteration 47 : 820 enodes (cost 163 ) 1.622 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.623 * * [simplify]: iteration 48 : 833 enodes (cost 163 ) 1.646 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.647 * * [simplify]: iteration 49 : 846 enodes (cost 163 ) 1.683 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.685 * * [simplify]: iteration 50 : 859 enodes (cost 163 ) 1.708 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.709 * * [simplify]: iteration 51 : 872 enodes (cost 163 ) 1.741 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.743 * * [simplify]: iteration 52 : 885 enodes (cost 163 ) 1.774 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.775 * * [simplify]: iteration 53 : 898 enodes (cost 163 ) 1.807 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.808 * * [simplify]: iteration 54 : 911 enodes (cost 163 ) 1.830 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.832 * * [simplify]: iteration 55 : 924 enodes (cost 163 ) 1.862 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.863 * * [simplify]: iteration 56 : 937 enodes (cost 163 ) 1.895 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.897 * * [simplify]: iteration 57 : 950 enodes (cost 163 ) 1.928 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.929 * * [simplify]: iteration 58 : 963 enodes (cost 163 ) 1.970 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 1.972 * * [simplify]: iteration 59 : 976 enodes (cost 163 ) 2.018 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.020 * * [simplify]: iteration 60 : 989 enodes (cost 163 ) 2.049 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.050 * * [simplify]: iteration 61 : 1002 enodes (cost 163 ) 2.083 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.085 * * [simplify]: iteration 62 : 1015 enodes (cost 163 ) 2.131 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.133 * * [simplify]: iteration 63 : 1028 enodes (cost 163 ) 2.181 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.183 * * [simplify]: iteration 64 : 1041 enodes (cost 163 ) 2.228 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.230 * * [simplify]: iteration 65 : 1054 enodes (cost 163 ) 2.254 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.255 * * [simplify]: iteration 66 : 1067 enodes (cost 163 ) 2.291 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.293 * * [simplify]: iteration 67 : 1080 enodes (cost 163 ) 2.318 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.319 * * [simplify]: iteration 68 : 1093 enodes (cost 163 ) 2.358 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.360 * * [simplify]: iteration 69 : 1106 enodes (cost 163 ) 2.389 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.390 * * [simplify]: iteration 70 : 1119 enodes (cost 163 ) 2.413 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.414 * * [simplify]: iteration 71 : 1132 enodes (cost 163 ) 2.440 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.441 * * [simplify]: iteration 72 : 1145 enodes (cost 163 ) 2.464 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.466 * * [simplify]: iteration 73 : 1158 enodes (cost 163 ) 2.496 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.497 * * [simplify]: iteration 74 : 1171 enodes (cost 163 ) 2.523 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.525 * * [simplify]: iteration 75 : 1184 enodes (cost 163 ) 2.570 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.572 * * [simplify]: iteration 76 : 1197 enodes (cost 163 ) 2.616 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.618 * * [simplify]: iteration 77 : 1210 enodes (cost 163 ) 2.665 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.667 * * [simplify]: iteration 78 : 1223 enodes (cost 163 ) 2.711 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.713 * * [simplify]: iteration 79 : 1236 enodes (cost 163 ) 2.759 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.761 * * [simplify]: iteration 80 : 1249 enodes (cost 163 ) 2.807 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.809 * * [simplify]: iteration 81 : 1262 enodes (cost 163 ) 2.854 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.856 * * [simplify]: iteration 82 : 1275 enodes (cost 163 ) 2.901 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.903 * * [simplify]: iteration 83 : 1288 enodes (cost 163 ) 2.950 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.951 * * [simplify]: iteration 84 : 1301 enodes (cost 163 ) 2.973 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 2.974 * * [simplify]: iteration 85 : 1314 enodes (cost 163 ) 3.000 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.002 * * [simplify]: iteration 86 : 1327 enodes (cost 163 ) 3.049 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.051 * * [simplify]: iteration 87 : 1340 enodes (cost 163 ) 3.097 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.099 * * [simplify]: iteration 88 : 1353 enodes (cost 163 ) 3.126 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.127 * * [simplify]: iteration 89 : 1366 enodes (cost 163 ) 3.160 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.162 * * [simplify]: iteration 90 : 1379 enodes (cost 163 ) 3.206 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.208 * * [simplify]: iteration 91 : 1392 enodes (cost 163 ) 3.255 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.256 * * [simplify]: iteration 92 : 1405 enodes (cost 163 ) 3.278 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.279 * * [simplify]: iteration 93 : 1418 enodes (cost 163 ) 3.312 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.314 * * [simplify]: iteration 94 : 1431 enodes (cost 163 ) 3.337 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.339 * * [simplify]: iteration 95 : 1444 enodes (cost 163 ) 3.362 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.363 * * [simplify]: iteration 96 : 1457 enodes (cost 163 ) 3.405 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.407 * * [simplify]: iteration 97 : 1470 enodes (cost 163 ) 3.457 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.459 * * [simplify]: iteration 98 : 1483 enodes (cost 163 ) 3.505 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.507 * * [simplify]: iteration 99 : 1496 enodes (cost 163 ) 3.548 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.550 * * [simplify]: iteration 100 : 1509 enodes (cost 163 ) 3.597 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.599 * * [simplify]: iteration 101 : 1522 enodes (cost 163 ) 3.644 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.646 * * [simplify]: iteration 102 : 1535 enodes (cost 163 ) 3.690 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.693 * * [simplify]: iteration 103 : 1548 enodes (cost 163 ) 3.715 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.716 * * [simplify]: iteration 104 : 1561 enodes (cost 163 ) 3.755 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.756 * * [simplify]: iteration 105 : 1574 enodes (cost 163 ) 3.780 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.781 * * [simplify]: iteration 106 : 1587 enodes (cost 163 ) 3.812 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.813 * * [simplify]: iteration 107 : 1600 enodes (cost 163 ) 3.845 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.846 * * [simplify]: iteration 108 : 1613 enodes (cost 163 ) 3.877 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.878 * * [simplify]: iteration 109 : 1626 enodes (cost 163 ) 3.901 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.902 * * [simplify]: iteration 110 : 1639 enodes (cost 163 ) 3.932 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.933 * * [simplify]: iteration 111 : 1652 enodes (cost 163 ) 3.965 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.966 * * [simplify]: iteration 112 : 1665 enodes (cost 163 ) 3.989 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 3.990 * * [simplify]: iteration 113 : 1678 enodes (cost 163 ) 4.030 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.032 * * [simplify]: iteration 114 : 1691 enodes (cost 163 ) 4.057 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.058 * * [simplify]: iteration 115 : 1704 enodes (cost 163 ) 4.088 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.089 * * [simplify]: iteration 116 : 1717 enodes (cost 163 ) 4.111 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.112 * * [simplify]: iteration 117 : 1730 enodes (cost 163 ) 4.136 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.137 * * [simplify]: iteration 118 : 1743 enodes (cost 163 ) 4.176 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.177 * * [simplify]: iteration 119 : 1756 enodes (cost 163 ) 4.201 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.202 * * [simplify]: iteration 120 : 1769 enodes (cost 163 ) 4.234 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.236 * * [simplify]: iteration 121 : 1782 enodes (cost 163 ) 4.280 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.282 * * [simplify]: iteration 122 : 1795 enodes (cost 163 ) 4.329 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.331 * * [simplify]: iteration 123 : 1808 enodes (cost 163 ) 4.377 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.379 * * [simplify]: iteration 124 : 1821 enodes (cost 163 ) 4.425 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.427 * * [simplify]: iteration 125 : 1834 enodes (cost 163 ) 4.475 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.477 * * [simplify]: iteration 126 : 1847 enodes (cost 163 ) 4.514 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.515 * * [simplify]: iteration 127 : 1860 enodes (cost 163 ) 4.537 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.538 * * [simplify]: iteration 128 : 1873 enodes (cost 163 ) 4.562 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.563 * * [simplify]: iteration 129 : 1886 enodes (cost 163 ) 4.597 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.599 * * [simplify]: iteration 130 : 1899 enodes (cost 163 ) 4.626 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.627 * * [simplify]: iteration 131 : 1912 enodes (cost 163 ) 4.670 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.672 * * [simplify]: iteration 132 : 1925 enodes (cost 163 ) 4.697 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.698 * * [simplify]: iteration 133 : 1938 enodes (cost 163 ) 4.734 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.736 * * [simplify]: iteration 134 : 1951 enodes (cost 163 ) 4.759 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.760 * * [simplify]: iteration 135 : 1964 enodes (cost 163 ) 4.797 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.798 * * [simplify]: iteration 136 : 1977 enodes (cost 163 ) 4.822 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.823 * * [simplify]: iteration 137 : 1990 enodes (cost 163 ) 4.844 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.845 * * [simplify]: iteration 138 : 2003 enodes (cost 163 ) 4.886 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.888 * * [simplify]: iteration 139 : 2016 enodes (cost 163 ) 4.935 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.937 * * [simplify]: iteration 140 : 2029 enodes (cost 163 ) 4.983 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 4.985 * * [simplify]: iteration 141 : 2042 enodes (cost 163 ) 5.029 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.031 * * [simplify]: iteration 142 : 2055 enodes (cost 163 ) 5.057 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.058 * * [simplify]: iteration 143 : 2068 enodes (cost 163 ) 5.080 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.082 * * [simplify]: iteration 144 : 2081 enodes (cost 163 ) 5.119 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.121 * * [simplify]: iteration 145 : 2094 enodes (cost 163 ) 5.151 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.152 * * [simplify]: iteration 146 : 2107 enodes (cost 163 ) 5.183 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.184 * * [simplify]: iteration 147 : 2120 enodes (cost 163 ) 5.207 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.210 * * [simplify]: iteration 148 : 2133 enodes (cost 163 ) 5.233 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.234 * * [simplify]: iteration 149 : 2146 enodes (cost 163 ) 5.271 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.272 * * [simplify]: iteration 150 : 2159 enodes (cost 163 ) 5.298 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.300 * * [simplify]: iteration 151 : 2172 enodes (cost 163 ) 5.338 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.339 * * [simplify]: iteration 152 : 2185 enodes (cost 163 ) 5.365 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.367 * * [simplify]: iteration 153 : 2198 enodes (cost 163 ) 5.410 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.411 * * [simplify]: iteration 154 : 2211 enodes (cost 163 ) 5.436 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.438 * * [simplify]: iteration 155 : 2224 enodes (cost 163 ) 5.466 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.467 * * [simplify]: iteration 156 : 2237 enodes (cost 163 ) 5.495 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.497 * * [simplify]: iteration 157 : 2250 enodes (cost 163 ) 5.532 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.533 * * [simplify]: iteration 158 : 2263 enodes (cost 163 ) 5.555 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.556 * * [simplify]: iteration 159 : 2276 enodes (cost 163 ) 5.602 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.604 * * [simplify]: iteration 160 : 2289 enodes (cost 163 ) 5.642 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.643 * * [simplify]: iteration 161 : 2302 enodes (cost 163 ) 5.664 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.665 * * [simplify]: iteration 162 : 2315 enodes (cost 163 ) 5.713 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.715 * * [simplify]: iteration 163 : 2328 enodes (cost 163 ) 5.739 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.740 * * [simplify]: iteration 164 : 2341 enodes (cost 163 ) 5.763 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.764 * * [simplify]: iteration 165 : 2354 enodes (cost 163 ) 5.804 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.806 * * [simplify]: iteration 166 : 2367 enodes (cost 163 ) 5.831 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.832 * * [simplify]: iteration 167 : 2380 enodes (cost 163 ) 5.855 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.856 * * [simplify]: iteration 168 : 2393 enodes (cost 163 ) 5.898 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.900 * * [simplify]: iteration 169 : 2406 enodes (cost 163 ) 5.946 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.948 * * [simplify]: iteration 170 : 2419 enodes (cost 163 ) 5.993 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 5.995 * * [simplify]: iteration 171 : 2432 enodes (cost 163 ) 6.029 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.030 * * [simplify]: iteration 172 : 2445 enodes (cost 163 ) 6.052 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.053 * * [simplify]: iteration 173 : 2458 enodes (cost 163 ) 6.100 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.102 * * [simplify]: iteration 174 : 2471 enodes (cost 163 ) 6.134 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.135 * * [simplify]: iteration 175 : 2484 enodes (cost 163 ) 6.157 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.158 * * [simplify]: iteration 176 : 2497 enodes (cost 163 ) 6.182 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.184 * * [simplify]: iteration 177 : 2510 enodes (cost 163 ) 6.219 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.220 * * [simplify]: iteration 178 : 2523 enodes (cost 163 ) 6.244 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.245 * * [simplify]: iteration 179 : 2536 enodes (cost 163 ) 6.279 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.281 * * [simplify]: iteration 180 : 2549 enodes (cost 163 ) 6.324 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.326 * * [simplify]: iteration 181 : 2562 enodes (cost 163 ) 6.360 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.361 * * [simplify]: iteration 182 : 2575 enodes (cost 163 ) 6.386 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.388 * * [simplify]: iteration 183 : 2588 enodes (cost 163 ) 6.433 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.435 * * [simplify]: iteration 184 : 2601 enodes (cost 163 ) 6.482 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.484 * * [simplify]: iteration 185 : 2614 enodes (cost 163 ) 6.509 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.510 * * [simplify]: iteration 186 : 2627 enodes (cost 163 ) 6.549 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.551 * * [simplify]: iteration 187 : 2640 enodes (cost 163 ) 6.598 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.600 * * [simplify]: iteration 188 : 2653 enodes (cost 163 ) 6.647 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.649 * * [simplify]: iteration 189 : 2666 enodes (cost 163 ) 6.691 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.692 * * [simplify]: iteration 190 : 2679 enodes (cost 163 ) 6.717 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.718 * * [simplify]: iteration 191 : 2692 enodes (cost 163 ) 6.755 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.756 * * [simplify]: iteration 192 : 2705 enodes (cost 163 ) 6.779 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.783 * * [simplify]: iteration 193 : 2718 enodes (cost 163 ) 6.814 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.816 * * [simplify]: iteration 194 : 2731 enodes (cost 163 ) 6.861 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.863 * * [simplify]: iteration 195 : 2744 enodes (cost 163 ) 6.912 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.914 * * [simplify]: iteration 196 : 2757 enodes (cost 163 ) 6.960 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.963 * * [simplify]: iteration 197 : 2770 enodes (cost 163 ) 6.987 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 6.988 * * [simplify]: iteration 198 : 2783 enodes (cost 163 ) 7.020 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.021 * * [simplify]: iteration 199 : 2796 enodes (cost 163 ) 7.044 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.045 * * [simplify]: iteration 200 : 2809 enodes (cost 163 ) 7.086 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.087 * * [simplify]: iteration 201 : 2822 enodes (cost 163 ) 7.111 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.112 * * [simplify]: iteration 202 : 2835 enodes (cost 163 ) 7.147 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.148 * * [simplify]: iteration 203 : 2848 enodes (cost 163 ) 7.170 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.171 * * [simplify]: iteration 204 : 2861 enodes (cost 163 ) 7.196 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.198 * * [simplify]: iteration 205 : 2874 enodes (cost 163 ) 7.220 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.221 * * [simplify]: iteration 206 : 2887 enodes (cost 163 ) 7.258 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.260 * * [simplify]: iteration 207 : 2900 enodes (cost 163 ) 7.299 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.300 * * [simplify]: iteration 208 : 2913 enodes (cost 163 ) 7.323 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.324 * * [simplify]: iteration 209 : 2926 enodes (cost 163 ) 7.365 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.367 * * [simplify]: iteration 210 : 2939 enodes (cost 163 ) 7.393 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.394 * * [simplify]: iteration 211 : 2952 enodes (cost 163 ) 7.431 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.433 * * [simplify]: iteration 212 : 2965 enodes (cost 163 ) 7.459 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.460 * * [simplify]: iteration 213 : 2978 enodes (cost 163 ) 7.491 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.492 * * [simplify]: iteration 214 : 2991 enodes (cost 163 ) 7.519 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.521 * * [simplify]: iteration 215 : 3004 enodes (cost 163 ) 7.547 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.548 * * [simplify]: iteration 216 : 3017 enodes (cost 163 ) 7.587 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.590 * * [simplify]: iteration 217 : 3030 enodes (cost 163 ) 7.634 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.637 * * [simplify]: iteration 218 : 3043 enodes (cost 163 ) 7.684 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.686 * * [simplify]: iteration 219 : 3056 enodes (cost 163 ) 7.714 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.715 * * [simplify]: iteration 220 : 3069 enodes (cost 163 ) 7.749 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.751 * * [simplify]: iteration 221 : 3082 enodes (cost 163 ) 7.779 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.780 * * [simplify]: iteration 222 : 3095 enodes (cost 163 ) 7.814 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.817 * * [simplify]: iteration 223 : 3108 enodes (cost 163 ) 7.856 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.857 * * [simplify]: iteration 224 : 3121 enodes (cost 163 ) 7.882 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.884 * * [simplify]: iteration 225 : 3134 enodes (cost 163 ) 7.913 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.914 * * [simplify]: iteration 226 : 3147 enodes (cost 163 ) 7.954 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.955 * * [simplify]: iteration 227 : 3160 enodes (cost 163 ) 7.977 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 7.978 * * [simplify]: iteration 228 : 3173 enodes (cost 163 ) 8.013 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.014 * * [simplify]: iteration 229 : 3186 enodes (cost 163 ) 8.048 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.050 * * [simplify]: iteration 230 : 3199 enodes (cost 163 ) 8.078 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.079 * * [simplify]: iteration 231 : 3212 enodes (cost 163 ) 8.109 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.112 * * [simplify]: iteration 232 : 3225 enodes (cost 163 ) 8.137 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.138 * * [simplify]: iteration 233 : 3238 enodes (cost 163 ) 8.160 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.161 * * [simplify]: iteration 234 : 3251 enodes (cost 163 ) 8.185 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.186 * * [simplify]: iteration 235 : 3264 enodes (cost 163 ) 8.218 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.219 * * [simplify]: iteration 236 : 3277 enodes (cost 163 ) 8.244 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.246 * * [simplify]: iteration 237 : 3290 enodes (cost 163 ) 8.292 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.294 * * [simplify]: iteration 238 : 3303 enodes (cost 163 ) 8.340 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.341 * * [simplify]: iteration 239 : 3316 enodes (cost 163 ) 8.366 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.368 * * [simplify]: iteration 240 : 3329 enodes (cost 163 ) 8.416 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.418 * * [simplify]: iteration 241 : 3342 enodes (cost 163 ) 8.463 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.465 * * [simplify]: iteration 242 : 3355 enodes (cost 163 ) 8.512 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.513 * * [simplify]: iteration 243 : 3368 enodes (cost 163 ) 8.537 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.538 * * [simplify]: iteration 244 : 3381 enodes (cost 163 ) 8.561 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.562 * * [simplify]: iteration 245 : 3394 enodes (cost 163 ) 8.586 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.588 * * [simplify]: iteration 246 : 3407 enodes (cost 163 ) 8.616 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.617 * * [simplify]: iteration 247 : 3420 enodes (cost 163 ) 8.640 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.641 * * [simplify]: iteration 248 : 3433 enodes (cost 163 ) 8.671 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.673 * * [simplify]: iteration 249 : 3446 enodes (cost 163 ) 8.709 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.710 * * [simplify]: iteration 250 : 3459 enodes (cost 163 ) 8.734 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.735 * * [simplify]: iteration 251 : 3472 enodes (cost 163 ) 8.772 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.773 * * [simplify]: iteration 252 : 3485 enodes (cost 163 ) 8.797 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.798 * * [simplify]: iteration 253 : 3498 enodes (cost 163 ) 8.836 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.838 * * [simplify]: iteration 254 : 3511 enodes (cost 163 ) 8.868 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.869 * * [simplify]: iteration 255 : 3524 enodes (cost 163 ) 8.893 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.894 * * [simplify]: iteration 256 : 3537 enodes (cost 163 ) 8.918 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.920 * * [simplify]: iteration 257 : 3550 enodes (cost 163 ) 8.966 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.968 * * [simplify]: iteration 258 : 3563 enodes (cost 163 ) 8.996 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 8.997 * * [simplify]: iteration 259 : 3576 enodes (cost 163 ) 9.028 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.030 * * [simplify]: iteration 260 : 3589 enodes (cost 163 ) 9.076 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.078 * * [simplify]: iteration 261 : 3602 enodes (cost 163 ) 9.112 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.113 * * [simplify]: iteration 262 : 3615 enodes (cost 163 ) 9.141 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.143 * * [simplify]: iteration 263 : 3628 enodes (cost 163 ) 9.191 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.193 * * [simplify]: iteration 264 : 3641 enodes (cost 163 ) 9.217 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.219 * * [simplify]: iteration 265 : 3654 enodes (cost 163 ) 9.247 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.249 * * [simplify]: iteration 266 : 3667 enodes (cost 163 ) 9.290 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.292 * * [simplify]: iteration 267 : 3680 enodes (cost 163 ) 9.328 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.329 * * [simplify]: iteration 268 : 3693 enodes (cost 163 ) 9.367 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.369 * * [simplify]: iteration 269 : 3706 enodes (cost 163 ) 9.399 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.400 * * [simplify]: iteration 270 : 3719 enodes (cost 163 ) 9.424 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.425 * * [simplify]: iteration 271 : 3732 enodes (cost 163 ) 9.457 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.458 * * [simplify]: iteration 272 : 3745 enodes (cost 163 ) 9.480 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.481 * * [simplify]: iteration 273 : 3758 enodes (cost 163 ) 9.526 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.528 * * [simplify]: iteration 274 : 3771 enodes (cost 163 ) 9.576 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.578 * * [simplify]: iteration 275 : 3784 enodes (cost 163 ) 9.612 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.613 * * [simplify]: iteration 276 : 3797 enodes (cost 163 ) 9.637 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.639 * * [simplify]: iteration 277 : 3810 enodes (cost 163 ) 9.687 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.689 * * [simplify]: iteration 278 : 3823 enodes (cost 163 ) 9.716 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.717 * * [simplify]: iteration 279 : 3836 enodes (cost 163 ) 9.749 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.751 * * [simplify]: iteration 280 : 3849 enodes (cost 163 ) 9.800 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.802 * * [simplify]: iteration 281 : 3862 enodes (cost 163 ) 9.847 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.849 * * [simplify]: iteration 282 : 3875 enodes (cost 163 ) 9.878 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.880 * * [simplify]: iteration 283 : 3888 enodes (cost 163 ) 9.915 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.917 * * [simplify]: iteration 284 : 3901 enodes (cost 163 ) 9.962 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 9.964 * * [simplify]: iteration 285 : 3914 enodes (cost 163 ) 10.011 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.013 * * [simplify]: iteration 286 : 3927 enodes (cost 163 ) 10.058 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.060 * * [simplify]: iteration 287 : 3940 enodes (cost 163 ) 10.105 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.107 * * [simplify]: iteration 288 : 3953 enodes (cost 163 ) 10.154 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.156 * * [simplify]: iteration 289 : 3966 enodes (cost 163 ) 10.181 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.182 * * [simplify]: iteration 290 : 3979 enodes (cost 163 ) 10.218 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.220 * * [simplify]: iteration 291 : 3992 enodes (cost 163 ) 10.265 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.266 * * [simplify]: iteration 292 : 4005 enodes (cost 163 ) 10.288 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.289 * * [simplify]: iteration 293 : 4018 enodes (cost 163 ) 10.333 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.335 * * [simplify]: iteration 294 : 4031 enodes (cost 163 ) 10.382 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.384 * * [simplify]: iteration 295 : 4044 enodes (cost 163 ) 10.428 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.430 * * [simplify]: iteration 296 : 4057 enodes (cost 163 ) 10.476 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.478 * * [simplify]: iteration 297 : 4070 enodes (cost 163 ) 10.505 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.506 * * [simplify]: iteration 298 : 4083 enodes (cost 163 ) 10.535 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.537 * * [simplify]: iteration 299 : 4096 enodes (cost 163 ) 10.567 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.568 * * [simplify]: iteration 300 : 4109 enodes (cost 163 ) 10.594 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.595 * * [simplify]: iteration 301 : 4122 enodes (cost 163 ) 10.616 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.617 * * [simplify]: iteration 302 : 4135 enodes (cost 163 ) 10.654 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.655 * * [simplify]: iteration 303 : 4148 enodes (cost 163 ) 10.695 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.697 * * [simplify]: iteration 304 : 4161 enodes (cost 163 ) 10.742 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.744 * * [simplify]: iteration 305 : 4174 enodes (cost 163 ) 10.793 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.795 * * [simplify]: iteration 306 : 4187 enodes (cost 163 ) 10.819 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.820 * * [simplify]: iteration 307 : 4200 enodes (cost 163 ) 10.854 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.856 * * [simplify]: iteration 308 : 4213 enodes (cost 163 ) 10.904 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.906 * * [simplify]: iteration 309 : 4226 enodes (cost 163 ) 10.935 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.936 * * [simplify]: iteration 310 : 4239 enodes (cost 163 ) 10.973 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 10.974 * * [simplify]: iteration 311 : 4252 enodes (cost 163 ) 11.004 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.006 * * [simplify]: iteration 312 : 4265 enodes (cost 163 ) 11.053 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.055 * * [simplify]: iteration 313 : 4278 enodes (cost 163 ) 11.094 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.096 * * [simplify]: iteration 314 : 4291 enodes (cost 163 ) 11.119 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.121 * * [simplify]: iteration 315 : 4304 enodes (cost 163 ) 11.162 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.163 * * [simplify]: iteration 316 : 4317 enodes (cost 163 ) 11.206 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.207 * * [simplify]: iteration 317 : 4330 enodes (cost 163 ) 11.229 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.230 * * [simplify]: iteration 318 : 4343 enodes (cost 163 ) 11.268 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.270 * * [simplify]: iteration 319 : 4356 enodes (cost 163 ) 11.299 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.300 * * [simplify]: iteration 320 : 4369 enodes (cost 163 ) 11.322 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.323 * * [simplify]: iteration 321 : 4382 enodes (cost 163 ) 11.348 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.350 * * [simplify]: iteration 322 : 4395 enodes (cost 163 ) 11.395 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.396 * * [simplify]: iteration 323 : 4408 enodes (cost 163 ) 11.419 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.420 * * [simplify]: iteration 324 : 4421 enodes (cost 163 ) 11.450 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.452 * * [simplify]: iteration 325 : 4434 enodes (cost 163 ) 11.499 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.501 * * [simplify]: iteration 326 : 4447 enodes (cost 163 ) 11.546 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.548 * * [simplify]: iteration 327 : 4460 enodes (cost 163 ) 11.595 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.597 * * [simplify]: iteration 328 : 4473 enodes (cost 163 ) 11.638 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.639 * * [simplify]: iteration 329 : 4486 enodes (cost 163 ) 11.661 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.662 * * [simplify]: iteration 330 : 4499 enodes (cost 163 ) 11.689 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.690 * * [simplify]: iteration 331 : 4512 enodes (cost 163 ) 11.720 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.722 * * [simplify]: iteration 332 : 4525 enodes (cost 163 ) 11.766 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.767 * * [simplify]: iteration 333 : 4538 enodes (cost 163 ) 11.792 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.793 * * [simplify]: iteration 334 : 4551 enodes (cost 163 ) 11.829 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.831 * * [simplify]: iteration 335 : 4564 enodes (cost 163 ) 11.874 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.875 * * [simplify]: iteration 336 : 4577 enodes (cost 163 ) 11.898 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.899 * * [simplify]: iteration 337 : 4590 enodes (cost 163 ) 11.943 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.945 * * [simplify]: iteration 338 : 4603 enodes (cost 163 ) 11.987 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 11.989 * * [simplify]: iteration 339 : 4616 enodes (cost 163 ) 12.034 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.035 * * [simplify]: iteration 340 : 4629 enodes (cost 163 ) 12.057 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.058 * * [simplify]: iteration 341 : 4642 enodes (cost 163 ) 12.101 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.103 * * [simplify]: iteration 342 : 4655 enodes (cost 163 ) 12.137 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.138 * * [simplify]: iteration 343 : 4668 enodes (cost 163 ) 12.167 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.169 * * [simplify]: iteration 344 : 4681 enodes (cost 163 ) 12.193 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.194 * * [simplify]: iteration 345 : 4694 enodes (cost 163 ) 12.232 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.234 * * [simplify]: iteration 346 : 4707 enodes (cost 163 ) 12.270 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.271 * * [simplify]: iteration 347 : 4720 enodes (cost 163 ) 12.295 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.296 * * [simplify]: iteration 348 : 4733 enodes (cost 163 ) 12.327 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.328 * * [simplify]: iteration 349 : 4746 enodes (cost 163 ) 12.349 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.351 * * [simplify]: iteration 350 : 4759 enodes (cost 163 ) 12.388 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.389 * * [simplify]: iteration 351 : 4772 enodes (cost 163 ) 12.415 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.417 * * [simplify]: iteration 352 : 4785 enodes (cost 163 ) 12.461 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.463 * * [simplify]: iteration 353 : 4798 enodes (cost 163 ) 12.508 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.510 * * [simplify]: iteration 354 : 4811 enodes (cost 163 ) 12.536 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.537 * * [simplify]: iteration 355 : 4824 enodes (cost 163 ) 12.559 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.560 * * [simplify]: iteration 356 : 4837 enodes (cost 163 ) 12.585 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.586 * * [simplify]: iteration 357 : 4850 enodes (cost 163 ) 12.608 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.609 * * [simplify]: iteration 358 : 4863 enodes (cost 163 ) 12.637 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.640 * * [simplify]: iteration 359 : 4876 enodes (cost 163 ) 12.661 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.662 * * [simplify]: iteration 360 : 4889 enodes (cost 163 ) 12.691 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.693 * * [simplify]: iteration 361 : 4902 enodes (cost 163 ) 12.720 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.721 * * [simplify]: iteration 362 : 4915 enodes (cost 163 ) 12.743 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.744 * * [simplify]: iteration 363 : 4928 enodes (cost 163 ) 12.770 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.771 * * [simplify]: iteration 364 : 4941 enodes (cost 163 ) 12.795 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.796 * * [simplify]: iteration 365 : 4954 enodes (cost 163 ) 12.829 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.830 * * [simplify]: iteration 366 : 4967 enodes (cost 163 ) 12.851 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.852 * * [simplify]: iteration 367 : 4980 enodes (cost 163 ) 12.878 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.879 * * [simplify]: iteration 368 : 4993 enodes (cost 163 ) 12.896 * * [simplify]: Extracting # 0 : cost 0 inf + 2776 12.897 * * [simplify]: Extracting # 1 : cost 2 inf + 2776 12.898 * * [simplify]: Extracting # 2 : cost 0 inf + 2858 12.900 * * [simplify]: iteration done: 5000 enodes (cost 163 ) 12.900 * [simplify]: Simplified to: (/ (- x y) (* (* x 2.0) y)) 12.901 * * [progress]: iteration 1 / 4 12.901 * * * [progress]: picking best candidate 12.907 * * * * [pick]: Picked # 12.907 * * * [progress]: localizing error 12.924 * * * [progress]: generating rewritten candidates 12.925 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 12.974 * * * [progress]: generating series expansions 12.975 * * * * [progress]: [ 1 / 1 ] generating series at (2) 12.975 * [backup-simplify]: Simplify (/ (- x y) (* (* x 2.0) y)) into (* 0.5 (/ (- x y) (* x y))) 12.975 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0 12.975 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y 12.975 * [taylor]: Taking taylor expansion of 0.5 in y 12.975 * [backup-simplify]: Simplify 0.5 into 0.5 12.975 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y 12.975 * [taylor]: Taking taylor expansion of (- x y) in y 12.975 * [taylor]: Taking taylor expansion of x in y 12.975 * [backup-simplify]: Simplify x into x 12.975 * [taylor]: Taking taylor expansion of y in y 12.975 * [backup-simplify]: Simplify 0 into 0 12.975 * [backup-simplify]: Simplify 1 into 1 12.975 * [taylor]: Taking taylor expansion of (* x y) in y 12.975 * [taylor]: Taking taylor expansion of x in y 12.975 * [backup-simplify]: Simplify x into x 12.975 * [taylor]: Taking taylor expansion of y in y 12.975 * [backup-simplify]: Simplify 0 into 0 12.975 * [backup-simplify]: Simplify 1 into 1 12.976 * [backup-simplify]: Simplify (- 0) into 0 12.976 * [backup-simplify]: Simplify (+ x 0) into x 12.976 * [backup-simplify]: Simplify (* x 0) into 0 12.977 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 12.977 * [backup-simplify]: Simplify (/ x x) into 1 12.977 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 12.977 * [taylor]: Taking taylor expansion of 0.5 in x 12.977 * [backup-simplify]: Simplify 0.5 into 0.5 12.977 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 12.977 * [taylor]: Taking taylor expansion of (- x y) in x 12.977 * [taylor]: Taking taylor expansion of x in x 12.977 * [backup-simplify]: Simplify 0 into 0 12.977 * [backup-simplify]: Simplify 1 into 1 12.977 * [taylor]: Taking taylor expansion of y in x 12.977 * [backup-simplify]: Simplify y into y 12.977 * [taylor]: Taking taylor expansion of (* x y) in x 12.977 * [taylor]: Taking taylor expansion of x in x 12.977 * [backup-simplify]: Simplify 0 into 0 12.977 * [backup-simplify]: Simplify 1 into 1 12.977 * [taylor]: Taking taylor expansion of y in x 12.977 * [backup-simplify]: Simplify y into y 12.977 * [backup-simplify]: Simplify (- y) into (- y) 12.977 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 12.977 * [backup-simplify]: Simplify (* 0 y) into 0 12.978 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.978 * [backup-simplify]: Simplify (/ (- y) y) into -1 12.978 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 12.978 * [taylor]: Taking taylor expansion of 0.5 in x 12.978 * [backup-simplify]: Simplify 0.5 into 0.5 12.978 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 12.978 * [taylor]: Taking taylor expansion of (- x y) in x 12.978 * [taylor]: Taking taylor expansion of x in x 12.978 * [backup-simplify]: Simplify 0 into 0 12.978 * [backup-simplify]: Simplify 1 into 1 12.978 * [taylor]: Taking taylor expansion of y in x 12.978 * [backup-simplify]: Simplify y into y 12.978 * [taylor]: Taking taylor expansion of (* x y) in x 12.978 * [taylor]: Taking taylor expansion of x in x 12.978 * [backup-simplify]: Simplify 0 into 0 12.978 * [backup-simplify]: Simplify 1 into 1 12.978 * [taylor]: Taking taylor expansion of y in x 12.978 * [backup-simplify]: Simplify y into y 12.978 * [backup-simplify]: Simplify (- y) into (- y) 12.978 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 12.978 * [backup-simplify]: Simplify (* 0 y) into 0 12.978 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 12.978 * [backup-simplify]: Simplify (/ (- y) y) into -1 12.979 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5 12.979 * [taylor]: Taking taylor expansion of -0.5 in y 12.979 * [backup-simplify]: Simplify -0.5 into -0.5 12.979 * [backup-simplify]: Simplify (- 0) into 0 12.980 * [backup-simplify]: Simplify (+ 1 0) into 1 12.980 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 12.980 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y) 12.980 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y)) 12.980 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 12.981 * [taylor]: Taking taylor expansion of 0.5 in y 12.981 * [backup-simplify]: Simplify 0.5 into 0.5 12.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.981 * [taylor]: Taking taylor expansion of y in y 12.981 * [backup-simplify]: Simplify 0 into 0 12.981 * [backup-simplify]: Simplify 1 into 1 12.981 * [backup-simplify]: Simplify (/ 1 1) into 1 12.981 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 12.981 * [backup-simplify]: Simplify 0.5 into 0.5 12.981 * [backup-simplify]: Simplify -0.5 into -0.5 12.981 * [backup-simplify]: Simplify (- 0) into 0 12.982 * [backup-simplify]: Simplify (+ 0 0) into 0 12.982 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 12.982 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 12.983 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 12.983 * [taylor]: Taking taylor expansion of 0 in y 12.983 * [backup-simplify]: Simplify 0 into 0 12.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.984 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 12.984 * [backup-simplify]: Simplify 0 into 0 12.984 * [backup-simplify]: Simplify 0 into 0 12.984 * [backup-simplify]: Simplify (- 0) into 0 12.984 * [backup-simplify]: Simplify (+ 0 0) into 0 12.985 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 12.986 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.986 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 12.986 * [taylor]: Taking taylor expansion of 0 in y 12.986 * [backup-simplify]: Simplify 0 into 0 12.986 * [backup-simplify]: Simplify 0 into 0 12.987 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.987 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 12.987 * [backup-simplify]: Simplify 0 into 0 12.987 * [backup-simplify]: Simplify 0 into 0 12.988 * [backup-simplify]: Simplify (- 0) into 0 12.988 * [backup-simplify]: Simplify (+ 0 0) into 0 12.989 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 12.989 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.990 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 12.990 * [taylor]: Taking taylor expansion of 0 in y 12.990 * [backup-simplify]: Simplify 0 into 0 12.990 * [backup-simplify]: Simplify 0 into 0 12.990 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 12.991 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) 12.991 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0 12.991 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in y 12.991 * [taylor]: Taking taylor expansion of 0.5 in y 12.991 * [backup-simplify]: Simplify 0.5 into 0.5 12.991 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y 12.991 * [taylor]: Taking taylor expansion of x in y 12.991 * [backup-simplify]: Simplify x into x 12.991 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y 12.991 * [taylor]: Taking taylor expansion of y in y 12.991 * [backup-simplify]: Simplify 0 into 0 12.991 * [backup-simplify]: Simplify 1 into 1 12.991 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 12.991 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.991 * [taylor]: Taking taylor expansion of x in y 12.991 * [backup-simplify]: Simplify x into x 12.991 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.991 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.991 * [taylor]: Taking taylor expansion of y in y 12.991 * [backup-simplify]: Simplify 0 into 0 12.991 * [backup-simplify]: Simplify 1 into 1 12.991 * [backup-simplify]: Simplify (/ 1 1) into 1 12.991 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x 12.991 * [taylor]: Taking taylor expansion of 0.5 in x 12.991 * [backup-simplify]: Simplify 0.5 into 0.5 12.991 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x 12.991 * [taylor]: Taking taylor expansion of x in x 12.991 * [backup-simplify]: Simplify 0 into 0 12.991 * [backup-simplify]: Simplify 1 into 1 12.991 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 12.991 * [taylor]: Taking taylor expansion of y in x 12.991 * [backup-simplify]: Simplify y into y 12.991 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 12.991 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.991 * [taylor]: Taking taylor expansion of x in x 12.991 * [backup-simplify]: Simplify 0 into 0 12.991 * [backup-simplify]: Simplify 1 into 1 12.992 * [backup-simplify]: Simplify (/ 1 1) into 1 12.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.992 * [taylor]: Taking taylor expansion of y in x 12.992 * [backup-simplify]: Simplify y into y 12.992 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.992 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x 12.992 * [taylor]: Taking taylor expansion of 0.5 in x 12.992 * [backup-simplify]: Simplify 0.5 into 0.5 12.992 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x 12.992 * [taylor]: Taking taylor expansion of x in x 12.992 * [backup-simplify]: Simplify 0 into 0 12.992 * [backup-simplify]: Simplify 1 into 1 12.992 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 12.992 * [taylor]: Taking taylor expansion of y in x 12.992 * [backup-simplify]: Simplify y into y 12.992 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 12.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.992 * [taylor]: Taking taylor expansion of x in x 12.992 * [backup-simplify]: Simplify 0 into 0 12.992 * [backup-simplify]: Simplify 1 into 1 12.992 * [backup-simplify]: Simplify (/ 1 1) into 1 12.992 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.992 * [taylor]: Taking taylor expansion of y in x 12.992 * [backup-simplify]: Simplify y into y 12.992 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.993 * [backup-simplify]: Simplify (+ 1 0) into 1 12.993 * [backup-simplify]: Simplify (* y 1) into y 12.993 * [backup-simplify]: Simplify (* 0 y) into 0 12.993 * [backup-simplify]: Simplify (* 0.5 0) into 0 12.993 * [taylor]: Taking taylor expansion of 0 in y 12.993 * [backup-simplify]: Simplify 0 into 0 12.993 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.994 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 12.994 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 12.994 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1) 12.994 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y 12.995 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y) 12.995 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 12.995 * [taylor]: Taking taylor expansion of 0.5 in y 12.995 * [backup-simplify]: Simplify 0.5 into 0.5 12.995 * [taylor]: Taking taylor expansion of y in y 12.995 * [backup-simplify]: Simplify 0 into 0 12.995 * [backup-simplify]: Simplify 1 into 1 12.995 * [backup-simplify]: Simplify 0 into 0 12.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.995 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 12.996 * [backup-simplify]: Simplify (- 0) into 0 12.996 * [backup-simplify]: Simplify (+ 0 0) into 0 12.996 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 12.997 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1) 12.997 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5) 12.997 * [taylor]: Taking taylor expansion of (- 0.5) in y 12.997 * [taylor]: Taking taylor expansion of 0.5 in y 12.997 * [backup-simplify]: Simplify 0.5 into 0.5 12.998 * [backup-simplify]: Simplify (* 0.5 0) into 0 12.998 * [backup-simplify]: Simplify 0 into 0 12.998 * [backup-simplify]: Simplify 0 into 0 12.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.998 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 12.999 * [backup-simplify]: Simplify (- 0) into 0 12.999 * [backup-simplify]: Simplify (+ 0 0) into 0 12.999 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 13.000 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0 13.001 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0 13.001 * [taylor]: Taking taylor expansion of 0 in y 13.001 * [backup-simplify]: Simplify 0 into 0 13.001 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.002 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.002 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 13.002 * [backup-simplify]: Simplify 0.5 into 0.5 13.003 * [backup-simplify]: Simplify 0 into 0 13.003 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.003 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.003 * [backup-simplify]: Simplify (- 0) into 0 13.004 * [backup-simplify]: Simplify (+ 0 0) into 0 13.004 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 13.005 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y))))) into 0 13.006 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0 13.006 * [taylor]: Taking taylor expansion of 0 in y 13.006 * [backup-simplify]: Simplify 0 into 0 13.007 * [backup-simplify]: Simplify 0 into 0 13.007 * [backup-simplify]: Simplify (- 0) into 0 13.007 * [backup-simplify]: Simplify 0 into 0 13.007 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 13.007 * [backup-simplify]: Simplify 0 into 0 13.007 * [backup-simplify]: Simplify 0 into 0 13.008 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.008 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.008 * [backup-simplify]: Simplify (- 0) into 0 13.009 * [backup-simplify]: Simplify (+ 0 0) into 0 13.010 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))))) into 0 13.011 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y)))))) into 0 13.012 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0 13.012 * [taylor]: Taking taylor expansion of 0 in y 13.012 * [backup-simplify]: Simplify 0 into 0 13.012 * [backup-simplify]: Simplify 0 into 0 13.013 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 13.013 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) 13.013 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in (x y) around 0 13.013 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in y 13.013 * [taylor]: Taking taylor expansion of 0.5 in y 13.013 * [backup-simplify]: Simplify 0.5 into 0.5 13.013 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in y 13.013 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 13.013 * [taylor]: Taking taylor expansion of (/ 1 y) in y 13.013 * [taylor]: Taking taylor expansion of y in y 13.013 * [backup-simplify]: Simplify 0 into 0 13.013 * [backup-simplify]: Simplify 1 into 1 13.013 * [backup-simplify]: Simplify (/ 1 1) into 1 13.013 * [taylor]: Taking taylor expansion of (/ 1 x) in y 13.013 * [taylor]: Taking taylor expansion of x in y 13.013 * [backup-simplify]: Simplify x into x 13.013 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 13.013 * [taylor]: Taking taylor expansion of (* x y) in y 13.013 * [taylor]: Taking taylor expansion of x in y 13.013 * [backup-simplify]: Simplify x into x 13.013 * [taylor]: Taking taylor expansion of y in y 13.013 * [backup-simplify]: Simplify 0 into 0 13.013 * [backup-simplify]: Simplify 1 into 1 13.013 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in x 13.014 * [taylor]: Taking taylor expansion of 0.5 in x 13.014 * [backup-simplify]: Simplify 0.5 into 0.5 13.014 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in x 13.014 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 13.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.014 * [taylor]: Taking taylor expansion of y in x 13.014 * [backup-simplify]: Simplify y into y 13.014 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.014 * [taylor]: Taking taylor expansion of x in x 13.014 * [backup-simplify]: Simplify 0 into 0 13.014 * [backup-simplify]: Simplify 1 into 1 13.014 * [backup-simplify]: Simplify (/ 1 1) into 1 13.014 * [taylor]: Taking taylor expansion of (* x y) in x 13.014 * [taylor]: Taking taylor expansion of x in x 13.014 * [backup-simplify]: Simplify 0 into 0 13.014 * [backup-simplify]: Simplify 1 into 1 13.014 * [taylor]: Taking taylor expansion of y in x 13.014 * [backup-simplify]: Simplify y into y 13.014 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* x y))) in x 13.014 * [taylor]: Taking taylor expansion of 0.5 in x 13.014 * [backup-simplify]: Simplify 0.5 into 0.5 13.014 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* x y)) in x 13.014 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 13.014 * [taylor]: Taking taylor expansion of (/ 1 y) in x 13.014 * [taylor]: Taking taylor expansion of y in x 13.014 * [backup-simplify]: Simplify y into y 13.014 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 13.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x 13.014 * [taylor]: Taking taylor expansion of x in x 13.014 * [backup-simplify]: Simplify 0 into 0 13.014 * [backup-simplify]: Simplify 1 into 1 13.015 * [backup-simplify]: Simplify (/ 1 1) into 1 13.015 * [taylor]: Taking taylor expansion of (* x y) in x 13.015 * [taylor]: Taking taylor expansion of x in x 13.015 * [backup-simplify]: Simplify 0 into 0 13.015 * [backup-simplify]: Simplify 1 into 1 13.015 * [taylor]: Taking taylor expansion of y in x 13.015 * [backup-simplify]: Simplify y into y 13.015 * [backup-simplify]: Simplify (- 1) into -1 13.015 * [backup-simplify]: Simplify (+ 0 -1) into -1 13.015 * [backup-simplify]: Simplify (* 0 y) into 0 13.015 * [backup-simplify]: Simplify (* -1 0) into 0 13.016 * [backup-simplify]: Simplify (* 0.5 0) into 0 13.016 * [taylor]: Taking taylor expansion of 0 in y 13.016 * [backup-simplify]: Simplify 0 into 0 13.016 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 13.016 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 13.017 * [backup-simplify]: Simplify (- 0) into 0 13.017 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 13.017 * [backup-simplify]: Simplify (+ (* -1 y) (* (/ 1 y) 0)) into (- y) 13.017 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y)) 13.017 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 13.017 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 13.017 * [taylor]: Taking taylor expansion of 0.5 in y 13.017 * [backup-simplify]: Simplify 0.5 into 0.5 13.017 * [taylor]: Taking taylor expansion of y in y 13.017 * [backup-simplify]: Simplify 0 into 0 13.017 * [backup-simplify]: Simplify 1 into 1 13.017 * [backup-simplify]: Simplify 0 into 0 13.018 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 13.018 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 13.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.019 * [backup-simplify]: Simplify (- 0) into 0 13.019 * [backup-simplify]: Simplify (+ 0 0) into 0 13.019 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1 13.020 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5 13.020 * [taylor]: Taking taylor expansion of 0.5 in y 13.020 * [backup-simplify]: Simplify 0.5 into 0.5 13.020 * [backup-simplify]: Simplify (* 0.5 0) into 0 13.021 * [backup-simplify]: Simplify (- 0) into 0 13.021 * [backup-simplify]: Simplify 0 into 0 13.021 * [backup-simplify]: Simplify 0 into 0 13.021 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 13.021 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.022 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.022 * [backup-simplify]: Simplify (- 0) into 0 13.022 * [backup-simplify]: Simplify (+ 0 0) into 0 13.023 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0 13.024 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 13.024 * [taylor]: Taking taylor expansion of 0 in y 13.024 * [backup-simplify]: Simplify 0 into 0 13.024 * [backup-simplify]: Simplify 0.5 into 0.5 13.025 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 13.025 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.025 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 13.025 * [backup-simplify]: Simplify 0 into 0 13.026 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 13.026 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.027 * [backup-simplify]: Simplify (- 0) into 0 13.027 * [backup-simplify]: Simplify (+ 0 0) into 0 13.028 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 13.029 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 13.029 * [taylor]: Taking taylor expansion of 0 in y 13.029 * [backup-simplify]: Simplify 0 into 0 13.029 * [backup-simplify]: Simplify 0 into 0 13.029 * [backup-simplify]: Simplify 0 into 0 13.030 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 13.030 * [backup-simplify]: Simplify (- 0) into 0 13.030 * [backup-simplify]: Simplify 0 into 0 13.030 * [backup-simplify]: Simplify 0 into 0 13.032 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 13.032 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 13.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 13.034 * [backup-simplify]: Simplify (- 0) into 0 13.034 * [backup-simplify]: Simplify (+ 0 0) into 0 13.035 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 13.037 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0 13.037 * [taylor]: Taking taylor expansion of 0 in y 13.037 * [backup-simplify]: Simplify 0 into 0 13.037 * [backup-simplify]: Simplify 0 into 0 13.038 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 13.038 * * * [progress]: simplifying candidates 13.039 * [simplify]: Simplifying: (- (log (- x y)) (+ (+ (log x) (log 2.0)) (log y))) (- (log (- x y)) (+ (log (* x 2.0)) (log y))) (- (log (- x y)) (log (* (* x 2.0) y))) (log (/ (- x y) (* (* x 2.0) y))) (exp (/ (- x y) (* (* x 2.0) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x x) x) (* (* 2.0 2.0) 2.0)) (* (* y y) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) (* x 2.0)) (* x 2.0)) (* (* y y) y))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* (* x 2.0) y) (* (* x 2.0) y)) (* (* x 2.0) y))) (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y)))) (cbrt (/ (- x y) (* (* x 2.0) y))) (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (- (- x y)) (- (* (* x 2.0) y)) (/ x (* (* x 2.0) y)) (/ y (* (* x 2.0) y)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0)) (/ (cbrt (- x y)) y) (/ (sqrt (- x y)) (* x 2.0)) (/ (sqrt (- x y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ (+ (sqrt x) (sqrt y)) (* x 2.0)) (/ (- (sqrt x) (sqrt y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (- x y)) (/ (- x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (- x y))) (/ (* (* x 2.0) y) (sqrt (- x y))) (/ (* (* x 2.0) y) (- x y)) (/ (* (* x 2.0) y) (- (sqrt x) (sqrt y))) (/ (* (* x 2.0) y) (- x y)) (* (* (* x 2.0) y) (+ (* x x) (+ (* y y) (* x y)))) (* (* (* x 2.0) y) (+ x y)) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 13.040 * * [simplify]: Extracting # 0 : cost 33 inf + 0 13.040 * * [simplify]: Extracting # 1 : cost 58 inf + 0 13.040 * * [simplify]: Extracting # 2 : cost 71 inf + 3 13.041 * * [simplify]: Extracting # 3 : cost 60 inf + 1213 13.042 * * [simplify]: Extracting # 4 : cost 36 inf + 4731 13.044 * * [simplify]: Extracting # 5 : cost 7 inf + 10302 13.046 * * [simplify]: Extracting # 6 : cost 3 inf + 11222 13.048 * * [simplify]: Extracting # 7 : cost 1 inf + 11747 13.050 * * [simplify]: Extracting # 8 : cost 0 inf + 12230 13.053 * * [simplify]: iteration 0 : 82 enodes (cost 8328 ) 13.071 * * [simplify]: Extracting # 0 : cost 0 inf + 12230 13.073 * * [simplify]: Extracting # 1 : cost 58 inf + 10293 13.076 * * [simplify]: Extracting # 2 : cost 0 inf + 19898 13.079 * * [simplify]: iteration 1 : 233 enodes (cost 7748 ) 13.186 * * [simplify]: Extracting # 0 : cost 0 inf + 19898 13.195 * * [simplify]: Extracting # 1 : cost 260 inf + 14039 13.204 * * [simplify]: Extracting # 2 : cost 0 inf + 60391 13.217 * * [simplify]: iteration 2 : 971 enodes (cost 7105 ) 13.789 * * [simplify]: Extracting # 0 : cost 0 inf + 60391 13.823 * * [simplify]: Extracting # 1 : cost 1713 inf + 51292 13.913 * * [simplify]: Extracting # 2 : cost 10 inf + 326898 14.009 * * [simplify]: Extracting # 3 : cost 11 inf + 325578 14.121 * * [simplify]: Extracting # 4 : cost 8 inf + 324594 14.262 * * [simplify]: Extracting # 5 : cost 0 inf + 326904 14.335 * * [simplify]: iteration done: 5001 enodes (cost 7065 ) 14.335 * [simplify]: Simplified to: (log (/ (- x y) (* (* x 2.0) y))) (log (/ (- x y) (* (* x 2.0) y))) (log (/ (- x y) (* (* x 2.0) y))) (log (/ (- x y) (* (* x 2.0) y))) (exp (/ (- x y) (* (* x 2.0) y))) (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y))) (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y))) (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y))) (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y)))) (cbrt (/ (- x y) (* (* x 2.0) y))) (* (* (/ (- x y) (* (* x 2.0) y)) (/ (- x y) (* (* x 2.0) y))) (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (sqrt (/ (- x y) (* (* x 2.0) y))) (- (- x y)) (- (* (* x 2.0) y)) (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* x 2.0)) (/ (cbrt (- x y)) y) (/ (sqrt (- x y)) (* x 2.0)) (/ (sqrt (- x y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ (+ (sqrt x) (sqrt y)) (* x 2.0)) (/ (- (sqrt x) (sqrt y)) y) (/ 1 (* x 2.0)) (/ (- x y) y) (/ 1 (* (* x 2.0) y)) (/ (* (* x 2.0) y) (- x y)) (/ (- x y) (* x 2.0)) (/ (* (* x 2.0) y) (cbrt (- x y))) (/ (* (* x 2.0) y) (sqrt (- x y))) (/ (* (* x 2.0) y) (- x y)) (/ (* (* x 2.0) y) (- (sqrt x) (sqrt y))) (/ (* (* x 2.0) y) (- x y)) (* (* (* x 2.0) y) (+ (* y (+ x y)) (* x x))) (* (* (* x 2.0) y) (+ x y)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) 14.336 * * * [progress]: adding candidates to table 14.427 * * [progress]: iteration 2 / 4 14.427 * * * [progress]: picking best candidate 14.445 * * * * [pick]: Picked # 14.445 * * * [progress]: localizing error 14.460 * * * [progress]: generating rewritten candidates 14.460 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 14.505 * * * [progress]: generating series expansions 14.505 * * * * [progress]: [ 1 / 1 ] generating series at (2) 14.505 * [backup-simplify]: Simplify (- (/ 0.5 y) (/ 0.5 x)) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 14.505 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (y x) around 0 14.505 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x 14.505 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 14.505 * [taylor]: Taking taylor expansion of 0.5 in x 14.505 * [backup-simplify]: Simplify 0.5 into 0.5 14.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.505 * [taylor]: Taking taylor expansion of y in x 14.505 * [backup-simplify]: Simplify y into y 14.505 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.505 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 14.505 * [taylor]: Taking taylor expansion of 0.5 in x 14.505 * [backup-simplify]: Simplify 0.5 into 0.5 14.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.506 * [taylor]: Taking taylor expansion of x in x 14.506 * [backup-simplify]: Simplify 0 into 0 14.506 * [backup-simplify]: Simplify 1 into 1 14.506 * [backup-simplify]: Simplify (/ 1 1) into 1 14.506 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y 14.506 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 14.506 * [taylor]: Taking taylor expansion of 0.5 in y 14.506 * [backup-simplify]: Simplify 0.5 into 0.5 14.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.507 * [taylor]: Taking taylor expansion of y in y 14.507 * [backup-simplify]: Simplify 0 into 0 14.507 * [backup-simplify]: Simplify 1 into 1 14.507 * [backup-simplify]: Simplify (/ 1 1) into 1 14.507 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 14.507 * [taylor]: Taking taylor expansion of 0.5 in y 14.507 * [backup-simplify]: Simplify 0.5 into 0.5 14.507 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.507 * [taylor]: Taking taylor expansion of x in y 14.507 * [backup-simplify]: Simplify x into x 14.507 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.507 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y 14.507 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 14.507 * [taylor]: Taking taylor expansion of 0.5 in y 14.507 * [backup-simplify]: Simplify 0.5 into 0.5 14.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.507 * [taylor]: Taking taylor expansion of y in y 14.507 * [backup-simplify]: Simplify 0 into 0 14.507 * [backup-simplify]: Simplify 1 into 1 14.508 * [backup-simplify]: Simplify (/ 1 1) into 1 14.508 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 14.508 * [taylor]: Taking taylor expansion of 0.5 in y 14.508 * [backup-simplify]: Simplify 0.5 into 0.5 14.508 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.508 * [taylor]: Taking taylor expansion of x in y 14.508 * [backup-simplify]: Simplify x into x 14.508 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.509 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 14.509 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 14.509 * [taylor]: Taking taylor expansion of 0.5 in x 14.509 * [backup-simplify]: Simplify 0.5 into 0.5 14.510 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.511 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 14.511 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x) 14.511 * [backup-simplify]: Simplify (- (/ 0.5 x)) into (- (* 0.5 (/ 1 x))) 14.511 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 x)))) into (- (* 0.5 (/ 1 x))) 14.511 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x))) in x 14.511 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 14.511 * [taylor]: Taking taylor expansion of 0.5 in x 14.511 * [backup-simplify]: Simplify 0.5 into 0.5 14.511 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.511 * [taylor]: Taking taylor expansion of x in x 14.511 * [backup-simplify]: Simplify 0 into 0 14.511 * [backup-simplify]: Simplify 1 into 1 14.512 * [backup-simplify]: Simplify (/ 1 1) into 1 14.512 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 14.512 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.513 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.513 * [backup-simplify]: Simplify 0.5 into 0.5 14.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.515 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 14.515 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 14.515 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0 14.516 * [backup-simplify]: Simplify (- 0) into 0 14.516 * [backup-simplify]: Simplify (+ 0 0) into 0 14.516 * [taylor]: Taking taylor expansion of 0 in x 14.516 * [backup-simplify]: Simplify 0 into 0 14.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.518 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 14.518 * [backup-simplify]: Simplify (- 0) into 0 14.518 * [backup-simplify]: Simplify 0 into 0 14.518 * [backup-simplify]: Simplify 0 into 0 14.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.520 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 14.520 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 14.521 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 14.522 * [backup-simplify]: Simplify (- 0) into 0 14.522 * [backup-simplify]: Simplify (+ 0 0) into 0 14.522 * [taylor]: Taking taylor expansion of 0 in x 14.522 * [backup-simplify]: Simplify 0 into 0 14.522 * [backup-simplify]: Simplify 0 into 0 14.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.524 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 14.524 * [backup-simplify]: Simplify (- 0) into 0 14.524 * [backup-simplify]: Simplify 0 into 0 14.524 * [backup-simplify]: Simplify 0 into 0 14.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.527 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 14.527 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 14.528 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 14.528 * [backup-simplify]: Simplify (- 0) into 0 14.529 * [backup-simplify]: Simplify (+ 0 0) into 0 14.529 * [taylor]: Taking taylor expansion of 0 in x 14.529 * [backup-simplify]: Simplify 0 into 0 14.529 * [backup-simplify]: Simplify 0 into 0 14.529 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 y))) (* (- 0.5) (* (/ 1 x) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 14.529 * [backup-simplify]: Simplify (- (/ 0.5 (/ 1 y)) (/ 0.5 (/ 1 x))) into (- (* 0.5 y) (* 0.5 x)) 14.530 * [approximate]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in (y x) around 0 14.530 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in x 14.530 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 14.530 * [taylor]: Taking taylor expansion of 0.5 in x 14.530 * [backup-simplify]: Simplify 0.5 into 0.5 14.530 * [taylor]: Taking taylor expansion of y in x 14.530 * [backup-simplify]: Simplify y into y 14.530 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 14.530 * [taylor]: Taking taylor expansion of 0.5 in x 14.530 * [backup-simplify]: Simplify 0.5 into 0.5 14.530 * [taylor]: Taking taylor expansion of x in x 14.530 * [backup-simplify]: Simplify 0 into 0 14.530 * [backup-simplify]: Simplify 1 into 1 14.530 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y 14.530 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 14.530 * [taylor]: Taking taylor expansion of 0.5 in y 14.530 * [backup-simplify]: Simplify 0.5 into 0.5 14.530 * [taylor]: Taking taylor expansion of y in y 14.530 * [backup-simplify]: Simplify 0 into 0 14.530 * [backup-simplify]: Simplify 1 into 1 14.530 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 14.530 * [taylor]: Taking taylor expansion of 0.5 in y 14.530 * [backup-simplify]: Simplify 0.5 into 0.5 14.530 * [taylor]: Taking taylor expansion of x in y 14.530 * [backup-simplify]: Simplify x into x 14.530 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y 14.530 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 14.530 * [taylor]: Taking taylor expansion of 0.5 in y 14.530 * [backup-simplify]: Simplify 0.5 into 0.5 14.530 * [taylor]: Taking taylor expansion of y in y 14.530 * [backup-simplify]: Simplify 0 into 0 14.530 * [backup-simplify]: Simplify 1 into 1 14.530 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 14.530 * [taylor]: Taking taylor expansion of 0.5 in y 14.530 * [backup-simplify]: Simplify 0.5 into 0.5 14.530 * [taylor]: Taking taylor expansion of x in y 14.530 * [backup-simplify]: Simplify x into x 14.530 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.531 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x) 14.531 * [backup-simplify]: Simplify (- (* 0.5 x)) into (- (* 0.5 x)) 14.531 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 x))) into (- (* 0.5 x)) 14.531 * [taylor]: Taking taylor expansion of (- (* 0.5 x)) in x 14.531 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 14.531 * [taylor]: Taking taylor expansion of 0.5 in x 14.531 * [backup-simplify]: Simplify 0.5 into 0.5 14.531 * [taylor]: Taking taylor expansion of x in x 14.531 * [backup-simplify]: Simplify 0 into 0 14.531 * [backup-simplify]: Simplify 1 into 1 14.531 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.531 * [backup-simplify]: Simplify (- 0) into 0 14.531 * [backup-simplify]: Simplify 0 into 0 14.532 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 14.532 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0 14.533 * [backup-simplify]: Simplify (- 0) into 0 14.533 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 14.533 * [taylor]: Taking taylor expansion of 0.5 in x 14.533 * [backup-simplify]: Simplify 0.5 into 0.5 14.533 * [backup-simplify]: Simplify 0.5 into 0.5 14.534 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 14.534 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.534 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.535 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 14.535 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0 14.536 * [backup-simplify]: Simplify (- 0) into 0 14.536 * [backup-simplify]: Simplify (+ 0 0) into 0 14.536 * [taylor]: Taking taylor expansion of 0 in x 14.536 * [backup-simplify]: Simplify 0 into 0 14.536 * [backup-simplify]: Simplify 0 into 0 14.536 * [backup-simplify]: Simplify 0 into 0 14.536 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 14.537 * [backup-simplify]: Simplify (- 0) into 0 14.537 * [backup-simplify]: Simplify 0 into 0 14.537 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.538 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 14.538 * [backup-simplify]: Simplify (- 0) into 0 14.539 * [backup-simplify]: Simplify (+ 0 0) into 0 14.539 * [taylor]: Taking taylor expansion of 0 in x 14.539 * [backup-simplify]: Simplify 0 into 0 14.539 * [backup-simplify]: Simplify 0 into 0 14.539 * [backup-simplify]: Simplify 0 into 0 14.539 * [backup-simplify]: Simplify 0 into 0 14.539 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 x) 1)) (* 0.5 (* 1 (/ 1 y)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 14.539 * [backup-simplify]: Simplify (- (/ 0.5 (/ 1 (- y))) (/ 0.5 (/ 1 (- x)))) into (- (* 0.5 x) (* 0.5 y)) 14.539 * [approximate]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in (y x) around 0 14.539 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in x 14.539 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 14.539 * [taylor]: Taking taylor expansion of 0.5 in x 14.539 * [backup-simplify]: Simplify 0.5 into 0.5 14.539 * [taylor]: Taking taylor expansion of x in x 14.539 * [backup-simplify]: Simplify 0 into 0 14.539 * [backup-simplify]: Simplify 1 into 1 14.539 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 14.539 * [taylor]: Taking taylor expansion of 0.5 in x 14.539 * [backup-simplify]: Simplify 0.5 into 0.5 14.539 * [taylor]: Taking taylor expansion of y in x 14.539 * [backup-simplify]: Simplify y into y 14.539 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y 14.539 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 14.539 * [taylor]: Taking taylor expansion of 0.5 in y 14.539 * [backup-simplify]: Simplify 0.5 into 0.5 14.539 * [taylor]: Taking taylor expansion of x in y 14.539 * [backup-simplify]: Simplify x into x 14.539 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 14.539 * [taylor]: Taking taylor expansion of 0.5 in y 14.540 * [backup-simplify]: Simplify 0.5 into 0.5 14.540 * [taylor]: Taking taylor expansion of y in y 14.540 * [backup-simplify]: Simplify 0 into 0 14.540 * [backup-simplify]: Simplify 1 into 1 14.540 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y 14.540 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 14.540 * [taylor]: Taking taylor expansion of 0.5 in y 14.540 * [backup-simplify]: Simplify 0.5 into 0.5 14.540 * [taylor]: Taking taylor expansion of x in y 14.540 * [backup-simplify]: Simplify x into x 14.540 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 14.540 * [taylor]: Taking taylor expansion of 0.5 in y 14.540 * [backup-simplify]: Simplify 0.5 into 0.5 14.540 * [taylor]: Taking taylor expansion of y in y 14.540 * [backup-simplify]: Simplify 0 into 0 14.540 * [backup-simplify]: Simplify 1 into 1 14.540 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x) 14.540 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.540 * [backup-simplify]: Simplify (- 0) into 0 14.540 * [backup-simplify]: Simplify (+ (* 0.5 x) 0) into (* 0.5 x) 14.540 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 14.540 * [taylor]: Taking taylor expansion of 0.5 in x 14.540 * [backup-simplify]: Simplify 0.5 into 0.5 14.540 * [taylor]: Taking taylor expansion of x in x 14.540 * [backup-simplify]: Simplify 0 into 0 14.540 * [backup-simplify]: Simplify 1 into 1 14.541 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.541 * [backup-simplify]: Simplify 0 into 0 14.541 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0 14.542 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 14.542 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.543 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5) 14.543 * [taylor]: Taking taylor expansion of (- 0.5) in x 14.543 * [taylor]: Taking taylor expansion of 0.5 in x 14.543 * [backup-simplify]: Simplify 0.5 into 0.5 14.543 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.543 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.544 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 14.544 * [backup-simplify]: Simplify 0.5 into 0.5 14.545 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0 14.545 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 14.545 * [backup-simplify]: Simplify (- 0) into 0 14.546 * [backup-simplify]: Simplify (+ 0 0) into 0 14.546 * [taylor]: Taking taylor expansion of 0 in x 14.546 * [backup-simplify]: Simplify 0 into 0 14.546 * [backup-simplify]: Simplify 0 into 0 14.546 * [backup-simplify]: Simplify (- 0) into 0 14.546 * [backup-simplify]: Simplify 0 into 0 14.546 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 14.547 * [backup-simplify]: Simplify 0 into 0 14.547 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 14.548 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 14.548 * [backup-simplify]: Simplify (- 0) into 0 14.548 * [backup-simplify]: Simplify (+ 0 0) into 0 14.548 * [taylor]: Taking taylor expansion of 0 in x 14.548 * [backup-simplify]: Simplify 0 into 0 14.548 * [backup-simplify]: Simplify 0 into 0 14.548 * [backup-simplify]: Simplify 0 into 0 14.549 * [backup-simplify]: Simplify (- 0) into 0 14.549 * [backup-simplify]: Simplify 0 into 0 14.549 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 (- x)) 1)) (* (- 0.5) (* 1 (/ 1 (- y))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 14.549 * * * [progress]: simplifying candidates 14.550 * [simplify]: Simplifying: (/ (exp (/ 0.5 y)) (exp (/ 0.5 x))) (log (- (/ 0.5 y) (/ 0.5 x))) (exp (- (/ 0.5 y) (/ 0.5 x))) (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x)))) (cbrt (- (/ 0.5 y) (/ 0.5 x))) (* (* (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x))) (- (/ 0.5 y) (/ 0.5 x))) (sqrt (- (/ 0.5 y) (/ 0.5 x))) (sqrt (- (/ 0.5 y) (/ 0.5 x))) (- (* 0.5 x) (* y 0.5)) (* y x) (- (pow (/ 0.5 y) 3) (pow (/ 0.5 x) 3)) (+ (* (/ 0.5 y) (/ 0.5 y)) (+ (* (/ 0.5 x) (/ 0.5 x)) (* (/ 0.5 y) (/ 0.5 x)))) (- (/ 0.5 x)) (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 x))) (+ (/ 0.5 y) (/ 0.5 x)) (+ (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (+ (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (+ (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x)) (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 1 y) (/ 1 x)) (- (/ 0.5 x)) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 14.550 * * [simplify]: Extracting # 0 : cost 27 inf + 0 14.550 * * [simplify]: Extracting # 1 : cost 53 inf + 0 14.550 * * [simplify]: Extracting # 2 : cost 59 inf + 2 14.550 * * [simplify]: Extracting # 3 : cost 51 inf + 213 14.551 * * [simplify]: Extracting # 4 : cost 28 inf + 2756 14.551 * * [simplify]: Extracting # 5 : cost 3 inf + 7638 14.552 * * [simplify]: Extracting # 6 : cost 0 inf + 8367 14.553 * * [simplify]: iteration 0 : 61 enodes (cost 6317 ) 14.573 * * [simplify]: Extracting # 0 : cost 0 inf + 8367 14.575 * * [simplify]: Extracting # 1 : cost 21 inf + 7592 14.578 * * [simplify]: Extracting # 2 : cost 3 inf + 9850 14.581 * * [simplify]: Extracting # 3 : cost 0 inf + 10357 14.583 * * [simplify]: iteration 1 : 134 enodes (cost 5826 ) 14.615 * * [simplify]: Extracting # 0 : cost 0 inf + 10357 14.617 * * [simplify]: Extracting # 1 : cost 108 inf + 9862 14.623 * * [simplify]: Extracting # 2 : cost 3 inf + 22724 14.631 * * [simplify]: Extracting # 3 : cost 1 inf + 22636 14.638 * * [simplify]: Extracting # 4 : cost 0 inf + 22889 14.646 * * [simplify]: iteration 2 : 404 enodes (cost 5663 ) 15.469 * * [simplify]: Extracting # 0 : cost 0 inf + 22889 15.481 * * [simplify]: Extracting # 1 : cost 1333 inf + 18401 15.508 * * [simplify]: Extracting # 2 : cost 3 inf + 167599 15.539 * * [simplify]: Extracting # 3 : cost 2 inf + 167600 15.570 * * [simplify]: Extracting # 4 : cost 0 inf + 168106 15.610 * * [simplify]: iteration 3 : 3567 enodes (cost 5663 ) 16.964 * * [simplify]: Extracting # 0 : cost 0 inf + 168106 17.007 * * [simplify]: Extracting # 1 : cost 806 inf + 158965 17.091 * * [simplify]: Extracting # 2 : cost 0 inf + 278499 17.176 * * [simplify]: Extracting # 3 : cost 0 inf + 278328 17.245 * * [simplify]: iteration done: 5000 enodes (cost 5663 ) 17.245 * [simplify]: Simplified to: (exp (- (/ 0.5 y) (/ 0.5 x))) (log (- (/ 0.5 y) (/ 0.5 x))) (exp (- (/ 0.5 y) (/ 0.5 x))) (* (cbrt (- (/ 0.5 y) (/ 0.5 x))) (cbrt (- (/ 0.5 y) (/ 0.5 x)))) (cbrt (- (/ 0.5 y) (/ 0.5 x))) (* (* (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x))) (- (/ 0.5 y) (/ 0.5 x))) (sqrt (- (/ 0.5 y) (/ 0.5 x))) (sqrt (- (/ 0.5 y) (/ 0.5 x))) (* 0.5 (- x y)) (* y x) (- (* (/ 0.5 y) (* (/ 0.5 y) (/ 0.5 y))) (* (/ 0.5 x) (* (/ 0.5 x) (/ 0.5 x)))) (+ (* (/ 0.5 x) (+ (/ 0.5 y) (/ 0.5 x))) (* (/ 0.5 y) (/ 0.5 y))) (- (/ 0.5 x)) (- (* (/ 0.5 y) (/ 0.5 y)) (* (/ 0.5 x) (/ 0.5 x))) (+ (/ 0.5 x) (/ 0.5 y)) (+ (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (- (sqrt (/ 0.5 y)) (sqrt (/ 0.5 x))) (+ (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (- (sqrt (/ 0.5 y)) (/ (sqrt 0.5) (sqrt x))) (+ (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (- (/ (sqrt 0.5) (sqrt y)) (sqrt (/ 0.5 x))) (+ (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (sqrt 0.5) (sqrt y)) (/ (sqrt 0.5) (sqrt x))) (- (/ (cbrt 0.5) y) (/ (cbrt 0.5) x)) (- (/ (sqrt 0.5) y) (/ (sqrt 0.5) x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 1 y) (/ 1 x)) (- (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) 17.247 * * * [progress]: adding candidates to table 17.350 * * [progress]: iteration 3 / 4 17.350 * * * [progress]: picking best candidate 17.361 * * * * [pick]: Picked # 17.361 * * * [progress]: localizing error 17.385 * * * [progress]: generating rewritten candidates 17.385 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 17.459 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1) 17.469 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2) 17.491 * * * [progress]: generating series expansions 17.491 * * * * [progress]: [ 1 / 3 ] generating series at (2) 17.491 * [backup-simplify]: Simplify (* (/ 1 (* x 2.0)) (/ (- x y) y)) into (* 0.5 (/ (- x y) (* x y))) 17.491 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0 17.491 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y 17.491 * [taylor]: Taking taylor expansion of 0.5 in y 17.491 * [backup-simplify]: Simplify 0.5 into 0.5 17.491 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y 17.491 * [taylor]: Taking taylor expansion of (- x y) in y 17.491 * [taylor]: Taking taylor expansion of x in y 17.491 * [backup-simplify]: Simplify x into x 17.491 * [taylor]: Taking taylor expansion of y in y 17.491 * [backup-simplify]: Simplify 0 into 0 17.491 * [backup-simplify]: Simplify 1 into 1 17.491 * [taylor]: Taking taylor expansion of (* x y) in y 17.492 * [taylor]: Taking taylor expansion of x in y 17.492 * [backup-simplify]: Simplify x into x 17.492 * [taylor]: Taking taylor expansion of y in y 17.492 * [backup-simplify]: Simplify 0 into 0 17.492 * [backup-simplify]: Simplify 1 into 1 17.492 * [backup-simplify]: Simplify (- 0) into 0 17.492 * [backup-simplify]: Simplify (+ x 0) into x 17.492 * [backup-simplify]: Simplify (* x 0) into 0 17.492 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 17.493 * [backup-simplify]: Simplify (/ x x) into 1 17.493 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 17.493 * [taylor]: Taking taylor expansion of 0.5 in x 17.493 * [backup-simplify]: Simplify 0.5 into 0.5 17.493 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 17.493 * [taylor]: Taking taylor expansion of (- x y) in x 17.493 * [taylor]: Taking taylor expansion of x in x 17.493 * [backup-simplify]: Simplify 0 into 0 17.493 * [backup-simplify]: Simplify 1 into 1 17.493 * [taylor]: Taking taylor expansion of y in x 17.493 * [backup-simplify]: Simplify y into y 17.493 * [taylor]: Taking taylor expansion of (* x y) in x 17.493 * [taylor]: Taking taylor expansion of x in x 17.493 * [backup-simplify]: Simplify 0 into 0 17.493 * [backup-simplify]: Simplify 1 into 1 17.493 * [taylor]: Taking taylor expansion of y in x 17.493 * [backup-simplify]: Simplify y into y 17.493 * [backup-simplify]: Simplify (- y) into (- y) 17.493 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 17.493 * [backup-simplify]: Simplify (* 0 y) into 0 17.493 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.493 * [backup-simplify]: Simplify (/ (- y) y) into -1 17.493 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 17.493 * [taylor]: Taking taylor expansion of 0.5 in x 17.493 * [backup-simplify]: Simplify 0.5 into 0.5 17.493 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 17.493 * [taylor]: Taking taylor expansion of (- x y) in x 17.493 * [taylor]: Taking taylor expansion of x in x 17.493 * [backup-simplify]: Simplify 0 into 0 17.493 * [backup-simplify]: Simplify 1 into 1 17.493 * [taylor]: Taking taylor expansion of y in x 17.493 * [backup-simplify]: Simplify y into y 17.493 * [taylor]: Taking taylor expansion of (* x y) in x 17.493 * [taylor]: Taking taylor expansion of x in x 17.493 * [backup-simplify]: Simplify 0 into 0 17.493 * [backup-simplify]: Simplify 1 into 1 17.493 * [taylor]: Taking taylor expansion of y in x 17.493 * [backup-simplify]: Simplify y into y 17.494 * [backup-simplify]: Simplify (- y) into (- y) 17.494 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 17.494 * [backup-simplify]: Simplify (* 0 y) into 0 17.494 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 17.494 * [backup-simplify]: Simplify (/ (- y) y) into -1 17.494 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5 17.494 * [taylor]: Taking taylor expansion of -0.5 in y 17.494 * [backup-simplify]: Simplify -0.5 into -0.5 17.495 * [backup-simplify]: Simplify (- 0) into 0 17.495 * [backup-simplify]: Simplify (+ 1 0) into 1 17.495 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 17.495 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y) 17.496 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y)) 17.496 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 17.496 * [taylor]: Taking taylor expansion of 0.5 in y 17.496 * [backup-simplify]: Simplify 0.5 into 0.5 17.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.496 * [taylor]: Taking taylor expansion of y in y 17.496 * [backup-simplify]: Simplify 0 into 0 17.496 * [backup-simplify]: Simplify 1 into 1 17.496 * [backup-simplify]: Simplify (/ 1 1) into 1 17.496 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 17.496 * [backup-simplify]: Simplify 0.5 into 0.5 17.496 * [backup-simplify]: Simplify -0.5 into -0.5 17.497 * [backup-simplify]: Simplify (- 0) into 0 17.497 * [backup-simplify]: Simplify (+ 0 0) into 0 17.498 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 17.498 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 17.498 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 17.498 * [taylor]: Taking taylor expansion of 0 in y 17.498 * [backup-simplify]: Simplify 0 into 0 17.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.499 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 17.499 * [backup-simplify]: Simplify 0 into 0 17.499 * [backup-simplify]: Simplify 0 into 0 17.500 * [backup-simplify]: Simplify (- 0) into 0 17.500 * [backup-simplify]: Simplify (+ 0 0) into 0 17.501 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.501 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.502 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 17.502 * [taylor]: Taking taylor expansion of 0 in y 17.502 * [backup-simplify]: Simplify 0 into 0 17.502 * [backup-simplify]: Simplify 0 into 0 17.502 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.503 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 17.503 * [backup-simplify]: Simplify 0 into 0 17.503 * [backup-simplify]: Simplify 0 into 0 17.503 * [backup-simplify]: Simplify (- 0) into 0 17.503 * [backup-simplify]: Simplify (+ 0 0) into 0 17.504 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 17.505 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.506 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 17.506 * [taylor]: Taking taylor expansion of 0 in y 17.506 * [backup-simplify]: Simplify 0 into 0 17.506 * [backup-simplify]: Simplify 0 into 0 17.506 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 17.506 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 x) 2.0)) (/ (- (/ 1 x) (/ 1 y)) (/ 1 y))) into (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) 17.506 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0 17.506 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in y 17.506 * [taylor]: Taking taylor expansion of 0.5 in y 17.506 * [backup-simplify]: Simplify 0.5 into 0.5 17.506 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y 17.506 * [taylor]: Taking taylor expansion of x in y 17.506 * [backup-simplify]: Simplify x into x 17.506 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y 17.506 * [taylor]: Taking taylor expansion of y in y 17.506 * [backup-simplify]: Simplify 0 into 0 17.506 * [backup-simplify]: Simplify 1 into 1 17.506 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 17.506 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.506 * [taylor]: Taking taylor expansion of x in y 17.506 * [backup-simplify]: Simplify x into x 17.506 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.506 * [taylor]: Taking taylor expansion of y in y 17.506 * [backup-simplify]: Simplify 0 into 0 17.507 * [backup-simplify]: Simplify 1 into 1 17.507 * [backup-simplify]: Simplify (/ 1 1) into 1 17.507 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x 17.507 * [taylor]: Taking taylor expansion of 0.5 in x 17.507 * [backup-simplify]: Simplify 0.5 into 0.5 17.507 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x 17.507 * [taylor]: Taking taylor expansion of x in x 17.507 * [backup-simplify]: Simplify 0 into 0 17.507 * [backup-simplify]: Simplify 1 into 1 17.507 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 17.507 * [taylor]: Taking taylor expansion of y in x 17.507 * [backup-simplify]: Simplify y into y 17.507 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 17.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.507 * [taylor]: Taking taylor expansion of x in x 17.507 * [backup-simplify]: Simplify 0 into 0 17.507 * [backup-simplify]: Simplify 1 into 1 17.507 * [backup-simplify]: Simplify (/ 1 1) into 1 17.507 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.507 * [taylor]: Taking taylor expansion of y in x 17.507 * [backup-simplify]: Simplify y into y 17.507 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.507 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x 17.507 * [taylor]: Taking taylor expansion of 0.5 in x 17.507 * [backup-simplify]: Simplify 0.5 into 0.5 17.507 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x 17.507 * [taylor]: Taking taylor expansion of x in x 17.507 * [backup-simplify]: Simplify 0 into 0 17.507 * [backup-simplify]: Simplify 1 into 1 17.507 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 17.507 * [taylor]: Taking taylor expansion of y in x 17.507 * [backup-simplify]: Simplify y into y 17.508 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 17.508 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.508 * [taylor]: Taking taylor expansion of x in x 17.508 * [backup-simplify]: Simplify 0 into 0 17.508 * [backup-simplify]: Simplify 1 into 1 17.508 * [backup-simplify]: Simplify (/ 1 1) into 1 17.508 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.508 * [taylor]: Taking taylor expansion of y in x 17.508 * [backup-simplify]: Simplify y into y 17.508 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.508 * [backup-simplify]: Simplify (+ 1 0) into 1 17.508 * [backup-simplify]: Simplify (* y 1) into y 17.508 * [backup-simplify]: Simplify (* 0 y) into 0 17.509 * [backup-simplify]: Simplify (* 0.5 0) into 0 17.509 * [taylor]: Taking taylor expansion of 0 in y 17.509 * [backup-simplify]: Simplify 0 into 0 17.509 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.509 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 17.509 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 17.509 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1) 17.510 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y 17.510 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y) 17.510 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 17.510 * [taylor]: Taking taylor expansion of 0.5 in y 17.511 * [backup-simplify]: Simplify 0.5 into 0.5 17.511 * [taylor]: Taking taylor expansion of y in y 17.511 * [backup-simplify]: Simplify 0 into 0 17.511 * [backup-simplify]: Simplify 1 into 1 17.511 * [backup-simplify]: Simplify 0 into 0 17.512 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.512 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.512 * [backup-simplify]: Simplify (- 0) into 0 17.512 * [backup-simplify]: Simplify (+ 0 0) into 0 17.513 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 17.514 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1) 17.515 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5) 17.515 * [taylor]: Taking taylor expansion of (- 0.5) in y 17.515 * [taylor]: Taking taylor expansion of 0.5 in y 17.515 * [backup-simplify]: Simplify 0.5 into 0.5 17.516 * [backup-simplify]: Simplify (* 0.5 0) into 0 17.516 * [backup-simplify]: Simplify 0 into 0 17.516 * [backup-simplify]: Simplify 0 into 0 17.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.517 * [backup-simplify]: Simplify (- 0) into 0 17.518 * [backup-simplify]: Simplify (+ 0 0) into 0 17.518 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 17.520 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0 17.521 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0 17.521 * [taylor]: Taking taylor expansion of 0 in y 17.521 * [backup-simplify]: Simplify 0 into 0 17.522 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 17.522 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 17.524 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 17.524 * [backup-simplify]: Simplify 0.5 into 0.5 17.524 * [backup-simplify]: Simplify 0 into 0 17.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.525 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.525 * [backup-simplify]: Simplify (- 0) into 0 17.526 * [backup-simplify]: Simplify (+ 0 0) into 0 17.527 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 17.529 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y))))) into 0 17.530 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0 17.530 * [taylor]: Taking taylor expansion of 0 in y 17.530 * [backup-simplify]: Simplify 0 into 0 17.530 * [backup-simplify]: Simplify 0 into 0 17.531 * [backup-simplify]: Simplify (- 0) into 0 17.531 * [backup-simplify]: Simplify 0 into 0 17.532 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 17.532 * [backup-simplify]: Simplify 0 into 0 17.532 * [backup-simplify]: Simplify 0 into 0 17.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.533 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.534 * [backup-simplify]: Simplify (- 0) into 0 17.534 * [backup-simplify]: Simplify (+ 0 0) into 0 17.535 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))))) into 0 17.537 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y)))))) into 0 17.540 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0 17.540 * [taylor]: Taking taylor expansion of 0 in y 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify 0 into 0 17.540 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 17.541 * [backup-simplify]: Simplify (* (/ 1 (* (/ 1 (- x)) 2.0)) (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y)))) into (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) 17.541 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in (x y) around 0 17.541 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in y 17.541 * [taylor]: Taking taylor expansion of 0.5 in y 17.541 * [backup-simplify]: Simplify 0.5 into 0.5 17.541 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in y 17.541 * [taylor]: Taking taylor expansion of x in y 17.541 * [backup-simplify]: Simplify x into x 17.541 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y 17.541 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 17.541 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.541 * [taylor]: Taking taylor expansion of y in y 17.541 * [backup-simplify]: Simplify 0 into 0 17.541 * [backup-simplify]: Simplify 1 into 1 17.542 * [backup-simplify]: Simplify (/ 1 1) into 1 17.542 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.542 * [taylor]: Taking taylor expansion of x in y 17.542 * [backup-simplify]: Simplify x into x 17.542 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.542 * [taylor]: Taking taylor expansion of y in y 17.542 * [backup-simplify]: Simplify 0 into 0 17.542 * [backup-simplify]: Simplify 1 into 1 17.542 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x 17.542 * [taylor]: Taking taylor expansion of 0.5 in x 17.542 * [backup-simplify]: Simplify 0.5 into 0.5 17.542 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x 17.542 * [taylor]: Taking taylor expansion of x in x 17.542 * [backup-simplify]: Simplify 0 into 0 17.542 * [backup-simplify]: Simplify 1 into 1 17.542 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 17.542 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 17.542 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.542 * [taylor]: Taking taylor expansion of y in x 17.542 * [backup-simplify]: Simplify y into y 17.542 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.542 * [taylor]: Taking taylor expansion of x in x 17.542 * [backup-simplify]: Simplify 0 into 0 17.542 * [backup-simplify]: Simplify 1 into 1 17.542 * [backup-simplify]: Simplify (/ 1 1) into 1 17.543 * [taylor]: Taking taylor expansion of y in x 17.543 * [backup-simplify]: Simplify y into y 17.543 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* (- (/ 1 y) (/ 1 x)) y))) in x 17.543 * [taylor]: Taking taylor expansion of 0.5 in x 17.543 * [backup-simplify]: Simplify 0.5 into 0.5 17.543 * [taylor]: Taking taylor expansion of (* x (* (- (/ 1 y) (/ 1 x)) y)) in x 17.543 * [taylor]: Taking taylor expansion of x in x 17.543 * [backup-simplify]: Simplify 0 into 0 17.543 * [backup-simplify]: Simplify 1 into 1 17.543 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 17.543 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 17.543 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.543 * [taylor]: Taking taylor expansion of y in x 17.543 * [backup-simplify]: Simplify y into y 17.543 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.543 * [taylor]: Taking taylor expansion of x in x 17.543 * [backup-simplify]: Simplify 0 into 0 17.543 * [backup-simplify]: Simplify 1 into 1 17.543 * [backup-simplify]: Simplify (/ 1 1) into 1 17.543 * [taylor]: Taking taylor expansion of y in x 17.543 * [backup-simplify]: Simplify y into y 17.543 * [backup-simplify]: Simplify (- 1) into -1 17.544 * [backup-simplify]: Simplify (+ 0 -1) into -1 17.544 * [backup-simplify]: Simplify (* -1 y) into (* -1 y) 17.544 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0 17.544 * [backup-simplify]: Simplify (* 0.5 0) into 0 17.544 * [taylor]: Taking taylor expansion of 0 in y 17.544 * [backup-simplify]: Simplify 0 into 0 17.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.545 * [backup-simplify]: Simplify (- 0) into 0 17.545 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 17.545 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1 17.545 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y) 17.546 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y)) 17.546 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 17.546 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 17.546 * [taylor]: Taking taylor expansion of 0.5 in y 17.546 * [backup-simplify]: Simplify 0.5 into 0.5 17.546 * [taylor]: Taking taylor expansion of y in y 17.546 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify 1 into 1 17.546 * [backup-simplify]: Simplify 0 into 0 17.546 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.547 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.547 * [backup-simplify]: Simplify (- 0) into 0 17.547 * [backup-simplify]: Simplify (+ 0 0) into 0 17.547 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 y))) into 0 17.548 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1 17.548 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5 17.548 * [taylor]: Taking taylor expansion of 0.5 in y 17.548 * [backup-simplify]: Simplify 0.5 into 0.5 17.549 * [backup-simplify]: Simplify (* 0.5 0) into 0 17.549 * [backup-simplify]: Simplify (- 0) into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify 0 into 0 17.549 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.550 * [backup-simplify]: Simplify (- 0) into 0 17.550 * [backup-simplify]: Simplify (+ 0 0) into 0 17.551 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 y)))) into 0 17.551 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0 17.552 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 17.552 * [taylor]: Taking taylor expansion of 0 in y 17.552 * [backup-simplify]: Simplify 0 into 0 17.552 * [backup-simplify]: Simplify 0.5 into 0.5 17.553 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 17.553 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 17.553 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 17.553 * [backup-simplify]: Simplify 0 into 0 17.554 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.554 * [backup-simplify]: Simplify (- 0) into 0 17.555 * [backup-simplify]: Simplify (+ 0 0) into 0 17.558 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.559 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0 17.560 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 17.560 * [taylor]: Taking taylor expansion of 0 in y 17.560 * [backup-simplify]: Simplify 0 into 0 17.560 * [backup-simplify]: Simplify 0 into 0 17.560 * [backup-simplify]: Simplify 0 into 0 17.560 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 17.561 * [backup-simplify]: Simplify (- 0) into 0 17.561 * [backup-simplify]: Simplify 0 into 0 17.561 * [backup-simplify]: Simplify 0 into 0 17.561 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.562 * [backup-simplify]: Simplify (- 0) into 0 17.562 * [backup-simplify]: Simplify (+ 0 0) into 0 17.563 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 17.564 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))))) into 0 17.565 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0 17.565 * [taylor]: Taking taylor expansion of 0 in y 17.565 * [backup-simplify]: Simplify 0 into 0 17.565 * [backup-simplify]: Simplify 0 into 0 17.565 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 17.565 * * * * [progress]: [ 2 / 3 ] generating series at (2 1) 17.566 * [backup-simplify]: Simplify (/ 1 (* x 2.0)) into (/ 0.5 x) 17.566 * [approximate]: Taking taylor expansion of (/ 0.5 x) in (x) around 0 17.566 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x 17.566 * [taylor]: Taking taylor expansion of 0.5 in x 17.566 * [backup-simplify]: Simplify 0.5 into 0.5 17.566 * [taylor]: Taking taylor expansion of x in x 17.566 * [backup-simplify]: Simplify 0 into 0 17.566 * [backup-simplify]: Simplify 1 into 1 17.566 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 17.566 * [taylor]: Taking taylor expansion of (/ 0.5 x) in x 17.566 * [taylor]: Taking taylor expansion of 0.5 in x 17.566 * [backup-simplify]: Simplify 0.5 into 0.5 17.566 * [taylor]: Taking taylor expansion of x in x 17.566 * [backup-simplify]: Simplify 0 into 0 17.566 * [backup-simplify]: Simplify 1 into 1 17.566 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 17.566 * [backup-simplify]: Simplify 0.5 into 0.5 17.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0 17.567 * [backup-simplify]: Simplify 0 into 0 17.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.568 * [backup-simplify]: Simplify 0 into 0 17.568 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.568 * [backup-simplify]: Simplify 0 into 0 17.569 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.569 * [backup-simplify]: Simplify 0 into 0 17.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.570 * [backup-simplify]: Simplify 0 into 0 17.570 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.570 * [backup-simplify]: Simplify 0 into 0 17.570 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x) 17.570 * [backup-simplify]: Simplify (/ 1 (* (/ 1 x) 2.0)) into (* 0.5 x) 17.570 * [approximate]: Taking taylor expansion of (* 0.5 x) in (x) around 0 17.570 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 17.571 * [taylor]: Taking taylor expansion of 0.5 in x 17.571 * [backup-simplify]: Simplify 0.5 into 0.5 17.571 * [taylor]: Taking taylor expansion of x in x 17.571 * [backup-simplify]: Simplify 0 into 0 17.571 * [backup-simplify]: Simplify 1 into 1 17.571 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 17.571 * [taylor]: Taking taylor expansion of 0.5 in x 17.571 * [backup-simplify]: Simplify 0.5 into 0.5 17.571 * [taylor]: Taking taylor expansion of x in x 17.571 * [backup-simplify]: Simplify 0 into 0 17.571 * [backup-simplify]: Simplify 1 into 1 17.571 * [backup-simplify]: Simplify (* 0.5 0) into 0 17.571 * [backup-simplify]: Simplify 0 into 0 17.572 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 17.572 * [backup-simplify]: Simplify 0.5 into 0.5 17.572 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 17.572 * [backup-simplify]: Simplify 0 into 0 17.573 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 17.573 * [backup-simplify]: Simplify 0 into 0 17.574 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 17.574 * [backup-simplify]: Simplify 0 into 0 17.575 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 17.575 * [backup-simplify]: Simplify 0 into 0 17.576 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 17.576 * [backup-simplify]: Simplify 0 into 0 17.577 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 17.577 * [backup-simplify]: Simplify 0 into 0 17.577 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x) 17.577 * [backup-simplify]: Simplify (/ 1 (* (/ 1 (- x)) 2.0)) into (* -0.5 x) 17.577 * [approximate]: Taking taylor expansion of (* -0.5 x) in (x) around 0 17.577 * [taylor]: Taking taylor expansion of (* -0.5 x) in x 17.577 * [taylor]: Taking taylor expansion of -0.5 in x 17.577 * [backup-simplify]: Simplify -0.5 into -0.5 17.577 * [taylor]: Taking taylor expansion of x in x 17.577 * [backup-simplify]: Simplify 0 into 0 17.577 * [backup-simplify]: Simplify 1 into 1 17.577 * [taylor]: Taking taylor expansion of (* -0.5 x) in x 17.577 * [taylor]: Taking taylor expansion of -0.5 in x 17.577 * [backup-simplify]: Simplify -0.5 into -0.5 17.577 * [taylor]: Taking taylor expansion of x in x 17.577 * [backup-simplify]: Simplify 0 into 0 17.577 * [backup-simplify]: Simplify 1 into 1 17.577 * [backup-simplify]: Simplify (* -0.5 0) into 0 17.577 * [backup-simplify]: Simplify 0 into 0 17.578 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 17.579 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 17.580 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (* 0 0))) into 0 17.580 * [backup-simplify]: Simplify 0 into 0 17.581 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 17.581 * [backup-simplify]: Simplify 0 into 0 17.582 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 17.582 * [backup-simplify]: Simplify 0 into 0 17.584 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 17.584 * [backup-simplify]: Simplify 0 into 0 17.585 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 17.585 * [backup-simplify]: Simplify 0 into 0 17.587 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 17.587 * [backup-simplify]: Simplify 0 into 0 17.588 * [backup-simplify]: Simplify (* (- 0.5) (/ 1 (- x))) into (/ 0.5 x) 17.588 * * * * [progress]: [ 3 / 3 ] generating series at (2 2) 17.588 * [backup-simplify]: Simplify (/ (- x y) y) into (/ (- x y) y) 17.588 * [approximate]: Taking taylor expansion of (/ (- x y) y) in (x y) around 0 17.588 * [taylor]: Taking taylor expansion of (/ (- x y) y) in y 17.588 * [taylor]: Taking taylor expansion of (- x y) in y 17.588 * [taylor]: Taking taylor expansion of x in y 17.588 * [backup-simplify]: Simplify x into x 17.588 * [taylor]: Taking taylor expansion of y in y 17.588 * [backup-simplify]: Simplify 0 into 0 17.588 * [backup-simplify]: Simplify 1 into 1 17.588 * [taylor]: Taking taylor expansion of y in y 17.588 * [backup-simplify]: Simplify 0 into 0 17.588 * [backup-simplify]: Simplify 1 into 1 17.588 * [backup-simplify]: Simplify (- 0) into 0 17.588 * [backup-simplify]: Simplify (+ x 0) into x 17.589 * [backup-simplify]: Simplify (/ x 1) into x 17.589 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x 17.589 * [taylor]: Taking taylor expansion of (- x y) in x 17.589 * [taylor]: Taking taylor expansion of x in x 17.589 * [backup-simplify]: Simplify 0 into 0 17.589 * [backup-simplify]: Simplify 1 into 1 17.589 * [taylor]: Taking taylor expansion of y in x 17.589 * [backup-simplify]: Simplify y into y 17.589 * [taylor]: Taking taylor expansion of y in x 17.589 * [backup-simplify]: Simplify y into y 17.589 * [backup-simplify]: Simplify (- y) into (- y) 17.589 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 17.589 * [backup-simplify]: Simplify (/ (- y) y) into -1 17.589 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x 17.589 * [taylor]: Taking taylor expansion of (- x y) in x 17.589 * [taylor]: Taking taylor expansion of x in x 17.589 * [backup-simplify]: Simplify 0 into 0 17.589 * [backup-simplify]: Simplify 1 into 1 17.589 * [taylor]: Taking taylor expansion of y in x 17.589 * [backup-simplify]: Simplify y into y 17.589 * [taylor]: Taking taylor expansion of y in x 17.589 * [backup-simplify]: Simplify y into y 17.589 * [backup-simplify]: Simplify (- y) into (- y) 17.589 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 17.589 * [backup-simplify]: Simplify (/ (- y) y) into -1 17.589 * [taylor]: Taking taylor expansion of -1 in y 17.589 * [backup-simplify]: Simplify -1 into -1 17.590 * [backup-simplify]: Simplify (- 0) into 0 17.590 * [backup-simplify]: Simplify (+ 1 0) into 1 17.590 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y) 17.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.591 * [taylor]: Taking taylor expansion of y in y 17.591 * [backup-simplify]: Simplify 0 into 0 17.591 * [backup-simplify]: Simplify 1 into 1 17.591 * [backup-simplify]: Simplify (/ 1 1) into 1 17.591 * [backup-simplify]: Simplify 1 into 1 17.591 * [backup-simplify]: Simplify -1 into -1 17.591 * [backup-simplify]: Simplify (- 0) into 0 17.592 * [backup-simplify]: Simplify (+ 0 0) into 0 17.592 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 17.592 * [taylor]: Taking taylor expansion of 0 in y 17.592 * [backup-simplify]: Simplify 0 into 0 17.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.593 * [backup-simplify]: Simplify 0 into 0 17.593 * [backup-simplify]: Simplify 0 into 0 17.593 * [backup-simplify]: Simplify (- 0) into 0 17.594 * [backup-simplify]: Simplify (+ 0 0) into 0 17.594 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.594 * [taylor]: Taking taylor expansion of 0 in y 17.594 * [backup-simplify]: Simplify 0 into 0 17.594 * [backup-simplify]: Simplify 0 into 0 17.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.595 * [backup-simplify]: Simplify 0 into 0 17.595 * [backup-simplify]: Simplify 0 into 0 17.595 * [backup-simplify]: Simplify (- 0) into 0 17.596 * [backup-simplify]: Simplify (+ 0 0) into 0 17.596 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.596 * [taylor]: Taking taylor expansion of 0 in y 17.596 * [backup-simplify]: Simplify 0 into 0 17.596 * [backup-simplify]: Simplify 0 into 0 17.596 * [backup-simplify]: Simplify (+ -1 (* 1 (* (/ 1 y) x))) into (- (/ x y) 1) 17.597 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (/ 1 y)) into (* y (- (/ 1 x) (/ 1 y))) 17.597 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in (x y) around 0 17.597 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y 17.597 * [taylor]: Taking taylor expansion of y in y 17.597 * [backup-simplify]: Simplify 0 into 0 17.597 * [backup-simplify]: Simplify 1 into 1 17.597 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 17.597 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.597 * [taylor]: Taking taylor expansion of x in y 17.597 * [backup-simplify]: Simplify x into x 17.597 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.597 * [taylor]: Taking taylor expansion of y in y 17.597 * [backup-simplify]: Simplify 0 into 0 17.597 * [backup-simplify]: Simplify 1 into 1 17.597 * [backup-simplify]: Simplify (/ 1 1) into 1 17.597 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 17.597 * [taylor]: Taking taylor expansion of y in x 17.597 * [backup-simplify]: Simplify y into y 17.597 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 17.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.597 * [taylor]: Taking taylor expansion of x in x 17.597 * [backup-simplify]: Simplify 0 into 0 17.597 * [backup-simplify]: Simplify 1 into 1 17.598 * [backup-simplify]: Simplify (/ 1 1) into 1 17.598 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.598 * [taylor]: Taking taylor expansion of y in x 17.598 * [backup-simplify]: Simplify y into y 17.598 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.598 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 17.598 * [taylor]: Taking taylor expansion of y in x 17.598 * [backup-simplify]: Simplify y into y 17.598 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 17.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.598 * [taylor]: Taking taylor expansion of x in x 17.598 * [backup-simplify]: Simplify 0 into 0 17.598 * [backup-simplify]: Simplify 1 into 1 17.599 * [backup-simplify]: Simplify (/ 1 1) into 1 17.599 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.599 * [taylor]: Taking taylor expansion of y in x 17.599 * [backup-simplify]: Simplify y into y 17.599 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.599 * [backup-simplify]: Simplify (+ 1 0) into 1 17.599 * [backup-simplify]: Simplify (* y 1) into y 17.599 * [taylor]: Taking taylor expansion of y in y 17.599 * [backup-simplify]: Simplify 0 into 0 17.599 * [backup-simplify]: Simplify 1 into 1 17.600 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.600 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 17.600 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 17.601 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1) 17.601 * [taylor]: Taking taylor expansion of (- 1) in y 17.601 * [taylor]: Taking taylor expansion of 1 in y 17.601 * [backup-simplify]: Simplify 1 into 1 17.601 * [backup-simplify]: Simplify 0 into 0 17.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.602 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.602 * [backup-simplify]: Simplify (- 0) into 0 17.603 * [backup-simplify]: Simplify (+ 0 0) into 0 17.603 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 17.603 * [taylor]: Taking taylor expansion of 0 in y 17.603 * [backup-simplify]: Simplify 0 into 0 17.604 * [backup-simplify]: Simplify (- 1) into -1 17.604 * [backup-simplify]: Simplify -1 into -1 17.604 * [backup-simplify]: Simplify 1 into 1 17.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.605 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.605 * [backup-simplify]: Simplify (- 0) into 0 17.606 * [backup-simplify]: Simplify (+ 0 0) into 0 17.606 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 17.607 * [taylor]: Taking taylor expansion of 0 in y 17.607 * [backup-simplify]: Simplify 0 into 0 17.607 * [backup-simplify]: Simplify 0 into 0 17.607 * [backup-simplify]: Simplify (- 0) into 0 17.607 * [backup-simplify]: Simplify 0 into 0 17.607 * [backup-simplify]: Simplify 0 into 0 17.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.608 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.609 * [backup-simplify]: Simplify (- 0) into 0 17.609 * [backup-simplify]: Simplify (+ 0 0) into 0 17.610 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 17.610 * [taylor]: Taking taylor expansion of 0 in y 17.610 * [backup-simplify]: Simplify 0 into 0 17.610 * [backup-simplify]: Simplify 0 into 0 17.610 * [backup-simplify]: Simplify 0 into 0 17.611 * [backup-simplify]: Simplify (- 0) into 0 17.611 * [backup-simplify]: Simplify 0 into 0 17.611 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))) -1) into (- (/ x y) 1) 17.611 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* (- (/ 1 y) (/ 1 x)) y)) 17.611 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in (x y) around 0 17.611 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in y 17.611 * [taylor]: Taking taylor expansion of -1 in y 17.611 * [backup-simplify]: Simplify -1 into -1 17.611 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y 17.611 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 17.611 * [taylor]: Taking taylor expansion of (/ 1 y) in y 17.611 * [taylor]: Taking taylor expansion of y in y 17.611 * [backup-simplify]: Simplify 0 into 0 17.612 * [backup-simplify]: Simplify 1 into 1 17.612 * [backup-simplify]: Simplify (/ 1 1) into 1 17.612 * [taylor]: Taking taylor expansion of (/ 1 x) in y 17.612 * [taylor]: Taking taylor expansion of x in y 17.612 * [backup-simplify]: Simplify x into x 17.612 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 17.612 * [taylor]: Taking taylor expansion of y in y 17.612 * [backup-simplify]: Simplify 0 into 0 17.612 * [backup-simplify]: Simplify 1 into 1 17.612 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in x 17.612 * [taylor]: Taking taylor expansion of -1 in x 17.612 * [backup-simplify]: Simplify -1 into -1 17.612 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 17.612 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 17.612 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.612 * [taylor]: Taking taylor expansion of y in x 17.612 * [backup-simplify]: Simplify y into y 17.612 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.612 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.612 * [taylor]: Taking taylor expansion of x in x 17.612 * [backup-simplify]: Simplify 0 into 0 17.612 * [backup-simplify]: Simplify 1 into 1 17.613 * [backup-simplify]: Simplify (/ 1 1) into 1 17.613 * [taylor]: Taking taylor expansion of y in x 17.613 * [backup-simplify]: Simplify y into y 17.613 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in x 17.613 * [taylor]: Taking taylor expansion of -1 in x 17.613 * [backup-simplify]: Simplify -1 into -1 17.613 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 17.613 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 17.613 * [taylor]: Taking taylor expansion of (/ 1 y) in x 17.613 * [taylor]: Taking taylor expansion of y in x 17.613 * [backup-simplify]: Simplify y into y 17.613 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 17.613 * [taylor]: Taking taylor expansion of (/ 1 x) in x 17.613 * [taylor]: Taking taylor expansion of x in x 17.613 * [backup-simplify]: Simplify 0 into 0 17.613 * [backup-simplify]: Simplify 1 into 1 17.614 * [backup-simplify]: Simplify (/ 1 1) into 1 17.614 * [taylor]: Taking taylor expansion of y in x 17.614 * [backup-simplify]: Simplify y into y 17.614 * [backup-simplify]: Simplify (- 1) into -1 17.615 * [backup-simplify]: Simplify (+ 0 -1) into -1 17.615 * [backup-simplify]: Simplify (* -1 y) into (* -1 y) 17.615 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y 17.615 * [taylor]: Taking taylor expansion of y in y 17.615 * [backup-simplify]: Simplify 0 into 0 17.615 * [backup-simplify]: Simplify 1 into 1 17.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.616 * [backup-simplify]: Simplify (- 0) into 0 17.616 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 17.617 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1 17.617 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 (* -1 y))) into (- 1) 17.617 * [taylor]: Taking taylor expansion of (- 1) in y 17.617 * [taylor]: Taking taylor expansion of 1 in y 17.617 * [backup-simplify]: Simplify 1 into 1 17.617 * [backup-simplify]: Simplify 0 into 0 17.617 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 17.618 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.619 * [backup-simplify]: Simplify (- 0) into 0 17.619 * [backup-simplify]: Simplify (+ 0 0) into 0 17.620 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 y))) into 0 17.621 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 (* -1 y)))) into 0 17.621 * [taylor]: Taking taylor expansion of 0 in y 17.621 * [backup-simplify]: Simplify 0 into 0 17.621 * [backup-simplify]: Simplify (- 1) into -1 17.621 * [backup-simplify]: Simplify -1 into -1 17.621 * [backup-simplify]: Simplify 1 into 1 17.621 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.623 * [backup-simplify]: Simplify (- 0) into 0 17.623 * [backup-simplify]: Simplify (+ 0 0) into 0 17.624 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 y)))) into 0 17.625 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0 17.625 * [taylor]: Taking taylor expansion of 0 in y 17.625 * [backup-simplify]: Simplify 0 into 0 17.625 * [backup-simplify]: Simplify 0 into 0 17.626 * [backup-simplify]: Simplify (- 0) into 0 17.626 * [backup-simplify]: Simplify 0 into 0 17.626 * [backup-simplify]: Simplify 0 into 0 17.626 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 17.627 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.627 * [backup-simplify]: Simplify (- 0) into 0 17.628 * [backup-simplify]: Simplify (+ 0 0) into 0 17.629 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 17.630 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0 17.630 * [taylor]: Taking taylor expansion of 0 in y 17.630 * [backup-simplify]: Simplify 0 into 0 17.631 * [backup-simplify]: Simplify 0 into 0 17.631 * [backup-simplify]: Simplify 0 into 0 17.631 * [backup-simplify]: Simplify (- 0) into 0 17.631 * [backup-simplify]: Simplify 0 into 0 17.631 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))) -1) into (- (/ x y) 1) 17.631 * * * [progress]: simplifying candidates 17.635 * [simplify]: Simplifying: (* (/ 1 (* x 2.0)) (/ (- x y) y)) (+ (- (+ (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))) (+ (- 0 (+ (log x) (log 2.0))) (- (log (- x y)) (log y))) (+ (- 0 (+ (log x) (log 2.0))) (log (/ (- x y) y))) (+ (- 0 (log (* x 2.0))) (- (log (- x y)) (log y))) (+ (- 0 (log (* x 2.0))) (log (/ (- x y) y))) (+ (- (log 1) (+ (log x) (log 2.0))) (- (log (- x y)) (log y))) (+ (- (log 1) (+ (log x) (log 2.0))) (log (/ (- x y) y))) (+ (- (log 1) (log (* x 2.0))) (- (log (- x y)) (log y))) (+ (- (log 1) (log (* x 2.0))) (log (/ (- x y) y))) (+ (log (/ 1 (* x 2.0))) (- (log (- x y)) (log y))) (+ (log (/ 1 (* x 2.0))) (log (/ (- x y) y))) (log (* (/ 1 (* x 2.0)) (/ (- x y) y))) (exp (* (/ 1 (* x 2.0)) (/ (- x y) y))) (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y))) (* (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y))) (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y))) (* (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y))) (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y))) (* (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y))) (* (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y))) (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y)))) (cbrt (* (/ 1 (* x 2.0)) (/ (- x y) y))) (* (* (* (/ 1 (* x 2.0)) (/ (- x y) y)) (* (/ 1 (* x 2.0)) (/ (- x y) y))) (* (/ 1 (* x 2.0)) (/ (- x y) y))) (sqrt (* (/ 1 (* x 2.0)) (/ (- x y) y))) (sqrt (* (/ 1 (* x 2.0)) (/ (- x y) y))) (* 1 (- x y)) (* (* x 2.0) y) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y))) (* (/ 1 (* x 2.0)) (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y)))) (* (/ 1 (* x 2.0)) (sqrt (/ (- x y) y))) (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y))) (* (/ 1 (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1)) (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) (sqrt y))) (* (/ 1 (* x 2.0)) (/ (sqrt (- x y)) 1)) (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ 1 (sqrt y))) (* (/ 1 (* x 2.0)) (/ 1 1)) (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) (sqrt y))) (* (/ 1 (* x 2.0)) (/ (+ (sqrt x) (sqrt y)) 1)) (* (/ 1 (* x 2.0)) (/ 1 (* (cbrt y) (cbrt y)))) (* (/ 1 (* x 2.0)) (/ 1 (sqrt y))) (* (/ 1 (* x 2.0)) (/ 1 1)) (* (/ 1 (* x 2.0)) 1) (* (/ 1 (* x 2.0)) (- x y)) (* (cbrt (/ 1 (* x 2.0))) (/ (- x y) y)) (* (sqrt (/ 1 (* x 2.0))) (/ (- x y) y)) (* (/ (cbrt 1) 2.0) (/ (- x y) y)) (* (/ (sqrt 1) 2.0) (/ (- x y) y)) (* (/ 1 2.0) (/ (- x y) y)) (* (/ 1 (* x 2.0)) (/ (- x y) y)) (* (/ 1 (* x 2.0)) (/ (- x y) y)) (* (/ 1 (* x 2.0)) (- x y)) (* 1 (/ (- x y) y)) (- 1) (- 1) (- (+ (log x) (log 2.0))) (- (log (* x 2.0))) (- 0 (+ (log x) (log 2.0))) (- 0 (log (* x 2.0))) (- (log 1) (+ (log x) (log 2.0))) (- (log 1) (log (* x 2.0))) (log (/ 1 (* x 2.0))) (exp (/ 1 (* x 2.0))) (/ (* (* 1 1) 1) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* 1 1) 1) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (cbrt (/ 1 (* x 2.0))) (* (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))) (- 1) (- (* x 2.0)) (/ (* (cbrt 1) (cbrt 1)) x) (/ (cbrt 1) 2.0) (/ (sqrt 1) x) (/ (sqrt 1) 2.0) (/ 1 x) (/ 1 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) 1) (/ 1 x) (/ (* x 2.0) (cbrt 1)) (/ (* x 2.0) (sqrt 1)) (/ (* x 2.0) 1) (- (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.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (/ 0.5 x) (/ 0.5 x) (/ 0.5 x) (- (/ x y) 1) (- (/ x y) 1) (- (/ x y) 1) 17.638 * * [simplify]: Extracting # 0 : cost 126 inf + 0 17.639 * * [simplify]: Extracting # 1 : cost 162 inf + 0 17.640 * * [simplify]: Extracting # 2 : cost 150 inf + 1384 17.642 * * [simplify]: Extracting # 3 : cost 77 inf + 11884 17.646 * * [simplify]: Extracting # 4 : cost 26 inf + 23707 17.651 * * [simplify]: Extracting # 5 : cost 6 inf + 29904 17.657 * * [simplify]: Extracting # 6 : cost 0 inf + 32486 17.663 * * [simplify]: iteration 0 : 175 enodes (cost 32692 ) 17.721 * * [simplify]: Extracting # 0 : cost 0 inf + 32486 17.725 * * [simplify]: Extracting # 1 : cost 125 inf + 21118 17.731 * * [simplify]: Extracting # 2 : cost 0 inf + 43825 17.737 * * [simplify]: iteration 1 : 518 enodes (cost 26781 ) 18.101 * * [simplify]: Extracting # 0 : cost 0 inf + 43825 18.120 * * [simplify]: Extracting # 1 : cost 1078 inf + 28678 18.160 * * [simplify]: Extracting # 2 : cost 2 inf + 226944 18.231 * * [simplify]: Extracting # 3 : cost 3 inf + 226264 18.317 * * [simplify]: Extracting # 4 : cost 1 inf + 226388 18.403 * * [simplify]: Extracting # 5 : cost 0 inf + 226873 18.489 * * [simplify]: iteration 2 : 3335 enodes (cost 25361 ) 19.538 * * [simplify]: Extracting # 0 : cost 0 inf + 226873 19.647 * * [simplify]: Extracting # 1 : cost 866 inf + 222746 19.739 * * [simplify]: Extracting # 2 : cost 0 inf + 398076 19.858 * * [simplify]: iteration done: 5001 enodes (cost 24959 ) 19.859 * [simplify]: Simplified to: (/ (/ (- x y) y) (* 2.0 x)) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (log (/ (/ (- x y) y) (* 2.0 x))) (exp (/ (/ (- x y) y) (* 2.0 x))) (/ (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)) (* (* x (* (* 2.0 x) (* 2.0 x))) 2.0)) (/ (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x y) y)) (* (* x (* (* 2.0 x) (* 2.0 x))) 2.0)) (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x))) (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x))) (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x))) (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x))) (* (cbrt (/ (/ (- x y) y) (* 2.0 x))) (cbrt (/ (/ (- x y) y) (* 2.0 x)))) (cbrt (/ (/ (- x y) y) (* 2.0 x))) (* (* (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x))) (/ (/ (- x y) y) (* 2.0 x))) (sqrt (/ (/ (- x y) y) (* 2.0 x))) (sqrt (/ (/ (- x y) y) (* 2.0 x))) (- x y) (* (* x 2.0) y) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ (- x y) y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y))) (* (sqrt (/ 1 (* x 2.0))) (/ (sqrt (- x y)) (sqrt y))) (/ (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))) (* 2.0 x)) (/ (sqrt (/ (- x y) y)) (* 2.0 x)) (/ (* (/ (cbrt (- x y)) (cbrt y)) (/ (cbrt (- x y)) (cbrt y))) (* 2.0 x)) (/ (* (/ (cbrt (- x y)) (sqrt y)) (cbrt (- x y))) (* 2.0 x)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* 2.0 x)) (/ (/ (sqrt (- x y)) (* (cbrt y) (cbrt y))) (* 2.0 x)) (/ (/ (sqrt (- x y)) (* 2.0 x)) (sqrt y)) (/ (sqrt (- x y)) (* 2.0 x)) (/ (/ (/ 1 x) 2.0) (* (cbrt y) (cbrt y))) (/ (/ (/ 1 x) 2.0) (sqrt y)) (/ (/ 1 x) 2.0) (/ (/ (+ (sqrt x) (sqrt y)) (* 2.0 x)) (* (cbrt y) (cbrt y))) (/ (/ (+ (sqrt x) (sqrt y)) (* 2.0 x)) (sqrt y)) (/ (+ (sqrt x) (sqrt y)) (* 2.0 x)) (/ (/ (/ 1 x) 2.0) (* (cbrt y) (cbrt y))) (/ (/ (/ 1 x) 2.0) (sqrt y)) (/ (/ 1 x) 2.0) (/ (/ 1 x) 2.0) (/ (- x y) (* 2.0 x)) (* (cbrt (/ 1 (* x 2.0))) (/ (- x y) y)) (* (sqrt (/ 1 (* x 2.0))) (/ (- x y) y)) (/ (/ (- x y) y) 2.0) (/ (/ (- x y) y) 2.0) (/ (/ (- x y) y) 2.0) (/ (/ (- x y) y) (* 2.0 x)) (/ (/ (- x y) y) (* 2.0 x)) (/ (- x y) (* 2.0 x)) (/ (- x y) y) -1 -1 (- (log (* 2.0 x))) (- (log (* 2.0 x))) (- (log (* 2.0 x))) (- (log (* 2.0 x))) (- (log (* 2.0 x))) (- (log (* 2.0 x))) (- (log (* 2.0 x))) (exp (/ (/ 1 x) 2.0)) (/ 1 (* (* x (* (* 2.0 x) (* 2.0 x))) 2.0)) (/ 1 (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (cbrt (/ 1 (* x 2.0))) (* (* (/ (/ 1 x) 2.0) (/ (/ 1 x) 2.0)) (/ (/ 1 x) 2.0)) (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))) -1 (- (* x 2.0)) (/ 1 x) (/ 1 2.0) (/ 1 x) (/ 1 2.0) (/ 1 x) (/ 1 2.0) (/ (/ 1 x) 2.0) (* 2.0 x) (/ 1 x) (* 2.0 x) (* 2.0 x) (* 2.0 x) (log (/ (- x y) y)) (log (/ (- x y) y)) (exp (/ (- x y) y)) (* (* (/ (- x y) y) (/ (- x y) y)) (/ (- x 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) 1 (* (/ (cbrt (- x y)) (cbrt y)) (/ (cbrt (- x y)) (cbrt y))) (/ (cbrt (- x y)) (cbrt y)) (* (/ (cbrt (- x y)) (sqrt y)) (cbrt (- x 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) 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)) (/ (- (sqrt x) (sqrt y)) y) (/ (/ 1 (cbrt y)) (cbrt y)) (/ (- x y) (cbrt y)) (/ 1 (sqrt y)) (/ (- x y) (sqrt y)) 1 (/ (- x y) y) (/ 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 y) y) (* x x)) y) (* (+ x y) y) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (/ 0.5 x) (/ 0.5 x) (/ 0.5 x) (/ (- x y) y) (/ (- x y) y) (/ (- x y) y) 19.868 * * * [progress]: adding candidates to table 20.430 * * [progress]: iteration 4 / 4 20.430 * * * [progress]: picking best candidate 20.438 * * * * [pick]: Picked # 20.438 * * * [progress]: localizing error 20.448 * * * [progress]: generating rewritten candidates 20.448 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 20.469 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 20.487 * * * [progress]: generating series expansions 20.487 * * * * [progress]: [ 1 / 2 ] generating series at (2) 20.487 * [backup-simplify]: Simplify (/ (/ (- x y) y) (* x 2.0)) into (* 0.5 (/ (- x y) (* x y))) 20.487 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0 20.487 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y 20.487 * [taylor]: Taking taylor expansion of 0.5 in y 20.487 * [backup-simplify]: Simplify 0.5 into 0.5 20.487 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y 20.487 * [taylor]: Taking taylor expansion of (- x y) in y 20.487 * [taylor]: Taking taylor expansion of x in y 20.487 * [backup-simplify]: Simplify x into x 20.487 * [taylor]: Taking taylor expansion of y in y 20.487 * [backup-simplify]: Simplify 0 into 0 20.487 * [backup-simplify]: Simplify 1 into 1 20.487 * [taylor]: Taking taylor expansion of (* x y) in y 20.487 * [taylor]: Taking taylor expansion of x in y 20.487 * [backup-simplify]: Simplify x into x 20.487 * [taylor]: Taking taylor expansion of y in y 20.487 * [backup-simplify]: Simplify 0 into 0 20.487 * [backup-simplify]: Simplify 1 into 1 20.488 * [backup-simplify]: Simplify (- 0) into 0 20.488 * [backup-simplify]: Simplify (+ x 0) into x 20.488 * [backup-simplify]: Simplify (* x 0) into 0 20.488 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 20.488 * [backup-simplify]: Simplify (/ x x) into 1 20.488 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 20.488 * [taylor]: Taking taylor expansion of 0.5 in x 20.488 * [backup-simplify]: Simplify 0.5 into 0.5 20.488 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 20.488 * [taylor]: Taking taylor expansion of (- x y) in x 20.488 * [taylor]: Taking taylor expansion of x in x 20.488 * [backup-simplify]: Simplify 0 into 0 20.488 * [backup-simplify]: Simplify 1 into 1 20.489 * [taylor]: Taking taylor expansion of y in x 20.489 * [backup-simplify]: Simplify y into y 20.489 * [taylor]: Taking taylor expansion of (* x y) in x 20.489 * [taylor]: Taking taylor expansion of x in x 20.489 * [backup-simplify]: Simplify 0 into 0 20.489 * [backup-simplify]: Simplify 1 into 1 20.489 * [taylor]: Taking taylor expansion of y in x 20.489 * [backup-simplify]: Simplify y into y 20.489 * [backup-simplify]: Simplify (- y) into (- y) 20.489 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 20.489 * [backup-simplify]: Simplify (* 0 y) into 0 20.489 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.489 * [backup-simplify]: Simplify (/ (- y) y) into -1 20.489 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 20.489 * [taylor]: Taking taylor expansion of 0.5 in x 20.489 * [backup-simplify]: Simplify 0.5 into 0.5 20.489 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 20.489 * [taylor]: Taking taylor expansion of (- x y) in x 20.489 * [taylor]: Taking taylor expansion of x in x 20.489 * [backup-simplify]: Simplify 0 into 0 20.489 * [backup-simplify]: Simplify 1 into 1 20.489 * [taylor]: Taking taylor expansion of y in x 20.489 * [backup-simplify]: Simplify y into y 20.489 * [taylor]: Taking taylor expansion of (* x y) in x 20.489 * [taylor]: Taking taylor expansion of x in x 20.489 * [backup-simplify]: Simplify 0 into 0 20.489 * [backup-simplify]: Simplify 1 into 1 20.489 * [taylor]: Taking taylor expansion of y in x 20.489 * [backup-simplify]: Simplify y into y 20.489 * [backup-simplify]: Simplify (- y) into (- y) 20.489 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 20.489 * [backup-simplify]: Simplify (* 0 y) into 0 20.490 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 20.490 * [backup-simplify]: Simplify (/ (- y) y) into -1 20.490 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5 20.490 * [taylor]: Taking taylor expansion of -0.5 in y 20.490 * [backup-simplify]: Simplify -0.5 into -0.5 20.490 * [backup-simplify]: Simplify (- 0) into 0 20.491 * [backup-simplify]: Simplify (+ 1 0) into 1 20.491 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 20.491 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y) 20.492 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y)) 20.492 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 20.492 * [taylor]: Taking taylor expansion of 0.5 in y 20.492 * [backup-simplify]: Simplify 0.5 into 0.5 20.492 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.492 * [taylor]: Taking taylor expansion of y in y 20.492 * [backup-simplify]: Simplify 0 into 0 20.492 * [backup-simplify]: Simplify 1 into 1 20.492 * [backup-simplify]: Simplify (/ 1 1) into 1 20.492 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 20.492 * [backup-simplify]: Simplify 0.5 into 0.5 20.492 * [backup-simplify]: Simplify -0.5 into -0.5 20.493 * [backup-simplify]: Simplify (- 0) into 0 20.493 * [backup-simplify]: Simplify (+ 0 0) into 0 20.494 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 20.494 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 20.494 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 20.494 * [taylor]: Taking taylor expansion of 0 in y 20.494 * [backup-simplify]: Simplify 0 into 0 20.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.495 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 20.495 * [backup-simplify]: Simplify 0 into 0 20.495 * [backup-simplify]: Simplify 0 into 0 20.495 * [backup-simplify]: Simplify (- 0) into 0 20.496 * [backup-simplify]: Simplify (+ 0 0) into 0 20.497 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.497 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.497 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 20.497 * [taylor]: Taking taylor expansion of 0 in y 20.497 * [backup-simplify]: Simplify 0 into 0 20.497 * [backup-simplify]: Simplify 0 into 0 20.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.499 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 20.499 * [backup-simplify]: Simplify 0 into 0 20.499 * [backup-simplify]: Simplify 0 into 0 20.499 * [backup-simplify]: Simplify (- 0) into 0 20.499 * [backup-simplify]: Simplify (+ 0 0) into 0 20.500 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 20.500 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.501 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 20.501 * [taylor]: Taking taylor expansion of 0 in y 20.501 * [backup-simplify]: Simplify 0 into 0 20.501 * [backup-simplify]: Simplify 0 into 0 20.502 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 20.502 * [backup-simplify]: Simplify (/ (/ (- (/ 1 x) (/ 1 y)) (/ 1 y)) (* (/ 1 x) 2.0)) into (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) 20.502 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in (x y) around 0 20.502 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in y 20.502 * [taylor]: Taking taylor expansion of 0.5 in y 20.502 * [backup-simplify]: Simplify 0.5 into 0.5 20.502 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in y 20.502 * [taylor]: Taking taylor expansion of x in y 20.502 * [backup-simplify]: Simplify x into x 20.502 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y 20.502 * [taylor]: Taking taylor expansion of y in y 20.502 * [backup-simplify]: Simplify 0 into 0 20.502 * [backup-simplify]: Simplify 1 into 1 20.502 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 20.502 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.502 * [taylor]: Taking taylor expansion of x in y 20.502 * [backup-simplify]: Simplify x into x 20.502 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 20.502 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.502 * [taylor]: Taking taylor expansion of y in y 20.502 * [backup-simplify]: Simplify 0 into 0 20.502 * [backup-simplify]: Simplify 1 into 1 20.503 * [backup-simplify]: Simplify (/ 1 1) into 1 20.503 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x 20.503 * [taylor]: Taking taylor expansion of 0.5 in x 20.503 * [backup-simplify]: Simplify 0.5 into 0.5 20.503 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x 20.503 * [taylor]: Taking taylor expansion of x in x 20.503 * [backup-simplify]: Simplify 0 into 0 20.503 * [backup-simplify]: Simplify 1 into 1 20.503 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 20.503 * [taylor]: Taking taylor expansion of y in x 20.503 * [backup-simplify]: Simplify y into y 20.503 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 20.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.503 * [taylor]: Taking taylor expansion of x in x 20.503 * [backup-simplify]: Simplify 0 into 0 20.503 * [backup-simplify]: Simplify 1 into 1 20.504 * [backup-simplify]: Simplify (/ 1 1) into 1 20.504 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.504 * [taylor]: Taking taylor expansion of y in x 20.504 * [backup-simplify]: Simplify y into y 20.504 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.504 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 x) (/ 1 y))))) in x 20.504 * [taylor]: Taking taylor expansion of 0.5 in x 20.504 * [backup-simplify]: Simplify 0.5 into 0.5 20.504 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 x) (/ 1 y)))) in x 20.504 * [taylor]: Taking taylor expansion of x in x 20.504 * [backup-simplify]: Simplify 0 into 0 20.504 * [backup-simplify]: Simplify 1 into 1 20.504 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 20.504 * [taylor]: Taking taylor expansion of y in x 20.504 * [backup-simplify]: Simplify y into y 20.504 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 20.504 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.504 * [taylor]: Taking taylor expansion of x in x 20.504 * [backup-simplify]: Simplify 0 into 0 20.504 * [backup-simplify]: Simplify 1 into 1 20.504 * [backup-simplify]: Simplify (/ 1 1) into 1 20.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.505 * [taylor]: Taking taylor expansion of y in x 20.505 * [backup-simplify]: Simplify y into y 20.505 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.505 * [backup-simplify]: Simplify (+ 1 0) into 1 20.505 * [backup-simplify]: Simplify (* y 1) into y 20.505 * [backup-simplify]: Simplify (* 0 y) into 0 20.506 * [backup-simplify]: Simplify (* 0.5 0) into 0 20.506 * [taylor]: Taking taylor expansion of 0 in y 20.506 * [backup-simplify]: Simplify 0 into 0 20.514 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.514 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 20.514 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 20.515 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1) 20.515 * [backup-simplify]: Simplify (+ (* 0 (- 1)) (* 1 y)) into y 20.516 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y) 20.516 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 20.516 * [taylor]: Taking taylor expansion of 0.5 in y 20.516 * [backup-simplify]: Simplify 0.5 into 0.5 20.516 * [taylor]: Taking taylor expansion of y in y 20.516 * [backup-simplify]: Simplify 0 into 0 20.516 * [backup-simplify]: Simplify 1 into 1 20.516 * [backup-simplify]: Simplify 0 into 0 20.517 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.517 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 20.517 * [backup-simplify]: Simplify (- 0) into 0 20.518 * [backup-simplify]: Simplify (+ 0 0) into 0 20.518 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 20.519 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (- 1)) (* 0 y))) into (- 1) 20.520 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5) 20.521 * [taylor]: Taking taylor expansion of (- 0.5) in y 20.521 * [taylor]: Taking taylor expansion of 0.5 in y 20.521 * [backup-simplify]: Simplify 0.5 into 0.5 20.521 * [backup-simplify]: Simplify (* 0.5 0) into 0 20.521 * [backup-simplify]: Simplify 0 into 0 20.521 * [backup-simplify]: Simplify 0 into 0 20.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.522 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.523 * [backup-simplify]: Simplify (- 0) into 0 20.523 * [backup-simplify]: Simplify (+ 0 0) into 0 20.524 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 20.525 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (- 1)) (* 0 y)))) into 0 20.527 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0 20.527 * [taylor]: Taking taylor expansion of 0 in y 20.527 * [backup-simplify]: Simplify 0 into 0 20.527 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 20.528 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 20.529 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 20.529 * [backup-simplify]: Simplify 0.5 into 0.5 20.529 * [backup-simplify]: Simplify 0 into 0 20.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.530 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.531 * [backup-simplify]: Simplify (- 0) into 0 20.531 * [backup-simplify]: Simplify (+ 0 0) into 0 20.532 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 20.534 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y))))) into 0 20.536 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0 20.536 * [taylor]: Taking taylor expansion of 0 in y 20.536 * [backup-simplify]: Simplify 0 into 0 20.536 * [backup-simplify]: Simplify 0 into 0 20.537 * [backup-simplify]: Simplify (- 0) into 0 20.537 * [backup-simplify]: Simplify 0 into 0 20.538 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 20.538 * [backup-simplify]: Simplify 0 into 0 20.538 * [backup-simplify]: Simplify 0 into 0 20.539 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.539 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.539 * [backup-simplify]: Simplify (- 0) into 0 20.540 * [backup-simplify]: Simplify (+ 0 0) into 0 20.541 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))))) into 0 20.543 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (* 0 y)))))) into 0 20.545 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0 20.545 * [taylor]: Taking taylor expansion of 0 in y 20.545 * [backup-simplify]: Simplify 0 into 0 20.545 * [backup-simplify]: Simplify 0 into 0 20.546 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 20.546 * [backup-simplify]: Simplify (/ (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) into (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* y x))) 20.546 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* y x))) in (x y) around 0 20.546 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* y x))) in y 20.546 * [taylor]: Taking taylor expansion of 0.5 in y 20.547 * [backup-simplify]: Simplify 0.5 into 0.5 20.547 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* y x)) in y 20.547 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 20.547 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.547 * [taylor]: Taking taylor expansion of y in y 20.547 * [backup-simplify]: Simplify 0 into 0 20.547 * [backup-simplify]: Simplify 1 into 1 20.547 * [backup-simplify]: Simplify (/ 1 1) into 1 20.547 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.547 * [taylor]: Taking taylor expansion of x in y 20.547 * [backup-simplify]: Simplify x into x 20.547 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 20.547 * [taylor]: Taking taylor expansion of (* y x) in y 20.547 * [taylor]: Taking taylor expansion of y in y 20.547 * [backup-simplify]: Simplify 0 into 0 20.547 * [backup-simplify]: Simplify 1 into 1 20.547 * [taylor]: Taking taylor expansion of x in y 20.547 * [backup-simplify]: Simplify x into x 20.547 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* y x))) in x 20.547 * [taylor]: Taking taylor expansion of 0.5 in x 20.547 * [backup-simplify]: Simplify 0.5 into 0.5 20.548 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* y x)) in x 20.548 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 20.548 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.548 * [taylor]: Taking taylor expansion of y in x 20.548 * [backup-simplify]: Simplify y into y 20.548 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.548 * [taylor]: Taking taylor expansion of x in x 20.548 * [backup-simplify]: Simplify 0 into 0 20.548 * [backup-simplify]: Simplify 1 into 1 20.548 * [backup-simplify]: Simplify (/ 1 1) into 1 20.548 * [taylor]: Taking taylor expansion of (* y x) in x 20.548 * [taylor]: Taking taylor expansion of y in x 20.548 * [backup-simplify]: Simplify y into y 20.548 * [taylor]: Taking taylor expansion of x in x 20.548 * [backup-simplify]: Simplify 0 into 0 20.548 * [backup-simplify]: Simplify 1 into 1 20.548 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 y) (/ 1 x)) (* y x))) in x 20.548 * [taylor]: Taking taylor expansion of 0.5 in x 20.548 * [backup-simplify]: Simplify 0.5 into 0.5 20.549 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) (* y x)) in x 20.549 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 20.549 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.549 * [taylor]: Taking taylor expansion of y in x 20.549 * [backup-simplify]: Simplify y into y 20.549 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.549 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.549 * [taylor]: Taking taylor expansion of x in x 20.549 * [backup-simplify]: Simplify 0 into 0 20.549 * [backup-simplify]: Simplify 1 into 1 20.549 * [backup-simplify]: Simplify (/ 1 1) into 1 20.549 * [taylor]: Taking taylor expansion of (* y x) in x 20.549 * [taylor]: Taking taylor expansion of y in x 20.549 * [backup-simplify]: Simplify y into y 20.549 * [taylor]: Taking taylor expansion of x in x 20.549 * [backup-simplify]: Simplify 0 into 0 20.549 * [backup-simplify]: Simplify 1 into 1 20.550 * [backup-simplify]: Simplify (- 1) into -1 20.550 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.550 * [backup-simplify]: Simplify (* y 0) into 0 20.551 * [backup-simplify]: Simplify (* -1 0) into 0 20.551 * [backup-simplify]: Simplify (* 0.5 0) into 0 20.551 * [taylor]: Taking taylor expansion of 0 in y 20.551 * [backup-simplify]: Simplify 0 into 0 20.552 * [backup-simplify]: Simplify (+ (* y 1) (* 0 0)) into y 20.552 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.553 * [backup-simplify]: Simplify (- 0) into 0 20.553 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 20.553 * [backup-simplify]: Simplify (+ (* -1 y) (* (/ 1 y) 0)) into (- y) 20.554 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y)) 20.554 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 20.554 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 20.554 * [taylor]: Taking taylor expansion of 0.5 in y 20.554 * [backup-simplify]: Simplify 0.5 into 0.5 20.554 * [taylor]: Taking taylor expansion of y in y 20.554 * [backup-simplify]: Simplify 0 into 0 20.554 * [backup-simplify]: Simplify 1 into 1 20.554 * [backup-simplify]: Simplify 0 into 0 20.555 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 1) (* 0 0))) into 0 20.555 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 20.556 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.556 * [backup-simplify]: Simplify (- 0) into 0 20.556 * [backup-simplify]: Simplify (+ 0 0) into 0 20.557 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) y) (* 0 0))) into 1 20.558 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5 20.558 * [taylor]: Taking taylor expansion of 0.5 in y 20.558 * [backup-simplify]: Simplify 0.5 into 0.5 20.559 * [backup-simplify]: Simplify (* 0.5 0) into 0 20.559 * [backup-simplify]: Simplify (- 0) into 0 20.559 * [backup-simplify]: Simplify 0 into 0 20.559 * [backup-simplify]: Simplify 0 into 0 20.560 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 20.560 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.561 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.561 * [backup-simplify]: Simplify (- 0) into 0 20.562 * [backup-simplify]: Simplify (+ 0 0) into 0 20.563 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 y) (* 0 0)))) into 0 20.564 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 20.564 * [taylor]: Taking taylor expansion of 0 in y 20.564 * [backup-simplify]: Simplify 0 into 0 20.564 * [backup-simplify]: Simplify 0.5 into 0.5 20.566 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 20.566 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 20.567 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 20.567 * [backup-simplify]: Simplify 0 into 0 20.568 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 20.568 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.569 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.569 * [backup-simplify]: Simplify (- 0) into 0 20.570 * [backup-simplify]: Simplify (+ 0 0) into 0 20.571 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 20.573 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 20.573 * [taylor]: Taking taylor expansion of 0 in y 20.573 * [backup-simplify]: Simplify 0 into 0 20.573 * [backup-simplify]: Simplify 0 into 0 20.573 * [backup-simplify]: Simplify 0 into 0 20.574 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 20.574 * [backup-simplify]: Simplify (- 0) into 0 20.574 * [backup-simplify]: Simplify 0 into 0 20.574 * [backup-simplify]: Simplify 0 into 0 20.576 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 20.576 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.577 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.577 * [backup-simplify]: Simplify (- 0) into 0 20.578 * [backup-simplify]: Simplify (+ 0 0) into 0 20.579 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 20.581 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0 20.581 * [taylor]: Taking taylor expansion of 0 in y 20.581 * [backup-simplify]: Simplify 0 into 0 20.581 * [backup-simplify]: Simplify 0 into 0 20.582 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 20.582 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 20.582 * [backup-simplify]: Simplify (/ (- x y) y) into (/ (- x y) y) 20.582 * [approximate]: Taking taylor expansion of (/ (- x y) y) in (x y) around 0 20.582 * [taylor]: Taking taylor expansion of (/ (- x y) y) in y 20.582 * [taylor]: Taking taylor expansion of (- x y) in y 20.582 * [taylor]: Taking taylor expansion of x in y 20.582 * [backup-simplify]: Simplify x into x 20.582 * [taylor]: Taking taylor expansion of y in y 20.582 * [backup-simplify]: Simplify 0 into 0 20.582 * [backup-simplify]: Simplify 1 into 1 20.582 * [taylor]: Taking taylor expansion of y in y 20.583 * [backup-simplify]: Simplify 0 into 0 20.583 * [backup-simplify]: Simplify 1 into 1 20.583 * [backup-simplify]: Simplify (- 0) into 0 20.583 * [backup-simplify]: Simplify (+ x 0) into x 20.583 * [backup-simplify]: Simplify (/ x 1) into x 20.583 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x 20.583 * [taylor]: Taking taylor expansion of (- x y) in x 20.583 * [taylor]: Taking taylor expansion of x in x 20.583 * [backup-simplify]: Simplify 0 into 0 20.583 * [backup-simplify]: Simplify 1 into 1 20.583 * [taylor]: Taking taylor expansion of y in x 20.583 * [backup-simplify]: Simplify y into y 20.583 * [taylor]: Taking taylor expansion of y in x 20.583 * [backup-simplify]: Simplify y into y 20.583 * [backup-simplify]: Simplify (- y) into (- y) 20.583 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 20.584 * [backup-simplify]: Simplify (/ (- y) y) into -1 20.584 * [taylor]: Taking taylor expansion of (/ (- x y) y) in x 20.584 * [taylor]: Taking taylor expansion of (- x y) in x 20.584 * [taylor]: Taking taylor expansion of x in x 20.584 * [backup-simplify]: Simplify 0 into 0 20.584 * [backup-simplify]: Simplify 1 into 1 20.584 * [taylor]: Taking taylor expansion of y in x 20.584 * [backup-simplify]: Simplify y into y 20.584 * [taylor]: Taking taylor expansion of y in x 20.584 * [backup-simplify]: Simplify y into y 20.584 * [backup-simplify]: Simplify (- y) into (- y) 20.584 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 20.584 * [backup-simplify]: Simplify (/ (- y) y) into -1 20.584 * [taylor]: Taking taylor expansion of -1 in y 20.584 * [backup-simplify]: Simplify -1 into -1 20.585 * [backup-simplify]: Simplify (- 0) into 0 20.585 * [backup-simplify]: Simplify (+ 1 0) into 1 20.585 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y) 20.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.585 * [taylor]: Taking taylor expansion of y in y 20.585 * [backup-simplify]: Simplify 0 into 0 20.585 * [backup-simplify]: Simplify 1 into 1 20.586 * [backup-simplify]: Simplify (/ 1 1) into 1 20.586 * [backup-simplify]: Simplify 1 into 1 20.586 * [backup-simplify]: Simplify -1 into -1 20.586 * [backup-simplify]: Simplify (- 0) into 0 20.587 * [backup-simplify]: Simplify (+ 0 0) into 0 20.587 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 20.587 * [taylor]: Taking taylor expansion of 0 in y 20.587 * [backup-simplify]: Simplify 0 into 0 20.588 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.588 * [backup-simplify]: Simplify 0 into 0 20.588 * [backup-simplify]: Simplify 0 into 0 20.588 * [backup-simplify]: Simplify (- 0) into 0 20.589 * [backup-simplify]: Simplify (+ 0 0) into 0 20.589 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.589 * [taylor]: Taking taylor expansion of 0 in y 20.589 * [backup-simplify]: Simplify 0 into 0 20.589 * [backup-simplify]: Simplify 0 into 0 20.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.590 * [backup-simplify]: Simplify 0 into 0 20.590 * [backup-simplify]: Simplify 0 into 0 20.590 * [backup-simplify]: Simplify (- 0) into 0 20.590 * [backup-simplify]: Simplify (+ 0 0) into 0 20.591 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.591 * [taylor]: Taking taylor expansion of 0 in y 20.591 * [backup-simplify]: Simplify 0 into 0 20.591 * [backup-simplify]: Simplify 0 into 0 20.591 * [backup-simplify]: Simplify (+ -1 (* 1 (* (/ 1 y) x))) into (- (/ x y) 1) 20.591 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (/ 1 y)) into (* y (- (/ 1 x) (/ 1 y))) 20.591 * [approximate]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in (x y) around 0 20.591 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in y 20.591 * [taylor]: Taking taylor expansion of y in y 20.591 * [backup-simplify]: Simplify 0 into 0 20.591 * [backup-simplify]: Simplify 1 into 1 20.591 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 20.591 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.591 * [taylor]: Taking taylor expansion of x in y 20.591 * [backup-simplify]: Simplify x into x 20.591 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 20.591 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.591 * [taylor]: Taking taylor expansion of y in y 20.591 * [backup-simplify]: Simplify 0 into 0 20.591 * [backup-simplify]: Simplify 1 into 1 20.591 * [backup-simplify]: Simplify (/ 1 1) into 1 20.591 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 20.591 * [taylor]: Taking taylor expansion of y in x 20.591 * [backup-simplify]: Simplify y into y 20.592 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 20.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.592 * [taylor]: Taking taylor expansion of x in x 20.592 * [backup-simplify]: Simplify 0 into 0 20.592 * [backup-simplify]: Simplify 1 into 1 20.592 * [backup-simplify]: Simplify (/ 1 1) into 1 20.592 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.592 * [taylor]: Taking taylor expansion of y in x 20.592 * [backup-simplify]: Simplify y into y 20.592 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.592 * [taylor]: Taking taylor expansion of (* y (- (/ 1 x) (/ 1 y))) in x 20.592 * [taylor]: Taking taylor expansion of y in x 20.592 * [backup-simplify]: Simplify y into y 20.592 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 20.592 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.592 * [taylor]: Taking taylor expansion of x in x 20.592 * [backup-simplify]: Simplify 0 into 0 20.592 * [backup-simplify]: Simplify 1 into 1 20.592 * [backup-simplify]: Simplify (/ 1 1) into 1 20.592 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.592 * [taylor]: Taking taylor expansion of y in x 20.592 * [backup-simplify]: Simplify y into y 20.592 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.593 * [backup-simplify]: Simplify (+ 1 0) into 1 20.593 * [backup-simplify]: Simplify (* y 1) into y 20.593 * [taylor]: Taking taylor expansion of y in y 20.593 * [backup-simplify]: Simplify 0 into 0 20.593 * [backup-simplify]: Simplify 1 into 1 20.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.593 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 20.594 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 20.594 * [backup-simplify]: Simplify (+ (* y (- (/ 1 y))) (* 0 1)) into (- 1) 20.594 * [taylor]: Taking taylor expansion of (- 1) in y 20.594 * [taylor]: Taking taylor expansion of 1 in y 20.594 * [backup-simplify]: Simplify 1 into 1 20.594 * [backup-simplify]: Simplify 0 into 0 20.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.595 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 20.595 * [backup-simplify]: Simplify (- 0) into 0 20.595 * [backup-simplify]: Simplify (+ 0 0) into 0 20.595 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (- (/ 1 y))) (* 0 1))) into 0 20.595 * [taylor]: Taking taylor expansion of 0 in y 20.595 * [backup-simplify]: Simplify 0 into 0 20.596 * [backup-simplify]: Simplify (- 1) into -1 20.596 * [backup-simplify]: Simplify -1 into -1 20.596 * [backup-simplify]: Simplify 1 into 1 20.596 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.596 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.597 * [backup-simplify]: Simplify (- 0) into 0 20.597 * [backup-simplify]: Simplify (+ 0 0) into 0 20.597 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1)))) into 0 20.597 * [taylor]: Taking taylor expansion of 0 in y 20.598 * [backup-simplify]: Simplify 0 into 0 20.598 * [backup-simplify]: Simplify 0 into 0 20.598 * [backup-simplify]: Simplify (- 0) into 0 20.598 * [backup-simplify]: Simplify 0 into 0 20.598 * [backup-simplify]: Simplify 0 into 0 20.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.599 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.599 * [backup-simplify]: Simplify (- 0) into 0 20.599 * [backup-simplify]: Simplify (+ 0 0) into 0 20.600 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (* 0 1))))) into 0 20.600 * [taylor]: Taking taylor expansion of 0 in y 20.600 * [backup-simplify]: Simplify 0 into 0 20.600 * [backup-simplify]: Simplify 0 into 0 20.600 * [backup-simplify]: Simplify 0 into 0 20.600 * [backup-simplify]: Simplify (- 0) into 0 20.600 * [backup-simplify]: Simplify 0 into 0 20.600 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 y) (/ 1 (/ 1 x)))) -1) into (- (/ x y) 1) 20.600 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (/ 1 (- y))) into (* -1 (* (- (/ 1 y) (/ 1 x)) y)) 20.600 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in (x y) around 0 20.600 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in y 20.600 * [taylor]: Taking taylor expansion of -1 in y 20.600 * [backup-simplify]: Simplify -1 into -1 20.600 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in y 20.600 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 20.600 * [taylor]: Taking taylor expansion of (/ 1 y) in y 20.601 * [taylor]: Taking taylor expansion of y in y 20.601 * [backup-simplify]: Simplify 0 into 0 20.601 * [backup-simplify]: Simplify 1 into 1 20.601 * [backup-simplify]: Simplify (/ 1 1) into 1 20.601 * [taylor]: Taking taylor expansion of (/ 1 x) in y 20.601 * [taylor]: Taking taylor expansion of x in y 20.601 * [backup-simplify]: Simplify x into x 20.601 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 20.601 * [taylor]: Taking taylor expansion of y in y 20.601 * [backup-simplify]: Simplify 0 into 0 20.601 * [backup-simplify]: Simplify 1 into 1 20.601 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in x 20.601 * [taylor]: Taking taylor expansion of -1 in x 20.601 * [backup-simplify]: Simplify -1 into -1 20.601 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 20.601 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 20.601 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.601 * [taylor]: Taking taylor expansion of y in x 20.601 * [backup-simplify]: Simplify y into y 20.601 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.601 * [taylor]: Taking taylor expansion of x in x 20.601 * [backup-simplify]: Simplify 0 into 0 20.601 * [backup-simplify]: Simplify 1 into 1 20.601 * [backup-simplify]: Simplify (/ 1 1) into 1 20.601 * [taylor]: Taking taylor expansion of y in x 20.601 * [backup-simplify]: Simplify y into y 20.601 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 y) (/ 1 x)) y)) in x 20.601 * [taylor]: Taking taylor expansion of -1 in x 20.601 * [backup-simplify]: Simplify -1 into -1 20.601 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 x)) y) in x 20.602 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 20.602 * [taylor]: Taking taylor expansion of (/ 1 y) in x 20.602 * [taylor]: Taking taylor expansion of y in x 20.602 * [backup-simplify]: Simplify y into y 20.602 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 20.602 * [taylor]: Taking taylor expansion of (/ 1 x) in x 20.602 * [taylor]: Taking taylor expansion of x in x 20.602 * [backup-simplify]: Simplify 0 into 0 20.602 * [backup-simplify]: Simplify 1 into 1 20.602 * [backup-simplify]: Simplify (/ 1 1) into 1 20.602 * [taylor]: Taking taylor expansion of y in x 20.602 * [backup-simplify]: Simplify y into y 20.602 * [backup-simplify]: Simplify (- 1) into -1 20.602 * [backup-simplify]: Simplify (+ 0 -1) into -1 20.603 * [backup-simplify]: Simplify (* -1 y) into (* -1 y) 20.603 * [backup-simplify]: Simplify (* -1 (* -1 y)) into y 20.603 * [taylor]: Taking taylor expansion of y in y 20.603 * [backup-simplify]: Simplify 0 into 0 20.603 * [backup-simplify]: Simplify 1 into 1 20.603 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 20.603 * [backup-simplify]: Simplify (- 0) into 0 20.603 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 20.604 * [backup-simplify]: Simplify (+ (* -1 0) (* (/ 1 y) y)) into 1 20.604 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 (* -1 y))) into (- 1) 20.604 * [taylor]: Taking taylor expansion of (- 1) in y 20.604 * [taylor]: Taking taylor expansion of 1 in y 20.604 * [backup-simplify]: Simplify 1 into 1 20.604 * [backup-simplify]: Simplify 0 into 0 20.604 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 20.605 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.605 * [backup-simplify]: Simplify (- 0) into 0 20.605 * [backup-simplify]: Simplify (+ 0 0) into 0 20.606 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (* 0 y))) into 0 20.606 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 (* -1 y)))) into 0 20.606 * [taylor]: Taking taylor expansion of 0 in y 20.606 * [backup-simplify]: Simplify 0 into 0 20.606 * [backup-simplify]: Simplify (- 1) into -1 20.606 * [backup-simplify]: Simplify -1 into -1 20.606 * [backup-simplify]: Simplify 1 into 1 20.607 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.607 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.607 * [backup-simplify]: Simplify (- 0) into 0 20.608 * [backup-simplify]: Simplify (+ 0 0) into 0 20.608 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (* 0 y)))) into 0 20.609 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0 20.609 * [taylor]: Taking taylor expansion of 0 in y 20.609 * [backup-simplify]: Simplify 0 into 0 20.609 * [backup-simplify]: Simplify 0 into 0 20.609 * [backup-simplify]: Simplify (- 0) into 0 20.609 * [backup-simplify]: Simplify 0 into 0 20.609 * [backup-simplify]: Simplify 0 into 0 20.609 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 20.610 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 20.610 * [backup-simplify]: Simplify (- 0) into 0 20.610 * [backup-simplify]: Simplify (+ 0 0) into 0 20.611 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* (/ 1 y) 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 20.612 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0 20.612 * [taylor]: Taking taylor expansion of 0 in y 20.612 * [backup-simplify]: Simplify 0 into 0 20.612 * [backup-simplify]: Simplify 0 into 0 20.612 * [backup-simplify]: Simplify 0 into 0 20.612 * [backup-simplify]: Simplify (- 0) into 0 20.612 * [backup-simplify]: Simplify 0 into 0 20.613 * [backup-simplify]: Simplify (+ (* 1 (* (/ 1 (- y)) (/ 1 (/ 1 (- x))))) -1) into (- (/ x y) 1) 20.613 * * * [progress]: simplifying candidates 20.614 * [simplify]: Simplifying: (- (- (log (- x y)) (log y)) (+ (log x) (log 2.0))) (- (- (log (- x y)) (log y)) (log (* x 2.0))) (- (log (/ (- x y) y)) (+ (log x) (log 2.0))) (- (log (/ (- x y) y)) (log (* x 2.0))) (log (/ (/ (- x y) y) (* x 2.0))) (exp (/ (/ (- x y) y) (* x 2.0))) (/ (/ (* (* (- x y) (- x y)) (- x y)) (* (* y y) y)) (* (* (* x x) x) (* (* 2.0 2.0) 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)) (* (* (* 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))) (* (cbrt (/ (/ (- x y) y) (* x 2.0))) (cbrt (/ (/ (- x y) y) (* x 2.0)))) (cbrt (/ (/ (- x y) y) (* x 2.0))) (* (* (/ (/ (- x y) y) (* x 2.0)) (/ (/ (- x y) y) (* x 2.0))) (/ (/ (- x y) y) (* x 2.0))) (sqrt (/ (/ (- x y) y) (* x 2.0))) (sqrt (/ (/ (- x y) y) (* x 2.0))) (- (/ (- x y) y)) (- (* x 2.0)) (/ (/ x y) (* x 2.0)) (/ (/ y y) (* x 2.0)) (/ (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))) x) (/ (cbrt (/ (- x y) y)) 2.0) (/ (sqrt (/ (- x y) y)) x) (/ (sqrt (/ (- x y) y)) 2.0) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt y) (cbrt y))) x) (/ (/ (cbrt (- x y)) (cbrt y)) 2.0) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y)) x) (/ (/ (cbrt (- x y)) (sqrt y)) 2.0) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) x) (/ (/ (cbrt (- x y)) y) 2.0) (/ (/ (sqrt (- x y)) (* (cbrt y) (cbrt y))) x) (/ (/ (sqrt (- x y)) (cbrt y)) 2.0) (/ (/ (sqrt (- x y)) (sqrt y)) x) (/ (/ (sqrt (- x y)) (sqrt y)) 2.0) (/ (/ (sqrt (- x y)) 1) x) (/ (/ (sqrt (- x y)) y) 2.0) (/ (/ 1 (* (cbrt y) (cbrt y))) x) (/ (/ (- x y) (cbrt y)) 2.0) (/ (/ 1 (sqrt y)) x) (/ (/ (- x y) (sqrt y)) 2.0) (/ (/ 1 1) x) (/ (/ (- x y) y) 2.0) (/ (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y))) x) (/ (/ (- (sqrt x) (sqrt y)) (cbrt y)) 2.0) (/ (/ (+ (sqrt x) (sqrt y)) (sqrt y)) x) (/ (/ (- (sqrt x) (sqrt y)) (sqrt y)) 2.0) (/ (/ (+ (sqrt x) (sqrt y)) 1) x) (/ (/ (- (sqrt x) (sqrt y)) y) 2.0) (/ (/ 1 (* (cbrt y) (cbrt y))) x) (/ (/ (- x y) (cbrt y)) 2.0) (/ (/ 1 (sqrt y)) x) (/ (/ (- x y) (sqrt y)) 2.0) (/ (/ 1 1) x) (/ (/ (- x y) y) 2.0) (/ 1 x) (/ (/ (- x y) y) 2.0) (/ (- x y) x) (/ (/ 1 y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (/ (- x y) y)) (/ (/ (- x y) y) x) (/ (* x 2.0) (cbrt (/ (- x y) y))) (/ (* x 2.0) (sqrt (/ (- x y) y))) (/ (* x 2.0) (/ (cbrt (- x y)) (cbrt y))) (/ (* x 2.0) (/ (cbrt (- x y)) (sqrt y))) (/ (* x 2.0) (/ (cbrt (- x y)) y)) (/ (* x 2.0) (/ (sqrt (- x y)) (cbrt y))) (/ (* x 2.0) (/ (sqrt (- x y)) (sqrt y))) (/ (* x 2.0) (/ (sqrt (- x y)) y)) (/ (* x 2.0) (/ (- x y) (cbrt y))) (/ (* x 2.0) (/ (- x y) (sqrt y))) (/ (* x 2.0) (/ (- x y) y)) (/ (* x 2.0) (/ (- (sqrt x) (sqrt y)) (cbrt y))) (/ (* x 2.0) (/ (- (sqrt x) (sqrt y)) (sqrt y))) (/ (* x 2.0) (/ (- (sqrt x) (sqrt y)) y)) (/ (* x 2.0) (/ (- x y) (cbrt y))) (/ (* x 2.0) (/ (- x y) (sqrt y))) (/ (* x 2.0) (/ (- x y) y)) (/ (* x 2.0) (/ (- x y) y)) (/ (* x 2.0) (/ 1 y)) (* (* x 2.0) 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.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) (- (/ x y) 1) (- (/ x y) 1) (- (/ x y) 1) 20.616 * * [simplify]: Extracting # 0 : cost 113 inf + 0 20.616 * * [simplify]: Extracting # 1 : cost 142 inf + 0 20.616 * * [simplify]: Extracting # 2 : cost 135 inf + 1108 20.617 * * [simplify]: Extracting # 3 : cost 60 inf + 12275 20.620 * * [simplify]: Extracting # 4 : cost 18 inf + 21219 20.624 * * [simplify]: Extracting # 5 : cost 5 inf + 24411 20.629 * * [simplify]: Extracting # 6 : cost 1 inf + 25542 20.633 * * [simplify]: Extracting # 7 : cost 0 inf + 25784 20.636 * * [simplify]: iteration 0 : 155 enodes (cost 26097 ) 20.668 * * [simplify]: Extracting # 0 : cost 0 inf + 25784 20.674 * * [simplify]: Extracting # 1 : cost 86 inf + 22662 20.680 * * [simplify]: Extracting # 2 : cost 0 inf + 35255 20.684 * * [simplify]: iteration 1 : 392 enodes (cost 24697 ) 20.882 * * [simplify]: Extracting # 0 : cost 0 inf + 35255 20.889 * * [simplify]: Extracting # 1 : cost 603 inf + 33147 20.919 * * [simplify]: Extracting # 2 : cost 0 inf + 125134 20.948 * * [simplify]: Extracting # 3 : cost 0 inf + 123534 20.977 * * [simplify]: Extracting # 4 : cost 0 inf + 123014 21.000 * * [simplify]: Extracting # 5 : cost 0 inf + 122854 21.038 * * [simplify]: iteration 2 : 1842 enodes (cost 24133 ) 21.567 * * [simplify]: Extracting # 0 : cost 0 inf + 122854 21.621 * * [simplify]: Extracting # 1 : cost 1619 inf + 116492 21.725 * * [simplify]: Extracting # 2 : cost 0 inf + 416247 21.849 * * [simplify]: Extracting # 3 : cost 0 inf + 415847 22.000 * * [simplify]: Extracting # 4 : cost 0 inf + 415767 22.122 * * [simplify]: iteration done: 5001 enodes (cost 23973 ) 22.123 * [simplify]: Simplified to: (log (/ (/ (- x y) y) (* x 2.0))) (log (/ (/ (- x y) y) (* x 2.0))) (log (/ (/ (- x y) y) (* x 2.0))) (log (/ (/ (- x y) y) (* x 2.0))) (log (/ (/ (- x y) y) (* x 2.0))) (exp (/ (/ (- x y) y) (* x 2.0))) (* (/ (/ (- x y) y) (* x 2.0)) (/ (* (/ (- x y) y) (/ (- x y) y)) (* (* x 2.0) (* x 2.0)))) (* (/ (/ (- x y) y) (* x 2.0)) (/ (* (/ (- x y) y) (/ (- x y) y)) (* (* x 2.0) (* x 2.0)))) (* (/ (/ (- x y) y) (* x 2.0)) (* (/ (/ (- x y) y) (* x 2.0)) (/ (/ (- x y) y) (* x 2.0)))) (* (/ (/ (- x y) y) (* x 2.0)) (* (/ (/ (- x y) y) (* x 2.0)) (/ (/ (- x y) y) (* x 2.0)))) (* (cbrt (/ (/ (- x y) y) (* x 2.0))) (cbrt (/ (/ (- x y) y) (* x 2.0)))) (cbrt (/ (/ (- x y) y) (* x 2.0))) (* (/ (/ (- x y) y) (* x 2.0)) (* (/ (/ (- x y) y) (* x 2.0)) (/ (/ (- x y) y) (* x 2.0)))) (sqrt (/ (/ (- x y) y) (* x 2.0))) (sqrt (/ (/ (- x y) y) (* x 2.0))) (- (/ (- x y) y)) (- (* x 2.0)) (/ (/ x y) (* x 2.0)) (/ 1 (* x 2.0)) (/ (* (cbrt (/ (- x y) y)) (cbrt (/ (- x y) y))) x) (/ (cbrt (/ (- x y) y)) 2.0) (/ (sqrt (/ (- x y) y)) x) (/ (sqrt (/ (- x y) y)) 2.0) (/ (* (/ (cbrt (- x y)) (cbrt y)) (/ (cbrt (- x y)) (cbrt y))) x) (/ (/ (cbrt (- x y)) (cbrt y)) 2.0) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt y)) x) (/ (/ (cbrt (- x y)) (sqrt y)) 2.0) (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (/ (/ (cbrt (- x y)) y) 2.0) (/ (/ (sqrt (- x y)) (* (cbrt y) (cbrt y))) x) (/ (/ (sqrt (- x y)) (cbrt y)) 2.0) (/ (/ (sqrt (- x y)) (sqrt y)) x) (/ (/ (sqrt (- x y)) (sqrt y)) 2.0) (/ (sqrt (- x y)) x) (/ (/ (sqrt (- x y)) y) 2.0) (/ (/ 1 (* (cbrt y) (cbrt y))) x) (/ (/ (- x y) (cbrt y)) 2.0) (/ (/ 1 (sqrt y)) x) (/ (/ (- x y) (sqrt y)) 2.0) (/ 1 x) (/ (/ (- x y) y) 2.0) (/ (/ (+ (sqrt x) (sqrt y)) (* (cbrt y) (cbrt y))) x) (/ (/ (- (sqrt x) (sqrt y)) (cbrt y)) 2.0) (/ (/ (+ (sqrt x) (sqrt y)) (sqrt y)) x) (/ (/ (- (sqrt x) (sqrt y)) (sqrt y)) 2.0) (/ (+ (sqrt x) (sqrt y)) x) (/ (/ (- (sqrt x) (sqrt y)) y) 2.0) (/ (/ 1 (* (cbrt y) (cbrt y))) x) (/ (/ (- x y) (cbrt y)) 2.0) (/ (/ 1 (sqrt y)) x) (/ (/ (- x y) (sqrt y)) 2.0) (/ 1 x) (/ (/ (- x y) y) 2.0) (/ 1 x) (/ (/ (- x y) y) 2.0) (/ (- x y) x) (/ (/ 1 y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (/ (- x y) y)) (/ (/ (- x y) y) x) (/ (* x 2.0) (cbrt (/ (- x y) y))) (/ (* x 2.0) (sqrt (/ (- x y) y))) (/ (* x 2.0) (/ (cbrt (- x y)) (cbrt y))) (/ (* x 2.0) (/ (cbrt (- x y)) (sqrt y))) (/ (* x 2.0) (/ (cbrt (- x y)) y)) (/ (* x 2.0) (/ (sqrt (- x y)) (cbrt y))) (/ (* x 2.0) (/ (sqrt (- x y)) (sqrt y))) (/ (* x 2.0) (/ (sqrt (- x y)) y)) (/ (* x 2.0) (/ (- x y) (cbrt y))) (/ (* x 2.0) (/ (- x y) (sqrt y))) (/ (* x 2.0) (/ (- x y) y)) (/ (* x 2.0) (/ (- (sqrt x) (sqrt y)) (cbrt y))) (/ (* x 2.0) (/ (- (sqrt x) (sqrt y)) (sqrt y))) (/ (* x 2.0) (/ (- (sqrt x) (sqrt y)) y)) (/ (* x 2.0) (/ (- x y) (cbrt y))) (/ (* x 2.0) (/ (- x y) (sqrt y))) (/ (* x 2.0) (/ (- x y) y)) (/ (* x 2.0) (/ (- x y) y)) (* (* 2.0 x) y) (* (* 2.0 x) y) (log (/ (- x y) y)) (log (/ (- x y) y)) (exp (/ (- x y) y)) (* (/ (- x y) y) (* (/ (- x y) y) (/ (- x 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) 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) 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)) (/ (- (sqrt x) (sqrt y)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- x y) (cbrt y)) (/ 1 (sqrt y)) (/ (- x y) (sqrt y)) 1 (/ (- x y) y) (/ 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)) (* y (+ (* x x) (* y (+ x y)))) (* (+ x y) y) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (/ (- x y) y) (/ (- x y) y) (/ (- x y) y) 22.133 * * * [progress]: adding candidates to table 22.490 * [progress]: [Phase 3 of 3] Extracting. 22.490 * * [regime]: Finding splitpoints for: (# # #) 22.491 * * * [regime-changes]: Trying 2 branch expressions: (y x) 22.491 * * * * [regimes]: Trying to branch on y from (# # #) 22.521 * * * * [regimes]: Trying to branch on x from (# # #) 22.562 * * * [regime]: Found split indices: #