45.358 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.028 * * * [progress]: [2/2] Setting up program.
0.029 * [progress]: [Phase 2 of 3] Improving.
0.029 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+ x (* x x)))>
0.030 * [simplify]: Simplifying:
  (+ x (* x x))
0.030 * * [simplify]: iteration 0: 3 enodes
0.030 * * [simplify]: iteration 1: 7 enodes
0.031 * * [simplify]: iteration 2: 12 enodes
0.033 * * [simplify]: iteration 3: 18 enodes
0.036 * * [simplify]: iteration 4: 31 enodes
0.039 * * [simplify]: iteration 5: 74 enodes
0.053 * * [simplify]: iteration 6: 94 enodes
0.060 * * [simplify]: iteration 7: 120 enodes
0.075 * * [simplify]: iteration 8: 144 enodes
0.087 * * [simplify]: iteration 9: 162 enodes
0.099 * * [simplify]: iteration 10: 176 enodes
0.109 * * [simplify]: iteration 11: 194 enodes
0.122 * * [simplify]: iteration 12: 208 enodes
0.135 * * [simplify]: iteration 13: 226 enodes
0.153 * * [simplify]: iteration 14: 240 enodes
0.174 * * [simplify]: iteration 15: 258 enodes
0.200 * * [simplify]: iteration 16: 272 enodes
0.218 * * [simplify]: iteration 17: 290 enodes
0.239 * * [simplify]: iteration 18: 304 enodes
0.253 * * [simplify]: iteration 19: 322 enodes
0.281 * * [simplify]: iteration 20: 336 enodes
0.306 * * [simplify]: iteration 21: 354 enodes
0.339 * * [simplify]: iteration 22: 368 enodes
0.363 * * [simplify]: iteration 23: 386 enodes
0.386 * * [simplify]: iteration 24: 400 enodes
0.415 * * [simplify]: iteration 25: 418 enodes
0.459 * * [simplify]: iteration 26: 432 enodes
0.490 * * [simplify]: iteration 27: 450 enodes
0.527 * * [simplify]: iteration 28: 464 enodes
0.546 * * [simplify]: iteration 29: 482 enodes
0.577 * * [simplify]: iteration 30: 496 enodes
0.610 * * [simplify]: iteration 31: 514 enodes
0.656 * * [simplify]: iteration 32: 528 enodes
0.680 * * [simplify]: iteration 33: 546 enodes
0.718 * * [simplify]: iteration 34: 560 enodes
0.745 * * [simplify]: iteration 35: 578 enodes
0.793 * * [simplify]: iteration 36: 592 enodes
0.831 * * [simplify]: iteration 37: 610 enodes
0.897 * * [simplify]: iteration 38: 624 enodes
0.926 * * [simplify]: iteration 39: 642 enodes
0.983 * * [simplify]: iteration 40: 656 enodes
1.012 * * [simplify]: iteration 41: 674 enodes
1.082 * * [simplify]: iteration 42: 688 enodes
1.113 * * [simplify]: iteration 43: 706 enodes
1.163 * * [simplify]: iteration 44: 720 enodes
1.194 * * [simplify]: iteration 45: 738 enodes
1.284 * * [simplify]: iteration 46: 752 enodes
1.319 * * [simplify]: iteration 47: 770 enodes
1.387 * * [simplify]: iteration 48: 784 enodes
1.424 * * [simplify]: iteration 49: 802 enodes
1.482 * * [simplify]: iteration 50: 816 enodes
1.515 * * [simplify]: iteration 51: 834 enodes
1.594 * * [simplify]: iteration 52: 848 enodes
1.645 * * [simplify]: iteration 53: 866 enodes
1.719 * * [simplify]: iteration 54: 880 enodes
1.767 * * [simplify]: iteration 55: 898 enodes
1.849 * * [simplify]: iteration 56: 912 enodes
1.904 * * [simplify]: iteration 57: 930 enodes
1.999 * * [simplify]: iteration 58: 944 enodes
2.046 * * [simplify]: iteration 59: 962 enodes
2.138 * * [simplify]: iteration 60: 976 enodes
2.191 * * [simplify]: iteration 61: 994 enodes
2.272 * * [simplify]: iteration 62: 1008 enodes
2.325 * * [simplify]: iteration 63: 1026 enodes
2.451 * * [simplify]: iteration 64: 1040 enodes
2.494 * * [simplify]: iteration 65: 1058 enodes
2.668 * * [simplify]: iteration 66: 1072 enodes
2.721 * * [simplify]: iteration 67: 1090 enodes
2.843 * * [simplify]: iteration 68: 1104 enodes
2.898 * * [simplify]: iteration 69: 1122 enodes
3.034 * * [simplify]: iteration 70: 1136 enodes
3.085 * * [simplify]: iteration 71: 1154 enodes
3.199 * * [simplify]: iteration 72: 1168 enodes
3.242 * * [simplify]: iteration 73: 1186 enodes
3.395 * * [simplify]: iteration 74: 1200 enodes
3.465 * * [simplify]: iteration 75: 1218 enodes
3.607 * * [simplify]: iteration 76: 1232 enodes
3.664 * * [simplify]: iteration 77: 1250 enodes
3.815 * * [simplify]: iteration 78: 1264 enodes
3.885 * * [simplify]: iteration 79: 1282 enodes
4.097 * * [simplify]: iteration 80: 1296 enodes
4.187 * * [simplify]: iteration 81: 1314 enodes
4.392 * * [simplify]: iteration 82: 1328 enodes
4.460 * * [simplify]: iteration 83: 1346 enodes
4.648 * * [simplify]: iteration 84: 1360 enodes
4.713 * * [simplify]: iteration 85: 1378 enodes
4.898 * * [simplify]: iteration 86: 1392 enodes
4.951 * * [simplify]: iteration 87: 1410 enodes
5.126 * * [simplify]: iteration 88: 1424 enodes
5.179 * * [simplify]: iteration 89: 1442 enodes
5.381 * * [simplify]: iteration 90: 1456 enodes
5.453 * * [simplify]: iteration 91: 1474 enodes
5.642 * * [simplify]: iteration 92: 1488 enodes
5.754 * * [simplify]: iteration 93: 1506 enodes
5.968 * * [simplify]: iteration 94: 1520 enodes
6.053 * * [simplify]: iteration 95: 1538 enodes
6.257 * * [simplify]: iteration 96: 1552 enodes
6.339 * * [simplify]: iteration 97: 1570 enodes
6.574 * * [simplify]: iteration 98: 1584 enodes
6.639 * * [simplify]: iteration 99: 1602 enodes
6.893 * * [simplify]: iteration 100: 1616 enodes
6.982 * * [simplify]: iteration 101: 1634 enodes
7.278 * * [simplify]: iteration 102: 1648 enodes
7.370 * * [simplify]: iteration 103: 1666 enodes
7.612 * * [simplify]: iteration 104: 1680 enodes
7.683 * * [simplify]: iteration 105: 1698 enodes
7.973 * * [simplify]: iteration 106: 1712 enodes
8.047 * * [simplify]: iteration 107: 1730 enodes
8.288 * * [simplify]: iteration 108: 1744 enodes
8.363 * * [simplify]: iteration 109: 1762 enodes
8.612 * * [simplify]: iteration 110: 1776 enodes
8.689 * * [simplify]: iteration 111: 1794 enodes
8.944 * * [simplify]: iteration 112: 1808 enodes
9.057 * * [simplify]: iteration 113: 1826 enodes
9.421 * * [simplify]: iteration 114: 1840 enodes
9.516 * * [simplify]: iteration 115: 1858 enodes
9.808 * * [simplify]: iteration 116: 1872 enodes
9.908 * * [simplify]: iteration 117: 1890 enodes
10.230 * * [simplify]: iteration 118: 1904 enodes
10.340 * * [simplify]: iteration 119: 1922 enodes
10.700 * * [simplify]: iteration 120: 1936 enodes
10.771 * * [simplify]: iteration 121: 1954 enodes
11.081 * * [simplify]: iteration 122: 1968 enodes
11.153 * * [simplify]: iteration 123: 1986 enodes
11.441 * * [simplify]: iteration 124: 2000 enodes
11.543 * * [simplify]: iteration complete: 2000 enodes
11.544 * * [simplify]: Extracting #0: cost 1 inf + 0
11.544 * * [simplify]: Extracting #1: cost 141 inf + 0
11.546 * * [simplify]: Extracting #2: cost 69 inf + 2892
11.550 * * [simplify]: Extracting #3: cost 0 inf + 5725
11.553 * [simplify]: Simplified to:
  (fma x x x)
