Average Error: 0.0 → 0.0
Time: 18.6s
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{NaChar}{e^{\frac{Vef + \left(\left(Ev - mu\right) + EAccept\right)}{KbT}} + 1} + \frac{NdChar}{e^{\frac{mu - \left(\left(Ec - Vef\right) - EDonor\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{NaChar}{e^{\frac{Vef + \left(\left(Ev - mu\right) + EAccept\right)}{KbT}} + 1} + \frac{NdChar}{e^{\frac{mu - \left(\left(Ec - Vef\right) - EDonor\right)}{KbT}} + 1}
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r4034626 = NdChar;
        double r4034627 = 1.0;
        double r4034628 = Ec;
        double r4034629 = Vef;
        double r4034630 = r4034628 - r4034629;
        double r4034631 = EDonor;
        double r4034632 = r4034630 - r4034631;
        double r4034633 = mu;
        double r4034634 = r4034632 - r4034633;
        double r4034635 = -r4034634;
        double r4034636 = KbT;
        double r4034637 = r4034635 / r4034636;
        double r4034638 = exp(r4034637);
        double r4034639 = r4034627 + r4034638;
        double r4034640 = r4034626 / r4034639;
        double r4034641 = NaChar;
        double r4034642 = Ev;
        double r4034643 = r4034642 + r4034629;
        double r4034644 = EAccept;
        double r4034645 = r4034643 + r4034644;
        double r4034646 = -r4034633;
        double r4034647 = r4034645 + r4034646;
        double r4034648 = r4034647 / r4034636;
        double r4034649 = exp(r4034648);
        double r4034650 = r4034627 + r4034649;
        double r4034651 = r4034641 / r4034650;
        double r4034652 = r4034640 + r4034651;
        return r4034652;
}
↓
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r4034653 = NaChar;
        double r4034654 = Vef;
        double r4034655 = Ev;
        double r4034656 = mu;
        double r4034657 = r4034655 - r4034656;
        double r4034658 = EAccept;
        double r4034659 = r4034657 + r4034658;
        double r4034660 = r4034654 + r4034659;
        double r4034661 = KbT;
        double r4034662 = r4034660 / r4034661;
        double r4034663 = exp(r4034662);
        double r4034664 = 1.0;
        double r4034665 = r4034663 + r4034664;
        double r4034666 = r4034653 / r4034665;
        double r4034667 = NdChar;
        double r4034668 = Ec;
        double r4034669 = r4034668 - r4034654;
        double r4034670 = EDonor;
        double r4034671 = r4034669 - r4034670;
        double r4034672 = r4034656 - r4034671;
        double r4034673 = r4034672 / r4034661;
        double r4034674 = exp(r4034673);
        double r4034675 = r4034674 + r4034664;
        double r4034676 = r4034667 / r4034675;
        double r4034677 = r4034666 + r4034676;
        return r4034677;
}

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

  3. Final simplification0.0

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

Reproduce

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