Average Error: 0.0 → 0.0
Time: 55.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}{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 r101585615 = NdChar;
        double r101585616 = 1.0;
        double r101585617 = Ec;
        double r101585618 = Vef;
        double r101585619 = r101585617 - r101585618;
        double r101585620 = EDonor;
        double r101585621 = r101585619 - r101585620;
        double r101585622 = mu;
        double r101585623 = r101585621 - r101585622;
        double r101585624 = -r101585623;
        double r101585625 = KbT;
        double r101585626 = r101585624 / r101585625;
        double r101585627 = exp(r101585626);
        double r101585628 = r101585616 + r101585627;
        double r101585629 = r101585615 / r101585628;
        double r101585630 = NaChar;
        double r101585631 = Ev;
        double r101585632 = r101585631 + r101585618;
        double r101585633 = EAccept;
        double r101585634 = r101585632 + r101585633;
        double r101585635 = -r101585622;
        double r101585636 = r101585634 + r101585635;
        double r101585637 = r101585636 / r101585625;
        double r101585638 = exp(r101585637);
        double r101585639 = r101585616 + r101585638;
        double r101585640 = r101585630 / r101585639;
        double r101585641 = r101585629 + r101585640;
        return r101585641;
}
↓
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r101585642 = NdChar;
        double r101585643 = 1.0;
        double r101585644 = Ec;
        double r101585645 = EDonor;
        double r101585646 = mu;
        double r101585647 = Vef;
        double r101585648 = r101585646 + r101585647;
        double r101585649 = r101585645 + r101585648;
        double r101585650 = r101585644 - r101585649;
        double r101585651 = KbT;
        double r101585652 = r101585650 / r101585651;
        double r101585653 = -r101585652;
        double r101585654 = exp(r101585653);
        double r101585655 = r101585643 + r101585654;
        double r101585656 = r101585642 / r101585655;
        double r101585657 = NaChar;
        double r101585658 = Ev;
        double r101585659 = r101585658 + r101585647;
        double r101585660 = r101585659 - r101585646;
        double r101585661 = EAccept;
        double r101585662 = r101585660 + r101585661;
        double r101585663 = r101585662 / r101585651;
        double r101585664 = exp(r101585663);
        double r101585665 = r101585664 + r101585643;
        double r101585666 = r101585657 / r101585665;
        double r101585667 = r101585656 + r101585666;
        return r101585667;
}

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))))))