Average Error: 0.0 → 0.0
Time: 22.2s
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{1}{\frac{KbT}{mu - \left(\left(Ec - Vef\right) - EDonor\right)}}}} + \frac{NaChar}{e^{\frac{\left(Ev + \left(Vef + EAccept\right)\right) - mu}{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{1}{\frac{KbT}{mu - \left(\left(Ec - Vef\right) - EDonor\right)}}}} + \frac{NaChar}{e^{\frac{\left(Ev + \left(Vef + EAccept\right)\right) - mu}{KbT}} + 1}
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r7392301 = NdChar;
        double r7392302 = 1.0;
        double r7392303 = Ec;
        double r7392304 = Vef;
        double r7392305 = r7392303 - r7392304;
        double r7392306 = EDonor;
        double r7392307 = r7392305 - r7392306;
        double r7392308 = mu;
        double r7392309 = r7392307 - r7392308;
        double r7392310 = -r7392309;
        double r7392311 = KbT;
        double r7392312 = r7392310 / r7392311;
        double r7392313 = exp(r7392312);
        double r7392314 = r7392302 + r7392313;
        double r7392315 = r7392301 / r7392314;
        double r7392316 = NaChar;
        double r7392317 = Ev;
        double r7392318 = r7392317 + r7392304;
        double r7392319 = EAccept;
        double r7392320 = r7392318 + r7392319;
        double r7392321 = -r7392308;
        double r7392322 = r7392320 + r7392321;
        double r7392323 = r7392322 / r7392311;
        double r7392324 = exp(r7392323);
        double r7392325 = r7392302 + r7392324;
        double r7392326 = r7392316 / r7392325;
        double r7392327 = r7392315 + r7392326;
        return r7392327;
}
↓
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r7392328 = NdChar;
        double r7392329 = 1.0;
        double r7392330 = KbT;
        double r7392331 = mu;
        double r7392332 = Ec;
        double r7392333 = Vef;
        double r7392334 = r7392332 - r7392333;
        double r7392335 = EDonor;
        double r7392336 = r7392334 - r7392335;
        double r7392337 = r7392331 - r7392336;
        double r7392338 = r7392330 / r7392337;
        double r7392339 = r7392329 / r7392338;
        double r7392340 = exp(r7392339);
        double r7392341 = r7392329 + r7392340;
        double r7392342 = r7392328 / r7392341;
        double r7392343 = NaChar;
        double r7392344 = Ev;
        double r7392345 = EAccept;
        double r7392346 = r7392333 + r7392345;
        double r7392347 = r7392344 + r7392346;
        double r7392348 = r7392347 - r7392331;
        double r7392349 = r7392348 / r7392330;
        double r7392350 = exp(r7392349);
        double r7392351 = r7392350 + r7392329;
        double r7392352 = r7392343 / r7392351;
        double r7392353 = r7392342 + r7392352;
        return r7392353;
}

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

  4. Applied clear-num0.0

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

  5. Final simplification0.0

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

Reproduce

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