88.864 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.027 * [simplify]: Simplifying:
  (+ x (* x x))
0.037 * * [simplify]: iteration 0: 3 enodes
0.042 * * [simplify]: iteration 1: 7 enodes
0.045 * * [simplify]: iteration 2: 12 enodes
0.049 * * [simplify]: iteration 3: 18 enodes
0.058 * * [simplify]: iteration 4: 31 enodes
0.066 * * [simplify]: iteration 5: 74 enodes
0.092 * * [simplify]: iteration 6: 94 enodes
0.108 * * [simplify]: iteration 7: 119 enodes
0.140 * * [simplify]: iteration 8: 143 enodes
0.165 * * [simplify]: iteration 9: 160 enodes
0.192 * * [simplify]: iteration 10: 174 enodes
0.220 * * [simplify]: iteration 11: 191 enodes
0.254 * * [simplify]: iteration 12: 205 enodes
0.290 * * [simplify]: iteration 13: 222 enodes
0.325 * * [simplify]: iteration 14: 236 enodes
0.354 * * [simplify]: iteration 15: 253 enodes
0.395 * * [simplify]: iteration 16: 267 enodes
0.431 * * [simplify]: iteration 17: 284 enodes
0.476 * * [simplify]: iteration 18: 298 enodes
0.517 * * [simplify]: iteration 19: 315 enodes
0.562 * * [simplify]: iteration 20: 329 enodes
0.600 * * [simplify]: iteration 21: 346 enodes
0.654 * * [simplify]: iteration 22: 360 enodes
0.696 * * [simplify]: iteration 23: 377 enodes
0.755 * * [simplify]: iteration 24: 391 enodes
0.796 * * [simplify]: iteration 25: 408 enodes
0.860 * * [simplify]: iteration 26: 422 enodes
0.910 * * [simplify]: iteration 27: 439 enodes
0.972 * * [simplify]: iteration 28: 453 enodes
1.026 * * [simplify]: iteration 29: 470 enodes
1.103 * * [simplify]: iteration 30: 484 enodes
1.174 * * [simplify]: iteration 31: 501 enodes
1.256 * * [simplify]: iteration 32: 515 enodes
1.314 * * [simplify]: iteration 33: 532 enodes
1.403 * * [simplify]: iteration 34: 546 enodes
1.468 * * [simplify]: iteration 35: 563 enodes
1.561 * * [simplify]: iteration 36: 577 enodes
1.616 * * [simplify]: iteration 37: 594 enodes
1.696 * * [simplify]: iteration 38: 608 enodes
1.764 * * [simplify]: iteration 39: 625 enodes
1.871 * * [simplify]: iteration 40: 639 enodes
1.939 * * [simplify]: iteration 41: 656 enodes
2.052 * * [simplify]: iteration 42: 670 enodes
2.125 * * [simplify]: iteration 43: 687 enodes
2.246 * * [simplify]: iteration 44: 701 enodes
2.341 * * [simplify]: iteration 45: 718 enodes
2.582 * * [simplify]: iteration 46: 732 enodes
2.671 * * [simplify]: iteration 47: 749 enodes
2.791 * * [simplify]: iteration 48: 763 enodes
2.867 * * [simplify]: iteration 49: 780 enodes
3.073 * * [simplify]: iteration 50: 794 enodes
3.147 * * [simplify]: iteration 51: 811 enodes
3.404 * * [simplify]: iteration 52: 825 enodes
3.480 * * [simplify]: iteration 53: 842 enodes
3.616 * * [simplify]: iteration 54: 856 enodes
3.706 * * [simplify]: iteration 55: 873 enodes
3.872 * * [simplify]: iteration 56: 887 enodes
4.035 * * [simplify]: iteration 57: 904 enodes
4.447 * * [simplify]: iteration 58: 918 enodes
4.558 * * [simplify]: iteration 59: 935 enodes
4.874 * * [simplify]: iteration 60: 949 enodes
4.976 * * [simplify]: iteration 61: 966 enodes
5.174 * * [simplify]: iteration 62: 980 enodes
5.296 * * [simplify]: iteration 63: 997 enodes
5.530 * * [simplify]: iteration 64: 1011 enodes
5.660 * * [simplify]: iteration 65: 1028 enodes
5.878 * * [simplify]: iteration 66: 1042 enodes
6.099 * * [simplify]: iteration 67: 1059 enodes
6.325 * * [simplify]: iteration 68: 1073 enodes
6.434 * * [simplify]: iteration 69: 1090 enodes
6.675 * * [simplify]: iteration 70: 1104 enodes
6.792 * * [simplify]: iteration 71: 1121 enodes
7.654 * * [simplify]: iteration 72: 1135 enodes
7.811 * * [simplify]: iteration 73: 1152 enodes
8.025 * * [simplify]: iteration 74: 1166 enodes
8.273 * * [simplify]: iteration 75: 1183 enodes
8.516 * * [simplify]: iteration 76: 1197 enodes
8.642 * * [simplify]: iteration 77: 1214 enodes
8.881 * * [simplify]: iteration 78: 1228 enodes
9.009 * * [simplify]: iteration 79: 1245 enodes
9.286 * * [simplify]: iteration 80: 1259 enodes
9.421 * * [simplify]: iteration 81: 1276 enodes
9.796 * * [simplify]: iteration 82: 1290 enodes
9.922 * * [simplify]: iteration 83: 1307 enodes
10.246 * * [simplify]: iteration 84: 1321 enodes
10.616 * * [simplify]: iteration 85: 1338 enodes
11.490 * * [simplify]: iteration 86: 1352 enodes
11.625 * * [simplify]: iteration 87: 1369 enodes
12.520 * * [simplify]: iteration 88: 1383 enodes
13.133 * * [simplify]: iteration 89: 1400 enodes
13.652 * * [simplify]: iteration 90: 1414 enodes
13.798 * * [simplify]: iteration 91: 1431 enodes
14.133 * * [simplify]: iteration 92: 1445 enodes
14.293 * * [simplify]: iteration 93: 1462 enodes
14.770 * * [simplify]: iteration 94: 1476 enodes
14.934 * * [simplify]: iteration 95: 1493 enodes
15.430 * * [simplify]: iteration 96: 1507 enodes
15.581 * * [simplify]: iteration 97: 1524 enodes
15.914 * * [simplify]: iteration 98: 1538 enodes
16.173 * * [simplify]: iteration 99: 1555 enodes
16.705 * * [simplify]: iteration 100: 1569 enodes
17.028 * * [simplify]: iteration 101: 1586 enodes
17.430 * * [simplify]: iteration 102: 1600 enodes
17.606 * * [simplify]: iteration 103: 1617 enodes
18.670 * * [simplify]: iteration 104: 1631 enodes
19.044 * * [simplify]: iteration 105: 1648 enodes
19.473 * * [simplify]: iteration 106: 1662 enodes
19.845 * * [simplify]: iteration 107: 1679 enodes
20.647 * * [simplify]: iteration 108: 1693 enodes
20.843 * * [simplify]: iteration 109: 1710 enodes
21.636 * * [simplify]: iteration 110: 1724 enodes
22.319 * * [simplify]: iteration 111: 1741 enodes
23.772 * * [simplify]: iteration 112: 1755 enodes
23.951 * * [simplify]: iteration 113: 1772 enodes
24.665 * * [simplify]: iteration 114: 1786 enodes
25.441 * * [simplify]: iteration 115: 1803 enodes
27.155 * * [simplify]: iteration 116: 1817 enodes
27.802 * * [simplify]: iteration 117: 1834 enodes
28.669 * * [simplify]: iteration 118: 1848 enodes
28.858 * * [simplify]: iteration 119: 1865 enodes
29.399 * * [simplify]: iteration 120: 1879 enodes
29.856 * * [simplify]: iteration 121: 1896 enodes
30.539 * * [simplify]: iteration 122: 1910 enodes
30.731 * * [simplify]: iteration 123: 1927 enodes
32.340 * * [simplify]: iteration 124: 1941 enodes
33.025 * * [simplify]: iteration 125: 1958 enodes
34.263 * * [simplify]: iteration 126: 1972 enodes
34.474 * * [simplify]: iteration 127: 1989 enodes
36.141 * * [simplify]: iteration 128: 2003 enodes
36.590 * * [simplify]: iteration 129: 2020 enodes
37.294 * * [simplify]: iteration 130: 2034 enodes
37.514 * * [simplify]: iteration 131: 2051 enodes
38.224 * * [simplify]: iteration 132: 2065 enodes
38.789 * * [simplify]: iteration 133: 2082 enodes
40.127 * * [simplify]: iteration 134: 2096 enodes
40.418 * * [simplify]: iteration 135: 2113 enodes
41.409 * * [simplify]: iteration 136: 2127 enodes
41.768 * * [simplify]: iteration 137: 2144 enodes
44.035 * * [simplify]: iteration 138: 2158 enodes
44.736 * * [simplify]: iteration 139: 2175 enodes
46.900 * * [simplify]: iteration 140: 2189 enodes
47.236 * * [simplify]: iteration 141: 2206 enodes
49.268 * * [simplify]: iteration 142: 2220 enodes
49.732 * * [simplify]: iteration 143: 2237 enodes
51.370 * * [simplify]: iteration 144: 2251 enodes
51.986 * * [simplify]: iteration 145: 2268 enodes
53.392 * * [simplify]: iteration 146: 2282 enodes
54.029 * * [simplify]: iteration 147: 2299 enodes
55.370 * * [simplify]: iteration 148: 2313 enodes
55.903 * * [simplify]: iteration 149: 2330 enodes
57.117 * * [simplify]: iteration 150: 2344 enodes
57.725 * * [simplify]: iteration 151: 2361 enodes
59.066 * * [simplify]: iteration 152: 2375 enodes
59.459 * * [simplify]: iteration 153: 2392 enodes
60.358 * * [simplify]: iteration 154: 2406 enodes
60.594 * * [simplify]: iteration 155: 2423 enodes
62.175 * * [simplify]: iteration 156: 2437 enodes
62.520 * * [simplify]: iteration 157: 2454 enodes
63.315 * * [simplify]: iteration 158: 2468 enodes
63.772 * * [simplify]: iteration 159: 2485 enodes
64.865 * * [simplify]: iteration 160: 2499 enodes
65.111 * * [simplify]: iteration 161: 2516 enodes
65.900 * * [simplify]: iteration 162: 2530 enodes
66.150 * * [simplify]: iteration 163: 2547 enodes
67.984 * * [simplify]: iteration 164: 2561 enodes
68.258 * * [simplify]: iteration 165: 2578 enodes
69.108 * * [simplify]: iteration 166: 2592 enodes
69.360 * * [simplify]: iteration 167: 2609 enodes
71.086 * * [simplify]: iteration 168: 2623 enodes
71.360 * * [simplify]: iteration 169: 2640 enodes
72.304 * * [simplify]: iteration 170: 2654 enodes
72.579 * * [simplify]: iteration 171: 2671 enodes
73.901 * * [simplify]: iteration 172: 2685 enodes
74.244 * * [simplify]: iteration 173: 2702 enodes
75.266 * * [simplify]: iteration 174: 2716 enodes
75.542 * * [simplify]: iteration 175: 2733 enodes
76.590 * * [simplify]: iteration 176: 2747 enodes
76.879 * * [simplify]: iteration 177: 2764 enodes
78.299 * * [simplify]: iteration 178: 2778 enodes
78.658 * * [simplify]: iteration 179: 2795 enodes
79.909 * * [simplify]: iteration 180: 2809 enodes
80.183 * * [simplify]: iteration 181: 2826 enodes
81.297 * * [simplify]: iteration 182: 2840 enodes
81.585 * * [simplify]: iteration 183: 2857 enodes
83.388 * * [simplify]: iteration 184: 2871 enodes
83.737 * * [simplify]: iteration 185: 2888 enodes
84.931 * * [simplify]: iteration 186: 2902 enodes
85.382 * * [simplify]: iteration 187: 2919 enodes
88.548 * * [simplify]: iteration 188: 2933 enodes
88.858 * * [simplify]: iteration 189: 2950 enodes
90.943 * * [simplify]: iteration 190: 2964 enodes
91.798 * * [simplify]: iteration 191: 2981 enodes
94.014 * * [simplify]: iteration 192: 2995 enodes
94.817 * * [simplify]: iteration 193: 3012 enodes
98.238 * * [simplify]: iteration 194: 3026 enodes
98.498 * * [simplify]: iteration 195: 3043 enodes
102.588 * * [simplify]: iteration 196: 3057 enodes
103.328 * * [simplify]: iteration 197: 3074 enodes
105.476 * * [simplify]: iteration 198: 3088 enodes
105.845 * * [simplify]: iteration 199: 3105 enodes
108.176 * * [simplify]: iteration 200: 3119 enodes
109.090 * * [simplify]: iteration 201: 3136 enodes
112.206 * * [simplify]: iteration 202: 3150 enodes
113.447 * * [simplify]: iteration 203: 3167 enodes
117.374 * * [simplify]: iteration 204: 3181 enodes
118.200 * * [simplify]: iteration 205: 3198 enodes
120.987 * * [simplify]: iteration 206: 3212 enodes
121.330 * * [simplify]: iteration 207: 3229 enodes
125.190 * * [simplify]: iteration 208: 3243 enodes
125.533 * * [simplify]: iteration 209: 3260 enodes
128.149 * * [simplify]: iteration 210: 3274 enodes
129.046 * * [simplify]: iteration 211: 3291 enodes
132.315 * * [simplify]: iteration 212: 3305 enodes
133.530 * * [simplify]: iteration 213: 3322 enodes
136.369 * * [simplify]: iteration 214: 3336 enodes
138.263 * * [simplify]: iteration 215: 3353 enodes
144.184 * * [simplify]: iteration 216: 3367 enodes
145.267 * * [simplify]: iteration 217: 3384 enodes
150.293 * * [simplify]: iteration 218: 3398 enodes
150.807 * * [simplify]: iteration 219: 3415 enodes
154.622 * * [simplify]: iteration 220: 3429 enodes
155.286 * * [simplify]: iteration 221: 3446 enodes
158.636 * * [simplify]: iteration 222: 3460 enodes
159.769 * * [simplify]: iteration 223: 3477 enodes
164.499 * * [simplify]: iteration 224: 3491 enodes
165.475 * * [simplify]: iteration 225: 3508 enodes
170.830 * * [simplify]: iteration 226: 3522 enodes
172.234 * * [simplify]: iteration 227: 3539 enodes
180.035 * * [simplify]: iteration 228: 3553 enodes
181.813 * * [simplify]: iteration 229: 3570 enodes
185.953 * * [simplify]: iteration 230: 3584 enodes
186.366 * * [simplify]: iteration 231: 3601 enodes
189.235 * * [simplify]: iteration 232: 3615 enodes
190.174 * * [simplify]: iteration 233: 3632 enodes
193.373 * * [simplify]: iteration 234: 3646 enodes
193.888 * * [simplify]: iteration 235: 3663 enodes
197.638 * * [simplify]: iteration 236: 3677 enodes
198.235 * * [simplify]: iteration 237: 3694 enodes
203.070 * * [simplify]: iteration 238: 3708 enodes
204.435 * * [simplify]: iteration 239: 3725 enodes
209.650 * * [simplify]: iteration 240: 3739 enodes
210.037 * * [simplify]: iteration 241: 3756 enodes
214.475 * * [simplify]: iteration 242: 3770 enodes
214.855 * * [simplify]: iteration 243: 3787 enodes
219.117 * * [simplify]: iteration 244: 3801 enodes
219.957 * * [simplify]: iteration 245: 3818 enodes
222.717 * * [simplify]: iteration 246: 3832 enodes
223.655 * * [simplify]: iteration 247: 3849 enodes
227.410 * * [simplify]: iteration 248: 3863 enodes
228.208 * * [simplify]: iteration 249: 3880 enodes
230.421 * * [simplify]: iteration 250: 3894 enodes
231.145 * * [simplify]: iteration 251: 3911 enodes
234.741 * * [simplify]: iteration 252: 3925 enodes
235.141 * * [simplify]: iteration 253: 3942 enodes
240.204 * * [simplify]: iteration 254: 3956 enodes
240.698 * * [simplify]: iteration 255: 3973 enodes
243.949 * * [simplify]: iteration 256: 3987 enodes
245.112 * * [simplify]: iteration 257: 4004 enodes
248.949 * * [simplify]: iteration 258: 4018 enodes
250.161 * * [simplify]: iteration 259: 4035 enodes
253.766 * * [simplify]: iteration 260: 4049 enodes
254.365 * * [simplify]: iteration 261: 4066 enodes
257.993 * * [simplify]: iteration 262: 4080 enodes
259.616 * * [simplify]: iteration 263: 4097 enodes
266.226 * * [simplify]: iteration 264: 4111 enodes
267.946 * * [simplify]: iteration 265: 4128 enodes
276.834 * * [simplify]: iteration 266: 4142 enodes
277.317 * * [simplify]: iteration 267: 4159 enodes
282.932 * * [simplify]: iteration 268: 4173 enodes
283.381 * * [simplify]: iteration 269: 4190 enodes
286.161 * * [simplify]: iteration 270: 4204 enodes
287.231 * * [simplify]: iteration 271: 4221 enodes
290.864 * * [simplify]: iteration 272: 4235 enodes
291.305 * * [simplify]: iteration 273: 4252 enodes
295.107 * * [simplify]: iteration 274: 4266 enodes
295.694 * * [simplify]: iteration 275: 4283 enodes
300.325 * * [simplify]: iteration 276: 4297 enodes
300.821 * * [simplify]: iteration 277: 4314 enodes
307.207 * * [simplify]: iteration 278: 4328 enodes
307.687 * * [simplify]: iteration 279: 4345 enodes
314.091 * * [simplify]: iteration 280: 4359 enodes
315.619 * * [simplify]: iteration 281: 4376 enodes
319.806 * * [simplify]: iteration 282: 4390 enodes
320.886 * * [simplify]: iteration 283: 4407 enodes
324.354 * * [simplify]: iteration 284: 4421 enodes
324.956 * * [simplify]: iteration 285: 4438 enodes
329.526 * * [simplify]: iteration 286: 4452 enodes
330.911 * * [simplify]: iteration 287: 4469 enodes
335.058 * * [simplify]: iteration 288: 4483 enodes
336.993 * * [simplify]: iteration 289: 4500 enodes
347.066 * * [simplify]: iteration 290: 4514 enodes
348.601 * * [simplify]: iteration 291: 4531 enodes
354.181 * * [simplify]: iteration 292: 4545 enodes
355.008 * * [simplify]: iteration 293: 4562 enodes
357.906 * * [simplify]: iteration 294: 4576 enodes
358.503 * * [simplify]: iteration 295: 4593 enodes
361.967 * * [simplify]: iteration 296: 4607 enodes
362.439 * * [simplify]: iteration 297: 4624 enodes
364.968 * * [simplify]: iteration 298: 4638 enodes
365.552 * * [simplify]: iteration 299: 4655 enodes
368.344 * * [simplify]: iteration 300: 4669 enodes
368.789 * * [simplify]: iteration 301: 4686 enodes
372.356 * * [simplify]: iteration 302: 4700 enodes
372.936 * * [simplify]: iteration 303: 4717 enodes
376.032 * * [simplify]: iteration 304: 4731 enodes
376.560 * * [simplify]: iteration 305: 4748 enodes
380.027 * * [simplify]: iteration 306: 4762 enodes
380.747 * * [simplify]: iteration 307: 4779 enodes
384.363 * * [simplify]: iteration 308: 4793 enodes
384.913 * * [simplify]: iteration 309: 4810 enodes
388.232 * * [simplify]: iteration 310: 4824 enodes
389.032 * * [simplify]: iteration 311: 4841 enodes
394.094 * * [simplify]: iteration 312: 4855 enodes
394.850 * * [simplify]: iteration 313: 4872 enodes
402.342 * * [simplify]: iteration 314: 4886 enodes
403.718 * * [simplify]: iteration 315: 4903 enodes
411.694 * * [simplify]: iteration 316: 4917 enodes
413.899 * * [simplify]: iteration 317: 4934 enodes
418.722 * * [simplify]: iteration 318: 4948 enodes
419.702 * * [simplify]: iteration 319: 4965 enodes
422.942 * * [simplify]: iteration 320: 4979 enodes
433.576 * * [simplify]: iteration 321: 4999 enodes
440.666 * * [simplify]: iteration complete: 5001 enodes
440.667 * * [simplify]: Extracting #0: cost 1 inf + 0
440.668 * * [simplify]: Extracting #1: cost 337 inf + 0
440.673 * * [simplify]: Extracting #2: cost 80 inf + 10477
440.682 * * [simplify]: Extracting #3: cost 0 inf + 13761
440.691 * [simplify]: Simplified to:
  (fma x x x)
