15.269 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.018 * [progress]: [Phase 2 of 3] Improving.
0.018 * [simplify]: Simplifying:
  (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0)))
0.018 * * [simplify]: iteration 0: 10 enodes
0.022 * * [simplify]: iteration 1: 26 enodes
0.033 * * [simplify]: iteration 2: 94 enodes
0.080 * * [simplify]: iteration 3: 242 enodes
0.161 * * [simplify]: iteration 4: 441 enodes
0.296 * * [simplify]: iteration 5: 669 enodes
0.515 * * [simplify]: iteration 6: 997 enodes
0.917 * * [simplify]: iteration 7: 1358 enodes
1.357 * * [simplify]: iteration 8: 1550 enodes
1.738 * * [simplify]: iteration 9: 1634 enodes
2.112 * * [simplify]: iteration 10: 1653 enodes
2.427 * * [simplify]: iteration 11: 1660 enodes
2.733 * * [simplify]: iteration 12: 1664 enodes
2.991 * * [simplify]: iteration 13: 1668 enodes
3.221 * * [simplify]: iteration 14: 1672 enodes
3.551 * * [simplify]: iteration 15: 1676 enodes
3.878 * * [simplify]: iteration 16: 1680 enodes
4.230 * * [simplify]: iteration 17: 1684 enodes
4.548 * * [simplify]: iteration 18: 1688 enodes
4.797 * * [simplify]: iteration 19: 1692 enodes
5.064 * * [simplify]: iteration 20: 1696 enodes
5.372 * * [simplify]: iteration 21: 1700 enodes
5.620 * * [simplify]: iteration 22: 1704 enodes
5.921 * * [simplify]: iteration 23: 1708 enodes
6.241 * * [simplify]: iteration 24: 1712 enodes
6.524 * * [simplify]: iteration 25: 1716 enodes
6.817 * * [simplify]: iteration 26: 1720 enodes
7.116 * * [simplify]: iteration 27: 1724 enodes
7.394 * * [simplify]: iteration 28: 1728 enodes
7.682 * * [simplify]: iteration 29: 1732 enodes
7.976 * * [simplify]: iteration 30: 1736 enodes
8.279 * * [simplify]: iteration 31: 1740 enodes
8.507 * * [simplify]: iteration 32: 1744 enodes
8.781 * * [simplify]: iteration 33: 1748 enodes
9.103 * * [simplify]: iteration 34: 1752 enodes
9.360 * * [simplify]: iteration 35: 1756 enodes
9.637 * * [simplify]: iteration 36: 1760 enodes
9.911 * * [simplify]: iteration 37: 1764 enodes
10.186 * * [simplify]: iteration 38: 1768 enodes
10.503 * * [simplify]: iteration 39: 1772 enodes
10.796 * * [simplify]: iteration 40: 1776 enodes
11.027 * * [simplify]: iteration 41: 1780 enodes
11.313 * * [simplify]: iteration 42: 1784 enodes
11.611 * * [simplify]: iteration 43: 1788 enodes
11.895 * * [simplify]: iteration 44: 1792 enodes
12.189 * * [simplify]: iteration 45: 1796 enodes
12.455 * * [simplify]: iteration 46: 1800 enodes
12.717 * * [simplify]: iteration 47: 1804 enodes
13.052 * * [simplify]: iteration 48: 1808 enodes
13.264 * * [simplify]: iteration 49: 1812 enodes
13.524 * * [simplify]: iteration 50: 1816 enodes
13.767 * * [simplify]: iteration 51: 1820 enodes
13.972 * * [simplify]: iteration 52: 1824 enodes
14.171 * * [simplify]: iteration 53: 1828 enodes
14.374 * * [simplify]: iteration 54: 1832 enodes
14.676 * * [simplify]: iteration 55: 1836 enodes
15.027 * * [simplify]: iteration 56: 1840 enodes
15.230 * * [simplify]: iteration 57: 1844 enodes
15.455 * * [simplify]: iteration 58: 1848 enodes
15.734 * * [simplify]: iteration 59: 1852 enodes
15.947 * * [simplify]: iteration 60: 1856 enodes
16.179 * * [simplify]: iteration 61: 1860 enodes
16.432 * * [simplify]: iteration 62: 1864 enodes
16.667 * * [simplify]: iteration 63: 1868 enodes
16.952 * * [simplify]: iteration 64: 1872 enodes
17.228 * * [simplify]: iteration 65: 1876 enodes
17.499 * * [simplify]: iteration 66: 1880 enodes
17.797 * * [simplify]: iteration 67: 1884 enodes
18.022 * * [simplify]: iteration 68: 1888 enodes
18.282 * * [simplify]: iteration 69: 1892 enodes
18.553 * * [simplify]: iteration 70: 1896 enodes
18.828 * * [simplify]: iteration 71: 1900 enodes
19.090 * * [simplify]: iteration 72: 1904 enodes
19.385 * * [simplify]: iteration 73: 1908 enodes
19.650 * * [simplify]: iteration 74: 1912 enodes
19.870 * * [simplify]: iteration 75: 1916 enodes
20.421 * * [simplify]: iteration 76: 1920 enodes
20.684 * * [simplify]: iteration 77: 1924 enodes
20.976 * * [simplify]: iteration 78: 1928 enodes
21.293 * * [simplify]: iteration 79: 1932 enodes
21.595 * * [simplify]: iteration 80: 1936 enodes
21.937 * * [simplify]: iteration 81: 1940 enodes
22.236 * * [simplify]: iteration 82: 1944 enodes
22.574 * * [simplify]: iteration 83: 1948 enodes
22.873 * * [simplify]: iteration 84: 1952 enodes
23.180 * * [simplify]: iteration 85: 1956 enodes
23.451 * * [simplify]: iteration 86: 1960 enodes
23.760 * * [simplify]: iteration 87: 1964 enodes
24.066 * * [simplify]: iteration 88: 1968 enodes
24.323 * * [simplify]: iteration 89: 1972 enodes
24.599 * * [simplify]: iteration 90: 1976 enodes
24.927 * * [simplify]: iteration 91: 1980 enodes
25.179 * * [simplify]: iteration 92: 1984 enodes
25.425 * * [simplify]: iteration 93: 1988 enodes
25.701 * * [simplify]: iteration 94: 1992 enodes
25.977 * * [simplify]: iteration 95: 1996 enodes
26.332 * * [simplify]: iteration 96: 2000 enodes
26.632 * * [simplify]: iteration 97: 2004 enodes
26.960 * * [simplify]: iteration 98: 2008 enodes
27.279 * * [simplify]: iteration 99: 2012 enodes
27.595 * * [simplify]: iteration 100: 2016 enodes
27.951 * * [simplify]: iteration 101: 2020 enodes
28.249 * * [simplify]: iteration 102: 2024 enodes
28.564 * * [simplify]: iteration 103: 2028 enodes
28.914 * * [simplify]: iteration 104: 2032 enodes
29.272 * * [simplify]: iteration 105: 2036 enodes
29.596 * * [simplify]: iteration 106: 2040 enodes
29.952 * * [simplify]: iteration 107: 2044 enodes
30.264 * * [simplify]: iteration 108: 2048 enodes
30.572 * * [simplify]: iteration 109: 2052 enodes
30.863 * * [simplify]: iteration 110: 2056 enodes
31.122 * * [simplify]: iteration 111: 2060 enodes
31.373 * * [simplify]: iteration 112: 2064 enodes
31.623 * * [simplify]: iteration 113: 2068 enodes
31.912 * * [simplify]: iteration 114: 2072 enodes
32.155 * * [simplify]: iteration 115: 2076 enodes
32.438 * * [simplify]: iteration 116: 2080 enodes
32.689 * * [simplify]: iteration 117: 2084 enodes
32.977 * * [simplify]: iteration 118: 2088 enodes
33.210 * * [simplify]: iteration 119: 2092 enodes
33.507 * * [simplify]: iteration 120: 2096 enodes
33.779 * * [simplify]: iteration 121: 2100 enodes
34.005 * * [simplify]: iteration 122: 2104 enodes
34.225 * * [simplify]: iteration 123: 2108 enodes
34.458 * * [simplify]: iteration 124: 2112 enodes
34.723 * * [simplify]: iteration 125: 2116 enodes
34.965 * * [simplify]: iteration 126: 2120 enodes
35.153 * * [simplify]: iteration 127: 2124 enodes
35.387 * * [simplify]: iteration 128: 2128 enodes
35.604 * * [simplify]: iteration 129: 2132 enodes
35.856 * * [simplify]: iteration 130: 2136 enodes
36.118 * * [simplify]: iteration 131: 2140 enodes
36.424 * * [simplify]: iteration 132: 2144 enodes
36.666 * * [simplify]: iteration 133: 2148 enodes
36.875 * * [simplify]: iteration 134: 2152 enodes
37.130 * * [simplify]: iteration 135: 2156 enodes
37.322 * * [simplify]: iteration 136: 2160 enodes
37.594 * * [simplify]: iteration 137: 2164 enodes
37.827 * * [simplify]: iteration 138: 2168 enodes
38.025 * * [simplify]: iteration 139: 2172 enodes
38.247 * * [simplify]: iteration 140: 2176 enodes
38.489 * * [simplify]: iteration 141: 2180 enodes
38.792 * * [simplify]: iteration 142: 2184 enodes
39.062 * * [simplify]: iteration 143: 2188 enodes
39.364 * * [simplify]: iteration 144: 2192 enodes
39.601 * * [simplify]: iteration 145: 2196 enodes
39.876 * * [simplify]: iteration 146: 2200 enodes
40.135 * * [simplify]: iteration 147: 2204 enodes
40.338 * * [simplify]: iteration 148: 2208 enodes
40.566 * * [simplify]: iteration 149: 2212 enodes
40.856 * * [simplify]: iteration 150: 2216 enodes
41.057 * * [simplify]: iteration 151: 2220 enodes
41.341 * * [simplify]: iteration 152: 2224 enodes
41.571 * * [simplify]: iteration 153: 2228 enodes
41.813 * * [simplify]: iteration 154: 2232 enodes
42.043 * * [simplify]: iteration 155: 2236 enodes
42.319 * * [simplify]: iteration 156: 2240 enodes
42.597 * * [simplify]: iteration 157: 2244 enodes
42.816 * * [simplify]: iteration 158: 2248 enodes
43.086 * * [simplify]: iteration 159: 2252 enodes
43.377 * * [simplify]: iteration 160: 2256 enodes
43.614 * * [simplify]: iteration 161: 2260 enodes
43.861 * * [simplify]: iteration 162: 2264 enodes
44.149 * * [simplify]: iteration 163: 2268 enodes
44.364 * * [simplify]: iteration 164: 2272 enodes
44.626 * * [simplify]: iteration 165: 2276 enodes
44.869 * * [simplify]: iteration 166: 2280 enodes
45.170 * * [simplify]: iteration 167: 2284 enodes
45.483 * * [simplify]: iteration 168: 2288 enodes
45.800 * * [simplify]: iteration 169: 2292 enodes
46.104 * * [simplify]: iteration 170: 2296 enodes
46.371 * * [simplify]: iteration 171: 2300 enodes
46.612 * * [simplify]: iteration 172: 2304 enodes
46.877 * * [simplify]: iteration 173: 2308 enodes
47.072 * * [simplify]: iteration 174: 2312 enodes
47.313 * * [simplify]: iteration 175: 2316 enodes
47.543 * * [simplify]: iteration 176: 2320 enodes
47.792 * * [simplify]: iteration 177: 2324 enodes
48.056 * * [simplify]: iteration 178: 2328 enodes
48.288 * * [simplify]: iteration 179: 2332 enodes
48.522 * * [simplify]: iteration 180: 2336 enodes
48.778 * * [simplify]: iteration 181: 2340 enodes
49.004 * * [simplify]: iteration 182: 2344 enodes
49.274 * * [simplify]: iteration 183: 2348 enodes
49.522 * * [simplify]: iteration 184: 2352 enodes
49.821 * * [simplify]: iteration 185: 2356 enodes
50.134 * * [simplify]: iteration 186: 2360 enodes
50.432 * * [simplify]: iteration 187: 2364 enodes
50.623 * * [simplify]: iteration 188: 2368 enodes
50.859 * * [simplify]: iteration 189: 2372 enodes
51.169 * * [simplify]: iteration 190: 2376 enodes
51.466 * * [simplify]: iteration 191: 2380 enodes
51.719 * * [simplify]: iteration 192: 2384 enodes
51.960 * * [simplify]: iteration 193: 2388 enodes
52.179 * * [simplify]: iteration 194: 2392 enodes
52.423 * * [simplify]: iteration 195: 2396 enodes
52.660 * * [simplify]: iteration 196: 2400 enodes
52.888 * * [simplify]: iteration 197: 2404 enodes
53.148 * * [simplify]: iteration 198: 2408 enodes
53.395 * * [simplify]: iteration 199: 2412 enodes
53.602 * * [simplify]: iteration 200: 2416 enodes
53.830 * * [simplify]: iteration 201: 2420 enodes
54.090 * * [simplify]: iteration 202: 2424 enodes
54.306 * * [simplify]: iteration 203: 2428 enodes
54.545 * * [simplify]: iteration 204: 2432 enodes
54.819 * * [simplify]: iteration 205: 2436 enodes
55.055 * * [simplify]: iteration 206: 2440 enodes
55.259 * * [simplify]: iteration 207: 2444 enodes
55.544 * * [simplify]: iteration 208: 2448 enodes
55.808 * * [simplify]: iteration 209: 2452 enodes
56.012 * * [simplify]: iteration 210: 2456 enodes
56.251 * * [simplify]: iteration 211: 2460 enodes
56.518 * * [simplify]: iteration 212: 2464 enodes
56.787 * * [simplify]: iteration 213: 2468 enodes
56.996 * * [simplify]: iteration 214: 2472 enodes
57.208 * * [simplify]: iteration 215: 2476 enodes
57.463 * * [simplify]: iteration 216: 2480 enodes
57.655 * * [simplify]: iteration 217: 2484 enodes
57.978 * * [simplify]: iteration 218: 2488 enodes
58.306 * * [simplify]: iteration 219: 2492 enodes
58.572 * * [simplify]: iteration 220: 2496 enodes
58.811 * * [simplify]: iteration 221: 2500 enodes
59.053 * * [simplify]: iteration 222: 2504 enodes
59.284 * * [simplify]: iteration 223: 2508 enodes
59.606 * * [simplify]: iteration 224: 2512 enodes
59.929 * * [simplify]: iteration 225: 2516 enodes
60.229 * * [simplify]: iteration 226: 2520 enodes
60.496 * * [simplify]: iteration 227: 2524 enodes
60.788 * * [simplify]: iteration 228: 2528 enodes
61.047 * * [simplify]: iteration 229: 2532 enodes
61.348 * * [simplify]: iteration 230: 2536 enodes
61.600 * * [simplify]: iteration 231: 2540 enodes
61.860 * * [simplify]: iteration 232: 2544 enodes
62.121 * * [simplify]: iteration 233: 2548 enodes
62.430 * * [simplify]: iteration 234: 2552 enodes
62.760 * * [simplify]: iteration 235: 2556 enodes
63.046 * * [simplify]: iteration 236: 2560 enodes
63.703 * * [simplify]: iteration 237: 2564 enodes
64.039 * * [simplify]: iteration 238: 2568 enodes
64.304 * * [simplify]: iteration 239: 2572 enodes
64.591 * * [simplify]: iteration 240: 2576 enodes
64.867 * * [simplify]: iteration 241: 2580 enodes
65.186 * * [simplify]: iteration 242: 2584 enodes
65.473 * * [simplify]: iteration 243: 2588 enodes
65.779 * * [simplify]: iteration 244: 2592 enodes
66.074 * * [simplify]: iteration 245: 2596 enodes
66.423 * * [simplify]: iteration 246: 2600 enodes
66.728 * * [simplify]: iteration 247: 2604 enodes
66.990 * * [simplify]: iteration 248: 2608 enodes
67.236 * * [simplify]: iteration 249: 2612 enodes
67.513 * * [simplify]: iteration 250: 2616 enodes
67.785 * * [simplify]: iteration 251: 2620 enodes
68.072 * * [simplify]: iteration 252: 2624 enodes
68.386 * * [simplify]: iteration 253: 2628 enodes
68.667 * * [simplify]: iteration 254: 2632 enodes
68.951 * * [simplify]: iteration 255: 2636 enodes
69.237 * * [simplify]: iteration 256: 2640 enodes
69.549 * * [simplify]: iteration 257: 2644 enodes
69.851 * * [simplify]: iteration 258: 2648 enodes
70.218 * * [simplify]: iteration 259: 2652 enodes
70.452 * * [simplify]: iteration 260: 2656 enodes
70.777 * * [simplify]: iteration 261: 2660 enodes
71.094 * * [simplify]: iteration 262: 2664 enodes
71.379 * * [simplify]: iteration 263: 2668 enodes
71.659 * * [simplify]: iteration 264: 2672 enodes
71.931 * * [simplify]: iteration 265: 2676 enodes
72.211 * * [simplify]: iteration 266: 2680 enodes
72.486 * * [simplify]: iteration 267: 2684 enodes
72.756 * * [simplify]: iteration 268: 2688 enodes
73.086 * * [simplify]: iteration 269: 2692 enodes
73.384 * * [simplify]: iteration 270: 2696 enodes
73.687 * * [simplify]: iteration 271: 2700 enodes
74.012 * * [simplify]: iteration 272: 2704 enodes
74.351 * * [simplify]: iteration 273: 2708 enodes
74.618 * * [simplify]: iteration 274: 2712 enodes
74.877 * * [simplify]: iteration 275: 2716 enodes
75.160 * * [simplify]: iteration 276: 2720 enodes
75.440 * * [simplify]: iteration 277: 2724 enodes
75.706 * * [simplify]: iteration 278: 2728 enodes
76.016 * * [simplify]: iteration 279: 2732 enodes
76.270 * * [simplify]: iteration 280: 2736 enodes
76.538 * * [simplify]: iteration 281: 2740 enodes
76.773 * * [simplify]: iteration 282: 2744 enodes
77.086 * * [simplify]: iteration 283: 2748 enodes
77.349 * * [simplify]: iteration 284: 2752 enodes
77.628 * * [simplify]: iteration 285: 2756 enodes
77.993 * * [simplify]: iteration 286: 2760 enodes
78.340 * * [simplify]: iteration 287: 2764 enodes
78.593 * * [simplify]: iteration 288: 2768 enodes
78.855 * * [simplify]: iteration 289: 2772 enodes
79.155 * * [simplify]: iteration 290: 2776 enodes
79.469 * * [simplify]: iteration 291: 2780 enodes
79.713 * * [simplify]: iteration 292: 2784 enodes
79.982 * * [simplify]: iteration 293: 2788 enodes
80.278 * * [simplify]: iteration 294: 2792 enodes
80.488 * * [simplify]: iteration 295: 2796 enodes
80.730 * * [simplify]: iteration 296: 2800 enodes
81.050 * * [simplify]: iteration 297: 2804 enodes
81.300 * * [simplify]: iteration 298: 2808 enodes
81.562 * * [simplify]: iteration 299: 2812 enodes
81.814 * * [simplify]: iteration 300: 2816 enodes
82.093 * * [simplify]: iteration 301: 2820 enodes
82.370 * * [simplify]: iteration 302: 2824 enodes
82.654 * * [simplify]: iteration 303: 2828 enodes
82.957 * * [simplify]: iteration 304: 2832 enodes
83.279 * * [simplify]: iteration 305: 2836 enodes
83.569 * * [simplify]: iteration 306: 2840 enodes
83.848 * * [simplify]: iteration 307: 2844 enodes
84.166 * * [simplify]: iteration 308: 2848 enodes
84.427 * * [simplify]: iteration 309: 2852 enodes
84.696 * * [simplify]: iteration 310: 2856 enodes
85.005 * * [simplify]: iteration 311: 2860 enodes
85.250 * * [simplify]: iteration 312: 2864 enodes
85.536 * * [simplify]: iteration 313: 2868 enodes
85.782 * * [simplify]: iteration 314: 2872 enodes
86.107 * * [simplify]: iteration 315: 2876 enodes
86.339 * * [simplify]: iteration 316: 2880 enodes
86.596 * * [simplify]: iteration 317: 2884 enodes
86.836 * * [simplify]: iteration 318: 2888 enodes
87.085 * * [simplify]: iteration 319: 2892 enodes
87.349 * * [simplify]: iteration 320: 2896 enodes
87.563 * * [simplify]: iteration 321: 2900 enodes
87.806 * * [simplify]: iteration 322: 2904 enodes
88.019 * * [simplify]: iteration 323: 2908 enodes
88.238 * * [simplify]: iteration 324: 2912 enodes
88.477 * * [simplify]: iteration 325: 2916 enodes
88.724 * * [simplify]: iteration 326: 2920 enodes
88.984 * * [simplify]: iteration 327: 2924 enodes
89.260 * * [simplify]: iteration 328: 2928 enodes
89.536 * * [simplify]: iteration 329: 2932 enodes
89.779 * * [simplify]: iteration 330: 2936 enodes
90.009 * * [simplify]: iteration 331: 2940 enodes
90.240 * * [simplify]: iteration 332: 2944 enodes
90.482 * * [simplify]: iteration 333: 2948 enodes
90.699 * * [simplify]: iteration 334: 2952 enodes
90.940 * * [simplify]: iteration 335: 2956 enodes
91.172 * * [simplify]: iteration 336: 2960 enodes
91.449 * * [simplify]: iteration 337: 2964 enodes
91.697 * * [simplify]: iteration 338: 2968 enodes
91.976 * * [simplify]: iteration 339: 2972 enodes
92.214 * * [simplify]: iteration 340: 2976 enodes
92.469 * * [simplify]: iteration 341: 2980 enodes
92.704 * * [simplify]: iteration 342: 2984 enodes
92.934 * * [simplify]: iteration 343: 2988 enodes
93.167 * * [simplify]: iteration 344: 2992 enodes
93.412 * * [simplify]: iteration 345: 2996 enodes
93.635 * * [simplify]: iteration 346: 3000 enodes
93.883 * * [simplify]: iteration 347: 3004 enodes
94.126 * * [simplify]: iteration 348: 3008 enodes
94.380 * * [simplify]: iteration 349: 3012 enodes
94.602 * * [simplify]: iteration 350: 3016 enodes
94.840 * * [simplify]: iteration 351: 3020 enodes
95.048 * * [simplify]: iteration 352: 3024 enodes
95.284 * * [simplify]: iteration 353: 3028 enodes
95.547 * * [simplify]: iteration 354: 3032 enodes
95.790 * * [simplify]: iteration 355: 3036 enodes
96.014 * * [simplify]: iteration 356: 3040 enodes
96.207 * * [simplify]: iteration 357: 3044 enodes
96.399 * * [simplify]: iteration 358: 3048 enodes
96.590 * * [simplify]: iteration 359: 3052 enodes
96.780 * * [simplify]: iteration 360: 3056 enodes
96.969 * * [simplify]: iteration 361: 3060 enodes
97.155 * * [simplify]: iteration 362: 3064 enodes
97.344 * * [simplify]: iteration 363: 3068 enodes
97.534 * * [simplify]: iteration 364: 3072 enodes
97.723 * * [simplify]: iteration 365: 3076 enodes
97.913 * * [simplify]: iteration 366: 3080 enodes
98.101 * * [simplify]: iteration 367: 3084 enodes
98.290 * * [simplify]: iteration 368: 3088 enodes
98.479 * * [simplify]: iteration 369: 3092 enodes
98.667 * * [simplify]: iteration 370: 3096 enodes
98.853 * * [simplify]: iteration 371: 3100 enodes
99.040 * * [simplify]: iteration 372: 3104 enodes
99.228 * * [simplify]: iteration 373: 3108 enodes
99.417 * * [simplify]: iteration 374: 3112 enodes
99.604 * * [simplify]: iteration 375: 3116 enodes
99.791 * * [simplify]: iteration 376: 3120 enodes
99.979 * * [simplify]: iteration 377: 3124 enodes
100.167 * * [simplify]: iteration 378: 3128 enodes
100.354 * * [simplify]: iteration 379: 3132 enodes
100.541 * * [simplify]: iteration 380: 3136 enodes
100.731 * * [simplify]: iteration 381: 3140 enodes
100.920 * * [simplify]: iteration 382: 3144 enodes
101.109 * * [simplify]: iteration 383: 3148 enodes
101.296 * * [simplify]: iteration 384: 3152 enodes
101.485 * * [simplify]: iteration 385: 3156 enodes
101.675 * * [simplify]: iteration 386: 3160 enodes
101.864 * * [simplify]: iteration 387: 3164 enodes
102.050 * * [simplify]: iteration 388: 3168 enodes
102.237 * * [simplify]: iteration 389: 3172 enodes
102.425 * * [simplify]: iteration 390: 3176 enodes
102.613 * * [simplify]: iteration 391: 3180 enodes
102.801 * * [simplify]: iteration 392: 3184 enodes
102.987 * * [simplify]: iteration 393: 3188 enodes
103.176 * * [simplify]: iteration 394: 3192 enodes
103.365 * * [simplify]: iteration 395: 3196 enodes
103.554 * * [simplify]: iteration 396: 3200 enodes
103.741 * * [simplify]: iteration 397: 3204 enodes
103.930 * * [simplify]: iteration 398: 3208 enodes
104.378 * * [simplify]: iteration 399: 3212 enodes
104.566 * * [simplify]: iteration 400: 3216 enodes
104.751 * * [simplify]: iteration 401: 3220 enodes
104.937 * * [simplify]: iteration 402: 3224 enodes
105.123 * * [simplify]: iteration 403: 3228 enodes
105.310 * * [simplify]: iteration 404: 3232 enodes
105.496 * * [simplify]: iteration 405: 3236 enodes
105.681 * * [simplify]: iteration 406: 3240 enodes
105.868 * * [simplify]: iteration 407: 3244 enodes
106.054 * * [simplify]: iteration 408: 3248 enodes
106.241 * * [simplify]: iteration 409: 3252 enodes
106.426 * * [simplify]: iteration 410: 3256 enodes
106.612 * * [simplify]: iteration 411: 3260 enodes
106.798 * * [simplify]: iteration 412: 3264 enodes
106.985 * * [simplify]: iteration 413: 3268 enodes
107.170 * * [simplify]: iteration 414: 3272 enodes
107.355 * * [simplify]: iteration 415: 3276 enodes
107.541 * * [simplify]: iteration 416: 3280 enodes
107.727 * * [simplify]: iteration 417: 3284 enodes
107.914 * * [simplify]: iteration 418: 3288 enodes
108.099 * * [simplify]: iteration 419: 3292 enodes
108.285 * * [simplify]: iteration 420: 3296 enodes
108.472 * * [simplify]: iteration 421: 3300 enodes
108.658 * * [simplify]: iteration 422: 3304 enodes
108.844 * * [simplify]: iteration 423: 3308 enodes
109.029 * * [simplify]: iteration 424: 3312 enodes
109.215 * * [simplify]: iteration 425: 3316 enodes
109.401 * * [simplify]: iteration 426: 3320 enodes
109.586 * * [simplify]: iteration 427: 3324 enodes
109.772 * * [simplify]: iteration 428: 3328 enodes
109.958 * * [simplify]: iteration 429: 3332 enodes
110.144 * * [simplify]: iteration 430: 3336 enodes
110.330 * * [simplify]: iteration 431: 3340 enodes
110.516 * * [simplify]: iteration 432: 3344 enodes
110.702 * * [simplify]: iteration 433: 3348 enodes
110.888 * * [simplify]: iteration 434: 3352 enodes
111.074 * * [simplify]: iteration 435: 3356 enodes
111.259 * * [simplify]: iteration 436: 3360 enodes
111.445 * * [simplify]: iteration 437: 3364 enodes
111.630 * * [simplify]: iteration 438: 3368 enodes
111.816 * * [simplify]: iteration 439: 3372 enodes
112.000 * * [simplify]: iteration 440: 3376 enodes
112.186 * * [simplify]: iteration 441: 3380 enodes
112.372 * * [simplify]: iteration 442: 3384 enodes
112.558 * * [simplify]: iteration 443: 3388 enodes
112.744 * * [simplify]: iteration 444: 3392 enodes
112.929 * * [simplify]: iteration 445: 3396 enodes
113.115 * * [simplify]: iteration 446: 3400 enodes
113.301 * * [simplify]: iteration 447: 3404 enodes
113.488 * * [simplify]: iteration 448: 3408 enodes
113.673 * * [simplify]: iteration 449: 3412 enodes
113.858 * * [simplify]: iteration 450: 3416 enodes
114.045 * * [simplify]: iteration 451: 3420 enodes
114.232 * * [simplify]: iteration 452: 3424 enodes
114.416 * * [simplify]: iteration 453: 3428 enodes
114.603 * * [simplify]: iteration 454: 3432 enodes
114.789 * * [simplify]: iteration 455: 3436 enodes
114.975 * * [simplify]: iteration 456: 3440 enodes
115.163 * * [simplify]: iteration 457: 3444 enodes
115.347 * * [simplify]: iteration 458: 3448 enodes
115.533 * * [simplify]: iteration 459: 3452 enodes
115.719 * * [simplify]: iteration 460: 3456 enodes
115.906 * * [simplify]: iteration 461: 3460 enodes
116.091 * * [simplify]: iteration 462: 3464 enodes
116.277 * * [simplify]: iteration 463: 3468 enodes
116.463 * * [simplify]: iteration 464: 3472 enodes
116.649 * * [simplify]: iteration 465: 3476 enodes
116.835 * * [simplify]: iteration 466: 3480 enodes
117.024 * * [simplify]: iteration 467: 3484 enodes
117.213 * * [simplify]: iteration 468: 3488 enodes
117.400 * * [simplify]: iteration 469: 3492 enodes
117.588 * * [simplify]: iteration 470: 3496 enodes
117.776 * * [simplify]: iteration 471: 3500 enodes
117.963 * * [simplify]: iteration 472: 3504 enodes
118.152 * * [simplify]: iteration 473: 3508 enodes
118.340 * * [simplify]: iteration 474: 3512 enodes
118.531 * * [simplify]: iteration 475: 3516 enodes
118.719 * * [simplify]: iteration 476: 3520 enodes
118.905 * * [simplify]: iteration 477: 3524 enodes
119.096 * * [simplify]: iteration 478: 3528 enodes
119.285 * * [simplify]: iteration 479: 3532 enodes
119.470 * * [simplify]: iteration 480: 3536 enodes
119.658 * * [simplify]: iteration 481: 3540 enodes
119.848 * * [simplify]: iteration 482: 3544 enodes
120.034 * * [simplify]: iteration 483: 3548 enodes
120.221 * * [simplify]: iteration 484: 3552 enodes
120.409 * * [simplify]: iteration 485: 3556 enodes
120.597 * * [simplify]: iteration 486: 3560 enodes
120.793 * * [simplify]: iteration 487: 3564 enodes
120.981 * * [simplify]: iteration 488: 3568 enodes
121.170 * * [simplify]: iteration 489: 3572 enodes
121.361 * * [simplify]: iteration 490: 3576 enodes
121.548 * * [simplify]: iteration 491: 3580 enodes
121.738 * * [simplify]: iteration 492: 3584 enodes
121.926 * * [simplify]: iteration 493: 3588 enodes
122.118 * * [simplify]: iteration 494: 3592 enodes
122.307 * * [simplify]: iteration 495: 3596 enodes
122.502 * * [simplify]: iteration 496: 3600 enodes
122.691 * * [simplify]: iteration 497: 3604 enodes
122.881 * * [simplify]: iteration 498: 3608 enodes
123.067 * * [simplify]: iteration 499: 3612 enodes
123.251 * * [simplify]: iteration 500: 3616 enodes
123.435 * * [simplify]: iteration 501: 3620 enodes
123.621 * * [simplify]: iteration 502: 3624 enodes
123.808 * * [simplify]: iteration 503: 3628 enodes
123.995 * * [simplify]: iteration 504: 3632 enodes
124.179 * * [simplify]: iteration 505: 3636 enodes
124.363 * * [simplify]: iteration 506: 3640 enodes
124.549 * * [simplify]: iteration 507: 3644 enodes
124.737 * * [simplify]: iteration 508: 3648 enodes
124.924 * * [simplify]: iteration 509: 3652 enodes
125.110 * * [simplify]: iteration 510: 3656 enodes
125.320 * * [simplify]: iteration 511: 3660 enodes
125.544 * * [simplify]: iteration 512: 3664 enodes
125.733 * * [simplify]: iteration 513: 3668 enodes
125.935 * * [simplify]: iteration 514: 3672 enodes
126.183 * * [simplify]: iteration 515: 3676 enodes
126.418 * * [simplify]: iteration 516: 3680 enodes
126.624 * * [simplify]: iteration 517: 3684 enodes
126.844 * * [simplify]: iteration 518: 3688 enodes
127.054 * * [simplify]: iteration 519: 3692 enodes
127.239 * * [simplify]: iteration 520: 3696 enodes
127.474 * * [simplify]: iteration 521: 3700 enodes
127.699 * * [simplify]: iteration 522: 3704 enodes
127.934 * * [simplify]: iteration 523: 3708 enodes
128.121 * * [simplify]: iteration 524: 3712 enodes
128.340 * * [simplify]: iteration 525: 3716 enodes
128.584 * * [simplify]: iteration 526: 3720 enodes
128.804 * * [simplify]: iteration 527: 3724 enodes
128.986 * * [simplify]: iteration 528: 3728 enodes
129.166 * * [simplify]: iteration 529: 3732 enodes
129.346 * * [simplify]: iteration 530: 3736 enodes
129.526 * * [simplify]: iteration 531: 3740 enodes
129.705 * * [simplify]: iteration 532: 3744 enodes
129.884 * * [simplify]: iteration 533: 3748 enodes
130.064 * * [simplify]: iteration 534: 3752 enodes
130.244 * * [simplify]: iteration 535: 3756 enodes
130.423 * * [simplify]: iteration 536: 3760 enodes
130.603 * * [simplify]: iteration 537: 3764 enodes
130.784 * * [simplify]: iteration 538: 3768 enodes
130.964 * * [simplify]: iteration 539: 3772 enodes
131.142 * * [simplify]: iteration 540: 3776 enodes
131.322 * * [simplify]: iteration 541: 3780 enodes
131.503 * * [simplify]: iteration 542: 3784 enodes
131.682 * * [simplify]: iteration 543: 3788 enodes
131.863 * * [simplify]: iteration 544: 3792 enodes
132.042 * * [simplify]: iteration 545: 3796 enodes
132.221 * * [simplify]: iteration 546: 3800 enodes
132.401 * * [simplify]: iteration 547: 3804 enodes
132.581 * * [simplify]: iteration 548: 3808 enodes
132.760 * * [simplify]: iteration 549: 3812 enodes
132.940 * * [simplify]: iteration 550: 3816 enodes
133.118 * * [simplify]: iteration 551: 3820 enodes
133.296 * * [simplify]: iteration 552: 3824 enodes
133.472 * * [simplify]: iteration 553: 3828 enodes
133.648 * * [simplify]: iteration 554: 3832 enodes
133.825 * * [simplify]: iteration 555: 3836 enodes
134.001 * * [simplify]: iteration 556: 3840 enodes
134.178 * * [simplify]: iteration 557: 3844 enodes
134.353 * * [simplify]: iteration 558: 3848 enodes
134.529 * * [simplify]: iteration 559: 3852 enodes
134.706 * * [simplify]: iteration 560: 3856 enodes
135.105 * * [simplify]: iteration 561: 3860 enodes
135.280 * * [simplify]: iteration 562: 3864 enodes
135.457 * * [simplify]: iteration 563: 3868 enodes
135.633 * * [simplify]: iteration 564: 3872 enodes
135.809 * * [simplify]: iteration 565: 3876 enodes
135.984 * * [simplify]: iteration 566: 3880 enodes
136.160 * * [simplify]: iteration 567: 3884 enodes
136.336 * * [simplify]: iteration 568: 3888 enodes
136.513 * * [simplify]: iteration 569: 3892 enodes
136.689 * * [simplify]: iteration 570: 3896 enodes
136.865 * * [simplify]: iteration 571: 3900 enodes
137.041 * * [simplify]: iteration 572: 3904 enodes
137.218 * * [simplify]: iteration 573: 3908 enodes
137.394 * * [simplify]: iteration 574: 3912 enodes
137.569 * * [simplify]: iteration 575: 3916 enodes
137.745 * * [simplify]: iteration 576: 3920 enodes
137.921 * * [simplify]: iteration 577: 3924 enodes
138.097 * * [simplify]: iteration 578: 3928 enodes
138.272 * * [simplify]: iteration 579: 3932 enodes
138.448 * * [simplify]: iteration 580: 3936 enodes
138.625 * * [simplify]: iteration 581: 3940 enodes
138.801 * * [simplify]: iteration 582: 3944 enodes
138.977 * * [simplify]: iteration 583: 3948 enodes
139.152 * * [simplify]: iteration 584: 3952 enodes
139.327 * * [simplify]: iteration 585: 3956 enodes
139.504 * * [simplify]: iteration 586: 3960 enodes
139.680 * * [simplify]: iteration 587: 3964 enodes
139.855 * * [simplify]: iteration 588: 3968 enodes
140.031 * * [simplify]: iteration 589: 3972 enodes
140.207 * * [simplify]: iteration 590: 3976 enodes
140.383 * * [simplify]: iteration 591: 3980 enodes
140.559 * * [simplify]: iteration 592: 3984 enodes
140.735 * * [simplify]: iteration 593: 3988 enodes
140.911 * * [simplify]: iteration 594: 3992 enodes
141.088 * * [simplify]: iteration 595: 3996 enodes
141.264 * * [simplify]: iteration 596: 4000 enodes
141.439 * * [simplify]: iteration 597: 4004 enodes
141.617 * * [simplify]: iteration 598: 4008 enodes
141.792 * * [simplify]: iteration 599: 4012 enodes
141.969 * * [simplify]: iteration 600: 4016 enodes
142.144 * * [simplify]: iteration 601: 4020 enodes
142.320 * * [simplify]: iteration 602: 4024 enodes
142.497 * * [simplify]: iteration 603: 4028 enodes
142.673 * * [simplify]: iteration 604: 4032 enodes
142.848 * * [simplify]: iteration 605: 4036 enodes
143.024 * * [simplify]: iteration 606: 4040 enodes
143.200 * * [simplify]: iteration 607: 4044 enodes
143.376 * * [simplify]: iteration 608: 4048 enodes
143.553 * * [simplify]: iteration 609: 4052 enodes
143.728 * * [simplify]: iteration 610: 4056 enodes
143.905 * * [simplify]: iteration 611: 4060 enodes
144.081 * * [simplify]: iteration 612: 4064 enodes
144.257 * * [simplify]: iteration 613: 4068 enodes
144.433 * * [simplify]: iteration 614: 4072 enodes
144.610 * * [simplify]: iteration 615: 4076 enodes
144.786 * * [simplify]: iteration 616: 4080 enodes
144.963 * * [simplify]: iteration 617: 4084 enodes
145.138 * * [simplify]: iteration 618: 4088 enodes
145.314 * * [simplify]: iteration 619: 4092 enodes
145.490 * * [simplify]: iteration 620: 4096 enodes
145.666 * * [simplify]: iteration 621: 4100 enodes
145.843 * * [simplify]: iteration 622: 4104 enodes
146.018 * * [simplify]: iteration 623: 4108 enodes
146.194 * * [simplify]: iteration 624: 4112 enodes
146.370 * * [simplify]: iteration 625: 4116 enodes
146.546 * * [simplify]: iteration 626: 4120 enodes
146.721 * * [simplify]: iteration 627: 4124 enodes
146.897 * * [simplify]: iteration 628: 4128 enodes
147.074 * * [simplify]: iteration 629: 4132 enodes
147.250 * * [simplify]: iteration 630: 4136 enodes
147.425 * * [simplify]: iteration 631: 4140 enodes
147.601 * * [simplify]: iteration 632: 4144 enodes
147.778 * * [simplify]: iteration 633: 4148 enodes
147.954 * * [simplify]: iteration 634: 4152 enodes
148.130 * * [simplify]: iteration 635: 4156 enodes
148.306 * * [simplify]: iteration 636: 4160 enodes
148.482 * * [simplify]: iteration 637: 4164 enodes
148.659 * * [simplify]: iteration 638: 4168 enodes
148.835 * * [simplify]: iteration 639: 4172 enodes
149.010 * * [simplify]: iteration 640: 4176 enodes
149.186 * * [simplify]: iteration 641: 4180 enodes
149.363 * * [simplify]: iteration 642: 4184 enodes
149.539 * * [simplify]: iteration 643: 4188 enodes
149.714 * * [simplify]: iteration 644: 4192 enodes
149.890 * * [simplify]: iteration 645: 4196 enodes
150.067 * * [simplify]: iteration 646: 4200 enodes
150.243 * * [simplify]: iteration 647: 4204 enodes
150.419 * * [simplify]: iteration 648: 4208 enodes
150.595 * * [simplify]: iteration 649: 4212 enodes
150.771 * * [simplify]: iteration 650: 4216 enodes
150.948 * * [simplify]: iteration 651: 4220 enodes
151.124 * * [simplify]: iteration 652: 4224 enodes
151.300 * * [simplify]: iteration 653: 4228 enodes
151.476 * * [simplify]: iteration 654: 4232 enodes
151.652 * * [simplify]: iteration 655: 4236 enodes
151.828 * * [simplify]: iteration 656: 4240 enodes
152.003 * * [simplify]: iteration 657: 4244 enodes
152.179 * * [simplify]: iteration 658: 4248 enodes
152.355 * * [simplify]: iteration 659: 4252 enodes
152.532 * * [simplify]: iteration 660: 4256 enodes
152.708 * * [simplify]: iteration 661: 4260 enodes
152.884 * * [simplify]: iteration 662: 4264 enodes
153.062 * * [simplify]: iteration 663: 4268 enodes
153.238 * * [simplify]: iteration 664: 4272 enodes
153.415 * * [simplify]: iteration 665: 4276 enodes
153.590 * * [simplify]: iteration 666: 4280 enodes
153.767 * * [simplify]: iteration 667: 4284 enodes
153.943 * * [simplify]: iteration 668: 4288 enodes
154.120 * * [simplify]: iteration 669: 4292 enodes
154.295 * * [simplify]: iteration 670: 4296 enodes
154.471 * * [simplify]: iteration 671: 4300 enodes
154.648 * * [simplify]: iteration 672: 4304 enodes
154.824 * * [simplify]: iteration 673: 4308 enodes
155.001 * * [simplify]: iteration 674: 4312 enodes
155.176 * * [simplify]: iteration 675: 4316 enodes
155.352 * * [simplify]: iteration 676: 4320 enodes
155.529 * * [simplify]: iteration 677: 4324 enodes
155.705 * * [simplify]: iteration 678: 4328 enodes
155.880 * * [simplify]: iteration 679: 4332 enodes
156.056 * * [simplify]: iteration 680: 4336 enodes
156.233 * * [simplify]: iteration 681: 4340 enodes
156.409 * * [simplify]: iteration 682: 4344 enodes
156.585 * * [simplify]: iteration 683: 4348 enodes
156.761 * * [simplify]: iteration 684: 4352 enodes
156.937 * * [simplify]: iteration 685: 4356 enodes
157.114 * * [simplify]: iteration 686: 4360 enodes
157.290 * * [simplify]: iteration 687: 4364 enodes
157.465 * * [simplify]: iteration 688: 4368 enodes
157.641 * * [simplify]: iteration 689: 4372 enodes
157.818 * * [simplify]: iteration 690: 4376 enodes
157.994 * * [simplify]: iteration 691: 4380 enodes
158.168 * * [simplify]: iteration 692: 4384 enodes
158.344 * * [simplify]: iteration 693: 4388 enodes
158.521 * * [simplify]: iteration 694: 4392 enodes
158.724 * * [simplify]: iteration 695: 4396 enodes
158.899 * * [simplify]: iteration 696: 4400 enodes
159.075 * * [simplify]: iteration 697: 4404 enodes
159.251 * * [simplify]: iteration 698: 4408 enodes
159.428 * * [simplify]: iteration 699: 4412 enodes
159.604 * * [simplify]: iteration 700: 4416 enodes
159.779 * * [simplify]: iteration 701: 4420 enodes
159.956 * * [simplify]: iteration 702: 4424 enodes
160.132 * * [simplify]: iteration 703: 4428 enodes
160.308 * * [simplify]: iteration 704: 4432 enodes
160.483 * * [simplify]: iteration 705: 4436 enodes
160.659 * * [simplify]: iteration 706: 4440 enodes
160.836 * * [simplify]: iteration 707: 4444 enodes
161.012 * * [simplify]: iteration 708: 4448 enodes
161.187 * * [simplify]: iteration 709: 4452 enodes
161.363 * * [simplify]: iteration 710: 4456 enodes
161.540 * * [simplify]: iteration 711: 4460 enodes
161.716 * * [simplify]: iteration 712: 4464 enodes
161.892 * * [simplify]: iteration 713: 4468 enodes
162.068 * * [simplify]: iteration 714: 4472 enodes
162.244 * * [simplify]: iteration 715: 4476 enodes
162.420 * * [simplify]: iteration 716: 4480 enodes
162.597 * * [simplify]: iteration 717: 4484 enodes
162.773 * * [simplify]: iteration 718: 4488 enodes
162.949 * * [simplify]: iteration 719: 4492 enodes
163.125 * * [simplify]: iteration 720: 4496 enodes
163.302 * * [simplify]: iteration 721: 4500 enodes
163.477 * * [simplify]: iteration 722: 4504 enodes
163.653 * * [simplify]: iteration 723: 4508 enodes
164.055 * * [simplify]: iteration 724: 4512 enodes
164.232 * * [simplify]: iteration 725: 4516 enodes
164.408 * * [simplify]: iteration 726: 4520 enodes
164.584 * * [simplify]: iteration 727: 4524 enodes
164.760 * * [simplify]: iteration 728: 4528 enodes
164.936 * * [simplify]: iteration 729: 4532 enodes
165.113 * * [simplify]: iteration 730: 4536 enodes
165.288 * * [simplify]: iteration 731: 4540 enodes
165.465 * * [simplify]: iteration 732: 4544 enodes
165.641 * * [simplify]: iteration 733: 4548 enodes
165.817 * * [simplify]: iteration 734: 4552 enodes
165.993 * * [simplify]: iteration 735: 4556 enodes
166.168 * * [simplify]: iteration 736: 4560 enodes
166.345 * * [simplify]: iteration 737: 4564 enodes
166.521 * * [simplify]: iteration 738: 4568 enodes
166.697 * * [simplify]: iteration 739: 4572 enodes
166.873 * * [simplify]: iteration 740: 4576 enodes
167.049 * * [simplify]: iteration 741: 4580 enodes
167.226 * * [simplify]: iteration 742: 4584 enodes
167.402 * * [simplify]: iteration 743: 4588 enodes
167.581 * * [simplify]: iteration 744: 4592 enodes
167.758 * * [simplify]: iteration 745: 4596 enodes
167.935 * * [simplify]: iteration 746: 4600 enodes
168.112 * * [simplify]: iteration 747: 4604 enodes
168.289 * * [simplify]: iteration 748: 4608 enodes
168.465 * * [simplify]: iteration 749: 4612 enodes
168.641 * * [simplify]: iteration 750: 4616 enodes
168.818 * * [simplify]: iteration 751: 4620 enodes
168.994 * * [simplify]: iteration 752: 4624 enodes
169.169 * * [simplify]: iteration 753: 4628 enodes
169.346 * * [simplify]: iteration 754: 4632 enodes
169.522 * * [simplify]: iteration 755: 4636 enodes
169.699 * * [simplify]: iteration 756: 4640 enodes
169.874 * * [simplify]: iteration 757: 4644 enodes
170.050 * * [simplify]: iteration 758: 4648 enodes
170.227 * * [simplify]: iteration 759: 4652 enodes
170.402 * * [simplify]: iteration 760: 4656 enodes
170.578 * * [simplify]: iteration 761: 4660 enodes
170.754 * * [simplify]: iteration 762: 4664 enodes
170.930 * * [simplify]: iteration 763: 4668 enodes
171.106 * * [simplify]: iteration 764: 4672 enodes
171.283 * * [simplify]: iteration 765: 4676 enodes
171.458 * * [simplify]: iteration 766: 4680 enodes
171.635 * * [simplify]: iteration 767: 4684 enodes
171.811 * * [simplify]: iteration 768: 4688 enodes
171.988 * * [simplify]: iteration 769: 4692 enodes
172.163 * * [simplify]: iteration 770: 4696 enodes
172.339 * * [simplify]: iteration 771: 4700 enodes
172.516 * * [simplify]: iteration 772: 4704 enodes
172.692 * * [simplify]: iteration 773: 4708 enodes
172.867 * * [simplify]: iteration 774: 4712 enodes
173.043 * * [simplify]: iteration 775: 4716 enodes
173.219 * * [simplify]: iteration 776: 4720 enodes
173.396 * * [simplify]: iteration 777: 4724 enodes
173.572 * * [simplify]: iteration 778: 4728 enodes
173.748 * * [simplify]: iteration 779: 4732 enodes
173.924 * * [simplify]: iteration 780: 4736 enodes
174.100 * * [simplify]: iteration 781: 4740 enodes
174.277 * * [simplify]: iteration 782: 4744 enodes
174.453 * * [simplify]: iteration 783: 4748 enodes
174.628 * * [simplify]: iteration 784: 4752 enodes
174.805 * * [simplify]: iteration 785: 4756 enodes
174.982 * * [simplify]: iteration 786: 4760 enodes
175.157 * * [simplify]: iteration 787: 4764 enodes
175.333 * * [simplify]: iteration 788: 4768 enodes
175.509 * * [simplify]: iteration 789: 4772 enodes
175.686 * * [simplify]: iteration 790: 4776 enodes
175.862 * * [simplify]: iteration 791: 4780 enodes
176.037 * * [simplify]: iteration 792: 4784 enodes
176.213 * * [simplify]: iteration 793: 4788 enodes
176.390 * * [simplify]: iteration 794: 4792 enodes
176.566 * * [simplify]: iteration 795: 4796 enodes
176.742 * * [simplify]: iteration 796: 4800 enodes
176.918 * * [simplify]: iteration 797: 4804 enodes
177.094 * * [simplify]: iteration 798: 4808 enodes
177.270 * * [simplify]: iteration 799: 4812 enodes
177.447 * * [simplify]: iteration 800: 4816 enodes
177.623 * * [simplify]: iteration 801: 4820 enodes
177.799 * * [simplify]: iteration 802: 4824 enodes
177.975 * * [simplify]: iteration 803: 4828 enodes
178.151 * * [simplify]: iteration 804: 4832 enodes
178.327 * * [simplify]: iteration 805: 4836 enodes
178.503 * * [simplify]: iteration 806: 4840 enodes
178.679 * * [simplify]: iteration 807: 4844 enodes
178.856 * * [simplify]: iteration 808: 4848 enodes
179.031 * * [simplify]: iteration 809: 4852 enodes
179.207 * * [simplify]: iteration 810: 4856 enodes
179.383 * * [simplify]: iteration 811: 4860 enodes
179.559 * * [simplify]: iteration 812: 4864 enodes
179.735 * * [simplify]: iteration 813: 4868 enodes
179.911 * * [simplify]: iteration 814: 4872 enodes
180.087 * * [simplify]: iteration 815: 4876 enodes
180.264 * * [simplify]: iteration 816: 4880 enodes
180.440 * * [simplify]: iteration 817: 4884 enodes
180.616 * * [simplify]: iteration 818: 4888 enodes
180.792 * * [simplify]: iteration 819: 4892 enodes
180.968 * * [simplify]: iteration 820: 4896 enodes
181.144 * * [simplify]: iteration 821: 4900 enodes
181.320 * * [simplify]: iteration 822: 4904 enodes
181.496 * * [simplify]: iteration 823: 4908 enodes
181.672 * * [simplify]: iteration 824: 4912 enodes
181.848 * * [simplify]: iteration 825: 4916 enodes
182.025 * * [simplify]: iteration 826: 4920 enodes
182.200 * * [simplify]: iteration 827: 4924 enodes
182.376 * * [simplify]: iteration 828: 4928 enodes
182.553 * * [simplify]: iteration 829: 4932 enodes
182.729 * * [simplify]: iteration 830: 4936 enodes
182.905 * * [simplify]: iteration 831: 4940 enodes
183.081 * * [simplify]: iteration 832: 4944 enodes
183.257 * * [simplify]: iteration 833: 4948 enodes
183.434 * * [simplify]: iteration 834: 4952 enodes
183.609 * * [simplify]: iteration 835: 4956 enodes
183.786 * * [simplify]: iteration 836: 4960 enodes
183.962 * * [simplify]: iteration 837: 4964 enodes
184.138 * * [simplify]: iteration 838: 4968 enodes
184.314 * * [simplify]: iteration 839: 4972 enodes
184.490 * * [simplify]: iteration 840: 4976 enodes
184.666 * * [simplify]: iteration 841: 4980 enodes
184.843 * * [simplify]: iteration 842: 4984 enodes
185.019 * * [simplify]: iteration 843: 4988 enodes
185.194 * * [simplify]: iteration 844: 4992 enodes
185.370 * * [simplify]: iteration 845: 4996 enodes
185.529 * * [simplify]: iteration complete: 5000 enodes
185.529 * * [simplify]: Extracting #0: cost 1 inf + 0
185.529 * * [simplify]: Extracting #1: cost 35 inf + 0
185.529 * * [simplify]: Extracting #2: cost 71 inf + 14
185.530 * * [simplify]: Extracting #3: cost 15 inf + 411
185.530 * * [simplify]: Extracting #4: cost 1 inf + 509
185.531 * * [simplify]: Extracting #5: cost 0 inf + 520
185.531 * [simplify]: Simplified to:
  (* 1.0 (* (/ 1.0 9.0) (+ (+ (/ 2.0 9.0) 2.0) 2.0)))
