89.011 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.009 * * * [progress]: [2/2] Setting up program. 0.011 * [progress]: [Phase 2 of 3] Improving. 0.011 * [simplify]: Simplifying using # : (- (+ x x) 1.0) 0.012 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.012 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 0.014 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 0.015 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 0.017 * * [simplify]: iteration 4 : 21 enodes (cost 5 ) 0.019 * * [simplify]: iteration 5 : 26 enodes (cost 5 ) 0.022 * * [simplify]: iteration 6 : 34 enodes (cost 5 ) 0.025 * * [simplify]: iteration 7 : 39 enodes (cost 5 ) 0.028 * * [simplify]: iteration 8 : 44 enodes (cost 5 ) 0.031 * * [simplify]: iteration 9 : 53 enodes (cost 5 ) 0.036 * * [simplify]: iteration 10 : 69 enodes (cost 5 ) 0.041 * * [simplify]: iteration 11 : 83 enodes (cost 5 ) 0.054 * * [simplify]: iteration 12 : 95 enodes (cost 5 ) 0.061 * * [simplify]: iteration 13 : 106 enodes (cost 5 ) 0.069 * * [simplify]: iteration 14 : 117 enodes (cost 5 ) 0.078 * * [simplify]: iteration 15 : 128 enodes (cost 5 ) 0.087 * * [simplify]: iteration 16 : 138 enodes (cost 5 ) 0.097 * * [simplify]: iteration 17 : 149 enodes (cost 5 ) 0.113 * * [simplify]: iteration 18 : 159 enodes (cost 5 ) 0.125 * * [simplify]: iteration 19 : 170 enodes (cost 5 ) 0.137 * * [simplify]: iteration 20 : 181 enodes (cost 5 ) 0.150 * * [simplify]: iteration 21 : 192 enodes (cost 5 ) 0.169 * * [simplify]: iteration 22 : 202 enodes (cost 5 ) 0.183 * * [simplify]: iteration 23 : 213 enodes (cost 5 ) 0.198 * * [simplify]: iteration 24 : 223 enodes (cost 5 ) 0.220 * * [simplify]: iteration 25 : 234 enodes (cost 5 ) 0.237 * * [simplify]: iteration 26 : 245 enodes (cost 5 ) 0.254 * * [simplify]: iteration 27 : 256 enodes (cost 5 ) 0.277 * * [simplify]: iteration 28 : 266 enodes (cost 5 ) 0.296 * * [simplify]: iteration 29 : 277 enodes (cost 5 ) 0.314 * * [simplify]: iteration 30 : 287 enodes (cost 5 ) 0.340 * * [simplify]: iteration 31 : 298 enodes (cost 5 ) 0.360 * * [simplify]: iteration 32 : 308 enodes (cost 5 ) 0.388 * * [simplify]: iteration 33 : 319 enodes (cost 5 ) 0.409 * * [simplify]: iteration 34 : 330 enodes (cost 5 ) 0.432 * * [simplify]: iteration 35 : 341 enodes (cost 5 ) 0.461 * * [simplify]: iteration 36 : 351 enodes (cost 5 ) 0.486 * * [simplify]: iteration 37 : 362 enodes (cost 5 ) 0.517 * * [simplify]: iteration 38 : 372 enodes (cost 5 ) 0.542 * * [simplify]: iteration 39 : 383 enodes (cost 5 ) 0.575 * * [simplify]: iteration 40 : 393 enodes (cost 5 ) 0.608 * * [simplify]: iteration 41 : 404 enodes (cost 5 ) 0.635 * * [simplify]: iteration 42 : 414 enodes (cost 5 ) 0.671 * * [simplify]: iteration 43 : 425 enodes (cost 5 ) 0.701 * * [simplify]: iteration 44 : 435 enodes (cost 5 ) 0.737 * * [simplify]: iteration 45 : 446 enodes (cost 5 ) 0.767 * * [simplify]: iteration 46 : 457 enodes (cost 5 ) 0.806 * * [simplify]: iteration 47 : 468 enodes (cost 5 ) 0.843 * * [simplify]: iteration 48 : 478 enodes (cost 5 ) 0.876 * * [simplify]: iteration 49 : 489 enodes (cost 5 ) 0.916 * * [simplify]: iteration 50 : 499 enodes (cost 5 ) 0.957 * * [simplify]: iteration 51 : 510 enodes (cost 5 ) 0.998 * * [simplify]: iteration 52 : 520 enodes (cost 5 ) 1.035 * * [simplify]: iteration 53 : 531 enodes (cost 5 ) 1.077 * * [simplify]: iteration 54 : 541 enodes (cost 5 ) 1.121 * * [simplify]: iteration 55 : 552 enodes (cost 5 ) 1.159 * * [simplify]: iteration 56 : 562 enodes (cost 5 ) 1.204 * * [simplify]: iteration 57 : 573 enodes (cost 5 ) 1.249 * * [simplify]: iteration 58 : 583 enodes (cost 5 ) 1.296 * * [simplify]: iteration 59 : 594 enodes (cost 5 ) 1.344 * * [simplify]: iteration 60 : 604 enodes (cost 5 ) 1.392 * * [simplify]: iteration 61 : 615 enodes (cost 5 ) 1.433 * * [simplify]: iteration 62 : 625 enodes (cost 5 ) 1.483 * * [simplify]: iteration 63 : 636 enodes (cost 5 ) 1.533 * * [simplify]: iteration 64 : 646 enodes (cost 5 ) 1.583 * * [simplify]: iteration 65 : 657 enodes (cost 5 ) 1.636 * * [simplify]: iteration 66 : 668 enodes (cost 5 ) 1.688 * * [simplify]: iteration 67 : 679 enodes (cost 5 ) 1.741 * * [simplify]: iteration 68 : 689 enodes (cost 5 ) 1.795 * * [simplify]: iteration 69 : 700 enodes (cost 5 ) 1.850 * * [simplify]: iteration 70 : 710 enodes (cost 5 ) 1.905 * * [simplify]: iteration 71 : 721 enodes (cost 5 ) 1.961 * * [simplify]: iteration 72 : 731 enodes (cost 5 ) 2.018 * * [simplify]: iteration 73 : 742 enodes (cost 5 ) 2.076 * * [simplify]: iteration 74 : 752 enodes (cost 5 ) 2.135 * * [simplify]: iteration 75 : 763 enodes (cost 5 ) 2.194 * * [simplify]: iteration 76 : 773 enodes (cost 5 ) 2.254 * * [simplify]: iteration 77 : 784 enodes (cost 5 ) 2.316 * * [simplify]: iteration 78 : 794 enodes (cost 5 ) 2.377 * * [simplify]: iteration 79 : 805 enodes (cost 5 ) 2.439 * * [simplify]: iteration 80 : 815 enodes (cost 5 ) 2.502 * * [simplify]: iteration 81 : 826 enodes (cost 5 ) 2.573 * * [simplify]: iteration 82 : 836 enodes (cost 5 ) 2.638 * * [simplify]: iteration 83 : 847 enodes (cost 5 ) 2.703 * * [simplify]: iteration 84 : 857 enodes (cost 5 ) 2.769 * * [simplify]: iteration 85 : 868 enodes (cost 5 ) 2.836 * * [simplify]: iteration 86 : 878 enodes (cost 5 ) 2.909 * * [simplify]: iteration 87 : 889 enodes (cost 5 ) 2.977 * * [simplify]: iteration 88 : 899 enodes (cost 5 ) 3.046 * * [simplify]: iteration 89 : 910 enodes (cost 5 ) 3.116 * * [simplify]: iteration 90 : 921 enodes (cost 5 ) 3.194 * * [simplify]: iteration 91 : 932 enodes (cost 5 ) 3.265 * * [simplify]: iteration 92 : 942 enodes (cost 5 ) 3.336 * * [simplify]: iteration 93 : 953 enodes (cost 5 ) 3.414 * * [simplify]: iteration 94 : 964 enodes (cost 5 ) 3.483 * * [simplify]: iteration 95 : 975 enodes (cost 5 ) 3.558 * * [simplify]: iteration 96 : 985 enodes (cost 5 ) 3.639 * * [simplify]: iteration 97 : 996 enodes (cost 5 ) 3.714 * * [simplify]: iteration 98 : 1007 enodes (cost 5 ) 3.791 * * [simplify]: iteration 99 : 1018 enodes (cost 5 ) 3.875 * * [simplify]: iteration 100 : 1029 enodes (cost 5 ) 3.953 * * [simplify]: iteration 101 : 1040 enodes (cost 5 ) 4.038 * * [simplify]: iteration 102 : 1051 enodes (cost 5 ) 4.118 * * [simplify]: iteration 103 : 1062 enodes (cost 5 ) 4.205 * * [simplify]: iteration 104 : 1073 enodes (cost 5 ) 4.281 * * [simplify]: iteration 105 : 1084 enodes (cost 5 ) 4.369 * * [simplify]: iteration 106 : 1095 enodes (cost 5 ) 4.446 * * [simplify]: iteration 107 : 1106 enodes (cost 5 ) 4.537 * * [simplify]: iteration 108 : 1116 enodes (cost 5 ) 4.617 * * [simplify]: iteration 109 : 1127 enodes (cost 5 ) 4.709 * * [simplify]: iteration 110 : 1137 enodes (cost 5 ) 4.793 * * [simplify]: iteration 111 : 1148 enodes (cost 5 ) 4.886 * * [simplify]: iteration 112 : 1159 enodes (cost 5 ) 4.973 * * [simplify]: iteration 113 : 1170 enodes (cost 5 ) 5.062 * * [simplify]: iteration 114 : 1181 enodes (cost 5 ) 5.157 * * [simplify]: iteration 115 : 1192 enodes (cost 5 ) 5.247 * * [simplify]: iteration 116 : 1202 enodes (cost 5 ) 5.338 * * [simplify]: iteration 117 : 1213 enodes (cost 5 ) 5.436 * * [simplify]: iteration 118 : 1224 enodes (cost 5 ) 5.526 * * [simplify]: iteration 119 : 1235 enodes (cost 5 ) 5.620 * * [simplify]: iteration 120 : 1246 enodes (cost 5 ) 5.721 * * [simplify]: iteration 121 : 1257 enodes (cost 5 ) 5.816 * * [simplify]: iteration 122 : 1268 enodes (cost 5 ) 5.911 * * [simplify]: iteration 123 : 1279 enodes (cost 5 ) 6.008 * * [simplify]: iteration 124 : 1289 enodes (cost 5 ) 6.111 * * [simplify]: iteration 125 : 1300 enodes (cost 5 ) 6.207 * * [simplify]: iteration 126 : 1311 enodes (cost 5 ) 6.306 * * [simplify]: iteration 127 : 1322 enodes (cost 5 ) 6.406 * * [simplify]: iteration 128 : 1332 enodes (cost 5 ) 6.505 * * [simplify]: iteration 129 : 1343 enodes (cost 5 ) 6.612 * * [simplify]: iteration 130 : 1353 enodes (cost 5 ) 6.722 * * [simplify]: iteration 131 : 1364 enodes (cost 5 ) 6.830 * * [simplify]: iteration 132 : 1374 enodes (cost 5 ) 6.927 * * [simplify]: iteration 133 : 1385 enodes (cost 5 ) 7.032 * * [simplify]: iteration 134 : 1396 enodes (cost 5 ) 7.137 * * [simplify]: iteration 135 : 1407 enodes (cost 5 ) 7.243 * * [simplify]: iteration 136 : 1418 enodes (cost 5 ) 7.349 * * [simplify]: iteration 137 : 1429 enodes (cost 5 ) 7.455 * * [simplify]: iteration 138 : 1439 enodes (cost 5 ) 7.563 * * [simplify]: iteration 139 : 1450 enodes (cost 5 ) 7.672 * * [simplify]: iteration 140 : 1460 enodes (cost 5 ) 7.783 * * [simplify]: iteration 141 : 1471 enodes (cost 5 ) 7.893 * * [simplify]: iteration 142 : 1482 enodes (cost 5 ) 8.004 * * [simplify]: iteration 143 : 1493 enodes (cost 5 ) 8.115 * * [simplify]: iteration 144 : 1504 enodes (cost 5 ) 8.227 * * [simplify]: iteration 145 : 1515 enodes (cost 5 ) 8.340 * * [simplify]: iteration 146 : 1525 enodes (cost 5 ) 8.455 * * [simplify]: iteration 147 : 1536 enodes (cost 5 ) 8.569 * * [simplify]: iteration 148 : 1546 enodes (cost 5 ) 8.693 * * [simplify]: iteration 149 : 1557 enodes (cost 5 ) 8.816 * * [simplify]: iteration 150 : 1568 enodes (cost 5 ) 8.941 * * [simplify]: iteration 151 : 1579 enodes (cost 5 ) 9.057 * * [simplify]: iteration 152 : 1589 enodes (cost 5 ) 9.176 * * [simplify]: iteration 153 : 1600 enodes (cost 5 ) 9.295 * * [simplify]: iteration 154 : 1610 enodes (cost 5 ) 9.424 * * [simplify]: iteration 155 : 1621 enodes (cost 5 ) 9.551 * * [simplify]: iteration 156 : 1632 enodes (cost 5 ) 9.672 * * [simplify]: iteration 157 : 1643 enodes (cost 5 ) 9.794 * * [simplify]: iteration 158 : 1654 enodes (cost 5 ) 9.925 * * [simplify]: iteration 159 : 1665 enodes (cost 5 ) 10.058 * * [simplify]: iteration 160 : 1676 enodes (cost 5 ) 10.183 * * [simplify]: iteration 161 : 1687 enodes (cost 5 ) 10.307 * * [simplify]: iteration 162 : 1698 enodes (cost 5 ) 10.442 * * [simplify]: iteration 163 : 1709 enodes (cost 5 ) 10.568 * * [simplify]: iteration 164 : 1720 enodes (cost 5 ) 10.695 * * [simplify]: iteration 165 : 1731 enodes (cost 5 ) 10.832 * * [simplify]: iteration 166 : 1742 enodes (cost 5 ) 10.961 * * [simplify]: iteration 167 : 1753 enodes (cost 5 ) 11.100 * * [simplify]: iteration 168 : 1763 enodes (cost 5 ) 11.236 * * [simplify]: iteration 169 : 1774 enodes (cost 5 ) 11.366 * * [simplify]: iteration 170 : 1784 enodes (cost 5 ) 11.509 * * [simplify]: iteration 171 : 1795 enodes (cost 5 ) 11.642 * * [simplify]: iteration 172 : 1806 enodes (cost 5 ) 11.786 * * [simplify]: iteration 173 : 1817 enodes (cost 5 ) 11.919 * * [simplify]: iteration 174 : 1827 enodes (cost 5 ) 12.062 * * [simplify]: iteration 175 : 1838 enodes (cost 5 ) 12.196 * * [simplify]: iteration 176 : 1849 enodes (cost 5 ) 12.343 * * [simplify]: iteration 177 : 1860 enodes (cost 5 ) 12.478 * * [simplify]: iteration 178 : 1871 enodes (cost 5 ) 12.627 * * [simplify]: iteration 179 : 1882 enodes (cost 5 ) 12.764 * * [simplify]: iteration 180 : 1893 enodes (cost 5 ) 12.911 * * [simplify]: iteration 181 : 1904 enodes (cost 5 ) 13.061 * * [simplify]: iteration 182 : 1915 enodes (cost 5 ) 13.201 * * [simplify]: iteration 183 : 1926 enodes (cost 5 ) 13.353 * * [simplify]: iteration 184 : 1936 enodes (cost 5 ) 13.505 * * [simplify]: iteration 185 : 1947 enodes (cost 5 ) 13.641 * * [simplify]: iteration 186 : 1957 enodes (cost 5 ) 13.796 * * [simplify]: iteration 187 : 1968 enodes (cost 5 ) 13.949 * * [simplify]: iteration 188 : 1978 enodes (cost 5 ) 14.090 * * [simplify]: iteration 189 : 1989 enodes (cost 5 ) 14.245 * * [simplify]: iteration 190 : 2000 enodes (cost 5 ) 14.403 * * [simplify]: iteration 191 : 2011 enodes (cost 5 ) 14.549 * * [simplify]: iteration 192 : 2021 enodes (cost 5 ) 14.700 * * [simplify]: iteration 193 : 2032 enodes (cost 5 ) 14.858 * * [simplify]: iteration 194 : 2042 enodes (cost 5 ) 15.021 * * [simplify]: iteration 195 : 2053 enodes (cost 5 ) 15.181 * * [simplify]: iteration 196 : 2064 enodes (cost 5 ) 15.327 * * [simplify]: iteration 197 : 2075 enodes (cost 5 ) 15.481 * * [simplify]: iteration 198 : 2085 enodes (cost 5 ) 15.644 * * [simplify]: iteration 199 : 2096 enodes (cost 5 ) 15.808 * * [simplify]: iteration 200 : 2106 enodes (cost 5 ) 15.973 * * [simplify]: iteration 201 : 2117 enodes (cost 5 ) 16.138 * * [simplify]: iteration 202 : 2127 enodes (cost 5 ) 16.303 * * [simplify]: iteration 203 : 2138 enodes (cost 5 ) 16.469 * * [simplify]: iteration 204 : 2148 enodes (cost 5 ) 16.623 * * [simplify]: iteration 205 : 2159 enodes (cost 5 ) 16.784 * * [simplify]: iteration 206 : 2169 enodes (cost 5 ) 16.945 * * [simplify]: iteration 207 : 2180 enodes (cost 5 ) 17.109 * * [simplify]: iteration 208 : 2190 enodes (cost 5 ) 17.272 * * [simplify]: iteration 209 : 2201 enodes (cost 5 ) 17.435 * * [simplify]: iteration 210 : 2212 enodes (cost 5 ) 17.599 * * [simplify]: iteration 211 : 2223 enodes (cost 5 ) 17.763 * * [simplify]: iteration 212 : 2233 enodes (cost 5 ) 17.928 * * [simplify]: iteration 213 : 2244 enodes (cost 5 ) 18.105 * * [simplify]: iteration 214 : 2254 enodes (cost 5 ) 18.277 * * [simplify]: iteration 215 : 2265 enodes (cost 5 ) 18.452 * * [simplify]: iteration 216 : 2275 enodes (cost 5 ) 18.630 * * [simplify]: iteration 217 : 2286 enodes (cost 5 ) 18.807 * * [simplify]: iteration 218 : 2296 enodes (cost 5 ) 18.989 * * [simplify]: iteration 219 : 2307 enodes (cost 5 ) 19.162 * * [simplify]: iteration 220 : 2318 enodes (cost 5 ) 19.333 * * [simplify]: iteration 221 : 2329 enodes (cost 5 ) 19.517 * * [simplify]: iteration 222 : 2339 enodes (cost 5 ) 19.698 * * [simplify]: iteration 223 : 2350 enodes (cost 5 ) 19.881 * * [simplify]: iteration 224 : 2360 enodes (cost 5 ) 20.057 * * [simplify]: iteration 225 : 2371 enodes (cost 5 ) 20.231 * * [simplify]: iteration 226 : 2381 enodes (cost 5 ) 20.418 * * [simplify]: iteration 227 : 2392 enodes (cost 5 ) 20.602 * * [simplify]: iteration 228 : 2403 enodes (cost 5 ) 20.780 * * [simplify]: iteration 229 : 2414 enodes (cost 5 ) 20.968 * * [simplify]: iteration 230 : 2425 enodes (cost 5 ) 21.151 * * [simplify]: iteration 231 : 2436 enodes (cost 5 ) 21.337 * * [simplify]: iteration 232 : 2446 enodes (cost 5 ) 21.528 * * [simplify]: iteration 233 : 2457 enodes (cost 5 ) 21.713 * * [simplify]: iteration 234 : 2467 enodes (cost 5 ) 21.895 * * [simplify]: iteration 235 : 2478 enodes (cost 5 ) 22.088 * * [simplify]: iteration 236 : 2488 enodes (cost 5 ) 22.582 * * [simplify]: iteration 237 : 2499 enodes (cost 5 ) 22.774 * * [simplify]: iteration 238 : 2510 enodes (cost 5 ) 22.964 * * [simplify]: iteration 239 : 2521 enodes (cost 5 ) 23.147 * * [simplify]: iteration 240 : 2531 enodes (cost 5 ) 23.344 * * [simplify]: iteration 241 : 2542 enodes (cost 5 ) 23.530 * * [simplify]: iteration 242 : 2552 enodes (cost 5 ) 23.727 * * [simplify]: iteration 243 : 2563 enodes (cost 5 ) 23.912 * * [simplify]: iteration 244 : 2574 enodes (cost 5 ) 24.114 * * [simplify]: iteration 245 : 2585 enodes (cost 5 ) 24.302 * * [simplify]: iteration 246 : 2595 enodes (cost 5 ) 24.506 * * [simplify]: iteration 247 : 2606 enodes (cost 5 ) 24.705 * * [simplify]: iteration 248 : 2616 enodes (cost 5 ) 24.899 * * [simplify]: iteration 249 : 2627 enodes (cost 5 ) 25.100 * * [simplify]: iteration 250 : 2637 enodes (cost 5 ) 25.298 * * [simplify]: iteration 251 : 2648 enodes (cost 5 ) 25.514 * * [simplify]: iteration 252 : 2658 enodes (cost 5 ) 25.710 * * [simplify]: iteration 253 : 2669 enodes (cost 5 ) 25.903 * * [simplify]: iteration 254 : 2679 enodes (cost 5 ) 26.105 * * [simplify]: iteration 255 : 2690 enodes (cost 5 ) 26.303 * * [simplify]: iteration 256 : 2700 enodes (cost 5 ) 26.501 * * [simplify]: iteration 257 : 2711 enodes (cost 5 ) 26.704 * * [simplify]: iteration 258 : 2721 enodes (cost 5 ) 26.907 * * [simplify]: iteration 259 : 2732 enodes (cost 5 ) 27.101 * * [simplify]: iteration 260 : 2743 enodes (cost 5 ) 27.306 * * [simplify]: iteration 261 : 2754 enodes (cost 5 ) 27.510 * * [simplify]: iteration 262 : 2764 enodes (cost 5 ) 27.716 * * [simplify]: iteration 263 : 2775 enodes (cost 5 ) 27.919 * * [simplify]: iteration 264 : 2785 enodes (cost 5 ) 28.118 * * [simplify]: iteration 265 : 2796 enodes (cost 5 ) 28.326 * * [simplify]: iteration 266 : 2806 enodes (cost 5 ) 28.538 * * [simplify]: iteration 267 : 2817 enodes (cost 5 ) 28.748 * * [simplify]: iteration 268 : 2827 enodes (cost 5 ) 28.958 * * [simplify]: iteration 269 : 2838 enodes (cost 5 ) 29.169 * * [simplify]: iteration 270 : 2848 enodes (cost 5 ) 29.381 * * [simplify]: iteration 271 : 2859 enodes (cost 5 ) 29.589 * * [simplify]: iteration 272 : 2869 enodes (cost 5 ) 29.792 * * [simplify]: iteration 273 : 2880 enodes (cost 5 ) 30.003 * * [simplify]: iteration 274 : 2890 enodes (cost 5 ) 30.219 * * [simplify]: iteration 275 : 2901 enodes (cost 5 ) 30.434 * * [simplify]: iteration 276 : 2911 enodes (cost 5 ) 30.652 * * [simplify]: iteration 277 : 2922 enodes (cost 5 ) 30.869 * * [simplify]: iteration 278 : 2933 enodes (cost 5 ) 31.087 * * [simplify]: iteration 279 : 2944 enodes (cost 5 ) 31.305 * * [simplify]: iteration 280 : 2954 enodes (cost 5 ) 31.523 * * [simplify]: iteration 281 : 2965 enodes (cost 5 ) 31.734 * * [simplify]: iteration 282 : 2975 enodes (cost 5 ) 31.959 * * [simplify]: iteration 283 : 2986 enodes (cost 5 ) 32.176 * * [simplify]: iteration 284 : 2997 enodes (cost 5 ) 32.396 * * [simplify]: iteration 285 : 3008 enodes (cost 5 ) 32.618 * * [simplify]: iteration 286 : 3018 enodes (cost 5 ) 32.846 * * [simplify]: iteration 287 : 3029 enodes (cost 5 ) 33.071 * * [simplify]: iteration 288 : 3039 enodes (cost 5 ) 33.300 * * [simplify]: iteration 289 : 3050 enodes (cost 5 ) 33.525 * * [simplify]: iteration 290 : 3060 enodes (cost 5 ) 33.755 * * [simplify]: iteration 291 : 3071 enodes (cost 5 ) 33.979 * * [simplify]: iteration 292 : 3082 enodes (cost 5 ) 34.207 * * [simplify]: iteration 293 : 3093 enodes (cost 5 ) 34.438 * * [simplify]: iteration 294 : 3103 enodes (cost 5 ) 34.662 * * [simplify]: iteration 295 : 3114 enodes (cost 5 ) 34.899 * * [simplify]: iteration 296 : 3124 enodes (cost 5 ) 35.133 * * [simplify]: iteration 297 : 3135 enodes (cost 5 ) 35.366 * * [simplify]: iteration 298 : 3146 enodes (cost 5 ) 35.602 * * [simplify]: iteration 299 : 3157 enodes (cost 5 ) 35.834 * * [simplify]: iteration 300 : 3167 enodes (cost 5 ) 36.072 * * [simplify]: iteration 301 : 3178 enodes (cost 5 ) 36.309 * * [simplify]: iteration 302 : 3189 enodes (cost 5 ) 36.545 * * [simplify]: iteration 303 : 3200 enodes (cost 5 ) 36.784 * * [simplify]: iteration 304 : 3211 enodes (cost 5 ) 37.048 * * [simplify]: iteration 305 : 3222 enodes (cost 5 ) 37.288 * * [simplify]: iteration 306 : 3232 enodes (cost 5 ) 37.533 * * [simplify]: iteration 307 : 3243 enodes (cost 5 ) 37.772 * * [simplify]: iteration 308 : 3253 enodes (cost 5 ) 38.017 * * [simplify]: iteration 309 : 3264 enodes (cost 5 ) 38.265 * * [simplify]: iteration 310 : 3274 enodes (cost 5 ) 38.513 * * [simplify]: iteration 311 : 3285 enodes (cost 5 ) 38.764 * * [simplify]: iteration 312 : 3296 enodes (cost 5 ) 39.013 * * [simplify]: iteration 313 : 3307 enodes (cost 5 ) 39.265 * * [simplify]: iteration 314 : 3317 enodes (cost 5 ) 39.515 * * [simplify]: iteration 315 : 3328 enodes (cost 5 ) 39.769 * * [simplify]: iteration 316 : 3339 enodes (cost 5 ) 40.026 * * [simplify]: iteration 317 : 3350 enodes (cost 5 ) 40.274 * * [simplify]: iteration 318 : 3360 enodes (cost 5 ) 40.531 * * [simplify]: iteration 319 : 3371 enodes (cost 5 ) 40.787 * * [simplify]: iteration 320 : 3381 enodes (cost 5 ) 41.044 * * [simplify]: iteration 321 : 3392 enodes (cost 5 ) 41.297 * * [simplify]: iteration 322 : 3402 enodes (cost 5 ) 41.552 * * [simplify]: iteration 323 : 3413 enodes (cost 5 ) 41.812 * * [simplify]: iteration 324 : 3424 enodes (cost 5 ) 42.071 * * [simplify]: iteration 325 : 3435 enodes (cost 5 ) 42.323 * * [simplify]: iteration 326 : 3446 enodes (cost 5 ) 42.588 * * [simplify]: iteration 327 : 3457 enodes (cost 5 ) 42.850 * * [simplify]: iteration 328 : 3467 enodes (cost 5 ) 43.114 * * [simplify]: iteration 329 : 3478 enodes (cost 5 ) 43.382 * * [simplify]: iteration 330 : 3488 enodes (cost 5 ) 43.650 * * [simplify]: iteration 331 : 3499 enodes (cost 5 ) 43.914 * * [simplify]: iteration 332 : 3509 enodes (cost 5 ) 44.188 * * [simplify]: iteration 333 : 3520 enodes (cost 5 ) 44.449 * * [simplify]: iteration 334 : 3530 enodes (cost 5 ) 44.721 * * [simplify]: iteration 335 : 3541 enodes (cost 5 ) 44.994 * * [simplify]: iteration 336 : 3551 enodes (cost 5 ) 45.270 * * [simplify]: iteration 337 : 3562 enodes (cost 5 ) 45.545 * * [simplify]: iteration 338 : 3572 enodes (cost 5 ) 45.821 * * [simplify]: iteration 339 : 3583 enodes (cost 5 ) 46.102 * * [simplify]: iteration 340 : 3593 enodes (cost 5 ) 46.388 * * [simplify]: iteration 341 : 3604 enodes (cost 5 ) 46.663 * * [simplify]: iteration 342 : 3614 enodes (cost 5 ) 46.948 * * [simplify]: iteration 343 : 3625 enodes (cost 5 ) 47.232 * * [simplify]: iteration 344 : 3635 enodes (cost 5 ) 47.520 * * [simplify]: iteration 345 : 3646 enodes (cost 5 ) 47.806 * * [simplify]: iteration 346 : 3657 enodes (cost 5 ) 48.096 * * [simplify]: iteration 347 : 3668 enodes (cost 5 ) 48.381 * * [simplify]: iteration 348 : 3678 enodes (cost 5 ) 48.663 * * [simplify]: iteration 349 : 3689 enodes (cost 5 ) 48.946 * * [simplify]: iteration 350 : 3700 enodes (cost 5 ) 49.523 * * [simplify]: iteration 351 : 3711 enodes (cost 5 ) 49.804 * * [simplify]: iteration 352 : 3722 enodes (cost 5 ) 50.083 * * [simplify]: iteration 353 : 3733 enodes (cost 5 ) 50.366 * * [simplify]: iteration 354 : 3744 enodes (cost 5 ) 50.653 * * [simplify]: iteration 355 : 3755 enodes (cost 5 ) 50.938 * * [simplify]: iteration 356 : 3765 enodes (cost 5 ) 51.227 * * [simplify]: iteration 357 : 3776 enodes (cost 5 ) 51.516 * * [simplify]: iteration 358 : 3786 enodes (cost 5 ) 51.821 * * [simplify]: iteration 359 : 3797 enodes (cost 5 ) 52.108 * * [simplify]: iteration 360 : 3808 enodes (cost 5 ) 52.403 * * [simplify]: iteration 361 : 3819 enodes (cost 5 ) 52.701 * * [simplify]: iteration 362 : 3829 enodes (cost 5 ) 53.001 * * [simplify]: iteration 363 : 3840 enodes (cost 5 ) 53.304 * * [simplify]: iteration 364 : 3850 enodes (cost 5 ) 53.598 * * [simplify]: iteration 365 : 3861 enodes (cost 5 ) 53.896 * * [simplify]: iteration 366 : 3871 enodes (cost 5 ) 54.208 * * [simplify]: iteration 367 : 3882 enodes (cost 5 ) 54.499 * * [simplify]: iteration 368 : 3892 enodes (cost 5 ) 54.793 * * [simplify]: iteration 369 : 3903 enodes (cost 5 ) 55.096 * * [simplify]: iteration 370 : 3913 enodes (cost 5 ) 55.388 * * [simplify]: iteration 371 : 3924 enodes (cost 5 ) 55.683 * * [simplify]: iteration 372 : 3934 enodes (cost 5 ) 55.992 * * [simplify]: iteration 373 : 3945 enodes (cost 5 ) 56.301 * * [simplify]: iteration 374 : 3955 enodes (cost 5 ) 56.598 * * [simplify]: iteration 375 : 3966 enodes (cost 5 ) 56.895 * * [simplify]: iteration 376 : 3976 enodes (cost 5 ) 57.194 * * [simplify]: iteration 377 : 3987 enodes (cost 5 ) 57.493 * * [simplify]: iteration 378 : 3997 enodes (cost 5 ) 57.795 * * [simplify]: iteration 379 : 4008 enodes (cost 5 ) 58.101 * * [simplify]: iteration 380 : 4018 enodes (cost 5 ) 58.405 * * [simplify]: iteration 381 : 4029 enodes (cost 5 ) 58.707 * * [simplify]: iteration 382 : 4040 enodes (cost 5 ) 59.005 * * [simplify]: iteration 383 : 4051 enodes (cost 5 ) 59.306 * * [simplify]: iteration 384 : 4061 enodes (cost 5 ) 59.606 * * [simplify]: iteration 385 : 4072 enodes (cost 5 ) 59.907 * * [simplify]: iteration 386 : 4082 enodes (cost 5 ) 60.221 * * [simplify]: iteration 387 : 4093 enodes (cost 5 ) 60.520 * * [simplify]: iteration 388 : 4103 enodes (cost 5 ) 60.827 * * [simplify]: iteration 389 : 4114 enodes (cost 5 ) 61.131 * * [simplify]: iteration 390 : 4124 enodes (cost 5 ) 61.444 * * [simplify]: iteration 391 : 4135 enodes (cost 5 ) 61.760 * * [simplify]: iteration 392 : 4145 enodes (cost 5 ) 62.068 * * [simplify]: iteration 393 : 4156 enodes (cost 5 ) 62.382 * * [simplify]: iteration 394 : 4166 enodes (cost 5 ) 62.697 * * [simplify]: iteration 395 : 4177 enodes (cost 5 ) 63.019 * * [simplify]: iteration 396 : 4187 enodes (cost 5 ) 63.330 * * [simplify]: iteration 397 : 4198 enodes (cost 5 ) 63.647 * * [simplify]: iteration 398 : 4208 enodes (cost 5 ) 63.966 * * [simplify]: iteration 399 : 4219 enodes (cost 5 ) 64.304 * * [simplify]: iteration 400 : 4230 enodes (cost 5 ) 64.617 * * [simplify]: iteration 401 : 4241 enodes (cost 5 ) 64.942 * * [simplify]: iteration 402 : 4251 enodes (cost 5 ) 65.263 * * [simplify]: iteration 403 : 4262 enodes (cost 5 ) 65.584 * * [simplify]: iteration 404 : 4272 enodes (cost 5 ) 65.913 * * [simplify]: iteration 405 : 4283 enodes (cost 5 ) 66.241 * * [simplify]: iteration 406 : 4293 enodes (cost 5 ) 66.570 * * [simplify]: iteration 407 : 4304 enodes (cost 5 ) 66.886 * * [simplify]: iteration 408 : 4315 enodes (cost 5 ) 67.214 * * [simplify]: iteration 409 : 4326 enodes (cost 5 ) 67.539 * * [simplify]: iteration 410 : 4336 enodes (cost 5 ) 67.870 * * [simplify]: iteration 411 : 4347 enodes (cost 5 ) 68.198 * * [simplify]: iteration 412 : 4357 enodes (cost 5 ) 68.530 * * [simplify]: iteration 413 : 4368 enodes (cost 5 ) 68.859 * * [simplify]: iteration 414 : 4378 enodes (cost 5 ) 69.193 * * [simplify]: iteration 415 : 4389 enodes (cost 5 ) 69.525 * * [simplify]: iteration 416 : 4399 enodes (cost 5 ) 69.860 * * [simplify]: iteration 417 : 4410 enodes (cost 5 ) 70.199 * * [simplify]: iteration 418 : 4420 enodes (cost 5 ) 70.536 * * [simplify]: iteration 419 : 4431 enodes (cost 5 ) 70.873 * * [simplify]: iteration 420 : 4441 enodes (cost 5 ) 71.220 * * [simplify]: iteration 421 : 4452 enodes (cost 5 ) 71.556 * * [simplify]: iteration 422 : 4462 enodes (cost 5 ) 71.902 * * [simplify]: iteration 423 : 4473 enodes (cost 5 ) 72.244 * * [simplify]: iteration 424 : 4483 enodes (cost 5 ) 72.583 * * [simplify]: iteration 425 : 4494 enodes (cost 5 ) 72.919 * * [simplify]: iteration 426 : 4504 enodes (cost 5 ) 73.262 * * [simplify]: iteration 427 : 4515 enodes (cost 5 ) 73.612 * * [simplify]: iteration 428 : 4525 enodes (cost 5 ) 73.964 * * [simplify]: iteration 429 : 4536 enodes (cost 5 ) 74.304 * * [simplify]: iteration 430 : 4546 enodes (cost 5 ) 74.650 * * [simplify]: iteration 431 : 4557 enodes (cost 5 ) 74.994 * * [simplify]: iteration 432 : 4567 enodes (cost 5 ) 75.360 * * [simplify]: iteration 433 : 4578 enodes (cost 5 ) 76.014 * * [simplify]: iteration 434 : 4589 enodes (cost 5 ) 76.361 * * [simplify]: iteration 435 : 4600 enodes (cost 5 ) 76.714 * * [simplify]: iteration 436 : 4610 enodes (cost 5 ) 77.063 * * [simplify]: iteration 437 : 4621 enodes (cost 5 ) 77.405 * * [simplify]: iteration 438 : 4631 enodes (cost 5 ) 77.764 * * [simplify]: iteration 439 : 4642 enodes (cost 5 ) 78.108 * * [simplify]: iteration 440 : 4653 enodes (cost 5 ) 78.460 * * [simplify]: iteration 441 : 4664 enodes (cost 5 ) 78.818 * * [simplify]: iteration 442 : 4674 enodes (cost 5 ) 79.167 * * [simplify]: iteration 443 : 4685 enodes (cost 5 ) 79.523 * * [simplify]: iteration 444 : 4695 enodes (cost 5 ) 79.868 * * [simplify]: iteration 445 : 4706 enodes (cost 5 ) 80.221 * * [simplify]: iteration 446 : 4716 enodes (cost 5 ) 80.584 * * [simplify]: iteration 447 : 4727 enodes (cost 5 ) 80.936 * * [simplify]: iteration 448 : 4737 enodes (cost 5 ) 81.303 * * [simplify]: iteration 449 : 4748 enodes (cost 5 ) 81.656 * * [simplify]: iteration 450 : 4758 enodes (cost 5 ) 82.020 * * [simplify]: iteration 451 : 4769 enodes (cost 5 ) 82.373 * * [simplify]: iteration 452 : 4779 enodes (cost 5 ) 82.734 * * [simplify]: iteration 453 : 4790 enodes (cost 5 ) 83.097 * * [simplify]: iteration 454 : 4800 enodes (cost 5 ) 83.450 * * [simplify]: iteration 455 : 4811 enodes (cost 5 ) 83.818 * * [simplify]: iteration 456 : 4821 enodes (cost 5 ) 84.178 * * [simplify]: iteration 457 : 4832 enodes (cost 5 ) 84.542 * * [simplify]: iteration 458 : 4842 enodes (cost 5 ) 84.931 * * [simplify]: iteration 459 : 4853 enodes (cost 5 ) 85.285 * * [simplify]: iteration 460 : 4863 enodes (cost 5 ) 85.650 * * [simplify]: iteration 461 : 4874 enodes (cost 5 ) 86.016 * * [simplify]: iteration 462 : 4884 enodes (cost 5 ) 86.372 * * [simplify]: iteration 463 : 4895 enodes (cost 5 ) 86.737 * * [simplify]: iteration 464 : 4905 enodes (cost 5 ) 87.111 * * [simplify]: iteration 465 : 4916 enodes (cost 5 ) 87.479 * * [simplify]: iteration 466 : 4926 enodes (cost 5 ) 87.847 * * [simplify]: iteration 467 : 4937 enodes (cost 5 ) 88.212 * * [simplify]: iteration 468 : 4948 enodes (cost 5 ) 88.589 * * [simplify]: iteration 469 : 4959 enodes (cost 5 ) 88.965 * * [simplify]: iteration 470 : 4969 enodes (cost 5 ) 89.345 * * [simplify]: iteration 471 : 4980 enodes (cost 5 ) 89.711 * * [simplify]: iteration 472 : 4991 enodes (cost 5 ) 90.079 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 90.079 * [simplify]: Simplified to: (- (+ x x) 1.0) 90.079 * * [progress]: iteration 1 / 4 90.079 * * * [progress]: picking best candidate 90.081 * * * * [pick]: Picked # 90.081 * * * [progress]: localizing error 90.084 * * * [progress]: generating rewritten candidates 90.084 * * * [progress]: generating series expansions 90.084 * * * [progress]: simplifying candidates 90.084 * [simplify]: Simplifying using # : 90.085 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 90.085 * * [simplify]: iteration done : 0 enodes (cost 0 ) 90.085 * [simplify]: Simplified to: 90.085 * * * [progress]: adding candidates to table 90.085 * [progress]: [Phase 3 of 3] Extracting. 90.087 * [simplify]: Simplifying using # : (- (+ x x) 1.0) 90.087 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 90.087 * * [simplify]: iteration done : 4 enodes (cost 5 ) 90.087 * [simplify]: Simplified to: (- (+ x x) 1.0) 90.532 * [regime-testing]: End program error score: 0