5.170 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.027 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.034 * [simplify]: Simplifying:
  (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
0.034 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.034 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.034 * * [simplify]: Extracting # 2 : cost  4  inf +  1
0.034 * * [simplify]: Extracting # 3 : cost  8  inf +  1
0.034 * * [simplify]: Extracting # 4 : cost  5  inf +  46
0.034 * * [simplify]: Extracting # 5 : cost  0  inf +  541
0.034 * * [simplify]: iteration  0 :  10  enodes  (cost  205 )
0.038 * * [simplify]: Extracting # 0 : cost  0  inf +  541
0.038 * * [simplify]: Extracting # 1 : cost  3  inf +  541
0.038 * * [simplify]: Extracting # 2 : cost  0  inf +  747
0.038 * * [simplify]: iteration  1 :  20  enodes  (cost  205 )
0.045 * * [simplify]: Extracting # 0 : cost  0  inf +  747
0.046 * * [simplify]: Extracting # 1 : cost  10  inf +  747
0.046 * * [simplify]: Extracting # 2 : cost  0  inf +  1488
0.047 * * [simplify]: iteration  2 :  48  enodes  (cost  205 )
0.060 * * [simplify]: Extracting # 0 : cost  0  inf +  1488
0.061 * * [simplify]: Extracting # 1 : cost  10  inf +  1329
0.062 * * [simplify]: Extracting # 2 : cost  0  inf +  2778
0.062 * * [simplify]: iteration  3 :  103  enodes  (cost  195 )
0.097 * * [simplify]: Extracting # 0 : cost  0  inf +  2778
0.099 * * [simplify]: Extracting # 1 : cost  51  inf +  1758
0.103 * * [simplify]: Extracting # 2 : cost  0  inf +  9098
0.107 * * [simplify]: Extracting # 3 : cost  0  inf +  9083
0.111 * * [simplify]: iteration  4 :  309  enodes  (cost  180 )
0.228 * * [simplify]: Extracting # 0 : cost  0  inf +  9083
0.240 * * [simplify]: Extracting # 1 : cost  175  inf +  4549
0.251 * * [simplify]: Extracting # 2 : cost  0  inf +  28245
0.264 * * [simplify]: Extracting # 3 : cost  0  inf +  27660
0.272 * * [simplify]: Extracting # 4 : cost  0  inf +  27620
0.280 * * [simplify]: iteration  5 :  1018  enodes  (cost  180 )
1.137 * * [simplify]: Extracting # 0 : cost  0  inf +  27620
1.213 * * [simplify]: Extracting # 1 : cost  823  inf +  9637
1.245 * * [simplify]: Extracting # 2 : cost  0  inf +  122911
1.276 * * [simplify]: Extracting # 3 : cost  0  inf +  122671
1.337 * * [simplify]: iteration  6 :  4066  enodes  (cost  180 )
2.117 * * [simplify]: Extracting # 0 : cost  0  inf +  122671
2.221 * * [simplify]: Extracting # 1 : cost  0  inf +  115199
2.257 * * [simplify]: iteration done:  5000  enodes  (cost  180 )
2.257 * [simplify]: Simplified to:
  (- (fma (- y 1.0) x 0.918938533204673) (* y 0.5))
2.262 * * [progress]: iteration 1 / 4
2.262 * * * [progress]: picking best candidate
2.266 * * * * [pick]: Picked  #<alt (λ (x y) (- (fma (- y 1.0) x 0.918938533204673) (* y 0.5)))>
2.266 * * * [progress]: localizing error
2.277 * * * [progress]: generating rewritten candidates
2.277 * * * [progress]: generating series expansions
2.277 * * * [progress]: simplifying candidates
2.277 * [simplify]: Simplifying:
  
2.277 * * [simplify]: Extracting # 0 : cost  0  inf +  0
2.277 * * [simplify]: iteration  0 :  0  enodes  (cost  0 )
2.277 * * [simplify]: Extracting # 0 : cost  0  inf +  0
2.277 * * [simplify]: iteration done:  0  enodes  (cost  0 )
2.277 * [simplify]: Simplified to:
  
2.277 * * * [progress]: adding candidates to table
2.278 * [progress]: [Phase 3 of 3] Extracting.
2.281 * [simplify]: Simplifying:
  (- (fma (- y 1.0) x 0.918938533204673) (* y 0.5))
2.282 * * [simplify]: Extracting # 0 : cost  1  inf +  0
2.282 * * [simplify]: Extracting # 1 : cost  3  inf +  0
2.282 * * [simplify]: Extracting # 2 : cost  8  inf +  0
2.282 * * [simplify]: Extracting # 3 : cost  5  inf +  4
2.282 * * [simplify]: Extracting # 4 : cost  0  inf +  368
2.282 * * [simplify]: iteration  0 :  9  enodes  (cost  180 )
2.282 * * [simplify]: Extracting # 0 : cost  0  inf +  368
2.282 * * [simplify]: iteration  1 :  10  enodes  (cost  180 )
2.282 * * [simplify]: Extracting # 0 : cost  0  inf +  368
2.282 * * [simplify]: iteration done:  10  enodes  (cost  180 )
2.283 * [simplify]: Simplified to:
  (- (fma (- y 1.0) x 0.918938533204673) (* y 0.5))
3.564 * [regime-testing]: Baseline error score: 0.010876359544943117
3.577 * [regime-testing]: Oracle error score: 0.010876359544943117
3.578 * [regime-testing]: End program error score: 0.010876359544943117