440.701 * * [progress]: iteration 1 / 4
440.701 * * * [progress]: picking best candidate
440.706 * * * * [pick]: Picked  #<alt (λ (x) (fma x x x))>
440.706 * * * [progress]: localizing error
440.714 * * * [progress]: generating rewritten candidates
440.714 * * * [progress]: generating series expansions
440.714 * * * [progress]: simplifying candidates
440.714 * [simplify]: Simplifying:
  
440.714 * * [simplify]: iteration 0: 0 enodes
440.714 * * [simplify]: iteration complete: 0 enodes
440.714 * * [simplify]: Extracting #0: cost 0 inf + 0
440.715 * [simplify]: Simplified to:
  
440.715 * * * [progress]: adding candidates to table
440.715 * [progress]: [Phase 3 of 3] Extracting.
440.721 * [simplify]: Simplifying:
  (fma x x x)
440.722 * * [simplify]: iteration 0: 2 enodes
440.722 * * [simplify]: iteration complete: 2 enodes
440.722 * * [simplify]: Extracting #0: cost 1 inf + 0
440.722 * * [simplify]: Extracting #1: cost 2 inf + 0
440.722 * * [simplify]: Extracting #2: cost 0 inf + 57
440.722 * [simplify]: Simplified to:
  (fma x x x)
442.419 * [regime-testing]: Baseline error score: 0
442.437 * [regime-testing]: Oracle error score: 0
442.437 * [regime-testing]: End program error score: 0