30.164 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.018 * * * [progress]: [2/2] Setting up program.
0.021 * [progress]: [Phase 2 of 3] Improving.
0.021 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+ (+ (+ (+ x x) x) x) x))>
0.021 * [simplify]: Simplifying:
  (+ (+ (+ (+ x x) x) x) x)
0.021 * * [simplify]: iteration 0: 5 enodes
0.023 * * [simplify]: iteration 1: 12 enodes
0.028 * * [simplify]: iteration 2: 24 enodes
0.034 * * [simplify]: iteration 3: 35 enodes
0.044 * * [simplify]: iteration 4: 50 enodes
0.054 * * [simplify]: iteration 5: 58 enodes
0.077 * * [simplify]: iteration 6: 94 enodes
0.105 * * [simplify]: iteration 7: 227 enodes
0.197 * * [simplify]: iteration 8: 336 enodes
0.269 * * [simplify]: iteration 9: 408 enodes
0.347 * * [simplify]: iteration 10: 483 enodes
0.477 * * [simplify]: iteration 11: 585 enodes
0.567 * * [simplify]: iteration 12: 632 enodes
0.632 * * [simplify]: iteration 13: 684 enodes
0.774 * * [simplify]: iteration 14: 740 enodes
0.858 * * [simplify]: iteration 15: 780 enodes
0.941 * * [simplify]: iteration 16: 823 enodes
1.032 * * [simplify]: iteration 17: 862 enodes
1.145 * * [simplify]: iteration 18: 908 enodes
1.251 * * [simplify]: iteration 19: 961 enodes
1.345 * * [simplify]: iteration 20: 1000 enodes
1.417 * * [simplify]: iteration 21: 1036 enodes
1.465 * * [simplify]: iteration 22: 1065 enodes
1.506 * * [simplify]: iteration 23: 1101 enodes
1.553 * * [simplify]: iteration 24: 1130 enodes
1.593 * * [simplify]: iteration 25: 1166 enodes
1.651 * * [simplify]: iteration 26: 1195 enodes
1.690 * * [simplify]: iteration 27: 1231 enodes
1.734 * * [simplify]: iteration 28: 1260 enodes
1.789 * * [simplify]: iteration 29: 1296 enodes
1.846 * * [simplify]: iteration 30: 1325 enodes
1.894 * * [simplify]: iteration 31: 1361 enodes
1.950 * * [simplify]: iteration 32: 1390 enodes
1.999 * * [simplify]: iteration 33: 1426 enodes
2.070 * * [simplify]: iteration 34: 1455 enodes
2.130 * * [simplify]: iteration 35: 1491 enodes
2.187 * * [simplify]: iteration 36: 1520 enodes
2.232 * * [simplify]: iteration 37: 1556 enodes
2.302 * * [simplify]: iteration 38: 1585 enodes
2.360 * * [simplify]: iteration 39: 1621 enodes
2.406 * * [simplify]: iteration 40: 1650 enodes
2.457 * * [simplify]: iteration 41: 1686 enodes
2.513 * * [simplify]: iteration 42: 1715 enodes
2.557 * * [simplify]: iteration 43: 1751 enodes
2.625 * * [simplify]: iteration 44: 1780 enodes
2.676 * * [simplify]: iteration 45: 1816 enodes
2.724 * * [simplify]: iteration 46: 1845 enodes
2.777 * * [simplify]: iteration 47: 1881 enodes
2.849 * * [simplify]: iteration 48: 1910 enodes
2.914 * * [simplify]: iteration 49: 1946 enodes
2.972 * * [simplify]: iteration 50: 1991 enodes
2.994 * * [simplify]: iteration complete: 2000 enodes
2.994 * * [simplify]: Extracting #0: cost 1 inf + 0
2.994 * * [simplify]: Extracting #1: cost 14 inf + 0
2.995 * * [simplify]: Extracting #2: cost 23 inf + 5
2.995 * * [simplify]: Extracting #3: cost 0 inf + 956
2.996 * [simplify]: Simplified to:
  (* 5 x)
2.999 * * [progress]: iteration 1 / 4
2.999 * * * [progress]: picking best candidate
3.001 * * * * [pick]: Picked  #<alt (λ (x) (* 5 x))>
3.001 * * * [progress]: localizing error
3.004 * * * [progress]: generating rewritten candidates
3.004 * * * [progress]: generating series expansions
3.004 * * * [progress]: simplifying candidates
3.004 * [simplify]: Simplifying:
  
3.004 * * [simplify]: iteration 0: 0 enodes
3.004 * * [simplify]: iteration complete: 0 enodes
3.004 * * [simplify]: Extracting #0: cost 0 inf + 0
3.004 * [simplify]: Simplified to:
  
3.004 * * * [progress]: adding candidates to table
3.005 * [progress]: [Phase 3 of 3] Extracting.
3.009 * [simplify]: Simplifying:
  (* 5 x)
3.009 * * [simplify]: iteration 0: 3 enodes
3.009 * * [simplify]: iteration 1: 4 enodes
3.009 * * [simplify]: iteration complete: 4 enodes
3.009 * * [simplify]: Extracting #0: cost 1 inf + 0
3.009 * * [simplify]: Extracting #1: cost 3 inf + 0
3.009 * * [simplify]: Extracting #2: cost 1 inf + 2
3.009 * * [simplify]: Extracting #3: cost 0 inf + 44
3.009 * [simplify]: Simplified to:
  (* 5 x)
3.819 * [regime-testing]: Baseline error score: 0
3.822 * [regime-testing]: Oracle error score: 0
3.822 * [regime-testing]: End program error score: 0