71.263 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.029 * [simplify]: Simplifying:
  (+ x (* x x))
0.029 * * [simplify]: iteration 0: 3 enodes
0.030 * * [simplify]: iteration 1: 7 enodes
0.032 * * [simplify]: iteration 2: 12 enodes
0.036 * * [simplify]: iteration 3: 18 enodes
0.045 * * [simplify]: iteration 4: 31 enodes
0.053 * * [simplify]: iteration 5: 74 enodes
0.084 * * [simplify]: iteration 6: 94 enodes
0.102 * * [simplify]: iteration 7: 119 enodes
0.132 * * [simplify]: iteration 8: 143 enodes
0.169 * * [simplify]: iteration 9: 160 enodes
0.199 * * [simplify]: iteration 10: 174 enodes
0.224 * * [simplify]: iteration 11: 191 enodes
0.253 * * [simplify]: iteration 12: 205 enodes
0.282 * * [simplify]: iteration 13: 222 enodes
0.317 * * [simplify]: iteration 14: 236 enodes
0.344 * * [simplify]: iteration 15: 253 enodes
0.379 * * [simplify]: iteration 16: 267 enodes
0.415 * * [simplify]: iteration 17: 284 enodes
0.452 * * [simplify]: iteration 18: 298 enodes
0.484 * * [simplify]: iteration 19: 315 enodes
0.521 * * [simplify]: iteration 20: 329 enodes
0.557 * * [simplify]: iteration 21: 346 enodes
0.610 * * [simplify]: iteration 22: 360 enodes
0.648 * * [simplify]: iteration 23: 377 enodes
0.701 * * [simplify]: iteration 24: 391 enodes
0.750 * * [simplify]: iteration 25: 408 enodes
0.810 * * [simplify]: iteration 26: 422 enodes
0.857 * * [simplify]: iteration 27: 439 enodes
0.909 * * [simplify]: iteration 28: 453 enodes
0.956 * * [simplify]: iteration 29: 470 enodes
1.030 * * [simplify]: iteration 30: 484 enodes
1.086 * * [simplify]: iteration 31: 501 enodes
1.162 * * [simplify]: iteration 32: 515 enodes
1.208 * * [simplify]: iteration 33: 532 enodes
1.304 * * [simplify]: iteration 34: 546 enodes
1.388 * * [simplify]: iteration 35: 563 enodes
1.476 * * [simplify]: iteration 36: 577 enodes
1.538 * * [simplify]: iteration 37: 594 enodes
1.626 * * [simplify]: iteration 38: 608 enodes
1.684 * * [simplify]: iteration 39: 625 enodes
1.786 * * [simplify]: iteration 40: 639 enodes
1.853 * * [simplify]: iteration 41: 656 enodes
1.950 * * [simplify]: iteration 42: 670 enodes
2.020 * * [simplify]: iteration 43: 687 enodes
2.127 * * [simplify]: iteration 44: 701 enodes
2.198 * * [simplify]: iteration 45: 718 enodes
2.313 * * [simplify]: iteration 46: 732 enodes
2.381 * * [simplify]: iteration 47: 749 enodes
2.497 * * [simplify]: iteration 48: 763 enodes
2.563 * * [simplify]: iteration 49: 780 enodes
2.678 * * [simplify]: iteration 50: 794 enodes
2.750 * * [simplify]: iteration 51: 811 enodes
2.882 * * [simplify]: iteration 52: 825 enodes
2.958 * * [simplify]: iteration 53: 842 enodes
3.102 * * [simplify]: iteration 54: 856 enodes
3.186 * * [simplify]: iteration 55: 873 enodes
3.328 * * [simplify]: iteration 56: 887 enodes
3.412 * * [simplify]: iteration 57: 904 enodes
3.561 * * [simplify]: iteration 58: 918 enodes
3.649 * * [simplify]: iteration 59: 935 enodes
3.817 * * [simplify]: iteration 60: 949 enodes
3.910 * * [simplify]: iteration 61: 966 enodes
4.091 * * [simplify]: iteration 62: 980 enodes
4.187 * * [simplify]: iteration 63: 997 enodes
4.372 * * [simplify]: iteration 64: 1011 enodes
4.469 * * [simplify]: iteration 65: 1028 enodes
4.664 * * [simplify]: iteration 66: 1042 enodes
4.764 * * [simplify]: iteration 67: 1059 enodes
4.961 * * [simplify]: iteration 68: 1073 enodes
5.062 * * [simplify]: iteration 69: 1090 enodes
5.265 * * [simplify]: iteration 70: 1104 enodes
5.371 * * [simplify]: iteration 71: 1121 enodes
5.585 * * [simplify]: iteration 72: 1135 enodes
5.691 * * [simplify]: iteration 73: 1152 enodes
5.912 * * [simplify]: iteration 74: 1166 enodes
6.026 * * [simplify]: iteration 75: 1183 enodes
6.241 * * [simplify]: iteration 76: 1197 enodes
6.354 * * [simplify]: iteration 77: 1214 enodes
6.599 * * [simplify]: iteration 78: 1228 enodes
6.720 * * [simplify]: iteration 79: 1245 enodes
6.965 * * [simplify]: iteration 80: 1259 enodes
7.082 * * [simplify]: iteration 81: 1276 enodes
7.350 * * [simplify]: iteration 82: 1290 enodes
7.476 * * [simplify]: iteration 83: 1307 enodes
7.754 * * [simplify]: iteration 84: 1321 enodes
7.870 * * [simplify]: iteration 85: 1338 enodes
8.146 * * [simplify]: iteration 86: 1352 enodes
8.268 * * [simplify]: iteration 87: 1369 enodes
8.577 * * [simplify]: iteration 88: 1383 enodes
8.710 * * [simplify]: iteration 89: 1400 enodes
9.047 * * [simplify]: iteration 90: 1414 enodes
9.182 * * [simplify]: iteration 91: 1431 enodes
9.521 * * [simplify]: iteration 92: 1445 enodes
9.668 * * [simplify]: iteration 93: 1462 enodes
9.989 * * [simplify]: iteration 94: 1476 enodes
10.127 * * [simplify]: iteration 95: 1493 enodes
10.477 * * [simplify]: iteration 96: 1507 enodes
10.622 * * [simplify]: iteration 97: 1524 enodes
10.954 * * [simplify]: iteration 98: 1538 enodes
11.096 * * [simplify]: iteration 99: 1555 enodes
11.428 * * [simplify]: iteration 100: 1569 enodes
11.568 * * [simplify]: iteration 101: 1586 enodes
11.922 * * [simplify]: iteration 102: 1600 enodes
12.067 * * [simplify]: iteration 103: 1617 enodes
12.470 * * [simplify]: iteration 104: 1631 enodes
12.628 * * [simplify]: iteration 105: 1648 enodes
13.018 * * [simplify]: iteration 106: 1662 enodes
13.182 * * [simplify]: iteration 107: 1679 enodes
13.701 * * [simplify]: iteration 108: 1693 enodes
13.878 * * [simplify]: iteration 109: 1710 enodes
14.313 * * [simplify]: iteration 110: 1724 enodes
14.472 * * [simplify]: iteration 111: 1741 enodes
14.924 * * [simplify]: iteration 112: 1755 enodes
15.083 * * [simplify]: iteration 113: 1772 enodes
15.549 * * [simplify]: iteration 114: 1786 enodes
15.690 * * [simplify]: iteration 115: 1803 enodes
16.190 * * [simplify]: iteration 116: 1817 enodes
16.382 * * [simplify]: iteration 117: 1834 enodes
16.885 * * [simplify]: iteration 118: 1848 enodes
17.052 * * [simplify]: iteration 119: 1865 enodes
17.537 * * [simplify]: iteration 120: 1879 enodes
17.720 * * [simplify]: iteration 121: 1896 enodes
18.262 * * [simplify]: iteration 122: 1910 enodes
18.442 * * [simplify]: iteration 123: 1927 enodes
18.985 * * [simplify]: iteration 124: 1941 enodes
19.186 * * [simplify]: iteration 125: 1958 enodes
19.738 * * [simplify]: iteration 126: 1972 enodes
19.926 * * [simplify]: iteration 127: 1989 enodes
20.483 * * [simplify]: iteration 128: 2003 enodes
20.695 * * [simplify]: iteration 129: 2020 enodes
21.254 * * [simplify]: iteration 130: 2034 enodes
21.484 * * [simplify]: iteration 131: 2051 enodes
22.076 * * [simplify]: iteration 132: 2065 enodes
22.298 * * [simplify]: iteration 133: 2082 enodes
22.891 * * [simplify]: iteration 134: 2096 enodes
23.109 * * [simplify]: iteration 135: 2113 enodes
23.728 * * [simplify]: iteration 136: 2127 enodes
23.928 * * [simplify]: iteration 137: 2144 enodes
24.560 * * [simplify]: iteration 138: 2158 enodes
24.769 * * [simplify]: iteration 139: 2175 enodes
25.421 * * [simplify]: iteration 140: 2189 enodes
25.641 * * [simplify]: iteration 141: 2206 enodes
26.273 * * [simplify]: iteration 142: 2220 enodes
26.481 * * [simplify]: iteration 143: 2237 enodes
27.142 * * [simplify]: iteration 144: 2251 enodes
27.389 * * [simplify]: iteration 145: 2268 enodes
28.086 * * [simplify]: iteration 146: 2282 enodes
28.294 * * [simplify]: iteration 147: 2299 enodes
28.999 * * [simplify]: iteration 148: 2313 enodes
29.229 * * [simplify]: iteration 149: 2330 enodes
29.986 * * [simplify]: iteration 150: 2344 enodes
30.226 * * [simplify]: iteration 151: 2361 enodes
30.975 * * [simplify]: iteration 152: 2375 enodes
31.215 * * [simplify]: iteration 153: 2392 enodes
31.978 * * [simplify]: iteration 154: 2406 enodes
32.223 * * [simplify]: iteration 155: 2423 enodes
32.996 * * [simplify]: iteration 156: 2437 enodes
33.240 * * [simplify]: iteration 157: 2454 enodes
34.005 * * [simplify]: iteration 158: 2468 enodes
34.240 * * [simplify]: iteration 159: 2485 enodes
35.029 * * [simplify]: iteration 160: 2499 enodes
35.296 * * [simplify]: iteration 161: 2516 enodes
36.098 * * [simplify]: iteration 162: 2530 enodes
36.340 * * [simplify]: iteration 163: 2547 enodes
37.256 * * [simplify]: iteration 164: 2561 enodes
37.520 * * [simplify]: iteration 165: 2578 enodes
38.363 * * [simplify]: iteration 166: 2592 enodes
38.617 * * [simplify]: iteration 167: 2609 enodes
39.501 * * [simplify]: iteration 168: 2623 enodes
39.805 * * [simplify]: iteration 169: 2640 enodes
40.738 * * [simplify]: iteration 170: 2654 enodes
41.005 * * [simplify]: iteration 171: 2671 enodes
42.050 * * [simplify]: iteration 172: 2685 enodes
42.319 * * [simplify]: iteration 173: 2702 enodes
43.327 * * [simplify]: iteration 174: 2716 enodes
43.595 * * [simplify]: iteration 175: 2733 enodes
44.593 * * [simplify]: iteration 176: 2747 enodes
44.836 * * [simplify]: iteration 177: 2764 enodes
45.823 * * [simplify]: iteration 178: 2778 enodes
46.132 * * [simplify]: iteration 179: 2795 enodes
47.169 * * [simplify]: iteration 180: 2809 enodes
47.462 * * [simplify]: iteration 181: 2826 enodes
48.467 * * [simplify]: iteration 182: 2840 enodes
48.769 * * [simplify]: iteration 183: 2857 enodes
49.894 * * [simplify]: iteration 184: 2871 enodes
50.214 * * [simplify]: iteration 185: 2888 enodes
51.312 * * [simplify]: iteration 186: 2902 enodes
51.582 * * [simplify]: iteration 187: 2919 enodes
53.133 * * [simplify]: iteration 188: 2933 enodes
53.428 * * [simplify]: iteration 189: 2950 enodes
54.487 * * [simplify]: iteration 190: 2964 enodes
54.765 * * [simplify]: iteration 191: 2981 enodes
55.869 * * [simplify]: iteration 192: 2995 enodes
56.161 * * [simplify]: iteration 193: 3012 enodes
57.233 * * [simplify]: iteration 194: 3026 enodes
57.511 * * [simplify]: iteration 195: 3043 enodes
58.633 * * [simplify]: iteration 196: 3057 enodes
58.921 * * [simplify]: iteration 197: 3074 enodes
60.051 * * [simplify]: iteration 198: 3088 enodes
60.336 * * [simplify]: iteration 199: 3105 enodes
61.476 * * [simplify]: iteration 200: 3119 enodes
61.772 * * [simplify]: iteration 201: 3136 enodes
62.963 * * [simplify]: iteration 202: 3150 enodes
63.240 * * [simplify]: iteration 203: 3167 enodes
64.387 * * [simplify]: iteration 204: 3181 enodes
64.690 * * [simplify]: iteration 205: 3198 enodes
65.918 * * [simplify]: iteration 206: 3212 enodes
66.227 * * [simplify]: iteration 207: 3229 enodes
67.412 * * [simplify]: iteration 208: 3243 enodes
67.693 * * [simplify]: iteration 209: 3260 enodes
69.007 * * [simplify]: iteration 210: 3274 enodes
69.293 * * [simplify]: iteration 211: 3291 enodes
70.540 * * [simplify]: iteration 212: 3305 enodes
70.814 * * [simplify]: iteration 213: 3322 enodes
72.101 * * [simplify]: iteration 214: 3336 enodes
72.388 * * [simplify]: iteration 215: 3353 enodes
73.639 * * [simplify]: iteration 216: 3367 enodes
73.942 * * [simplify]: iteration 217: 3384 enodes
75.302 * * [simplify]: iteration 218: 3398 enodes
75.620 * * [simplify]: iteration 219: 3415 enodes
76.961 * * [simplify]: iteration 220: 3429 enodes
77.275 * * [simplify]: iteration 221: 3446 enodes
78.626 * * [simplify]: iteration 222: 3460 enodes
78.934 * * [simplify]: iteration 223: 3477 enodes
80.315 * * [simplify]: iteration 224: 3491 enodes
80.626 * * [simplify]: iteration 225: 3508 enodes
82.011 * * [simplify]: iteration 226: 3522 enodes
82.349 * * [simplify]: iteration 227: 3539 enodes
83.776 * * [simplify]: iteration 228: 3553 enodes
84.112 * * [simplify]: iteration 229: 3570 enodes
85.567 * * [simplify]: iteration 230: 3584 enodes
85.882 * * [simplify]: iteration 231: 3601 enodes
87.351 * * [simplify]: iteration 232: 3615 enodes
87.666 * * [simplify]: iteration 233: 3632 enodes
89.178 * * [simplify]: iteration 234: 3646 enodes
89.510 * * [simplify]: iteration 235: 3663 enodes
91.049 * * [simplify]: iteration 236: 3677 enodes
91.402 * * [simplify]: iteration 237: 3694 enodes
92.946 * * [simplify]: iteration 238: 3708 enodes
93.291 * * [simplify]: iteration 239: 3725 enodes
94.849 * * [simplify]: iteration 240: 3739 enodes
95.188 * * [simplify]: iteration 241: 3756 enodes
96.762 * * [simplify]: iteration 242: 3770 enodes
97.114 * * [simplify]: iteration 243: 3787 enodes
98.723 * * [simplify]: iteration 244: 3801 enodes
99.056 * * [simplify]: iteration 245: 3818 enodes
100.686 * * [simplify]: iteration 246: 3832 enodes
101.036 * * [simplify]: iteration 247: 3849 enodes
102.700 * * [simplify]: iteration 248: 3863 enodes
103.042 * * [simplify]: iteration 249: 3880 enodes
104.724 * * [simplify]: iteration 250: 3894 enodes
105.085 * * [simplify]: iteration 251: 3911 enodes
106.802 * * [simplify]: iteration 252: 3925 enodes
107.157 * * [simplify]: iteration 253: 3942 enodes
108.901 * * [simplify]: iteration 254: 3956 enodes
109.257 * * [simplify]: iteration 255: 3973 enodes
111.046 * * [simplify]: iteration 256: 3987 enodes
111.390 * * [simplify]: iteration 257: 4004 enodes
113.182 * * [simplify]: iteration 258: 4018 enodes
113.553 * * [simplify]: iteration 259: 4035 enodes
115.441 * * [simplify]: iteration 260: 4049 enodes
115.817 * * [simplify]: iteration 261: 4066 enodes
118.213 * * [simplify]: iteration 262: 4080 enodes
118.597 * * [simplify]: iteration 263: 4097 enodes
120.520 * * [simplify]: iteration 264: 4111 enodes
120.932 * * [simplify]: iteration 265: 4128 enodes
122.933 * * [simplify]: iteration 266: 4142 enodes
123.325 * * [simplify]: iteration 267: 4159 enodes
125.269 * * [simplify]: iteration 268: 4173 enodes
125.663 * * [simplify]: iteration 269: 4190 enodes
127.658 * * [simplify]: iteration 270: 4204 enodes
128.054 * * [simplify]: iteration 271: 4221 enodes
130.030 * * [simplify]: iteration 272: 4235 enodes
130.429 * * [simplify]: iteration 273: 4252 enodes
132.492 * * [simplify]: iteration 274: 4266 enodes
132.879 * * [simplify]: iteration 275: 4283 enodes
134.961 * * [simplify]: iteration 276: 4297 enodes
135.369 * * [simplify]: iteration 277: 4314 enodes
137.487 * * [simplify]: iteration 278: 4328 enodes
137.899 * * [simplify]: iteration 279: 4345 enodes
140.035 * * [simplify]: iteration 280: 4359 enodes
140.457 * * [simplify]: iteration 281: 4376 enodes
142.614 * * [simplify]: iteration 282: 4390 enodes
143.025 * * [simplify]: iteration 283: 4407 enodes
145.283 * * [simplify]: iteration 284: 4421 enodes
145.695 * * [simplify]: iteration 285: 4438 enodes
147.925 * * [simplify]: iteration 286: 4452 enodes
148.322 * * [simplify]: iteration 287: 4469 enodes
150.545 * * [simplify]: iteration 288: 4483 enodes
150.961 * * [simplify]: iteration 289: 4500 enodes
153.077 * * [simplify]: iteration 290: 4514 enodes
153.490 * * [simplify]: iteration 291: 4531 enodes
155.629 * * [simplify]: iteration 292: 4545 enodes
156.018 * * [simplify]: iteration 293: 4562 enodes
158.188 * * [simplify]: iteration 294: 4576 enodes
158.600 * * [simplify]: iteration 295: 4593 enodes
160.782 * * [simplify]: iteration 296: 4607 enodes
161.185 * * [simplify]: iteration 297: 4624 enodes
163.378 * * [simplify]: iteration 298: 4638 enodes
163.805 * * [simplify]: iteration 299: 4655 enodes
166.069 * * [simplify]: iteration 300: 4669 enodes
166.482 * * [simplify]: iteration 301: 4686 enodes
168.770 * * [simplify]: iteration 302: 4700 enodes
169.207 * * [simplify]: iteration 303: 4717 enodes
171.679 * * [simplify]: iteration 304: 4731 enodes
172.153 * * [simplify]: iteration 305: 4748 enodes
174.980 * * [simplify]: iteration 306: 4762 enodes
175.433 * * [simplify]: iteration 307: 4779 enodes
177.784 * * [simplify]: iteration 308: 4793 enodes
178.253 * * [simplify]: iteration 309: 4810 enodes
180.826 * * [simplify]: iteration 310: 4824 enodes
181.304 * * [simplify]: iteration 311: 4841 enodes
183.749 * * [simplify]: iteration 312: 4855 enodes
184.253 * * [simplify]: iteration 313: 4872 enodes
186.670 * * [simplify]: iteration 314: 4886 enodes
187.215 * * [simplify]: iteration 315: 4903 enodes
189.888 * * [simplify]: iteration 316: 4917 enodes
190.524 * * [simplify]: iteration 317: 4934 enodes
193.062 * * [simplify]: iteration 318: 4948 enodes
193.776 * * [simplify]: iteration 319: 4965 enodes
196.735 * * [simplify]: iteration 320: 4979 enodes
205.429 * * [simplify]: iteration 321: 4999 enodes
209.833 * * [simplify]: iteration complete: 5001 enodes
209.833 * * [simplify]: Extracting #0: cost 1 inf + 0
209.835 * * [simplify]: Extracting #1: cost 337 inf + 0
209.838 * * [simplify]: Extracting #2: cost 80 inf + 10477
209.843 * * [simplify]: Extracting #3: cost 0 inf + 13761
209.847 * [simplify]: Simplified to:
  (fma x x x)
