5.447 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.218 * * * [progress]: [2/2] Setting up program.
0.221 * [progress]: [Phase 2 of 3] Improving.
0.221 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (* R R) (acos (/ (- R h) R))) (* (- R h) (sqrt (- (* (* 2.0 R) h) (* h h)))))
0.223 * * [simplify]: iteration  0 :  34  enodes  (cost  13 )
0.224 * * [simplify]: iteration  1 :  66  enodes  (cost  13 )
0.226 * * [simplify]: iteration  2 :  102  enodes  (cost  13 )
0.230 * * [simplify]: iteration  3 :  141  enodes  (cost  13 )
0.233 * * [simplify]: iteration  4 :  231  enodes  (cost  13 )
0.235 * * [simplify]: iteration  5 :  345  enodes  (cost  13 )
0.239 * * [simplify]: iteration  6 :  454  enodes  (cost  13 )
0.243 * * [simplify]: iteration  7 :  604  enodes  (cost  13 )
0.249 * * [simplify]: iteration  8 :  811  enodes  (cost  13 )
0.255 * * [simplify]: iteration  9 :  845  enodes  (cost  13 )
0.261 * * [simplify]: iteration  10 :  850  enodes  (cost  13 )
0.266 * * [simplify]: iteration  11 :  850  enodes  (cost  13 )
0.267 * [simplify]: Simplified to:
   (- (* (* R R) (acos (/ (- R h) R))) (* (- R h) (sqrt (- (* (* 2.0 R) h) (* h h)))))
0.267 * [progress]: [Phase 3 of 3] Extracting.
0.270 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (* (* R R) (acos (/ (- R h) R))) (* (- R h) (sqrt (- (* (* 2.0 R) h) (* h h)))))
0.270 * * [simplify]: iteration  0 :  19  enodes  (cost  13 )
0.270 * * [simplify]: iteration  1 :  19  enodes  (cost  13 )
0.271 * [simplify]: Simplified to:
   (- (* (* R R) (acos (/ (- R h) R))) (* (- R h) (sqrt (- (* (* 2.0 R) h) (* h h)))))
7.540 * [regime-testing]: End program error score: 51.804009709255084