4.876 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.046 * [progress]: [Phase 2 of 3] Improving.
0.046 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km)))
0.048 * * [simplify]: iteration  0 :  31  enodes  (cost  9 )
0.049 * * [simplify]: iteration  1 :  106  enodes  (cost  7 )
0.052 * * [simplify]: iteration  2 :  336  enodes  (cost  7 )
0.057 * * [simplify]: iteration  3 :  955  enodes  (cost  7 )
0.076 * * [simplify]: iteration  4 :  3005  enodes  (cost  7 )
0.123 * * [simplify]: iteration  5 :  5002  enodes  (cost  7 )
0.123 * [simplify]: Simplified to:
   (+ (* (+ earth_radius_km satellite_height_km) (- (+ earth_radius_km satellite_height_km) (* 2.0 earth_radius_km))) (* earth_radius_km earth_radius_km))
0.126 * [progress]: [Phase 3 of 3] Extracting.
0.126 * * [regime]: Finding splitpoints for: (#<alt (λ (earth_radius_km satellite_height_km) (+ (* (+ earth_radius_km satellite_height_km) (- (+ earth_radius_km satellite_height_km) (* 2.0 earth_radius_km))) (* earth_radius_km earth_radius_km)))> #<alt (λ (earth_radius_km satellite_height_km) (- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km))))>)
0.127 * * * [regime-changes]: Trying 3 branch expressions: ((- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km))) satellite_height_km earth_radius_km)
0.127 * * * * [regimes]: Trying to branch on (- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km))) from (#<alt (λ (earth_radius_km satellite_height_km) (+ (* (+ earth_radius_km satellite_height_km) (- (+ earth_radius_km satellite_height_km) (* 2.0 earth_radius_km))) (* earth_radius_km earth_radius_km)))> #<alt (λ (earth_radius_km satellite_height_km) (- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km))))>)
0.158 * * * * [regimes]: Trying to branch on satellite_height_km from (#<alt (λ (earth_radius_km satellite_height_km) (+ (* (+ earth_radius_km satellite_height_km) (- (+ earth_radius_km satellite_height_km) (* 2.0 earth_radius_km))) (* earth_radius_km earth_radius_km)))> #<alt (λ (earth_radius_km satellite_height_km) (- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km))))>)
0.190 * * * * [regimes]: Trying to branch on earth_radius_km from (#<alt (λ (earth_radius_km satellite_height_km) (+ (* (+ earth_radius_km satellite_height_km) (- (+ earth_radius_km satellite_height_km) (* 2.0 earth_radius_km))) (* earth_radius_km earth_radius_km)))> #<alt (λ (earth_radius_km satellite_height_km) (- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km))))>)
0.218 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.218 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km)))
0.219 * * [simplify]: iteration  0 :  14  enodes  (cost  9 )
0.219 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.219 * [simplify]: Simplified to:
   (- (+ (* earth_radius_km earth_radius_km) (* (+ earth_radius_km satellite_height_km) (+ earth_radius_km satellite_height_km))) (* (* 2.0 earth_radius_km) (+ earth_radius_km satellite_height_km)))
1.820 * [regime-testing]: End program error score: 25.834912171820683