Average Error: 0.0 → 0.0
Time: 4.4m
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}{1 + e^{\sqrt[3]{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}} \cdot \left(\sqrt[3]{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}} \cdot \sqrt[3]{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}}\right)}} + \frac{NdChar}{1 + e^{\frac{-\left(Ec - \left(EDonor + \left(mu + Vef\right)\right)\right)}{KbT}}}\]
\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}{1 + e^{\sqrt[3]{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}} \cdot \left(\sqrt[3]{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}} \cdot \sqrt[3]{\frac{\left(\left(Ev + Vef\right) - mu\right) + EAccept}{KbT}}\right)}} + \frac{NdChar}{1 + e^{\frac{-\left(Ec - \left(EDonor + \left(mu + Vef\right)\right)\right)}{KbT}}}
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r63829275 = NdChar;
        double r63829276 = 1.0;
        double r63829277 = Ec;
        double r63829278 = Vef;
        double r63829279 = r63829277 - r63829278;
        double r63829280 = EDonor;
        double r63829281 = r63829279 - r63829280;
        double r63829282 = mu;
        double r63829283 = r63829281 - r63829282;
        double r63829284 = -r63829283;
        double r63829285 = KbT;
        double r63829286 = r63829284 / r63829285;
        double r63829287 = exp(r63829286);
        double r63829288 = r63829276 + r63829287;
        double r63829289 = r63829275 / r63829288;
        double r63829290 = NaChar;
        double r63829291 = Ev;
        double r63829292 = r63829291 + r63829278;
        double r63829293 = EAccept;
        double r63829294 = r63829292 + r63829293;
        double r63829295 = -r63829282;
        double r63829296 = r63829294 + r63829295;
        double r63829297 = r63829296 / r63829285;
        double r63829298 = exp(r63829297);
        double r63829299 = r63829276 + r63829298;
        double r63829300 = r63829290 / r63829299;
        double r63829301 = r63829289 + r63829300;
        return r63829301;
}
↓
double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
        double r63829302 = NaChar;
        double r63829303 = 1.0;
        double r63829304 = Ev;
        double r63829305 = Vef;
        double r63829306 = r63829304 + r63829305;
        double r63829307 = mu;
        double r63829308 = r63829306 - r63829307;
        double r63829309 = EAccept;
        double r63829310 = r63829308 + r63829309;
        double r63829311 = KbT;
        double r63829312 = r63829310 / r63829311;
        double r63829313 = cbrt(r63829312);
        double r63829314 = r63829313 * r63829313;
        double r63829315 = r63829313 * r63829314;
        double r63829316 = exp(r63829315);
        double r63829317 = r63829303 + r63829316;
        double r63829318 = r63829302 / r63829317;
        double r63829319 = NdChar;
        double r63829320 = Ec;
        double r63829321 = EDonor;
        double r63829322 = r63829307 + r63829305;
        double r63829323 = r63829321 + r63829322;
        double r63829324 = r63829320 - r63829323;
        double r63829325 = -r63829324;
        double r63829326 = r63829325 / r63829311;
        double r63829327 = exp(r63829326);
        double r63829328 = r63829303 + r63829327;
        double r63829329 = r63829319 / r63829328;
        double r63829330 = r63829318 + r63829329;
        return r63829330;
}

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. Using strategy rm

  4. Applied add-cube-cbrt0.0

    \[\leadsto \frac{NaChar}{1 + e^{\color{blue}{\left(\sqrt[3]{\frac{EAccept + \left(\left(Ev + Vef\right) - mu\right)}{KbT}} \cdot \sqrt[3]{\frac{EAccept + \left(\left(Ev + Vef\right) - mu\right)}{KbT}}\right) \cdot \sqrt[3]{\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}\]

  5. Final simplification0.0

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

Reproduce

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