0.006 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.388 * * * [progress]: [2/2] Setting up program.
0.394 * [progress]: [Phase 2 of 3] Improving.
0.395 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow (- (* (- x0 x1) (- (+ (- y0 (* 3.0 y1)) (* 3.0 y2)) y3)) (* (- y0 y1) (- (+ (- x0 (* 3.0 x1)) (* 3.0 x2)) x3))) 2.0)
0.397 * * [simplify]: iteration  0 :  60  enodes  (cost  16 )
0.398 * * [simplify]: iteration  1 :  175  enodes  (cost  16 )
0.402 * * [simplify]: iteration  2 :  749  enodes  (cost  16 )
0.415 * * [simplify]: iteration  3 :  3854  enodes  (cost  16 )
0.465 * * [simplify]: iteration  4 :  5002  enodes  (cost  16 )
0.465 * [simplify]: Simplified to:
   (pow (- (* (- x0 x1) (- (+ (- y0 (* 3.0 y1)) (* 3.0 y2)) y3)) (* (- y0 y1) (- (+ (- x0 (* 3.0 x1)) (* 3.0 x2)) x3))) 2.0)
0.465 * [progress]: [Phase 3 of 3] Extracting.
0.471 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (pow (- (* (- x0 x1) (- (+ (- y0 (* 3.0 y1)) (* 3.0 y2)) y3)) (* (- y0 y1) (- (+ (- x0 (* 3.0 x1)) (* 3.0 x2)) x3))) 2.0)
0.472 * * [simplify]: iteration  0 :  34  enodes  (cost  16 )
0.472 * * [simplify]: iteration  1 :  34  enodes  (cost  16 )
0.472 * [simplify]: Simplified to:
   (pow (- (* (- x0 x1) (- (+ (- y0 (* 3.0 y1)) (* 3.0 y2)) y3)) (* (- y0 y1) (- (+ (- x0 (* 3.0 x1)) (* 3.0 x2)) x3))) 2.0)
14.267 * [regime-testing]: End program error score: 9.59616531259947