4.458 * [progress]: [Phase 1 of 3] Setting up.
0.125 * * * [progress]: [1/2] Preparing points
0.991 * * * [progress]: [2/2] Setting up program.
1.031 * [progress]: [Phase 2 of 3] Improving.
1.160 * [simplify]: Simplifying:
  (+ x (* y (- z x)))
1.239 * * [simplify]: iteration 0: 6 enodes
1.302 * * [simplify]: iteration 1: 10 enodes
1.311 * * [simplify]: iteration 2: 19 enodes
1.358 * * [simplify]: iteration 3: 35 enodes
1.390 * * [simplify]: iteration 4: 55 enodes
1.402 * * [simplify]: iteration 5: 73 enodes
2.411 * * [simplify]: iteration 6: 90 enodes
2.453 * * [simplify]: iteration 7: 111 enodes
2.522 * * [simplify]: iteration 8: 167 enodes
2.685 * * [simplify]: iteration 9: 239 enodes
3.065 * * [simplify]: iteration 10: 443 enodes
4.075 * * [simplify]: iteration 11: 1082 enodes
8.768 * * [simplify]: iteration 12: 1892 enodes
9.217 * * [simplify]: iteration 13: 2328 enodes
9.706 * * [simplify]: iteration 14: 2486 enodes
10.638 * * [simplify]: iteration 15: 2720 enodes
11.299 * * [simplify]: iteration 16: 3143 enodes
13.168 * * [simplify]: iteration 17: 3840 enodes
18.478 * * [simplify]: iteration complete: 5022 enodes
18.506 * * [simplify]: Extracting #0: cost 1 inf + 0
18.507 * * [simplify]: Extracting #1: cost 69 inf + 0
18.536 * * [simplify]: Extracting #2: cost 306 inf + 1033
18.562 * * [simplify]: Extracting #3: cost 95 inf + 17730
18.618 * * [simplify]: Extracting #4: cost 4 inf + 25041
18.658 * * [simplify]: Extracting #5: cost 0 inf + 25529
18.687 * [simplify]: Simplified to:
  (fma (- z x) y x)
18.853 * * [progress]: iteration 1 / 4
18.853 * * * [progress]: picking best candidate
18.885 * * * * [pick]: Picked  #<alt (λ (x y z) (fma (- z x) y x))>
18.887 * * * [progress]: localizing error
18.983 * * * [progress]: generating rewritten candidates
18.984 * * * [progress]: generating series expansions
18.984 * * * [progress]: simplifying candidates
18.985 * [simplify]: Simplifying:
  
18.985 * * [simplify]: iteration 0: 0 enodes
18.985 * * [simplify]: iteration complete: 0 enodes
18.985 * * [simplify]: Extracting #0: cost 0 inf + 0
18.985 * [simplify]: Simplified to:
  
18.985 * * * [progress]: adding candidates to table
18.986 * [progress]: [Phase 3 of 3] Extracting.
19.033 * [simplify]: Simplifying:
  (fma (- z x) y x)
19.034 * * [simplify]: iteration 0: 5 enodes
19.034 * * [simplify]: iteration complete: 5 enodes
19.034 * * [simplify]: Extracting #0: cost 1 inf + 0
19.034 * * [simplify]: Extracting #1: cost 4 inf + 0
19.034 * * [simplify]: Extracting #2: cost 3 inf + 2
19.034 * * [simplify]: Extracting #3: cost 1 inf + 45
19.034 * * [simplify]: Extracting #4: cost 0 inf + 143
19.034 * [simplify]: Simplified to:
  (fma (- z x) y x)
22.483 * [regime-testing]: Baseline error score: 0.005625703212901613
22.500 * [regime-testing]: Oracle error score: 0.005625703212901613
22.501 * [regime-testing]: End program error score: 0.005625703212901613