8.657 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [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.033 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.033 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.033 * * [simplify]: Extracting # 2 : cost  4  inf +  1
0.033 * * [simplify]: Extracting # 3 : cost  8  inf +  1
0.034 * * [simplify]: Extracting # 4 : cost  8  inf +  2
0.034 * * [simplify]: Extracting # 5 : cost  0  inf +  978
0.034 * * [simplify]: iteration  0 :  10  enodes  (cost  283 )
0.039 * * [simplify]: Extracting # 0 : cost  0  inf +  978
0.039 * * [simplify]: Extracting # 1 : cost  6  inf +  821
0.040 * * [simplify]: Extracting # 2 : cost  0  inf +  1471
0.040 * * [simplify]: iteration  1 :  27  enodes  (cost  243 )
0.061 * * [simplify]: Extracting # 0 : cost  0  inf +  1471
0.062 * * [simplify]: Extracting # 1 : cost  23  inf +  1421
0.063 * * [simplify]: Extracting # 2 : cost  0  inf +  3845
0.065 * * [simplify]: iteration  2 :  102  enodes  (cost  203 )
0.105 * * [simplify]: Extracting # 0 : cost  0  inf +  3845
0.107 * * [simplify]: Extracting # 1 : cost  25  inf +  2089
0.108 * * [simplify]: Extracting # 2 : cost  0  inf +  5469
0.110 * * [simplify]: iteration  3 :  284  enodes  (cost  203 )
0.189 * * [simplify]: Extracting # 0 : cost  0  inf +  5469
0.195 * * [simplify]: Extracting # 1 : cost  50  inf +  3192
0.201 * * [simplify]: Extracting # 2 : cost  0  inf +  10680
0.207 * * [simplify]: iteration  4 :  548  enodes  (cost  203 )
0.416 * * [simplify]: Extracting # 0 : cost  0  inf +  10680
0.432 * * [simplify]: Extracting # 1 : cost  40  inf +  4746
0.436 * * [simplify]: Extracting # 2 : cost  0  inf +  9685
0.441 * * [simplify]: iteration  5 :  889  enodes  (cost  179 )
0.815 * * [simplify]: Extracting # 0 : cost  0  inf +  9685
0.828 * * [simplify]: Extracting # 1 : cost  57  inf +  6026
0.841 * * [simplify]: Extracting # 2 : cost  0  inf +  15108
0.853 * * [simplify]: iteration  6 :  1303  enodes  (cost  179 )
1.599 * * [simplify]: Extracting # 0 : cost  0  inf +  15108
1.625 * * [simplify]: Extracting # 1 : cost  40  inf +  7703
1.633 * * [simplify]: Extracting # 2 : cost  0  inf +  15121
1.640 * * [simplify]: iteration  7 :  1726  enodes  (cost  179 )
2.619 * * [simplify]: Extracting # 0 : cost  0  inf +  15121
2.659 * * [simplify]: Extracting # 1 : cost  24  inf +  7842
2.674 * * [simplify]: Extracting # 2 : cost  0  inf +  12007
2.688 * * [simplify]: iteration  8 :  2027  enodes  (cost  179 )
3.408 * * [simplify]: Extracting # 0 : cost  0  inf +  12007
3.429 * * [simplify]: Extracting # 1 : cost  3  inf +  7761
3.436 * * [simplify]: Extracting # 2 : cost  0  inf +  8223
3.443 * * [simplify]: iteration  9 :  2145  enodes  (cost  179 )
4.074 * * [simplify]: Extracting # 0 : cost  0  inf +  8223
4.081 * * [simplify]: Extracting # 1 : cost  2  inf +  8061
4.088 * * [simplify]: Extracting # 2 : cost  0  inf +  8467
4.097 * * [simplify]: iteration  10 :  2173  enodes  (cost  179 )
4.747 * * [simplify]: Extracting # 0 : cost  0  inf +  8467
4.763 * * [simplify]: Extracting # 1 : cost  0  inf +  8061
4.777 * * [simplify]: iteration  11 :  2183  enodes  (cost  179 )
5.331 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
5.338 * * [simplify]: iteration  12 :  2187  enodes  (cost  179 )
5.915 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
5.927 * * [simplify]: iteration  13 :  2191  enodes  (cost  179 )
6.517 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
6.531 * * [simplify]: iteration  14 :  2195  enodes  (cost  179 )
7.097 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
7.103 * * [simplify]: iteration  15 :  2199  enodes  (cost  179 )
7.643 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
7.650 * * [simplify]: iteration  16 :  2203  enodes  (cost  179 )
8.208 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
8.224 * * [simplify]: iteration  17 :  2207  enodes  (cost  179 )
8.846 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
8.860 * * [simplify]: iteration  18 :  2211  enodes  (cost  179 )
9.464 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
9.472 * * [simplify]: iteration  19 :  2215  enodes  (cost  179 )
10.061 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
10.074 * * [simplify]: iteration  20 :  2219  enodes  (cost  179 )
10.607 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
10.617 * * [simplify]: iteration  21 :  2223  enodes  (cost  179 )
11.259 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
11.266 * * [simplify]: iteration  22 :  2227  enodes  (cost  179 )
11.780 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
11.794 * * [simplify]: iteration  23 :  2231  enodes  (cost  179 )
12.342 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
12.360 * * [simplify]: iteration  24 :  2235  enodes  (cost  179 )
12.895 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
12.902 * * [simplify]: iteration  25 :  2239  enodes  (cost  179 )
13.362 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
13.368 * * [simplify]: iteration  26 :  2243  enodes  (cost  179 )
13.878 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
13.885 * * [simplify]: iteration  27 :  2247  enodes  (cost  179 )
14.531 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
14.538 * * [simplify]: iteration  28 :  2251  enodes  (cost  179 )
15.064 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
15.078 * * [simplify]: iteration  29 :  2255  enodes  (cost  179 )
15.692 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
15.705 * * [simplify]: iteration  30 :  2259  enodes  (cost  179 )
16.200 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
16.214 * * [simplify]: iteration  31 :  2263  enodes  (cost  179 )
16.758 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
16.770 * * [simplify]: iteration  32 :  2267  enodes  (cost  179 )
17.368 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
17.379 * * [simplify]: iteration  33 :  2271  enodes  (cost  179 )
17.907 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
17.915 * * [simplify]: iteration  34 :  2275  enodes  (cost  179 )
18.539 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
18.546 * * [simplify]: iteration  35 :  2279  enodes  (cost  179 )
19.038 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
19.045 * * [simplify]: iteration  36 :  2283  enodes  (cost  179 )
19.558 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
19.570 * * [simplify]: iteration  37 :  2287  enodes  (cost  179 )
20.178 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
20.193 * * [simplify]: iteration  38 :  2291  enodes  (cost  179 )
20.793 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
20.803 * * [simplify]: iteration  39 :  2295  enodes  (cost  179 )
21.371 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
21.377 * * [simplify]: iteration  40 :  2299  enodes  (cost  179 )
21.972 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
21.986 * * [simplify]: iteration  41 :  2303  enodes  (cost  179 )
22.592 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
22.599 * * [simplify]: iteration  42 :  2307  enodes  (cost  179 )
23.275 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
23.282 * * [simplify]: iteration  43 :  2311  enodes  (cost  179 )
23.903 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
23.916 * * [simplify]: iteration  44 :  2315  enodes  (cost  179 )
24.555 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
24.562 * * [simplify]: iteration  45 :  2319  enodes  (cost  179 )
25.205 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
25.218 * * [simplify]: iteration  46 :  2323  enodes  (cost  179 )
25.886 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
25.899 * * [simplify]: iteration  47 :  2327  enodes  (cost  179 )
26.400 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
26.414 * * [simplify]: iteration  48 :  2331  enodes  (cost  179 )
27.013 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
27.024 * * [simplify]: iteration  49 :  2335  enodes  (cost  179 )
27.651 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
27.660 * * [simplify]: iteration  50 :  2339  enodes  (cost  179 )
28.140 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
28.147 * * [simplify]: iteration  51 :  2343  enodes  (cost  179 )
28.703 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
28.709 * * [simplify]: iteration  52 :  2347  enodes  (cost  179 )
29.196 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
29.203 * * [simplify]: iteration  53 :  2351  enodes  (cost  179 )
29.626 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
29.636 * * [simplify]: iteration  54 :  2355  enodes  (cost  179 )
30.118 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
30.125 * * [simplify]: iteration  55 :  2359  enodes  (cost  179 )
30.860 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
30.866 * * [simplify]: iteration  56 :  2363  enodes  (cost  179 )
31.250 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
31.257 * * [simplify]: iteration  57 :  2367  enodes  (cost  179 )
31.717 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
31.730 * * [simplify]: iteration  58 :  2371  enodes  (cost  179 )
32.286 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
32.293 * * [simplify]: iteration  59 :  2375  enodes  (cost  179 )
32.754 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
32.765 * * [simplify]: iteration  60 :  2379  enodes  (cost  179 )
33.211 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
33.220 * * [simplify]: iteration  61 :  2383  enodes  (cost  179 )
33.705 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
33.711 * * [simplify]: iteration  62 :  2387  enodes  (cost  179 )
34.161 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
34.168 * * [simplify]: iteration  63 :  2391  enodes  (cost  179 )
34.569 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
34.576 * * [simplify]: iteration  64 :  2395  enodes  (cost  179 )
35.109 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
35.118 * * [simplify]: iteration  65 :  2399  enodes  (cost  179 )
35.547 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
35.556 * * [simplify]: iteration  66 :  2403  enodes  (cost  179 )
36.108 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
36.115 * * [simplify]: iteration  67 :  2407  enodes  (cost  179 )
36.569 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
36.579 * * [simplify]: iteration  68 :  2411  enodes  (cost  179 )
37.071 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
37.082 * * [simplify]: iteration  69 :  2415  enodes  (cost  179 )
37.577 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
37.587 * * [simplify]: iteration  70 :  2419  enodes  (cost  179 )
38.102 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
38.115 * * [simplify]: iteration  71 :  2423  enodes  (cost  179 )
38.510 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
38.517 * * [simplify]: iteration  72 :  2427  enodes  (cost  179 )
38.962 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
38.970 * * [simplify]: iteration  73 :  2431  enodes  (cost  179 )
39.430 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
39.437 * * [simplify]: iteration  74 :  2435  enodes  (cost  179 )
39.911 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
39.921 * * [simplify]: iteration  75 :  2439  enodes  (cost  179 )
40.437 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
40.447 * * [simplify]: iteration  76 :  2443  enodes  (cost  179 )
40.849 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
40.856 * * [simplify]: iteration  77 :  2447  enodes  (cost  179 )
41.366 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
41.374 * * [simplify]: iteration  78 :  2451  enodes  (cost  179 )
41.871 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
41.878 * * [simplify]: iteration  79 :  2455  enodes  (cost  179 )
42.324 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
42.334 * * [simplify]: iteration  80 :  2459  enodes  (cost  179 )
42.818 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
42.827 * * [simplify]: iteration  81 :  2463  enodes  (cost  179 )
43.288 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
43.298 * * [simplify]: iteration  82 :  2467  enodes  (cost  179 )
43.827 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
43.836 * * [simplify]: iteration  83 :  2471  enodes  (cost  179 )
44.341 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
44.353 * * [simplify]: iteration  84 :  2475  enodes  (cost  179 )
44.875 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
44.883 * * [simplify]: iteration  85 :  2479  enodes  (cost  179 )
45.377 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
45.383 * * [simplify]: iteration  86 :  2483  enodes  (cost  179 )
45.916 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
45.925 * * [simplify]: iteration  87 :  2487  enodes  (cost  179 )
46.395 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
46.405 * * [simplify]: iteration  88 :  2491  enodes  (cost  179 )
46.875 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
46.882 * * [simplify]: iteration  89 :  2495  enodes  (cost  179 )
47.398 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
47.407 * * [simplify]: iteration  90 :  2499  enodes  (cost  179 )
47.788 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
47.796 * * [simplify]: iteration  91 :  2503  enodes  (cost  179 )
48.205 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
48.214 * * [simplify]: iteration  92 :  2507  enodes  (cost  179 )
48.693 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
48.702 * * [simplify]: iteration  93 :  2511  enodes  (cost  179 )
49.210 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
49.221 * * [simplify]: iteration  94 :  2515  enodes  (cost  179 )
49.771 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
49.777 * * [simplify]: iteration  95 :  2519  enodes  (cost  179 )
50.225 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
50.236 * * [simplify]: iteration  96 :  2523  enodes  (cost  179 )
50.700 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
50.711 * * [simplify]: iteration  97 :  2527  enodes  (cost  179 )
51.142 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
51.150 * * [simplify]: iteration  98 :  2531  enodes  (cost  179 )
51.576 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
51.584 * * [simplify]: iteration  99 :  2535  enodes  (cost  179 )
52.102 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
52.110 * * [simplify]: iteration  100 :  2539  enodes  (cost  179 )
52.608 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
52.618 * * [simplify]: iteration  101 :  2543  enodes  (cost  179 )
53.154 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
53.164 * * [simplify]: iteration  102 :  2547  enodes  (cost  179 )
53.681 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
53.690 * * [simplify]: iteration  103 :  2551  enodes  (cost  179 )
54.145 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
54.155 * * [simplify]: iteration  104 :  2555  enodes  (cost  179 )
54.674 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
54.684 * * [simplify]: iteration  105 :  2559  enodes  (cost  179 )
55.219 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
55.231 * * [simplify]: iteration  106 :  2563  enodes  (cost  179 )
55.782 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
55.791 * * [simplify]: iteration  107 :  2567  enodes  (cost  179 )
56.329 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
56.339 * * [simplify]: iteration  108 :  2571  enodes  (cost  179 )
56.790 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
56.796 * * [simplify]: iteration  109 :  2575  enodes  (cost  179 )
57.319 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
57.326 * * [simplify]: iteration  110 :  2579  enodes  (cost  179 )
57.878 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
57.888 * * [simplify]: iteration  111 :  2583  enodes  (cost  179 )
58.320 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
58.330 * * [simplify]: iteration  112 :  2587  enodes  (cost  179 )
58.856 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
58.863 * * [simplify]: iteration  113 :  2591  enodes  (cost  179 )
59.373 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
59.380 * * [simplify]: iteration  114 :  2595  enodes  (cost  179 )
59.886 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
59.893 * * [simplify]: iteration  115 :  2599  enodes  (cost  179 )
60.355 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
60.362 * * [simplify]: iteration  116 :  2603  enodes  (cost  179 )
60.802 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
60.809 * * [simplify]: iteration  117 :  2607  enodes  (cost  179 )
61.227 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
61.234 * * [simplify]: iteration  118 :  2611  enodes  (cost  179 )
61.624 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
61.631 * * [simplify]: iteration  119 :  2615  enodes  (cost  179 )
62.059 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
62.066 * * [simplify]: iteration  120 :  2619  enodes  (cost  179 )
62.668 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
62.678 * * [simplify]: iteration  121 :  2623  enodes  (cost  179 )
63.221 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
63.228 * * [simplify]: iteration  122 :  2627  enodes  (cost  179 )
63.797 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
63.811 * * [simplify]: iteration  123 :  2631  enodes  (cost  179 )
64.324 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
64.337 * * [simplify]: iteration  124 :  2635  enodes  (cost  179 )
64.780 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
64.790 * * [simplify]: iteration  125 :  2639  enodes  (cost  179 )
65.276 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
65.291 * * [simplify]: iteration  126 :  2643  enodes  (cost  179 )
65.795 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
65.802 * * [simplify]: iteration  127 :  2647  enodes  (cost  179 )
66.296 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
66.303 * * [simplify]: iteration  128 :  2651  enodes  (cost  179 )
66.974 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
66.982 * * [simplify]: iteration  129 :  2655  enodes  (cost  179 )
67.538 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
67.545 * * [simplify]: iteration  130 :  2659  enodes  (cost  179 )
68.160 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
68.167 * * [simplify]: iteration  131 :  2663  enodes  (cost  179 )
68.712 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
68.725 * * [simplify]: iteration  132 :  2667  enodes  (cost  179 )
69.214 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
69.221 * * [simplify]: iteration  133 :  2671  enodes  (cost  179 )
70.172 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
70.179 * * [simplify]: iteration  134 :  2675  enodes  (cost  179 )
70.812 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
70.825 * * [simplify]: iteration  135 :  2679  enodes  (cost  179 )
71.355 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
71.363 * * [simplify]: iteration  136 :  2683  enodes  (cost  179 )
71.850 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
71.862 * * [simplify]: iteration  137 :  2687  enodes  (cost  179 )
72.348 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
72.355 * * [simplify]: iteration  138 :  2691  enodes  (cost  179 )
72.816 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
72.828 * * [simplify]: iteration  139 :  2695  enodes  (cost  179 )
73.368 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
73.376 * * [simplify]: iteration  140 :  2699  enodes  (cost  179 )
73.916 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
73.927 * * [simplify]: iteration  141 :  2703  enodes  (cost  179 )
74.488 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
74.501 * * [simplify]: iteration  142 :  2707  enodes  (cost  179 )
75.015 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
75.024 * * [simplify]: iteration  143 :  2711  enodes  (cost  179 )
75.448 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
75.455 * * [simplify]: iteration  144 :  2715  enodes  (cost  179 )
75.973 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
75.980 * * [simplify]: iteration  145 :  2719  enodes  (cost  179 )
76.467 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
76.474 * * [simplify]: iteration  146 :  2723  enodes  (cost  179 )
76.931 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
76.939 * * [simplify]: iteration  147 :  2727  enodes  (cost  179 )
77.439 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
77.448 * * [simplify]: iteration  148 :  2731  enodes  (cost  179 )
77.948 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
77.961 * * [simplify]: iteration  149 :  2735  enodes  (cost  179 )
78.419 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
78.426 * * [simplify]: iteration  150 :  2739  enodes  (cost  179 )
78.958 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
78.967 * * [simplify]: iteration  151 :  2743  enodes  (cost  179 )
79.404 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
79.411 * * [simplify]: iteration  152 :  2747  enodes  (cost  179 )
79.791 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
79.797 * * [simplify]: iteration  153 :  2751  enodes  (cost  179 )
80.177 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
80.183 * * [simplify]: iteration  154 :  2755  enodes  (cost  179 )
80.564 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
80.570 * * [simplify]: iteration  155 :  2759  enodes  (cost  179 )
80.953 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
80.960 * * [simplify]: iteration  156 :  2763  enodes  (cost  179 )
81.342 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
81.349 * * [simplify]: iteration  157 :  2767  enodes  (cost  179 )
81.733 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
81.742 * * [simplify]: iteration  158 :  2771  enodes  (cost  179 )
82.129 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
82.136 * * [simplify]: iteration  159 :  2775  enodes  (cost  179 )
82.520 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
82.527 * * [simplify]: iteration  160 :  2779  enodes  (cost  179 )
82.907 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
82.914 * * [simplify]: iteration  161 :  2783  enodes  (cost  179 )
83.295 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
83.302 * * [simplify]: iteration  162 :  2787  enodes  (cost  179 )
83.681 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
83.688 * * [simplify]: iteration  163 :  2791  enodes  (cost  179 )
84.066 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
84.072 * * [simplify]: iteration  164 :  2795  enodes  (cost  179 )
84.450 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
84.457 * * [simplify]: iteration  165 :  2799  enodes  (cost  179 )
84.833 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
84.841 * * [simplify]: iteration  166 :  2803  enodes  (cost  179 )
85.218 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
85.224 * * [simplify]: iteration  167 :  2807  enodes  (cost  179 )
85.603 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
85.610 * * [simplify]: iteration  168 :  2811  enodes  (cost  179 )
85.988 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
85.995 * * [simplify]: iteration  169 :  2815  enodes  (cost  179 )
86.372 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
86.378 * * [simplify]: iteration  170 :  2819  enodes  (cost  179 )
86.756 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
86.763 * * [simplify]: iteration  171 :  2823  enodes  (cost  179 )
87.142 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
87.149 * * [simplify]: iteration  172 :  2827  enodes  (cost  179 )
87.528 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
87.537 * * [simplify]: iteration  173 :  2831  enodes  (cost  179 )
87.932 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
87.942 * * [simplify]: iteration  174 :  2835  enodes  (cost  179 )
88.357 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
88.364 * * [simplify]: iteration  175 :  2839  enodes  (cost  179 )
88.752 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
88.758 * * [simplify]: iteration  176 :  2843  enodes  (cost  179 )
89.139 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
89.146 * * [simplify]: iteration  177 :  2847  enodes  (cost  179 )
89.536 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
89.543 * * [simplify]: iteration  178 :  2851  enodes  (cost  179 )
89.921 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
89.928 * * [simplify]: iteration  179 :  2855  enodes  (cost  179 )
90.320 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
90.327 * * [simplify]: iteration  180 :  2859  enodes  (cost  179 )
90.703 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
90.712 * * [simplify]: iteration  181 :  2863  enodes  (cost  179 )
91.099 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
91.106 * * [simplify]: iteration  182 :  2867  enodes  (cost  179 )
91.483 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
91.490 * * [simplify]: iteration  183 :  2871  enodes  (cost  179 )
91.949 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
91.956 * * [simplify]: iteration  184 :  2875  enodes  (cost  179 )
92.334 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
92.341 * * [simplify]: iteration  185 :  2879  enodes  (cost  179 )
92.718 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
92.725 * * [simplify]: iteration  186 :  2883  enodes  (cost  179 )
93.104 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
93.111 * * [simplify]: iteration  187 :  2887  enodes  (cost  179 )
93.542 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
93.555 * * [simplify]: iteration  188 :  2891  enodes  (cost  179 )
94.031 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
94.042 * * [simplify]: iteration  189 :  2895  enodes  (cost  179 )
94.546 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
94.558 * * [simplify]: iteration  190 :  2899  enodes  (cost  179 )
94.979 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
94.990 * * [simplify]: iteration  191 :  2903  enodes  (cost  179 )
95.452 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
95.463 * * [simplify]: iteration  192 :  2907  enodes  (cost  179 )
95.941 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
95.948 * * [simplify]: iteration  193 :  2911  enodes  (cost  179 )
96.322 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
96.329 * * [simplify]: iteration  194 :  2915  enodes  (cost  179 )
96.750 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
96.761 * * [simplify]: iteration  195 :  2919  enodes  (cost  179 )
97.171 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
97.179 * * [simplify]: iteration  196 :  2923  enodes  (cost  179 )
97.596 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
97.604 * * [simplify]: iteration  197 :  2927  enodes  (cost  179 )
97.992 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
97.999 * * [simplify]: iteration  198 :  2931  enodes  (cost  179 )
98.520 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
98.528 * * [simplify]: iteration  199 :  2935  enodes  (cost  179 )
98.920 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
98.927 * * [simplify]: iteration  200 :  2939  enodes  (cost  179 )
99.285 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
99.292 * * [simplify]: iteration  201 :  2943  enodes  (cost  179 )
99.652 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
99.658 * * [simplify]: iteration  202 :  2947  enodes  (cost  179 )
100.018 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
100.026 * * [simplify]: iteration  203 :  2951  enodes  (cost  179 )
100.385 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
100.392 * * [simplify]: iteration  204 :  2955  enodes  (cost  179 )
100.746 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
100.753 * * [simplify]: iteration  205 :  2959  enodes  (cost  179 )
101.107 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
101.113 * * [simplify]: iteration  206 :  2963  enodes  (cost  179 )
101.466 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
101.472 * * [simplify]: iteration  207 :  2967  enodes  (cost  179 )
101.825 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
101.832 * * [simplify]: iteration  208 :  2971  enodes  (cost  179 )
102.185 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
102.191 * * [simplify]: iteration  209 :  2975  enodes  (cost  179 )
102.544 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
102.551 * * [simplify]: iteration  210 :  2979  enodes  (cost  179 )
102.903 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
102.911 * * [simplify]: iteration  211 :  2983  enodes  (cost  179 )
103.262 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
103.269 * * [simplify]: iteration  212 :  2987  enodes  (cost  179 )
103.849 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
103.855 * * [simplify]: iteration  213 :  2991  enodes  (cost  179 )
104.208 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
104.215 * * [simplify]: iteration  214 :  2995  enodes  (cost  179 )
104.568 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
104.574 * * [simplify]: iteration  215 :  2999  enodes  (cost  179 )
104.928 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
104.934 * * [simplify]: iteration  216 :  3003  enodes  (cost  179 )
105.288 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
105.294 * * [simplify]: iteration  217 :  3007  enodes  (cost  179 )
105.649 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
105.656 * * [simplify]: iteration  218 :  3011  enodes  (cost  179 )
106.009 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
106.015 * * [simplify]: iteration  219 :  3015  enodes  (cost  179 )
106.367 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
106.374 * * [simplify]: iteration  220 :  3019  enodes  (cost  179 )
106.726 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
106.733 * * [simplify]: iteration  221 :  3023  enodes  (cost  179 )
107.086 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
107.092 * * [simplify]: iteration  222 :  3027  enodes  (cost  179 )
107.445 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
107.451 * * [simplify]: iteration  223 :  3031  enodes  (cost  179 )
107.805 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
107.811 * * [simplify]: iteration  224 :  3035  enodes  (cost  179 )
108.164 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
108.170 * * [simplify]: iteration  225 :  3039  enodes  (cost  179 )
108.524 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
108.531 * * [simplify]: iteration  226 :  3043  enodes  (cost  179 )
108.883 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
108.889 * * [simplify]: iteration  227 :  3047  enodes  (cost  179 )
109.242 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
109.248 * * [simplify]: iteration  228 :  3051  enodes  (cost  179 )
109.601 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
109.607 * * [simplify]: iteration  229 :  3055  enodes  (cost  179 )
109.960 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
109.967 * * [simplify]: iteration  230 :  3059  enodes  (cost  179 )
110.320 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
110.326 * * [simplify]: iteration  231 :  3063  enodes  (cost  179 )
110.679 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
110.685 * * [simplify]: iteration  232 :  3067  enodes  (cost  179 )
111.038 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
111.045 * * [simplify]: iteration  233 :  3071  enodes  (cost  179 )
111.398 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
111.405 * * [simplify]: iteration  234 :  3075  enodes  (cost  179 )
111.757 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
111.764 * * [simplify]: iteration  235 :  3079  enodes  (cost  179 )
112.117 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
112.123 * * [simplify]: iteration  236 :  3083  enodes  (cost  179 )
112.476 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
112.482 * * [simplify]: iteration  237 :  3087  enodes  (cost  179 )
112.836 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
112.842 * * [simplify]: iteration  238 :  3091  enodes  (cost  179 )
113.195 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
113.202 * * [simplify]: iteration  239 :  3095  enodes  (cost  179 )
113.554 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
113.561 * * [simplify]: iteration  240 :  3099  enodes  (cost  179 )
113.913 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
113.921 * * [simplify]: iteration  241 :  3103  enodes  (cost  179 )
114.273 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
114.279 * * [simplify]: iteration  242 :  3107  enodes  (cost  179 )
114.632 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
114.638 * * [simplify]: iteration  243 :  3111  enodes  (cost  179 )
114.991 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
114.997 * * [simplify]: iteration  244 :  3115  enodes  (cost  179 )
115.350 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
115.357 * * [simplify]: iteration  245 :  3119  enodes  (cost  179 )
115.710 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
115.717 * * [simplify]: iteration  246 :  3123  enodes  (cost  179 )
116.070 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
116.076 * * [simplify]: iteration  247 :  3127  enodes  (cost  179 )
116.429 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
116.435 * * [simplify]: iteration  248 :  3131  enodes  (cost  179 )
116.788 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
116.795 * * [simplify]: iteration  249 :  3135  enodes  (cost  179 )
117.147 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
117.153 * * [simplify]: iteration  250 :  3139  enodes  (cost  179 )
117.506 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
117.513 * * [simplify]: iteration  251 :  3143  enodes  (cost  179 )
117.866 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
117.872 * * [simplify]: iteration  252 :  3147  enodes  (cost  179 )
118.226 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
118.232 * * [simplify]: iteration  253 :  3151  enodes  (cost  179 )
118.585 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
118.592 * * [simplify]: iteration  254 :  3155  enodes  (cost  179 )
118.945 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
118.951 * * [simplify]: iteration  255 :  3159  enodes  (cost  179 )
119.304 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
119.311 * * [simplify]: iteration  256 :  3163  enodes  (cost  179 )
119.663 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
119.669 * * [simplify]: iteration  257 :  3167  enodes  (cost  179 )
120.022 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
120.028 * * [simplify]: iteration  258 :  3171  enodes  (cost  179 )
120.381 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
120.387 * * [simplify]: iteration  259 :  3175  enodes  (cost  179 )
120.741 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
120.747 * * [simplify]: iteration  260 :  3179  enodes  (cost  179 )
121.101 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
121.107 * * [simplify]: iteration  261 :  3183  enodes  (cost  179 )
121.460 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
121.467 * * [simplify]: iteration  262 :  3187  enodes  (cost  179 )
121.820 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
121.826 * * [simplify]: iteration  263 :  3191  enodes  (cost  179 )
122.178 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
122.186 * * [simplify]: iteration  264 :  3195  enodes  (cost  179 )
122.542 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
122.548 * * [simplify]: iteration  265 :  3199  enodes  (cost  179 )
122.901 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
122.907 * * [simplify]: iteration  266 :  3203  enodes  (cost  179 )
123.260 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
123.267 * * [simplify]: iteration  267 :  3207  enodes  (cost  179 )
123.620 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
123.627 * * [simplify]: iteration  268 :  3211  enodes  (cost  179 )
123.980 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
123.986 * * [simplify]: iteration  269 :  3215  enodes  (cost  179 )
124.339 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
124.345 * * [simplify]: iteration  270 :  3219  enodes  (cost  179 )
124.697 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
124.705 * * [simplify]: iteration  271 :  3223  enodes  (cost  179 )
125.056 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
125.063 * * [simplify]: iteration  272 :  3227  enodes  (cost  179 )
125.415 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
125.421 * * [simplify]: iteration  273 :  3231  enodes  (cost  179 )
125.774 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
125.780 * * [simplify]: iteration  274 :  3235  enodes  (cost  179 )
126.135 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
126.142 * * [simplify]: iteration  275 :  3239  enodes  (cost  179 )
126.495 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
126.502 * * [simplify]: iteration  276 :  3243  enodes  (cost  179 )
126.855 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
126.861 * * [simplify]: iteration  277 :  3247  enodes  (cost  179 )
127.214 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
127.220 * * [simplify]: iteration  278 :  3251  enodes  (cost  179 )
127.572 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
127.580 * * [simplify]: iteration  279 :  3255  enodes  (cost  179 )
127.932 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
127.938 * * [simplify]: iteration  280 :  3259  enodes  (cost  179 )
128.291 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
128.297 * * [simplify]: iteration  281 :  3263  enodes  (cost  179 )
128.650 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
128.657 * * [simplify]: iteration  282 :  3267  enodes  (cost  179 )
129.010 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
129.016 * * [simplify]: iteration  283 :  3271  enodes  (cost  179 )
129.369 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
129.376 * * [simplify]: iteration  284 :  3275  enodes  (cost  179 )
129.729 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
129.736 * * [simplify]: iteration  285 :  3279  enodes  (cost  179 )
130.089 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
130.096 * * [simplify]: iteration  286 :  3283  enodes  (cost  179 )
130.448 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
130.454 * * [simplify]: iteration  287 :  3287  enodes  (cost  179 )
130.806 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
130.813 * * [simplify]: iteration  288 :  3291  enodes  (cost  179 )
131.166 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
131.172 * * [simplify]: iteration  289 :  3295  enodes  (cost  179 )
131.525 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
131.531 * * [simplify]: iteration  290 :  3299  enodes  (cost  179 )
131.885 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
131.892 * * [simplify]: iteration  291 :  3303  enodes  (cost  179 )
132.468 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
132.475 * * [simplify]: iteration  292 :  3307  enodes  (cost  179 )
132.828 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
132.835 * * [simplify]: iteration  293 :  3311  enodes  (cost  179 )
133.187 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
133.195 * * [simplify]: iteration  294 :  3315  enodes  (cost  179 )
133.546 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
133.552 * * [simplify]: iteration  295 :  3319  enodes  (cost  179 )
133.905 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
133.911 * * [simplify]: iteration  296 :  3323  enodes  (cost  179 )
134.264 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
134.271 * * [simplify]: iteration  297 :  3327  enodes  (cost  179 )
134.624 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
134.630 * * [simplify]: iteration  298 :  3331  enodes  (cost  179 )
134.983 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
134.990 * * [simplify]: iteration  299 :  3335  enodes  (cost  179 )
135.343 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
135.349 * * [simplify]: iteration  300 :  3339  enodes  (cost  179 )
135.702 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
135.710 * * [simplify]: iteration  301 :  3343  enodes  (cost  179 )
136.062 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
136.069 * * [simplify]: iteration  302 :  3347  enodes  (cost  179 )
136.421 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
136.427 * * [simplify]: iteration  303 :  3351  enodes  (cost  179 )
136.780 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
136.786 * * [simplify]: iteration  304 :  3355  enodes  (cost  179 )
137.140 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
137.146 * * [simplify]: iteration  305 :  3359  enodes  (cost  179 )
137.499 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
137.505 * * [simplify]: iteration  306 :  3363  enodes  (cost  179 )
137.858 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
137.865 * * [simplify]: iteration  307 :  3367  enodes  (cost  179 )
138.218 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
138.224 * * [simplify]: iteration  308 :  3371  enodes  (cost  179 )
138.578 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
138.585 * * [simplify]: iteration  309 :  3375  enodes  (cost  179 )
138.937 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
138.943 * * [simplify]: iteration  310 :  3379  enodes  (cost  179 )
139.296 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
139.302 * * [simplify]: iteration  311 :  3383  enodes  (cost  179 )
139.655 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
139.661 * * [simplify]: iteration  312 :  3387  enodes  (cost  179 )
140.014 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
140.021 * * [simplify]: iteration  313 :  3391  enodes  (cost  179 )
140.374 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
140.381 * * [simplify]: iteration  314 :  3395  enodes  (cost  179 )
140.734 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
140.741 * * [simplify]: iteration  315 :  3399  enodes  (cost  179 )
141.094 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
141.101 * * [simplify]: iteration  316 :  3403  enodes  (cost  179 )
141.454 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
141.461 * * [simplify]: iteration  317 :  3407  enodes  (cost  179 )
141.813 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
141.819 * * [simplify]: iteration  318 :  3411  enodes  (cost  179 )
142.173 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
142.179 * * [simplify]: iteration  319 :  3415  enodes  (cost  179 )
142.532 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
142.538 * * [simplify]: iteration  320 :  3419  enodes  (cost  179 )
142.891 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
142.898 * * [simplify]: iteration  321 :  3423  enodes  (cost  179 )
143.251 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
143.257 * * [simplify]: iteration  322 :  3427  enodes  (cost  179 )
143.610 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
143.616 * * [simplify]: iteration  323 :  3431  enodes  (cost  179 )
143.968 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
143.976 * * [simplify]: iteration  324 :  3435  enodes  (cost  179 )
144.328 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
144.335 * * [simplify]: iteration  325 :  3439  enodes  (cost  179 )
144.690 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
144.696 * * [simplify]: iteration  326 :  3443  enodes  (cost  179 )
145.050 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
145.056 * * [simplify]: iteration  327 :  3447  enodes  (cost  179 )
145.409 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
145.415 * * [simplify]: iteration  328 :  3451  enodes  (cost  179 )
145.768 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
145.775 * * [simplify]: iteration  329 :  3455  enodes  (cost  179 )
146.128 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
146.134 * * [simplify]: iteration  330 :  3459  enodes  (cost  179 )
146.487 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
146.493 * * [simplify]: iteration  331 :  3463  enodes  (cost  179 )
146.846 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
146.853 * * [simplify]: iteration  332 :  3467  enodes  (cost  179 )
147.205 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
147.211 * * [simplify]: iteration  333 :  3471  enodes  (cost  179 )
147.565 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
147.571 * * [simplify]: iteration  334 :  3475  enodes  (cost  179 )
147.924 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
147.931 * * [simplify]: iteration  335 :  3479  enodes  (cost  179 )
148.284 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
148.290 * * [simplify]: iteration  336 :  3483  enodes  (cost  179 )
148.643 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
148.649 * * [simplify]: iteration  337 :  3487  enodes  (cost  179 )
149.003 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
149.009 * * [simplify]: iteration  338 :  3491  enodes  (cost  179 )
149.362 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
149.369 * * [simplify]: iteration  339 :  3495  enodes  (cost  179 )
149.721 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
149.728 * * [simplify]: iteration  340 :  3499  enodes  (cost  179 )
150.080 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
150.087 * * [simplify]: iteration  341 :  3503  enodes  (cost  179 )
150.439 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
150.446 * * [simplify]: iteration  342 :  3507  enodes  (cost  179 )
150.799 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
150.806 * * [simplify]: iteration  343 :  3511  enodes  (cost  179 )
151.159 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
151.165 * * [simplify]: iteration  344 :  3515  enodes  (cost  179 )
151.518 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
151.525 * * [simplify]: iteration  345 :  3519  enodes  (cost  179 )
151.877 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
151.884 * * [simplify]: iteration  346 :  3523  enodes  (cost  179 )
152.238 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
152.244 * * [simplify]: iteration  347 :  3527  enodes  (cost  179 )
152.596 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
152.603 * * [simplify]: iteration  348 :  3531  enodes  (cost  179 )
152.956 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
152.962 * * [simplify]: iteration  349 :  3535  enodes  (cost  179 )
153.316 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
153.322 * * [simplify]: iteration  350 :  3539  enodes  (cost  179 )
153.676 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
153.682 * * [simplify]: iteration  351 :  3543  enodes  (cost  179 )
154.036 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
154.042 * * [simplify]: iteration  352 :  3547  enodes  (cost  179 )
154.395 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
154.401 * * [simplify]: iteration  353 :  3551  enodes  (cost  179 )
154.754 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
154.762 * * [simplify]: iteration  354 :  3555  enodes  (cost  179 )
155.114 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
155.120 * * [simplify]: iteration  355 :  3559  enodes  (cost  179 )
155.473 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
155.479 * * [simplify]: iteration  356 :  3563  enodes  (cost  179 )
155.832 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
155.839 * * [simplify]: iteration  357 :  3567  enodes  (cost  179 )
156.192 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
156.198 * * [simplify]: iteration  358 :  3571  enodes  (cost  179 )
156.553 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
156.559 * * [simplify]: iteration  359 :  3575  enodes  (cost  179 )
156.912 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
156.918 * * [simplify]: iteration  360 :  3579  enodes  (cost  179 )
157.271 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
157.278 * * [simplify]: iteration  361 :  3583  enodes  (cost  179 )
157.631 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
157.637 * * [simplify]: iteration  362 :  3587  enodes  (cost  179 )
157.989 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
157.996 * * [simplify]: iteration  363 :  3591  enodes  (cost  179 )
158.349 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
158.355 * * [simplify]: iteration  364 :  3595  enodes  (cost  179 )
158.709 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
158.715 * * [simplify]: iteration  365 :  3599  enodes  (cost  179 )
159.069 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
159.075 * * [simplify]: iteration  366 :  3603  enodes  (cost  179 )
159.429 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
159.435 * * [simplify]: iteration  367 :  3607  enodes  (cost  179 )
159.790 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
159.796 * * [simplify]: iteration  368 :  3611  enodes  (cost  179 )
160.149 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
160.156 * * [simplify]: iteration  369 :  3615  enodes  (cost  179 )
160.508 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
160.514 * * [simplify]: iteration  370 :  3619  enodes  (cost  179 )
160.867 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
160.873 * * [simplify]: iteration  371 :  3623  enodes  (cost  179 )
161.449 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
161.456 * * [simplify]: iteration  372 :  3627  enodes  (cost  179 )
161.809 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
161.815 * * [simplify]: iteration  373 :  3631  enodes  (cost  179 )
162.216 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
162.223 * * [simplify]: iteration  374 :  3635  enodes  (cost  179 )
162.577 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
162.583 * * [simplify]: iteration  375 :  3639  enodes  (cost  179 )
162.936 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
162.943 * * [simplify]: iteration  376 :  3643  enodes  (cost  179 )
163.295 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
163.303 * * [simplify]: iteration  377 :  3647  enodes  (cost  179 )
163.655 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
163.662 * * [simplify]: iteration  378 :  3651  enodes  (cost  179 )
164.015 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
164.021 * * [simplify]: iteration  379 :  3655  enodes  (cost  179 )
164.374 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
164.381 * * [simplify]: iteration  380 :  3659  enodes  (cost  179 )
164.734 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
164.740 * * [simplify]: iteration  381 :  3663  enodes  (cost  179 )
165.094 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
165.100 * * [simplify]: iteration  382 :  3667  enodes  (cost  179 )
165.454 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
165.460 * * [simplify]: iteration  383 :  3671  enodes  (cost  179 )
165.814 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
165.822 * * [simplify]: iteration  384 :  3675  enodes  (cost  179 )
166.174 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
166.180 * * [simplify]: iteration  385 :  3679  enodes  (cost  179 )
166.533 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
166.539 * * [simplify]: iteration  386 :  3683  enodes  (cost  179 )
166.892 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
166.899 * * [simplify]: iteration  387 :  3687  enodes  (cost  179 )
167.252 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
167.259 * * [simplify]: iteration  388 :  3691  enodes  (cost  179 )
167.612 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
167.618 * * [simplify]: iteration  389 :  3695  enodes  (cost  179 )
167.972 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
167.978 * * [simplify]: iteration  390 :  3699  enodes  (cost  179 )
168.331 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
168.337 * * [simplify]: iteration  391 :  3703  enodes  (cost  179 )
168.691 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
168.699 * * [simplify]: iteration  392 :  3707  enodes  (cost  179 )
169.051 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
169.057 * * [simplify]: iteration  393 :  3711  enodes  (cost  179 )
169.410 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
169.416 * * [simplify]: iteration  394 :  3715  enodes  (cost  179 )
169.771 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
169.777 * * [simplify]: iteration  395 :  3719  enodes  (cost  179 )
170.131 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
170.137 * * [simplify]: iteration  396 :  3723  enodes  (cost  179 )
170.490 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
170.497 * * [simplify]: iteration  397 :  3727  enodes  (cost  179 )
170.850 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
170.856 * * [simplify]: iteration  398 :  3731  enodes  (cost  179 )
171.209 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
171.215 * * [simplify]: iteration  399 :  3735  enodes  (cost  179 )
171.569 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
171.575 * * [simplify]: iteration  400 :  3739  enodes  (cost  179 )
171.927 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
171.934 * * [simplify]: iteration  401 :  3743  enodes  (cost  179 )
172.287 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
172.293 * * [simplify]: iteration  402 :  3747  enodes  (cost  179 )
172.646 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
172.653 * * [simplify]: iteration  403 :  3751  enodes  (cost  179 )
173.006 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
173.012 * * [simplify]: iteration  404 :  3755  enodes  (cost  179 )
173.366 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
173.372 * * [simplify]: iteration  405 :  3759  enodes  (cost  179 )
173.725 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
173.731 * * [simplify]: iteration  406 :  3763  enodes  (cost  179 )
174.084 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
174.091 * * [simplify]: iteration  407 :  3767  enodes  (cost  179 )
174.443 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
174.450 * * [simplify]: iteration  408 :  3771  enodes  (cost  179 )
174.802 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
174.809 * * [simplify]: iteration  409 :  3775  enodes  (cost  179 )
175.161 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
175.168 * * [simplify]: iteration  410 :  3779  enodes  (cost  179 )
175.521 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
175.527 * * [simplify]: iteration  411 :  3783  enodes  (cost  179 )
175.880 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
175.887 * * [simplify]: iteration  412 :  3787  enodes  (cost  179 )
176.240 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
176.247 * * [simplify]: iteration  413 :  3791  enodes  (cost  179 )
176.600 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
176.606 * * [simplify]: iteration  414 :  3795  enodes  (cost  179 )
176.959 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
176.966 * * [simplify]: iteration  415 :  3799  enodes  (cost  179 )
177.318 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
177.324 * * [simplify]: iteration  416 :  3803  enodes  (cost  179 )
177.678 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
177.684 * * [simplify]: iteration  417 :  3807  enodes  (cost  179 )
178.037 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
178.043 * * [simplify]: iteration  418 :  3811  enodes  (cost  179 )
178.397 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
178.403 * * [simplify]: iteration  419 :  3815  enodes  (cost  179 )
178.756 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
178.763 * * [simplify]: iteration  420 :  3819  enodes  (cost  179 )
179.117 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
179.123 * * [simplify]: iteration  421 :  3823  enodes  (cost  179 )
179.476 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
179.482 * * [simplify]: iteration  422 :  3827  enodes  (cost  179 )
179.835 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
179.842 * * [simplify]: iteration  423 :  3831  enodes  (cost  179 )
180.194 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
180.201 * * [simplify]: iteration  424 :  3835  enodes  (cost  179 )
180.553 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
180.560 * * [simplify]: iteration  425 :  3839  enodes  (cost  179 )
180.912 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
180.919 * * [simplify]: iteration  426 :  3843  enodes  (cost  179 )
181.272 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
181.278 * * [simplify]: iteration  427 :  3847  enodes  (cost  179 )
181.631 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
181.638 * * [simplify]: iteration  428 :  3851  enodes  (cost  179 )
181.990 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
181.997 * * [simplify]: iteration  429 :  3855  enodes  (cost  179 )
182.350 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
182.356 * * [simplify]: iteration  430 :  3859  enodes  (cost  179 )
182.708 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
182.716 * * [simplify]: iteration  431 :  3863  enodes  (cost  179 )
183.068 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
183.074 * * [simplify]: iteration  432 :  3867  enodes  (cost  179 )
183.426 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
183.432 * * [simplify]: iteration  433 :  3871  enodes  (cost  179 )
183.785 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
183.792 * * [simplify]: iteration  434 :  3875  enodes  (cost  179 )
184.145 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
184.151 * * [simplify]: iteration  435 :  3879  enodes  (cost  179 )
184.504 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
184.511 * * [simplify]: iteration  436 :  3883  enodes  (cost  179 )
184.864 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
184.870 * * [simplify]: iteration  437 :  3887  enodes  (cost  179 )
185.223 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
185.229 * * [simplify]: iteration  438 :  3891  enodes  (cost  179 )
185.581 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
185.589 * * [simplify]: iteration  439 :  3895  enodes  (cost  179 )
185.940 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
185.947 * * [simplify]: iteration  440 :  3899  enodes  (cost  179 )
186.299 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
186.305 * * [simplify]: iteration  441 :  3903  enodes  (cost  179 )
186.659 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
186.666 * * [simplify]: iteration  442 :  3907  enodes  (cost  179 )
187.019 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
187.025 * * [simplify]: iteration  443 :  3911  enodes  (cost  179 )
187.378 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
187.385 * * [simplify]: iteration  444 :  3915  enodes  (cost  179 )
187.738 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
187.744 * * [simplify]: iteration  445 :  3919  enodes  (cost  179 )
188.097 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
188.104 * * [simplify]: iteration  446 :  3923  enodes  (cost  179 )
188.457 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
188.463 * * [simplify]: iteration  447 :  3927  enodes  (cost  179 )
188.815 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
188.822 * * [simplify]: iteration  448 :  3931  enodes  (cost  179 )
189.175 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
189.181 * * [simplify]: iteration  449 :  3935  enodes  (cost  179 )
189.535 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
189.541 * * [simplify]: iteration  450 :  3939  enodes  (cost  179 )
190.117 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
190.124 * * [simplify]: iteration  451 :  3943  enodes  (cost  179 )
190.478 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
190.484 * * [simplify]: iteration  452 :  3947  enodes  (cost  179 )
190.837 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
190.843 * * [simplify]: iteration  453 :  3951  enodes  (cost  179 )
191.196 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
191.204 * * [simplify]: iteration  454 :  3955  enodes  (cost  179 )
191.556 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
191.562 * * [simplify]: iteration  455 :  3959  enodes  (cost  179 )
191.914 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
191.920 * * [simplify]: iteration  456 :  3963  enodes  (cost  179 )
192.273 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
192.280 * * [simplify]: iteration  457 :  3967  enodes  (cost  179 )
192.634 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
192.640 * * [simplify]: iteration  458 :  3971  enodes  (cost  179 )
192.994 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
193.000 * * [simplify]: iteration  459 :  3975  enodes  (cost  179 )
193.354 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
193.360 * * [simplify]: iteration  460 :  3979  enodes  (cost  179 )
193.713 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
193.719 * * [simplify]: iteration  461 :  3983  enodes  (cost  179 )
194.072 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
194.079 * * [simplify]: iteration  462 :  3987  enodes  (cost  179 )
194.431 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
194.437 * * [simplify]: iteration  463 :  3991  enodes  (cost  179 )
194.789 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
194.796 * * [simplify]: iteration  464 :  3995  enodes  (cost  179 )
195.148 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
195.155 * * [simplify]: iteration  465 :  3999  enodes  (cost  179 )
195.508 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
195.515 * * [simplify]: iteration  466 :  4003  enodes  (cost  179 )
195.868 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
195.874 * * [simplify]: iteration  467 :  4007  enodes  (cost  179 )
196.228 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
196.234 * * [simplify]: iteration  468 :  4011  enodes  (cost  179 )
196.587 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
196.593 * * [simplify]: iteration  469 :  4015  enodes  (cost  179 )
196.946 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
196.953 * * [simplify]: iteration  470 :  4019  enodes  (cost  179 )
197.305 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
197.311 * * [simplify]: iteration  471 :  4023  enodes  (cost  179 )
197.664 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
197.670 * * [simplify]: iteration  472 :  4027  enodes  (cost  179 )
198.023 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
198.029 * * [simplify]: iteration  473 :  4031  enodes  (cost  179 )
198.382 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
198.389 * * [simplify]: iteration  474 :  4035  enodes  (cost  179 )
198.742 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
198.749 * * [simplify]: iteration  475 :  4039  enodes  (cost  179 )
199.102 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
199.108 * * [simplify]: iteration  476 :  4043  enodes  (cost  179 )
199.461 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
199.467 * * [simplify]: iteration  477 :  4047  enodes  (cost  179 )
199.819 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
199.827 * * [simplify]: iteration  478 :  4051  enodes  (cost  179 )
200.179 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
200.185 * * [simplify]: iteration  479 :  4055  enodes  (cost  179 )
200.537 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
200.544 * * [simplify]: iteration  480 :  4059  enodes  (cost  179 )
200.897 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
200.903 * * [simplify]: iteration  481 :  4063  enodes  (cost  179 )
201.256 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
201.262 * * [simplify]: iteration  482 :  4067  enodes  (cost  179 )
201.616 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
201.622 * * [simplify]: iteration  483 :  4071  enodes  (cost  179 )
201.975 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
201.981 * * [simplify]: iteration  484 :  4075  enodes  (cost  179 )
202.334 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
202.340 * * [simplify]: iteration  485 :  4079  enodes  (cost  179 )
202.694 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
202.700 * * [simplify]: iteration  486 :  4083  enodes  (cost  179 )
203.052 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
203.059 * * [simplify]: iteration  487 :  4087  enodes  (cost  179 )
203.411 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
203.417 * * [simplify]: iteration  488 :  4091  enodes  (cost  179 )
203.770 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
203.777 * * [simplify]: iteration  489 :  4095  enodes  (cost  179 )
204.130 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
204.136 * * [simplify]: iteration  490 :  4099  enodes  (cost  179 )
204.491 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
204.498 * * [simplify]: iteration  491 :  4103  enodes  (cost  179 )
204.851 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
204.858 * * [simplify]: iteration  492 :  4107  enodes  (cost  179 )
205.210 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
205.218 * * [simplify]: iteration  493 :  4111  enodes  (cost  179 )
205.570 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
205.576 * * [simplify]: iteration  494 :  4115  enodes  (cost  179 )
205.928 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
205.934 * * [simplify]: iteration  495 :  4119  enodes  (cost  179 )
206.287 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
206.293 * * [simplify]: iteration  496 :  4123  enodes  (cost  179 )
206.646 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
206.653 * * [simplify]: iteration  497 :  4127  enodes  (cost  179 )
207.006 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
207.013 * * [simplify]: iteration  498 :  4131  enodes  (cost  179 )
207.366 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
207.372 * * [simplify]: iteration  499 :  4135  enodes  (cost  179 )
207.728 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
207.735 * * [simplify]: iteration  500 :  4139  enodes  (cost  179 )
208.088 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
208.096 * * [simplify]: iteration  501 :  4143  enodes  (cost  179 )
208.448 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
208.454 * * [simplify]: iteration  502 :  4147  enodes  (cost  179 )
208.806 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
208.812 * * [simplify]: iteration  503 :  4151  enodes  (cost  179 )
209.165 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
209.171 * * [simplify]: iteration  504 :  4155  enodes  (cost  179 )
209.524 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
209.531 * * [simplify]: iteration  505 :  4159  enodes  (cost  179 )
209.884 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
209.891 * * [simplify]: iteration  506 :  4163  enodes  (cost  179 )
210.244 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
210.250 * * [simplify]: iteration  507 :  4167  enodes  (cost  179 )
210.604 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
210.611 * * [simplify]: iteration  508 :  4171  enodes  (cost  179 )
210.963 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
210.970 * * [simplify]: iteration  509 :  4175  enodes  (cost  179 )
211.322 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
211.328 * * [simplify]: iteration  510 :  4179  enodes  (cost  179 )
211.680 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
211.687 * * [simplify]: iteration  511 :  4183  enodes  (cost  179 )
212.039 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
212.046 * * [simplify]: iteration  512 :  4187  enodes  (cost  179 )
212.399 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
212.405 * * [simplify]: iteration  513 :  4191  enodes  (cost  179 )
212.759 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
212.765 * * [simplify]: iteration  514 :  4195  enodes  (cost  179 )
213.118 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
213.125 * * [simplify]: iteration  515 :  4199  enodes  (cost  179 )
213.478 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
213.484 * * [simplify]: iteration  516 :  4203  enodes  (cost  179 )
213.837 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
213.844 * * [simplify]: iteration  517 :  4207  enodes  (cost  179 )
214.196 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
214.202 * * [simplify]: iteration  518 :  4211  enodes  (cost  179 )
214.554 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
214.561 * * [simplify]: iteration  519 :  4215  enodes  (cost  179 )
214.914 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
214.920 * * [simplify]: iteration  520 :  4219  enodes  (cost  179 )
215.273 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
215.279 * * [simplify]: iteration  521 :  4223  enodes  (cost  179 )
215.632 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
215.639 * * [simplify]: iteration  522 :  4227  enodes  (cost  179 )
215.991 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
215.998 * * [simplify]: iteration  523 :  4231  enodes  (cost  179 )
216.351 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
216.357 * * [simplify]: iteration  524 :  4235  enodes  (cost  179 )
216.710 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
216.717 * * [simplify]: iteration  525 :  4239  enodes  (cost  179 )
217.069 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
217.075 * * [simplify]: iteration  526 :  4243  enodes  (cost  179 )
217.428 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
217.434 * * [simplify]: iteration  527 :  4247  enodes  (cost  179 )
217.787 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
217.793 * * [simplify]: iteration  528 :  4251  enodes  (cost  179 )
218.147 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
218.153 * * [simplify]: iteration  529 :  4255  enodes  (cost  179 )
218.506 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
218.513 * * [simplify]: iteration  530 :  4259  enodes  (cost  179 )
219.092 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
219.098 * * [simplify]: iteration  531 :  4263  enodes  (cost  179 )
219.452 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
219.458 * * [simplify]: iteration  532 :  4267  enodes  (cost  179 )
219.812 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
219.818 * * [simplify]: iteration  533 :  4271  enodes  (cost  179 )
220.170 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
220.177 * * [simplify]: iteration  534 :  4275  enodes  (cost  179 )
220.529 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
220.536 * * [simplify]: iteration  535 :  4279  enodes  (cost  179 )
220.889 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
220.895 * * [simplify]: iteration  536 :  4283  enodes  (cost  179 )
221.248 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
221.254 * * [simplify]: iteration  537 :  4287  enodes  (cost  179 )
221.607 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
221.614 * * [simplify]: iteration  538 :  4291  enodes  (cost  179 )
221.967 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
221.973 * * [simplify]: iteration  539 :  4295  enodes  (cost  179 )
222.326 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
222.333 * * [simplify]: iteration  540 :  4299  enodes  (cost  179 )
222.686 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
222.692 * * [simplify]: iteration  541 :  4303  enodes  (cost  179 )
223.044 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
223.051 * * [simplify]: iteration  542 :  4307  enodes  (cost  179 )
223.403 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
223.410 * * [simplify]: iteration  543 :  4311  enodes  (cost  179 )
223.763 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
223.769 * * [simplify]: iteration  544 :  4315  enodes  (cost  179 )
224.122 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
224.129 * * [simplify]: iteration  545 :  4319  enodes  (cost  179 )
224.482 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
224.488 * * [simplify]: iteration  546 :  4323  enodes  (cost  179 )
224.841 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
224.847 * * [simplify]: iteration  547 :  4327  enodes  (cost  179 )
225.199 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
225.207 * * [simplify]: iteration  548 :  4331  enodes  (cost  179 )
225.559 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
225.565 * * [simplify]: iteration  549 :  4335  enodes  (cost  179 )
225.917 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
225.924 * * [simplify]: iteration  550 :  4339  enodes  (cost  179 )
226.276 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
226.283 * * [simplify]: iteration  551 :  4343  enodes  (cost  179 )
226.636 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
226.643 * * [simplify]: iteration  552 :  4347  enodes  (cost  179 )
226.996 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
227.003 * * [simplify]: iteration  553 :  4351  enodes  (cost  179 )
227.356 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
227.362 * * [simplify]: iteration  554 :  4355  enodes  (cost  179 )
227.715 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
227.721 * * [simplify]: iteration  555 :  4359  enodes  (cost  179 )
228.073 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
228.081 * * [simplify]: iteration  556 :  4363  enodes  (cost  179 )
228.433 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
228.439 * * [simplify]: iteration  557 :  4367  enodes  (cost  179 )
228.792 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
228.798 * * [simplify]: iteration  558 :  4371  enodes  (cost  179 )
229.151 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
229.157 * * [simplify]: iteration  559 :  4375  enodes  (cost  179 )
229.510 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
229.517 * * [simplify]: iteration  560 :  4379  enodes  (cost  179 )
229.870 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
229.876 * * [simplify]: iteration  561 :  4383  enodes  (cost  179 )
230.230 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
230.236 * * [simplify]: iteration  562 :  4387  enodes  (cost  179 )
230.589 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
230.595 * * [simplify]: iteration  563 :  4391  enodes  (cost  179 )
230.948 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
230.955 * * [simplify]: iteration  564 :  4395  enodes  (cost  179 )
231.307 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
231.313 * * [simplify]: iteration  565 :  4399  enodes  (cost  179 )
231.666 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
231.672 * * [simplify]: iteration  566 :  4403  enodes  (cost  179 )
232.025 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
232.031 * * [simplify]: iteration  567 :  4407  enodes  (cost  179 )
232.384 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
232.391 * * [simplify]: iteration  568 :  4411  enodes  (cost  179 )
232.744 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
232.750 * * [simplify]: iteration  569 :  4415  enodes  (cost  179 )
233.104 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
233.110 * * [simplify]: iteration  570 :  4419  enodes  (cost  179 )
233.462 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
233.469 * * [simplify]: iteration  571 :  4423  enodes  (cost  179 )
233.822 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
233.829 * * [simplify]: iteration  572 :  4427  enodes  (cost  179 )
234.181 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
234.187 * * [simplify]: iteration  573 :  4431  enodes  (cost  179 )
234.540 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
234.547 * * [simplify]: iteration  574 :  4435  enodes  (cost  179 )
234.901 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
234.908 * * [simplify]: iteration  575 :  4439  enodes  (cost  179 )
235.405 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
235.416 * * [simplify]: iteration  576 :  4443  enodes  (cost  179 )
236.021 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
236.032 * * [simplify]: iteration  577 :  4447  enodes  (cost  179 )
236.454 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
236.460 * * [simplify]: iteration  578 :  4451  enodes  (cost  179 )
236.813 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
236.821 * * [simplify]: iteration  579 :  4455  enodes  (cost  179 )
237.173 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
237.179 * * [simplify]: iteration  580 :  4459  enodes  (cost  179 )
237.532 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
237.538 * * [simplify]: iteration  581 :  4463  enodes  (cost  179 )
237.891 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
237.897 * * [simplify]: iteration  582 :  4467  enodes  (cost  179 )
238.250 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
238.256 * * [simplify]: iteration  583 :  4471  enodes  (cost  179 )
238.609 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
238.615 * * [simplify]: iteration  584 :  4475  enodes  (cost  179 )
238.968 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
238.975 * * [simplify]: iteration  585 :  4479  enodes  (cost  179 )
239.520 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
239.531 * * [simplify]: iteration  586 :  4483  enodes  (cost  179 )
240.135 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
240.147 * * [simplify]: iteration  587 :  4487  enodes  (cost  179 )
240.522 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
240.528 * * [simplify]: iteration  588 :  4491  enodes  (cost  179 )
240.880 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
240.887 * * [simplify]: iteration  589 :  4495  enodes  (cost  179 )
241.239 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
241.246 * * [simplify]: iteration  590 :  4499  enodes  (cost  179 )
241.599 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
241.605 * * [simplify]: iteration  591 :  4503  enodes  (cost  179 )
241.958 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
241.965 * * [simplify]: iteration  592 :  4507  enodes  (cost  179 )
242.318 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
242.324 * * [simplify]: iteration  593 :  4511  enodes  (cost  179 )
242.677 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
242.683 * * [simplify]: iteration  594 :  4515  enodes  (cost  179 )
243.036 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
243.044 * * [simplify]: iteration  595 :  4519  enodes  (cost  179 )
243.395 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
243.402 * * [simplify]: iteration  596 :  4523  enodes  (cost  179 )
243.754 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
243.761 * * [simplify]: iteration  597 :  4527  enodes  (cost  179 )
244.113 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
244.120 * * [simplify]: iteration  598 :  4531  enodes  (cost  179 )
244.473 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
244.479 * * [simplify]: iteration  599 :  4535  enodes  (cost  179 )
244.832 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
244.838 * * [simplify]: iteration  600 :  4539  enodes  (cost  179 )
245.191 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
245.198 * * [simplify]: iteration  601 :  4543  enodes  (cost  179 )
245.550 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
245.557 * * [simplify]: iteration  602 :  4547  enodes  (cost  179 )
245.908 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
245.916 * * [simplify]: iteration  603 :  4551  enodes  (cost  179 )
246.267 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
246.274 * * [simplify]: iteration  604 :  4555  enodes  (cost  179 )
246.626 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
246.633 * * [simplify]: iteration  605 :  4559  enodes  (cost  179 )
246.987 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
246.994 * * [simplify]: iteration  606 :  4563  enodes  (cost  179 )
247.349 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
247.355 * * [simplify]: iteration  607 :  4567  enodes  (cost  179 )
247.708 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
247.715 * * [simplify]: iteration  608 :  4571  enodes  (cost  179 )
248.067 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
248.074 * * [simplify]: iteration  609 :  4575  enodes  (cost  179 )
248.426 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
248.432 * * [simplify]: iteration  610 :  4579  enodes  (cost  179 )
249.008 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
249.017 * * [simplify]: iteration  611 :  4583  enodes  (cost  179 )
249.368 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
249.375 * * [simplify]: iteration  612 :  4587  enodes  (cost  179 )
249.728 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
249.735 * * [simplify]: iteration  613 :  4591  enodes  (cost  179 )
250.088 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
250.094 * * [simplify]: iteration  614 :  4595  enodes  (cost  179 )
250.447 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
250.453 * * [simplify]: iteration  615 :  4599  enodes  (cost  179 )
250.807 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
250.813 * * [simplify]: iteration  616 :  4603  enodes  (cost  179 )
251.166 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
251.172 * * [simplify]: iteration  617 :  4607  enodes  (cost  179 )
251.524 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
251.531 * * [simplify]: iteration  618 :  4611  enodes  (cost  179 )
251.884 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
251.890 * * [simplify]: iteration  619 :  4615  enodes  (cost  179 )
252.242 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
252.248 * * [simplify]: iteration  620 :  4619  enodes  (cost  179 )
252.601 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
252.608 * * [simplify]: iteration  621 :  4623  enodes  (cost  179 )
252.961 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
252.967 * * [simplify]: iteration  622 :  4627  enodes  (cost  179 )
253.320 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
253.326 * * [simplify]: iteration  623 :  4631  enodes  (cost  179 )
253.679 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
253.686 * * [simplify]: iteration  624 :  4635  enodes  (cost  179 )
254.038 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
254.045 * * [simplify]: iteration  625 :  4639  enodes  (cost  179 )
254.397 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
254.405 * * [simplify]: iteration  626 :  4643  enodes  (cost  179 )
254.757 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
254.763 * * [simplify]: iteration  627 :  4647  enodes  (cost  179 )
255.115 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
255.121 * * [simplify]: iteration  628 :  4651  enodes  (cost  179 )
255.474 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
255.481 * * [simplify]: iteration  629 :  4655  enodes  (cost  179 )
255.834 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
255.840 * * [simplify]: iteration  630 :  4659  enodes  (cost  179 )
256.193 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
256.200 * * [simplify]: iteration  631 :  4663  enodes  (cost  179 )
256.553 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
256.559 * * [simplify]: iteration  632 :  4667  enodes  (cost  179 )
256.912 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
256.918 * * [simplify]: iteration  633 :  4671  enodes  (cost  179 )
257.271 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
257.278 * * [simplify]: iteration  634 :  4675  enodes  (cost  179 )
257.630 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
257.636 * * [simplify]: iteration  635 :  4679  enodes  (cost  179 )
257.988 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
257.995 * * [simplify]: iteration  636 :  4683  enodes  (cost  179 )
258.347 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
258.354 * * [simplify]: iteration  637 :  4687  enodes  (cost  179 )
258.707 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
258.714 * * [simplify]: iteration  638 :  4691  enodes  (cost  179 )
259.067 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
259.073 * * [simplify]: iteration  639 :  4695  enodes  (cost  179 )
259.426 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
259.433 * * [simplify]: iteration  640 :  4699  enodes  (cost  179 )
259.785 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
259.791 * * [simplify]: iteration  641 :  4703  enodes  (cost  179 )
260.144 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
260.151 * * [simplify]: iteration  642 :  4707  enodes  (cost  179 )
260.503 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
260.509 * * [simplify]: iteration  643 :  4711  enodes  (cost  179 )
260.861 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
260.868 * * [simplify]: iteration  644 :  4715  enodes  (cost  179 )
261.221 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
261.227 * * [simplify]: iteration  645 :  4719  enodes  (cost  179 )
261.581 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
261.587 * * [simplify]: iteration  646 :  4723  enodes  (cost  179 )
261.940 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
261.946 * * [simplify]: iteration  647 :  4727  enodes  (cost  179 )
262.300 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
262.307 * * [simplify]: iteration  648 :  4731  enodes  (cost  179 )
262.659 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
262.666 * * [simplify]: iteration  649 :  4735  enodes  (cost  179 )
263.018 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
263.026 * * [simplify]: iteration  650 :  4739  enodes  (cost  179 )
263.604 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
263.615 * * [simplify]: iteration  651 :  4743  enodes  (cost  179 )
264.212 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
264.219 * * [simplify]: iteration  652 :  4747  enodes  (cost  179 )
264.572 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
264.578 * * [simplify]: iteration  653 :  4751  enodes  (cost  179 )
264.931 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
264.938 * * [simplify]: iteration  654 :  4755  enodes  (cost  179 )
265.291 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
265.297 * * [simplify]: iteration  655 :  4759  enodes  (cost  179 )
265.650 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
265.657 * * [simplify]: iteration  656 :  4763  enodes  (cost  179 )
266.009 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
266.016 * * [simplify]: iteration  657 :  4767  enodes  (cost  179 )
266.369 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
266.376 * * [simplify]: iteration  658 :  4771  enodes  (cost  179 )
266.728 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
266.734 * * [simplify]: iteration  659 :  4775  enodes  (cost  179 )
267.087 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
267.093 * * [simplify]: iteration  660 :  4779  enodes  (cost  179 )
267.446 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
267.452 * * [simplify]: iteration  661 :  4783  enodes  (cost  179 )
267.805 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
267.812 * * [simplify]: iteration  662 :  4787  enodes  (cost  179 )
268.307 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
268.313 * * [simplify]: iteration  663 :  4791  enodes  (cost  179 )
268.666 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
268.673 * * [simplify]: iteration  664 :  4795  enodes  (cost  179 )
269.026 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
269.033 * * [simplify]: iteration  665 :  4799  enodes  (cost  179 )
269.385 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
269.392 * * [simplify]: iteration  666 :  4803  enodes  (cost  179 )
269.744 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
269.750 * * [simplify]: iteration  667 :  4807  enodes  (cost  179 )
270.103 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
270.110 * * [simplify]: iteration  668 :  4811  enodes  (cost  179 )
270.463 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
270.469 * * [simplify]: iteration  669 :  4815  enodes  (cost  179 )
270.823 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
270.829 * * [simplify]: iteration  670 :  4819  enodes  (cost  179 )
271.182 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
271.188 * * [simplify]: iteration  671 :  4823  enodes  (cost  179 )
271.541 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
271.547 * * [simplify]: iteration  672 :  4827  enodes  (cost  179 )
271.900 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
271.907 * * [simplify]: iteration  673 :  4831  enodes  (cost  179 )
272.260 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
272.266 * * [simplify]: iteration  674 :  4835  enodes  (cost  179 )
272.618 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
272.625 * * [simplify]: iteration  675 :  4839  enodes  (cost  179 )
272.977 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
272.984 * * [simplify]: iteration  676 :  4843  enodes  (cost  179 )
273.337 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
273.343 * * [simplify]: iteration  677 :  4847  enodes  (cost  179 )
273.697 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
273.703 * * [simplify]: iteration  678 :  4851  enodes  (cost  179 )
274.056 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
274.063 * * [simplify]: iteration  679 :  4855  enodes  (cost  179 )
274.415 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
274.422 * * [simplify]: iteration  680 :  4859  enodes  (cost  179 )
274.774 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
274.782 * * [simplify]: iteration  681 :  4863  enodes  (cost  179 )
275.134 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
275.140 * * [simplify]: iteration  682 :  4867  enodes  (cost  179 )
275.493 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
275.499 * * [simplify]: iteration  683 :  4871  enodes  (cost  179 )
275.852 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
275.858 * * [simplify]: iteration  684 :  4875  enodes  (cost  179 )
276.212 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
276.218 * * [simplify]: iteration  685 :  4879  enodes  (cost  179 )
276.572 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
276.579 * * [simplify]: iteration  686 :  4883  enodes  (cost  179 )
276.931 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
276.938 * * [simplify]: iteration  687 :  4887  enodes  (cost  179 )
277.290 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
277.297 * * [simplify]: iteration  688 :  4891  enodes  (cost  179 )
277.649 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
277.657 * * [simplify]: iteration  689 :  4895  enodes  (cost  179 )
278.009 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
278.015 * * [simplify]: iteration  690 :  4899  enodes  (cost  179 )
278.368 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
278.374 * * [simplify]: iteration  691 :  4903  enodes  (cost  179 )
278.953 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
278.960 * * [simplify]: iteration  692 :  4907  enodes  (cost  179 )
279.314 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
279.320 * * [simplify]: iteration  693 :  4911  enodes  (cost  179 )
279.674 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
279.681 * * [simplify]: iteration  694 :  4915  enodes  (cost  179 )
280.034 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
280.040 * * [simplify]: iteration  695 :  4919  enodes  (cost  179 )
280.393 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
280.399 * * [simplify]: iteration  696 :  4923  enodes  (cost  179 )
280.752 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
280.759 * * [simplify]: iteration  697 :  4927  enodes  (cost  179 )
281.111 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
281.117 * * [simplify]: iteration  698 :  4931  enodes  (cost  179 )
281.470 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
281.476 * * [simplify]: iteration  699 :  4935  enodes  (cost  179 )
281.829 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
281.835 * * [simplify]: iteration  700 :  4939  enodes  (cost  179 )
282.188 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
282.195 * * [simplify]: iteration  701 :  4943  enodes  (cost  179 )
282.548 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
282.554 * * [simplify]: iteration  702 :  4947  enodes  (cost  179 )
282.907 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
282.913 * * [simplify]: iteration  703 :  4951  enodes  (cost  179 )
283.266 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
283.274 * * [simplify]: iteration  704 :  4955  enodes  (cost  179 )
283.626 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
283.632 * * [simplify]: iteration  705 :  4959  enodes  (cost  179 )
283.984 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
283.991 * * [simplify]: iteration  706 :  4963  enodes  (cost  179 )
284.343 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
284.350 * * [simplify]: iteration  707 :  4967  enodes  (cost  179 )
284.703 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
284.709 * * [simplify]: iteration  708 :  4971  enodes  (cost  179 )
285.062 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
285.068 * * [simplify]: iteration  709 :  4975  enodes  (cost  179 )
285.421 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
285.428 * * [simplify]: iteration  710 :  4979  enodes  (cost  179 )
285.781 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
285.788 * * [simplify]: iteration  711 :  4983  enodes  (cost  179 )
286.140 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
286.148 * * [simplify]: iteration  712 :  4987  enodes  (cost  179 )
286.500 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
286.506 * * [simplify]: iteration  713 :  4991  enodes  (cost  179 )
286.858 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
286.865 * * [simplify]: iteration  714 :  4995  enodes  (cost  179 )
287.217 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
287.224 * * [simplify]: iteration  715 :  4999  enodes  (cost  179 )
287.539 * * [simplify]: Extracting # 0 : cost  0  inf +  8061
287.545 * * [simplify]: iteration done:  5000  enodes  (cost  179 )
287.545 * [simplify]: Simplified to:
  (* (fma 2 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) 2.0))
