\[\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{-\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 r11383 = NdChar;
        double r11384 = 1.0;
        double r11385 = Ec;
        double r11386 = Vef;
        double r11387 = r11385 - r11386;
        double r11388 = EDonor;
        double r11389 = r11387 - r11388;
        double r11390 = mu;
        double r11391 = r11389 - r11390;
        double r11392 = -r11391;
        double r11393 = KbT;
        double r11394 = r11392 / r11393;
        double r11395 = exp(r11394);
        double r11396 = r11384 + r11395;
        double r11397 = r11383 / r11396;
        double r11398 = NaChar;
        double r11399 = Ev;
        double r11400 = r11399 + r11386;
        double r11401 = EAccept;
        double r11402 = r11400 + r11401;
        double r11403 = -r11390;
        double r11404 = r11402 + r11403;
        double r11405 = r11404 / r11393;
        double r11406 = exp(r11405);
        double r11407 = r11384 + r11406;
        double r11408 = r11398 / r11407;
        double r11409 = r11397 + r11408;
        return r11409;
}

Reproduce

Please include this information when filing a bug report:

herbie shell --seed 2019315 +o rules:numerics
(FPCore (NdChar Ec Vef EDonor mu KbT NaChar Ev EAccept)
  :name "Bulmash initializePoisson"
  :precision binary64
  (+ (/ NdChar (+ 1 (exp (/ (- (- (- (- Ec Vef) EDonor) mu)) KbT)))) (/ NaChar (+ 1 (exp (/ (+ (+ (+ Ev Vef) EAccept) (- mu)) KbT))))))

Backtrace

match: no matching clause for 'binary64LC
match:error/opt/racket-7.2/collects/racket/match/runtime.rkt240
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt2463
make-multiplication-subnode/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt2440
make-multiplication-node/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt2340
map/opt/racket-7.2/collects/racket/private/map.rkt3513
f45/opt/racket-7.2/collects/racket/match/compiler.rkt50740
map/opt/racket-7.2/collects/racket/private/map.rkt3513
f45/opt/racket-7.2/collects/racket/match/compiler.rkt50740
map/opt/racket-7.2/collects/racket/private/map.rkt3513
f45/opt/racket-7.2/collects/racket/match/compiler.rkt50740
simplify/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/reduce.rkt160
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt29152
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt29126
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt4515
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
(unnamed)/opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt36033
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt6815
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt6815
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt6815
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
(unnamed)/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt6815
hash-ref!/opt/racket-7.2/collects/racket/private/more-scheme.rkt3762
loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt874
approximate9/data/pavpan/nightlies/herbie/fix-interface-bugs/src/core/taylor.rkt120
(unnamed)/opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt36033
location-do/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt640
location-do/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt640
location-do/data/pavpan/nightlies/herbie/fix-interface-bugs/src/programs.rkt640
(unnamed)/opt/racket-7.2/collects/racket/contract/private/arrow-higher-order.rkt36033
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt1516
taylor-alt/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt1450
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt1667
gen-series!/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt1590
run-iter!/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt3260
for-loop/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt3644
run-improve47/data/pavpan/nightlies/herbie/fix-interface-bugs/src/mainloop.rkt3450
(unnamed)/opt/racket-7.2/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.2/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.2/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.2/collects/racket/private/more-scheme.rkt26128