Average Error: 0.0 → 0.0
Time: 55.0s
Precision: 64
\[\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{Ec - \left(EDonor + \left(mu + Vef\right)\right)}{KbT}}} + \frac{NaChar}{e^{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}} + 1}\]
\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{Ec - \left(EDonor + \left(mu + Vef\right)\right)}{KbT}}} + \frac{NaChar}{e^{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}} + 1}
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r70035353 = NdChar;
        double r70035354 = 1.0;
        double r70035355 = Ec;
        double r70035356 = Vef;
        double r70035357 = r70035355 - r70035356;
        double r70035358 = EDonor;
        double r70035359 = r70035357 - r70035358;
        double r70035360 = mu;
        double r70035361 = r70035359 - r70035360;
        double r70035362 = -r70035361;
        double r70035363 = KbT;
        double r70035364 = r70035362 / r70035363;
        double r70035365 = exp(r70035364);
        double r70035366 = r70035354 + r70035365;
        double r70035367 = r70035353 / r70035366;
        double r70035368 = NaChar;
        double r70035369 = Ev;
        double r70035370 = r70035369 + r70035356;
        double r70035371 = EAccept;
        double r70035372 = r70035370 + r70035371;
        double r70035373 = -r70035360;
        double r70035374 = r70035372 + r70035373;
        double r70035375 = r70035374 / r70035363;
        double r70035376 = exp(r70035375);
        double r70035377 = r70035354 + r70035376;
        double r70035378 = r70035368 / r70035377;
        double r70035379 = r70035367 + r70035378;
        return r70035379;
}
↓
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r70035380 = NdChar;
        double r70035381 = 1.0;
        double r70035382 = Ec;
        double r70035383 = EDonor;
        double r70035384 = mu;
        double r70035385 = Vef;
        double r70035386 = r70035384 + r70035385;
        double r70035387 = r70035383 + r70035386;
        double r70035388 = r70035382 - r70035387;
        double r70035389 = KbT;
        double r70035390 = r70035388 / r70035389;
        double r70035391 = -r70035390;
        double r70035392 = exp(r70035391);
        double r70035393 = r70035381 + r70035392;
        double r70035394 = r70035380 / r70035393;
        double r70035395 = NaChar;
        double r70035396 = Ev;
        double r70035397 = r70035396 + r70035385;
        double r70035398 = r70035397 - r70035384;
        double r70035399 = EAccept;
        double r70035400 = r70035398 + r70035399;
        double r70035401 = r70035400 / r70035389;
        double r70035402 = exp(r70035401);
        double r70035403 = r70035402 + r70035381;
        double r70035404 = r70035395 / r70035403;
        double r70035405 = r70035394 + r70035404;
        return r70035405;
}

Error

Bits error versus NdChar

Bits error versus Ec

Bits error versus Vef

Bits error versus EDonor

Bits error versus mu

Bits error versus KbT

Bits error versus NaChar

Bits error versus Ev

Bits error versus EAccept

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[\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}}}\]

  2. Simplified0.0

    \[\leadsto \color{blue}{\frac{NaChar}{1 + e^{\frac{EAccept + \left(\left(Ev + Vef\right) - mu\right)}{KbT}}} + \frac{NdChar}{e^{\frac{-\left(Ec - \left(\left(Vef + mu\right) + EDonor\right)\right)}{KbT}} + 1}}\]

  3. Final simplification0.0

    \[\leadsto \frac{NdChar}{1 + e^{-\frac{Ec - \left(EDonor + \left(mu + Vef\right)\right)}{KbT}}} + \frac{NaChar}{e^{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}} + 1}\]

Reproduce

herbie shell --seed 2019107 
(FPCore (NdChar Ec Vef EDonor mu KbT NaChar Ev EAccept)
  :name "Bulmash initializePoisson"
  (+ (/ NdChar (+ 1 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))