37.371 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying: (/ (- x y) (* (* x 2.0) y)) 0.021 * * [simplify]: Extracting # 0 : cost 0 0.021 * * [simplify]: Extracting # 1 : cost 0 0.021 * * [simplify]: Extracting # 2 : cost 0 0.021 * * [simplify]: Extracting # 3 : cost 0 0.021 * * [simplify]: Extracting # 4 : cost 0 0.021 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 0.022 * * [simplify]: Extracting # 0 : cost 0 0.022 * * [simplify]: Extracting # 1 : cost 0 0.022 * * [simplify]: Extracting # 2 : cost 0 0.022 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 0.025 * * [simplify]: Extracting # 0 : cost 0 0.026 * * [simplify]: Extracting # 1 : cost 0 0.026 * * [simplify]: Extracting # 2 : cost 0 0.026 * * [simplify]: iteration 2 : 47 enodes (cost 9 ) 0.044 * * [simplify]: Extracting # 0 : cost 0 0.044 * * [simplify]: Extracting # 1 : cost 0 0.045 * * [simplify]: Extracting # 2 : cost 0 0.045 * * [simplify]: iteration 3 : 105 enodes (cost 9 ) 0.071 * * [simplify]: Extracting # 0 : cost 0 0.071 * * [simplify]: Extracting # 1 : cost 0 0.071 * * [simplify]: Extracting # 2 : cost 0 0.071 * * [simplify]: iteration 4 : 180 enodes (cost 9 ) 0.107 * * [simplify]: Extracting # 0 : cost 0 0.107 * * [simplify]: Extracting # 1 : cost 0 0.108 * * [simplify]: Extracting # 2 : cost 0 0.108 * * [simplify]: iteration 5 : 232 enodes (cost 9 ) 0.157 * * [simplify]: Extracting # 0 : cost 0 0.157 * * [simplify]: Extracting # 1 : cost 0 0.157 * * [simplify]: Extracting # 2 : cost 0 0.158 * * [simplify]: iteration 6 : 271 enodes (cost 9 ) 0.204 * * [simplify]: Extracting # 0 : cost 0 0.205 * * [simplify]: Extracting # 1 : cost 0 0.205 * * [simplify]: Extracting # 2 : cost 0 0.205 * * [simplify]: iteration 7 : 302 enodes (cost 9 ) 0.242 * * [simplify]: Extracting # 0 : cost 0 0.243 * * [simplify]: Extracting # 1 : cost 0 0.243 * * [simplify]: iteration 8 : 323 enodes (cost 9 ) 0.273 * * [simplify]: Extracting # 0 : cost 0 0.273 * * [simplify]: iteration 9 : 342 enodes (cost 9 ) 0.305 * * [simplify]: Extracting # 0 : cost 0 0.306 * * [simplify]: iteration 10 : 361 enodes (cost 9 ) 0.337 * * [simplify]: Extracting # 0 : cost 0 0.337 * * [simplify]: iteration 11 : 380 enodes (cost 9 ) 0.383 * * [simplify]: Extracting # 0 : cost 0 0.383 * * [simplify]: iteration 12 : 399 enodes (cost 9 ) 0.429 * * [simplify]: Extracting # 0 : cost 0 0.430 * * [simplify]: iteration 13 : 418 enodes (cost 9 ) 0.485 * * [simplify]: Extracting # 0 : cost 0 0.485 * * [simplify]: iteration 14 : 437 enodes (cost 9 ) 0.537 * * [simplify]: Extracting # 0 : cost 0 0.537 * * [simplify]: iteration 15 : 456 enodes (cost 9 ) 0.588 * * [simplify]: Extracting # 0 : cost 0 0.589 * * [simplify]: iteration 16 : 475 enodes (cost 9 ) 0.637 * * [simplify]: Extracting # 0 : cost 0 0.638 * * [simplify]: iteration 17 : 494 enodes (cost 9 ) 0.689 * * [simplify]: Extracting # 0 : cost 0 0.690 * * [simplify]: iteration 18 : 513 enodes (cost 9 ) 0.723 * * [simplify]: Extracting # 0 : cost 0 0.723 * * [simplify]: iteration 19 : 532 enodes (cost 9 ) 0.756 * * [simplify]: Extracting # 0 : cost 0 0.756 * * [simplify]: iteration 20 : 551 enodes (cost 9 ) 0.802 * * [simplify]: Extracting # 0 : cost 0 0.802 * * [simplify]: iteration 21 : 570 enodes (cost 9 ) 0.859 * * [simplify]: Extracting # 0 : cost 0 0.859 * * [simplify]: iteration 22 : 589 enodes (cost 9 ) 0.896 * * [simplify]: Extracting # 0 : cost 0 0.896 * * [simplify]: iteration 23 : 608 enodes (cost 9 ) 0.945 * * [simplify]: Extracting # 0 : cost 0 0.945 * * [simplify]: iteration 24 : 627 enodes (cost 9 ) 0.992 * * [simplify]: Extracting # 0 : cost 0 0.992 * * [simplify]: iteration 25 : 646 enodes (cost 9 ) 1.041 * * [simplify]: Extracting # 0 : cost 0 1.041 * * [simplify]: iteration 26 : 665 enodes (cost 9 ) 1.087 * * [simplify]: Extracting # 0 : cost 0 1.087 * * [simplify]: iteration 27 : 684 enodes (cost 9 ) 1.135 * * [simplify]: Extracting # 0 : cost 0 1.135 * * [simplify]: iteration 28 : 703 enodes (cost 9 ) 1.182 * * [simplify]: Extracting # 0 : cost 0 1.183 * * [simplify]: iteration 29 : 722 enodes (cost 9 ) 1.230 * * [simplify]: Extracting # 0 : cost 0 1.230 * * [simplify]: iteration 30 : 741 enodes (cost 9 ) 1.279 * * [simplify]: Extracting # 0 : cost 0 1.280 * * [simplify]: iteration 31 : 760 enodes (cost 9 ) 1.325 * * [simplify]: Extracting # 0 : cost 0 1.325 * * [simplify]: iteration 32 : 779 enodes (cost 9 ) 1.367 * * [simplify]: Extracting # 0 : cost 0 1.368 * * [simplify]: iteration 33 : 798 enodes (cost 9 ) 1.408 * * [simplify]: Extracting # 0 : cost 0 1.408 * * [simplify]: iteration 34 : 817 enodes (cost 9 ) 1.457 * * [simplify]: Extracting # 0 : cost 0 1.457 * * [simplify]: iteration 35 : 836 enodes (cost 9 ) 1.500 * * [simplify]: Extracting # 0 : cost 0 1.500 * * [simplify]: iteration 36 : 855 enodes (cost 9 ) 1.549 * * [simplify]: Extracting # 0 : cost 0 1.550 * * [simplify]: iteration 37 : 874 enodes (cost 9 ) 1.593 * * [simplify]: Extracting # 0 : cost 0 1.593 * * [simplify]: iteration 38 : 893 enodes (cost 9 ) 1.635 * * [simplify]: Extracting # 0 : cost 0 1.635 * * [simplify]: iteration 39 : 912 enodes (cost 9 ) 1.667 * * [simplify]: Extracting # 0 : cost 0 1.667 * * [simplify]: iteration 40 : 931 enodes (cost 9 ) 1.700 * * [simplify]: Extracting # 0 : cost 0 1.700 * * [simplify]: iteration 41 : 950 enodes (cost 9 ) 1.732 * * [simplify]: Extracting # 0 : cost 0 1.732 * * [simplify]: iteration 42 : 969 enodes (cost 9 ) 1.766 * * [simplify]: Extracting # 0 : cost 0 1.766 * * [simplify]: iteration 43 : 988 enodes (cost 9 ) 1.796 * * [simplify]: Extracting # 0 : cost 0 1.796 * * [simplify]: iteration 44 : 1007 enodes (cost 9 ) 1.829 * * [simplify]: Extracting # 0 : cost 0 1.829 * * [simplify]: iteration 45 : 1026 enodes (cost 9 ) 1.859 * * [simplify]: Extracting # 0 : cost 0 1.859 * * [simplify]: iteration 46 : 1045 enodes (cost 9 ) 1.892 * * [simplify]: Extracting # 0 : cost 0 1.892 * * [simplify]: iteration 47 : 1064 enodes (cost 9 ) 1.922 * * [simplify]: Extracting # 0 : cost 0 1.922 * * [simplify]: iteration 48 : 1083 enodes (cost 9 ) 1.956 * * [simplify]: Extracting # 0 : cost 0 1.956 * * [simplify]: iteration 49 : 1102 enodes (cost 9 ) 1.988 * * [simplify]: Extracting # 0 : cost 0 1.988 * * [simplify]: iteration 50 : 1121 enodes (cost 9 ) 2.020 * * [simplify]: Extracting # 0 : cost 0 2.020 * * [simplify]: iteration 51 : 1140 enodes (cost 9 ) 2.051 * * [simplify]: Extracting # 0 : cost 0 2.051 * * [simplify]: iteration 52 : 1159 enodes (cost 9 ) 2.088 * * [simplify]: Extracting # 0 : cost 0 2.088 * * [simplify]: iteration 53 : 1178 enodes (cost 9 ) 2.149 * * [simplify]: Extracting # 0 : cost 0 2.149 * * [simplify]: iteration 54 : 1197 enodes (cost 9 ) 2.208 * * [simplify]: Extracting # 0 : cost 0 2.208 * * [simplify]: iteration 55 : 1216 enodes (cost 9 ) 2.264 * * [simplify]: Extracting # 0 : cost 0 2.265 * * [simplify]: iteration 56 : 1235 enodes (cost 9 ) 2.301 * * [simplify]: Extracting # 0 : cost 0 2.301 * * [simplify]: iteration 57 : 1254 enodes (cost 9 ) 2.333 * * [simplify]: Extracting # 0 : cost 0 2.333 * * [simplify]: iteration 58 : 1273 enodes (cost 9 ) 2.375 * * [simplify]: Extracting # 0 : cost 0 2.376 * * [simplify]: iteration 59 : 1292 enodes (cost 9 ) 2.409 * * [simplify]: Extracting # 0 : cost 0 2.409 * * [simplify]: iteration 60 : 1311 enodes (cost 9 ) 2.454 * * [simplify]: Extracting # 0 : cost 0 2.454 * * [simplify]: iteration 61 : 1330 enodes (cost 9 ) 2.489 * * [simplify]: Extracting # 0 : cost 0 2.489 * * [simplify]: iteration 62 : 1349 enodes (cost 9 ) 2.548 * * [simplify]: Extracting # 0 : cost 0 2.548 * * [simplify]: iteration 63 : 1368 enodes (cost 9 ) 2.578 * * [simplify]: Extracting # 0 : cost 0 2.579 * * [simplify]: iteration 64 : 1387 enodes (cost 9 ) 2.616 * * [simplify]: Extracting # 0 : cost 0 2.616 * * [simplify]: iteration 65 : 1406 enodes (cost 9 ) 2.663 * * [simplify]: Extracting # 0 : cost 0 2.663 * * [simplify]: iteration 66 : 1425 enodes (cost 9 ) 2.708 * * [simplify]: Extracting # 0 : cost 0 2.711 * * [simplify]: iteration 67 : 1444 enodes (cost 9 ) 2.747 * * [simplify]: Extracting # 0 : cost 0 2.747 * * [simplify]: iteration 68 : 1463 enodes (cost 9 ) 2.791 * * [simplify]: Extracting # 0 : cost 0 2.791 * * [simplify]: iteration 69 : 1482 enodes (cost 9 ) 2.828 * * [simplify]: Extracting # 0 : cost 0 2.828 * * [simplify]: iteration 70 : 1501 enodes (cost 9 ) 2.858 * * [simplify]: Extracting # 0 : cost 0 2.858 * * [simplify]: iteration 71 : 1520 enodes (cost 9 ) 2.891 * * [simplify]: Extracting # 0 : cost 0 2.892 * * [simplify]: iteration 72 : 1539 enodes (cost 9 ) 2.943 * * [simplify]: Extracting # 0 : cost 0 2.943 * * [simplify]: iteration 73 : 1558 enodes (cost 9 ) 2.977 * * [simplify]: Extracting # 0 : cost 0 2.977 * * [simplify]: iteration 74 : 1577 enodes (cost 9 ) 3.007 * * [simplify]: Extracting # 0 : cost 0 3.008 * * [simplify]: iteration 75 : 1596 enodes (cost 9 ) 3.043 * * [simplify]: Extracting # 0 : cost 0 3.043 * * [simplify]: iteration 76 : 1615 enodes (cost 9 ) 3.074 * * [simplify]: Extracting # 0 : cost 0 3.075 * * [simplify]: iteration 77 : 1634 enodes (cost 9 ) 3.110 * * [simplify]: Extracting # 0 : cost 0 3.111 * * [simplify]: iteration 78 : 1653 enodes (cost 9 ) 3.157 * * [simplify]: Extracting # 0 : cost 0 3.157 * * [simplify]: iteration 79 : 1672 enodes (cost 9 ) 3.210 * * [simplify]: Extracting # 0 : cost 0 3.211 * * [simplify]: iteration 80 : 1691 enodes (cost 9 ) 3.244 * * [simplify]: Extracting # 0 : cost 0 3.244 * * [simplify]: iteration 81 : 1710 enodes (cost 9 ) 3.277 * * [simplify]: Extracting # 0 : cost 0 3.277 * * [simplify]: iteration 82 : 1729 enodes (cost 9 ) 3.310 * * [simplify]: Extracting # 0 : cost 0 3.310 * * [simplify]: iteration 83 : 1748 enodes (cost 9 ) 3.344 * * [simplify]: Extracting # 0 : cost 0 3.345 * * [simplify]: iteration 84 : 1767 enodes (cost 9 ) 3.377 * * [simplify]: Extracting # 0 : cost 0 3.378 * * [simplify]: iteration 85 : 1786 enodes (cost 9 ) 3.410 * * [simplify]: Extracting # 0 : cost 0 3.410 * * [simplify]: iteration 86 : 1805 enodes (cost 9 ) 3.445 * * [simplify]: Extracting # 0 : cost 0 3.445 * * [simplify]: iteration 87 : 1824 enodes (cost 9 ) 3.482 * * [simplify]: Extracting # 0 : cost 0 3.482 * * [simplify]: iteration 88 : 1843 enodes (cost 9 ) 3.516 * * [simplify]: Extracting # 0 : cost 0 3.516 * * [simplify]: iteration 89 : 1862 enodes (cost 9 ) 3.552 * * [simplify]: Extracting # 0 : cost 0 3.553 * * [simplify]: iteration 90 : 1881 enodes (cost 9 ) 3.583 * * [simplify]: Extracting # 0 : cost 0 3.584 * * [simplify]: iteration 91 : 1900 enodes (cost 9 ) 3.621 * * [simplify]: Extracting # 0 : cost 0 3.622 * * [simplify]: iteration 92 : 1919 enodes (cost 9 ) 3.659 * * [simplify]: Extracting # 0 : cost 0 3.659 * * [simplify]: iteration 93 : 1938 enodes (cost 9 ) 3.701 * * [simplify]: Extracting # 0 : cost 0 3.702 * * [simplify]: iteration 94 : 1957 enodes (cost 9 ) 3.744 * * [simplify]: Extracting # 0 : cost 0 3.744 * * [simplify]: iteration 95 : 1976 enodes (cost 9 ) 3.787 * * [simplify]: Extracting # 0 : cost 0 3.787 * * [simplify]: iteration 96 : 1995 enodes (cost 9 ) 3.827 * * [simplify]: Extracting # 0 : cost 0 3.827 * * [simplify]: iteration 97 : 2014 enodes (cost 9 ) 3.865 * * [simplify]: Extracting # 0 : cost 0 3.865 * * [simplify]: iteration 98 : 2033 enodes (cost 9 ) 3.901 * * [simplify]: Extracting # 0 : cost 0 3.901 * * [simplify]: iteration 99 : 2052 enodes (cost 9 ) 3.936 * * [simplify]: Extracting # 0 : cost 0 3.936 * * [simplify]: iteration 100 : 2071 enodes (cost 9 ) 3.978 * * [simplify]: Extracting # 0 : cost 0 3.978 * * [simplify]: iteration 101 : 2090 enodes (cost 9 ) 4.016 * * [simplify]: Extracting # 0 : cost 0 4.017 * * [simplify]: iteration 102 : 2109 enodes (cost 9 ) 4.061 * * [simplify]: Extracting # 0 : cost 0 4.062 * * [simplify]: iteration 103 : 2128 enodes (cost 9 ) 4.109 * * [simplify]: Extracting # 0 : cost 0 4.109 * * [simplify]: iteration 104 : 2147 enodes (cost 9 ) 4.157 * * [simplify]: Extracting # 0 : cost 0 4.157 * * [simplify]: iteration 105 : 2166 enodes (cost 9 ) 4.188 * * [simplify]: Extracting # 0 : cost 0 4.190 * * [simplify]: iteration 106 : 2185 enodes (cost 9 ) 4.238 * * [simplify]: Extracting # 0 : cost 0 4.238 * * [simplify]: iteration 107 : 2204 enodes (cost 9 ) 4.280 * * [simplify]: Extracting # 0 : cost 0 4.280 * * [simplify]: iteration 108 : 2223 enodes (cost 9 ) 4.321 * * [simplify]: Extracting # 0 : cost 0 4.321 * * [simplify]: iteration 109 : 2242 enodes (cost 9 ) 4.351 * * [simplify]: Extracting # 0 : cost 0 4.351 * * [simplify]: iteration 110 : 2261 enodes (cost 9 ) 4.386 * * [simplify]: Extracting # 0 : cost 0 4.386 * * [simplify]: iteration 111 : 2280 enodes (cost 9 ) 4.423 * * [simplify]: Extracting # 0 : cost 0 4.424 * * [simplify]: iteration 112 : 2299 enodes (cost 9 ) 4.466 * * [simplify]: Extracting # 0 : cost 0 4.467 * * [simplify]: iteration 113 : 2318 enodes (cost 9 ) 4.499 * * [simplify]: Extracting # 0 : cost 0 4.499 * * [simplify]: iteration 114 : 2337 enodes (cost 9 ) 4.538 * * [simplify]: Extracting # 0 : cost 0 4.538 * * [simplify]: iteration 115 : 2356 enodes (cost 9 ) 4.569 * * [simplify]: Extracting # 0 : cost 0 4.569 * * [simplify]: iteration 116 : 2375 enodes (cost 9 ) 4.618 * * [simplify]: Extracting # 0 : cost 0 4.618 * * [simplify]: iteration 117 : 2394 enodes (cost 9 ) 4.649 * * [simplify]: Extracting # 0 : cost 0 4.649 * * [simplify]: iteration 118 : 2413 enodes (cost 9 ) 4.683 * * [simplify]: Extracting # 0 : cost 0 4.683 * * [simplify]: iteration 119 : 2432 enodes (cost 9 ) 4.719 * * [simplify]: Extracting # 0 : cost 0 4.719 * * [simplify]: iteration 120 : 2451 enodes (cost 9 ) 4.757 * * [simplify]: Extracting # 0 : cost 0 4.757 * * [simplify]: iteration 121 : 2470 enodes (cost 9 ) 4.803 * * [simplify]: Extracting # 0 : cost 0 4.803 * * [simplify]: iteration 122 : 2489 enodes (cost 9 ) 4.841 * * [simplify]: Extracting # 0 : cost 0 4.841 * * [simplify]: iteration 123 : 2508 enodes (cost 9 ) 4.875 * * [simplify]: Extracting # 0 : cost 0 4.875 * * [simplify]: iteration 124 : 2527 enodes (cost 9 ) 4.911 * * [simplify]: Extracting # 0 : cost 0 4.912 * * [simplify]: iteration 125 : 2546 enodes (cost 9 ) 4.944 * * [simplify]: Extracting # 0 : cost 0 4.944 * * [simplify]: iteration 126 : 2565 enodes (cost 9 ) 4.978 * * [simplify]: Extracting # 0 : cost 0 4.978 * * [simplify]: iteration 127 : 2584 enodes (cost 9 ) 5.015 * * [simplify]: Extracting # 0 : cost 0 5.015 * * [simplify]: iteration 128 : 2603 enodes (cost 9 ) 5.067 * * [simplify]: Extracting # 0 : cost 0 5.068 * * [simplify]: iteration 129 : 2622 enodes (cost 9 ) 5.109 * * [simplify]: Extracting # 0 : cost 0 5.109 * * [simplify]: iteration 130 : 2641 enodes (cost 9 ) 5.162 * * [simplify]: Extracting # 0 : cost 0 5.163 * * [simplify]: iteration 131 : 2660 enodes (cost 9 ) 5.206 * * [simplify]: Extracting # 0 : cost 0 5.206 * * [simplify]: iteration 132 : 2679 enodes (cost 9 ) 5.239 * * [simplify]: Extracting # 0 : cost 0 5.240 * * [simplify]: iteration 133 : 2698 enodes (cost 9 ) 5.286 * * [simplify]: Extracting # 0 : cost 0 5.286 * * [simplify]: iteration 134 : 2717 enodes (cost 9 ) 5.337 * * [simplify]: Extracting # 0 : cost 0 5.337 * * [simplify]: iteration 135 : 2736 enodes (cost 9 ) 5.379 * * [simplify]: Extracting # 0 : cost 0 5.380 * * [simplify]: iteration 136 : 2755 enodes (cost 9 ) 5.421 * * [simplify]: Extracting # 0 : cost 0 5.421 * * [simplify]: iteration 137 : 2774 enodes (cost 9 ) 5.468 * * [simplify]: Extracting # 0 : cost 0 5.468 * * [simplify]: iteration 138 : 2793 enodes (cost 9 ) 5.500 * * [simplify]: Extracting # 0 : cost 0 5.500 * * [simplify]: iteration 139 : 2812 enodes (cost 9 ) 5.546 * * [simplify]: Extracting # 0 : cost 0 5.547 * * [simplify]: iteration 140 : 2831 enodes (cost 9 ) 5.580 * * [simplify]: Extracting # 0 : cost 0 5.580 * * [simplify]: iteration 141 : 2850 enodes (cost 9 ) 5.621 * * [simplify]: Extracting # 0 : cost 0 5.621 * * [simplify]: iteration 142 : 2869 enodes (cost 9 ) 5.659 * * [simplify]: Extracting # 0 : cost 0 5.659 * * [simplify]: iteration 143 : 2888 enodes (cost 9 ) 5.698 * * [simplify]: Extracting # 0 : cost 0 5.698 * * [simplify]: iteration 144 : 2907 enodes (cost 9 ) 5.745 * * [simplify]: Extracting # 0 : cost 0 5.748 * * [simplify]: iteration 145 : 2926 enodes (cost 9 ) 5.787 * * [simplify]: Extracting # 0 : cost 0 5.787 * * [simplify]: iteration 146 : 2945 enodes (cost 9 ) 5.825 * * [simplify]: Extracting # 0 : cost 0 5.825 * * [simplify]: iteration 147 : 2964 enodes (cost 9 ) 5.874 * * [simplify]: Extracting # 0 : cost 0 5.874 * * [simplify]: iteration 148 : 2983 enodes (cost 9 ) 5.913 * * [simplify]: Extracting # 0 : cost 0 5.913 * * [simplify]: iteration 149 : 3002 enodes (cost 9 ) 5.958 * * [simplify]: Extracting # 0 : cost 0 5.958 * * [simplify]: iteration 150 : 3021 enodes (cost 9 ) 6.005 * * [simplify]: Extracting # 0 : cost 0 6.005 * * [simplify]: iteration 151 : 3040 enodes (cost 9 ) 6.054 * * [simplify]: Extracting # 0 : cost 0 6.054 * * [simplify]: iteration 152 : 3059 enodes (cost 9 ) 6.096 * * [simplify]: Extracting # 0 : cost 0 6.096 * * [simplify]: iteration 153 : 3078 enodes (cost 9 ) 6.132 * * [simplify]: Extracting # 0 : cost 0 6.133 * * [simplify]: iteration 154 : 3097 enodes (cost 9 ) 6.163 * * [simplify]: Extracting # 0 : cost 0 6.163 * * [simplify]: iteration 155 : 3116 enodes (cost 9 ) 6.199 * * [simplify]: Extracting # 0 : cost 0 6.199 * * [simplify]: iteration 156 : 3135 enodes (cost 9 ) 6.233 * * [simplify]: Extracting # 0 : cost 0 6.234 * * [simplify]: iteration 157 : 3154 enodes (cost 9 ) 6.283 * * [simplify]: Extracting # 0 : cost 0 6.284 * * [simplify]: iteration 158 : 3173 enodes (cost 9 ) 6.326 * * [simplify]: Extracting # 0 : cost 0 6.326 * * [simplify]: iteration 159 : 3192 enodes (cost 9 ) 6.359 * * [simplify]: Extracting # 0 : cost 0 6.359 * * [simplify]: iteration 160 : 3211 enodes (cost 9 ) 6.398 * * [simplify]: Extracting # 0 : cost 0 6.398 * * [simplify]: iteration 161 : 3230 enodes (cost 9 ) 6.433 * * [simplify]: Extracting # 0 : cost 0 6.433 * * [simplify]: iteration 162 : 3249 enodes (cost 9 ) 6.470 * * [simplify]: Extracting # 0 : cost 0 6.471 * * [simplify]: iteration 163 : 3268 enodes (cost 9 ) 6.516 * * [simplify]: Extracting # 0 : cost 0 6.516 * * [simplify]: iteration 164 : 3287 enodes (cost 9 ) 6.555 * * [simplify]: Extracting # 0 : cost 0 6.555 * * [simplify]: iteration 165 : 3306 enodes (cost 9 ) 6.603 * * [simplify]: Extracting # 0 : cost 0 6.603 * * [simplify]: iteration 166 : 3325 enodes (cost 9 ) 6.650 * * [simplify]: Extracting # 0 : cost 0 6.650 * * [simplify]: iteration 167 : 3344 enodes (cost 9 ) 6.700 * * [simplify]: Extracting # 0 : cost 0 6.700 * * [simplify]: iteration 168 : 3363 enodes (cost 9 ) 6.742 * * [simplify]: Extracting # 0 : cost 0 6.742 * * [simplify]: iteration 169 : 3382 enodes (cost 9 ) 6.782 * * [simplify]: Extracting # 0 : cost 0 6.783 * * [simplify]: iteration 170 : 3401 enodes (cost 9 ) 6.825 * * [simplify]: Extracting # 0 : cost 0 6.826 * * [simplify]: iteration 171 : 3420 enodes (cost 9 ) 6.875 * * [simplify]: Extracting # 0 : cost 0 6.875 * * [simplify]: iteration 172 : 3439 enodes (cost 9 ) 6.922 * * [simplify]: Extracting # 0 : cost 0 6.923 * * [simplify]: iteration 173 : 3458 enodes (cost 9 ) 6.970 * * [simplify]: Extracting # 0 : cost 0 6.970 * * [simplify]: iteration 174 : 3477 enodes (cost 9 ) 7.000 * * [simplify]: Extracting # 0 : cost 0 7.001 * * [simplify]: iteration 175 : 3496 enodes (cost 9 ) 7.038 * * [simplify]: Extracting # 0 : cost 0 7.039 * * [simplify]: iteration 176 : 3515 enodes (cost 9 ) 7.087 * * [simplify]: Extracting # 0 : cost 0 7.087 * * [simplify]: iteration 177 : 3534 enodes (cost 9 ) 7.144 * * [simplify]: Extracting # 0 : cost 0 7.145 * * [simplify]: iteration 178 : 3553 enodes (cost 9 ) 7.202 * * [simplify]: Extracting # 0 : cost 0 7.202 * * [simplify]: iteration 179 : 3572 enodes (cost 9 ) 7.260 * * [simplify]: Extracting # 0 : cost 0 7.261 * * [simplify]: iteration 180 : 3591 enodes (cost 9 ) 7.310 * * [simplify]: Extracting # 0 : cost 0 7.311 * * [simplify]: iteration 181 : 3610 enodes (cost 9 ) 7.354 * * [simplify]: Extracting # 0 : cost 0 7.354 * * [simplify]: iteration 182 : 3629 enodes (cost 9 ) 7.390 * * [simplify]: Extracting # 0 : cost 0 7.390 * * [simplify]: iteration 183 : 3648 enodes (cost 9 ) 7.431 * * [simplify]: Extracting # 0 : cost 0 7.431 * * [simplify]: iteration 184 : 3667 enodes (cost 9 ) 7.484 * * [simplify]: Extracting # 0 : cost 0 7.484 * * [simplify]: iteration 185 : 3686 enodes (cost 9 ) 7.533 * * [simplify]: Extracting # 0 : cost 0 7.533 * * [simplify]: iteration 186 : 3705 enodes (cost 9 ) 7.577 * * [simplify]: Extracting # 0 : cost 0 7.577 * * [simplify]: iteration 187 : 3724 enodes (cost 9 ) 7.626 * * [simplify]: Extracting # 0 : cost 0 7.626 * * [simplify]: iteration 188 : 3743 enodes (cost 9 ) 7.679 * * [simplify]: Extracting # 0 : cost 0 7.680 * * [simplify]: iteration 189 : 3762 enodes (cost 9 ) 7.728 * * [simplify]: Extracting # 0 : cost 0 7.728 * * [simplify]: iteration 190 : 3781 enodes (cost 9 ) 7.766 * * [simplify]: Extracting # 0 : cost 0 7.766 * * [simplify]: iteration 191 : 3800 enodes (cost 9 ) 7.798 * * [simplify]: Extracting # 0 : cost 0 7.798 * * [simplify]: iteration 192 : 3819 enodes (cost 9 ) 7.832 * * [simplify]: Extracting # 0 : cost 0 7.832 * * [simplify]: iteration 193 : 3838 enodes (cost 9 ) 7.866 * * [simplify]: Extracting # 0 : cost 0 7.866 * * [simplify]: iteration 194 : 3857 enodes (cost 9 ) 7.908 * * [simplify]: Extracting # 0 : cost 0 7.909 * * [simplify]: iteration 195 : 3876 enodes (cost 9 ) 7.939 * * [simplify]: Extracting # 0 : cost 0 7.940 * * [simplify]: iteration 196 : 3895 enodes (cost 9 ) 7.991 * * [simplify]: Extracting # 0 : cost 0 7.991 * * [simplify]: iteration 197 : 3914 enodes (cost 9 ) 8.041 * * [simplify]: Extracting # 0 : cost 0 8.041 * * [simplify]: iteration 198 : 3933 enodes (cost 9 ) 8.079 * * [simplify]: Extracting # 0 : cost 0 8.079 * * [simplify]: iteration 199 : 3952 enodes (cost 9 ) 8.119 * * [simplify]: Extracting # 0 : cost 0 8.120 * * [simplify]: iteration 200 : 3971 enodes (cost 9 ) 8.169 * * [simplify]: Extracting # 0 : cost 0 8.169 * * [simplify]: iteration 201 : 3990 enodes (cost 9 ) 8.214 * * [simplify]: Extracting # 0 : cost 0 8.215 * * [simplify]: iteration 202 : 4009 enodes (cost 9 ) 8.253 * * [simplify]: Extracting # 0 : cost 0 8.254 * * [simplify]: iteration 203 : 4028 enodes (cost 9 ) 8.284 * * [simplify]: Extracting # 0 : cost 0 8.284 * * [simplify]: iteration 204 : 4047 enodes (cost 9 ) 8.324 * * [simplify]: Extracting # 0 : cost 0 8.324 * * [simplify]: iteration 205 : 4066 enodes (cost 9 ) 8.365 * * [simplify]: Extracting # 0 : cost 0 8.365 * * [simplify]: iteration 206 : 4085 enodes (cost 9 ) 8.401 * * [simplify]: Extracting # 0 : cost 0 8.401 * * [simplify]: iteration 207 : 4104 enodes (cost 9 ) 8.445 * * [simplify]: Extracting # 0 : cost 0 8.445 * * [simplify]: iteration 208 : 4123 enodes (cost 9 ) 8.495 * * [simplify]: Extracting # 0 : cost 0 8.495 * * [simplify]: iteration 209 : 4142 enodes (cost 9 ) 8.540 * * [simplify]: Extracting # 0 : cost 0 8.540 * * [simplify]: iteration 210 : 4161 enodes (cost 9 ) 8.589 * * [simplify]: Extracting # 0 : cost 0 8.589 * * [simplify]: iteration 211 : 4180 enodes (cost 9 ) 8.635 * * [simplify]: Extracting # 0 : cost 0 8.636 * * [simplify]: iteration 212 : 4199 enodes (cost 9 ) 8.682 * * [simplify]: Extracting # 0 : cost 0 8.682 * * [simplify]: iteration 213 : 4218 enodes (cost 9 ) 8.724 * * [simplify]: Extracting # 0 : cost 0 8.724 * * [simplify]: iteration 214 : 4237 enodes (cost 9 ) 8.769 * * [simplify]: Extracting # 0 : cost 0 8.769 * * [simplify]: iteration 215 : 4256 enodes (cost 9 ) 8.812 * * [simplify]: Extracting # 0 : cost 0 8.812 * * [simplify]: iteration 216 : 4275 enodes (cost 9 ) 8.859 * * [simplify]: Extracting # 0 : cost 0 8.860 * * [simplify]: iteration 217 : 4294 enodes (cost 9 ) 8.905 * * [simplify]: Extracting # 0 : cost 0 8.906 * * [simplify]: iteration 218 : 4313 enodes (cost 9 ) 8.950 * * [simplify]: Extracting # 0 : cost 0 8.950 * * [simplify]: iteration 219 : 4332 enodes (cost 9 ) 8.993 * * [simplify]: Extracting # 0 : cost 0 8.993 * * [simplify]: iteration 220 : 4351 enodes (cost 9 ) 9.042 * * [simplify]: Extracting # 0 : cost 0 9.043 * * [simplify]: iteration 221 : 4370 enodes (cost 9 ) 9.083 * * [simplify]: Extracting # 0 : cost 0 9.083 * * [simplify]: iteration 222 : 4389 enodes (cost 9 ) 9.124 * * [simplify]: Extracting # 0 : cost 0 9.124 * * [simplify]: iteration 223 : 4408 enodes (cost 9 ) 9.156 * * [simplify]: Extracting # 0 : cost 0 9.156 * * [simplify]: iteration 224 : 4427 enodes (cost 9 ) 9.202 * * [simplify]: Extracting # 0 : cost 0 9.202 * * [simplify]: iteration 225 : 4446 enodes (cost 9 ) 9.255 * * [simplify]: Extracting # 0 : cost 0 9.255 * * [simplify]: iteration 226 : 4465 enodes (cost 9 ) 9.294 * * [simplify]: Extracting # 0 : cost 0 9.294 * * [simplify]: iteration 227 : 4484 enodes (cost 9 ) 9.336 * * [simplify]: Extracting # 0 : cost 0 9.336 * * [simplify]: iteration 228 : 4503 enodes (cost 9 ) 9.387 * * [simplify]: Extracting # 0 : cost 0 9.387 * * [simplify]: iteration 229 : 4522 enodes (cost 9 ) 9.443 * * [simplify]: Extracting # 0 : cost 0 9.443 * * [simplify]: iteration 230 : 4541 enodes (cost 9 ) 9.477 * * [simplify]: Extracting # 0 : cost 0 9.477 * * [simplify]: iteration 231 : 4560 enodes (cost 9 ) 9.525 * * [simplify]: Extracting # 0 : cost 0 9.525 * * [simplify]: iteration 232 : 4579 enodes (cost 9 ) 9.558 * * [simplify]: Extracting # 0 : cost 0 9.558 * * [simplify]: iteration 233 : 4598 enodes (cost 9 ) 9.623 * * [simplify]: Extracting # 0 : cost 0 9.623 * * [simplify]: iteration 234 : 4617 enodes (cost 9 ) 9.686 * * [simplify]: Extracting # 0 : cost 0 9.687 * * [simplify]: iteration 235 : 4636 enodes (cost 9 ) 9.754 * * [simplify]: Extracting # 0 : cost 0 9.755 * * [simplify]: iteration 236 : 4655 enodes (cost 9 ) 9.808 * * [simplify]: Extracting # 0 : cost 0 9.808 * * [simplify]: iteration 237 : 4674 enodes (cost 9 ) 9.855 * * [simplify]: Extracting # 0 : cost 0 9.855 * * [simplify]: iteration 238 : 4693 enodes (cost 9 ) 9.900 * * [simplify]: Extracting # 0 : cost 0 9.901 * * [simplify]: iteration 239 : 4712 enodes (cost 9 ) 9.954 * * [simplify]: Extracting # 0 : cost 0 9.955 * * [simplify]: iteration 240 : 4731 enodes (cost 9 ) 10.000 * * [simplify]: Extracting # 0 : cost 0 10.000 * * [simplify]: iteration 241 : 4750 enodes (cost 9 ) 10.050 * * [simplify]: Extracting # 0 : cost 0 10.050 * * [simplify]: iteration 242 : 4769 enodes (cost 9 ) 10.113 * * [simplify]: Extracting # 0 : cost 0 10.114 * * [simplify]: iteration 243 : 4788 enodes (cost 9 ) 10.161 * * [simplify]: Extracting # 0 : cost 0 10.162 * * [simplify]: iteration 244 : 4807 enodes (cost 9 ) 10.220 * * [simplify]: Extracting # 0 : cost 0 10.220 * * [simplify]: iteration 245 : 4826 enodes (cost 9 ) 10.263 * * [simplify]: Extracting # 0 : cost 0 10.264 * * [simplify]: iteration 246 : 4845 enodes (cost 9 ) 10.308 * * [simplify]: Extracting # 0 : cost 0 10.308 * * [simplify]: iteration 247 : 4864 enodes (cost 9 ) 10.365 * * [simplify]: Extracting # 0 : cost 0 10.365 * * [simplify]: iteration 248 : 4883 enodes (cost 9 ) 10.423 * * [simplify]: Extracting # 0 : cost 0 10.423 * * [simplify]: iteration 249 : 4902 enodes (cost 9 ) 10.475 * * [simplify]: Extracting # 0 : cost 0 10.475 * * [simplify]: iteration 250 : 4921 enodes (cost 9 ) 10.525 * * [simplify]: Extracting # 0 : cost 0 10.525 * * [simplify]: iteration 251 : 4940 enodes (cost 9 ) 10.565 * * [simplify]: Extracting # 0 : cost 0 10.566 * * [simplify]: iteration 252 : 4959 enodes (cost 9 ) 10.617 * * [simplify]: Extracting # 0 : cost 0 10.617 * * [simplify]: iteration 253 : 4978 enodes (cost 9 ) 10.675 * * [simplify]: Extracting # 0 : cost 0 10.675 * * [simplify]: iteration 254 : 4997 enodes (cost 9 ) 10.697 * * [simplify]: Extracting # 0 : cost 0 10.697 * * [simplify]: Extracting # 1 : cost 0 10.697 * * [simplify]: Extracting # 2 : cost 0 10.698 * * [simplify]: iteration done: 5000 enodes (cost 9 ) 10.698 * [simplify]: Simplified to: (/ (- x y) (* (* x 2.0) y)) 10.698 * * [progress]: iteration 1 / 4 10.698 * * * [progress]: picking best candidate 10.700 * * * * [pick]: Picked # 10.700 * * * [progress]: localizing error 10.713 * * * [progress]: generating rewritten candidates 10.713 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 10.764 * * * [progress]: generating series expansions 10.764 * * * * [progress]: [ 1 / 1 ] generating series at (2) 10.765 * [backup-simplify]: Simplify (/ (- x y) (* (* x 2.0) y)) into (* 0.5 (/ (- x y) (* x y))) 10.765 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0 10.765 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y 10.765 * [taylor]: Taking taylor expansion of 0.5 in y 10.765 * [backup-simplify]: Simplify 0.5 into 0.5 10.765 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y 10.765 * [taylor]: Taking taylor expansion of (- x y) in y 10.765 * [taylor]: Taking taylor expansion of x in y 10.765 * [backup-simplify]: Simplify x into x 10.765 * [taylor]: Taking taylor expansion of y in y 10.765 * [backup-simplify]: Simplify 0 into 0 10.765 * [backup-simplify]: Simplify 1 into 1 10.765 * [taylor]: Taking taylor expansion of (* x y) in y 10.765 * [taylor]: Taking taylor expansion of x in y 10.765 * [backup-simplify]: Simplify x into x 10.765 * [taylor]: Taking taylor expansion of y in y 10.765 * [backup-simplify]: Simplify 0 into 0 10.765 * [backup-simplify]: Simplify 1 into 1 10.765 * [backup-simplify]: Simplify (- 0) into 0 10.765 * [backup-simplify]: Simplify (+ x 0) into x 10.765 * [backup-simplify]: Simplify (* x 0) into 0 10.766 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 10.766 * [backup-simplify]: Simplify (/ x x) into 1 10.766 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 10.766 * [taylor]: Taking taylor expansion of 0.5 in x 10.766 * [backup-simplify]: Simplify 0.5 into 0.5 10.766 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 10.766 * [taylor]: Taking taylor expansion of (- x y) in x 10.766 * [taylor]: Taking taylor expansion of x in x 10.766 * [backup-simplify]: Simplify 0 into 0 10.766 * [backup-simplify]: Simplify 1 into 1 10.766 * [taylor]: Taking taylor expansion of y in x 10.766 * [backup-simplify]: Simplify y into y 10.766 * [taylor]: Taking taylor expansion of (* x y) in x 10.766 * [taylor]: Taking taylor expansion of x in x 10.766 * [backup-simplify]: Simplify 0 into 0 10.766 * [backup-simplify]: Simplify 1 into 1 10.766 * [taylor]: Taking taylor expansion of y in x 10.766 * [backup-simplify]: Simplify y into y 10.766 * [backup-simplify]: Simplify (- y) into (- y) 10.766 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 10.766 * [backup-simplify]: Simplify (* 0 y) into 0 10.766 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.767 * [backup-simplify]: Simplify (/ (- y) y) into -1 10.767 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 10.767 * [taylor]: Taking taylor expansion of 0.5 in x 10.767 * [backup-simplify]: Simplify 0.5 into 0.5 10.767 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 10.767 * [taylor]: Taking taylor expansion of (- x y) in x 10.767 * [taylor]: Taking taylor expansion of x in x 10.767 * [backup-simplify]: Simplify 0 into 0 10.767 * [backup-simplify]: Simplify 1 into 1 10.767 * [taylor]: Taking taylor expansion of y in x 10.767 * [backup-simplify]: Simplify y into y 10.767 * [taylor]: Taking taylor expansion of (* x y) in x 10.767 * [taylor]: Taking taylor expansion of x in x 10.767 * [backup-simplify]: Simplify 0 into 0 10.767 * [backup-simplify]: Simplify 1 into 1 10.767 * [taylor]: Taking taylor expansion of y in x 10.767 * [backup-simplify]: Simplify y into y 10.767 * [backup-simplify]: Simplify (- y) into (- y) 10.767 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 10.767 * [backup-simplify]: Simplify (* 0 y) into 0 10.767 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.767 * [backup-simplify]: Simplify (/ (- y) y) into -1 10.768 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5 10.768 * [taylor]: Taking taylor expansion of -0.5 in y 10.768 * [backup-simplify]: Simplify -0.5 into -0.5 10.768 * [backup-simplify]: Simplify (- 0) into 0 10.768 * [backup-simplify]: Simplify (+ 1 0) into 1 10.769 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.769 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y) 10.769 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y)) 10.769 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 10.769 * [taylor]: Taking taylor expansion of 0.5 in y 10.769 * [backup-simplify]: Simplify 0.5 into 0.5 10.769 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.769 * [taylor]: Taking taylor expansion of y in y 10.769 * [backup-simplify]: Simplify 0 into 0 10.769 * [backup-simplify]: Simplify 1 into 1 10.769 * [backup-simplify]: Simplify (/ 1 1) into 1 10.770 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 10.770 * [backup-simplify]: Simplify 0.5 into 0.5 10.770 * [backup-simplify]: Simplify -0.5 into -0.5 10.770 * [backup-simplify]: Simplify (- 0) into 0 10.770 * [backup-simplify]: Simplify (+ 0 0) into 0 10.771 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.771 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 10.772 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 10.772 * [taylor]: Taking taylor expansion of 0 in y 10.772 * [backup-simplify]: Simplify 0 into 0 10.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.773 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 10.773 * [backup-simplify]: Simplify 0 into 0 10.773 * [backup-simplify]: Simplify 0 into 0 10.773 * [backup-simplify]: Simplify (- 0) into 0 10.773 * [backup-simplify]: Simplify (+ 0 0) into 0 10.774 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.774 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.775 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 10.775 * [taylor]: Taking taylor expansion of 0 in y 10.775 * [backup-simplify]: Simplify 0 into 0 10.775 * [backup-simplify]: Simplify 0 into 0 10.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.777 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 10.777 * [backup-simplify]: Simplify 0 into 0 10.777 * [backup-simplify]: Simplify 0 into 0 10.777 * [backup-simplify]: Simplify (- 0) into 0 10.777 * [backup-simplify]: Simplify (+ 0 0) into 0 10.778 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 10.779 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.780 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 10.780 * [taylor]: Taking taylor expansion of 0 in y 10.780 * [backup-simplify]: Simplify 0 into 0 10.780 * [backup-simplify]: Simplify 0 into 0 10.780 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 10.780 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (* (* (/ 1 x) 2.0) (/ 1 y))) into (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) 10.780 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in (x y) around 0 10.780 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in y 10.780 * [taylor]: Taking taylor expansion of 0.5 in y 10.780 * [backup-simplify]: Simplify 0.5 into 0.5 10.780 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in y 10.780 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 10.780 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.780 * [taylor]: Taking taylor expansion of x in y 10.780 * [backup-simplify]: Simplify x into x 10.780 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.780 * [taylor]: Taking taylor expansion of y in y 10.780 * [backup-simplify]: Simplify 0 into 0 10.780 * [backup-simplify]: Simplify 1 into 1 10.780 * [backup-simplify]: Simplify (/ 1 1) into 1 10.781 * [taylor]: Taking taylor expansion of (* x y) in y 10.781 * [taylor]: Taking taylor expansion of x in y 10.781 * [backup-simplify]: Simplify x into x 10.781 * [taylor]: Taking taylor expansion of y in y 10.781 * [backup-simplify]: Simplify 0 into 0 10.781 * [backup-simplify]: Simplify 1 into 1 10.781 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x 10.781 * [taylor]: Taking taylor expansion of 0.5 in x 10.781 * [backup-simplify]: Simplify 0.5 into 0.5 10.781 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x 10.781 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 10.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.781 * [taylor]: Taking taylor expansion of x in x 10.781 * [backup-simplify]: Simplify 0 into 0 10.781 * [backup-simplify]: Simplify 1 into 1 10.781 * [backup-simplify]: Simplify (/ 1 1) into 1 10.781 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.781 * [taylor]: Taking taylor expansion of y in x 10.781 * [backup-simplify]: Simplify y into y 10.781 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.781 * [taylor]: Taking taylor expansion of (* x y) in x 10.781 * [taylor]: Taking taylor expansion of x in x 10.781 * [backup-simplify]: Simplify 0 into 0 10.781 * [backup-simplify]: Simplify 1 into 1 10.781 * [taylor]: Taking taylor expansion of y in x 10.781 * [backup-simplify]: Simplify y into y 10.781 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x 10.781 * [taylor]: Taking taylor expansion of 0.5 in x 10.781 * [backup-simplify]: Simplify 0.5 into 0.5 10.781 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x 10.781 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 10.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.781 * [taylor]: Taking taylor expansion of x in x 10.781 * [backup-simplify]: Simplify 0 into 0 10.781 * [backup-simplify]: Simplify 1 into 1 10.782 * [backup-simplify]: Simplify (/ 1 1) into 1 10.782 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.782 * [taylor]: Taking taylor expansion of y in x 10.782 * [backup-simplify]: Simplify y into y 10.782 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.782 * [taylor]: Taking taylor expansion of (* x y) in x 10.782 * [taylor]: Taking taylor expansion of x in x 10.782 * [backup-simplify]: Simplify 0 into 0 10.782 * [backup-simplify]: Simplify 1 into 1 10.782 * [taylor]: Taking taylor expansion of y in x 10.782 * [backup-simplify]: Simplify y into y 10.782 * [backup-simplify]: Simplify (+ 1 0) into 1 10.782 * [backup-simplify]: Simplify (* 0 y) into 0 10.782 * [backup-simplify]: Simplify (* 1 0) into 0 10.783 * [backup-simplify]: Simplify (* 0.5 0) into 0 10.783 * [taylor]: Taking taylor expansion of 0 in y 10.783 * [backup-simplify]: Simplify 0 into 0 10.783 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 10.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.783 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 10.784 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 10.784 * [backup-simplify]: Simplify (+ (* 1 y) (* (- (/ 1 y)) 0)) into y 10.784 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y) 10.784 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 10.784 * [taylor]: Taking taylor expansion of 0.5 in y 10.784 * [backup-simplify]: Simplify 0.5 into 0.5 10.784 * [taylor]: Taking taylor expansion of y in y 10.784 * [backup-simplify]: Simplify 0 into 0 10.784 * [backup-simplify]: Simplify 1 into 1 10.784 * [backup-simplify]: Simplify 0 into 0 10.785 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 10.785 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.785 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.785 * [backup-simplify]: Simplify (- 0) into 0 10.786 * [backup-simplify]: Simplify (+ 0 0) into 0 10.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) y) (* 0 0))) into (- 1) 10.787 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5) 10.787 * [taylor]: Taking taylor expansion of (- 0.5) in y 10.787 * [taylor]: Taking taylor expansion of 0.5 in y 10.787 * [backup-simplify]: Simplify 0.5 into 0.5 10.787 * [backup-simplify]: Simplify (* 0.5 0) into 0 10.787 * [backup-simplify]: Simplify 0 into 0 10.787 * [backup-simplify]: Simplify 0 into 0 10.788 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 10.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.789 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.789 * [backup-simplify]: Simplify (- 0) into 0 10.789 * [backup-simplify]: Simplify (+ 0 0) into 0 10.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 y) (* 0 0)))) into 0 10.791 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0 10.791 * [taylor]: Taking taylor expansion of 0 in y 10.791 * [backup-simplify]: Simplify 0 into 0 10.791 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.791 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.792 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 10.792 * [backup-simplify]: Simplify 0.5 into 0.5 10.792 * [backup-simplify]: Simplify 0 into 0 10.794 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 10.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.795 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.795 * [backup-simplify]: Simplify (- 0) into 0 10.796 * [backup-simplify]: Simplify (+ 0 0) into 0 10.797 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 10.799 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0 10.799 * [taylor]: Taking taylor expansion of 0 in y 10.799 * [backup-simplify]: Simplify 0 into 0 10.799 * [backup-simplify]: Simplify 0 into 0 10.799 * [backup-simplify]: Simplify (- 0) into 0 10.799 * [backup-simplify]: Simplify 0 into 0 10.800 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 10.800 * [backup-simplify]: Simplify 0 into 0 10.800 * [backup-simplify]: Simplify 0 into 0 10.802 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 10.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.804 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.804 * [backup-simplify]: Simplify (- 0) into 0 10.805 * [backup-simplify]: Simplify (+ 0 0) into 0 10.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 10.808 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0 10.809 * [taylor]: Taking taylor expansion of 0 in y 10.809 * [backup-simplify]: Simplify 0 into 0 10.809 * [backup-simplify]: Simplify 0 into 0 10.809 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 10.810 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (* (* (/ 1 (- x)) 2.0) (/ 1 (- y)))) into (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) 10.810 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in (x y) around 0 10.810 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in y 10.810 * [taylor]: Taking taylor expansion of 0.5 in y 10.810 * [backup-simplify]: Simplify 0.5 into 0.5 10.810 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in y 10.810 * [taylor]: Taking taylor expansion of x in y 10.810 * [backup-simplify]: Simplify x into x 10.810 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y 10.810 * [taylor]: Taking taylor expansion of y in y 10.810 * [backup-simplify]: Simplify 0 into 0 10.810 * [backup-simplify]: Simplify 1 into 1 10.810 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 10.810 * [taylor]: Taking taylor expansion of (/ 1 y) in y 10.810 * [taylor]: Taking taylor expansion of y in y 10.810 * [backup-simplify]: Simplify 0 into 0 10.810 * [backup-simplify]: Simplify 1 into 1 10.810 * [backup-simplify]: Simplify (/ 1 1) into 1 10.810 * [taylor]: Taking taylor expansion of (/ 1 x) in y 10.811 * [taylor]: Taking taylor expansion of x in y 10.811 * [backup-simplify]: Simplify x into x 10.811 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 10.811 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x 10.811 * [taylor]: Taking taylor expansion of 0.5 in x 10.811 * [backup-simplify]: Simplify 0.5 into 0.5 10.811 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x 10.811 * [taylor]: Taking taylor expansion of x in x 10.811 * [backup-simplify]: Simplify 0 into 0 10.811 * [backup-simplify]: Simplify 1 into 1 10.811 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x 10.811 * [taylor]: Taking taylor expansion of y in x 10.811 * [backup-simplify]: Simplify y into y 10.811 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 10.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.811 * [taylor]: Taking taylor expansion of y in x 10.811 * [backup-simplify]: Simplify y into y 10.811 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.811 * [taylor]: Taking taylor expansion of x in x 10.811 * [backup-simplify]: Simplify 0 into 0 10.811 * [backup-simplify]: Simplify 1 into 1 10.812 * [backup-simplify]: Simplify (/ 1 1) into 1 10.812 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x 10.812 * [taylor]: Taking taylor expansion of 0.5 in x 10.812 * [backup-simplify]: Simplify 0.5 into 0.5 10.812 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x 10.812 * [taylor]: Taking taylor expansion of x in x 10.812 * [backup-simplify]: Simplify 0 into 0 10.812 * [backup-simplify]: Simplify 1 into 1 10.812 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x 10.812 * [taylor]: Taking taylor expansion of y in x 10.812 * [backup-simplify]: Simplify y into y 10.812 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 10.812 * [taylor]: Taking taylor expansion of (/ 1 y) in x 10.812 * [taylor]: Taking taylor expansion of y in x 10.812 * [backup-simplify]: Simplify y into y 10.812 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 10.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x 10.812 * [taylor]: Taking taylor expansion of x in x 10.812 * [backup-simplify]: Simplify 0 into 0 10.812 * [backup-simplify]: Simplify 1 into 1 10.812 * [backup-simplify]: Simplify (/ 1 1) into 1 10.813 * [backup-simplify]: Simplify (- 1) into -1 10.813 * [backup-simplify]: Simplify (+ 0 -1) into -1 10.813 * [backup-simplify]: Simplify (* y -1) into (* -1 y) 10.813 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0 10.814 * [backup-simplify]: Simplify (* 0.5 0) into 0 10.814 * [taylor]: Taking taylor expansion of 0 in y 10.814 * [backup-simplify]: Simplify 0 into 0 10.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.815 * [backup-simplify]: Simplify (- 0) into 0 10.815 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 10.816 * [backup-simplify]: Simplify (+ (* y (/ 1 y)) (* 0 -1)) into 1 10.816 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y) 10.817 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y)) 10.817 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 10.817 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 10.817 * [taylor]: Taking taylor expansion of 0.5 in y 10.817 * [backup-simplify]: Simplify 0.5 into 0.5 10.817 * [taylor]: Taking taylor expansion of y in y 10.817 * [backup-simplify]: Simplify 0 into 0 10.817 * [backup-simplify]: Simplify 1 into 1 10.817 * [backup-simplify]: Simplify 0 into 0 10.817 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 10.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.818 * [backup-simplify]: Simplify (- 0) into 0 10.819 * [backup-simplify]: Simplify (+ 0 0) into 0 10.819 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 10.820 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1 10.821 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5 10.821 * [taylor]: Taking taylor expansion of 0.5 in y 10.821 * [backup-simplify]: Simplify 0.5 into 0.5 10.821 * [backup-simplify]: Simplify (* 0.5 0) into 0 10.822 * [backup-simplify]: Simplify (- 0) into 0 10.822 * [backup-simplify]: Simplify 0 into 0 10.822 * [backup-simplify]: Simplify 0 into 0 10.822 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.823 * [backup-simplify]: Simplify (- 0) into 0 10.823 * [backup-simplify]: Simplify (+ 0 0) into 0 10.824 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 10.826 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0 10.827 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 10.827 * [taylor]: Taking taylor expansion of 0 in y 10.827 * [backup-simplify]: Simplify 0 into 0 10.827 * [backup-simplify]: Simplify 0.5 into 0.5 10.829 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 10.829 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.830 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 10.830 * [backup-simplify]: Simplify 0 into 0 10.830 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.831 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.831 * [backup-simplify]: Simplify (- 0) into 0 10.832 * [backup-simplify]: Simplify (+ 0 0) into 0 10.833 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 10.834 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0 10.836 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 10.836 * [taylor]: Taking taylor expansion of 0 in y 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify 0 into 0 10.836 * [backup-simplify]: Simplify 0 into 0 10.837 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 10.838 * [backup-simplify]: Simplify (- 0) into 0 10.838 * [backup-simplify]: Simplify 0 into 0 10.838 * [backup-simplify]: Simplify 0 into 0 10.838 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 10.839 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.839 * [backup-simplify]: Simplify (- 0) into 0 10.840 * [backup-simplify]: Simplify (+ 0 0) into 0 10.841 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))))) into 0 10.843 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))))) into 0 10.845 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0 10.845 * [taylor]: Taking taylor expansion of 0 in y 10.845 * [backup-simplify]: Simplify 0 into 0 10.845 * [backup-simplify]: Simplify 0 into 0 10.846 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 10.846 * * * [progress]: simplifying candidates 10.847 * [simplify]: Simplifying: (expm1 (/ (- x y) (* (* x 2.0) y))) (log1p (/ (- x y) (* (* x 2.0) y))) (- (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))) 10.849 * * [simplify]: Extracting # 0 : cost 0 10.849 * * [simplify]: Extracting # 1 : cost 0 10.849 * * [simplify]: Extracting # 2 : cost 0 10.849 * * [simplify]: Extracting # 3 : cost 0 10.850 * * [simplify]: Extracting # 4 : cost 0 10.850 * * [simplify]: Extracting # 5 : cost 0 10.850 * * [simplify]: Extracting # 6 : cost 0 10.850 * * [simplify]: Extracting # 7 : cost 0 10.850 * * [simplify]: iteration 0 : 84 enodes (cost 467 ) 10.892 * * [simplify]: Extracting # 0 : cost 0 10.892 * * [simplify]: Extracting # 1 : cost 0 10.893 * * [simplify]: Extracting # 2 : cost 0 10.894 * * [simplify]: Extracting # 3 : cost 0 10.894 * * [simplify]: iteration 1 : 239 enodes (cost 452 ) 10.999 * * [simplify]: Extracting # 0 : cost 0 11.002 * * [simplify]: Extracting # 1 : cost 0 11.005 * * [simplify]: Extracting # 2 : cost 0 11.007 * * [simplify]: Extracting # 3 : cost 0 11.009 * * [simplify]: Extracting # 4 : cost 0 11.011 * * [simplify]: Extracting # 5 : cost 0 11.013 * * [simplify]: iteration 2 : 989 enodes (cost 372 ) 11.746 * * [simplify]: Extracting # 0 : cost 0 11.758 * * [simplify]: Extracting # 1 : cost 0 11.767 * * [simplify]: Extracting # 2 : cost 0 11.774 * * [simplify]: Extracting # 3 : cost 0 11.781 * * [simplify]: Extracting # 4 : cost 0 11.789 * * [simplify]: Extracting # 5 : cost 0 11.800 * * [simplify]: Extracting # 6 : cost 0 11.816 * * [simplify]: iteration done: 5001 enodes (cost 370 ) 11.816 * [simplify]: Simplified to: (expm1 (/ (- x y) (* (* x 2.0) y))) (log1p (/ (- 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))) (log (/ (- x y) (* (* x 2.0) y))) (exp (/ (- x y) (* (* x 2.0) y))) (pow (/ (- x y) (* (* x 2.0) y)) 3) (pow (/ (- x y) (* (* x 2.0) y)) 3) (pow (/ (- x y) (* (* x 2.0) y)) 3) (* (cbrt (/ (- x y) (* (* x 2.0) y))) (cbrt (/ (- x y) (* (* x 2.0) y)))) (cbrt (/ (- x y) (* (* x 2.0) y))) (pow (/ (- x y) (* (* x 2.0) y)) 3) (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) (fma x x (* y (+ x y)))) (* (* (* x 2.0) y) (+ x y)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) 11.817 * * * [progress]: adding candidates to table 11.904 * * [progress]: iteration 2 / 4 11.904 * * * [progress]: picking best candidate 11.907 * * * * [pick]: Picked # 11.907 * * * [progress]: localizing error 11.919 * * * [progress]: generating rewritten candidates 11.919 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1) 11.932 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 12.008 * * * [progress]: generating series expansions 12.008 * * * * [progress]: [ 1 / 2 ] generating series at (2 1) 12.008 * [backup-simplify]: Simplify (/ 1 (* 2.0 y)) into (/ 0.5 y) 12.008 * [approximate]: Taking taylor expansion of (/ 0.5 y) in (y) around 0 12.008 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 12.008 * [taylor]: Taking taylor expansion of 0.5 in y 12.008 * [backup-simplify]: Simplify 0.5 into 0.5 12.008 * [taylor]: Taking taylor expansion of y in y 12.008 * [backup-simplify]: Simplify 0 into 0 12.008 * [backup-simplify]: Simplify 1 into 1 12.009 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 12.009 * [taylor]: Taking taylor expansion of (/ 0.5 y) in y 12.009 * [taylor]: Taking taylor expansion of 0.5 in y 12.009 * [backup-simplify]: Simplify 0.5 into 0.5 12.009 * [taylor]: Taking taylor expansion of y in y 12.009 * [backup-simplify]: Simplify 0 into 0 12.009 * [backup-simplify]: Simplify 1 into 1 12.010 * [backup-simplify]: Simplify (/ 0.5 1) into 0.5 12.010 * [backup-simplify]: Simplify 0.5 into 0.5 12.011 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)))) into 0 12.011 * [backup-simplify]: Simplify 0 into 0 12.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.012 * [backup-simplify]: Simplify 0 into 0 12.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.013 * [backup-simplify]: Simplify 0 into 0 12.014 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.014 * [backup-simplify]: Simplify 0 into 0 12.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.5 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.015 * [backup-simplify]: Simplify 0 into 0 12.017 * [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 12.017 * [backup-simplify]: Simplify 0 into 0 12.017 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 12.017 * [backup-simplify]: Simplify (/ 1 (* 2.0 (/ 1 y))) into (* 0.5 y) 12.017 * [approximate]: Taking taylor expansion of (* 0.5 y) in (y) around 0 12.017 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 12.017 * [taylor]: Taking taylor expansion of 0.5 in y 12.017 * [backup-simplify]: Simplify 0.5 into 0.5 12.017 * [taylor]: Taking taylor expansion of y in y 12.017 * [backup-simplify]: Simplify 0 into 0 12.017 * [backup-simplify]: Simplify 1 into 1 12.017 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 12.017 * [taylor]: Taking taylor expansion of 0.5 in y 12.017 * [backup-simplify]: Simplify 0.5 into 0.5 12.017 * [taylor]: Taking taylor expansion of y in y 12.017 * [backup-simplify]: Simplify 0 into 0 12.017 * [backup-simplify]: Simplify 1 into 1 12.018 * [backup-simplify]: Simplify (* 0.5 0) into 0 12.018 * [backup-simplify]: Simplify 0 into 0 12.019 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 12.019 * [backup-simplify]: Simplify 0.5 into 0.5 12.021 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 12.021 * [backup-simplify]: Simplify 0 into 0 12.022 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.022 * [backup-simplify]: Simplify 0 into 0 12.023 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.023 * [backup-simplify]: Simplify 0 into 0 12.024 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 12.024 * [backup-simplify]: Simplify 0 into 0 12.026 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 12.026 * [backup-simplify]: Simplify 0 into 0 12.028 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 12.028 * [backup-simplify]: Simplify 0 into 0 12.028 * [backup-simplify]: Simplify (* 0.5 (/ 1 y)) into (/ 0.5 y) 12.028 * [backup-simplify]: Simplify (/ 1 (* 2.0 (/ 1 (- y)))) into (* -0.5 y) 12.028 * [approximate]: Taking taylor expansion of (* -0.5 y) in (y) around 0 12.028 * [taylor]: Taking taylor expansion of (* -0.5 y) in y 12.028 * [taylor]: Taking taylor expansion of -0.5 in y 12.028 * [backup-simplify]: Simplify -0.5 into -0.5 12.028 * [taylor]: Taking taylor expansion of y in y 12.028 * [backup-simplify]: Simplify 0 into 0 12.028 * [backup-simplify]: Simplify 1 into 1 12.028 * [taylor]: Taking taylor expansion of (* -0.5 y) in y 12.028 * [taylor]: Taking taylor expansion of -0.5 in y 12.028 * [backup-simplify]: Simplify -0.5 into -0.5 12.028 * [taylor]: Taking taylor expansion of y in y 12.028 * [backup-simplify]: Simplify 0 into 0 12.028 * [backup-simplify]: Simplify 1 into 1 12.028 * [backup-simplify]: Simplify (* -0.5 0) into 0 12.028 * [backup-simplify]: Simplify 0 into 0 12.029 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 12.030 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 12.030 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (* 0 0))) into 0 12.030 * [backup-simplify]: Simplify 0 into 0 12.031 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.031 * [backup-simplify]: Simplify 0 into 0 12.032 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 12.032 * [backup-simplify]: Simplify 0 into 0 12.032 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 12.032 * [backup-simplify]: Simplify 0 into 0 12.033 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 12.034 * [backup-simplify]: Simplify 0 into 0 12.034 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 12.034 * [backup-simplify]: Simplify 0 into 0 12.035 * [backup-simplify]: Simplify (* (- 0.5) (/ 1 (- y))) into (/ 0.5 y) 12.035 * * * * [progress]: [ 2 / 2 ] generating series at (2) 12.035 * [backup-simplify]: Simplify (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 12.035 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in (y x) around 0 12.035 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in x 12.035 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 12.035 * [taylor]: Taking taylor expansion of 0.5 in x 12.035 * [backup-simplify]: Simplify 0.5 into 0.5 12.035 * [taylor]: Taking taylor expansion of (/ 1 y) in x 12.035 * [taylor]: Taking taylor expansion of y in x 12.035 * [backup-simplify]: Simplify y into y 12.035 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 12.035 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 12.035 * [taylor]: Taking taylor expansion of 0.5 in x 12.035 * [backup-simplify]: Simplify 0.5 into 0.5 12.035 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.035 * [taylor]: Taking taylor expansion of x in x 12.035 * [backup-simplify]: Simplify 0 into 0 12.035 * [backup-simplify]: Simplify 1 into 1 12.036 * [backup-simplify]: Simplify (/ 1 1) into 1 12.036 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y 12.036 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 12.036 * [taylor]: Taking taylor expansion of 0.5 in y 12.036 * [backup-simplify]: Simplify 0.5 into 0.5 12.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.036 * [taylor]: Taking taylor expansion of y in y 12.036 * [backup-simplify]: Simplify 0 into 0 12.036 * [backup-simplify]: Simplify 1 into 1 12.036 * [backup-simplify]: Simplify (/ 1 1) into 1 12.036 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 12.036 * [taylor]: Taking taylor expansion of 0.5 in y 12.036 * [backup-simplify]: Simplify 0.5 into 0.5 12.036 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.036 * [taylor]: Taking taylor expansion of x in y 12.036 * [backup-simplify]: Simplify x into x 12.036 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.036 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) in y 12.036 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 12.036 * [taylor]: Taking taylor expansion of 0.5 in y 12.036 * [backup-simplify]: Simplify 0.5 into 0.5 12.036 * [taylor]: Taking taylor expansion of (/ 1 y) in y 12.036 * [taylor]: Taking taylor expansion of y in y 12.036 * [backup-simplify]: Simplify 0 into 0 12.036 * [backup-simplify]: Simplify 1 into 1 12.037 * [backup-simplify]: Simplify (/ 1 1) into 1 12.037 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in y 12.037 * [taylor]: Taking taylor expansion of 0.5 in y 12.037 * [backup-simplify]: Simplify 0.5 into 0.5 12.037 * [taylor]: Taking taylor expansion of (/ 1 x) in y 12.037 * [taylor]: Taking taylor expansion of x in y 12.037 * [backup-simplify]: Simplify x into x 12.037 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 12.037 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 12.037 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 12.037 * [taylor]: Taking taylor expansion of 0.5 in x 12.037 * [backup-simplify]: Simplify 0.5 into 0.5 12.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.038 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 12.038 * [backup-simplify]: Simplify (* 0.5 (/ 1 x)) into (/ 0.5 x) 12.038 * [backup-simplify]: Simplify (- (/ 0.5 x)) into (- (* 0.5 (/ 1 x))) 12.038 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 (/ 1 x)))) into (- (* 0.5 (/ 1 x))) 12.038 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 x))) in x 12.038 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 x)) in x 12.038 * [taylor]: Taking taylor expansion of 0.5 in x 12.038 * [backup-simplify]: Simplify 0.5 into 0.5 12.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 12.039 * [taylor]: Taking taylor expansion of x in x 12.039 * [backup-simplify]: Simplify 0 into 0 12.039 * [backup-simplify]: Simplify 1 into 1 12.039 * [backup-simplify]: Simplify (/ 1 1) into 1 12.039 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 12.039 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 12.040 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 12.040 * [backup-simplify]: Simplify 0.5 into 0.5 12.040 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.041 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 12.041 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 12.041 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 (/ 1 x))) into 0 12.041 * [backup-simplify]: Simplify (- 0) into 0 12.042 * [backup-simplify]: Simplify (+ 0 0) into 0 12.042 * [taylor]: Taking taylor expansion of 0 in x 12.042 * [backup-simplify]: Simplify 0 into 0 12.042 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 12.042 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 12.043 * [backup-simplify]: Simplify (- 0) into 0 12.043 * [backup-simplify]: Simplify 0 into 0 12.043 * [backup-simplify]: Simplify 0 into 0 12.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.044 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 12.044 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.044 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 (/ 1 x)))) into 0 12.045 * [backup-simplify]: Simplify (- 0) into 0 12.045 * [backup-simplify]: Simplify (+ 0 0) into 0 12.045 * [taylor]: Taking taylor expansion of 0 in x 12.045 * [backup-simplify]: Simplify 0 into 0 12.045 * [backup-simplify]: Simplify 0 into 0 12.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.046 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 12.046 * [backup-simplify]: Simplify (- 0) into 0 12.046 * [backup-simplify]: Simplify 0 into 0 12.046 * [backup-simplify]: Simplify 0 into 0 12.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 12.048 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 12.048 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0 12.048 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 x))))) into 0 12.049 * [backup-simplify]: Simplify (- 0) into 0 12.049 * [backup-simplify]: Simplify (+ 0 0) into 0 12.049 * [taylor]: Taking taylor expansion of 0 in x 12.049 * [backup-simplify]: Simplify 0 into 0 12.049 * [backup-simplify]: Simplify 0 into 0 12.049 * [backup-simplify]: Simplify (+ (* 0.5 (* 1 (/ 1 y))) (* (- 0.5) (* (/ 1 x) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 12.050 * [backup-simplify]: Simplify (- (/ 1 (* 2.0 (/ 1 y))) (/ 1 (* (/ 1 x) 2.0))) into (- (* 0.5 y) (* 0.5 x)) 12.050 * [approximate]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in (y x) around 0 12.050 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in x 12.050 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 12.050 * [taylor]: Taking taylor expansion of 0.5 in x 12.050 * [backup-simplify]: Simplify 0.5 into 0.5 12.050 * [taylor]: Taking taylor expansion of y in x 12.050 * [backup-simplify]: Simplify y into y 12.050 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 12.050 * [taylor]: Taking taylor expansion of 0.5 in x 12.050 * [backup-simplify]: Simplify 0.5 into 0.5 12.050 * [taylor]: Taking taylor expansion of x in x 12.050 * [backup-simplify]: Simplify 0 into 0 12.050 * [backup-simplify]: Simplify 1 into 1 12.050 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y 12.050 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 12.050 * [taylor]: Taking taylor expansion of 0.5 in y 12.050 * [backup-simplify]: Simplify 0.5 into 0.5 12.050 * [taylor]: Taking taylor expansion of y in y 12.050 * [backup-simplify]: Simplify 0 into 0 12.050 * [backup-simplify]: Simplify 1 into 1 12.050 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 12.050 * [taylor]: Taking taylor expansion of 0.5 in y 12.050 * [backup-simplify]: Simplify 0.5 into 0.5 12.050 * [taylor]: Taking taylor expansion of x in y 12.050 * [backup-simplify]: Simplify x into x 12.050 * [taylor]: Taking taylor expansion of (- (* 0.5 y) (* 0.5 x)) in y 12.050 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 12.050 * [taylor]: Taking taylor expansion of 0.5 in y 12.050 * [backup-simplify]: Simplify 0.5 into 0.5 12.050 * [taylor]: Taking taylor expansion of y in y 12.050 * [backup-simplify]: Simplify 0 into 0 12.050 * [backup-simplify]: Simplify 1 into 1 12.050 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 12.050 * [taylor]: Taking taylor expansion of 0.5 in y 12.050 * [backup-simplify]: Simplify 0.5 into 0.5 12.050 * [taylor]: Taking taylor expansion of x in y 12.050 * [backup-simplify]: Simplify x into x 12.051 * [backup-simplify]: Simplify (* 0.5 0) into 0 12.051 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x) 12.051 * [backup-simplify]: Simplify (- (* 0.5 x)) into (- (* 0.5 x)) 12.051 * [backup-simplify]: Simplify (+ 0 (- (* 0.5 x))) into (- (* 0.5 x)) 12.051 * [taylor]: Taking taylor expansion of (- (* 0.5 x)) in x 12.051 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 12.051 * [taylor]: Taking taylor expansion of 0.5 in x 12.051 * [backup-simplify]: Simplify 0.5 into 0.5 12.051 * [taylor]: Taking taylor expansion of x in x 12.051 * [backup-simplify]: Simplify 0 into 0 12.051 * [backup-simplify]: Simplify 1 into 1 12.051 * [backup-simplify]: Simplify (* 0.5 0) into 0 12.051 * [backup-simplify]: Simplify (- 0) into 0 12.051 * [backup-simplify]: Simplify 0 into 0 12.052 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 12.053 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0 12.053 * [backup-simplify]: Simplify (- 0) into 0 12.053 * [backup-simplify]: Simplify (+ 0.5 0) into 0.5 12.053 * [taylor]: Taking taylor expansion of 0.5 in x 12.053 * [backup-simplify]: Simplify 0.5 into 0.5 12.053 * [backup-simplify]: Simplify 0.5 into 0.5 12.054 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 12.054 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 12.054 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 12.055 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 12.056 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0 12.056 * [backup-simplify]: Simplify (- 0) into 0 12.056 * [backup-simplify]: Simplify (+ 0 0) into 0 12.056 * [taylor]: Taking taylor expansion of 0 in x 12.056 * [backup-simplify]: Simplify 0 into 0 12.056 * [backup-simplify]: Simplify 0 into 0 12.056 * [backup-simplify]: Simplify 0 into 0 12.057 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 12.057 * [backup-simplify]: Simplify (- 0) into 0 12.057 * [backup-simplify]: Simplify 0 into 0 12.058 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.058 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 12.059 * [backup-simplify]: Simplify (- 0) into 0 12.059 * [backup-simplify]: Simplify (+ 0 0) into 0 12.059 * [taylor]: Taking taylor expansion of 0 in x 12.059 * [backup-simplify]: Simplify 0 into 0 12.059 * [backup-simplify]: Simplify 0 into 0 12.059 * [backup-simplify]: Simplify 0 into 0 12.059 * [backup-simplify]: Simplify 0 into 0 12.059 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 x) 1)) (* 0.5 (* 1 (/ 1 y)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 12.059 * [backup-simplify]: Simplify (- (/ 1 (* 2.0 (/ 1 (- y)))) (/ 1 (* (/ 1 (- x)) 2.0))) into (- (* 0.5 x) (* 0.5 y)) 12.060 * [approximate]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in (y x) around 0 12.060 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in x 12.060 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 12.060 * [taylor]: Taking taylor expansion of 0.5 in x 12.060 * [backup-simplify]: Simplify 0.5 into 0.5 12.060 * [taylor]: Taking taylor expansion of x in x 12.060 * [backup-simplify]: Simplify 0 into 0 12.060 * [backup-simplify]: Simplify 1 into 1 12.060 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 12.060 * [taylor]: Taking taylor expansion of 0.5 in x 12.060 * [backup-simplify]: Simplify 0.5 into 0.5 12.060 * [taylor]: Taking taylor expansion of y in x 12.060 * [backup-simplify]: Simplify y into y 12.060 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y 12.060 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 12.060 * [taylor]: Taking taylor expansion of 0.5 in y 12.060 * [backup-simplify]: Simplify 0.5 into 0.5 12.060 * [taylor]: Taking taylor expansion of x in y 12.060 * [backup-simplify]: Simplify x into x 12.060 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 12.060 * [taylor]: Taking taylor expansion of 0.5 in y 12.060 * [backup-simplify]: Simplify 0.5 into 0.5 12.060 * [taylor]: Taking taylor expansion of y in y 12.060 * [backup-simplify]: Simplify 0 into 0 12.060 * [backup-simplify]: Simplify 1 into 1 12.060 * [taylor]: Taking taylor expansion of (- (* 0.5 x) (* 0.5 y)) in y 12.060 * [taylor]: Taking taylor expansion of (* 0.5 x) in y 12.060 * [taylor]: Taking taylor expansion of 0.5 in y 12.060 * [backup-simplify]: Simplify 0.5 into 0.5 12.060 * [taylor]: Taking taylor expansion of x in y 12.060 * [backup-simplify]: Simplify x into x 12.060 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 12.060 * [taylor]: Taking taylor expansion of 0.5 in y 12.060 * [backup-simplify]: Simplify 0.5 into 0.5 12.060 * [taylor]: Taking taylor expansion of y in y 12.060 * [backup-simplify]: Simplify 0 into 0 12.060 * [backup-simplify]: Simplify 1 into 1 12.060 * [backup-simplify]: Simplify (* 0.5 x) into (* 0.5 x) 12.061 * [backup-simplify]: Simplify (* 0.5 0) into 0 12.061 * [backup-simplify]: Simplify (- 0) into 0 12.061 * [backup-simplify]: Simplify (+ (* 0.5 x) 0) into (* 0.5 x) 12.061 * [taylor]: Taking taylor expansion of (* 0.5 x) in x 12.061 * [taylor]: Taking taylor expansion of 0.5 in x 12.061 * [backup-simplify]: Simplify 0.5 into 0.5 12.061 * [taylor]: Taking taylor expansion of x in x 12.061 * [backup-simplify]: Simplify 0 into 0 12.061 * [backup-simplify]: Simplify 1 into 1 12.061 * [backup-simplify]: Simplify (* 0.5 0) into 0 12.061 * [backup-simplify]: Simplify 0 into 0 12.062 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 x)) into 0 12.062 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 12.063 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 12.063 * [backup-simplify]: Simplify (+ 0 (- 0.5)) into (- 0.5) 12.063 * [taylor]: Taking taylor expansion of (- 0.5) in x 12.063 * [taylor]: Taking taylor expansion of 0.5 in x 12.063 * [backup-simplify]: Simplify 0.5 into 0.5 12.063 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 12.064 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 12.065 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 12.065 * [backup-simplify]: Simplify 0.5 into 0.5 12.065 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 x))) into 0 12.066 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 12.066 * [backup-simplify]: Simplify (- 0) into 0 12.066 * [backup-simplify]: Simplify (+ 0 0) into 0 12.066 * [taylor]: Taking taylor expansion of 0 in x 12.066 * [backup-simplify]: Simplify 0 into 0 12.066 * [backup-simplify]: Simplify 0 into 0 12.066 * [backup-simplify]: Simplify (- 0) into 0 12.066 * [backup-simplify]: Simplify 0 into 0 12.067 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 12.067 * [backup-simplify]: Simplify 0 into 0 12.068 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (* 0 x)))) into 0 12.068 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 12.069 * [backup-simplify]: Simplify (- 0) into 0 12.069 * [backup-simplify]: Simplify (+ 0 0) into 0 12.069 * [taylor]: Taking taylor expansion of 0 in x 12.069 * [backup-simplify]: Simplify 0 into 0 12.069 * [backup-simplify]: Simplify 0 into 0 12.069 * [backup-simplify]: Simplify 0 into 0 12.069 * [backup-simplify]: Simplify (- 0) into 0 12.069 * [backup-simplify]: Simplify 0 into 0 12.069 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 (- x)) 1)) (* (- 0.5) (* 1 (/ 1 (- y))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 12.070 * * * [progress]: simplifying candidates 12.071 * [simplify]: Simplifying: (expm1 (/ 1 (* 2.0 y))) (log1p (/ 1 (* 2.0 y))) (- 1) (- 1) (- (+ (log 2.0) (log y))) (- (log (* 2.0 y))) (- 0 (+ (log 2.0) (log y))) (- 0 (log (* 2.0 y))) (- (log 1) (+ (log 2.0) (log y))) (- (log 1) (log (* 2.0 y))) (log (/ 1 (* 2.0 y))) (exp (/ 1 (* 2.0 y))) (/ (* (* 1 1) 1) (* (* (* 2.0 2.0) 2.0) (* (* y y) y))) (/ (* (* 1 1) 1) (* (* (* 2.0 y) (* 2.0 y)) (* 2.0 y))) (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (* (* (/ 1 (* 2.0 y)) (/ 1 (* 2.0 y))) (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (- 1) (- (* 2.0 y)) (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) y) (/ (sqrt 1) 2.0) (/ (sqrt 1) y) (/ 1 2.0) (/ 1 y) (/ 1 (* 2.0 y)) (/ (* 2.0 y) 1) (/ 1 2.0) (/ (* 2.0 y) (cbrt 1)) (/ (* 2.0 y) (sqrt 1)) (/ (* 2.0 y) 1) (fma (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (- (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0))))))) (fma (- (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))))) (fma (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (- (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0)))))) (fma (- (sqrt (/ 1 (* x 2.0)))) (sqrt (/ 1 (* x 2.0))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))))) (fma (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (- (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x)))) (fma (- (/ (cbrt 1) 2.0)) (/ (* (cbrt 1) (cbrt 1)) x) (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x))) (fma (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (- (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x)))) (fma (- (/ (sqrt 1) 2.0)) (/ (sqrt 1) x) (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x))) (fma (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (- (* (/ 1 2.0) (/ 1 x)))) (fma (- (/ 1 2.0)) (/ 1 x) (* (/ 1 2.0) (/ 1 x))) (fma (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (- (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0))))))) (fma (- (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))))) (fma (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (- (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0)))))) (fma (- (sqrt (/ 1 (* x 2.0)))) (sqrt (/ 1 (* x 2.0))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))))) (fma (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (- (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x)))) (fma (- (/ (cbrt 1) 2.0)) (/ (* (cbrt 1) (cbrt 1)) x) (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x))) (fma (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (- (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x)))) (fma (- (/ (sqrt 1) 2.0)) (/ (sqrt 1) x) (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x))) (fma (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (- (* (/ 1 2.0) (/ 1 x)))) (fma (- (/ 1 2.0)) (/ 1 x) (* (/ 1 2.0) (/ 1 x))) (fma (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) y) (- (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0))))))) (fma (- (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))))) (fma (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) y) (- (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0)))))) (fma (- (sqrt (/ 1 (* x 2.0)))) (sqrt (/ 1 (* x 2.0))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))))) (fma (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) y) (- (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x)))) (fma (- (/ (cbrt 1) 2.0)) (/ (* (cbrt 1) (cbrt 1)) x) (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x))) (fma (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) y) (- (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x)))) (fma (- (/ (sqrt 1) 2.0)) (/ (sqrt 1) x) (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x))) (fma (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) y) (- (* (/ 1 2.0) (/ 1 x)))) (fma (- (/ 1 2.0)) (/ 1 x) (* (/ 1 2.0) (/ 1 x))) (fma (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) y) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (/ (* (cbrt 1) (cbrt 1)) 2.0) (/ (cbrt 1) y) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (/ (sqrt 1) 2.0) (/ (sqrt 1) y) (- (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0))))))) (fma (- (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))))) (fma (/ (sqrt 1) 2.0) (/ (sqrt 1) y) (- (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0)))))) (fma (- (sqrt (/ 1 (* x 2.0)))) (sqrt (/ 1 (* x 2.0))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))))) (fma (/ (sqrt 1) 2.0) (/ (sqrt 1) y) (- (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x)))) (fma (- (/ (cbrt 1) 2.0)) (/ (* (cbrt 1) (cbrt 1)) x) (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x))) (fma (/ (sqrt 1) 2.0) (/ (sqrt 1) y) (- (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x)))) (fma (- (/ (sqrt 1) 2.0)) (/ (sqrt 1) x) (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x))) (fma (/ (sqrt 1) 2.0) (/ (sqrt 1) y) (- (* (/ 1 2.0) (/ 1 x)))) (fma (- (/ 1 2.0)) (/ 1 x) (* (/ 1 2.0) (/ 1 x))) (fma (/ (sqrt 1) 2.0) (/ (sqrt 1) y) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (/ (sqrt 1) 2.0) (/ (sqrt 1) y) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (/ 1 2.0) (/ 1 y) (- (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0))))))) (fma (- (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))))) (fma (/ 1 2.0) (/ 1 y) (- (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0)))))) (fma (- (sqrt (/ 1 (* x 2.0)))) (sqrt (/ 1 (* x 2.0))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))))) (fma (/ 1 2.0) (/ 1 y) (- (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x)))) (fma (- (/ (cbrt 1) 2.0)) (/ (* (cbrt 1) (cbrt 1)) x) (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x))) (fma (/ 1 2.0) (/ 1 y) (- (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x)))) (fma (- (/ (sqrt 1) 2.0)) (/ (sqrt 1) x) (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x))) (fma (/ 1 2.0) (/ 1 y) (- (* (/ 1 2.0) (/ 1 x)))) (fma (- (/ 1 2.0)) (/ 1 x) (* (/ 1 2.0) (/ 1 x))) (fma (/ 1 2.0) (/ 1 y) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma (/ 1 2.0) (/ 1 y) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma 1 (/ 1 (* 2.0 y)) (- (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0))))))) (fma (- (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))))) (fma 1 (/ 1 (* 2.0 y)) (- (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0)))))) (fma (- (sqrt (/ 1 (* x 2.0)))) (sqrt (/ 1 (* x 2.0))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))))) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x)))) (fma (- (/ (cbrt 1) 2.0)) (/ (* (cbrt 1) (cbrt 1)) x) (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x))) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x)))) (fma (- (/ (sqrt 1) 2.0)) (/ (sqrt 1) x) (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x))) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ 1 2.0) (/ 1 x)))) (fma (- (/ 1 2.0)) (/ 1 x) (* (/ 1 2.0) (/ 1 x))) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma 1 (/ 1 (* 2.0 y)) (- (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0))))))) (fma (- (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))) (* (cbrt (/ 1 (* x 2.0))) (* (cbrt (/ 1 (* x 2.0))) (cbrt (/ 1 (* x 2.0)))))) (fma 1 (/ 1 (* 2.0 y)) (- (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0)))))) (fma (- (sqrt (/ 1 (* x 2.0)))) (sqrt (/ 1 (* x 2.0))) (* (sqrt (/ 1 (* x 2.0))) (sqrt (/ 1 (* x 2.0))))) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x)))) (fma (- (/ (cbrt 1) 2.0)) (/ (* (cbrt 1) (cbrt 1)) x) (* (/ (cbrt 1) 2.0) (/ (* (cbrt 1) (cbrt 1)) x))) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x)))) (fma (- (/ (sqrt 1) 2.0)) (/ (sqrt 1) x) (* (/ (sqrt 1) 2.0) (/ (sqrt 1) x))) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ 1 2.0) (/ 1 x)))) (fma (- (/ 1 2.0)) (/ 1 x) (* (/ 1 2.0) (/ 1 x))) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (fma 1 (/ 1 (* 2.0 y)) (- (* (/ 1 (* x 2.0)) 1))) (fma (- (/ 1 (* x 2.0))) 1 (* (/ 1 (* x 2.0)) 1)) (expm1 (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (log1p (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (- (/ 1 (* x 2.0))) (- (/ 1 (* x 2.0))) (- (/ 1 (* x 2.0))) (- (/ 1 (* x 2.0))) (- (/ 1 (* x 2.0))) (- (/ 1 (* x 2.0))) (- (/ 1 (* x 2.0))) (/ (exp (/ 1 (* 2.0 y))) (exp (/ 1 (* x 2.0)))) (log (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (exp (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (* (cbrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (cbrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))))) (cbrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (* (* (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (sqrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (sqrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (- (* 1 (* x 2.0)) (* (* 2.0 y) 1)) (* (* 2.0 y) (* x 2.0)) (- (pow (/ 1 (* 2.0 y)) 3) (pow (/ 1 (* x 2.0)) 3)) (+ (* (/ 1 (* 2.0 y)) (/ 1 (* 2.0 y))) (+ (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0))) (* (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))))) (- (/ 1 (* x 2.0))) (- (* (/ 1 (* 2.0 y)) (/ 1 (* 2.0 y))) (* (/ 1 (* x 2.0)) (/ 1 (* x 2.0)))) (+ (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (+ (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* x 2.0)))) (- (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* x 2.0)))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (- (/ 1 (* x 2.0))) (/ 0.5 y) (/ 0.5 y) (/ 0.5 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))) 12.075 * * [simplify]: Extracting # 0 : cost 0 12.075 * * [simplify]: Extracting # 1 : cost 0 12.075 * * [simplify]: Extracting # 2 : cost 0 12.076 * * [simplify]: Extracting # 3 : cost 0 12.076 * * [simplify]: Extracting # 4 : cost 0 12.076 * * [simplify]: Extracting # 5 : cost 0 12.076 * * [simplify]: Extracting # 6 : cost 0 12.077 * * [simplify]: Extracting # 7 : cost 0 12.077 * * [simplify]: Extracting # 8 : cost 0 12.077 * * [simplify]: iteration 0 : 154 enodes (cost 2833 ) 12.155 * * [simplify]: Extracting # 0 : cost 0 12.156 * * [simplify]: Extracting # 1 : cost 0 12.156 * * [simplify]: Extracting # 2 : cost 0 12.156 * * [simplify]: Extracting # 3 : cost 0 12.157 * * [simplify]: Extracting # 4 : cost 0 12.157 * * [simplify]: iteration 1 : 384 enodes (cost 2016 ) 12.515 * * [simplify]: Extracting # 0 : cost 0 12.521 * * [simplify]: Extracting # 1 : cost 0 12.525 * * [simplify]: Extracting # 2 : cost 0 12.529 * * [simplify]: Extracting # 3 : cost 0 12.532 * * [simplify]: iteration 2 : 1968 enodes (cost 1492 ) 13.999 * * [simplify]: Extracting # 0 : cost 0 14.006 * * [simplify]: Extracting # 1 : cost 0 14.016 * * [simplify]: Extracting # 2 : cost 0 14.031 * * [simplify]: Extracting # 3 : cost 0 14.045 * * [simplify]: iteration done: 5001 enodes (cost 1415 ) 14.047 * [simplify]: Simplified to: (expm1 (/ 1 (* 2.0 y))) (log1p (/ 1 (* 2.0 y))) -1 -1 (- (log (* 2.0 y))) (- (log (* 2.0 y))) (- (log (* 2.0 y))) (- (log (* 2.0 y))) (- (log (* 2.0 y))) (- (log (* 2.0 y))) (- (log (* 2.0 y))) (exp (/ 1 (* 2.0 y))) (pow (/ 1 (* 2.0 y)) 3) (pow (/ 1 (* 2.0 y)) 3) (* (cbrt (/ 1 (* 2.0 y))) (cbrt (/ 1 (* 2.0 y)))) (cbrt (/ 1 (* 2.0 y))) (pow (/ 1 (* 2.0 y)) 3) (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* 2.0 y))) -1 (- (* 2.0 y)) (/ 1 2.0) (/ 1 y) (/ 1 2.0) (/ 1 y) (/ 1 2.0) (/ 1 y) (/ (/ 1 2.0) y) (* 2.0 y) (/ 1 2.0) (* 2.0 y) (* 2.0 y) (* 2.0 y) (+ (/ (/ -1 2.0) x) (pow (cbrt (/ 1 (* 2.0 y))) 3)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (pow (cbrt (/ 1 (* 2.0 y))) 3)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (pow (cbrt (/ 1 (* 2.0 y))) 3)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (pow (cbrt (/ 1 (* 2.0 y))) 3)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (pow (cbrt (/ 1 (* 2.0 y))) 3)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (pow (cbrt (/ 1 (* 2.0 y))) 3)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (pow (cbrt (/ 1 (* 2.0 y))) 3)) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (+ (/ (/ -1 2.0) x) (/ (/ 1 2.0) y)) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (* (/ 1 (* x 2.0)) 0) (expm1 (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (log1p (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (/ (/ -1 2.0) x) (/ (/ -1 2.0) x) (/ (/ -1 2.0) x) (/ (/ -1 2.0) x) (/ (/ -1 2.0) x) (/ (/ -1 2.0) x) (/ (/ -1 2.0) x) (exp (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (log (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (exp (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (* (cbrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (cbrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))))) (cbrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (pow (+ (/ 1 (* 2.0 y)) (/ (/ -1 2.0) x)) 3) (sqrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (sqrt (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0)))) (* 2.0 (- x y)) (* (* 2.0 y) (* x 2.0)) (- (pow (/ 1 (* 2.0 y)) 3) (pow (/ 1 (* x 2.0)) 3)) (fma (/ 1 (* x 2.0)) (+ (/ 1 (* x 2.0)) (/ 1 (* 2.0 y))) (/ (/ (/ 1 2.0) y) (* 2.0 y))) (/ (/ -1 2.0) x) (- (/ (/ (/ 1 2.0) y) (* 2.0 y)) (/ (/ 1 (* x 2.0)) (* x 2.0))) (+ (/ (/ 1 2.0) y) (/ 1 (* x 2.0))) (+ (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* x 2.0)))) (- (sqrt (/ 1 (* 2.0 y))) (sqrt (/ 1 (* x 2.0)))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (- (/ 1 (* 2.0 y)) (/ 1 (* x 2.0))) (/ (/ -1 2.0) x) (/ 0.5 y) (/ 0.5 y) (/ 0.5 y) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) 14.048 * * * [progress]: adding candidates to table 14.227 * * [progress]: iteration 3 / 4 14.227 * * * [progress]: picking best candidate 14.229 * * * * [pick]: Picked # 14.229 * * * [progress]: localizing error 14.239 * * * [progress]: generating rewritten candidates 14.239 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 14.287 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 14.337 * * * [progress]: generating series expansions 14.337 * * * * [progress]: [ 1 / 2 ] generating series at (2) 14.337 * [backup-simplify]: Simplify (/ (/ (- x y) (* x 2.0)) y) into (* 0.5 (/ (- x y) (* x y))) 14.337 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in (x y) around 0 14.337 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in y 14.337 * [taylor]: Taking taylor expansion of 0.5 in y 14.337 * [backup-simplify]: Simplify 0.5 into 0.5 14.337 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in y 14.337 * [taylor]: Taking taylor expansion of (- x y) in y 14.337 * [taylor]: Taking taylor expansion of x in y 14.337 * [backup-simplify]: Simplify x into x 14.337 * [taylor]: Taking taylor expansion of y in y 14.337 * [backup-simplify]: Simplify 0 into 0 14.337 * [backup-simplify]: Simplify 1 into 1 14.337 * [taylor]: Taking taylor expansion of (* x y) in y 14.337 * [taylor]: Taking taylor expansion of x in y 14.337 * [backup-simplify]: Simplify x into x 14.337 * [taylor]: Taking taylor expansion of y in y 14.337 * [backup-simplify]: Simplify 0 into 0 14.337 * [backup-simplify]: Simplify 1 into 1 14.338 * [backup-simplify]: Simplify (- 0) into 0 14.338 * [backup-simplify]: Simplify (+ x 0) into x 14.338 * [backup-simplify]: Simplify (* x 0) into 0 14.339 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 14.339 * [backup-simplify]: Simplify (/ x x) into 1 14.339 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 14.339 * [taylor]: Taking taylor expansion of 0.5 in x 14.339 * [backup-simplify]: Simplify 0.5 into 0.5 14.339 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 14.339 * [taylor]: Taking taylor expansion of (- x y) in x 14.339 * [taylor]: Taking taylor expansion of x in x 14.339 * [backup-simplify]: Simplify 0 into 0 14.339 * [backup-simplify]: Simplify 1 into 1 14.339 * [taylor]: Taking taylor expansion of y in x 14.339 * [backup-simplify]: Simplify y into y 14.339 * [taylor]: Taking taylor expansion of (* x y) in x 14.339 * [taylor]: Taking taylor expansion of x in x 14.339 * [backup-simplify]: Simplify 0 into 0 14.339 * [backup-simplify]: Simplify 1 into 1 14.339 * [taylor]: Taking taylor expansion of y in x 14.339 * [backup-simplify]: Simplify y into y 14.340 * [backup-simplify]: Simplify (- y) into (- y) 14.340 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 14.340 * [backup-simplify]: Simplify (* 0 y) into 0 14.340 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.340 * [backup-simplify]: Simplify (/ (- y) y) into -1 14.340 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) (* x y))) in x 14.340 * [taylor]: Taking taylor expansion of 0.5 in x 14.340 * [backup-simplify]: Simplify 0.5 into 0.5 14.340 * [taylor]: Taking taylor expansion of (/ (- x y) (* x y)) in x 14.340 * [taylor]: Taking taylor expansion of (- x y) in x 14.340 * [taylor]: Taking taylor expansion of x in x 14.340 * [backup-simplify]: Simplify 0 into 0 14.340 * [backup-simplify]: Simplify 1 into 1 14.340 * [taylor]: Taking taylor expansion of y in x 14.341 * [backup-simplify]: Simplify y into y 14.341 * [taylor]: Taking taylor expansion of (* x y) in x 14.341 * [taylor]: Taking taylor expansion of x in x 14.341 * [backup-simplify]: Simplify 0 into 0 14.341 * [backup-simplify]: Simplify 1 into 1 14.341 * [taylor]: Taking taylor expansion of y in x 14.341 * [backup-simplify]: Simplify y into y 14.341 * [backup-simplify]: Simplify (- y) into (- y) 14.341 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 14.341 * [backup-simplify]: Simplify (* 0 y) into 0 14.341 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.341 * [backup-simplify]: Simplify (/ (- y) y) into -1 14.342 * [backup-simplify]: Simplify (* 0.5 -1) into -0.5 14.342 * [taylor]: Taking taylor expansion of -0.5 in y 14.342 * [backup-simplify]: Simplify -0.5 into -0.5 14.342 * [backup-simplify]: Simplify (- 0) into 0 14.343 * [backup-simplify]: Simplify (+ 1 0) into 1 14.344 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.344 * [backup-simplify]: Simplify (- (/ 1 y) (+ (* -1 (/ 0 y)))) into (/ 1 y) 14.344 * [backup-simplify]: Simplify (+ (* 0.5 (/ 1 y)) (* 0 -1)) into (* 0.5 (/ 1 y)) 14.345 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 14.345 * [taylor]: Taking taylor expansion of 0.5 in y 14.345 * [backup-simplify]: Simplify 0.5 into 0.5 14.345 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.345 * [taylor]: Taking taylor expansion of y in y 14.345 * [backup-simplify]: Simplify 0 into 0 14.345 * [backup-simplify]: Simplify 1 into 1 14.345 * [backup-simplify]: Simplify (/ 1 1) into 1 14.346 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 14.346 * [backup-simplify]: Simplify 0.5 into 0.5 14.346 * [backup-simplify]: Simplify -0.5 into -0.5 14.346 * [backup-simplify]: Simplify (- 0) into 0 14.347 * [backup-simplify]: Simplify (+ 0 0) into 0 14.348 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.348 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)))) into 0 14.349 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 14.349 * [taylor]: Taking taylor expansion of 0 in y 14.349 * [backup-simplify]: Simplify 0 into 0 14.350 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.350 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 14.350 * [backup-simplify]: Simplify 0 into 0 14.350 * [backup-simplify]: Simplify 0 into 0 14.351 * [backup-simplify]: Simplify (- 0) into 0 14.351 * [backup-simplify]: Simplify (+ 0 0) into 0 14.353 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.353 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.354 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 14.354 * [taylor]: Taking taylor expansion of 0 in y 14.354 * [backup-simplify]: Simplify 0 into 0 14.354 * [backup-simplify]: Simplify 0 into 0 14.355 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.356 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 14.356 * [backup-simplify]: Simplify 0 into 0 14.356 * [backup-simplify]: Simplify 0 into 0 14.357 * [backup-simplify]: Simplify (- 0) into 0 14.357 * [backup-simplify]: Simplify (+ 0 0) into 0 14.359 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 14.359 * [backup-simplify]: Simplify (- (/ 0 y) (+ (* -1 (/ 0 y)) (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.361 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 14.361 * [taylor]: Taking taylor expansion of 0 in y 14.361 * [backup-simplify]: Simplify 0 into 0 14.361 * [backup-simplify]: Simplify 0 into 0 14.361 * [backup-simplify]: Simplify (+ (* -0.5 (* 1 (/ 1 x))) (* 0.5 (* (/ 1 y) 1))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 14.361 * [backup-simplify]: Simplify (/ (/ (- (/ 1 x) (/ 1 y)) (* (/ 1 x) 2.0)) (/ 1 y)) into (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) 14.361 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in (x y) around 0 14.361 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in y 14.361 * [taylor]: Taking taylor expansion of 0.5 in y 14.361 * [backup-simplify]: Simplify 0.5 into 0.5 14.361 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in y 14.361 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 14.361 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.362 * [taylor]: Taking taylor expansion of x in y 14.362 * [backup-simplify]: Simplify x into x 14.362 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.362 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.362 * [taylor]: Taking taylor expansion of y in y 14.362 * [backup-simplify]: Simplify 0 into 0 14.362 * [backup-simplify]: Simplify 1 into 1 14.362 * [backup-simplify]: Simplify (/ 1 1) into 1 14.362 * [taylor]: Taking taylor expansion of (* x y) in y 14.362 * [taylor]: Taking taylor expansion of x in y 14.362 * [backup-simplify]: Simplify x into x 14.362 * [taylor]: Taking taylor expansion of y in y 14.362 * [backup-simplify]: Simplify 0 into 0 14.362 * [backup-simplify]: Simplify 1 into 1 14.362 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x 14.362 * [taylor]: Taking taylor expansion of 0.5 in x 14.362 * [backup-simplify]: Simplify 0.5 into 0.5 14.362 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x 14.362 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 14.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.362 * [taylor]: Taking taylor expansion of x in x 14.362 * [backup-simplify]: Simplify 0 into 0 14.362 * [backup-simplify]: Simplify 1 into 1 14.363 * [backup-simplify]: Simplify (/ 1 1) into 1 14.363 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.363 * [taylor]: Taking taylor expansion of y in x 14.363 * [backup-simplify]: Simplify y into y 14.363 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.363 * [taylor]: Taking taylor expansion of (* x y) in x 14.363 * [taylor]: Taking taylor expansion of x in x 14.363 * [backup-simplify]: Simplify 0 into 0 14.363 * [backup-simplify]: Simplify 1 into 1 14.363 * [taylor]: Taking taylor expansion of y in x 14.363 * [backup-simplify]: Simplify y into y 14.363 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) (* x y))) in x 14.363 * [taylor]: Taking taylor expansion of 0.5 in x 14.363 * [backup-simplify]: Simplify 0.5 into 0.5 14.363 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) (* x y)) in x 14.363 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 14.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.363 * [taylor]: Taking taylor expansion of x in x 14.363 * [backup-simplify]: Simplify 0 into 0 14.363 * [backup-simplify]: Simplify 1 into 1 14.364 * [backup-simplify]: Simplify (/ 1 1) into 1 14.364 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.364 * [taylor]: Taking taylor expansion of y in x 14.364 * [backup-simplify]: Simplify y into y 14.364 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.364 * [taylor]: Taking taylor expansion of (* x y) in x 14.364 * [taylor]: Taking taylor expansion of x in x 14.364 * [backup-simplify]: Simplify 0 into 0 14.364 * [backup-simplify]: Simplify 1 into 1 14.364 * [taylor]: Taking taylor expansion of y in x 14.364 * [backup-simplify]: Simplify y into y 14.365 * [backup-simplify]: Simplify (+ 1 0) into 1 14.365 * [backup-simplify]: Simplify (* 0 y) into 0 14.365 * [backup-simplify]: Simplify (* 1 0) into 0 14.365 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.365 * [taylor]: Taking taylor expansion of 0 in y 14.365 * [backup-simplify]: Simplify 0 into 0 14.366 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 y)) into y 14.367 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.367 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 14.367 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 14.367 * [backup-simplify]: Simplify (+ (* 1 y) (* (- (/ 1 y)) 0)) into y 14.367 * [backup-simplify]: Simplify (+ (* 0.5 y) (* 0 0)) into (* 0.5 y) 14.367 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 14.367 * [taylor]: Taking taylor expansion of 0.5 in y 14.367 * [backup-simplify]: Simplify 0.5 into 0.5 14.367 * [taylor]: Taking taylor expansion of y in y 14.367 * [backup-simplify]: Simplify 0 into 0 14.367 * [backup-simplify]: Simplify 1 into 1 14.368 * [backup-simplify]: Simplify 0 into 0 14.368 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 y))) into 0 14.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.374 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.374 * [backup-simplify]: Simplify (- 0) into 0 14.375 * [backup-simplify]: Simplify (+ 0 0) into 0 14.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) y) (* 0 0))) into (- 1) 14.377 * [backup-simplify]: Simplify (+ (* 0.5 (- 1)) (+ (* 0 y) (* 0 0))) into (- 0.5) 14.377 * [taylor]: Taking taylor expansion of (- 0.5) in y 14.377 * [taylor]: Taking taylor expansion of 0.5 in y 14.377 * [backup-simplify]: Simplify 0.5 into 0.5 14.377 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.377 * [backup-simplify]: Simplify 0 into 0 14.377 * [backup-simplify]: Simplify 0 into 0 14.378 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 y)))) into 0 14.379 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.379 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.380 * [backup-simplify]: Simplify (- 0) into 0 14.380 * [backup-simplify]: Simplify (+ 0 0) into 0 14.380 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 y) (* 0 0)))) into 0 14.381 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))) into 0 14.381 * [taylor]: Taking taylor expansion of 0 in y 14.381 * [backup-simplify]: Simplify 0 into 0 14.382 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.382 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.383 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 14.383 * [backup-simplify]: Simplify 0.5 into 0.5 14.383 * [backup-simplify]: Simplify 0 into 0 14.384 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 y))))) into 0 14.384 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.384 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.385 * [backup-simplify]: Simplify (- 0) into 0 14.385 * [backup-simplify]: Simplify (+ 0 0) into 0 14.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 y) (* 0 0))))) into 0 14.386 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0))))) into 0 14.387 * [taylor]: Taking taylor expansion of 0 in y 14.387 * [backup-simplify]: Simplify 0 into 0 14.387 * [backup-simplify]: Simplify 0 into 0 14.387 * [backup-simplify]: Simplify (- 0) into 0 14.387 * [backup-simplify]: Simplify 0 into 0 14.388 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 14.388 * [backup-simplify]: Simplify 0 into 0 14.388 * [backup-simplify]: Simplify 0 into 0 14.389 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 y)))))) into 0 14.390 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.390 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.390 * [backup-simplify]: Simplify (- 0) into 0 14.391 * [backup-simplify]: Simplify (+ 0 0) into 0 14.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 y) (* 0 0)))))) into 0 14.393 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (- 1)) (+ (* 0 y) (* 0 0)))))) into 0 14.393 * [taylor]: Taking taylor expansion of 0 in y 14.393 * [backup-simplify]: Simplify 0 into 0 14.393 * [backup-simplify]: Simplify 0 into 0 14.393 * [backup-simplify]: Simplify (+ (* 0.5 (* (/ 1 y) 1)) (* (- 0.5) (* 1 (/ 1 x)))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 14.394 * [backup-simplify]: Simplify (/ (/ (- (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) (/ 1 (- y))) into (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) 14.394 * [approximate]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in (x y) around 0 14.394 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in y 14.394 * [taylor]: Taking taylor expansion of 0.5 in y 14.394 * [backup-simplify]: Simplify 0.5 into 0.5 14.394 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in y 14.394 * [taylor]: Taking taylor expansion of x in y 14.394 * [backup-simplify]: Simplify x into x 14.394 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in y 14.394 * [taylor]: Taking taylor expansion of y in y 14.394 * [backup-simplify]: Simplify 0 into 0 14.394 * [backup-simplify]: Simplify 1 into 1 14.394 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 14.394 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.394 * [taylor]: Taking taylor expansion of y in y 14.394 * [backup-simplify]: Simplify 0 into 0 14.394 * [backup-simplify]: Simplify 1 into 1 14.394 * [backup-simplify]: Simplify (/ 1 1) into 1 14.394 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.394 * [taylor]: Taking taylor expansion of x in y 14.394 * [backup-simplify]: Simplify x into x 14.394 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.394 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x 14.394 * [taylor]: Taking taylor expansion of 0.5 in x 14.394 * [backup-simplify]: Simplify 0.5 into 0.5 14.394 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x 14.394 * [taylor]: Taking taylor expansion of x in x 14.394 * [backup-simplify]: Simplify 0 into 0 14.394 * [backup-simplify]: Simplify 1 into 1 14.394 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x 14.395 * [taylor]: Taking taylor expansion of y in x 14.395 * [backup-simplify]: Simplify y into y 14.395 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 14.395 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.395 * [taylor]: Taking taylor expansion of y in x 14.395 * [backup-simplify]: Simplify y into y 14.395 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.395 * [taylor]: Taking taylor expansion of x in x 14.395 * [backup-simplify]: Simplify 0 into 0 14.395 * [backup-simplify]: Simplify 1 into 1 14.395 * [backup-simplify]: Simplify (/ 1 1) into 1 14.395 * [taylor]: Taking taylor expansion of (* 0.5 (* x (* y (- (/ 1 y) (/ 1 x))))) in x 14.395 * [taylor]: Taking taylor expansion of 0.5 in x 14.395 * [backup-simplify]: Simplify 0.5 into 0.5 14.395 * [taylor]: Taking taylor expansion of (* x (* y (- (/ 1 y) (/ 1 x)))) in x 14.395 * [taylor]: Taking taylor expansion of x in x 14.395 * [backup-simplify]: Simplify 0 into 0 14.395 * [backup-simplify]: Simplify 1 into 1 14.395 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 x))) in x 14.395 * [taylor]: Taking taylor expansion of y in x 14.395 * [backup-simplify]: Simplify y into y 14.395 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 14.395 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.395 * [taylor]: Taking taylor expansion of y in x 14.395 * [backup-simplify]: Simplify y into y 14.395 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.395 * [taylor]: Taking taylor expansion of x in x 14.395 * [backup-simplify]: Simplify 0 into 0 14.395 * [backup-simplify]: Simplify 1 into 1 14.396 * [backup-simplify]: Simplify (/ 1 1) into 1 14.396 * [backup-simplify]: Simplify (- 1) into -1 14.396 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.396 * [backup-simplify]: Simplify (* y -1) into (* -1 y) 14.396 * [backup-simplify]: Simplify (* 0 (* -1 y)) into 0 14.396 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.396 * [taylor]: Taking taylor expansion of 0 in y 14.396 * [backup-simplify]: Simplify 0 into 0 14.397 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.397 * [backup-simplify]: Simplify (- 0) into 0 14.397 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 14.398 * [backup-simplify]: Simplify (+ (* y (/ 1 y)) (* 0 -1)) into 1 14.398 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 (* -1 y))) into (- y) 14.398 * [backup-simplify]: Simplify (+ (* 0.5 (- y)) (* 0 0)) into (- (* 0.5 y)) 14.398 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 14.398 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 14.398 * [taylor]: Taking taylor expansion of 0.5 in y 14.398 * [backup-simplify]: Simplify 0.5 into 0.5 14.398 * [taylor]: Taking taylor expansion of y in y 14.398 * [backup-simplify]: Simplify 0 into 0 14.398 * [backup-simplify]: Simplify 1 into 1 14.398 * [backup-simplify]: Simplify 0 into 0 14.398 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.399 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.399 * [backup-simplify]: Simplify (- 0) into 0 14.399 * [backup-simplify]: Simplify (+ 0 0) into 0 14.400 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 (/ 1 y)) (* 0 -1))) into 0 14.400 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 (* -1 y)))) into 1 14.401 * [backup-simplify]: Simplify (+ (* 0.5 1) (+ (* 0 (- y)) (* 0 0))) into 0.5 14.401 * [taylor]: Taking taylor expansion of 0.5 in y 14.401 * [backup-simplify]: Simplify 0.5 into 0.5 14.401 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.401 * [backup-simplify]: Simplify (- 0) into 0 14.401 * [backup-simplify]: Simplify 0 into 0 14.401 * [backup-simplify]: Simplify 0 into 0 14.401 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.402 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.402 * [backup-simplify]: Simplify (- 0) into 0 14.402 * [backup-simplify]: Simplify (+ 0 0) into 0 14.403 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 14.404 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0 14.404 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))) into 0 14.405 * [taylor]: Taking taylor expansion of 0 in y 14.405 * [backup-simplify]: Simplify 0 into 0 14.405 * [backup-simplify]: Simplify 0.5 into 0.5 14.405 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 14.406 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.406 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.406 * [backup-simplify]: Simplify 0 into 0 14.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.407 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.407 * [backup-simplify]: Simplify (- 0) into 0 14.407 * [backup-simplify]: Simplify (+ 0 0) into 0 14.408 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 14.409 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y)))))) into 0 14.410 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0))))) into 0 14.410 * [taylor]: Taking taylor expansion of 0 in y 14.410 * [backup-simplify]: Simplify 0 into 0 14.410 * [backup-simplify]: Simplify 0 into 0 14.410 * [backup-simplify]: Simplify 0 into 0 14.411 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 0))) into 0 14.411 * [backup-simplify]: Simplify (- 0) into 0 14.411 * [backup-simplify]: Simplify 0 into 0 14.411 * [backup-simplify]: Simplify 0 into 0 14.411 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.412 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.412 * [backup-simplify]: Simplify (- 0) into 0 14.412 * [backup-simplify]: Simplify (+ 0 0) into 0 14.413 * [backup-simplify]: Simplify (+ (* y 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1)))))) into 0 14.414 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))))) into 0 14.416 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 (- y)) (* 0 0)))))) into 0 14.416 * [taylor]: Taking taylor expansion of 0 in y 14.416 * [backup-simplify]: Simplify 0 into 0 14.416 * [backup-simplify]: Simplify 0 into 0 14.416 * [backup-simplify]: Simplify (+ (* (- 0.5) (* (/ 1 (- y)) 1)) (* 0.5 (* 1 (/ 1 (- x))))) into (- (* 0.5 (/ 1 y)) (* 0.5 (/ 1 x))) 14.416 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 14.416 * [backup-simplify]: Simplify (/ (- x y) (* x 2.0)) into (* 0.5 (/ (- x y) x)) 14.416 * [approximate]: Taking taylor expansion of (* 0.5 (/ (- x y) x)) in (x y) around 0 14.416 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) x)) in y 14.416 * [taylor]: Taking taylor expansion of 0.5 in y 14.417 * [backup-simplify]: Simplify 0.5 into 0.5 14.417 * [taylor]: Taking taylor expansion of (/ (- x y) x) in y 14.417 * [taylor]: Taking taylor expansion of (- x y) in y 14.417 * [taylor]: Taking taylor expansion of x in y 14.417 * [backup-simplify]: Simplify x into x 14.417 * [taylor]: Taking taylor expansion of y in y 14.417 * [backup-simplify]: Simplify 0 into 0 14.417 * [backup-simplify]: Simplify 1 into 1 14.417 * [taylor]: Taking taylor expansion of x in y 14.417 * [backup-simplify]: Simplify x into x 14.417 * [backup-simplify]: Simplify (- 0) into 0 14.417 * [backup-simplify]: Simplify (+ x 0) into x 14.417 * [backup-simplify]: Simplify (/ x x) into 1 14.417 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) x)) in x 14.417 * [taylor]: Taking taylor expansion of 0.5 in x 14.417 * [backup-simplify]: Simplify 0.5 into 0.5 14.417 * [taylor]: Taking taylor expansion of (/ (- x y) x) in x 14.417 * [taylor]: Taking taylor expansion of (- x y) in x 14.417 * [taylor]: Taking taylor expansion of x in x 14.417 * [backup-simplify]: Simplify 0 into 0 14.417 * [backup-simplify]: Simplify 1 into 1 14.417 * [taylor]: Taking taylor expansion of y in x 14.417 * [backup-simplify]: Simplify y into y 14.417 * [taylor]: Taking taylor expansion of x in x 14.417 * [backup-simplify]: Simplify 0 into 0 14.417 * [backup-simplify]: Simplify 1 into 1 14.417 * [backup-simplify]: Simplify (- y) into (- y) 14.417 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 14.417 * [backup-simplify]: Simplify (/ (- y) 1) into (* -1 y) 14.417 * [taylor]: Taking taylor expansion of (* 0.5 (/ (- x y) x)) in x 14.417 * [taylor]: Taking taylor expansion of 0.5 in x 14.417 * [backup-simplify]: Simplify 0.5 into 0.5 14.417 * [taylor]: Taking taylor expansion of (/ (- x y) x) in x 14.417 * [taylor]: Taking taylor expansion of (- x y) in x 14.417 * [taylor]: Taking taylor expansion of x in x 14.418 * [backup-simplify]: Simplify 0 into 0 14.418 * [backup-simplify]: Simplify 1 into 1 14.418 * [taylor]: Taking taylor expansion of y in x 14.418 * [backup-simplify]: Simplify y into y 14.418 * [taylor]: Taking taylor expansion of x in x 14.418 * [backup-simplify]: Simplify 0 into 0 14.418 * [backup-simplify]: Simplify 1 into 1 14.418 * [backup-simplify]: Simplify (- y) into (- y) 14.418 * [backup-simplify]: Simplify (+ 0 (- y)) into (- y) 14.418 * [backup-simplify]: Simplify (/ (- y) 1) into (* -1 y) 14.418 * [backup-simplify]: Simplify (* 0.5 (* -1 y)) into (* -0.5 y) 14.418 * [taylor]: Taking taylor expansion of (* -0.5 y) in y 14.418 * [taylor]: Taking taylor expansion of -0.5 in y 14.418 * [backup-simplify]: Simplify -0.5 into -0.5 14.418 * [taylor]: Taking taylor expansion of y in y 14.418 * [backup-simplify]: Simplify 0 into 0 14.418 * [backup-simplify]: Simplify 1 into 1 14.418 * [backup-simplify]: Simplify (* -0.5 0) into 0 14.418 * [backup-simplify]: Simplify 0 into 0 14.419 * [backup-simplify]: Simplify (- 0) into 0 14.419 * [backup-simplify]: Simplify (+ 1 0) into 1 14.419 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* (* -1 y) (/ 0 1)))) into 1 14.420 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 (* -1 y))) into 0.5 14.420 * [taylor]: Taking taylor expansion of 0.5 in y 14.420 * [backup-simplify]: Simplify 0.5 into 0.5 14.420 * [backup-simplify]: Simplify 0.5 into 0.5 14.421 * [backup-simplify]: Simplify (+ (* -0.5 1) (* 0 0)) into (- 0.5) 14.421 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.421 * [backup-simplify]: Simplify (- 0) into 0 14.421 * [backup-simplify]: Simplify (+ 0 0) into 0 14.422 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 y) (/ 0 1)) (* 1 (/ 0 1)))) into 0 14.423 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 1) (* 0 (* -1 y)))) into 0 14.423 * [taylor]: Taking taylor expansion of 0 in y 14.423 * [backup-simplify]: Simplify 0 into 0 14.423 * [backup-simplify]: Simplify 0 into 0 14.423 * [backup-simplify]: Simplify 0 into 0 14.424 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 1) (* 0 0))) into 0 14.424 * [backup-simplify]: Simplify 0 into 0 14.424 * [backup-simplify]: Simplify (- 0) into 0 14.424 * [backup-simplify]: Simplify (+ 0 0) into 0 14.426 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (* -1 y) (/ 0 1)) (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.426 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 1) (* 0 (* -1 y))))) into 0 14.426 * [taylor]: Taking taylor expansion of 0 in y 14.426 * [backup-simplify]: Simplify 0 into 0 14.427 * [backup-simplify]: Simplify 0 into 0 14.427 * [backup-simplify]: Simplify 0 into 0 14.427 * [backup-simplify]: Simplify 0 into 0 14.427 * [backup-simplify]: Simplify (+ (* (- 0.5) (* y (/ 1 x))) 0.5) into (- 0.5 (* 0.5 (/ y x))) 14.427 * [backup-simplify]: Simplify (/ (- (/ 1 x) (/ 1 y)) (* (/ 1 x) 2.0)) into (* 0.5 (* (- (/ 1 x) (/ 1 y)) x)) 14.428 * [approximate]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) x)) in (x y) around 0 14.428 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) x)) in y 14.428 * [taylor]: Taking taylor expansion of 0.5 in y 14.428 * [backup-simplify]: Simplify 0.5 into 0.5 14.428 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) x) in y 14.428 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 14.428 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.428 * [taylor]: Taking taylor expansion of x in y 14.428 * [backup-simplify]: Simplify x into x 14.428 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.428 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.428 * [taylor]: Taking taylor expansion of y in y 14.428 * [backup-simplify]: Simplify 0 into 0 14.428 * [backup-simplify]: Simplify 1 into 1 14.428 * [backup-simplify]: Simplify (/ 1 1) into 1 14.428 * [taylor]: Taking taylor expansion of x in y 14.428 * [backup-simplify]: Simplify x into x 14.428 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) x)) in x 14.428 * [taylor]: Taking taylor expansion of 0.5 in x 14.428 * [backup-simplify]: Simplify 0.5 into 0.5 14.428 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) x) in x 14.428 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 14.428 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.428 * [taylor]: Taking taylor expansion of x in x 14.428 * [backup-simplify]: Simplify 0 into 0 14.428 * [backup-simplify]: Simplify 1 into 1 14.429 * [backup-simplify]: Simplify (/ 1 1) into 1 14.429 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.429 * [taylor]: Taking taylor expansion of y in x 14.429 * [backup-simplify]: Simplify y into y 14.429 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.429 * [taylor]: Taking taylor expansion of x in x 14.429 * [backup-simplify]: Simplify 0 into 0 14.429 * [backup-simplify]: Simplify 1 into 1 14.429 * [taylor]: Taking taylor expansion of (* 0.5 (* (- (/ 1 x) (/ 1 y)) x)) in x 14.429 * [taylor]: Taking taylor expansion of 0.5 in x 14.429 * [backup-simplify]: Simplify 0.5 into 0.5 14.429 * [taylor]: Taking taylor expansion of (* (- (/ 1 x) (/ 1 y)) x) in x 14.429 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 14.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.429 * [taylor]: Taking taylor expansion of x in x 14.429 * [backup-simplify]: Simplify 0 into 0 14.429 * [backup-simplify]: Simplify 1 into 1 14.429 * [backup-simplify]: Simplify (/ 1 1) into 1 14.429 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.429 * [taylor]: Taking taylor expansion of y in x 14.429 * [backup-simplify]: Simplify y into y 14.429 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.429 * [taylor]: Taking taylor expansion of x in x 14.429 * [backup-simplify]: Simplify 0 into 0 14.429 * [backup-simplify]: Simplify 1 into 1 14.430 * [backup-simplify]: Simplify (+ 1 0) into 1 14.430 * [backup-simplify]: Simplify (* 1 0) into 0 14.430 * [backup-simplify]: Simplify (* 0.5 0) into 0 14.430 * [taylor]: Taking taylor expansion of 0 in y 14.430 * [backup-simplify]: Simplify 0 into 0 14.431 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.431 * [backup-simplify]: Simplify (- (/ 1 y)) into (- (/ 1 y)) 14.431 * [backup-simplify]: Simplify (+ 0 (- (/ 1 y))) into (- (/ 1 y)) 14.431 * [backup-simplify]: Simplify (+ (* 1 1) (* (- (/ 1 y)) 0)) into 1 14.432 * [backup-simplify]: Simplify (+ (* 0.5 1) (* 0 0)) into 0.5 14.432 * [taylor]: Taking taylor expansion of 0.5 in y 14.432 * [backup-simplify]: Simplify 0.5 into 0.5 14.432 * [backup-simplify]: Simplify 0 into 0 14.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.433 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.433 * [backup-simplify]: Simplify (- 0) into 0 14.433 * [backup-simplify]: Simplify (+ 0 0) into 0 14.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 1) (* 0 0))) into (- (/ 1 y)) 14.434 * [backup-simplify]: Simplify (+ (* 0.5 (- (/ 1 y))) (+ (* 0 1) (* 0 0))) into (- (* 0.5 (/ 1 y))) 14.434 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 14.434 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 14.434 * [taylor]: Taking taylor expansion of 0.5 in y 14.434 * [backup-simplify]: Simplify 0.5 into 0.5 14.434 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.434 * [taylor]: Taking taylor expansion of y in y 14.434 * [backup-simplify]: Simplify 0 into 0 14.434 * [backup-simplify]: Simplify 1 into 1 14.434 * [backup-simplify]: Simplify (/ 1 1) into 1 14.435 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 14.435 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.435 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.435 * [backup-simplify]: Simplify 0.5 into 0.5 14.435 * [backup-simplify]: Simplify 0 into 0 14.436 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.436 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.436 * [backup-simplify]: Simplify (- 0) into 0 14.436 * [backup-simplify]: Simplify (+ 0 0) into 0 14.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 1) (* 0 0)))) into 0 14.438 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 (- (/ 1 y))) (+ (* 0 1) (* 0 0)))) into 0 14.438 * [taylor]: Taking taylor expansion of 0 in y 14.438 * [backup-simplify]: Simplify 0 into 0 14.438 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.439 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 14.439 * [backup-simplify]: Simplify (- 0) into 0 14.439 * [backup-simplify]: Simplify 0 into 0 14.439 * [backup-simplify]: Simplify 0 into 0 14.439 * [backup-simplify]: Simplify 0 into 0 14.440 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.440 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.440 * [backup-simplify]: Simplify (- 0) into 0 14.440 * [backup-simplify]: Simplify (+ 0 0) into 0 14.441 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* (- (/ 1 y)) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 14.442 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (+ (* 0 (- (/ 1 y))) (+ (* 0 1) (* 0 0))))) into 0 14.442 * [taylor]: Taking taylor expansion of 0 in y 14.442 * [backup-simplify]: Simplify 0 into 0 14.442 * [backup-simplify]: Simplify 0 into 0 14.443 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.443 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 14.444 * [backup-simplify]: Simplify (- 0) into 0 14.444 * [backup-simplify]: Simplify 0 into 0 14.444 * [backup-simplify]: Simplify (+ 0.5 (* (- 0.5) (* (/ 1 (/ 1 y)) (/ 1 x)))) into (- 0.5 (* 0.5 (/ y x))) 14.444 * [backup-simplify]: Simplify (/ (- (/ 1 (- x)) (/ 1 (- y))) (* (/ 1 (- x)) 2.0)) into (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) 14.444 * [approximate]: Taking taylor expansion of (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) in (x y) around 0 14.444 * [taylor]: Taking taylor expansion of (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) in y 14.444 * [taylor]: Taking taylor expansion of -0.5 in y 14.444 * [backup-simplify]: Simplify -0.5 into -0.5 14.444 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in y 14.444 * [taylor]: Taking taylor expansion of x in y 14.444 * [backup-simplify]: Simplify x into x 14.444 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 14.444 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.444 * [taylor]: Taking taylor expansion of y in y 14.444 * [backup-simplify]: Simplify 0 into 0 14.444 * [backup-simplify]: Simplify 1 into 1 14.445 * [backup-simplify]: Simplify (/ 1 1) into 1 14.445 * [taylor]: Taking taylor expansion of (/ 1 x) in y 14.445 * [taylor]: Taking taylor expansion of x in y 14.445 * [backup-simplify]: Simplify x into x 14.445 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 14.445 * [taylor]: Taking taylor expansion of (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) in x 14.445 * [taylor]: Taking taylor expansion of -0.5 in x 14.445 * [backup-simplify]: Simplify -0.5 into -0.5 14.445 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in x 14.445 * [taylor]: Taking taylor expansion of x in x 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 1 into 1 14.445 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 14.445 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.445 * [taylor]: Taking taylor expansion of y in x 14.445 * [backup-simplify]: Simplify y into y 14.445 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.445 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.445 * [taylor]: Taking taylor expansion of x in x 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 1 into 1 14.445 * [backup-simplify]: Simplify (/ 1 1) into 1 14.445 * [taylor]: Taking taylor expansion of (* -0.5 (* x (- (/ 1 y) (/ 1 x)))) in x 14.445 * [taylor]: Taking taylor expansion of -0.5 in x 14.445 * [backup-simplify]: Simplify -0.5 into -0.5 14.445 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in x 14.445 * [taylor]: Taking taylor expansion of x in x 14.445 * [backup-simplify]: Simplify 0 into 0 14.445 * [backup-simplify]: Simplify 1 into 1 14.445 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 14.445 * [taylor]: Taking taylor expansion of (/ 1 y) in x 14.446 * [taylor]: Taking taylor expansion of y in x 14.446 * [backup-simplify]: Simplify y into y 14.446 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 14.446 * [taylor]: Taking taylor expansion of (/ 1 x) in x 14.446 * [taylor]: Taking taylor expansion of x in x 14.446 * [backup-simplify]: Simplify 0 into 0 14.446 * [backup-simplify]: Simplify 1 into 1 14.446 * [backup-simplify]: Simplify (/ 1 1) into 1 14.446 * [backup-simplify]: Simplify (- 1) into -1 14.447 * [backup-simplify]: Simplify (+ 0 -1) into -1 14.447 * [backup-simplify]: Simplify (* 0 -1) into 0 14.447 * [backup-simplify]: Simplify (* -0.5 0) into 0 14.447 * [taylor]: Taking taylor expansion of 0 in y 14.447 * [backup-simplify]: Simplify 0 into 0 14.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.448 * [backup-simplify]: Simplify (- 0) into 0 14.449 * [backup-simplify]: Simplify (+ (/ 1 y) 0) into (/ 1 y) 14.449 * [backup-simplify]: Simplify (+ (* 0 (/ 1 y)) (* 1 -1)) into (- 1) 14.451 * [backup-simplify]: Simplify (+ (* -0.5 (- 1)) (* 0 0)) into 0.5 14.451 * [taylor]: Taking taylor expansion of 0.5 in y 14.451 * [backup-simplify]: Simplify 0.5 into 0.5 14.451 * [backup-simplify]: Simplify 0 into 0 14.451 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0 14.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.453 * [backup-simplify]: Simplify (- 0) into 0 14.453 * [backup-simplify]: Simplify (+ 0 0) into 0 14.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 (/ 1 y)) (* 0 -1))) into (/ 1 y) 14.455 * [backup-simplify]: Simplify (+ (* -0.5 (/ 1 y)) (+ (* 0 (- 1)) (* 0 0))) into (- (* 0.5 (/ 1 y))) 14.455 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 14.455 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 14.455 * [taylor]: Taking taylor expansion of 0.5 in y 14.455 * [backup-simplify]: Simplify 0.5 into 0.5 14.455 * [taylor]: Taking taylor expansion of (/ 1 y) in y 14.455 * [taylor]: Taking taylor expansion of y in y 14.455 * [backup-simplify]: Simplify 0 into 0 14.455 * [backup-simplify]: Simplify 1 into 1 14.455 * [backup-simplify]: Simplify (/ 1 1) into 1 14.456 * [backup-simplify]: Simplify (* 0.5 1) into 0.5 14.456 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.456 * [backup-simplify]: Simplify (- 0.5) into (- 0.5) 14.457 * [backup-simplify]: Simplify 0.5 into 0.5 14.457 * [backup-simplify]: Simplify 0 into 0 14.457 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.458 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.458 * [backup-simplify]: Simplify (- 0) into 0 14.458 * [backup-simplify]: Simplify (+ 0 0) into 0 14.460 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 (/ 1 y)) (* 0 -1)))) into 0 14.461 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 (/ 1 y)) (+ (* 0 (- 1)) (* 0 0)))) into 0 14.461 * [taylor]: Taking taylor expansion of 0 in y 14.461 * [backup-simplify]: Simplify 0 into 0 14.462 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 14.462 * [backup-simplify]: Simplify (+ (* 0.5 0) (* 0 1)) into 0 14.463 * [backup-simplify]: Simplify (- 0) into 0 14.463 * [backup-simplify]: Simplify 0 into 0 14.463 * [backup-simplify]: Simplify 0 into 0 14.463 * [backup-simplify]: Simplify 0 into 0 14.463 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)) (* 0 (/ 0 y)))) into 0 14.464 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.464 * [backup-simplify]: Simplify (- 0) into 0 14.465 * [backup-simplify]: Simplify (+ 0 0) into 0 14.466 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (* 0 -1))))) into 0 14.468 * [backup-simplify]: Simplify (+ (* -0.5 0) (+ (* 0 0) (+ (* 0 (/ 1 y)) (+ (* 0 (- 1)) (* 0 0))))) into 0 14.468 * [taylor]: Taking taylor expansion of 0 in y 14.468 * [backup-simplify]: Simplify 0 into 0 14.468 * [backup-simplify]: Simplify 0 into 0 14.469 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 14.470 * [backup-simplify]: Simplify (+ (* 0.5 0) (+ (* 0 0) (* 0 1))) into 0 14.470 * [backup-simplify]: Simplify (- 0) into 0 14.470 * [backup-simplify]: Simplify 0 into 0 14.471 * [backup-simplify]: Simplify (+ 0.5 (* (- 0.5) (* (/ 1 (/ 1 (- y))) (/ 1 (- x))))) into (- 0.5 (* 0.5 (/ y x))) 14.471 * * * [progress]: simplifying candidates 14.477 * [simplify]: Simplifying: (expm1 (/ (/ (- x y) (* x 2.0)) y)) (log1p (/ (/ (- x y) (* x 2.0)) y)) (- (- (log (- x y)) (+ (log x) (log 2.0))) (log y)) (- (- (log (- x y)) (log (* x 2.0))) (log y)) (- (log (/ (- x y) (* x 2.0))) (log 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 2.0)) (/ (- x y) (* x 2.0))) (/ (- x y) (* x 2.0))) (* (* y y) 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) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ (- x y) (* x 2.0))) (cbrt y)) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (sqrt y)) (/ (cbrt (/ (- x y) (* x 2.0))) (sqrt y)) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) 1) (/ (cbrt (/ (- x y) (* x 2.0))) y) (/ (sqrt (/ (- x y) (* x 2.0))) (* (cbrt y) (cbrt y))) (/ (sqrt (/ (- x y) (* x 2.0))) (cbrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) 1) (/ (sqrt (/ (- x y) (* x 2.0))) y) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (- x y)) 2.0) (cbrt y)) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (sqrt y)) (/ (/ (cbrt (- x y)) 2.0) (sqrt y)) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) 1) (/ (/ (cbrt (- x y)) 2.0) y) (/ (/ (sqrt (- x y)) x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (- x y)) 2.0) (cbrt y)) (/ (/ (sqrt (- x y)) x) (sqrt y)) (/ (/ (sqrt (- x y)) 2.0) (sqrt y)) (/ (/ (sqrt (- x y)) x) 1) (/ (/ (sqrt (- x y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (- x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (- x y) 2.0) (sqrt y)) (/ (/ 1 x) 1) (/ (/ (- x y) 2.0) y) (/ (/ (+ (sqrt x) (sqrt y)) x) (* (cbrt y) (cbrt y))) (/ (/ (- (sqrt x) (sqrt y)) 2.0) (cbrt y)) (/ (/ (+ (sqrt x) (sqrt y)) x) (sqrt y)) (/ (/ (- (sqrt x) (sqrt y)) 2.0) (sqrt y)) (/ (/ (+ (sqrt x) (sqrt y)) x) 1) (/ (/ (- (sqrt x) (sqrt y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (- x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (- x y) 2.0) (sqrt y)) (/ (/ 1 x) 1) (/ (/ (- x y) 2.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ (- x y) (* x 2.0)) (cbrt y)) (/ 1 (sqrt y)) (/ (/ (- x y) (* x 2.0)) (sqrt y)) (/ 1 1) (/ (/ (- x y) (* x 2.0)) y) (/ (- x y) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (cbrt y)) (/ (- x y) (sqrt y)) (/ (/ 1 (* x 2.0)) (sqrt y)) (/ (- x y) 1) (/ (/ 1 (* x 2.0)) y) (/ 1 y) (/ y (/ (- x y) (* x 2.0))) (/ (/ (- x y) (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ (- x y) (* x 2.0)) (sqrt y)) (/ (/ (- x y) (* x 2.0)) 1) (/ y (cbrt (/ (- x y) (* x 2.0)))) (/ y (sqrt (/ (- x y) (* x 2.0)))) (/ y (/ (cbrt (- x y)) 2.0)) (/ y (/ (sqrt (- x y)) 2.0)) (/ y (/ (- x y) 2.0)) (/ y (/ (- (sqrt x) (sqrt y)) 2.0)) (/ y (/ (- x y) 2.0)) (/ y (/ (- x y) (* x 2.0))) (/ y (/ 1 (* x 2.0))) (* y (* x 2.0)) (expm1 (/ (- x y) (* x 2.0))) (log1p (/ (- x y) (* x 2.0))) (- (log (- x y)) (+ (log x) (log 2.0))) (- (log (- x y)) (log (* x 2.0))) (log (/ (- x y) (* x 2.0))) (exp (/ (- x y) (* x 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* x x) x) (* (* 2.0 2.0) 2.0))) (/ (* (* (- x y) (- x y)) (- x y)) (* (* (* x 2.0) (* x 2.0)) (* x 2.0))) (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (cbrt (/ (- x y) (* x 2.0))) (* (* (/ (- x y) (* x 2.0)) (/ (- x y) (* x 2.0))) (/ (- x y) (* x 2.0))) (sqrt (/ (- x y) (* x 2.0))) (sqrt (/ (- x y) (* x 2.0))) (- (- x y)) (- (* x 2.0)) (/ x (* x 2.0)) (/ y (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (/ (cbrt (- x y)) 2.0) (/ (sqrt (- x y)) x) (/ (sqrt (- x y)) 2.0) (/ 1 x) (/ (- x y) 2.0) (/ (+ (sqrt x) (sqrt y)) x) (/ (- (sqrt x) (sqrt y)) 2.0) (/ 1 x) (/ (- x y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (- x y)) (/ (- x y) x) (/ (* x 2.0) (cbrt (- x y))) (/ (* x 2.0) (sqrt (- x y))) (/ (* x 2.0) (- x y)) (/ (* x 2.0) (- (sqrt x) (sqrt y))) (/ (* x 2.0) (- x y)) (* (* x 2.0) (+ (* x x) (+ (* y y) (* x y)))) (* (* x 2.0) (+ 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 (* 0.5 (/ y x))) (- 0.5 (* 0.5 (/ y x))) (- 0.5 (* 0.5 (/ y x))) 14.482 * * [simplify]: Extracting # 0 : cost 0 14.482 * * [simplify]: Extracting # 1 : cost 0 14.483 * * [simplify]: Extracting # 2 : cost 0 14.483 * * [simplify]: Extracting # 3 : cost 0 14.483 * * [simplify]: Extracting # 4 : cost 0 14.484 * * [simplify]: Extracting # 5 : cost 0 14.484 * * [simplify]: Extracting # 6 : cost 0 14.485 * * [simplify]: iteration 0 : 155 enodes (cost 1280 ) 14.548 * * [simplify]: Extracting # 0 : cost 0 14.549 * * [simplify]: Extracting # 1 : cost 0 14.550 * * [simplify]: Extracting # 2 : cost 0 14.550 * * [simplify]: Extracting # 3 : cost 0 14.551 * * [simplify]: iteration 1 : 389 enodes (cost 1242 ) 14.769 * * [simplify]: Extracting # 0 : cost 0 14.771 * * [simplify]: Extracting # 1 : cost 0 14.774 * * [simplify]: Extracting # 2 : cost 0 14.777 * * [simplify]: Extracting # 3 : cost 0 14.780 * * [simplify]: Extracting # 4 : cost 0 14.782 * * [simplify]: Extracting # 5 : cost 0 14.788 * * [simplify]: iteration 2 : 1948 enodes (cost 1132 ) 15.428 * * [simplify]: Extracting # 0 : cost 0 15.435 * * [simplify]: Extracting # 1 : cost 0 15.444 * * [simplify]: Extracting # 2 : cost 0 15.452 * * [simplify]: Extracting # 3 : cost 0 15.464 * * [simplify]: iteration done: 5000 enodes (cost 1116 ) 15.465 * [simplify]: Simplified to: (expm1 (/ (/ (- x y) (* x 2.0)) y)) (log1p (/ (/ (- 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)) (log (/ (/ (- x y) (* x 2.0)) y)) (exp (/ (/ (- x y) (* x 2.0)) y)) (pow (/ (/ (- x y) (* x 2.0)) y) 3) (pow (/ (/ (- x y) (* x 2.0)) y) 3) (pow (/ (/ (- x y) (* x 2.0)) y) 3) (* (cbrt (/ (/ (- x y) (* x 2.0)) y)) (cbrt (/ (/ (- x y) (* x 2.0)) y))) (cbrt (/ (/ (- x y) (* x 2.0)) y)) (pow (/ (/ (- x y) (* x 2.0)) y) 3) (sqrt (/ (/ (- x y) (* x 2.0)) y)) (sqrt (/ (/ (- x y) (* x 2.0)) y)) (- (/ (- x y) (* x 2.0))) (- y) (/ 1 (* y 2.0)) (/ (/ y (* x 2.0)) y) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (* (cbrt y) (cbrt y))) (/ (cbrt (/ (- x y) (* x 2.0))) (cbrt y)) (/ (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (sqrt y)) (/ (cbrt (/ (- x y) (* x 2.0))) (sqrt y)) (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (/ (cbrt (/ (- x y) (* x 2.0))) y) (/ (sqrt (/ (- x y) (* x 2.0))) (* (cbrt y) (cbrt y))) (/ (sqrt (/ (- x y) (* x 2.0))) (cbrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) (sqrt y)) (/ (sqrt (/ (- x y) (* x 2.0))) (sqrt y)) (sqrt (/ (- x y) (* x 2.0))) (/ (sqrt (/ (- x y) (* x 2.0))) y) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (* (cbrt y) (cbrt y))) (/ (/ (cbrt (- x y)) 2.0) (cbrt y)) (/ (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (sqrt y)) (/ (/ (cbrt (- x y)) 2.0) (sqrt y)) (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (/ (/ (cbrt (- x y)) 2.0) y) (/ (/ (sqrt (- x y)) x) (* (cbrt y) (cbrt y))) (/ (/ (sqrt (- x y)) 2.0) (cbrt y)) (/ (/ (sqrt (- x y)) x) (sqrt y)) (/ (/ (sqrt (- x y)) 2.0) (sqrt y)) (/ (sqrt (- x y)) x) (/ (/ (sqrt (- x y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (- x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (- x y) 2.0) (sqrt y)) (/ 1 x) (/ (/ (- x y) 2.0) y) (/ (/ (+ (sqrt x) (sqrt y)) x) (* (cbrt y) (cbrt y))) (/ (/ (- (sqrt x) (sqrt y)) 2.0) (cbrt y)) (/ (/ (+ (sqrt x) (sqrt y)) x) (sqrt y)) (/ (/ (- (sqrt x) (sqrt y)) 2.0) (sqrt y)) (/ (+ (sqrt x) (sqrt y)) x) (/ (/ (- (sqrt x) (sqrt y)) 2.0) y) (/ (/ 1 x) (* (cbrt y) (cbrt y))) (/ (/ (- x y) 2.0) (cbrt y)) (/ (/ 1 x) (sqrt y)) (/ (/ (- x y) 2.0) (sqrt y)) (/ 1 x) (/ (/ (- x y) 2.0) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (/ (- x y) (* x 2.0)) (cbrt y)) (/ 1 (sqrt y)) (/ (/ (- x y) (* x 2.0)) (sqrt y)) 1 (/ (/ (- x y) (* x 2.0)) y) (/ (- x y) (* (cbrt y) (cbrt y))) (/ (/ 1 (* x 2.0)) (cbrt y)) (/ (- x y) (sqrt y)) (/ (/ 1 (* x 2.0)) (sqrt y)) (- x y) (/ (/ 1 (* x 2.0)) y) (/ 1 y) (/ y (/ (- x y) (* x 2.0))) (/ (/ (- x y) (* x 2.0)) (* (cbrt y) (cbrt y))) (/ (/ (- x y) (* x 2.0)) (sqrt y)) (/ (- x y) (* x 2.0)) (/ y (cbrt (/ (- x y) (* x 2.0)))) (/ y (sqrt (/ (- x y) (* x 2.0)))) (/ y (/ (cbrt (- x y)) 2.0)) (/ y (/ (sqrt (- x y)) 2.0)) (/ y (/ (- x y) 2.0)) (/ y (/ (- (sqrt x) (sqrt y)) 2.0)) (/ y (/ (- x y) 2.0)) (/ y (/ (- x y) (* x 2.0))) (* y (* x 2.0)) (* y (* x 2.0)) (expm1 (/ (- x y) (* x 2.0))) (log1p (/ (- x y) (* x 2.0))) (log (/ (- x y) (* x 2.0))) (log (/ (- x y) (* x 2.0))) (log (/ (- x y) (* x 2.0))) (exp (/ (- x y) (* x 2.0))) (pow (/ (- x y) (* x 2.0)) 3) (pow (/ (- x y) (* x 2.0)) 3) (* (cbrt (/ (- x y) (* x 2.0))) (cbrt (/ (- x y) (* x 2.0)))) (cbrt (/ (- x y) (* x 2.0))) (pow (/ (- x y) (* x 2.0)) 3) (sqrt (/ (- x y) (* x 2.0))) (sqrt (/ (- x y) (* x 2.0))) (- (- x y)) (- (* x 2.0)) (/ 1 2.0) (/ y (* x 2.0)) (/ (* (cbrt (- x y)) (cbrt (- x y))) x) (/ (cbrt (- x y)) 2.0) (/ (sqrt (- x y)) x) (/ (sqrt (- x y)) 2.0) (/ 1 x) (/ (- x y) 2.0) (/ (+ (sqrt x) (sqrt y)) x) (/ (- (sqrt x) (sqrt y)) 2.0) (/ 1 x) (/ (- x y) 2.0) (/ 1 (* x 2.0)) (/ (* x 2.0) (- x y)) (/ (- x y) x) (/ (* x 2.0) (cbrt (- x y))) (/ (* x 2.0) (sqrt (- x y))) (/ (* x 2.0) (- x y)) (/ (* x 2.0) (- (sqrt x) (sqrt y))) (/ (* x 2.0) (- x y)) (* (* x 2.0) (fma x x (* y (+ x y)))) (* (* x 2.0) (+ x y)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- (/ 0.5 y) (/ 0.5 x)) (- 0.5 (* 0.5 (/ y x))) (- 0.5 (* 0.5 (/ y x))) (- 0.5 (* 0.5 (/ y x))) 15.466 * * * [progress]: adding candidates to table 15.696 * [progress]: [Phase 3 of 3] Extracting. 15.696 * * [regime]: Finding splitpoints for: (# #) 15.697 * * * [regime-changes]: Trying 2 branch expressions: (y x) 15.697 * * * * [regimes]: Trying to branch on y from (# #) 15.716 * * * * [regimes]: Trying to branch on x from (# #) 15.739 * * * [regime]: Found split indices: #