6.285 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
1.697 * * * [progress]: [2/2] Setting up program.
1.715 * [progress]: [Phase 2 of 3] Improving.
1.715 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (/ (neg (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0)))) (* 3.0 (pow (+ (- (+ (/ (sqrt (+ (* (neg 4.0) (pow (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0))) 3.0)) (pow (+ (- (/ (* 27.0 d) a) (/ (* (* 9.0 b) c) (pow a 2.0))) (/ (* 2.0 (pow b 3.0)) (pow a 3.0))) 2.0))) 2.0) (/ (* 27.0 d) (* 2.0 a))) (/ (* (* 9.0 b) c) (* 2.0 (pow a 2.0)))) (/ (pow b 3.0) (pow a 3.0))) (/ 1.0 3.0)))) (/ (pow (+ (- (+ (/ (sqrt (+ (* (neg 4.0) (pow (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0))) 3.0)) (pow (+ (- (/ (* 27.0 d) a) (/ (* (* 9.0 b) c) (pow a 2.0))) (/ (* 2.0 (pow b 3.0)) (pow a 3.0))) 2.0))) 2.0) (/ (* 27.0 d) (* 2.0 a))) (/ (* (* 9.0 b) c) (* 2.0 (pow a 2.0)))) (/ (pow b 3.0) (pow a 3.0))) (/ 1.0 3.0)) 3.0)) (/ b (* 3.0 a)))
1.718 * * [simplify]: iteration  0 :  139  enodes  (cost  99 )
1.720 * * [simplify]: iteration  1 :  405  enodes  (cost  99 )
1.725 * * [simplify]: iteration  2 :  1276  enodes  (cost  99 )
1.749 * * [simplify]: iteration  3 :  5002  enodes  (cost  99 )
1.750 * [simplify]: Simplified to:
   (- (- (/ (neg (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0)))) (* 3.0 (pow (+ (- (+ (/ (sqrt (+ (* (neg 4.0) (pow (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0))) 3.0)) (pow (+ (- (/ (* 27.0 d) a) (/ (* (* 9.0 b) c) (pow a 2.0))) (/ (* 2.0 (pow b 3.0)) (pow a 3.0))) 2.0))) 2.0) (/ (* 27.0 d) (* 2.0 a))) (/ (* (* 9.0 b) c) (* 2.0 (pow a 2.0)))) (/ (pow b 3.0) (pow a 3.0))) (/ 1.0 3.0)))) (/ (pow (+ (- (+ (/ (sqrt (+ (* (neg 4.0) (pow (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0))) 3.0)) (pow (+ (- (/ (* 27.0 d) a) (/ (* (* 9.0 b) c) (pow a 2.0))) (/ (* 2.0 (pow b 3.0)) (pow a 3.0))) 2.0))) 2.0) (/ (* 27.0 d) (* 2.0 a))) (/ (* (* 9.0 b) c) (* 2.0 (pow a 2.0)))) (/ (pow b 3.0) (pow a 3.0))) (/ 1.0 3.0)) 3.0)) (/ b (* 3.0 a)))
1.750 * [progress]: [Phase 3 of 3] Extracting.
1.763 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (- (/ (neg (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0)))) (* 3.0 (pow (+ (- (+ (/ (sqrt (+ (* (neg 4.0) (pow (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0))) 3.0)) (pow (+ (- (/ (* 27.0 d) a) (/ (* (* 9.0 b) c) (pow a 2.0))) (/ (* 2.0 (pow b 3.0)) (pow a 3.0))) 2.0))) 2.0) (/ (* 27.0 d) (* 2.0 a))) (/ (* (* 9.0 b) c) (* 2.0 (pow a 2.0)))) (/ (pow b 3.0) (pow a 3.0))) (/ 1.0 3.0)))) (/ (pow (+ (- (+ (/ (sqrt (+ (* (neg 4.0) (pow (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0))) 3.0)) (pow (+ (- (/ (* 27.0 d) a) (/ (* (* 9.0 b) c) (pow a 2.0))) (/ (* 2.0 (pow b 3.0)) (pow a 3.0))) 2.0))) 2.0) (/ (* 27.0 d) (* 2.0 a))) (/ (* (* 9.0 b) c) (* 2.0 (pow a 2.0)))) (/ (pow b 3.0) (pow a 3.0))) (/ 1.0 3.0)) 3.0)) (/ b (* 3.0 a)))
1.764 * * [simplify]: iteration  0 :  77  enodes  (cost  99 )
1.764 * * [simplify]: iteration  1 :  92  enodes  (cost  99 )
1.765 * * [simplify]: iteration  2 :  102  enodes  (cost  99 )
1.765 * * [simplify]: iteration  3 :  112  enodes  (cost  99 )
1.766 * * [simplify]: iteration  4 :  150  enodes  (cost  99 )
1.766 * * [simplify]: iteration  5 :  170  enodes  (cost  99 )
1.767 * * [simplify]: iteration  6 :  193  enodes  (cost  99 )
1.768 * * [simplify]: iteration  7 :  216  enodes  (cost  99 )
1.768 * * [simplify]: iteration  8 :  252  enodes  (cost  99 )
1.769 * * [simplify]: iteration  9 :  280  enodes  (cost  99 )
1.770 * * [simplify]: iteration  10 :  288  enodes  (cost  99 )
1.771 * * [simplify]: iteration  11 :  294  enodes  (cost  99 )
1.771 * * [simplify]: iteration  12 :  313  enodes  (cost  99 )
1.772 * * [simplify]: iteration  13 :  325  enodes  (cost  99 )
1.773 * * [simplify]: iteration  14 :  336  enodes  (cost  99 )
1.774 * * [simplify]: iteration  15 :  346  enodes  (cost  99 )
1.775 * * [simplify]: iteration  16 :  369  enodes  (cost  99 )
1.775 * * [simplify]: iteration  17 :  375  enodes  (cost  99 )
1.776 * * [simplify]: iteration  18 :  376  enodes  (cost  99 )
1.777 * * [simplify]: iteration  19 :  376  enodes  (cost  99 )
1.778 * [simplify]: Simplified to:
   (- (- (/ (neg (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0)))) (* 3.0 (pow (+ (- (+ (/ (sqrt (+ (* (neg 4.0) (pow (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0))) 3.0)) (pow (+ (- (/ (* 27.0 d) a) (/ (* (* 9.0 b) c) (pow a 2.0))) (/ (* 2.0 (pow b 3.0)) (pow a 3.0))) 2.0))) 2.0) (/ (* 27.0 d) (* 2.0 a))) (/ (* (* 9.0 b) c) (* 2.0 (pow a 2.0)))) (/ (pow b 3.0) (pow a 3.0))) (/ 1.0 3.0)))) (/ (pow (+ (- (+ (/ (sqrt (+ (* (neg 4.0) (pow (+ (/ (* (neg 3.0) c) a) (/ (pow b 2.0) (pow a 2.0))) 3.0)) (pow (+ (- (/ (* 27.0 d) a) (/ (* (* 9.0 b) c) (pow a 2.0))) (/ (* 2.0 (pow b 3.0)) (pow a 3.0))) 2.0))) 2.0) (/ (* 27.0 d) (* 2.0 a))) (/ (* (* 9.0 b) c) (* 2.0 (pow a 2.0)))) (/ (pow b 3.0) (pow a 3.0))) (/ 1.0 3.0)) 3.0)) (/ b (* 3.0 a)))
68.004 * [regime-testing]: End program error score: 54.256515778728065