11.561 * * [progress]: iteration 1 / 4
11.561 * * * [progress]: picking best candidate
11.564 * * * * [pick]: Picked  #<alt (λ (x) (fma x x x))>
11.564 * * * [progress]: localizing error
11.572 * * * [progress]: generating rewritten candidates
11.572 * * * [progress]: generating series expansions
11.572 * * * [progress]: simplifying candidates
11.573 * [simplify]: Simplifying:
  
11.573 * * [simplify]: iteration 0: 0 enodes
11.573 * * [simplify]: iteration complete: 0 enodes
11.573 * * [simplify]: Extracting #0: cost 0 inf + 0
11.573 * [simplify]: Simplified to:
  
11.573 * * * [progress]: adding candidates to table
11.574 * [progress]: [Phase 3 of 3] Extracting.
11.577 * [simplify]: Simplifying:
  (fma x x x)
11.577 * * [simplify]: iteration 0: 2 enodes
11.577 * * [simplify]: iteration complete: 2 enodes
11.577 * * [simplify]: Extracting #0: cost 1 inf + 0
11.577 * * [simplify]: Extracting #1: cost 2 inf + 0
11.577 * * [simplify]: Extracting #2: cost 1 inf + 1
11.577 * * [simplify]: Extracting #3: cost 0 inf + 57
11.577 * [simplify]: Simplified to:
  (fma x x x)
12.514 * [regime-testing]: Baseline error score: 0
12.519 * [regime-testing]: Oracle error score: 0
12.519 * [regime-testing]: End program error score: 0
12.555 * [regime-testing]: Target error score: 0.01912739092386548