17.756 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.299 * * * [progress]: [2/2] Setting up program.
0.306 * [progress]: [Phase 2 of 3] Improving.
0.307 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (* 0.01 (exp (+ (+ (- (+ (- (+ (- (/ (neg 2991.2729) (pow K 2.0)) (/ 6017.0128 K)) 18.87642854) (* 0.028354721 K)) (* 1.7838301e-05 (pow K 2.0))) (* 8.4150417e-10 (pow K 3.0))) (* 4.4412543e-13 (pow K 4.0))) (* 2.8584870000000002 (log K))))) (+ (+ 1.0 0.00072) (* (* (+ (+ (- (/ P 1013.25) (* 0.000119 E)) (* 3.5088e-09 (pow E 2.0))) (* 1.1696e-12 (pow E 3.0))) 1.01325) (+ 3.2e-06 (* 5.9e-10 (pow C 2.0)))))) 1013.25)
0.309 * * [simplify]: iteration  0 :  153  enodes  (cost  40 )
0.312 * * [simplify]: iteration  1 :  525  enodes  (cost  39 )
0.322 * * [simplify]: iteration  2 :  2981  enodes  (cost  39 )
0.381 * * [simplify]: iteration  3 :  5001  enodes  (cost  39 )
0.382 * [simplify]: Simplified to:
   (/ (* (pow K 2.8584870000000002) (exp (+ (- (+ (- (+ (- (/ (neg 2991.2729) (pow K 2.0)) (/ 6017.0128 K)) 18.87642854) (* 0.028354721 K)) (* 1.7838301e-05 (pow K 2.0))) (* 8.4150417e-10 (pow K 3.0))) (* 4.4412543e-13 (pow K 4.0))))) (/ (/ 1013.25 (+ (+ 1.0 0.00072) (* (* (+ (+ (- (/ P 1013.25) (* 0.000119 E)) (* 3.5088e-09 (pow E 2.0))) (* 1.1696e-12 (pow E 3.0))) 1.01325) (+ 3.2e-06 (* 5.9e-10 (pow C 2.0)))))) 0.01))
0.390 * [progress]: [Phase 3 of 3] Extracting.
0.396 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (* (* 0.01 (exp (+ (+ (- (+ (- (+ (- (/ (neg 2991.2729) (pow K 2.0)) (/ 6017.0128 K)) 18.87642854) (* 0.028354721 K)) (* 1.7838301e-05 (pow K 2.0))) (* 8.4150417e-10 (pow K 3.0))) (* 4.4412543e-13 (pow K 4.0))) (* 2.8584870000000002 (log K))))) (+ (+ 1.0 0.00072) (* (* (+ (+ (- (/ P 1013.25) (* 0.000119 E)) (* 3.5088e-09 (pow E 2.0))) (* 1.1696e-12 (pow E 3.0))) 1.01325) (+ 3.2e-06 (* 5.9e-10 (pow C 2.0)))))) 1013.25)
0.397 * * [simplify]: iteration  0 :  90  enodes  (cost  40 )
0.398 * * [simplify]: iteration  1 :  92  enodes  (cost  40 )
0.398 * * [simplify]: iteration  2 :  92  enodes  (cost  40 )
0.398 * [simplify]: Simplified to:
   (/ (* (* 0.01 (exp (+ (+ (- (+ (- (+ (- (/ (neg 2991.2729) (pow K 2.0)) (/ 6017.0128 K)) 18.87642854) (* 0.028354721 K)) (* 1.7838301e-05 (pow K 2.0))) (* 8.4150417e-10 (pow K 3.0))) (* 4.4412543e-13 (pow K 4.0))) (* 2.8584870000000002 (log K))))) (+ (+ 1.0 0.00072) (* (* (+ (+ (- (/ P 1013.25) (* 0.000119 E)) (* 3.5088e-09 (pow E 2.0))) (* 1.1696e-12 (pow E 3.0))) 1.01325) (+ 3.2e-06 (* 5.9e-10 (pow C 2.0)))))) 1013.25)
11.251 * [regime-testing]: End program error score: 19.528237468719823