8.538 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.128 * * * [progress]: [2/2] Setting up program.
0.135 * [progress]: [Phase 2 of 3] Improving.
0.135 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (neg (+ (- (- (+ (+ (- (+ (- (- (+ (+ (neg 63.0) (* 252.0 u)) (* 1008.0 (pow u 2.0))) (* 5040.0 (pow u 3.0))) (* 5040.0 (pow u 4.0))) (* 40320.0 (pow u 5.0))) (* 161280.0 (pow u 7.0))) (* 80640.0 (pow u 8.0))) (* 322560.0 (pow u 9.0))) (* 258048.0 (pow u 10.0))) (* 258048.0 (pow u 11.0))) (* 258048.0 (pow u 12.0)))) 1024.0)
0.138 * * [simplify]: iteration  0 :  139  enodes  (cost  35 )
0.141 * * [simplify]: iteration  1 :  449  enodes  (cost  35 )
0.151 * * [simplify]: iteration  2 :  2857  enodes  (cost  35 )
0.212 * * [simplify]: iteration  3 :  5002  enodes  (cost  33 )
0.213 * [simplify]: Simplified to:
   (- (/ (neg (* 258048.0 (pow u 12.0))) 1024.0) (/ (+ (+ (+ (- (* 40320.0 (pow u 5.0)) (* 161280.0 (pow u 7.0))) (- (* 252.0 u) 63.0)) (- (* 1008.0 (pow u 2.0)) (* 5040.0 (+ (pow u 3.0) (pow u 4.0))))) (+ (* 80640.0 (pow u 8.0)) (- (* 322560.0 (pow u 9.0)) (* 258048.0 (+ (pow u 10.0) (pow u 11.0)))))) 1024.0))
0.221 * [progress]: [Phase 3 of 3] Extracting.
0.226 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (/ (neg (* 258048.0 (pow u 12.0))) 1024.0) (/ (+ (+ (+ (- (* 40320.0 (pow u 5.0)) (* 161280.0 (pow u 7.0))) (- (* 252.0 u) 63.0)) (- (* 1008.0 (pow u 2.0)) (* 5040.0 (+ (pow u 3.0) (pow u 4.0))))) (+ (* 80640.0 (pow u 8.0)) (- (* 322560.0 (pow u 9.0)) (* 258048.0 (+ (pow u 10.0) (pow u 11.0)))))) 1024.0))
0.227 * * [simplify]: iteration  0 :  75  enodes  (cost  33 )
0.228 * * [simplify]: iteration  1 :  77  enodes  (cost  33 )
0.228 * * [simplify]: iteration  2 :  77  enodes  (cost  33 )
0.228 * [simplify]: Simplified to:
   (- (/ (neg (* 258048.0 (pow u 12.0))) 1024.0) (/ (+ (+ (+ (- (* 40320.0 (pow u 5.0)) (* 161280.0 (pow u 7.0))) (- (* 252.0 u) 63.0)) (- (* 1008.0 (pow u 2.0)) (* 5040.0 (+ (pow u 3.0) (pow u 4.0))))) (+ (* 80640.0 (pow u 8.0)) (- (* 322560.0 (pow u 9.0)) (* 258048.0 (+ (pow u 10.0) (pow u 11.0)))))) 1024.0))
5.573 * [regime-testing]: End program error score: 0.08726185036142174