67.886 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.033 * * * [progress]: [2/2] Setting up program.
0.038 * [progress]: [Phase 2 of 3] Improving.
0.038 * [simplify]: Simplifying:
  (+ x (* x x))
0.038 * * [simplify]: iteration 0: 3 enodes
0.040 * * [simplify]: iteration 1: 7 enodes
0.042 * * [simplify]: iteration 2: 12 enodes
0.046 * * [simplify]: iteration 3: 18 enodes
0.054 * * [simplify]: iteration 4: 31 enodes
0.062 * * [simplify]: iteration 5: 74 enodes
0.097 * * [simplify]: iteration 6: 94 enodes
0.114 * * [simplify]: iteration 7: 119 enodes
0.144 * * [simplify]: iteration 8: 143 enodes
0.181 * * [simplify]: iteration 9: 160 enodes
0.210 * * [simplify]: iteration 10: 174 enodes
0.237 * * [simplify]: iteration 11: 191 enodes
0.269 * * [simplify]: iteration 12: 205 enodes
0.301 * * [simplify]: iteration 13: 222 enodes
0.334 * * [simplify]: iteration 14: 236 enodes
0.363 * * [simplify]: iteration 15: 253 enodes
0.396 * * [simplify]: iteration 16: 267 enodes
0.430 * * [simplify]: iteration 17: 284 enodes
0.470 * * [simplify]: iteration 18: 298 enodes
0.504 * * [simplify]: iteration 19: 315 enodes
0.550 * * [simplify]: iteration 20: 329 enodes
0.586 * * [simplify]: iteration 21: 346 enodes
0.638 * * [simplify]: iteration 22: 360 enodes
0.673 * * [simplify]: iteration 23: 377 enodes
0.725 * * [simplify]: iteration 24: 391 enodes
0.770 * * [simplify]: iteration 25: 408 enodes
0.831 * * [simplify]: iteration 26: 422 enodes
0.882 * * [simplify]: iteration 27: 439 enodes
0.941 * * [simplify]: iteration 28: 453 enodes
0.980 * * [simplify]: iteration 29: 470 enodes
1.041 * * [simplify]: iteration 30: 484 enodes
1.096 * * [simplify]: iteration 31: 501 enodes
1.176 * * [simplify]: iteration 32: 515 enodes
1.226 * * [simplify]: iteration 33: 532 enodes
1.297 * * [simplify]: iteration 34: 546 enodes
1.360 * * [simplify]: iteration 35: 563 enodes
1.450 * * [simplify]: iteration 36: 577 enodes
1.515 * * [simplify]: iteration 37: 594 enodes
1.614 * * [simplify]: iteration 38: 608 enodes
1.679 * * [simplify]: iteration 39: 625 enodes
1.785 * * [simplify]: iteration 40: 639 enodes
1.855 * * [simplify]: iteration 41: 656 enodes
1.965 * * [simplify]: iteration 42: 670 enodes
2.031 * * [simplify]: iteration 43: 687 enodes
2.144 * * [simplify]: iteration 44: 701 enodes
2.215 * * [simplify]: iteration 45: 718 enodes
2.338 * * [simplify]: iteration 46: 732 enodes
2.413 * * [simplify]: iteration 47: 749 enodes
2.542 * * [simplify]: iteration 48: 763 enodes
2.613 * * [simplify]: iteration 49: 780 enodes
2.739 * * [simplify]: iteration 50: 794 enodes
2.825 * * [simplify]: iteration 51: 811 enodes
2.945 * * [simplify]: iteration 52: 825 enodes
3.021 * * [simplify]: iteration 53: 842 enodes
3.174 * * [simplify]: iteration 54: 856 enodes
3.270 * * [simplify]: iteration 55: 873 enodes
3.417 * * [simplify]: iteration 56: 887 enodes
3.505 * * [simplify]: iteration 57: 904 enodes
3.661 * * [simplify]: iteration 58: 918 enodes
3.751 * * [simplify]: iteration 59: 935 enodes
3.890 * * [simplify]: iteration 60: 949 enodes
3.982 * * [simplify]: iteration 61: 966 enodes
4.163 * * [simplify]: iteration 62: 980 enodes
4.267 * * [simplify]: iteration 63: 997 enodes
4.588 * * [simplify]: iteration 64: 1011 enodes
4.693 * * [simplify]: iteration 65: 1028 enodes
4.937 * * [simplify]: iteration 66: 1042 enodes
5.045 * * [simplify]: iteration 67: 1059 enodes
5.214 * * [simplify]: iteration 68: 1073 enodes
5.325 * * [simplify]: iteration 69: 1090 enodes
5.539 * * [simplify]: iteration 70: 1104 enodes
5.778 * * [simplify]: iteration 71: 1121 enodes
6.012 * * [simplify]: iteration 72: 1135 enodes
6.295 * * [simplify]: iteration 73: 1152 enodes
6.525 * * [simplify]: iteration 74: 1166 enodes
6.629 * * [simplify]: iteration 75: 1183 enodes
6.873 * * [simplify]: iteration 76: 1197 enodes
7.003 * * [simplify]: iteration 77: 1214 enodes
7.333 * * [simplify]: iteration 78: 1228 enodes
7.464 * * [simplify]: iteration 79: 1245 enodes
7.778 * * [simplify]: iteration 80: 1259 enodes
7.928 * * [simplify]: iteration 81: 1276 enodes
8.188 * * [simplify]: iteration 82: 1290 enodes
8.301 * * [simplify]: iteration 83: 1307 enodes
8.606 * * [simplify]: iteration 84: 1321 enodes
8.733 * * [simplify]: iteration 85: 1338 enodes
9.034 * * [simplify]: iteration 86: 1352 enodes
9.167 * * [simplify]: iteration 87: 1369 enodes
9.466 * * [simplify]: iteration 88: 1383 enodes
9.824 * * [simplify]: iteration 89: 1400 enodes
10.319 * * [simplify]: iteration 90: 1414 enodes
10.464 * * [simplify]: iteration 91: 1431 enodes
10.823 * * [simplify]: iteration 92: 1445 enodes
10.965 * * [simplify]: iteration 93: 1462 enodes
11.292 * * [simplify]: iteration 94: 1476 enodes
11.430 * * [simplify]: iteration 95: 1493 enodes
11.797 * * [simplify]: iteration 96: 1507 enodes
11.950 * * [simplify]: iteration 97: 1524 enodes
12.319 * * [simplify]: iteration 98: 1538 enodes
12.476 * * [simplify]: iteration 99: 1555 enodes
12.853 * * [simplify]: iteration 100: 1569 enodes
13.010 * * [simplify]: iteration 101: 1586 enodes
13.395 * * [simplify]: iteration 102: 1600 enodes
13.553 * * [simplify]: iteration 103: 1617 enodes
14.083 * * [simplify]: iteration 104: 1631 enodes
14.247 * * [simplify]: iteration 105: 1648 enodes
14.893 * * [simplify]: iteration 106: 1662 enodes
15.056 * * [simplify]: iteration 107: 1679 enodes
16.179 * * [simplify]: iteration 108: 1693 enodes
16.702 * * [simplify]: iteration 109: 1710 enodes
17.135 * * [simplify]: iteration 110: 1724 enodes
17.487 * * [simplify]: iteration 111: 1741 enodes
18.028 * * [simplify]: iteration 112: 1755 enodes
18.191 * * [simplify]: iteration 113: 1772 enodes
18.884 * * [simplify]: iteration 114: 1786 enodes
19.210 * * [simplify]: iteration 115: 1803 enodes
21.211 * * [simplify]: iteration 116: 1817 enodes
21.505 * * [simplify]: iteration 117: 1834 enodes
22.016 * * [simplify]: iteration 118: 1848 enodes
22.580 * * [simplify]: iteration 119: 1865 enodes
23.695 * * [simplify]: iteration 120: 1879 enodes
23.921 * * [simplify]: iteration 121: 1896 enodes
24.459 * * [simplify]: iteration 122: 1910 enodes
24.657 * * [simplify]: iteration 123: 1927 enodes
25.218 * * [simplify]: iteration 124: 1941 enodes
25.441 * * [simplify]: iteration 125: 1958 enodes
26.027 * * [simplify]: iteration 126: 1972 enodes
26.235 * * [simplify]: iteration 127: 1989 enodes
26.829 * * [simplify]: iteration 128: 2003 enodes
27.044 * * [simplify]: iteration 129: 2020 enodes
27.784 * * [simplify]: iteration 130: 2034 enodes
28.017 * * [simplify]: iteration 131: 2051 enodes
29.989 * * [simplify]: iteration 132: 2065 enodes
30.379 * * [simplify]: iteration 133: 2082 enodes
31.246 * * [simplify]: iteration 134: 2096 enodes
31.585 * * [simplify]: iteration 135: 2113 enodes
32.294 * * [simplify]: iteration 136: 2127 enodes
32.503 * * [simplify]: iteration 137: 2144 enodes
33.120 * * [simplify]: iteration 138: 2158 enodes
33.339 * * [simplify]: iteration 139: 2175 enodes
33.975 * * [simplify]: iteration 140: 2189 enodes
34.184 * * [simplify]: iteration 141: 2206 enodes
34.939 * * [simplify]: iteration 142: 2220 enodes
35.138 * * [simplify]: iteration 143: 2237 enodes
35.818 * * [simplify]: iteration 144: 2251 enodes
36.133 * * [simplify]: iteration 145: 2268 enodes
37.026 * * [simplify]: iteration 146: 2282 enodes
37.241 * * [simplify]: iteration 147: 2299 enodes
38.039 * * [simplify]: iteration 148: 2313 enodes
38.277 * * [simplify]: iteration 149: 2330 enodes
39.257 * * [simplify]: iteration 150: 2344 enodes
39.502 * * [simplify]: iteration 151: 2361 enodes
40.226 * * [simplify]: iteration 152: 2375 enodes
40.499 * * [simplify]: iteration 153: 2392 enodes
41.511 * * [simplify]: iteration 154: 2406 enodes
41.763 * * [simplify]: iteration 155: 2423 enodes
42.617 * * [simplify]: iteration 156: 2437 enodes
42.843 * * [simplify]: iteration 157: 2454 enodes
43.580 * * [simplify]: iteration 158: 2468 enodes
43.814 * * [simplify]: iteration 159: 2485 enodes
44.885 * * [simplify]: iteration 160: 2499 enodes
45.260 * * [simplify]: iteration 161: 2516 enodes
46.305 * * [simplify]: iteration 162: 2530 enodes
46.572 * * [simplify]: iteration 163: 2547 enodes
47.721 * * [simplify]: iteration 164: 2561 enodes
47.992 * * [simplify]: iteration 165: 2578 enodes
48.815 * * [simplify]: iteration 166: 2592 enodes
49.074 * * [simplify]: iteration 167: 2609 enodes
50.264 * * [simplify]: iteration 168: 2623 enodes
50.528 * * [simplify]: iteration 169: 2640 enodes
51.441 * * [simplify]: iteration 170: 2654 enodes
51.701 * * [simplify]: iteration 171: 2671 enodes
52.823 * * [simplify]: iteration 172: 2685 enodes
53.113 * * [simplify]: iteration 173: 2702 enodes
54.086 * * [simplify]: iteration 174: 2716 enodes
54.350 * * [simplify]: iteration 175: 2733 enodes
55.798 * * [simplify]: iteration 176: 2747 enodes
56.076 * * [simplify]: iteration 177: 2764 enodes
57.077 * * [simplify]: iteration 178: 2778 enodes
57.378 * * [simplify]: iteration 179: 2795 enodes
58.465 * * [simplify]: iteration 180: 2809 enodes
58.749 * * [simplify]: iteration 181: 2826 enodes
59.897 * * [simplify]: iteration 182: 2840 enodes
60.215 * * [simplify]: iteration 183: 2857 enodes
61.292 * * [simplify]: iteration 184: 2871 enodes
61.579 * * [simplify]: iteration 185: 2888 enodes
62.659 * * [simplify]: iteration 186: 2902 enodes
62.983 * * [simplify]: iteration 187: 2919 enodes
64.139 * * [simplify]: iteration 188: 2933 enodes
64.646 * * [simplify]: iteration 189: 2950 enodes
65.863 * * [simplify]: iteration 190: 2964 enodes
66.144 * * [simplify]: iteration 191: 2981 enodes
67.397 * * [simplify]: iteration 192: 2995 enodes
67.708 * * [simplify]: iteration 193: 3012 enodes
69.063 * * [simplify]: iteration 194: 3026 enodes
69.522 * * [simplify]: iteration 195: 3043 enodes
70.707 * * [simplify]: iteration 196: 3057 enodes
71.011 * * [simplify]: iteration 197: 3074 enodes
72.289 * * [simplify]: iteration 198: 3088 enodes
72.607 * * [simplify]: iteration 199: 3105 enodes
73.906 * * [simplify]: iteration 200: 3119 enodes
74.225 * * [simplify]: iteration 201: 3136 enodes
75.688 * * [simplify]: iteration 202: 3150 enodes
75.999 * * [simplify]: iteration 203: 3167 enodes
77.290 * * [simplify]: iteration 204: 3181 enodes
77.587 * * [simplify]: iteration 205: 3198 enodes
78.825 * * [simplify]: iteration 206: 3212 enodes
79.145 * * [simplify]: iteration 207: 3229 enodes
80.535 * * [simplify]: iteration 208: 3243 enodes
80.864 * * [simplify]: iteration 209: 3260 enodes
82.215 * * [simplify]: iteration 210: 3274 enodes
82.553 * * [simplify]: iteration 211: 3291 enodes
83.917 * * [simplify]: iteration 212: 3305 enodes
84.255 * * [simplify]: iteration 213: 3322 enodes
85.669 * * [simplify]: iteration 214: 3336 enodes
85.977 * * [simplify]: iteration 215: 3353 enodes
87.383 * * [simplify]: iteration 216: 3367 enodes
87.743 * * [simplify]: iteration 217: 3384 enodes
89.113 * * [simplify]: iteration 218: 3398 enodes
89.416 * * [simplify]: iteration 219: 3415 enodes
90.874 * * [simplify]: iteration 220: 3429 enodes
91.226 * * [simplify]: iteration 221: 3446 enodes
93.180 * * [simplify]: iteration 222: 3460 enodes
93.498 * * [simplify]: iteration 223: 3477 enodes
94.919 * * [simplify]: iteration 224: 3491 enodes
95.223 * * [simplify]: iteration 225: 3508 enodes
96.636 * * [simplify]: iteration 226: 3522 enodes
96.989 * * [simplify]: iteration 227: 3539 enodes
98.442 * * [simplify]: iteration 228: 3553 enodes
98.789 * * [simplify]: iteration 229: 3570 enodes
100.307 * * [simplify]: iteration 230: 3584 enodes
100.656 * * [simplify]: iteration 231: 3601 enodes
102.249 * * [simplify]: iteration 232: 3615 enodes
102.626 * * [simplify]: iteration 233: 3632 enodes
104.267 * * [simplify]: iteration 234: 3646 enodes
104.597 * * [simplify]: iteration 235: 3663 enodes
106.112 * * [simplify]: iteration 236: 3677 enodes
106.464 * * [simplify]: iteration 237: 3694 enodes
108.048 * * [simplify]: iteration 238: 3708 enodes
108.421 * * [simplify]: iteration 239: 3725 enodes
110.008 * * [simplify]: iteration 240: 3739 enodes
110.360 * * [simplify]: iteration 241: 3756 enodes
111.994 * * [simplify]: iteration 242: 3770 enodes
112.317 * * [simplify]: iteration 243: 3787 enodes
114.004 * * [simplify]: iteration 244: 3801 enodes
114.365 * * [simplify]: iteration 245: 3818 enodes
116.093 * * [simplify]: iteration 246: 3832 enodes
116.485 * * [simplify]: iteration 247: 3849 enodes
118.135 * * [simplify]: iteration 248: 3863 enodes
118.513 * * [simplify]: iteration 249: 3880 enodes
120.222 * * [simplify]: iteration 250: 3894 enodes
120.615 * * [simplify]: iteration 251: 3911 enodes
122.444 * * [simplify]: iteration 252: 3925 enodes
122.831 * * [simplify]: iteration 253: 3942 enodes
124.618 * * [simplify]: iteration 254: 3956 enodes
124.990 * * [simplify]: iteration 255: 3973 enodes
126.858 * * [simplify]: iteration 256: 3987 enodes
127.279 * * [simplify]: iteration 257: 4004 enodes
129.107 * * [simplify]: iteration 258: 4018 enodes
129.488 * * [simplify]: iteration 259: 4035 enodes
131.345 * * [simplify]: iteration 260: 4049 enodes
131.782 * * [simplify]: iteration 261: 4066 enodes
133.675 * * [simplify]: iteration 262: 4080 enodes
134.089 * * [simplify]: iteration 263: 4097 enodes
136.058 * * [simplify]: iteration 264: 4111 enodes
136.459 * * [simplify]: iteration 265: 4128 enodes
138.386 * * [simplify]: iteration 266: 4142 enodes
138.802 * * [simplify]: iteration 267: 4159 enodes
140.859 * * [simplify]: iteration 268: 4173 enodes
141.283 * * [simplify]: iteration 269: 4190 enodes
143.321 * * [simplify]: iteration 270: 4204 enodes
143.709 * * [simplify]: iteration 271: 4221 enodes
145.718 * * [simplify]: iteration 272: 4235 enodes
146.137 * * [simplify]: iteration 273: 4252 enodes
148.230 * * [simplify]: iteration 274: 4266 enodes
148.673 * * [simplify]: iteration 275: 4283 enodes
150.781 * * [simplify]: iteration 276: 4297 enodes
151.191 * * [simplify]: iteration 277: 4314 enodes
153.353 * * [simplify]: iteration 278: 4328 enodes
153.826 * * [simplify]: iteration 279: 4345 enodes
156.451 * * [simplify]: iteration 280: 4359 enodes
156.805 * * [simplify]: iteration 281: 4376 enodes
158.813 * * [simplify]: iteration 282: 4390 enodes
159.218 * * [simplify]: iteration 283: 4407 enodes
161.271 * * [simplify]: iteration 284: 4421 enodes
161.694 * * [simplify]: iteration 285: 4438 enodes
163.824 * * [simplify]: iteration 286: 4452 enodes
164.251 * * [simplify]: iteration 287: 4469 enodes
166.422 * * [simplify]: iteration 288: 4483 enodes
166.836 * * [simplify]: iteration 289: 4500 enodes
169.032 * * [simplify]: iteration 290: 4514 enodes
169.473 * * [simplify]: iteration 291: 4531 enodes
171.721 * * [simplify]: iteration 292: 4545 enodes
172.133 * * [simplify]: iteration 293: 4562 enodes
174.356 * * [simplify]: iteration 294: 4576 enodes
174.747 * * [simplify]: iteration 295: 4593 enodes
177.004 * * [simplify]: iteration 296: 4607 enodes
177.449 * * [simplify]: iteration 297: 4624 enodes
179.605 * * [simplify]: iteration 298: 4638 enodes
180.050 * * [simplify]: iteration 299: 4655 enodes
182.298 * * [simplify]: iteration 300: 4669 enodes
182.727 * * [simplify]: iteration 301: 4686 enodes
185.177 * * [simplify]: iteration 302: 4700 enodes
185.646 * * [simplify]: iteration 303: 4717 enodes
188.102 * * [simplify]: iteration 304: 4731 enodes
188.603 * * [simplify]: iteration 305: 4748 enodes
191.125 * * [simplify]: iteration 306: 4762 enodes
191.568 * * [simplify]: iteration 307: 4779 enodes
194.215 * * [simplify]: iteration 308: 4793 enodes
194.717 * * [simplify]: iteration 309: 4810 enodes
197.231 * * [simplify]: iteration 310: 4824 enodes
197.733 * * [simplify]: iteration 311: 4841 enodes
200.324 * * [simplify]: iteration 312: 4855 enodes
200.884 * * [simplify]: iteration 313: 4872 enodes
203.599 * * [simplify]: iteration 314: 4886 enodes
204.155 * * [simplify]: iteration 315: 4903 enodes
206.796 * * [simplify]: iteration 316: 4917 enodes
207.391 * * [simplify]: iteration 317: 4934 enodes
210.092 * * [simplify]: iteration 318: 4948 enodes
211.298 * * [simplify]: iteration 319: 4965 enodes
214.132 * * [simplify]: iteration 320: 4979 enodes
222.622 * * [simplify]: iteration 321: 4999 enodes
226.891 * * [simplify]: iteration complete: 5001 enodes
226.891 * * [simplify]: Extracting #0: cost 1 inf + 0
226.892 * * [simplify]: Extracting #1: cost 337 inf + 0
226.897 * * [simplify]: Extracting #2: cost 80 inf + 10477
226.906 * * [simplify]: Extracting #3: cost 0 inf + 13761
226.915 * [simplify]: Simplified to:
  (fma x x x)
