8.620 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.029 * * * [progress]: [2/2] Setting up program.
0.035 * [progress]: [Phase 2 of 3] Improving.
0.035 * [simplify]: Simplifying:
  (+ x (* (- y x) z))
0.035 * * [simplify]: iteration 0: 6 enodes
0.037 * * [simplify]: iteration 1: 10 enodes
0.040 * * [simplify]: iteration 2: 19 enodes
0.045 * * [simplify]: iteration 3: 35 enodes
0.053 * * [simplify]: iteration 4: 59 enodes
0.065 * * [simplify]: iteration 5: 84 enodes
0.074 * * [simplify]: iteration 6: 98 enodes
0.091 * * [simplify]: iteration 7: 119 enodes
0.126 * * [simplify]: iteration 8: 273 enodes
0.220 * * [simplify]: iteration 9: 817 enodes
2.363 * * [simplify]: iteration 10: 3878 enodes
3.417 * * [simplify]: iteration complete: 5000 enodes
3.417 * * [simplify]: Extracting #0: cost 1 inf + 0
3.419 * * [simplify]: Extracting #1: cost 336 inf + 0
3.427 * * [simplify]: Extracting #2: cost 736 inf + 580
3.437 * * [simplify]: Extracting #3: cost 90 inf + 2964
3.446 * * [simplify]: Extracting #4: cost 1 inf + 3409
3.454 * * [simplify]: Extracting #5: cost 0 inf + 3416
3.463 * [simplify]: Simplified to:
  (fma z (- y x) x)
3.471 * * [progress]: iteration 1 / 4
3.471 * * * [progress]: picking best candidate
3.477 * * * * [pick]: Picked  #<alt (λ (x y z) (fma z (- y x) x))>
3.477 * * * [progress]: localizing error
3.496 * * * [progress]: generating rewritten candidates
3.496 * * * [progress]: generating series expansions
3.496 * * * [progress]: simplifying candidates
3.496 * [simplify]: Simplifying:
  
3.497 * * [simplify]: iteration 0: 0 enodes
3.497 * * [simplify]: iteration complete: 0 enodes
3.497 * * [simplify]: Extracting #0: cost 0 inf + 0
3.497 * [simplify]: Simplified to:
  
3.497 * * * [progress]: adding candidates to table
3.497 * [progress]: [Phase 3 of 3] Extracting.
3.504 * [simplify]: Simplifying:
  (fma z (- y x) x)
3.504 * * [simplify]: iteration 0: 5 enodes
3.505 * * [simplify]: iteration complete: 5 enodes
3.505 * * [simplify]: Extracting #0: cost 1 inf + 0
3.505 * * [simplify]: Extracting #1: cost 4 inf + 0
3.505 * * [simplify]: Extracting #2: cost 3 inf + 2
3.505 * * [simplify]: Extracting #3: cost 0 inf + 12
3.505 * [simplify]: Simplified to:
  (fma z (- y x) x)
4.747 * [regime-testing]: Baseline error score: 0.006875859482435304
4.749 * [regime-testing]: Oracle error score: 0.006875859482435304
4.749 * [regime-testing]: End program error score: 0.006875859482435304