43.303 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.016 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying:
  (- (* (+ x 1.0) y) x)
0.016 * * [simplify]: Extracting # 0 : cost  0
0.016 * * [simplify]: Extracting # 1 : cost  0
0.016 * * [simplify]: Extracting # 2 : cost  0
0.016 * * [simplify]: Extracting # 3 : cost  0
0.016 * * [simplify]: Extracting # 4 : cost  0
0.016 * * [simplify]: Extracting # 5 : cost  0
0.016 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.017 * * [simplify]: Extracting # 0 : cost  0
0.017 * * [simplify]: Extracting # 1 : cost  0
0.017 * * [simplify]: Extracting # 2 : cost  0
0.017 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.019 * * [simplify]: Extracting # 0 : cost  0
0.019 * * [simplify]: Extracting # 1 : cost  0
0.019 * * [simplify]: Extracting # 2 : cost  0
0.019 * * [simplify]: iteration  2 :  21  enodes  (cost  7 )
0.024 * * [simplify]: Extracting # 0 : cost  0
0.024 * * [simplify]: Extracting # 1 : cost  0
0.024 * * [simplify]: Extracting # 2 : cost  0
0.024 * * [simplify]: iteration  3 :  49  enodes  (cost  7 )
0.033 * * [simplify]: Extracting # 0 : cost  0
0.033 * * [simplify]: Extracting # 1 : cost  0
0.033 * * [simplify]: iteration  4 :  61  enodes  (cost  7 )
0.040 * * [simplify]: Extracting # 0 : cost  0
0.040 * * [simplify]: Extracting # 1 : cost  0
0.040 * * [simplify]: Extracting # 2 : cost  0
0.040 * * [simplify]: iteration  5 :  65  enodes  (cost  7 )
0.058 * * [simplify]: Extracting # 0 : cost  0
0.058 * * [simplify]: Extracting # 1 : cost  0
0.058 * * [simplify]: Extracting # 2 : cost  0
0.059 * * [simplify]: iteration  6 :  77  enodes  (cost  7 )
0.077 * * [simplify]: Extracting # 0 : cost  0
0.077 * * [simplify]: Extracting # 1 : cost  0
0.077 * * [simplify]: Extracting # 2 : cost  0
0.077 * * [simplify]: iteration  7 :  97  enodes  (cost  7 )
0.107 * * [simplify]: Extracting # 0 : cost  0
0.107 * * [simplify]: Extracting # 1 : cost  0
0.107 * * [simplify]: Extracting # 2 : cost  0
0.107 * * [simplify]: Extracting # 3 : cost  0
0.107 * * [simplify]: Extracting # 4 : cost  0
0.108 * * [simplify]: iteration  8 :  133  enodes  (cost  7 )
0.195 * * [simplify]: Extracting # 0 : cost  0
0.195 * * [simplify]: Extracting # 1 : cost  0
0.196 * * [simplify]: Extracting # 2 : cost  0
0.196 * * [simplify]: iteration  9 :  206  enodes  (cost  7 )
0.264 * * [simplify]: Extracting # 0 : cost  0
0.264 * * [simplify]: Extracting # 1 : cost  0
0.265 * * [simplify]: Extracting # 2 : cost  0
0.265 * * [simplify]: iteration  10 :  274  enodes  (cost  7 )
0.393 * * [simplify]: Extracting # 0 : cost  0
0.393 * * [simplify]: Extracting # 1 : cost  0
0.393 * * [simplify]: Extracting # 2 : cost  0
0.394 * * [simplify]: iteration  11 :  309  enodes  (cost  7 )
0.523 * * [simplify]: Extracting # 0 : cost  0
0.524 * * [simplify]: Extracting # 1 : cost  0
0.524 * * [simplify]: Extracting # 2 : cost  0
0.524 * * [simplify]: iteration  12 :  359  enodes  (cost  7 )
0.629 * * [simplify]: Extracting # 0 : cost  0
0.629 * * [simplify]: Extracting # 1 : cost  0
0.630 * * [simplify]: Extracting # 2 : cost  0
0.630 * * [simplify]: iteration  13 :  426  enodes  (cost  7 )
0.862 * * [simplify]: Extracting # 0 : cost  0
0.863 * * [simplify]: Extracting # 1 : cost  0
0.864 * * [simplify]: Extracting # 2 : cost  0
0.865 * * [simplify]: iteration  14 :  583  enodes  (cost  7 )
1.124 * * [simplify]: Extracting # 0 : cost  0
1.124 * * [simplify]: Extracting # 1 : cost  0
1.125 * * [simplify]: Extracting # 2 : cost  0
1.125 * * [simplify]: iteration  15 :  691  enodes  (cost  7 )
1.432 * * [simplify]: Extracting # 0 : cost  0
1.433 * * [simplify]: Extracting # 1 : cost  0
1.434 * * [simplify]: iteration  16 :  811  enodes  (cost  7 )
1.763 * * [simplify]: Extracting # 0 : cost  0
1.764 * * [simplify]: iteration  17 :  835  enodes  (cost  7 )
2.165 * * [simplify]: Extracting # 0 : cost  0
2.166 * * [simplify]: iteration  18 :  839  enodes  (cost  7 )
2.508 * * [simplify]: Extracting # 0 : cost  0
2.509 * * [simplify]: iteration done:  839  enodes  (cost  7 )
2.509 * [simplify]: Simplified to:
  (- (* (+ x 1.0) y) x)
2.510 * * [progress]: iteration 1 / 4
2.510 * * * [progress]: picking best candidate
2.512 * * * * [pick]: Picked  #<alt (λ (x y) (- (* (+ x 1.0) y) x))>
2.512 * * * [progress]: localizing error
2.527 * * * [progress]: generating rewritten candidates
2.527 * * * [progress]: generating series expansions
2.527 * * * [progress]: simplifying candidates
2.527 * [simplify]: Simplifying:
  
2.527 * * [simplify]: Extracting # 0 : cost  0
2.527 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
2.528 * * [simplify]: Extracting # 0 : cost  0
2.528 * * [simplify]: iteration done:  0  enodes  (cost  0 )
2.528 * [simplify]: Simplified to:
  
2.528 * * * [progress]: adding candidates to table
2.528 * [progress]: [Phase 3 of 3] Extracting.
2.530 * [simplify]: Simplifying:
  (- (* (+ x 1.0) y) x)
2.531 * * [simplify]: Extracting # 0 : cost  0
2.531 * * [simplify]: Extracting # 1 : cost  0
2.531 * * [simplify]: Extracting # 2 : cost  0
2.531 * * [simplify]: Extracting # 3 : cost  0
2.531 * * [simplify]: Extracting # 4 : cost  0
2.531 * * [simplify]: Extracting # 5 : cost  0
2.531 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
2.531 * * [simplify]: Extracting # 0 : cost  0
2.531 * * [simplify]: iteration  1 :  8  enodes  (cost  7 )
2.532 * * [simplify]: Extracting # 0 : cost  0
2.532 * * [simplify]: iteration done:  8  enodes  (cost  7 )
2.532 * [simplify]: Simplified to:
  (- (* (+ x 1.0) y) x)
3.297 * [regime-testing]: End program error score: 0.009449301475274554