Average Error: 0.0 → 0.0
Time: 15.4s
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}{e^{\frac{\left(Vef + \left(EDonor - Ec\right)\right) + mu}{KbT}} + 1} + \frac{NaChar}{e^{\frac{\left(Vef + EAccept\right) + \left(Ev - mu\right)}{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}{e^{\frac{\left(Vef + \left(EDonor - Ec\right)\right) + mu}{KbT}} + 1} + \frac{NaChar}{e^{\frac{\left(Vef + EAccept\right) + \left(Ev - mu\right)}{KbT}} + 1}
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r8379525 = NdChar;
        double r8379526 = 1.0;
        double r8379527 = Ec;
        double r8379528 = Vef;
        double r8379529 = r8379527 - r8379528;
        double r8379530 = EDonor;
        double r8379531 = r8379529 - r8379530;
        double r8379532 = mu;
        double r8379533 = r8379531 - r8379532;
        double r8379534 = -r8379533;
        double r8379535 = KbT;
        double r8379536 = r8379534 / r8379535;
        double r8379537 = exp(r8379536);
        double r8379538 = r8379526 + r8379537;
        double r8379539 = r8379525 / r8379538;
        double r8379540 = NaChar;
        double r8379541 = Ev;
        double r8379542 = r8379541 + r8379528;
        double r8379543 = EAccept;
        double r8379544 = r8379542 + r8379543;
        double r8379545 = -r8379532;
        double r8379546 = r8379544 + r8379545;
        double r8379547 = r8379546 / r8379535;
        double r8379548 = exp(r8379547);
        double r8379549 = r8379526 + r8379548;
        double r8379550 = r8379540 / r8379549;
        double r8379551 = r8379539 + r8379550;
        return r8379551;
}
↓
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r8379552 = NdChar;
        double r8379553 = Vef;
        double r8379554 = EDonor;
        double r8379555 = Ec;
        double r8379556 = r8379554 - r8379555;
        double r8379557 = r8379553 + r8379556;
        double r8379558 = mu;
        double r8379559 = r8379557 + r8379558;
        double r8379560 = KbT;
        double r8379561 = r8379559 / r8379560;
        double r8379562 = exp(r8379561);
        double r8379563 = 1.0;
        double r8379564 = r8379562 + r8379563;
        double r8379565 = r8379552 / r8379564;
        double r8379566 = NaChar;
        double r8379567 = EAccept;
        double r8379568 = r8379553 + r8379567;
        double r8379569 = Ev;
        double r8379570 = r8379569 - r8379558;
        double r8379571 = r8379568 + r8379570;
        double r8379572 = r8379571 / r8379560;
        double r8379573 = exp(r8379572);
        double r8379574 = r8379573 + r8379563;
        double r8379575 = r8379566 / r8379574;
        double r8379576 = r8379565 + r8379575;
        return r8379576;
}

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{NdChar}{e^{\frac{mu + \left(\left(EDonor - Ec\right) + Vef\right)}{KbT}} + 1} + \frac{NaChar}{1 + e^{\frac{\left(Vef + EAccept\right) + \left(Ev - mu\right)}{KbT}}}}\]

  3. Final simplification0.0

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

Reproduce

herbie shell --seed 2019200 
(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))))))