2.603 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.023 * [simplify]: Simplifying:
  (+ (- (* x (- y 1.0)) (* y 0.5)) 0.918938533204673)
0.023 * * [simplify]: iteration 0: 10 enodes
0.024 * * [simplify]: iteration 1: 20 enodes
0.028 * * [simplify]: iteration 2: 48 enodes
0.039 * * [simplify]: iteration 3: 103 enodes
0.064 * * [simplify]: iteration 4: 309 enodes
0.223 * * [simplify]: iteration 5: 1018 enodes
1.432 * * [simplify]: iteration 6: 4066 enodes
2.469 * * [simplify]: iteration complete: 5000 enodes
2.469 * * [simplify]: Extracting #0: cost 1 inf + 0
2.473 * * [simplify]: Extracting #1: cost 535 inf + 0
2.481 * * [simplify]: Extracting #2: cost 703 inf + 1342
2.492 * * [simplify]: Extracting #3: cost 65 inf + 5539
2.500 * * [simplify]: Extracting #4: cost 0 inf + 6049
2.508 * * [simplify]: Extracting #5: cost 0 inf + 6047
2.515 * [simplify]: Simplified to:
  (fma y (- x 0.5) (fma 1.0 (- x) 0.918938533204673))
2.524 * * [progress]: iteration 1 / 4
2.525 * * * [progress]: picking best candidate
2.530 * * * * [pick]: Picked  #<alt (λ (x y) (fma y (- x 0.5) (fma 1.0 (- x) 0.918938533204673)))>
2.531 * * * [progress]: localizing error
2.551 * * * [progress]: generating rewritten candidates
2.551 * * * [progress]: generating series expansions
2.551 * * * [progress]: simplifying candidates
2.551 * [simplify]: Simplifying:
  
2.551 * * [simplify]: iteration 0: 0 enodes
2.551 * * [simplify]: iteration complete: 0 enodes
2.551 * * [simplify]: Extracting #0: cost 0 inf + 0
2.551 * [simplify]: Simplified to:
  
2.551 * * * [progress]: adding candidates to table
2.552 * [progress]: [Phase 3 of 3] Extracting.
2.558 * [simplify]: Simplifying:
  (fma y (- x 0.5) (fma 1.0 (- x) 0.918938533204673))
2.558 * * [simplify]: iteration 0: 9 enodes
2.559 * * [simplify]: iteration complete: 9 enodes
2.559 * * [simplify]: Extracting #0: cost 1 inf + 0
2.559 * * [simplify]: Extracting #1: cost 4 inf + 0
2.559 * * [simplify]: Extracting #2: cost 8 inf + 1
2.559 * * [simplify]: Extracting #3: cost 0 inf + 25
2.559 * [simplify]: Simplified to:
  (fma y (- x 0.5) (fma 1.0 (- x) 0.918938533204673))
3.706 * [regime-testing]: Baseline error score: 0.00450056257032129
3.708 * [regime-testing]: Oracle error score: 0.00450056257032129
3.708 * [regime-testing]: End program error score: 0.00450056257032129