209.854 * * [progress]: iteration 1 / 4
209.854 * * * [progress]: picking best candidate
209.860 * * * * [pick]: Picked  #<alt (λ (x) (fma x x x))>
209.860 * * * [progress]: localizing error
209.867 * * * [progress]: generating rewritten candidates
209.868 * * * [progress]: generating series expansions
209.868 * * * [progress]: simplifying candidates
209.868 * [simplify]: Simplifying:
  
209.868 * * [simplify]: iteration 0: 0 enodes
209.868 * * [simplify]: iteration complete: 0 enodes
209.868 * * [simplify]: Extracting #0: cost 0 inf + 0
209.868 * [simplify]: Simplified to:
  
209.868 * * * [progress]: adding candidates to table
209.869 * [progress]: [Phase 3 of 3] Extracting.
209.874 * [simplify]: Simplifying:
  (fma x x x)
209.874 * * [simplify]: iteration 0: 2 enodes
209.875 * * [simplify]: iteration complete: 2 enodes
209.875 * * [simplify]: Extracting #0: cost 1 inf + 0
209.875 * * [simplify]: Extracting #1: cost 2 inf + 0
209.875 * * [simplify]: Extracting #2: cost 0 inf + 57
209.875 * [simplify]: Simplified to:
  (fma x x x)
210.936 * [regime-testing]: Baseline error score: 0
210.954 * [regime-testing]: Oracle error score: 0
210.954 * [regime-testing]: End program error score: 0
211.089 * [regime-testing]: Target error score: 0.01962745343167896