17.331 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [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.022 * * [simplify]: iteration 0: 10 enodes
0.025 * * [simplify]: iteration 1: 27 enodes
0.033 * * [simplify]: iteration 2: 102 enodes
0.070 * * [simplify]: iteration 3: 284 enodes
0.177 * * [simplify]: iteration 4: 548 enodes
0.401 * * [simplify]: iteration 5: 889 enodes
0.767 * * [simplify]: iteration 6: 1303 enodes
1.420 * * [simplify]: iteration 7: 1726 enodes
2.362 * * [simplify]: iteration 8: 2027 enodes
3.104 * * [simplify]: iteration 9: 2145 enodes
3.659 * * [simplify]: iteration 10: 2173 enodes
4.269 * * [simplify]: iteration 11: 2183 enodes
5.180 * * [simplify]: iteration 12: 2187 enodes
5.843 * * [simplify]: iteration 13: 2191 enodes
6.345 * * [simplify]: iteration 14: 2195 enodes
6.968 * * [simplify]: iteration 15: 2199 enodes
7.664 * * [simplify]: iteration 16: 2203 enodes
8.315 * * [simplify]: iteration 17: 2207 enodes
8.919 * * [simplify]: iteration 18: 2211 enodes
9.422 * * [simplify]: iteration 19: 2215 enodes
9.952 * * [simplify]: iteration 20: 2219 enodes
10.556 * * [simplify]: iteration 21: 2223 enodes
11.132 * * [simplify]: iteration 22: 2227 enodes
11.680 * * [simplify]: iteration 23: 2231 enodes
12.365 * * [simplify]: iteration 24: 2235 enodes
12.925 * * [simplify]: iteration 25: 2239 enodes
13.495 * * [simplify]: iteration 26: 2243 enodes
14.040 * * [simplify]: iteration 27: 2247 enodes
14.608 * * [simplify]: iteration 28: 2251 enodes
15.210 * * [simplify]: iteration 29: 2255 enodes
15.795 * * [simplify]: iteration 30: 2259 enodes
16.369 * * [simplify]: iteration 31: 2263 enodes
16.918 * * [simplify]: iteration 32: 2267 enodes
17.537 * * [simplify]: iteration 33: 2271 enodes
18.170 * * [simplify]: iteration 34: 2275 enodes
18.741 * * [simplify]: iteration 35: 2279 enodes
19.412 * * [simplify]: iteration 36: 2283 enodes
19.956 * * [simplify]: iteration 37: 2287 enodes
20.495 * * [simplify]: iteration 38: 2291 enodes
21.006 * * [simplify]: iteration 39: 2295 enodes
21.521 * * [simplify]: iteration 40: 2299 enodes
22.076 * * [simplify]: iteration 41: 2303 enodes
22.667 * * [simplify]: iteration 42: 2307 enodes
23.206 * * [simplify]: iteration 43: 2311 enodes
23.750 * * [simplify]: iteration 44: 2315 enodes
24.252 * * [simplify]: iteration 45: 2319 enodes
24.721 * * [simplify]: iteration 46: 2323 enodes
25.198 * * [simplify]: iteration 47: 2327 enodes
25.681 * * [simplify]: iteration 48: 2331 enodes
26.155 * * [simplify]: iteration 49: 2335 enodes
26.590 * * [simplify]: iteration 50: 2339 enodes
27.001 * * [simplify]: iteration 51: 2343 enodes
27.449 * * [simplify]: iteration 52: 2347 enodes
27.942 * * [simplify]: iteration 53: 2351 enodes
28.421 * * [simplify]: iteration 54: 2355 enodes
28.882 * * [simplify]: iteration 55: 2359 enodes
29.322 * * [simplify]: iteration 56: 2363 enodes
29.767 * * [simplify]: iteration 57: 2367 enodes
30.341 * * [simplify]: iteration 58: 2371 enodes
30.819 * * [simplify]: iteration 59: 2375 enodes
31.283 * * [simplify]: iteration 60: 2379 enodes
31.815 * * [simplify]: iteration 61: 2383 enodes
32.320 * * [simplify]: iteration 62: 2387 enodes
32.824 * * [simplify]: iteration 63: 2391 enodes
33.369 * * [simplify]: iteration 64: 2395 enodes
33.821 * * [simplify]: iteration 65: 2399 enodes
34.378 * * [simplify]: iteration 66: 2403 enodes
34.906 * * [simplify]: iteration 67: 2407 enodes
35.442 * * [simplify]: iteration 68: 2411 enodes
35.952 * * [simplify]: iteration 69: 2415 enodes
36.418 * * [simplify]: iteration 70: 2419 enodes
36.951 * * [simplify]: iteration 71: 2423 enodes
37.404 * * [simplify]: iteration 72: 2427 enodes
37.892 * * [simplify]: iteration 73: 2431 enodes
38.309 * * [simplify]: iteration 74: 2435 enodes
38.804 * * [simplify]: iteration 75: 2439 enodes
39.293 * * [simplify]: iteration 76: 2443 enodes
39.765 * * [simplify]: iteration 77: 2447 enodes
40.273 * * [simplify]: iteration 78: 2451 enodes
40.792 * * [simplify]: iteration 79: 2455 enodes
41.214 * * [simplify]: iteration 80: 2459 enodes
41.782 * * [simplify]: iteration 81: 2463 enodes
42.256 * * [simplify]: iteration 82: 2467 enodes
42.707 * * [simplify]: iteration 83: 2471 enodes
43.266 * * [simplify]: iteration 84: 2475 enodes
43.880 * * [simplify]: iteration 85: 2479 enodes
44.614 * * [simplify]: iteration 86: 2483 enodes
45.153 * * [simplify]: iteration 87: 2487 enodes
45.768 * * [simplify]: iteration 88: 2491 enodes
46.285 * * [simplify]: iteration 89: 2495 enodes
47.150 * * [simplify]: iteration 90: 2499 enodes
47.704 * * [simplify]: iteration 91: 2503 enodes
48.216 * * [simplify]: iteration 92: 2507 enodes
48.814 * * [simplify]: iteration 93: 2511 enodes
49.402 * * [simplify]: iteration 94: 2515 enodes
49.877 * * [simplify]: iteration 95: 2519 enodes
50.329 * * [simplify]: iteration 96: 2523 enodes
50.987 * * [simplify]: iteration 97: 2527 enodes
51.615 * * [simplify]: iteration 98: 2531 enodes
52.126 * * [simplify]: iteration 99: 2535 enodes
52.554 * * [simplify]: iteration 100: 2539 enodes
53.044 * * [simplify]: iteration 101: 2543 enodes
53.548 * * [simplify]: iteration 102: 2547 enodes
53.977 * * [simplify]: iteration 103: 2551 enodes
54.435 * * [simplify]: iteration 104: 2555 enodes
54.913 * * [simplify]: iteration 105: 2559 enodes
55.401 * * [simplify]: iteration 106: 2563 enodes
55.879 * * [simplify]: iteration 107: 2567 enodes
56.398 * * [simplify]: iteration 108: 2571 enodes
56.899 * * [simplify]: iteration 109: 2575 enodes
57.432 * * [simplify]: iteration 110: 2579 enodes
57.932 * * [simplify]: iteration 111: 2583 enodes
58.576 * * [simplify]: iteration 112: 2587 enodes
59.170 * * [simplify]: iteration 113: 2591 enodes
59.730 * * [simplify]: iteration 114: 2595 enodes
60.275 * * [simplify]: iteration 115: 2599 enodes
60.974 * * [simplify]: iteration 116: 2603 enodes
61.635 * * [simplify]: iteration 117: 2607 enodes
62.169 * * [simplify]: iteration 118: 2611 enodes
62.717 * * [simplify]: iteration 119: 2615 enodes
63.367 * * [simplify]: iteration 120: 2619 enodes
64.041 * * [simplify]: iteration 121: 2623 enodes
64.597 * * [simplify]: iteration 122: 2627 enodes
65.192 * * [simplify]: iteration 123: 2631 enodes
65.747 * * [simplify]: iteration 124: 2635 enodes
66.275 * * [simplify]: iteration 125: 2639 enodes
66.885 * * [simplify]: iteration 126: 2643 enodes
67.413 * * [simplify]: iteration 127: 2647 enodes
67.983 * * [simplify]: iteration 128: 2651 enodes
68.604 * * [simplify]: iteration 129: 2655 enodes
69.195 * * [simplify]: iteration 130: 2659 enodes
69.821 * * [simplify]: iteration 131: 2663 enodes
70.421 * * [simplify]: iteration 132: 2667 enodes
71.036 * * [simplify]: iteration 133: 2671 enodes
71.660 * * [simplify]: iteration 134: 2675 enodes
72.267 * * [simplify]: iteration 135: 2679 enodes
72.787 * * [simplify]: iteration 136: 2683 enodes
73.304 * * [simplify]: iteration 137: 2687 enodes
73.899 * * [simplify]: iteration 138: 2691 enodes
74.561 * * [simplify]: iteration 139: 2695 enodes
75.136 * * [simplify]: iteration 140: 2699 enodes
75.703 * * [simplify]: iteration 141: 2703 enodes
76.166 * * [simplify]: iteration 142: 2707 enodes
76.734 * * [simplify]: iteration 143: 2711 enodes
77.304 * * [simplify]: iteration 144: 2715 enodes
77.926 * * [simplify]: iteration 145: 2719 enodes
78.507 * * [simplify]: iteration 146: 2723 enodes
79.081 * * [simplify]: iteration 147: 2727 enodes
79.563 * * [simplify]: iteration 148: 2731 enodes
80.049 * * [simplify]: iteration 149: 2735 enodes
80.498 * * [simplify]: iteration 150: 2739 enodes
81.020 * * [simplify]: iteration 151: 2743 enodes
81.549 * * [simplify]: iteration 152: 2747 enodes
82.091 * * [simplify]: iteration 153: 2751 enodes
82.562 * * [simplify]: iteration 154: 2755 enodes
83.011 * * [simplify]: iteration 155: 2759 enodes
83.493 * * [simplify]: iteration 156: 2763 enodes
83.970 * * [simplify]: iteration 157: 2767 enodes
84.390 * * [simplify]: iteration 158: 2771 enodes
84.893 * * [simplify]: iteration 159: 2775 enodes
85.356 * * [simplify]: iteration 160: 2779 enodes
85.861 * * [simplify]: iteration 161: 2783 enodes
86.338 * * [simplify]: iteration 162: 2787 enodes
86.779 * * [simplify]: iteration 163: 2791 enodes
87.187 * * [simplify]: iteration 164: 2795 enodes
87.615 * * [simplify]: iteration 165: 2799 enodes
88.051 * * [simplify]: iteration 166: 2803 enodes
88.511 * * [simplify]: iteration 167: 2807 enodes
88.959 * * [simplify]: iteration 168: 2811 enodes
89.763 * * [simplify]: iteration 169: 2815 enodes
90.270 * * [simplify]: iteration 170: 2819 enodes
90.684 * * [simplify]: iteration 171: 2823 enodes
91.160 * * [simplify]: iteration 172: 2827 enodes
91.683 * * [simplify]: iteration 173: 2831 enodes
92.104 * * [simplify]: iteration 174: 2835 enodes
92.564 * * [simplify]: iteration 175: 2839 enodes
93.072 * * [simplify]: iteration 176: 2843 enodes
93.568 * * [simplify]: iteration 177: 2847 enodes
94.042 * * [simplify]: iteration 178: 2851 enodes
94.490 * * [simplify]: iteration 179: 2855 enodes
94.938 * * [simplify]: iteration 180: 2859 enodes
95.423 * * [simplify]: iteration 181: 2863 enodes
95.900 * * [simplify]: iteration 182: 2867 enodes
96.409 * * [simplify]: iteration 183: 2871 enodes
96.880 * * [simplify]: iteration 184: 2875 enodes
97.330 * * [simplify]: iteration 185: 2879 enodes
97.709 * * [simplify]: iteration 186: 2883 enodes
98.087 * * [simplify]: iteration 187: 2887 enodes
98.468 * * [simplify]: iteration 188: 2891 enodes
98.839 * * [simplify]: iteration 189: 2895 enodes
99.210 * * [simplify]: iteration 190: 2899 enodes
99.580 * * [simplify]: iteration 191: 2903 enodes
99.951 * * [simplify]: iteration 192: 2907 enodes
100.322 * * [simplify]: iteration 193: 2911 enodes
100.692 * * [simplify]: iteration 194: 2915 enodes
101.062 * * [simplify]: iteration 195: 2919 enodes
101.432 * * [simplify]: iteration 196: 2923 enodes
101.803 * * [simplify]: iteration 197: 2927 enodes
102.172 * * [simplify]: iteration 198: 2931 enodes
102.534 * * [simplify]: iteration 199: 2935 enodes
102.895 * * [simplify]: iteration 200: 2939 enodes
103.257 * * [simplify]: iteration 201: 2943 enodes
103.618 * * [simplify]: iteration 202: 2947 enodes
103.980 * * [simplify]: iteration 203: 2951 enodes
104.342 * * [simplify]: iteration 204: 2955 enodes
104.703 * * [simplify]: iteration 205: 2959 enodes
105.065 * * [simplify]: iteration 206: 2963 enodes
105.427 * * [simplify]: iteration 207: 2967 enodes
105.789 * * [simplify]: iteration 208: 2971 enodes
106.151 * * [simplify]: iteration 209: 2975 enodes
106.512 * * [simplify]: iteration 210: 2979 enodes
106.873 * * [simplify]: iteration 211: 2983 enodes
107.236 * * [simplify]: iteration 212: 2987 enodes
107.597 * * [simplify]: iteration 213: 2991 enodes
107.959 * * [simplify]: iteration 214: 2995 enodes
108.320 * * [simplify]: iteration 215: 2999 enodes
108.680 * * [simplify]: iteration 216: 3003 enodes
109.042 * * [simplify]: iteration 217: 3007 enodes
109.403 * * [simplify]: iteration 218: 3011 enodes
109.765 * * [simplify]: iteration 219: 3015 enodes
110.127 * * [simplify]: iteration 220: 3019 enodes
110.489 * * [simplify]: iteration 221: 3023 enodes
110.851 * * [simplify]: iteration 222: 3027 enodes
111.213 * * [simplify]: iteration 223: 3031 enodes
111.575 * * [simplify]: iteration 224: 3035 enodes
111.938 * * [simplify]: iteration 225: 3039 enodes
112.301 * * [simplify]: iteration 226: 3043 enodes
112.664 * * [simplify]: iteration 227: 3047 enodes
113.026 * * [simplify]: iteration 228: 3051 enodes
113.389 * * [simplify]: iteration 229: 3055 enodes
113.756 * * [simplify]: iteration 230: 3059 enodes
114.118 * * [simplify]: iteration 231: 3063 enodes
114.480 * * [simplify]: iteration 232: 3067 enodes
114.843 * * [simplify]: iteration 233: 3071 enodes
115.205 * * [simplify]: iteration 234: 3075 enodes
115.568 * * [simplify]: iteration 235: 3079 enodes
115.931 * * [simplify]: iteration 236: 3083 enodes
116.303 * * [simplify]: iteration 237: 3087 enodes
116.673 * * [simplify]: iteration 238: 3091 enodes
117.043 * * [simplify]: iteration 239: 3095 enodes
117.413 * * [simplify]: iteration 240: 3099 enodes
117.780 * * [simplify]: iteration 241: 3103 enodes
118.146 * * [simplify]: iteration 242: 3107 enodes
118.514 * * [simplify]: iteration 243: 3111 enodes
118.879 * * [simplify]: iteration 244: 3115 enodes
119.244 * * [simplify]: iteration 245: 3119 enodes
119.608 * * [simplify]: iteration 246: 3123 enodes
119.972 * * [simplify]: iteration 247: 3127 enodes
120.569 * * [simplify]: iteration 248: 3131 enodes
120.935 * * [simplify]: iteration 249: 3135 enodes
121.300 * * [simplify]: iteration 250: 3139 enodes
121.666 * * [simplify]: iteration 251: 3143 enodes
122.031 * * [simplify]: iteration 252: 3147 enodes
122.398 * * [simplify]: iteration 253: 3151 enodes
122.762 * * [simplify]: iteration 254: 3155 enodes
123.125 * * [simplify]: iteration 255: 3159 enodes
123.518 * * [simplify]: iteration 256: 3163 enodes
123.913 * * [simplify]: iteration 257: 3167 enodes
124.315 * * [simplify]: iteration 258: 3171 enodes
124.712 * * [simplify]: iteration 259: 3175 enodes
125.106 * * [simplify]: iteration 260: 3179 enodes
125.503 * * [simplify]: iteration 261: 3183 enodes
125.897 * * [simplify]: iteration 262: 3187 enodes
126.294 * * [simplify]: iteration 263: 3191 enodes
126.678 * * [simplify]: iteration 264: 3195 enodes
127.059 * * [simplify]: iteration 265: 3199 enodes
127.442 * * [simplify]: iteration 266: 3203 enodes
127.825 * * [simplify]: iteration 267: 3207 enodes
128.210 * * [simplify]: iteration 268: 3211 enodes
128.594 * * [simplify]: iteration 269: 3215 enodes
128.975 * * [simplify]: iteration 270: 3219 enodes
129.357 * * [simplify]: iteration 271: 3223 enodes
129.740 * * [simplify]: iteration 272: 3227 enodes
130.122 * * [simplify]: iteration 273: 3231 enodes
130.504 * * [simplify]: iteration 274: 3235 enodes
130.888 * * [simplify]: iteration 275: 3239 enodes
131.270 * * [simplify]: iteration 276: 3243 enodes
131.651 * * [simplify]: iteration 277: 3247 enodes
132.033 * * [simplify]: iteration 278: 3251 enodes
132.415 * * [simplify]: iteration 279: 3255 enodes
132.798 * * [simplify]: iteration 280: 3259 enodes
133.181 * * [simplify]: iteration 281: 3263 enodes
133.565 * * [simplify]: iteration 282: 3267 enodes
133.947 * * [simplify]: iteration 283: 3271 enodes
134.330 * * [simplify]: iteration 284: 3275 enodes
134.703 * * [simplify]: iteration 285: 3279 enodes
135.066 * * [simplify]: iteration 286: 3283 enodes
135.433 * * [simplify]: iteration 287: 3287 enodes
135.801 * * [simplify]: iteration 288: 3291 enodes
136.168 * * [simplify]: iteration 289: 3295 enodes
136.535 * * [simplify]: iteration 290: 3299 enodes
136.902 * * [simplify]: iteration 291: 3303 enodes
137.270 * * [simplify]: iteration 292: 3307 enodes
137.637 * * [simplify]: iteration 293: 3311 enodes
138.005 * * [simplify]: iteration 294: 3315 enodes
138.372 * * [simplify]: iteration 295: 3319 enodes
138.738 * * [simplify]: iteration 296: 3323 enodes
139.106 * * [simplify]: iteration 297: 3327 enodes
139.474 * * [simplify]: iteration 298: 3331 enodes
139.842 * * [simplify]: iteration 299: 3335 enodes
140.211 * * [simplify]: iteration 300: 3339 enodes
140.579 * * [simplify]: iteration 301: 3343 enodes
140.947 * * [simplify]: iteration 302: 3347 enodes
141.316 * * [simplify]: iteration 303: 3351 enodes
141.684 * * [simplify]: iteration 304: 3355 enodes
142.053 * * [simplify]: iteration 305: 3359 enodes
142.420 * * [simplify]: iteration 306: 3363 enodes
142.787 * * [simplify]: iteration 307: 3367 enodes
143.156 * * [simplify]: iteration 308: 3371 enodes
143.523 * * [simplify]: iteration 309: 3375 enodes
143.890 * * [simplify]: iteration 310: 3379 enodes
144.258 * * [simplify]: iteration 311: 3383 enodes
144.625 * * [simplify]: iteration 312: 3387 enodes
144.991 * * [simplify]: iteration 313: 3391 enodes
145.358 * * [simplify]: iteration 314: 3395 enodes
145.726 * * [simplify]: iteration 315: 3399 enodes
146.093 * * [simplify]: iteration 316: 3403 enodes
146.459 * * [simplify]: iteration 317: 3407 enodes
146.826 * * [simplify]: iteration 318: 3411 enodes
147.193 * * [simplify]: iteration 319: 3415 enodes
147.560 * * [simplify]: iteration 320: 3419 enodes
147.930 * * [simplify]: iteration 321: 3423 enodes
148.296 * * [simplify]: iteration 322: 3427 enodes
148.662 * * [simplify]: iteration 323: 3431 enodes
149.024 * * [simplify]: iteration 324: 3435 enodes
149.386 * * [simplify]: iteration 325: 3439 enodes
149.749 * * [simplify]: iteration 326: 3443 enodes
150.115 * * [simplify]: iteration 327: 3447 enodes
150.711 * * [simplify]: iteration 328: 3451 enodes
151.074 * * [simplify]: iteration 329: 3455 enodes
151.437 * * [simplify]: iteration 330: 3459 enodes
151.800 * * [simplify]: iteration 331: 3463 enodes
152.162 * * [simplify]: iteration 332: 3467 enodes
152.526 * * [simplify]: iteration 333: 3471 enodes
152.889 * * [simplify]: iteration 334: 3475 enodes
153.254 * * [simplify]: iteration 335: 3479 enodes
153.619 * * [simplify]: iteration 336: 3483 enodes
153.985 * * [simplify]: iteration 337: 3487 enodes
154.351 * * [simplify]: iteration 338: 3491 enodes
154.716 * * [simplify]: iteration 339: 3495 enodes
155.079 * * [simplify]: iteration 340: 3499 enodes
155.445 * * [simplify]: iteration 341: 3503 enodes
155.810 * * [simplify]: iteration 342: 3507 enodes
156.177 * * [simplify]: iteration 343: 3511 enodes
156.543 * * [simplify]: iteration 344: 3515 enodes
156.907 * * [simplify]: iteration 345: 3519 enodes
157.272 * * [simplify]: iteration 346: 3523 enodes
157.636 * * [simplify]: iteration 347: 3527 enodes
158.000 * * [simplify]: iteration 348: 3531 enodes
158.366 * * [simplify]: iteration 349: 3535 enodes
158.731 * * [simplify]: iteration 350: 3539 enodes
159.095 * * [simplify]: iteration 351: 3543 enodes
159.459 * * [simplify]: iteration 352: 3547 enodes
159.824 * * [simplify]: iteration 353: 3551 enodes
160.187 * * [simplify]: iteration 354: 3555 enodes
160.549 * * [simplify]: iteration 355: 3559 enodes
160.912 * * [simplify]: iteration 356: 3563 enodes
161.278 * * [simplify]: iteration 357: 3567 enodes
161.645 * * [simplify]: iteration 358: 3571 enodes
162.011 * * [simplify]: iteration 359: 3575 enodes
162.376 * * [simplify]: iteration 360: 3579 enodes
162.740 * * [simplify]: iteration 361: 3583 enodes
163.102 * * [simplify]: iteration 362: 3587 enodes
163.463 * * [simplify]: iteration 363: 3591 enodes
163.825 * * [simplify]: iteration 364: 3595 enodes
164.190 * * [simplify]: iteration 365: 3599 enodes
164.556 * * [simplify]: iteration 366: 3603 enodes
164.923 * * [simplify]: iteration 367: 3607 enodes
165.289 * * [simplify]: iteration 368: 3611 enodes
165.655 * * [simplify]: iteration 369: 3615 enodes
166.020 * * [simplify]: iteration 370: 3619 enodes
166.385 * * [simplify]: iteration 371: 3623 enodes
166.750 * * [simplify]: iteration 372: 3627 enodes
167.114 * * [simplify]: iteration 373: 3631 enodes
167.480 * * [simplify]: iteration 374: 3635 enodes
167.845 * * [simplify]: iteration 375: 3639 enodes
168.210 * * [simplify]: iteration 376: 3643 enodes
168.575 * * [simplify]: iteration 377: 3647 enodes
168.939 * * [simplify]: iteration 378: 3651 enodes
169.304 * * [simplify]: iteration 379: 3655 enodes
169.669 * * [simplify]: iteration 380: 3659 enodes
170.155 * * [simplify]: iteration 381: 3663 enodes
170.522 * * [simplify]: iteration 382: 3667 enodes
170.887 * * [simplify]: iteration 383: 3671 enodes
171.250 * * [simplify]: iteration 384: 3675 enodes
171.614 * * [simplify]: iteration 385: 3679 enodes
171.978 * * [simplify]: iteration 386: 3683 enodes
172.341 * * [simplify]: iteration 387: 3687 enodes
172.705 * * [simplify]: iteration 388: 3691 enodes
173.069 * * [simplify]: iteration 389: 3695 enodes
173.434 * * [simplify]: iteration 390: 3699 enodes
173.837 * * [simplify]: iteration 391: 3703 enodes
174.215 * * [simplify]: iteration 392: 3707 enodes
174.576 * * [simplify]: iteration 393: 3711 enodes
174.937 * * [simplify]: iteration 394: 3715 enodes
175.299 * * [simplify]: iteration 395: 3719 enodes
175.660 * * [simplify]: iteration 396: 3723 enodes
176.185 * * [simplify]: iteration 397: 3727 enodes
176.547 * * [simplify]: iteration 398: 3731 enodes
176.910 * * [simplify]: iteration 399: 3735 enodes
177.274 * * [simplify]: iteration 400: 3739 enodes
177.638 * * [simplify]: iteration 401: 3743 enodes
178.000 * * [simplify]: iteration 402: 3747 enodes
178.363 * * [simplify]: iteration 403: 3751 enodes
178.725 * * [simplify]: iteration 404: 3755 enodes
179.087 * * [simplify]: iteration 405: 3759 enodes
179.452 * * [simplify]: iteration 406: 3763 enodes
180.046 * * [simplify]: iteration 407: 3767 enodes
180.411 * * [simplify]: iteration 408: 3771 enodes
180.774 * * [simplify]: iteration 409: 3775 enodes
181.137 * * [simplify]: iteration 410: 3779 enodes
181.500 * * [simplify]: iteration 411: 3783 enodes
181.862 * * [simplify]: iteration 412: 3787 enodes
182.225 * * [simplify]: iteration 413: 3791 enodes
182.588 * * [simplify]: iteration 414: 3795 enodes
182.951 * * [simplify]: iteration 415: 3799 enodes
183.313 * * [simplify]: iteration 416: 3803 enodes
183.676 * * [simplify]: iteration 417: 3807 enodes
184.038 * * [simplify]: iteration 418: 3811 enodes
184.401 * * [simplify]: iteration 419: 3815 enodes
184.764 * * [simplify]: iteration 420: 3819 enodes
185.126 * * [simplify]: iteration 421: 3823 enodes
185.489 * * [simplify]: iteration 422: 3827 enodes
185.852 * * [simplify]: iteration 423: 3831 enodes
186.215 * * [simplify]: iteration 424: 3835 enodes
186.578 * * [simplify]: iteration 425: 3839 enodes
186.941 * * [simplify]: iteration 426: 3843 enodes
187.304 * * [simplify]: iteration 427: 3847 enodes
187.668 * * [simplify]: iteration 428: 3851 enodes
188.031 * * [simplify]: iteration 429: 3855 enodes
188.396 * * [simplify]: iteration 430: 3859 enodes
188.760 * * [simplify]: iteration 431: 3863 enodes
189.124 * * [simplify]: iteration 432: 3867 enodes
189.488 * * [simplify]: iteration 433: 3871 enodes
189.851 * * [simplify]: iteration 434: 3875 enodes
190.215 * * [simplify]: iteration 435: 3879 enodes
190.578 * * [simplify]: iteration 436: 3883 enodes
190.943 * * [simplify]: iteration 437: 3887 enodes
191.308 * * [simplify]: iteration 438: 3891 enodes
191.673 * * [simplify]: iteration 439: 3895 enodes
192.038 * * [simplify]: iteration 440: 3899 enodes
192.402 * * [simplify]: iteration 441: 3903 enodes
192.765 * * [simplify]: iteration 442: 3907 enodes
193.129 * * [simplify]: iteration 443: 3911 enodes
193.503 * * [simplify]: iteration 444: 3915 enodes
193.875 * * [simplify]: iteration 445: 3919 enodes
194.248 * * [simplify]: iteration 446: 3923 enodes
194.618 * * [simplify]: iteration 447: 3927 enodes
194.989 * * [simplify]: iteration 448: 3931 enodes
195.364 * * [simplify]: iteration 449: 3935 enodes
195.734 * * [simplify]: iteration 450: 3939 enodes
196.108 * * [simplify]: iteration 451: 3943 enodes
196.474 * * [simplify]: iteration 452: 3947 enodes
196.848 * * [simplify]: iteration 453: 3951 enodes
197.222 * * [simplify]: iteration 454: 3955 enodes
197.594 * * [simplify]: iteration 455: 3959 enodes
197.969 * * [simplify]: iteration 456: 3963 enodes
198.340 * * [simplify]: iteration 457: 3967 enodes
198.715 * * [simplify]: iteration 458: 3971 enodes
199.080 * * [simplify]: iteration 459: 3975 enodes
199.443 * * [simplify]: iteration 460: 3979 enodes
199.840 * * [simplify]: iteration 461: 3983 enodes
200.331 * * [simplify]: iteration 462: 3987 enodes
200.693 * * [simplify]: iteration 463: 3991 enodes
201.055 * * [simplify]: iteration 464: 3995 enodes
201.418 * * [simplify]: iteration 465: 3999 enodes
201.783 * * [simplify]: iteration 466: 4003 enodes
202.148 * * [simplify]: iteration 467: 4007 enodes
202.513 * * [simplify]: iteration 468: 4011 enodes
202.879 * * [simplify]: iteration 469: 4015 enodes
203.259 * * [simplify]: iteration 470: 4019 enodes
203.635 * * [simplify]: iteration 471: 4023 enodes
204.013 * * [simplify]: iteration 472: 4027 enodes
204.383 * * [simplify]: iteration 473: 4031 enodes
204.781 * * [simplify]: iteration 474: 4035 enodes
205.177 * * [simplify]: iteration 475: 4039 enodes
205.577 * * [simplify]: iteration 476: 4043 enodes
205.980 * * [simplify]: iteration 477: 4047 enodes
206.380 * * [simplify]: iteration 478: 4051 enodes
206.778 * * [simplify]: iteration 479: 4055 enodes
207.182 * * [simplify]: iteration 480: 4059 enodes
207.568 * * [simplify]: iteration 481: 4063 enodes
207.952 * * [simplify]: iteration 482: 4067 enodes
208.338 * * [simplify]: iteration 483: 4071 enodes
208.724 * * [simplify]: iteration 484: 4075 enodes
209.112 * * [simplify]: iteration 485: 4079 enodes
209.499 * * [simplify]: iteration 486: 4083 enodes
210.182 * * [simplify]: iteration 487: 4087 enodes
210.570 * * [simplify]: iteration 488: 4091 enodes
210.957 * * [simplify]: iteration 489: 4095 enodes
211.345 * * [simplify]: iteration 490: 4099 enodes
211.733 * * [simplify]: iteration 491: 4103 enodes
212.121 * * [simplify]: iteration 492: 4107 enodes
212.509 * * [simplify]: iteration 493: 4111 enodes
212.895 * * [simplify]: iteration 494: 4115 enodes
213.284 * * [simplify]: iteration 495: 4119 enodes
213.664 * * [simplify]: iteration 496: 4123 enodes
214.051 * * [simplify]: iteration 497: 4127 enodes
214.435 * * [simplify]: iteration 498: 4131 enodes
214.811 * * [simplify]: iteration 499: 4135 enodes
215.208 * * [simplify]: iteration 500: 4139 enodes
215.595 * * [simplify]: iteration 501: 4143 enodes
215.976 * * [simplify]: iteration 502: 4147 enodes
216.353 * * [simplify]: iteration 503: 4151 enodes
216.719 * * [simplify]: iteration 504: 4155 enodes
217.107 * * [simplify]: iteration 505: 4159 enodes
217.493 * * [simplify]: iteration 506: 4163 enodes
217.878 * * [simplify]: iteration 507: 4167 enodes
218.252 * * [simplify]: iteration 508: 4171 enodes
218.615 * * [simplify]: iteration 509: 4175 enodes
218.978 * * [simplify]: iteration 510: 4179 enodes
219.343 * * [simplify]: iteration 511: 4183 enodes
219.709 * * [simplify]: iteration 512: 4187 enodes
220.075 * * [simplify]: iteration 513: 4191 enodes
220.441 * * [simplify]: iteration 514: 4195 enodes
220.807 * * [simplify]: iteration 515: 4199 enodes
221.173 * * [simplify]: iteration 516: 4203 enodes
221.540 * * [simplify]: iteration 517: 4207 enodes
221.907 * * [simplify]: iteration 518: 4211 enodes
222.274 * * [simplify]: iteration 519: 4215 enodes
222.640 * * [simplify]: iteration 520: 4219 enodes
223.006 * * [simplify]: iteration 521: 4223 enodes
223.371 * * [simplify]: iteration 522: 4227 enodes
223.735 * * [simplify]: iteration 523: 4231 enodes
224.098 * * [simplify]: iteration 524: 4235 enodes
224.462 * * [simplify]: iteration 525: 4239 enodes
224.826 * * [simplify]: iteration 526: 4243 enodes
225.190 * * [simplify]: iteration 527: 4247 enodes
225.554 * * [simplify]: iteration 528: 4251 enodes
225.954 * * [simplify]: iteration 529: 4255 enodes
226.397 * * [simplify]: iteration 530: 4259 enodes
226.760 * * [simplify]: iteration 531: 4263 enodes
227.123 * * [simplify]: iteration 532: 4267 enodes
227.487 * * [simplify]: iteration 533: 4271 enodes
227.916 * * [simplify]: iteration 534: 4275 enodes
228.375 * * [simplify]: iteration 535: 4279 enodes
228.739 * * [simplify]: iteration 536: 4283 enodes
229.102 * * [simplify]: iteration 537: 4287 enodes
229.465 * * [simplify]: iteration 538: 4291 enodes
229.830 * * [simplify]: iteration 539: 4295 enodes
230.193 * * [simplify]: iteration 540: 4299 enodes
230.556 * * [simplify]: iteration 541: 4303 enodes
230.918 * * [simplify]: iteration 542: 4307 enodes
231.280 * * [simplify]: iteration 543: 4311 enodes
231.643 * * [simplify]: iteration 544: 4315 enodes
232.006 * * [simplify]: iteration 545: 4319 enodes
232.368 * * [simplify]: iteration 546: 4323 enodes
232.731 * * [simplify]: iteration 547: 4327 enodes
233.094 * * [simplify]: iteration 548: 4331 enodes
233.460 * * [simplify]: iteration 549: 4335 enodes
233.824 * * [simplify]: iteration 550: 4339 enodes
234.187 * * [simplify]: iteration 551: 4343 enodes
234.551 * * [simplify]: iteration 552: 4347 enodes
234.918 * * [simplify]: iteration 553: 4351 enodes
235.283 * * [simplify]: iteration 554: 4355 enodes
235.648 * * [simplify]: iteration 555: 4359 enodes
236.012 * * [simplify]: iteration 556: 4363 enodes
236.380 * * [simplify]: iteration 557: 4367 enodes
236.747 * * [simplify]: iteration 558: 4371 enodes
237.111 * * [simplify]: iteration 559: 4375 enodes
237.477 * * [simplify]: iteration 560: 4379 enodes
237.844 * * [simplify]: iteration 561: 4383 enodes
238.211 * * [simplify]: iteration 562: 4387 enodes
238.577 * * [simplify]: iteration 563: 4391 enodes
238.942 * * [simplify]: iteration 564: 4395 enodes
239.308 * * [simplify]: iteration 565: 4399 enodes
239.675 * * [simplify]: iteration 566: 4403 enodes
240.276 * * [simplify]: iteration 567: 4407 enodes
240.640 * * [simplify]: iteration 568: 4411 enodes
241.003 * * [simplify]: iteration 569: 4415 enodes
241.367 * * [simplify]: iteration 570: 4419 enodes
241.730 * * [simplify]: iteration 571: 4423 enodes
242.092 * * [simplify]: iteration 572: 4427 enodes
242.456 * * [simplify]: iteration 573: 4431 enodes
242.819 * * [simplify]: iteration 574: 4435 enodes
243.182 * * [simplify]: iteration 575: 4439 enodes
243.545 * * [simplify]: iteration 576: 4443 enodes
243.907 * * [simplify]: iteration 577: 4447 enodes
244.269 * * [simplify]: iteration 578: 4451 enodes
244.633 * * [simplify]: iteration 579: 4455 enodes
244.996 * * [simplify]: iteration 580: 4459 enodes
245.359 * * [simplify]: iteration 581: 4463 enodes
245.722 * * [simplify]: iteration 582: 4467 enodes
246.084 * * [simplify]: iteration 583: 4471 enodes
246.447 * * [simplify]: iteration 584: 4475 enodes
246.809 * * [simplify]: iteration 585: 4479 enodes
247.172 * * [simplify]: iteration 586: 4483 enodes
247.535 * * [simplify]: iteration 587: 4487 enodes
247.899 * * [simplify]: iteration 588: 4491 enodes
248.264 * * [simplify]: iteration 589: 4495 enodes
248.628 * * [simplify]: iteration 590: 4499 enodes
248.991 * * [simplify]: iteration 591: 4503 enodes
249.354 * * [simplify]: iteration 592: 4507 enodes
249.717 * * [simplify]: iteration 593: 4511 enodes
250.081 * * [simplify]: iteration 594: 4515 enodes
250.445 * * [simplify]: iteration 595: 4519 enodes
250.808 * * [simplify]: iteration 596: 4523 enodes
251.174 * * [simplify]: iteration 597: 4527 enodes
251.541 * * [simplify]: iteration 598: 4531 enodes
251.905 * * [simplify]: iteration 599: 4535 enodes
252.268 * * [simplify]: iteration 600: 4539 enodes
252.631 * * [simplify]: iteration 601: 4543 enodes
252.995 * * [simplify]: iteration 602: 4547 enodes
253.362 * * [simplify]: iteration 603: 4551 enodes
253.726 * * [simplify]: iteration 604: 4555 enodes
254.089 * * [simplify]: iteration 605: 4559 enodes
254.453 * * [simplify]: iteration 606: 4563 enodes
254.816 * * [simplify]: iteration 607: 4567 enodes
255.179 * * [simplify]: iteration 608: 4571 enodes
255.544 * * [simplify]: iteration 609: 4575 enodes
255.910 * * [simplify]: iteration 610: 4579 enodes
256.277 * * [simplify]: iteration 611: 4583 enodes
256.641 * * [simplify]: iteration 612: 4587 enodes
257.006 * * [simplify]: iteration 613: 4591 enodes
257.373 * * [simplify]: iteration 614: 4595 enodes
257.740 * * [simplify]: iteration 615: 4599 enodes
258.364 * * [simplify]: iteration 616: 4603 enodes
258.988 * * [simplify]: iteration 617: 4607 enodes
259.612 * * [simplify]: iteration 618: 4611 enodes
260.202 * * [simplify]: iteration 619: 4615 enodes
260.568 * * [simplify]: iteration 620: 4619 enodes
260.932 * * [simplify]: iteration 621: 4623 enodes
261.295 * * [simplify]: iteration 622: 4627 enodes
261.658 * * [simplify]: iteration 623: 4631 enodes
262.021 * * [simplify]: iteration 624: 4635 enodes
262.384 * * [simplify]: iteration 625: 4639 enodes
262.747 * * [simplify]: iteration 626: 4643 enodes
263.111 * * [simplify]: iteration 627: 4647 enodes
263.476 * * [simplify]: iteration 628: 4651 enodes
263.840 * * [simplify]: iteration 629: 4655 enodes
264.204 * * [simplify]: iteration 630: 4659 enodes
264.568 * * [simplify]: iteration 631: 4663 enodes
264.931 * * [simplify]: iteration 632: 4667 enodes
265.295 * * [simplify]: iteration 633: 4671 enodes
265.659 * * [simplify]: iteration 634: 4675 enodes
266.023 * * [simplify]: iteration 635: 4679 enodes
266.390 * * [simplify]: iteration 636: 4683 enodes
266.756 * * [simplify]: iteration 637: 4687 enodes
267.123 * * [simplify]: iteration 638: 4691 enodes
267.490 * * [simplify]: iteration 639: 4695 enodes
267.856 * * [simplify]: iteration 640: 4699 enodes
268.222 * * [simplify]: iteration 641: 4703 enodes
268.588 * * [simplify]: iteration 642: 4707 enodes
268.954 * * [simplify]: iteration 643: 4711 enodes
269.322 * * [simplify]: iteration 644: 4715 enodes
269.690 * * [simplify]: iteration 645: 4719 enodes
270.057 * * [simplify]: iteration 646: 4723 enodes
270.663 * * [simplify]: iteration 647: 4727 enodes
271.027 * * [simplify]: iteration 648: 4731 enodes
271.391 * * [simplify]: iteration 649: 4735 enodes
271.755 * * [simplify]: iteration 650: 4739 enodes
272.121 * * [simplify]: iteration 651: 4743 enodes
272.486 * * [simplify]: iteration 652: 4747 enodes
272.849 * * [simplify]: iteration 653: 4751 enodes
273.212 * * [simplify]: iteration 654: 4755 enodes
273.574 * * [simplify]: iteration 655: 4759 enodes
273.937 * * [simplify]: iteration 656: 4763 enodes
274.299 * * [simplify]: iteration 657: 4767 enodes
274.662 * * [simplify]: iteration 658: 4771 enodes
275.028 * * [simplify]: iteration 659: 4775 enodes
275.394 * * [simplify]: iteration 660: 4779 enodes
275.757 * * [simplify]: iteration 661: 4783 enodes
276.119 * * [simplify]: iteration 662: 4787 enodes
276.481 * * [simplify]: iteration 663: 4791 enodes
276.843 * * [simplify]: iteration 664: 4795 enodes
277.209 * * [simplify]: iteration 665: 4799 enodes
277.574 * * [simplify]: iteration 666: 4803 enodes
277.942 * * [simplify]: iteration 667: 4807 enodes
278.311 * * [simplify]: iteration 668: 4811 enodes
278.679 * * [simplify]: iteration 669: 4815 enodes
279.047 * * [simplify]: iteration 670: 4819 enodes
279.411 * * [simplify]: iteration 671: 4823 enodes
279.787 * * [simplify]: iteration 672: 4827 enodes
280.411 * * [simplify]: iteration 673: 4831 enodes
281.036 * * [simplify]: iteration 674: 4835 enodes
281.465 * * [simplify]: iteration 675: 4839 enodes
281.830 * * [simplify]: iteration 676: 4843 enodes
282.209 * * [simplify]: iteration 677: 4847 enodes
282.576 * * [simplify]: iteration 678: 4851 enodes
282.940 * * [simplify]: iteration 679: 4855 enodes
283.305 * * [simplify]: iteration 680: 4859 enodes
283.669 * * [simplify]: iteration 681: 4863 enodes
284.034 * * [simplify]: iteration 682: 4867 enodes
284.398 * * [simplify]: iteration 683: 4871 enodes
284.762 * * [simplify]: iteration 684: 4875 enodes
285.127 * * [simplify]: iteration 685: 4879 enodes
285.491 * * [simplify]: iteration 686: 4883 enodes
285.855 * * [simplify]: iteration 687: 4887 enodes
286.219 * * [simplify]: iteration 688: 4891 enodes
286.583 * * [simplify]: iteration 689: 4895 enodes
286.947 * * [simplify]: iteration 690: 4899 enodes
287.311 * * [simplify]: iteration 691: 4903 enodes
287.674 * * [simplify]: iteration 692: 4907 enodes
288.038 * * [simplify]: iteration 693: 4911 enodes
288.401 * * [simplify]: iteration 694: 4915 enodes
288.765 * * [simplify]: iteration 695: 4919 enodes
289.128 * * [simplify]: iteration 696: 4923 enodes
289.491 * * [simplify]: iteration 697: 4927 enodes
289.854 * * [simplify]: iteration 698: 4931 enodes
290.219 * * [simplify]: iteration 699: 4935 enodes
290.582 * * [simplify]: iteration 700: 4939 enodes
290.944 * * [simplify]: iteration 701: 4943 enodes
291.307 * * [simplify]: iteration 702: 4947 enodes
291.669 * * [simplify]: iteration 703: 4951 enodes
292.034 * * [simplify]: iteration 704: 4955 enodes
292.401 * * [simplify]: iteration 705: 4959 enodes
292.766 * * [simplify]: iteration 706: 4963 enodes
293.132 * * [simplify]: iteration 707: 4967 enodes
293.500 * * [simplify]: iteration 708: 4971 enodes
293.866 * * [simplify]: iteration 709: 4975 enodes
294.233 * * [simplify]: iteration 710: 4979 enodes
294.599 * * [simplify]: iteration 711: 4983 enodes
294.966 * * [simplify]: iteration 712: 4987 enodes
295.333 * * [simplify]: iteration 713: 4991 enodes
295.700 * * [simplify]: iteration 714: 4995 enodes
296.068 * * [simplify]: iteration 715: 4999 enodes
296.395 * * [simplify]: iteration complete: 5000 enodes
296.395 * * [simplify]: Extracting #0: cost 1 inf + 0
296.396 * * [simplify]: Extracting #1: cost 60 inf + 0
296.396 * * [simplify]: Extracting #2: cost 71 inf + 10
296.397 * * [simplify]: Extracting #3: cost 24 inf + 315
296.398 * * [simplify]: Extracting #4: cost 3 inf + 468
296.399 * * [simplify]: Extracting #5: cost 0 inf + 497
296.400 * [simplify]: Simplified to:
  (* (fma 2 1.0 (/ 1.0 9.0)) (/ 1.0 (/ 9.0 2.0)))
296.403 * * [progress]: iteration 1 / 4
296.403 * * * [progress]: picking best candidate
296.405 * * * * [pick]: Picked  #<alt (λ () (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0))))>
296.405 * * * [progress]: localizing error
296.418 * * * [progress]: generating rewritten candidates
296.418 * * * [progress]: generating series expansions
296.418 * * * [progress]: simplifying candidates
296.419 * [simplify]: Simplifying:
  
296.419 * * [simplify]: iteration 0: 0 enodes
296.419 * * [simplify]: iteration complete: 0 enodes
296.419 * * [simplify]: Extracting #0: cost 0 inf + 0
296.419 * [simplify]: Simplified to:
  
296.419 * * * [progress]: adding candidates to table
296.419 * [progress]: [Phase 3 of 3] Extracting.
296.422 * [simplify]: Simplifying:
  (* 2.0 (+ (+ (* 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) (/ 1.0 9.0))) (* (/ 1.0 9.0) 1.0)))
296.422 * * [simplify]: iteration 0: 10 enodes
296.423 * * [simplify]: iteration 1: 13 enodes
296.423 * * [simplify]: iteration 2: 15 enodes
296.424 * * [simplify]: iteration 3: 17 enodes
296.424 * * [simplify]: iteration complete: 17 enodes
296.425 * * [simplify]: Extracting #0: cost 1 inf + 0
296.425 * * [simplify]: Extracting #1: cost 3 inf + 0
296.425 * * [simplify]: Extracting #2: cost 4 inf + 1
296.425 * * [simplify]: Extracting #3: cost 7 inf + 1
296.425 * * [simplify]: Extracting #4: cost 7 inf + 2
296.425 * * [simplify]: Extracting #5: cost 0 inf + 71
296.425 * [simplify]: Simplified to:
  (* 2.0 (+ (+ (* (/ 1.0 9.0) (/ 1.0 9.0)) (* (/ 1.0 9.0) 1.0)) (* (/ 1.0 9.0) 1.0)))
297.165 * [regime-testing]: Baseline error score: 0
297.173 * [regime-testing]: Oracle error score: 0
297.173 * [regime-testing]: End program error score: 0
297.222 * [regime-testing]: Target error score: 0