42.677 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.208 * * * [progress]: [2/2] Setting up program.
0.214 * [progress]: [Phase 2 of 3] Improving.
0.214 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (+ (* (+ (* ax ax) (* ay ay)) (- by cy)) (* (+ (* bx bx) (* by by)) (- cy ay))) (* (+ (* cx cx) (* cy cy)) (- ay by))) (* (neg timeout) 5.0))
0.217 * * [simplify]: iteration  0 :  51  enodes  (cost  20 )
0.218 * * [simplify]: iteration  1 :  129  enodes  (cost  19 )
0.222 * * [simplify]: iteration  2 :  632  enodes  (cost  19 )
0.237 * * [simplify]: iteration  3 :  3558  enodes  (cost  19 )
0.306 * * [simplify]: iteration  4 :  5002  enodes  (cost  19 )
0.306 * [simplify]: Simplified to:
   (+ (* (+ (* ax ax) (* ay ay)) (- by cy)) (+ (+ (* (+ (* bx bx) (* by by)) (- cy ay)) (* (+ (* cx cx) (* cy cy)) (- ay by))) (* timeout 5.0)))
0.313 * [progress]: [Phase 3 of 3] Extracting.
0.318 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (* (+ (* ax ax) (* ay ay)) (- by cy)) (+ (+ (* (+ (* bx bx) (* by by)) (- cy ay)) (* (+ (* cx cx) (* cy cy)) (- ay by))) (* timeout 5.0)))
0.319 * * [simplify]: iteration  0 :  37  enodes  (cost  19 )
0.320 * * [simplify]: iteration  1 :  37  enodes  (cost  19 )
0.320 * [simplify]: Simplified to:
   (+ (* (+ (* ax ax) (* ay ay)) (- by cy)) (+ (+ (* (+ (* bx bx) (* by by)) (- cy ay)) (* (+ (* cx cx) (* cy cy)) (- ay by))) (* timeout 5.0)))
7.848 * [regime-testing]: End program error score: 16.021450801662798