44.721 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.015 * * * [progress]: [2/2] Setting up program.
0.017 * [progress]: [Phase 2 of 3] Improving.
0.018 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+ x (* x x)))>
0.018 * [simplify]: Simplifying:
  (+ x (* x x))
0.018 * * [simplify]: iteration 0: 3 enodes
0.019 * * [simplify]: iteration 1: 7 enodes
0.021 * * [simplify]: iteration 2: 12 enodes
0.023 * * [simplify]: iteration 3: 18 enodes
0.028 * * [simplify]: iteration 4: 31 enodes
0.032 * * [simplify]: iteration 5: 74 enodes
0.046 * * [simplify]: iteration 6: 94 enodes
0.053 * * [simplify]: iteration 7: 120 enodes
0.066 * * [simplify]: iteration 8: 144 enodes
0.083 * * [simplify]: iteration 9: 162 enodes
0.095 * * [simplify]: iteration 10: 176 enodes
0.106 * * [simplify]: iteration 11: 194 enodes
0.124 * * [simplify]: iteration 12: 208 enodes
0.142 * * [simplify]: iteration 13: 226 enodes
0.164 * * [simplify]: iteration 14: 240 enodes
0.184 * * [simplify]: iteration 15: 258 enodes
0.210 * * [simplify]: iteration 16: 272 enodes
0.225 * * [simplify]: iteration 17: 290 enodes
0.244 * * [simplify]: iteration 18: 304 enodes
0.262 * * [simplify]: iteration 19: 322 enodes
0.283 * * [simplify]: iteration 20: 336 enodes
0.305 * * [simplify]: iteration 21: 354 enodes
0.342 * * [simplify]: iteration 22: 368 enodes
0.370 * * [simplify]: iteration 23: 386 enodes
0.406 * * [simplify]: iteration 24: 400 enodes
0.429 * * [simplify]: iteration 25: 418 enodes
0.458 * * [simplify]: iteration 26: 432 enodes
0.478 * * [simplify]: iteration 27: 450 enodes
0.509 * * [simplify]: iteration 28: 464 enodes
0.537 * * [simplify]: iteration 29: 482 enodes
0.589 * * [simplify]: iteration 30: 496 enodes
0.625 * * [simplify]: iteration 31: 514 enodes
0.685 * * [simplify]: iteration 32: 528 enodes
0.730 * * [simplify]: iteration 33: 546 enodes
0.773 * * [simplify]: iteration 34: 560 enodes
0.799 * * [simplify]: iteration 35: 578 enodes
0.853 * * [simplify]: iteration 36: 592 enodes
0.907 * * [simplify]: iteration 37: 610 enodes
0.996 * * [simplify]: iteration 38: 624 enodes
1.049 * * [simplify]: iteration 39: 642 enodes
1.131 * * [simplify]: iteration 40: 656 enodes
1.176 * * [simplify]: iteration 41: 674 enodes
1.249 * * [simplify]: iteration 42: 688 enodes
1.301 * * [simplify]: iteration 43: 706 enodes
1.364 * * [simplify]: iteration 44: 720 enodes
1.398 * * [simplify]: iteration 45: 738 enodes
1.482 * * [simplify]: iteration 46: 752 enodes
1.533 * * [simplify]: iteration 47: 770 enodes
1.596 * * [simplify]: iteration 48: 784 enodes
1.630 * * [simplify]: iteration 49: 802 enodes
1.723 * * [simplify]: iteration 50: 816 enodes
1.782 * * [simplify]: iteration 51: 834 enodes
1.848 * * [simplify]: iteration 52: 848 enodes
1.889 * * [simplify]: iteration 53: 866 enodes
1.963 * * [simplify]: iteration 54: 880 enodes
2.017 * * [simplify]: iteration 55: 898 enodes
2.113 * * [simplify]: iteration 56: 912 enodes
2.149 * * [simplify]: iteration 57: 930 enodes
2.226 * * [simplify]: iteration 58: 944 enodes
2.264 * * [simplify]: iteration 59: 962 enodes
2.378 * * [simplify]: iteration 60: 976 enodes
2.420 * * [simplify]: iteration 61: 994 enodes
2.520 * * [simplify]: iteration 62: 1008 enodes
2.572 * * [simplify]: iteration 63: 1026 enodes
2.686 * * [simplify]: iteration 64: 1040 enodes
2.745 * * [simplify]: iteration 65: 1058 enodes
2.833 * * [simplify]: iteration 66: 1072 enodes
2.879 * * [simplify]: iteration 67: 1090 enodes
2.993 * * [simplify]: iteration 68: 1104 enodes
3.066 * * [simplify]: iteration 69: 1122 enodes
3.212 * * [simplify]: iteration 70: 1136 enodes
3.260 * * [simplify]: iteration 71: 1154 enodes
3.388 * * [simplify]: iteration 72: 1168 enodes
3.440 * * [simplify]: iteration 73: 1186 enodes
3.559 * * [simplify]: iteration 74: 1200 enodes
3.615 * * [simplify]: iteration 75: 1218 enodes
3.739 * * [simplify]: iteration 76: 1232 enodes
3.795 * * [simplify]: iteration 77: 1250 enodes
3.911 * * [simplify]: iteration 78: 1264 enodes
3.962 * * [simplify]: iteration 79: 1282 enodes
4.090 * * [simplify]: iteration 80: 1296 enodes
4.146 * * [simplify]: iteration 81: 1314 enodes
4.345 * * [simplify]: iteration 82: 1328 enodes
4.400 * * [simplify]: iteration 83: 1346 enodes
4.580 * * [simplify]: iteration 84: 1360 enodes
4.640 * * [simplify]: iteration 85: 1378 enodes
4.842 * * [simplify]: iteration 86: 1392 enodes
4.931 * * [simplify]: iteration 87: 1410 enodes
5.128 * * [simplify]: iteration 88: 1424 enodes
5.197 * * [simplify]: iteration 89: 1442 enodes
5.394 * * [simplify]: iteration 90: 1456 enodes
5.496 * * [simplify]: iteration 91: 1474 enodes
5.729 * * [simplify]: iteration 92: 1488 enodes
5.804 * * [simplify]: iteration 93: 1506 enodes
6.065 * * [simplify]: iteration 94: 1520 enodes
6.143 * * [simplify]: iteration 95: 1538 enodes
6.406 * * [simplify]: iteration 96: 1552 enodes
6.498 * * [simplify]: iteration 97: 1570 enodes
6.747 * * [simplify]: iteration 98: 1584 enodes
6.870 * * [simplify]: iteration 99: 1602 enodes
7.145 * * [simplify]: iteration 100: 1616 enodes
7.233 * * [simplify]: iteration 101: 1634 enodes
7.448 * * [simplify]: iteration 102: 1648 enodes
7.528 * * [simplify]: iteration 103: 1666 enodes
7.786 * * [simplify]: iteration 104: 1680 enodes
7.865 * * [simplify]: iteration 105: 1698 enodes
8.105 * * [simplify]: iteration 106: 1712 enodes
8.231 * * [simplify]: iteration 107: 1730 enodes
8.493 * * [simplify]: iteration 108: 1744 enodes
8.578 * * [simplify]: iteration 109: 1762 enodes
8.829 * * [simplify]: iteration 110: 1776 enodes
8.915 * * [simplify]: iteration 111: 1794 enodes
9.221 * * [simplify]: iteration 112: 1808 enodes
9.338 * * [simplify]: iteration 113: 1826 enodes
9.667 * * [simplify]: iteration 114: 1840 enodes
9.787 * * [simplify]: iteration 115: 1858 enodes
10.158 * * [simplify]: iteration 116: 1872 enodes
10.269 * * [simplify]: iteration 117: 1890 enodes
10.609 * * [simplify]: iteration 118: 1904 enodes
10.724 * * [simplify]: iteration 119: 1922 enodes
11.087 * * [simplify]: iteration 120: 1936 enodes
11.243 * * [simplify]: iteration 121: 1954 enodes
11.587 * * [simplify]: iteration 122: 1968 enodes
11.714 * * [simplify]: iteration 123: 1986 enodes
12.147 * * [simplify]: iteration 124: 2000 enodes
12.296 * * [simplify]: iteration 125: 2018 enodes
12.733 * * [simplify]: iteration 126: 2032 enodes
12.848 * * [simplify]: iteration 127: 2050 enodes
13.266 * * [simplify]: iteration 128: 2064 enodes
13.368 * * [simplify]: iteration 129: 2082 enodes
13.807 * * [simplify]: iteration 130: 2096 enodes
13.925 * * [simplify]: iteration 131: 2114 enodes
14.382 * * [simplify]: iteration 132: 2128 enodes
14.510 * * [simplify]: iteration 133: 2146 enodes
14.928 * * [simplify]: iteration 134: 2160 enodes
15.062 * * [simplify]: iteration 135: 2178 enodes
15.477 * * [simplify]: iteration 136: 2192 enodes
15.600 * * [simplify]: iteration 137: 2210 enodes
16.067 * * [simplify]: iteration 138: 2224 enodes
16.180 * * [simplify]: iteration 139: 2242 enodes
16.656 * * [simplify]: iteration 140: 2256 enodes
16.751 * * [simplify]: iteration 141: 2274 enodes
17.217 * * [simplify]: iteration 142: 2288 enodes
17.330 * * [simplify]: iteration 143: 2306 enodes
17.862 * * [simplify]: iteration 144: 2320 enodes
17.973 * * [simplify]: iteration 145: 2338 enodes
18.426 * * [simplify]: iteration 146: 2352 enodes
18.609 * * [simplify]: iteration 147: 2370 enodes
19.032 * * [simplify]: iteration 148: 2384 enodes
19.150 * * [simplify]: iteration 149: 2402 enodes
19.617 * * [simplify]: iteration 150: 2416 enodes
19.734 * * [simplify]: iteration 151: 2434 enodes
20.270 * * [simplify]: iteration 152: 2448 enodes
20.398 * * [simplify]: iteration 153: 2466 enodes
20.887 * * [simplify]: iteration 154: 2480 enodes
21.001 * * [simplify]: iteration 155: 2498 enodes
21.489 * * [simplify]: iteration 156: 2512 enodes
21.633 * * [simplify]: iteration 157: 2530 enodes
22.056 * * [simplify]: iteration 158: 2544 enodes
22.175 * * [simplify]: iteration 159: 2562 enodes
22.651 * * [simplify]: iteration 160: 2576 enodes
22.789 * * [simplify]: iteration 161: 2594 enodes
23.286 * * [simplify]: iteration 162: 2608 enodes
23.400 * * [simplify]: iteration 163: 2626 enodes
23.926 * * [simplify]: iteration 164: 2640 enodes
24.075 * * [simplify]: iteration 165: 2658 enodes
24.724 * * [simplify]: iteration 166: 2672 enodes
24.868 * * [simplify]: iteration 167: 2690 enodes
25.461 * * [simplify]: iteration 168: 2704 enodes
25.594 * * [simplify]: iteration 169: 2722 enodes
26.184 * * [simplify]: iteration 170: 2736 enodes
26.314 * * [simplify]: iteration 171: 2754 enodes
26.945 * * [simplify]: iteration 172: 2768 enodes
27.078 * * [simplify]: iteration 173: 2786 enodes
27.671 * * [simplify]: iteration 174: 2800 enodes
27.783 * * [simplify]: iteration 175: 2818 enodes
28.305 * * [simplify]: iteration 176: 2832 enodes
28.424 * * [simplify]: iteration 177: 2850 enodes
28.960 * * [simplify]: iteration 178: 2864 enodes
29.081 * * [simplify]: iteration 179: 2882 enodes
29.652 * * [simplify]: iteration 180: 2896 enodes
29.773 * * [simplify]: iteration 181: 2914 enodes
30.718 * * [simplify]: iteration 182: 2928 enodes
30.871 * * [simplify]: iteration 183: 2946 enodes
31.382 * * [simplify]: iteration 184: 2960 enodes
31.495 * * [simplify]: iteration 185: 2978 enodes
32.004 * * [simplify]: iteration 186: 2992 enodes
32.117 * * [simplify]: iteration 187: 3010 enodes
32.649 * * [simplify]: iteration 188: 3024 enodes
32.768 * * [simplify]: iteration 189: 3042 enodes
33.320 * * [simplify]: iteration 190: 3056 enodes
33.437 * * [simplify]: iteration 191: 3074 enodes
33.978 * * [simplify]: iteration 192: 3088 enodes
34.097 * * [simplify]: iteration 193: 3106 enodes
34.633 * * [simplify]: iteration 194: 3120 enodes
34.757 * * [simplify]: iteration 195: 3138 enodes
35.361 * * [simplify]: iteration 196: 3152 enodes
35.482 * * [simplify]: iteration 197: 3170 enodes
36.086 * * [simplify]: iteration 198: 3184 enodes
36.215 * * [simplify]: iteration 199: 3202 enodes
36.836 * * [simplify]: iteration 200: 3216 enodes
36.992 * * [simplify]: iteration 201: 3234 enodes
37.613 * * [simplify]: iteration 202: 3248 enodes
37.756 * * [simplify]: iteration 203: 3266 enodes
38.657 * * [simplify]: iteration 204: 3280 enodes
38.782 * * [simplify]: iteration 205: 3298 enodes
39.448 * * [simplify]: iteration 206: 3312 enodes
39.608 * * [simplify]: iteration 207: 3330 enodes
40.479 * * [simplify]: iteration 208: 3344 enodes
40.655 * * [simplify]: iteration 209: 3362 enodes
41.522 * * [simplify]: iteration 210: 3376 enodes
41.678 * * [simplify]: iteration 211: 3394 enodes
42.432 * * [simplify]: iteration 212: 3408 enodes
42.558 * * [simplify]: iteration 213: 3426 enodes
43.196 * * [simplify]: iteration 214: 3440 enodes
43.324 * * [simplify]: iteration 215: 3458 enodes
43.967 * * [simplify]: iteration 216: 3472 enodes
44.095 * * [simplify]: iteration 217: 3490 enodes
44.744 * * [simplify]: iteration 218: 3504 enodes
44.873 * * [simplify]: iteration 219: 3522 enodes
45.531 * * [simplify]: iteration 220: 3536 enodes
45.656 * * [simplify]: iteration 221: 3554 enodes
46.304 * * [simplify]: iteration 222: 3568 enodes
46.432 * * [simplify]: iteration 223: 3586 enodes
47.093 * * [simplify]: iteration 224: 3600 enodes
47.222 * * [simplify]: iteration 225: 3618 enodes
47.893 * * [simplify]: iteration 226: 3632 enodes
48.023 * * [simplify]: iteration 227: 3650 enodes
48.718 * * [simplify]: iteration 228: 3664 enodes
48.850 * * [simplify]: iteration 229: 3682 enodes
49.546 * * [simplify]: iteration 230: 3696 enodes
49.679 * * [simplify]: iteration 231: 3714 enodes
50.391 * * [simplify]: iteration 232: 3728 enodes
50.525 * * [simplify]: iteration 233: 3746 enodes
51.256 * * [simplify]: iteration 234: 3760 enodes
51.391 * * [simplify]: iteration 235: 3778 enodes
52.131 * * [simplify]: iteration 236: 3792 enodes
52.267 * * [simplify]: iteration 237: 3810 enodes
53.018 * * [simplify]: iteration 238: 3824 enodes
53.158 * * [simplify]: iteration 239: 3842 enodes
53.912 * * [simplify]: iteration 240: 3856 enodes
54.050 * * [simplify]: iteration 241: 3874 enodes
54.827 * * [simplify]: iteration 242: 3888 enodes
54.966 * * [simplify]: iteration 243: 3906 enodes
55.744 * * [simplify]: iteration 244: 3920 enodes
55.888 * * [simplify]: iteration 245: 3938 enodes
56.682 * * [simplify]: iteration 246: 3952 enodes
56.825 * * [simplify]: iteration 247: 3970 enodes
57.634 * * [simplify]: iteration 248: 3984 enodes
57.778 * * [simplify]: iteration 249: 4002 enodes
58.599 * * [simplify]: iteration 250: 4016 enodes
58.746 * * [simplify]: iteration 251: 4034 enodes
59.583 * * [simplify]: iteration 252: 4048 enodes
59.732 * * [simplify]: iteration 253: 4066 enodes
60.574 * * [simplify]: iteration 254: 4080 enodes
60.724 * * [simplify]: iteration 255: 4098 enodes
61.581 * * [simplify]: iteration 256: 4112 enodes
61.730 * * [simplify]: iteration 257: 4130 enodes
62.816 * * [simplify]: iteration 258: 4144 enodes
62.961 * * [simplify]: iteration 259: 4162 enodes
63.814 * * [simplify]: iteration 260: 4176 enodes
63.962 * * [simplify]: iteration 261: 4194 enodes
64.822 * * [simplify]: iteration 262: 4208 enodes
64.972 * * [simplify]: iteration 263: 4226 enodes
65.848 * * [simplify]: iteration 264: 4240 enodes
66.000 * * [simplify]: iteration 265: 4258 enodes
66.901 * * [simplify]: iteration 266: 4272 enodes
67.051 * * [simplify]: iteration 267: 4290 enodes
67.963 * * [simplify]: iteration 268: 4304 enodes
68.116 * * [simplify]: iteration 269: 4322 enodes
69.047 * * [simplify]: iteration 270: 4336 enodes
69.203 * * [simplify]: iteration 271: 4354 enodes
70.150 * * [simplify]: iteration 272: 4368 enodes
70.307 * * [simplify]: iteration 273: 4386 enodes
71.249 * * [simplify]: iteration 274: 4400 enodes
71.406 * * [simplify]: iteration 275: 4418 enodes
72.362 * * [simplify]: iteration 276: 4432 enodes
72.521 * * [simplify]: iteration 277: 4450 enodes
73.480 * * [simplify]: iteration 278: 4464 enodes
73.641 * * [simplify]: iteration 279: 4482 enodes
74.638 * * [simplify]: iteration 280: 4496 enodes
74.798 * * [simplify]: iteration 281: 4514 enodes
75.804 * * [simplify]: iteration 282: 4528 enodes
75.968 * * [simplify]: iteration 283: 4546 enodes
76.980 * * [simplify]: iteration 284: 4560 enodes
77.142 * * [simplify]: iteration 285: 4578 enodes
78.174 * * [simplify]: iteration 286: 4592 enodes
78.339 * * [simplify]: iteration 287: 4610 enodes
79.376 * * [simplify]: iteration 288: 4624 enodes
79.540 * * [simplify]: iteration 289: 4642 enodes
80.587 * * [simplify]: iteration 290: 4656 enodes
80.754 * * [simplify]: iteration 291: 4674 enodes
81.813 * * [simplify]: iteration 292: 4688 enodes
81.980 * * [simplify]: iteration 293: 4706 enodes
83.068 * * [simplify]: iteration 294: 4720 enodes
83.250 * * [simplify]: iteration 295: 4738 enodes
84.363 * * [simplify]: iteration 296: 4752 enodes
84.544 * * [simplify]: iteration 297: 4770 enodes
85.655 * * [simplify]: iteration 298: 4784 enodes
85.835 * * [simplify]: iteration 299: 4802 enodes
86.971 * * [simplify]: iteration 300: 4816 enodes
87.155 * * [simplify]: iteration 301: 4834 enodes
88.503 * * [simplify]: iteration 302: 4848 enodes
88.686 * * [simplify]: iteration 303: 4866 enodes
89.789 * * [simplify]: iteration 304: 4880 enodes
89.976 * * [simplify]: iteration 305: 4898 enodes
91.092 * * [simplify]: iteration 306: 4912 enodes
91.297 * * [simplify]: iteration 307: 4930 enodes
92.456 * * [simplify]: iteration 308: 4944 enodes
92.698 * * [simplify]: iteration 309: 4962 enodes
93.902 * * [simplify]: iteration 310: 4976 enodes
94.807 * * [simplify]: iteration 311: 4997 enodes
95.280 * * [simplify]: iteration complete: 5001 enodes
95.280 * * [simplify]: Extracting #0: cost 1 inf + 0
95.281 * * [simplify]: Extracting #1: cost 328 inf + 0
95.283 * * [simplify]: Extracting #2: cost 79 inf + 10149
95.289 * * [simplify]: Extracting #3: cost 0 inf + 13392
95.292 * [simplify]: Simplified to:
  (fma x x x)
