2.998 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.075 * * * [progress]: [2/2] Setting up program.
0.079 * [progress]: [Phase 2 of 3] Improving.
0.079 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (+ (- (- (- (+ (+ (neg 42.379) (* 2.04901523 temp)) (* 10.14333127 rh)) (* (* 0.22475541 temp) rh)) (* (* 0.00683783 temp) temp)) (* (* 0.05481717 rh) rh)) (* (* (* 0.00122874 temp) temp) rh)) (* (* (* 0.00085282 temp) rh) rh)) (* (* (* (* 199.0 temp) temp) rh) rh))
0.081 * * [simplify]: iteration  0 :  95  enodes  (cost  27 )
0.084 * * [simplify]: iteration  1 :  319  enodes  (cost  23 )
0.093 * * [simplify]: iteration  2 :  1830  enodes  (cost  20 )
0.130 * * [simplify]: iteration  3 :  5002  enodes  (cost  20 )
0.131 * [simplify]: Simplified to:
   (+ (- (* 2.04901523 temp) 42.379) (- (- (* rh (- 10.14333127 (* 0.22475541 temp))) (* (* 0.00683783 temp) temp)) (* rh (- (- (* 0.05481717 rh) (* (* 0.00122874 temp) temp)) (* (* temp rh) (- 0.00085282 (* 199.0 temp)))))))
0.135 * [progress]: [Phase 3 of 3] Extracting.
0.135 * * [regime]: Finding splitpoints for: (#<alt (λ (temp rh) (+ (- (* 2.04901523 temp) 42.379) (- (- (* rh (- 10.14333127 (* 0.22475541 temp))) (* (* 0.00683783 temp) temp)) (* rh (- (- (* 0.05481717 rh) (* (* 0.00122874 temp) temp)) (* (* temp rh) (- 0.00085282 (* 199.0 temp))))))))> #<alt (λ (temp rh) (- (+ (+ (- (- (- (+ (+ (neg 42.379) (* 2.04901523 temp)) (* 10.14333127 rh)) (* (* 0.22475541 temp) rh)) (* (* 0.00683783 temp) temp)) (* (* 0.05481717 rh) rh)) (* (* (* 0.00122874 temp) temp) rh)) (* (* (* 0.00085282 temp) rh) rh)) (* (* (* (* 199.0 temp) temp) rh) rh)))>)
0.138 * * * [regime-changes]: Trying 3 branch expressions: ((- (+ (+ (- (- (- (+ (+ (neg 42.379) (* 2.04901523 temp)) (* 10.14333127 rh)) (* (* 0.22475541 temp) rh)) (* (* 0.00683783 temp) temp)) (* (* 0.05481717 rh) rh)) (* (* (* 0.00122874 temp) temp) rh)) (* (* (* 0.00085282 temp) rh) rh)) (* (* (* (* 199.0 temp) temp) rh) rh)) rh temp)
0.138 * * * * [regimes]: Trying to branch on (- (+ (+ (- (- (- (+ (+ (neg 42.379) (* 2.04901523 temp)) (* 10.14333127 rh)) (* (* 0.22475541 temp) rh)) (* (* 0.00683783 temp) temp)) (* (* 0.05481717 rh) rh)) (* (* (* 0.00122874 temp) temp) rh)) (* (* (* 0.00085282 temp) rh) rh)) (* (* (* (* 199.0 temp) temp) rh) rh)) from (#<alt (λ (temp rh) (+ (- (* 2.04901523 temp) 42.379) (- (- (* rh (- 10.14333127 (* 0.22475541 temp))) (* (* 0.00683783 temp) temp)) (* rh (- (- (* 0.05481717 rh) (* (* 0.00122874 temp) temp)) (* (* temp rh) (- 0.00085282 (* 199.0 temp))))))))> #<alt (λ (temp rh) (- (+ (+ (- (- (- (+ (+ (neg 42.379) (* 2.04901523 temp)) (* 10.14333127 rh)) (* (* 0.22475541 temp) rh)) (* (* 0.00683783 temp) temp)) (* (* 0.05481717 rh) rh)) (* (* (* 0.00122874 temp) temp) rh)) (* (* (* 0.00085282 temp) rh) rh)) (* (* (* (* 199.0 temp) temp) rh) rh)))>)
0.182 * * * * [regimes]: Trying to branch on rh from (#<alt (λ (temp rh) (+ (- (* 2.04901523 temp) 42.379) (- (- (* rh (- 10.14333127 (* 0.22475541 temp))) (* (* 0.00683783 temp) temp)) (* rh (- (- (* 0.05481717 rh) (* (* 0.00122874 temp) temp)) (* (* temp rh) (- 0.00085282 (* 199.0 temp))))))))> #<alt (λ (temp rh) (- (+ (+ (- (- (- (+ (+ (neg 42.379) (* 2.04901523 temp)) (* 10.14333127 rh)) (* (* 0.22475541 temp) rh)) (* (* 0.00683783 temp) temp)) (* (* 0.05481717 rh) rh)) (* (* (* 0.00122874 temp) temp) rh)) (* (* (* 0.00085282 temp) rh) rh)) (* (* (* (* 199.0 temp) temp) rh) rh)))>)
0.214 * * * * [regimes]: Trying to branch on temp from (#<alt (λ (temp rh) (+ (- (* 2.04901523 temp) 42.379) (- (- (* rh (- 10.14333127 (* 0.22475541 temp))) (* (* 0.00683783 temp) temp)) (* rh (- (- (* 0.05481717 rh) (* (* 0.00122874 temp) temp)) (* (* temp rh) (- 0.00085282 (* 199.0 temp))))))))> #<alt (λ (temp rh) (- (+ (+ (- (- (- (+ (+ (neg 42.379) (* 2.04901523 temp)) (* 10.14333127 rh)) (* (* 0.22475541 temp) rh)) (* (* 0.00683783 temp) temp)) (* (* 0.05481717 rh) rh)) (* (* (* 0.00122874 temp) temp) rh)) (* (* (* 0.00085282 temp) rh) rh)) (* (* (* (* 199.0 temp) temp) rh) rh)))>)
0.246 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
0.246 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (+ (- (* 2.04901523 temp) 42.379) (- (- (* rh (- 10.14333127 (* 0.22475541 temp))) (* (* 0.00683783 temp) temp)) (* rh (- (- (* 0.05481717 rh) (* (* 0.00122874 temp) temp)) (* (* temp rh) (- 0.00085282 (* 199.0 temp)))))))
0.247 * * [simplify]: iteration  0 :  44  enodes  (cost  20 )
0.247 * * [simplify]: iteration  1 :  44  enodes  (cost  20 )
0.247 * [simplify]: Simplified to:
   (+ (- (* 2.04901523 temp) 42.379) (- (- (* rh (- 10.14333127 (* 0.22475541 temp))) (* (* 0.00683783 temp) temp)) (* rh (- (- (* 0.05481717 rh) (* (* 0.00122874 temp) temp)) (* (* temp rh) (- 0.00085282 (* 199.0 temp)))))))
2.699 * [regime-testing]: End program error score: 0.15943761446475077