2.094 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.238 * * * [progress]: [2/2] Setting up program.
0.247 * [progress]: [Phase 2 of 3] Improving.
0.247 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (+ (+ (* a (+ (+ (* l e) (* m f)) (* n g))) (* b (+ (+ (* o e) (* p f)) (* q g)))) (* c (+ (+ (* r e) (* s f)) (* t g)))))
0.249 * * [simplify]: iteration  0 :  87  enodes  (cost  21 )
0.251 * * [simplify]: iteration  1 :  238  enodes  (cost  21 )
0.255 * * [simplify]: iteration  2 :  847  enodes  (cost  21 )
0.273 * * [simplify]: iteration  3 :  4433  enodes  (cost  21 )
0.350 * * [simplify]: iteration  4 :  5001  enodes  (cost  21 )
0.351 * [simplify]: Simplified to:
   (- x (+ (+ (* a (+ (+ (* l e) (* m f)) (* n g))) (* b (+ (+ (* o e) (* p f)) (* q g)))) (* c (+ (+ (* r e) (* s f)) (* t g)))))
0.351 * [progress]: [Phase 3 of 3] Extracting.
0.360 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- x (+ (+ (* a (+ (+ (* l e) (* m f)) (* n g))) (* b (+ (+ (* o e) (* p f)) (* q g)))) (* c (+ (+ (* r e) (* s f)) (* t g)))))
0.361 * * [simplify]: iteration  0 :  57  enodes  (cost  21 )
0.361 * * [simplify]: iteration  1 :  57  enodes  (cost  21 )
0.361 * [simplify]: Simplified to:
   (- x (+ (+ (* a (+ (+ (* l e) (* m f)) (* n g))) (* b (+ (+ (* o e) (* p f)) (* q g)))) (* c (+ (+ (* r e) (* s f)) (* t g)))))
8.111 * [regime-testing]: End program error score: 16.648897037320044