2.037 * [progress]: [Phase 1 of 3] Setting up.
0.000 * * * [progress]: [1/2] Preparing points
0.067 * * * [progress]: [2/2] Setting up program.
0.070 * [progress]: [Phase 2 of 3] Improving.
0.070 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (+ (+ 1.0 (log a)) (log b)))
0.072 * * [simplify]: iteration  0 :  15  enodes  (cost  5 )
0.073 * * [simplify]: iteration  1 :  29  enodes  (cost  5 )
0.074 * * [simplify]: iteration  2 :  42  enodes  (cost  3 )
0.075 * * [simplify]: iteration  3 :  45  enodes  (cost  3 )
0.076 * * [simplify]: iteration  4 :  45  enodes  (cost  3 )
0.076 * [simplify]: Simplified to:
   (* (* b (exp 1.0)) a)
0.080 * [progress]: [Phase 3 of 3] Extracting.
0.080 * * [regime]: Finding splitpoints for: (#<alt (λ (a b) (exp (+ (+ 1.0 (log a)) (log b))))> #<alt (λ (a b) (* (* b (exp 1.0)) a))>)
0.081 * * * [regime-changes]: Trying 7 branch expressions: ((log b) (log a) (+ 1.0 (log a)) (+ (+ 1.0 (log a)) (log b)) (exp (+ (+ 1.0 (log a)) (log b))) b a)
0.081 * * * * [regimes]: Trying to branch on (log b) from (#<alt (λ (a b) (exp (+ (+ 1.0 (log a)) (log b))))> #<alt (λ (a b) (* (* b (exp 1.0)) a))>)
0.116 * * * * [regimes]: Trying to branch on (log a) from (#<alt (λ (a b) (exp (+ (+ 1.0 (log a)) (log b))))> #<alt (λ (a b) (* (* b (exp 1.0)) a))>)
0.152 * * * * [regimes]: Trying to branch on (+ 1.0 (log a)) from (#<alt (λ (a b) (exp (+ (+ 1.0 (log a)) (log b))))> #<alt (λ (a b) (* (* b (exp 1.0)) a))>)
0.186 * * * * [regimes]: Trying to branch on (+ (+ 1.0 (log a)) (log b)) from (#<alt (λ (a b) (exp (+ (+ 1.0 (log a)) (log b))))> #<alt (λ (a b) (* (* b (exp 1.0)) a))>)
0.226 * * * * [regimes]: Trying to branch on (exp (+ (+ 1.0 (log a)) (log b))) from (#<alt (λ (a b) (exp (+ (+ 1.0 (log a)) (log b))))> #<alt (λ (a b) (* (* b (exp 1.0)) a))>)
0.268 * * * * [regimes]: Trying to branch on b from (#<alt (λ (a b) (exp (+ (+ 1.0 (log a)) (log b))))> #<alt (λ (a b) (* (* b (exp 1.0)) a))>)
0.298 * * * * [regimes]: Trying to branch on a from (#<alt (λ (a b) (exp (+ (+ 1.0 (log a)) (log b))))> #<alt (λ (a b) (* (* b (exp 1.0)) a))>)
0.330 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
0.330 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (* b (exp 1.0)) a)
0.331 * * [simplify]: iteration  0 :  8  enodes  (cost  3 )
0.331 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
0.331 * [simplify]: Simplified to:
   (* (* b (exp 1.0)) a)
2.800 * [regime-testing]: End program error score: 0.3684872265299389