0.365 * [progress]: [Phase 1 of 3] Setting up. 0.002 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.027 * [progress]: [Phase 2 of 3] Improving. 0.027 * [simplify]: Simplifying using # : (+ x (* y (- z x))) 0.028 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.029 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.030 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 0.032 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 0.036 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 0.040 * * [simplify]: iteration 5 : 42 enodes (cost 7 ) 0.046 * * [simplify]: iteration 6 : 51 enodes (cost 7 ) 0.052 * * [simplify]: iteration 7 : 69 enodes (cost 7 ) 0.068 * * [simplify]: iteration 8 : 99 enodes (cost 7 ) 0.080 * * [simplify]: iteration 9 : 126 enodes (cost 7 ) 0.102 * * [simplify]: iteration 10 : 170 enodes (cost 7 ) 0.135 * * [simplify]: iteration 11 : 190 enodes (cost 7 ) 0.174 * * [simplify]: iteration 12 : 208 enodes (cost 7 ) 0.220 * * [simplify]: iteration 13 : 229 enodes (cost 7 ) 0.274 * * [simplify]: iteration 14 : 245 enodes (cost 7 ) 0.336 * * [simplify]: iteration 15 : 300 enodes (cost 7 ) 0.427 * * [simplify]: iteration 16 : 449 enodes (cost 7 ) 0.623 * * [simplify]: iteration 17 : 584 enodes (cost 7 ) 0.984 * * [simplify]: iteration 18 : 809 enodes (cost 7 ) 1.727 * * [simplify]: iteration 19 : 974 enodes (cost 7 ) 2.775 * * [simplify]: iteration 20 : 1120 enodes (cost 7 ) 4.183 * * [simplify]: iteration 21 : 1172 enodes (cost 7 ) 5.722 * * [simplify]: iteration 22 : 1218 enodes (cost 7 ) 7.379 * * [simplify]: iteration 23 : 1264 enodes (cost 7 ) 9.174 * * [simplify]: iteration 24 : 1310 enodes (cost 7 ) 11.082 * * [simplify]: iteration 25 : 1356 enodes (cost 7 ) 13.114 * * [simplify]: iteration 26 : 1402 enodes (cost 7 ) 15.313 * * [simplify]: iteration 27 : 1448 enodes (cost 7 ) 17.628 * * [simplify]: iteration 28 : 1494 enodes (cost 7 ) 20.126 * * [simplify]: iteration 29 : 1540 enodes (cost 7 ) 22.907 * * [simplify]: iteration 30 : 1586 enodes (cost 7 ) 25.663 * * [simplify]: iteration 31 : 1632 enodes (cost 7 ) 28.575 * * [simplify]: iteration 32 : 1678 enodes (cost 7 ) 31.647 * * [simplify]: iteration 33 : 1724 enodes (cost 7 ) 34.878 * * [simplify]: iteration 34 : 1770 enodes (cost 7 ) 38.176 * * [simplify]: iteration 35 : 1816 enodes (cost 7 ) 41.603 * * [simplify]: iteration 36 : 1862 enodes (cost 7 ) 45.445 * * [simplify]: iteration 37 : 1908 enodes (cost 7 ) 49.247 * * [simplify]: iteration 38 : 1954 enodes (cost 7 ) 53.214 * * [simplify]: iteration 39 : 2000 enodes (cost 7 ) 57.355 * * [simplify]: iteration 40 : 2046 enodes (cost 7 ) 61.647 * * [simplify]: iteration 41 : 2092 enodes (cost 7 ) 66.289 * * [simplify]: iteration 42 : 2138 enodes (cost 7 ) 70.940 * * [simplify]: iteration 43 : 2184 enodes (cost 7 ) 75.782 * * [simplify]: iteration 44 : 2230 enodes (cost 7 ) 80.822 * * [simplify]: iteration 45 : 2276 enodes (cost 7 ) 86.022 * * [simplify]: iteration 46 : 2322 enodes (cost 7 ) 91.660 * * [simplify]: iteration 47 : 2368 enodes (cost 7 ) 97.354 * * [simplify]: iteration 48 : 2414 enodes (cost 7 ) 103.230 * * [simplify]: iteration 49 : 2460 enodes (cost 7 ) 109.559 * * [simplify]: iteration 50 : 2506 enodes (cost 7 ) 115.851 * * [simplify]: iteration 51 : 2552 enodes (cost 7 ) 122.276 * * [simplify]: iteration 52 : 2598 enodes (cost 7 ) 129.219 * * [simplify]: iteration 53 : 2644 enodes (cost 7 ) 136.167 * * [simplify]: iteration 54 : 2690 enodes (cost 7 ) 143.259 * * [simplify]: iteration 55 : 2736 enodes (cost 7 ) 150.757 * * [simplify]: iteration 56 : 2782 enodes (cost 7 ) 158.271 * * [simplify]: iteration 57 : 2828 enodes (cost 7 ) 165.973 * * [simplify]: iteration 58 : 2874 enodes (cost 7 ) 174.122 * * [simplify]: iteration 59 : 2920 enodes (cost 7 ) 182.361 * * [simplify]: iteration 60 : 2966 enodes (cost 7 ) 191.014 * * [simplify]: iteration 61 : 3012 enodes (cost 7 ) 199.689 * * [simplify]: iteration 62 : 3058 enodes (cost 7 ) 208.621 * * [simplify]: iteration 63 : 3104 enodes (cost 7 ) 217.862 * * [simplify]: iteration 64 : 3150 enodes (cost 7 ) 227.203 * * [simplify]: iteration 65 : 3196 enodes (cost 7 ) 237.111 * * [simplify]: iteration 66 : 3242 enodes (cost 7 ) 247.037 * * [simplify]: iteration 67 : 3288 enodes (cost 7 ) 257.502 * * [simplify]: iteration 68 : 3334 enodes (cost 7 ) 267.765 * * [simplify]: iteration 69 : 3380 enodes (cost 7 ) 278.536 * * [simplify]: iteration 70 : 3426 enodes (cost 7 ) 289.412 * * [simplify]: iteration 71 : 3472 enodes (cost 7 ) 300.797 * * [simplify]: iteration 72 : 3518 enodes (cost 7 ) 311.282 * * [simplify]: iteration 73 : 3564 enodes (cost 7 ) 322.253 * * [simplify]: iteration 74 : 3610 enodes (cost 7 ) 333.220 * * [simplify]: iteration 75 : 3656 enodes (cost 7 ) 344.734 * * [simplify]: iteration 76 : 3702 enodes (cost 7 ) 356.195 * * [simplify]: iteration 77 : 3748 enodes (cost 7 ) 368.279 * * [simplify]: iteration 78 : 3794 enodes (cost 7 ) 381.068 * * [simplify]: iteration 79 : 3840 enodes (cost 7 ) 393.436 * * [simplify]: iteration 80 : 3886 enodes (cost 7 ) 406.281 * * [simplify]: iteration 81 : 3932 enodes (cost 7 ) 419.440 * * [simplify]: iteration 82 : 3978 enodes (cost 7 ) 432.465 * * [simplify]: iteration 83 : 4024 enodes (cost 7 ) 447.073 * * [simplify]: iteration 84 : 4070 enodes (cost 7 ) 460.662 * * [simplify]: iteration 85 : 4116 enodes (cost 7 ) 474.850 * * [simplify]: iteration 86 : 4162 enodes (cost 7 ) 489.370 * * [simplify]: iteration 87 : 4208 enodes (cost 7 ) 504.448 * * [simplify]: iteration 88 : 4254 enodes (cost 7 ) 519.571 * * [simplify]: iteration 89 : 4300 enodes (cost 7 ) 534.593 * * [simplify]: iteration 90 : 4346 enodes (cost 7 ) 550.336 * * [simplify]: iteration 91 : 4392 enodes (cost 7 ) 566.381 * * [simplify]: iteration 92 : 4438 enodes (cost 7 ) 582.487 * * [simplify]: iteration 93 : 4484 enodes (cost 7 ) 599.162 * * [simplify]: iteration 94 : 4530 enodes (cost 7 )