\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}}}double f(double NdChar, double Ec, double Vef, double EDonor, double mu, double KbT, double NaChar, double Ev, double EAccept) {
double r10459019 = NdChar;
double r10459020 = 1.0;
double r10459021 = Ec;
double r10459022 = Vef;
double r10459023 = r10459021 - r10459022;
double r10459024 = EDonor;
double r10459025 = r10459023 - r10459024;
double r10459026 = mu;
double r10459027 = r10459025 - r10459026;
double r10459028 = -r10459027;
double r10459029 = KbT;
double r10459030 = r10459028 / r10459029;
double r10459031 = exp(r10459030);
double r10459032 = r10459020 + r10459031;
double r10459033 = r10459019 / r10459032;
double r10459034 = NaChar;
double r10459035 = Ev;
double r10459036 = r10459035 + r10459022;
double r10459037 = EAccept;
double r10459038 = r10459036 + r10459037;
double r10459039 = -r10459026;
double r10459040 = r10459038 + r10459039;
double r10459041 = r10459040 / r10459029;
double r10459042 = exp(r10459041);
double r10459043 = r10459020 + r10459042;
double r10459044 = r10459034 / r10459043;
double r10459045 = r10459033 + r10459044;
return r10459045;
}
Please include this information when filing a bug report:
herbie shell --seed 2019173
(FPCore (NdChar Ec Vef EDonor mu KbT NaChar Ev EAccept)
:name "Bulmash initializePoisson"
(+ (/ NdChar (+ 1.0 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1.0 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))
| hash-ref: no value found for key key: #<enode 478(478)> | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 197 | 2 |
| extractor-extract | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 196 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 35 | 2 |
| (unnamed) | /data/pavpan/nightlies/herbie/various-cleanup/src/core/simplify.rkt | 26 | 0 |
| simplify! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 217 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 320 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 354 | 4 |
| run-improve43 | /data/pavpan/nightlies/herbie/various-cleanup/src/mainloop.rkt | 339 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |