30.402 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.080 * * * [progress]: [2/2] Setting up program.
0.086 * [progress]: [Phase 2 of 3] Improving.
0.087 * [simplify]: Simplifying:
  (+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)
0.087 * * [simplify]: iteration 0: 17 enodes
0.089 * * [simplify]: iteration 1: 33 enodes
0.094 * * [simplify]: iteration 2: 69 enodes
0.113 * * [simplify]: iteration 3: 137 enodes
0.150 * * [simplify]: iteration 4: 266 enodes
0.239 * * [simplify]: iteration 5: 456 enodes
0.419 * * [simplify]: iteration 6: 729 enodes
0.750 * * [simplify]: iteration 7: 1089 enodes
1.127 * * [simplify]: iteration 8: 1712 enodes
1.757 * * [simplify]: iteration 9: 2252 enodes
2.293 * * [simplify]: iteration 10: 2598 enodes
2.735 * * [simplify]: iteration 11: 2867 enodes
3.181 * * [simplify]: iteration 12: 3118 enodes
3.525 * * [simplify]: iteration 13: 3369 enodes
3.844 * * [simplify]: iteration 14: 3609 enodes
4.263 * * [simplify]: iteration 15: 3856 enodes
4.606 * * [simplify]: iteration 16: 4107 enodes
4.962 * * [simplify]: iteration 17: 4346 enodes
5.396 * * [simplify]: iteration 18: 4587 enodes
5.754 * * [simplify]: iteration 19: 4838 enodes
5.945 * * [simplify]: iteration complete: 5000 enodes
5.945 * * [simplify]: Extracting #0: cost 1 inf + 0
5.946 * * [simplify]: Extracting #1: cost 52 inf + 0
5.947 * * [simplify]: Extracting #2: cost 91 inf + 188
5.949 * * [simplify]: Extracting #3: cost 76 inf + 3320
5.959 * * [simplify]: Extracting #4: cost 3 inf + 13294
5.971 * * [simplify]: Extracting #5: cost 0 inf + 13834
5.989 * [simplify]: Simplified to:
  (fma (/ t 16.0) z (- (fma y x c) (/ (* a b) 4.0)))
6.000 * * [progress]: iteration 1 / 4
6.000 * * * [progress]: picking best candidate
6.008 * * * * [pick]: Picked  #<alt (λ (x y z t a b c) (fma (/ t 16.0) z (- (fma y x c) (/ (* a b) 4.0))))>
6.008 * * * [progress]: localizing error
6.029 * * * [progress]: generating rewritten candidates
6.029 * * * [progress]: generating series expansions
6.029 * * * [progress]: simplifying candidates
6.029 * [simplify]: Simplifying:
  
6.029 * * [simplify]: iteration 0: 0 enodes
6.029 * * [simplify]: iteration complete: 0 enodes
6.029 * * [simplify]: Extracting #0: cost 0 inf + 0
6.029 * [simplify]: Simplified to:
  
6.029 * * * [progress]: adding candidates to table
6.029 * [progress]: [Phase 3 of 3] Extracting.
6.038 * [simplify]: Simplifying:
  (fma (/ t 16.0) z (- (fma y x c) (/ (* a b) 4.0)))
6.038 * * [simplify]: iteration 0: 15 enodes
6.039 * * [simplify]: iteration 1: 16 enodes
6.040 * * [simplify]: iteration complete: 16 enodes
6.040 * * [simplify]: Extracting #0: cost 1 inf + 0
6.040 * * [simplify]: Extracting #1: cost 4 inf + 0
6.040 * * [simplify]: Extracting #2: cost 7 inf + 1
6.040 * * [simplify]: Extracting #3: cost 10 inf + 3
6.040 * * [simplify]: Extracting #4: cost 6 inf + 107
6.040 * * [simplify]: Extracting #5: cost 4 inf + 109
6.040 * * [simplify]: Extracting #6: cost 1 inf + 415
6.040 * * [simplify]: Extracting #7: cost 0 inf + 694
6.040 * [simplify]: Simplified to:
  (fma (/ t 16.0) z (- (fma y x c) (/ (* b a) 4.0)))
8.568 * [regime-testing]: Baseline error score: 0.03440745186110057
8.579 * [regime-testing]: Oracle error score: 0.03440745186110057
8.580 * [regime-testing]: End program error score: 0.03440745186110057