10.549 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.170 * * * [progress]: [2/2] Setting up program.
0.173 * [progress]: [Phase 2 of 3] Improving.
0.173 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (- (exp x) 1.0) (log (exp x)))
0.175 * * [simplify]: iteration  0 :  11  enodes  (cost  4 )
0.176 * * [simplify]: iteration  1 :  14  enodes  (cost  4 )
0.177 * * [simplify]: iteration  2 :  16  enodes  (cost  4 )
0.178 * * [simplify]: iteration  3 :  16  enodes  (cost  4 )
0.178 * [simplify]: Simplified to:
   (- (/ (exp x) x) (/ 1.0 x))
0.182 * [progress]: [Phase 3 of 3] Extracting.
0.182 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (- (exp x) 1.0) (log (exp x))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))>)
0.182 * * * [regime-changes]: Trying 3 branch expressions: ((exp x) (/ (- (exp x) 1.0) (log (exp x))) x)
0.182 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (/ (- (exp x) 1.0) (log (exp x))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))>)
0.210 * * * * [regimes]: Trying to branch on (/ (- (exp x) 1.0) (log (exp x))) from (#<alt (λ (x) (/ (- (exp x) 1.0) (log (exp x))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))>)
0.231 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (- (exp x) 1.0) (log (exp x))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))>)
0.259 * * * [regime]: Found split indices: #<option (#s(si 1 246) #s(si 0 255))>
0.260 * [binary-search]: Only using regimes for bounds on (exp x) and (#<alt (λ (x) (/ (- (exp x) 1.0) (log (exp x))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))>)
0.260 * [regimes]: Found splitpoints: (#s(sp 1 (exp x) 1.0) #s(sp 0 (exp x) +nan.0)) , with alts (#<alt (λ (x) (/ (- (exp x) 1.0) (log (exp x))))> #<alt (λ (x) (- (/ (exp x) x) (/ 1.0 x)))>)
0.261 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (exp x) 1.0) (- (/ (exp x) x) (/ 1.0 x)) (/ (- (exp x) 1.0) (log (exp x))))
0.261 * * [simplify]: iteration  0 :  11  enodes  (cost  10 )
0.262 * [simplify]: Simplified to:
   (if (<= (exp x) 1.0) (- (/ (exp x) x) (/ 1.0 x)) (/ (- (exp x) 1.0) (log (exp x))))
5.604 * [regime-testing]: End program error score: 57.97157884184564