8.721 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.171 * * * [progress]: [2/2] Setting up program.
0.179 * [progress]: [Phase 2 of 3] Improving.
0.179 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (+ (- (+ (* (* 27.0 (pow a 2.0)) (pow d 2.0)) (* (* 4.0 (pow b 3.0)) d)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0)))
0.182 * * [simplify]: iteration  0 :  96  enodes  (cost  24 )
0.184 * * [simplify]: iteration  1 :  314  enodes  (cost  24 )
0.191 * * [simplify]: iteration  2 :  1352  enodes  (cost  24 )
0.230 * * [simplify]: iteration  3 :  5001  enodes  (cost  24 )
0.230 * [simplify]: Simplified to:
   (/ (- (+ (- (+ (* (* 27.0 (pow a 2.0)) (pow d 2.0)) (* (* 4.0 (pow b 3.0)) d)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0)))
0.231 * [progress]: [Phase 3 of 3] Extracting.
0.238 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (+ (- (+ (* (* 27.0 (pow a 2.0)) (pow d 2.0)) (* (* 4.0 (pow b 3.0)) d)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0)))
0.239 * * [simplify]: iteration  0 :  51  enodes  (cost  24 )
0.239 * * [simplify]: iteration  1 :  51  enodes  (cost  24 )
0.239 * [simplify]: Simplified to:
   (/ (- (+ (- (+ (* (* 27.0 (pow a 2.0)) (pow d 2.0)) (* (* 4.0 (pow b 3.0)) d)) (* (* (* (* 18.0 A) B) C) D)) (* (* 4.0 A) (pow C 3.0))) (* (pow B 2.0) (pow C 2.0))) (* 108.0 (pow A 4.0)))
6.227 * [regime-testing]: End program error score: 52.48835361519384