19.313 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.079 * * * [progress]: [2/2] Setting up program.
0.083 * [progress]: [Phase 2 of 3] Improving.
0.084 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (- (+ (* x2 x5) (* x3 x6)) (* x2 x3)) (* x5 x6)) (* x1 (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)))
0.085 * * [simplify]: iteration  0 :  58  enodes  (cost  15 )
0.087 * * [simplify]: iteration  1 :  202  enodes  (cost  14 )
0.091 * * [simplify]: iteration  2 :  949  enodes  (cost  14 )
0.109 * * [simplify]: iteration  3 :  5001  enodes  (cost  13 )
0.109 * [simplify]: Simplified to:
   (+ (+ (* x1 (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* x3 (- x6 x2))) (* x5 (- x2 x6)))
0.115 * [progress]: [Phase 3 of 3] Extracting.
0.119 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (+ (* x1 (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* x3 (- x6 x2))) (* x5 (- x2 x6)))
0.120 * * [simplify]: iteration  0 :  28  enodes  (cost  13 )
0.120 * * [simplify]: iteration  1 :  28  enodes  (cost  13 )
0.120 * [simplify]: Simplified to:
   (+ (+ (* x1 (+ (+ (- (+ (+ (neg x1) x2) x3) x4) x5) x6)) (* x3 (- x6 x2))) (* x5 (- x2 x6)))
2.976 * [regime-testing]: End program error score: 0.046005750718839854