12.704 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.026 * * * [progress]: [2/2] Setting up program.
0.033 * [progress]: [Phase 2 of 3] Improving.
0.033 * [simplify]: Simplifying:
  (+ x (* (- y x) z))
0.033 * * [simplify]: iteration 0: 6 enodes
0.035 * * [simplify]: iteration 1: 10 enodes
0.038 * * [simplify]: iteration 2: 19 enodes
0.045 * * [simplify]: iteration 3: 35 enodes
0.054 * * [simplify]: iteration 4: 54 enodes
0.070 * * [simplify]: iteration 5: 68 enodes
0.086 * * [simplify]: iteration 6: 85 enodes
0.106 * * [simplify]: iteration 7: 106 enodes
0.156 * * [simplify]: iteration 8: 162 enodes
0.196 * * [simplify]: iteration 9: 237 enodes
0.276 * * [simplify]: iteration 10: 451 enodes
0.575 * * [simplify]: iteration 11: 1116 enodes
1.595 * * [simplify]: iteration 12: 1852 enodes
1.712 * * [simplify]: iteration 13: 2020 enodes
1.809 * * [simplify]: iteration 14: 2138 enodes
1.926 * * [simplify]: iteration 15: 2328 enodes
2.171 * * [simplify]: iteration 16: 2578 enodes
2.497 * * [simplify]: iteration 17: 2838 enodes
2.963 * * [simplify]: iteration 18: 3235 enodes
3.984 * * [simplify]: iteration 19: 4083 enodes
5.490 * * [simplify]: iteration complete: 5000 enodes
5.490 * * [simplify]: Extracting #0: cost 1 inf + 0
5.490 * * [simplify]: Extracting #1: cost 40 inf + 0
5.491 * * [simplify]: Extracting #2: cost 190 inf + 649
5.495 * * [simplify]: Extracting #3: cost 122 inf + 8060
5.503 * * [simplify]: Extracting #4: cost 22 inf + 19252
5.517 * * [simplify]: Extracting #5: cost 0 inf + 22549
5.531 * [simplify]: Simplified to:
  (fma (- y x) z x)
5.542 * * [progress]: iteration 1 / 4
5.542 * * * [progress]: picking best candidate
5.549 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- y x) z x))>
5.549 * * * [progress]: localizing error
5.557 * * * [progress]: generating rewritten candidates
5.558 * * * [progress]: generating series expansions
5.558 * * * [progress]: simplifying candidates
5.558 * [simplify]: Simplifying:
  
5.558 * * [simplify]: iteration 0: 0 enodes
5.558 * * [simplify]: iteration complete: 0 enodes
5.558 * * [simplify]: Extracting #0: cost 0 inf + 0
5.558 * [simplify]: Simplified to:
  
5.558 * * * [progress]: adding candidates to table
5.558 * [progress]: [Phase 3 of 3] Extracting.
5.562 * [simplify]: Simplifying:
  (fma (- y x) z x)
5.562 * * [simplify]: iteration 0: 5 enodes
5.562 * * [simplify]: iteration complete: 5 enodes
5.562 * * [simplify]: Extracting #0: cost 1 inf + 0
5.562 * * [simplify]: Extracting #1: cost 4 inf + 0
5.562 * * [simplify]: Extracting #2: cost 3 inf + 2
5.562 * * [simplify]: Extracting #3: cost 2 inf + 3
5.562 * * [simplify]: Extracting #4: cost 0 inf + 143
5.562 * [simplify]: Simplified to:
  (fma (- y x) z x)
6.848 * [regime-testing]: Baseline error score: 0.005750718839854982
6.856 * [regime-testing]: Oracle error score: 0.005750718839854982
6.856 * [regime-testing]: End program error score: 0.005750718839854982