95.295 * * [progress]: iteration 1 / 4
95.295 * * * [progress]: picking best candidate
95.297 * * * * [pick]: Picked  #<alt (λ (x) (fma x x x))>
95.297 * * * [progress]: localizing error
95.300 * * * [progress]: generating rewritten candidates
95.300 * * * [progress]: generating series expansions
95.300 * * * [progress]: simplifying candidates
95.301 * [simplify]: Simplifying:
  
95.301 * * [simplify]: iteration 0: 0 enodes
95.301 * * [simplify]: iteration complete: 0 enodes
95.301 * * [simplify]: Extracting #0: cost 0 inf + 0
95.301 * [simplify]: Simplified to:
  
95.301 * * * [progress]: adding candidates to table
95.301 * [progress]: [Phase 3 of 3] Extracting.
95.303 * [simplify]: Simplifying:
  (fma x x x)
95.303 * * [simplify]: iteration 0: 2 enodes
95.303 * * [simplify]: iteration complete: 2 enodes
95.303 * * [simplify]: Extracting #0: cost 1 inf + 0
95.303 * * [simplify]: Extracting #1: cost 2 inf + 0
95.303 * * [simplify]: Extracting #2: cost 1 inf + 1
95.303 * * [simplify]: Extracting #3: cost 0 inf + 57
95.303 * [simplify]: Simplified to:
  (fma x x x)
95.777 * [regime-testing]: Baseline error score: 0
95.779 * [regime-testing]: Oracle error score: 0
95.779 * [regime-testing]: End program error score: 0
95.810 * [regime-testing]: Target error score: 0.016127015876984622