226.923 * * [progress]: iteration 1 / 4
226.923 * * * [progress]: picking best candidate
226.928 * * * * [pick]: Picked  #<alt (λ (x) (fma x x x))>
226.928 * * * [progress]: localizing error
226.936 * * * [progress]: generating rewritten candidates
226.936 * * * [progress]: generating series expansions
226.936 * * * [progress]: simplifying candidates
226.936 * [simplify]: Simplifying:
  
226.936 * * [simplify]: iteration 0: 0 enodes
226.936 * * [simplify]: iteration complete: 0 enodes
226.936 * * [simplify]: Extracting #0: cost 0 inf + 0
226.936 * [simplify]: Simplified to:
  
226.936 * * * [progress]: adding candidates to table
226.937 * [progress]: [Phase 3 of 3] Extracting.
226.949 * [simplify]: Simplifying:
  (fma x x x)
226.949 * * [simplify]: iteration 0: 2 enodes
226.949 * * [simplify]: iteration complete: 2 enodes
226.949 * * [simplify]: Extracting #0: cost 1 inf + 0
226.949 * * [simplify]: Extracting #1: cost 2 inf + 0
226.949 * * [simplify]: Extracting #2: cost 0 inf + 57
226.949 * [simplify]: Simplified to:
  (fma x x x)
227.926 * [regime-testing]: Baseline error score: 0
227.941 * [regime-testing]: Oracle error score: 0
227.941 * [regime-testing]: End program error score: 0
228.073 * [regime-testing]: Target error score: 0.01962745343167896