287.548 * * [progress]: iteration 1 / 4
287.548 * * * [progress]: picking best candidate
287.550 * * * * [pick]: Picked  #<alt (λ () (* (fma 2 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) 2.0)))>
287.550 * * * [progress]: localizing error
287.558 * * * [progress]: generating rewritten candidates
287.558 * * * [progress]: generating series expansions
287.558 * * * [progress]: simplifying candidates
287.558 * [simplify]: Simplifying:
  
287.558 * * [simplify]: Extracting # 0 : cost  0  inf +  0
287.558 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
287.558 * * [simplify]: Extracting # 0 : cost  0  inf +  0
287.558 * * [simplify]: iteration done:  0  enodes  (cost  0 )
287.558 * [simplify]: Simplified to:
  
287.558 * * * [progress]: adding candidates to table
287.558 * [progress]: [Phase 3 of 3] Extracting.
287.561 * [simplify]: Simplifying:
  (* (fma 2 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) 2.0))
287.561 * * [simplify]: Extracting # 0 : cost  1  inf +  0
287.561 * * [simplify]: Extracting # 1 : cost  3  inf +  0
287.561 * * [simplify]: Extracting # 2 : cost  7  inf +  0
287.561 * * [simplify]: Extracting # 3 : cost  5  inf +  3
287.561 * * [simplify]: Extracting # 4 : cost  0  inf +  406
287.561 * * [simplify]: iteration  0 :  8  enodes  (cost  179 )
287.562 * * [simplify]: Extracting # 0 : cost  0  inf +  406
287.562 * * [simplify]: iteration  1 :  10  enodes  (cost  179 )
287.562 * * [simplify]: Extracting # 0 : cost  0  inf +  406
287.562 * * [simplify]: iteration done:  10  enodes  (cost  179 )
287.562 * [simplify]: Simplified to:
  (* (fma 2 1.0 (/ 1.0 9.0)) (* (/ 1.0 9.0) 2.0))
288.077 * [regime-testing]: Baseline error score: 0
288.085 * [regime-testing]: Oracle error score: 0
288.085 * [regime-testing]: End program error score: 0
288.132 * [regime-testing]: Target error score: 0