34.457 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)))
0.026 * * [simplify]: iteration  0 :  27  enodes  (cost  8 )
0.027 * * [simplify]: iteration  1 :  94  enodes  (cost  8 )
0.029 * * [simplify]: iteration  2 :  315  enodes  (cost  8 )
0.034 * * [simplify]: iteration  3 :  900  enodes  (cost  8 )
0.045 * * [simplify]: iteration  4 :  2601  enodes  (cost  7 )
0.075 * * [simplify]: iteration  5 :  5001  enodes  (cost  7 )
0.075 * [simplify]: Simplified to:
   (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b)))
0.080 * [progress]: [Phase 3 of 3] Extracting.
0.080 * * [regime]: Finding splitpoints for: (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.080 * * * [regime-changes]: Trying 8 branch expressions: ((* (* 2.0 b) b) (- x a) (* (neg (- x a)) (- x a)) (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))) b a x)
0.080 * * * * [regimes]: Trying to branch on (* (* 2.0 b) b) from (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.123 * * * * [regimes]: Trying to branch on (- x a) from (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.164 * * * * [regimes]: Trying to branch on (* (neg (- x a)) (- x a)) from (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.203 * * * * [regimes]: Trying to branch on (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) from (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.245 * * * * [regimes]: Trying to branch on (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))) from (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.290 * * * * [regimes]: Trying to branch on b from (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.330 * * * * [regimes]: Trying to branch on a from (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.368 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.407 * * * [regime]: Found split indices: #<option (#s(si 0 162) #s(si 1 255))>
0.408 * [binary-search]: Only using regimes for bounds on (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) and (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.408 * [regimes]: Found splitpoints: (#s(sp 0 (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) -4.0109399688216704e-243) #s(sp 1 (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) +nan.0)) , with alts (#<alt (λ (x a b) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))))> #<alt (λ (x a b) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))>)
0.409 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) -4.0109399688216704e-243) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))
0.409 * * [simplify]: iteration  0 :  23  enodes  (cost  22 )
0.410 * * [simplify]: iteration  1 :  25  enodes  (cost  22 )
0.410 * * [simplify]: iteration  2 :  25  enodes  (cost  22 )
0.410 * [simplify]: Simplified to:
   (if (<= (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) -4.0109399688216704e-243) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))
1.407 * [regime-testing]: End program error score: 4.3485937801875