Timeout in 10.0m

Use the --timeout flag to change the timeout.

\[\frac{NdChar}{1 + e^{\frac{-\left(\left(\left(Ec - Vef\right) - EDonor\right) - mu\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(\left(Ev + Vef\right) + EAccept\right) + \left(-mu\right)}{KbT}}}\]
\frac{NdChar}{1 + e^{\frac{-\left(\left(\left(Ec - Vef\right) - EDonor\right) - mu\right)}{KbT}}} + \frac{NaChar}{1 + e^{\frac{\left(\left(Ev + Vef\right) + EAccept\right) + \left(-mu\right)}{KbT}}}
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r147270 = NdChar;
        double r147271 = 1.0;
        double r147272 = Ec;
        double r147273 = Vef;
        double r147274 = r147272 - r147273;
        double r147275 = EDonor;
        double r147276 = r147274 - r147275;
        double r147277 = mu;
        double r147278 = r147276 - r147277;
        double r147279 = -r147278;
        double r147280 = KbT;
        double r147281 = r147279 / r147280;
        double r147282 = exp(r147281);
        double r147283 = r147271 + r147282;
        double r147284 = r147270 / r147283;
        double r147285 = NaChar;
        double r147286 = Ev;
        double r147287 = r147286 + r147273;
        double r147288 = EAccept;
        double r147289 = r147287 + r147288;
        double r147290 = -r147277;
        double r147291 = r147289 + r147290;
        double r147292 = r147291 / r147280;
        double r147293 = exp(r147292);
        double r147294 = r147271 + r147293;
        double r147295 = r147285 / r147294;
        double r147296 = r147284 + r147295;
        return r147296;
}

Reproduce

herbie shell --seed 2019195 +o rules:numerics
(FPCore (NdChar Ec Vef EDonor mu KbT NaChar Ev EAccept)
  :name "Bulmash initializePoisson"
  (+ (/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))