Average Error: 0.0 → 0.0
Time: 19.8s
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{\left(Vef - mu\right) + \left(Ev + 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{\left(Vef - mu\right) + \left(Ev + 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 r8559913 = NdChar;
        double r8559914 = 1.0;
        double r8559915 = Ec;
        double r8559916 = Vef;
        double r8559917 = r8559915 - r8559916;
        double r8559918 = EDonor;
        double r8559919 = r8559917 - r8559918;
        double r8559920 = mu;
        double r8559921 = r8559919 - r8559920;
        double r8559922 = -r8559921;
        double r8559923 = KbT;
        double r8559924 = r8559922 / r8559923;
        double r8559925 = exp(r8559924);
        double r8559926 = r8559914 + r8559925;
        double r8559927 = r8559913 / r8559926;
        double r8559928 = NaChar;
        double r8559929 = Ev;
        double r8559930 = r8559929 + r8559916;
        double r8559931 = EAccept;
        double r8559932 = r8559930 + r8559931;
        double r8559933 = -r8559920;
        double r8559934 = r8559932 + r8559933;
        double r8559935 = r8559934 / r8559923;
        double r8559936 = exp(r8559935);
        double r8559937 = r8559914 + r8559936;
        double r8559938 = r8559928 / r8559937;
        double r8559939 = r8559927 + r8559938;
        return r8559939;
}
↓
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r8559940 = NaChar;
        double r8559941 = Vef;
        double r8559942 = mu;
        double r8559943 = r8559941 - r8559942;
        double r8559944 = Ev;
        double r8559945 = EAccept;
        double r8559946 = r8559944 + r8559945;
        double r8559947 = r8559943 + r8559946;
        double r8559948 = KbT;
        double r8559949 = r8559947 / r8559948;
        double r8559950 = exp(r8559949);
        double r8559951 = 1.0;
        double r8559952 = r8559950 + r8559951;
        double r8559953 = r8559940 / r8559952;
        double r8559954 = NdChar;
        double r8559955 = Ec;
        double r8559956 = r8559955 - r8559941;
        double r8559957 = EDonor;
        double r8559958 = r8559956 - r8559957;
        double r8559959 = r8559942 - r8559958;
        double r8559960 = r8559959 / r8559948;
        double r8559961 = exp(r8559960);
        double r8559962 = r8559961 + r8559951;
        double r8559963 = r8559954 / r8559962;
        double r8559964 = r8559953 + r8559963;
        return r8559964;
}

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

  3. Final simplification0.0

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

Reproduce

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