87.042 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.026 * [progress]: [Phase 2 of 3] Improving.
0.026 * [simplify]: Simplifying:
  (+ (+ (+ (+ x x) x) x) x)
0.027 * * [simplify]: iteration 0: 5 enodes
0.030 * * [simplify]: iteration 1: 12 enodes
0.138 * * [simplify]: iteration 2: 24 enodes
0.148 * * [simplify]: iteration 3: 37 enodes
0.194 * * [simplify]: iteration 4: 49 enodes
0.221 * * [simplify]: iteration 5: 61 enodes
0.257 * * [simplify]: iteration 6: 111 enodes
0.301 * * [simplify]: iteration 7: 239 enodes
0.830 * * [simplify]: iteration 8: 368 enodes
1.059 * * [simplify]: iteration 9: 461 enodes
1.836 * * [simplify]: iteration 10: 613 enodes
3.046 * * [simplify]: iteration 11: 739 enodes
3.350 * * [simplify]: iteration 12: 778 enodes
3.552 * * [simplify]: iteration 13: 814 enodes
3.747 * * [simplify]: iteration 14: 847 enodes
3.945 * * [simplify]: iteration 15: 878 enodes
4.153 * * [simplify]: iteration 16: 917 enodes
4.395 * * [simplify]: iteration 17: 948 enodes
4.535 * * [simplify]: iteration 18: 987 enodes
4.729 * * [simplify]: iteration 19: 1018 enodes
4.869 * * [simplify]: iteration 20: 1057 enodes
5.149 * * [simplify]: iteration 21: 1088 enodes
5.717 * * [simplify]: iteration 22: 1127 enodes
5.964 * * [simplify]: iteration 23: 1158 enodes
6.190 * * [simplify]: iteration 24: 1197 enodes
6.503 * * [simplify]: iteration 25: 1228 enodes
6.713 * * [simplify]: iteration 26: 1267 enodes
6.989 * * [simplify]: iteration 27: 1298 enodes
7.281 * * [simplify]: iteration 28: 1337 enodes
7.550 * * [simplify]: iteration 29: 1368 enodes
7.853 * * [simplify]: iteration 30: 1407 enodes
8.312 * * [simplify]: iteration 31: 1438 enodes
8.552 * * [simplify]: iteration 32: 1477 enodes
8.732 * * [simplify]: iteration 33: 1508 enodes
8.944 * * [simplify]: iteration 34: 1547 enodes
9.279 * * [simplify]: iteration 35: 1578 enodes
9.427 * * [simplify]: iteration 36: 1617 enodes
9.581 * * [simplify]: iteration 37: 1648 enodes
9.812 * * [simplify]: iteration 38: 1687 enodes
9.988 * * [simplify]: iteration 39: 1718 enodes
10.131 * * [simplify]: iteration 40: 1757 enodes
10.375 * * [simplify]: iteration 41: 1788 enodes
10.669 * * [simplify]: iteration 42: 1827 enodes
10.878 * * [simplify]: iteration 43: 1858 enodes
11.097 * * [simplify]: iteration 44: 1897 enodes
11.290 * * [simplify]: iteration 45: 1928 enodes
11.442 * * [simplify]: iteration 46: 1967 enodes
11.733 * * [simplify]: iteration 47: 1998 enodes
12.350 * * [simplify]: iteration 48: 2037 enodes
12.747 * * [simplify]: iteration 49: 2068 enodes
12.972 * * [simplify]: iteration 50: 2107 enodes
13.127 * * [simplify]: iteration 51: 2138 enodes
13.442 * * [simplify]: iteration 52: 2177 enodes
13.671 * * [simplify]: iteration 53: 2208 enodes
14.012 * * [simplify]: iteration 54: 2247 enodes
14.154 * * [simplify]: iteration 55: 2278 enodes
14.311 * * [simplify]: iteration 56: 2317 enodes
14.697 * * [simplify]: iteration 57: 2348 enodes
15.131 * * [simplify]: iteration 58: 2387 enodes
15.488 * * [simplify]: iteration 59: 2418 enodes
15.834 * * [simplify]: iteration 60: 2457 enodes
16.241 * * [simplify]: iteration 61: 2488 enodes
16.625 * * [simplify]: iteration 62: 2527 enodes
16.892 * * [simplify]: iteration 63: 2558 enodes
17.110 * * [simplify]: iteration 64: 2597 enodes
17.485 * * [simplify]: iteration 65: 2628 enodes
17.644 * * [simplify]: iteration 66: 2667 enodes
17.806 * * [simplify]: iteration 67: 2698 enodes
17.953 * * [simplify]: iteration 68: 2737 enodes
18.124 * * [simplify]: iteration 69: 2768 enodes
18.276 * * [simplify]: iteration 70: 2807 enodes
18.430 * * [simplify]: iteration 71: 2838 enodes
18.567 * * [simplify]: iteration 72: 2877 enodes
18.719 * * [simplify]: iteration 73: 2908 enodes
18.904 * * [simplify]: iteration 74: 2947 enodes
19.044 * * [simplify]: iteration 75: 2978 enodes
19.177 * * [simplify]: iteration 76: 3017 enodes
19.499 * * [simplify]: iteration 77: 3048 enodes
19.706 * * [simplify]: iteration 78: 3087 enodes
20.143 * * [simplify]: iteration 79: 3118 enodes
20.307 * * [simplify]: iteration 80: 3157 enodes
20.477 * * [simplify]: iteration 81: 3188 enodes
20.616 * * [simplify]: iteration 82: 3227 enodes
20.766 * * [simplify]: iteration 83: 3258 enodes
21.116 * * [simplify]: iteration 84: 3297 enodes
21.670 * * [simplify]: iteration 85: 3328 enodes
22.002 * * [simplify]: iteration 86: 3367 enodes
22.257 * * [simplify]: iteration 87: 3398 enodes
22.394 * * [simplify]: iteration 88: 3437 enodes
22.535 * * [simplify]: iteration 89: 3468 enodes
22.874 * * [simplify]: iteration 90: 3507 enodes
23.029 * * [simplify]: iteration 91: 3538 enodes
23.145 * * [simplify]: iteration 92: 3577 enodes
23.323 * * [simplify]: iteration 93: 3608 enodes
23.470 * * [simplify]: iteration 94: 3647 enodes
23.628 * * [simplify]: iteration 95: 3678 enodes
23.750 * * [simplify]: iteration 96: 3717 enodes
23.910 * * [simplify]: iteration 97: 3748 enodes
24.044 * * [simplify]: iteration 98: 3787 enodes
24.204 * * [simplify]: iteration 99: 3818 enodes
24.347 * * [simplify]: iteration 100: 3857 enodes
24.642 * * [simplify]: iteration 101: 3888 enodes
24.768 * * [simplify]: iteration 102: 3927 enodes
24.922 * * [simplify]: iteration 103: 3958 enodes
25.061 * * [simplify]: iteration 104: 3997 enodes
25.205 * * [simplify]: iteration 105: 4028 enodes
25.326 * * [simplify]: iteration 106: 4067 enodes
25.480 * * [simplify]: iteration 107: 4098 enodes
25.608 * * [simplify]: iteration 108: 4137 enodes
25.743 * * [simplify]: iteration 109: 4168 enodes
25.894 * * [simplify]: iteration 110: 4207 enodes
26.043 * * [simplify]: iteration 111: 4238 enodes
26.177 * * [simplify]: iteration 112: 4277 enodes
26.327 * * [simplify]: iteration 113: 4308 enodes
26.472 * * [simplify]: iteration 114: 4347 enodes
26.636 * * [simplify]: iteration 115: 4378 enodes
26.774 * * [simplify]: iteration 116: 4417 enodes
26.924 * * [simplify]: iteration 117: 4448 enodes
27.058 * * [simplify]: iteration 118: 4487 enodes
27.208 * * [simplify]: iteration 119: 4518 enodes
27.343 * * [simplify]: iteration 120: 4557 enodes
27.494 * * [simplify]: iteration 121: 4588 enodes
27.628 * * [simplify]: iteration 122: 4627 enodes
27.785 * * [simplify]: iteration 123: 4658 enodes
27.920 * * [simplify]: iteration 124: 4697 enodes
28.080 * * [simplify]: iteration 125: 4728 enodes
28.316 * * [simplify]: iteration 126: 4767 enodes
28.483 * * [simplify]: iteration 127: 4798 enodes
28.621 * * [simplify]: iteration 128: 4837 enodes
28.931 * * [simplify]: iteration 129: 4868 enodes
29.089 * * [simplify]: iteration 130: 4907 enodes
29.333 * * [simplify]: iteration 131: 4943 enodes
29.427 * * [simplify]: iteration complete: 5001 enodes
29.427 * * [simplify]: Extracting #0: cost 1 inf + 0
29.427 * * [simplify]: Extracting #1: cost 16 inf + 0
29.427 * * [simplify]: Extracting #2: cost 31 inf + 5
29.429 * * [simplify]: Extracting #3: cost 0 inf + 1286
29.431 * [simplify]: Simplified to:
  (* 5 x)
