5.577 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.009 * * * [progress]: [2/2] Setting up program. 0.012 * [progress]: [Phase 2 of 3] Improving. 0.012 * [simplify]: Simplifying: (+ (+ (+ (+ x x) x) x) x) 0.012 * * [simplify]: Extracting # 0 : cost 1 inf + 0 0.012 * * [simplify]: Extracting # 1 : cost 3 inf + 0 0.012 * * [simplify]: Extracting # 2 : cost 3 inf + 1 0.012 * * [simplify]: Extracting # 3 : cost 4 inf + 1 0.012 * * [simplify]: Extracting # 4 : cost 0 inf + 405 0.012 * * [simplify]: iteration 0 : 5 enodes (cost 161 ) 0.013 * * [simplify]: Extracting # 0 : cost 0 inf + 405 0.014 * * [simplify]: Extracting # 1 : cost 1 inf + 325 0.014 * * [simplify]: Extracting # 2 : cost 0 inf + 326 0.014 * * [simplify]: iteration 1 : 12 enodes (cost 121 ) 0.018 * * [simplify]: Extracting # 0 : cost 0 inf + 326 0.018 * * [simplify]: Extracting # 1 : cost 2 inf + 302 0.019 * * [simplify]: Extracting # 2 : cost 0 inf + 304 0.019 * * [simplify]: Extracting # 3 : cost 0 inf + 211 0.019 * * [simplify]: iteration 2 : 24 enodes (cost 82 ) 0.029 * * [simplify]: Extracting # 0 : cost 0 inf + 211 0.029 * * [simplify]: Extracting # 1 : cost 1 inf + 211 0.029 * * [simplify]: Extracting # 2 : cost 0 inf + 212 0.029 * * [simplify]: Extracting # 3 : cost 0 inf + 187 0.030 * * [simplify]: iteration 3 : 35 enodes (cost 57 ) 0.042 * * [simplify]: Extracting # 0 : cost 0 inf + 187 0.042 * * [simplify]: Extracting # 1 : cost 2 inf + 187 0.043 * * [simplify]: Extracting # 2 : cost 0 inf + 189 0.043 * * [simplify]: Extracting # 3 : cost 0 inf + 174 0.043 * * [simplify]: iteration 4 : 50 enodes (cost 42 ) 0.053 * * [simplify]: Extracting # 0 : cost 0 inf + 174 0.053 * * [simplify]: Extracting # 1 : cost 3 inf + 174 0.053 * * [simplify]: Extracting # 2 : cost 0 inf + 259 0.053 * * [simplify]: iteration 5 : 58 enodes (cost 42 ) 0.063 * * [simplify]: Extracting # 0 : cost 0 inf + 259 0.063 * * [simplify]: Extracting # 1 : cost 14 inf + 177 0.063 * * [simplify]: Extracting # 2 : cost 0 inf + 1117 0.064 * * [simplify]: iteration 6 : 94 enodes (cost 42 ) 0.081 * * [simplify]: Extracting # 0 : cost 0 inf + 1117 0.082 * * [simplify]: Extracting # 1 : cost 27 inf + 965 0.084 * * [simplify]: Extracting # 2 : cost 0 inf + 2730 0.085 * * [simplify]: iteration 7 : 227 enodes (cost 42 ) 0.157 * * [simplify]: Extracting # 0 : cost 0 inf + 2730 0.161 * * [simplify]: Extracting # 1 : cost 11 inf + 1884 0.165 * * [simplify]: Extracting # 2 : cost 0 inf + 2419 0.169 * * [simplify]: iteration 8 : 336 enodes (cost 42 ) 0.222 * * [simplify]: Extracting # 0 : cost 0 inf + 2419 0.226 * * [simplify]: Extracting # 1 : cost 13 inf + 2338 0.230 * * [simplify]: Extracting # 2 : cost 0 inf + 3318 0.233 * * [simplify]: iteration 9 : 408 enodes (cost 42 ) 0.330 * * [simplify]: Extracting # 0 : cost 0 inf + 3318 0.335 * * [simplify]: Extracting # 1 : cost 20 inf + 2878 0.341 * * [simplify]: Extracting # 2 : cost 0 inf + 3984 0.348 * * [simplify]: iteration 10 : 483 enodes (cost 42 ) 0.519 * * [simplify]: Extracting # 0 : cost 0 inf + 3984 0.527 * * [simplify]: Extracting # 1 : cost 11 inf + 3702 0.534 * * [simplify]: Extracting # 2 : cost 0 inf + 4195 0.547 * * [simplify]: iteration 11 : 585 enodes (cost 42 ) 0.675 * * [simplify]: Extracting # 0 : cost 0 inf + 4195 0.684 * * [simplify]: Extracting # 1 : cost 7 inf + 4155 0.692 * * [simplify]: Extracting # 2 : cost 0 inf + 4443 0.702 * * [simplify]: iteration 12 : 632 enodes (cost 42 ) 0.769 * * [simplify]: Extracting # 0 : cost 0 inf + 4443 0.780 * * [simplify]: Extracting # 1 : cost 6 inf + 4441 0.790 * * [simplify]: Extracting # 2 : cost 0 inf + 4687 0.799 * * [simplify]: iteration 13 : 684 enodes (cost 42 ) 0.937 * * [simplify]: Extracting # 0 : cost 0 inf + 4687 0.946 * * [simplify]: Extracting # 1 : cost 7 inf + 4687 0.955 * * [simplify]: Extracting # 2 : cost 0 inf + 4975 0.963 * * [simplify]: iteration 14 : 740 enodes (cost 42 ) 1.068 * * [simplify]: Extracting # 0 : cost 0 inf + 4975 1.077 * * [simplify]: Extracting # 1 : cost 6 inf + 4975 1.085 * * [simplify]: Extracting # 2 : cost 0 inf + 5221 1.099 * * [simplify]: iteration 15 : 780 enodes (cost 42 ) 1.203 * * [simplify]: Extracting # 0 : cost 0 inf + 5221 1.218 * * [simplify]: Extracting # 1 : cost 7 inf + 5220 1.234 * * [simplify]: Extracting # 2 : cost 0 inf + 5508 1.251 * * [simplify]: iteration 16 : 823 enodes (cost 42 ) 1.393 * * [simplify]: Extracting # 0 : cost 0 inf + 5508 1.410 * * [simplify]: Extracting # 1 : cost 6 inf + 5508 1.422 * * [simplify]: Extracting # 2 : cost 0 inf + 5754 1.430 * * [simplify]: iteration 17 : 862 enodes (cost 42 ) 1.493 * * [simplify]: Extracting # 0 : cost 0 inf + 5754 1.503 * * [simplify]: Extracting # 1 : cost 6 inf + 5753 1.513 * * [simplify]: Extracting # 2 : cost 0 inf + 5999 1.528 * * [simplify]: iteration 18 : 908 enodes (cost 42 ) 1.648 * * [simplify]: Extracting # 0 : cost 0 inf + 5999 1.657 * * [simplify]: Extracting # 1 : cost 6 inf + 5999 1.665 * * [simplify]: Extracting # 2 : cost 0 inf + 6245 1.674 * * [simplify]: iteration 19 : 961 enodes (cost 42 ) 1.779 * * [simplify]: Extracting # 0 : cost 0 inf + 6245 1.787 * * [simplify]: Extracting # 1 : cost 7 inf + 6245 1.796 * * [simplify]: Extracting # 2 : cost 0 inf + 6533 1.805 * * [simplify]: iteration 20 : 1000 enodes (cost 42 ) 1.911 * * [simplify]: Extracting # 0 : cost 0 inf + 6533 1.931 * * [simplify]: Extracting # 1 : cost 6 inf + 6532 1.948 * * [simplify]: Extracting # 2 : cost 0 inf + 6778 1.962 * * [simplify]: iteration 21 : 1036 enodes (cost 42 ) 2.012 * * [simplify]: Extracting # 0 : cost 0 inf + 6778 2.020 * * [simplify]: Extracting # 1 : cost 7 inf + 6778 2.028 * * [simplify]: Extracting # 2 : cost 0 inf + 7066 2.039 * * [simplify]: iteration 22 : 1065 enodes (cost 42 ) 2.078 * * [simplify]: Extracting # 0 : cost 0 inf + 7066 2.088 * * [simplify]: Extracting # 1 : cost 6 inf + 7065 2.097 * * [simplify]: Extracting # 2 : cost 0 inf + 7311 2.106 * * [simplify]: iteration 23 : 1101 enodes (cost 42 ) 2.149 * * [simplify]: Extracting # 0 : cost 0 inf + 7311 2.158 * * [simplify]: Extracting # 1 : cost 7 inf + 7311 2.167 * * [simplify]: Extracting # 2 : cost 0 inf + 7599 2.176 * * [simplify]: iteration 24 : 1130 enodes (cost 42 ) 2.228 * * [simplify]: Extracting # 0 : cost 0 inf + 7599 2.245 * * [simplify]: Extracting # 1 : cost 6 inf + 7598 2.263 * * [simplify]: Extracting # 2 : cost 0 inf + 7844 2.281 * * [simplify]: iteration 25 : 1166 enodes (cost 42 ) 2.331 * * [simplify]: Extracting # 0 : cost 0 inf + 7844 2.342 * * [simplify]: Extracting # 1 : cost 7 inf + 7844 2.350 * * [simplify]: Extracting # 2 : cost 0 inf + 8132 2.360 * * [simplify]: iteration 26 : 1195 enodes (cost 42 ) 2.418 * * [simplify]: Extracting # 0 : cost 0 inf + 8132 2.427 * * [simplify]: Extracting # 1 : cost 6 inf + 8131 2.445 * * [simplify]: Extracting # 2 : cost 0 inf + 8377 2.463 * * [simplify]: iteration 27 : 1231 enodes (cost 42 ) 2.535 * * [simplify]: Extracting # 0 : cost 0 inf + 8377 2.544 * * [simplify]: Extracting # 1 : cost 7 inf + 8377 2.553 * * [simplify]: Extracting # 2 : cost 0 inf + 8665 2.575 * * [simplify]: iteration 28 : 1260 enodes (cost 42 ) 2.654 * * [simplify]: Extracting # 0 : cost 0 inf + 8665 2.674 * * [simplify]: Extracting # 1 : cost 6 inf + 8664 2.693 * * [simplify]: Extracting # 2 : cost 0 inf + 8910 2.711 * * [simplify]: iteration 29 : 1296 enodes (cost 42 ) 2.792 * * [simplify]: Extracting # 0 : cost 0 inf + 8910 2.801 * * [simplify]: Extracting # 1 : cost 7 inf + 8910 2.810 * * [simplify]: Extracting # 2 : cost 0 inf + 9198 2.824 * * [simplify]: iteration 30 : 1325 enodes (cost 42 ) 2.880 * * [simplify]: Extracting # 0 : cost 0 inf + 9198 2.898 * * [simplify]: Extracting # 1 : cost 6 inf + 9197 2.917 * * [simplify]: Extracting # 2 : cost 0 inf + 9443 2.940 * * [simplify]: iteration 31 : 1361 enodes (cost 42 ) 3.027 * * [simplify]: Extracting # 0 : cost 0 inf + 9443 3.047 * * [simplify]: Extracting # 1 : cost 7 inf + 9443 3.066 * * [simplify]: Extracting # 2 : cost 0 inf + 9731 3.083 * * [simplify]: iteration 32 : 1390 enodes (cost 42 ) 3.139 * * [simplify]: Extracting # 0 : cost 0 inf + 9731 3.148 * * [simplify]: Extracting # 1 : cost 6 inf + 9730 3.166 * * [simplify]: Extracting # 2 : cost 0 inf + 9976 3.185 * * [simplify]: iteration 33 : 1426 enodes (cost 42 ) 3.259 * * [simplify]: Extracting # 0 : cost 0 inf + 9976 3.269 * * [simplify]: Extracting # 1 : cost 7 inf + 9976 3.288 * * [simplify]: Extracting # 2 : cost 0 inf + 10264 3.306 * * [simplify]: iteration 34 : 1455 enodes (cost 42 ) 3.379 * * [simplify]: Extracting # 0 : cost 0 inf + 10264 3.390 * * [simplify]: Extracting # 1 : cost 6 inf + 10263 3.399 * * [simplify]: Extracting # 2 : cost 0 inf + 10509 3.409 * * [simplify]: iteration 35 : 1491 enodes (cost 42 ) 3.467 * * [simplify]: Extracting # 0 : cost 0 inf + 10509 3.476 * * [simplify]: Extracting # 1 : cost 7 inf + 10509 3.486 * * [simplify]: Extracting # 2 : cost 0 inf + 10797 3.496 * * [simplify]: iteration 36 : 1520 enodes (cost 42 ) 3.536 * * [simplify]: Extracting # 0 : cost 0 inf + 10797 3.548 * * [simplify]: Extracting # 1 : cost 6 inf + 10796 3.570 * * [simplify]: Extracting # 2 : cost 0 inf + 11042 3.580 * * [simplify]: iteration 37 : 1556 enodes (cost 42 ) 3.631 * * [simplify]: Extracting # 0 : cost 0 inf + 11042 3.641 * * [simplify]: Extracting # 1 : cost 7 inf + 11042 3.652 * * [simplify]: Extracting # 2 : cost 0 inf + 11330 3.670 * * [simplify]: iteration 38 : 1585 enodes (cost 42 ) 3.717 * * [simplify]: Extracting # 0 : cost 0 inf + 11330 3.737 * * [simplify]: Extracting # 1 : cost 6 inf + 11329 3.752 * * [simplify]: Extracting # 2 : cost 0 inf + 11575 3.761 * * [simplify]: iteration 39 : 1621 enodes (cost 42 ) 3.833 * * [simplify]: Extracting # 0 : cost 0 inf + 11575 3.851 * * [simplify]: Extracting # 1 : cost 7 inf + 11575 3.861 * * [simplify]: Extracting # 2 : cost 0 inf + 11863 3.871 * * [simplify]: iteration 40 : 1650 enodes (cost 42 ) 3.911 * * [simplify]: Extracting # 0 : cost 0 inf + 11863 3.921 * * [simplify]: Extracting # 1 : cost 6 inf + 11862 3.930 * * [simplify]: Extracting # 2 : cost 0 inf + 12108 3.940 * * [simplify]: iteration 41 : 1686 enodes (cost 42 ) 4.014 * * [simplify]: Extracting # 0 : cost 0 inf + 12108 4.026 * * [simplify]: Extracting # 1 : cost 7 inf + 12108 4.037 * * [simplify]: Extracting # 2 : cost 0 inf + 12396 4.054 * * [simplify]: iteration 42 : 1715 enodes (cost 42 ) 4.132 * * [simplify]: Extracting # 0 : cost 0 inf + 12396 4.154 * * [simplify]: Extracting # 1 : cost 6 inf + 12395 4.174 * * [simplify]: Extracting # 2 : cost 0 inf + 12641 4.194 * * [simplify]: iteration 43 : 1751 enodes (cost 42 ) 4.283 * * [simplify]: Extracting # 0 : cost 0 inf + 12641 4.299 * * [simplify]: Extracting # 1 : cost 7 inf + 12641 4.310 * * [simplify]: Extracting # 2 : cost 0 inf + 12929 4.327 * * [simplify]: iteration 44 : 1780 enodes (cost 42 ) 4.376 * * [simplify]: Extracting # 0 : cost 0 inf + 12929 4.397 * * [simplify]: Extracting # 1 : cost 6 inf + 12928 4.409 * * [simplify]: Extracting # 2 : cost 0 inf + 13174 4.420 * * [simplify]: iteration 45 : 1816 enodes (cost 42 ) 4.495 * * [simplify]: Extracting # 0 : cost 0 inf + 13174 4.505 * * [simplify]: Extracting # 1 : cost 7 inf + 13174 4.516 * * [simplify]: Extracting # 2 : cost 0 inf + 13462 4.536 * * [simplify]: iteration 46 : 1845 enodes (cost 42 ) 4.590 * * [simplify]: Extracting # 0 : cost 0 inf + 13462 4.611 * * [simplify]: Extracting # 1 : cost 6 inf + 13461 4.632 * * [simplify]: Extracting # 2 : cost 0 inf + 13707 4.656 * * [simplify]: iteration 47 : 1881 enodes (cost 42 ) 4.729 * * [simplify]: Extracting # 0 : cost 0 inf + 13707 4.749 * * [simplify]: Extracting # 1 : cost 7 inf + 13707 4.770 * * [simplify]: Extracting # 2 : cost 0 inf + 13995 4.786 * * [simplify]: iteration 48 : 1910 enodes (cost 42 ) 4.835 * * [simplify]: Extracting # 0 : cost 0 inf + 13995 4.846 * * [simplify]: Extracting # 1 : cost 6 inf + 13994 4.858 * * [simplify]: Extracting # 2 : cost 0 inf + 14240 4.881 * * [simplify]: iteration 49 : 1946 enodes (cost 42 ) 4.969 * * [simplify]: Extracting # 0 : cost 0 inf + 14240 4.993 * * [simplify]: Extracting # 1 : cost 7 inf + 14240 5.014 * * [simplify]: Extracting # 2 : cost 0 inf + 14528 5.036 * * [simplify]: iteration 50 : 1975 enodes (cost 42 ) 5.119 * * [simplify]: Extracting # 0 : cost 0 inf + 14528 5.140 * * [simplify]: Extracting # 1 : cost 6 inf + 14527 5.160 * * [simplify]: Extracting # 2 : cost 0 inf + 14773 5.182 * * [simplify]: iteration 51 : 2011 enodes (cost 42 ) 5.251 * * [simplify]: Extracting # 0 : cost 0 inf + 14773 5.275 * * [simplify]: Extracting # 1 : cost 7 inf + 14773 5.296 * * [simplify]: Extracting # 2 : cost 0 inf + 15061 5.317 * * [simplify]: iteration 52 : 2040 enodes (cost 42 ) 5.369 * * [simplify]: Extracting # 0 : cost 0 inf + 15061 5.391 * * [simplify]: Extracting # 1 : cost 6 inf + 15060 5.412 * * [simplify]: Extracting # 2 : cost 0 inf + 15306 5.433 * * [simplify]: iteration 53 : 2076 enodes (cost 42 ) 5.526 * * [simplify]: Extracting # 0 : cost 0 inf + 15306 5.547 * * [simplify]: Extracting # 1 : cost 7 inf + 15306 5.561 * * [simplify]: Extracting # 2 : cost 0 inf + 15594 5.573 * * [simplify]: iteration 54 : 2105 enodes (cost 42 ) 5.654 * * [simplify]: Extracting # 0 : cost 0 inf + 15594 5.672 * * [simplify]: Extracting # 1 : cost 6 inf + 15593 5.682 * * [simplify]: Extracting # 2 : cost 0 inf + 15839 5.693 * * [simplify]: iteration 55 : 2141 enodes (cost 42 ) 5.774 * * [simplify]: Extracting # 0 : cost 0 inf + 15839 5.798 * * [simplify]: Extracting # 1 : cost 7 inf + 15839 5.823 * * [simplify]: Extracting # 2 : cost 0 inf + 16127 5.846 * * [simplify]: iteration 56 : 2170 enodes (cost 42 ) 5.892 * * [simplify]: Extracting # 0 : cost 0 inf + 16127 5.914 * * [simplify]: Extracting # 1 : cost 6 inf + 16126 5.925 * * [simplify]: Extracting # 2 : cost 0 inf + 16372 5.936 * * [simplify]: iteration 57 : 2206 enodes (cost 42 ) 6.007 * * [simplify]: Extracting # 0 : cost 0 inf + 16372 6.030 * * [simplify]: Extracting # 1 : cost 7 inf + 16372 6.047 * * [simplify]: Extracting # 2 : cost 0 inf + 16660 6.060 * * [simplify]: iteration 58 : 2235 enodes (cost 42 ) 6.106 * * [simplify]: Extracting # 0 : cost 0 inf + 16660 6.124 * * [simplify]: Extracting # 1 : cost 6 inf + 16659 6.146 * * [simplify]: Extracting # 2 : cost 0 inf + 16905 6.168 * * [simplify]: iteration 59 : 2271 enodes (cost 42 ) 6.261 * * [simplify]: Extracting # 0 : cost 0 inf + 16905 6.284 * * [simplify]: Extracting # 1 : cost 7 inf + 16905 6.305 * * [simplify]: Extracting # 2 : cost 0 inf + 17193 6.331 * * [simplify]: iteration 60 : 2300 enodes (cost 42 ) 6.377 * * [simplify]: Extracting # 0 : cost 0 inf + 17193 6.394 * * [simplify]: Extracting # 1 : cost 6 inf + 17192 6.405 * * [simplify]: Extracting # 2 : cost 0 inf + 17438 6.416 * * [simplify]: iteration 61 : 2336 enodes (cost 42 ) 6.497 * * [simplify]: Extracting # 0 : cost 0 inf + 17438 6.519 * * [simplify]: Extracting # 1 : cost 7 inf + 17438 6.541 * * [simplify]: Extracting # 2 : cost 0 inf + 17726 6.567 * * [simplify]: iteration 62 : 2365 enodes (cost 42 ) 6.648 * * [simplify]: Extracting # 0 : cost 0 inf + 17726 6.673 * * [simplify]: Extracting # 1 : cost 6 inf + 17725 6.697 * * [simplify]: Extracting # 2 : cost 0 inf + 17971 6.720 * * [simplify]: iteration 63 : 2401 enodes (cost 42 ) 6.801 * * [simplify]: Extracting # 0 : cost 0 inf + 17971 6.812 * * [simplify]: Extracting # 1 : cost 7 inf + 17971 6.829 * * [simplify]: Extracting # 2 : cost 0 inf + 18259 6.850 * * [simplify]: iteration 64 : 2430 enodes (cost 42 ) 6.898 * * [simplify]: Extracting # 0 : cost 0 inf + 18259 6.912 * * [simplify]: Extracting # 1 : cost 6 inf + 18258 6.930 * * [simplify]: Extracting # 2 : cost 0 inf + 18504 6.954 * * [simplify]: iteration 65 : 2466 enodes (cost 42 ) 7.033 * * [simplify]: Extracting # 0 : cost 0 inf + 18504 7.045 * * [simplify]: Extracting # 1 : cost 7 inf + 18504 7.057 * * [simplify]: Extracting # 2 : cost 0 inf + 18792 7.071 * * [simplify]: iteration 66 : 2495 enodes (cost 42 ) 7.124 * * [simplify]: Extracting # 0 : cost 0 inf + 18792 7.139 * * [simplify]: Extracting # 1 : cost 6 inf + 18791 7.151 * * [simplify]: Extracting # 2 : cost 0 inf + 19037 7.174 * * [simplify]: iteration 67 : 2531 enodes (cost 42 ) 7.242 * * [simplify]: Extracting # 0 : cost 0 inf + 19037 7.255 * * [simplify]: Extracting # 1 : cost 7 inf + 19037 7.266 * * [simplify]: Extracting # 2 : cost 0 inf + 19325 7.280 * * [simplify]: iteration 68 : 2560 enodes (cost 42 ) 7.319 * * [simplify]: Extracting # 0 : cost 0 inf + 19325 7.334 * * [simplify]: Extracting # 1 : cost 6 inf + 19324 7.346 * * [simplify]: Extracting # 2 : cost 0 inf + 19570 7.361 * * [simplify]: iteration 69 : 2596 enodes (cost 42 ) 7.451 * * [simplify]: Extracting # 0 : cost 0 inf + 19570 7.464 * * [simplify]: Extracting # 1 : cost 7 inf + 19570 7.475 * * [simplify]: Extracting # 2 : cost 0 inf + 19858 7.489 * * [simplify]: iteration 70 : 2625 enodes (cost 42 ) 7.554 * * [simplify]: Extracting # 0 : cost 0 inf + 19858 7.568 * * [simplify]: Extracting # 1 : cost 6 inf + 19857 7.582 * * [simplify]: Extracting # 2 : cost 0 inf + 20103 7.605 * * [simplify]: iteration 71 : 2661 enodes (cost 42 ) 7.667 * * [simplify]: Extracting # 0 : cost 0 inf + 20103 7.691 * * [simplify]: Extracting # 1 : cost 7 inf + 20103 7.711 * * [simplify]: Extracting # 2 : cost 0 inf + 20391 7.725 * * [simplify]: iteration 72 : 2690 enodes (cost 42 ) 7.778 * * [simplify]: Extracting # 0 : cost 0 inf + 20391 7.792 * * [simplify]: Extracting # 1 : cost 6 inf + 20390 7.813 * * [simplify]: Extracting # 2 : cost 0 inf + 20636 7.836 * * [simplify]: iteration 73 : 2726 enodes (cost 42 ) 7.928 * * [simplify]: Extracting # 0 : cost 0 inf + 20636 7.952 * * [simplify]: Extracting # 1 : cost 7 inf + 20636 7.979 * * [simplify]: Extracting # 2 : cost 0 inf + 20924 8.004 * * [simplify]: iteration 74 : 2755 enodes (cost 42 ) 8.043 * * [simplify]: Extracting # 0 : cost 0 inf + 20924 8.056 * * [simplify]: Extracting # 1 : cost 6 inf + 20923 8.068 * * [simplify]: Extracting # 2 : cost 0 inf + 21169 8.080 * * [simplify]: iteration 75 : 2791 enodes (cost 42 ) 8.165 * * [simplify]: Extracting # 0 : cost 0 inf + 21169 8.190 * * [simplify]: Extracting # 1 : cost 7 inf + 21169 8.218 * * [simplify]: Extracting # 2 : cost 0 inf + 21457 8.243 * * [simplify]: iteration 76 : 2820 enodes (cost 42 ) 8.325 * * [simplify]: Extracting # 0 : cost 0 inf + 21457 8.346 * * [simplify]: Extracting # 1 : cost 6 inf + 21456 8.359 * * [simplify]: Extracting # 2 : cost 0 inf + 21702 8.371 * * [simplify]: iteration 77 : 2856 enodes (cost 42 ) 8.452 * * [simplify]: Extracting # 0 : cost 0 inf + 21702 8.477 * * [simplify]: Extracting # 1 : cost 7 inf + 21702 8.506 * * [simplify]: Extracting # 2 : cost 0 inf + 21990 8.521 * * [simplify]: iteration 78 : 2885 enodes (cost 42 ) 8.566 * * [simplify]: Extracting # 0 : cost 0 inf + 21990 8.582 * * [simplify]: Extracting # 1 : cost 6 inf + 21989 8.594 * * [simplify]: Extracting # 2 : cost 0 inf + 22235 8.606 * * [simplify]: iteration 79 : 2921 enodes (cost 42 ) 8.652 * * [simplify]: Extracting # 0 : cost 0 inf + 22235 8.680 * * [simplify]: Extracting # 1 : cost 7 inf + 22235 8.706 * * [simplify]: Extracting # 2 : cost 0 inf + 22523 8.731 * * [simplify]: iteration 80 : 2950 enodes (cost 42 ) 8.811 * * [simplify]: Extracting # 0 : cost 0 inf + 22523 8.824 * * [simplify]: Extracting # 1 : cost 6 inf + 22522 8.836 * * [simplify]: Extracting # 2 : cost 0 inf + 22768 8.851 * * [simplify]: iteration 81 : 2986 enodes (cost 42 ) 8.917 * * [simplify]: Extracting # 0 : cost 0 inf + 22768 8.932 * * [simplify]: Extracting # 1 : cost 7 inf + 22768 8.944 * * [simplify]: Extracting # 2 : cost 0 inf + 23056 8.957 * * [simplify]: iteration 82 : 3015 enodes (cost 42 ) 8.997 * * [simplify]: Extracting # 0 : cost 0 inf + 23056 9.010 * * [simplify]: Extracting # 1 : cost 6 inf + 23055 9.023 * * [simplify]: Extracting # 2 : cost 0 inf + 23301 9.038 * * [simplify]: iteration 83 : 3051 enodes (cost 42 ) 9.112 * * [simplify]: Extracting # 0 : cost 0 inf + 23301 9.126 * * [simplify]: Extracting # 1 : cost 7 inf + 23301 9.139 * * [simplify]: Extracting # 2 : cost 0 inf + 23589 9.152 * * [simplify]: iteration 84 : 3080 enodes (cost 42 ) 9.192 * * [simplify]: Extracting # 0 : cost 0 inf + 23589 9.208 * * [simplify]: Extracting # 1 : cost 6 inf + 23588 9.239 * * [simplify]: Extracting # 2 : cost 0 inf + 23834 9.262 * * [simplify]: iteration 85 : 3116 enodes (cost 42 ) 9.320 * * [simplify]: Extracting # 0 : cost 0 inf + 23834 9.334 * * [simplify]: Extracting # 1 : cost 7 inf + 23834 9.347 * * [simplify]: Extracting # 2 : cost 0 inf + 24122 9.368 * * [simplify]: iteration 86 : 3145 enodes (cost 42 ) 9.415 * * [simplify]: Extracting # 0 : cost 0 inf + 24122 9.442 * * [simplify]: Extracting # 1 : cost 6 inf + 24121 9.454 * * [simplify]: Extracting # 2 : cost 0 inf + 24367 9.468 * * [simplify]: iteration 87 : 3181 enodes (cost 42 ) 9.526 * * [simplify]: Extracting # 0 : cost 0 inf + 24367 9.549 * * [simplify]: Extracting # 1 : cost 7 inf + 24367 9.569 * * [simplify]: Extracting # 2 : cost 0 inf + 24655 9.585 * * [simplify]: iteration 88 : 3210 enodes (cost 42 ) 9.659 * * [simplify]: Extracting # 0 : cost 0 inf + 24655 9.686 * * [simplify]: Extracting # 1 : cost 6 inf + 24654 9.713 * * [simplify]: Extracting # 2 : cost 0 inf + 24900 9.731 * * [simplify]: iteration 89 : 3246 enodes (cost 42 ) 9.793 * * [simplify]: Extracting # 0 : cost 0 inf + 24900 9.820 * * [simplify]: Extracting # 1 : cost 7 inf + 24900 9.851 * * [simplify]: Extracting # 2 : cost 0 inf + 25188 9.868 * * [simplify]: iteration 90 : 3275 enodes (cost 42 ) 9.930 * * [simplify]: Extracting # 0 : cost 0 inf + 25188 9.957 * * [simplify]: Extracting # 1 : cost 6 inf + 25187 9.983 * * [simplify]: Extracting # 2 : cost 0 inf + 25433 10.012 * * [simplify]: iteration 91 : 3311 enodes (cost 42 ) 10.080 * * [simplify]: Extracting # 0 : cost 0 inf + 25433 10.097 * * [simplify]: Extracting # 1 : cost 7 inf + 25433 10.115 * * [simplify]: Extracting # 2 : cost 0 inf + 25721 10.142 * * [simplify]: iteration 92 : 3340 enodes (cost 42 ) 10.202 * * [simplify]: Extracting # 0 : cost 0 inf + 25721 10.226 * * [simplify]: Extracting # 1 : cost 6 inf + 25720 10.257 * * [simplify]: Extracting # 2 : cost 0 inf + 25966 10.286 * * [simplify]: iteration 93 : 3376 enodes (cost 42 ) 10.377 * * [simplify]: Extracting # 0 : cost 0 inf + 25966 10.402 * * [simplify]: Extracting # 1 : cost 7 inf + 25966 10.428 * * [simplify]: Extracting # 2 : cost 0 inf + 26254 10.455 * * [simplify]: iteration 94 : 3405 enodes (cost 42 ) 10.536 * * [simplify]: Extracting # 0 : cost 0 inf + 26254 10.551 * * [simplify]: Extracting # 1 : cost 6 inf + 26253 10.572 * * [simplify]: Extracting # 2 : cost 0 inf + 26499 10.589 * * [simplify]: iteration 95 : 3441 enodes (cost 42 ) 10.642 * * [simplify]: Extracting # 0 : cost 0 inf + 26499 10.666 * * [simplify]: Extracting # 1 : cost 7 inf + 26499 10.684 * * [simplify]: Extracting # 2 : cost 0 inf + 26787 10.706 * * [simplify]: iteration 96 : 3470 enodes (cost 42 ) 10.765 * * [simplify]: Extracting # 0 : cost 0 inf + 26787 10.793 * * [simplify]: Extracting # 1 : cost 6 inf + 26786 10.817 * * [simplify]: Extracting # 2 : cost 0 inf + 27032 10.840 * * [simplify]: iteration 97 : 3506 enodes (cost 42 ) 10.906 * * [simplify]: Extracting # 0 : cost 0 inf + 27032 10.928 * * [simplify]: Extracting # 1 : cost 7 inf + 27032 10.944 * * [simplify]: Extracting # 2 : cost 0 inf + 27320 10.957 * * [simplify]: iteration 98 : 3535 enodes (cost 42 ) 11.009 * * [simplify]: Extracting # 0 : cost 0 inf + 27320 11.024 * * [simplify]: Extracting # 1 : cost 6 inf + 27319 11.040 * * [simplify]: Extracting # 2 : cost 0 inf + 27565 11.066 * * [simplify]: iteration 99 : 3571 enodes (cost 42 ) 11.118 * * [simplify]: Extracting # 0 : cost 0 inf + 27565 11.141 * * [simplify]: Extracting # 1 : cost 7 inf + 27565 11.155 * * [simplify]: Extracting # 2 : cost 0 inf + 27853 11.170 * * [simplify]: iteration 100 : 3600 enodes (cost 42 ) 11.226 * * [simplify]: Extracting # 0 : cost 0 inf + 27853 11.254 * * [simplify]: Extracting # 1 : cost 6 inf + 27852 11.287 * * [simplify]: Extracting # 2 : cost 0 inf + 28098 11.316 * * [simplify]: iteration 101 : 3636 enodes (cost 42 ) 11.406 * * [simplify]: Extracting # 0 : cost 0 inf + 28098 11.434 * * [simplify]: Extracting # 1 : cost 7 inf + 28098 11.463 * * [simplify]: Extracting # 2 : cost 0 inf + 28386 11.495 * * [simplify]: iteration 102 : 3665 enodes (cost 42 ) 11.535 * * [simplify]: Extracting # 0 : cost 0 inf + 28386 11.568 * * [simplify]: Extracting # 1 : cost 6 inf + 28385 11.583 * * [simplify]: Extracting # 2 : cost 0 inf + 28631 11.597 * * [simplify]: iteration 103 : 3701 enodes (cost 42 ) 11.669 * * [simplify]: Extracting # 0 : cost 0 inf + 28631 11.690 * * [simplify]: Extracting # 1 : cost 7 inf + 28631 11.707 * * [simplify]: Extracting # 2 : cost 0 inf + 28919 11.721 * * [simplify]: iteration 104 : 3730 enodes (cost 42 ) 11.788 * * [simplify]: Extracting # 0 : cost 0 inf + 28919 11.805 * * [simplify]: Extracting # 1 : cost 6 inf + 28918 11.823 * * [simplify]: Extracting # 2 : cost 0 inf + 29164 11.840 * * [simplify]: iteration 105 : 3766 enodes (cost 42 ) 11.908 * * [simplify]: Extracting # 0 : cost 0 inf + 29164 11.935 * * [simplify]: Extracting # 1 : cost 7 inf + 29164 11.958 * * [simplify]: Extracting # 2 : cost 0 inf + 29452 11.981 * * [simplify]: iteration 106 : 3795 enodes (cost 42 ) 12.046 * * [simplify]: Extracting # 0 : cost 0 inf + 29452 12.071 * * [simplify]: Extracting # 1 : cost 6 inf + 29451 12.098 * * [simplify]: Extracting # 2 : cost 0 inf + 29697 12.122 * * [simplify]: iteration 107 : 3831 enodes (cost 42 ) 12.203 * * [simplify]: Extracting # 0 : cost 0 inf + 29697 12.223 * * [simplify]: Extracting # 1 : cost 7 inf + 29697 12.249 * * [simplify]: Extracting # 2 : cost 0 inf + 29985 12.279 * * [simplify]: iteration 108 : 3860 enodes (cost 42 ) 12.335 * * [simplify]: Extracting # 0 : cost 0 inf + 29985 12.354 * * [simplify]: Extracting # 1 : cost 6 inf + 29984 12.369 * * [simplify]: Extracting # 2 : cost 0 inf + 30230 12.383 * * [simplify]: iteration 109 : 3896 enodes (cost 42 ) 12.434 * * [simplify]: Extracting # 0 : cost 0 inf + 30230 12.460 * * [simplify]: Extracting # 1 : cost 7 inf + 30230 12.481 * * [simplify]: Extracting # 2 : cost 0 inf + 30518 12.496 * * [simplify]: iteration 110 : 3925 enodes (cost 42 ) 12.540 * * [simplify]: Extracting # 0 : cost 0 inf + 30518 12.561 * * [simplify]: Extracting # 1 : cost 6 inf + 30517 12.586 * * [simplify]: Extracting # 2 : cost 0 inf + 30763 12.611 * * [simplify]: iteration 111 : 3961 enodes (cost 42 ) 12.663 * * [simplify]: Extracting # 0 : cost 0 inf + 30763 12.679 * * [simplify]: Extracting # 1 : cost 7 inf + 30763 12.693 * * [simplify]: Extracting # 2 : cost 0 inf + 31051 12.708 * * [simplify]: iteration 112 : 3990 enodes (cost 42 ) 12.763 * * [simplify]: Extracting # 0 : cost 0 inf + 31051 12.788 * * [simplify]: Extracting # 1 : cost 6 inf + 31050 12.810 * * [simplify]: Extracting # 2 : cost 0 inf + 31296 12.824 * * [simplify]: iteration 113 : 4026 enodes (cost 42 ) 12.902 * * [simplify]: Extracting # 0 : cost 0 inf + 31296 12.917 * * [simplify]: Extracting # 1 : cost 7 inf + 31296 12.935 * * [simplify]: Extracting # 2 : cost 0 inf + 31584 12.951 * * [simplify]: iteration 114 : 4055 enodes (cost 42 ) 12.992 * * [simplify]: Extracting # 0 : cost 0 inf + 31584 13.008 * * [simplify]: Extracting # 1 : cost 6 inf + 31583 13.026 * * [simplify]: Extracting # 2 : cost 0 inf + 31829 13.054 * * [simplify]: iteration 115 : 4091 enodes (cost 42 ) 13.116 * * [simplify]: Extracting # 0 : cost 0 inf + 31829 13.140 * * [simplify]: Extracting # 1 : cost 7 inf + 31829 13.156 * * [simplify]: Extracting # 2 : cost 0 inf + 32117 13.176 * * [simplify]: iteration 116 : 4120 enodes (cost 42 ) 13.222 * * [simplify]: Extracting # 0 : cost 0 inf + 32117 13.239 * * [simplify]: Extracting # 1 : cost 6 inf + 32116 13.267 * * [simplify]: Extracting # 2 : cost 0 inf + 32362 13.293 * * [simplify]: iteration 117 : 4156 enodes (cost 42 ) 13.365 * * [simplify]: Extracting # 0 : cost 0 inf + 32362 13.393 * * [simplify]: Extracting # 1 : cost 7 inf + 32362 13.410 * * [simplify]: Extracting # 2 : cost 0 inf + 32650 13.430 * * [simplify]: iteration 118 : 4185 enodes (cost 42 ) 13.485 * * [simplify]: Extracting # 0 : cost 0 inf + 32650 13.503 * * [simplify]: Extracting # 1 : cost 6 inf + 32649 13.522 * * [simplify]: Extracting # 2 : cost 0 inf + 32895 13.539 * * [simplify]: iteration 119 : 4221 enodes (cost 42 ) 13.612 * * [simplify]: Extracting # 0 : cost 0 inf + 32895 13.649 * * [simplify]: Extracting # 1 : cost 7 inf + 32895 13.679 * * [simplify]: Extracting # 2 : cost 0 inf + 33183 13.695 * * [simplify]: iteration 120 : 4250 enodes (cost 42 ) 13.737 * * [simplify]: Extracting # 0 : cost 0 inf + 33183 13.755 * * [simplify]: Extracting # 1 : cost 6 inf + 33182 13.788 * * [simplify]: Extracting # 2 : cost 0 inf + 33428 13.807 * * [simplify]: iteration 121 : 4286 enodes (cost 42 ) 13.864 * * [simplify]: Extracting # 0 : cost 0 inf + 33428 13.895 * * [simplify]: Extracting # 1 : cost 7 inf + 33428 13.914 * * [simplify]: Extracting # 2 : cost 0 inf + 33716 13.935 * * [simplify]: iteration 122 : 4315 enodes (cost 42 ) 13.993 * * [simplify]: Extracting # 0 : cost 0 inf + 33716 14.029 * * [simplify]: Extracting # 1 : cost 6 inf + 33715 14.060 * * [simplify]: Extracting # 2 : cost 0 inf + 33961 14.091 * * [simplify]: iteration 123 : 4351 enodes (cost 42 ) 14.160 * * [simplify]: Extracting # 0 : cost 0 inf + 33961 14.182 * * [simplify]: Extracting # 1 : cost 7 inf + 33961 14.206 * * [simplify]: Extracting # 2 : cost 0 inf + 34249 14.223 * * [simplify]: iteration 124 : 4380 enodes (cost 42 ) 14.267 * * [simplify]: Extracting # 0 : cost 0 inf + 34249 14.284 * * [simplify]: Extracting # 1 : cost 6 inf + 34248 14.302 * * [simplify]: Extracting # 2 : cost 0 inf + 34494 14.318 * * [simplify]: iteration 125 : 4416 enodes (cost 42 ) 14.381 * * [simplify]: Extracting # 0 : cost 0 inf + 34494 14.398 * * [simplify]: Extracting # 1 : cost 7 inf + 34494 14.413 * * [simplify]: Extracting # 2 : cost 0 inf + 34782 14.432 * * [simplify]: iteration 126 : 4445 enodes (cost 42 ) 14.473 * * [simplify]: Extracting # 0 : cost 0 inf + 34782 14.492 * * [simplify]: Extracting # 1 : cost 6 inf + 34781 14.508 * * [simplify]: Extracting # 2 : cost 0 inf + 35027 14.523 * * [simplify]: iteration 127 : 4481 enodes (cost 42 ) 14.568 * * [simplify]: Extracting # 0 : cost 0 inf + 35027 14.588 * * [simplify]: Extracting # 1 : cost 7 inf + 35027 14.604 * * [simplify]: Extracting # 2 : cost 0 inf + 35315 14.633 * * [simplify]: iteration 128 : 4510 enodes (cost 42 ) 14.718 * * [simplify]: Extracting # 0 : cost 0 inf + 35315 14.752 * * [simplify]: Extracting # 1 : cost 6 inf + 35314 14.789 * * [simplify]: Extracting # 2 : cost 0 inf + 35560 14.810 * * [simplify]: iteration 129 : 4546 enodes (cost 42 ) 14.864 * * [simplify]: Extracting # 0 : cost 0 inf + 35560 14.885 * * [simplify]: Extracting # 1 : cost 7 inf + 35560 14.907 * * [simplify]: Extracting # 2 : cost 0 inf + 35848 14.927 * * [simplify]: iteration 130 : 4575 enodes (cost 42 ) 14.980 * * [simplify]: Extracting # 0 : cost 0 inf + 35848 14.997 * * [simplify]: Extracting # 1 : cost 6 inf + 35847 15.013 * * [simplify]: Extracting # 2 : cost 0 inf + 36093 15.044 * * [simplify]: iteration 131 : 4611 enodes (cost 42 ) 15.110 * * [simplify]: Extracting # 0 : cost 0 inf + 36093 15.131 * * [simplify]: Extracting # 1 : cost 7 inf + 36093 15.158 * * [simplify]: Extracting # 2 : cost 0 inf + 36381 15.189 * * [simplify]: iteration 132 : 4640 enodes (cost 42 ) 15.255 * * [simplify]: Extracting # 0 : cost 0 inf + 36381 15.272 * * [simplify]: Extracting # 1 : cost 6 inf + 36380 15.301 * * [simplify]: Extracting # 2 : cost 0 inf + 36626 15.329 * * [simplify]: iteration 133 : 4676 enodes (cost 42 ) 15.389 * * [simplify]: Extracting # 0 : cost 0 inf + 36626 15.412 * * [simplify]: Extracting # 1 : cost 7 inf + 36626 15.431 * * [simplify]: Extracting # 2 : cost 0 inf + 36914 15.456 * * [simplify]: iteration 134 : 4705 enodes (cost 42 ) 15.502 * * [simplify]: Extracting # 0 : cost 0 inf + 36914 15.520 * * [simplify]: Extracting # 1 : cost 6 inf + 36913 15.542 * * [simplify]: Extracting # 2 : cost 0 inf + 37159 15.580 * * [simplify]: iteration 135 : 4741 enodes (cost 42 ) 15.661 * * [simplify]: Extracting # 0 : cost 0 inf + 37159 15.693 * * [simplify]: Extracting # 1 : cost 7 inf + 37159 15.722 * * [simplify]: Extracting # 2 : cost 0 inf + 37447 15.742 * * [simplify]: iteration 136 : 4770 enodes (cost 42 ) 15.782 * * [simplify]: Extracting # 0 : cost 0 inf + 37447 15.803 * * [simplify]: Extracting # 1 : cost 6 inf + 37446 15.833 * * [simplify]: Extracting # 2 : cost 0 inf + 37692 15.849 * * [simplify]: iteration 137 : 4806 enodes (cost 42 ) 15.907 * * [simplify]: Extracting # 0 : cost 0 inf + 37692 15.924 * * [simplify]: Extracting # 1 : cost 7 inf + 37692 15.954 * * [simplify]: Extracting # 2 : cost 0 inf + 37980 15.981 * * [simplify]: iteration 138 : 4835 enodes (cost 42 ) 16.029 * * [simplify]: Extracting # 0 : cost 0 inf + 37980 16.046 * * [simplify]: Extracting # 1 : cost 6 inf + 37979 16.079 * * [simplify]: Extracting # 2 : cost 0 inf + 38225 16.112 * * [simplify]: iteration 139 : 4871 enodes (cost 42 ) 16.203 * * [simplify]: Extracting # 0 : cost 0 inf + 38225 16.222 * * [simplify]: Extracting # 1 : cost 7 inf + 38225 16.242 * * [simplify]: Extracting # 2 : cost 0 inf + 38513 16.281 * * [simplify]: iteration 140 : 4900 enodes (cost 42 ) 16.349 * * [simplify]: Extracting # 0 : cost 0 inf + 38513 16.373 * * [simplify]: Extracting # 1 : cost 6 inf + 38512 16.405 * * [simplify]: Extracting # 2 : cost 0 inf + 38758 16.425 * * [simplify]: iteration 141 : 4936 enodes (cost 42 ) 16.476 * * [simplify]: Extracting # 0 : cost 0 inf + 38758 16.494 * * [simplify]: Extracting # 1 : cost 12 inf + 38758 16.511 * * [simplify]: Extracting # 2 : cost 0 inf + 39251 16.531 * * [simplify]: iteration 142 : 4977 enodes (cost 42 ) 16.562 * * [simplify]: Extracting # 0 : cost 0 inf + 39251 16.581 * * [simplify]: iteration complete: 5000 enodes (cost 42 ) 16.581 * [simplify]: Simplified to: (* x 5) 16.587 * * [progress]: iteration 1 / 4 16.587 * * * [progress]: picking best candidate 16.590 * * * * [pick]: Picked # 16.590 * * * [progress]: localizing error 16.593 * * * [progress]: generating rewritten candidates 16.593 * * * [progress]: generating series expansions 16.593 * * * [progress]: simplifying candidates 16.593 * [simplify]: Simplifying: 16.593 * * [simplify]: Extracting # 0 : cost 0 inf + 0 16.593 * * [simplify]: iteration 0 : 0 enodes (cost 0 ) 16.593 * * [simplify]: Extracting # 0 : cost 0 inf + 0 16.593 * * [simplify]: iteration complete: 0 enodes (cost 0 ) 16.593 * [simplify]: Simplified to: 16.593 * * * [progress]: adding candidates to table 16.593 * [progress]: [Phase 3 of 3] Extracting. 16.596 * [simplify]: Simplifying: (* x 5) 16.596 * * [simplify]: Extracting # 0 : cost 1 inf + 0 16.596 * * [simplify]: Extracting # 1 : cost 3 inf + 0 16.596 * * [simplify]: Extracting # 2 : cost 1 inf + 2 16.596 * * [simplify]: Extracting # 3 : cost 0 inf + 44 16.596 * * [simplify]: iteration 0 : 3 enodes (cost 42 ) 16.596 * * [simplify]: Extracting # 0 : cost 0 inf + 44 16.596 * * [simplify]: iteration 1 : 4 enodes (cost 42 ) 16.596 * * [simplify]: Extracting # 0 : cost 0 inf + 44 16.596 * * [simplify]: iteration complete: 4 enodes (cost 42 ) 16.596 * [simplify]: Simplified to: (* x 5) 17.326 * [regime-testing]: Baseline error score: 0 17.335 * [regime-testing]: Oracle error score: 0 17.335 * [regime-testing]: End program error score: 0