28.390 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.032 * [progress]: [Phase 2 of 3] Improving. 0.032 * [simplify]: Simplifying: (+ (+ (* x y) x) y) 0.032 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.032 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.032 * * [simplify]: Extracting # 2 : cost 4 inf + 1 0.032 * * [simplify]: Extracting # 3 : cost 3 inf + 2 0.032 * * [simplify]: Extracting # 4 : cost 0 inf + 248 0.032 * * [simplify]: iteration 0 : 5 enodes (cost 122 ) 0.035 * * [simplify]: Extracting # 0 : cost 0 inf + 248 0.035 * * [simplify]: Extracting # 1 : cost 1 inf + 198 0.035 * * [simplify]: Extracting # 2 : cost 0 inf + 240 0.035 * * [simplify]: iteration 1 : 11 enodes (cost 97 ) 0.039 * * [simplify]: Extracting # 0 : cost 0 inf + 240 0.039 * * [simplify]: Extracting # 1 : cost 3 inf + 240 0.039 * * [simplify]: Extracting # 2 : cost 2 inf + 404 0.039 * * [simplify]: Extracting # 3 : cost 0 inf + 447 0.040 * * [simplify]: iteration 2 : 23 enodes (cost 97 ) 0.046 * * [simplify]: Extracting # 0 : cost 0 inf + 447 0.047 * * [simplify]: Extracting # 1 : cost 1 inf + 397 0.047 * * [simplify]: Extracting # 2 : cost 0 inf + 439 0.047 * * [simplify]: iteration 3 : 32 enodes (cost 97 ) 0.055 * * [simplify]: Extracting # 0 : cost 0 inf + 439 0.056 * * [simplify]: Extracting # 1 : cost 2 inf + 439 0.056 * * [simplify]: Extracting # 2 : cost 0 inf + 523 0.057 * * [simplify]: iteration 4 : 40 enodes (cost 97 ) 0.078 * * [simplify]: Extracting # 0 : cost 0 inf + 523 0.078 * * [simplify]: Extracting # 1 : cost 8 inf + 441 0.079 * * [simplify]: Extracting # 2 : cost 0 inf + 777 0.079 * * [simplify]: iteration 5 : 65 enodes (cost 97 ) 0.090 * * [simplify]: Extracting # 0 : cost 0 inf + 777 0.091 * * [simplify]: Extracting # 1 : cost 16 inf + 695 0.091 * * [simplify]: Extracting # 2 : cost 0 inf + 1367 0.092 * * [simplify]: iteration 6 : 110 enodes (cost 97 ) 0.108 * * [simplify]: Extracting # 0 : cost 0 inf + 1367 0.109 * * [simplify]: Extracting # 1 : cost 17 inf + 1121 0.109 * * [simplify]: Extracting # 2 : cost 0 inf + 1835 0.110 * * [simplify]: iteration 7 : 177 enodes (cost 97 ) 0.161 * * [simplify]: Extracting # 0 : cost 0 inf + 1835 0.163 * * [simplify]: Extracting # 1 : cost 13 inf + 1589 0.165 * * [simplify]: Extracting # 2 : cost 0 inf + 2135 0.167 * * [simplify]: iteration 8 : 242 enodes (cost 97 ) 0.205 * * [simplify]: Extracting # 0 : cost 0 inf + 2135 0.207 * * [simplify]: Extracting # 1 : cost 18 inf + 2135 0.209 * * [simplify]: Extracting # 2 : cost 0 inf + 2891 0.211 * * [simplify]: iteration 9 : 313 enodes (cost 97 ) 0.293 * * [simplify]: Extracting # 0 : cost 0 inf + 2891 0.294 * * [simplify]: Extracting # 1 : cost 17 inf + 2891 0.295 * * [simplify]: Extracting # 2 : cost 0 inf + 3605 0.297 * * [simplify]: iteration 10 : 380 enodes (cost 97 ) 0.366 * * [simplify]: Extracting # 0 : cost 0 inf + 3605 0.369 * * [simplify]: Extracting # 1 : cost 15 inf + 3605 0.373 * * [simplify]: Extracting # 2 : cost 0 inf + 4235 0.376 * * [simplify]: iteration 11 : 442 enodes (cost 97 ) 0.459 * * [simplify]: Extracting # 0 : cost 0 inf + 4235 0.461 * * [simplify]: Extracting # 1 : cost 17 inf + 4235 0.463 * * [simplify]: Extracting # 2 : cost 0 inf + 4949 0.465 * * [simplify]: iteration 12 : 498 enodes (cost 97 ) 0.523 * * [simplify]: Extracting # 0 : cost 0 inf + 4949 0.527 * * [simplify]: Extracting # 1 : cost 12 inf + 4949 0.531 * * [simplify]: Extracting # 2 : cost 0 inf + 5453 0.535 * * [simplify]: iteration 13 : 554 enodes (cost 97 ) 0.588 * * [simplify]: Extracting # 0 : cost 0 inf + 5453 0.590 * * [simplify]: Extracting # 1 : cost 16 inf + 5453 0.595 * * [simplify]: Extracting # 2 : cost 0 inf + 6125 0.600 * * [simplify]: iteration 14 : 610 enodes (cost 97 ) 0.698 * * [simplify]: Extracting # 0 : cost 0 inf + 6125 0.703 * * [simplify]: Extracting # 1 : cost 12 inf + 6125 0.708 * * [simplify]: Extracting # 2 : cost 0 inf + 6629 0.712 * * [simplify]: iteration 15 : 668 enodes (cost 97 ) 0.777 * * [simplify]: Extracting # 0 : cost 0 inf + 6629 0.780 * * [simplify]: Extracting # 1 : cost 16 inf + 6629 0.782 * * [simplify]: Extracting # 2 : cost 0 inf + 7301 0.785 * * [simplify]: iteration 16 : 724 enodes (cost 97 ) 0.857 * * [simplify]: Extracting # 0 : cost 0 inf + 7301 0.860 * * [simplify]: Extracting # 1 : cost 13 inf + 7301 0.863 * * [simplify]: Extracting # 2 : cost 0 inf + 7847 0.866 * * [simplify]: iteration 17 : 781 enodes (cost 97 ) 0.941 * * [simplify]: Extracting # 0 : cost 0 inf + 7847 0.947 * * [simplify]: Extracting # 1 : cost 17 inf + 7847 0.953 * * [simplify]: Extracting # 2 : cost 0 inf + 8561 0.959 * * [simplify]: iteration 18 : 837 enodes (cost 97 ) 1.084 * * [simplify]: Extracting # 0 : cost 0 inf + 8561 1.087 * * [simplify]: Extracting # 1 : cost 12 inf + 8561 1.089 * * [simplify]: Extracting # 2 : cost 0 inf + 9065 1.092 * * [simplify]: iteration 19 : 892 enodes (cost 97 ) 1.152 * * [simplify]: Extracting # 0 : cost 0 inf + 9065 1.159 * * [simplify]: Extracting # 1 : cost 16 inf + 9065 1.162 * * [simplify]: Extracting # 2 : cost 0 inf + 9737 1.165 * * [simplify]: iteration 20 : 948 enodes (cost 97 ) 1.274 * * [simplify]: Extracting # 0 : cost 0 inf + 9737 1.278 * * [simplify]: Extracting # 1 : cost 13 inf + 9737 1.281 * * [simplify]: Extracting # 2 : cost 0 inf + 10283 1.285 * * [simplify]: iteration 21 : 1005 enodes (cost 97 ) 1.364 * * [simplify]: Extracting # 0 : cost 0 inf + 10283 1.371 * * [simplify]: Extracting # 1 : cost 17 inf + 10283 1.378 * * [simplify]: Extracting # 2 : cost 0 inf + 10997 1.386 * * [simplify]: iteration 22 : 1061 enodes (cost 97 ) 1.523 * * [simplify]: Extracting # 0 : cost 0 inf + 10997 1.527 * * [simplify]: Extracting # 1 : cost 12 inf + 10997 1.531 * * [simplify]: Extracting # 2 : cost 0 inf + 11501 1.536 * * [simplify]: iteration 23 : 1116 enodes (cost 97 ) 1.610 * * [simplify]: Extracting # 0 : cost 0 inf + 11501 1.614 * * [simplify]: Extracting # 1 : cost 17 inf + 11501 1.618 * * [simplify]: Extracting # 2 : cost 0 inf + 12215 1.622 * * [simplify]: iteration 24 : 1172 enodes (cost 97 ) 1.781 * * [simplify]: Extracting # 0 : cost 0 inf + 12215 1.785 * * [simplify]: Extracting # 1 : cost 13 inf + 12215 1.789 * * [simplify]: Extracting # 2 : cost 0 inf + 12761 1.793 * * [simplify]: iteration 25 : 1227 enodes (cost 97 ) 1.873 * * [simplify]: Extracting # 0 : cost 0 inf + 12761 1.878 * * [simplify]: Extracting # 1 : cost 16 inf + 12761 1.884 * * [simplify]: Extracting # 2 : cost 0 inf + 13433 1.888 * * [simplify]: iteration 26 : 1283 enodes (cost 97 ) 2.045 * * [simplify]: Extracting # 0 : cost 0 inf + 13433 2.049 * * [simplify]: Extracting # 1 : cost 13 inf + 13433 2.057 * * [simplify]: Extracting # 2 : cost 0 inf + 13979 2.066 * * [simplify]: iteration 27 : 1339 enodes (cost 97 ) 2.161 * * [simplify]: Extracting # 0 : cost 0 inf + 13979 2.168 * * [simplify]: Extracting # 1 : cost 17 inf + 13979 2.173 * * [simplify]: Extracting # 2 : cost 0 inf + 14693 2.177 * * [simplify]: iteration 28 : 1395 enodes (cost 97 ) 2.357 * * [simplify]: Extracting # 0 : cost 0 inf + 14693 2.362 * * [simplify]: Extracting # 1 : cost 13 inf + 14693 2.367 * * [simplify]: Extracting # 2 : cost 0 inf + 15239 2.373 * * [simplify]: iteration 29 : 1451 enodes (cost 97 ) 2.476 * * [simplify]: Extracting # 0 : cost 0 inf + 15239 2.486 * * [simplify]: Extracting # 1 : cost 17 inf + 15239 2.497 * * [simplify]: Extracting # 2 : cost 0 inf + 15953 2.507 * * [simplify]: iteration 30 : 1507 enodes (cost 97 ) 2.754 * * [simplify]: Extracting # 0 : cost 0 inf + 15953 2.764 * * [simplify]: Extracting # 1 : cost 12 inf + 15953 2.775 * * [simplify]: Extracting # 2 : cost 0 inf + 16457 2.785 * * [simplify]: iteration 31 : 1562 enodes (cost 97 ) 2.896 * * [simplify]: Extracting # 0 : cost 0 inf + 16457 2.908 * * [simplify]: Extracting # 1 : cost 16 inf + 16457 2.919 * * [simplify]: Extracting # 2 : cost 0 inf + 17129 2.933 * * [simplify]: iteration 32 : 1618 enodes (cost 97 ) 3.136 * * [simplify]: Extracting # 0 : cost 0 inf + 17129 3.145 * * [simplify]: Extracting # 1 : cost 12 inf + 17129 3.151 * * [simplify]: Extracting # 2 : cost 0 inf + 17633 3.156 * * [simplify]: iteration 33 : 1673 enodes (cost 97 ) 3.281 * * [simplify]: Extracting # 0 : cost 0 inf + 17633 3.292 * * [simplify]: Extracting # 1 : cost 17 inf + 17633 3.304 * * [simplify]: Extracting # 2 : cost 0 inf + 18347 3.317 * * [simplify]: iteration 34 : 1729 enodes (cost 97 ) 3.518 * * [simplify]: Extracting # 0 : cost 0 inf + 18347 3.530 * * [simplify]: Extracting # 1 : cost 12 inf + 18347 3.542 * * [simplify]: Extracting # 2 : cost 0 inf + 18851 3.554 * * [simplify]: iteration 35 : 1785 enodes (cost 97 ) 3.678 * * [simplify]: Extracting # 0 : cost 0 inf + 18851 3.687 * * [simplify]: Extracting # 1 : cost 16 inf + 18851 3.696 * * [simplify]: Extracting # 2 : cost 0 inf + 19523 3.703 * * [simplify]: iteration 36 : 1841 enodes (cost 97 ) 3.940 * * [simplify]: Extracting # 0 : cost 0 inf + 19523 3.948 * * [simplify]: Extracting # 1 : cost 13 inf + 19523 3.956 * * [simplify]: Extracting # 2 : cost 0 inf + 20069 3.962 * * [simplify]: iteration 37 : 1897 enodes (cost 97 ) 4.066 * * [simplify]: Extracting # 0 : cost 0 inf + 20069 4.073 * * [simplify]: Extracting # 1 : cost 17 inf + 20069 4.079 * * [simplify]: Extracting # 2 : cost 0 inf + 20783 4.089 * * [simplify]: iteration 38 : 1953 enodes (cost 97 ) 4.369 * * [simplify]: Extracting # 0 : cost 0 inf + 20783 4.381 * * [simplify]: Extracting # 1 : cost 13 inf + 20783 4.390 * * [simplify]: Extracting # 2 : cost 0 inf + 21329 4.399 * * [simplify]: iteration 39 : 2009 enodes (cost 97 ) 4.504 * * [simplify]: Extracting # 0 : cost 0 inf + 21329 4.511 * * [simplify]: Extracting # 1 : cost 16 inf + 21329 4.518 * * [simplify]: Extracting # 2 : cost 0 inf + 22001 4.524 * * [simplify]: iteration 40 : 2065 enodes (cost 97 ) 4.805 * * [simplify]: Extracting # 0 : cost 0 inf + 22001 4.820 * * [simplify]: Extracting # 1 : cost 13 inf + 22001 4.838 * * [simplify]: Extracting # 2 : cost 0 inf + 22547 4.848 * * [simplify]: iteration 41 : 2122 enodes (cost 97 ) 4.951 * * [simplify]: Extracting # 0 : cost 0 inf + 22547 4.959 * * [simplify]: Extracting # 1 : cost 17 inf + 22547 4.966 * * [simplify]: Extracting # 2 : cost 0 inf + 23261 4.976 * * [simplify]: iteration 42 : 2178 enodes (cost 97 ) 5.258 * * [simplify]: Extracting # 0 : cost 0 inf + 23261 5.266 * * [simplify]: Extracting # 1 : cost 12 inf + 23261 5.274 * * [simplify]: Extracting # 2 : cost 0 inf + 23765 5.281 * * [simplify]: iteration 43 : 2233 enodes (cost 97 ) 5.411 * * [simplify]: Extracting # 0 : cost 0 inf + 23765 5.419 * * [simplify]: Extracting # 1 : cost 17 inf + 23765 5.427 * * [simplify]: Extracting # 2 : cost 0 inf + 24479 5.434 * * [simplify]: iteration 44 : 2289 enodes (cost 97 ) 5.654 * * [simplify]: Extracting # 0 : cost 0 inf + 24479 5.670 * * [simplify]: Extracting # 1 : cost 13 inf + 24479 5.685 * * [simplify]: Extracting # 2 : cost 0 inf + 25025 5.693 * * [simplify]: iteration 45 : 2344 enodes (cost 97 ) 5.791 * * [simplify]: Extracting # 0 : cost 0 inf + 25025 5.799 * * [simplify]: Extracting # 1 : cost 17 inf + 25025 5.807 * * [simplify]: Extracting # 2 : cost 0 inf + 25739 5.815 * * [simplify]: iteration 46 : 2400 enodes (cost 97 ) 6.112 * * [simplify]: Extracting # 0 : cost 0 inf + 25739 6.129 * * [simplify]: Extracting # 1 : cost 12 inf + 25739 6.141 * * [simplify]: Extracting # 2 : cost 0 inf + 26243 6.149 * * [simplify]: iteration 47 : 2456 enodes (cost 97 ) 6.257 * * [simplify]: Extracting # 0 : cost 0 inf + 26243 6.270 * * [simplify]: Extracting # 1 : cost 17 inf + 26243 6.288 * * [simplify]: Extracting # 2 : cost 0 inf + 26957 6.302 * * [simplify]: iteration 48 : 2512 enodes (cost 97 ) 6.622 * * [simplify]: Extracting # 0 : cost 0 inf + 26957 6.640 * * [simplify]: Extracting # 1 : cost 13 inf + 26957 6.658 * * [simplify]: Extracting # 2 : cost 0 inf + 27503 6.676 * * [simplify]: iteration 49 : 2567 enodes (cost 97 ) 6.841 * * [simplify]: Extracting # 0 : cost 0 inf + 27503 6.860 * * [simplify]: Extracting # 1 : cost 17 inf + 27503 6.878 * * [simplify]: Extracting # 2 : cost 0 inf + 28217 6.897 * * [simplify]: iteration 50 : 2623 enodes (cost 97 ) 7.193 * * [simplify]: Extracting # 0 : cost 0 inf + 28217 7.206 * * [simplify]: Extracting # 1 : cost 12 inf + 28217 7.224 * * [simplify]: Extracting # 2 : cost 0 inf + 28721 7.242 * * [simplify]: iteration 51 : 2678 enodes (cost 97 ) 7.445 * * [simplify]: Extracting # 0 : cost 0 inf + 28721 7.464 * * [simplify]: Extracting # 1 : cost 16 inf + 28721 7.482 * * [simplify]: Extracting # 2 : cost 0 inf + 29393 7.501 * * [simplify]: iteration 52 : 2734 enodes (cost 97 ) 7.887 * * [simplify]: Extracting # 0 : cost 0 inf + 29393 7.905 * * [simplify]: Extracting # 1 : cost 12 inf + 29393 7.923 * * [simplify]: Extracting # 2 : cost 0 inf + 29897 7.941 * * [simplify]: iteration 53 : 2790 enodes (cost 97 ) 8.124 * * [simplify]: Extracting # 0 : cost 0 inf + 29897 8.143 * * [simplify]: Extracting # 1 : cost 17 inf + 29897 8.166 * * [simplify]: Extracting # 2 : cost 0 inf + 30611 8.178 * * [simplify]: iteration 54 : 2846 enodes (cost 97 ) 8.553 * * [simplify]: Extracting # 0 : cost 0 inf + 30611 8.562 * * [simplify]: Extracting # 1 : cost 13 inf + 30611 8.581 * * [simplify]: Extracting # 2 : cost 0 inf + 31157 8.599 * * [simplify]: iteration 55 : 2901 enodes (cost 97 ) 8.821 * * [simplify]: Extracting # 0 : cost 0 inf + 31157 8.842 * * [simplify]: Extracting # 1 : cost 16 inf + 31157 8.852 * * [simplify]: Extracting # 2 : cost 0 inf + 31829 8.862 * * [simplify]: iteration 56 : 2957 enodes (cost 97 ) 9.249 * * [simplify]: Extracting # 0 : cost 0 inf + 31829 9.269 * * [simplify]: Extracting # 1 : cost 13 inf + 31829 9.288 * * [simplify]: Extracting # 2 : cost 0 inf + 32375 9.298 * * [simplify]: iteration 57 : 3013 enodes (cost 97 ) 9.449 * * [simplify]: Extracting # 0 : cost 0 inf + 32375 9.461 * * [simplify]: Extracting # 1 : cost 17 inf + 32375 9.471 * * [simplify]: Extracting # 2 : cost 0 inf + 33089 9.481 * * [simplify]: iteration 58 : 3069 enodes (cost 97 ) 9.807 * * [simplify]: Extracting # 0 : cost 0 inf + 33089 9.828 * * [simplify]: Extracting # 1 : cost 13 inf + 33089 9.855 * * [simplify]: Extracting # 2 : cost 0 inf + 33635 9.874 * * [simplify]: iteration 59 : 3124 enodes (cost 97 ) 10.061 * * [simplify]: Extracting # 0 : cost 0 inf + 33635 10.083 * * [simplify]: Extracting # 1 : cost 16 inf + 33635 10.104 * * [simplify]: Extracting # 2 : cost 0 inf + 34307 10.131 * * [simplify]: iteration 60 : 3180 enodes (cost 97 ) 10.552 * * [simplify]: Extracting # 0 : cost 0 inf + 34307 10.566 * * [simplify]: Extracting # 1 : cost 13 inf + 34307 10.589 * * [simplify]: Extracting # 2 : cost 0 inf + 34853 10.611 * * [simplify]: iteration 61 : 3237 enodes (cost 97 ) 10.811 * * [simplify]: Extracting # 0 : cost 0 inf + 34853 10.822 * * [simplify]: Extracting # 1 : cost 17 inf + 34853 10.842 * * [simplify]: Extracting # 2 : cost 0 inf + 35567 10.856 * * [simplify]: iteration 62 : 3293 enodes (cost 97 ) 11.316 * * [simplify]: Extracting # 0 : cost 0 inf + 35567 11.339 * * [simplify]: Extracting # 1 : cost 12 inf + 35567 11.366 * * [simplify]: Extracting # 2 : cost 0 inf + 36071 11.388 * * [simplify]: iteration 63 : 3348 enodes (cost 97 ) 11.586 * * [simplify]: Extracting # 0 : cost 0 inf + 36071 11.609 * * [simplify]: Extracting # 1 : cost 16 inf + 36071 11.625 * * [simplify]: Extracting # 2 : cost 0 inf + 36743 11.648 * * [simplify]: iteration 64 : 3404 enodes (cost 97 ) 12.155 * * [simplify]: Extracting # 0 : cost 0 inf + 36743 12.177 * * [simplify]: Extracting # 1 : cost 12 inf + 36743 12.190 * * [simplify]: Extracting # 2 : cost 0 inf + 37247 12.202 * * [simplify]: iteration 65 : 3459 enodes (cost 97 ) 12.363 * * [simplify]: Extracting # 0 : cost 0 inf + 37247 12.375 * * [simplify]: Extracting # 1 : cost 16 inf + 37247 12.397 * * [simplify]: Extracting # 2 : cost 0 inf + 37919 12.421 * * [simplify]: iteration 66 : 3515 enodes (cost 97 ) 12.945 * * [simplify]: Extracting # 0 : cost 0 inf + 37919 12.963 * * [simplify]: Extracting # 1 : cost 12 inf + 37919 12.974 * * [simplify]: Extracting # 2 : cost 0 inf + 38423 12.990 * * [simplify]: iteration 67 : 3572 enodes (cost 97 ) 13.188 * * [simplify]: Extracting # 0 : cost 0 inf + 38423 13.212 * * [simplify]: Extracting # 1 : cost 17 inf + 38423 13.237 * * [simplify]: Extracting # 2 : cost 0 inf + 39137 13.269 * * [simplify]: iteration 68 : 3628 enodes (cost 97 ) 13.850 * * [simplify]: Extracting # 0 : cost 0 inf + 39137 13.868 * * [simplify]: Extracting # 1 : cost 13 inf + 39137 13.881 * * [simplify]: Extracting # 2 : cost 0 inf + 39683 13.893 * * [simplify]: iteration 69 : 3683 enodes (cost 97 ) 14.050 * * [simplify]: Extracting # 0 : cost 0 inf + 39683 14.076 * * [simplify]: Extracting # 1 : cost 16 inf + 39683 14.089 * * [simplify]: Extracting # 2 : cost 0 inf + 40355 14.101 * * [simplify]: iteration 70 : 3739 enodes (cost 97 ) 14.676 * * [simplify]: Extracting # 0 : cost 0 inf + 40355 14.702 * * [simplify]: Extracting # 1 : cost 13 inf + 40355 14.730 * * [simplify]: Extracting # 2 : cost 0 inf + 40901 14.742 * * [simplify]: iteration 71 : 3794 enodes (cost 97 ) 14.915 * * [simplify]: Extracting # 0 : cost 0 inf + 40901 14.932 * * [simplify]: Extracting # 1 : cost 16 inf + 40901 14.945 * * [simplify]: Extracting # 2 : cost 0 inf + 41573 14.959 * * [simplify]: iteration 72 : 3850 enodes (cost 97 ) 15.485 * * [simplify]: Extracting # 0 : cost 0 inf + 41573 15.509 * * [simplify]: Extracting # 1 : cost 13 inf + 41573 15.522 * * [simplify]: Extracting # 2 : cost 0 inf + 42119 15.543 * * [simplify]: iteration 73 : 3906 enodes (cost 97 ) 15.826 * * [simplify]: Extracting # 0 : cost 0 inf + 42119 15.844 * * [simplify]: Extracting # 1 : cost 17 inf + 42119 15.857 * * [simplify]: Extracting # 2 : cost 0 inf + 42833 15.877 * * [simplify]: iteration 74 : 3962 enodes (cost 97 ) 16.466 * * [simplify]: Extracting # 0 : cost 0 inf + 42833 16.480 * * [simplify]: Extracting # 1 : cost 13 inf + 42833 16.497 * * [simplify]: Extracting # 2 : cost 0 inf + 43379 16.526 * * [simplify]: iteration 75 : 4017 enodes (cost 97 ) 16.705 * * [simplify]: Extracting # 0 : cost 0 inf + 43379 16.722 * * [simplify]: Extracting # 1 : cost 16 inf + 43379 16.739 * * [simplify]: Extracting # 2 : cost 0 inf + 44051 16.758 * * [simplify]: iteration 76 : 4073 enodes (cost 97 ) 17.359 * * [simplify]: Extracting # 0 : cost 0 inf + 44051 17.374 * * [simplify]: Extracting # 1 : cost 13 inf + 44051 17.404 * * [simplify]: Extracting # 2 : cost 0 inf + 44597 17.418 * * [simplify]: iteration 77 : 4129 enodes (cost 97 ) 17.641 * * [simplify]: Extracting # 0 : cost 0 inf + 44597 17.662 * * [simplify]: Extracting # 1 : cost 17 inf + 44597 17.675 * * [simplify]: Extracting # 2 : cost 0 inf + 45311 17.692 * * [simplify]: iteration 78 : 4185 enodes (cost 97 ) 18.311 * * [simplify]: Extracting # 0 : cost 0 inf + 45311 18.335 * * [simplify]: Extracting # 1 : cost 13 inf + 45311 18.362 * * [simplify]: Extracting # 2 : cost 0 inf + 45857 18.382 * * [simplify]: iteration 79 : 4241 enodes (cost 97 ) 18.582 * * [simplify]: Extracting # 0 : cost 0 inf + 45857 18.596 * * [simplify]: Extracting # 1 : cost 16 inf + 45857 18.615 * * [simplify]: Extracting # 2 : cost 0 inf + 46529 18.629 * * [simplify]: iteration 80 : 4297 enodes (cost 97 ) 19.291 * * [simplify]: Extracting # 0 : cost 0 inf + 46529 19.318 * * [simplify]: Extracting # 1 : cost 13 inf + 46529 19.334 * * [simplify]: Extracting # 2 : cost 0 inf + 47075 19.352 * * [simplify]: iteration 81 : 4353 enodes (cost 97 ) 19.536 * * [simplify]: Extracting # 0 : cost 0 inf + 47075 19.562 * * [simplify]: Extracting # 1 : cost 16 inf + 47075 19.577 * * [simplify]: Extracting # 2 : cost 0 inf + 47747 19.591 * * [simplify]: iteration 82 : 4409 enodes (cost 97 ) 20.232 * * [simplify]: Extracting # 0 : cost 0 inf + 47747 20.270 * * [simplify]: Extracting # 1 : cost 12 inf + 47747 20.285 * * [simplify]: Extracting # 2 : cost 0 inf + 48251 20.300 * * [simplify]: iteration 83 : 4466 enodes (cost 97 ) 20.545 * * [simplify]: Extracting # 0 : cost 0 inf + 48251 20.562 * * [simplify]: Extracting # 1 : cost 17 inf + 48251 20.915 * * [simplify]: Extracting # 2 : cost 0 inf + 48965 20.932 * * [simplify]: iteration 84 : 4522 enodes (cost 97 ) 21.691 * * [simplify]: Extracting # 0 : cost 0 inf + 48965 21.707 * * [simplify]: Extracting # 1 : cost 13 inf + 48965 21.729 * * [simplify]: Extracting # 2 : cost 0 inf + 49511 21.763 * * [simplify]: iteration 85 : 4578 enodes (cost 97 ) 21.955 * * [simplify]: Extracting # 0 : cost 0 inf + 49511 21.981 * * [simplify]: Extracting # 1 : cost 17 inf + 49511 21.996 * * [simplify]: Extracting # 2 : cost 0 inf + 50225 22.017 * * [simplify]: iteration 86 : 4634 enodes (cost 97 ) 22.751 * * [simplify]: Extracting # 0 : cost 0 inf + 50225 22.787 * * [simplify]: Extracting # 1 : cost 13 inf + 50225 22.818 * * [simplify]: Extracting # 2 : cost 0 inf + 50771 22.848 * * [simplify]: iteration 87 : 4689 enodes (cost 97 ) 23.068 * * [simplify]: Extracting # 0 : cost 0 inf + 50771 23.084 * * [simplify]: Extracting # 1 : cost 16 inf + 50771 23.104 * * [simplify]: Extracting # 2 : cost 0 inf + 51443 23.119 * * [simplify]: iteration 88 : 4745 enodes (cost 97 ) 23.820 * * [simplify]: Extracting # 0 : cost 0 inf + 51443 23.845 * * [simplify]: Extracting # 1 : cost 13 inf + 51443 23.864 * * [simplify]: Extracting # 2 : cost 0 inf + 51989 23.881 * * [simplify]: iteration 89 : 4801 enodes (cost 97 ) 24.098 * * [simplify]: Extracting # 0 : cost 0 inf + 51989 24.121 * * [simplify]: Extracting # 1 : cost 17 inf + 51989 24.142 * * [simplify]: Extracting # 2 : cost 0 inf + 52703 24.157 * * [simplify]: iteration 90 : 4859 enodes (cost 97 ) 24.926 * * [simplify]: Extracting # 0 : cost 0 inf + 52703 24.959 * * [simplify]: Extracting # 1 : cost 13 inf + 52703 24.992 * * [simplify]: Extracting # 2 : cost 0 inf + 53249 25.027 * * [simplify]: iteration 91 : 4917 enodes (cost 97 ) 25.402 * * [simplify]: Extracting # 0 : cost 0 inf + 53249 25.429 * * [simplify]: Extracting # 1 : cost 22 inf + 53249 25.445 * * [simplify]: Extracting # 2 : cost 0 inf + 54173 25.471 * * [simplify]: iteration 92 : 4990 enodes (cost 97 ) 25.878 * * [simplify]: Extracting # 0 : cost 0 inf + 54173 25.917 * * [simplify]: iteration complete: 5000 enodes (cost 97 ) 25.917 * [simplify]: Simplified to: (+ y (fma x y x)) 25.926 * * [progress]: iteration 1 / 4 25.926 * * * [progress]: picking best candidate 25.932 * * * * [pick]: Picked # 25.932 * * * [progress]: localizing error 25.939 * * * [progress]: generating rewritten candidates 25.939 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 25.944 * * * [progress]: generating series expansions 25.944 * * * * [progress]: [ 1 / 1 ] generating series at (2) 25.944 * [backup-simplify]: Simplify (+ y (fma x y x)) into (+ (fma x y x) y) 25.944 * [approximate]: Taking taylor expansion of (+ (fma x y x) y) in (y x) around 0 25.944 * [taylor]: Taking taylor expansion of (+ (fma x y x) y) in x 25.944 * [taylor]: Taking taylor expansion of (fma x y x) in x 25.944 * [taylor]: Rewrote expression to (+ (* x y) x) 25.944 * [taylor]: Taking taylor expansion of (* x y) in x 25.944 * [taylor]: Taking taylor expansion of x in x 25.944 * [backup-simplify]: Simplify 0 into 0 25.944 * [backup-simplify]: Simplify 1 into 1 25.944 * [taylor]: Taking taylor expansion of y in x 25.944 * [backup-simplify]: Simplify y into y 25.944 * [taylor]: Taking taylor expansion of x in x 25.944 * [backup-simplify]: Simplify 0 into 0 25.944 * [backup-simplify]: Simplify 1 into 1 25.944 * [taylor]: Taking taylor expansion of y in x 25.944 * [backup-simplify]: Simplify y into y 25.944 * [taylor]: Taking taylor expansion of (+ (fma x y x) y) in y 25.944 * [taylor]: Taking taylor expansion of (fma x y x) in y 25.944 * [taylor]: Rewrote expression to (+ (* x y) x) 25.944 * [taylor]: Taking taylor expansion of (* x y) in y 25.944 * [taylor]: Taking taylor expansion of x in y 25.944 * [backup-simplify]: Simplify x into x 25.945 * [taylor]: Taking taylor expansion of y in y 25.945 * [backup-simplify]: Simplify 0 into 0 25.945 * [backup-simplify]: Simplify 1 into 1 25.945 * [taylor]: Taking taylor expansion of x in y 25.945 * [backup-simplify]: Simplify x into x 25.945 * [taylor]: Taking taylor expansion of y in y 25.945 * [backup-simplify]: Simplify 0 into 0 25.945 * [backup-simplify]: Simplify 1 into 1 25.945 * [taylor]: Taking taylor expansion of (+ (fma x y x) y) in y 25.945 * [taylor]: Taking taylor expansion of (fma x y x) in y 25.945 * [taylor]: Rewrote expression to (+ (* x y) x) 25.945 * [taylor]: Taking taylor expansion of (* x y) in y 25.945 * [taylor]: Taking taylor expansion of x in y 25.945 * [backup-simplify]: Simplify x into x 25.945 * [taylor]: Taking taylor expansion of y in y 25.945 * [backup-simplify]: Simplify 0 into 0 25.945 * [backup-simplify]: Simplify 1 into 1 25.945 * [taylor]: Taking taylor expansion of x in y 25.945 * [backup-simplify]: Simplify x into x 25.945 * [taylor]: Taking taylor expansion of y in y 25.945 * [backup-simplify]: Simplify 0 into 0 25.945 * [backup-simplify]: Simplify 1 into 1 25.945 * [backup-simplify]: Simplify (* x 0) into 0 25.945 * [backup-simplify]: Simplify (+ 0 x) into x 25.945 * [backup-simplify]: Simplify (+ x 0) into x 25.945 * [taylor]: Taking taylor expansion of x in x 25.945 * [backup-simplify]: Simplify 0 into 0 25.945 * [backup-simplify]: Simplify 1 into 1 25.945 * [backup-simplify]: Simplify 0 into 0 25.946 * [backup-simplify]: Simplify (+ (* x 1) (* 0 0)) into x 25.946 * [backup-simplify]: Simplify (+ x 0) into x 25.946 * [backup-simplify]: Simplify (+ x 1) into (+ x 1) 25.946 * [taylor]: Taking taylor expansion of (+ x 1) in x 25.946 * [taylor]: Taking taylor expansion of x in x 25.946 * [backup-simplify]: Simplify 0 into 0 25.946 * [backup-simplify]: Simplify 1 into 1 25.946 * [taylor]: Taking taylor expansion of 1 in x 25.946 * [backup-simplify]: Simplify 1 into 1 25.946 * [backup-simplify]: Simplify (+ 0 1) into 1 25.946 * [backup-simplify]: Simplify 1 into 1 25.946 * [backup-simplify]: Simplify 1 into 1 25.947 * [backup-simplify]: Simplify (+ (* x 0) (+ (* 0 1) (* 0 0))) into 0 25.947 * [backup-simplify]: Simplify (+ 0 0) into 0 25.947 * [backup-simplify]: Simplify (+ 0 0) into 0 25.947 * [taylor]: Taking taylor expansion of 0 in x 25.947 * [backup-simplify]: Simplify 0 into 0 25.947 * [backup-simplify]: Simplify 0 into 0 25.947 * [backup-simplify]: Simplify (+ 1 0) into 1 25.947 * [backup-simplify]: Simplify 1 into 1 25.948 * [backup-simplify]: Simplify (+ (* 1 (* x y)) (+ (* 1 (* x 1)) (* 1 (* 1 y)))) into (+ x (+ y (* x y))) 25.948 * [backup-simplify]: Simplify (+ (/ 1 y) (fma (/ 1 x) (/ 1 y) (/ 1 x))) into (+ (fma (/ 1 x) (/ 1 y) (/ 1 x)) (/ 1 y)) 25.948 * [approximate]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 y) (/ 1 x)) (/ 1 y)) in (y x) around 0 25.948 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 y) (/ 1 x)) (/ 1 y)) in x 25.948 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in x 25.948 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 25.948 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in x 25.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.948 * [taylor]: Taking taylor expansion of x in x 25.948 * [backup-simplify]: Simplify 0 into 0 25.948 * [backup-simplify]: Simplify 1 into 1 25.948 * [backup-simplify]: Simplify (/ 1 1) into 1 25.948 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.948 * [taylor]: Taking taylor expansion of y in x 25.948 * [backup-simplify]: Simplify y into y 25.948 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 25.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.948 * [taylor]: Taking taylor expansion of x in x 25.948 * [backup-simplify]: Simplify 0 into 0 25.948 * [backup-simplify]: Simplify 1 into 1 25.949 * [backup-simplify]: Simplify (/ 1 1) into 1 25.949 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.949 * [taylor]: Taking taylor expansion of y in x 25.949 * [backup-simplify]: Simplify y into y 25.949 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 25.949 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 y) (/ 1 x)) (/ 1 y)) in y 25.949 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in y 25.949 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 25.949 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 25.949 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.949 * [taylor]: Taking taylor expansion of x in y 25.949 * [backup-simplify]: Simplify x into x 25.949 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 25.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.949 * [taylor]: Taking taylor expansion of y in y 25.949 * [backup-simplify]: Simplify 0 into 0 25.949 * [backup-simplify]: Simplify 1 into 1 25.949 * [backup-simplify]: Simplify (/ 1 1) into 1 25.949 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.949 * [taylor]: Taking taylor expansion of x in y 25.949 * [backup-simplify]: Simplify x into x 25.949 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 25.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.950 * [taylor]: Taking taylor expansion of y in y 25.950 * [backup-simplify]: Simplify 0 into 0 25.950 * [backup-simplify]: Simplify 1 into 1 25.950 * [backup-simplify]: Simplify (/ 1 1) into 1 25.950 * [taylor]: Taking taylor expansion of (+ (fma (/ 1 x) (/ 1 y) (/ 1 x)) (/ 1 y)) in y 25.950 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 y) (/ 1 x)) in y 25.950 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 y)) (/ 1 x)) 25.950 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 y)) in y 25.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.950 * [taylor]: Taking taylor expansion of x in y 25.950 * [backup-simplify]: Simplify x into x 25.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 25.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.950 * [taylor]: Taking taylor expansion of y in y 25.950 * [backup-simplify]: Simplify 0 into 0 25.950 * [backup-simplify]: Simplify 1 into 1 25.950 * [backup-simplify]: Simplify (/ 1 1) into 1 25.950 * [taylor]: Taking taylor expansion of (/ 1 x) in y 25.950 * [taylor]: Taking taylor expansion of x in y 25.950 * [backup-simplify]: Simplify x into x 25.950 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x) 25.951 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.951 * [taylor]: Taking taylor expansion of y in y 25.951 * [backup-simplify]: Simplify 0 into 0 25.951 * [backup-simplify]: Simplify 1 into 1 25.951 * [backup-simplify]: Simplify (/ 1 1) into 1 25.951 * [backup-simplify]: Simplify (* (/ 1 x) 1) into (/ 1 x) 25.951 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 25.951 * [backup-simplify]: Simplify (+ (/ 1 x) 1) into (+ (/ 1 x) 1) 25.951 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 25.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.951 * [taylor]: Taking taylor expansion of x in x 25.951 * [backup-simplify]: Simplify 0 into 0 25.951 * [backup-simplify]: Simplify 1 into 1 25.951 * [backup-simplify]: Simplify (/ 1 1) into 1 25.951 * [taylor]: Taking taylor expansion of 1 in x 25.951 * [backup-simplify]: Simplify 1 into 1 25.952 * [backup-simplify]: Simplify (+ 1 0) into 1 25.952 * [backup-simplify]: Simplify 1 into 1 25.952 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.952 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0 25.953 * [backup-simplify]: Simplify (+ (* (/ 1 x) 0) (* 0 1)) into 0 25.953 * [backup-simplify]: Simplify (+ 0 (/ 1 x)) into (/ 1 x) 25.953 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.953 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 25.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.954 * [taylor]: Taking taylor expansion of x in x 25.954 * [backup-simplify]: Simplify 0 into 0 25.954 * [backup-simplify]: Simplify 1 into 1 25.954 * [backup-simplify]: Simplify (/ 1 1) into 1 25.954 * [backup-simplify]: Simplify 1 into 1 25.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.955 * [backup-simplify]: Simplify (+ 0 1) into 1 25.955 * [backup-simplify]: Simplify 1 into 1 25.955 * [backup-simplify]: Simplify (+ (* 1 (* 1 (/ 1 (/ 1 y)))) (+ (* 1 (* (/ 1 (/ 1 x)) 1)) (* 1 (* (/ 1 (/ 1 x)) (/ 1 (/ 1 y)))))) into (+ x (+ y (* x y))) 25.955 * [backup-simplify]: Simplify (+ (/ 1 (- y)) (fma (/ 1 (- x)) (/ 1 (- y)) (/ 1 (- x)))) into (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) 25.955 * [approximate]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in (y x) around 0 25.955 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in x 25.955 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in x 25.955 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 25.955 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in x 25.955 * [taylor]: Taking taylor expansion of (/ -1 x) in x 25.955 * [taylor]: Taking taylor expansion of -1 in x 25.955 * [backup-simplify]: Simplify -1 into -1 25.955 * [taylor]: Taking taylor expansion of x in x 25.955 * [backup-simplify]: Simplify 0 into 0 25.955 * [backup-simplify]: Simplify 1 into 1 25.956 * [backup-simplify]: Simplify (/ -1 1) into -1 25.956 * [taylor]: Taking taylor expansion of (/ -1 y) in x 25.956 * [taylor]: Taking taylor expansion of -1 in x 25.956 * [backup-simplify]: Simplify -1 into -1 25.956 * [taylor]: Taking taylor expansion of y in x 25.956 * [backup-simplify]: Simplify y into y 25.956 * [backup-simplify]: Simplify (/ -1 y) into (/ -1 y) 25.956 * [taylor]: Taking taylor expansion of (/ -1 x) in x 25.956 * [taylor]: Taking taylor expansion of -1 in x 25.956 * [backup-simplify]: Simplify -1 into -1 25.956 * [taylor]: Taking taylor expansion of x in x 25.956 * [backup-simplify]: Simplify 0 into 0 25.956 * [backup-simplify]: Simplify 1 into 1 25.956 * [backup-simplify]: Simplify (/ -1 1) into -1 25.956 * [taylor]: Taking taylor expansion of (/ 1 y) in x 25.956 * [taylor]: Taking taylor expansion of y in x 25.956 * [backup-simplify]: Simplify y into y 25.956 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y) 25.956 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in y 25.956 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in y 25.956 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 25.956 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 25.956 * [taylor]: Taking taylor expansion of (/ -1 x) in y 25.956 * [taylor]: Taking taylor expansion of -1 in y 25.956 * [backup-simplify]: Simplify -1 into -1 25.956 * [taylor]: Taking taylor expansion of x in y 25.956 * [backup-simplify]: Simplify x into x 25.957 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 25.957 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.957 * [taylor]: Taking taylor expansion of -1 in y 25.957 * [backup-simplify]: Simplify -1 into -1 25.957 * [taylor]: Taking taylor expansion of y in y 25.957 * [backup-simplify]: Simplify 0 into 0 25.957 * [backup-simplify]: Simplify 1 into 1 25.957 * [backup-simplify]: Simplify (/ -1 1) into -1 25.957 * [taylor]: Taking taylor expansion of (/ -1 x) in y 25.957 * [taylor]: Taking taylor expansion of -1 in y 25.957 * [backup-simplify]: Simplify -1 into -1 25.957 * [taylor]: Taking taylor expansion of x in y 25.957 * [backup-simplify]: Simplify x into x 25.957 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 25.957 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.957 * [taylor]: Taking taylor expansion of y in y 25.957 * [backup-simplify]: Simplify 0 into 0 25.957 * [backup-simplify]: Simplify 1 into 1 25.957 * [backup-simplify]: Simplify (/ 1 1) into 1 25.957 * [taylor]: Taking taylor expansion of (- (fma (/ -1 x) (/ -1 y) (/ -1 x)) (/ 1 y)) in y 25.957 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 y) (/ -1 x)) in y 25.957 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 y)) (/ -1 x)) 25.958 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 y)) in y 25.958 * [taylor]: Taking taylor expansion of (/ -1 x) in y 25.958 * [taylor]: Taking taylor expansion of -1 in y 25.958 * [backup-simplify]: Simplify -1 into -1 25.958 * [taylor]: Taking taylor expansion of x in y 25.958 * [backup-simplify]: Simplify x into x 25.958 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 25.958 * [taylor]: Taking taylor expansion of (/ -1 y) in y 25.958 * [taylor]: Taking taylor expansion of -1 in y 25.958 * [backup-simplify]: Simplify -1 into -1 25.958 * [taylor]: Taking taylor expansion of y in y 25.958 * [backup-simplify]: Simplify 0 into 0 25.958 * [backup-simplify]: Simplify 1 into 1 25.958 * [backup-simplify]: Simplify (/ -1 1) into -1 25.958 * [taylor]: Taking taylor expansion of (/ -1 x) in y 25.958 * [taylor]: Taking taylor expansion of -1 in y 25.958 * [backup-simplify]: Simplify -1 into -1 25.958 * [taylor]: Taking taylor expansion of x in y 25.958 * [backup-simplify]: Simplify x into x 25.958 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x) 25.958 * [taylor]: Taking taylor expansion of (/ 1 y) in y 25.958 * [taylor]: Taking taylor expansion of y in y 25.958 * [backup-simplify]: Simplify 0 into 0 25.958 * [backup-simplify]: Simplify 1 into 1 25.958 * [backup-simplify]: Simplify (/ 1 1) into 1 25.959 * [backup-simplify]: Simplify (* (/ -1 x) -1) into (/ 1 x) 25.959 * [backup-simplify]: Simplify (+ (/ 1 x) 0) into (/ 1 x) 25.959 * [backup-simplify]: Simplify (- 1) into -1 25.959 * [backup-simplify]: Simplify (+ (/ 1 x) -1) into (- (/ 1 x) 1) 25.959 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 25.959 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.959 * [taylor]: Taking taylor expansion of x in x 25.959 * [backup-simplify]: Simplify 0 into 0 25.959 * [backup-simplify]: Simplify 1 into 1 25.959 * [backup-simplify]: Simplify (/ 1 1) into 1 25.959 * [taylor]: Taking taylor expansion of 1 in x 25.959 * [backup-simplify]: Simplify 1 into 1 25.960 * [backup-simplify]: Simplify (+ 1 0) into 1 25.960 * [backup-simplify]: Simplify 1 into 1 25.960 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 25.960 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0 25.961 * [backup-simplify]: Simplify (+ (* (/ -1 x) 0) (* 0 -1)) into 0 25.961 * [backup-simplify]: Simplify (+ 0 (/ -1 x)) into (- (/ 1 x)) 25.961 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.961 * [backup-simplify]: Simplify (- 0) into 0 25.961 * [backup-simplify]: Simplify (+ (- (/ 1 x)) 0) into (- (/ 1 x)) 25.961 * [taylor]: Taking taylor expansion of (- (/ 1 x)) in x 25.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 25.961 * [taylor]: Taking taylor expansion of x in x 25.961 * [backup-simplify]: Simplify 0 into 0 25.961 * [backup-simplify]: Simplify 1 into 1 25.962 * [backup-simplify]: Simplify (/ 1 1) into 1 25.962 * [backup-simplify]: Simplify (- 1) into -1 25.962 * [backup-simplify]: Simplify -1 into -1 25.962 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.963 * [backup-simplify]: Simplify (- 1) into -1 25.963 * [backup-simplify]: Simplify (+ 0 -1) into -1 25.963 * [backup-simplify]: Simplify -1 into -1 25.963 * [backup-simplify]: Simplify (+ (* -1 (* 1 (/ 1 (/ 1 (- y))))) (+ (* -1 (* (/ 1 (/ 1 (- x))) 1)) (* 1 (* (/ 1 (/ 1 (- x))) (/ 1 (/ 1 (- y))))))) into (+ x (+ y (* x y))) 25.963 * * * [progress]: simplifying candidates 25.964 * [simplify]: Simplifying: (expm1 (+ y (fma x y x))) (log1p (+ y (fma x y x))) (* (exp y) (exp (fma x y x))) (log (+ y (fma x y x))) (exp (+ y (fma x y x))) (* (cbrt (+ y (fma x y x))) (cbrt (+ y (fma x y x)))) (cbrt (+ y (fma x y x))) (* (* (+ y (fma x y x)) (+ y (fma x y x))) (+ y (fma x y x))) (sqrt (+ y (fma x y x))) (sqrt (+ y (fma x y x))) (+ (pow y 3) (pow (fma x y x) 3)) (+ (* y y) (- (* (fma x y x) (fma x y x)) (* y (fma x y x)))) (- (* y y) (* (fma x y x) (fma x y x))) (- y (fma x y x)) (+ y (fma x y x)) (+ y (* x y)) (+ x (+ y (* x y))) (+ x (+ y (* x y))) (+ x (+ y (* x y))) 25.964 * * [simplify]: Extracting # 0 : cost 16 inf + 0 25.964 * * [simplify]: Extracting # 1 : cost 28 inf + 0 25.964 * * [simplify]: Extracting # 2 : cost 27 inf + 43 25.964 * * [simplify]: Extracting # 3 : cost 8 inf + 2414 25.965 * * [simplify]: Extracting # 4 : cost 1 inf + 3794 25.965 * * [simplify]: Extracting # 5 : cost 0 inf + 4312 25.965 * * [simplify]: iteration 0 : 30 enodes (cost 3364 ) 25.971 * * [simplify]: Extracting # 0 : cost 0 inf + 4312 25.972 * * [simplify]: Extracting # 1 : cost 17 inf + 3955 25.973 * * [simplify]: Extracting # 2 : cost 5 inf + 5637 25.974 * * [simplify]: Extracting # 3 : cost 1 inf + 6039 25.974 * * [simplify]: Extracting # 4 : cost 0 inf + 6081 25.975 * * [simplify]: iteration 1 : 82 enodes (cost 2968 ) 25.994 * * [simplify]: Extracting # 0 : cost 0 inf + 6081 25.995 * * [simplify]: Extracting # 1 : cost 42 inf + 5981 25.997 * * [simplify]: Extracting # 2 : cost 3 inf + 11336 26.000 * * [simplify]: Extracting # 3 : cost 0 inf + 11817 26.002 * * [simplify]: iteration 2 : 230 enodes (cost 2843 ) 26.153 * * [simplify]: Extracting # 0 : cost 0 inf + 11817 26.157 * * [simplify]: Extracting # 1 : cost 187 inf + 11697 26.167 * * [simplify]: Extracting # 2 : cost 3 inf + 44103 26.180 * * [simplify]: Extracting # 3 : cost 1 inf + 44372 26.207 * * [simplify]: Extracting # 4 : cost 0 inf + 44584 26.232 * * [simplify]: iteration 3 : 922 enodes (cost 2843 ) 27.190 * * [simplify]: Extracting # 0 : cost 0 inf + 44584 27.246 * * [simplify]: Extracting # 1 : cost 1470 inf + 42247 27.377 * * [simplify]: Extracting # 2 : cost 37 inf + 313396 27.600 * * [simplify]: Extracting # 3 : cost 8 inf + 316211 27.790 * * [simplify]: Extracting # 4 : cost 0 inf + 318427 27.956 * * [simplify]: iteration complete: 5000 enodes (cost 2843 ) 27.957 * [simplify]: Simplified to: (expm1 (+ y (fma x y x))) (log1p (+ y (fma x y x))) (exp (+ y (fma x y x))) (log (+ y (fma x y x))) (exp (+ y (fma x y x))) (* (cbrt (+ y (fma x y x))) (cbrt (+ y (fma x y x)))) (cbrt (+ y (fma x y x))) (* (* (+ y (fma x y x)) (+ y (fma x y x))) (+ y (fma x y x))) (sqrt (+ y (fma x y x))) (sqrt (+ y (fma x y x))) (fma (* y y) y (* (fma x y x) (* (fma x y x) (fma x y x)))) (fma y y (* (fma x y x) (- (fma x y x) y))) (- (* y y) (* (fma x y x) (fma x y x))) (- y (fma x y x)) (+ y (fma x y x)) (fma x y y) (+ y (fma x y x)) (+ y (fma x y x)) (+ y (fma x y x)) 27.958 * * * [progress]: adding candidates to table 28.070 * * [progress]: iteration 2 / 4 28.070 * * * [progress]: picking best candidate 28.074 * * * * [pick]: Picked # 28.074 * * * [progress]: localizing error 28.082 * * * [progress]: generating rewritten candidates 28.082 * * * [progress]: generating series expansions 28.082 * * * [progress]: simplifying candidates 28.082 * [simplify]: Simplifying: 28.082 * * [simplify]: Extracting # 0 : cost 0 inf + 0 28.082 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 28.082 * * [simplify]: Extracting # 0 : cost 0 inf + 0 28.082 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 28.082 * [simplify]: Simplified to: 28.082 * * * [progress]: adding candidates to table 28.083 * [progress]: [Phase 3 of 3] Extracting. 28.090 * [simplify]: Simplifying: (+ (fma x y y) x) 28.090 * * [simplify]: Extracting # 0 : cost 1 inf + 0 28.090 * * [simplify]: Extracting # 1 : cost 3 inf + 0 28.090 * * [simplify]: Extracting # 2 : cost 3 inf + 1 28.090 * * [simplify]: Extracting # 3 : cost 0 inf + 156 28.090 * * [simplify]: iteration 0 : 4 enodes (cost 97 ) 28.091 * * [simplify]: Extracting # 0 : cost 0 inf + 156 28.091 * * [simplify]: iteration 1 : 5 enodes (cost 97 ) 28.091 * * [simplify]: Extracting # 0 : cost 0 inf + 156 28.091 * * [simplify]: iteration complete: 5 enodes (cost 97 ) 28.091 * [simplify]: Simplified to: (+ (fma x y y) x) 29.098 * [regime-testing]: Baseline error score: 0.005226572686843056 29.117 * [regime-testing]: Oracle error score: 0.005226572686843056 29.118 * [regime-testing]: End program error score: 0.005226572686843056