29.438 * * [progress]: iteration 1 / 4
29.439 * * * [progress]: picking best candidate
29.443 * * * * [pick]: Picked  #<alt (λ (x) (* 5 x))>
29.444 * * * [progress]: localizing error
29.450 * * * [progress]: generating rewritten candidates
29.450 * * * [progress]: generating series expansions
29.450 * * * [progress]: simplifying candidates
29.450 * [simplify]: Simplifying:
  
29.450 * * [simplify]: iteration 0: 0 enodes
29.450 * * [simplify]: iteration complete: 0 enodes
29.450 * * [simplify]: Extracting #0: cost 0 inf + 0
29.450 * [simplify]: Simplified to:
  
29.450 * * * [progress]: adding candidates to table
29.451 * [progress]: [Phase 3 of 3] Extracting.
29.456 * [simplify]: Simplifying:
  (* 5 x)
29.457 * * [simplify]: iteration 0: 3 enodes
29.457 * * [simplify]: iteration 1: 4 enodes
29.457 * * [simplify]: iteration complete: 4 enodes
29.457 * * [simplify]: Extracting #0: cost 1 inf + 0
29.457 * * [simplify]: Extracting #1: cost 3 inf + 0
29.457 * * [simplify]: Extracting #2: cost 0 inf + 44
29.458 * [simplify]: Simplified to:
  (* x 5)
31.165 * [regime-testing]: Baseline error score: 0
31.183 * [regime-testing]: Oracle error score: 0
31.184 * [regime-testing]: End program error score: 0