0.376 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.014 * * * [progress]: [2/2] Setting up program. 0.016 * [progress]: [Phase 2 of 3] Improving. 0.016 * [simplify]: Simplifying using # : (+ x (* y (- z x))) 0.017 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.018 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.019 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.021 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 0.024 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 0.029 * * [simplify]: iteration 5 : 42 enodes (cost 7 ) 0.035 * * [simplify]: iteration 6 : 51 enodes (cost 7 ) 0.041 * * [simplify]: iteration 7 : 69 enodes (cost 7 ) 0.056 * * [simplify]: iteration 8 : 99 enodes (cost 7 ) 0.069 * * [simplify]: iteration 9 : 126 enodes (cost 7 ) 0.092 * * [simplify]: iteration 10 : 170 enodes (cost 7 ) 0.125 * * [simplify]: iteration 11 : 190 enodes (cost 7 ) 0.165 * * [simplify]: iteration 12 : 208 enodes (cost 7 ) 0.211 * * [simplify]: iteration 13 : 229 enodes (cost 7 ) 0.266 * * [simplify]: iteration 14 : 245 enodes (cost 7 ) 0.329 * * [simplify]: iteration 15 : 300 enodes (cost 7 ) 0.423 * * [simplify]: iteration 16 : 449 enodes (cost 7 ) 0.623 * * [simplify]: iteration 17 : 584 enodes (cost 7 ) 0.991 * * [simplify]: iteration 18 : 809 enodes (cost 7 ) 1.748 * * [simplify]: iteration 19 : 974 enodes (cost 7 ) 2.828 * * [simplify]: iteration 20 : 1120 enodes (cost 7 ) 4.262 * * [simplify]: iteration 21 : 1172 enodes (cost 7 ) 5.840 * * [simplify]: iteration 22 : 1218 enodes (cost 7 ) 7.545 * * [simplify]: iteration 23 : 1264 enodes (cost 7 ) 9.378 * * [simplify]: iteration 24 : 1310 enodes (cost 7 ) 11.343 * * [simplify]: iteration 25 : 1356 enodes (cost 7 ) 13.449 * * [simplify]: iteration 26 : 1402 enodes (cost 7 ) 15.711 * * [simplify]: iteration 27 : 1448 enodes (cost 7 ) 18.099 * * [simplify]: iteration 28 : 1494 enodes (cost 7 ) 20.657 * * [simplify]: iteration 29 : 1540 enodes (cost 7 ) 23.518 * * [simplify]: iteration 30 : 1586 enodes (cost 7 ) 26.358 * * [simplify]: iteration 31 : 1632 enodes (cost 7 ) 29.325 * * [simplify]: iteration 32 : 1678 enodes (cost 7 ) 32.446 * * [simplify]: iteration 33 : 1724 enodes (cost 7 ) 35.723 * * [simplify]: iteration 34 : 1770 enodes (cost 7 ) 39.111 * * [simplify]: iteration 35 : 1816 enodes (cost 7 ) 42.633 * * [simplify]: iteration 36 : 1862 enodes (cost 7 ) 46.580 * * [simplify]: iteration 37 : 1908 enodes (cost 7 ) 50.499 * * [simplify]: iteration 38 : 1954 enodes (cost 7 ) 54.566 * * [simplify]: iteration 39 : 2000 enodes (cost 7 ) 58.842 * * [simplify]: iteration 40 : 2046 enodes (cost 7 ) 63.295 * * [simplify]: iteration 41 : 2092 enodes (cost 7 ) 68.080 * * [simplify]: iteration 42 : 2138 enodes (cost 7 ) 72.857 * * [simplify]: iteration 43 : 2184 enodes (cost 7 ) 77.797 * * [simplify]: iteration 44 : 2230 enodes (cost 7 ) 82.936 * * [simplify]: iteration 45 : 2276 enodes (cost 7 ) 88.196 * * [simplify]: iteration 46 : 2322 enodes (cost 7 ) 93.948 * * [simplify]: iteration 47 : 2368 enodes (cost 7 ) 99.677 * * [simplify]: iteration 48 : 2414 enodes (cost 7 ) 105.634 * * [simplify]: iteration 49 : 2460 enodes (cost 7 ) 111.815 * * [simplify]: iteration 50 : 2506 enodes (cost 7 ) 118.392 * * [simplify]: iteration 51 : 2552 enodes (cost 7 ) 124.943 * * [simplify]: iteration 52 : 2598 enodes (cost 7 ) 131.739 * * [simplify]: iteration 53 : 2644 enodes (cost 7 ) 139.028 * * [simplify]: iteration 54 : 2690 enodes (cost 7 ) 146.256 * * [simplify]: iteration 55 : 2736 enodes (cost 7 ) 153.699 * * [simplify]: iteration 56 : 2782 enodes (cost 7 ) 161.616 * * [simplify]: iteration 57 : 2828 enodes (cost 7 ) 169.355 * * [simplify]: iteration 58 : 2874 enodes (cost 7 ) 177.695 * * [simplify]: iteration 59 : 2920 enodes (cost 7 ) 186.049 * * [simplify]: iteration 60 : 2966 enodes (cost 7 ) 194.592 * * [simplify]: iteration 61 : 3012 enodes (cost 7 ) 203.551 * * [simplify]: iteration 62 : 3058 enodes (cost 7 ) 212.605 * * [simplify]: iteration 63 : 3104 enodes (cost 7 ) 222.144 * * [simplify]: iteration 64 : 3150 enodes (cost 7 ) 231.695 * * [simplify]: iteration 65 : 3196 enodes (cost 7 ) 241.769 * * [simplify]: iteration 66 : 3242 enodes (cost 7 ) 251.837 * * [simplify]: iteration 67 : 3288 enodes (cost 7 ) 262.252 * * [simplify]: iteration 68 : 3334 enodes (cost 7 ) 272.826 * * [simplify]: iteration 69 : 3380 enodes (cost 7 ) 283.696 * * [simplify]: iteration 70 : 3426 enodes (cost 7 ) 294.977 * * [simplify]: iteration 71 : 3472 enodes (cost 7 ) 305.837 * * [simplify]: iteration 72 : 3518 enodes (cost 7 ) 316.734 * * [simplify]: iteration 73 : 3564 enodes (cost 7 ) 327.675 * * [simplify]: iteration 74 : 3610 enodes (cost 7 ) 339.132 * * [simplify]: iteration 75 : 3656 enodes (cost 7 ) 350.881 * * [simplify]: iteration 76 : 3702 enodes (cost 7 ) 362.541 * * [simplify]: iteration 77 : 3748 enodes (cost 7 ) 374.835 * * [simplify]: iteration 78 : 3794 enodes (cost 7 ) 387.093 * * [simplify]: iteration 79 : 3840 enodes (cost 7 ) 399.889 * * [simplify]: iteration 80 : 3886 enodes (cost 7 ) 412.645 * * [simplify]: iteration 81 : 3932 enodes (cost 7 ) 426.027 * * [simplify]: iteration 82 : 3978 enodes (cost 7 ) 439.645 * * [simplify]: iteration 83 : 4024 enodes (cost 7 ) 453.186 * * [simplify]: iteration 84 : 4070 enodes (cost 7 ) 467.391 * * [simplify]: iteration 85 : 4116 enodes (cost 7 ) 481.928 * * [simplify]: iteration 86 : 4162 enodes (cost 7 ) 496.393 * * [simplify]: iteration 87 : 4208 enodes (cost 7 ) 511.496 * * [simplify]: iteration 88 : 4254 enodes (cost 7 ) 526.572 * * [simplify]: iteration 89 : 4300 enodes (cost 7 ) 542.322 * * [simplify]: iteration 90 : 4346 enodes (cost 7 ) 558.374 * * [simplify]: iteration 91 : 4392 enodes (cost 7 ) 574.312 * * [simplify]: iteration 92 : 4438 enodes (cost 7 ) 591.038 * * [simplify]: iteration 93 : 4484 enodes (cost 7 )