185.534 * * [progress]: iteration 1 / 4
185.534 * * * [progress]: picking best candidate
185.536 * * * * [pick]: Picked  #<alt (λ () (* 1.0 (* (/ 1.0 9.0) (+ (+ (/ 2.0 9.0) 2.0) 2.0))))>
185.536 * * * [progress]: localizing error
185.545 * * * [progress]: generating rewritten candidates
185.545 * * * [progress]: generating series expansions
185.545 * * * [progress]: simplifying candidates
185.545 * [simplify]: Simplifying:
  
185.545 * * [simplify]: iteration 0: 0 enodes
185.545 * * [simplify]: iteration complete: 0 enodes
185.545 * * [simplify]: Extracting #0: cost 0 inf + 0
185.545 * [simplify]: Simplified to:
  
185.545 * * * [progress]: adding candidates to table
185.546 * [progress]: [Phase 3 of 3] Extracting.
185.548 * [simplify]: Simplifying:
  (* 1.0 (* (/ 1.0 9.0) (+ (+ (/ 2.0 9.0) 2.0) 2.0)))
185.548 * * [simplify]: iteration 0: 9 enodes
185.549 * * [simplify]: iteration 1: 13 enodes
185.550 * * [simplify]: iteration complete: 13 enodes
185.550 * * [simplify]: Extracting #0: cost 1 inf + 0
185.550 * * [simplify]: Extracting #1: cost 3 inf + 0
185.550 * * [simplify]: Extracting #2: cost 4 inf + 1
185.550 * * [simplify]: Extracting #3: cost 7 inf + 1
185.550 * * [simplify]: Extracting #4: cost 5 inf + 6
185.550 * * [simplify]: Extracting #5: cost 0 inf + 45
185.550 * [simplify]: Simplified to:
  (* (* (+ 2.0 (+ 2.0 (/ 2.0 9.0))) (/ 1.0 9.0)) 1.0)
186.263 * [regime-testing]: Baseline error score: 0
186.271 * [regime-testing]: Oracle error score: 0
186.271 * [regime-testing]: End program error score: 0
186.319 * [regime-testing]: Target error score: 0