6.173 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)))
0.024 * * [simplify]: iteration  0 :  27  enodes  (cost  8 )
0.025 * * [simplify]: iteration  1 :  94  enodes  (cost  8 )
0.027 * * [simplify]: iteration  2 :  315  enodes  (cost  8 )
0.031 * * [simplify]: iteration  3 :  900  enodes  (cost  8 )
0.043 * * [simplify]: iteration  4 :  2601  enodes  (cost  7 )
0.070 * * [simplify]: iteration  5 :  5001  enodes  (cost  7 )
0.070 * [simplify]: Simplified to:
   (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b)))
0.075 * [progress]: [Phase 3 of 3] Extracting.
0.075 * * [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.075 * * * [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.075 * * * * [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.115 * * * * [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.159 * * * * [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.197 * * * * [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.236 * * * * [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.278 * * * * [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.319 * * * * [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.360 * * * * [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.397 * * * [regime]: Found split indices: #<option (#s(si 0 165) #s(si 1 255))>
0.397 * [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.397 * [regimes]: Found splitpoints: (#s(sp 0 (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) -4.133323499500901e-252) #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.398 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) -4.133323499500901e-252) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))
0.398 * * [simplify]: iteration  0 :  23  enodes  (cost  22 )
0.398 * * [simplify]: iteration  1 :  25  enodes  (cost  22 )
0.399 * * [simplify]: iteration  2 :  25  enodes  (cost  22 )
0.399 * [simplify]: Simplified to:
   (if (<= (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b)) -4.133323499500901e-252) (exp (/ (* (neg (- x a)) (- x a)) (* (* 2.0 b) b))) (pow (exp (- a x)) (/ (- x a) (* (* 2.0 b) b))))
1.338 * [regime-testing]: End program error score: 4.178507675037957